Mathematics
See recent articles
Showing new listings for Monday, 20 January 2025
- [1] arXiv:2501.09771 [pdf, html, other]
-
Title: Spectral Bounds of the Generating Graph of $\mathbb{Z}_n.$Comments: 23 PagesSubjects: Combinatorics (math.CO); Group Theory (math.GR)
Let $G$ be a group. A group is said to be $k$-generated if it can be generated by its $k$ elements. A generating set of $G$ is called a minimal generating set if no proper subset of it generates $G.$ A minimal generating set of a group can have different sizes. The generating graph $\Gamma (G)$ of a group $G$ is defined as a graph with the vertex set $G$, where two distinct vertices are adjacent if they together generate $G.$ This graph is particularly useful when studying 2-generated groups. In this context, consider the group $G = \mathbb{Z}_n$, the integers modulo $n.$ In this paper, we explore various graph-theoretic properties of the generating graph $\Gamma(\mathbb{Z}_n)$ and investigate the spectra of its adjacency and Laplacian matrices. Additionally, we explicitly determine the set of all possible minimal generating sets of $\mathbb{Z}_n$ of size $k.$
- [2] arXiv:2501.09779 [pdf, html, other]
-
Title: Graphs with given automorphism group and large clique numberComments: 1 pageSubjects: Combinatorics (math.CO)
Barbieri recently showed that the finite graphs realising any given finite automorphism group have unbounded genus, answering a question of Cornwell et al. In this note we give a short proof of a stronger result: they have unbounded clique number.
- [3] arXiv:2501.09811 [pdf, html, other]
-
Title: Characteristic-free normalized Nash blowup of toric varietiesComments: 23 pages,3 figuresSubjects: Algebraic Geometry (math.AG)
We introduce conditions on cones of normal toric varieties under which the polyhedron defining the normalized Nash blowup does not depend on the characteristic of the base field. As a consequence, we deduce several results on the resolution of singularities properties of normalized Nash blowups. In particular, we recover all known results of the families that can be resolved via normalized Nash blowups in positive characteristic. We also provide new families of toric varieties whose 23normalized Nash blowup is non-singular in arbitrary characteristic.
- [4] arXiv:2501.09814 [pdf, other]
-
Title: Scattering, Polyhomogeneity and Asymptotics for Quasilinear Wave Equations From Past to Future Null InfinityComments: 160 pages, 10 figures. Comments welcome!Subjects: Analysis of PDEs (math.AP); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
We present a general construction of semiglobal scattering solutions to quasilinear wave equations in a neighbourhood of spacelike infinity including past and future null infinity, where the scattering data are posed on an ingoing null cone and along past null infinity. More precisely, we prove weighted, optimal-in-decay energy estimates and propagation of polyhomogeneity statements from past to future null infinity for these solutions, we provide an algorithmic procedure how to compute the precise coefficients in the arising polyhomogeneous expansions, and we apply this procedure to various examples. As a corollary, our results directly imply the summability in the spherical harmonic number $\ell$ of the estimates proved for fixed spherical harmonic modes in the papers [Keh22b,KM24] from the series "The Case Against Smooth Null Infinity".
Our (physical space) methods are based on weighted energy estimates near spacelike infinity similar to those of [HV23], commutations with (modified) scaling vector fields to remove leading order terms in the relevant expansions, time inversions, as well as the Minkowskian conservation laws: $$
\partial_u(r^{-2\ell}\partial_v(r^2\partial_v)^{\ell}(r\phi_{\ell}))=0, $$ which are satisfied if $\Box_\eta\phi=0$. Our scattering constructions go beyond the usual class of finite energy solutions and, as a consequence, can be applied directly to the Einstein vacuum equations in harmonic gauge. - [5] arXiv:2501.09828 [pdf, html, other]
-
Title: On the Complexity of p-Order Cone ProgramsComments: 21 pages, 2 tablesSubjects: Optimization and Control (math.OC); Computational Complexity (cs.CC)
This manuscript explores novel complexity results for the feasibility problem over $p$-order cones, extending the foundational work of Porkolab and Khachiyan. By leveraging the intrinsic structure of $p$-order cones, we derive refined complexity bounds that surpass those obtained via standard semidefinite programming reformulations. Our analysis not only improves theoretical bounds but also provides practical insights into the computational efficiency of solving such problems. In addition to establishing complexity results, we derive explicit bounds for solutions when the feasibility problem admits one. For infeasible instances, we analyze their discrepancy quantifying the degree of infeasibility. Finally, we examine specific cases of interest, highlighting scenarios where the geometry of $p$-order cones or problem structure yields further computational simplifications. These findings contribute to both the theoretical understanding and practical tractability of optimization problems involving $p$-order cones.
- [6] arXiv:2501.09829 [pdf, html, other]
-
Title: Sur certains faisceaux de formes m\'eromorphes sur un espace complexe r\'eduitComments: 51 pages, in French languageSubjects: Algebraic Geometry (math.AG)
The purpose of this is the study of certain coherent sheaves of meromorphic forms on reduced complex space and particularly their behavior with respect to pull back and higher direct image.
- [7] arXiv:2501.09839 [pdf, html, other]
-
Title: Coarse tree-widthSubjects: Combinatorics (math.CO)
We prove two theorems about tree-decompositions in the setting of coarse graph theory. First, we show that a graph $G$ admits a tree-decomposition in which each bag is contained in the union of a bounded number of balls of bounded radius, if and only if $G$ admits a quasi-isometry to a graph with bounded tree-width. (The ``if'' half is easy, but the ``only if'' half is challenging.) This generalizes a recent result of Berger and Seymour, concerning tree-decompositions when each bag has bounded radius.
Second, we show that if $G$ admits a quasi-isometry $\phi$ to a graph $H$ of bounded path-width, then $G$ admits a quasi-isometry (with error only an additive constant) to a graph of bounded path-width. Indeed, we will show a much stronger statement: that we can assign a non-negative integer length to each edge of $H$, such that the same function $\phi$ is a quasi-isometry (with error only an additive constant) to this weighted version of $H$. - [8] arXiv:2501.09842 [pdf, html, other]
-
Title: The semi-inducibility problemComments: 43 pages including referencesSubjects: Combinatorics (math.CO)
Let $H$ be a $k$-edge-coloured graph and let $n$ be a positive integer. What is the maximum number of copies of $H$ in a $k$-edge-coloured complete graph on $n$ vertices? We investigate this problem in the case of $k=2$ colours, which has close ties to the inducibility problem of Pippenger and Golumbic. We prove sharp or almost sharp results for alternating walks, for alternating cycles of length divisible by 4, and for 4-cycles of every colour pattern.
- [9] arXiv:2501.09845 [pdf, html, other]
-
Title: Adaptive Weighted Total Variation boosted by learning techniques in few-view tomographic imagingComments: 23 pages, 8 figures, submitted to journal for peer-reviewSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
This study presents the development of a spatially adaptive weighting strategy for Total Variation regularization, aimed at addressing under-determined linear inverse problems. The method leverages the rapid computation of an accurate approximation of the true image (or its gradient magnitude) through a neural network. Our approach operates without requiring prior knowledge of the noise intensity in the data and avoids the iterative recomputation of weights. Additionally, the paper includes a theoretical analysis of the proposed method, establishing its validity as a regularization approach. This framework integrates advanced neural network capabilities within a regularization context, thereby making the results of the networks interpretable. The results are promising as they enable high-quality reconstructions from limited-view tomographic measurements.
- [10] arXiv:2501.09847 [pdf, html, other]
-
Title: Exact VC-Dimensions of Certain Geometric Set SystemsComments: 31 pages, including two appendicesSubjects: Combinatorics (math.CO); Logic (math.LO)
The VC-dimension of a family of sets is a measure of its combinatorial complexity used in machine learning theory, computational geometry, and even model theory. Computing the VC-dimension of the $k$-fold union of geometric set systems has been an open and difficult combinatorial problem, dating back to Blumer, Ehrenfeucht, Haussler, and Warmuth in 1989, who ask about the VC-dimension of $k$-fold unions of half-spaces in $\mathbb{R}^d$.
Let $\mathcal{F}_1$ denote the family of all lines in $\mathbb{R}^2$. It is well-known that $\mathsf{VC}\text{-}\mathsf{dim}(\mathcal{F}_1) = 2$. In this paper, we study the $2$-fold and $3$-fold unions of $\mathcal{F}_1$, denoted $\mathcal{F}_2$ and $\mathcal{F}_3$, respectively. We show that $\mathsf{VC}\text{-}\mathsf{dim}(\mathcal{F}_2) = 5$ and $\mathsf{VC}\text{-}\mathsf{dim}(\mathcal{F}_3) = 9$. Moreover, we give complete characterisations of the subsets of $\mathbb{R}^2$ of maximal size that can be shattered by $\mathcal{F}_2$ and $\mathcal{F}_3$, showing they are exactly two and five, respectively, up to isomorphism in the language of the point-line incidence relation. - [11] arXiv:2501.09848 [pdf, html, other]
-
Title: Holonomy, Zeta Functions, and Cohomological Structures in Foliated Manifolds with Stratified BoundariesSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG); Number Theory (math.NT)
This paper explores the interplay between holonomy, Ihara zeta functions, and cohomological structures within the framework of ratified F-completions of foliated manifolds. We develop a novel formalism for the Gamma-set, a topological multigraph that captures intersection points of foliations with stratified boundaries, and use it to define an Ihara zeta function that encodes the manifold's symmetries. By investigating the holonomy group of spinor fields in relation to the Delta-actions on the Gamma-set, we conjecture a duality between holonomy fixed points and the poles of the Ihara zeta function, extending to twisted cohomology classes. We further analyze how the twist map T impacts cohomology within stratified spaces, highlighting the role of vector bundles and the twisted cochain complex. Applications of our framework to spectral graph theory and tiling in R^n demonstrate the power of holonomy-zeta duality in geometrically rich foliated structures.
- [12] arXiv:2501.09850 [pdf, html, other]
-
Title: Logarithmic Non-Abelian Hodge Theory for curves in prime characteristicSubjects: Algebraic Geometry (math.AG)
For a curve C and a reductive group G in prime characteristic, we relate the de Rham moduli of logarithmic G-connections on C to the Dolbeault moduli of logarithmic G-Higgs bundles on the Frobenius twist of C. We name this result the Log-p-NAHT. It is a logarithmic version of Chen-Zhu's characteristic p Non Abelian Hodge Theorem (p-NAHT). In contrast to the no pole case, the two moduli stacks in the log case are not isomorphic etale locally over the Hitchin base. Instead, they differ by an Artin-Schreier type Galois cover of the base. In contrast to the case over the complex numbers, where some parabolic/parahoric data are needed to specify the boundary behavior of the tame harmonic metrics, no parabolic/parahoric data are needed in Log-p-NAHT. We also establish a semistable version of the Log-p-NAHT, and deduce several geometric and cohomological consequences. In particular, when G=GL_r, the Log-p-NAHT induces an embedding of the intersection cohomology of the degree d Dolbeault moduli to that of the degree pd de Rham moduli, and the embedding is an isomorphism when r is coprime to d and p>r.
- [13] arXiv:2501.09852 [pdf, html, other]
-
Title: The functional graph of $f(X)=(cX^q+aX)(X^{q}-X)^{n-1}$ over quadratic extensions of finite fieldsSubjects: Number Theory (math.NT); Dynamical Systems (math.DS)
Let $\mathbb{F}_q$ be the finite field with $q=p^s$ elements, where $p$ is an odd prime and $s$ a positive integer. In this paper, we define the function $f(X)=(cX^q+aX)(X^{q}-X)^{n-1}$, for $a,c\in\mathbb{F}_q$ and $n\geq 1$. We study the dynamics of the function $f(X)$ over the finite field $\mathbb{F}_{q^2}$, determining cycle lengths and number of cycles. We also show that all trees attached to cyclic elements are isomorphic, with the exception of the tree hanging from zero. We also present the general shape of such hanging trees, which concludes the complete description of the functional graph of $f(X)$.
- [14] arXiv:2501.09865 [pdf, html, other]
-
Title: Lower bounds on the $\ell$-rank of ideal class groupsComments: 23 pagesSubjects: Number Theory (math.NT)
For a prime number $\ell$ and an extension of number fields $K/F$, we prove new lower bounds on the $\ell$-rank of the ideal class group of $K$ based on prime ramification in $K/F$. Unlike related results from the literature, our bound is supported on prime ideals in $F$ over which at least one (rather than each) prime in $K$ has ramification index divisible by $\ell$. This bound holds with a proviso on the Galois group of the normal closure of $K/F$, which is satisfied by towers of Galois extensions, intermediate fields in nilpotent extensions, and intermediate fields in dihedral extensions of degree $8n$, to name a few. We also use our lower bound to prove a new density result on number fields with infinite class field towers.
- [15] arXiv:2501.09867 [pdf, html, other]
-
Title: G-functions, motives, and unlikely intersections -- old and newSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
In this survey, we outline the role of G-functions in arithmetic geometry, notably their link with Picard-Fuchs differential equations and periods. We explain how polynomial relations between special values of G-functions arising from a pencil of algebraic varieties may occur at a parameter where the fiber has more ``motivic" symmetries; and how Bombieri's principle of global relations can be used to control the height of such parameters (which was also one of the origins of the André-Oort conjecture). At the end, we sketch the recent revival of the G-function method in the context of unlikely intersections and the Zilber-Pink conjecture.
- [16] arXiv:2501.09871 [pdf, html, other]
-
Title: Generalized Doubly Parabolic Keller-Segel System with Fractional DiffusionSubjects: Analysis of PDEs (math.AP)
The Keller-Segel model is a system of partial differential equations that describes the movement of cells or organisms in response to chemical signals, a phenomenon known as chemotaxis. In this study, we analyze a doubly parabolic Keller-Segel system in the whole space $\mathbb{R}^d$, $d\geq 2$, where both cellular and chemical diffusion are governed by fractional Laplacians with distinct exponents. This system generalizes the classical Keller-Segel model by introducing superdiffusion, a form of anomalous diffusion. This extension accounts for nonlocal diffusive effects observed in experimental settings, particularly in environments with sparse targets. We establish results on the local well-posedness of mild solutions for this generalized system and global well-posedness under smallness assumptions on the initial conditions in $L^p(\mathbb{R}^d)$. Furthermore, we characterize the asymptotic behavior of the solution.
- [17] arXiv:2501.09876 [pdf, html, other]
-
Title: Geometry-Preserving Encoder/Decoder in Latent Generative ModelsComments: 41 pagesSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
Generative modeling aims to generate new data samples that resemble a given dataset, with diffusion models recently becoming the most popular generative model. One of the main challenges of diffusion models is solving the problem in the input space, which tends to be very high-dimensional. Recently, solving diffusion models in the latent space through an encoder that maps from the data space to a lower-dimensional latent space has been considered to make the training process more efficient and has shown state-of-the-art results. The variational autoencoder (VAE) is the most commonly used encoder/decoder framework in this domain, known for its ability to learn latent representations and generate data samples. In this paper, we introduce a novel encoder/decoder framework with theoretical properties distinct from those of the VAE, specifically designed to preserve the geometric structure of the data distribution. We demonstrate the significant advantages of this geometry-preserving encoder in the training process of both the encoder and decoder. Additionally, we provide theoretical results proving convergence of the training process, including convergence guarantees for encoder training, and results showing faster convergence of decoder training when using the geometry-preserving encoder.
- [18] arXiv:2501.09880 [pdf, html, other]
-
Title: A Strengthening of the Harnack InequalitySubjects: Complex Variables (math.CV)
We prove the stronger version of Harnack's inequality for positive harmonic functions defined on the unit disc.
- [19] arXiv:2501.09904 [pdf, html, other]
-
Title: Improved bound on the number of cycle setsComments: 10 pagesSubjects: Combinatorics (math.CO)
The cycle set of a graph $G$ is the set consisting of all sizes of cycles in $G$. Answering a conjecture of Erdős and Faudree, Verstraëte showed that there are at most $2^{n - n^{1/10}}$ different cycle sets of graphs with $n$ vertices. We improve this bound to $2^{n - n^{1/2 - o(1)}}$. Our proof follows the general strategy of Verstraëte of reducing the problem to counting cycle sets of Hamiltonian graphs with many chords or a large maximum degree. The key new ingredients are near-optimal container lemmata for cycle sets of such graphs.
- [20] arXiv:2501.09908 [pdf, html, other]
-
Title: A rigid origami elliptic-hyperbolic vertex dualitySubjects: Metric Geometry (math.MG); Soft Condensed Matter (cond-mat.soft); Computational Geometry (cs.CG)
The field of rigid origami concerns the folding of stiff, inelastic plates of material along crease lines that act like hinges and form a straight-line planar graph, called the crease pattern of the origami. Crease pattern vertices in the interior of the folded material and that are adjacent to four crease lines, i.e. degree-4 vertices, have a single degree of freedom and can be chained together to make flexible polyhedral surfaces. Degree-4 vertices that can fold to a completely flat state have folding kinematics that are very well-understood, and thus they have been used in many engineering and physics applications. However, degree-4 vertices that are not flat-foldable or not folded from flat paper so that the vertex forms either an elliptic or hyperbolic cone, have folding angles at the creases that follow more complicated kinematic equations. In this work we present a new duality between general degree-4 rigid origami vertices, where dual vertices come in elliptic-hyperbolic pairs that have essentially equivalent kinematics. This reveals a mathematical structure in the space of degree-4 rigid origami vertices that can be leveraged in applications, for example in the construction of flexible 3D structures that possess metamaterial properties.
- [21] arXiv:2501.09912 [pdf, html, other]
-
Title: A simple extrapolation criterion with an application to wavelet characterization of various function spacesComments: 18 pagesSubjects: Functional Analysis (math.FA)
The aim of this paper is to obtain an extrapolation result without using convexification. What is new about this criterion is that the convexification of Banach spaces does not come into play. As an application, a characterization of ball Banach function spaces in terms of wavelets can be obtained. The result can be formulated so that we can take into account the smoothness property of the function spaces under consideration. The same technique can be used for the proof of the vector-valued inequalities for example. Also, the result in the present paper refines a recent result on the extension operator.
- [22] arXiv:2501.09920 [pdf, html, other]
-
Title: The sign character of the triagonal fermionic coinvariant ringComments: 18 pages, no figures, comments are welcomeSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
We determine the trigraded multiplicity of the sign character of the triagonal fermionic coinvariant ring $R_n^{(0,3)}$. As a corollary, this proves a conjecture of Bergeron (2020) that the dimension of the sign character of $R_n^{(0,3)}$ is $n^2-n+1$. We also give an explicit formula for double hook characters in the diagonal fermionic coinvariant ring $R_n^{(0,2)}$, and discuss methods towards calculating the sign character of $R_n^{(0,4)}$. Finally, we give a multigraded refinement of a conjecture of Bergeron (2020) that the dimension of the sign character of the $(1,3)$-bosonic-fermionic coinvariant ring $R_n^{(1,3)}$ is $\frac{1}{2}F_{3n}$, where $F_n$ is a Fibonacci number.
- [23] arXiv:2501.09922 [pdf, html, other]
-
Title: Quasi-projective manifolds uniformized by Carath\'eodory hyperbolic manifolds and hyperbolicity of their subvarietiesComments: May be slightly different from published versionJournal-ref: International Mathematics Research Notices, Volume 2024, Issue 2, January 2024Subjects: Complex Variables (math.CV)
Let $M$ be a Carathéodory hyperbolic complex manifold. We show that $M$ supports a real-analytic bounded strictly plurisubharmonic function. If $M$ is also complete Kähler, we show that $M$ admits the Bergman metric. When $M$ is strongly Carathéodory hyperbolic and is the universal covering of a quasi-projective manifold $X$, the Bergman metric can be estimated in terms of a Poincaré type metric on $X$. It is also proved that any quasi-projective (resp. projective) subvariety of $X$ is of log-general type (resp. general type), a result consistent with a conjecture of Lang.
- [24] arXiv:2501.09931 [pdf, html, other]
-
Title: Further Results for the Capacity Statistic Distribution on Compositions of 1's and 2'sSubjects: Combinatorics (math.CO)
In this paper, we study additional aspects of the capacity distribution on the set $\mathcal{B}_n$ of compositions of $n$ consisting of $1$'s and $2$'s. Among our results are further recurrences for this distribution as well as formulas for the total capacity and sign balance on $\mathcal{B}_n$. We provide algebraic and combinatorial proofs of our results. We also give combinatorial explanations of some prior results where such a proof was requested. Finally, the joint distribution of the capacity statistic with two further parameters on $\mathcal{B}_n$ is briefly considered.
- [25] arXiv:2501.09941 [pdf, html, other]
-
Title: Minimum numbers of Dehn colors of knots and $\mathcal{R}$-palette graphsSubjects: Geometric Topology (math.GT)
In this paper, we consider minimum numbers of colors of knots for Dehn colorings. In particular, we will show that for any odd prime number $p$ and any Dehn $p$-colorable knot $K$, the minimum number of colors for $K$ is at least $\lfloor \log_2 p \rfloor +2$. Moreover, we will define the $\R$-palette graph for a set of colors. The $\R$-palette graphs are quite useful to give candidates of sets of colors which might realize a nontrivially Dehn $p$-colored diagram. In Appendix, we also prove that for Dehn $5$-colorable knot, the minimum number of colors is $4$.
- [26] arXiv:2501.09942 [pdf, html, other]
-
Title: Minimum numbers of Dehn colors of knots and symmetric local biquandle cocycle invariantsSubjects: Geometric Topology (math.GT)
In this paper, we give a method to evaluate minimum numbers of Dehn colors for knots by using symmetric local biquandle cocycle invariants. We give answers to some questions arising as a consequence of our previous paper [6]. In particular, we show that there exist knots which are distinguished by minimum numbers of Dehn colors.
- [27] arXiv:2501.09956 [pdf, html, other]
-
Title: On the local well-posedness of fractionally dissipated primitive equations with transport noiseComments: 27 pagesSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
We investigate the three-dimensional fractionally dissipated primitive equations with transport noise, focusing on subcritical and critical dissipation regimes characterized by $ (-\Delta)^{s/2} $ with $ s \in (1,2)$ and $s = 1$, respectively. For $\sigma>3$, we establish the local existence of unique pathwise solutions in Sobolev space $H^\sigma$. This result applies to arbitrary initial data in the subcritical case ($s \in(1,2)$), and to small initial data in the critical case ($s=1$). The analysis is particularly challenging due to the loss of horizontal derivatives in the nonlinear terms and the lack of full dissipation. To address these challenges, we develop novel commutator estimates involving the hydrostatic Leray projection.
- [28] arXiv:2501.09961 [pdf, html, other]
-
Title: A High-Resolution Analysis of Receiver Quantization in CommunicationComments: 6 pages, 5 figuresSubjects: Information Theory (cs.IT)
We investigate performance limits and design of communication in the presence of uniform output quantization with moderate to high resolution. Under independent and identically distributed (i.i.d.) complex Gaussian codebook and nearest neighbor decoding rule, an achievable rate is derived in an analytical form by the generalized mutual information (GMI). The gain control before quantization is shown to be increasingly important as the resolution decreases, due to the fact that the loading factor (normalized one-sided quantization range) has increasing impact on performance. The impact of imperfect gain control in the high-resolution regime is characterized by two asymptotic results: 1) the rate loss due to overload distortion decays exponentially as the loading factor increases, and 2) the rate loss due to granular distortion decays quadratically as the step size vanishes. For a $2K$-level uniform quantizer, we prove that the optimal loading factor that maximizes the achievable rate scales like $2\sqrt{\ln 2K}$ as the resolution increases. An asymptotically tight estimate of the optimal loading factor is further given, which is also highly accurate for finite resolutions.
- [29] arXiv:2501.09962 [pdf, html, other]
-
Title: Functoriality of Coulomb branchesSubjects: Algebraic Geometry (math.AG); Quantum Algebra (math.QA); Representation Theory (math.RT)
We prove that the affine closure of the cotangent bundle of the parabolic base affine space for GL_n or SL_n is a Coulomb branch, which confirms a conjecture of Bourget-Dancer-Grimminger-Hanany-Zhong. In particular, we show that the ring of functions on the cotangent bundle of the parabolic base affine space of GL_n or SL_n is finitely generated.
We prove this by showing that, if we are given a map $H \to G$ of complex reductive groups and a representation of $G$ satisfying an assumption we call gluable, then the Coulomb branch for the induced representation of $H$ is obtained from the corresponding Coulomb branch for $G$ by a certain Hamiltonian reduction procedure. In particular, we show that the Coulomb branch associated to any quiver with no loops can be obtained from Coulomb branches associated to quivers with exactly two vertices using this procedure. - [30] arXiv:2501.09983 [pdf, html, other]
-
Title: Strong Consistency of Sparse K-means ClusteringSubjects: Statistics Theory (math.ST)
In this paper, we prove the strong consistency of the sparse K-means method proposed by Witten and Tibshirani (2010). We prove the consistency in both risk and clustering for the Euclidean distance. We discuss the characterization of the limit of the clustering under some special cases. For the general distance, we prove the consistency in risk. Our result naturally extends to other models with the same objective function but different constraints such as l0 or l1 penalty in Chang et al. (2018).
- [31] arXiv:2501.09987 [pdf, html, other]
-
Title: On understanding and overcoming spectral biases of deep neural network learning methods for solving PDEsSubjects: Numerical Analysis (math.NA)
In this review, we survey the latest approaches and techniques developed to overcome the spectral bias towards low frequency of deep neural network learning methods in learning multiple-frequency solutions of partial differential equations. Open problems and future research directions are also discussed.
- [32] arXiv:2501.09991 [pdf, html, other]
-
Title: Graph colouring and Steenrod's problem for Stanley-Reisner ringsComments: 33 pagesSubjects: Algebraic Topology (math.AT); Combinatorics (math.CO)
It is a classical problem in algebraic topology asked by Steenrod which graded rings occur as the cohomology ring of a space.
In this paper, we define an algebraic version of the graph colouring, span colouring, and observe the relation between span colourings and Steenrod's problem for graded Stanley-Reisner rings, in other words polynomial rings divided by an ideal generated by square-free monic monomials. - [33] arXiv:2501.09995 [pdf, html, other]
-
Title: The optimal relaxation parameter for the SOR method applied to the Poisson equation on rectangular grids with different types of boundary conditionsSubjects: Numerical Analysis (math.NA)
The Successive Over-Relaxation (SOR) method is a useful method for solving the sparse system of linear equations which arises from finite-difference discretization of the Poisson equation. Knowing the optimal value of the relaxation parameter is crucial for fast convergence. In this manuscript, we present the optimal relaxation parameter for the discretized Poisson equation with mixed and different types of boundary conditions on a rectangular grid with unequal mesh sizes in $x$- and $y$-directions ($\Delta x \neq \Delta y$) which does not addressed in the literature. The central second-order and high-order compact (HOC) schemes are considered for the discretization and the optimal relaxation parameter is obtained for both the point and line implementation of the SOR method. Furthermore, the obtained optimal parameters are verified by numerical results.
- [34] arXiv:2501.10005 [pdf, html, other]
-
Title: The dual notion of morphic modules over commutative ringsSubjects: Commutative Algebra (math.AC)
Let R be a commutative ring with identity and M be an R-module. The purpose of this paper is to introduce and investigate the dual notion of morphic modules over a commutative ring.
- [35] arXiv:2501.10014 [pdf, html, other]
-
Title: A note on the theoretical approach to Grassmannians and Pl\"ucker coordinates for additive skew-symmetric pairwise comparisons matricesSubjects: Differential Geometry (math.DG)
Symmetry and antisymmetry are fundamental concepts in many strict sciences. Pairwise comparisons (PC) matrices are fundamental tools for representing pairwise relations in decision making. In this theoretical study, we present a novel framework that embeds additive skew-symmetric PC matrices into the Grassmannian manifold $G(2, n)$. This framework leverages Plücker coordinates to provide a rigorous geometric interpretation of their structure. Our key result demonstrates that the algebraic consistency condition $a_{ij} + a_{jk} - a_{ki} = 0$ is equivalent to the geometric consistency of $2$-planes in $G(2, n)$, satisfying the Plücker relations. This connection reveals that the algebraic properties of PC matrices can be naturally understood through their geometric representation. Additionally, we extend this framework by interpreting PC matrices as differential $2$-forms, providing a new perspective on their consistency as a closedness condition. Our framework of linear algebra, differential geometry, and algebraic geometry, placing PC matrices in a broader mathematical context. Rather than proposing a practical alternative to existing methods, our study aims to offer a theoretical foundation for future research by exploring new insights into higher-dimensional geometry and the geometric modeling of pairwise comparisons.
- [36] arXiv:2501.10025 [pdf, html, other]
-
Title: Robust density estimation over star-shaped density classesSubjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
We establish a novel criterion for comparing the performance of two densities, $g_1$ and $g_2$, within the context of corrupted data. Utilizing this criterion, we propose an algorithm to construct a density estimator within a star-shaped density class, $\mathcal{F}$, under conditions of data corruption. We proceed to derive the minimax upper and lower bounds for density estimation across this star-shaped density class, characterized by densities that are uniformly bounded above and below (in the sup norm), in the presence of adversarially corrupted data. Specifically, we assume that a fraction $\epsilon \leq \frac{1}{3}$ of the $N$ observations are arbitrarily corrupted. We obtain the minimax upper bound $\max\{ \tau_{\overline{J}}^2, \epsilon \} \wedge d^2$. Under certain conditions, we obtain the minimax risk, up to proportionality constants, under the squared $L_2$ loss as $$ \max\left\{ \tau^{*2} \wedge d^2, \epsilon \wedge d^2 \right\}, $$ where $\tau^* := \sup\left\{ \tau : N\tau^2 \leq \log \mathcal{M}_{\mathcal{F}}^{\text{loc}}(\tau, c) \right\}$ for a sufficiently large constant $c$. Here, $\mathcal{M}_{\mathcal{F}}^{\text{loc}}(\tau, c)$ denotes the local entropy of the set $\mathcal{F}$, and $d$ is the $L_2$ diameter of $\mathcal{F}$.
- [37] arXiv:2501.10028 [pdf, html, other]
-
Title: Scaling-and-squaring method for computing the inverses of matrix $\varphi$-functionsSubjects: Numerical Analysis (math.NA)
This paper aims to develop efficient numerical methods for computing the inverse of matrix $\varphi$-functions, $\psi_\ell(A) := (\varphi_\ell(A))^{-1}$, for $\ell =1,2,\ldots,$ when $A$ is a large and sparse matrix with eigenvalues in the open left half-plane. While $\varphi$-functions play a crucial role in the analysis and implementation of exponential integrators, their inverses arise in solving certain direct and inverse differential problems with non-local boundary conditions. We propose an adaptation of the standard scaling-and-squaring technique for computing $\psi_\ell(A)$, based on the Newton-Schulz iteration for matrix inversion. The convergence of this method is analyzed both theoretically and numerically. In addition, we derive and analyze Padé approximants for approximating $\psi_1(A/2^s)$, where $s$ is a suitably chosen integer, necessary at the root of the squaring process. Numerical experiments demonstrate the effectiveness of the proposed approach.
- [38] arXiv:2501.10032 [pdf, html, other]
-
Title: On the shatter function of semilinear set systemsComments: 40 pagesSubjects: Combinatorics (math.CO); Logic (math.LO)
We show that the shatter function of a semilinear set system is asymptotic to a polynomial. This confirms, for the structure $(\mathbb{R}; +, <)$, a conjecture of Chernikov and is a step towards characterizing linearity for o-minimal structures via shatter functions.
- [39] arXiv:2501.10033 [pdf, html, other]
-
Title: Residually Constructible ExtensionsComments: 18 pagesSubjects: Logic (math.LO)
Let $T$ be an o-minimal theory expanding $\mathrm{RCF}$ and $T_{\mathrm{convex}}$ be the common theory of its models expanded by predicate for a non-trivial $T$-convex valuation ring. We call an elementary extension $(\mathbb{E}, \mathcal{O}) \prec (\mathbb{E}_*, \mathcal{O}_*) \models T_{\mathrm{convex}}$ $\textit{res-constructible}$ if there is a tuple $\overline{s}$ in $\mathcal{O}_*$ such that the projection $\mathbf{res}(\overline{s})$ of $\overline{s}$ in the residue field sort is $\mathrm{dcl}$-independent over the residue field $\mathbf{res}(\mathbb{E}, \mathcal{O})$ of $(\mathbb{E}, \mathcal{O})$. We study factorization properties of res-constructible extensions. Our main result is that a res-constructible extension $(\mathbb{E}, \mathcal{O}) \prec (\mathbb{E}_*, \mathcal{O}_*)$ has the property that all $(\mathbb{E}_1, \mathcal{O}_1)$ with $(\mathbb{E}, \mathcal{O}) \prec (\mathbb{E}_1, \mathcal{O}_1) \prec (\mathbb{E}_*, \mathcal{O}_*)$ are res-constructible over $(\mathbb{E}, \mathcal{O})$, if and only if $\mathbb{E}_*$ has countable dimension over $\mathbb{E}$ or the value group $\mathbf{val}(\mathbb{E}_*, \mathcal{O}_*)$ contains no uncountable well-ordered subset. This analysis entails complete answers to [9, Problem 5.12].
- [40] arXiv:2501.10036 [pdf, html, other]
-
Title: On Carath\'eodory approximate scheme for a class of one-dimensional doubly perturbed diffusion processesComments: 21 pagesSubjects: Probability (math.PR)
In this paper, we introduce and study the convergence of new Carathéodory's approximate solution for one-dimensional $\alpha, \beta$-doubly perturbed stochastic differential equations (DPSDEs) with parameters $\alpha <1$ and $\beta <1$ such that $|\rho| < 1$, where $ \rho : = \frac{\alpha\beta}{(1-\alpha)(1-\beta)}$. Under Lipschitz's condition on the coefficients, we establish the $L^{p}$-convergence of the Carathéodory approximate solution uniformly in time, for all $p\geq 2$. As a consequence, and relying only on our scheme, we obtain the existence and uniqueness of strong solution for $\alpha, \beta$-DPSDEs. Furthermore, an extension to non-Lipschitz coefficients are also studied. Our results improve earlier work by Mao and al. (2018).
- [41] arXiv:2501.10038 [pdf, other]
-
Title: Weak uniqueness for the PDE governing the joint law of a diffusion and its running supremumSubjects: Analysis of PDEs (math.AP)
In a previous work [8], it was shown that the joint law of a diffusion process and the running supremum of its first component is absolutely continuous, and that its density satisfies a non standard weak partial differential equation (PDE). In this paper, we establish the uniqueness of the solution to this PDE, providing a more complete understanding of the system's behavior and further validating the approach introduced in [8].
- [42] arXiv:2501.10043 [pdf, other]
-
Title: Hilbert Polynomials of Noncanonical Orthogonal Oscillator Representations of $sl(n)$Subjects: Representation Theory (math.RT)
By applying Fourier transformations to the natural orthogonal oscillator representations of special linear Lie algebras, Luo and the second author (2013) obtained a large family of infinite-dimensional irreducible representations of the algebras on the homogeneous solutions of the Laplace equation. In our earlier work, we proved that the associated varieties of these irreducible representations are the intersection of determinantal varieties. In this paper, we find the Hilbert polynomial $\mathfrak p_{ M}(k)$ of these associated varieties. Moreover, we show that the Hilbert polynomial $\mathfrak p_{ M, {M_0}}(k)$ of such an irreducible module $M$ with respect to any generating subspace $M_0$ satisfies $\mathfrak p_{_M}(k)\leq \mathfrak p_{ M, {M_0}}(k)$ for sufficiently large positive integer $k$ and find a necessary and sufficient condition that the equality holds. Furthermore, we explicitly determine the leading term of $\mathfrak p_{ M, {M_0}}(k)$, which is independent of the choice of $M_0$.
- [43] arXiv:2501.10051 [pdf, html, other]
-
Title: A Family of Controllable Momentum Coefficients for Forward-Backward Accelerated AlgorithmsComments: 22 pages, 1 figure. arXiv admin note: text overlap with arXiv:2412.13527Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA); Machine Learning (stat.ML)
Nesterov's accelerated gradient method (NAG) marks a pivotal advancement in gradient-based optimization, achieving faster convergence compared to the vanilla gradient descent method for convex functions. However, its algorithmic complexity when applied to strongly convex functions remains unknown, as noted in the comprehensive review by Chambolle and Pock [2016]. This issue, aside from the critical step size, was addressed by Li et al. [2024b], with the monotonic case further explored by Fu and Shi [2024]. In this paper, we introduce a family of controllable momentum coefficients for forward-backward accelerated methods, focusing on the critical step size $s=1/L$. Unlike traditional linear forms, the proposed momentum coefficients follow an $\alpha$-th power structure, where the parameter $r$ is adaptively tuned to $\alpha$. Using a Lyapunov function specifically designed for $\alpha$, we establish a controllable $O\left(1/k^{2\alpha} \right)$ convergence rate for the NAG-$\alpha$ method, provided that $r > 2\alpha$. At the critical step size, NAG-$\alpha$ achieves an inverse polynomial convergence rate of arbitrary degree by adjusting $r$ according to $\alpha > 0$. We further simplify the Lyapunov function by expressing it in terms of the iterative sequences $x_k$ and $y_k$, eliminating the need for phase-space representations. This simplification enables us to extend the controllable $O \left(1/k^{2\alpha} \right)$ rate to the monotonic variant, M-NAG-$\alpha$, thereby enhancing optimization efficiency. Finally, by leveraging the fundamental inequality for composite functions, we extended the controllable $O\left(1/k^{2\alpha} \right)$ rate to proximal algorithms, including the fast iterative shrinkage-thresholding algorithm (FISTA-$\alpha$) and its monotonic counterpart (M-FISTA-$\alpha$).
- [44] arXiv:2501.10058 [pdf, html, other]
-
Title: On symplectic automorphisms of a surface with genus two fibration and their action on $\mathrm{CH}_0$Comments: 11 pagesSubjects: Algebraic Geometry (math.AG)
Let $S$ be a complex smooth projective surface with a genus two fibration, and $\mathrm{Aut}_s(S)$ the group of symplectic automorphisms, fixing every holomorphic 2-forms (if any) on $S$. Based on the work of Jin-Xing Cai, we observe in this paper that, if $\chi(\mathcal{O}_S)\geq 5$, then $|\mathrm{Aut}_s(S)|\leq 2$. Then we go on to verify, under some conditions, that $\mathrm{Aut}_s(S)$ acts trivially on the Albanese kernel $\mathrm{CH}_0(S)_{\mathrm{alb}}$ of the 0-th Chow group, which is predicted by a conjecture of Bloch and Beilinson. As a consequence, if an automorphism $\sigma\in \mathrm{Aut}(S)$ acts trivially on $H^{i,0}(S)$ for $0\leq i\leq 2$, then it also acts trivially on $\mathrm{CH}_0(S)_{\mathrm{alb}}$.
- [45] arXiv:2501.10061 [pdf, html, other]
-
Title: A Proof of Lieb--Wehrl Entropy conjecture for $SU(N,1)$Comments: 13 pagesSubjects: Mathematical Physics (math-ph)
We investigate the sharp functional inequalities for the coherent state transforms of $SU(N,1)$. These inequalities are rooted in Wehrl's definition of semiclassical entropy and his conjecture about its minimum value. Lieb resolved this conjecture in 1978, posing a similar question for Bloch coherent states of $SU(2)$. The $SU(2)$ conjecture was settled by Lieb and Solovej in 2014, and the conjecture was extended for a wide class of Lie groups. The generalized Lieb conjecture has been resolved for several Lie groups, including $SU(N),\, N\geq2$, $SU(1,1)$, and its $AX+B$ subgroup. With sharp functional inequalities for the coherent state transforms of the group $SU(N,1)$, we confirm this Lieb-Wehrl entropy conjecture for $SU(N,1),\, N\geq2$. Additionally, we explore the Faber-Krahn inequality, which applies to the short-time Fourier transform with a Gaussian window. This inequality was previously proven by Nicola and Tilli and later extended by Ramos and Tilli to the wavelet transform. In this paper, we further extend this result within the framework of the Bergman space $\mathcal A_{\alpha}$.
- [46] arXiv:2501.10065 [pdf, other]
-
Title: Stability of the $\pi$-Flux Phase for $\mathbb{Z}_{2}$ Lattice Gauge Theory Coupled to Fermionic MatterComments: 61 pages, 11 figuresSubjects: Mathematical Physics (math-ph)
We consider the two-dimensional $\mathbb{Z}_{2}$ Ising gauge theory coupled to fermionic matter. In absence of electric fields, we prove that, at half-filling, the ground state of the gauge theory coincides with the $\pi$-flux phase, associated with magnetic flux equal to $\pi$ in every elementary lattice plaquette, provided the fermionic hopping is large enough. This proves in particular the semimetallic behavior of the ground state of the model. Furthermore, we compute the magnetic susceptibility of the gauge theory, and we prove that it is given by the one of massless $2d$ Dirac fermions, thus rigorously justifying recent numerical computations. The proof is based on reflection positivity and chessboard estimates, and on lattice conservation laws for the computation of the transport coefficient.
- [47] arXiv:2501.10073 [pdf, html, other]
-
Title: Convergence and non-convergence to Bose-Einstein condensationComments: This is a new paper having 29 pages. arXiv admin note: text overlap with arXiv:1808.04038Subjects: Analysis of PDEs (math.AP)
The paper is a continuation of our previous work on the strong convergence to equilibrium for the spatially homogeneous Boltzmann equation for Bose-Einstein particles for isotropic solutions at low temperature. Here we study the influence of the particle interaction potentials on the convergence to Bose-Einstein condensation (BEC). Consider two cases of certain potentials that are such that the corresponding scattering cross sections are bounded and 1) have a lower bound ${\rm const.}\min\{1, |{\bf v-v}_*|^{2\eta}\}$ with ${\rm const}.>0, 0\le \eta<1$, and 2) have an upper bound ${\rm const.}\min\{1, |{\bf v-v}_*|^{2\eta}\}$ with $\eta\ge 1$. For the first case, the long time convergence to BEC i.e. $\lim\limits_{t\to\infty}F_t(\{0\})=F_{\rm be}(\{0\})$ is proved for a class of initial data having very low temperature and thus it holds the strong convergence to equilibrium. For the second case we show that if initially $F_0(\{0\})=0$, then $ F_t(\{0\})=0$ for all $t\ge 0$ and thus there is no convergence to BEC hence no strong convergence to equilibrium.
- [48] arXiv:2501.10076 [pdf, html, other]
-
Title: Accurate algorithms for Bessel matricesJournal-ref: J. Sci. Comput. 80 (2019), no. 2, 1264-1278Subjects: Numerical Analysis (math.NA)
In this paper, we prove that any collocation matrix of Bessel polynomials at positive points is strictly totally positive, that is, all its minors are positive. Moreover, an accurate method to construct the bidiagonal factorization of these matrices is obtained and used to compute with high relative accuracy the eigenvalues, singular values and inverses. Similar results for the collocation matrices for the reverse Bessel polynomials are also obtained. Numerical examples illustrating the theoretical results are included.
- [49] arXiv:2501.10082 [pdf, html, other]
-
Title: The local diameter two property and the diameter two property in spaces of Lipschitz functionsComments: 17 pages, 1 figureSubjects: Functional Analysis (math.FA)
We separate the local diameter two property from the diameter two property and their weak-star counterparts from each other in spaces of Lipschitz functions. We characterise the $w^*$-LD$2$P, the $w^*$-D$2$P, the LD$2$P, and the SD$2$P in these spaces. We introduce a generalised version of cyclical monotonicity to study functionals on spaces of Lipschitz functions.
- [50] arXiv:2501.10090 [pdf, html, other]
-
Title: Variations on a theme of Ap\'eryComments: 14 pagesSubjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA); Combinatorics (math.CO)
Apéry's remarkable discovery of rapidly converging continued fractions with small coefficients for $\zeta(2)$ and $\zeta(3)$ has led to a flurry of important activity in an incredible variety of different directions. Our purpose is to show that modifications of Apéry's continued fractions can give interesting results including new rapidly convergent continued fractions for certain interesting constants.
- [51] arXiv:2501.10094 [pdf, html, other]
-
Title: The reciprocal complement of a curveSubjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
We give a geometric interpretation of the reciprocal complement of an integral domain $D$ in the case $D$ is a one-dimensional finitely generated algebra over an algebraically closed field.
- [52] arXiv:2501.10096 [pdf, html, other]
-
Title: A stochastic process defined via the random permutation divisorsComments: 15 pages, submitted for publicationSubjects: Probability (math.PR)
The normalised partial sums of values of a nonnegative multiplicative function over divisors with appropriately restricted sizes of a random permutation from the symmetric group define trajectories of a stochastic process. We prove a functional limit theorem in the Skorokhod space when the permutations are drawn uniformly at random. Furthermore, we show that the paths of the limit process almost surely belong to the space of continuous functions on the unit interval and, exploiting the results from number-theoretical papers, we obtain rather complex formulas for the limits of joint power moments of the process.
- [53] arXiv:2501.10099 [pdf, html, other]
-
Title: Several Representations of $\alpha$-Mutual Information and Interpretations as Privacy Leakage MeasuresSubjects: Information Theory (cs.IT)
In this paper, we present several novel representations of $\alpha$-mutual information ($\alpha$-MI) in terms of R{\' e}nyi divergence and conditional R{\' e}nyi entropy. The representations are based on the variational characterizations of $\alpha$-MI using a reverse channel. Based on these representations, we provide several interpretations of the $\alpha$-MI as privacy leakage measures using generalized mean and gain functions. Further, as byproducts of the representations, we propose novel conditional R{\' e}nyi entropies that satisfy the property that conditioning reduces entropy and data-processing inequality.
- [54] arXiv:2501.10101 [pdf, html, other]
-
Title: Strong and weak sharp bounds for Neural Network Operators in Sobolev-Orlicz spaces and their quantitative extensions to Orlicz spacesSubjects: Functional Analysis (math.FA)
In this paper, we establish sharp bounds for a family of Kantorovich-type neural network operators within the general frameworks of Sobolev-Orlicz and Orlicz spaces. We establish both strong (in terms of the Luxemburg norm) and weak (in terms of the modular functional) estimates, using different approaches. The strong estimates are derived for spaces generated by $\varphi$-functions that are $N$-functions or satisfy the $\Delta^\prime$-condition. Such estimates also lead to convergence results with respect to the Luxemburg norm in several instances of Orlicz spaces, including the exponential case. Meanwhile, the weak estimates are achieved under less restrictive assumptions on the involved $\varphi$-function. To obtain these results, we introduce some new tools and techniques in Orlicz spaces. Central to our approach is the Orlicz Minkowski inequality, which allows us to obtain unified strong estimates for the operators. We also present a weak (modular) version of this inequality holding under weaker conditions. Additionally, we introduce a novel notion of discrete absolute $\varphi$-moments of hybrid type, and we employ the Hardy-Littlewood maximal operator within Orlicz spaces for the asymptotic analysis. Furthermore, we introduce the new space $\mathcal{W}^{1,\varphi}(I)$, which is embedded in the Sobolev-Orlicz space $W^{1,\varphi}(I)$ and modularly dense in $L^\varphi(I)$. This allows to achieve asymptotic estimates for a wider class of $\varphi$-functions, including those that do not meet the $\Delta_2$-condition. For the extension to the whole Orlicz-setting, we generalize a Sobolev-Orlicz density result given by H. Musielak using Steklov functions, providing a modular counterpart. Finally, we explore the relationships between weak and strong Orlicz Lipschitz classes, providing qualitative results for the rate of convergence of the operators.
- [55] arXiv:2501.10103 [pdf, html, other]
-
Title: Lossless data compression at pragmatic ratesComments: 15 pagesSubjects: Information Theory (cs.IT)
The problem of variable-rate lossless data compression is considered, for codes with and without prefix constraints. Sharp bounds are derived for the best achievable compression rate of memoryless sources, when the excess-rate probability is required to be exponentially small in the blocklength. Accurate nonasymptotic expansions with explicit constants are obtained for the optimal rate, using tools from large deviations and Gaussian approximation. Examples are shown indicating that, in the small excess-rate-probability regime, the approximation to the fundamental limit of the compression rate suggested by these bounds is significantly more accurate than the approximations provided by either normal approximation or error exponents. The new bounds reinforce the crucial operational conclusion that, in applications where the blocklength is relatively short and where stringent guarantees are required on the rate, the best achievable rate is no longer close to the entropy. Rather, it is an appropriate, more pragmatic rate, determined via the inverse error exponent function and the blocklength.
- [56] arXiv:2501.10104 [pdf, html, other]
-
Title: Solving Random Hyperbolic Conservation Laws Using Linear ProgrammingSubjects: Numerical Analysis (math.NA)
A novel structure-preserving numerical method to solve random hyperbolic systems of conservation laws is presented. The method uses a concept of generalized, measure-valued solutions to random conservation laws. This yields a linear partial differential equation with respect to the Young measure and allows to compute the approximation based on linear programming problems. We analyze the structure-preserving properties of the derived numerical method and discuss its advantages and disadvantages. Numerical results for one-dimensional Burgers equation and the isentropic Euler equations and comparisons with stochastic collocation method illustrate the behavior of the proposed numerical method.
- [57] arXiv:2501.10109 [pdf, html, other]
-
Title: Generalizations of two hypergeometric sums related to conjectures of GuoComments: Submitted for publication on 16th January 2025. Comments are welcomeSubjects: Number Theory (math.NT)
In 2021, the first author and Kalita obtained two general hypergeometric formulas for sums involving certain rising factorials to prove some supercongruence conjectures of Guo related to (B.2) and (C.2). In this paper, we further generalize those formulas by using the WZ-method and the Zeilberger algorithm, respectively.
- [58] arXiv:2501.10112 [pdf, html, other]
-
Title: Word-representability of co-bipartite graphComments: arXiv admin note: text overlap with arXiv:1709.09725 by other authorsSubjects: Combinatorics (math.CO)
A graph $G = (V, E)$ is word-representable, if there exists a word $w$ over the alphabet $V$ such that for letters $\{x,y\}\in V$, $x$ and $y$ alternate in $w$ if and only if $xy \in E$. A graph is co-bipartite if its complement is a bipartite graph. Therefore, the vertex set of a co-bipartite graph can be partitioned into two disjoint cliques.
The concept of word-representability for co-bipartite graphs has not yet been fully studied. In the book Words and Graphs written by Sergey Kitaev and Vadim Lozin, examples of co-bipartite graphs that are not word-representable are provided. The authors have stated that it remains an open problem to characterize word-representable co-bipartite graphs. It is known that taking the complement of word-representable graphs does not preserve their word-representability. In this paper, we first identify certain classes of bipartite graphs for which word-representation is preserved after the complement operation. We found that the complement of the path graphs, even cycle graphs and generalized crown graphs are also word-representable. Next, we aim to find word-representable co-bipartite graphs in which the size of one clique partition is fixed while the other one can vary. We studied the word-representability of co-bipartite graphs where the sizes of one clique partition are $2$ and $3$. We found that any co-bipartite graphs where the size of the one clique partition is $2$ are word-representable. Also, when the size of the one clique partition is $3$, we found certain co-bipartite graphs are word-representable. Additionally, for word-representable graphs, it has been established that a graph is word-representable if and only if it can be oriented in a specific manner, known as semi-transitive orientation. We provide the necessary and sufficient conditions for a co-bipartite graph to have a semi-transitive orientation. - [59] arXiv:2501.10113 [pdf, other]
-
Title: 2D HQFTs and Frobenius $(\mathcal{G},\mathcal{V})$-categoriesComments: 31 pagesSubjects: Quantum Algebra (math.QA)
Homotopy Quantum Field Theories as variants of Topological Quantum Field Theories are described by functors from some cobordism category, enriched with homotopical data, to a symmetric monoidal category $\mathcal{V}$. A new notion of HQFTs is introduced using target pairs of spaces $(X,Y)$ acounting for basepoints being sent to points in $Y$. Such $(X,Y)$-HQFTs are classified in dimension 1 by dualizable representations of $\mathcal{G}:=\Pi_1(X,Y)$, the relative fundamental groupoid. For dimension 2, the notion of crossed loop Frobenius $(\mathcal{G},\mathcal{V})$-categories is introduced, generalizing crossed Frobenius $G$-algebras, where $G$ is only a group. After stating generalities of these multi-object generalizations, a classification theorem of 2-dimensional $(X,Y)$-HQFTs via crossed loop Frobenius $(\mathcal{G},\mathcal{V})$-categories is proven.
- [60] arXiv:2501.10118 [pdf, html, other]
-
Title: Quantum tomography from the evolution of a single expectationComments: 22 pages, 3 figuresSubjects: Mathematical Physics (math-ph); Quantum Physics (quant-ph)
We investigate the possibility of performing full quantum tomography based on the homogeneous time evolution of a single expectation value. For example, we find that every non-trivial binary measurement evolved by any quantum channel, except for a null set, in principle enables full quantum state tomography. While this remains true when restricted to Lindblad semigroups, we show that beyond the qubit case unitary evolution is never sufficient - so the presence of noise is essential. We prove an analog of Takens' embedding theorem for quantum channels, which extends our findings to cases where prior information is available, and we provide estimation bounds for finite statistics.
- [61] arXiv:2501.10122 [pdf, html, other]
-
Title: Integrating Mediumband with Emerging Technologies: Unified Vision for 6G and Beyond Physical LayerComments: 8 pages, 6 figures, and 2 equations. Submitted to IEEE for publicationSubjects: Information Theory (cs.IT)
In this paper, we present a vision for the physical layer of 6G and beyond, where emerging physical layer technologies integrate to drive wireless links toward mediumband operation, addressing a major challenge: deep fading, a prevalent, and perhaps the most consequential, obstacle in wireless communication link performance. By leveraging recent insights into wireless channel fundamentals and advancements in computing, multi-modal sensing, and AI, we articulate how reflecting surfaces (RS), sensing, digital twins (DTs), ray-tracing, and AI can work synergistically to lift the burden of deep fading in future wireless communication networks. This refreshingly new approach promises transformative improvements in reliability, spectral efficiency, energy efficiency, and network resilience, positioning 6G for truly superior performance.
- [62] arXiv:2501.10125 [pdf, html, other]
-
Title: The steady inviscid compressible self-similar flows and the stability analysisComments: 46 pages, 1 figureSubjects: Analysis of PDEs (math.AP)
We investigate the steady inviscid compressible self-similar flows which depends only on the polar angle in spherical coordinates. It is shown that besides the purely supersonic and subsonic self-similar flows, there exists purely sonic flows, Beltrami flows with a nonconstant proportionnality factor and smooth transonic self-similar flows with large vorticity. For a constant supersonic incoming flow past an infinitely long circular cone, a conic shock attached to the tip of the cone will form, provided the opening angle of the cone is less than a critical value. We introduce the shock polar for the radial and polar components of the velocity and show that there exists a monotonicity relation between the shock angle and the radial velocity, which seems to be new and not been observed before. If a supersonic incoming flow is self-similar with nonzero azimuthal velocity, a conic shock also form attached to the tip of the cone. The state at the downstream may change smoothly from supersonic to subsonic, thus the shock can be supersonic-supersonic, supersonic-subsonic and even supersonic-sonic where the shock front and the sonic front coincide. We further investigate the structural stability of smooth self-similar irrotational transonic flows and analyze the corresponding linear mixed type second order equation of Tricomi type. By exploring some key properties of the self-similar solutions, we find a multiplier and identify a class of admissible boundary conditions for the linearized mixed type second-order equation. We also prove the existence and uniqueness of a class of smooth transonic flows with nonzero vorticity which depends only on the polar and azimuthal angles in spherical coordinates.
- [63] arXiv:2501.10133 [pdf, html, other]
-
Title: A priori estimates of Mizohata-Takeuchi type for the Navier-Lam\'e operatorComments: 37 pagesSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
The Mizohata-Takeuchi conjecture for the resolvent of the Navier-Lamé equation is a weighted estimate with weights in the so-called Mizohata-Takeuchi class for this operator when one approaches the spectrum (Limiting Absorption Principles). We prove this conjecture in dimensions 2 and 3 for weights with a radial majorant in the Mizohata-Takeuchi class. This result can be seen as an extension of the analogue for the Laplacian given in [8]. We also prove that radial weights in this class are not invariant for the Hardy-Littlewood maximal function, hence the methods in [6] used to extend estimates for the Laplacian to the Navier-Lamé case, do not work.
- [64] arXiv:2501.10135 [pdf, html, other]
-
Title: A note on schematic validity and completeness in Prawitz's semanticsSubjects: Logic (math.LO)
I discuss two approaches to monotonic proof-theoretic semantics. In the first one, which I call SVA, consequence is understood in terms of existence of valid arguments. The latter involve the notions of argument structure and justification for arbitrary non-introduction rules. In the second approach, which I call Base Semantics, structures and justifications are left aside, and consequence is defined outright over background atomic theories. Many (in)completeness results have been proved relative to Base Semantics, the question being whether these can be extended to SVA. By limiting myself to a framework with classical meta-logic, I prove correctness of classical logic on Base Semantics, and show that this result adapts to SVA when justifications are allowed to be choice-functions over atomic theories or unrestricted reduction systems of argument structures. I also point out that, however, if justifications are required to be more schematic, correctness of classical logic over SVA may fail, even with classical logic in the meta-language. This seems to reveal that the way justifications are understood may be a distinguishing feature of different accounts of proof-theoretic validity.
- [65] arXiv:2501.10140 [pdf, html, other]
-
Title: p-Strong Roman Domination in GraphsSubjects: Combinatorics (math.CO)
Domination in graphs is a widely studied field, where many different definitions have been introduced in the last years to respond to different network requirements. This paper presents a new dominating parameter based on the well-known strong Roman domination model. Given a positive integer $p$, we call a $p$-strong Roman domination function ($p$-StRDF) in a graph $G$ to a function $f:V(G)\rightarrow \{0,1,2, \ldots , \left\lceil \frac{\Delta+p}{p} \right\rceil \}$ having the property that if $f(v)=0$, then there is a vertex $u\in N(v)$ such that $f(u) \ge 1+ \left\lceil \frac{ |B_0\cap N(u)|}{p} \right\rceil $, where $B_0$ is the set of vertices with label $0$. The $p$-strong Roman domination number $\gamma_{StR}^p(G)$ is the minimum weight (sum of labels) of a $p$-StRDF on $G$. We study the NP-completeness of the \emph{$p$-StRD}-problem, we also provide general and tight upper and lower bounds depending on several classical invariants of the graph and, finally, we determine the exact values for some families of graphs.
- [66] arXiv:2501.10162 [pdf, html, other]
-
Title: Convex Physics Informed Neural Networks for the Monge-Amp\`ere Optimal Transport ProblemComments: 17 pages, 14 figures. Submitted to Engineering Computations on 26 September 2024Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
Optimal transportation of raw material from suppliers to customers is an issue arising in logistics that is addressed here with a continuous model relying on optimal transport theory. A physics informed neuralnetwork method is advocated here for the solution of the corresponding generalized Monge-Amp`ere equation. Convex neural networks are advocated to enforce the convexity of the solution to the Monge-Ampère equation and obtain a suitable approximation of the optimal transport map. A particular focus is set on the enforcement of transport boundary conditions in the loss function. Numerical experiments illustrate the solution to the optimal transport problem in several configurations, and sensitivity analyses are performed.
- [67] arXiv:2501.10164 [pdf, other]
-
Title: A $p$-adic de Rham complexComments: 22 pages. Comments are welcomeSubjects: Algebraic Topology (math.AT)
This is the second in a sequence of three articles exploring the relationship between commutative algebras and $E_\infty$-algebras in characteristic $p$ and mixed characteristic. Given a topological space $X,$ we construct, in a manner analogous to Sullivan's $A_{PL}$-functor, a strictly commutative algebra over $\padic$ which we call the de Rham forms on $X$. We show this complex computes the singular cohomology ring of $X$. We prove that it is quasi-isomorphic as an $E_\infty$-algebra to the Berthelot-Ogus-Deligne \emph{décalage} of the singular cochains complex with respect to the $p$-adic filtration. We show that one can extract concrete invariants from our model, including Massey products which live in the torsion part of the cohomology. We show that if $X$ is formal then, except at possibly finitely many primes, the $p$-adic de Rham forms on $X$ are also formal. We conclude by showing that the $p$-adic de Rham forms provide, in a certain sense, the "best functorial strictly commutative approximation" to the singular cochains complex.
- [68] arXiv:2501.10169 [pdf, html, other]
-
Title: Rates of memory loss for null recurrent Markov chainsSubjects: Probability (math.PR); Dynamical Systems (math.DS)
Orey (1962) proved that for an irreducible, aperiodic, and recurrent Markov chain with transition operator $P$, the sequence $P^n (\mu - \nu)$ converges to zero in total variation for any two probability measures $\mu$ and $\nu$. In other words, all such Markov chains exhibit memory loss. While the rates of memory loss have been extensively studied for positive recurrent chains, there is a surprising lack of results for null recurrent chains. In this work, we prove the first estimates of memory loss rates in the null recurrent case.
- [69] arXiv:2501.10170 [pdf, html, other]
-
Title: AdagradLSPIA: Integrating adaptive optimization into least squares progressive iterative approximationSubjects: Numerical Analysis (math.NA)
This paper introduces the Adaptive Gradient Least Squares Progressive iterative Approximation (AdagradLSPIA), an accelerated version of the Least Squares Progressive Iterative Approximation (LSPIA) method, enhanced with adaptive optimization techniques inspired by the adaptive gradient (Adagrad) algorithm. By dynamically adjusting weights using historical gradient information, AdagradLSPIA achieves faster convergence compared to the standard LSPIA method. The method's effectiveness is demonstrated through tensor product B-spline surface fitting, where it consistently outperforms LSPIA in terms of accuracy, computational efficiency, and robustness to variations in global weight selection. Theoretical analysis confirms its convergence guarantees, and experimental results highlight its suitability for complex surface fitting tasks in geometric modeling and reverse engineering.
- [70] arXiv:2501.10173 [pdf, html, other]
-
Title: Optimal Restart Strategies for Parameter-dependent Optimization AlgorithmsSubjects: Optimization and Control (math.OC); Neural and Evolutionary Computing (cs.NE)
This paper examines restart strategies for algorithms whose successful termination depends on an unknown parameter $\lambda$. After each restart, $\lambda$ is increased, until the algorithm terminates successfully. It is assumed that there is a unique, unknown, optimal value for $\lambda$. For the algorithm to run successfully, this value must be reached or surpassed. The key question is whether there exists an optimal strategy for selecting $\lambda$ after each restart taking into account that the computational costs (runtime) increases with $\lambda$. In this work, potential restart strategies are classified into parameter-dependent strategy types. A loss function is introduced to quantify the wasted computational cost relative to the optimal strategy. A crucial requirement for any efficient restart strategy is that its loss, relative to the optimal $\lambda$, remains bounded. To this end, upper and lower bounds of the loss are derived. Using these bounds it will be shown that not all strategy types are bounded. However, for a particular strategy type, where $\lambda$ is increased multiplicatively by a constant factor $\lambda$, the relative loss function is bounded. Furthermore, it will be demonstrated that within this strategy type, there exists an optimal value for $\lambda$ that minimizes the maximum relative loss. In the asymptotic limit, this optimal choice of $\lambda$ does not depend on the unknown optimal $\lambda$.
- [71] arXiv:2501.10176 [pdf, html, other]
-
Title: Quantum simulation of a class of highly-oscillatory transport equations via Schr\"odingerisationSubjects: Numerical Analysis (math.NA)
In this paper, we present quantum algorithms for a class of highly-oscillatory transport equations, which arise in semiclassical computation of surface hopping problems and other related non-adiabatic quantum dynamics, based on the Born-Oppenheimer approximation. Our method relies on the classical nonlinear geometric optics method, and the recently developed Schrödingerisation approach for quantum simulation of partial differential equations. The Schrödingerisation technique can transform any linear ordinary and partial differential equations into Hamiltonian systems evolving under unitary dynamics, via a warped phase transformation that maps these equations to one higher dimension. We study possible paths for better recoveries of the solution to the original problem by shifting the bad eigenvalues in the Schrödingerized system. Our method ensures the uniform error estimates independent of the wave length, thus allowing numerical accuracy, in maximum norm, even without numerically resolving the physical oscillations. Various numerical experiments are performed to demonstrate the validity of this approach.
- [72] arXiv:2501.10192 [pdf, html, other]
-
Title: Lefschetz Defect in FamiliesComments: 15 pagesSubjects: Algebraic Geometry (math.AG)
We provide a cohomological characterization of the Lefschetz defect of smooth complex projective varieties. As a consequence, we deduce that the Lefschetz defect of a smooth Fano variety is invariant under smooth deformation. We also characterize the Lefschetz defect of an abelian variety in terms of its isogeny factors, and study it in families.
- [73] arXiv:2501.10193 [pdf, html, other]
-
Title: Surrogate-based multiscale analysis of experiments on thermoplastic composites under off-axis loadingComments: 21 pages. 31 figuresSubjects: Numerical Analysis (math.NA); Materials Science (cond-mat.mtrl-sci); Machine Learning (cs.LG)
In this paper, we present a surrogate-based multiscale approach to model constant strain-rate and creep experiments on unidirectional thermoplastic composites under off-axis loading. In previous contributions, these experiments were modeled through a single-scale micromechanical simulation under the assumption of macroscopic homogeneity. Although efficient and accurate in many scenarios, simulations with low-off axis angles showed significant discrepancies with the experiments. It was hypothesized that the mismatch was caused by macroscopic inhomogeneity, which would require a multiscale approach to capture it. However, full-field multiscale simulations remain computationally prohibitive. To address this issue, we replace the micromodel with a Physically Recurrent Neural Network (PRNN), a surrogate model that combines data-driven components with embedded constitutive models to capture history-dependent behavior naturally. The explainability of the latent space of this network is also explored in a transfer learning strategy that requires no re-training. With the surrogate-based simulations, we confirm the hypothesis raised on the inhomogeneity of the macroscopic strain field and gain insights into the influence of adjustment of the experimental setup with oblique end-tabs. Results from the surrogate-based multiscale approach show better agreement with experiments than the single-scale micromechanical approach over a wide range of settings, although with limited accuracy on the creep experiments, where macroscopic test effects were implicitly taken into account in the material properties calibration.
- [74] arXiv:2501.10203 [pdf, html, other]
-
Title: The Erd\H{o}s--Moser sum-free set problem via improved bounds for $k$-configurationsComments: 23 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
A $k$-configuration is a collection of $k$ distinct integers $x_1,\ldots,x_k$ together with their pairwise arithmetic means $\frac{x_i+x_j}{2}$ for $1 \leq i < j \leq k$. Building on recent work of Filmus, Hatami, Hosseini and Kelman on binary systems of linear forms and of Kelley and Meka on Roth's theorem on arithmetic progressions, we show that, for $N \geq \exp((k\log(2/\alpha))^{O(1)})$, any subset $A \subseteq [N]$ of density at least $\alpha$ contains a $k$-configuration. This improves on the previously best known bound $N \geq \exp((2/\alpha)^{O(k^2)})$, due to Shao. As a consequence, it follows that any finite non-empty set $A \subseteq \mathbb{Z}$ contains a subset $B \subseteq A$ of size at least $(\log|A|)^{1+\Omega(1)}$ such that $b_1+b_2 \not\in A$ for any distinct $b_1,b_2 \in B$. This provides a new proof of a lower bound for the Erdős--Moser sum-free set problem of the same shape as the best known bound, established by Sanders.
- [75] arXiv:2501.10204 [pdf, html, other]
-
Title: Model Categories and the Higher Riemann-Hilbert CorrespondenceComments: 43 pagesSubjects: Algebraic Topology (math.AT); Category Theory (math.CT)
We construct a new model structure on the category of dg presheaves over a topological space $X$, obtained through the right Bousfield localization of the local projective model structure. The motivation for this construction arises from the study of the homotopy theory underlying higher Riemann-Hilbert correspondence theorems, as developed by Chuang, Holstein, and Lazarev.
Let $X$ be a smooth manifold. We prove the existence of a zig-zag of Quillen equivalences between the category of dg modules over the de Rham algebra and the category of dg presheaves of vector spaces over $X$. In the case where $X$ is a complex manifold, we obtain an analogous result, where the de Rham algebra is replaced by the Dolbeault algebra. In both settings, we equip the categories of modules with model structures of the second kind, whose homotopy categories are, in general, finer invariants than those given by quasi-isomorphisms.
Finally, we introduce a singular analogue of this equivalence, stating it as a zig-zag of Quillen equivalences between the category of dg contramodules over the singular cochain algebra $C^{*}(X)$ and dg presheaves. At the level of homotopy categories, this establishes an equivalence between the contraderived category of $C^{*}(X)$-contramodules and the homotopy category of dg presheaves. - [76] arXiv:2501.10205 [pdf, html, other]
-
Title: The stability for F-Yang-Mills functional on CP^nSubjects: Differential Geometry (math.DG)
In this paper, we study the critical points of $F$-Yang-Mills functional on $\mathbb{C}P^n$, which are called $F$-Yang-Mills connections. We prove that if $(2+\frac4n)F''(x)x+(n+1)F'(x)<0$, then the weakly stable $F$-Yang-Mills connection on $\mathbb{C}P^n$ must be flat. Moreover, if $(2+\frac4n)F''(x)x+(n+1)F'(x)=0$, we obtain the structure of curvatures corresponding to weakly stable connections. We also show a gap theorem for $F$-Yang-Mills connections on $\mathbb{C}P^n$.
- [77] arXiv:2501.10206 [pdf, html, other]
-
Title: Mosaic-skeleton approximation is all you need for Smoluchowski equationsComments: 17 pages, 4 figures, 4 tablesSubjects: Numerical Analysis (math.NA); Statistical Mechanics (cond-mat.stat-mech)
In this work we demonstrate a surprising way of exploitation of the mosaic--skeleton approximations for efficient numerical solving of aggregation equations with many applied kinetic kernels. The complexity of the evaluation of the right-hand side with $M$ nonlinear differential equations basing on the use of the mosaic-skeleton approximations is $\mathcal{O}(M \log^2 M)$ operations instead of $\mathcal{O}(M^2)$ for the straightforward computation. The class of kernels allowing to make fast and accurate computations via our approach is wider than analogous set of kinetic coefficients for effective calculations with previously developed algorithms. This class covers the aggregation problems arising in modelling of sedimentation, supersonic effects, turbulent flows, etc. We show that our approach makes it possible to study the systems with $M=2^{20}$ nonlinear equations within a modest computing time.
- [78] arXiv:2501.10208 [pdf, html, other]
-
Title: Vector-Valued Gaussian Processes and their Kernels on a Class of Metric GraphsSubjects: Statistics Theory (math.ST)
Despite the increasing importance of stochastic processes on linear networks and graphs, current literature on multivariate (vector-valued) Gaussian random fields on metric graphs is elusive. This paper challenges several aspects related to the construction of proper matrix-valued kernels structures. We start by considering matrix-valued metrics that can be composed with scalar- or matrix-valued functions to implement valid kernels associated with vector-valued Gaussian fields. We then provide conditions for certain classes of matrix-valued functions to be composed with the univariate resistance metric and ensure positive semidefiniteness. Special attention is then devoted to Euclidean trees, where a substantial effort is required given the absence of literature related to multivariate kernels depending on the $\ell_1$ metric. Hence, we provide a foundational contribution to certain classes of matrix-valued positive semidefinite functions depending on the $\ell_1$ metric. This fact is then used to characterise kernels on Euclidean trees with a finite number of leaves. Amongst those, we provide classes of matrix-valued covariance functions that are compactly supported.
- [79] arXiv:2501.10218 [pdf, html, other]
-
Title: Maximal NIC-plane graphsSubjects: Combinatorics (math.CO)
A graph is called {\it NIC-planar} if it admits a drawing in the plane such that each edge is crossed at most once and two pairs of crossing edges share at most one vertex. A graph together with a NIC-planar drawing is a {\it NIC-plane graph}. A NIC-plane graph is maximal if no new edge can be added so that the resulting graph is still NIC-plane. In this paper, we show that any maximal NIC-plane graph of order $n$ and minimum degree at least $3$ has at least $\frac{7}{3}n-\frac{10}{3}$ edges, and any maximal NIC-plane graph of order $n$ has at least $\frac{11}{5}n-\frac{18}{5}$ edges. Moreover, both lower bounds are tight for infinitely many positive integers $n$.
- [80] arXiv:2501.10220 [pdf, html, other]
-
Title: Murmurations and Sato-Tate Conjecture for High Rank Zetas of Elliptic Curves II: Beyond Riemann HypothesisComments: 14 pages, 4 figuresSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
As a continuation of our earlier paper, in this one, we offer a new approach to murmurations and Sato-Tate laws for higher rank zetas of elliptic curves. Our approach here does not depend on the Riemann hypothesis for the so-called a-invariant in rank n>2 even for the Sato-Tate law, rather, on a much refined structure. Such a refined structure was already observed by Zagier and the senior author when the rank n Riemann hypothesis was established. Namely, instead of the rank n Riemann hypothesis bounds is based, we use much stronger asymptotic bounds instead. Nevertheless, rank n Sato-Tate law can be established and rank n murmuration can be formulated equally well, similar to the corresponding structures in the abelian framework for Artin zetas of elliptic curves.
- [81] arXiv:2501.10225 [pdf, html, other]
-
Title: On Explicit Estimations for the Bloch Eigenvalues of the One-dimensional Schr\"odinger Operator and the Kronig-Penney ModelSubjects: Spectral Theory (math.SP); Mathematical Physics (math-ph)
In this paper, we consider the small and large eigenvalues of the one-dimensional Schrödinger operator L(q) with a periodic, real and locally integrable potential q. First we explicitly write out the first and second terms of the asymptotic formulas for the large periodic and antiperiodic eigenvalues and illustrate these formulas for the Kronig-Penney model. Then we give estimates for the small periodic and antiperiodic eigenvalues and for the length of the first gaps in the case of the Kronig-Penney model. Moreover, we give error estimations and present a numerical example.
- [82] arXiv:2501.10226 [pdf, html, other]
-
Title: Zeros and Critical Points of Gaussian Fields: Cumulants Asymptotics and Limit TheoremsComments: 51 pages. arXiv admin note: text overlap with arXiv:2112.08247Subjects: Probability (math.PR)
Let $f:\mathbb{R}^d \to \mathbb{R}^k$ be a smooth centered stationary Gaussian field and $K \subset \mathbb{R}^d$ be a compact set. In this paper, we determine the asymptotics as $n \to \infty$ of all the cumulants of the $(d-k)$-dimensional volume of $f^{-1}(0) \cap nK$. When $k=1$, we obtain similar asymptotics for the number of critical points of $f$ in $nK$. Our main hypotheses are some regularity and non-degeneracy of the field, as well as mild integrability conditions on the first derivatives of its covariance kernel. As corollaries of these cumulants estimates, we deduce a strong Law of Large Numbers and a Central Limit Theorem for the nodal volume (resp.~the number of critical points) of a smooth non-degenerate field whose covariance kernel admits square integrable derivatives at any order. Our results hold more generally for a one-parameter family $(f_n)$ of Gaussian fields admitting a stationary local scaling limit as $n \to \infty$, for example Kostlan polynomials in the large degree limit.
- [83] arXiv:2501.10238 [pdf, html, other]
-
Title: Stationary solutions with vacuum for a hyperbolic-parabolic chemotaxis model in dimension twoSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
In this research, we study the existence of stationary solutions with vacuum to a hyperbolic-parabolic chemotaxis model with nonlinear pressure in dimension two that describes vasculogenesis. We seek solutions in the radial symmetric class of the whole space, in which the system will be reduced to a system of ODE's on $(0,\infty)$. The fundamental solutions to the ODE system are the Bessel functions of different types. We find two nontrivial solutions. One is formed by half bump (positive density region) starting at $r=0$ and a region of vacuum on the right. Another one is a full nonsymmetric bump away from $r=0$. These solutions bear certain resemblance to in vitro vascular network and the numerically produced structure by Gamba et al arXiv:cond-mat/0303468v1. We also show the nonexistence of full bump starting at $r=0$ and nonexistence of full symmetric bump away from $r=0$.
- [84] arXiv:2501.10239 [pdf, html, other]
-
Title: On finiteness of fiber space structures of klt Calabi-Yau pairs in dimension 3Comments: 37 pagesSubjects: Algebraic Geometry (math.AG)
We prove that for a fixed klt Calabi-Yau pair $(X,\Delta)$ of dimension $3$, the set of fiber space structures of $X$ is finite up to $Aut(X,\Delta)$.
- [85] arXiv:2501.10241 [pdf, other]
-
Title: Higher local systems, $n$-affineness and Koszul dualityComments: Comments welcomeSubjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG); Category Theory (math.CT); K-Theory and Homology (math.KT)
In this paper we study local systems of $(\infty,n)$-categories on spaces. We prove that categorical local systems are captured by (higher) monodromy data. We show that if $X$ is $(n+1)$-connected, local systems of $(\infty,n)$-categories over $X$ can be described as $\mathbb{E}_{n}$-modules over the iterated loop space $\Omega^{n+1}_*X$. Our main result is a general statement of $\mathbb{E}_n$-Koszul duality for pairs of $\mathbb{E}_n$-algebras of the form $\mathrm{C}_{\bullet}(\Omega^{n}_*X;\Bbbk) \leftrightarrow \mathrm{C}^{\bullet}(X;\Bbbk)$ when $X$ satisfies suitable connectedness and finiteness assumptions. This takes the shape of an equivalence of $(\infty,n)$-categories $n\mathbf{ShvCat}^{n-1}(\mathrm{cSpec}(\mathrm{C}^{\bullet}(X;\Bbbk))) \simeq n\mathbf{LocSysCat}^{n-1}(X;\Bbbk)$, where $\mathrm{cSpec}(\mathrm{C}^{\bullet}(X;\Bbbk))$ is the cospectrum of the algebra of singular cochains, and $n\mathbf{ShvCat}^{n-1}$ is the $(\infty,n)$-category of quasi-coherent sheaves of $(\infty,n-1)$-categories. Our result is new already in the classical case $n=1$, although it can be seen to recover well known formulations of $\mathbb{E}_1$-Koszul duality as a Morita equivalence of module categories (up to appropriate completions of the $t$-structures).
- [86] arXiv:2501.10248 [pdf, html, other]
-
Title: The worst-case root-convergence factor of GMRES(1)Comments: 21 pages, 4 figuresSubjects: Numerical Analysis (math.NA)
In this work, we analyze the asymptotic convergence factor of minimal residual iteration (MRI) (or GMRES(1)) for solving linear systems $Ax=b$ based on vector-dependent nonlinear eigenvalue problems. The worst-case root-convergence factor is derived for linear systems with $A$ being symmetric or $I-A$ being skew-symmetric. When $A$ is symmetric, the asymptotic convergence factor highly depends on the initial guess. While $M=I-A$ is skew-symmetric, GMRES(1) converges unconditionally and the worst-case root-convergence factor relies solely on the spectral radius of $M$. We also derive the q-linear convergence factor, which is the same as the worst-case root-convergence factor. Numerical experiments are presented to validate our theoretical results.
- [87] arXiv:2501.10251 [pdf, html, other]
-
Title: The Distributed Multi-User Point FunctionSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
In this paper, we study the problem of information-theoretic distributed multi-user point function, involving a trusted master node, $N \in \mathbb{N}$ server nodes, and $K\in \mathbb{N}$ users, where each user has access to the contents of a subset of the storages of server nodes. Each user is associated with an independent point function $f_{X_k,Z_k}: \{1,2,\hdots,T\} \rightarrow{GF(q^{m R_k})},T,mR_k \in \mathbb{N}$. Using these point functions, the trusted master node encodes and places functional shares $G_1,G_2,\hdots,G_N \in GF(q^{M}), M \in \mathbb{N}$ in the storage nodes such that each user can correctly recover its point function result from the response transmitted to itself and gains no information about the point functions of any other user, even with knowledge of all responses transmitted from its connected servers. For the first time, we propose a multi-user scheme that satisfies the correctness and information-theoretic privacy constraints, ensuring recovery for all point functions. We also characterize the inner and outer bounds on the capacity -- the maximum achievable rate defined as the size of the range of each point function $mR_k$ relative to the storage size of the servers $M$ -- of the distributed multi-user point function scheme by presenting a novel converse argument.
- [88] arXiv:2501.10253 [pdf, html, other]
-
Title: Cohomogeneity two Bazaikin spacesComments: Comments welcome!Subjects: Differential Geometry (math.DG)
We study the sectional curvature of all of the cohomogeneity two Bazaikin spaces with respect to a Riemannian metric construction due to Wilking. We show that, in contrast to the cohomogeneity one and homogeneous case, for all of the cohomogeneity two examples, the set of points with strictly positive curvature does not have full measure.
- [89] arXiv:2501.10258 [pdf, other]
-
Title: DADA: Dual Averaging with Distance AdaptationSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
We present a novel universal gradient method for solving convex optimization problems. Our algorithm -- Dual Averaging with Distance Adaptation (DADA) -- is based on the classical scheme of dual averaging and dynamically adjusts its coefficients based on observed gradients and the distance between iterates and the starting point, eliminating the need for problem-specific parameters. DADA is a universal algorithm that simultaneously works for a broad spectrum of problem classes, provided the local growth of the objective function around its minimizer can be bounded. Particular examples of such problem classes are nonsmooth Lipschitz functions, Lipschitz-smooth functions, Hölder-smooth functions, functions with high-order Lipschitz derivative, quasi-self-concordant functions, and $(L_0,L_1)$-smooth functions. Crucially, DADA is applicable to both unconstrained and constrained problems, even when the domain is unbounded, without requiring prior knowledge of the number of iterations or desired accuracy.
- [90] arXiv:2501.10259 [pdf, html, other]
-
Title: On epiC groups over language class CComments: 21 pages, 0 figuresSubjects: Group Theory (math.GR)
We introduce a new framework linking group theory and formal language theory which generalizes a number of ways these topics have been linked in the past. For a language class C in the Chomsky hierarchy, we say a group is epiC if it admits a language $L$ over a finite (monoidal) generating set $X \subseteq G$ in the class C such that the image of L under the evaluation map is $G \setminus \{1_G\}$. We provide some examples of epiC groups and prove that the property of being epiC is not dependent on the generating set chosen. We also prove that epiC groups are closed under passage to finite index overgroups, taking extensions, and taking graph products of finitely many groups. Furthermore, we prove that epiRegular groups are closed under passage to finite index subgroups. Finally, we provide a characterization of the property of having solvable word problem within the framework of epiC groups.
- [91] arXiv:2501.10267 [pdf, other]
-
Title: Enumeration of partitions via socle reductionComments: 48 pages. Ancillary files. Comments welcomeSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
We study the enumeration problem of higher dimensional partitions, a natural generalisation of classical integer partitions. We show that their counting problem is equivalent to the enumeration of simpler classes of higher dimensional partitions, satisfying suitable constraints on their embedding dimension and socle type. We provide exact formulas for the generating functions of several infinite families of such partitions, and design a procedure enumerating them in the general case. As a proof of concept, we determine the number of partitions of size up to 30 in any dimension.
- [92] arXiv:2501.10268 [pdf, html, other]
-
Title: Fixed Confidence and Fixed Tolerance Bi-level Optimization for Selecting the Best Optimized SystemSubjects: Optimization and Control (math.OC); Methodology (stat.ME)
In this paper, we study a fixed-confidence, fixed-tolerance formulation of a class of stochastic bi-level optimization problems, where the upper-level problem selects from a finite set of systems based on a performance metric, and the lower-level problem optimizes continuous decision variables for each system. Notably, the objective functions for the upper and lower levels can differ. This class of problems has a wide range of applications, including model selection, ranking and selection under input uncertainty, and optimal design. To address this, we propose a multi-stage Pruning-Optimization framework that alternates between comparing the performance of different systems (Pruning) and optimizing systems (Optimization). % In the Pruning stage, we design a sequential algorithm that identifies and eliminates inferior systems through systematic performance evaluations. In the Optimization stage, the goal is to solve for a near-optimal solution that meets specified confidence and tolerance requirements. This multi-stage framework is designed to enhance computational efficiency by pruning inferior systems with high tolerance early on, thereby avoiding unnecessary computational efforts. We demonstrate the effectiveness of the proposed algorithm through both theoretical analysis of statistical validity and sample complexity and numerical experiments.
- [93] arXiv:2501.10294 [pdf, html, other]
-
Title: On the number of cofinalities of cuts in ultraproducts of linear ordersComments: Not intended for publicationSubjects: Logic (math.LO)
Suppose $\kappa$ is a regular cardinal and $\bar a=\langle \mu_i: i<\kappa \rangle$ is a non-decreasing sequence of regular cardinals. We study the set of possible cofinalities of cuts Pcut$(\bar a)=\{(\lambda_1, \lambda_2):$ for some ultrafilter $D$ on $\kappa$, $(\lambda_1, \lambda_2)$ is the cofinality of a cut of $\prod\limits_{i<\kappa} \mu_i / D \}$.
- [94] arXiv:2501.10302 [pdf, html, other]
-
Title: Martingale Approach to Gambler's Ruin Problem for Correlated Random WalksSubjects: Probability (math.PR); Statistics Theory (math.ST)
The gambler's ruin problem for correlated random walks, both with and without delays, is addressed by Optional Stopping Theorem for martingales.
- [95] arXiv:2501.10306 [pdf, html, other]
-
Title: Micro-Macro Decomposition of Particle Swarm Optimization MethodsSubjects: Optimization and Control (math.OC)
Solving non-convex minimization problems using multi-particle metaheuristic derivative-free optimization methods is still active area of research. Popular methods are Particle Swarm Optimization (PSO) methods, that iteratively update a population of particles according to dynamics inspired by social interactions between individuals. We present a modification to include constrained minimization problems using exact penalization. Additionally, we utilize the hierarchical structure of PSO to introduce a micro-macro decomposition of the algorithm. The probability density of particles is written as a convex combination of microscopic and macroscopic contributions, and both parts are propagated separately. The decomposition is dynamically updated based on heuristic considerations. Numerical examples compare the results obtained using the algorithm in the microscopic scale, in the macroscopic scale, and, using the new micro-macro decomposition.
- [96] arXiv:2501.10309 [pdf, html, other]
-
Title: Entropic versions of Bergstr\"om's and Bonnesen's inequalitiesComments: 12 pages, no figuresSubjects: Information Theory (cs.IT); Functional Analysis (math.FA)
We establish analogues of the Bergström and Bonnesen inequalities, related to determinants and volumes respectively, for the entropy power and for the Fisher information. The obtained inequalities strengthen the well-known convolution inequality for the Fisher information as well as the entropy power inequality in dimensions $d>1$, while they reduce to the former in $d=1$. Our results recover the original Bergström inequality and generalize a proof of Bergström's inequality given by Dembo, Cover and Thomas. We characterize the equality case in our entropic Bonnesen inequality.
- [97] arXiv:2501.10310 [pdf, html, other]
-
Title: The $q$-Racah polynomials from scalar products of Bethe states IIComments: 26ppSubjects: Mathematical Physics (math-ph); Quantum Algebra (math.QA); Representation Theory (math.RT)
The theory of Leonard triples is applied to the derivation of normalized scalar products of on-shell and off-shell Bethe states generated from a Leonard pair. The scalar products take the form of linear combinations of $q$-Racah polynomials with coefficients depending on the off-shell parameters. Upon specializations, explicit solutions for the corresponding Belliard-Slavnov linear systems are obtained. It implies the existence of a determinant formula in terms of inhomogeneous Bethe roots for the $q$-Racah polynomials. Also, a set of relations that determines solutions (Bethe roots) of the corresponding Bethe equations of inhomogeneous type in terms of solutions of Bethe equations of homogenous type is obtained.
- [98] arXiv:2501.10311 [pdf, html, other]
-
Title: The Pop-Stack Operator on Ornamentation LatticesComments: 16 pages, 8 figuresSubjects: Combinatorics (math.CO)
Each rooted plane tree $\mathsf{T}$ has an associated ornamentation lattice $\mathcal{O}(\mathsf{T})$. The ornamentation lattice of an $n$-element chain is the $n$-th Tamari lattice. We study the pop-stack operator $\mathsf{Pop}\colon\mathcal{O}(\mathsf{T})\to\mathcal{O}(\mathsf{T})$, which sends each element $\delta$ to the meet of the elements covered by or equal to $\delta$. We compute the maximum size of a forward orbit of $\mathsf{Pop}$ on $\mathcal{O}(\mathsf{T})$, generalizing a result of Defant for Tamari lattices. We also characterize the image of $\mathsf{Pop}$ on $\mathcal{O}(\mathsf{T})$, generalizing a result of Hong for Tamari lattices. For each integer $k\geq 0$, we provide necessary conditions for an element of $\mathcal{O}(\mathsf{T})$ to be in the image of $\mathsf{Pop}^k$. This allows us to completely characterize the image of $\mathsf{Pop}^k$ on a Tamari lattice.
- [99] arXiv:2501.10327 [pdf, html, other]
-
Title: Klingen Eisenstein series congruences and modularitySubjects: Number Theory (math.NT)
We construct a mod $\ell$ congruence between a Klingen Eisenstein series (associated to a classical newform $\phi$ of weight $k$) and a Siegel cusp form $f$ with irreducible Galois representation. We use this congruence to show non-vanishing of the Bloch-Kato Selmer group $H^1_f(\mathbf{Q}, \textrm{ad}^0\rho_{\phi}(2-k)\otimes \mathbf{Q}_{\ell}/\mathbf{Z}_{\ell})$ under certain assumptions and provide an example. We then prove an $R=dvr$ theorem for the Fontaine-Laffaille universal deformation ring of $\overline{\rho}_f$ under some assumptions, in particular, that the residual Selmer group $H^1_f(\mathbf{Q}, \textrm{ad}^0\overline{\rho}_{\phi}(k-2))$ is cyclic. For this we prove a result about extensions of Fontaine-Laffaille modules. We end by formulating conditions for when $H^1_f(\mathbf{Q}, \textrm{ad}^0\overline{\rho}_{\phi}(k-2))$ is non-cyclic and the Eisenstein ideal is non-principal.
- [100] arXiv:2501.10329 [pdf, html, other]
-
Title: Strong law of large numbers for a branching random walk among Bernoulli trapsComments: 34 pages, 2 figuresSubjects: Probability (math.PR)
We study a $d$-dimensional branching random walk (BRW) in an i.i.d. random environment on $\mathbb{Z}^d$ in discrete time. A Bernoulli trap field is attached to $\mathbb{Z}^d$, where each site, independently of the others, is a trap with a fixed probability. The interaction between the BRW and the trap field is given by the hard killing rule. Given a realization of the environment, over each time step, each particle first moves according to a simple symmetric random walk to a nearest neighbor, and immediately afterwards, splits into two particles if the new site is not a trap or is killed instantly if the new site is a trap. Conditional on the ultimate survival of the BRW, we prove a strong law of large numbers for the total mass of the process. Our result is quenched, that is, it holds in almost every environment in which the starting point of the BRW is inside the infinite connected component of trap-free sites.
- [101] arXiv:2501.10331 [pdf, html, other]
-
Title: Almost global existence for the stochastic Navier-Stokes equations with small $H^{1/2}$ dataSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
We address the global existence of solutions to the stochastic Navier-Stokes equations with multiplicative noise and with initial data in $H^{1/2}(\mathbb{T}^{3})$. We prove that the solution exists globally in time with probability arbitrarily close to~$1$ if the initial data and noise are sufficiently small. If the noise is not assumed to be small, then the solution is global on a sufficiently small deterministic time interval with probability arbitrarily close to~$1$.
- [102] arXiv:2501.10333 [pdf, html, other]
-
Title: Resolution of Erd\H{o}s' problems about unimodularityComments: 5 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO); Probability (math.PR)
Letting $\delta_1(n,m)$ be the density of the set of integers with exactly one divisor in $(n,m)$, Erdős wondered if $\delta_1(n,m)$ is unimodular for fixed $n$.
We prove this is false in general, as the sequence $(\delta_1(n,m))$ has superpolynomially many local extrema. However, we confirm unimodality in the single case for which it occurs; $n = 1$.
We also solve the question on unimodality of the density of integers whose $k^{th}$ prime is $p$. - [103] arXiv:2501.10341 [pdf, html, other]
-
Title: Threshold dynamics approximation schemes for anisotropic mean curvature flows with a forcing termComments: 31 pagesSubjects: Analysis of PDEs (math.AP)
We establish the convergence of threshold dynamics-type approximation schemes to propagating fronts evolving according to an anisotropic mean curvature motion in the presence of a forcing term depending on both time and position, thus generalizing the consistency result obtained in [Ishii-Pires-Souganidis, 1999] by extending the results obtained in [Caffarelli-Souganidis, 2010] for $\alpha \in [1,2)$ to anisotropic kernels and in the presence of a driving force. The limit geometric evolution is of a variational type and can be approximated, at a large scale, by eikonal-type equations modeling dislocations dynamics. We prove that it preserves convexity under suitable convexity assumptions on the forcing term and that convex evolutions of compact sets are unique. If the initial set is bounded and sufficiently large, and the driving force is constant, then the corresponding generalized front propagation is asymptotically similar to the Wulff shape.
- [104] arXiv:2501.10346 [pdf, html, other]
-
Title: Normal forms and geometric structures on Hopf manifoldsComments: 10 pagesSubjects: Complex Variables (math.CV)
We prove that Hopf manifolds admit holomorphic $(G,X)$-structures, extending to any dimension a result of McKay and Pokrovskiy. For this, we revisit Guysinsky-Katok's group of invertible sub-resonant polynomials, and Bertheloot's approach of Poincaré-Dulac normal form theory.
- [105] arXiv:2501.10358 [pdf, other]
-
Title: Convergent Sixth-order Compact Finite Difference Method for Variable-Coefficient Elliptic PDEs in Curved DomainsComments: I do not recommend to go over the details on first reading as they may be difficult or time-consuming to verifySubjects: Numerical Analysis (math.NA)
Finite difference methods (FDMs) are widely used for solving partial differential equations (PDEs) due to their relatively simple implementation. However, they face significant challenges when applied to non-rectangular domains and in establishing theoretical convergence, particularly for high-order schemes. In this paper, we focus on solving the elliptic equation $-\nabla \cdot (a\nabla u)=f$ in a two-dimensional curved domain $\Omega$, where the diffusion coefficient $a$ is variable and smooth. We propose a sixth-order $9$-point compact FDM that only utilizes the grid points in $(h \mathbb{Z}^2)\cap \Omega$ for any mesh size $h>0$, without relying on ghost points or information outside $\overline{\Omega}$. All the boundary stencils near $\partial \Omega$ have at most $6$ different configurations and use at most $8$ grid points inside $\Omega$. We rigorously establish the sixth-order convergence of the numerically approximated solution $u_h$ in the $\infty$-norm. Additionally, we derive a gradient approximation $\nabla u$ directly from $u_h$ without solving auxiliary equations. This gradient approximation achieves proven accuracy of order $5+\frac{1}{q}$ in the $q$-norm for all $1\le q\le \infty$ (with a logarithmic factor $\log h$ for $1\le q<2$). To validate our proposed sixth-order compact finite different method, we provide several numerical examples that illustrate the sixth-order accuracy and computational efficiency of both the numerical solution and the gradient approximation for solving elliptic PDEs in curved domains.
New submissions (showing 105 of 105 entries)
- [106] arXiv:2501.01271 (cross-list from cs.NI) [pdf, html, other]
-
Title: Energy-Efficiency and Spectral-Efficiency Trade-off in Distributed Massive-MIMO NetworksSubjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
This paper investigates the inherent trade-off between energy efficiency (EE) and spectral efficiency (SE) in distributed massive-MIMO (D-mMIMO) systems. Optimizing the EE and SE together is crucial as increasing spectral efficiency often leads to higher energy consumption. Joint power allocation and AP-UE association are pivotal in this trade-off analysis because they directly influence both EE and SE. We address the gap in existing literature where the EE-SE trade-off has been analyzed but not optimized in the context of D-mMIMO systems. The focus of this study is to maximize the EE with constraints on uplink sum SE through judicious power allocation and AP-UE association, essential for enhancing network throughput. Numerical simulations are performed to validate the proposed model, exploring the impacts of AP-UE association and power allocation on the EE-SE trade-off in uplink D-mMIMO scenarios.
- [107] arXiv:2501.09769 (cross-list from cs.LO) [pdf, html, other]
-
Title: Classifying the groups of order $p q$ in LeanSubjects: Logic in Computer Science (cs.LO); Group Theory (math.GR)
This note discusses our formalisation in Lean of the classification of the groups of order $p q$ for (not necessarily distinct) prime numbers $p$ and $q$, together with various intermediate results such as the characterisation of internal direct and semidirect products.
- [108] arXiv:2501.09821 (cross-list from cs.LG) [pdf, html, other]
-
Title: BN-Pool: a Bayesian Nonparametric Approach to Graph PoolingSubjects: Machine Learning (cs.LG); Probability (math.PR)
We introduce BN-Pool, the first clustering-based pooling method for Graph Neural Networks (GNNs) that adaptively determines the number of supernodes in a coarsened graph. By leveraging a Bayesian non-parametric framework, BN-Pool employs a generative model capable of partitioning graph nodes into an unbounded number of clusters. During training, we learn the node-to-cluster assignments by combining the supervised loss of the downstream task with an unsupervised auxiliary term, which encourages the reconstruction of the original graph topology while penalizing unnecessary proliferation of clusters. This adaptive strategy allows BN-Pool to automatically discover an optimal coarsening level, offering enhanced flexibility and removing the need to specify sensitive pooling ratios. We show that BN-Pool achieves superior performance across diverse benchmarks.
- [109] arXiv:2501.09823 (cross-list from gr-qc) [pdf, html, other]
-
Title: Soliton methods and the black hole balance problemSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
This article is an extended version of a presentation given at KOZWaves 2024: The 6th Australasian Conference on Wave Science, held in Dunedin, New Zealand.
Soliton methods were initially introduced to study equations such as the Korteweg--de Vries equation, which describes nonlinear water waves. Interestingly, the same methods can also be used to analyse equilibrium configurations in general relativity. An intriguing open problem is whether a relativistic $n$-body system can be in stationary equilibrium. Due to the nonlinear effect of spin-spin repulsion of rotating objects, and possibly considering charged bodies with additional electromagnetic repulsion, the existence of such unusual configurations remains a possibility. An important example is a (hypothetical) equilibrium configuration with $n$ aligned black holes. By studying a linear matrix problem equivalent to the Einstein equations for axisymmetric and stationary (electro-) vacuum spacetimes, we derive the most general form of the boundary data on the symmetry axis in terms of a finite number of parameters. In the simplest case $n=1$, this leads to a constructive uniqueness proof of the Kerr (-Newman) solution. For $n=2$ and vacuum, we obtain non-existence of stationary two-black-hole configurations. For $n=2$ with electrovacuum, and for larger $n$, it remains an open problem whether the well-defined finite solution families contain any physically reasonable solutions, i.e.\ spacetimes without anomalies such as naked singularities, magnetic monopoles, and struts. - [110] arXiv:2501.09837 (cross-list from eess.SP) [pdf, html, other]
-
Title: Complex-Valued Neural Networks for Ultra-Reliable Massive MIMOSubjects: Signal Processing (eess.SP); Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
In the evolving landscape of 5G and 6G networks, the demands extend beyond high data rates, ultra-low latency, and extensive coverage, increasingly emphasizing the need for reliability. This paper proposes an ultra-reliable multiple-input multiple-output (MIMO) scheme utilizing quasi-orthogonal space-time block coding (QOSTBC) combined with singular value decomposition (SVD) for channel state information (CSI) correction, significantly improving performance over QOSTBC and traditional orthogonal STBC (OSTBC) when analyzing spectral efficiency. Although QOSTBC enhances spectral efficiency, it also increases computational complexity at the maximum likelihood (ML) decoder. To address this, a neural network-based decoding scheme using phase-transmittance radial basis function (PT-RBF) architecture is also introduced to manage QOSTBC's complexity. Simulation results demonstrate improved system robustness and performance, making this approach a potential candidate for ultra-reliable communication in next-generation networks.
- [111] arXiv:2501.09860 (cross-list from hep-th) [pdf, html, other]
-
Title: More varieties of 4-d gauge theories: product representationsComments: 17 pages, 4 figuresSubjects: High Energy Physics - Theory (hep-th); High Energy Physics - Phenomenology (hep-ph); Algebraic Geometry (math.AG)
Recently, we used methods of arithmetic geometry to study the anomaly-free irreducible representations of an arbitrary gauge Lie algebra. Here we generalize to the case of products of irreducible representations, where it is again possible to give a complete description. A key result is that the projective variety corresponding to $m$-fold product representations of the Lie algebra $\mathfrak{su}_n$ is a rational variety for every $m$ and $n$. We study the simplest case of $\mathfrak{su}_3$ (corresponding to the strong interaction) in detail. We also describe the implications of a number-theoretic conjecture of Manin (and related theorems) for the number of chiral representations of bounded size $B$ (measured roughly by the Dynkin labels) compared to non-chiral ones, giving a precise meaning to the sense in which the former, which are those most relevant for phenomenology, are rare compared to the latter. As examples, we show that, for both irreducible representations of $\mathfrak{su}_5$ and once-reducible product representations of $\mathfrak{su}_3$ that are non-anomalous, the number of chiral representations is asymptotically between $B (\log B)^5$ and $B^\frac{4}{3}$, while the number of non-chiral representations is asymptotically $B^2$.
- [112] arXiv:2501.09899 (cross-list from gr-qc) [pdf, html, other]
-
Title: Black hole with global monopole charge in self-interacting Kalb-Ramond fieldComments: 18 pages, 11 figuresSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Astrophysical Phenomena (astro-ph.HE); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
In this study, we explore a static, spherically symmetric black hole solution in the context of a self-interacting Kalb-Ramond field coupled with a global monopole. By incorporating the effects of Lorentz-violating term $\ell$ and the monopole charge $\eta$ in the KR field, we derive the modified gravitational field equations and analyze the resulting black hole spacetime. The obtained solution exhibits deviations from the Schwarzschild metric with topological defect, as it is influenced by the monopole charge and self-interaction potential. We investigate the thermodynamic properties of the black hole, including its Hawking temperature, entropy, and specific heat, revealing novel stability conditions. Additionally, we perform solar system tests such as perihelion precession, gravitational redshift, light deflection, and time delay of signals to impose constraints on the Lorentz-violating parameter and monopole charge. Our findings suggest that these parameters have to be significantly small, although there are different constraints imposed by individual tests, ranging from $10^{-9}\leq|\ell|\leq 10^{-4}$ and $10^{-9}\leq\eta\leq 10^{-6}\, \mathrm{m}^{-1}$.
- [113] arXiv:2501.09900 (cross-list from stat.ML) [pdf, html, other]
-
Title: SBAMDT: Bayesian Additive Decision Trees with Adaptive Soft Semi-multivariate Split RulesSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME)
Bayesian Additive Regression Trees [BART, Chipman et al., 2010] have gained significant popularity due to their remarkable predictive performance and ability to quantify uncertainty. However, standard decision tree models rely on recursive data splits at each decision node, using deterministic decision rules based on a single univariate feature. This approach limits their ability to effectively capture complex decision boundaries, particularly in scenarios involving multiple features, such as spatial domains, or when transitions are either sharp or smoothly varying. In this paper, we introduce a novel probabilistic additive decision tree model that employs a soft split rule. This method enables highly flexible splits that leverage both univariate and multivariate features, while also respecting the geometric properties of the feature domain. Notably, the probabilistic split rule adapts dynamically across decision nodes, allowing the model to account for varying levels of smoothness in the regression function. We demonstrate the utility of the proposed model through comparisons with existing tree-based models on synthetic datasets and a New York City education dataset.
- [114] arXiv:2501.09923 (cross-list from cs.LG) [pdf, html, other]
-
Title: Study on a Fast Solver for Combined Field Integral Equations of 3D Conducting Bodies Based on Graph Neural NetworksComments: 10 pages,11 figuresSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Numerical Analysis (math.NA)
In this paper, we present a graph neural networks (GNNs)-based fast solver (GraphSolver) for solving combined field integral equations (CFIEs) of 3D conducting bodies. Rao-Wilton-Glisson (RWG) basis functions are employed to discretely and accurately represent the geometry of 3D conducting bodies. A concise and informative graph representation is then constructed by treating each RWG function as a node in the graph, enabling the flow of current between nodes. With the transformed graphs, GraphSolver is developed to directly predict real and imaginary parts of the x, y and z components of the surface current densities at each node (RWG function). Numerical results demonstrate the efficacy of GraphSolver in solving CFIEs for 3D conducting bodies with varying levels of geometric complexity, including basic 3D targets, missile-shaped targets, and airplane-shaped targets.
- [115] arXiv:2501.09946 (cross-list from cs.LG) [pdf, html, other]
-
Title: Client-Centric Federated Adaptive OptimizationSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
Federated Learning (FL) is a distributed learning paradigm where clients collaboratively train a model while keeping their own data private. With an increasing scale of clients and models, FL encounters two key challenges, client drift due to a high degree of statistical/system heterogeneity, and lack of adaptivity. However, most existing FL research is based on unrealistic assumptions that virtually ignore system heterogeneity. In this paper, we propose Client-Centric Federated Adaptive Optimization, which is a class of novel federated adaptive optimization approaches. We enable several features in this framework such as arbitrary client participation, asynchronous server aggregation, and heterogeneous local computing, which are ubiquitous in real-world FL systems but are missed in most existing works. We provide a rigorous convergence analysis of our proposed framework for general nonconvex objectives, which is shown to converge with the best-known rate. Extensive experiments show that our approaches consistently outperform the baseline by a large margin across benchmarks.
- [116] arXiv:2501.10030 (cross-list from eess.SY) [pdf, html, other]
-
Title: Informativity Conditions for Multiple Signals: Properties, Experimental Design, and ApplicationsSubjects: Systems and Control (eess.SY); Information Theory (cs.IT)
Recent studies highlight the importance of persistently exciting condition in single signal sequence for model identification and data-driven control methodologies. However, maintaining prolonged excitation in control signals introduces significant challenges, as continuous excitation can reduce the lifetime of mechanical devices. In this paper, we introduce three informativity conditions for various types of multi-signal data, each augmented by weight factors. We explore the interrelations between these conditions and their rank properties in linear time-invariant systems. Furthermore, we introduce open-loop experimental design methods tailored to each of the three conditions, which can synthesize the required excitation conditions either offline or online, even in the presence of limited information within each signal segment. We demonstrate the effectiveness of these informativity conditions in least-squares identification. Additionally, all three conditions can extend Willems' fundamental lemma and are utilized to assess the properties of the system. Illustrative examples confirm that these conditions yield satisfactory outcomes in both least-squares identification and the construction of data-driven controllers.
- [117] arXiv:2501.10066 (cross-list from cs.RO) [pdf, other]
-
Title: A Comprehensive Insights into Drones: History, Classification, Architecture, Navigation, Applications, Challenges, and Future TrendsSubjects: Robotics (cs.RO); Information Theory (cs.IT)
Unmanned Aerial Vehicles (UAVs), commonly known as Drones, are one of 21st century most transformative technologies. Emerging first for military use, advancements in materials, electronics, and software have catapulted drones into multipurpose tools for a wide range of industries. In this paper, we have covered the history, taxonomy, architecture, navigation systems and branched activities for the same. It explores important future trends like autonomous navigation, AI integration, and obstacle avoidance systems, emphasizing how they contribute to improving the efficiency and versatility of drones. It also looks at the major challenges like technical, environmental, economic, regulatory and ethical, that limit the actual take-up of drones, as well as trends that are likely to mitigate these obstacles in the future. This work offers a structured synthesis of existing studies and perspectives that enable insights about how drones will transform agriculture, logistics, healthcare, disaster management, and other areas, while also identifying new opportunities for innovation and development.
- [118] arXiv:2501.10102 (cross-list from cs.DS) [pdf, html, other]
-
Title: An Efficient Algorithm for Permutation Iteration Using a Singly Linked ListSubjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
We present a new algorithm for iterating over all permutations of a sequence. The algorithm leverages elementary operations on recursive lists. Within each recursive call, only two operations are required to generate all permutations (albeit in an unusual order): swapping the first two elements of the list or moving the last element to the front. As a result, no new nodes are allocated during the computation. Instead, all elements are rearranged within the original nodes of the singly linked list throughout the process. A proof of concept written in the Lisp programming language is proposed and discussed.
- [119] arXiv:2501.10115 (cross-list from gr-qc) [pdf, html, other]
-
Title: A state sum for four-dimensional Lorentzian quantum geometry in terms of edge vectorsComments: 45 pages, 4 figuresSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We present the construction of a new state sum model for $4d$ Lorentzian quantum gravity based on the description of quantum simplicial geometry in terms of edge vectors. Quantum states and amplitudes for simplicial geometry are built from irreducible representations of the translation group, then related to the representations of the Lorentz group via expansors, leading to interesting (and intricate) non-commutative structures. We also show how the new model connects to the Lorentzian Barrett-Crane spin foam model, formulated in terms of quantized triangle bivectors.
- [120] arXiv:2501.10152 (cross-list from quant-ph) [pdf, html, other]
-
Title: Quantum Advantage in Private Multiple Hypothesis TestingComments: 12 pages, 1 figureSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
For multiple hypothesis testing based on classical data samples, we demonstrate a quantum advantage in the optimal privacy-utility trade-off (PUT), where the privacy and utility measures are set to (quantum) local differential privacy and the pairwise-minimum Chernoff information, respectively. To show the quantum advantage, we consider some class of hypotheses that we coin smoothed point masses. For such hypotheses, we derive an upper bound of the optimal PUT achieved by classical mechanisms, which is tight for some cases, and propose a certain quantum mechanism which achieves a better PUT than the upper bound. The proposed quantum mechanism consists of a classical-quantum channel whose outputs are pure states corresponding to a symmetric informationally complete positive operator-valued measure (SIC-POVM), and a depolarizing channel.
- [121] arXiv:2501.10163 (cross-list from quant-ph) [pdf, html, other]
-
Title: Invariant Theory and Magic State DistillationComments: 47 pages, 14 figuresSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT); High Energy Physics - Theory (hep-th)
We show that the performance of a linear self-orthogonal $GF(4)$ code for magic state distillation of Bravyi and Kitaev's $|T\rangle$-state is characterized by its simple weight enumerator. We compute weight enumerators of all such codes with less than 20 qubits and find none whose threshold exceeds that of the 5-qubit code. Using constraints on weight enumerators from invariant theory and linear programming, we obtain bounds on the exponent characterizing noise suppression of a $|T\rangle$-state distillation protocol. We also obtain new non-negativity constraints on such weight enumerators by demanding consistency of the associated magic state distillation routine. These ``quantum constraints'' lead to new bounds on the distance of classical self-dual and maximal self-orthogonal linear $GF(4)$ codes, in particular, implying the nonexistence of a self-dual $[12m, 6m, 2m+4]_{GF(4)}$ linear code.
- [122] arXiv:2501.10166 (cross-list from eess.SP) [pdf, html, other]
-
Title: Implementing Finite Impulse Response Filters on Quantum ComputersSubjects: Signal Processing (eess.SP); Information Theory (cs.IT); Quantum Physics (quant-ph)
While signal processing is a mature area, its connections with quantum computing have received less attention. In this work, we propose approaches that perform classical discrete-time signal processing using quantum systems. Our approaches encode the classical discrete-time input signal into quantum states, and design unitaries to realize classical concepts of finite impulse response (FIR) filters. We also develop strategies to cascade lower-order filters to realize higher-order filters through designing appropriate unitary operators. Finally, a few directions for processing quantum states on classical systems after converting them to classical signals are suggested for future work.
- [123] arXiv:2501.10183 (cross-list from cs.DS) [pdf, other]
-
Title: Cutwidth and CrossingsSubjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
We provide theoretical insights around the cutwidth of a graph and the One-Sided Crossing Minimization (OSCM) problem. OSCM was posed in the Parameterized Algorithms and Computational Experiments Challenge 2024, where the cutwidth of the input graph was the parameter in the parameterized track. We prove an asymptotically sharp upper bound on the size of a graph in terms of its order and cutwidth. As the number of so-called unsuited pairs is one of the factors that determine the difficulty of an OSCM instance, we provide a sharp upper bound on them in terms of the order $n$ and the cutwidth of the input graph. If the cutwidth is bounded by a constant, this implies an $\mathcal{O}(2^n)$-time algorithm, while the trivial algorithm has a running time of $\mathcal{O}(2^{n^2})$. At last, we prove structural properties of the so-called crossing numbers in an OSCM instance.
- [124] arXiv:2501.10201 (cross-list from cs.ET) [pdf, html, other]
-
Title: ODMA-Based Cell-Free Unsourced Random Access with Successive Interference CancellationSubjects: Emerging Technologies (cs.ET); Information Theory (cs.IT); Systems and Control (eess.SY)
We consider the unsourced random access problem with multiple receivers and propose a cell-free type solution for that. In our proposed scheme, the active users transmit their signals to the access points (APs) distributed in a geographical area and connected to a central processing unit (CPU). The transmitted signals are composed of a pilot and polar codeword, where the polar codeword bits occupy a small fraction of the data part of the transmission frame. The receiver operations of pilot detection and channel and symbol estimation take place at the APs, while the actual message bits are detected at the CPU by combining the symbol estimates from the APs forwarded over the fronthaul. The effect of the successfully decoded messages is then subtracted at the APs. Numerical examples illustrate that the proposed scheme can support up to 1400 users with a high energy efficiency, and the distributed structure decreases the error probability by more than two orders of magnitude.
- [125] arXiv:2501.10227 (cross-list from eess.SP) [pdf, html, other]
-
Title: Joint Active and Passive Beamforming Optimization for Beyond Diagonal RIS-aided Multi-User CommunicationsSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
Benefiting from its capability to generalize existing reconfigurable intelligent surface (RIS) architectures and provide additional design flexibility via interactions between RIS elements, beyond-diagonal RIS (BD-RIS) has attracted considerable research interests recently. However, due to the symmetric and unitary passive beamforming constraint imposed on BD-RIS, existing joint active and passive beamforming optimization algorithms for BD-RIS either exhibit high computational complexity to achieve near optimal solutions or rely on heuristic algorithms with substantial performance loss. In this paper, we address this issue by proposing an efficient optimization framework for BD-RIS assisted multi-user multi-antenna communication networks. Specifically, we solve the weighted sum rate maximization problem by introducing a novel beamforming optimization algorithm that alternately optimizes active and passive beamforming matrices using iterative closed-form solutions. Numerical results demonstrate that our algorithm significantly reduces computational complexity while ensuring a sub-optimal solution.
- [126] arXiv:2501.10243 (cross-list from cs.NE) [pdf, html, other]
-
Title: Random-Key Algorithms for Optimizing Integrated Operating Room SchedulingComments: 38 pages, Preprint submitted to Applied Soft ComputingSubjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Combinatorics (math.CO)
Efficient surgery room scheduling is essential for hospital efficiency, patient satisfaction, and resource utilization. This study addresses this challenge by introducing a novel concept of Random-Key Optimizer (RKO), rigorously tested on literature and new, real-world inspired instances. Our combinatorial optimization problem incorporates multi-room scheduling, equipment scheduling, and complex availability constraints for rooms, patients, and surgeons, facilitating rescheduling and enhancing operational flexibility. The RKO approach represents solutions as points in a continuous space, which are then mapped in the problem solution space via a deterministic function known as a decoder. The core idea is to operate metaheuristics and heuristics in the random-key space, unaware of the original solution space. We design the Biased Random-Key Genetic Algorithm with $Q$-Learning, Simulated Annealing, and Iterated Local Search for use within an RKO framework, employing a single decoder function. The proposed metaheuristics are complemented by lower-bound formulations, providing optimal gaps for evaluating the effectiveness of the heuristic results. Our results demonstrate significant lower and upper bounds improvements for the literature instances, notably proving one optimal result. Furthermore, the best-proposed metaheuristic efficiently generates schedules for the newly introduced instances, even in highly constrained scenarios. This research offers valuable insights and practical solutions for improving surgery scheduling processes, offering tangible benefits to hospitals by optimising resource allocation, reducing patient wait times, and enhancing overall operational efficiency.
- [127] arXiv:2501.10245 (cross-list from cs.LG) [pdf, html, other]
-
Title: Over-the-Air Multi-Sensor Inference with Neural Networks Using Memristor-Based Analog ComputingComments: 34 pagesSubjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Information Theory (cs.IT)
Deep neural networks provide reliable solutions for many classification and regression tasks; however, their application in real-time wireless systems with simple sensor networks is limited due to high energy consumption and significant bandwidth needs. This study proposes a multi-sensor wireless inference system with memristor-based analog computing. Given the sensors' limited computational capabilities, the features from the network's front end are transmitted to a central device where an $L_p$-norm inspired approximation of the maximum operation is employed to achieve transformation-invariant features, enabling efficient over-the-air transmission. We also introduce a trainable over-the-air sensor fusion method based on $L_p$-norm inspired combining function that customizes sensor fusion to match the network and sensor distribution characteristics, enhancing adaptability. To address the energy constraints of sensors, we utilize memristors, known for their energy-efficient in-memory computing, enabling analog-domain computations that reduce energy use and computational overhead in edge computing. This dual approach of memristors and $L_p$-norm inspired sensor fusion fosters energy-efficient computational and transmission paradigms and serves as a practical energy-efficient solution with minimal performance loss.
- [128] arXiv:2501.10263 (cross-list from stat.ME) [pdf, html, other]
-
Title: Prior distributions for structured semi-orthogonal matricesComments: 31 pages, 5 figuresSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
Statistical models for multivariate data often include a semi-orthogonal matrix parameter. In many applications, there is reason to expect that the semi-orthogonal matrix parameter satisfies a structural assumption such as sparsity or smoothness. From a Bayesian perspective, these structural assumptions should be incorporated into an analysis through the prior distribution. In this work, we introduce a general approach to constructing prior distributions for structured semi-orthogonal matrices that leads to tractable posterior inference via parameter-expanded Markov chain Monte Carlo. We draw upon recent results from random matrix theory to establish a theoretical basis for the proposed approach. We then introduce specific prior distributions for incorporating sparsity or smoothness and illustrate their use through applications to biological and oceanographic data.
- [129] arXiv:2501.10298 (cross-list from gr-qc) [pdf, other]
-
Title: Near-Boundary Asymptotics and Unique Continuation for the AdS--Einstein--Maxwell SystemComments: 93 pages, 0 figureSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Analysis of PDEs (math.AP)
In this article, we extend the results of both Shao and Holzegel-Shao to the AdS-Einstein-Maxwell system $({M}, g, F)$. We study the asymptotics of the metric $g$ and the Maxwell field $F$ near the conformal boundary ${I}$ for the fully nonlinear coupled system. Furthermore, we characterise the holographic (boundary) data used in the second part of this work.
We also prove the local unique continuation property for solutions of the coupled Einstein equations from the conformal boundary. Specifically, the prescription of the coefficients $(\mathfrak{g}^{(0)}, \mathfrak{g}^{(n)})$ in the near-boundary expansion of $g$, along with the boundary data for the Maxwell fields $(\mathfrak{f}^{0}, \mathfrak{f}^{1})$, on a domain ${D} \subset {I}$ uniquely determines $(g, F)$ near ${D}$. The geometric conditions required for unique continuation are identical to those in the vacuum case, regardless of the presence of the Maxwell fields.
This work is part of the author's thesis. - [130] arXiv:2501.10353 (cross-list from physics.plasm-ph) [pdf, html, other]
-
Title: Invariant tori for the pressure-jump HamiltonianSubjects: Plasma Physics (physics.plasm-ph); Dynamical Systems (math.DS)
A major achievement of Dewar and coworkers is the SPEC code to construct stepped-pressure equilibria in magnetohydrostatics without axisymmetry. Their existence had been proved by Bruno and Laurence. As part of the procedure of Bruno and Laurence, it is required to solve the Hamilton-Jacobi equation for a magnetic potential on the outside of an interface given the field on the inside and the pressure-jump across the interface. For non-axisymmetric interface, it was understood that solutions with insufficiently irrational rotational transform might not exist, and examples have been given for which there are no solutions at all for large enough pressure-jump. The present paper gives a method to compute regions in the phase space for the pressure-jump Hamiltonian through which no invariant tori pass. The paper also shows how to present the results as regions in the space of pressure-jumps and outer rotational transform for which there is no solution of the Hamilton-Jacobi equation. The method is expected to reach arbitrarily close to the full non-existence region with enough computational work, so what is left over can be relied on to be mostly invariant tori. The paper also brings to attention a class of metrics on tori that are not necessarily axisymmetric yet have integrable geodesic flow. They could give interfaces with solutions for all but finitely many rotational transforms.
Cross submissions (showing 25 of 25 entries)
- [131] arXiv:1003.0169 (replaced) [pdf, html, other]
-
Title: First extension groups of Verma modules and $R$-polynomialsComments: 16 pages, one of the main theorems was false, erratum is addedSubjects: Representation Theory (math.RT)
We study the first extension groups between Verma modules. There was a conjecture which claims that the dimensions of the higher extension groups between Verma modules are the coefficients of $R$-polynomials defined by Kazhdan-Lusztig. This conjecture was known as the Gabber-Joseph conjecture (although Gebber and Joseph did not state.) However, Boe gives a counterexample to this conjecture. In this paper, we study how far are the dimensions of extension groups from the coefficients of $R$-polynomials.
- [132] arXiv:1602.03501 (replaced) [pdf, html, other]
-
Title: Algebraic DatabasesComments: 80 pagesSubjects: Category Theory (math.CT); Databases (cs.DB)
Databases have been studied category-theoretically for decades. The database schema -- whose purpose is to arrange high-level conceptual entities -- is generally modeled as a category or sketch. The data itself, often called an instance, is generally modeled as a set-valued functor, assigning to each conceptual entity a set of examples. While mathematically elegant, these categorical models have typically struggled with representing concrete data such as integers or strings.
In the present work, we propose an extension of the set-valued functor model, making use of multisorted algebraic theories (a.k.a. Lawvere theories) to incorporate concrete data in a principled way. This also allows constraints and queries to make use of operations on data, such as multiplication or comparison of numbers, helping to bridge the gap between traditional databases and programming languages.
We also show how all of the components of our model -- including schemas, instances, change-of-schema functors, and queries - fit into a single double categorical structure called a proarrow equipment (a.k.a. framed bicategory). - [133] arXiv:1801.10485 (replaced) [pdf, html, other]
-
Title: On entropy of $\mathbb{P}$-twistsComments: 22 pages; major revisionSubjects: Algebraic Geometry (math.AG); Dynamical Systems (math.DS)
We show that the $\mathbb{P}$-twist associated to any $\mathbb{P}$-object of a smooth project variety is not conjugate to a standard autoequivalence. This result is obtained by computing the categorical entropy functions of $\mathbb{P}$-twists. We also determine the categorical polynomial entropy of spherical twists and $\mathbb{P}$-twists, under an additional assumption.
- [134] arXiv:2004.09046 (replaced) [pdf, html, other]
-
Title: The Shafarevich conjecture for hypersurfaces in abelian varietiesComments: 121 pagesSubjects: Number Theory (math.NT)
Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many smooth hypersurfaces in $A$, with good reduction outside $S$, representing a given ample class in the Néron-Severi group of $A$, up to translation, as long as the dimension of $A$ is at least $4$. Our approach builds on the approach of arXiv:1807.02721 which studies $p$-adic variations of Hodge structure to turn finiteness results for $p$-adic Galois representations into geometric finiteness statements. A key new ingredient is an approach to proving big monodromy for the variations of Hodge structure arising from the middle cohomology of these hypersurfaces using the Tannakian theory of sheaf convolution on abelian varieties.
- [135] arXiv:2009.12725 (replaced) [pdf, html, other]
-
Title: Geometric inequalities and rigidity of gradient shrinking Ricci solitonsComments: Final versionJournal-ref: Asian Journal of Mathematics, Vol. 28, Issue 4 (2024), pp. 549-580Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
In this paper we prove that the Sobolev inequality, the logarithmic Sobolev inequality, the Schrödinger heat kernel upper bound, the Faber-Krahn inequality, the Nash inequality and the Rozenblum-Cwikel-Lieb inequality all equivalently exist on complete gradient shrinking Ricci solitons. We also obtain some integral gap theorems for compact shrinking Ricci solitons.
- [136] arXiv:2103.13113 (replaced) [pdf, html, other]
-
Title: Parameters of Hecke algebras for Bernstein components of p-adic groupsComments: Various minor improvements in Section 2. The proof of the previous Theorem 3.3 was flawed (in part c). Now that theorem is stretched over Lemma 3.3--Theorem 3.5. Proposition 4.10 was incorrect and has been repaired. At the same time, Theorem 4.9 has been simplified a little. In version 3, the paragraph 4.6 on F4 has been rewritten, now with more complete resultsJournal-ref: Indagationes Mathematicae 36.1 (2025), 124-170Subjects: Representation Theory (math.RT)
Let G be a reductive group over a non-archimedean local field F. Consider an arbitrary Bernstein block Rep(G)^s in the category of complex smooth G-representations. In earlier work the author showed that there exists an affine Hecke algebra H(O,G) whose category of right modules is closely related to Rep(G)^s. In many cases this is in fact an equivalence of categories, like for Iwahori-spherical representations.
In this paper we study the q-parameters of the affine Hecke algebras H(O,G). We compute them in many cases, in particular for principal series representations of quasi-split groups and for classical groups.
Lusztig conjectured that the q-parameters are always integral powers of q_F and that they coincide with the q-parameters coming from some Bernstein block of unipotent representations. We reduce this conjecture to the case of simple p-adic groups, and we prove it for most of those. - [137] arXiv:2106.03196 (replaced) [pdf, html, other]
-
Title: Graded Hecke algebras, constructible sheaves and the p-adic Kazhdan--Lusztig conjectureComments: Version 2: major revision, including a change of title. Sections 7 and 8 of version 1 were incorrect and have been removed. A substitute can be found in the new paper "Graded Hecke algebras and equivariant constructible sheaves on the nilpotent cone", which also contains Sections 2 and 3 of version 1. Version 2 consists of the remainder of version 1, with some editingSubjects: Representation Theory (math.RT)
Graded Hecke algebras can be constructed in terms of equivariant cohomology and constructible sheaves on nilpotent cones. In earlier work, their standard modules and their irreducible modules where realized with such geometric methods.
We pursue this setup to study properties of module categories of (twisted) graded Hecke algebras, in particular what happens geometrically upon formal completion with respect to a central character. We prove a version of the Kazhdan--Lusztig conjecture for (twisted) graded Hecke algebras. It expresses the multiplicity of an irreducible module in a standard module as the multiplicity of an equivariant local system in an equivariant perverse sheaf.
This is applied to smooth representations of reductive p-adic groups. Under some conditions, we verify the p-adic Kazhdan--Lusztig conjecture from [Vogan]. Here the equivariant constructible sheaves live on certain varieties of Langlands parameters. The involved conditions are checked for substantial classes of groups and representations. - [138] arXiv:2106.09935 (replaced) [pdf, html, other]
-
Title: Small Noise Perturbations in Multidimensional CaseComments: 30 pagesSubjects: Probability (math.PR)
In this paper we study zero-noise limits of $\alpha -$stable noise perturbed ODE's which are driven by an irregular vector field $A$ with asymptotics $% A(x)\sim \overline{a}(\frac{x}{\left\vert x\right\vert })\left\vert x\right\vert ^{\beta -1}x$ at zero, where $\overline{a}>0$ is a continuous function and $\beta \in (0,1)$. The results established in this article can be considered a generalization of those in the seminal works of Bafico \cite{Ba} and Bafico, Baldi \cite{BB} to the multi-dimensional case. Our approach for proving these results is inspired by techniques in \cite% {PP_self_similar} and based on the analysis of an SDE for $t\longrightarrow \infty $, which is obtained through a transformation of the perturbed ODE.
- [139] arXiv:2107.10817 (replaced) [pdf, html, other]
-
Title: Team Semantics and Independence Notions in Quantum PhysicsSubjects: Logic (math.LO)
We study dependence and independence concepts found in quantum physics, especially those related to hidden variables and non-locality, through the lens of team semantics and probabilistic team semantics, adapting a relational framework introduced by the first author in a prior paper. This leads to new developments also in independence logic and probabilistic independence logic.
- [140] arXiv:2108.10406 (replaced) [pdf, other]
-
Title: Hypergraph Tur\'an Problems in $\ell_2$-NormComments: comments are welcomeSubjects: Combinatorics (math.CO)
There are various different notions measuring extremality of hypergraphs. In this survey we compare the recently introduced notion of the codegree squared extremal function with the Turán function, the minimum codegree threshold and the uniform Turán density.
The codegree squared sum $\textrm{co}_2(G)$ of a $3$-uniform hypergraph $G$ is defined to be the sum of codegrees squared $d(x,y)^2$ over all pairs of vertices $x,y$. In other words, this is the square of the $\ell_2$-norm of the codegree vector. We are interested in how large $\textrm{co}_2(G)$ can be if we require $G$ to be $H$-free for some $3$-uniform hypergraph $H$. This maximum value of $\textrm{co}_2(G)$ over all $H$-free $n$-vertex $3$-uniform hypergraphs $G$ is called the codegree squared extremal function, which we denote by $\textrm{exco}_2(n,H)$. We systemically study the extremal codegree squared sum of various $3$-uniform hypergraphs using various proof techniques. Some of our proofs rely on the flag algebra method while others use more classical tools such as the stability method. In particular, we (asymptotically) determine the codegree squared extremal numbers of matchings, stars, paths, cycles, and $F_5$, the $5$-vertex hypergraph with edge set $\{123,124,345\}$.
Additionally, our paper has a survey format, as we state several conjectures and give an overview of Turán densities, minimum codegree thresholds and codegree squared extremal numbers of popular hypergraphs. We intend to update the arXiv version of this paper regularly. - [141] arXiv:2109.00981 (replaced) [pdf, html, other]
-
Title: On the Gottlieb group, Drinfeld centre and the centre of a crossed moduleSubjects: K-Theory and Homology (math.KT); Algebraic Topology (math.AT)
This new version includes a connection of the main construction to the Gottlieb group, which was absent in the previous versions. However, the first version included material about Lie algebras which will become available soon as a separate paper.
The aim of this paper is to introduce the concept of the centre of a crossed module $\G_* = (\G_1\to \G_0)$. This centre is closely related to the Gottlieb group of the classifying space of a crossed module and also to the Drinfeld centre of a monoidal category introduced independently by Drinfeld and Joyal and Street. Our definition of the centre is based on certain crossed homomorphisms $\G_0\to \G_1$, which makes it easy to relate it to group cohomology. This connection is used to relate the Gottlieb group of a 2-type to its Whitehead centre. - [142] arXiv:2203.06435 (replaced) [pdf, html, other]
-
Title: Hochschild homology of reductive $p$-adic groupsJournal-ref: Journal of Noncommutative Geometry 18.4 (2024), 1349-1413Subjects: Representation Theory (math.RT); K-Theory and Homology (math.KT)
Consider a reductive $p$-adic group $G$, its (complex-valued) Hecke algebra $H(G)$ and the Harish-Chandra--Schwartz algebra $S(G)$. We compute the Hochschild homology groups of $H(G)$ and of $S(G)$, and we describe the outcomes in several ways.
Our main tools are algebraic families of smooth $G$-representations. With those we construct maps from $HH_n (H(G))$ and $HH_n (S(G))$ to modules of differential $n$-forms on affine varieties. For $n = 0$ this provides a description of the cocentres of these algebras in terms of nice linear functions on the Grothendieck group of finite length (tempered) $G$-representations.
It is known from earlier work that every Bernstein ideal $H(G)^s$ of $H(G)$ is closely related to a crossed product algebra of the from $O(T) \rtimes W$. Here $O(T)$ denotes the regular functions on the variety $T$ of unramified characters of a Levi subgroup $L$ of $G$, and $W$ is a finite group acting on $T$. We make this relation even stronger by establishing an isomorphism between $HH_* (H(G)^s)$ and $HH_* (O(T) \rtimes W)$, although we have to say that in some cases it is necessary to twist $C[W]$ by a 2-cocycle.
Similarly we prove that the Hochschild homology of the two-sided ideal $S(G)^s$ of $S(G)$ is isomorphic to $HH_* (C^\infty (T_u) \rtimes W)$, where $T_u$ denotes the Lie group of unitary unramified characters of $L$. In these pictures of $HH_* (H(G))$ and $HH_* (S(G))$ we also show how the Bernstein centre of $H(G)$ acts.
Finally, we derive similar expressions for the (periodic) cyclic homology groups of $H(G)$ and of $S(G)$ and we relate that to topological K-theory. - [143] arXiv:2205.00260 (replaced) [pdf, html, other]
-
Title: Optimal Control of Several Motion ModelsSubjects: Optimization and Control (math.OC)
This paper is devoted to the study of the dynamic optimization of several controlled crowd motion models in the general planar settings, which is an application of a class of optimal control problems involving a general nonconvex sweeping process with perturbations. A set of necessary optimality conditions for such optimal control problems involving the crowd motion models with multiple agents and obstacles is obtained and analyzed. Several effective algorithms based on such necessary optimality conditions are proposed and various nontrivial illustrative examples together with their simulations are also presented. The implementation of all the considered motion models can be found via the link: this https URL with the instruction and demonstration video uploaded at this https URL.
- [144] arXiv:2205.01781 (replaced) [pdf, html, other]
-
Title: The time-dependent harmonic oscillator revisitedComments: 31 pages. Latex file, 3 figures. Final version to appear in J. Phys. ASubjects: Mathematical Physics (math-ph)
We point out a rather effective approach for solving the time-dependent harmonic oscillator $\ddot q=-\omega^2 q$ under various regularity assumptions. Where $\omega(t )$ is $C^1$ this is reduced to Hamilton equation for the angle variable $\psi$ {\it alone} (the action variable ${\cal I}$ is obtained \it by quadrature}). The fixed point theorem for the integral equation equivalent to the generic Cauchy problem for $\psi(t )$ yields a sequence $\{\psi^{(h)}\}_{h\in\mathbb{N}_0}$ converging to $\psi$ rather fast; if $\omega$ varies slowly or little, already $\psi^{(0)}$ approximates $\psi$ well for rather long time lapses. The discontinuities of $\omega$, if any, determine those of $\psi,{\cal I}$. The zeros of $q,\dot q$ are investigated via Riccati equations. Our approach may simplify the study of: upper and lower bounds on the solutions; the stability of the trivial one; parametric resonance when $\omega(t )$ is periodic; the adiabatic invariance of ${\cal I}$; asymptotic expansions in a slow time parameter $\varepsilon$; time-dependent driven and damped parametric oscillators; etc.
- [145] arXiv:2205.07490 (replaced) [pdf, html, other]
-
Title: Graded Hecke algebras and equivariant constructible sheaves on the nilpotent coneComments: This paper contains sections 2 and 3 of "Graded Hecke algebras and equivariant constructible sheaves" (arXiv:2106.03196v1), which has been revised and splitSubjects: Algebraic Geometry (math.AG); Representation Theory (math.RT)
Graded Hecke algebras can be constructed geometrically, with constructible sheaves and equivariant cohomology. The input consists of a complex reductive group G (possibly disconnected) and a cuspidal local system on a nilpotent orbit for a Levi subgroup of G. We prove that every such "geometric" graded Hecke algebra is naturally isomorphic to the endomorphism algebra of a certain G x C*-equivariant semisimple complex of sheaves on the nilpotent cone $g_N$.
From there we provide an algebraic description of the G x C*-equivariant bounded derived category of constructible sheaves on $g_N$. Namely, it is equivalent with the bounded derived category of finitely generated differential graded modules of a suitable direct sum of graded Hecke algebras. This can be regarded as a categorification of graded Hecke algebras. - [146] arXiv:2205.08622 (replaced) [pdf, html, other]
-
Title: Solving Optimal Control Problems of Rigid-Body Dynamics with Collisions Using the Hybrid Minimum PrincipleSubjects: Optimization and Control (math.OC)
Collisions are common in many dynamical systems with real applications. They can be formulated as hybrid dynamical systems with discontinuities automatically triggered when states transverse certain manifolds. We present an algorithm for the optimal control problem of such hybrid dynamical systems based on solving the equations derived from the hybrid minimum principle (HMP). The algorithm is an iterative scheme following the spirit of the method of successive approximations (MSA), and it is robust to undesired collisions observed in the initial guesses. We propose several techniques to address the additional numerical challenges introduced by the presence of discontinuities. The algorithm is tested on disc collision problems whose optimal solutions exhibit one or multiple collisions. Linear convergence in terms of iteration steps and asymptotic first-order accuracy in terms of time discretization are observed when the algorithm is implemented with the forward-Euler scheme. The numerical results demonstrate that the proposed algorithm has better accuracy and convergence than direct methods based on gradient descent. Furthermore, the algorithm is also simpler, more accurate, and more stable than a deep reinforcement learning method.
- [147] arXiv:2205.10915 (replaced) [pdf, html, other]
-
Title: Stable degenerations of singularitiesComments: 42 pages. Accepted version. To appear in JAMSSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Differential Geometry (math.DG)
For any Kawamata log terminal (klt) singularity and any minimizer of its normalized volume function, we prove that the associated graded ring is always finitely generated, as conjectured by Chi Li. As a consequence, we complete the last step of establishing the Stable Degeneration Conjecture proposed by Chi Li and the first named author for an arbitrary klt singularity.
- [148] arXiv:2209.04044 (replaced) [pdf, html, other]
-
Title: Explicit statement of a conjecture on resultantal varietiesComments: 6 pages; minor improvementsSubjects: Number Theory (math.NT); Combinatorics (math.CO)
The paper [GLZ] "L-functions of Carlitz modules, resultantal varieties and rooted binary trees" is devoted to a description of some resultantal varieties related to L-functions of Carlitz modules. It contains a conjecture that some of these varieties coincide. This conjecture can be formulated in terms of polynomials, namely, in terms of a fact that an explicitly defined polynomial belongs to the radical of the ideal generated by some other polynomials. We give an explicit statement of this conjecture and a numerical result.
- [149] arXiv:2209.05429 (replaced) [pdf, html, other]
-
Title: $P=W$ via $\mathcal{H}_2$Comments: 54 pages. Improved exposition, added many details, W-algebra setup split into arXiv:2311.13415Subjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG); Representation Theory (math.RT)
Let $\mathcal{H}_2$ be the Lie algebra of polynomial Hamiltonian vector fields on the symplectic plane. Let $X$ be the moduli space of stable Higgs bundles of fixed relatively prime rank and degree, or more generally the moduli space of stable parabolic Higgs bundles of arbitrary rank and degree for a generic stability condition. Let $H^*(X)$ be the cohomology with rational coefficients. Using the operations of cup-product by tautological classes and Hecke correspondences we construct an action of $\mathcal{H}_2$ on $H^*(X)[x,y]$, where $x$ and $y$ are formal variables. We show that the perverse filtration on $H^*(X)$ coincides with the filtration canonically associated to $\mathfrak{sl}_2\subset \mathcal{H}_2$ and deduce the $P=W$ conjecture of de Cataldo-Hausel-Migliorini.
- [150] arXiv:2209.11893 (replaced) [pdf, html, other]
-
Title: On Z2 harmonic functions on $\mathbb{R}^2$ and the polynomial Pell's equationSubjects: Differential Geometry (math.DG); Classical Analysis and ODEs (math.CA)
There has been many studies on Z2 harmonic functions, differential forms or spinors recently. This paper focuses on a very special and relatively simple aspect: Z2 harmonic functions on $\mathbb{R}^2$ with point singularities.
- [151] arXiv:2210.00878 (replaced) [pdf, other]
-
Title: A proof of Dunfield-Gukov-Rasmussen ConjectureComments: 62 pages. This is an improved version of arXiv:2112.02428; v2:65 pages, version accepted to JEMSSubjects: Geometric Topology (math.GT); Algebraic Topology (math.AT)
In 2005 Dunfield, Gukov and Rasmussen conjectured an existence of the spectral sequence from the reduced triply graded Khovanov-Rozansky homology of a knot to its knot Floer homology defined by Ozsváth and Szabó. The main result of this paper is a proof of this conjecture. For this purpose, we construct a bigraded spectral sequence from the $\mathfrak{gl}_0$ homology constructed by the last two authors to the knot Floer homology. Using the fact that the $\mathfrak{gl}_0$ homology comes equipped with a spectral sequence from the reduced triply graded homology, we obtain our main result. The first spectral sequence is of Bockstein type and comes from a subtle manipulation of coefficients. The main tools are quantum traces of foams and of singular Soergel bimodules and a $\mathbb Z$-valued cube of resolutions model for knot Floer homology originally constructed by Ozsváth and Szabó over the field of two elements. As an application, we deduce that the $\mathfrak{gl}_0$ homology as well as the reduced triply graded Khovanov-Rozansky one detect the unknot, the two trefoils, the figure eight knot and the cinquefoil.
- [152] arXiv:2211.15652 (replaced) [pdf, html, other]
-
Title: Stochastic Optimal Control via Local Occupation MeasuresComments: 22 pages, 4 figures, associated implementation: this https URLSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
Viewing stochastic processes through the lens of occupation measures has proved to be a powerful angle of attack for the theoretical and computational analysis of stochastic optimal control problems. We present a simple modification of the traditional occupation measure framework derived from resolving the occupation measures locally on a partition of the control problem's space-time domain. This notion of local occupation measures provides fine-grained control over the construction of structured semidefinite programming relaxations for a rich class of stochastic optimal control problems with embedded diffusion and jump processes via the moment-sum-of-squares hierarchy. As such, it bridges the gap between discretization-based approximations to the Hamilton-Jacobi-Bellmann equations and occupation measure relaxations. We demonstrate with examples that this approach enables the computation of high quality bounds for the optimal value of a large class of stochastic optimal control problems with significant performance gains relative to the traditional occupation measure framework.
- [153] arXiv:2211.17241 (replaced) [pdf, html, other]
-
Title: Behavior near the extinction time for systems of differential equations with sublinear dissipation termsComments: extended with applications, 27 pages, to appear in Electronic Journal of Differential Equations (EJDE)Subjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA)
This paper is focused on the behavior near the extinction time of solutions of systems of ordinary differential equations with a sublinear dissipation term. Suppose the dissipation term is a product of a linear mapping $A$ and a positively homogeneous scalar function $H$ of a negative degree $-\alpha$. Then any solution with an extinction time $T_*$ behaves like $(T_*-t)^{1/\alpha}\xi_*$ as time $t\to T_*^-$, where $\xi_*$ is an eigenvector of $A$. The result allows the higher order terms to be general and the nonlinear function $H$ to take very complicated forms. As a demonstration, our theoretical study is applied to an inhomogeneous population model.
- [154] arXiv:2212.01531 (replaced) [pdf, html, other]
-
Title: Unique ergodicity for singular holomorphic foliations of $\mathbb{P}^3(\mathbb{C})$ with an invariant planeComments: 51 pages; major revision, many typos fixed, a gap was filled in the proof, much more details, slight extension of resultsSubjects: Dynamical Systems (math.DS); Complex Variables (math.CV)
We prove a unique ergodicity theorem for singular holomorphic foliations of $\mathbb{P}^3(\mathbb{C})$ with hyperbolic singularities and with an invariant plane with no foliation cycle, in analogy with a result of Dinh-Sibony concerning unique ergodicity for foliations of $\mathbb{P}^2(\mathbb{C})$ with an invariant line. The proof is dynamical in nature and adapts the work of Deroin-Kleptsyn to a singular context, using the fundamental integrability estimate of Nguyên.
- [155] arXiv:2212.02115 (replaced) [pdf, html, other]
-
Title: Generic multiplicative endomorphism of a fieldComments: 36 pagesSubjects: Logic (math.LO)
We introduce the model-companion of the theory of fields expanded by a unary function for a multiplicative map, which we call ACFH. Among others, we prove that this theory is NSOP$_1$ and not simple, that the kernel of the map is a generic pseudo-finite abelian group. We also prove that if forking satisfies existence, then ACFH has elimination of imaginaries.
- [156] arXiv:2212.12295 (replaced) [pdf, other]
-
Title: Convergence analysis of BDDC preconditioners for composite DG discretizations of the cardiac cell-by-cell modelSubjects: Numerical Analysis (math.NA)
A Balancing Domain Decomposition by Constraints (BDDC) preconditioner is constructed and analyzed for the solution of composite Discontinuous Galerkin discretizations of reaction-diffusion systems of ordinary and partial differential equations arising in cardiac cell-by-cell models. Unlike classical Bidomain and Monodomain cardiac models, which rely on homogenized descriptions of cardiac tissue at the macroscopic level, the cell-by-cell models enable the representation of individual cardiac cells, cell aggregates, damaged tissues, and nonuniform distributions of ion channels on the cell membrane. The resulting discrete cell-by-cell models exhibit discontinuous global solutions across the cell boundaries. Therefore, the proposed BDDC preconditioner employs appropriate dual and primal spaces with additional constraints to transfer information between cells (subdomains) without affecting the overall discontinuity of the global solution. A scalable convergence rate bound is proved for the resulting BDDC cell-by-cell preconditioned operator, while numerical tests validate this bound and investigate its dependence on the discretization parameters.
- [157] arXiv:2301.07328 (replaced) [pdf, html, other]
-
Title: Turning point principle for stability of viscous gaseous starsSubjects: Analysis of PDEs (math.AP); Solar and Stellar Astrophysics (astro-ph.SR)
We consider stability of non-rotating viscous gaseous stars modeled by the Navier-Stokes-Poisson system. Under general assumptions on the equations of states, we proved that the number of unstable modes for the linearized Navier-Stokes-Poisson system equals that of the linearized Euler-Poisson system modeling inviscid gaseous stars. In particular, the turning point principle holds true for non-rotating stars with or without viscosity. That is, the transition of stability only occurs at the extrema of the total mass and the number of unstable modes is determined by the mass-radius curve. For the proof, we establish an infinite dimensional Kelvin-Tait-Chetaev theorem for a class of linear second order PDEs with dissipation. Moreover, we prove that linear stability implies nonlinear asymptotic stability and linear instability implies nonlinear instability for Navier-Stokes-Poisson system.
- [158] arXiv:2302.13500 (replaced) [pdf, html, other]
-
Title: Bi-Coupling Method and ApplicationsComments: 24 pagesSubjects: Probability (math.PR)
By developing a new technique called the bi-coupling argument, we estimate the relative entropy between different diffusion processes in terms of the distances of initial distributions and drift-diffusion coefficients. As an application, the entropy-cost inequality is established for McKean-Vlasov SDEs with spatial-distribution dependent noise, which is open for a long time and has potential applications in optimal transport, information theory and mean field particle systems.
- [159] arXiv:2303.05633 (replaced) [pdf, html, other]
-
Title: A Rigid Kurepa Tree From a Free Suslin TreeComments: To appear in the Journal of Symbolic LogicSubjects: Logic (math.LO)
We analyze a countable support product of a free Suslin tree which turns it into a highly rigid Kurepa tree with no Aronszajn subtree. In the process, we introduce a new rigidity property for trees, which says roughly speaking that any non-trivial strictly increasing function from a section of the tree into itself maps into a cofinal branch.
- [160] arXiv:2303.14532 (replaced) [pdf, html, other]
-
Title: Stringent bounds for the non-zero Bernoulli numbersComments: 9 pagesSubjects: General Mathematics (math.GM)
We present new sharper lower and upper bounds for the non-zero Bernoulli numbers using Euler's formula for the Riemann zeta function. In particular, we determine the best possible constants $ \alpha $ and $ \beta $ such that the double inequality $$ \frac{2\cdot (2k)!}{\pi^{2k} (2^{2k}-1)}\frac{3^{2k}}{(3^{2k}-\alpha)} < \vert B_{2k} \vert < \frac{2\cdot (2k)!}{\pi^{2k} (2^{2k}-1)}\frac{3^{2k}}{(3^{2k}-\beta)}, $$ holds for $ k = 1, 2, 3, \cdots.$ Our main results refine the existing bounds of $ \vert B_{2k} \vert $ in the literature.
- [161] arXiv:2304.06418 (replaced) [pdf, html, other]
-
Title: On principal series representations of quasi-split reductive p-adic groupsComments: New in version 2: results about the independence of the choice of s_T in its Weyl group orbitSubjects: Representation Theory (math.RT)
Let G be a quasi-split reductive group over a non-archimedean local field. We establish a local Langlands correspondence for all irreducible smooth complex G-representations in the principal series. The parametrization map is injective, and its image is an explicitly described set of enhanced L-parameters. Our correspondence is determined by the choice of a Whittaker datum for G, and it is canonical given that choice.
We show that our parametrization satisfies many expected properties, among others with respect to the enhanced L-parameters of generic representations, temperedness, cuspidal supports and central characters. Along the way we characterize genericity in terms of representations of an affine Hecke algebra. - [162] arXiv:2304.07339 (replaced) [pdf, html, other]
-
Title: Nontrivial solutions to the Fermat equation $x^3+y^3=kz^3$ over quadratic number fieldsSubjects: Number Theory (math.NT)
We give sufficient conditions to determine the existence of nontrivial solutions to the Fermat equation $x^3+y^3=kz^3$ over $\mathbb{Q}(\sqrt{d})$ by constructing a relationship with the points on the elliptic curve $y^2=x^3-432d^3k^2$ over $\mathbb{Q}$ for certain $k\in\mathbb{N}$.
- [163] arXiv:2304.12482 (replaced) [pdf, html, other]
-
Title: Information Theory for Complex Systems ScientistsSubjects: Information Theory (cs.IT); Data Analysis, Statistics and Probability (physics.data-an); Quantitative Methods (q-bio.QM); Other Statistics (stat.OT)
In the 21st century, many of the crucial scientific and technical issues facing humanity can be understood as problems associated with understanding, modelling, and ultimately controlling complex systems: systems comprised of a large number of non-trivially interacting components whose collective behaviour can be difficult to predict. Information theory, a branch of mathematics historically associated with questions about encoding and decoding messages, has emerged as something of a lingua franca for those studying complex systems, far exceeding its original narrow domain of communication systems engineering. In the context of complexity science, information theory provides a set of tools which allow researchers to uncover the statistical and effective dependencies between interacting components; relationships between systems and their environment; mereological whole-part relationships; and is sensitive to non-linearities missed by commonly parametric statistical models.
In this review, we aim to provide an accessible introduction to the core of modern information theory, aimed specifically at aspiring (and established) complex systems scientists. This includes standard measures, such as Shannon entropy, relative entropy, and mutual information, before building to more advanced topics, including: information dynamics, measures of statistical complexity, information decomposition, and effective network inference. In addition to detailing the formal definitions, in this review we make an effort to discuss how information theory can be interpreted and develop the intuition behind abstract concepts like "entropy," in the hope that this will enable interested readers to understand what information is, and how it is used, at a more fundamental level. - [164] arXiv:2305.08086 (replaced) [pdf, html, other]
-
Title: A note on an application of discrete Morse theoretic techniques on the complex of disconnected graphsComments: 7 pages, 3 figuresJournal-ref: Examples and Counterexamples, Volume 7, June 2025, 100174Subjects: Combinatorics (math.CO); Algebraic Topology (math.AT)
Robin Forman's highly influential 2002 paper A User's Guide to Discrete Morse Theory presents an overview of the subject in a very readable manner. As a proof of concept, the author determines the topology (homotopy type) of the abstract simplicial complex of disconnected graphs of order $n$ (which was previously done by Victor Vassiliev using classical topological methods) using discrete Morse theoretic techniques, which are purely combinatorial in nature. The techniques involve the construction (and verification) of a discrete gradient vector field on the complex. However, the verification part relies on a claim that doesn't seem to hold. In this note, we provide a couple of counterexamples against this specific claim. We also provide an alternative proof of the bigger claim that the constructed discrete vector field is indeed a gradient vector field. Our proof technique relies on a key observation which is not specific to the problem at hand, and thus is applicable while verifying a constructed discrete vector field is a gradient one in general.
- [165] arXiv:2305.15595 (replaced) [pdf, html, other]
-
Title: Time-Varying Convex Optimization: A Contraction and Equilibrium Tracking ApproachSubjects: Optimization and Control (math.OC); Signal Processing (eess.SP); Systems and Control (eess.SY)
In this article, we provide a novel and broadly-applicable contraction-theoretic approach to continuous-time time-varying convex optimization. For any parameter-dependent contracting dynamics, we show that the tracking error is asymptotically proportional to the rate of change of the parameter and that the proportionality constant is upper bounded by Lipschitz constant in which the parameter appears divided by the contraction rate of the dynamics squared. We additionally establish that augmenting any parameter-dependent contracting dynamics with a feedforward prediction term ensures that the tracking error vanishes exponentially quickly. To apply these results to time-varying convex optimization, we establish the strong infinitesimal contractivity of dynamics solving three canonical problems: monotone inclusions, linear equality-constrained problems, and composite minimization problems. For each case, we derive the sharpest-known contraction rates and provide explicit bounds on the tracking error between solution trajectories and minimizing trajectories. We validate our theoretical results on two numerical examples and on an application to control barrier function-based controller design that involves real hardware.
- [166] arXiv:2305.17822 (replaced) [pdf, html, other]
-
Title: Hypergraph independence polynomials with a zero close to the originComments: 5 pages, 1 figures. Correct typos, and incorporate referee feedbacksSubjects: Combinatorics (math.CO)
For each uniformity $k \geq 3$, we construct $k$-uniform linear hypergraphs $G$ with arbitrarily large maximum degree $\Delta$ whose independence polynomial $Z_G$ has a root $\lambda$ with $\lvert\lambda\rvert = O\left(\frac{\log \Delta}{\Delta}\right)$. This disproves a recent conjecture of Galvin, McKinley, Perkins, Sarantis, and Tetali.
- [167] arXiv:2306.01462 (replaced) [pdf, html, other]
-
Title: Random eigenvalues of graphenes and the triangulation of planeSubjects: Spectral Theory (math.SP); Probability (math.PR)
We analyse the numbers of closed paths of length $k\in\mathbb{N}$ on two important regular lattices: the hexagonal lattice (also called $\textit{graphene}$ in chemistry) and its dual triangular lattice. These numbers form a moment sequence of specific random variables connected to the distance of a position of a planar random flight (in three steps) from the origin. Here, we refer to such a random variable as a $\textit{random eigenvalue}$ of the underlying lattice. Explicit formulas for the probability density and characteristic functions of these random eigenvalues are given for both the hexagonal and the triangular lattice. Furthermore, it is proven that both probability distributions can be approximated by a functional of the random variable uniformly distributed on increasing intervals $[0,b]$ as $b\to\infty$. This yields a straightforward method to simulate these random eigenvalues without generating graphene and triangular lattice graphs. To demonstrate this approximation, we first prove a key integral identity for a specific series containing the third powers of the modified Bessel functions $I_n$ of $n$th order, $n\in\mathbb{Z}$. Such series play a crucial role in various contexts, in particular, in analysis, combinatorics, and theoretical physics.
- [168] arXiv:2306.01759 (replaced) [pdf, html, other]
-
Title: Unlikely intersection in higher-dimensional formal groupsComments: 22 pages, Comments are welcome!Subjects: Number Theory (math.NT)
In this work, we identify a certain family of higher-dimensional formal groups over the ring of $p$-adic integers such that any two formal groups in that class coincide if they share infinitely many torsion points. As a useful application, we provide a sufficient condition for two abelian varieties to be isogenous just by looking at their $p$-power torsion points.
- [169] arXiv:2306.17261 (replaced) [pdf, html, other]
-
Title: Dual coalgebras of twisted tensor productsComments: 30 pages. Section 5 added with several new examples. This paper includes material that was removed from an earlier version of arXiv:2111.07081Subjects: Rings and Algebras (math.RA); Category Theory (math.CT)
We investigate cases where the finite dual coalgebra of a twisted tensor product of two algebras is a cotwisted tensor product of their respective finite dual coalgebras. This is achieved by interpreting the finite dual as a topological dual; in order to prove this, we show that the continuous dual is a strong monoidal functor on linearly topologized vector spaces whose open subspaces have finite codimension. We describe a sufficient condition for the result on finite dual coalgebras to be applied, and we this condition to particular constructions including Ore extensions, smash product algebras, and crossed product bialgebras.
- [170] arXiv:2307.02444 (replaced) [pdf, other]
-
Title: Foundations of Differential Calculus for modules over posetsComments: 48 pages, 3 figuresSubjects: Algebraic Topology (math.AT)
Let $k$ be a field and let $C$ be a small category. A $k$-linear representation of $C$, or a $kC$-module, is a functor from $C$ to the category of finite dimensional vector spaces over $k$. Unsurprisingly, it turns out that when the category $C$ is more general than a linear order, then its representation type is generally infinite and in most cases wild. Hence the task of understanding such representations in terms of their indecomposable factors becomes difficult at best, and impossible in general. This paper offers a new set of ideas designed to enable studying modules locally. Specifically, inspired by work in discrete calculus on graphs, we set the foundations for a calculus type analysis of $kC$-modules, under some restrictions on the category $C$. As a starting point, for a $kC$-module $M$ we define its gradient \emph{gradient} $\nabla[M]$ as a virtual module in the appropriate Grothendieck group. Pushing the analogy with ordinary differential calculus and discrete calculus on graphs, we define left and right divergence via the appropriate left and right Kan extensions and two bilinear pairings on modules and study their properties, specifically with respect to adjointness relations between the gradient and the left and right divergence. The left and right divergence are shown to be rather easily computable in favourable cases. Having set the scene, we concentrate specifically on the case where the category $C$ is a finite poset. Our main result is a necessary and sufficient condition for the gradient of a module $M$ to vanish under certain hypotheses on the poset. We next investigate implications for two modules whose gradients are equal. Finally we consider the resulting left and right Laplacians, namely the compositions of the divergence with the gradient, and study an example of the relationship between the vanishing of the Laplacians and the gradient.
- [171] arXiv:2308.11967 (replaced) [pdf, other]
-
Title: Duality for Clans: an Extension of Gabriel-Ulmer DualityComments: 36 pagesSubjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Logic (math.LO)
Clans are representations of generalized algebraic theories that contain more information than the finite-limit categories associated to the locally finitely presentable categories of models via Gabriel-Ulmer duality. Extending Gabriel-Ulmer duality to account for this additional information, we present a duality theory between clans and locally finitely presentable categories equipped with a weak factorization system of a certain kind.
- [172] arXiv:2309.09856 (replaced) [pdf, html, other]
-
Title: Polarized Hardy--Stein identityComments: 32 pages, small editorial changesJournal-ref: Journal of Functional Analysis, Volume 288, Issue 7, 1 April 2025, 110827Subjects: Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA); Probability (math.PR)
We prove the Hardy--Stein identity for vector functions in $L^p(\mathbb R^d;\mathbb R^n)$ with $1<p<\infty$ and for the canonical paring of two real functions in $L^p(\mathbb R^d)$ with $2\le p<\infty$. To this end we propose a notion of Bregman co-divergence and study the corresponding integral forms.
- [173] arXiv:2309.15524 (replaced) [pdf, html, other]
-
Title: The Analogue of Aldous' spectral gap conjecture for the generalized exclusion processComments: 18 pages, 4 figures. Final version, to appear in Communications in AlgebraSubjects: Probability (math.PR)
Caputo, Ligget, and Richthammer proved Aldous' spectral gap conjecture, which asserts that the spectral gaps of a random walk and an interchange process on the common weighted graph are equal. In this paper, we will prove an analogue of Aldous' spectral gap conjecture for generalized exclusion processes, which explicitly describes the spectral gap of a generalized exclusion process by the spectral gap of a random walk.
- [174] arXiv:2309.16105 (replaced) [pdf, html, other]
-
Title: Differentially Private Secure Multiplication: Hiding Information in the Rubble of NoiseComments: Extended version of papers presented in IEEE ISIT 2022, IEEE ISIT 2023 and TPDP 2023Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG)
We consider the problem of private distributed multi-party multiplication. It is well-established that Shamir secret-sharing coding strategies can enable perfect information-theoretic privacy in distributed computation via the celebrated algorithm of Ben Or, Goldwasser and Wigderson (the "BGW algorithm"). However, perfect privacy and accuracy require an honest majority, that is, $N \geq 2t+1$ compute nodes are required to ensure privacy against any $t$ colluding adversarial nodes. By allowing for some controlled amount of information leakage and approximate multiplication instead of exact multiplication, we study coding schemes for the setting where the number of honest nodes can be a minority, that is $N< 2t+1.$ We develop a tight characterization privacy-accuracy trade-off for cases where $N < 2t+1$ by measuring information leakage using {differential} privacy instead of perfect privacy, and using the mean squared error metric for accuracy. A novel technical aspect is an intricately layered noise distribution that merges ideas from differential privacy and Shamir secret-sharing at different layers.
- [175] arXiv:2311.07727 (replaced) [pdf, html, other]
-
Title: Spherical complexesComments: Comments are welcomeSubjects: Commutative Algebra (math.AC); Algebraic Topology (math.AT); Combinatorics (math.CO)
In this paper we define spherical complexes as simplicial complexes with the property that every subcomplex obtained by a sequence of links and deletions either has trivial homology, or has the homology of a sphere. Examples of such complexes are independence complexes of ternary graphs and independence complexes of simplicial forests. We give criteria for when a spherical complex is acyclic, and describe the dimension of the sphere when it is not. We then apply our results to compute the Leray number of these complexes, and define combinatorial invariants for them which are counterparts to algebraic invariants of their Stanley-Reisner rings.
- [176] arXiv:2311.09111 (replaced) [pdf, html, other]
-
Title: Graph Compression with Side Information at the DecoderComments: 22 pages, 2 figuresSubjects: Information Theory (cs.IT)
In this paper, we study the problem of graph compression with side information at the decoder. The focus is on the situation when an unlabelled graph (which is also referred to as a structure) is to be compressed or is available as side information. For correlated Erdős-Rényi weighted random graphs, we give a precise characterization of the smallest rate at which a labelled graph or its structure can be compressed with aid of a correlated labelled graph or its structure at the decoder. We approach this problem by using the entropy-spectrum framework and establish some convergence results for conditional distributions involving structures, which play a key role in the construction of an optimal encoding and decoding scheme. Our proof essentially uses the fact that, in the considered correlated Erdős-Rényi model, the structure retains most of the information about the labelled graph. Furthermore, we consider the case of unweighted graphs and present how the optimal decoding can be done using the notion of graph alignment.
- [177] arXiv:2312.07450 (replaced) [pdf, html, other]
-
Title: The Pfaffian Structure of CFN Phylogenetic NetworksComments: 26 pages, 3 figures, 3 tablesSubjects: Algebraic Geometry (math.AG); Populations and Evolution (q-bio.PE)
Algebraic techniques in phylogenetics have historically been successful at proving identifiability results and have also led to novel reconstruction algorithms. In this paper, we study the ideal of phylogenetic invariants of the Cavender-Farris-Neyman (CFN) model on a phylogenetic network with the goal of providing a description of the invariants which is useful for network inference. It was previously shown that to characterize the invariants of any level-1 network, it suffices to understand all sunlet networks, which are those consisting of a single cycle with a leaf adjacent to each cycle vertex. We show that the parameterization of an affine open patch of the CFN sunlet model, which intersects the probability simplex factors through the space of skew-symmetric matrices via Pfaffians. We then show that this affine patch is isomorphic to a determinantal variety and give an explicit Gr{ö}bner basis for the associated ideal, which involves only polynomially many coordinates. Lastly, we show that sunlet networks with at least 6 leaves are identifiable using only these polynomials and run extensive simulations, which show that these polynomials can be used to accurately infer the correct network from DNA sequence data.
- [178] arXiv:2401.01241 (replaced) [pdf, html, other]
-
Title: Polynomial Fourier decay for fractal measures and their pushforwardsComments: 53 pages, 1 figure. v2 has several clarifications and changes to structure and numbering; main results are unchanged. To appear in Mathematische AnnalenSubjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA)
We prove that the pushforwards of a very general class of fractal measures $\mu$ on $\mathbb{R}^d$ under a large family of non-linear maps $F \colon \mathbb{R}^d \to \mathbb{R}$ exhibit polynomial Fourier decay: there exist $C,\eta>0$ such that $|\widehat{F\mu}(\xi)|\leq C|\xi|^{-\eta}$ for all $\xi\neq 0$. Using this, we prove that if $\Phi = \{ \varphi_a \colon [0,1] \to [0,1] \}_{a \in \mathcal{A}}$ is an iterated function system consisting of analytic contractions, and there exists $a \in \mathcal{A}$ such that $\varphi_a$ is not an affine map, then every non-atomic self-conformal measure for $\Phi$ has polynomial Fourier decay; this result was obtained simultaneously by Algom, Rodriguez Hertz, and Wang. We prove applications related to the Fourier uniqueness problem, Fractal Uncertainty Principles, Fourier restriction estimates, and quantitative equidistribution properties of numbers in fractal sets.
- [179] arXiv:2401.06006 (replaced) [pdf, html, other]
-
Title: Almost finiteness and groups of dynamical originComments: 10 pages; to be published in Int. Math. Res. Not. IMRN; major changes, non-amenable part split into separate paperSubjects: Dynamical Systems (math.DS); Operator Algebras (math.OA)
We introduce the property of having good subgroups for actions of countable discrete groups on compact metrizable spaces, and show that it implies comparison when the acting group is amenable. As a consequence, free actions on finite-dimensional spaces of many notable amenable groups of dynamical origin are almost finite. For instance, this applies to topological full groups of Cantor minimal systems and the Basilica group. In particular, minimal such actions give rise to classifiable crossed products.
- [180] arXiv:2401.06053 (replaced) [pdf, html, other]
-
Title: W*-superrigidity for cocycle twisted group von Neumann algebrasComments: v3: minor changes, final version, to appear in Inventiones MathematicaeSubjects: Operator Algebras (math.OA); Group Theory (math.GR)
We construct countable groups $G$ with the following new degree of W*-superrigidity: if $L(G)$ is virtually isomorphic, in the sense of admitting a bifinite bimodule, with any other group von Neumann algebra $L(\Lambda)$, then the groups $G$ and $\Lambda$ must be virtually isomorphic. Moreover, we allow both group von Neumann algebras to be twisted by an arbitrary $2$-cocycle. We also give examples of II$_1$ factors $N$ that are indecomposable in every sense: they are not virtually isomorphic to any cocycle twisted groupoid von Neumann algebra.
- [181] arXiv:2401.06536 (replaced) [pdf, other]
-
Title: Controlling the Rates of a Chain of Harmonic Oscillators with a Point Langevin ThermostatSubjects: Optimization and Control (math.OC)
We consider the control problem of controlling the rates of an infinite chain of coupled harmonic oscillators with a Langevin thermostat at the origin. We study the effect of two types of open-loop boundary controls, impulsive control and linear memory-feedback control, in the high frequency limit. We investigate their action on the reflection-transmission coefficients for the wave energy for the scattering of the thermostat. Our study shows that the impulsive boundary controls have no impact on the rates and are thus not appropriate to act on the system, despite their physical meaning and relevance. In contrast, the second kind of control that we propose, which is less standard and uses the past of the state solution of the system, is adequate and relevant. We prove that any triple of rates satisfying appropriate assumptions is asymptotically reachable thanks to the linear memory-feedback controls that we design explicitly.
- [182] arXiv:2401.10146 (replaced) [pdf, html, other]
-
Title: Approximation by perfect complexes detects Rouquier dimensionComments: Current: Final version, to appear in Mosc. Math. J. Previous: v1, comments welcome!Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
This work explores bounds on the Rouquier dimension in the bounded derived category of coherent sheaves on Noetherian schemes. By utilizing approximations, we exhibit that Rouquier dimension is inherently characterized by the number of cones required to build all perfect complexes. We use this to prove sharper bounds on Rouquier dimension of singular schemes. Firstly, we show Rouquier dimension doesn't go up along étale extensions and is invariant under étale covers of affine schemes admitting a dualizing complex. Secondly, we demonstrate that the Rouquier dimension of the bounded derived category for a curve, with a delta invariant of at most one at closed points, is no larger than two. Thirdly, we bound the Rouquier dimension for the bounded derived category of a (birational) derived splinter variety by that of a resolution of singularities.
- [183] arXiv:2402.00226 (replaced) [pdf, html, other]
-
Title: Forcing Over a Free Suslin TreeComments: Corrected a few typosSubjects: Logic (math.LO)
We introduce an abstract framework for forcing over a free Suslin tree with suborders of products of forcings which add some structure to the tree using countable approximations. The main ideas of this framework are consistency, separation, and the Key Property. We give three applications of this framework: specializing derived trees of a free Suslin tree, adding uncountable almost disjoint subtrees of a free Suslin tree, and adding almost disjoint automorphisms of a free Suslin tree. Using the automorphism forcing, we construct a model in which there is an almost Kurepa Suslin tree and a non-saturated Aronszajn tree, and there does not exist a Kurepa tree. This model solves open problems due to Bilaniuk, Moore, and Jin and Shelah.
- [184] arXiv:2402.01474 (replaced) [pdf, html, other]
-
Title: Eigenvalues of the magnetic Dirichlet Laplacian with constant magnetic field on disks in the strong field limitComments: 31 pages, 2 figures; few minor changes; final version as published in Analysis and Mathematical PhysicsSubjects: Spectral Theory (math.SP)
We consider the magnetic Dirichlet Laplacian with constant magnetic field on domains of finite measure. First, in the case of a disk, we prove that the eigenvalue branches with respect to the field strength behave asymptotically linear with an exponentially small remainder term as the field strength goes to infinity. We compute the asymptotic expression for this remainder term. Second, we show that for sufficiently large magnetic field strengths, the spectral bound corresponding to the Pólya conjecture for the non-magnetic Dirichlet Laplacian is violated up to a sharp excess factor which is independent of the domain.
- [185] arXiv:2402.04076 (replaced) [pdf, html, other]
-
Title: Fractional Sobolev spaces on Riemannian manifoldsComments: Proof of inequality (49) corrected. arXiv admin note: substantial text overlap with arXiv:2306.07100Subjects: Analysis of PDEs (math.AP)
This article studies the canonical Hilbert energy $H^{s/2}(M)$ on a Riemannian manifold for $s\in(0,2)$, with particular focus on the case of closed manifolds. Several equivalent definitions for this energy and the fractional Laplacian on a manifold are given, and they are shown to be identical up to explicit multiplicative constants. Moreover, the precise behavior of the kernel associated with the singular integral definition of the fractional Laplacian is obtained through an in-depth study of the heat kernel on a Riemannian manifold. Furthermore, a monotonicity formula for stationary points of functionals of the type $$ \mathcal E(v)=[v]^2_{H^{s/2}(M)}+\int_M F(v) \, dV \,, \,\,\, F \ge 0 \,, $$ is given, which includes, in particular, the case of nonlocal $s$-minimal surfaces. Finally, we prove some estimates for the Caffarelli-Silvestre extension problem, which are of general interest.
This work is motivated by a recent article by the authors, which proves the nonlocal version of a conjecture of Yau. - [186] arXiv:2402.13544 (replaced) [pdf, html, other]
-
Title: Monoidal Jantzen filtrationsComments: 61 pages, v3: revised introduction, fixed typos, updated referencesSubjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
We introduce a monoidal analogue of Jantzen filtrations in the framework of monoidal abelian categories with generic braidings. It leads to a deformation of the multiplication of the Grothendieck ring. We conjecture, and we prove in many remarkable situations, that this deformation is associative so that our construction yields a quantization of the Grothendieck ring as well as analogs of Kazhdan-Lusztig polynomials. As a first main example, for finite-dimensional representations of simply-laced quantum loop algebras, we prove the associativity and we establish that the resulting quantization coincides with the quantum Grothendieck ring constructed by Nakajima and Varagnolo-Vasserot in a geometric manner. Hence, it yields a unified representation-theoretic interpretation of the quantum Grothendieck ring. As a second main example, we establish an analogous result for a monoidal category of finite-dimensional modules over symmetric quiver Hecke algebras categorifying the coordinate ring of a unipotent group associated with a Weyl group element. We obtain various applications, in particular on the homological structure of representations.
- [187] arXiv:2402.18188 (replaced) [pdf, html, other]
-
Title: Mass action systems: two criteria for Hopf bifurcation without HurwitzComments: 23 pages, 2 figuresSubjects: Dynamical Systems (math.DS)
We state two sufficient criteria for periodic oscillations in mass action systems. Neither criterion requires a computation of the Hurwitz determinants. Instead, both criteria exploit the linear algebra concepts of $D$-stability and $P$-matrices. The criteria are complementary: the first is based on a stable matrix that is not a $P^-$ matrix, while the second is based on a $P^-$ matrix that is not stable. In analogy, a qualitatively different interpretation follows: the first criterion relates to positive feedback in the network, while the second concerns negative feedback. We present examples that showcase the applicability of both criteria. As a final independent remark, we prove that for the special case of fully-open networks, the capacity for Hopf bifurcation is just equivalent to the capacity for a steady-state with a complex pair of eigenvalues with positive-real part.
- [188] arXiv:2403.04108 (replaced) [pdf, other]
-
Title: Monotonicity, Topology, and Convexity of Recurrence in Random WalksComments: 20 pages, 1 figure. Updated to include trees, topology, and convexitySubjects: Probability (math.PR); Combinatorics (math.CO)
We consider non-homogeneous random walks on the two-dimensional positive quadrant $\mathbb{N}^2$ and the one-dimensional slab $\{0,1,\dots,k\}\times\mathbb{N}$. In the 1960's the following question was asked for $\mathbb{N}^2$: is it true if such a random walk $X$ is recurrent and $Y$ is another random walk that at every point is more likely to go down and more likely to go left than $Y$, then $Y$ is also recurrent?
We provide an example showing that the answer is negative. We also show, via a coupling argument, that if either the random walk $X$ or $Y$ is sufficiently homogeneous then the answer is in fact positive. In addition, we show using the Rayleigh monotonicity principle that the analogous question for random walks on trees is positive.
These results show that the subset of parameter space that yields recurrent random walks possesses some geometric properties, in this case the structure of an order ideal. Motivated by this perspective, we consider the more symmetric setting of homogeneous random walks on finitely generated abelian groups, and ask when this subset possesses other geometric properties, namely various topological properties and convexity. We answer some of these questions: in particular, we show that this subset is closed, and under a symmetric support condition, show it is path-connected and additionally show it is convex if and only if its effective dimension is at most 2. We also show its complement is in some sense typically path-connected but not convex. We finally propose some related open problems. - [189] arXiv:2403.07466 (replaced) [pdf, html, other]
-
Title: Norms in sinogram space and stability estimates for the Radon transformComments: 33 pages, 5 figuresSubjects: Functional Analysis (math.FA)
We consider different norms for the Radon transform $Rf$ of a function $f$ and investigate under which conditions they can be estimated from above or below by some standard norms for $f$. We define Fourier-based norms for $Rf$ which can be related to Bessel-potential space norms for $f$. Furthermore, we define a variant of a total-variation norm for $Rf$ and provide conditions under which it is equivalent to the total-variation norm of $f$. To illustrate potential applications of these results, we propose a novel nonlinear backprojection method for inverting the Radon transform and present numerical results on simulated and experimental data.
- [190] arXiv:2403.07772 (replaced) [pdf, html, other]
-
Title: Privacy Guarantees in Posterior Sampling under ContaminationComments: 54 pages, 4 figures. Updated for resubmissionSubjects: Statistics Theory (math.ST)
In recent years differential privacy has been adopted by tech-companies and governmental agencies as the standard for measuring privacy in algorithms. In this article, we study differential privacy in Bayesian posterior sampling settings. We begin by considering differential privacy in the most common privatization setting in which Laplace or Gaussian noise is simply injected into the output. In an effort to achieve better differential privacy, we consider adopting {\em Huber's contamination model} for use within privacy settings, and replace at random data points with samples from a heavy-tailed distribution ({\em instead} of injecting noise into the output). We derive bounds for the differential privacy level $(\epsilon,\delta)$ of our approach, without the need to impose the restriction of having a bounded observation and parameter space which is commonly used by existing approaches and literature. We further consider for our approach the effect of sample size on the privacy level and the convergence rate of $(\epsilon,\delta)$ to zero. Asymptotically, our contamination approach is fully private at no cost of information loss. We also provide some examples depicting inference models that our setup is applicable to with a theoretical estimation of the convergence rate, together with some simulations.
- [191] arXiv:2403.11750 (replaced) [pdf, html, other]
-
Title: Asymptotically Optimal Codes for $(t,s)$-Burst ErrorComments: This paper is accepted for publication in IEEE Transactions on Information TheorySubjects: Information Theory (cs.IT)
Recently, codes for correcting a burst of errors have attracted significant attention. One of the most important reasons is that bursts of errors occur in certain emerging techniques, such as DNA storage. In this paper, we investigate a type of error, called a $(t,s)$-burst, which deletes $t$ consecutive symbols and inserts $s$ arbitrary symbols at the same coordinate. Note that a $(t,s)$-burst error can be seen as a generalization of a burst of insertions ($t=0$), a burst of deletions ($s=0$), and a burst of substitutions ($t=s$). Our main contribution is to give explicit constructions of $q$-ary $(t,s)$-burst correcting codes with $\log n + O(1)$ bits of redundancy for any given constant non-negative integers $t$, $s$, and $q \geq 2$. These codes have optimal redundancy up to an additive constant. Furthermore, we apply our $(t,s)$-burst correcting codes to combat other various types of errors and improve the corresponding results. In particular, one of our byproducts is a permutation code capable of correcting a burst of $t$ stable deletions with $\log n + O(1)$ bits of redundancy, which is optimal up to an additive constant.
- [192] arXiv:2403.15255 (replaced) [pdf, html, other]
-
Title: Non-traditional Cartan subalgebras in twisted groupoid C*-algebrasComments: v4: Fixed a gap in the proof of Prop 3.14 by adding Lemma 3.22. Added figures. [34p] Accepted for publication in International Mathematics Research Notices, published by Oxford University PressSubjects: Operator Algebras (math.OA)
Well-known work of Renault shows that if $\mathcal{E}$ is a twist over a second countable, effective, étale groupoid $G$, then there is a naturally associated Cartan subalgebra of the reduced twisted groupoid C*-algebra $C^*_{r}(G; E)$, and that every Cartan subalgebra of a separable C*-algebra arises in this way. However twisted C*-algebras of non-effective groupoids $G$ can also possess Cartan subalgebras: In work by the first author together with Gillaspy, Norton, Reznikoff, and Wright, sufficient conditions on a subgroupoid $S$ of $G$ were found that ensure that $S$ gives rise to a Cartan subalgebra in the cocycle-twisted C*-algebra of $G$. In this paper, we extend these results to general twists $\mathcal{E}$, and we refine the conditions on the subgroupoid for $C^*_{r}(S;\mathcal{E}_S)$ to be a Cartan subalgebra of $C^*_{r}(G;\mathcal{E})$.
- [193] arXiv:2403.19472 (replaced) [pdf, other]
-
Title: Assembly of Constructible Factorization AlgebrasComments: 81 pages + 26 pages appendix; v3: Added Lemma 4.13 and modified some arguments in sections 4.2 and 6.3 to circumvent dendroidal cofibrancy issues arising from the empty set, reformulated Lemma A.4, other minor fixes and improvementsSubjects: Algebraic Topology (math.AT); Category Theory (math.CT); Quantum Algebra (math.QA)
We provide a toolbox of extension, gluing, and assembly techniques for factorization algebras.
Using these tools, we fill various gaps in the literature on factorization algebras on stratified manifolds, the main one being that constructible factorization algebras form a sheaf of symmetric monoidal $\infty$-categories. Additionally, we explain how to assemble constructible factorization algebras from the data on the individual strata together with module structures associated to the relative links; thus answering a question by Ayala.
Along the way, we give detailed proofs of the following facts which are also of independent interest: constructibility is a local condition; the $\infty$-category of disks is a localization of any sufficiently fine poset of disks; constructibility implies the Weiss condition on disks; constructible factorization algebras are algebras for the $\infty$-operad of embedded disks. For each of these, variants or special cases already existed, but they were either incomplete or not general enough. - [194] arXiv:2404.00624 (replaced) [pdf, html, other]
-
Title: A note on necessary conditions for a friend of 10Subjects: Number Theory (math.NT)
Solitary numbers are shrouded with mystery. A folklore conjecture assert that 10 is a solitary number i.e. it has no friends. In this article, we establish that if $N$ is a friend of $10$ then it must be odd square with at least seven distinct prime factors, with $5$ being the least one. Moreover there exists a prime factor $p$ of $N$ such that $2a+1\equiv 0 \pmod f$ and $5^{f}\equiv 1 \pmod p$ where $f$ is the smallest odd positive integer greater than $1$ and less than or equal to $\min\{ 2a+1,p-1\}$, provided $5^{2a}\mid \mid N$. Further, there exist prime factors $p$ and $q$ (not necessarily distinct) of $N$ such that $p\equiv1 \pmod {10}$ and $q\equiv 1\pmod 6$. Besides, we prove that if a Fermat prime $F_k$ divides $N$ then $N$ must have a prime factor congruent to $1$ modulo $2F_k$. Also, if we consider the form of $N$ as $N=5^{2a}m^2$ then $m$ is non square-free. Furthermore, we show that $\Omega(N)\geq 2\omega(N)+6a-4$ and if $\Omega(m)\leq K$ then $N< 5\cdot 6^{(2^{K-2a+1}-1)^2}$ where $\Omega(n)$ and $\omega(n)$ denote the total number of prime factors and the number of distinct prime factors of the integer $n$ respectively.
- [195] arXiv:2404.01755 (replaced) [pdf, html, other]
-
Title: Soliton Amplification in the Korteweg-de Vries Equation by Multiplicative ForcingComments: 30 pages, 1 figure. Minor corrections, version accepted in Communications on Pure and Applied AnalysisSubjects: Analysis of PDEs (math.AP)
We study the stability and dynamics of solitons in the Korteweg-de Vries (KdV) equation with small multiplicative forcing. Forcing breaks the conservative structure of the KdV equation, leading to substantial changes in energy over long times. We show that, for small forcing, the inserted energy is almost fully absorbed by the soliton, resulting in a drastically changed amplitude and velocity. We decompose the solution to the forced equation into a modulated soliton and an infinite dimensional perturbation. Assuming slow exponential decay of the forcing, we show that the perturbation decays at the same exponential rate in a weighted Sobolev norm centered around the soliton.
- [196] arXiv:2404.04194 (replaced) [pdf, other]
-
Title: A Newton method for solving locally definite multiparameter eigenvalue problems by multiindexSubjects: Numerical Analysis (math.NA)
We present a new approach to compute eigenvalues and eigenvectors of locally definite multiparameter eigenvalue problems by its signed multiindex. The method has the interpretation of a semismooth Newton method applied to certain functions that have a unique zero. We can therefore show local quadratic convergence, and for certain extreme eigenvalues even global linear convergence of the method. Local definiteness is a weaker condition than right and left definiteness, which is often considered for multiparameter eigenvalue problems. These conditions are naturally satisfied for multiparameter Sturm-Liouville problems that arise when separation of variables can be applied to multidimensional boundary eigenvalue problems.
- [197] arXiv:2404.12688 (replaced) [pdf, html, other]
-
Title: Change of Measure for Bayesian Field Inversion with Hierarchical Hyperparameters SamplingNadège Polette (CEA/DAM, GEOSCIENCES), Olivier Le Maître (PLATON, CMAP), Pierre Sochala (CEA/DAM), Alexandrine Gesret (GEOSCIENCES)Subjects: Numerical Analysis (math.NA)
This paper proposes an effective treatment of hyperparameters in the Bayesian inference of a scalar field from indirect observations. Obtaining the joint posterior distribution of the field and its hyperparameters is challenging. The infinite dimensionality of the field requires a finite parametrization that usually involves hyperparameters to reflect the limited prior knowledge. In the present work, we consider a Karhunen-Lo{è}ve(KL) decomposition for the random field and hyperparameters to account for the lack of prior knowledge of its autocovariance function. The hyperparameters must be inferred. To efficiently sample jointly the KL coordinates of the field and the autocovariance hyperparameters, we introduce a change of measure to reformulate the joint posterior distribution into a hierarchical Bayesian form. The likelihood depends only onthe field's coordinates in a fixed KL basis, with a prior conditioned on the hyperparameters. We exploit this structure to derive an efficient Markov Chain Monte Carlo (MCMC) sampling scheme based on an adapted Metropolis-Hasting algorithm. We rely on surrogate models (Polynomial Chaos expansions) of the forward model predictions to further accelerate the MCMC sampling. A first application to a transient diffusionproblem shows that our method is consistent with other approaches based on a change of coordinates (Sraj et al., 2016). A second application to a seismic traveltime tomography highlights the importance of inferring the hyperparameters. A third application to a 2D anisotropic groundwater flow problem illustrates the method on a more complex geometry.
- [198] arXiv:2405.01519 (replaced) [pdf, html, other]
-
Title: The heat equation with time-correlated random potential in d=2: Edwards-Wilkinson fluctuationsComments: 56 pages, typo corrections, some minor corrections in the proofs, submittedSubjects: Probability (math.PR)
We consider the stochastic PDE:
$\partial_tu(t,x)=\frac{1}{2}\Delta u(t,x)+{\beta}{}u(t,x)V(t,x),$
in dimension $d=2$, where the potential V is the space and time mollification of the two-dimensional space-time white noise. We show that after renormalizing, the fluctuations of the solution converge to the Edwards-Wilkinson limit with an explicit effective variance and constant effective diffusivity. Our main tool is a Markov chain on the space of paths which we use to establish an extension of the Kallianpur-Robbins law to a specific regenerative process. - [199] arXiv:2405.08450 (replaced) [pdf, html, other]
-
Title: Effective Front-Descent Algorithms with Convergence GuaranteesSubjects: Optimization and Control (math.OC)
In this manuscript, we address continuous unconstrained multi-objective optimization problems and we discuss descent type methods for the reconstruction of the Pareto set. Specifically, we analyze the class of Front Descent methods, which generalizes the Front Steepest Descent algorithm allowing the employment of suitable, effective search directions (e.g., Newton, Quasi-Newton, Barzilai-Borwein). We provide a deep characterization of the behavior and the mechanisms of the algorithmic framework, and we prove that, under reasonable assumptions, standard convergence results and some complexity bounds hold for the generalized approach. Moreover, we prove that popular search directions can indeed be soundly used within the framework. Then, we provide a completely novel type of convergence results, concerning the sequence of sets produced by the procedure. In particular, iterate sets are shown to asymptotically approach stationarity for all of their points; the convergence result is accompanied by a worst-case iteration complexity bound; additionally, in finite precision settings, the sets are shown to only be enriched through exploration steps in later iterations, and suitable stopping conditions can be devised. Finally, the results from a large experimental benchmark show that the proposed class of approaches far outperforms state-of-the-art methodologies.
- [200] arXiv:2405.08532 (replaced) [pdf, other]
-
Title: A dynamical view of Tijdeman's solution of the chairman assignment problemValérie Berthé (IRIF (UMR\_8243)), Olivier Carton (IRIF (UMR\_8243)), Nicolas Chevallier (IRIMAS), Wolfgang Steiner (IRIF (UMR\_8243)), Reem YassawiSubjects: Dynamical Systems (math.DS)
In 1980, R. Tijdeman provided an on-line algorithm that generates sequences over a finite alphabet with minimal discrepancy, that is, such that the occurrence of each letter optimally tracks its frequency. In this article, we define discrete dynamical systems generating these sequences. The dynamical systems are defined as exchanges of polytopal pieces, yielding cut and project schemes, and they code tilings of the line whose sets of vertices form model sets. We prove that these sequences of low discrepancy are natural codings of toral translations with respect to polytopal atoms, and that they generate a minimal and uniquely ergodic subshift with purely discrete spectrum. Finally, we show that the factor complexity of these sequences is of polynomial growth order $n^{d-1}$, where $d$ is the cardinality of the alphabet.
- [201] arXiv:2405.17867 (replaced) [pdf, html, other]
-
Title: Adjustable Robust Nonlinear Network Design Without Controllable Elements under Load Scenario UncertaintiesSubjects: Optimization and Control (math.OC)
We study network design problems for nonlinear and nonconvex flow models without controllable elements under load scenario uncertainties, i.e., under uncertain injections and withdrawals. To this end, we apply the concept of adjustable robust optimization to compute a network design that admits a feasible transport for all, possibly infinitely many, load scenarios within a given uncertainty set. For solving the corresponding adjustable robust mixed-integer nonlinear optimization problem, we show that a given network design is robust feasible, i.e., it admits a feasible transport for all load scenario uncertainties, if and only if a finite number of worst-case load scenarios can be routed through the network. We compute these worst-case scenarios by solving polynomially many nonlinear optimization problems. Embedding this result for robust feasibility in an adversarial approach leads to an exact algorithm that computes an optimal robust network design in a finite number of iterations. Since all of the results are valid for general potential-based flows, the approach can be applied to different utility networks such as gas, hydrogen, or water networks. We finally demonstrate the applicability of the method by computing robust gas networks that are protected from future load fluctuations.
- [202] arXiv:2405.18363 (replaced) [pdf, html, other]
-
Title: A comparison of mixed precision iterative refinement approaches for least-squares problemsSubjects: Numerical Analysis (math.NA)
Various approaches to iterative refinement (IR) for least-squares problems have been proposed in the literature and it may not be clear which approach is suitable for a given problem. We consider three approaches to IR for least-squares problems when two precisions are used and review their theoretical guarantees, known shortcomings and when the method can be expected to recognize that the correct solution has been found, and extend uniform precision analysis for an IR approach based on the semi-normal equations to the two-precision case. We focus on the situation where it is desired to refine the solution to the working precision level. It is shown that the IR methods exhibit different sensitivities to the conditioning of the problem and the size of the least-squares residual, which should be taken into account when choosing the IR approach. We also discuss a new approach that is based on solving multiple least-squares problems.
- [203] arXiv:2405.18501 (replaced) [pdf, html, other]
-
Title: Small volume bodies of constant widthComments: 8 pages, 4 figuresSubjects: Metric Geometry (math.MG)
For every large enough $n$, we explicitly construct a body of constant width $2$ that has volume less than $0.9^n \text{Vol}(\mathbb{B}^{n}$), where $\mathbb{B}^{n}$ is the unit ball in $\mathbb{R}^{n}$. This answers a question of O.~Schramm.
- [204] arXiv:2406.00243 (replaced) [pdf, html, other]
-
Title: There are no good infinite families of toric codesComments: 10 pages. Published: "Journal of Combinatorial Theory, Series A"Journal-ref: (2025) Journal of Combinatorial Theory, Series A; Vol. 213; pp. 106009Subjects: Combinatorics (math.CO); Information Theory (cs.IT); Algebraic Geometry (math.AG)
Soprunov and Soprunova introduced the notion of a good infinite family of toric codes. We prove that such good families do not exist by proving a more general Szemerédi-type result: for all $c\in(0,1]$ and all positive integers $N$, subsets of density at least $c$ in $\{0,1,\dots,N-1\}^n$ contain hypercubes of arbitrarily large dimension as $n$ grows.
- [205] arXiv:2406.01418 (replaced) [pdf, html, other]
-
Title: Chromatic symmetric functions of conjoined graphsComments: 20 pages, 5 figuresSubjects: Combinatorics (math.CO)
We introduce path-conjoined graphs defined for two rooted graphs by joining their roots with a path, and investigate the chromatic symmetric functions of its two generalizations: spider-conjoined graphs and chain-conjoined graphs. By using the composition method developed by Zhou and the third author recently, we obtain neat positive $e_I$-expansions for the chromatic symmetric functions of clique-path-cycle graphs, path-clique-path graphs, and clique-clique-path graphs. We pose the $e$-positivity conjecture for hat-chains.
- [206] arXiv:2406.02725 (replaced) [pdf, html, other]
-
Title: Non-linear microlocal cut-off functorsComments: v2: 17 pages. Final version to appear in Rend. Sem. Mat. Univ. Padova. Some discussion on the Omega-lens definition of microsupport and requirement on the coefficient are addedSubjects: Symplectic Geometry (math.SG); Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Category Theory (math.CT)
To any conic closed set of a cotangent bundle, one can associate four functors on the category of sheaves, which are called non-linear microlocal cut-off functors. Here we explain their relation with the microlocal cut-off functor defined by Kashiwara and Schapira, and prove a microlocal cut-off lemma for non-linear microlocal cut-off functors, adapting inputs from symplectic geometry. We also prove two Künneth formulas and a functor classification result for categories of sheaves with microsupport conditions.
- [207] arXiv:2406.08565 (replaced) [pdf, html, other]
-
Title: A New Elementary Proof of Landau's Prime Ideal Theorem, and Associated ResultsComments: Some more minor revisions incorporated; to appear in Research in Number TheorySubjects: Number Theory (math.NT)
We give a new elementary proof of Landau's Prime Ideal Theorem. The proof is an extension of Richter's proof of the Prime Number Theorem. The main result contains other results related to the equidistribution of the prime ideal counting function.
- [208] arXiv:2406.16705 (replaced) [pdf, html, other]
-
Title: Cycles in graphs and in hypergraphs: towards homology theoryComments: 34 pages, in Russian language, 20 figuresSubjects: History and Overview (math.HO); Discrete Mathematics (cs.DM); Algebraic Topology (math.AT); Combinatorics (math.CO)
In this expository paper we present some ideas of algebraic topology (more precisely, of homology theory) in a language accessible to non-specialists in the area. A $1$-cycle in a graph is a set $C$ of edges such that every vertex is contained in an even number of edges from $C$. It is easy to check that the sum (modulo $2$) of $1$-cycles is a $1$-cycle. We start from the following problems: to find
$\bullet$ the number of all $1$-cycles in a given graph;
$\bullet$ a small number of $1$-cycles in a given graph such that any $1$-cycle is the sum of some of them.
We consider generalizations (of these problems) to graphs with symmetry, to $2$-cycles in $2$-dimensional hypergraphs, and to certain configuration spaces of graphs (namely, to the square and the deleted square). - [209] arXiv:2406.19484 (replaced) [pdf, html, other]
-
Title: Unique Pseudo-Expectations for Hereditarily Essential $C^*$-InclusionsComments: 12 pages, comments welcomeSubjects: Operator Algebras (math.OA)
The $C^*$-inclusion $\mathcal{A} \subseteq \mathcal{B}$ is said to be hereditarily essential if for every intermediate $C^*$-algebra $\mathcal{A} \subseteq \mathcal{C} \subseteq \mathcal{B}$ and every non-zero ideal $\{0\} \neq \mathcal{J} \unlhd \mathcal{C}$, we have that $\mathcal{J} \cap \mathcal{A} \neq \{0\}$. That is, $\mathcal{A}$ detects ideals in every intermediate $C^*$-algebra $\mathcal{A} \subseteq \mathcal{C} \subseteq \mathcal{B}$. By a result of Pitts and Zarikian, a unital $C^*$-inclusion $\mathcal{A} \subseteq \mathcal{B}$ is hereditarily essential if and only if every pseudo-expectation $\theta:\mathcal{B} \to I(\mathcal{A})$ for $\mathcal{A} \subseteq \mathcal{B}$ is faithful. A decade-old open question asks whether hereditarily essential $C^*$-inclusions must have unique pseudo-expectations? In this note, we answer the question affirmatively for some important classes of $C^*$-inclusions, in particular those of the form $\mathcal{A} \subseteq \mathcal{A} \rtimes_{\alpha,r}^\sigma G$, for a twisted $C^*$-dynamical system $(\mathcal{A},G,\alpha,\sigma)$. On the other hand, we settle the general question negatively by exhibiting $C^*$-irreducible inclusions of the form $C_r^*(G) \subseteq C(X) \rtimes_{\alpha,r} G$ with multiple conditional expectations. Our results leave open the possibility that the question might have a positive answer for regular hereditarily essential $C^*$-inclusions.
- [210] arXiv:2406.19625 (replaced) [pdf, other]
-
Title: Triangulated structures induced by mutationsComments: 80 pagesSubjects: Representation Theory (math.RT)
In representation theory of algebras, there exist two types of mutation pairs: rigid type (cluster-tilting mutations by Iyama-Yoshino) and simple-minded type (mutations of simple-minded systems by Simões-Pauksztello). It is known that such mutation pairs induce triangulated categories, however, these facts have been proved in different ways. In this paper, we introduce the concept of ''mutation triples'', which is a simultaneous generalization of two different types of mutation pairs as well as concentric twin cotorsion pairs. We present two main theorems concerning mutation triples. The first theorem is that mutation triples induce pretriangulated categories. The second one is that pretriangulated categories induced by mutation triples become triangulated categories if they satisfy an additional condition (MT4).
- [211] arXiv:2407.08485 (replaced) [pdf, html, other]
-
Title: Logistic lasso regression with nearest neighbors for gradient-based dimension reductionComments: 22 pages of the main document and 20 pages of supplement, 5 figures of the main document and 9 figures of the supplement, and 1 tableSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
This paper investigates a new approach to estimate the gradient of the conditional probability given the covariates in the binary classification framework. The proposed approach consists in fitting a localized nearest-neighbor logistic model with $\ell_1$-penalty in order to cope with possibly high-dimensional covariates. Our theoretical analysis shows that the pointwise convergence rate of the gradient estimator is optimal under very mild conditions. Moreover, using an outer product of such gradient estimates at several points in the covariate space, we establish the rate of convergence for estimating the so-called central subspace, a well-known object allowing to carry out dimension reduction within the covariate space. Our implementation uses cross-validation on the misclassification rate to estimate the dimension of this subspace. We find that the proposed approach outperforms existing competitors in synthetic and real data applications.
- [212] arXiv:2407.10346 (replaced) [pdf, html, other]
-
Title: Flexibility and rigidity of conformal embeddings in Lorentzian manifoldsComments: To appear in IMRNJournal-ref: Int. Math. Res. Not. IMRN(2025)Subjects: Differential Geometry (math.DG)
We prove that for any Riemannian metric $g$ on a closed orientable surface $\Sigma$ and any spacelike embedding $f:\Sigma \rightarrow M$ in a pseudo-Riemannian manifold $(M,h)$, the embedding $f$ can be $C^{0}$-approximated by a smooth conformal embedding for $g$. If in addition, $M$ is a quotient of the $(2+1)$-dimensional solid timelike cone by a cocompact lattice of $SO^{\circ}(2,1)$, we show that the set of negatively curved metrics on $\Sigma$ that admit isometric embeddings in $M$ projects into a relatively compact set in the Teichmüller space.
- [213] arXiv:2407.11228 (replaced) [pdf, html, other]
-
Title: Existence of weak solutions for a volume-filling model of cell invasion into extracellular matrixSubjects: Analysis of PDEs (math.AP)
We study the existence of weak solutions for a model of cell invasion into the extracellular matrix (ECM), which consists of a non-linear partial differential equation for the density of cells, coupled with an ordinary differential equation (ODE) describing the ECM density. The model contains cross-species density-dependent diffusion and proliferation terms that capture the role of the ECM in providing structural support for the cells during invasion while also preventing growth via volume-filling effects. Furthermore, the model includes ECM degradation by the cells. We present an existence result for weak solutions which is based on carefully exploiting the partial gradient flow structure of the problem which allows us to overcome the non-regularising nature of the ODE involved.
In addition, we present simulations based on a finite difference scheme that illustrate that the system exhibits travelling wave solutions, and we investigate numerically the asymptotic behaviour as the ECM degradation rate tends to infinity. - [214] arXiv:2407.15121 (replaced) [pdf, html, other]
-
Title: Squared Distance Function on the Configuration Space of a planar Spider with Applications to Hooke Energy and Voronoi DistanceComments: 21 pages; 10 figures. Updated to pre-journal versionSubjects: Geometric Topology (math.GT)
Spider mechanisms are the simplest examples of arachnoid mechanisms, they are one step more complicated than polygonal linkages. Their configuration spaces have been studied intensively, but are yet not completely understood. In the paper we study them using the Morse theory of the squared distance function from the "body" of the spider to some fixed point in the plane. Generically, it is a Morse-Bott function. We list its critical manifolds, describe them as products of polygon spaces, and derive a formula for their Morse-Bott indices. We apply the obtained results to Hooke energy and Voronoi distance.
- [215] arXiv:2407.18816 (replaced) [pdf, html, other]
-
Title: Global Solver based on the Sperner-Lemma and Mazurkewicz-Knaster-Kuratowski-Lemma based proof of the Brouwer Fixed-Point TheoremComments: 19 pages, 10 figuresSubjects: Numerical Analysis (math.NA); Functional Analysis (math.FA)
In this paper a fixed-point solver for mappings from a Simplex into itself that is gradient-free, global and requires $d$ function evaluations for halvening the error is presented, where $d$ is the dimension. It is based on topological arguments and uses the constructive proof of the Mazurkewicz-Knaster-Kuratowski lemma as used as part of the proof for Brouwers Fixed-Point theorem.
- [216] arXiv:2408.02118 (replaced) [pdf, html, other]
-
Title: Reasoning from hypotheses in *-continuous action latticesComments: Submitted to the JSLSubjects: Logic (math.LO)
The class of all $\ast$-continuous Kleene algebras, whose description includes an infinitary condition on the iteration operator, plays an important role in computer science. The complexity of reasoning in such algebras - ranging from the equational theory to the Horn one, with restricted fragments of the latter in between - was analyzed by Kozen (2002). This paper deals with similar problems for $\ast$-continuous residuated Kleene lattices, also called $\ast$-continuous action lattices, where the product operation is augmented by adding residuals. We prove that in the presence of residuals the fragment of the corresponding Horn theory with $\ast$-free hypotheses has the same complexity as the $\omega^\omega$ iteration of the halting problem, and hence is properly hyperarithmetical. We also prove that if only commutativity conditions are allowed as hypotheses, then the complexity drops down to $\Pi^0_1$ (i.e. the complement of the halting problem), which is the same as that for $\ast$-continuous Kleene algebras. In fact, we get stronger upper bound results: the fragments under consideration are translated into suitable fragments of infinitary action logic with exponentiation, and the upper bounds are obtained for the latter ones.
- [217] arXiv:2408.13344 (replaced) [pdf, html, other]
-
Title: Extremum Seeking for Linear Time-Varying Systems with Unknown Control DirectionsComments: 15 pages, 1 figureSubjects: Optimization and Control (math.OC)
We consider bounded extremum seeking controls for time-varying linear systems with uncertain coefficient matrices and measurement uncertainty. Using a new change of variables, Lyapunov functions, and a comparison principle, we provide practical exponential stability bounds for the states of the closed loop systems that hold for all nonnegative times. For the first time for linear time-varying systems with unknown control directions, we consider bounded extremum seeking controls in the presence of uncertain time-varying input delays with small time-varying delay uncertainties, and we provide reduction model controllers to compensate for the constant part of the delays.
- [218] arXiv:2408.13828 (replaced) [pdf, other]
-
Title: Centralized Reduction of Decentralized Stochastic Control Models and their weak-Feller RegularityComments: A summary of the results was presented in CDC'24Subjects: Optimization and Control (math.OC); Multiagent Systems (cs.MA)
Decentralized stochastic control problems involving general state/measurement/action spaces are intrinsically difficult to study because of the inapplicability of standard tools from centralized (single-agent) stochastic control. In this paper, we address some of these challenges for decentralized stochastic control with standard Borel spaces under two different but tightly related information structures: the one-step delayed information sharing pattern (OSDISP), and the $K$-step periodic information sharing pattern (KSPISP). We will show that the one-step delayed and $K$-step periodic problems can be reduced to a centralized Markov Decision Process (MDP), generalizing prior results which considered finite, linear, or static models, by addressing several measurability and topological questions. We then provide sufficient conditions for the transition kernels of both centralized reductions to be weak-Feller. The existence and separated nature of optimal policies under both information structures are then established. The weak Feller regularity also facilitates rigorous approximation and learning theoretic results, as shown in the paper.
- [219] arXiv:2408.15613 (replaced) [pdf, other]
-
Title: Duality for some models of epidemic spreadingChiara Franceschini, Ellen Saada (MAP5 - UMR 8145), Gunter M. Schütz (IST), Sonia Velasco (MAP5 - UMR 8145)Subjects: Probability (math.PR)
We examine the role of boundaries and the structure of nontrivial duality functions for three non conservative interacting particle systems in one dimension that model epidemic spreading: (i) the diffusive contact process (DCP), (ii) a model that we introduce and call generalized diffusive contact process (GDCP), both in finite volume in contact with boundary reservoirs, i.e., with open boundaries, and (iii) the susceptible-infectious-recovered (SIR) model on $\Z$. We establish duality relations for each system through an analytical approach. It turns out that with open boundaries self-duality breaks down and qualitatively different properties compared to closed boundaries (i.e., finite volume without reservoirs) arise: both the DCP and GDCP are ergodic but no longer absorbing, while the respective dual processes are absorbing but not ergodic. We provide expressions for the stationary correlation functions in terms of the dual absorption probabilities. We perform explicit computations for a small sized DCP, and for arbitrary size in a particular setting of the GDCP. The duality function is factorized for the DCP and GDCP, contrary to the SIR model for which the duality relation is nonlocal and yields an explicit expression of the time evolution of some specific correlation functions, describing the time decay of the sizes of clusters of susceptible individuals.
- [220] arXiv:2408.17113 (replaced) [pdf, other]
-
Title: A Two-Timescale Decision-Hazard-Decision Formulation for Storage Usage Values CalculationCamila Martinez Parra (RTE, CERMICS), Michel de Lara (CERMICS), Jean-Philippe Chancelier (CERMICS), Pierre Carpentier (OC), Jean-Marc Janin (RTE), Manuel Ruiz (RTE)Subjects: Optimization and Control (math.OC)
The penetration of renewable energies requires additional storages to deal with intermittency. Accordingly, there is growing interest in evaluating the opportunity cost (usage value) associated with stored energy in large storages, a cost obtained by solving a multistage stochastic optimization problem. Today, to compute usage values under uncertainties, an adequacy resource problem is solved using stochastic dynamic programming assuming a hazard-decision information structure. This modelling assumes complete knowledge of the coming week uncertainties, which is not adapted to the system operation as the intermittency occurs at smaller timescale. We equip the twotimescale problem with a new information structure considering planning and recourse decisions: decision-hazard-decision. This structure is used to decompose the multistage decision-making process into a nonanticipative planning step in which the on/off decisions for the thermal units are made, and a recourse step in which the power modulation decisions are made once the uncertainties have been disclosed. In a numerical case, we illustrate how usage values are sensitive as how the disclosure of information is modelled.
- [221] arXiv:2408.17192 (replaced) [pdf, html, other]
-
Title: The volume potential for elliptic differential operators in Schauder spacesSubjects: Analysis of PDEs (math.AP)
The aim of this paper is to prove continuity results for the volume potential corresponding to the fundamental solution of a second order differential operator with constant coefficients in Schauder spaces of negative exponent and to generalize some classical results in Schauder spaces of positive exponents.
- [222] arXiv:2409.00624 (replaced) [pdf, html, other]
-
Title: Connections between Combinations Without Specified Separations and Strongly Restricted Permutations, Compositions, and Bit StringsComments: 24 pages, 10 figures. arXiv admin note: text overlap with arXiv:2210.08167 (the text overlap is with the original version, not the final version of 2210.08167)Subjects: Combinatorics (math.CO)
Let $S_n$ and $S_{n,k}$ be, respectively, the number of subsets and $k$-subsets of $\mathbb{N}_n=\{1,\ldots,n\}$ such that no two subset elements differ by an element of the set $\mathcal{Q}$, the largest element of which is $q$. We prove a bijection between such $k$-subsets when $\mathcal{Q}=\{m,2m,\ldots,jm\}$ with $j,m>0$ and permutations $\pi$ of $\mathbb{N}_{n+jm}$ with $k$ excedances satisfying $\pi(i)-i\in\{-m,0,jm\}$ for all $i\in\mathbb{N}_{n+jm}$. We also identify a bijection between another class of restricted permutation and the cases $\mathcal{Q}=\{1,q\}$. This bijection allows us to prove a conjectured recursion relation for the number of such permutations which corresponds to the case $\mathcal{Q}=\{1,4\}$. We also obtain the generating function for $S_n$ in the case $\mathcal{Q}=\{1,5\}$ by first obtaining generating functions for the numbers of closed walks of a given length on a particular class of directed pseudograph. We give some classes of $\mathcal{Q}$ for which $S_n$ is also the number of compositions of $n+q$ into a given set of allowed parts. A bijection between the $k$-subsets for any $\mathcal{Q}$ and bit strings is also noted. Aided by this, an efficient algorithm for finding $S_n$ and $S_{n,k}$ is given. We also prove a bijection between $k$-subsets for a class of $\mathcal{Q}$ and the set representations of size $k$ of equivalence classes for the occurrence of a given length-($q+1$) subword within bit strings. We then formulate a straightforward procedure for obtaining the generating function for the number of such equivalence classes.
- [223] arXiv:2409.03617 (replaced) [pdf, html, other]
-
Title: On the uniqueness for the heat equation with density on infinite graphsSubjects: Analysis of PDEs (math.AP)
We study the uniqueness of solutions to a class of heat equations with positive density posed on infinite weighted graphs. We separately consider the case when the density is bounded from below by a positive constant and the case of possibly vanishing density, showing that these two scenarios lead to two different classes of uniqueness.
- [224] arXiv:2409.05221 (replaced) [pdf, html, other]
-
Title: Geometric rigidity of simple modules for algebraic groupsComments: v3; 30 pages; Theorem 1 now holds for arbitrary affine algebraic groups over fieldsSubjects: Representation Theory (math.RT); Group Theory (math.GR); Rings and Algebras (math.RA)
Let k be a field, let G be an affine algebraic k-group and V a finite-dimensional G-module. We say V is rigid if the socle series and radical series coincide for the action of G on each indecomposable summand of V; say V is geometrically rigid (resp. absolutely rigid) if V is rigid after base change of G and V to k (resp. any field extension of k). We show that all simple G-modules are geometrically rigid, though not in general absolutely rigid. More precisely, we show that if V is a simple G-module, then there is a finite purely inseparable extension kV /k naturally attached to V such that V is absolutely rigid as a G-module after base change to kV. The proof turns on an investigation of algebras of the form K otimes E where K and E are field extensions of k; we give an example of such an algebra which is not rigid as a module over itself. We establish the existence of the purely inseparable field extension kV /k through an analogous version for artinian algebras.
In the second half of the paper we apply recent results on the structure and representation theory of pseudo-reductive groups to give a concrete description of kV when G is smooth and connected. Namely, we combine the main structure theorem of the Conrad-Prasad classification of pseudo-reductive G together with our previous high weight theory. For V a simple G-module, we calculate the minimal field of definition of the geometric Jacobson radical of EndG(V) in terms of the high weight of V and the Conrad-Prasad classification data; this gives a concrete construction of the field kV as a subextension of the minimal field of definition of the geometric unipotent radical of G. We also observe that the Conrad-Prasad classification can be used to hone the dimension formula for V we had previously established; we also use it to give a description of EndG(V) which includes a dimension formula. - [225] arXiv:2409.06284 (replaced) [pdf, other]
-
Title: Magnetic Dirac operator in strips submitted to strong magnetic fieldsSubjects: Mathematical Physics (math-ph); Spectral Theory (math.SP)
We consider the magnetic Dirac operator on a curved strip whose boundary carries the infinite mass boundary condition. When the magnetic field is large, we provide the reader with accurate estimates of the essential and discrete spectra. In particular, we give sufficient conditions ensuring that the discrete spectrum is non-empty.
- [226] arXiv:2409.07122 (replaced) [pdf, html, other]
-
Title: Decentralized Conjugate Gradient and Memoryless BFGS MethodsComments: 30 pages,27 figuresSubjects: Optimization and Control (math.OC)
This paper proposes a new decentralized conjugate gradient (NDCG) method and a decentralized memoryless BFGS (DMBFGS) method for the nonconvex and strongly convex decentralized optimization problem, respectively, of minimizing a finite sum of continuously differentiable functions over a fixed-connected undirected network. Gradient tracking techniques are applied in these two methods to enhance their convergence properties and the numerical stability. In particular, we show global convergence of NDCG with constant stepsize for general nonconvex smooth decentralized optimization. Our new DMBFGS method uses a scaled memoryless BFGS technique and only requires gradient information to approximate second-order information of the component functions in the objective. We also establish global convergence and linear convergence rate of DMBFGS with constant stepsize for strongly convex smooth decentralized optimization. Our numerical results show that NDCG and DMBFGS are very efficient in terms of both iteration and communication cost compared with other state-of-the-art methods for solving smooth decentralized optimization.
- [227] arXiv:2409.14253 (replaced) [pdf, html, other]
-
Title: MacMahonesque partition functions detect sets related to primesComments: Minor corrections caught by refereeSubjects: Number Theory (math.NT)
Recent work by Craig, van Ittersum, and Ono constructs explicit expressions in the partition functions of MacMahon that detect the prime numbers. Furthermore, they define generalizations, the MacMahonesque functions, and prove there are infinitely many such expressions in these functions. Here, we show how to modify and adapt their construction to detect cubes of primes as well as primes in arithmetic progressions.
- [228] arXiv:2409.14585 (replaced) [pdf, other]
-
Title: A convergent scheme for the Bayesian filtering problem based on the Fokker--Planck equation and deep splittingComments: 25 pages, 2 figuresSubjects: Numerical Analysis (math.NA); Probability (math.PR); Computation (stat.CO); Machine Learning (stat.ML)
A numerical scheme for approximating the nonlinear filtering density is introduced and its convergence rate is established, theoretically under a parabolic Hörmander condition, and empirically in two numerical examples. For the prediction step, between the noisy and partial measurements at discrete times, the scheme approximates the Fokker--Planck equation with a deep splitting scheme, combined with an exact update through Bayes' formula. This results in a classical prediction-update filtering algorithm that operates online for new observation sequences post-training. The algorithm employs a sampling-based Feynman--Kac approach, designed to mitigate the curse of dimensionality. The convergence proof relies on stochastic integration by parts from the Malliavin calculus. As a corollary we obtain the convergence rate for the approximation of the Fokker--Planck equation alone, disconnected from the filtering problem.
- [229] arXiv:2409.16105 (replaced) [pdf, html, other]
-
Title: Linear isometries on the annulus: description and spectral propertiesComments: 15 pagesSubjects: Functional Analysis (math.FA); Complex Variables (math.CV)
We give a complete characterisation of the linear isometries of ${\rm Hol}(\Omega)$, where $\Omega$ is the half-plane, the complex plane or an annulus centered at 0 and symmetric to the unit circle. Moreover, we introduce new techniques to describe the holomorphic maps on the annulus that preserve the unit circle, and we finish by proving results about the spectra of the linear isometries on the annulus.
- [230] arXiv:2409.18765 (replaced) [pdf, html, other]
-
Title: On modular invariance of quantum affine $W$-algebrasSubjects: Representation Theory (math.RT)
We find modular transformations of normalized characters for the following $W$-algebras:
(a) $W^{min}_k(\frak{g})$, where $\frak{g}=D_n \, (n \geq 4)$, or $E_6$, $E_7$, $E_8$, and $k$ is a negative integer $\geq -2$, or $\geq -\frac{h^{\vee}}{6}-1$, respectively;
(b) quantum Hamiltonian reduction of the $\hat{\frak{g}}$-module $L(k\Lambda_0)$, where $\frak{g}$ is a simple Lie algebra, $f$ is its non-zero nilpotent element, and $k$ is a principal admissible level with the denominator $u > \theta(x)$, where $2x$ is the Dynkin characteristic of $f$ and $\theta$ is the highest root of $\frak{g}$.
We prove that these vertex algebras are modular invariant. A conformal vertex algebra is called modular invariant if its character $tr_V q^{L_0-c/24}$ converges to a holomorphic modular function in the complex upper half-plane on a congruence subgroup. We find explicit formulas for their characters. Modular invariance of $V$ is important since, in particular, conjecturally it implies that $V$ is simple, and that $V$ is rational, provided that it is lisse. - [231] arXiv:2409.19555 (replaced) [pdf, other]
-
Title: Derived symmetries for crepant contractions to hypersurfacesComments: Minor corrections and clarifications. 62 pages, 3 figuresSubjects: Algebraic Geometry (math.AG)
Given a crepant contraction f to a singularity X, we may expect a derived symmetry of the source of f. Under easily-checked geometric assumptions, I construct such a symmetry when X is a hypersurface in a smooth ambient S, using a spherical functor from the derived category of S. I describe this symmetry, relate it to other symmetries, and establish its compatibility with base change.
- [232] arXiv:2409.20382 (replaced) [pdf, other]
-
Title: Non-representable six-functor formalismsComments: Second version with some details on the extensions to higher derived stacks. Comments are welcome!Subjects: Algebraic Geometry (math.AG); K-Theory and Homology (math.KT)
In this article, we study the properties of motivic homotopy category $\mathcal{SH}_{\operatorname{ext}}(\mathcal{X})$ developed by Chowdhury and Khan-Ravi for $\mathcal{X}$ a Nis-loc Stack. In particular, we compare the above construction with Voevodsky's original construction using NisLoc topology. Using the techniques developed by Liu-Zheng and Mann's notion of $\infty$-category of correspondences and abstract six-functor formalisms, we also extend the exceptional functors and extend properties like projection formula, base change and purity to the non-representable situation.
- [233] arXiv:2410.01743 (replaced) [pdf, html, other]
-
Title: The Ehrhart $h^*$-polynomials of positroid polytopesComments: arXiv admin note: text overlap with arXiv:2404.03026 by other authorsSubjects: Combinatorics (math.CO)
A positroid is a matroid realized by a matrix such that all maximal minors are non-negative. Positroid polytopes are matroid polytopes of positroids. In particular, they are lattice polytopes. The Ehrhart polynomial of a lattice polytope counts the number of integer points in the dilation of that polytope. The Ehrhart series is the generating function of the Ehrhart polynomial, a rational function with a numerator called the $h^*$-polynomial. We give explicit formulas for the $h^*$-polynomials of an arbitrary positroid polytope regarding permutation descents. Our result generalizes that of Early, Kim, and Li for hypersimplices.
- [234] arXiv:2410.02895 (replaced) [pdf, html, other]
-
Title: Near Optimal Approximations and Finite Memory Policies for POMPDs with Continuous SpacesSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
We study an approximation method for partially observed Markov decision processes (POMDPs) with continuous spaces. Belief MDP reduction, which has been the standard approach to study POMDPs requires rigorous approximation methods for practical applications, due to the state space being lifted to the space of probability measures. Generalizing recent work, in this paper we present rigorous approximation methods via discretizing the observation space and constructing a fully observed finite MDP model using a finite length history of the discrete observations and control actions. We show that the resulting policy is near-optimal under some regularity assumptions on the channel, and under certain controlled filter stability requirements for the hidden state process. Furthermore, by quantizing the measurements, we are able to utilize refined filter stability conditions. We also provide a Q learning algorithm that uses a finite memory of discretized information variables, and prove its convergence to the optimality equation of the finite fully observed MDP constructed using the approximation method.
- [235] arXiv:2410.03947 (replaced) [pdf, html, other]
-
Title: A higher-dimensional Van den Essen type formula for projective foliations and applicationsComments: 38 pages; New title; Results were foliations by curves in higher dimensions; Included a bound on the maximum number of blow-ups needed to resolve the foliationSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV); Dynamical Systems (math.DS)
Let $F$ be a one-dimensional holomorphic foliation on $\mathbb{P}^n$ such that $W\subset Sing(F)$, where $W$ is a smooth complete intersection variety. We determine and compute the variation of the Milnor number $ \mu(F, W)$ under blowups, which depends on the vanishing order of the pullback foliation along the exceptional divisor, as well as on numerical and topological invariants of $W$. This represents a higher-dimensional version of Van den Essen's formula for projective foliations of dimension one. As an application, we obtain a lower bound for the Milnor number of the foliation. Also, we use this formula to show that for a foliation on $\mathbb{P}^n$ that is singular along a smooth curve, there exists a finite number of blow-ups with centers on smooth curves such that the induced foliation has multiplicity equal to 1 and that for generic points of the curves in the final stage, the singularities are elementary. Moreover, we obtain a bound on the maximum number of blow-ups needed to resolve the foliation, depending on the numerical and topological invariants of the curve.
- [236] arXiv:2410.09182 (replaced) [pdf, other]
-
Title: On the Hypomonotone Class of Variational InequalitiesSubjects: Optimization and Control (math.OC); Machine Learning (stat.ML)
This paper studies the behavior of the extragradient algorithm [Korpelevich, 1976] when applied to hypomonotone operators, a class of problems that extends beyond the classical monotone setting. To support the understanding of this variational inequality problem class, we focus on a subclass of hypomonotone linear operators, characterizing them based on their eigenvalues and providing concrete examples. While the extragradient method is widely recognized for its efficiency in solving variational inequalities involving monotone and Lipschitz continuous operators, we demonstrate that it does not guarantee convergence in the hypomonotone case. In particular, we construct a counterexample where the extragradient method diverges regardless of the step size. A numerical experiment is presented to support this result.
- [237] arXiv:2410.11832 (replaced) [pdf, html, other]
-
Title: On Vu's theorem in Waring's problem for thinner sequencesComments: 78 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
Let $k\in \mathbb{N}$ and $s\geq k(\log k+3.20032)$. Let $\mathbb{N}_{0}^{k}$ be the set of $k$-th powers of nonnegative integers. Assume that $\psi$ is an increasing function tending to infinity with $\psi(x)=o(\log x)$ and satifying some regularity conditions. Then, there exists a subsequence $\mathfrak{X}_{k}=\mathfrak{X}_{k}(s)\subset\mathbb{N}_{0}^{k}$ for which the number of representations $R_{s}(n;\mathfrak{X}_{k})$ of each $n\in\mathbb{N}$ as $$n=x_{1}^{k}+\ldots+x_{s}^{k}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ x_{i}^{k}\in\mathfrak{X}_{k}$$ satisfies the asymptotic formula $$ R_{s}(n;\mathfrak{X}_{k})\sim \mathfrak{S}(n)\psi(n)$$ for almost all natural numbers $n$, with $\mathfrak{S}(n)$ being the singular series associated to Waring's problem. If moreover $s\geq k(\log k+4.20032)$ the above conclusion holds for almost all $n\in [X,X+\log X]$ as $X\to\infty$.
Let $T(k)$ be the least natural number for which it is known that all large integers are the sum of $T(k)$ $k$-th powers of natural numbers. We also show for $k\geq 14$ and every $s\geq T(k)$ the existence of a sequence $\mathfrak{X}_{k}'\subset \mathbb{N}_{0}^{k}$ satisfying $$R_{s}(n;\mathfrak{X}_{k}')\asymp \log n$$ for every sufficiently large $n$. The latter conclusion sharpens a result of Wooley and addresses a question of Vu. - [238] arXiv:2410.13534 (replaced) [pdf, html, other]
-
Title: Derived categories of bifiltered complexesComments: 31 pagesSubjects: K-Theory and Homology (math.KT)
We construct a fundamental theory of the derived category of non-finite bi-filtered complexes.
- [239] arXiv:2410.13780 (replaced) [pdf, other]
-
Title: Optimal Quantization for Matrix MultiplicationSubjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)
Recent work in machine learning community proposed multiple methods for performing lossy compression (quantization) of large matrices. This quantization is important for accelerating matrix multiplication (main component of large language models), which is often bottlenecked by the speed of loading these matrices from memory. Unlike classical vector quantization and rate-distortion theory, the goal of these new compression algorithms is to be able to approximate not the matrices themselves, but their matrix product. Specifically, given a pair of real matrices $A,B$ an encoder (compressor) is applied to each of them independently producing descriptions with $R$ bits per entry. These representations subsequently are used by the decoder to estimate matrix product $A^\top B$. In this work, we provide a non-asymptotic lower bound on the mean squared error of this approximation (as a function of rate $R$) for the case of matrices $A,B$ with iid Gaussian entries. Algorithmically, we construct a universal quantizer based on nested lattices with an explicit guarantee of approximation error for any (non-random) pair of matrices $A$, $B$ in terms of only Frobenius norms $\|\bar{A}\|_F, \|\bar{B}\|_F$ and $\|\bar{A}^\top \bar{B}\|_F$, where $\bar{A},\bar{B}$ are versions of $A,B$ with zero-centered columns, respectively. For iid Gaussian matrices our quantizer achieves the lower bound and is, thus, asymptotically optimal. A practical low-complexity version of our quantizer achieves performance quite close to optimal. In addition, we derive rate-distortion function for matrix multiplication of iid Gaussian matrices, which exhibits an interesting phase-transition at $R\approx 0.906$ bit/entry.
- [240] arXiv:2410.14650 (replaced) [pdf, html, other]
-
Title: On independence and large deviations for sublinear expectationsSubjects: Probability (math.PR)
We prove by counterexample that a large deviation principle established by Chen and Feng [{\em Comm. Statist. Theory Methods} {\bf 45} (2016), 400--412] in the framework of sublinear expectations is incorrect. That implies that the rate function cannot, in general, be obtained by computing the Fenchel transform of the cumulant generating function, as is the case for ordinary probabilities. We derive a corrected version of that result and show that the original presentation holds under a stronger independence assumption.
- [241] arXiv:2410.15514 (replaced) [pdf, other]
-
Title: A charge monomial basis of the Garsia-Procesi ringSubjects: Combinatorics (math.CO)
We construct a basis of the Garsia-Procesi ring using the catabolizability type of standard Young tableaux and the charge statistic. This basis turns out to be equal to the descent basis defined in Carlsson-Chou (2024+). Our new construction connects the combinatorics of the basis with the well-known combinatorial formula for the modified Hall-Littlewood polynomials $\tilde{H}_\mu[X;q]$, due to Lascoux, which expresses the polynomials as a sum over standard tableaux that satisfy a catabolizability condition. In addition, we prove that identifying a basis for the antisymmetric part of $R_{\mu}$ with respect to a Young subgroup $S_\gamma$ is equivalent to finding pairs of standard tableaux that satisfy conditions regarding catabolizability and descents. This gives an elementary proof of the fact that the graded Frobenius character of $R_{\mu}$ is given by the catabolizability formula for $\tilde{H}_\mu[X;q]$.
- [242] arXiv:2410.15887 (replaced) [pdf, html, other]
-
Title: Singular Detection in Noncoherent CommunicationsComments: This work has been submitted to the IEEE for possible publicationSubjects: Information Theory (cs.IT)
This paper proposes a general analysis of codeword detection in noncoherent communications. Motivated by the existence of error floors in various regimes, fundamental characteristics of signal design are investigated. In particular, the necessary and sufficient conditions for asymptotically singular detection (i.e. error-free in the limit) are derived from classical results in detection theory. By leveraging tools from linear algebra and the theory of Hilbert spaces, we are able to characterize asymptotic singularity in two main scenarios: the large array and high SNR regimes. The results generalize previous works and extend the notion of unique identification, as well as recontextualize the geometry of Grassmannian constellations from an alternative perspective.
- [243] arXiv:2410.17895 (replaced) [pdf, html, other]
-
Title: Smullyan's truth and provabilityComments: 22 pagesSubjects: Logic (math.LO)
We revisit Smullyan's paper ``Truth and Provability'' (2013) for three purposes. First, we introduce the notion of Smullyan models to give a precise definition for Smullyan's framework discussed in that paper. Second, we clarify the relationship between three theorems proved by Smullyan and other newly introduced properties for Smullyan models in terms of both implications and non-implications. Third, we construct two Smullyan models based on arithmetical ideas and show the correspondence between the properties of these Smullyan models and those concerning truth and provability in arithmetic.
- [244] arXiv:2410.22146 (replaced) [pdf, other]
-
Title: On bifurcation from infinity: a compactification approachComments: 18 pages, 8 figuresSubjects: Analysis of PDEs (math.AP); Dynamical Systems (math.DS)
We consider a scalar parabolic partial differential equation on the interval with nonlinear boundary conditions that are asymptotically sublinear. As the parameter crosses critical values (e.g. the Steklov eigenvalues), it is known that there are large equilibria that arise through a bifurcation from infinity (i.e., such equilibria converge, after rescaling, to the Steklov eigenfunctions). We provide a compactification approach to the study of such unbounded bifurcation curves of equilibria, their stability, and heteroclinic orbits. In particular, we construct an induced semiflow at infinity such that the Steklov eigenfunctions are equilibria. Moreover, we prove the existence of infinite-time blow-up solutions that converge, after rescaling, to certain eigenfunctions that are equilibria of the induced semiflow at infinity.
- [245] arXiv:2411.03681 (replaced) [pdf, html, other]
-
Title: Density and Symmetry in the Generalized Motzkin Numbers mod $p$Comments: 15 pages; grammar corrections, density analysis for 3 new sequences, and attribution for results that already existed addedSubjects: Combinatorics (math.CO); Number Theory (math.NT)
We give a formula for the density of $0$ in the sequence of generalized Motzkin numbers, $M^{a, b}_n$, modulo a prime, $p$, in terms of the first $p$ generalized central trinomial coefficients $T^{a, b}_n\bmod p$ (with $n<p$). We apply our method to various other sequences to obtain similar formulas. We also prove that $T^{a, b}_{p-1-n}\equiv (b^2-4a^2)^{\frac{p-1}{2}-n}T^{a, b}_n\pmod p$ to obtain tight lower bounds for the density of $0$ in our sequences. This symmetry of the first $p$ central trinomial coefficients mod $p$ also appears in a couple of other applications, including the proof of a novel symmetry of the first $p-2$ Motzkin numbers that is of independent interest: $M^{a, b}_{p-3-n}\equiv (b^2-4a^2)^{\frac{p-3}{2}-n}M^{a, b}_n\pmod p$.
- [246] arXiv:2411.12114 (replaced) [pdf, html, other]
-
Title: Lagrangian concordance is not a partial order in high dimensionsComments: 5 pages, 1 figure; updated version, accepted for publication in Pacific Journal of MathematicsSubjects: Symplectic Geometry (math.SG)
In this short note we provide the examples of pairs of closed, connected Legendrian non-isotopic Legendrian submanifolds $(\Lambda_{-}, \Lambda_{+})$ of the $(4n+1)$-dimensional contact vector space, $n>1$, such that there exist Lagrangian concordances from $\Lambda_-$ to $\Lambda_+$ and from $\Lambda_+$ to $\Lambda_-$. This contradicts anti-symmetry of the Lagrangian concordance relation, and, in particular, implies that Lagrangian concordances with connected Legendrian ends do not define a partial order in high dimensions. In addition, we explain how to get the same result for the relation given by exact Lagrangian cobordisms with connected Legendrian ends in the $(2n+1)$-dimensional contact vector space, $n>1$.
- [247] arXiv:2411.15803 (replaced) [pdf, html, other]
-
Title: A Proof of Ramanujan's Classic $\pi$ FormulaSubjects: Number Theory (math.NT)
In 1914, Ramanujan presented a collection of 17 elegant and rapidly converging formulae for $\pi$. Among these, one of the most celebrated is the following series: \[\frac{1}{\pi}=\frac{2\sqrt{2}}{9801}\sum_{n=0}^{\infty}\frac{26390n+1103}{\left(n!\right)^4}\cdot \frac{\left(4n\right)!}{396^{4n}}\] In this paper, we give a proof of this classic formula using hypergeometric series and a special type of lattice sum due to Zucker and Robertson. In turn, we will also use some results by Dirichlet in Algebraic Number Theory.
- [248] arXiv:2412.01359 (replaced) [pdf, html, other]
-
Title: A Bottom-Up Approach to Optimizing the Solar Organic Rankine Cycle for Transactive Energy TradingComments: This is a preprint of a paper accepted for publication to the "Energy Systems" Journal of SpringerSubjects: Optimization and Control (math.OC)
Solar Organic Rankine Cycle (ORC)-based power generation plants leverage solar irradiation to produce thermal energy, offering a highly compatible renewable technology due to the alignment between solar irradiation temperatures and ORC operating requirements. Their superior performance compared to steam Rankine cycles in small-scale applications makes them particularly relevant within the smart grid and microgrid contexts. This study explores the role of ORC in peer-to-peer (P2P) energy trading within renewable-based community microgrids, where consumers become prosumers, simultaneously producing and consuming energy while engaging in virtual trading at the distribution system level. Focusing on a microgrid integrating solar ORC with a storage system to meet consumer demand, the paper highlights the importance of combining these technologies with storage to enhance predictability and competitiveness with conventional energy plants, despite management challenges. A methodology based on operations research techniques is developed to optimize system performance. Furthermore, the impact of various technological parameters of the solar ORC on the system's performance is examined. The study concludes by assessing the value of solar ORC within the transactive energy trading framework across different configurations and scenarios. Results demonstrate an average 16\% reduction in operational costs, showcasing the benefits of implementing a predictable and manageable system in P2P transactive energy trading.
- [249] arXiv:2412.02820 (replaced) [pdf, html, other]
-
Title: Direct Interaction Approximation for generalized stochastic models in the turbulence problemSubjects: Mathematical Physics (math-ph)
The purpose of this paper is to consider the application of the direct interaction approximation (DIA) developed by Kraichnan to generalized stochastic models in the turbulence problem. Previous developments were based on the Boltzmann-Gibbs prescription for the underlying entropy measure, which exhibits the extensivity property and is suited for ergodic systems. Here, we consider the introduction of an influence bias discriminating rare and frequent events explicitly, as it behooves non-ergodic systems, which is dealt with by a using a Tsallis type autocorrelation model with an underlying non-extensive entropy measure. As an example, we consider a linear damped stochastic oscillator system, and describe the resulting stochastic process. The non-perturbative aspects excluded by Keller's perturbative procedure are found to be minimized in the white-noise limit. In the opposite limit, the physical variances between the random process models don't seem to materialize, and the Uhlenbeck-Ornstein and Tsallis type models are found to yield the same result. In the process, we also deduce some apparently novel mathematical properties of the stochastic models associated with the present investigation -- the gamma distribution and the Tsallis non-extensive entropy.
- [250] arXiv:2412.03478 (replaced) [pdf, html, other]
-
Title: Solving Monge problem by Hilbert space embeddings of probability measuresSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
We propose deep learning methods for classical Monge's optimal mass transportation problems, where where the distribution constraint is treated as penalty terms defined by the maximum mean discrepancy in the theory of Hilbert space embeddings of probability measures. We prove that the transport maps given by the proposed methods converge to optimal transport maps in the problem with $L^2$ cost. Several numerical experiments validate our methods. In particular, we show that our methods are applicable to large-scale Monge problems.
- [251] arXiv:2412.04636 (replaced) [pdf, html, other]
-
Title: Diameter, Area, and Mean curvatureComments: 11 pages, 1 figure. Update 1-16-25 to emphasize that boundary is connectedSubjects: Differential Geometry (math.DG)
In this note, we extend diameter bounds of Simon, Topping, and Wu--Zheng to submanifolds with boundary and (potentially non-compact) ambient manifolds with minor curvature restrictions. The bound is dependent on both an integral of mean curvature and the area of the manifold. We apply our diameter bounds to minimal, constant mean curvature, and prescribed mean curvature surfaces arising in min-max constructions.
- [252] arXiv:2412.08208 (replaced) [pdf, html, other]
-
Title: A variety of partially conservative sentencesComments: 41 pagesSubjects: Logic (math.LO)
We study the existence of a $\Theta$ sentence which is simultaneously $\Gamma$-conservative over consistent RE extensions $T$ and $U$ of Peano Arithmetic for various reasonable pairs $(\Gamma, \Theta)$. As a result of this study, we prove the existence of a sentence which is essentially $\Theta$ and exactly hereditarily $\Gamma$-conservative over any single theory $T$ for various reasonable pairs $(\Gamma, \Theta)$. This is an affirmative answer to Guaspari's question.
- [253] arXiv:2412.08770 (replaced) [pdf, html, other]
-
Title: Sandwich operators and Einstein deformations of compact symmetric spaces related to Jordan algebrasComments: 34 pages, comments welcome. v2: small corrections; added questions in Ch. 3Subjects: Differential Geometry (math.DG); Rings and Algebras (math.RA)
We study the deformability of the symmetric Einstein metrics on the spaces $\mathrm{SU}(n)/\mathrm{SO}(n)$ and $\mathrm{SU}(2n)/\mathrm{Sp}(n)$, thereby concluding the problem to second order for all irreducible symmetric spaces. The obstruction integrals are calculated from invariant polynomials on certain Lie algebra representations. To aid the computation, we develop so-called sandwich operators for compact Lie algebras and relate them to quadratic Casimir operators. We also explain the source of the infinitesimal Einstein deformations on irreducible symmetric spaces, except for the complex Grassmannians, by exploring their relation to simple Jordan algebras. As an application we prove the nonlinear instability of most of the infinitesimally deformable irreducible compact symmetric spaces.
- [254] arXiv:2412.11675 (replaced) [pdf, html, other]
-
Title: Finite type as fundamental objects even non-single-valued and non-continuousSubjects: Dynamical Systems (math.DS)
In this paper, we investigate the shadowing property for general upper semicontinuous set-valued maps defined by Pilyugin and Rieger \cite{PR}, and inspired by Good and Meddaugh \cite{GM}, we identify the fundamental objects underpinning the shadowing theory for such maps. Specifically, we explore the relationships among shifts of finite type, the simplest set-valued maps, and the shadowing property.
Our main result establishes that if $X$ is a compact, totally disconnected Hausdorff space, and $F$ is an upper semicontinuous closed-valued map on $X$ with the set-valued shadowing property, the following hold: \begin{enumerate}
\item If $F$ is expansive, the orbit system of $(X,F)$ is conjugate to a shift of finite type. \item Without expansiveness, $(X,F)$ is conjugate to an inverse limit of a net of the simplest set-valued systems satisfying the Mittag-Leffler condition. Additionally, the orbit system of $(X,F)$ is conjugate to an inverse limit of a net of shifts of finite type, also satisfying the Mittag-Leffler condition \end{enumerate}
As a consequence, if an upper semicontinuous set-valued map on a totally disconnected space has the set-valued shadowing property, its orbit system also exhibits the single-valued shadowing property. - [255] arXiv:2412.13165 (replaced) [pdf, other]
-
Title: Distances between operators acting on different Hilbert spacesComments: 32 pages, corrected minor errors and some references addedSubjects: Spectral Theory (math.SP)
The aim of this article is to define and compare several distances (or metrics) between operators acting on different (separable) Hilbert spaces. We consider here three main cases of how to measure the distance between two bounded operators: first by taking the distance between their unitary orbits, second by isometric embeddings (this generalises a concept of Weidmann) and third by quasi-unitary equivalence (using a concept of the first author of the present article).
Our main result is that the unitary and isometric distances are equal provided the operators are both self-adjoint and have $0$ in their essential spectra. Moreover, the quasi-unitary distance is equivalent (up to a universal constant) with the isometric distance for any pair of bounded operators. The unitary distance gives an upper bound on the Hausdorff distance of their spectrum. If both operators have purely essential spectrum, then the unitary distance equals the Hausdorff distance of their spectra. Using a finer spectral distance respecting multiplicity of discrete eigenvalues, this spectral distance equals the unitary distance also for operators with essential and discrete spectrum. In particular, all operator distances mentioned above are equal to this spectral distance resp. controlled by it in the quasi-unitary case for self-adjoint operators with $0$ in the essential spectrum. We also show that our results are sharp by presenting various (counter-)examples. Finally, we discuss related convergence concepts complementing results from our first article arXiv:2202.03234 - [256] arXiv:2412.13215 (replaced) [pdf, other]
-
Title: Scattering theory for the defocusing 3d NLS in the exterior of a strictly convex obstacleSubjects: Analysis of PDEs (math.AP)
In this paper, we investigate the global well-posedness and scattering theory for the defocusing nonlinear Schrödinger equation $iu_t + \Delta_\Omega u = |u|^\alpha u$ in the exterior domain $\Omega$ of a smooth, compact and strictly convex obstacle in $\mathbb{R}^3$. It is conjectured that in Euclidean space, if the solution has a prior bound in the critical Sobolev space, that is, $u \in L_t^\infty(I; \dot{H}_x^{s_c}(\mathbb{R}^3))$ with $s_c := \frac{3}{2} - \frac{2}{\alpha} \in (0, \frac{3}{2})$, then $u$ is global and scatters. In this paper, assuming that this conjecture holds, we prove that if $u$ is a solution to the nonlinear Schrödinger equation in exterior domain $\Omega$ with Dirichlet boundary condition and satisfies $u \in L_t^\infty(I; \dot{H}^{s_c}_D(\Omega))$ with $s_c \in \left[\frac{1}{2}, \frac{3}{2}\right)$, then $u$ is global and scatters.
The proof of the main results relies on the concentration-compactness/rigidity argument of Kenig and Merle [Invent. Math. {\bf 166} (2006)]. The main difficulty is to construct minimal counterexamples when the scaling and translation invariance breakdown on $\Omega$. To achieve this, two key ingredients are required. First, we adopt the approach of Killip, Visan, and Zhang [Amer. J. Math. {\bf 138} (2016)] to derive the linear profile decomposition for the linear propagator $e^{it\Delta_\Omega}$ in $\dot{H}^{s_c}(\Omega)$. The second ingredient is the embedding of the nonlinear profiles. More precisely, we need to demonstrate that nonlinear solutions in the limiting geometries, which exhibit global spacetime bounds, can be embedded back into $\Omega$. Finally, to rule out the minimal counterexamples, we will establish long-time Strichartz estimates for the exterior domain NLS, along with spatially localized and frequency-localized Morawetz estimates. - [257] arXiv:2412.15112 (replaced) [pdf, other]
-
Title: Homology of Steinberg algebrasComments: 52 pages. References added in second versionSubjects: K-Theory and Homology (math.KT); Group Theory (math.GR); Operator Algebras (math.OA); Rings and Algebras (math.RA)
We study homological invariants of the Steinberg algebra $\mathcal{A}_k(\mathcal{G})$ of an ample groupoid $\mathcal{G}$ over a commutative ring $k$. For $\mathcal{G}$ principal or Hausdorff with ${\mathcal{G}}^{\rm{Iso}}\setminus{\mathcal{G}}^{(0)}$ discrete, we compute Hochschild and cyclic homology of $\mathcal{A}_k(\mathcal{G})$ in terms of groupoid homology. For any ample Hausdorff groupoid $\mathcal{G}$, we find that $H_*(\mathcal{G})$ is a direct summand of $HH_*(\mathcal{A}_k(\mathcal{G}))$; using this and the Dennis trace we obtain a map $\overline{D}_*:K_*(\mathcal{A}_k(\mathcal{G}))\to H_n(\mathcal{G},k)$. We study this map when $\mathcal{G}$ is the (twisted) Exel-Pardo groupoid associated to a self-similar action of a group $G$ on a graph, and compute $HH_*(\mathcal{A}_k(\mathcal{G}))$ and $H_*(\mathcal{G},k)$ in terms of the homology of $G$, and the $K$-theory of $\mathcal{A}_k(\mathcal{G})$ in terms of that of $k[G]$.
- [258] arXiv:2412.15420 (replaced) [pdf, html, other]
-
Title: On the equivalence of Lp-parabolicity and Lq-liouville property on weighted graphsSubjects: Analysis of PDEs (math.AP)
We study the relationship between the $L^p$-parabolicity, the $L^q$-Liouville property for positive superharmonic functions, and the existence of nonharmonic positive solutions to the system
\begin{align*}
\left\{
\begin{array}{lr}
-\Delta u\geq 0,
\Delta(|\Delta u|^{p-2}\Delta u)\geq 0,
\end{array}
\right.
\end{align*}
on weighted graphs, where $1\leq p< \infty$ and $(p, q)$ are Hölder conjugate exponent pair. Moreover, some new technique is developed to establish the estimate of green function under volume doubling and Poincaré inequality conditions, and the sharp volume growth conditions for the $L^p$-parabolicity can be derived on some graphs. - [259] arXiv:2412.19936 (replaced) [pdf, other]
-
Title: Homotopy structures realizing algebraic kk-theoryComments: Minor changesSubjects: K-Theory and Homology (math.KT); Category Theory (math.CT)
Algebraic $kk$-theory, introduced by Cortiñas and Thom, is a bivariant $K$-theory defined on the category $\mathrm{Alg}$ of algebras over a commutative unital ring $\ell$. It consists of a triangulated category $kk$ endowed with a functor from $\mathrm{Alg}$ to $kk$ that is the universal excisive, homotopy invariant and matrix-stable homology theory. Moreover, one can recover Weibel's homotopy $K$-theory $\mathrm{KH}$ from $kk$ since we have $kk(\ell,A)=\mathrm{KH}(A)$ for any algebra $A$. We prove that $\mathrm{Alg}$ with the split surjections as fibrations and the $kk$-equivalences as weak equivalences is a stable category of fibrant objects, whose homotopy category is $kk$. As a consecuence of this, we prove that the Dwyer-Kan localization $kk_\infty$ of the $\infty$-category of algebras at the set of $kk$-equivalences is a stable infinity category whose homotopy category is $kk$.
- [260] arXiv:2412.20488 (replaced) [pdf, html, other]
-
Title: Free infinite divisibility, fractional convolution powers, and Appell polynomialsComments: 23 pages, 0 figures, updated references with an explanation on a connection to beta corners processesSubjects: Probability (math.PR); Operator Algebras (math.OA)
Initiated by a result of Gorin and Marcus [Int. Math. Res. Not., (3):883--913, 2020] and an observation of Steinerberger [Proc. Amer. Math. Soc., 147(11):4733--4744, 2019], there has been a recent growing body of literature connecting repeated differentiation of polynomials to free additive convolution semigroups in free probability. Roughly, this connection states that in the large degree limit the empirical measure of the roots after many derivatives is, up to a rescaling, the original empirical measure of the roots raised to a free additive convolution power. If the original real roots satisfy some bounds and the number of derivatives is such that the remaining degree is fixed, then these high derivatives converge to the Hermite polynomials. In the context of convolution semigroups and finite free probability these results have a natural interpretation as a central limit theorem for repeated differentiation. We consider the case when these root bounds are removed and identify the potential limits of repeated differentiation as the real rooted Appell sequences. We prove that a sequence of polynomials is in the domain of attraction of an Appell sequence exactly when the empirical measures of the roots are, up to a rescaling, in the domain of attraction of a free infinitely divisible distribution naturally associated to the Appell sequence. We additionally extend these notions of infinite divisibility and fractional convolution semigroups to rectangular finite free probability. Our approach is based on the finite free R-transform of the polynomials, providing a step towards an analytic theory of finite free probability. These transforms provide a clear connection between Appell polynomials and free infinitely divisible distributions, where the finite free R-transform of a real rooted Appell polynomial is a truncated version of the R-transform of an infinitely divisible distribution.
- [261] arXiv:2412.20676 (replaced) [pdf, html, other]
-
Title: Contact homology and linearization without dga homotopiesComments: 11 pages, 0 figures. Minor expository changes in v2. Comments welcome!Subjects: Symplectic Geometry (math.SG)
This short note clarifies the status of linearized contact homology given the foundations of the contact dg-algebra established by Pardon. In particular, we prove that the set of isomorphism classes of linearized contact homologies of a closed contact manifold is an invariant.
- [262] arXiv:2501.00580 (replaced) [pdf, html, other]
-
Title: Partition-theoretic model of prime distributionComments: 15 pages, 2 figures, 2 tables, submitted for publicationSubjects: Number Theory (math.NT); Combinatorics (math.CO)
We make an application of ideas from partition theory to a problem in multiplicative number theory. We propose a deterministic model of prime number distribution, from first principles related to properties of integer partitions, that predicts the prime number theorem and suggests new conjectures regarding predictable variations in prime gaps. The model posits that, for $n\geq 2$, $$p_{n}\ =\ 1\ +\ 2\sum_{j=1}^{n-1}\left\lceil \frac{d(j)}{2}\right\rceil\ +\ \varepsilon(n),$$
where $p_k$ is the $k$th prime number, $d(k)$ is the divisor function, and $\varepsilon(k)\geq 0$ is an error that is negligible asymptotically; both the main term and error are enumerative functions in our conceptual model. We refine the error to give numerical estimates of $\pi(n)$ similar to those provided by the logarithmic integral, and much more accurate than $\operatorname{li}(n)$ up to $n=10{,}000$ where the estimate is almost exact. We also test a seemingly dubious prediction suggested by the model, that prime-indexed primes $p_2, p_3, p_5, p_7,$ etc., are more likely to be involved in twin prime pairs than are arbitrary primes; surprisingly, computations show prime-indexed primes are more likely to be twin primes up to at least $n=10{,}000{,}000{,}000$, with the bias diminishing but persistent as $n$ increases. - [263] arXiv:2501.02615 (replaced) [pdf, html, other]
-
Title: Parsings of Stationary Processes, Stopping Times and the Fundamental Pointwise Convergence Theorems of Ergodic TheorySubjects: Dynamical Systems (math.DS); Information Theory (cs.IT); Combinatorics (math.CO); Probability (math.PR)
The idea of a parsing of a stationary process according to a collection of words is introduced, and the basic framework required for the asymptotic analysis of these parsings is presented. We demonstrate how the pointwise ergodic theorem and the Shannon-McMillan-Breiman theorem can be deduced from their respective weaker convergence in probability versions combined with our observations regarding parsings, where the parsings are done according to collections that originate in stopping times tailored for that purpose.
- [264] arXiv:2501.04229 (replaced) [pdf, html, other]
-
Title: Three-precision iterative refinement with parameter regularization and prediction for solving large sparse linear systemsSubjects: Numerical Analysis (math.NA)
This study presents a novel mixed-precision iterative refinement algorithm, GADI-IR, within the general alternating-direction implicit (GADI) framework, designed for efficiently solving large-scale sparse linear systems. By employing low-precision arithmetic, particularly half-precision (FP16), for computationally intensive inner iterations, the method achieves substantial acceleration while maintaining high numerical accuracy. Key challenges such as overflow in FP16 and convergence issues for low precision are addressed through careful backward error analysis and the application of a regularization parameter $\alpha$. Furthermore, the integration of low-precision arithmetic into the parameter prediction process, using Gaussian process regression (GPR), significantly reduces computational time without degrading performance. The method is particularly effective for large-scale linear systems arising from discretized partial differential equations and other high-dimensional problems, where both accuracy and efficiency are critical. Numerical experiments demonstrate that the use of FP16 and mixed-precision strategies not only accelerates computation but also ensures robust convergence, making the approach advantageous for various applications. The results highlight the potential of leveraging lower-precision arithmetic to achieve superior computational efficiency in high-performance computing.
- [265] arXiv:2501.04311 (replaced) [pdf, html, other]
-
Title: Decay of large solutions around shocks to multi-D viscous conservation law with strictly convex fluxSubjects: Analysis of PDEs (math.AP)
We consider a planar viscous shock for a scalar viscous conservation law with a strictly convex flux in multi-dimensional setting, where the transversal direction is periodic. We first show the contraction property for any solutions evolving from a large bounded initial perturbation in $L^2$ of the viscous shock. The contraction holds up to a dynamical shift, and it is measured by a weighted relative entropy. This result for the contraction extends the existing result in 1D \cite{Kang19} to the multi-dimensional case. As a consequence, if the large bounded initial $L^2$-perturbation is also in $L^1$, then the large perturbation decays of rate $t^{-1/4}$ in $L^2$, up to a dynamical shift that is uniformly bounded in time. This is the first result for the quantitative estimate converging to a planar shock under large perturbations.
- [266] arXiv:2501.05720 (replaced) [pdf, html, other]
-
Title: Khovanskii bases of subalgebras arising from finite distributive latticesComments: 14 pages, 12 figuresSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
The notion of Khovanskii bases was introduced by Kaveh and Manon. It is a generalization of the notion of SAGBI bases for a subalgebra of polynomials. The notion of SAGBI bases was introduced by Robbiano and Sweedler as an analogue of Gröbner bases in the context of subalgebras. A Hibi ideal is an ideal of a polynomial ring that arises from a distributive lattice. For the development of an analogy of the theory of Hibi ideals and Gröbner bases within the framework of subalgebras, in this paper, we investigate when the set of the polynomials associated with a distributive lattice forms a Khovanskii basis of the subalgebras it generates. We characterize such distributive lattices and their underlying posets. In particular, generalized snake posets and $\{(2+2),(1+1+1)\}$-free posets appear as the characterization.
- [267] arXiv:2501.07271 (replaced) [pdf, other]
-
Title: Semiclassical resolvent estimates for the magnetic Schr \"odinger operatorGeorgi Vodev (LMJL)Subjects: Analysis of PDEs (math.AP)
We obtain semiclassical resolvent estimates for the Schr{ö}dinger operator (ih$\nabla$ + b)^2 + V in R^d , d $\ge$ 3, where h is a semiclassical parameter, V and b are real-valued electric and magnetic potentials independent of this http URL quite general assumptions, we prove that the norm of the weighted resolvent is bounded by exp(Ch^{-2} log(h^{ -1} )) . We get better resolvent bounds for electric potentials which are H{ö}lder with respect to the radial variable and magnetic potentials which are H{ö}lder with respect to the space variable. For long-range electric potentials which are Lipschitz with respect to the radial variable and long-range magnetic potentials which are Lipschitz with respect to the space variable we obtain a resolvent bound of the form exp(Ch^{-1}) .
- [268] arXiv:2501.07356 (replaced) [pdf, html, other]
-
Title: Spectral Criteria for the Asymptotics of Local Functionals of Gaussian Fields and Their Application to Nodal VolumesComments: 36 pagesSubjects: Probability (math.PR)
In this paper, we establish a general criterion for the positivity of the variance of the second chaotic component of local functionals of stationary vector-valued Gaussian fields. This criterion is formulated in terms of the spectral properties of the covariance function, without requiring assumptions of integrability or isotropy. It offers a simple and robust framework for analyzing variance asymptotics in such models. We apply this approach to the study of the nodal volume and the number of critical points of a Gaussian field, proving the positivity of the limiting variance under mild conditions on the covariance function. Additionally, we examine the asymptotics of the particular model of Euclidean random waves, deriving the central limit theorem through an analysis of the second and fourth chaotic components, thereby resolving an open question in large dimensions. As a byproduct, we condense and generalize many existing results on the volume of intersections of random waves, bypassing the need for traditional, intricate variance computations. Our findings shed new light on the second-chaos cancellation phenomenon from a spectral perspective and can be extended to any local, possibly singular, functional of Gaussian fields.
- [269] arXiv:2501.07576 (replaced) [pdf, other]
-
Title: The BCFW Tiling of the ABJM AmplituhedronSubjects: Mathematical Physics (math-ph)
The orthogonal momentum amplituhedron O_k was introduced simultaneously in 2021 by Huang, Kojima, Wen, and Zhang, and by He, Kuo, and Zhang, in the study of scattering amplitudes of ABJM theory. It was conjectured that it admits a decomposition into BCFW cells. We prove this conjecture.
- [270] arXiv:2501.07797 (replaced) [pdf, other]
-
Title: Counterexamples to a conjecture of AdamsComments: There is an error in the proof of Theorem 1.2: Lemma 6.1 is wrong. In the next upcoming version, the statement of Theorem 1.2 will be modified to a stronger form and be proved in a different waySubjects: Algebraic Topology (math.AT)
For any odd prime $p$ and any integer $n>0$ with $p^r|n$, where $r=\max\{3,p-1\}$, we show that the mod $p$ cohomology ring of the classifying space of the projective unitary group $PU(n)$ is not completely detected by elementary abelian $p$-subgroups, providing counterexamples to a conjecture due to J.F. Adams.
- [271] arXiv:2501.07821 (replaced) [pdf, html, other]
-
Title: Monochromatic Subgraphs in Randomly Colored Dense Multiplex NetworksComments: 31 pages, 3 figuresSubjects: Probability (math.PR); Combinatorics (math.CO)
Given a sequence of graphs $G_n$ and a fixed graph $H$, denote by $T(H, G_n)$ the number of monochromatic copies of the graph $H$ in a uniformly random $c$-coloring of the vertices of $G_n$. In this paper we study the joint distribution of a finite collection of monochromatic graph counts in networks with multiple layers (multiplex networks). Specifically, given a finite collection of graphs $H_1, H_2, \ldots, H_d$ we derive the joint distribution of $(T(H_1, G_n^{(1)}), T(H_2, G_n^{(2)}), \ldots, T(H_d, G_n^{(d)}))$, where $\boldsymbol{G}_n = (G_n^{(1)}, G_n^{(2)}, \ldots, G_n^{(d)})$ is a collection of dense graphs on the same vertex set converging in the joint cut-metric. The limiting distribution is the sum of 2 independent components: a multivariate Gaussian and a sum of independent bivariate stochastic integrals. This extends previous results on the marginal convergence of monochromatic subgraphs in a sequence of graphs to the joint convergence of a finite collection of monochromatic subgraphs in a sequence of multiplex networks. Several applications and examples are discussed.
- [272] arXiv:2501.09385 (replaced) [pdf, other]
-
Title: The Effective Generalized Moment ProblemSubjects: Optimization and Control (math.OC)
We establish new convergence rates for the moment-sum-of-squares (Moment-SOS) relaxations for the Generalized Moment Problem (GMP). These bounds, which adapt to the geometry of the underlying semi-algebraic set, apply to both the convergence of optima, and to the convergence in Hausdorff distance between the relaxation feasibility set and the GMP feasibility set. This research extends previous works limited to specific problems in polynomial optimization, volume computation and optimal control. We complement our theoretical analysis with an application: minimal rank symmetric tensor decomposition. In the examples, we formulate the problem as a GMP, solve using Moment-SOS relaxation, and apply the theoretical results to observe a convergence rate of the relaxations.
- [273] arXiv:2501.09670 (replaced) [pdf, other]
-
Title: A Simplification Method for Inequality Constraints in Integer Binary Encoding HOBO FormulationsComments: The assumptions of the paper are overly restrictive, and there is a critical errorSubjects: Optimization and Control (math.OC); Quantum Physics (quant-ph)
This study proposes a novel method for simplifying inequality constraints in Higher-Order Binary Optimization (HOBO) formulations. The proposed method addresses challenges associated with Quadratic Unconstrained Binary Optimization (QUBO) formulations, specifically the increased computational complexity and reduced solution accuracy caused by the introduction of slack variables and the resulting growth in auxiliary qubits. By efficiently integrating constraints, the method enhances the computational efficiency and accuracy of both quantum and classical solvers. The effectiveness of the proposed approach is demonstrated through numerical experiments applied to combinatorial optimization problems. The results indicate that this method expands the applicability of quantum algorithms to high-dimensional problems and improves the practicality of classical optimization solvers for optimization problems involving inequality constraints.
- [274] arXiv:1710.10888 (replaced) [pdf, html, other]
-
Title: Efficient computation of minimum-area rectilinear convex hull under rotation and generalizationsComments: 28 pages, 23 figures. Accepted versionJournal-ref: Journal of Global Optimization (2021) 79:687-714Subjects: Computational Geometry (cs.CG); Combinatorics (math.CO)
Let $P$ be a set of $n$ points in the plane. We compute the value of $\theta\in [0,2\pi)$ for which the rectilinear convex hull of $P$, denoted by $\mathcal{RH}_\theta(P)$, has minimum (or maximum) area in optimal $O(n\log n)$ time and $O(n)$ space, improving the previous $O(n^2)$ bound. Let $\mathcal{O}$ be a set of $k$ lines through the origin sorted by slope and let $\alpha_i$ be the sizes of the $2k$ angles defined by pairs of two consecutive lines, $i=1, \ldots , 2k$. Let $\Theta_{i}=\pi-\alpha_i$ and $\Theta=\min\{\Theta_i \colon i=1,\ldots,2k\}$. We obtain: (1) Given a set $\mathcal{O}$ such that $\Theta\ge\frac{\pi}{2}$, we provide an algorithm to compute the $\mathcal{O}$-convex hull of $P$ in optimal $O(n\log n)$ time and $O(n)$ space; If $\Theta < \frac{\pi}{2}$, the time and space complexities are $O(\frac{n}{\Theta}\log n)$ and $O(\frac{n}{\Theta})$ respectively. (2) Given a set $\mathcal{O}$ such that $\Theta\ge\frac{\pi}{2}$, we compute and maintain the boundary of the ${\mathcal{O}}_{\theta}$-convex hull of $P$ for $\theta\in [0,2\pi)$ in $O(kn\log n)$ time and $O(kn)$ space, or if $\Theta < \frac{\pi}{2}$, in $O(k\frac{n}{\Theta}\log n)$ time and $O(k\frac{n}{\Theta})$ space. (3) Finally, given a set $\mathcal{O}$ such that $\Theta\ge\frac{\pi}{2}$, we compute, in $O(kn\log n)$ time and $O(kn)$ space, the angle $\theta\in [0,2\pi)$ such that the $\mathcal{O}_{\theta}$-convex hull of $P$ has minimum (or maximum) area over all $\theta\in [0,2\pi)$.
- [275] arXiv:2202.02300 (replaced) [pdf, html, other]
-
Title: From Semi-Infinite Constraints to Structured Robust Policies: Optimal Gain Selection for Financial SystemsComments: Submitted for possible publicationSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC); Computational Finance (q-fin.CP); Mathematical Finance (q-fin.MF)
This paper studies the robust optimal gain selection problem for financial trading systems, formulated within a \emph{double linear policy} framework, which allocates capital across long and short positions. The key objective is to guarantee \emph{robust positive expected} (RPE) profits uniformly across a range of uncertain market conditions while ensuring risk control. This problem leads to a robust optimization formulation with \emph{semi-infinite} constraints, where the uncertainty is modeled by a bounded set of possible return parameters. We address this by transforming semi-infinite constraints into structured policies -- the \emph{balanced} policy and the \emph{complementary} policy -- which enable explicit characterization of the optimal solution. Additionally, we propose a novel graphical approach to efficiently solve the robust gain selection problem, drastically reducing computational complexity. Empirical validation on historical stock price data demonstrates superior performance in terms of risk-adjusted returns and downside risk compared to conventional strategies. This framework generalizes classical mean-variance optimization by incorporating robustness considerations, offering a systematic and efficient solution for robust trading under uncertainty.
- [276] arXiv:2206.14591 (replaced) [pdf, html, other]
-
Title: Treatment Effect Estimation with Observational Network Data using Machine LearningSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Machine Learning (stat.ML)
Causal inference methods for treatment effect estimation usually assume independent units. However, this assumption is often questionable because units may interact, resulting in spillover effects between them. We develop augmented inverse probability weighting (AIPW) for estimation and inference of the expected average treatment effect (EATE) with observational data from a single (social) network with spillover effects. In contrast to overall effects such as the global average treatment effect (GATE), the EATE measures, in expectation and on average over all units, how the outcome of a unit is causally affected by its own treatment, marginalizing over the spillover effects from other units. We develop cross-fitting theory with plugin machine learning to obtain a semiparametric treatment effect estimator that converges at the parametric rate and asymptotically follows a Gaussian distribution. The asymptotics are developed using the dependency graph rather than the network graph, which makes explicit that we allow for spillover effects beyond immediate neighbors in the network. We apply our AIPW method to the Swiss StudentLife Study data to investigate the effect of hours spent studying on exam performance accounting for the students' social network.
- [277] arXiv:2303.11231 (replaced) [pdf, html, other]
-
Title: Bounded twin-width graphs are polynomially $\chi$-boundedJournal-ref: Advances in Combinatorics 2025:2, 19ppSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
We show that every graph with twin-width $t$ has chromatic number $O(\omega ^{k_t})$ for some integer $k_t$, where $\omega$ denotes the clique number. This extends a quasi-polynomial bound from Pilipczuk and Sokołowski and generalizes a result for bounded clique-width graphs by Bonamy and Pilipczuk. The proof uses the main ideas of the quasi-polynomial approach, with a different treatment of the decomposition tree. In particular, we identify two types of extensions of a class of graphs: the delayed-extension (which preserves polynomial $\chi$-boundedness) and the right-extension (which preserves polynomial $\chi$-boundedness under bounded twin-width condition). Our main result is that every bounded twin-width graph is a delayed extension of simpler classes of graphs, each expressed as a bounded union of right extensions of lower twin-width graphs.
- [278] arXiv:2312.16844 (replaced) [pdf, html, other]
-
Title: Defect bound states in the continuum of bilayer electronic materials without symmetry protectionComments: 6 + 6 pages, 1 + 4 figuresSubjects: Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Materials Science (cond-mat.mtrl-sci); Spectral Theory (math.SP)
We analyze a class of bound defect states in the continuum electronic spectrum of bilayer materials, which emerge independent of symmetry protection or additional degrees of freedom. Taking graphene as a prototypical example, our comparative analysis of AA- and AB-stacked bilayer graphene demonstrates that these states originate from the intrinsic algebraic structure of the tight-binding Hamiltonian when trigonal warping is neglected rather than any underlying symmetry. Inclusion of trigonal warping and higher-order hoppings broaden the bound states into long-lived resonances. This discovery provides a pathway to previously unexplored approaches in defect and band-structure engineering. We conclude with a proposed protocol for observing these states in scanning tunneling microscopy experiments.
- [279] arXiv:2403.01204 (replaced) [pdf, html, other]
-
Title: Stochastic gradient descent for streaming linear and rectified linear systems with adversarial corruptionsComments: Submitted to a journalSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA); Machine Learning (stat.ML)
We propose SGD-exp, a stochastic gradient descent approach for linear and ReLU regressions under Massart noise (adversarial semi-random corruption model) for the fully streaming setting. We show novel nearly linear convergence guarantees of SGD-exp to the true parameter with up to $50\%$ Massart corruption rate, and with any corruption rate in the case of symmetric oblivious corruptions. This is the first convergence guarantee result for robust ReLU regression in the streaming setting, and it shows the improved convergence rate over previous robust methods for $L_1$ linear regression due to a choice of an exponentially decaying step size, known for its efficiency in practice. Our analysis is based on the drift analysis of a discrete stochastic process, which could also be interesting on its own.
- [280] arXiv:2405.09809 (replaced) [pdf, html, other]
-
Title: Dynamic Sensor Selection for Biomarker DiscoveryComments: 21 pages, 9 figuresSubjects: Molecular Networks (q-bio.MN); Optimization and Control (math.OC)
Advances in methods of biological data collection are driving the rapid growth of comprehensive datasets across clinical and research settings. These datasets provide the opportunity to monitor biological systems in greater depth and at finer time steps than was achievable in the past. Classically, biomarkers are used to represent and track key aspects of a biological system. Biomarkers retain utility even with the availability of large datasets, since monitoring and interpreting changes in a vast number of molecules remains impractical. However, given the large number of molecules in these datasets, a major challenge is identifying the best biomarkers for a particular setting Here, we apply principles of observability theory to establish a general methodology for biomarker selection. We demonstrate that observability measures effectively identify biologically meaningful sensors in a range of time series transcriptomics data. Motivated by the practical considerations of biological systems, we introduce the method of dynamic sensor selection (DSS) to maximize observability over time, thus enabling observability over regimes where system dynamics themselves are subject to change. This observability framework is flexible, capable of modeling gene expression dynamics and using auxiliary data, including chromosome conformation, to select biomarkers. Additionally, we demonstrate the applicability of this approach beyond genomics by evaluating the observability of neural activity These applications demonstrate the utility of observability-guided biomarker selection for across a wide range of biological systems, from agriculture and biomanufacturing to neural applications and beyond.
- [281] arXiv:2405.18251 (replaced) [pdf, html, other]
-
Title: Sensor-Based Distributionally Robust Control for Safe Robot Navigation in Dynamic EnvironmentsComments: Project page: this https URLSubjects: Robotics (cs.RO); Systems and Control (eess.SY); Optimization and Control (math.OC)
We introduce a novel method for mobile robot navigation in dynamic, unknown environments, leveraging onboard sensing and distributionally robust optimization to impose probabilistic safety constraints. Our method introduces a distributionally robust control barrier function (DR-CBF) that directly integrates noisy sensor measurements and state estimates to define safety constraints. This approach is applicable to a wide range of control-affine dynamics, generalizable to robots with complex geometries, and capable of operating at real-time control frequencies. Coupled with a control Lyapunov function (CLF) for path following, the proposed CLF-DR-CBF control synthesis method achieves safe, robust, and efficient navigation in challenging environments. We demonstrate the effectiveness and robustness of our approach for safe autonomous navigation under uncertainty in simulations and real-world experiments with differential-drive robots.
- [282] arXiv:2406.12167 (replaced) [pdf, html, other]
-
Title: Bounds and Bugs: The Limits of Symmetry Metrics to Detect Partisan GerrymanderingComments: 58 pages, 45 figures, 7 tablesSubjects: Computers and Society (cs.CY); Combinatorics (math.CO); Physics and Society (physics.soc-ph)
We consider two symmetry metrics commonly used to analyze partisan gerrymandering: the Mean-Median Difference (MM) and Partisan Bias (PB). Our main results compare, for combinations of seats and votes achievable in districted elections, the number of districts won by each party to the extent of potential deviation from the ideal metric values, taking into account the political geography of the state. These comparisons are motivated by examples where the MM and PB have been used in efforts to detect when a districting plan awards extreme number of districts won by some party. These examples include expert testimony, public-facing apps, recommendations by experts to redistricting commissions, and public policy proposals.
To achieve this goal we perform both theoretical and empirical analyses of the MM and PB. In our theoretical analysis, we consider vote-share, seat-share pairs (V, S) for which one can construct election data having vote share V and seat share S, and turnout is equal in each district. We calculate the range of values that MM and PB can achieve on that constructed election data. In the process, we find the range of (V,S) pairs that achieve MM = 0, and see that the corresponding range for PB is the same set of (V,S) pairs. We show how the set of such (V,S) pairs allowing for MM = 0 (and PB = 0) changes when turnout in each district is allowed to vary. By observing the results of this theoretical analysis, we can show that the values taken on by these metrics do not necessarily attain more extreme values in plans with more extreme numbers of districts won. We also analyze specific example elections, showing how these metrics can return unintuitive results. We follow this with an empirical study, where we show that on 18 different U.S. maps these metrics can fail to detect extreme seats outcomes. - [283] arXiv:2406.12962 (replaced) [pdf, html, other]
-
Title: Gauging modulated symmetries: Kramers-Wannier dualities and non-invertible reflectionsComments: 71 pages. v2: minor changes + added references, v3: published versionJournal-ref: SciPost Phys. 18, 021 (2025)Subjects: Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
Modulated symmetries are internal symmetries that act in a non-uniform, spatially modulated way and are generalizations of, for example, dipole symmetries. In this paper, we systematically study the gauging of finite Abelian modulated symmetries in ${1+1}$ dimensions. Working with local Hamiltonians of spin chains, we explore the dual symmetries after gauging and their potential new spatial modulations. We establish sufficient conditions for the existence of an isomorphism between the modulated symmetries and their dual, naturally implemented by lattice reflections. For instance, in systems of prime qudits, translation invariance guarantees this isomorphism. For non-prime qudits, we show using techniques from ring theory that this isomorphism can also exist, although it is not guaranteed by lattice translation symmetry alone. From this isomorphism, we identify new Kramers-Wannier dualities and construct related non-invertible reflection symmetry operators using sequential quantum circuits. Notably, this non-invertible reflection symmetry exists even when the system lacks ordinary reflection symmetry. Throughout the paper, we illustrate these results using various simple toy models.
- [284] arXiv:2407.15580 (replaced) [pdf, html, other]
-
Title: Annealed Multiple Choice Learning: Overcoming limitations of Winner-takes-all with annealingDavid Perera, Victor Letzelter, Théo Mariotte, Adrien Cortés, Mickael Chen, Slim Essid, Gaël RichardComments: NeurIPS 2024Subjects: Machine Learning (cs.LG); Sound (cs.SD); Audio and Speech Processing (eess.AS); Probability (math.PR); Machine Learning (stat.ML)
We introduce Annealed Multiple Choice Learning (aMCL) which combines simulated annealing with MCL. MCL is a learning framework handling ambiguous tasks by predicting a small set of plausible hypotheses. These hypotheses are trained using the Winner-takes-all (WTA) scheme, which promotes the diversity of the predictions. However, this scheme may converge toward an arbitrarily suboptimal local minimum, due to the greedy nature of WTA. We overcome this limitation using annealing, which enhances the exploration of the hypothesis space during training. We leverage insights from statistical physics and information theory to provide a detailed description of the model training trajectory. Additionally, we validate our algorithm by extensive experiments on synthetic datasets, on the standard UCI benchmark, and on speech separation.
- [285] arXiv:2408.01397 (replaced) [pdf, html, other]
-
Title: Pseudo-Hermitian extensions of the harmonic and isotonic oscillatorsComments: Based on talk delivered at the Xth International Workshop on New Challenges in Quantum Mechanics: Graphene, Supersymmetry, and Mathematical Physics (2024); v2: Some errors corrected; v3: Final versionSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
In this work, we describe certain pseudo-Hermitian extensions of the harmonic and isotonic oscillators, both of which are exactly-solvable models in quantum mechanics. By coupling the dynamics of a particle moving in a one-dimensional potential to an imaginary-valued gauge field, it is possible to obtain certain pseudo-Hermitian extensions of the original (Hermitian) problem. In particular, it is pointed out that the Swanson oscillator arises as such an extension of the quantum harmonic oscillator. For the pseudo-Hermitian extensions of the harmonic and isotonic oscillators, we explicitly solve for the wavefunctions in the position representation and also explore their intertwining relations.
- [286] arXiv:2408.13649 (replaced) [pdf, html, other]
-
Title: Tree-structured Markov random fields with Poisson marginal distributionsComments: 27 pages, 10 figuresSubjects: Methodology (stat.ME); Machine Learning (cs.LG); Probability (math.PR); Machine Learning (stat.ML)
A new family of tree-structured Markov random fields for a vector of discrete counting random variables is introduced. According to the characteristics of the family, the marginal distributions of the Markov random fields are all Poisson with the same mean, and are untied from the strength or structure of their built-in dependence. This key feature is uncommon for Markov random fields and most convenient for applications purposes. The specific properties of this new family confer a straightforward sampling procedure and analytic expressions for the joint probability mass function and the joint probability generating function of the vector of counting random variables, thus granting computational methods that scale well to vectors of high dimension. We study the distribution of the sum of random variables constituting a Markov random field from the proposed family, analyze a random variable's individual contribution to that sum through expected allocations, and establish stochastic orderings to assess a wide understanding of their behavior.
- [287] arXiv:2409.17308 (replaced) [pdf, html, other]
-
Title: Consistent estimation of generative model representations in the data kernel perspective spaceSubjects: Machine Learning (cs.LG); Statistics Theory (math.ST)
Generative models, such as large language models and text-to-image diffusion models, produce relevant information when presented a query. Different models may produce different information when presented the same query. As the landscape of generative models evolves, it is important to develop techniques to study and analyze differences in model behaviour. In this paper we present novel theoretical results for embedding-based representations of generative models in the context of a set of queries. In particular, we establish sufficient conditions for the consistent estimation of the model embeddings in situations where the query set and the number of models grow.
- [288] arXiv:2409.18030 (replaced) [pdf, html, other]
-
Title: Certifying rings of integers in number fieldsComments: 14 pages. Source code available at this https URLJournal-ref: CPP 2025: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, pp. 50-66Subjects: Logic in Computer Science (cs.LO); Number Theory (math.NT)
Number fields and their rings of integers, which generalize the rational numbers and the integers, are foundational objects in number theory. There are several computer algebra systems and databases concerned with the computational aspects of these. In particular, computing the ring of integers of a given number field is one of the main tasks of computational algebraic number theory. In this paper, we describe a formalization in Lean 4 for certifying such computations. In order to accomplish this, we developed several data types amenable to computation. Moreover, many other underlying mathematical concepts and results had to be formalized, most of which are also of independent interest. These include resultants and discriminants, as well as methods for proving irreducibility of univariate polynomials over finite fields and over the rational numbers. To illustrate the feasibility of our strategy, we formally verified entries from the $\textit{Number fields}$ section of the $\textit{L-functions and modular forms database}$ (LMFDB). These concern, for several number fields, the explicitly given $\textit{integral basis}$ of the ring of integers and the $\textit{discriminant}$. To accomplish this, we wrote SageMath code that computes the corresponding certificates and outputs a Lean proof of the statement to be verified.
- [289] arXiv:2409.19116 (replaced) [pdf, html, other]
-
Title: First integrals of some two-dimensional integrable Hamiltonian systemsComments: Based on talk delivered at the XXVIII. International Conference on Integrable Systems and Quantum Symmetries (2024); v2: Final versionJournal-ref: J. Phys.: Conf. Ser. 2912, 012028 (2024)Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Classical Physics (physics.class-ph)
In this paper, we discuss some results on integrable Hamiltonian systems with two degrees of freedom. We revisit the much-studied problem of the two-dimensional harmonic oscillator and discuss its (super)integrability in the light of a canonical transformation which can map the anisotropic oscillator to a corresponding isotropic one. Following this, we discuss the computation of first integrals for integrable two-dimensional systems using the framework of the Jacobi last multiplier. Using the latter, we describe some novel physical examples, namely, the classical Landau problem with a scalar-potential-induced hyperbolic mode, the two-dimensional Kepler problem, and a problem involving a linear curl force.
- [290] arXiv:2411.07271 (replaced) [pdf, html, other]
-
Title: Multi-hop Upstream Anticipatory Traffic Signal Control with Deep Reinforcement LearningComments: 5 tables, 11 figuresSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Systems and Control (eess.SY); Probability (math.PR)
Coordination in traffic signal control is crucial for managing congestion in urban networks. Existing pressure-based control methods focus only on immediate upstream links, leading to suboptimal green time allocation and increased network delays. However, effective signal control inherently requires coordination across a broader spatial scope, as the effect of upstream traffic should influence signal control decisions at downstream intersections, impacting a large area in the traffic network. Although agent communication using neural network-based feature extraction can implicitly enhance spatial awareness, it significantly increases the learning complexity, adding an additional layer of difficulty to the challenging task of control in deep reinforcement learning. To address the issue of learning complexity and myopic traffic pressure definition, our work introduces a novel concept based on Markov chain theory, namely \textit{multi-hop upstream pressure}, which generalizes the conventional pressure to account for traffic conditions beyond the immediate upstream links. This farsighted and compact metric informs the deep reinforcement learning agent to preemptively clear the multi-hop upstream queues, guiding the agent to optimize signal timings with a broader spatial awareness. Simulations on synthetic and realistic (Toronto) scenarios demonstrate controllers utilizing multi-hop upstream pressure significantly reduce overall network delay by prioritizing traffic movements based on a broader understanding of upstream congestion.
- [291] arXiv:2412.13960 (replaced) [pdf, html, other]
-
Title: Anomalous Diffusion of Superparamagnetic Walkers with Tailored StatisticsSubjects: Soft Condensed Matter (cond-mat.soft); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Data Analysis, Statistics and Probability (physics.data-an)
From life sciences and ecology to quantum physics and finance, anomalous diffusion appears in countless complex systems as a signature of emergent transport properties beyond Brownian motion. Despite substantial theoretical progress, the experimental study of real-world systems exhibiting anomalous diffusion remains challenging due to an intrinsically elusive ground truth and the limited information contained in typical single trajectories. Here, unlike previous experimental systems, we demonstrate the controlled generation of two-dimensional trajectories with fully tailored statistics spanning the entire spectrum of anomalous diffusion, from subdiffusion to superdiffusion, and over statistically significant temporal and spatial scales (covering at least two decades). We achieve this feat by simultaneously tuning the step-length distribution and, critically, the velocity autocorrelation function of microscopic superparamagnetic colloidal walkers with magnetic fields during extended acquisitions. Supported by theoretical reasoning, fine control of these two quantities combined allows us to generate trajectories compatible with Lévy walks and fractional Brownian motion with tailored anomalous diffusion exponents. We envisage our approach will offer a robust, controllable experimental framework for validating and advancing theoretical models, analysis techniques, and predictive tools to study anomalous diffusion in real-life phenomena. These include transport in physical and biological systems, animal movement, human ecology, and financial markets.
- [292] arXiv:2412.18263 (replaced) [pdf, html, other]
-
Title: High-Rank Irreducible Cartesian Tensor Decomposition and Bases of Equivariant SpacesComments: 47 pagesSubjects: Machine Learning (cs.LG); Mathematical Physics (math-ph); Chemical Physics (physics.chem-ph); Computational Physics (physics.comp-ph); Quantum Physics (quant-ph)
Irreducible Cartesian tensors (ICTs) play a crucial role in the design of equivariant graph neural networks, as well as in theoretical chemistry and chemical physics. Meanwhile, the design space of available linear operations on tensors that preserve symmetry presents a significant challenge. The ICT decomposition and a basis of this equivariant space are difficult to obtain for high-rank tensors. After decades of research, Bonvicini (2024) recently achieves an explicit ICT decomposition for $n=5$ with factorial time/space complexity. In this work we, for the first time, obtains decomposition matrices for ICTs up to rank $n=9$ with reduced and affordable complexity, by constructing what we call path matrices. The path matrices are obtained via performing chain-like contractions with Clebsch-Gordan matrices following the parentage scheme. We prove and leverage that the concatenation of path matrices is an orthonormal change-of-basis matrix between the Cartesian tensor product space and the spherical direct sum spaces. Furthermore, we identify a complete orthogonal basis for the equivariant space, rather than a spanning set (Pearce-Crump, 2023), through this path matrices technique. To the best of our knowledge, this is also the first analytic, rather than numerical, method for theoretically obtaining arbitrary rank orthogonal ICT decomposition matrices and orthogonal equivariant bases. We further extend our result to the arbitrary tensor product and direct sum spaces, enabling free design between different spaces while keeping symmetry. The Python code is available at this https URL, where the $n=6,\dots,9$ ICT decomposition matrices are obtained in 1s, 3s, 11s, and 4m32s on 28-cores Intel(R) Xeon(R) Gold 6330 CPU @ 2.00GHz, respectively.
- [293] arXiv:2501.09356 (replaced) [pdf, html, other]
-
Title: Cosmological Solutions in Scalar-Tensor theory via the Eisenhart-Duval liftComments: 19 pages, no figures, to appear in Modern Physics Letters A, references updatedSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Phenomenology (hep-ph); Mathematical Physics (math-ph)
We implement the Einsenhart-Duval lift in scalar-tensor gravity as a means to construct integrable cosmological models and analytic cosmological solutions. Specifically, we employ a geometric criterion to constrain the free functions of the scalar-tensor theory such that the field equations can be written in the equivalent form of linear equations. This geometric linearization is achieved by the introduction of an extended minisuperspace description. The results are applied to construct analytic solutions in modified theories of gravity such as the $f\left( R\right) $-theory and the hybrid metric-Palatini $f\left( \mathcal{R}\right) $-gravity.
- [294] arXiv:2501.09622 (replaced) [pdf, html, other]
-
Title: Optimizing hypergraph product codes with random walks, simulated annealing and reinforcement learningComments: 6 pages, 2 figures. Parity-check matrices available as text files. Submitted to the IEEE 2025 ISITSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
Hypergraph products are quantum low-density parity-check (LDPC) codes constructed from two classical LDPC codes. Although their dimension and distance depend only on the parameters of the underlying classical codes, optimizing their performance against various noise channels remains challenging. This difficulty partly stems from the complexity of decoding in the quantum setting. The standard, ad hoc approach typically involves selecting classical LDPC codes with large girth. In this work, we focus on optimizing performance against the quantum erasure channel. A key advantage of this channel is the existence of an efficient maximum-likelihood decoder, which enables us to employ optimization techniques based on sampling random codes, such as Reinforcement Learning (RL) and Simulated Annealing (SA). Our results indicate that these techniques improve performance relative to the state-of-the-art.