Mathematics
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Mon, 3 Jun 24
- [1] arXiv:2405.20344 [pdf, ps, other]
-
Title: Landscapes of the OctahedronComments: arXiv admin note: substantial text overlap with arXiv:2201.04253Subjects: Combinatorics (math.CO); Metric Geometry (math.MG)
The landscapes of a polyhedron are subsets of its nets one must consider to identify all shortest paths. Landscapes of cubes and tetrahedra have been used to identify coordinate based formulas for the lengths of the shortest paths between points on these surfaces. We extend these results to develop formulas for the lengths of the shortest paths between points on the surface of octahedra.
- [2] arXiv:2405.20345 [pdf, ps, other]
-
Title: Bifurcation and Local Rigidity of Homogeneous Solutions to the Yamabe Problem on Aloff-Wallach SpacesSubjects: Differential Geometry (math.DG)
We construct 1-parameter families of well-known solutions to the Yamabe problem defined on Aloff-Wallach Spaces to determine bifurcation instants for these homogeneous spaces by examining changes in the Morse index of these metrics as the parameter varies over the positive real numbers. A bifurcation point for such families is an accumulation point of other solutions to the Yamabe problem, while a local rigidity point is an isolated solution of this problem, i.e., it is not a bifurcation point.
- [3] arXiv:2405.20360 [pdf, ps, other]
-
Title: A note on the dual of $L_1$ for general measure spacesComments: 4 pagesSubjects: Functional Analysis (math.FA)
This note takes forward a comment made in Dunford and Schwartz (LInear operators, Part 1 and describes dual of $L_1$ for general measure spaces.
- [4] arXiv:2405.20368 [pdf, ps, other]
-
Title: Sphere packing proper colorings of an expander graphAuthors: Honglin ZhuComments: 17 pages, 2 figuesSubjects: Combinatorics (math.CO); Information Theory (cs.IT)
We introduce a new notion of error-correcting codes on $[q]^n$ where a code is a set of proper $q$-colorings of some fixed $n$-vertex graph $G$. For a pair of proper $q$-colorings $X, Y$ of $G$, we define their distance as the minimum Hamming distance between $X$ and $\sigma(Y)$ over all $\sigma \in S_q$. We then say that a set of proper $q$-colorings of $G$ is $\delta$-distinct if any pair of colorings in the set have distance at least $\delta n$.
We investigate how one-sided spectral expansion relates to the largest possible set of $\delta$-distinct colorings on a graph. For fixed $(\delta, \lambda) \in [0, 1] \times [-1, 1]$ and positive integer $d$, let $f_{\delta, \lambda, d}(n)$ denote the maximal size of a set of $\delta$-distinct colorings of any $d$-regular graph on at most $n$ vertices with normalized second eigenvalue at most $\lambda$. We study the growth of $f$ as $n$ goes to infinity. We partially characterize regimes of $(\delta, \lambda)$ where $f$ grows exponentially, is finite, and is at most $1$, respectively. We also prove several sharp phase transitions between these regimes. - [5] arXiv:2405.20394 [pdf, ps, other]
-
Title: Monodromy groups and exceptional Hodge classesComments: 85 pages, comments are very welcome!Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
Denote by $J_m$ the Jacobian variety of the hyperelliptic curve defined by the affine equation $y^2=x^m+1$ over $\mathbb{Q}$, where $m \geq 3$ is a fixed positive integer. We compute several interesting arithmetic invariants of $J_m$: its decomposition up to isogeny into simple abelian varieties, the minimal field $\mathbb{Q}(\operatorname{End}(J_m))$ over which its endomorphisms are defined, its connected monodromy field $\mathbb{Q}(\varepsilon_{J_m})$, and its Sato-Tate group. Currently, there is no general algorithm that computes these last two invariants. Furthermore, for large enough values of $m$, the abelian varieties $J_m$ provide non-trivial examples of high-dimensional phenomena, such as degeneracy and the non-triviality of the extension $\mathbb{Q}(\varepsilon_{J_m})/\mathbb{Q}(\operatorname{End}(J_m))$. Finally, we describe the Sato-Tate group of an abelian variety, generalizing existing results that apply only to non-degenerate varieties.
- [6] arXiv:2405.20395 [pdf, ps, other]
-
Title: The bounded cohomology of transformation groups of Euclidean spaces and discsComments: 43 pages. Main paper by the first three authors, appendix by the fourth authorSubjects: Geometric Topology (math.GT); Algebraic Topology (math.AT); Group Theory (math.GR)
We prove that the groups of orientation-preserving homeomorphisms and diffeomorphisms of $\mathbb{R}^n$ are boundedly acyclic, in all regularities. This is the first full computation of the bounded cohomology of a transformation group that is not compactly supported, and it implies that many characteristic classes of flat $\mathbb{R}^n$- and $S^n$-bundles are unbounded. We obtain the same result for the group of homeomorphisms of the disc that restrict to the identity on the boundary, and for the homeomorphism group of the non-compact Cantor set. In the appendix, Alexander Kupers proves a controlled version of the annulus theorem which we use to study the bounded cohomology of the homeomorphism group of the discs.
- [7] arXiv:2405.20406 [pdf, other]
-
Title: Bijective solutions to the Pentagon EquationComments: 25 pagesSubjects: Group Theory (math.GR); Quantum Algebra (math.QA)
A complete classification of all finite bijective set-theoretic solutions $(S,s)$ to the Pentagon Equation is obtained. First, it is shown that every such a solution determines a semigroup structure on the set $S$ that is the direct product $E\times G$ of a semigroup of left zeros $E$ and a group $G$. Next, we prove that this leads to a decomposition of the set $S$ as a Cartesian product $X\times A\times G$, for some sets $X,A$ and to a discovery of a hidden group structure on $A$. Then an unexpected structure of a matched product of groups $A,G$ is found such that the solution $(S,s)$ can be explicitly described as a lift of a solution determined on the set $A\times G$ by this matched product of groups. Conversely, every matched product of groups leads to a family of solutions arising in this way. Moreover, a simple criterion for the isomorphism of two solutions is obtained. The results provide a far reaching extension of the results of Colazzo, Jespers and Kubat, dealing with the special case of the so called involutive solutions. Connections to the solutions to the Yang--Baxter equation and to the theory of skew braces are derived.
- [8] arXiv:2405.20417 [pdf, ps, other]
-
Title: Orderly divergence of Levy Gamma integralsAuthors: Jerzy SzulgaSubjects: Probability (math.PR)
``Orderly divergence'' deals with limit theorems for weighted stochastic Gamma integrals of otherwise nonintegrable functions. Although for monotonic functions this category usually coincides with the classical notion of weighted limit theorems for sums of i.i.d. random variables but there are exceptions and the lack of monotonicity reveals new aspects that are absent in the discrete case.
- [9] arXiv:2405.20425 [pdf, other]
-
Title: Condensation in scale-free geometric graphs with excess edgesComments: 45 pages, one figureSubjects: Probability (math.PR)
We identify the upper large deviation probability for the number of edges in scale-free geometric random graph models as the space volume goes to infinity. Our result covers the models of scale-free percolation, the Boolean model with heavy-tailed radius distribution, and the age-dependent random connection model. In all these cases the mechanism behind the large deviation is based on a condensation effect. Loosely speaking, the mechanism randomly selects a finite number of vertices and increases their power, so that they connect to a macroscopic number of vertices in the graph, while the other vertices retain a degree close to their expectation and thus make no more than the expected contribution to the large deviation event. We verify this intuition by means of limit theorems for the empirical distributions of degrees and edge-lengths under the conditioning. We observe that at large finite volumes, the edge-length distribution splits into a bulk and travelling wave part of asymptotically positive proportions.
- [10] arXiv:2405.20428 [pdf, ps, other]
-
Title: Relatively hyperbolic groups with planar boundariesComments: 40 pages, no figuresSubjects: Group Theory (math.GR); Geometric Topology (math.GT)
In this article, we prove a version of Martin and Skora's conjecture that convergence groups on the $2$-sphere are covered by Kleinian groups. Given a relatively hyperbolic group pair $(G,\mathcal{P})$ with planar boundary and no Sierpinski carpet or cut points in its boundary, and with $G$ one ended and virtually having no $2$-torsion, we show that $G$ is virtually Kleinian. We also give applications to various versions of the Cannon conjecture and to convergence groups acting on $S^2$.
- [11] arXiv:2405.20453 [pdf, ps, other]
-
Title: Exterior boundary-value Poincare problem for elliptic systems of the second order with two independent variablesJournal-ref: Acta Applicandae Mathematicae 189, 1 (2024)Subjects: Analysis of PDEs (math.AP)
This paper offers a number of examples showing that in the case of two independent variables the uniform ellipticity of a linear system of differential equations with partial derivatives of the second order, which fulfills condition (3), do not always cause the normal solvability of formulated exterior elliptic problems in the sense of Noether. Nevertheless, from the system of differential equations with partial derivatives of elliptic type it is possible to choose, under certain additional conditions, classes which are normally solvable in the sense of Noether. This paper also shows that for the so-called decomposed system of differential equations, with partial derivatives of an elliptic type in the case of exterior regions, the Noether theorems are valid.
- [12] arXiv:2405.20460 [pdf, ps, other]
-
Title: Moduli of rank two semistable sheaves on rational Fano threefolds of the main seriesComments: 47 pagesSubjects: Algebraic Geometry (math.AG)
In this paper we investigate the moduli spaces of semistable coherent sheaves of rank two on the projective space $\mathbb{P}^3$ and the following rational Fano manifolds of the main series - the three-dimensional quadric $X_2$, the intersection of two 4-dimensional quadrics $X_4$ and the Fano manifold $X_5$ of degree 5. For the quadric $X_2$, the boundedness of the third Chern class $c_3$ of rank two semistable objects in $\mathrm{D}^b(X_2)$, including sheaves, is proved. An explicit description is given of all the moduli spaces of semistable sheaves of rank two on $X_2$, including reflexive ones, with a maximal third class $c_3\ge0$. These spaces turn out to be irreducible smooth rational manifolds in all cases, except for the following two: $(c_1,c_2,c_3)=(0,2,2)$ or (0,4,8). The first example of a disconnected module space of semistable rank two sheaves with fixed Chern classes on a smooth projective variety is found -- this is the second of these exceptional cases $(c_1,c_2,c_3)= (0,4,8)$ on the quadric $X_2$. Several new infinite series of rational components of the moduli spaces of semistable sheaves of rank two on $\mathbb{P}^3$, $X_2$, $X_4$ and $X_5$ are constructed, as well as a new infinite series of irrational components on $X_4$. The boundedness of the class $c_3$ is proved for $c_1=0$ and any $c_2>0$ for stable reflexive sheaves of general type on manifolds $X_4$ and $X_5$.
- [13] arXiv:2405.20463 [pdf, ps, other]
-
Title: Hyperspatiality for isomorphisms of stabilized automorphism groups of shifts of finite typeComments: 27 pagesSubjects: Dynamical Systems (math.DS)
Given a homeomorphism $T \colon X \to X$ of a compact metric space $X$, the stabilized automorphism group $\textrm{Aut}^{\infty}(T)$ of the system $(X,T)$ is the group of self-homeomorphisms of $X$ which commute with some power of $T$. We study the question of spatiality for stabilized automorphism groups of shifts of finite type. We prove that any isomorphism $\Psi \colon \textrm{Aut}^{\infty}(\sigma_{m}) \to \textrm{Aut}^{\infty}(\sigma_{n})$ between stabilized automorphism groups of full shifts is spatially induced by a homeomorphism $\hat{\Psi}$ between respective stabilized spaces of chain recurrent subshifts. This spatialization in particular gives a bijection between the sets of periodic points which intertwines some powers of the shifts, and this bijection recovers the isomorphism at the level of the faithful actions on the sets of periodic points. We also prove that the outer automorphism group of $\textrm{Aut}^{\infty}(\sigma_{n})$ is uncountable, and deduce several other properties of $\textrm{Aut}^{\infty}(\sigma_{n})$ using the spatiality results.
- [14] arXiv:2405.20464 [pdf, other]
-
Title: Index theory on Pin manifoldsAuthors: Daniel S. FreedComments: 19 pages, 5 figuresSubjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th); Algebraic Topology (math.AT)
We give a systematic treatment of index theory on Pin manifolds, based on the Clifford linear Dirac operator and differential KO-theory. This expository article is based on joint work with Mike Hopkins.
- [15] arXiv:2405.20466 [pdf, ps, other]
-
Title: Gorenstein contractions of multiscale differentialsSubjects: Algebraic Geometry (math.AG); Geometric Topology (math.GT)
Multiscale differentials arise as limits of holomorphic differentials with prescribed orders of zeros on nodal curves. In this paper, we address the conjecture concerning Gorenstein contractions of multiscale differentials, initially proposed by Ranganathan and Wise and further elaborated upon by Battistella and Bozlee. Specifically, we show that multiscale differentials can be contracted into Gorenstein singularities level by level from the top down. At each level, these differentials can descend to become generators of the dualizing bundle at the singularities. Additionally, the global residue condition, which governs the smoothability of multiscale differentials, is a special case of the residue condition for descent differentials.
- [16] arXiv:2405.20480 [pdf, ps, other]
-
Title: Normality, factoriality and strong $F$-regularity of Lovász-Saks-Schrijver ringsAuthors: Eliana Tolosa-VillarrealComments: 28 pagesSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
Every simple finite graph $G$ has an associated Lov\'asz-Saks-Schrijver ring $R_G(d)$ that is related to the $d$-dimensional orthogonal representations of $G$. The study of $R_G(d)$ lies at the intersection between algebraic geometry, commutative algebra and combinatorics. We find a link between algebraic properties such as normality, factoriality and strong $F$-regularity of $R_G(d)$ and combinatorial invariants of the graph $G$. In particular we prove that if $d \geq \text{pmd}(G)+k(G)$ then $R_G(d)$ is $F$-regular in finite characteristic and rational singularity in characteristic $0$ and furthermore if $d \geq \text{pmd}(G)+k(G)+1$ then $R_G(d)$ is UFD. Here $\text{pmd}(G)$ is the positive matching decomposition number of $G$ and $k(G)$ is its degeneracy number.
- [17] arXiv:2405.20481 [pdf, other]
-
Title: On the randomized Euler scheme for SDEs with integral-form driftSubjects: Numerical Analysis (math.NA); Probability (math.PR)
In this paper, we investigate the problem of strong approximation of the solution of SDEs in the case when the drift coefficient is given in the integral form. Such drift often appears when analyzing stochastic dynamics of optimization procedures in machine learning problems. We discuss connections of the defined randomized Euler approximation scheme with the perturbed version of the stochastic gradient descent (SGD) algorithm. We investigate its upper error bounds, in terms of the discretization parameter n and the size M of the random sample drawn at each step of the algorithm, in different subclasses of coefficients of the underlying SDE. Finally, the results of numerical experiments performed by using GPU architecture are also reported.
- [18] arXiv:2405.20492 [pdf, ps, other]
-
Title: Monomial identities in the Weyl algebraComments: 63 pages, 10 pictures. For Richard Stanley's 80th birthday. Detailed version available as ancillary file. Comments are welcome!Subjects: Combinatorics (math.CO); Rings and Algebras (math.RA)
Motivated by a question and some enumerative conjectures of Richard Stanley, we explore the equivalence classes of words in the Weyl algebra, $\mathbf{k} \langle D,U\rangle/(DU-UD=1)$. We show that each class is generated by the swapping of adjacent *balanced subwords*, i.e., those which have the same number of $D$'s as $U$'s, and give several other characterizations.
Armed with this we deduce a number of enumerative results about the number of such equivalence classes and their sizes. We extend these results to the class of $c$-Dyck words, where every prefix has at least $c$ times as many $U$'s as $D$'s. We also connect these results to previous work on bond percolation and rook theory, and generalize them to some other algebras. - [19] arXiv:2405.20498 [pdf, ps, other]
-
Title: Robust Decentralized Control of Coupled Systems via Risk Sensitive Control of Decoupled or Simple Models with Measure ChangeSubjects: Optimization and Control (math.OC); Probability (math.PR)
Decentralized stochastic control problems with local information involve problems where multiple agents and subsystems which are coupled via dynamics and/or cost are present. Typically, however, the dynamics of such couplings is complex and difficult to precisely model, leading to questions on robustness in control design. Additionally, when such a coupling can be modeled, the problem arrived at is typically challenging and non-convex, due to decentralization of information. In this paper, we develop a robustness framework for optimal decentralized control of interacting agents, where we show that a decentralized control problem with interacting agents can be robustly designed by considering a risk-sensitive version of non-interacting agents/particles. This leads to a tractable robust formulation where we give a bound on the value of the cost function in terms of the risk-sensitive cost function for the non-interacting case plus a term involving the ``strength" of the interaction as measured by relative entropy. We will build on Gaussian measure theory and an associated variational equality. A particular application includes mean-field models consisting of (a generally large number of) interacting agents which are often hard to solve for the case with small or moderate numbers of agents, leading to an interest in effective approximations and robustness. By adapting a risk-sensitivity parameter, we also robustly control a non-symmetrically interacting problem with mean-field cost by one which is symmetric with a risk-sensitive criterion, and in the limit of small interactions, show the stability of optimal solutions to perturbations.
- [20] arXiv:2405.20500 [pdf, other]
-
Title: Hybrid Reinforcement Learning Framework for Mixed-Variable ProblemsSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
Optimization problems characterized by both discrete and continuous variables are common across various disciplines, presenting unique challenges due to their complex solution landscapes and the difficulty of navigating mixed-variable spaces effectively. To Address these challenges, we introduce a hybrid Reinforcement Learning (RL) framework that synergizes RL for discrete variable selection with Bayesian Optimization for continuous variable adjustment. This framework stands out by its strategic integration of RL and continuous optimization techniques, enabling it to dynamically adapt to the problem's mixed-variable nature. By employing RL for exploring discrete decision spaces and Bayesian Optimization to refine continuous parameters, our approach not only demonstrates flexibility but also enhances optimization performance. Our experiments on synthetic functions and real-world machine learning hyperparameter tuning tasks reveal that our method consistently outperforms traditional RL, random search, and standalone Bayesian optimization in terms of effectiveness and efficiency.
- [21] arXiv:2405.20524 [pdf, other]
-
Title: Practical implementation of geometric quasi-cyclic LDPC codesSubjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
We detail for the first time a complete explicit description of the quasi-cyclic structure of all classical finite generalized quadrangles. Using these descriptions we construct families of quasi-cyclic LDPC codes derived from the point-line incidence matrix of the quadrangles by explicitly calculating quasi-cyclic generator and parity check matrices for these codes. This allows us to construct parity check and generator matrices of all such codes of length up to 400000. These codes cover a wide range of transmission rates, are easy and fast to implement and perform close to Shannon's limit with no visible error floors. We also include some performance data for these codes. Furthermore, we include a complete explicit description of the quasi-cyclic structure of the point-line and point-hyperplane incidences of the finite projective and affine spaces.
- [22] arXiv:2405.20528 [pdf, ps, other]
-
Title: Convergence Analysis of the Sinkhorn Algorithm with Sparse Cost MatricesAuthors: Jose Rafael Espinosa MenaSubjects: Optimization and Control (math.OC); Statistics Theory (math.ST)
This paper presents a theoretical analysis of the convergence rate of the Sinkhorn algorithm when the cost matrix is sparse. We derive bounds on the convergence rate that depend on the sparsity pattern and the degree of sparsity of the cost matrix. We also explore whether existing convergence results for dense cost matrices can be adapted or improved for the sparse case. Our analysis provides new insights into the behavior of the Sinkhorn algorithm in the presence of sparsity and highlights potential avenues for algorithmic improvements.
- [23] arXiv:2405.20533 [pdf, other]
-
Title: Henderson-like interval mapsAuthors: Jernej ČinčSubjects: Dynamical Systems (math.DS); General Topology (math.GN)
In this paper we study interval maps with zero topological entropy that are crooked; i.e. whose inverse limit is the pseudo-arc. We show that there are uncountably many pairwise non-conjugate zero entropy crooked interval maps with different sets of fixed points. We also show that there are uncountably many crooked maps that are pairwise non-conjugate and have exactly two fixed points. Furthermore, we provide a characterization of crooked interval maps that are under (above) the diagonal.
- [24] arXiv:2405.20536 [pdf, other]
-
Title: The explicit solution of linear, dissipative, second-order initial-boundary value problems with variable coefficientsSubjects: Analysis of PDEs (math.AP)
We derive explicit solution representations for linear, dissipative, second-order Initial-Boundary Value Problems (IBVPs) with coefficients that are spatially varying, with linear, constant-coefficient, two-point boundary conditions. We accomplish this by considering the variable-coefficient problem as the limit of a constant-coefficient interface problem, previously solved using the Unified Transform Method of Fokas. Our method produces an explicit representation of the solution, allowing us to determine properties of the solution directly. As explicit examples, we demonstrate the solution procedure for different IBVPs of variations of the heat equation, and the linearized complex Ginzburg-Landau (CGL) equation (periodic boundary conditions). We can use this to find the eigenvalues of dissipative second-order linear operators (including non-self-adjoint ones) as roots of a transcendental function, and we can write their eigenfunctions explicitly in terms of the eigenvalues.
- [25] arXiv:2405.20545 [pdf, other]
-
Title: A lower bound for the first eigenvalue of a minimal hypersurface in the sphereSubjects: Differential Geometry (math.DG)
Let $\Sigma$ be a closed embedded minimal hypersurface in the unit sphere $\mathbb{S}^{m+1}$ and let $\Lambda=\max\limits_{\Sigma}|A|$ be the norm of its second fundamental form. In this work we prove that the first eigenvalue of the Laplacian of $\Sigma$ satisfies
$$\lambda_1(\Sigma)> \dfrac{m}{2}+\frac{m(m+1)}{32(12\Lambda+m+11)^2+8},$$ and $\lambda_1(\Sigma)=m$, when $\Lambda\le\sqrt{m}$.
In particular, this estimate improves the one obtained recently in \cite{duncan2023improved}. The proof of our main result is based on a Rayleigh quotient estimate for a harmonic extension of an eigenfunction of the Laplacian of $\Sigma$ in the spirit of \cite{choi1983first}. - [26] arXiv:2405.20547 [pdf, ps, other]
-
Title: Enumeration of intersection graphs of $x$-monotone curvesSubjects: Combinatorics (math.CO)
A curve in the plane is $x$-monotone if every vertical line intersects it at most once. A family of curves are called pseudo-segments if every pair of them have at most one point in common. We construct $2^{\Omega(n^{4/3})}$ families, each consisting of $n$ labelled $x$-monotone pseudo-segments such that their intersection graphs are different. On the other hand, we show that the number of such intersection graphs is at most $2^{O(n^{3/2-\varepsilon})}$, where $\varepsilon>0$ is a suitable constant. Our proof uses a new upper bound on the number of set systems of size $m$ on a ground set of size $n$, with VC-dimension at most $d$. Much better upper bounds are obtained if we only count bipartite intersection graphs, or, in general, intersection graphs with bounded chromatic number.
- [27] arXiv:2405.20552 [pdf, ps, other]
-
Title: New large value estimates for Dirichlet polynomialsComments: 48 pagesSubjects: Number Theory (math.NT)
We prove new bounds for how often Dirichlet polynomials can take large values. This gives improved estimates for a Dirichlet polynomial of length $N$ taking values of size close to $N^{3/4}$, which is the critical situation for several estimates in analytic number theory connected to prime numbers and the Riemann zeta function. As a consequence, we deduce a zero density estimate $N(\sigma,T)\le T^{30(1-\sigma)/13+o(1)}$ and asymptotics for primes in short intervals of length $x^{17/30+o(1)}$.
- [28] arXiv:2405.20554 [pdf, ps, other]
-
Title: Three approaches to a categorical Torelli theorem for cubic threefolds of non-Eckardt type via the equivariant Kuznetsov componentsComments: 37 pages, comments are welcomeSubjects: Algebraic Geometry (math.AG)
Let $Y$ be a cubic threefold with a non-Eckardt type involution $\tau$. Our first main result is that the $\tau$-equivariant category of the Kuznetsov component $\mathcal{K}u_{\mathbb{Z}_2}(Y)$ determines the isomorphism class of $Y$ for general $(Y,\tau)$. We shall prove this categorical Torelli theorem via three approaches: a noncommutative Hodge theoretical one (using a generalization of the intermediate Jacobian construction in [perry2020integral], a Bridgeland moduli theoretical one (using equivariant stability conditions), and a Chow theoretical one (using some techniques in [kuznetsovnonclodedfield2021].The remaining part of the paper is devoted to proving an equivariant infinitesimal categorical Torelli for non-Eckardt cubic threefolds $(Y,\tau)$. To accomplish it, we prove a compatibility theorem on the algebra structures of the Hochschild cohomology of the bounded derived category $D^b(X)$ of a smooth projective variety $X$ and on the Hochschild cohomology of a semi-orthogonal component of $D^b(X)$. Another key ingredient is a generalization of a result in [macri2009infinitesimal] which shows that the twisted Hochschild-Kostant-Rosenberg isomorphism is compatible with the actions on the Hochschild cohomology and on the singular cohomology induced by an automorphism of $X$.
- [29] arXiv:2405.20563 [pdf, ps, other]
-
Title: Limit sets, internal chain transitivity and orbital shadowing of tree-shifts defined on Markov-Cayley treesSubjects: Dynamical Systems (math.DS)
In this paper, we introduce the concepts of $\omega$-limit sets and pseudo orbits for a tree-shift defined on a Markov-Cayley tree, extending the results of tree-shifts defined on $d$-trees [5,6]. Firstly, we establish the relationships between $\omega$-limit sets and we introduce a modified definition of $\omega$-limit set based on complete prefix sets (Theorems 1.4 and 1.9). Secondly, we introduce the concept of projected pseudo orbits and investigate the concept of the shadowing property (Theorems 1.12 and 1.14).
- [30] arXiv:2405.20571 [pdf, ps, other]
-
Title: On the principal eigenvalue for compound Poisson processesSubjects: Probability (math.PR)
We investigate the explicit expression for the principal eigenvalue $\lambda_{1}^{X}(D)$ for a large class of compound Poisson processes $X$ on a bounded open set $D$ by examining its spectral heat content. When the jump density of the compound Poisson process is radially symmetric and strictly decreasing, we demonstrate that balls are the unique minimizers for $\lambda_{1}^{X}(D)$ among all sets with equal Lebesgue measure. Furthermore, we show that this uniqueness fails if the jump density is not strictly decreasing.
- [31] arXiv:2405.20581 [pdf, other]
-
Title: On the classical Lagrange and Markov spectra: new results on the local dimension and the geometry of the difference setComments: 51 pages, 3 figuresSubjects: Number Theory (math.NT); Dynamical Systems (math.DS)
Let $L$ and $M$ denote the classical Lagrange and Markov spectra, respectively. It is known that $L\subset M$ and that $M\setminus L\neq\varnothing$. Inspired by three questions asked by the third author in previous work investigating the fractal geometric properties of the Lagrange and Markov spectra, we investigate the function $d_{loc}(t)$ that gives the local Hausdorff dimension at a point $t$ of $L'$. Specifically, we construct several intervals (having non-trivial intersection with $L'$) on which $d_{loc}$ is non-decreasing. We also prove that the respective intersections of $M'$ and $M''$ with these intervals coincide. Furthermore, we completely characterize the local dimension of both spectra when restricted to those intervals. Finally, we demonstrate the largest known elements of the difference set $M\setminus L$ and describe two new maximal gaps of $M$ nearby.
- [32] arXiv:2405.20618 [pdf, other]
-
Title: CPAFT: A Consistent Parallel Advancing Front Technique for Unstructured Triangular/Tetrahedral Mesh GenerationSubjects: Numerical Analysis (math.NA); Computational Geometry (cs.CG)
Compared with the remarkable progress made in parallel numerical solvers of partial differential equations,the development of algorithms for generating unstructured triangular/tetrahedral meshes has been relatively sluggish. In this paper, we propose a novel, consistent parallel advancing front technique (CPAFT) by combining the advancing front technique, the domain decomposition method based on space-filling curves, the distributed forest-of-overlapping-trees approach, and the consistent parallel maximal independent set algorithm. The newly proposed CPAFT algorithm can mathematically ensure that the generated unstructured triangular/tetrahedral meshes are independent of the number of processors and the implementation of domain decomposition. Several numerical tests are conducted to validate the parallel consistency and outstanding parallel efficiency of the proposed algorithm, which scales effectively up to two thousand processors. This is, as far as we know, the first parallel unstructured triangular/tetrahedral mesh generator with scalability to O(1,000) CPU processors.
- [33] arXiv:2405.20637 [pdf, ps, other]
-
Title: Boundedness in a two-dimensional doubly degenerate nutrient taxis systemSubjects: Analysis of PDEs (math.AP)
In this work, we study the no-flux initial-boundary value problem for the doubly degenerate nutrient taxis system \begin{align} \begin{cases}\tag{$\star$}\label{eq 0.1} u_t=\nabla \cdot(u v \nabla u)-\chi \nabla \cdot\left(u^{2} v \nabla v\right)+\ell u v, & x \in \Omega, t>0, \\ v_t=\Delta v-u v, & x \in \Omega, t>0 \end{cases} \end{align} in a smoothly bounded convex domain $\Omega \subset \mathbb{R}^2$, where $\chi>0$ and $\ell \geq 0$. In this paper, we present that for all reasonably regular initial data, the model \eqref{eq 0.1} possesses a global bounded weak solution which is continuous in its first and essentially smooth in its second component. \end{abstract}
- [34] arXiv:2405.20645 [pdf, ps, other]
-
Title: Componentwise linear ideals and exchange propertiesSubjects: Commutative Algebra (math.AC)
We prove the componentwise linearity of ideals that satisfy a certain exchange property similar to polymatroidal ideals. We also discuss the componentwise linearity and exchange properties of ideals of $k$-covers of totally balanced weighted hypergraphs.
- [35] arXiv:2405.20647 [pdf, ps, other]
-
Title: On unmixed and equi-dimensional associated graded ringsSubjects: Commutative Algebra (math.AC)
Let $(A,\mathfrak{m})$ be an analytically un-ramified Noetherian local ring of dimension $d \geq 1$, $I$ a regular $\mathfrak{m}$-primary ideal of $A$ and let $\overline{I}$ be integral closure ideal of $I$. If $A$ is of characteristic $p > 0$ then let $I^*$ denote the tight closure of $I$. Let $G_I(A)=\bigoplus_{n\geq 0}I^n/I^{n+1}$ be the associated graded ring of $A$ with respect to $I$. Assume $G_I(A)$ is unmixed and equi-dimensional. We show that either the function $P_{\overline{I}} :\,n\mapsto \lambda(\overline{I^n}/I^n)$ is a polynomial type of degree $d-1$ or $\overline{I^n}=I^n$ for all $n\geq 1.$ We prove an analogus result for the tight closure filtration if $A$ is of characteristic $p > 0$. When $A$ is generalized Cohen-Macaulay and $I$ is generated by standard system of parameters we give bounds for the first Hilbert coefficients of the integral closure filtration of $I$ and the tight closure filtration of $I$.
- [36] arXiv:2405.20662 [pdf, ps, other]
-
Title: Oscillations and differences in Besov-Morrey and Besov-type spacesComments: 45 pages. arXiv admin note: text overlap with arXiv:2306.15239Subjects: Functional Analysis (math.FA); Numerical Analysis (math.NA)
In this paper we investigate Besov-Morrey spaces $\mathcal{N}^{s}_{u,p,q}(\Omega)$ and Besov-type spaces $B^{s,\tau}_{p,q}(\Omega)$ of positive smoothness defined on Lipschitz domains $\Omega \subset \mathbb{R}^d$ as well as on $\mathbb{R}^d$. We combine the Hedberg-Netrusov approach to function spaces with distinguished kernel representations due to Triebel, in order to derive novel characterizations of these scales in terms of local oscillations provided that some standard conditions concerning the parameters are fulfilled. In connection with that we also obtain new characterizations of $\mathcal{N}^{s}_{u,p,q}(\Omega)$ and $B^{s,\tau}_{p,q}(\Omega)$ via differences of higher order. By the way we recover and extend corresponding results for the scale of classical Besov spaces $B^{s}_{p,q}(\Omega)$.
Key words: Besov-Morrey space, Besov-type space, Morrey space, Lipschitz domain, oscillations, higher order differences - [37] arXiv:2405.20673 [pdf, ps, other]
-
Title: A classification of Shimura curves in $\mathcal{A}_g$Authors: Ben MoonenComments: 22 pagesSubjects: Algebraic Geometry (math.AG)
We give a precise classification, in terms of Shimura data, of all 1-dimensional Shimura subvarieties of a moduli space of polarized abelian varieties.
- [38] arXiv:2405.20686 [pdf, ps, other]
-
Title: Deformations of phase spaces of Lie algebras via $\mathfrak s$-matricesAuthors: Jiefeng LiuComments: 13 pagesSubjects: Rings and Algebras (math.RA)
In this paper, we first use the graded Lie algebra for relative Rota-Baxter operators on Lie algebras to give the graded Lie algebra whose Maurer-Cartan elements characterize $\mathfrak s$-matrices on pre-Lie algebras. Then we give the cohomology of $\mathfrak s$-matrices and study their deformations. As an application, we study the deformations of phase spaces of Lie algebras via $\mathfrak s$-matrices.
- [39] arXiv:2405.20699 [pdf, ps, other]
-
Title: Equivariant Parabolic connections and stack of rootsSubjects: Algebraic Geometry (math.AG)
Let $X$ be a smooth complex projective variety equipped with an action of a linear algebraic group $G$ over $\mathbb{C}$. Let $D$ be a reduced effective divisor on $X$ that is invariant under the $G$--action on $X$. Let $s_D$ be the canonical section of $\mathcal{O}_X(D)$ vanishing along $D$. Given a positive integer $r$, consider the stack $\mathfrak{X} := \mathfrak{X}_{(\mathcal{O}_X(D),\, s_D,\, r)}$ of $r$-th roots of $(\mathcal{O}_X, s_D)$ together with the natural morphism $\pi : \mathfrak{X} \to X$. Under the assumption that $G$ has no non-trivial characters, we show that the $G$--action on $X$ naturally lifts to a $G$--action on $\mathfrak{X}$ such that $\pi$ become $G$--equivariant, and the tautological invertible sheaf $\mathscr{M}$ on $\mathfrak{X}$ admits a linearization of this $G$--action. Finally, we define the notions of $G$--equivariant logarithmic connections on $\mathfrak{X}$ and $G$--equivariant parabolic connections on $X$ with rational parabolic weights along $D$, and establish an equivalence between the category of $G$--equivariant logarithmic connections on $\mathfrak{X}$ and the category of $G$--equivariant parabolic connections on $X$ with rational parabolic weights along $D$.
- [40] arXiv:2405.20726 [pdf, other]
-
Title: Symplectic Homology and 3-dimensional Besse Manifolds with vanishing first Chern classAuthors: Do-Hyung KimComments: 24 pages, 3 figuresSubjects: Symplectic Geometry (math.SG); Geometric Topology (math.GT)
In this paper, we will show that one can use certain types of symplectic homology as an invariant of 3-dimensional Besse manifolds, which are contact manifolds admitting a periodic Reeb flow and hence allow Seifert fibration structure. For simplicity, we will assume our contact structures to be trivial plane bundles. We will also compute Robbin-Salamon indices of periodic Reeb orbits in Besse manifolds and obtain more precise information about the symplectic homology. In the computations, invariants of the Seifert fibration such as the Euler number and the orbifold Euler characteristic play an important role.
- [41] arXiv:2405.20737 [pdf, ps, other]
-
Title: Regular Subgradients of Marginal Functions with Applications to Calculus and Bilevel ProgrammingSubjects: Optimization and Control (math.OC)
The paper addresses the study and applications of a broad class of extended-real-valued functions, known as optimal value or marginal functions, which are frequently appeared in variational analysis, parametric optimization, and a variety of applications. Functions of this type are intrinsically nonsmooth and require the usage of tools of generalized differentiation. The main results of this paper provide novel evaluations and exact calculations of regular/Fr\'echet subgradients and their singular counterparts for general classes of marginal functions via their given data. The obtained results are applied to establishing new calculus rules for such subgradients and necessary optimality conditions in bilevel programming
- [42] arXiv:2405.20741 [pdf, other]
-
Title: Upscaled equations for the Fokker-Planck diffusion through arrays of permeable and of impermeable inclusionsSubjects: Analysis of PDEs (math.AP); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
We study the Fokker-Planck diffusion equation with diffusion coefficient depending periodically on the space variable. Inside a periodic array of inclusions the diffusion coefficient is reduced by a factor called the diffusion magnitude. We find the upscaled equations obtained by taking both the degeneration and the homogenization limits in which the diffusion magnitude and the scale of the periodicity tends, respectively, to zero. Different behaviors, classified as pure diffusion, diffusion with mass deposition, and absence of diffusion, are found depending on the order in which the two limits are taken and on the ratio between the size of the inclusions and the scale of the periodicity.
- [43] arXiv:2405.20744 [pdf, other]
-
Title: On the sequential convergence of Lloyd's algorithmsSubjects: Optimization and Control (math.OC)
Lloyd's algorithm is an iterative method that solves the quantization problem, i.e. the approximation of a target probability measure by a discrete one, and is particularly used in digital applications.This algorithm can be interpreted as a gradient method on a certain quantization functional which is given by optimal transport. We study the sequential convergence (to a single accumulation point) for two variants of Lloyd's method: (i) optimal quantization with an arbitrary discrete measure and (ii) uniform quantization with a uniform discrete measure. For both cases, we prove sequential convergence of the iterates under an analiticity assumption on the density of the target measure. This includes for example analytic densities truncated to a compact semi-algebraic set. The argument leverages the log analytic nature of globally subanalytic integrals, the interpretation of Lloyd's method as a gradient method and the convergence analysis of gradient algorithms under Kurdyka-Lojasiewicz assumptions. As a by-product, we also obtain definability results for more general semi-discrete optimal transport losses such as transport distances with general costs, the max-sliced Wasserstein distance and the entropy regularized optimal transport loss.
- [44] arXiv:2405.20754 [pdf, ps, other]
-
Title: Non-uniqueness of weak solutions to 2D generalized Navier-Stokes equationsComments: 30 pagesSubjects: Analysis of PDEs (math.AP)
We study the non-uniqueness of weak solutions for the two-dimensional hyper-dissipative Navier-Stokes equations in the super-critical spaces $L_{t}^{\gamma}L_{x}^{p}$ when $\alpha\in[1,\frac{3}{2})$, and obtain the conclusion that the non-uniqueness of the weak solutions at the endpoint $(\gamma,p)=(\infty, \frac{2}{2\alpha-1})$ is sharp in view of the generalized Lady\v{z}enskaja-Prodi-Serrin condition by using a different spatial-temporal building block from [Cheskidov-Luo, Ann. PDE, 9:13 (2023)] and taking advantage of the intermittency of the temporal concentrated function $g_{(k)}$ in an almost optimal way. Our results recover the above 2D non-uniqueness conclusion and extend to the hyper-dissipative case $\alpha \in(1,\frac{3}{2})$.
- [45] arXiv:2405.20760 [pdf, ps, other]
-
Title: On $r$-primitive $k$-normal polynomials with two prescribed coefficientsComments: 27 pages, 3 TablesSubjects: Number Theory (math.NT)
This article investigates the existence of an $r$-primitive $k$-normal polynomial, defined as the minimal polynomial of an $r$-primitive $k$-normal element in $\mathbb{F}_{q^n}$, with a specified degree $n$ and two given coefficients over the finite field $\mathbb{F}_{q}$. Here, $q$ represents an odd prime power, and $n$ is an integer. The article establishes a sufficient condition to ensure the existence of such a polynomial. Using this condition, it is demonstrated that a $2$-primitive $2$-normal polynomial of degree $n$ always exists over $\mathbb{F}_{q}$ when both $q\geq 11$ and $n\geq 15$. However, for the range $10\leq n\leq 14$, uncertainty remains regarding the existence of such a polynomial for $71$ specific pairs of $(q,n)$. Moreover, when $q<11$, the number of uncertain pairs reduces to $16$. Furthermore, for the case of $n=9$, extensive computational power is employed using SageMath software, and it is found that the count of such uncertain pairs is reduced to $3988$.
- [46] arXiv:2405.20766 [pdf, ps, other]
-
Title: Long cycles and spectral radii in planar graphsSubjects: Combinatorics (math.CO)
There is a rich history of studying the existence of cycles in planar graphs. The famous Tutte theorem on the Hamilton cycle states that every 4-connected planar graph contains a Hamilton cycle. Later on, Thomassen (1983), Thomas and Yu (1994) and Sanders (1996) respectively proved that every 4-connected planar graph contains a cycle of length $n-1, n-2$ and $n-3$. Chen, Fan and Yu (2004) further conjectured that every 4-connected planar graph contains a cycle of length $\ell$ for $\ell\in\{n,n-1,\ldots,n-25\}$ and they verified that $\ell\in \{n-4, n-5, n-6\}$. When we remove the ``4-connected" condition, how to guarantee the existence of a long cycle in a planar graph? A natural question asks by adding a spectral radius condition: What is the smallest constant $C$ such that for sufficiently large $n$, every graph $G$ of order $n$ with spectral radius greater than $C$ contains a long cycle in a planar graph? In this paper, we give a stronger answer to the above question. Let $G$ be a planar graph with order $n\geq 1.8\times 10^{17}$ and $k\leq \lfloor\log_2(n-3)\rfloor-8$ be a non-negative integer, we show that if $\rho(G)\geq \rho(K_2\vee(P_{n-2k-4}\cup 2P_{k+1}))$ then $G$ contains a cycle of length $\ell$ for every $\ell\in \{n-k, n-k-1, \ldots, 3\}$ unless $G\cong K_2\vee(P_{n-2k-4}\cup 2P_{k+1})$.
- [47] arXiv:2405.20784 [pdf, other]
-
Title: Totally geodesic submanifolds in the manifold SPD of symmetric positive-definite real matricesComments: arXiv admin note: text overlap with arXiv:math-ph/0605039Subjects: Differential Geometry (math.DG)
This paper is a self-contained exposition of the geometry of symmetric positive-definite real $n\times n$ matrices $\operatorname{SPD}(n)$, including necessary and sufficent conditions for a submanifold $\mathcal{N} \subset\operatorname{SPD}(n)$ to be totally geodesic for the affine-invariant Riemannian metric. A non-linear projection $x\mapsto \pi(x)$ on a totally geodesic submanifold is defined. This projection has the minimizing property with respect to the Riemannian metric: it maps an arbitrary point $x \in\operatorname{SPD}(n)$ to the unique closest element $\pi(x)$ in the totally geodesic submanifold for the distance defined by the affine-invariant Riemannian metric. Decompositions of the space $\operatorname{SPD}(n)$ follow, as well as variants of the polar decomposition of non-singular matrices known as Mostow's decompositions. Applications to decompositions of covariant matrices are mentioned.
- [48] arXiv:2405.20792 [pdf, ps, other]
-
Title: Operators in the Fock-Toeplitz algebraComments: 36 pages; comments are welcomeSubjects: Functional Analysis (math.FA)
We consider various classes of bounded operators on the Fock space $F^2$ of Gaussian square integrable entire functions over the complex plane. These include Toeplitz (type) operators, weighted composition operators, singular integral operators, Volterra-type operators and Hausdorff operators and range from classical objects in harmonic analysis to more recently introduced classes. As a leading problem and closely linked to well-known compactness characterizations we pursue the question of when these operators are contained in the Toeplitz algebra. This paper combines a (certainly in-complete) survey of the classical and more recent literature including new ideas for proofs from the perspective of quantum harmonic analysis (QHA). Moreover, we have added a number of new theorems and links between known results.
- [49] arXiv:2405.20793 [pdf, ps, other]
-
Title: Properties of regular TanglesComments: 10 pages, 10 figuresSubjects: Combinatorics (math.CO)
A Tangle is a smooth simple closed curve formed from arcs (or ``links'') of circles with fixed radius. Most previous study of Tangles has dealt with the case where these arcs are quarter-circles, but Tangles comprised of thirds and sixths of circles are introduced. Together, these three families of Tangles are related to the three regular tilings of the plane by squares, regular hexagons, and equilateral triangles. This relationship is harnessed to prove results about the number of links comprising a Tangle and the area that it encloses.
- [50] arXiv:2405.20796 [pdf, ps, other]
-
Title: Regularity of minimal surfaces with capillary boundary conditionsSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
We prove $\varepsilon$-regularity theorems for varifolds with capillary boundary condition in a Riemannian manifold. These varifolds were first introduced by Kagaya-Tonegawa \cite{KaTo}. We establish a uniform first variation control for all such varifolds (and free-boundary varifolds generally) satisfying a sharp density bound and prove that if a capillary varifold has bounded mean curvature and is close to a capillary half-plane with angle not equal to $\tfrac{\pi}{2}$, then it coincides with a $C^{1,\alpha}$ properly embedded hypersurface. We apply our theorem to deduce regularity at a generic point along the boundary in the region where the density is strictly less than $1$.
- [51] arXiv:2405.20807 [pdf, ps, other]
-
Title: On the Cahn-Hilliard equation with kinetic rate dependent dynamic boundary condition and non-smooth potential: separation property and long-time behaviorSubjects: Analysis of PDEs (math.AP)
We consider a class of Cahn-Hilliard equation that characterizes phase separation phenomena of binary mixtures in a bounded domain $\Omega \subset \mathbb{R}^d$ $(d\in \{2,3\})$ with non-permeable boundary. The equations in the bulk are subject to kinetic rate dependent dynamic boundary conditions with possible boundary diffusion acting on the boundary chemical potential. For the initial boundary value problem with singular potentials, we prove that any global weak solution exhibits a propagation of regularity in time. In the two dimensional case, we establish the instantaneous strict separation property by a suitable De Giorgi's iteration scheme, which yields that the weak solution stays uniformly away from the pure phases $\pm 1$ from any positive time on. In particular, when the bulk and boundary chemical potentials are in equilibrium, we obtain the instantaneous separation property with or without possible boundary diffusion acting on the boundary chemical potential. Next, in the three dimensional case, we show the eventual strict separation property that holds after a sufficiently large time. These separation properties are obtained in an unified way with respect to the structural parameters. Moreover, they allow us to achieve higher-order regularity of the global weak solution and prove the convergence to a single equilibrium as $t \rightarrow \infty$.
- [52] arXiv:2405.20809 [pdf, ps, other]
-
Title: Equivariant parametrized topological complexityAuthors: Navnath DaundkarComments: 14 pages. Comments are welcomeSubjects: Algebraic Topology (math.AT)
In this paper, we define and study an equivariant analogue of Cohen, Farber and Weinberger's parametrized topological complexity. We show that several results in the non-equivariant case can be extended to the equivariant case. For example, we establish the fibrewise equivariant homotopy invariance of the sequential equivariant parametrized topological complexity. We obtain several bounds on sequential equivariant topological complexity involving equivariant category. We also obtain the cohomological lower bound and the dimension-connectivity upper bound on the sequential equivariant parametrized topological complexity.
- [53] arXiv:2405.20811 [pdf, ps, other]
-
Title: Grothendieck-Verdier module categories, Frobenius algebras and relative Serre functorsSubjects: Category Theory (math.CT); Quantum Algebra (math.QA)
We develop the theory of module categories over a Grothendieck-Verdier category, i.e. a monoidal category with a dualizing object and hence a duality structure more general than rigidity. Such a category C comes with two monoidal structures which are related by non-invertible morphisms and which we treat on an equal footing. Quite generally, non-invertible structure morphisms play a dominant role in this theory.
In any Grothendieck-Verdier module category M we find two important subcategories M' and M''. The internal End of an object in M' that is a C-generator is an algebra such that its category of modules is equivalent to M as a module category. We also introduce a partially defined relative Serre functor S which furnishes an equivalence between M' and M''. Any isomorphism between an object m of M' and S(m) in M'' endows the internal End of m with the structure of a Grothendieck-Verdier Frobenius algebra. - [54] arXiv:2405.20814 [pdf, ps, other]
-
Title: Hyperrigidity I: operator moments and convergence of subnormal operatorsSubjects: Operator Algebras (math.OA)
We show that, the concept of hyperrigidity can be expressed in many ways. We provide four main approaches to this issue. The first one is via semispectral measures in the spirit of the characterizations of spectral measures. The second approach is based on dilation theory and is written in terms of the Stone-von Neumann calculus for normal operators. The third is inspired by Brown's theorem and deals with the weak and strong convergence of sequences of subnormal (or normal) operators. Finally, the fourth approach concerns multiplicativity of UCP maps on $C^*$-subalgebras generated by normal elements. This is inspired by the Petz's theorem and its generalizations established first by Arveson in the finite-dimensional case and then by Brown in general. Next, we will examine, in the case of a unital commutative $C^*$-algebra $\mathscr{A}$ generated by a single element $t$, which subsets $G$ of the set $\{t^{*m}t^n : (m, n) \in \mathbb{Z}^2\}$ are hyperrigid in $\mathscr{A}$.
- [55] arXiv:2405.20823 [pdf, ps, other]
-
Title: On cohomological invariants of complex and almost complex manifoldsAuthors: Riccardo PiovaniComments: 20 pagesSubjects: Differential Geometry (math.DG); Complex Variables (math.CV)
Given a compact complex manifold, we develop Hodge theory for the elliptic complex of differential forms defined by Bigolin in 1969 and recently referred as the Schweitzer complex. We exhibits several $L^2$ orthogonal decompositions of spaces of forms and prove a Hodge decomposition for harmonic forms on compact K\"ahler manifolds. Then we compute the cohomology of this complex on the small deformations of the complex structure of the Iwasawa manifold, showing that this cohomology is as powerful as Aeppli and Bott-Chern cohomology, in order to distinguish classes of complex structures. Finally, we partially extend the definition of this complex on almost complex manifolds, providing a new cohomological invariant on 1-forms which is finite dimensional when the manifold is compact.
- [56] arXiv:2405.20831 [pdf, ps, other]
-
Title: Strong propagation of chaos for systems of interacting particles with nearly stable jumpsAuthors: Eva Löcherbach (Statistique, Analyse et Modélisation Multidisciplinaire, Université Paris 1 Panthéon-Sorbonne, EA 4543 et FR FP2M 2036 CNRS), Dasha Loukianova (Laboratoire de Mathématiques et Modélisation d'Évry, Université d'Évry Val d'Essonne, UMR CNRS 8071), Elisa Marini (Dipartimento di Matematica "Tullio Levi-Civita", Università degli Studi di Padova)Comments: arXiv admin note: text overlap with arXiv:2306.12275Subjects: Probability (math.PR)
We consider a system of $N$ interacting particles, described by SDEs driven by Poisson random measures, where the coefficients depend on the empirical measure of the system. Every particle jumps with a jump rate depending on its position. When this happens, all the other particles of the system receive a small random kick which is distributed according to a heavy tailed random variable belonging to the domain of attraction of an $\alpha-$ stable law and scaled by $N^{-1/\alpha},$ where $0 < \alpha <2 .$ We call these jumps collateral jumps. Moreover, in case $ 0 < \alpha < 1, $ the jumping particle itself undergoes a macroscopic, main jump. Such systems appear in the modeling of large neural networks, such as the human brain.
The particular scaling of the collateral jumps implies that the limit of the empirical measures of the system is random and equals the conditional distribution of one typical particle in the limit system, given the source of common noise. Thus the system exhibits the conditional propagation of chaos property. The limit system turns out to be solution of a non-linear SDE, driven by an $ \alpha-$stable process. We prove strong unique existence of the limit system and introduce a suitable coupling to obtain the strong convergence of the finite to the limit system, together with precise error bounds for finite time marginals. - [57] arXiv:2405.20836 [pdf, other]
-
Title: Solving partial differential equations with sampled neural networksAuthors: Chinmay Datar, Taniya Kapoor, Abhishek Chandra, Qing Sun, Iryna Burak, Erik Lien Bolager, Anna Veselovska, Massimo Fornasier, Felix DietrichComments: 16 pages, 15 figuresSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
Approximation of solutions to partial differential equations (PDE) is an important problem in computational science and engineering. Using neural networks as an ansatz for the solution has proven a challenge in terms of training time and approximation accuracy. In this contribution, we discuss how sampling the hidden weights and biases of the ansatz network from data-agnostic and data-dependent probability distributions allows us to progress on both challenges. In most examples, the random sampling schemes outperform iterative, gradient-based optimization of physics-informed neural networks regarding training time and accuracy by several orders of magnitude. For time-dependent PDE, we construct neural basis functions only in the spatial domain and then solve the associated ordinary differential equation with classical methods from scientific computing over a long time horizon. This alleviates one of the greatest challenges for neural PDE solvers because it does not require us to parameterize the solution in time. For second-order elliptic PDE in Barron spaces, we prove the existence of sampled networks with $L^2$ convergence to the solution. We demonstrate our approach on several time-dependent and static PDEs. We also illustrate how sampled networks can effectively solve inverse problems in this setting. Benefits compared to common numerical schemes include spectral convergence and mesh-free construction of basis functions.
- [58] arXiv:2405.20839 [pdf, ps, other]
-
Title: Stability in quadratic variationSubjects: Probability (math.PR)
Consider a sequence of cadlag processes $\{X^n\}_n$, and some fixed function $f$. If $f$ is continuous then under several modes of convergence $X^n\to X$ implies corresponding convergence of $f(X^n)\to f(X)$, due to continuous mapping. We study conditions (on $f$, $\{X^n\}_n$ and $X$) under which convergence of $X^n\to X$ implies $\left[f(X^n)-f(X)\right]\to 0$. While interesting in its own right, this also directly relates (through integration by parts and the Kunita-Watanabe inequality) to convergence of integrators in the sense $\int_0^t Y_{s-}df(X^n_s)\to\int_0^t Y_{s-}df(X_s)$. We use two different types of quadratic variations, weak sense and strong sense which our two main results deal with. For weak sense quadratic variations we show stability when $f\in C^1$, $\{X^n\}_n,X$ are Dirichlet processes defined as in \cite{NonCont} $X^n\xrightarrow{a.s.}X$, $[X^n-X]\xrightarrow{a.s.}0$ and $\{(X^n)^*_t\}_n$ is bounded in probability. For strong sense quadratic variations we are able to relax the conditions on $f$ to being the primitive function of a cadlag function but with the additional assumption on $X$, that the continuous and discontinuous parts of $X$ are independent stochastic processes (this assumption is not imposed on $\{X^n\}_n$ however), and $\{X^n\}_n,X$ are Dirichlet processes with quadratic variations along any stopping time refining sequence. To prove the result regarding strong sense quadratic variation we prove a new It\^o decomposition for this setting.
- [59] arXiv:2405.20840 [pdf, ps, other]
-
Title: Convergence rate of the Euler-Maruyama scheme to density dependent SDEs driven by $α$-stable additive noiseSubjects: Probability (math.PR)
In this paper, we establish the weak convergence rate of density-dependent stochastic differential equations with bounded drift driven by $\alpha$-stable processes with $\alpha\in(1,2)$. The well-posedness of these equations has been previously obtained in \cite{wu2023well}. We derive an explicit convergence rate in total variation for the Euler-Maruyama scheme, employing a technique rooted in \cite{hao2023}.
- [60] arXiv:2405.20841 [pdf, other]
-
Title: Equidistribution of CM points on a Shimura Curve modulo a ramified primeAuthors: Francesco Maria SaettoneComments: 24 pages, comments welcome!Subjects: Number Theory (math.NT)
We prove an equidistribution statement for the reduction of Galois orbits of CM points on the special fiber of a Shimura curve over a totally real field attached to some ramified primes. To do so we study the reduction of CM points in the special fiber and we use Ratner's theorem to obtain the desired equidistribution.
- [61] arXiv:2405.20845 [pdf, ps, other]
-
Title: Existence of solutions for a system with general Hardy--Sobolev singular criticalitiesComments: arXiv admin note: text overlap with arXiv:2211.17047Subjects: Analysis of PDEs (math.AP)
In this paper we study a class of Hardy--Sobolev type systems defined in $\mathbb{R}^N$ and coupled by a singular critical Hardy--Sobolev term. The main novelty of this work is that the orders of the singularities are independent and contained in a wide range. By means of variational techniques, we will prove the existence of positive bound and ground states for such a system. In particular, we find solutions as minimizers or Mountain--Pass critical points of the energy functional on the underlying Nehari manifold.
- [62] arXiv:2405.20854 [pdf, ps, other]
-
Title: Homotopy theory of pre-Calabi-Yau morphismsAuthors: Marion BoucrotComments: 54 pagesSubjects: K-Theory and Homology (math.KT)
In this article we study the homotopy theory of pre-Calabi-Yau morphisms, viewing them as Maurer-Cartan elements of an $L_{\infty}$-algebra. We give two different notions of homotopy: a notion of weak homotopy for morphisms between $d$-pre-Calabi-Yau categories whose underlying graded quivers on the domain (resp. codomain) are the same, and a notion of homotopy for morphisms between fixed pre-Calabi-Yau categories $(\mathcal{A},s_{d+1}M_{\mathcal{A}})$ and $(\mathcal{B},s_{d+1}M_{\mathcal{B}})$. Then, we show that the notion of homotopy is stable under composition and that homotopy equivalences are quasi-isomorphisms. Finally, we prove that the functor constructed by the author in a previous article between the category of pre-Calabi-Yau categories and the partial category of $A_{\infty}$-categories of the form $\mathcal{A}\oplus\mathcal{A}^*[d-1]$, for $\mathcal{A}$ a graded quiver, together with hat morphisms sends homotopic $d$-pre-Calabi-Yau morphisms to weak homotopic $A_{\infty}$-morphisms.
- [63] arXiv:2405.20864 [pdf, other]
-
Title: Cartan Geometry and Infinite-Dimensional Kempf-Ness TheorySubjects: Differential Geometry (math.DG); Symplectic Geometry (math.SG)
We pioneer the development of a rigorous infinite-dimensional framework for the Kempf-Ness theorem, addressing the significant challenge posed by the absence of a complexification for the symmetry group in infinite dimensions, e.g, the diffeomorphism group. We propose a novel approach, based on Cartan bundles, to generalize Kempf-Ness theory to infinite dimensions, invoking the fundamental role played by the Maurer-Cartan form. This approach allows us to define and study objects essential for the Kempf-Ness theorem, such as the complex model for orbits and the Kempf-Ness function, as well as establishing its convexity properties and defining a generalized Futaki character. We show how our framework can be applied to the study of various problems in K\"ahler geometry, deformation quantization, and gauge theory.
- [64] arXiv:2405.20873 [pdf, ps, other]
-
Title: Mutually unbiased bases via complex projective trigonometryAuthors: Mikhail G. KatzComments: 6 pages, to appear in Open MathematicsSubjects: Differential Geometry (math.DG)
We give a synthetic construction of a complete system of mutually unbiased bases in $\mathbb{C}^3$.
- [65] arXiv:2405.20877 [pdf, other]
-
Title: Waveform Design for Over-the-Air ComputingAuthors: Nikos G. Evgenidis, Nikos A. Mitsiou, Sotiris A. Tegos, Panagiotis D. Diamantoulakis, Panagiotis Sarigiannidis, Ioannis T. Rekanos, George K. KaragiannidisComments: 14 pagesSubjects: Information Theory (cs.IT); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Signal Processing (eess.SP); Statistics Theory (math.ST)
In response to the increasing number of devices anticipated in next-generation networks, a shift toward over-the-air (OTA) computing has been proposed. Leveraging the superposition of multiple access channels, OTA computing enables efficient resource management by supporting simultaneous uncoded transmission in the time and the frequency domain. Thus, to advance the integration of OTA computing, our study presents a theoretical analysis addressing practical issues encountered in current digital communication transceivers, such as time sampling error and intersymbol interference (ISI). To this end, we examine the theoretical mean squared error (MSE) for OTA transmission under time sampling error and ISI, while also exploring methods for minimizing the MSE in the OTA transmission. Utilizing alternating optimization, we also derive optimal power policies for both the devices and the base station. Additionally, we propose a novel deep neural network (DNN)-based approach to design waveforms enhancing OTA transmission performance under time sampling error and ISI. To ensure fair comparison with existing waveforms like the raised cosine (RC) and the better-than-raised-cosine (BRTC), we incorporate a custom loss function integrating energy and bandwidth constraints, along with practical design considerations such as waveform symmetry. Simulation results validate our theoretical analysis and demonstrate performance gains of the designed pulse over RC and BTRC waveforms. To facilitate testing of our results without necessitating the DNN structure recreation, we provide curve fitting parameters for select DNN-based waveforms as well.
- [66] arXiv:2405.20888 [pdf, ps, other]
-
Title: Upper Bounds on Large Deviations of Dirichlet $L$-functions in the $q$-aspectComments: 48 pagesSubjects: Number Theory (math.NT); Probability (math.PR)
We prove a result on the large deviations of the central values of even primitive Dirichlet $L$-functions with a given modulus. For $V\sim \alpha\log\log q$ with $0<\alpha<1$, we show that \begin{equation}\nonumber\frac{1}{\varphi(q)} \# \left\{\chi \text{ even, primitive mod }q: \log \left|L\left(\chi,\frac{1}{2}\right)\right| >V\right\}\ll \frac{e^{-\frac{V^2}{\log\log q}}}{\sqrt{\log\log q}}.\end{equation} This yields the sharp upper bound for the fractional moments of central values of Dirichlet $L$-functions proved by Gao, upon noting that the number of even, primitive characters with modulus $q$ is $\frac{\varphi(q)}{2}+O(1).$ The proof is an adaptation to the $q$-aspect of the recursive scheme developed by Arguin, Bourgade and Radziwill for the local maxima of the Riemann zeta function, and applied by Arguin and Bailey to the large deviations in the $t$-aspect. We go further and get bounds on the case where $V=o(\log\log q)$. These bounds are not expected to be sharp, but the discrepancy from the Central Limit Theorem estimate grows very slowly with $q$. The method involves a formula for the twisted mollified second moment of central values of Dirichlet $L$-functions, building on the work of Iwaniec and Sarnak.
- [67] arXiv:2405.20891 [pdf, ps, other]
-
Title: On the largest independent sets in the Kneser graph on chambers of PG(4,q)Authors: Philipp HeeringSubjects: Combinatorics (math.CO)
Let $\Gamma_4$ be the graph whose vertices are the chambers of the finite projective $4$-space PG(4,q), with two vertices being adjacent if the corresponding chambers are in general position. For $q\geq 749 $ we show that $\alpha:=(q^2+q+1)(q^3+2q^2+q+1)(q+1)^2$ is the independence number of $\Gamma_4$ and the geometric structure of independent sets with $\alpha$ vertices is described.
- [68] arXiv:2405.20893 [pdf, ps, other]
-
Title: On the transitivity of Lie ideals and a characterization of perfect Lie algebrasAuthors: Nikolaos Panagiotis SourisComments: 11 pages, comments and/or suggestions are welcomeSubjects: Rings and Algebras (math.RA)
We explore general intrinsic and extrinsic conditions that allow the transitivity of the relation of being a Lie ideal, in the sense that if a Lie algebra $\mathfrak{h}$ is a subideal of a Lie algebra $\mathfrak{g}$ (i.e. there exist Lie subalgebras $\mathfrak{l}_0,\mathfrak{l}_1,\dots,\mathfrak{l}_n$ of $\mathfrak{g}$ with $\mathfrak{h}=\mathfrak{l}_0\unlhd \mathfrak{l}_1 \unlhd\cdots \unlhd \mathfrak{l}_n=\mathfrak{g}$), then $\mathfrak{h}$ is an ideal of $\mathfrak{g}$. We also prove that perfect Lie algebras of arbitrary dimension and over any field are intrinsically characterized by transitivity of this type; In particular, we show that a Lie algebra $\mathfrak{h}$ is perfect (i.e. $\mathfrak{h}=[\mathfrak{h}, \mathfrak{h}]$) if and only if for any Lie algebra $\mathfrak{g}$ such that $\mathfrak{h}$ is a subideal of $\mathfrak{g}$, it follows that $\mathfrak{h}$ is an ideal of $\mathfrak{g}$.
- [69] arXiv:2405.20894 [pdf, other]
-
Title: Existence of solutions to k-Wave models of nonlinear ultrasound propagation in biological tissueSubjects: Analysis of PDEs (math.AP)
We investigate models for nonlinear ultrasound propagation in soft biological tissue based on the one that serves as the core for the software package k-Wave. The systems are solved for the acoustic particle velocity, mass density, and acoustic pressure and involve a fractional absorption operator. We first consider a system that incorporates additional viscosity in the equation for momentum conservation. By constructing a Galerkin approximation procedure, we prove the local existence of its solutions. In view of inverse problems arising from imaging tasks, the theory allows for the variable background mass density, speed of sound, and the nonlinearity parameter in the systems. Secondly, under stronger conditions on the data, we take the vanishing viscosity limit of the problem, thereby rigorously establishing the existence of solutions for the limiting system as well.
- [70] arXiv:2405.20898 [pdf, ps, other]
-
Title: Codimensions of algebras with pseudoautomorphism and their exponential growthComments: 10 pagesSubjects: Rings and Algebras (math.RA)
Let $F$ be a fixed field of characteristic zero containing an element $i$ such that $i^2 = -1$. In this paper we consider finite dimensional superalgebras over $F$ endowed with a pseudoautomorphism $p$ and we investigate the asymptotic behaviour of the corresponding sequence of $p$-codimensions $c_n^p(A),$ $n=1,2, \ldots$. First we give a positive answer to a conjecture of Amitsur in this setting: the $p$-exponent $\exp^p(A) = \lim_{n \rightarrow \infty} \sqrt[n]{c_n^p(A)} $ always exists and it is an integer. In the final part we characterize the algebras whose exponential growth is bounded by $2$.
- [71] arXiv:2405.20899 [pdf, ps, other]
-
Title: On the cone conjecture for certain pairs of dimension at most 4Authors: Fulin XuComments: 36 pagesSubjects: Algebraic Geometry (math.AG)
In this paper, by running MMP and considering the anti-canonical fibration, we prove the Morrison-Kawamata cone conjecture for klt Calabi-Yau pairs $(X,\Delta)$ such that $\dim X$ is at most $4$, and the Iitaka dimension $\kappa(X,-K_X)$ is at least $\dim X - 2$.
- [72] arXiv:2405.20904 [pdf, ps, other]
-
Title: Solving systems of equations on antichains for the computation of the ninth Dedekind NumberSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We study three systems of equations, together with a way to count the number of solutions. One of the results was used in the recent computation of D(9), the others have potential to speed up existing techniques in the future.
- [73] arXiv:2405.20907 [pdf, ps, other]
-
Title: The Muckenhoupt conditionAuthors: Zoe NieraethComments: 38 pagesSubjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA)
The goal of this paper is to unify the theory of weights beyond the setting of weighted Lebesgue spaces in the general setting of quasi-Banach function spaces. We prove new characterizations for the boundedness of singular integrals, and pose several conjectures and partial results related to the duality of the Hardy-Littlewood maximal operator. Furthermore, we give an overview of the theory applied to weighted variable Lebesgue and Morrey spaces.
- [74] arXiv:2405.20908 [pdf, ps, other]
-
Title: Note on homoclinic solutions to nonautonomous Hamiltonian systems with sign-changing nonlinear partSubjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP)
In the paper, we utilize the recent variational, abstract theorem to show the existence of homoclinic solutions to the Hamiltonian system $$ \dot{z} = J D_z H(z, t), \quad t \in \mathbb{R}, $$ where the Hamiltonian $H : \mathbb{R}^{2N} \times \mathbb{R} \rightarrow \mathbb{R}$ is of the form $$ H(z, t) = \frac12 Az \cdot z + \Gamma(t) \left( F(z) - \lambda G(z) \right) $$ for some symmetric matrix $A$.
- [75] arXiv:2405.20909 [pdf, other]
-
Title: Nonparametric regression on random geometric graphs sampled from submanifoldsSubjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
We consider the nonparametric regression problem when the covariates are located on an unknown smooth compact submanifold of a Euclidean space. Under defining a random geometric graph structure over the covariates we analyze the asymptotic frequentist behaviour of the posterior distribution arising from Bayesian priors designed through random basis expansion in the graph Laplacian eigenbasis. Under Holder smoothness assumption on the regression function and the density of the covariates over the submanifold, we prove that the posterior contraction rates of such methods are minimax optimal (up to logarithmic factors) for any positive smoothness index.
- [76] arXiv:2405.20924 [pdf, ps, other]
-
Title: Successive vanishing on curvesAuthors: Florin AmbroComments: 10 pagesSubjects: Algebraic Geometry (math.AG)
We investigate the emptiness of adjoint linear systems associated to successive multiples of a given positive divisor with real coefficients
- [77] arXiv:2405.20932 [pdf, ps, other]
-
Title: Normalization and cut-elimination theorems for some logics of evidence and truthSubjects: Logic (math.LO)
In this paper, we investigate proof-theoretic aspects of the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson's logic N and the logic of first-degree entailment FDE, also known as Belnap-Dunn four-valued logic, with a classicality operator that recovers classical logic for formulas in its scope. We will present natural deduction and sequent systems for LETJ and LETF, together with proofs of normalization and cut-elimination theorems, respectively. As a corollary, we obtain decidability for both logics.
- [78] arXiv:2405.20939 [pdf, ps, other]
-
Title: Twenty-five years of greedy basesSubjects: Functional Analysis (math.FA)
Although the basic idea behind the concept of a greedy basis had been around for some time, the formal development of a theory of greedy bases was initiated in 1999 with the publication of the article [S.~V.~Konyagin and V.~N.~Temlyakov, A remark on greedy approximation in Banach spaces, East J. Approx. 5 (1999), no. 3, 365--379]. The theoretical simplicity of the thresholding greedy algorithm became a model for a procedure widely used in numerical applications and the subject of greedy bases evolved very rapidly from the point of view of approximation theory. The idea of studying greedy bases and related greedy algorithms attracted also the attention of researchers with a classical Banach space theory background. From the more abstract point of functional analysis, the theory of greedy bases and its derivates evolved very fast as many fundamental results were discovered and new ramifications branched out. Hundreds of papers on greedy-like bases and several monographs have been written since the foundational paper mentioned above appeared. After twenty-five years, the theory is very much alive and it continues to be a very active research topic both for functional analysts and for researchers interested in the applied nature of nonlinear approximation alike. This is why we believe it is a good moment to gather a selection of 25 open problems (one per year since 1999!) whose solution would contribute to advance the state of art of this beautiful topic.
- [79] arXiv:2405.20941 [pdf, other]
-
Title: Lecture on the combinatorial algebraic method for computing algebraic integralsAuthors: Bertrand EynardComments: 67 pages, many figures, many examplesSubjects: Mathematical Physics (math-ph)
Consider an algebraic equation $P(x,y)=0$ where $P\in \mathbb C[x,y] $ (or $\mathbb F[x,y]$ with $\mathbb F\subset \mathbb C$ a subfield) is a bivariate polynomial, it defines a plane algebraic curve. We provide an efficient method for computing integrals of the type $ \int_\gamma R(x,y)dx $ where $R(x,y)\in \mathbb C(x,y) $ is any rational fraction, and $y$ is solution of $P(x,y)=0$, and $\gamma$ any Jordan arc open or closed on the plane algebraic curve. The method uses only algebraic and combinatorial manipulations, it rests on the combinatorics of the Newton's polygon. We illustrate it with many practical examples.
- [80] arXiv:2405.20942 [pdf, other]
-
Title: $G$-tables and the Poisson structure of the even cohomology of cotangent bundle of the Heisenberg Lie groupSubjects: Representation Theory (math.RT); K-Theory and Homology (math.KT); Rings and Algebras (math.RA)
In the first part of the paper, we define the concept of a $G$-table of a $G$-(co)algebra and we compute the $G$-table of some $G$-(co)algebras (here a $G$-algebra is an algebra on which $G$ acts, semisimply, by algebra automorphisms). The $G$-table of a $G$-(co)algebra $A$ is a set of scalars that provides very precise and concise information about both the algebra structure and the $G$-module structure of $A$. In particular, the ordinary multiplication table of $A$ can be derived from the $G$-table of $A$. From the $G$-table of a $G$-algebra $A$ we define a plain algebra $P(A)$ associated to it and we present some basic functoriality results about $P$. Obtaining the $G$-table of a given $G$-algebra $A$ requires a considerable amount of work but, the result, is a very powerful tool as shown in the second part of the paper. Here we compute the $SL(2)$-tables of the Poisson algebra structure of the even-degree part of the cohomology associated to the cotangent bundle of the 3-dimensional Heisenberg Lie group with Lie algebra $h$, that is $H_E(h)=H_E^{\bullet}(h,\bigwedge^{\bullet}h)$. This Poisson $SL(2)$-algebra has dimension 18. From these $SL(2)$-tables we deduce that the underlying Lie algebra of $H_E(h)$ is isomorphic to $gl(3)\ltimes gl(3)_{ab}$ with the first factor acting on the second (abelian) one by the adjoint representation. We find it remarkable that the Lie algebra structure on $H_{E}(h)$ contains a semisimple Lie subalgebra (in this case $sl(3)$) strictly larger than the Levi factor of $\text{Der}(h)$, which in this case is $sl(2)\subset H^{1}(h,h)$. This means that the Levi factor of the Lie algebra $H_{E}(h)$ has nontrivial elements outside $H^{1}(h,h)$. Finally, this leads us to find a family of commutative Poisson algebras whose underlying Lie structure is $gl(n)\ltimes gl(n)_{ab}$ (arbitrary $n$) such that, for $n=3$, is isomorphic to $H_E(h)$.
- [81] arXiv:2405.20945 [pdf, ps, other]
-
Title: A criterion to detect a nontrivial homology of an invariant set of a flow in $\mathbb{R}^3$Authors: J.J. Sánchez-GabitesSubjects: Dynamical Systems (math.DS)
Consider a flow in $\mathbb{R}^3$ and let $K$ be the biggest invariant subset of some compact region of interest $N \subseteq \mathbb{R}^3$. The set $K$ is often not computable, but the way the flow crosses the boundary of $N$ can provide indirect information about it. For example, classical tools such as Wa\.{z}ewski's principle or the Poincar\'e-Hopf theorem can be used to detect whether $K$ is nonempty or contains rest points, respectively. We present a criterion that can establish whether $K$ has a nontrivial homology by looking at the subset of the boundary of $N$ along which the flow is tangent to $N$. We prove that the criterion is as sharp as possible with the information it uses as an input. We also show that it is algorithmically checkable.
- [82] arXiv:2405.20949 [pdf, ps, other]
-
Title: Uniform asymptotic stability of a PDE's system arising from a flexible robotics modelComments: Preprint version of a submitted articleSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
In this paper we investigate the asymptotic stability of a fourth-order PDE with a fading memory forcing term and boundary conditions arising from a flexible robotics model. We carry on our study by using an abstract formulation of the problem based on the $C_0$-semigroup. To achieve our objective, we first provide new results on the existence, uniqueness, continuous dependence on initial data of either mild and strong solutions for semilinear integro-differential equations in Banach spaces. Then, we also find sufficient conditions for the uniform asymptotic stability of solutions and for the existence of attactors. As an application of these abstract results, we can ensure existence, uniqueness and continuous dependence on initial data for the solutions of the boundary value problem under investigation and, finally, we prove the uniform asymptotic stability of solutions and the existence of attactors under suitable conditions on the nonlinear term.
- [83] arXiv:2405.20960 [pdf, ps, other]
-
Title: Reiterated Periodic Homogenization of Parabolic Monotone Operators with Nonstandard GrowthComments: 31 pages. arXiv admin note: text overlap with arXiv:2110.02882Subjects: Analysis of PDEs (math.AP)
In this paper, we are interested in reiterated periodic homogenization for a family of parabolic problems with nonstandard growth monotone operators leading to Orlicz spaces. The aim of this work is the determination of the global homogenized problem on the one hand and the macroscopic homogenized problem on the other hand, via the reiterated two-scale convergence method adapted to this type of spaces.
- [84] arXiv:2405.20961 [pdf, ps, other]
-
Title: GGS-groups acting on trees of growing degreesComments: 28 pagesSubjects: Group Theory (math.GR)
We consider analogues of Grigorchuk-Gupta-Sidki (GGS-)groups acting on trees of growing degree; the so-called growing GGS-groups. These groups are not just infinite and do not possess the congruence subgroup property, but many of them are branch and have the $p$-congruence subgroup property, for a prime $p$. Among them, we find groups with maximal subgroups only of finite index, and with infinitely many such maximal subgroups. These give the first examples of finitely generated branch groups with infinitely many finite-index maximal subgroups. Additionally, we prove that congruence quotients of growing GGS-groups associated to a defining vector of zero sum give rise to Beauville groups.
- [85] arXiv:2405.20963 [pdf, ps, other]
-
Title: Non-commutative Iwasawa theory of abelian varieties over global function fieldsComments: 21 pagesSubjects: Number Theory (math.NT)
Let $A$ be an abelian variety defined over a global function field $F$. We investigate the structure of the $p$-primary Selmer group $\mathrm{Sel}(A/F_\infty)$ for any prime number $p$ distinct from the characteristic of $F$, over $p$-adic Lie extensions $F_\infty$ of $F$ which contain the cyclotomic $\mathbb{Z}_p$-extension $F^{\mathrm{cyc}}$. In particular, we prove that the Pontryagin dual of the Selmer group $\mathrm{Sel}(A/F^\mathrm{cyc})$ is a torsion $\mathbb{Z}_p[[\mathrm{Gal}(F^\mathrm{cyc}/F)]]$-module with trivial $\mu$-invariant, and we establish the $\mathfrak{M}_H(G)$-conjecture of Coates-Fukaya-Kato-Sujatha-Venjakob for $A/F_\infty$.
In view of the validity of the $\mathfrak{M}_H(G)$-conjecture, it therefore makes sense to speak of the characteristic element (in the sense of Coates et al.) attached to the Pontryagin dual of $\mathrm{Sel}(A/F_\infty)$. We relate the order of vanishing of the characteristic elements, evaluated at Artin representations, to the corank of the Selmer group of the corresponding twist of $A$ over the base field $F$. Combining this with the deep results of Tate, Milne and Kato-Trihan, we show that the order of vanishing of the characteristic elements is equal to the order of vanishing of the $L$-function of $A/F$ at $s=1$ under appropriate assumptions.
Finally, we relate the generalised Euler characteristic of $\mathrm{Sel}(A/F_\infty)$ to the Euler characteristic of $\mathrm{Sel}(A/F^{\mathrm{cyc}})$. This is a natural analogue of Zerbes' result in the number field context and generalises previous results of Sechi and Valentino in the function field context. - [86] arXiv:2405.20964 [pdf, ps, other]
-
Title: Profinite groups with soluble centralisersComments: 9 pagesSubjects: Group Theory (math.GR)
We show that a profinite group, in which the centralisers of non-trivial elements are metabelian, is either virtually pro-$p$ or virtually soluble of derived length at most 4. We furthermore show that a prosoluble group, in which the centralisers of non-trivial elements are soluble of bounded derived length, is either soluble or virtually pro-$p$.
- [87] arXiv:2405.20977 [pdf, ps, other]
-
Title: A mathematical justification for nonlinear constitutive relations between stress and linearized strainComments: 18 pagesSubjects: Mathematical Physics (math-ph); Materials Science (cond-mat.mtrl-sci)
We present an asymptotic framework that rigorously generates nonlinear constitutive relations between stress and linearized strain for elastic bodies. Each of these relations arises as the leading order relationship satisfied by a one-parameter family of nonlinear constitutive relations between stress and nonlinear strain. The asymptotic parameter limits the overall range of strains that satisfy the corresponding constitutive relation in the one-parameter family while the stresses can remain large (relative to a fixed stress scale). This differs from classical linearized elasticity where a fixed constitutive relation is assumed, and the magnitude of the displacement gradient serves as the asymptotic parameter. Also unlike classical approaches, the constitutive relations in our framework are expressed as implicit relationships between stress and strain rather than requiring stress explicitly expressed as a function of strain, adding conceptual simplicity and versatility. We demonstrate that our framework rigorously justifies nonlinear constitutive relations between stress and linearized strain including those with density-dependent Young's moduli or derived from strain energies beyond quadratic forms.
- [88] arXiv:2405.20993 [pdf, other]
-
Title: Information limits and Thouless-Anderson-Palmer equations for spiked matrix models with structured noiseSubjects: Information Theory (cs.IT); Disordered Systems and Neural Networks (cond-mat.dis-nn); Machine Learning (cs.LG); Statistics Theory (math.ST)
We consider a prototypical problem of Bayesian inference for a structured spiked model: a low-rank signal is corrupted by additive noise. While both information-theoretic and algorithmic limits are well understood when the noise is i.i.d. Gaussian, the more realistic case of structured noise still proves to be challenging. To capture the structure while maintaining mathematical tractability, a line of work has focused on rotationally invariant noise. However, existing studies either provide sub-optimal algorithms or they are limited to a special class of noise ensembles. In this paper, we establish the first characterization of the information-theoretic limits for a noise matrix drawn from a general trace ensemble. These limits are then achieved by an efficient algorithm inspired by the theory of adaptive Thouless-Anderson-Palmer (TAP) equations. Our approach leverages tools from statistical physics (replica method) and random matrix theory (generalized spherical integrals), and it unveils the equivalence between the rotationally invariant model and a surrogate Gaussian model.
- [89] arXiv:2405.20999 [pdf, other]
-
Title: Towards a Fluid computerComments: 11 pages, 3 figuresSubjects: Dynamical Systems (math.DS); Computation and Language (cs.CL); Analysis of PDEs (math.AP); Symplectic Geometry (math.SG)
In 1991, Moore [20] raised a question about whether hydrodynamics is capable of performing computations. Similarly, in 2016, Tao [25] asked whether a mechanical system, including a fluid flow, can simulate a universal Turing machine. In this expository article, we review the construction in [8] of a "Fluid computer" in dimension 3 that combines techniques in symbolic dynamics with the connection between steady Euler flows and contact geometry unveiled by Etnyre and Ghrist. In addition, we argue that the metric that renders the vector field Beltrami cannot be critical in the Chern-Hamilton sense [9]. We also sketch the completely different construction for the Euclidean metric in $\mathbb R^3$ as given in [7]. These results reveal the existence of undecidable fluid particle paths. We conclude the article with a list of open problems.
- [90] arXiv:2405.21005 [pdf, other]
-
Title: Influx ratio preserving coupling conditions for the networked Lighthill-Whitham-Richards modelAuthors: Niklas KolbeComments: 7 pages, 2 figuresSubjects: Numerical Analysis (math.NA)
A new coupling rule for the Lighthill-Whitham-Richards model at merging junctions is introduced that imposes the preservation of the ratio between inflow from a given road to the total inflow into the junction. This rule is considered both in the context of the original traffic flow model and a relaxation setting giving rise to two different Riemann solvers that are discussed for merging 2-to-1 junctions. Numerical experiments are shown suggesting that the relaxation based Riemann solver is capable of suitable predictions of both, free-flow and congestion scenarios without relying on flow maximization.
- [91] arXiv:2405.21007 [pdf, ps, other]
-
Title: Card Tricks and InformationAuthors: Aria Chen, Tyler Cummins, Rishi De Francesco, Jate Greene, Tanya Khovanova, Alexander Meng, Tanish Parida, Anirudh Pulugurtha, Anand Swaroop, Samuel TsuiComments: 24 pages, 13 tablesSubjects: History and Overview (math.HO); Combinatorics (math.CO)
Fitch Cheney's 5-card trick was introduced in 1950. In 2013, Mulcahy invented a 4-card trick in which the cards are allowed to be displayed face down. We suggest our own invention: a 3-card trick in which the cards can be face down and also allowed to be placed both vertically and horizontally. We discuss the theory behind all the tricks and estimate the maximum deck size given the number of chosen cards. We also discuss the cases of hiding several cards and the deck that has duplicates.
- [92] arXiv:2405.21014 [pdf, ps, other]
-
Title: The classification of dp-minimal integral domainsComments: 31 pagesSubjects: Logic (math.LO); Rings and Algebras (math.RA)
We classify dp-minimal integral domains, building off the existing classification of dp-minimal fields and dp-minimal valuation rings. We show that if R is a dp-minimal integral domain, then R is a field or a valuation ring or arises from the following construction: there is a dp-minimal valuation overring O extending R, a proper ideal I in O, and a finite subring S in O/I such that R is the preimage of S in O.
- [93] arXiv:2405.21023 [pdf, other]
-
Title: Compact Optimality Verification for Optimization ProxiesComments: International Conference on Machine Learning 2024Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI)
Recent years have witnessed increasing interest in optimization proxies, i.e., machine learning models that approximate the input-output mapping of parametric optimization problems and return near-optimal feasible solutions. Following recent work by (Nellikkath & Chatzivasileiadis, 2021), this paper reconsiders the optimality verification problem for optimization proxies, i.e., the determination of the worst-case optimality gap over the instance distribution. The paper proposes a compact formulation for optimality verification and a gradient-based primal heuristic that brings substantial computational benefits to the original formulation. The compact formulation is also more general and applies to non-convex optimization problems. The benefits of the compact formulation are demonstrated on large-scale DC Optimal Power Flow and knapsack problems.
- [94] arXiv:2405.21026 [pdf, ps, other]
-
Title: A note on oriented percolation with inhomogeneities and strict inequalitiesSubjects: Probability (math.PR)
This note was motivated by natural questions related to oriented percolation on a layered environment that introduces long range dependence. As a convenient tool, we are led to deal with questions on the strict decrease of the percolation parameter in the oriented setup when an extra dimension is added.
- [95] arXiv:2405.21039 [pdf, other]
-
Title: Fibonacci sequence and Pythagorean triples in the composition of functions for integer solutions from certain operatorAuthors: Pablo José Vega EsparzaSubjects: General Mathematics (math.GM)
The following article summarizes research where theorems and their respective demonstrations are postulated based on quadratic equations with special properties given by the Pythagorean triplets and the Fibonacci sequence given the second order of equations where integer solutions are found an environment in number theory and its applications to calculus.
- [96] arXiv:2405.21053 [pdf, ps, other]
-
Title: Dimension formulas for period spaces via motives and speciesComments: 46 pages. Comments very welcome!Subjects: Number Theory (math.NT); Rings and Algebras (math.RA); Representation Theory (math.RT)
We apply the structure theory of finite dimensional algebras in order to deduce dimension formulas for spaces of period numbers, i.e., complex numbers defined by integrals of algebraic nature. We get a complete and conceptually clear answer in the case of $1$-periods, generalising classical results like Baker's theorem on the logarithms of algebraic numbers and partial results in Huber--W{\"u}stholz \cite{huber-wuestholz}.
The application to the case of Mixed Tate Motives (i.e., Multiple Zeta Values) recovers the dimension estimates of Deligne--Goncharov \cite{deligne-goncharov}. - [97] arXiv:2405.21062 [pdf, ps, other]
-
Title: Algebra of global sections of $ψ$-bundles on $\bar{M}_{0,n}$Comments: 10 pagesSubjects: Algebraic Geometry (math.AG)
We consider the ${\mathbb Z}^n$-graded algebra of global sections of line bundles generated by the standard line bundles $L_1,\ldots,L_n$ on $\bar{M}_{0,n}$. We find a simple presentation of this algebra by generators and quadratic relations. As an application we prove that the moduli space $\bar{M}_{0,n}[\psi]$ of $\psi$-stable curves of genus $0$ is Cohen-Macaulay and normal, and the natural map $\bar{M}_{0,n}\to \bar{M}_{0,n}[\psi]$ is a rational resolution.
Cross-lists for Mon, 3 Jun 24
- [98] arXiv:2405.19499 (cross-list from cs.LG) [pdf, other]
-
Title: Momentum for the Win: Collaborative Federated Reinforcement Learning across Heterogeneous EnvironmentsJournal-ref: Proceedings of the 41st International Conference on Machine Learning, 2024 LearningSubjects: Machine Learning (cs.LG); Multiagent Systems (cs.MA); Optimization and Control (math.OC)
We explore a Federated Reinforcement Learning (FRL) problem where $N$ agents collaboratively learn a common policy without sharing their trajectory data. To date, existing FRL work has primarily focused on agents operating in the same or ``similar" environments. In contrast, our problem setup allows for arbitrarily large levels of environment heterogeneity. To obtain the optimal policy which maximizes the average performance across all potentially completely different environments, we propose two algorithms: FedSVRPG-M and FedHAPG-M. In contrast to existing results, we demonstrate that both FedSVRPG-M and FedHAPG-M, both of which leverage momentum mechanisms, can exactly converge to a stationary point of the average performance function, regardless of the magnitude of environment heterogeneity. Furthermore, by incorporating the benefits of variance-reduction techniques or Hessian approximation, both algorithms achieve state-of-the-art convergence results, characterized by a sample complexity of $\mathcal{O}\left(\epsilon^{-\frac{3}{2}}/N\right)$. Notably, our algorithms enjoy linear convergence speedups with respect to the number of agents, highlighting the benefit of collaboration among agents in finding a common policy.
- [99] arXiv:2405.20387 (cross-list from eess.SY) [pdf, ps, other]
-
Title: Sensitivity Analysis for Piecewise-Affine Approximations of Nonlinear Programs with Polytopic ConstraintsComments: 6 pages, 4 figures, accepted for publication in IEEE Control Systems LettersSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Nonlinear Programs (NLPs) are prevalent in optimization-based control of nonlinear systems. Solving general NLPs is computationally expensive, necessitating the development of fast hardware or tractable suboptimal approximations. This paper investigates the sensitivity of the solutions of NLPs with polytopic constraints when the nonlinear continuous objective function is approximated by a PieceWise-Affine (PWA) counterpart. By leveraging perturbation analysis using a convex modulus, we derive guaranteed bounds on the distance between the optimal solution of the original polytopically-constrained NLP and that of its approximated formulation. Our approach aids in determining criteria for achieving desired solution bounds. Two case studies on the Eggholder function and nonlinear model predictive control of an inverted pendulum demonstrate the theoretical results.
- [100] arXiv:2405.20390 (cross-list from cs.LG) [pdf, other]
-
Title: Quantitative Convergences of Lie Group Momentum OptimizersSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA); Optimization and Control (math.OC); Machine Learning (stat.ML)
Explicit, momentum-based dynamics that optimize functions defined on Lie groups can be constructed via variational optimization and momentum trivialization. Structure preserving time discretizations can then turn this dynamics into optimization algorithms. This article investigates two types of discretization, Lie Heavy-Ball, which is a known splitting scheme, and Lie NAG-SC, which is newly proposed. Their convergence rates are explicitly quantified under $L$-smoothness and local strong convexity assumptions. Lie NAG-SC provides acceleration over the momentumless case, i.e. Riemannian gradient descent, but Lie Heavy-Ball does not. When compared to existing accelerated optimizers for general manifolds, both Lie Heavy-Ball and Lie NAG-SC are computationally cheaper and easier to implement, thanks to their utilization of group structure. Only gradient oracle and exponential map are required, but not logarithm map or parallel transport which are computational costly.
- [101] arXiv:2405.20405 (cross-list from cs.DS) [pdf, other]
-
Title: Private Mean Estimation with Person-Level Differential PrivacyAuthors: Sushant Agarwal, Gautam Kamath, Mahbod Majid, Argyris Mouzakis, Rose Silver, Jonathan UllmanComments: 67 pages, 3 figuresSubjects: Data Structures and Algorithms (cs.DS); Cryptography and Security (cs.CR); Information Theory (cs.IT); Machine Learning (cs.LG); Machine Learning (stat.ML)
We study differentially private (DP) mean estimation in the case where each person holds multiple samples. Commonly referred to as the "user-level" setting, DP here requires the usual notion of distributional stability when all of a person's datapoints can be modified. Informally, if $n$ people each have $m$ samples from an unknown $d$-dimensional distribution with bounded $k$-th moments, we show that
\[n = \tilde \Theta\left(\frac{d}{\alpha^2 m} + \frac{d }{ \alpha m^{1/2} \varepsilon} + \frac{d}{\alpha^{k/(k-1)} m \varepsilon} + \frac{d}{\varepsilon}\right)\]
people are necessary and sufficient to estimate the mean up to distance $\alpha$ in $\ell_2$-norm under $\varepsilon$-differential privacy (and its common relaxations). In the multivariate setting, we give computationally efficient algorithms under approximate DP (with slightly degraded sample complexity) and computationally inefficient algorithms under pure DP, and our nearly matching lower bounds hold for the most permissive case of approximate DP. Our computationally efficient estimators are based on the well known noisy-clipped-mean approach, but the analysis for our setting requires new bounds on the tails of sums of independent, vector-valued, bounded-moments random variables, and a new argument for bounding the bias introduced by clipping. - [102] arXiv:2405.20435 (cross-list from cs.LG) [pdf, other]
-
Title: Deep Learning for Computing Convergence Rates of Markov ChainsSubjects: Machine Learning (cs.LG); Probability (math.PR); Machine Learning (stat.ML)
Convergence rate analysis for general state-space Markov chains is fundamentally important in areas such as Markov chain Monte Carlo and algorithmic analysis (for computing explicit convergence bounds). This problem, however, is notoriously difficult because traditional analytical methods often do not generate practically useful convergence bounds for realistic Markov chains. We propose the Deep Contractive Drift Calculator (DCDC), the first general-purpose sample-based algorithm for bounding the convergence of Markov chains to stationarity in Wasserstein distance. The DCDC has two components. First, inspired by the new convergence analysis framework in (Qu et.al, 2023), we introduce the Contractive Drift Equation (CDE), the solution of which leads to an explicit convergence bound. Second, we develop an efficient neural-network-based CDE solver. Equipped with these two components, DCDC solves the CDE and converts the solution into a convergence bound. We analyze the sample complexity of the algorithm and further demonstrate the effectiveness of the DCDC by generating convergence bounds for realistic Markov chains arising from stochastic processing networks as well as constant step-size stochastic optimization.
- [103] arXiv:2405.20449 (cross-list from eess.SY) [pdf, other]
-
Title: Optimization, guidance, and control of low-thrust transfers from the Lunar Gateway to low lunar orbitComments: 19 pages, 12 figures, IAC 2023, ACTA ASTRONAUTICA 2024Subjects: Systems and Control (eess.SY); Dynamical Systems (math.DS); Optimization and Control (math.OC); Space Physics (physics.space-ph)
The Gateway will represent a primary space system useful for the Artemis program, Earth-Moon transportation, and deep space exploration. It is expected to serve as a staging location on the way to the lunar surface. This study focuses on low-thrust transfer dynamics, from the Near-Rectilinear Halo Orbit traveled by Gateway to a specified Low-altitude Lunar Orbit (LLO). This research addresses: (i) determination of the minimum-time low-thrust trajectory and (ii) design, implementation, and testing of a guidance and control architecture, for a space vehicle that travels from Gateway to LLO. Orbit dynamics is described in terms of modified equinoctial elements, in the context of a high-fidelity ephemeris model. The minimum-time trajectory from Gateway to a specified lunar orbit is detected through an indirect heuristic approach, which uses the analytical conditions arising in optimal control theory in conjunction with a heuristic technique. However, future missions will pursue a growing level of autonomy, and this circumstance implies the mandatory design of an efficient feedback guidance scheme, capable of compensating for nonnominal flight conditions. This research proposes nonlinear orbit control as a viable option for autonomous explicit guidance of low-thrust transfers from Gateway to LLO. This approach allows defining a feedback law that enjoys quasi-global stability properties without requiring any offline reference trajectory. The overall spacecraft dynamics is modeled including attitude control and actuation. The latter is demanded to an array of reaction wheels, arranged in a pyramidal configuration. Guidance, attitude control, and actuation are implemented in an iterative scheme. Monte Carlo simulations demonstrate that the guidance and control architecture is effective with random starting points from Gateway and the temporary unavailability of the propulsion system.
- [104] arXiv:2405.20451 (cross-list from stat.ML) [pdf, other]
-
Title: Statistical Properties of Robust SatisficingSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC)
The Robust Satisficing (RS) model is an emerging approach to robust optimization, offering streamlined procedures and robust generalization across various applications. However, the statistical theory of RS remains unexplored in the literature. This paper fills in the gap by comprehensively analyzing the theoretical properties of the RS model. Notably, the RS structure offers a more straightforward path to deriving statistical guarantees compared to the seminal Distributionally Robust Optimization (DRO), resulting in a richer set of results. In particular, we establish two-sided confidence intervals for the optimal loss without the need to solve a minimax optimization problem explicitly. We further provide finite-sample generalization error bounds for the RS optimizer. Importantly, our results extend to scenarios involving distribution shifts, where discrepancies exist between the sampling and target distributions. Our numerical experiments show that the RS model consistently outperforms the baseline empirical risk minimization in small-sample regimes and under distribution shifts. Furthermore, compared to the DRO model, the RS model exhibits lower sensitivity to hyperparameter tuning, highlighting its practicability for robustness considerations.
- [105] arXiv:2405.20452 (cross-list from cs.LG) [pdf, other]
-
Title: Understanding Encoder-Decoder Structures in Machine Learning Using Information MeasuresSubjects: Machine Learning (cs.LG); Information Theory (cs.IT); Machine Learning (stat.ML)
We present new results to model and understand the role of encoder-decoder design in machine learning (ML) from an information-theoretic angle. We use two main information concepts, information sufficiency (IS) and mutual information loss (MIL), to represent predictive structures in machine learning. Our first main result provides a functional expression that characterizes the class of probabilistic models consistent with an IS encoder-decoder latent predictive structure. This result formally justifies the encoder-decoder forward stages many modern ML architectures adopt to learn latent (compressed) representations for classification. To illustrate IS as a realistic and relevant model assumption, we revisit some known ML concepts and present some interesting new examples: invariant, robust, sparse, and digital models. Furthermore, our IS characterization allows us to tackle the fundamental question of how much performance (predictive expressiveness) could be lost, using the cross entropy risk, when a given encoder-decoder architecture is adopted in a learning setting. Here, our second main result shows that a mutual information loss quantifies the lack of expressiveness attributed to the choice of a (biased) encoder-decoder ML design. Finally, we address the problem of universal cross-entropy learning with an encoder-decoder design where necessary and sufficiency conditions are established to meet this requirement. In all these results, Shannon's information measures offer new interpretations and explanations for representation learning.
- [106] arXiv:2405.20467 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Performance of NPG in Countable State-Space Average-Cost RLComments: 23 pagesSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
We consider policy optimization methods in reinforcement learning settings where the state space is arbitrarily large, or even countably infinite. The motivation arises from control problems in communication networks, matching markets, and other queueing systems. We consider Natural Policy Gradient (NPG), which is a popular algorithm for finite state spaces. Under reasonable assumptions, we derive a performance bound for NPG that is independent of the size of the state space, provided the error in policy evaluation is within a factor of the true value function. We obtain this result by establishing new policy-independent bounds on the solution to Poisson's equation, i.e., the relative value function, and by combining these bounds with previously known connections between MDPs and learning from experts.
- [107] arXiv:2405.20474 (cross-list from nlin.SI) [pdf, ps, other]
-
Title: Principle of structural analogy of solutions and its application to nonlinear PDEs and delay PDEsAuthors: Andrei D. PolyaninComments: 18 pagesSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
Using the principle of structural analogy of solutions, approaches have been developed for constructing exact solutions of complex nonlinear PDEs, including PDEs with delay, based on the use of special solutions to auxiliary simpler related equations. It is shown that to obtain exact solutions of nonlinear non-autonomous PDEs, the coefficients of which depend on time, it is possible to use generalized and functional separable solutions of simpler autonomous PDEs, the coefficients of which do not depend on time. Specific examples of constructing exact solutions to nonlinear PDEs, the coefficients of which depend arbitrarily on time, are considered. It has been discovered that generalized and functional separable solutions of nonlinear PDEs with constant delay can be used to construct exact solutions of more complex nonlinear PDEs with variable delay of general form. A number of nonlinear reaction-diffusion type PDEs with variable delay are described, which allow exact solutions with generalized separation of variables.
- [108] arXiv:2405.20502 (cross-list from eess.SY) [pdf, ps, other]
-
Title: Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety GuaranteesSubjects: Systems and Control (eess.SY); Dynamical Systems (math.DS); Optimization and Control (math.OC)
Reach-avoid specifications are one of the most common tasks in autonomous aerial vehicle (UAV) applications. Despite the intensive research and development associated with control of aerial vehicles, generating feasible trajectories though complex environments and tracking them with formal safety guarantees remain challenging. In this paper, we propose a control framework for a quadrotor UAV that enables accomplishing reach-avoid tasks with formal safety guarantees. In this proposed framework, we integrate geometric control theory for tracking and polynomial trajectory generation using Bezier curves, where tracking errors are accounted for in the trajectory synthesis process. To estimate the tracking errors, we revisit the stability analysis of the closed-loop quadrotor system, when geometric control is implemented. We show that the tracking error dynamics exhibit local exponential stability when geometric control is implemented with any positive control gains, and we derive tight uniform bounds of the tracking error. We also introduce sufficient conditions to be imposed on the desired trajectory utilizing the derived uniform bounds to ensure the well-definedness of the closed-loop system. For the trajectory synthesis, we present an efficient algorithm that enables constructing a safe tube by means of sampling-based planning and safe hyper-rectangular set computations. Then, we compute the trajectory, given as a piecewise continuous Bezier curve, through the safe tube, where a heuristic efficient approach that utilizes iterative linear programming is employed. We present extensive numerical simulations with a cluttered environment to illustrate the effectiveness of the proposed framework in reach-avoid planning scenarios.
- [109] arXiv:2405.20540 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Fully Unconstrained Online LearningSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
We provide an online learning algorithm that obtains regret $G\|w_\star\|\sqrt{T\log(\|w_\star\|G\sqrt{T})} + \|w_\star\|^2 + G^2$ on $G$-Lipschitz convex losses for any comparison point $w_\star$ without knowing either $G$ or $\|w_\star\|$. Importantly, this matches the optimal bound $G\|w_\star\|\sqrt{T}$ available with such knowledge (up to logarithmic factors), unless either $\|w_\star\|$ or $G$ is so large that even $G\|w_\star\|\sqrt{T}$ is roughly linear in $T$. Thus, it matches the optimal bound in all cases in which one can achieve sublinear regret, which arguably most "interesting" scenarios.
- [110] arXiv:2405.20559 (cross-list from physics.optics) [pdf, other]
-
Title: Universal evaluation and design of imaging systems using information estimationSubjects: Optics (physics.optics); Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT); Image and Video Processing (eess.IV); Data Analysis, Statistics and Probability (physics.data-an)
Information theory, which describes the transmission of signals in the presence of noise, has enabled the development of reliable communication systems that underlie the modern world. Imaging systems can also be viewed as a form of communication, in which information about the object is "transmitted" through images. However, the application of information theory to imaging systems has been limited by the challenges of accounting for their physical constraints. Here, we introduce a framework that addresses these limitations by modeling the probabilistic relationship between objects and their measurements. Using this framework, we develop a method to estimate information using only a dataset of noisy measurements, without making any assumptions about the image formation process. We demonstrate that these estimates comprehensively quantify measurement quality across a diverse range of imaging systems and applications. Furthermore, we introduce Information-Driven Encoder Analysis Learning (IDEAL), a technique to optimize the design of imaging hardware for maximum information capture. This work provides new insights into the fundamental performance limits of imaging systems and offers powerful new tools for their analysis and design.
- [111] arXiv:2405.20569 (cross-list from quant-ph) [pdf, other]
-
Title: Statistical signatures of quantum contextualityAuthors: Holger F. HofmannComments: 18 pages, including 2 figures and 3 tablesSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
Quantum contextuality describes situations where the statistics observed in different measurement contexts cannot be explained by a measurement independent reality of the system. The most simple case is observed in a three-dimensional Hilbert space, with five different measurement contexts related to each other by shared measurement outcomes. The quantum formalism defines the relations between these contexts in terms of well-defined relations between operators, and these relations can be used to reconstruct an unknown quantum state from a finite set of measurement results. Here, I introduce a reconstruction method based on the relations between the five measurement contexts that can violate the bounds of non-contextual statistics. A complete description of an arbitrary quantum state requires only five of the eight elements of a Kirkwood-Dirac quasi probability, but only an overcomplete set of eleven elements provides an unbiased description of all five contexts. A set of five fundamental relations between the eleven elements reveals a deterministic structure that links the five contexts. As illustrated by a number of examples, these relations provide a consistent description of contextual realities for the measurement outcomes of all five contexts.
- [112] arXiv:2405.20583 (cross-list from cs.CG) [pdf, other]
-
Title: The Gestalt Computational ModelSubjects: Computational Geometry (cs.CG); Algebraic Topology (math.AT)
Widely employed in cognitive psychology, Gestalt theory elucidates basic principles in visual perception, but meanwhile presents significant challenges for computation. The advancement of artificial intelligence requires the emulation of human cognitive behavior, for which Gestalt theory serves as a fundamental framework describing human visual cognitive behavior. In this paper, we utilize persistent homology, a mathematical tool in computational topology, to develop a computational model for Gestalt theory, addressing the challenges of quantification and computation. The Gestalt computational model not only holds promise for applications in artificial intelligence and computer vision, but also opens a new research direction of computational visual perception.
- [113] arXiv:2405.20591 (cross-list from q-bio.PE) [pdf, other]
-
Title: Weak-Form Inference for Hybrid Dynamical Systems in EcologySubjects: Populations and Evolution (q-bio.PE); Machine Learning (cs.LG); Dynamical Systems (math.DS)
Species subject to predation and environmental threats commonly exhibit variable periods of population boom and bust over long timescales. Understanding and predicting such behavior, especially given the inherent heterogeneity and stochasticity of exogenous driving factors over short timescales, is an ongoing challenge. A modeling paradigm gaining popularity in the ecological sciences for such multi-scale effects is to couple short-term continuous dynamics to long-term discrete updates. We develop a data-driven method utilizing weak-form equation learning to extract such hybrid governing equations for population dynamics and to estimate the requisite parameters using sparse intermittent measurements of the discrete and continuous variables. The method produces a set of short-term continuous dynamical system equations parametrized by long-term variables, and long-term discrete equations parametrized by short-term variables, allowing direct assessment of interdependencies between the two time scales. We demonstrate the utility of the method on a variety of ecological scenarios and provide extensive tests using models previously derived for epizootics experienced by the North American spongy moth (Lymantria dispar dispar).
- [114] arXiv:2405.20623 (cross-list from cs.LG) [pdf, other]
-
Title: Prune at the Clients, Not the Server: Accelerated Sparse Training in Federated LearningSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
In the recent paradigm of Federated Learning (FL), multiple clients train a shared model while keeping their local data private. Resource constraints of clients and communication costs pose major problems for training large models in FL. On the one hand, addressing the resource limitations of the clients, sparse training has proven to be a powerful tool in the centralized setting. On the other hand, communication costs in FL can be addressed by local training, where each client takes multiple gradient steps on its local data. Recent work has shown that local training can provably achieve the optimal accelerated communication complexity [Mishchenko et al., 2022]. Hence, one would like an accelerated sparse training algorithm. In this work we show that naive integration of sparse training and acceleration at the server fails, and how to fix it by letting the clients perform these tasks appropriately. We introduce Sparse-ProxSkip, our method developed for the nonconvex setting, inspired by RandProx [Condat and Richt\'arik, 2022], which provably combines sparse training and acceleration in the convex setting. We demonstrate the good performance of Sparse-ProxSkip in extensive experiments.
- [115] arXiv:2405.20626 (cross-list from cs.IR) [pdf, other]
-
Title: Causal Distillation for Alleviating Performance Heterogeneity in Recommender SystemsAuthors: Shengyu Zhang, Ziqi Jiang, Jiangchao Yao, Fuli Feng, Kun Kuang, Zhou Zhao, Shuo Li, Hongxia Yang, Tat-Seng Chua, Fei WuComments: TKDE 2023Subjects: Information Retrieval (cs.IR); Information Theory (cs.IT)
Recommendation performance usually exhibits a long-tail distribution over users -- a small portion of head users enjoy much more accurate recommendation services than the others. We reveal two sources of this performance heterogeneity problem: the uneven distribution of historical interactions (a natural source); and the biased training of recommender models (a model source). As addressing this problem cannot sacrifice the overall performance, a wise choice is to eliminate the model bias while maintaining the natural heterogeneity. The key to debiased training lies in eliminating the effect of confounders that influence both the user's historical behaviors and the next behavior. The emerging causal recommendation methods achieve this by modeling the causal effect between user behaviors, however potentially neglect unobserved confounders (\eg, friend suggestions) that are hard to measure in practice. To address unobserved confounders, we resort to the front-door adjustment (FDA) in causal theory and propose a causal multi-teacher distillation framework (CausalD). FDA requires proper mediators in order to estimate the causal effects of historical behaviors on the next behavior. To achieve this, we equip CausalD with multiple heterogeneous recommendation models to model the mediator distribution. Then, the causal effect estimated by FDA is the expectation of recommendation prediction over the mediator distribution and the prior distribution of historical behaviors, which is technically achieved by multi-teacher ensemble. To pursue efficient inference, CausalD further distills multiple teachers into one student model to directly infer the causal effect for making recommendations.
- [116] arXiv:2405.20682 (cross-list from eess.SY) [pdf, other]
-
Title: Impact of Phase Selection on Accuracy and Scalability in Calculating Distributed Energy Resources Hosting CapacitySubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Hosting capacity (HC) and dynamic operating envelopes (DOEs), defined as dynamic, time-varying HC, are calculated using three-phase optimal power flow (OPF) formulations. Due to the computational complexity of such optimisation problems, HC and DOE are often calculated by introducing certain assumptions and approximations, including the linearised OPF formulation, which we implement in the Python-based tool ppOPF. Furthermore, we investigate how assumptions of the distributed energy resource (DER) connection phase impact the objective function value and computational time in calculating HC and DOE in distribution networks of different sizes. The results are not unambiguous and show that it is not possible to determine the optimal connection phase without introducing binary variables since, no matter the case study, the highest objective function values are calculated with mixed integer OPF formulations. The difference is especially visible in a real-world low-voltage network in which the difference between different scenarios is up to 14 MW in a single day. However, binary variables make the problem computationally complex and increase computational time to several hours in the DOE calculation, even when the optimality gap different from zero is set.
- [117] arXiv:2405.20747 (cross-list from q-bio.QM) [pdf, other]
-
Title: Generalized Inverse Optimal Control and its Application in BiologySubjects: Quantitative Methods (q-bio.QM); Optimization and Control (math.OC)
Living organisms exhibit remarkable adaptations across all scales, from molecules to ecosystems. We believe that many of these adaptations correspond to optimal solutions driven by evolution, training, and underlying physical and chemical laws and constraints. While some argue against such optimality principles due to their potential ambiguity, we propose generalized inverse optimal control to infer them directly from data. This novel approach incorporates multi-criteria optimality, nestedness of objective functions on different scales, the presence of active constraints, the possibility of switches of optimality principles during the observed time horizon, maximization of robustness, and minimization of time as important special cases, as well as uncertainties involved with the mathematical modeling of biological systems. This data-driven approach ensures that optimality principles are not merely theoretical constructs but are firmly rooted in experimental observations. Furthermore, the inferred principles can be used in forward optimal control to predict and manipulate biological systems, with possible applications in bio-medicine, biotechnology, and agriculture. As discussed and illustrated, the well-posed problem formulation and the inference are challenging and require a substantial interdisciplinary effort in the development of theory and robust numerical methods.
- [118] arXiv:2405.20763 (cross-list from cs.LG) [pdf, other]
-
Title: Improving Generalization and Convergence by Enhancing Implicit RegularizationAuthors: Mingze Wang, Haotian He, Jinbo Wang, Zilin Wang, Guanhua Huang, Feiyu Xiong, Zhiyu Li, Weinan E, Lei WuComments: 35 pagesSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
In this work, we propose an Implicit Regularization Enhancement (IRE) framework to accelerate the discovery of flat solutions in deep learning, thereby improving generalization and convergence. Specifically, IRE decouples the dynamics of flat and sharp directions, which boosts the sharpness reduction along flat directions while maintaining the training stability in sharp directions. We show that IRE can be practically incorporated with {\em generic base optimizers} without introducing significant computational overload. Experiments show that IRE consistently improves the generalization performance for image classification tasks across a variety of benchmark datasets (CIFAR-10/100, ImageNet) and models (ResNets and ViTs). Surprisingly, IRE also achieves a $2\times$ {\em speed-up} compared to AdamW in the pre-training of Llama models (of sizes ranging from 60M to 229M) on datasets including Wikitext-103, Minipile, and Openwebtext. Moreover, we provide theoretical guarantees, showing that IRE can substantially accelerate the convergence towards flat minima in Sharpness-aware Minimization (SAM).
- [119] arXiv:2405.20782 (cross-list from cs.CR) [pdf, other]
-
Title: Universal Exact Compression of Differentially Private MechanismsComments: 30 pages, 3 figuresSubjects: Cryptography and Security (cs.CR); Information Theory (cs.IT); Machine Learning (stat.ML)
To reduce the communication cost of differential privacy mechanisms, we introduce a novel construction, called Poisson private representation (PPR), designed to compress and simulate any local randomizer while ensuring local differential privacy. Unlike previous simulation-based local differential privacy mechanisms, PPR exactly preserves the joint distribution of the data and the output of the original local randomizer. Hence, the PPR-compressed privacy mechanism retains all desirable statistical properties of the original privacy mechanism such as unbiasedness and Gaussianity. Moreover, PPR achieves a compression size within a logarithmic gap from the theoretical lower bound. Using the PPR, we give a new order-wise trade-off between communication, accuracy, central and local differential privacy for distributed mean estimation. Experiment results on distributed mean estimation show that PPR consistently gives a better trade-off between communication, accuracy and central differential privacy compared to the coordinate subsampled Gaussian mechanism, while also providing local differential privacy.
- [120] arXiv:2405.20826 (cross-list from nlin.PS) [pdf, other]
-
Title: Modulation theory of soliton-mean flow in KdV equation with box type initial dataSubjects: Pattern Formation and Solitons (nlin.PS); Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Exactly Solvable and Integrable Systems (nlin.SI)
For the KdV equation with box type initial data, the interaction between a trial soliton and large-scale dispersive mean flow is studied theoretically and numerically. The pure box initial value can cause rarefaction wave and dispersive shock wave, and can create an area of soliton train. The key to the interaction of soliton and mean flow is that the dynamic evolutions of the mean flow and the local soliton can be described by the same modulation system. The soliton modulation system is derived from the degenerations of the two-genus Whitham modulation system. Considering the influence of rarefaction wave, dispersive shock wave and soliton train on the trial soliton, in the framework of Whitham modulation theory, the equation describing the soliton trajectory and the changes in amplitude and phase shift are given explicitly. The predicted results are compared with the numerical simulations, which verifies the corrections of the theoretical analysis. The exotic interaction phenomena between soliton and mean flow found in this work have broad applications to shallow water soliton propagations and real soliton experiments in fluid dynamics.
- [121] arXiv:2405.20849 (cross-list from cs.DS) [pdf, ps, other]
-
Title: Locally Stationary Distributions: A Framework for Analyzing Slow-Mixing Markov ChainsComments: 34 pagesSubjects: Data Structures and Algorithms (cs.DS); Probability (math.PR)
Many natural Markov chains fail to mix to their stationary distribution in polynomially many steps. Often, this slow mixing is inevitable since it is computationally intractable to sample from their stationary measure.
Nevertheless, Markov chains can be shown to always converge quickly to measures that are *locally stationary*, i.e., measures that don't change over a small number of steps. These locally stationary measures are analogous to local minima in continuous optimization, while stationary measures correspond to global minima.
While locally stationary measures can be statistically far from stationary measures, do they enjoy provable theoretical guarantees that have algorithmic implications? We study this question in this work and demonstrate three algorithmic applications of locally stationary measures:
1. We show that Glauber dynamics on the hardcore model can be used to find independent sets of size $\Omega\left(\frac{\log d}{d} \cdot n\right)$ in triangle-free graphs of degree at most $d$.
2. Let $W$ be a symmetric real matrix with bounded spectral diameter and $v$ be a unit vector. Given the matrix $M = \lambda vv^\top + W$ with a planted rank-one spike along vector $v$, for sufficiently large constant $\lambda$, Glauber dynamics on the Ising model defined by $M$ samples vectors $x \in \{\pm 1\}^n$ that have constant correlation with the vector $v$.
3. Let $M = A_{\mathbf{G}} - \frac{d}{n}\mathbf{1}\mathbf{1}^\top$ be a centered version of the adjacency matrix where the graph $\mathbf{G}$ is drawn from a sparse 2-community stochastic block model.
We show that for sufficiently large constant $\lambda$, Glauber dynamics on the Ising model defined by $M$ samples vectors $x \in \{\pm 1\}^n$ that have constant correlation with the hidden community vector $\mathbf{\sigma}$. - [122] arXiv:2405.20865 (cross-list from gr-qc) [pdf, ps, other]
-
Title: On alternative formulations of the thermodynamics of scalar-tensor theoriesComments: 11 pagesSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
We explore alternative formulations of the analogy between viable Horndeski gravity and Eckart's first-order thermodynamics. We single out a class of identifications for the effective stress-energy tensor of the scalar field fluid that, upon performing the imperfect fluid decomposition, yields constitutive relations that can be mapped onto Eckart's theory. We then investigate how different couplings to Einstein's gravity, at the level of the field equations, can affect the thermodynamic formalism overall. Lastly, we specialise the discussion to the case of ``traditional'' scalar-tensor theories and identify a specific choice of the coupling function that leads to a significant simplification of the formalism.
- [123] arXiv:2405.20874 (cross-list from cond-mat.soft) [pdf, other]
-
Title: Borromean Hypergraph Formation in Dense Random RectanglesAuthors: Alexander R. KlotzComments: 6 pages, 4 figuresSubjects: Soft Condensed Matter (cond-mat.soft); Statistical Mechanics (cond-mat.stat-mech); General Topology (math.GN)
We develop a minimal system to study the stochastic formation of Borromean links within topologically entangled networks without requiring the use of knot invariants. Borromean linkages may form in entangled solutions of open polymer chains or in Olympic gel systems such as kinetoplast DNA, but it is challenging to investigate this due to the difficulty of computing three-body link invariants. Here, we investigate randomly oriented rectangles densely packed within a volume, and evaluate them for Hopf linking and Borromean link formation. We show that dense packings of rectangles can form Borromean triplets and larger clusters, and that in high enough density the combination of Hopf and Borromean linking can create a percolating hypergraph through the network. We present data for the percolation threshold of Borromean hypergraphs, and discuss implications for the existence of Borromean connectivity within kinetoplast DNA.
- [124] arXiv:2405.20885 (cross-list from cond-mat.stat-mech) [pdf, other]
-
Title: Interfaces of the two-dimensional voter model in the context of SLEComments: 25 pages, 19 figuresSubjects: Statistical Mechanics (cond-mat.stat-mech); Probability (math.PR)
This paper investigates various geometrical properties of interfaces of the two-dimensional voter model. Despite its simplicity, the model exhibits dual characteristics, resembling both a critical system with long-range correlations, while also showing a tendency towards order similar to the Ising-Glauber model at zero temperature. This duality is reflected in the geometrical properties of its interfaces, which are examined here from the perspective of Schramm-Loewner evolution. Recent studies have delved into the geometrical properties of these interfaces within different lattice geometries and boundary conditions. We revisit these findings, focusing on a system within a box of linear size $L$ with Dobrushin boundary conditions, where values of the spins are fixed to either $+1$ or $-1$ on two distinct halves of the boundary, in order to enforce the presence of a pinned interface with fixed endpoints (or chordal interface). We also expand the study to compare the geometrical properties of the interfaces of the voter model with those of the critical Ising model and other related models. Scaling arguments and numerical studies suggest that, while locally the chordal interface of the voter model has fractal dimension $d_{\rm f}=3/2$, corresponding to a parameter $\kappa=4$, it becomes straight at large scales, confirming a conjecture made by Holmes et al \cite{holmes}, and ruling out the possibility of describing the chordal interface of the voter model by SLE$_{\kappa}$, for any non zero value of $\kappa$. This contrasts with the critical Ising model, which is described by SLE$_3$, and whose interface fluctuations remain of order $L$, and more generally with related critical models, which are in the same universality class.
- [125] arXiv:2405.20905 (cross-list from cs.LG) [pdf, other]
-
Title: VENI, VINDy, VICI: a variational reduced-order modeling framework with uncertainty quantificationAuthors: Paolo Conti, Jonas Kneifl, Andrea Manzoni, Attilio Frangi, Jörg Fehr, Steven L. Brunton, J. Nathan KutzSubjects: Machine Learning (cs.LG); Computational Engineering, Finance, and Science (cs.CE); Dynamical Systems (math.DS)
The simulation of many complex phenomena in engineering and science requires solving expensive, high-dimensional systems of partial differential equations (PDEs). To circumvent this, reduced-order models (ROMs) have been developed to speed up computations. However, when governing equations are unknown or partially known, typically ROMs lack interpretability and reliability of the predicted solutions.
In this work we present a data-driven, non-intrusive framework for building ROMs where the latent variables and dynamics are identified in an interpretable manner and uncertainty is quantified. Starting from a limited amount of high-dimensional, noisy data the proposed framework constructs an efficient ROM by leveraging variational autoencoders for dimensionality reduction along with a newly introduced, variational version of sparse identification of nonlinear dynamics (SINDy), which we refer to as Variational Identification of Nonlinear Dynamics (VINDy).
In detail, the method consists of Variational Encoding of Noisy Inputs (VENI) to identify the distribution of reduced coordinates. Simultaneously, we learn the distribution of the coefficients of a pre-determined set of candidate functions by VINDy. Once trained offline, the identified model can be queried for new parameter instances and new initial conditions to compute the corresponding full-time solutions. The probabilistic setup enables uncertainty quantification as the online testing consists of Variational Inference naturally providing Certainty Intervals (VICI). In this work we showcase the effectiveness of the newly proposed VINDy method in identifying interpretable and accurate dynamical system for the R\"ossler system with different noise intensities and sources. Then the performance of the overall method - named VENI, VINDy, VICI - is tested on PDE benchmarks including structural mechanics and fluid dynamics. - [126] arXiv:2405.20912 (cross-list from econ.GN) [pdf, other]
-
Title: A Branch-Price-Cut-And-Switch Approach for Optimizing Team Formation and Routing for Airport Baggage Handling Tasks with Stochastic Travel TimesSubjects: General Economics (econ.GN); Optimization and Control (math.OC)
In airport operations, optimally using dedicated personnel for baggage handling tasks plays a crucial role in the design of resource-efficient processes. Teams of workers with different qualifications must be formed, and loading or unloading tasks must be assigned to them. Each task has a time window within which it can be started and should be finished. Violating these temporal restrictions incurs severe financial penalties for the operator. In practice, various components of this process are subject to uncertainties. We consider the aforementioned problem under the assumption of stochastic travel times across the apron. We present two binary program formulations to model the problem at hand and solve it with a Branch-Price-Cut-and-Switch approach, in which we dynamically switch between two master problem formulations. Furthermore, we use an exact separation method to identify violated rank-1 Chv\'atal-Gomory cuts and utilize an efficient branching rule relying on task finish times. We test the algorithm on instances generated based on real-world data from a major European hub airport with a planning horizon of up to two hours, 30 flights per hour, and three available task execution modes to choose from. Our results indicate that our algorithm is able to significantly outperform existing solution approaches. Moreover, an explicit consideration of stochastic travel times allows for solutions that utilize the available workforce more efficiently, while simultaneously guaranteeing a stable service level for the baggage handling operator.
- [127] arXiv:2405.20919 (cross-list from hep-th) [pdf, other]
-
Title: Finite-size spectrum of the staggered six-vertex model with antidiagonal boundary conditionsComments: 20 pagesSubjects: High Energy Physics - Theory (hep-th); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
The finite-size spectrum of the critical staggered six-vertex model with antidiagonal boundary conditions is studied. Similar to the case of periodic boundary conditions, we identify three different phases. In two of those, the underlying conformal field theory can be identified to be related to the twisted $U(1)$ Kac-Moody algebra. In contrast, the finite size scaling in the third regime, whose critical behaviour with the quasi-periodic BCs is described by the $SL(2,\mathbb{R})_k/U(1)$ black hole CFT possessing a non-compact degree of freedom, is more subtle. Here with antidiagonal BCs imposed, the corrections to the scaling of the ground state grow logarithmically with the system size, while the energy gaps appear to close logarithmically. Moreover, we obtain an explicit formula for the Q-operator which is useful for numerical implementation.
- [128] arXiv:2405.20955 (cross-list from cond-mat.stat-mech) [pdf, other]
-
Title: Number of distinct and common sites visited by $N$ independent random walkersComments: 21 pages, 5 figures. Contribution to the book "The Mathematics of Movement: an Interdisciplinary Approach to Mutual Challenges in Animal Ecology and Cell Biology" edited by Luca Giuggioli and Philip MainiSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
In this Chapter, we consider a model of $N$ independent random walkers, each of duration $t$, and each starting from the origin, on a lattice in $d$ dimensions. We focus on two observables, namely $D_N(t)$ and $C_N(t)$ denoting respectively the number of distinct and common sites visited by the walkers. For large $t$, where the lattice random walkers converge to independent Brownian motions, we compute exactly the mean $\langle D_N(t) \rangle$ and $\langle C_N(t) \rangle$. Our main interest is on the $N$-dependence of these quantities. While for $\langle D_N(t) \rangle$ the $N$-dependence only appears in the prefactor of the power-law growth with time, a more interesting behavior emerges for $\langle C_N(t) \rangle$. For this latter case, we show that there is a ``phase transition'' in the $(N, d)$ plane where the two critical line $d=2$ and $d=d_c(N) = 2N/(N-1)$ separate three phases of the growth of $\langle C_N(t)\rangle$. The results are extended to the mean number of sites visited exactly by $K$ of the $N$ walkers. Furthermore in $d=1$, the full distribution of $D_N(t)$ and $C_N(t)$ are computed, exploiting a mapping to the extreme value statistics. Extensions to two other models, namely $N$ independent Brownian bridges and $N$ independent resetting Brownian motions/bridges are also discussed.
- [129] arXiv:2405.21017 (cross-list from hep-th) [pdf, other]
-
Title: Generating Triangulations and Fibrations with Reinforcement LearningSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Algebraic Geometry (math.AG)
We apply reinforcement learning (RL) to generate fine regular star triangulations of reflexive polytopes, that give rise to smooth Calabi-Yau (CY) hypersurfaces. We demonstrate that, by simple modifications to the data encoding and reward function, one can search for CYs that satisfy a set of desirable string compactification conditions. For instance, we show that our RL algorithm can generate triangulations together with holomorphic vector bundles that satisfy anomaly cancellation and poly-stability conditions in heterotic compactification. Furthermore, we show that our algorithm can be used to search for reflexive subpolytopes together with compatible triangulations that define fibration structures of the CYs.
- [130] arXiv:2405.21021 (cross-list from cs.LG) [pdf, other]
-
Title: Beyond Conventional Parametric Modeling: Data-Driven Framework for Estimation and Prediction of Time Activity Curves in Dynamic PET ImagingSubjects: Machine Learning (cs.LG); Image and Video Processing (eess.IV); Dynamical Systems (math.DS)
Dynamic Positron Emission Tomography (dPET) imaging and Time-Activity Curve (TAC) analyses are essential for understanding and quantifying the biodistribution of radiopharmaceuticals over time and space. Traditional compartmental modeling, while foundational, commonly struggles to fully capture the complexities of biological systems, including non-linear dynamics and variability. This study introduces an innovative data-driven neural network-based framework, inspired by Reaction Diffusion systems, designed to address these limitations. Our approach, which adaptively fits TACs from dPET, enables the direct calibration of diffusion coefficients and reaction terms from observed data, offering significant improvements in predictive accuracy and robustness over traditional methods, especially in complex biological scenarios. By more accurately modeling the spatio-temporal dynamics of radiopharmaceuticals, our method advances modeling of pharmacokinetic and pharmacodynamic processes, enabling new possibilities in quantitative nuclear medicine.
- [131] arXiv:2405.21024 (cross-list from cond-mat.soft) [pdf, other]
-
Title: Programming evolution of geometry in shape-morphing sheets via spatiotemporal activationSubjects: Soft Condensed Matter (cond-mat.soft); Differential Geometry (math.DG)
Shape-programmed sheets morph from one surface into another upon activation by stimuli such as illumination, and have attracted much interest for their potential engineering applications, especially in soft robotics. Complex shape changes can be achieved by patterning a simple local active deformation (e.g. isotropic swelling), to generate differential growth. Usually the material itself is designed $\unicode{x2014}$ for example by patterning a molecular director $\unicode{x2014}$ such that a particular shape change occurs upon exposure to a spatially uniform stimulus. A limitation of this paradigm is that typically only one target geometry can be attained as the stimulus is adjusted. Here we show that this limitation can be overcome by patterning the stimulus itself, thereby exercising spatiotemporal control over local deformation magnitudes. Thus a single physical sample can be induced to traverse a continuous family of target geometries, opening the door to precise shape adjustments, new functionalities, and designable non-reciprocal loops in shape space. We illustrate these possibilities with examples including active parabolic reflectors, chiral flow guides, and bending channels. Finding the necessary patterns of activation involves solving families of metric inverse problems; we solve these by reduction to ODEs in an axisymmetric setting, then present a novel numerical scheme to solve them in generality.
- [132] arXiv:2405.21064 (cross-list from cs.LG) [pdf, other]
-
Title: Recurrent neural networks: vanishing and exploding gradients are not the end of the storySubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
Recurrent neural networks (RNNs) notoriously struggle to learn long-term memories, primarily due to vanishing and exploding gradients. The recent success of state-space models (SSMs), a subclass of RNNs, to overcome such difficulties challenges our theoretical understanding. In this paper, we delve into the optimization challenges of RNNs and discover that, as the memory of a network increases, changes in its parameters result in increasingly large output variations, making gradient-based learning highly sensitive, even without exploding gradients. Our analysis further reveals the importance of the element-wise recurrence design pattern combined with careful parametrizations in mitigating this effect. This feature is present in SSMs, as well as in other architectures, such as LSTMs. Overall, our insights provide a new explanation for some of the difficulties in gradient-based learning of RNNs and why some architectures perform better than others.
Replacements for Mon, 3 Jun 24
- [133] arXiv:0803.2072 (replaced) [pdf, ps, other]
-
Title: Large deviations principles of Non-Freidlin-Wentzell typeAuthors: Jaykov FoukzonComments: 189 pages. arXiv admin note: substantial text overlap with arXiv:math/0411386 by other authorsJournal-ref: Communications in Applied Sciences, Volume 2, Number 2, 2014, pp.230-363Subjects: Mathematical Physics (math-ph)
- [134] arXiv:1709.04044 (replaced) [pdf, ps, other]
-
Title: Spectral ACMS: A robust localized Approximated Component Mode Synthesis MethodSubjects: Numerical Analysis (math.NA)
- [135] arXiv:2102.11231 (replaced) [pdf, ps, other]
-
Title: Hamiltonian Floer theory on surfacesAuthors: Dustin Connery-GriggComments: Submitted version. To appear in Inventiones MathematicaeSubjects: Symplectic Geometry (math.SG); Differential Geometry (math.DG); Dynamical Systems (math.DS)
- [136] arXiv:2103.05287 (replaced) [pdf, ps, other]
-
Title: Inverse problem for determining the order of fractional derivative in mixed-type equationsComments: in RussianSubjects: Analysis of PDEs (math.AP)
- [137] arXiv:2105.10745 (replaced) [pdf, ps, other]
-
Title: Modular knots obey the Chebotarev lawAuthors: Jun UekiComments: 11 pages; minor modification in v2, major revision in v3, minor modification in v4Subjects: Geometric Topology (math.GT); Number Theory (math.NT)
- [138] arXiv:2107.07726 (replaced) [pdf, other]
-
Title: Double Glueing over Free Exponential: with Measure Theoretic ApplicationsAuthors: Masahiro HamanoSubjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
- [139] arXiv:2108.04421 (replaced) [pdf, other]
-
Title: Uniform Spanning Tree in Topological Polygons, Partition Functions for SLE(8), and Correlations in $c=-2$ Logarithmic CFTComments: v3: Minor fixes and improvements; final version to appear in Ann. ProbabSubjects: Probability (math.PR); Mathematical Physics (math-ph)
- [140] arXiv:2205.00825 (replaced) [pdf, other]
-
Title: Stochastic Online Fisher Markets: Static Pricing Limits and Adaptive EnhancementsSubjects: Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG); Theoretical Economics (econ.TH); Optimization and Control (math.OC)
- [141] arXiv:2205.08800 (replaced) [pdf, other]
-
Title: Connection Probabilities of Multiple FK-Ising InterfacesComments: v3: minor fixes; final version to appear in Probab. Theory Related FieldsSubjects: Probability (math.PR); Mathematical Physics (math-ph)
- [142] arXiv:2206.01556 (replaced) [pdf, ps, other]
-
Title: Global homotopy theory via partially lax limitsComments: 70 pages. Improved introduction plus small reorganization of some results. Comments welcome!Subjects: Algebraic Topology (math.AT); Category Theory (math.CT)
- [143] arXiv:2208.03976 (replaced) [pdf, ps, other]
-
Title: Construction of strong derivable maps via functional calculus of unbounded spectral operators in Banach spacesAuthors: Benedetto SilvestriSubjects: Functional Analysis (math.FA)
- [144] arXiv:2210.16678 (replaced) [pdf, other]
-
Title: Curse of Scale-Freeness: Intractability of Large-Scale Combinatorial Optimization with Multi-Start MethodsComments: Submission to Extremes, March 14th, 2024Subjects: Optimization and Control (math.OC)
- [145] arXiv:2211.06166 (replaced) [pdf, other]
-
Title: Mathematical Modelling of Neuroblast Chemotaxis Migration towards the Olfactory BulbAuthors: Daniel Acosta-Soba, Carmen Castro-González, Noelia Geribaldi-Doldán, Francisco Guillén-González, Pedro Núñez-Abades, Noelia Ortega-Román, Patricia Pérez-García, J. Rafael Rodríguez-GalvánSubjects: Numerical Analysis (math.NA)
- [146] arXiv:2211.13862 (replaced) [pdf, ps, other]
-
Title: Generalized Convolution Quadrature for non smooth sectorial problemsComments: 30 pages, 22 figuresSubjects: Numerical Analysis (math.NA)
- [147] arXiv:2211.16168 (replaced) [pdf, other]
-
Title: Robust boundary integral equations for the solution of elastic scattering problems via Helmholtz decompositionsComments: 36 pages, 10 figuresSubjects: Numerical Analysis (math.NA)
- [148] arXiv:2301.06970 (replaced) [pdf, ps, other]
-
Title: Binary Cubic Forms and Rational Cube Sum ProblemSubjects: Number Theory (math.NT)
- [149] arXiv:2303.03433 (replaced) [pdf, ps, other]
-
Title: Fixed-domain curve counts for blow-ups of projective spaceComments: minor corrections, some references updated, comments still welcomeSubjects: Algebraic Geometry (math.AG)
- [150] arXiv:2305.06202 (replaced) [pdf, ps, other]
-
Title: Covering the Permutohedron by Affine HyperplanesComments: Conjecture 9 was refuted by G\'abor Dam\'asdiSubjects: Combinatorics (math.CO)
- [151] arXiv:2305.10225 (replaced) [pdf, other]
-
Title: New and improved bounds on the contextuality degree of multi-qubit configurationsComments: 22 pages, 5 figures, 2 tables, published by Cambridge University Press in Mathematical Structures in Computer ScienceJournal-ref: Mathematical Structures in Computer Science. Published online 2024:1-22Subjects: Quantum Physics (quant-ph); Discrete Mathematics (cs.DM); Symplectic Geometry (math.SG)
- [152] arXiv:2306.13049 (replaced) [pdf, ps, other]
-
Title: Certified $Σ_1$-sentencesComments: 34 pagesSubjects: Logic (math.LO)
- [153] arXiv:2307.00490 (replaced) [pdf, ps, other]
-
Title: Riemannian Trust Region Methods for SC$^1$ MinimizationSubjects: Optimization and Control (math.OC)
- [154] arXiv:2307.07372 (replaced) [pdf, other]
-
Title: Norm-variation of triple ergodic averages for commuting transformationsComments: 48 pages; v2: introduction expanded, figures addedSubjects: Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS)
- [155] arXiv:2307.10863 (replaced) [pdf, ps, other]
-
Title: Period-like polynomials for $L$-series associated with half-integral weight cusp formsSubjects: Number Theory (math.NT)
- [156] arXiv:2307.16128 (replaced) [pdf, other]
-
Title: Online Interior-point Methods for Time-varying Equality-constrained OptimizationSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
- [157] arXiv:2308.02070 (replaced) [pdf, ps, other]
-
Title: Nonlinearly Elastic Maps: Energy Minimizing Configurations of Membranes on Prescribed SurfacesComments: 13 pagesSubjects: Analysis of PDEs (math.AP)
- [158] arXiv:2308.09310 (replaced) [pdf, other]
-
Title: Variance reduction techniques for stochastic proximal point algorithmsSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
- [159] arXiv:2308.10768 (replaced) [pdf, ps, other]
-
Title: Isotropy fibers of ideals in groupoid C$^{*}$-algebrasComments: 22 pages; v3: minor corrections; to appear in Adv. Math. v2: Minor corrections and improvements, and a new section has been added with a new result on fibers of the singular idealSubjects: Operator Algebras (math.OA)
- [160] arXiv:2308.14143 (replaced) [pdf, other]
-
Title: Ensemble-localized Kernel Density Estimation with Applications to the Ensemble Gaussian Mixture FilterSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA); Applications (stat.AP)
- [161] arXiv:2309.02369 (replaced) [pdf, other]
-
Title: Adaptive Bayesian Predictive Inference in High-dimensional RegerssionAuthors: Veronika RockovaSubjects: Statistics Theory (math.ST)
- [162] arXiv:2309.14512 (replaced) [pdf, ps, other]
-
Title: Byzantine-Resilient Federated PCA and Low Rank Column-wise SensingComments: 36 pagesSubjects: Information Theory (cs.IT); Machine Learning (stat.ML)
- [163] arXiv:2309.16476 (replaced) [pdf, other]
-
Title: High-dimensional robust regression under heavy-tailed data: Asymptotics and UniversalityComments: 13 pages + Supplementary informationSubjects: Statistics Theory (math.ST); Disordered Systems and Neural Networks (cond-mat.dis-nn); Machine Learning (cs.LG); Machine Learning (stat.ML)
- [164] arXiv:2310.02089 (replaced) [pdf, other]
-
Title: On the number and geometric location of critical points of solutions to a semilinear elliptic equation in annular domainsComments: 25 pages, 12 figuresSubjects: Analysis of PDEs (math.AP)
- [165] arXiv:2310.02223 (replaced) [pdf, ps, other]
-
Title: Query-Based Sampling of Heterogeneous CTMCs: Modeling and Optimization with Binary FreshnessComments: 10 pages, 6 figuresSubjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI); Performance (cs.PF)
- [166] arXiv:2310.04814 (replaced) [pdf, ps, other]
-
Title: Pour-El's LandscapeComments: 36 pagesSubjects: Logic (math.LO)
- [167] arXiv:2310.14701 (replaced) [pdf, other]
-
Title: Lightning graph matchingSubjects: Combinatorics (math.CO); Spectral Theory (math.SP)
- [168] arXiv:2310.20383 (replaced) [pdf, other]
-
Title: Navigating the Complex Landscape of Shock Filter Cahn-Hilliard Equation: From Regularized to Entropy SolutionsComments: 40 pages, 37 figuresSubjects: Analysis of PDEs (math.AP)
- [169] arXiv:2311.07847 (replaced) [pdf, other]
-
Title: Approximate Bregman Proximal Gradient Algorithm for Relatively Smooth Nonconvex OptimizationComments: 31 pages, 20 figuresSubjects: Optimization and Control (math.OC)
- [170] arXiv:2311.08875 (replaced) [pdf, ps, other]
-
Title: The Monogenicity of Power-Compositional Characteristic PolynomialsAuthors: Lenny JonesSubjects: Number Theory (math.NT)
- [171] arXiv:2311.13167 (replaced) [pdf, other]
-
Title: Regularity Properties of Optimization-Based ControllersSubjects: Optimization and Control (math.OC)
- [172] arXiv:2312.13415 (replaced) [pdf, other]
-
Title: Higher-Order Staircase CodesComments: Submitted to IEEE Transactions on Information TheorySubjects: Information Theory (cs.IT)
- [173] arXiv:2312.13755 (replaced) [pdf, ps, other]
-
Title: Serre's theorem for coherent sheaves via Auslander's techniquesAuthors: Henning KrauseComments: 9 pages. Slightly revised version. Accepted for publication with Journal of Noncommutative GeometrySubjects: Algebraic Geometry (math.AG); Rings and Algebras (math.RA); Representation Theory (math.RT)
- [174] arXiv:2312.13915 (replaced) [pdf, ps, other]
-
Title: UMP algebras: Consequences and (non-)examplesComments: 10 pages. arXiv admin note: text overlap with arXiv:2309.11624Subjects: Representation Theory (math.RT); Combinatorics (math.CO)
- [175] arXiv:2312.14881 (replaced) [pdf, ps, other]
-
Title: On the interval coloring impropriety of graphsAuthors: MacKenzie Carr, Eun-Kyung Cho, Nicholas Crawford, Vesna Iršič, Leilani Pai, Rebecca RobinsonComments: 17 pages, 8 figures, 7 tablesSubjects: Combinatorics (math.CO)
- [176] arXiv:2401.01681 (replaced) [pdf, other]
-
Title: Hamiltonicity of Schrijver graphs and stable Kneser graphsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
- [177] arXiv:2401.12515 (replaced) [pdf, ps, other]
-
Title: Isotropy indices of Pfister multiples in characteristic twoComments: 21 pagesSubjects: Number Theory (math.NT)
- [178] arXiv:2402.07111 (replaced) [pdf, other]
-
Title: A multitype Galton-Watson model for rejuvenating cellsSubjects: Probability (math.PR); Populations and Evolution (q-bio.PE)
- [179] arXiv:2402.08097 (replaced) [pdf, ps, other]
-
Title: An Accelerated Gradient Method for Convex Smooth Simple Bilevel OptimizationSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)
- [180] arXiv:2402.14991 (replaced) [pdf, other]
-
Title: Quantum Theory and Application of Contextual Optimal TransportAuthors: Nicola Mariella, Albert Akhriev, Francesco Tacchino, Christa Zoufal, Juan Carlos Gonzalez-Espitia, Benedek Harsanyi, Eugene Koskin, Ivano Tavernelli, Stefan Woerner, Marianna Rapsomaniki, Sergiy Zhuk, Jannis BornComments: ICML 2024Subjects: Machine Learning (cs.LG); Emerging Technologies (cs.ET); Quantum Algebra (math.QA); Quantitative Methods (q-bio.QM); Quantum Physics (quant-ph)
- [181] arXiv:2403.10251 (replaced) [pdf, other]
-
Title: Exact time-evolving scattering states in open quantum-dot systems with an interaction: Discovery of time-evolving resonant statesComments: 31 pages, 5 figuresJournal-ref: J. Phys. A: Math. Theor. 57 (2024) 245302Subjects: Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
- [182] arXiv:2403.12940 (replaced) [pdf, other]
-
Title: Tournaments and random walksComments: v3: added ref #25 + corrected typo in Prop 21Subjects: Probability (math.PR); Combinatorics (math.CO)
- [183] arXiv:2403.12941 (replaced) [pdf, other]
-
Title: Asymptotics for Sinaĭ excursionsComments: v3: fixed typo in (1.3)Subjects: Probability (math.PR); Combinatorics (math.CO)
- [184] arXiv:2403.13580 (replaced) [pdf, ps, other]
-
Title: PySymmPol: Symmetric Polynomials in PythonAuthors: Thiago AraujoComments: Documentation and tutorials: thraraujo.github.io/pysymmpol/; v2: A slightly expanded version of the published paperJournal-ref: Journal of Open Source Software, 9(97), 6724, 2024Subjects: Combinatorics (math.CO); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
- [185] arXiv:2403.16290 (replaced) [pdf, other]
-
Title: An Information Theory Treatment of Animal Movement TracksAuthors: Wayne M GetzComments: 21 pages, 2 tables, 1 figureSubjects: Populations and Evolution (q-bio.PE); Information Theory (cs.IT)
- [186] arXiv:2403.18980 (replaced) [pdf, other]
-
Title: A census of graph-drawing algorithms based on generalized transversal structuresSubjects: Combinatorics (math.CO); Computational Geometry (cs.CG)
- [187] arXiv:2404.07402 (replaced) [pdf, other]
-
Title: An excursion onto Schrödinger's bridges: Stochastic flows with spatio-temporal marginalsComments: 6 pages, 2 figuresSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Probability (math.PR)
- [188] arXiv:2404.09035 (replaced) [pdf, ps, other]
-
Title: The Hessian geometry of the ideal gas in rotationAuthors: Jérémie Pierard de MaujouyComments: 43 pages. v2: Rewritten discussion of the Poisson structuresSubjects: Mathematical Physics (math-ph); Differential Geometry (math.DG)
- [189] arXiv:2404.16801 (replaced) [pdf, other]
-
Title: The directed landscape is a black noiseComments: 34 pages, 1 figureSubjects: Probability (math.PR)
- [190] arXiv:2404.17921 (replaced) [pdf, ps, other]
-
Title: Monogenic Even Octic Polynomials and Their Galois GroupsAuthors: Lenny JonesSubjects: Number Theory (math.NT)
- [191] arXiv:2404.18843 (replaced) [pdf, ps, other]
-
Title: $β$-WLZZ models from $β$-ensemble integrals directlyComments: 6 pages, LaTeXSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
- [192] arXiv:2404.19392 (replaced) [pdf, other]
-
Title: Convergence analysis of the transformed gradient projection algorithms on compact matrix manifoldsComments: 45 pages, 5 figures, 4 tablesSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
- [193] arXiv:2405.02025 (replaced) [pdf, ps, other]
-
Title: The primitive spectrum of C*-algebras of etale groupoids with abelian isotropyComments: 29 pages; v2: minor changes and correctionsSubjects: Operator Algebras (math.OA)
- [194] arXiv:2405.04948 (replaced) [pdf, ps, other]
-
Title: Kiselman Minimum Principle and Rooftop Envelopes in Complex Hessian EquationsSubjects: Complex Variables (math.CV); Analysis of PDEs (math.AP); Differential Geometry (math.DG)
- [195] arXiv:2405.10223 (replaced) [pdf, ps, other]
-
Title: Distance inequalities of generalized $k$-intersection bodiesAuthors: J. HaddadSubjects: Metric Geometry (math.MG)
- [196] arXiv:2405.10809 (replaced) [pdf, other]
-
Title: Framization and DeframizationComments: Latex file, 40 pages, minor revision, several inaccuracies correctedSubjects: Rings and Algebras (math.RA); Combinatorics (math.CO); General Topology (math.GN)
- [197] arXiv:2405.11997 (replaced) [pdf, ps, other]
-
Title: Irrational components of the Hilbert scheme of pointsSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
- [198] arXiv:2405.12009 (replaced) [pdf, ps, other]
-
Title: Degenerations and Fibrations of K3 Surfaces: Lattice Polarisations and Mirror SymmetryComments: 55 pages, 1 figure. v2: Sections 3.5 and 3.7 have been rewritten for compatibility with recent work of Alexeev and Engel, plus some other minor changes; the main results are unaffectedSubjects: Algebraic Geometry (math.AG)
- [199] arXiv:2405.15552 (replaced) [pdf, other]
-
Title: Stability and Performance Analysis of Model Predictive Control of Uncertain Linear SystemsComments: 14 pages, 3 figures, the full version of the short paper that has been submitted to CDC2024 for potential publication (some minor changes made)Subjects: Optimization and Control (math.OC)
- [200] arXiv:2405.15682 (replaced) [pdf, other]
-
Title: The Road Less ScheduledAuthors: Aaron Defazio, Xingyu (Alice) Yang, Harsh Mehta, Konstantin Mishchenko, Ahmed Khaled, Ashok CutkoskySubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Machine Learning (stat.ML)
- [201] arXiv:2405.16399 (replaced) [pdf, other]
-
Title: Automorphisms of GKM graphs and regular semisimple Hessenberg varietiesComments: 16 pages, 1 figureSubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Differential Geometry (math.DG)
- [202] arXiv:2405.16513 (replaced) [pdf, other]
-
Title: A Counterexample to Viterbo's ConjectureComments: Minor changes from previous versionSubjects: Symplectic Geometry (math.SG); Metric Geometry (math.MG)
- [203] arXiv:2405.19105 (replaced) [pdf, ps, other]
-
Title: Reflections to set-theoretic solutions of the Yang-Baxter equationComments: Some numerical data have been correctedSubjects: Quantum Algebra (math.QA)
- [204] arXiv:2405.19382 (replaced) [pdf, ps, other]
-
Title: Decoupling and Multipoint moments for the Inverse of the Gaussian multiplicative chaosComments: arXiv admin note: substantial text overlap with arXiv:2305.00360Subjects: Probability (math.PR)
- [205] arXiv:2405.19523 (replaced) [pdf, other]
-
Title: Comparison of Point Process Learning and its special case Takacs-Fiksel estimationComments: Main text: 30 pages, 11 figures. Appendix: 26 pages, 10 figures. Total: 56 pages, 21 figuresSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Machine Learning (stat.ML)
- [206] arXiv:2405.19728 (replaced) [pdf, ps, other]
-
Title: Legendre symbols related to $D_p(b,1)$Comments: 8pagesSubjects: Number Theory (math.NT)
- [207] arXiv:2405.20019 (replaced) [pdf, ps, other]
-
Title: Zeros of the Brownian SheetComments: 22 pages, 4 sectionsSubjects: Probability (math.PR)
[ showing up to 2000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2406, contact, help (Access key information)