人民网三评“直播答题”之一：别让垃圾信息玷污“知识”
百度 具体投票时间另行通知。See recent articles
Showing new listings for Monday, 4 August 2025
- [1] arXiv:2508.00001 [pdf, html, other]
-
Title: Norm On The Variable Mixed Space $ \ell^{q(\cdot)}(L^{p(\cdot)}) $Comments: 3 pagesSubjects: Functional Analysis (math.FA)
This paper aims to establish the norm properties of the variable mixed space $ \ell^{q(\cdot)}(L^{p(\cdot)}) $ when $ 1<q_-,p_-,q_+,p_+<\infty $. In this way, we address the open problem raised by Almeida and H?st?.
- [2] arXiv:2508.00008 [pdf, other]
-
Title: Semi-Classical Asymptotic Expansions for Toeplitz Quantizations on Complex Manifolds and OrbifoldsComments: Master thesis at National Taiwan UniversitySubjects: Complex Variables (math.CV)
In this thesis, we introduce complex manifolds with local spectral gaps and study their asymptotic behavior using the scaling method. With these asymptotics, we obtain an asymptotic expansion for the Bergman kernel of a Hermitian holomorphic orbifold line bundle satisfying the local spectral gap condition. Furthermore, we establish the full asymptotic expansion of both the Bergman kernel and the Toeplitz operator, using the observations of the scaled Bergman kernel and the stationary phase formula. In addition, we establish the deformation quantization for Toeplitz operators with pseudodifferential operators.
- [3] arXiv:2508.00012 [pdf, html, other]
-
Title: Bohr inequality and Bohr-Rogosinski inequality for $K$-Quasiconformal harmonic mappingsComments: 21 pages, 0 figursSubjects: Complex Variables (math.CV)
In this paper, we prove several sharp Bohr-type and Bohr-Rogosinski-type inequalities for $K$-quasiconformal, sense-preserving harmonic mappings on $\mathbb{D}$, whose analytic part is subordinate to a function belonging to the class of concave univalent functions on $\mathbb{D}$. In addition, we derive Bohr-type inequalities for $K$-quasiconformal, sense-preserving harmonic mappings on $\mathbb{D}$, where the analytic part is subordinate to a function from the Ma-Minda class of convex and starlike functions. The results generalize several existing results.
- [4] arXiv:2508.00038 [pdf, html, other]
-
Title: On elementary estimates for the partition functionSubjects: Combinatorics (math.CO); Number Theory (math.NT)
In this paper, we obtain upper and lower bounds for the partition function $p(n)$ by using an elementary geometric inequality in Euclidean space and generalize the method to generalizations of the partition function.
- [5] arXiv:2508.00064 [pdf, html, other]
-
Title: Duality for KGL-modules in motivic homotopy theoryComments: 15 pages. Comments welcomeSubjects: K-Theory and Homology (math.KT); Algebraic Geometry (math.AG)
We prove a duality statement on modules over KH-theory in the stable motivic homotopy category whose dualizing object is given by G-theory, over any quasi-excellent scheme of characteristic zero.
- [6] arXiv:2508.00070 [pdf, other]
-
Title: Infinite-order rogue waves that are small (but not small in $L^2$)Comments: 82 pages, 9 figuresSubjects: Analysis of PDEs (math.AP); Pattern Formation and Solitons (nlin.PS)
General rogue waves of infinite order constitute a family of solutions of the focusing nonlinear Schr?dinger equation that have recently been identified in a variety of asymptotic limits such as high-order iteration of B?cklund transformations and semiclassical focusing of pulses with specific amplitude profiles. These solutions have compelling properties such as finite $L^2$-norm contrasted with anomalously slow temporal decay in the absence of coherent structures. In this paper we investigate the asymptotic behavior of general rogue waves of infinite order in a parametric limit in which the solution becomes small uniformly on compact sets while the $L^2$-norm remains fixed. We show that the solution is primarily concentrated on one side of a specific curve in logarithmically rescaled space-time coordinates, and we obtain the leading-order asymptotic behavior of the solution in this region in terms of elliptic functions as well as near the boundary curve in terms of modulated solitons. The asymptotic formula captures the fixed $L^2$-norm even as the solution becomes uniformly small.
- [7] arXiv:2508.00074 [pdf, html, other]
-
Title: On simultaneous $(s, s+t, s+2t, \dots)$-core partitionsSubjects: Combinatorics (math.CO)
We consider simultaneous $(s,s+t,s+2t,\dots,s+pt)$-core partitions in the large-$p$ limit, or (when $s<t$), partitions in which no hook may be of length $s \pmod{t}$. We study generating functions, containment properties, and congruences when $s$ is not coprime to $t$. As a boundary case of the general study made by Cho, Huh and Sohn, we provide enumerations when $s$ is coprime to $t$, and answer positively a conjecture of Fayers on the polynomial behavior of the size of the set of simultaneous $(s,s+t,s+2t,\dots,s+pt)$-core partitions when $p$ grows arbitrarily large. Of particular interest throughout is the comparison to the behavior of simultaneous $(s,t)$-cores.
- [8] arXiv:2508.00084 [pdf, html, other]
-
Title: Invariants for isomorphism classes in the category $\bcalNT$Comments: 40 pagesSubjects: Commutative Algebra (math.AC); Representation Theory (math.RT)
The category $\bcalNT$ is a category of certain commutative graded algebras over a field. It was introduced in \cite{Lobos2} as a generalization of algebras generated by Jucys-Murphy elements in the many \textbf{End} algebras of the diagrammatic Soergel category of Elias and Williamson. In the first part of this article we define certain \emph{Invariants} for the isomorphism classes in $\bcalNT,$ following in the same spirit of \cite{Lobos3}, where a series of \emph{Isomorphism criteria} were found. At the end, we use our invariants to provide a new lower bound for the number of isomorphism classes, improving a similar result obtained in \cite{Lobos3}.
- [9] arXiv:2508.00091 [pdf, html, other]
-
Title: Riemannian Optimization for Distance Geometry: A Study of Convergence, Robustness, and IncoherenceComments: 54 pages, 6 figuresSubjects: Optimization and Control (math.OC); Computational Geometry (cs.CG); Machine Learning (cs.LG)
The problem of recovering a configuration of points from partial pairwise distances, referred to as the Euclidean Distance Geometry (EDG) problem, arises in a broad range of applications, including sensor network localization, molecular conformation, and manifold learning. In this paper, we propose a Riemannian optimization framework for solving the EDG problem by formulating it as a low-rank matrix completion task over the space of positive semi-definite Gram matrices. The available distance measurements are encoded as expansion coefficients in a non-orthogonal basis, and optimization over the Gram matrix implicitly enforces geometric consistency through the triangle inequality, a structure inherited from classical multidimensional scaling. Under a Bernoulli sampling model for observed distances, we prove that Riemannian gradient descent on the manifold of rank-$r$ matrices locally converges linearly with high probability when the sampling probability satisfies $p \geq \mathcal{O}(\nu^2 r^2 \log(n)/n)$, where $\nu$ is an EDG-specific incoherence parameter. Furthermore, we provide an initialization candidate using a one-step hard thresholding procedure that yields convergence, provided the sampling probability satisfies $p \geq \mathcal{O}(\nu r^{3/2} \log^{3/4}(n)/n^{1/4})$. A key technical contribution of this work is the analysis of a symmetric linear operator arising from a dual basis expansion in the non-orthogonal basis, which requires a novel application of the Hanson--Wright inequality to establish an optimal restricted isometry property in the presence of coupled terms. Empirical evaluations on synthetic data demonstrate that our algorithm achieves competitive performance relative to state-of-the-art methods. Moreover, we propose a novel notion of matrix incoherence tailored to the EDG setting and provide robustness guarantees for our method.
- [10] arXiv:2508.00092 [pdf, html, other]
-
Title: A Supergeometric Faà di Bruno FormulaComments: 6 pages, 0 figuresSubjects: Mathematical Physics (math-ph); Combinatorics (math.CO)
We extend the multivariate Faà di Bruno formula to the super case, where anticommuting odd coordinates are considered. The formula takes the same form as the classical case but contains some nontrivial signs, which essentially measure the failure to order the odd factors and derivatives optimally. As a quick application, we obtain an explicit combinatorial formula for the generalized super Bell polynomials, defined by Fan and Hon.
- [11] arXiv:2508.00096 [pdf, other]
-
Title: Zeroing Diagonals, Conjugate Hollowization, and Characterizing Nondefinite OperatorsComments: 24 pages, 4 figuresSubjects: Numerical Analysis (math.NA); Rings and Algebras (math.RA)
We prove the conjecture by Damm and Fassbender that, for any pair $L,M$ of real traceless matrices, there exists an orthogonal $V$ such that $V^{-1} L \, V$ is hollow and $V M V^{-1}$ is almost hollow, where a matrix is hollow if and only if its main diagonal consists only of 0s, and a traceless matrix is almost hollow if and only if all its main diagonal elements are 0 except, at most, the last two.
The claim is a corollary to our considerably more general theorem, as well as another corollary, revealing conditions on $L,M$ under which 0s can be introduced by $V$ to all but the first or first two diagonal elements of $V^{-1} L \, V$ and to all but the last two diagonal elements of $V M V^{-1}$.
By setting $L = M$, much is revealed concerning freedom and constraint involved in introducing 0s to the diagonal of a single operator. From this we prove novel characterizations of real traceless matrices, and a stronger version of the seminal theorem by Fillmore that every real matrix is orthogonally similar to a matrix with a constant main diagonal.
Our results are contextualized in a characterization and classification of nondefinite matrices by, roughly, how many zeros can be introduced to their diagonals, and it what ways. - [12] arXiv:2508.00099 [pdf, html, other]
-
Title: Isoperiodic meromorphic forms with at least three simple polesComments: 73 pages, 16 figuresSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV); Dynamical Systems (math.DS)
In this paper we prove the connectedness of isoperiodic moduli spaces of meromorphic differentials with at least three simple poles on homologically marked smooth curves whose periods are either not contained in a real line, or not contained in the rational space generated by the peripheral periods. From this topological property we deduce dynamical properties of the underlying foliation in the moduli space meromorphic differentials, by describing leaf closures associated to those spaces.
- [13] arXiv:2508.00100 [pdf, html, other]
-
Title: Holonomy of affine surfacesSubjects: Algebraic Geometry (math.AG); Geometric Topology (math.GT)
We identify the moduli space of complex affine surfaces with the moduli space of regular meromorphic connections on Riemann surfaces and show that it satisfies a corresponding universal property. As a consequence, we identify the tangent space of the moduli space of affine surfaces, at an affine surface X, with the first hypercohomology of a two-term sequences of sheaves on X. In terms of this identification, we calculate the derivative and coderivative of the holonomy map, sending an affine surface to its holonomy character. Using these formulas, we show that the holonomy map is a submersion at every affine surface that is not a finite-area translation surface, extending work of Veech. Finally, we introduce a holomorphic foliation of some strata of meromorphic affine surfaces, which we call the isoresidual foliation, along whose leave holonomy characters and certain residues are constant. We equip this foliation with a leafwise indefinite Hermitian metric, again extending work of Veech.
- [14] arXiv:2508.00101 [pdf, html, other]
-
Title: Leveraging Operator Learning to Accelerate Convergence of the Preconditioned Conjugate Gradient MethodComments: 31 pagesSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Optimization and Control (math.OC)
We propose a new deflation strategy to accelerate the convergence of the preconditioned conjugate gradient(PCG) method for solving parametric large-scale linear systems of equations. Unlike traditional deflation techniques that rely on eigenvector approximations or recycled Krylov subspaces, we generate the deflation subspaces using operator learning, specifically the Deep Operator Network~(DeepONet). To this aim, we introduce two complementary approaches for assembling the deflation operators. The first approach approximates near-null space vectors of the discrete PDE operator using the basis functions learned by the DeepONet. The second approach directly leverages solutions predicted by the DeepONet. To further enhance convergence, we also propose several strategies for prescribing the sparsity pattern of the deflation operator. A comprehensive set of numerical experiments encompassing steady-state, time-dependent, scalar, and vector-valued problems posed on both structured and unstructured geometries is presented and demonstrates the effectiveness of the proposed DeepONet-based deflated PCG method, as well as its generalization across a wide range of model parameters and problem resolutions.
- [15] arXiv:2508.00108 [pdf, html, other]
-
Title: Effective normalization of sub-Riemannian connectionsComments: 26 pagesSubjects: Differential Geometry (math.DG)
We give a new normalization condition for connections on sub-Riemannian manifolds with constant symbols. The condition is formulated in terms of Cartan connections and depends only on the first degree of homogeneity of the curvature. The essential part of our result is to show how a Cartan connection can be uniquely determined by a partial connection on the horizontal bundle. Viewed from the manifold, this observation is equivalent to the following claim: a compatible partial affine connection can be uniquely extended to both a full affine connection and a grading of the tangent bundle, and our normalization ensures that the holonomy of this connection will coincide with the horizontal holonomy, i.e., related to horizontal paths only. We give several examples in which we compute the canonical connections for a class of sub-Riemannian manifolds.
- [16] arXiv:2508.00111 [pdf, html, other]
-
Title: A logical implication between two conjectures on matrix permanentsJournal-ref: Linear Algebra and its Applications, Volume 725, 15 November 2025, Pages 309-318Subjects: Rings and Algebras (math.RA); Combinatorics (math.CO); Quantum Physics (quant-ph)
We prove a logical implication between two old conjectures stated by Bapat and Sunder about the permanent of positive semidefinite matrices. Although Drury has recently disproved both conjectures, this logical implication yields a non-trivial link between two seemingly unrelated conditions that a positive semidefinite matrix may fulfill. As a corollary, the classes of matrices that are known to obey the first conjecture are then immediately proven to obey the second one. Conversely, we uncover new counterexamples to the first conjecture by exhibiting a previously unknown type of counterexamples to the second conjecture.
- [17] arXiv:2508.00113 [pdf, html, other]
-
Title: Four-dimensional operator systems without the lifting propertyComments: 9 pagesSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
The purpose of this note is to provide a family of explicit examples of $4$-dimensional operator systems contained in the Calkin algebra $\mathcal{Q}(\mathcal{H})$ on a separable infinite-dimensional Hilbert space $\mathcal{H}$ for which the identity map has no unital completely positive (ucp) lift to $\mathcal{B}(\mathcal{H})$ with respect to the canonical quotient map $\pi:\mathcal{B}(\mathcal{H}) \to \mathcal{Q}(\mathcal{H})$. More specifically, to each unital $C^*$-algebra $\mathcal{A}$ generated by $n$ unitaries and unital $*$-homomorphism $\rho:\mathcal{A} \to \mathcal{Q}(\mathcal{H})$ with no ucp lift, we construct a four-dimensional operator subsystem $\mathcal{S}$ of $M_{n+1}(\mathcal{A})$ without the lifting property. As a result, for each $n \geq 2$ we exhibit a four-dimensional operator system $\mathcal{S}$ in $M_{n+1}(C_r^*(\mathbb{F}_n))$ without the lifting property. We also obtain explicit examples where the generalized Smith-Ward problem for liftings of joint matrix ranges for three self-adjoint operators has a negative answer.
- [18] arXiv:2508.00115 [pdf, html, other]
-
Title: Turbulent and intermittent phenomena in a universal total anomalous dissipatorComments: 53 pages, 3 figuresSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Probability (math.PR)
For all $\alpha \in (0,1)$, we construct an explicit divergence-free vector field $V \in L^\infty([0,1],C^\alpha(\mathbb{T}^2))$ that exhibits universal anomalous (total) dissipation, accelerating dissipation enhancement, Richardson dispersion, anomalous regularization, and spatial intermittency. Additionally, we demonstrate the sharpness of the intermittent Obukhov-Corrsin regime for certain parameter ranges.
- [19] arXiv:2508.00122 [pdf, html, other]
-
Title: Global solutions to cubic Dirac and Dirac-Klein-Gordon systems on spacetimes close to the Minkowski spaceComments: 36 pages, 1 figureSubjects: Analysis of PDEs (math.AP)
We establish global existence and derive sharp pointwise decay estimates of solutions to cubic Dirac and Dirac-Klein-Gordon systems on a curved background, close to the Minkowski spacetime. By squaring the Dirac operator, we reduce the analysis to a nonlinear wave-type equation involving spinorial connections, and apply energy estimates based on vector field methods and the hyperboloidal foliation framework, introduced by LeFloch-Ma. A key difficulty arises from the commutator structure of the Dirac operator, which exhibits significantly different behaviour from that of scalar field equations and requires refined control throughout the analysis, particularly due to the spacetime-dependent gamma matrices, which reduce to constant matrices in the flat Minkowski spacetime.
- [20] arXiv:2508.00125 [pdf, html, other]
-
Title: Homotopy lifting, asymptotic homomorphisms, and tracesSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
The following homotopy lifting theorem is proved: Let $\phi, \psi: B \to D/I$ be homotopic $\ast$-homomorphisms and suppose $\psi$ lifts to a (discrete) asymptotic homomorphism. Then $\phi$ lifts to a (discrete) asymptotic homomorphism. Moreover the whole homotopy lifts. We also prove a cp version of this theorem and a version where $\phi$ is replaced by an asymptotic homomorphism. We obtain a lifting characterization of several important properties of C*-algebras and use them together with the lifting theorem to get the following applications:
1) MF-property is homotopy invariant;
2) If either $A$ or $B$ is exact, $A$ is homotopy dominated by $B$ and all amenable traces on $B$ are quasidiagonal, then all amenable traces on $A$ are quasidiagonal;
3) If a C*-algebra $A$ is homotopy dominated by a nuclear C*-algebra $B$ and all (hyperlinear) traces on $B$ are MF, then all hyperlinear traces on $A$ are MF.
4) Some of the extension groups introduced by Manuilov and Thomsen coincide. - [21] arXiv:2508.00132 [pdf, html, other]
-
Title: The symmetric strong circuit elimination propertySubjects: Combinatorics (math.CO)
If $C_1$ and $C_2$ are circuits in a matroid $M$ with $e_1$ in $C_1-C_2$ and $e$ in $C_1\cap C_2$, then $M$ has a circuit $C_3$ such that $e\in C_3\subseteq (C_1\cup C_2)-e$. This strong circuit elimination axiom is inherently asymmetric. A matroid $M$ has the symmetric strong circuit elimination property (SSCE) if, when the above conditions hold and $e_2\in C_2-C_1$, there is a circuit $C_3'$ with $\{e_1,e_2\}\subseteq C_3'\subseteq (C_1\cup C_2)-e$. We prove that a connected matroid has this property if and only if it has no two skew circuits. We also characterize such matroids in terms of forbidden series minors, and we give a new matroid axiom system that is built around a modification of SSCE.
- [22] arXiv:2508.00133 [pdf, html, other]
-
Title: Homotopies for Lagrangian field theoryComments: 32 pagesSubjects: Mathematical Physics (math-ph); Differential Geometry (math.DG); Symplectic Geometry (math.SG)
Consider the variational bicomplex for $\mathcal{E}$ the space of sections of a graded, affine bundle. Local functionals $\mathcal{F}$ are defined as an equivalence class of density-valued functionals, which represent Lagrangian densities. A choice of a $k$-symplectic local form $\omega$ on $\mathcal{E}$ induces a Lie$[k]$ algebra structure on (Hamiltonian) local functionals $(\mathcal{F}_{\mathrm{ham}},\{\cdot,\cdot\}_{\mathrm{ham}})$. For any $\omega$ and any choice of a cohomological vector field $Q$ compatible with $\omega$, we build an explicit $L_\infty$ algebra on a resolution of $\mathcal{F}_{\mathrm{ham}}$, which is $L_\infty$ quasi-isomorphic to a dgL$[k]$a $(\mathcal{F}_{\mathrm{ham}},d_{\mathrm{ham}},\{\cdot,\cdot\}_{\mathrm{ham}})$. In the case $k=-1$, this provides an explicit lift of the standard Batalin--Vilkovisky framework to local forms enriched by the $L_\infty$ structure, in terms of local homotopies. We further provide a multisymplectic interpretation of the resulting data.
- [23] arXiv:2508.00134 [pdf, html, other]
-
Title: Algebraic connectivity in normed spacesSubjects: Combinatorics (math.CO); Metric Geometry (math.MG); Spectral Theory (math.SP)
The algebraic connectivity of a graph $G$ in a finite dimensional real normed linear space $X$ is a geometric counterpart to the Fiedler number of the graph and can be regarded as a measure of the rigidity of the graph in $X$. We analyse the behaviour of the algebraic connectivity of $G$ in $X$ with respect to graph decomposition, vertex deletion and isometric isomorphism, and provide a general bound expressed in terms of the geometry of $X$ and the Fiedler number of the graph. Particular focus is given to the space $\ell_\infty^d$ where we present explicit formulae and calculations as well as upper and lower bounds. As a key tool, we show that the monochrome subgraphs of a complete framework in $\ell_\infty^d$ are odd-hole-free. Connections to redundant rigidity are also presented.
- [24] arXiv:2508.00136 [pdf, html, other]
-
Title: Unique equilibrium states for Viana maps with small potentialsSubjects: Dynamical Systems (math.DS)
We investigate the thermodynamic formalism for Viana maps-skew products obtained by coupling an expanding circle map with a slightly perturbed quadratic family on the fibers. For every H?lder potential $\varphi$ whose oscillation is below an explicit threshold, we show that an equilibrium state not only exists but is unique and satisfies an upper level-2 large-deviation principle. All of these conclusions persist under sufficiently small perturbations of the reference map.
- [25] arXiv:2508.00147 [pdf, html, other]
-
Title: Quadratic growth of geodesics on the two-sphereComments: 38 pagesSubjects: Symplectic Geometry (math.SG)
We prove that for any reversible Finsler metric on S2, the number of prime closed geodesics grows quadratically with respect to length. The main tools are an improvement on Franks' theorem about the number of periodic points of area-preserving annulus maps, and the theory of cylindrical contact homology in the complement of a link.
- [26] arXiv:2508.00148 [pdf, html, other]
-
Title: Canonical parameters on a surface in $\mathbb R^4$Comments: 17 pages, no figuresSubjects: Differential Geometry (math.DG)
In the present paper, we study surfaces in the four-dimensional Euclidean space $\mathbb{R}^4$. We define special principal parameters, which we call canonical, on each surface without minimal points, and prove that the surface admits (at least locally) canonical principal parameters. They can be considered as a generalization of the canonical parameters for minimal surfaces and the canonical parameters for surfaces with parallel normalized mean curvature vector field introduced before. We prove a fundamental existence and uniqueness theorem formulated in terms of canonical principal parameters, which states that the surfaces in $\mathbb{R}^4$ are determined up to a motion by four geometrically determined functions satisfying a system of partial differential equations.
- [27] arXiv:2508.00157 [pdf, other]
-
Title: Chromatic MacMahon symmetric functions of graphsComments: 12 pagesSubjects: Combinatorics (math.CO)
A MacMahon symmetric function is an invariant of the diagonal action of the symmetric group on power series in multiple alphabets of variables. We introduce an analogue of the chromatic symmetric function for vertex-weighted graphs, taking values in the MacMahon symmetric functions on two sets of variables, recording information about both cardinalities and weights of vertex sets. We prove that the chromatic symmetric MacMahon function of a tree determines the generating function for its vertex subsets by cardinality, weight, and the numbers of internal and external edges. This result generalizes the one for the unweighted case, first conjectured by Crew and proved independently by Aliste-Prieto--Martin--Wagner--Zamora and Liu--Tang.
- [28] arXiv:2508.00163 [pdf, html, other]
-
Title: Parametric convergence rate of some nonparametric estimators in mixtures of power series distributionsComments: 49 pages, 7 figuresSubjects: Statistics Theory (math.ST)
We consider the problem of estimating a mixture of power series distributions with infinite support, to which belong very well-known models such as Poisson, Geometric, Logarithmic or Negative Binomial probability mass functions. We consider the nonparametric maximum likelihood estimator (NPMLE) and show that, under very mild assumptions, it converges to the true mixture distribution $\pi_0$ at a rate no slower than $(\log n)^{3/2} n^{-1/2}$ in the Hellinger distance. Recent work on minimax lower bounds suggests that the logarithmic factor in the obtained Hellinger rate of convergence can not be improved, at least for mixtures of Poisson distributions. Furthermore, we construct nonparametric estimators that are based on the NPMLE and show that they converge to $\pi_0$ at the parametric rate $n^{-1/2}$ in the $\ell_p$-norm ($p \in [1, \infty]$ or $p \in [2, \infty])$: The weighted least squares and hybrid estimators. Simulations and a real data application are considered to assess the performance of all estimators we study in this paper and illustrate the practical aspect of the theory. The simulations results show that the NPMLE has the best performance in the Hellinger, $\ell_1$ and $\ell_2$ distances in all scenarios. Finally, to construct confidence intervals of the true mixture probability mass function, both the nonparametric and parametric bootstrap procedures are considered. Their performances are compared with respect to the coverage and length of the resulting intervals.
- [29] arXiv:2508.00165 [pdf, html, other]
-
Title: $C^1$ invariant and inertial manifolds for non-autonomous dynamical systemsSubjects: Dynamical Systems (math.DS); Analysis of PDEs (math.AP)
Recent article by Carvalho et al. [J. Differential Equations 416 (2025)] presents in a~unified framework the Lyapunov--Perron construction of invariant and inertial manifolds together with the saddle point property. We extend their results on the existence of non-autonomous inertial manifolds by considering the gap condition which is known to be sharp. Moreover, we show that the constructed inertial manifolds have $C^1$ regularity.
- [30] arXiv:2508.00166 [pdf, html, other]
-
Title: A Counterexample Regarding C.E. Closed Subsets of [0,1] Under HomeomorphismsSubjects: Logic (math.LO)
We give an example of a computably enumerable closed subset of [0,1] that is not homeomorphic to any computably compact space. This answers a question of Koh, Melnikov and Ng.
- [31] arXiv:2508.00181 [pdf, html, other]
-
Title: Measuring leadership and productivity in an organisational structureComments: 24 pages, 13 figuresSubjects: Optimization and Control (math.OC)
This paper develops a novel methodological framework for assessing leadership potential and productivity within organisational structure represented by directed graphs. In this setting, individuals are modeled as nodes and asymmetric supervisory or reporting relationships as directed edges. Leveraging the theory of transferable utility cooperative games, we introduce the Average Forest (AF) measure, a marginalist leadership measure grounded in the enumeration of maximal spanning forests, where teams are hierarchically structured as arborescences. The AF measure captures each agent`s expected contribution across all feasible team configurations under the assumption of superadditivity of the underlying game. We further define a measure of organisational productivity as the expected aggregate value derived from these configurations. The paper investigates key theoretical properties of the AF measure -- such as linearity, component feasibility, and monotonicity -- and analyzes its sensitivity to structural modifications in the underlying digraph. To address computational challenges in large networks, a Monte Carlo simulation algorithm is proposed for practical estimation. This framework enables the identification of structurally optimal leaders and enhances understanding of how network design impacts collective performance.
- [32] arXiv:2508.00182 [pdf, html, other]
-
Title: On multiple null-series in the Walsh system, M- and U- setsComments: 25 pages, in Russian language. 1 figures. In particular, we obtain a positive answer to the question posed by this http URL regarding the existence of M-sets contained, for example, in the cube [0,1/2]^dSubjects: Classical Analysis and ODEs (math.CA)
A family of M-sets and null-series for the d-dimensional Walsh system is constructed if we consider convergence over rectangles, cubes, or iterated convergence. Non-empty portions of the constructed M-sets are also M-sets. The question of the rate of convergence to zero of the coefficients of zero-series that realize the constructed M-sets is studied, and it is shown how to modify the construction of the latter to turn them into U-sets
- [33] arXiv:2508.00183 [pdf, html, other]
-
Title: Improved Bounds on Access-Redundancy Tradeoffs in Quantized Linear ComputationsComments: ISIT 2025Subjects: Information Theory (cs.IT)
Consider the problem of computing quantized linear functions with only a few queries. Formally, given $\mathbf{x}\in \mathbb{R}^k$, our goal is to encode $\mathbf{x}$ as $\mathbf{c} \in \mathbb{R}^n$, for $n > k$, so that for any $\mathbf{w} \in A^k$, $\mathbf{w}^T \mathbf{x}$ can be computed using at most $\ell$ queries to $\mathbf{c}$. Here, $A$ is some finite set; in this paper we focus on the case where $|A| = 2$.
Prior work \emph{(Ramkumar, Raviv, and Tamo, Trans. IT, 2024)} has given constructions and established impossibility results for this problem. We give improved impossibility results, both for the general problem, and for the specific class of construction (block construction) presented in that work. The latter establishes that the block constructions of prior work are optimal within that class.
We also initiate the study of \emph{approximate} recovery for this problem, where the goal is not to recover $\mathbf{w}^T \mathbf{x}$ exactly but rather to approximate it up to a parameter $\varepsilon > 0$. We give several constructions, and give constructions for $\varepsilon = 0.1$ that outperform our impossibility result for exact schemes. - [34] arXiv:2508.00184 [pdf, html, other]
-
Title: Schoenflies problem for area preserving biLipschitz mappingsSubjects: Geometric Topology (math.GT); Functional Analysis (math.FA)
We prove that any biLipschitz mapping of the boundary of the unit disk onto the boundary of the domain of the same area can be extended to a biLipschitz mapping of the whole plane which preserves the area of any measurable subset.
- [35] arXiv:2508.00189 [pdf, html, other]
-
Title: Long-time evolution of forced waves in the low viscosity regimeComments: v1, 20 pSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Spectral Theory (math.SP)
We consider a model for internal waves described by a zero order pseudo-differential Hamiltonian $P$ damped by a second order viscosity term $i \nu Q$. Under Morse-Smale or similar weaker global conditions on the classical dynamics, we describe qualitatively the long-time behavior of solutions of the corresponding evolution equation with smooth forcing in a small $\nu$ regime. We show that dissipation effects arise no earlier than at the $t\sim \nu^{-1/3-}$ time scale.
- [36] arXiv:2508.00192 [pdf, other]
-
Title: On the Undecidability of Tiling the $3$-dimensional Space with a Set of $3$ PolycubesComments: in Chinese languageSubjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Metric Geometry (math.MG)
Translational tiling problems are among the most fundamental and representative undecidable problems in all fields of mathematics. Greenfeld and Tao obtained two remarkable results on the undecidability of translational tiling in recent years. One is the existence of an aperiodic monotile in a space of sufficiently large dimension. The other is the undecidability of translational tiling of periodic subsets of space with a single tile, provided that the dimension of the space is part of the input. These two results support the following conjecture: there is a fixed dimension $n$ such that translational tiling with a single tile is undecidable. One strategy towards solving this conjecture is to prove the undecidability of translational tiling of a fixed dimension space with a set of $k$ tiles, for a positive integer $k$ as small as possible. In this paper, it is shown that translational tiling the $3$-dimensional space with a set of $3$ polycubes is undecidable.
- [37] arXiv:2508.00196 [pdf, html, other]
-
Title: The Canonical Exact Sequence of Differential Modules for 0-Dimensional SchemesComments: 19 pagesSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
Given a 0-dimensional scheme $\X$ in $\mathbb{P}^n_K$ over a perfect field $K$, we examine the second differential power of its homogeneous vanishing ideal. This enables us to establish the canonical exact sequence for the associated K?hler differential module. We also provide a formula for the Hilbert polynomial of K?hler differential modules when $\X$ is either a fat point scheme or a 0-dimensional locally monomial Gorenstein scheme.
- [38] arXiv:2508.00215 [pdf, other]
-
Title: Solvable points on intersections of quadrics, cubics, and quarticsComments: 15 pages. Comments welcomeSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
Let $k$ be a field of characteristic not 2 or 3. We establish polynomial lower bounds on the ambient dimension $N$ for an intersection $X\subset\mathbb{P}^N$ of quadrics, cubics and quartics to have a dense collection of solvable points, i.e. points in $X(k^{\mathsf{Sol}})$ where $k^{\mathsf{Sol}}/k$ is a solvable closure. Our method connects the classical theory of polar hypersurfaces, as redeveloped by Sutherland, to Fano varieties $\mathcal{F}(j,X)$ of $j$-dimensional linear subspaces on $X$, and we use this to obtain improved control on the arithmetic of $\mathcal{F}(j,X)$.
- [39] arXiv:2508.00219 [pdf, html, other]
-
Title: On the geometry of stack-sorting simplicesComments: 15 pages, 4 figures, comments welcomed!Subjects: Combinatorics (math.CO)
We show that all stack-sorting polytopes are simplices. Furthermore, we show that the stack-sorting polytopes generated from $Ln1$ permutations have relative volume 1. We establish an upper bound for the number of lattice points in a stack-sorting polytope. In particular, stack-sorting polytopes generated from $2Ln1$ permutations have no interior points.
- [40] arXiv:2508.00221 [pdf, html, other]
-
Title: Partial Floquet Transformation and Model Order Reduction of Linear Time-Periodic SystemsComments: 21 pagesSubjects: Numerical Analysis (math.NA); Dynamical Systems (math.DS)
Time-periodic dynamical systems occur commonly both in nature and as engineered systems. Large-scale linear time-periodic dynamical systems, for example, may arise through linearization of a nonlinear system about a given periodic solution (possibly as a consequence of a baseline periodic forcing) with subsequent spatial discretization. The potential need to simulate responses to a wide variety of input profiles (viewed as perturbations off a baseline periodic forcing) creates a potent incentive for effective model reduction strategies applicable to linear time-periodic (LTP) systems. Classical approaches that take into account the underlying time-periodic system structure often utilize the Floquet transform; however, computation of the Floquet transform is typically intractable for large order systems. In this paper, we develop the notion of a partial Floquet transformation connected to selected invariant subspaces of a time-varying differential operator associated with the LTP system. We modify and repurpose the Dominant Pole Algorithm of Rommes to identify effective invariant subspaces useful for model reduction. We discuss the construction of associated partial Floquet transformations and time-varying reduction bases with which to produce effective reduced-order LTP models and illustrate the process on a simple time-periodic system.
- [41] arXiv:2508.00223 [pdf, html, other]
-
Title: Structural Causal Models for Extremes: an Approach Based on Exponent MeasuresSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
We introduce a new formulation of structural causal models for extremes, called the extremal structural causal model (eSCM). Unlike conventional structural causal models, where randomness is governed by a probability distribution, eSCMs use an exponent measure--an infinite-mass law that naturally arises in the analysis of multivariate extremes. Central to this framework are activation variables, which abstract the single-big-jump principle, along with additional randomization that enriches the class of eSCM laws. This formulation encompasses all possible laws of directed graphical models under the recently introduced notion of extremal conditional independence. We also identify an inherent asymmetry in eSCMs under natural assumptions, enabling the identifiability of causal directions, a central challenge in causal inference. Finally, we propose a method that utilizes this causal asymmetry and demonstrate its effectiveness in both simulated and real datasets.
- [42] arXiv:2508.00231 [pdf, html, other]
-
Title: Generalizing the Penrose cut-and-paste method: Null shells with pressure and energy fluxComments: 33 pages, 5 figuresSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
The cut-and-paste method is a procedure for constructing null thin shells by matching two regions of the same spacetime across a null hypersurface. Originally proposed by Penrose, it has so far allowed to describe purely gravitational and null-dust shells in constant-curvature backgrounds. In this paper, we extend the cut-and-paste method to null shells with arbitrary gravitational/matter content. To that aim, we first derive a locally Lipschitz continuous form of the metric of the spacetime resulting from the most general matching of two constant-curvature spacetimes with totally geodesic null boundaries, and then obtain the coordinate transformation that turns this metric into the cut-and-paste form with a Dirac-delta term. The paper includes an example of a null shell with non-trivial energy density, energy flux and pressure in Minkowski space.
- [43] arXiv:2508.00241 [pdf, other]
-
Title: Paratransit Optimization with Constraint Programming: A Case Study in Savannah, GeorgiaSubjects: Optimization and Control (math.OC)
Paratransit services are vital for individuals who cannot use fixed-route public transit, including those with disabilities. Optimizing these services is essential for transit agencies to deliver high-quality service efficiently. This paper introduces a constraint programming model to jointly optimize route planning and shift scheduling for paratransit operations, along with practical guidance for real-world implementation. A case study in Savannah, Georgia, demonstrates that the new approach is competitive with the state of the art and significantly increases the number of requests served compared to current practices. It is also significantly easier to implement and provides an inherently practical solution for transportation planners. An additional advantage is that the model allows for optimizing shifts without restricting start times to the top of the hour, yielding a further 5% improvement in requests served when applied.
- [44] arXiv:2508.00242 [pdf, html, other]
-
Title: A reduced-IRKA method for large-scale $\mathcal{H}_2$-optimal model order reductionSubjects: Numerical Analysis (math.NA)
The $\mathcal{H}_2$-optimal Model Order Reduction (MOR) is one of the most significant frameworks for reduction methodologies for linear dynamical systems. In this context, the Iterative Rational Krylov Algorithm (\IRKA) is a well established method for computing an optimal projection space of fixed dimension $r$, when the system has small or medium dimensions. However, for large problems the performance of \IRKA\ is not satisfactory. In this paper, we introduce a new rational Krylov subspace projection method with conveniently selected shifts, that can effectively handle large-scale problems. The projection subspace is generated sequentially, and the \IRKA\ procedure is employed on the projected problem to produce a new optimal rational space of dimension $r$ for the reduced problem, and the associated shifts. The latter are then injected to expand the projection space. Truncation of older information of the generated space is performed to limit memory requirements. Numerical experiments on benchmark problems illustrate the effectiveness of the new method.
- [45] arXiv:2508.00246 [pdf, html, other]
-
Title: On the Existence of Optimal Strategies in a Combinatorial GameComments: 18 pages, 5 figuresSubjects: Combinatorics (math.CO)
We study a combinatorial game derived from a problem in the German National Mathematics Competition. In this game, two players take turns removing numbers from a finite set of natural numbers, aiming to satisfy a certain divisibility condition. We introduce a generalized version of the original game, which depends on two parameters: the size of the initial number set and a fixed divisor. For both players, we identify a broad range of game variants in which they can force a win. In particular, we show that for even-sized sets, the second player to move can always win, while for many odd-sized cases, the first player to move has a winning strategy. A web implementation of the game demonstrates some of our results in practice.
- [46] arXiv:2508.00266 [pdf, html, other]
-
Title: Finite index theorems for iterated Galois groups of preperiodic points for unicritical polynomialsComments: 15 pages. arXiv admin note: substantial text overlap with arXiv:1810.00990Subjects: Number Theory (math.NT); Dynamical Systems (math.DS)
Let K be a number field and let f(x) = x^q + c where q is a prime power, c is in K, and f is not post-critically finite. We show that for any strictly preperiodic b in K, the iterated Galois group at b with respect to f has finite index in the generic iterated Galois group for f.
- [47] arXiv:2508.00267 [pdf, html, other]
-
Title: Neighbor-Sampling Based Momentum Stochastic Methods for Training Graph Neural NetworksComments: 32 pagesSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
Graph convolutional networks (GCNs) are a powerful tool for graph representation learning. Due to the recursive neighborhood aggregations employed by GCNs, efficient training methods suffer from a lack of theoretical guarantees or are missing important practical elements from modern deep learning algorithms, such as adaptivity and momentum. In this paper, we present several neighbor-sampling (NS) based Adam-type stochastic methods for solving a nonconvex GCN training problem. We utilize the control variate technique proposed by [1] to reduce the stochastic error caused by neighbor sampling. Under standard assumptions for Adam-type methods, we show that our methods enjoy the optimal convergence rate. In addition, we conduct extensive numerical experiments on node classification tasks with several benchmark datasets. The results demonstrate superior performance of our methods over classic NS-based SGD that also uses the control-variate technique, especially for large-scale graph datasets. Our code is available at this http URL .
- [48] arXiv:2508.00268 [pdf, html, other]
-
Title: Channel Estimation for Flexible Intelligent Metasurfaces: From Model-Based Approaches to Neural OperatorsSubjects: Information Theory (cs.IT)
Flexible intelligent metasurfaces (FIMs) offer a new solution for wireless communications by introducing morphological degrees of freedom, dynamically morphing their three-dimensional shape to ensure multipath signals interfere constructively. However, realizing the desired performance gains in FIM systems is critically dependent on acquiring accurate channel state information across a continuous and high-dimensional deformation space. Therefore, this paper investigates this fundamental channel estimation problem for FIM assisted millimeter-wave communication systems. First, we develop model-based frameworks that structure the problem as either function approximation using interpolation and kernel methods or as a sparse signal recovery problem that leverages the inherent angular sparsity of millimeter-wave channels. To further advance the estimation capability beyond explicit assumptions in model-based channel estimation frameworks, we propose a deep learning-based framework using a Fourier neural operator (FNO). By parameterizing a global convolution operator in the Fourier domain, we design an efficient FNO architecture to learn the continuous operator that maps FIM shapes to channel responses with mesh-independent properties. Furthermore, we exploit a hierarchical FNO (H-FNO) architecture to efficiently capture the multi-scale features across a hierarchy of spatial resolutions. Numerical results demonstrate that the proposed H-FNO significantly outperforms the model-based benchmarks in estimation accuracy and pilot efficiency. In particular, the interpretability analysis show that the proposed H-FNO learns an anisotropic spatial filter adapted to the physical geometry of FIM and is capable of accurately reconstructing the non-linear channel response across the continuous deformation space.
- [49] arXiv:2508.00269 [pdf, html, other]
-
Title: chipfiring: A Python Package for Efficient Mathematical Analysis of Chip-Firing Games on MultigraphsDhyey Dharmendrakumar Mavani (1), Tairan Ji (2), Nathan Pflueger (3) ((1) Departments of Mathematics, Statistics, and Computer Science, Amherst College, Amherst, MA, United States, (2) Department of Computer Science, Amherst College, Amherst, MA, United States, (3) Department of Mathematics, Amherst College, Amherst, MA, United States)Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Mathematical Software (cs.MS); Algebraic Geometry (math.AG)
This paper presents `chipfiring`, a comprehensive Python package for the mathematical analysis of chip-firing games on finite graphs. The package provides a robust toolkit for defining graphs and chip configurations (divisors), performing chip-firing operations, and analyzing fundamental properties such as winnability, linear equivalence, and divisor rank. We detail the core components of the library, including its object-oriented graph and divisor implementations, integrated Laplacian matrix computations, and an efficient implementation of Dhar's algorithm for determining the solvability of the dollar game. The `chipfiring` package is designed for researchers and students in graph theory, combinatorics, and algebraic geometry, providing essential algorithms and data structures for exploring these rich mathematical models. We describe the library's architecture, illustrate its usage with comprehensive examples, and highlight its specialized contributions compared to general-purpose graph libraries.
- [50] arXiv:2508.00279 [pdf, html, other]
-
Title: Estimates for maximal Fourier multiplier operators on $\Bbb R^2$ via square functionsComments: 24 pagesSubjects: Classical Analysis and ODEs (math.CA)
We consider certain Littlewood-Paley square functions on $\Bbb R^2$ and prove sharp estimates for them, from which we can deduce $L^p$ boundedness of maximal functions defined by Fourier multipliers of Bochner-Riesz type on $\Bbb R^2$. This is a generalization of a result due to A. Carbery 1983.
- [51] arXiv:2508.00294 [pdf, html, other]
-
Title: Formal Power Series Representations in Probability and Expected Utility TheorySubjects: Probability (math.PR); Artificial Intelligence (cs.AI); Theoretical Economics (econ.TH); Logic (math.LO); Statistics Theory (math.ST)
We advance a general theory of coherent preference that surrenders restrictions embodied in orthodox doctrine. This theory enjoys the property that any preference system admits extension to a complete system of preferences, provided it satisfies a certain coherence requirement analogous to the one de Finetti advanced for his foundations of probability. Unlike de Finetti's theory, the one we set forth requires neither transitivity nor Archimedeanness nor boundedness nor continuity of preference. This theory also enjoys the property that any complete preference system meeting the standard of coherence can be represented by utility in an ordered field extension of the reals. Representability by utility is a corollary of this paper's central result, which at once extends H?lder's Theorem and strengthens Hahn's Embedding Theorem.
- [52] arXiv:2508.00297 [pdf, html, other]
-
Title: Peripheral subgroups of Kleinian groupsComments: 36 pages, 9 figuresSubjects: Geometric Topology (math.GT); Complex Variables (math.CV); Group Theory (math.GR)
The conformal boundary of a hyperbolic $3$-manifold $M$ is a union of Riemann surfaces. If any of these Riemann surfaces has a nontrivial Teichmüller space, then the hyperbolic metric of $M$ can be deformed quasi-isometrically. These deformations correspond to a small pertubations in the matrices of the holonomy group of $M$, which together give an island of discrete representations around the identity map in $ X=\mathrm{Hom}(\pi_1(M), \mathsf{PSL}(2,\mathbb{C})) $. Determining the extent of this island is a hard problem. If $M$ is geometrically finite and its convex core boundary is pleated only along simple closed curves, then we cut up its conformal boundary in a way governed by the pleating combinatorics to produce a fundamental domain for $ \pi_1(M) $ that is combinatorially stable under small deformations, even those which change the pleated structure. We give a computable region in $X$, cut out by polynomial inequalities over $\mathbb{R}$, within which this fundamental domain is valid: all the groups in the region have peripheral structures that look `coarsely similar', in that they come from real-algebraically deforming a fixed conformal polygon and its side-pairings. The union of all these regions for different pleating laminations gives a countable cover, with sets of controlled topology, of the entire quasi-isometric deformation space of $ \pi_1(M) $ -- which is known to be topologically wild.
- [53] arXiv:2508.00302 [pdf, html, other]
-
Title: The net-regular strongly regular signed graphs with degree 6Comments: arXiv admin note: text overlap with arXiv:2507.23420Subjects: Combinatorics (math.CO)
In this paper, we study the net-regular strongly regular signed graphs with degree 6 and determine all connected 6-regular and net-regular strongly regular signed graphs. There are three, six and four 6-regular strongly regular signed graphs with net-degree 4, 2 and 0, respectively.
- [54] arXiv:2508.00316 [pdf, html, other]
-
Title: Anomalous free energy expansions of planar Coulomb gases: multi-component and conformal singularityComments: 17 pages, 1 figureSubjects: Mathematical Physics (math-ph); Complex Variables (math.CV); Probability (math.PR)
We study the partition function $$ Z_n = \int_{\mathbb{C}^n } \prod_{1 \le j<k \le n} |z_{j}-z_{k}|^{2} \prod_{j=1}^{n} |z_j|^{2c}\, e^{-n V(z_{j})}\frac{d^{2}z_{j}}{\pi}, $$ where $c>-1$ and $$ V(z)= |z|^{2d}-t(z^{d}+\overline{z}^{d}), \qquad t >0, \, d \in \mathbb{N}. $$ The associated droplet reveals a topological phase transition: for $t > 1/\sqrt{d}$, it consists of $d$ connected components; whereas for $t < 1/\sqrt{d}$, it becomes simply connected and contains the origin, where a conformal singularity arises. In both regimes, we establish the asymptotic expansion $$ \log Z_n = C_1 n^2 + C_2 n \log n + C_3 n + C_4 \log n + C_5 + O(n^{-1}), $$ as $n \to \infty$, and derive all coefficients explicitly. In the multi-component regime $t > 1/\sqrt{d}$, the constant term $C_5$ exhibits an oscillatory behaviour that depends on the congruence class of $n$ modulo $d$. In particular, in the special case $c = 0$ with $n$ divisible by $d$, our result confirms a conjecture of Dea?o and Simm. In contrast, in the conformal singularity regime $t < 1/\sqrt{d}$, the oscillatory behaviour disappears, while additional contributions in $C_4$ arise beyond the scope of the conjecture of Jancovici et al. As a special case $d = 1$, our result yields the asymptotic expansion for the moments of the characteristic polynomial of the complex Ginibre ensemble with finite exponent. In the bulk regime, we further derive the full expansion in powers of $1/N$, thereby providing a precise evaluation of the error term in the result of Webb and Wong.
- [55] arXiv:2508.00336 [pdf, other]
-
Title: Saturation for Non-Symmetric Macdonald PolynomialsComments: 12 pagesSubjects: Combinatorics (math.CO)
We prove that supports of non-symmetric Macdonald polynomials are $M$-convex. As a consequence, we resolve a 2019 conjecture of Monical, Tokcan, and Yong that they have the saturated Newton polytope property. As a further consequence, we prove that the moment polytopes of affine Schubert varieties in the affine Grassmannian of type $\mathrm{GL}$ are generalized permutahedra.
- [56] arXiv:2508.00337 [pdf, other]
-
Title: Nonlocal free boundary minimal surfacesComments: 43 pages, 5 figures. All comments are welcome!Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
We introduce the nonlocal analogue of the classical free boundary minimal hypersurfaces in an open domain $\Omega$ of $\mathbb{R}^n$ as the (boundaries of) critical points of the fractional perimeter $\operatorname{Per}_s(\cdot,\,\Omega )$ with respect to inner variations leaving $\Omega$ invariant. We deduce the Euler-Lagrange equations and prove a few surprising features, such as the existence of critical points without boundary and a strong volume constraint in $\Omega$ for unbounded hypersurfaces. Moreover, we investigate stickiness properties and regularity across the boundary.
- [57] arXiv:2508.00343 [pdf, html, other]
-
Title: Streamlined WZ method proofs of Van Hamme supercongruencesSubjects: Number Theory (math.NT)
Using the WZ method to prove supercongruences critically depends on an inspired WZ pair choice. This paper demonstrates a procedure for finding WZ pair candidates to prove a given supercongruence. When suitable WZ pairs are thus obtained, coupling them with the $p$-adic approximation of $\Gamma_p$ by Long and Ramakrishna enables uniform proofs for the Van Hamme supercongruences B.2, C.2, D.2, E.2, F.2, G.2, and H.2. This approach also yields the known extensions of G.2 modulo $p^4$, and of H.2 modulo $p^3$ when $p$ is $3$ modulo $4$. Finally, the Van Hamme supercongruence I.2 is shown to be a special case of the WZ method where Gosper's algorithm itself succeeds.
- [58] arXiv:2508.00352 [pdf, other]
-
Title: Shrinkers of the area-preserving curve-shortening flow: Existence and saddle-point propertySubjects: Differential Geometry (math.DG)
We consider homothetic evolutions of the area-preserving curve-shortening flow (APCSF), that is, classical curve shortening flow with an additional non-local forcing term. By using known results on $\lambda$-curves, we prove the existence of non-circular shrinkers for this flow. In our first main result, we present a partial classification scheme, similar to the well-known Abresch-Langer classification for shrinkers of curve-shortening flow. Finally, we also deduce a saddle-point property for all non-circular (APCSF)-shrinkers analogous to the known saddle-point property of Abresch-Langer curves.
- [59] arXiv:2508.00365 [pdf, html, other]
-
Title: Deterministic Structure of Vertical Configurations in Minimal Picker Tours for Rectangular WarehousesSubjects: Optimization and Control (math.OC)
The picker routing problem involves finding the shortest length tour of a warehouse that collects all items in a given pick-list. In this work, we demonstrate that in a rectangular warehouse, the horizontal structure of a minimal tour subgraph can be used to determine the required vertical edges. This result directly reduces the number of stages in the dynamic programming algorithm for warehouses with one or two blocks.
- [60] arXiv:2508.00371 [pdf, html, other]
-
Title: A Riemannian viewpoint on the Amari-Cencov $α$-connections and Proudman-Johnson equationsSubjects: Differential Geometry (math.DG)
We give a new geometric interpretation of the Amari-Cencov $\alpha$-connections $\nabla^{(\alpha)}$ from information geometry: On the space of densities $\operatorname{Dens}_+(M)$, we show that there exist Riemannian metrics $G^\alpha$, which we call $\alpha$-Fisher-Rao metrics, whose Levi-Civita connections are $\nabla^{(\alpha)}$. With the exception of $\alpha=0$ (the Fisher-Rao metric), these metrics are non-invariant to the action of the diffeomorphism group $\operatorname{Diff}(M)$, even though the connections are invariant. This gives a new way of interpreting the geodesics of the $\nabla^{(\alpha)}$ as energy-minimizing curves. On the space of probability densities $\operatorname{Prob}(M)$, we show that the same phenomenon holds for $\alpha\in \{-1,0,1\}$ and that the $\alpha$-connections are not metric otherwise. We show that $\nabla^{(\alpha)}$-geodesics on this space can be interpreted as radial projections of straight lines on appropriate hyper-surfaces, and use this geometric picture to obtain geodesic convexity for any $\alpha\in \mathbb{R}$. In addition, we prove analogous results for appropriate metrics and connections on $\operatorname{Diff}(M)$, which, for the case $M=\mathbb{R}$, imply that the generalized Proudman-Johnson equations on the real line are the Euler-Arnold equations of non-right invariant metrics. Finally, in the finite-dimensional case, we show that $\nabla^{(\alpha)}$ can be metric or non-metric depending on the considered statistical model.
- [61] arXiv:2508.00375 [pdf, html, other]
-
Title: A COGENT case study: Supporting Applications with ChomboSubjects: Numerical Analysis (math.NA); Plasma Physics (physics.plasm-ph)
We present a case study of how a software framework (Chombo) supported the specific needs of a scientific application (COGENT). Since its inception in 2000, the Chombo framework has supported various applications. One example of such support has been the collaboration with the Edge Simulation Laboratory to build the COGENT model. The specific needs of the COGENT effort required the design and implementation of a set of new capabilities in the Chombo framework, such as higher-order mapped-multiblock discretizations and multi-dimensional code organization. These capabilities allowed COGENT to develop a unique simulation capability for modeling the edge layers in tokamaks. Once developed, these capabilities were able to support other applications which had similar needs.
- [62] arXiv:2508.00379 [pdf, html, other]
-
Title: Active IRS-Enabled Integrated Sensing and Communications with Extended TargetsSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This paper studies the active intelligent reflecting surface (IRS)-enabled integrated sensing and communications (ISAC), in which an active IRS is deployed to assist the base station (BS) in serving multiple communication users (CUs) and simultaneously sensing an \emph{extended} target at the non-line-of-sight (NLoS) area of the BS. The active IRS has the capability of amplifying the reflected signals so as to overcome significant reflection path loss in NLoS communication and sensing. In particular, we derive the sensing Cramér-Rao bound (CRB) for estimating the target response matrix. Accordingly, we jointly optimize the transmit beamforming at the BS and the reflective beamforming at the active IRS to minimize the sensing CRB, subject to the signal-to-interference-plus-noise ratio (SINR) requirements at the CUs, the transmit power budgets at the BS and active IRS, as well as the power amplification gain constraints at the active IRS. The CRB minimization problem is highly non-convex and thus difficult to solve in general. To address this challenge, we first focus on two specified conditions by considering the sensing-only scenario via ignoring the SINR constraints for communications, for which the closed-form optimal transmit beamforming is derived. Then, we propose two efficient alternating optimization (AO)-based algorithms to obtain high-quality solutions for the general ISAC scenarios. Next, we analyze the inherent relationship between the power scaling at the BS and the amplification scaling at the active IRS. It is shown that the active IRS always amplifies the signal using the maximum amplification gain under practical system settings. Finally, numerical results are provided to verify the effectiveness of the proposed AO-based algorithms and the benefits of active IRS-enabled ISAC compared to its passive IRSs counterparts.
- [63] arXiv:2508.00388 [pdf, html, other]
-
Title: An improved Copson inequalityComments: 16 pagesSubjects: Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA)
In this paper, we prove that the discrete Copson inequality (E.T. Copson, \emph{Notes on a series of positive terms}, J. London Math. Soc., 2 (1927), 49-51) of one-dimension in general cases admits an improvement. In fact we study the improvement of the following Copson's inequality \begin{align*} &\displaystyle\sum_{n=1}^{\infty}\frac{Q_{n}^{\alpha}|A_n-A_{n-1}|^{2}}{q_{n}}\geq\frac{(\alpha-1)^2}{4}\displaystyle\sum_{n=1}^{\infty} \frac{q_{n}}{Q_{n}^{2-\alpha}}|A_{n}|^{2}, \end{align*}where $\alpha\in[0,1)$, $A_{n}=q_{1}a_{1}+ q_{2}a_{2}+ \ldots +q_{n}a_{n}$, $Q_{n}=q_1+q_2+\ldots+q_{n}$ for $n\in \mathbb{N}$, $\{q_n\}$ is a positive real sequence and $\{a_n\}$ is a sequence of complex numbers. We show that if $\{q_n\}$ is decreasing then the above inequality has an improvement for $\alpha\in [1/3, 1)$. We also prove that for some increasing sequences $\{q_n\}$ the above inequality can also be improved. Indeed, we prove that for $q_{n}=n$ and $q_n=n^3$, $n\in \mathbb{N}$ the corresponding Copson inequalities admit an improvement for $\alpha\in[\frac{17}{50}, 1)$ and $\alpha\in[0, \frac{1}{2}]$, respectively. Further, we show that in case of $q_{n}=1$, $n\in \mathbb{N}$ the reduced Copson inequality (known as Hardy's inequality with power weights) has achieved an improvement for $\alpha\in[0, 1)$.
- [64] arXiv:2508.00389 [pdf, html, other]
-
Title: Discrete frames of non-uniform shifts in frequency domainSubjects: Functional Analysis (math.FA)
Frames in separable Hilbert spaces gives stable analysis and reconstruction of each vector in the underlying space. In this paper, we study frame conditions for a collection of matrix-valued functions obtained by non-uniform shifts. We give necessary and sufficient conditions for the existence of matrix-valued discrete Bessel sequence over non-uniform displacement parameters in terms of the Fourier transform of window functions. We also present perturbation results for matrix-valued non-uniform discrete frames.
- [65] arXiv:2508.00396 [pdf, other]
-
Title: Proof complexity of Mal'tsev CSPSubjects: Logic (math.LO); Computational Complexity (cs.CC)
Constraint Satisfaction Problems (CSPs) form a broad class of combinatorial problems, which can be formulated as homomorphism problems between relational structures. The CSP dichotomy theorem classifies all such problems over finite domains into two categories: NP-complete and polynomial-time, see Zhuk (2017), Bulatov (2017). Polynomial-time CSPs can be further subdivided into smaller subclasses. Mal'tsev CSPs are defined by the property that every relation in the problem is invariant under a Mal'tsev operation, a ternary operation $\mu$ satisfying $\mu(x, y, y) = \mu(y, y, x) = x$ for all $x, y$. Bulatov and Dalmau proved that Mal'tsev CSPs are solvable in polynomial time, presenting an algorithm for such CSPs (2006). The negation of an unsatisfiable CSP instance can be expressed as a propositional tautology. We formalize the algorithm for Mal'tsev CSPs within bounded arithmetic $V^1$, which captures polynomial-time reasoning and corresponds to the extended Frege proof system. We show that $V^1$ proves the soundness of Mal'tsev algorithm, implying that tautologies expressing the non-existence of a solution for unsatisfiable instances of Mal'tsev CSPs admit short extended Frege proofs. In addition, with small adjustments, we achieved an analogous result for Dalmau's algorithm that solves generalized majority-minority CSPs -- a common generalization of near-unanimity operations and Mal'tsev operations.
- [66] arXiv:2508.00411 [pdf, html, other]
-
Title: Predictive information criterion for jump diffusion processesSubjects: Statistics Theory (math.ST)
In this paper, we address a model selection problem for ergodic jump diffusion processes based on high-frequency samples. We evaluate the expected genuine log-likelihood function and derive an Akaike-type information criterion. In the derivation process, we also give new estimates of the transition density of jump diffusion processes.
- [67] arXiv:2508.00431 [pdf, html, other]
-
Title: Pseudotraces on Almost Unital and Finite-Dimensional AlgebrasComments: 31 pages, comments are welcomeSubjects: Quantum Algebra (math.QA); Rings and Algebras (math.RA); Representation Theory (math.RT)
We introduce the notion of almost unital and finite-dimensional (AUF) algebras, which are associative $\mathbb C$-algebras that may be non-unital or infinite-dimensional, but have sufficiently many idempotents. We show that the pseudotrace construction, originally introduced by Hattori and Stallings for unital finite-dimensional algebras, can be generalized to AUF algebras.
Let $A$ be an AUF algebra. Suppose that $G$ is a projective generator in the category $\mathrm{Coh}_{\mathrm{L}}(A)$ of finitely generated left $A$-modules that are quotients of free left $A$-modules, and let $B = \mathrm{End}_{A,-}(G)^{\mathrm{opp}}$. We prove that the pseudotrace construction yields an isomorphism between the spaces of symmetric linear functionals $\mathrm{SLF}(A)\xrightarrow{\simeq} \mathrm{SLF}(B)$, and that the non-degeneracies on the two sides are equivalent. - [68] arXiv:2508.00444 [pdf, html, other]
-
Title: Interactions between Wind and Water Waves near Circular FlowsSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
This manuscript concerns the dynamical interactions between wind and water waves, which are characterized through two-phase free interface problems for the Euler equations. We provide a comprehensive derivation on the linearized problems of general two-phase flows. Then, we study the instability issues of perturbing waves around circular steady solutions, and we demonstrate a semi-circle result on the possible locations of unstable modes. We also present necessary conditions and sufficient ones for the instability of wind-perturbing water waves near Taylor-Couette flows.
- [69] arXiv:2508.00458 [pdf, html, other]
-
Title: LO-Aware Adaptive Modulation for Rydberg Atomic ReceiversComments: Accepted by IEEE GLOBECOM 2025Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Rydberg atomic (RA) receivers represent a revolutionary quantum technology for wireless communications, offering unprecedented sensitivity beyond conventional radio frequency (RF) antennas. However, these receivers detect only signal amplitude, losing critical phase information. While reference signals generated by a local oscillator (LO) can assist in phase recovery, existing modulation schemes designed for conventional systems perform poorly with this quantum detection mechanism. This paper introduces a breakthrough LO-aware adaptive modulation (LOAM) scheme specifically developed for RA receivers that dynamically adapts to complex fading channel coefficients. LOAM maximizes the minimum amplitude difference between constellation points, ensuring optimal detection performance. The innovation employs an adaptive co-linear constellation architecture aligned with the combined phase of reference signal and channel coefficient. For strong reference signals, LOAM generates symmetric constellation points centered at origin; for weak signals, it adopts non-symmetric distributions. The paper mathematically derives the threshold governing these operational regimes. Simulation results reveal the transformative impact of LOAM, demonstrating performance gains exceeding 45 dB over conventional modulation schemes, including quadrature amplitude modulation (QAM), phase-shift keying (PSK), and pulse-amplitude modulation (PAM).
- [70] arXiv:2508.00461 [pdf, html, other]
-
Title: Flexibility versus genericity of phase diagrams of perturbed continuous maps on the Cantor setComments: 1 figureSubjects: Dynamical Systems (math.DS)
Consider the dynamical system constitued by a continuous function $F:\mathcal{A}^\mathbb{N}\to\mathcal{A}^\mathbb{N}$ where $\mathcal{A}$ is a finite alphabet. The perturbed counterpart, denoted by $F_\epsilon$, is obtained after each iteration of $F$ by modifying each cell independently with probability $\epsilon\in[0,1]$ and choosing the new value uniformly. We characterize the possible sets of $\epsilon\in[0,1]$ such that $F_\epsilon$ has a unique measure. These sets are exactly the $G_\delta$ sets (countable intersection of open sets) of $[0, 1]$ which contain 1. However, we show that generically this set is $]0, 1]$.
- [71] arXiv:2508.00463 [pdf, html, other]
-
Title: Slow convergence almost everywhere of ergodic averagesComments: in RussianSubjects: Dynamical Systems (math.DS)
For an ergodic action of the group $Z^n$ on a probability space and a given arbitrarily slowly decreasing to zero sequence, there exists an integrable function such that the standard ergodic time averages for it converge almost everywhere to the spatial average of the function at a rate that is not asymptotically majorized by this sequence. This generalizes the Krengel effect about the absence of universal estimates for the rate of convergence in Birkhoff's ergodic theorem. The proof uses a weakened version of Rokhlin's lemma for ergodic $Z^n$-actions. It ensures the existence of the required sequence of asymptotically almost invariant sets with given measures. A feature of the construction of such a sequence is that the choice of the next almost invariant set depends on the original function and on the choice of the previous invariant sets. A significant deviation of the ergodic averages from the mean of a positive function can be uniformly realized over extremely large time intervals. The deviation can be greater than a positive constant and differ little from it on arbitrary long time intervals. We not only can achieve the specified deviations arbitrarily far, but the sequence of such deviations from the average can be realized as a sequence wanishing arbitrarily slowly.
- [72] arXiv:2508.00464 [pdf, html, other]
-
Title: Cocharacters of generalized polynomial identitiesSubjects: Rings and Algebras (math.RA)
In this paper we extend the cocharacter theory to generalized identities of $W$-algebras. We prove that the Hilbert series of the relatively free $W$-algebra admits an expansion in terms of Schur functions whose coefficients coincide with generalized cocharacter multiplicities. Moreover, we prove analogues of the Hook and Strip theorems for $W$-algebras and we derive growth bounds for generalized codimension and colenght sequences. Finally, we establish that every variety $\mathcal{V}$ of $W$-algebras is generated by the Grassmann envelope of a finitely generated $W$-superalgebra, and if $\mathcal{V}$ satisfies a generalized Capelli set, then it is generated by a finitely generated $W$-algebra.
- [73] arXiv:2508.00474 [pdf, html, other]
-
Title: Linear F-manifolds, a duality and the generalized tangent bundleComments: 42 pagesSubjects: Differential Geometry (math.DG); Mathematical Physics (math-ph)
A linear F-manifold is an F-manifold (E, \circ , e) defined on the total space of a vector bundle \pi : E \rightarrow M for which the multiplication and unit field are linear tensor fields. We develop a systematic treatment of linear F-manifolds. Using an additional suitable connection on M, we define a duality between linear F-manifolds (with and without Euler fields) on E and the total space E^{*} of the dual vector bundle. Our main examples of linear F-manifolds are the tangent and cotangent prolongation. Motivated by the direct sum of tangent and cotangent prolongation, we define and investigate compatibility conditions between linear F-manifolds and the geometry of the generalized tangent bundle.
- [74] arXiv:2508.00480 [pdf, html, other]
-
Title: Packing subdivisions into regular graphsComments: 10 pages, 1 figureSubjects: Combinatorics (math.CO)
We show that, for any graph $F$ and $\eta>0$, there exists a $d_0=d_0(F,\eta)$ such that every $n$-vertex $d$-regular graph with $d \geq d_0$ has a collection of vertex-disjoint $F$-subdivisions covering at least $(1-\eta)n$ vertices. This verifies a conjecture of Verstra?te from 2002 and improves a recent result of Letzter, Methuku and Sudakov which additionally required $d$ to be at least polylogarithmic in $n$.
- [75] arXiv:2508.00483 [pdf, html, other]
-
Title: Generalized Turan number with given sizeComments: 18 pagesSubjects: Combinatorics (math.CO)
Generalized Turán problem with given size, denoted as $\mathrm{mex}(m,K_r,F)$, determines the maximum number of $K_r$-copies in an $F$-free graph with $m$ edges. We prove that for $r\ge 3$ and $\alpha\in(\frac 2 r,1]$, any graph $G$ with $m$ edges and $\Omega(m^{\frac{\alpha r}{2}})$ $K_r$-copies has a subgraph of order $n_0=\Omega(m^\frac{\alpha}{2})$, which contains $\Omega(n_0^{\frac{i(r-2)\alpha}{(2-\alpha)r-2}})$ $K_i$-copies for each $i = 2, \ldots, r$. This implies an upper bound of $\mathrm{mex}(m, K_r, F)$ when an upper bound of $\mathrm{ex}(n,K_r,F)$ is known. Furthermore, we establish an improved upper bound of $\mathrm{mex}(m, K_r, F)$ by $\mathrm{ex}(n, F)$ and $\min_{v_0 \in V(F)} \mathrm{ex}(n, K_r, F - v_0)$. As a corollary, we show $\mathrm{mex}(m, K_r, K_{s,t}) = \Theta( m^{\frac{rs - \binom{r}{2}}{2s-1}} )$ for $r \geq 3$, $s \geq 2r-2$ and $t \geq (s-1)! + 1$, and obtain non-trivial bounds for other graph classes such as complete $r$-partite graphs and $K_s \vee C_\ell$, etc.
- [76] arXiv:2508.00487 [pdf, html, other]
-
Title: An analytic approach to the stress energy tensor in quantum field theorySubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Analysis of PDEs (math.AP)
We discuss a framework for quantum fields in curved spacetimes that possess a stress energy tensor as a connection one form on a suitable moduli space of metrics. In generic spacetimes the existence of such a tensor is thought to be a replacement for the existence of symmetries that the Minkowski theory relies on. It is shown that the local time-slice property and the implementability of local isometries is a consequence of the existence of a stress energy tensor that is a local field. We prove that the Klein-Gordon field, in an irreducible Fock representation in which the ground state is Hadamard, is an example. In this example we show that the scattering matrix for compactly supported metric perturbations exists in the Fock space and is smooth on a dense set with respect to the perturbation parameter. This generalises results by Dimock and Wald.
- [77] arXiv:2508.00488 [pdf, html, other]
-
Title: Some conjectures on the quotients of the tensor products in the category $\mathscr{X}$Comments: 19 pagesSubjects: Representation Theory (math.RT)
Let ${\bf G}$ be a connected reductive algebraic group defined over the finite field $\mathbb{F}_q$ with $q$ elements. We propose some conjectures concerning the simple quotients of $M\otimes N$, where $M,N$ are objects in the representation category $\mathscr{X}({\bf G})$. We provide several pieces of evidence for these conjectures. In particular, we show that these conjectures are valid for ${\bf G}=SL_2(\bar{\mathbb{F}}_q)$.
- [78] arXiv:2508.00490 [pdf, html, other]
-
Title: On Banach envelopes and duals of Lipschitz-free $p$-spaces for $0<p<1$Subjects: Functional Analysis (math.FA)
With the aim to better understand the intricate geometry of the class of Lipschitz free $p$-spaces $\mathcal{F}_p(\mathcal{M})$ when $0<p<1$, in this note we study their Banach envelopes and prove that if $0<p<1$ and $ \mathcal{M}$ is a metric space then the Banach envelope map of $\mathcal{F}_p(\mathcal{M})$ is one-to-one, thus solving in the positive a problem raised by Kalton in [F. Albiac and N. J. Kalton, Lipschitz structure of quasi-Banach spaces, Israel J. Math. 170 (2009), 317-335]. This property has important applications to the linear structure of this family of spaces, being the most immediate one that the dual space of $ \mathcal{F}_p(\mathcal{M})$ separates the points of $\mathcal{F}_p(\mathcal{M})$.
- [79] arXiv:2508.00495 [pdf, html, other]
-
Title: A linesearch-based derivative-free method for noisy black-box problemsSubjects: Optimization and Control (math.OC)
In this work we consider unconstrained optimization problems. The objective function is known through a zeroth order stochastic oracle that gives an estimate of the true objective function. To solve these problems, we propose a derivative-free algorithm based on extrapolation techniques. Under reasonable assumptions we are able to prove convergence properties for the proposed algorithms. Furthermore, we also give a worst-case complexity result stating that the total number of iterations where the expected value of the norm of the objective function gradient is above a prefixed $\epsilon>0$ is ${\cal O}(n^2\epsilon^{-2}/\beta^2)$ in the worst case.
- [80] arXiv:2508.00502 [pdf, html, other]
-
Title: Clubs in projective spaces and three-weight rank-metric codesSubjects: Combinatorics (math.CO); Information Theory (cs.IT)
Linear sets over finite fields are central objects in finite geometry and coding theory, with deep connections to structures such as semifields, blocking sets, KM-arcs, and rank-metric codes. Among them, $i$-clubs, a class of linear sets where all but one point (which has weight $i$) have weight one, have been extensively studied in the projective line but remain poorly understood in higher-dimensional projective spaces. In this paper, we investigate the geometry and algebraic structure of $i$-clubs in projective spaces. We establish upper bounds on their rank by associating them with rank-metric codes and analyzing their parameters via MacWilliams identities. We also provide explicit constructions of $i$-clubs that attain the maximum rank for $i \geq m/2$, and we demonstrate the existence of non-equivalent constructions when $i \leq m-2$. The special case $i = m-1$ is fully classified. Furthermore, we explore the rich geometry of three-weight rank-metric codes, offering new constructions from clubs and partial classification results.
- [81] arXiv:2508.00511 [pdf, html, other]
-
Title: On the regularity of almost stable relationsSubjects: Logic (math.LO)
We develop a general theory of local stability up to belonging to an ideal (e.g. having measure zero). From a model-theoretic perspective, we prove a stationarity principle for almost stable formulas in this sense, and build a topological space of partial types whose Cantor-Bendixson rank is finite. The interaction of this space with Keisler measures and definable groups yields, on the one hand, a regularity lemma for infinite graphs where the edge relation is almost stable, and, on the other hand, the existence of definable stabilizer subgroups. As an application, we prove a finite graph regularity lemma and an arithmetic regularity lemma for almost stable relations in arbitrary finite groups.
- [82] arXiv:2508.00515 [pdf, html, other]
-
Title: A new addition theorem for the 3-D Navier-Lamé system and its application to the method of fundamental solutionsSubjects: Numerical Analysis (math.NA)
We obtain a new addition theorem for the fundamental solution of the Navier-Lamé system in dimension 3 satisfying the Kupradze radiation conditions. This provides an expansion of this fundamental solution that involves only the evaluation of Bessel functions and scalar spherical harmonics. This is particularly useful in collocation numerical methods based on fundamental solutions, such as the boundary element method or the method of fundamental solutions. For this last method, we show its efficiency when approximating the Navier-Lamé system in exterior domains.
- [83] arXiv:2508.00525 [pdf, html, other]
-
Title: Towards a Measure Theory of Semantic InformationComments: 17 pages,3 figuresSubjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI)
A classic account of the quantification of semantic information is that of Bar-Hiller and Carnap. Their account proposes an inverse relation between the informativeness of a statement and its probability. However, their approach assigns the maximum informativeness to a contradiction: which Floridi refers to as the Bar-Hillel-Carnap paradox. He developed a novel theory founded on a distance metric and parabolic relation, designed to remove this paradox. Unfortunately is approach does not succeed in that aim.
In this paper I critique Floridi's theory of strongly semantic information on its own terms and show where it succeeds and fails. I then present a new approach based on the unit circle (a relation that has been the basis of theories from basic trigonometry to quantum theory). This is used, by analogy with von Neumann's quantum probability to construct a measure space for informativeness that meets all the requirements stipulated by Floridi and removes the paradox. In addition, while contradictions and tautologies have zero informativeness, it is found that messages which are contradictory to each other are equally informative. The utility of this is explained by means of an example. - [84] arXiv:2508.00529 [pdf, html, other]
-
Title: Existence of minimal maps of degree one in $W^{\frac1p,p}(\mathbb S^1,\mathbb S^1)$ for $p \in [p',2]$, where $p' \approx 1.13924$Subjects: Analysis of PDEs (math.AP)
In this note, we show how the results of Mazowiecka--Schikorra, combined with those of Bourgain--Brezis--Mironescu, imply the existence of minimal maps of degree one in $ W^{\frac{1}{p},p}(\mathbb{S}^1,\mathbb{S}^1) $ for $ p \in [p', 2] $, where $ p' \approx 1.13924 $. This provides an affirmative answer in this range to a question posed by Mironescu and Brezis--Mironescu. In order to do so, we complement the results of Mazowiecka--Schikorra by extending them to the case $ n = 1 $ and $ 1 < p < 2 $, which had been excluded there for technical reasons.
- [85] arXiv:2508.00538 [pdf, html, other]
-
Title: On Buck's measurability of certain setsSubjects: Number Theory (math.NT)
In the first part we construct some Buck measurable sets. In the second part we apply the Niven theorem for Buck's measure density to certain sets.
- [86] arXiv:2508.00540 [pdf, html, other]
-
Title: Appendices for "Closed-Form BER Analysis for Uplink NOMA with Dynamic SIC Decoding"Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This document provides the supplementary materials for the paper Closed-Form BER Analysis for Uplink NOMA with Dynamic SIC Decoding. The appendices present detailed mathematical derivations and proofs that support the analytical framework of the main paper. Specifically, we include: (i) cumulative distribution functions for ordered channel gains; (ii) probability density functions of normalized signal-plus-interference variances in NOMA dynamic SIC decoding; (iii) closed-form expressions for pairwise error probability (PEP) with two users; (iv) probability derivations for channel gain ordering in the two-UE case, specifically when UE 1 and UE 2 have the strongest or second strongest channel gains; (v) BER analysis for M-QAM modulation schemes including BPSK, 4QAM, 16QAM and 64QAM; (vi) PDF derivations for channel gains under various ordering conditions; and (vii) challenges of PDF derivations for real part of channel gain under various ordering condition. These mathematical foundations enable the closed-form BER analysis of uplink NOMA systems with dynamic SIC decoding under Rayleigh fading channels, supporting analytical expressions for various modulation schemes and system configurations.
- [87] arXiv:2508.00541 [pdf, html, other]
-
Title: A Distributionally Robust Optimization Approach to Quick Response Models under Demand UncertaintySubjects: Optimization and Control (math.OC)
Problem definition: Quick response, a strategy widely adopted to mitigate overproduction in the retail industry, is now at the center of a critical debate. Recent research reveals a counter-intuitive paradox: while quick response systems reduce waste from unsold finished goods, they may incentivize firms to procure more raw materials, potentially increasing total system waste. Additionally, existing models that guide quick response strategies rely on the assumption of a known demand distribution. In practice, demand patterns are complex and ambiguous, and historical data is often scarce, leaving managers without a reliable framework to determine quick response policies under data-driven settings. Methodology: We develop a distributionally robust quick response model to address demand uncertainty, building policies that are robust even with limited data. We further integrate a novel waste-to-consumption ratio constraint into this framework, empowering firms to explicitly control the environmental impact of quick response systems. Results: Numerical experiments show that policies optimized for a specific demand assumption suffer severe performance degradation when the real demand pattern changes even slightly. In contrast, our data-driven DRO approach consistently delivers robust and superior performance across a wide range of complex demand distributions. Moreover, we find that the constrained quick response model resolves the central paradox: it can achieve higher profits with verifiably less total waste than a traditional, non-flexible alternative. Managerial implications: Our research resolves the `quick response or not' debate by showing that the question is not whether to use quick response, but how to manage it. By incorporating socially responsible metrics as constraints, the quick response system delivers a `win-win' outcome for both profitability and the environment.
- [88] arXiv:2508.00547 [pdf, html, other]
-
Title: Dirac operators for algebraic familiesComments: 61 pagesSubjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
We introduce algebraic families of Dirac operators for the deformation family (and other related families) associated with a real reductive Lie group that interpolates the reductive group and the corresponding Cartan motion group. We prove Vogan's conjecture in this setting, relating the infinitesimal character of an algebraic family of Harish-Chandra modules and its Dirac cohomology.
- [89] arXiv:2508.00551 [pdf, html, other]
-
Title: Long Time Existence of A Flow of Elliptic SystemsComments: 20 pagesSubjects: Analysis of PDEs (math.AP)
For elliptic systems defined on Riemann surfaces, Liouville and Toda systems represent two well-known classes exhibiting drastically different solution structures. Over the years, existence results for these systems have highlighted discrepancies due to their unique solution structures. In this work, we aim to construct a monotone entropy form and establish the long-term existence of a flow of parabolic systems. As a result of our main theorem, we can prove existence results for some broad classes of elliptic systems, including both Liouville and Toda systems. The strength of our results is further underscored by the fact that no topological information about the Riemann surfaces is required and no positive lower bound of coefficient functions is postulated.
- [90] arXiv:2508.00559 [pdf, html, other]
-
Title: Solitary-wave solutions of the fractional nonlinear Schr?dinger equation. II. A numerical study of the dynamicsSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
The present paper is a numerical study of the dynamics of solitary wave solutions of the fractional nonlinear Schr?dinger equation, whose existence was analyzed by the authors in the first part of the project. The computational study will be made from the approximation of the periodic initial-value problem with a fully discrete scheme consisting of a Fourier spectral method for the spatial discretization and a fourth-order, Runge-Kutta-Composition method as time integrator. Several issues regarding the stability of the waves, such as the effects of small and large perturbations, interactions of solitary waves and the resolution of initial data into trains of waves are discussed.
- [91] arXiv:2508.00561 [pdf, html, other]
-
Title: Multivariate Tutte polynomials of semimatroidsComments: 15 pagesSubjects: Combinatorics (math.CO)
We introduce and investigate multivariate Tutte polynomials, dichromatic polynomials, subset-corank polynomials, size-corank polynomials, and rank generating polynomials of semimatroids, which generalize the corresponding polynomial invariants of graphs and matroids. We primarily establish their deletion-contraction recurrences, basis activities expansions, and various convolution identities. These findings naturally extend Kook-Reiner-Stanton's convolution formula and Kung's convolution-multiplication identities for the Tutte polynomials of graphs and matroids to semimatroids.
- [92] arXiv:2508.00594 [pdf, other]
-
Title: Well-posedness of the periodic nonlinear Schr?dinger equation with concentrated nonlinearityComments: 20 pages, comments welcomeSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
We study the solution theory of the nonlinear Schr?dinger equation with a concentrated nonlinearity on the torus. In particular, we establish existence and uniqueness of global energy-conserving solutions for small initial data in $H^1$. Our approach is based on two approximation schemes, namely the concentrated limit of a smoothed nonlinear Schr?dinger equation and the inviscid limit of a concentrated complex Ginzburg--Landau equation. We also prove local well-posedness below the energy space. To our knowledge, this is the first rigorous solution theory for a periodic nonlinear Schr?dinger equation with a concentrated nonlinearity.
- [93] arXiv:2508.00595 [pdf, html, other]
-
Title: The standard construction for cocycle twisted and braided tensor product W$^*$-algebrasComments: 50 pagesSubjects: Operator Algebras (math.OA)
Given a locally compact quantum group $\mathbb{G}$ and a (generalized) dual unitary $2$-cocycle $\hat{\Omega}$, any W$^*$-algebra $A$ with a $\mathbb{G}$-action can be twisted into a new W$^*$-algebra $A_{\hat{\Omega}}$ with an action by the cocycle twist $\mathbb{G}_{\hat{\Omega}}$ of $\mathbb{G}$. We show how, in general, the standard space $L^2(A_{\hat{\Omega}})$, with its standard $\mathbb{G}_{\hat{\Omega}}$-representation, can be seen as a twist of $L^2(A)$ with its standard $\mathbb{G}$-representation. We then apply this general result in the special case of (generalized) Drinfeld doubles.
- [94] arXiv:2508.00596 [pdf, html, other]
-
Title: Information-Theoretic Decentralized Secure Aggregation with Collusion ResilienceComments: Submitted to IEEE for potential journal publicationSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG)
In decentralized federated learning (FL), multiple clients collaboratively learn a shared machine learning (ML) model by leveraging their privately held datasets distributed across the network, through interactive exchange of the intermediate model updates. To ensure data security, cryptographic techniques are commonly employed to protect model updates during aggregation. Despite growing interest in secure aggregation, existing works predominantly focus on protocol design and computational guarantees, with limited understanding of the fundamental information-theoretic limits of such systems. Moreover, optimal bounds on communication and key usage remain unknown in decentralized settings, where no central aggregator is available. Motivated by these gaps, we study the problem of decentralized secure aggregation (DSA) from an information-theoretic perspective. Specifically, we consider a network of $K$ fully-connected users, each holding a private input -- an abstraction of local training data -- who aim to securely compute the sum of all inputs. The security constraint requires that no user learns anything beyond the input sum, even when colluding with up to $T$ other users. We characterize the optimal rate region, which specifies the minimum achievable communication and secret key rates for DSA. In particular, we show that to securely compute one symbol of the desired input sum, each user must (i) transmit at least one symbol to others, (ii) hold at least one symbol of secret key, and (iii) all users must collectively hold no fewer than $K - 1$ independent key symbols. Our results establish the fundamental performance limits of DSA, providing insights for the design of provably secure and communication-efficient protocols in distributed learning systems.
- [95] arXiv:2508.00597 [pdf, html, other]
-
Title: Biproduct Quasi-Hopf Algebras of Rank 2Comments: 38 pagesSubjects: Quantum Algebra (math.QA); Rings and Algebras (math.RA)
Inspired by the work of Radford, for $H$ an arbitrary quasi-Hopf algebra we describe all the Hopf algebras of dimension $2$ within the braided category of left Yetter-Drinfeld modules over $H$ and determine the biproduct quasi-Hopf algebras defined by them. Classes of such biproduct quasi-Hopf algebras are obtained by taking $H$ as the Hopf algebra of functions on a group $G$, endowed with the quasi-Hopf algebra structure provided by a non-trivial $3$-cocycle on $G$ (especially when $G$ is a finite cyclic group or the double dihedral group), or as being a quasi-Hopf algebra with radical of codimension two. In this way we uncover new classes of basic quasi-Hopf algebras of even dimension, as well as new classes of tensor categories.
- [96] arXiv:2508.00601 [pdf, html, other]
-
Title: Doubling property of self-similar measures with overlapsSubjects: Metric Geometry (math.MG); Dynamical Systems (math.DS)
Recently, Yang, Yuan and Zhang [Doubling properties of self-similar measures and Bernoulli measures on self-affine Sierpinski sponges, Indiana Univ. Math. J., 73 (2024), 475-492] characterized when a self-similar measure satisfying the open set condition is doubling. In this paper, we study when a self-similar measure with overlaps is doubling. Let $m\geq 2$ and let $\beta>1$ be the Pisot number satisfying $\beta^m=\sum_{j=0}^{m-1}\beta^j$. Let $\mathbf{p}=(p_1,p_2)$ be a probability weight and let $\mu_{\mathbf{p}}$ be the self-similar measure associated to the IFS $\{ S_1(x)={x}/{\beta}, S_2(x)={x}/{\beta}+(1-{1}/{\beta}),\}.$ Yung [...,Indiana Univ. Math. J., ] proved that when $m=2$, $\mu_{\mathbf{p}}$ is doubling if and only if $\mathbf{p}=(1/2,1/2)$. We show that for $m\geq 3$, $\mu_{\mathbf{p}}$ is always non-doubling.
- [97] arXiv:2508.00606 [pdf, html, other]
-
Title: New torsion patterns in Khovanov homologyComments: 25 pages, 21 figuresSubjects: Geometric Topology (math.GT)
In a previous paper by the authors, we found some patterns in link diagrams that give rise to torsion elements of order two in their Khovanov homology. In this paper we extend these results by providing new torsion patterns. Many of the torsion elements found in this way have the same homological and quantum degrees; we identify a type of submodules of the Khovanov chain complex that allows us to prove that most of these torsion elements living in the same Khovanov module are really different.
We use the results of this paper together with those in the previous one to find all the torsion elements in many small twists knots. In addition, we apply them to determine torsion elements in some families of pretzel links, closures of braids with three strands and rational links. - [98] arXiv:2508.00617 [pdf, html, other]
-
Title: Constructive Disintegration and Conditional ModesSubjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Probability (math.PR); Machine Learning (stat.ML)
Conditioning, the central operation in Bayesian statistics, is formalised by the notion of disintegration of measures. However, due to the implicit nature of their definition, constructing disintegrations is often difficult. A folklore result in machine learning conflates the construction of a disintegration with the restriction of probability density functions onto the subset of events that are consistent with a given observation. We provide a comprehensive set of mathematical tools which can be used to construct disintegrations and apply these to find densities of disintegrations on differentiable manifolds. Using our results, we provide a disturbingly simple example in which the restricted density and the disintegration density drastically disagree. Motivated by applications in approximate Bayesian inference and Bayesian inverse problems, we further study the modes of disintegrations. We show that the recently introduced notion of a "conditional mode" does not coincide in general with the modes of the conditional measure obtained through disintegration, but rather the modes of the restricted measure. We also discuss the implications of the discrepancy between the two measures in practice, advocating for the utility of both approaches depending on the modelling context.
- [99] arXiv:2508.00618 [pdf, html, other]
-
Title: Locally non-trivial fibred surfaces with maximal unitary rankComments: 15 pages. To appear in Bollettino dell'Unione Matematica Italiana. arXiv admin note: substantial text overlap with arXiv:2406.15909Subjects: Algebraic Geometry (math.AG)
Let $f\colon S\to B$ a locally non-trivial fibred surface with fibres of genus $g$. Let $u_f$ be its unitary rank, i.e. the rank of the flat unitary part in the second Fujita decomposition. We study in detail the case when $u_f$ is maximal, i.e. $u_f=g-1$. In this case necessarily $g\leq 6$, but examples in genus $5$ and $6$ are not known, and conjecturally do not exist. We prove a strong slope inequality for these extremal cases. We then use this inequality, together with results on trigonal curves, to give new constraints on the case $g=6$, $u_f=5$. In particular, we prove that the index of the surface is always strictly positive and give strong limitations on the possible classes of the relative canonical divisor
- [100] arXiv:2508.00623 [pdf, html, other]
-
Title: Harmonic maps and 2D Boussinesq equationsSubjects: Analysis of PDEs (math.AP)
Within the framework of Lagrangian variables, we develop a method for deriving explicit solutions to the 2D Boussinesq equations using harmonic mapping theory. By reformulating the characterization of flow solutions described by harmonic functions, we reduce the problem to solving a particular nonlinear differential system in complex space. To solve this nonlinear differential system, we introduce the Schwarzian and pre-Schwarzian derivatives, and derive the properties of the sense-preserving harmonic mappings with equal Schwarzian and pre-Schwarzian derivatives. Our method yields explicit solutions in Lagrangian coordinates that contain two fundamental classes of classical solutions.: Kirchhoff's elliptical vortex (1876) and Gerstner's gravity wave (1809, rediscovered by Rankine in 1863).
- [101] arXiv:2508.00626 [pdf, html, other]
-
Title: Deep Learning-Based Rate-Adaptive CSI Feedback for Wideband XL-MIMO Systems in the Near-Field DomainSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Accurate and efficient channel state information (CSI) feedback is crucial for unlocking the substantial spectral efficiency gains of extremely large-scale MIMO (XL-MIMO) systems in future 6G networks. However, the combination of near-field spherical wave propagation and frequency-dependent beam split effects in wideband scenarios poses significant challenges for CSI representation and compression. This paper proposes WideNLNet-CA, a rate-adaptive deep learning framework designed to enable efficient CSI feedback in wideband near-field XL-MIMO systems. WideNLNet-CA introduces a lightweight encoder-decoder architecture with multi-stage downsampling and upsampling, incorporating computationally efficient residual blocks to capture complex multi-scale channel features with reduced overhead. A novel compression ratio adaptive module with feature importance estimation is introduced to dynamically modulate feature selection based on target compression ratios, enabling flexible adaptation across a wide range of feedback rates using a single model. Evaluation results demonstrate that WideNLNet-CA consistently outperforms existing compressive sensing and deep learning-based works across various compression ratios and bandwidths, while maintaining fast inference and low model storage requirements.
- [102] arXiv:2508.00631 [pdf, html, other]
-
Title: On the dynamics of Halley's methodComments: 24 pages, 14 figuresSubjects: Dynamical Systems (math.DS)
In this article, we study the global dynamics of Halley's method applied to complex polynomials. Specifically, we analyze the structure and connectivity of the Julia set of this method. The convergence behavior, symmetry properties, and topological features of the corresponding Fatou and Julia sets are studied for various classes of polynomials, including unicritical, cubic, and quartic polynomials with non-trivial symmetry groups. In particular, we prove that the Halley's method $H_p$ is convergent, its Julia set is connected, the immediate basins are unbounded and the symmetry group of it coincides with that of the polynomial whenever $p$ belongs to one of the above classes. We further extend our results to a broader class of polynomials. It is shown that the immediate basin of the Halley's method $H_p$ corresponding to a root of $p$ can be bounded. We also make some remarks on the dynamics of the Halley's method applied to a cubic polynomial in general.
- [103] arXiv:2508.00633 [pdf, other]
-
Title: Dynamics and Coherence for the Free Cornering with Protocol ChoiceComments: 24 pages, in peer reviewSubjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
We present a term rewriting system that models the dynamic aspects of the free cornering with protocol choice of a monoidal category, which has been proposed as a categorical model of process interaction. This term rewriting system is confluent and terminating in an appropriate sense. We use this machinery to prove a coherence theorem for the free cornering with protocol choice.
- [104] arXiv:2508.00644 [pdf, other]
-
Title: 2-cabling and tangle operators in Khovanov theoryComments: 45 pages, many figures, comments welcomeSubjects: Geometric Topology (math.GT)
We describe an operator on 4-ended tangles that is induced by 2-cabling of a strongly invertible knot. By passing to the 4-ended tangle Khovanov theory of Kotelskiy-Watson-Zibrowius, this induces an operator on the category of type D structures over the Bar-Natan algebra $\mathcal{B}$, as well as on a Fukaya category of the 4-punctured 2-sphere. We provide a full description of this operator's restriction to cap-trivial tangles. Finally, we extract geography results that are inspired by a recent concordance invariant of Lewark-Zibrowius.
- [105] arXiv:2508.00662 [pdf, html, other]
-
Title: Quivers with Polynomial IdentitiesComments: 13 pagesSubjects: Representation Theory (math.RT); Combinatorics (math.CO); Rings and Algebras (math.RA)
We provide a topological characterization of quivers whose path algebra satisfies a polynomial identity. This class includes the oriented cycle and acyclic quivers and, in the latter case, we describe the associated T-ideal. We introduce a generalization of Arnold's A-graded algebras, which we call locally A-graded algebras, and prove that they are also PI. We give an example of a quiver algebra satisfying a polynomial identity, even if the path algebra of the quiver does not.
- [106] arXiv:2508.00666 [pdf, html, other]
-
Title: Eigenvalues for Infinitesimal Generators of Semigroups of Composition OperatorsComments: 35 pages, 2 figuresSubjects: Complex Variables (math.CV); Functional Analysis (math.FA)
We study the eigenvalues for infinitesimal generators of semigroups of composition operators acting on Hardy spaces, Bergman spaces, and the Dirichlet space. Such semigroups are induced by semigroups of holomorphic functions. Depending on the type of the holomorphic semigroup and the Euclidean geometry of its Koenigs domain, we find containment relations as well as sufficient conditions for the characterization of the point spectrum of the induced infinitesimal generator. For the Dirichlet space we study all types of non-elliptic semigroups whereas for the Hardy and Bergman spaces we work on parabolic semigroups extending the work of Betsakos in the hyperbolic case.
- [107] arXiv:2508.00670 [pdf, html, other]
-
Title: Locally finitely presented Grothendieck categories with a flat generatorComments: 47 pagesSubjects: Category Theory (math.CT); Algebraic Geometry (math.AG); Rings and Algebras (math.RA); Representation Theory (math.RT)
A problem raised by Cuadra and Simson in 2007 asks whether a locally finitely presented Grothendieck category with enough flat objects has enough projective objects. We prove that the categories involved in the statement are precisely the locally finitely presented Grothendieck categories with exact product functors. This enables reformulations of the problem that answer the latter in the negative and prove that it is related to a classical problem posed by Miller in 1975 and to the Telescope Conjecture for compactly generated triangulated categories. Our partial affirmative answers imply that any locally finitely presented Grothendieck category whose subcategory of finitely presented objects is Krull--Schmidt has enough flat objects if, and only if, it has a set of finitely generated projective generators.
- [108] arXiv:2508.00677 [pdf, html, other]
-
Title: A New Class of Linear Relations for Scalar PartitionsComments: 9 pages, 5 figuresSubjects: Number Theory (math.NT)
A scalar integer partition problem asks for a number of nonnegative integer solutions to a linear Diophantine equation with integer positive coefficients. The manuscript discusses an algorithm of derivation of linear relations involving the finite number of scalar partitions. The algorithm employs the Cayley theorem about the reduction of a double partition to a sum of scalar partitions based on the variable elimination procedure.
- [109] arXiv:2508.00681 [pdf, html, other]
-
Title: Finite groups with mostly involuted cyclic subgroupsComments: 6 pagesSubjects: Group Theory (math.GR)
Let $G$ be a finite group, define $I(G)=\{x\in G : x^{2}=1\}$, $C(G)=$ set of the cyclic subgroups of $G$, $i(G)=|I(G)|$ and $c(G)=|C(G)|$. In this article, we will classify finite groups with $i(G)=c(G)-r$ for $r=0,1,$ and $2$. We also prove that the range of the function given by $\beta(G)=\frac{i(G)}{c(G)}$ is dense in $[0,1]$.
- [110] arXiv:2508.00687 [pdf, html, other]
-
Title: The Rubik's Cube and Minimal Representations of Split Group ExtensionsComments: 35 pages, 14 figuresSubjects: Representation Theory (math.RT)
In this paper, we examine the groups $G_2$ and $G_3$ associated to the $2 \times 2$ and $3 \times 3$ Rubik's cubes. We express $G_2$ and $G_3$ in terms of familiar groups and exhibit a split homomorphism $\psi: G_3 \longrightarrow G_2$ to prove that $G_2$ embeds inside $G_3$ as a subgroup. In addition, we prove several results bounding the dimensions of minimal faithful representations of finite abelian groups split by some complementary subgroup. We then employ these results to determine the minimal faithful dimensions of $G_2$ and $G_3$ over both $\mathbb{C}$ and $\mathbb{R}$. We find that $G_2$ has minimal dimension 8 over $\mathbb{C}$ and 16 over $\mathbb{R}$, and that $G_3$ has minimal dimension 20 over $\mathbb{C}$ and 28 over $\mathbb{R}$.
- [111] arXiv:2508.00699 [pdf, html, other]
-
Title: Domination numbers and homotopy in certain ternary graphsSubjects: Combinatorics (math.CO)
A ternary graph is a graph with no induced cycles of length $0$ modulo $3$. It was recently shown that, if the independence complex of a ternary graph is not contractible, then it is homotopy equivalent to a sphere. When a ternary graph also does not contain induced cycles of length $1$ modulo $3$, we prove that the dimension of the sphere is equal to the dimension of a minimum maximal simplex of the independence complex, or equivalently, to the value obtained by subtracting $1$ from the independent domination number of the graph. The same statement holds if we replace the independent domination number with the domination number. We also give a hypergraph analogue of the statement above.
- [112] arXiv:2508.00708 [pdf, html, other]
-
Title: Szeg?-Type Limit Theorem in the Drury-Arveson spaceSubjects: Functional Analysis (math.FA)
We state and prove a version of Szeg?'s first limit theorem for Toeplitz-like operators on the Drury-Arveson space in the unit ball.
- [113] arXiv:2508.00713 [pdf, html, other]
-
Title: Controllability of diffusive Lotka-Volterra strongly competitive systems under boundary constrained controlsComments: 35 pages, 11 figuresSubjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
We investigate the controllability of the competition-diffusion Lotka-Volterra system. Our primary focus is on the one-dimensional setting with Dirichlet boundary controls, interpreted as ecological management policies regulating the density of species at the habitat boundaries and satisfying bilateral constraints. We show that the system can be steered from any initial state to a constant steady state representing the extinction of the less competitive species. In contrast, we prove that controllability toward a steady state where the more competitive species vanishes is generally not achievable when the inter-species competition rates are too unbalanced. This obstruction is due to the existence of barrier solutions, which we explicitly construct based on the spectral properties of the associated reaction-diffusion operators. Our theoretical results are illustrated through numerical simulations and are accompanied by a discussion of open problems and potential directions for future research.
- [114] arXiv:2508.00714 [pdf, html, other]
-
Title: Time asymptotics, time regularity and separation rates for Navier-Stokes flows in supercritical solution classesComments: 38 pagesSubjects: Analysis of PDEs (math.AP)
This paper extends the weak solution theory for the 3D Navier-Stokes equations of Barker, Seregin and Sverak from a critical setting to a supercritical setting making sure to include a useful a priori energy bound as well as a statement about stability under weak-star convergence. Two applications of the a priori bound are then explored. The first provides a spatially local, short-time asymptotic expansion in the time variable starting at $t=0$ which, as a corollary, provides an upper bound on how fast hypothetical non-unique solutions to the Navier-Stokes equations can separate locally. The second establishes higher-order time regularity at a singular time and at spatial points positioned away from the singularity. This quantifies the degree to which the non-local nature of the pressure allows a far flung singularity to disrupt the time regularity at a regular point.
- [115] arXiv:2508.00722 [pdf, other]
-
Title: Towards a mixed-precision ADI method for Lyapunov equationsComments: 11 pages, 3 figures, 1 table; submitted to PAMM 2025Subjects: Numerical Analysis (math.NA)
We apply mixed-precision to the low-rank Lyapunov ADI (LR-ADI) by performing certain aspects of the algorithm in a lower working precision. Namely, we accumulate the overall solution, solve the linear systems comprising the ADI iteration, and store the inner low-rank factors of the residuals in various combinations of IEEE 754 single and double precision. We empirically test our implementation on Lyapunov equations arising from first- and second-order descriptor systems. For the first-order examples, accumulating the solution in single-precision yields an almost-as-small residual as for the double-precision solution. For certain applications, like computing the H2 norm of a descriptor system, low- or mixed-precision variants of the ADI can be quite competitive
- [116] arXiv:2508.00727 [pdf, html, other]
-
Title: Baues-Wirsching Cohomology and Svarc Genus in Small CategoriesComments: 27 pagesSubjects: Category Theory (math.CT); Algebraic Topology (math.AT)
We prove that for a bifibration P between small categories, the lenght of the cup product in the kernel of the induced morphism in the Baues-Wirsching cohomology with coefficients in any natural system is a lower bound for the homotopic sectional category (also called Svarc genus). Our results extend classical Svarc type inequalties to the categorical setting and introduce a computationally efficient method via a reduced cochain complex for Baues-Wirching cohomology.
- [117] arXiv:2508.00729 [pdf, html, other]
-
Title: Graphs with tree decompositions of small graphs and realizing them as the Reeb graphs of real algebraic functionsComments: 10 pages, 2 figuresSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); Metric Geometry (math.MG)
We have been interested in graphs and realizing them as Reeb graphs of explicit real algebraic functions.
The Reeb graph of a differentiable function is the quotient space of the manifold of the domain, regarded as the space consisting of all components of preimages of all single points. Reeb graphs have been fundamental and strong tools in geometry of manifolds since the birth of theory of Morse functions, in the former half of the 20th century. We can easily see that the Reeb graph of the natural height of the unit sphere whose dimension is at least $2$ is a graph with exactly one edge and two edges.
We are concerned with realizations of graphs decomposed into trees nicely, each vertex of which corresponds to a graph with exactly one edge and two edges or a graph with exactly two edges homeomorphic to a circle. - [118] arXiv:2508.00745 [pdf, html, other]
-
Title: Irreducible components of Toric Complete IntersectionsSubjects: Algebraic Geometry (math.AG)
An equivariant linear system on a toric variety is a linear system invariant under the torus action. We study the number of irreducible components of the complete intersection of general divisors from a fixed collection of equivariant linear system on a toric variety $X$. An explicit formula for the number of components was obtained by Khovanskii in 2016 for the case $X = T^n$ over $\mathbb C$ and generalized to an algebraically closed field of arbitrary characteristic the author in 2024. Building on these results, we give a recursive formula for an arbitrary toric variety.
- [119] arXiv:2508.00747 [pdf, html, other]
-
Title: Zero Probability of the Cut Locus of a Fréchet Mean on a Riemannian ManifoldSubjects: Probability (math.PR); Differential Geometry (math.DG)
We show that the cut locus of a Fréchet mean of a random variable on a connected and complete Riemanian manifold has zero probability, a result known previously in special cases and conjectured in general. In application, we rule out stickiness, while providing examples of nowhere smooth Fréchet functions and we discuss extensions of the statement to Fréchet $p$-means, for $p\neq 2$, as well as to noncomplete manifolds and more general metric spaces.
- [120] arXiv:2508.00752 [pdf, html, other]
-
Title: The representation theory of somewhere-to-below shufflesComments: 46 pages. Comments are welcome!Subjects: Combinatorics (math.CO); Representation Theory (math.RT)
The *somewhere-to-below shuffles* are the elements \[ t_{\ell} := \operatorname{cyc}_{\ell}+\operatorname{cyc}_{\ell,\ell+1}+\operatorname{cyc}_{\ell,\ell+1,\ell+2}+\cdots+\operatorname{cyc}_{\ell,\ell+1,\ldots,n} \] (for $\ell \in \{1,2,\dots,n\}$) in the group algebra $\mathbf{k}[S_n]$ of the $n$-th symmetric group $S_n$. Their linear combinations are called the *one-sided cycle shuffles*. We determine the eigenvalues of the action of any one-sided cycle shuffle on any Specht module $\mathcal{S}^{\lambda}$ of $S_n$.
- [121] arXiv:2508.00763 [pdf, html, other]
-
Title: Unitary equivalence of balanced weighted shifts on rooted directed treesComments: 12 pages, 1 figureSubjects: Functional Analysis (math.FA)
We completely characterize non-periodic balanced weighted shifts $S_{\lambdab}$ on rooted directed trees under a very mild assumption that $S_{\lambdab}^{*n}S_{\lambdab}^n|_{\ker S_{\lambdab}^*}$ is invertible operator on $\ker S_{\lambdab}^*$ for all $n \in \mathbb N$. This generalizes the previously established unitary equivalences for Bergman and Dirichlet type shifts associated with locally finite rooted directed trees. We also give a counter example to justify that the criteria obtained for non-periodic balanced weighted shifts is not necessary for eventually periodic balanced weighted shifts.
- [122] arXiv:2508.00767 [pdf, other]
-
Title: Higher Idempotent Completion for Soergel BimodulesComments: 29 pages. Coloured figures. Comments welcome!Subjects: Quantum Algebra (math.QA); Representation Theory (math.RT)
We present two applications of the concept of higher idempotent completion to higher categories relevant in link homology theory and higher representation theory. We show that singular Soergel bimodules can be recovered from Soergel bimodules through partial 2-categorical idempotent completions. Specializing to type A, we further assemble singular Soergel bimodules into a semistrict monoidal 2-category and identify certain quotients as semistrict monoidal 2-categories of gl_N foams. Our second main result uses 2-categorical idempotent completions to formulate a higher categorical branching rule for such foam theories, which underlie the Lee-Gornik-Rasmussen-Wu deformations of coloured gl_N link homology. In particular, we provide a fully local version of Rose-Wedrich's decomposition theorem on deformed coloured link homology.
- [123] arXiv:2508.00770 [pdf, other]
-
Title: On admissibility in post-hoc hypothesis testingComments: 56 pagesSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
The validity of classical hypothesis testing requires the significance level $\alpha$ be fixed before any statistical analysis takes place. This is a stringent requirement. For instance, it prohibits updating $\alpha$ during (or after) an experiment due to changing concern about the cost of false positives, or to reflect unexpectedly strong evidence against the null. Perhaps most disturbingly, witnessing a p-value $p\ll\alpha$ vs $p\leq \alpha$ has no (statistical) relevance for any downstream decision-making. Following recent work of Grünwald (2024), we develop a theory of post-hoc hypothesis testing, enabling $\alpha$ to be chosen after seeing and analyzing the data. To study "good" post-hoc tests we introduce $\Gamma$-admissibility, where $\Gamma$ is a set of adversaries which map the data to a significance level. A test is $\Gamma$-admissible if, roughly speaking, there is no other test which performs at least as well and sometimes better across all adversaries in $\Gamma$. For point nulls and alternatives, we prove general properties of any $\Gamma$-admissible test for any $\Gamma$ and show that they must be based on e-values. We also classify the set of admissible tests for various specific $\Gamma$.
- [124] arXiv:2508.00783 [pdf, html, other]
-
Title: Smoothness of extremizers for certain inequalities of the Radon transformComments: 26 pagesSubjects: Classical Analysis and ODEs (math.CA)
The Radon transform is a bounded operator from $L^p$ of Euclidean space to $L^q$ of the manifold of all affine hyperplanes in $\mathbb{R}^n$ for certain exponents depending dimension. Extremizers have been determined for certain values of $q$ and $p$, but most remain open.
We show that extremizers are infinitely differentiable whenever the exponents in the associated Euler-Lagrange equation, $q-1$ and $\frac1{p-1}$, are integers. The proof adapts the method of Christ and Xue, to the case where the underlying space is a manifold.
The proof is carried out in the setting of the $k$-plane transform, which takes functions on $\mathbb{R}^n$ to functions on the manifold of all affine $k$-planes in $\mathbb{R}^n$ by integrating the function over the $k$-dimensional plane. We show that when $q-1$ and $\frac1{p-1}$ are intergers, all nonnegative critical points of the functional
\[ \|T_{n,k}f\|_{L^q(M)}/\|f\|_{L^p(\mathbb{R}^n)}\]
are infinitely differentiable, all derivatives are in $L^p$ and exhibit some additional decay measured in a weighted $L^p$-space. - [125] arXiv:2508.00799 [pdf, html, other]
-
Title: Optimal play in Guess WhoComments: 9 pagesSubjects: Combinatorics (math.CO)
We prove an optimal strategy for the children's game Guess Who? assuming the official rules are in use and that both players ask `classical' questions with a bipartite response. Applying a technique described in [Rabern, B \& Rabern, L 2008, 'A simple solution to the hardest logic puzzle ever', \textit{Analysis}, vol. 68, no. 2, pp.~105-112.] allows for questions with tripartite responses; we explain this innovation and give an optimal strategy for two players applying it.
- [126] arXiv:2508.00802 [pdf, html, other]
-
Title: Bi-contact structures with symmetry: local normal formsSubjects: Differential Geometry (math.DG)
A pair of transverse contact distributions on a 3-manifold will in general admit no 1-parameter families of symmetries: a flow preserving both contact distributions. Here, we will determine local normal forms for such pairs admitting symmetries. In particular, we observe that orientable Anosov flows may be globally given by the intersection of a pair of oppositely oriented contact distributions admitting, around any point, maximal local symmetries.
- [127] arXiv:2508.00803 [pdf, html, other]
-
Title: Renormalization of generalized spin--boson models with critical ultraviolet divergencesComments: 23 pagesSubjects: Mathematical Physics (math-ph); Functional Analysis (math.FA); Operator Algebras (math.OA)
We provide a rigorous construction of generalized spin--boson models with commuting transition matrices and form factors exhibiting critical ultraviolet (UV) divergences. That is, we cover all divergences where a self-energy renormalization, but no non-Fock representation, is required. Our method is based on a direct definition of the renormalized Hamiltonian on a sufficiently large test domain, followed by a Friedrichs extension. We then prove that this Hamiltonian coincides with the one obtained by cut-off renormalization. Furthermore, we show that for specific supercritical cases, i.e., when a non-Fock representation is required, the renormalized Hamiltonian is trivial.
- [128] arXiv:2508.00805 [pdf, html, other]
-
Title: Non-Trivial Renormalization of Spin-Boson Models with Supercritical Form FactorsComments: 21 pages, no figuresSubjects: Mathematical Physics (math-ph); Functional Analysis (math.FA)
In this paper we construct the non-trivial, renormalized Hamiltonian for a class of spin-boson models with supercritical form factors, including the one describing the Weisskopf-Wigner spontaneous emission. The renormalization is performed through both a self-energy and mass renormalization, in the so-called Hamiltonian formalism of constructive quantum field theory, implemented by a non-unitary dressing transformation. This solves the problem of triviality for unitarily-renormalized supercritical spin-boson models.
- [129] arXiv:2508.00812 [pdf, html, other]
-
Title: On the controllability of the Kuramoto-Sivashinsky equation on multi-dimensional cylindrical domainsSubjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP)
In this article, we investigate null controllability of the Kuramoto-Sivashinsky (KS) equation on a cylindrical domain $\Omega=\Omega_x\times \Omega_y$ in $\mathbb R^N$, where $\Omega_x=(0,a),$ $a>0$ and $\Omega_y$ is a smooth domain in $\mathbb R^{N-1}$. We first study the controllability of this system by a control acting on $\{0\}\times \omega$, $\omega\subset \Omega_y$, through the boundary term associated with the Laplacian component. The null controllability of the linearized system is proved using a combination of two techniques: the method of moments and Lebeau-Robbiano strategy. We provide a necessary and sufficient condition for the null controllability of this system along with an explicit control cost estimate. Furthermore, we show that there exists minimal time $T_0(x_0)>0$ such that the system is null controllable for all time $T > T_0(x_0)$ by means of an interior control exerted on $\gamma = \{x_0\} \times \omega \subset \Omega$, where $x_0/a\in (0,1)\setminus \mathbb{Q}$ and it is not controllable if $T<T_0(x_0).$
If we assume $x_0/a$ is an algebraic real number of order $d > 1$, then we prove the controllability for any time $T>0.$
Finally, for the case of $N=2 \text{ or } 3$, we show the local null controllability of the main nonlinear system by employing the source term method followed by the Banach fixed point theorem. - [130] arXiv:2508.00816 [pdf, html, other]
-
Title: Efficient Solving of Large Single Input Superstate Decomposable Markovian Decision ProcessComments: Preprint article submitted to ValueTools2025Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Performance (cs.PF)
Solving Markov Decision Processes (MDPs) remains a central challenge in sequential decision-making, especially when dealing with large state spaces and long-term optimization criteria. A key step in Bellman dynamic programming algorithms is the policy evaluation, which becomes computationally demanding in infinite-horizon settings such as average-reward or discounted-reward formulations. In the context of Markov chains, aggregation and disaggregation techniques have for a long time been used to reduce complexity by exploiting structural decompositions. In this work, we extend these principles to a structured class of MDPs. We define the Single-Input Superstate Decomposable Markov Decision Process (SISDMDP), which combines Chiu's single-input decomposition with Robertazzi's single-cycle recurrence property. When a policy induces this structure, the resulting transition graph can be decomposed into interacting components with centralized recurrence. We develop an exact and efficient policy evaluation method based on this structure. This yields a scalable solution applicable to both average and discounted reward MDPs.
- [131] arXiv:2508.00820 [pdf, html, other]
-
Title: Mean curvature of direct image bundlesComments: 23 pagesSubjects: Differential Geometry (math.DG); Complex Variables (math.CV)
Let $E\to X$ be a vector bundle of rank $r$ over a compact complex manifold $X$ of dimension $n$. It is known that if the line bundle $O_{P(E^*)}(1)$ over the projectivized bundle $P(E^*)$ is positive, then $E\otimes \det E$ is Nakano positive by the work of Berndtsson. In this paper, we give a subharmonic analogue. Let $p:P(E^*)\to X$ be the projection and $\alpha$ be a K?hler form on $X$. If the line bundle $O_{P(E^*)}(1)$ admits a metric $h$ with curvature $\Theta$ positive on every fiber and $\Theta^r\wedge p^*\alpha^{n-1}> 0$, then $E\otimes \det E$ carries a Hermitian metric whose mean curvature is positive.
As an application, we show that the following subharmonic analogue of the Griffiths conjecture is true: if the line bundle $O_{P(E^*)}(1)$ admits a metric $h$ with curvature $\Theta$ positive on every fiber and $\Theta^r\wedge p^*\alpha^{n-1}> 0$, then $E$ carries a Hermitian metric with positive mean curvature. - [132] arXiv:2508.00824 [pdf, other]
-
Title: Local Poisson Deconvolution for Discrete SignalsComments: The first two authors contributed equallySubjects: Statistics Theory (math.ST); Methodology (stat.ME); Machine Learning (stat.ML)
We analyze the statistical problem of recovering an atomic signal, modeled as a discrete uniform distribution $\mu$, from a binned Poisson convolution model. This question is motivated, among others, by super-resolution laser microscopy applications, where precise estimation of $\mu$ provides insights into spatial formations of cellular protein assemblies. Our main results quantify the local minimax risk of estimating $\mu$ for a broad class of smooth convolution kernels. This local perspective enables us to sharply quantify optimal estimation rates as a function of the clustering structure of the underlying signal. Moreover, our results are expressed under a multiscale loss function, which reveals that different parts of the underlying signal can be recovered at different rates depending on their local geometry. Overall, these results paint an optimistic perspective on the Poisson deconvolution problem, showing that accurate recovery is achievable under a much broader class of signals than suggested by existing global minimax analyses. Beyond Poisson deconvolution, our results also allow us to establish the local minimax rate of parameter estimation in Gaussian mixture models with uniform weights.
We apply our methods to experimental super-resolution microscopy data to identify the location and configuration of individual DNA origamis. In addition, we complement our findings with numerical experiments on runtime and statistical recovery that showcase the practical performance of our estimators and their trade-offs.
New submissions (showing 132 of 132 entries)
- [133] arXiv:2507.22981 (cross-list from hep-ph) [pdf, html, other]
-
Title: An $N$-independent tensor decomposition for SU($N$)Comments: 19 pages, 1 figureSubjects: High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Representation Theory (math.RT)
To facilitate a simultaneous treatment of an arbitrary number of colors in representation theory-based descriptions of QCD color structure, we derive an $N$-independent reduction of SU($N$) tensor products. To this end, we label each irreducible representation by a pair of Young diagrams, with parts acting on quarks and antiquarks. By combining this with a column-wise multiplication of Young diagrams, we generalize the Littlewood-Richardson rule for the product of two Young diagrams to the product of two Young diagram pairs, achieving a general-$N$ decomposition.
- [134] arXiv:2507.23672 (cross-list from gr-qc) [pdf, html, other]
-
Title: Teleparallel gravity from the principal bundle viewpointComments: 15 pages, 1 figureSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We examine whether the Teleparallel Equivalent of General Relativity (TEGR) can be formulated as a gauge theory in the language of connections on principal bundles. We argue in favor of using either the affine bundle with the Poincaré group or, equivalently, the orthonormal frame bundle with the Lorentz group as the structure group. Following the framework of Trautman--where gauge symmetries are determined using the absolute elements--we set to identify the absolute elements and gauge symmetries of TEGR. The problem of a non-dynamical teleparallel connection raises the question of whether it should be treated as an absolute element. If so, the gauge group of TEGR is potentially some undetermined subgroup of the diffeomorphism group. On the other hand, if the connection is allowed to be non-dynamical but the only absolute element is taken to be the canonical 1-form of the frame bundle, we recover the whole diffeomorphism group as the gauge group of TEGR.
- [135] arXiv:2508.00004 (cross-list from cs.LO) [pdf, html, other]
-
Title: Reasoning under uncertainty in the game of Cops and RobbersSubjects: Logic in Computer Science (cs.LO); Logic (math.LO)
The game of Cops and Robbers is an important model for studying computational queries in pursuit-evasion environments, among others. As recent logical explorations have shown, its structure exhibits appealing analogies with modal logic. In this paper, we enrich the game with a setting in which players may have imperfect information. We propose a new formal framework, Epistemic Logic of Cops and Robbers (ELCR), to make the core notions of the game precise, for instance, players' positions, observational power and inference. Applying ELCR to analyze the game, we obtain an automated way to track interactions between players and characterize their information updates during the game. The update mechanism is defined by a novel dynamic operator, and we compare it with some relevant paradigms from the game and logic perspectives. We study various properties of ELCR including axiomatization and decidability. To our knowledge, this is the first attempt to explore these games from a formal point of view where (partial) information available to players is taken into account.
- [136] arXiv:2508.00006 (cross-list from nlin.CD) [pdf, html, other]
-
Title: Optimal dynamical stabilizationSubjects: Chaotic Dynamics (nlin.CD); Dynamical Systems (math.DS)
Stability is a fundamental concept that refers to a system's ability to return close to its original state after disturbances. The minimal conditions for stability when system parameters vary in time, though common in physics, have been largely overlooked. Here, we study the minimal amount of periodic stiffness a linear mass-spring system requires to remain stable and apply our findings to optimally trap the upside-down state of a compass in a time-varying magnetic field. We show that the ability to return close to its original state only needs to be ensured over small but precisely defined durations within each period for the system to achieve dynamic stability. These precise durations form a discrete set, remarkably predicted by rules analogous to those of quantum mechanics. This unexpected connection opens new avenues for controlling dynamical systems.
- [137] arXiv:2508.00019 (cross-list from econ.TH) [pdf, html, other]
-
Title: A Tokenized Sovereign Debt Conversion Mechanism for Dynamic Public Debt ReductionSubjects: Theoretical Economics (econ.TH); Probability (math.PR)
In this paper, we present the Tokenized Sovereign Debt Conversion Mechanism (TSDCM), a smart-contracted instrument that, upon meeting both debt-to-GDP and GDP-growth thresholds, automates the retirement of sovereign debt. TSDCM initiates the conversion of a portion of outstanding bonds into performance-linked tokens by integrating a two-state regime-switching jump-diffusion framework into decentralized protocols. We prove finite-time activation and expected debt reduction through new propositions, establish the existence and uniqueness of the underlying stochastic processes, and introduce a main theorem that ensures a strict decline in expected debt levels. With significant tail-risk mitigation, calibration using IMF data and MATLAB Monte Carlo simulations shows a 20-25% decrease in expected debt-to-GDP ratios over a ten-year period. A transparent and incentive-aligned route to sustainable sovereign debt management is provided by TSDCM.
- [138] arXiv:2508.00028 (cross-list from cs.NI) [pdf, html, other]
-
Title: Scalable Spectrum Availability Prediction using a Markov Chain Framework and ITU-R Propagation ModelsComments: 12 pagesSubjects: Networking and Internet Architecture (cs.NI); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Numerical Analysis (math.NA)
Spectrum resources are often underutilized across time and space, motivating dynamic spectrum access strategies that allow secondary users to exploit unused frequencies. A key challenge is predicting when and where spectrum will be available (i.e., unused by primary licensed users) in order to enable proactive and interference-free access. This paper proposes a scalable framework for spectrum availability prediction that combines a two-state Markov chain model of primary user activity with high-fidelity propagation models from the ITU-R (specifically Recommendations P.528 and P.2108). The Markov chain captures temporal occupancy patterns, while the propagation models incorporate path loss and clutter effects to determine if primary signals exceed interference thresholds at secondary user locations. By integrating these components, the proposed method can predict spectrum opportunities both in time and space with improved accuracy. We develop the system model and algorithm for the approach, analyze its scalability and computational efficiency, and discuss assumptions, limitations, and potential applications. The framework is flexible and can be adapted to various frequency bands and scenarios. The results and analysis show that the proposed approach can effectively identify available spectrum with low computational cost, making it suitable for real-time spectrum management in cognitive radio networks and other dynamic spectrum sharing systems.
- [139] arXiv:2508.00040 (cross-list from cs.LG) [pdf, html, other]
-
Title: Regime-Aware Conditional Neural Processes with Multi-Criteria Decision Support for Operational Electricity Price ForecastingSubjects: Machine Learning (cs.LG); Probability (math.PR); Applications (stat.AP); Machine Learning (stat.ML)
This work integrates Bayesian regime detection with conditional neural processes for 24-hour electricity price prediction in the German market. Our methodology integrates regime detection using a disentangled sticky hierarchical Dirichlet process hidden Markov model (DS-HDP-HMM) applied to daily electricity prices. Each identified regime is subsequently modeled by an independent conditional neural process (CNP), trained to learn localized mappings from input contexts to 24-dimensional hourly price trajectories, with final predictions computed as regime-weighted mixtures of these CNP outputs. We rigorously evaluate R-NP against deep neural networks (DNN) and Lasso estimated auto-regressive (LEAR) models by integrating their forecasts into diverse battery storage optimization frameworks, including price arbitrage, risk management, grid services, and cost minimization. This operational utility assessment revealed complex performance trade-offs: LEAR often yielded superior absolute profits or lower costs, while DNN showed exceptional optimality in specific cost-minimization contexts. Recognizing that raw prediction accuracy doesn't always translate to optimal operational outcomes, we employed TOPSIS as a comprehensive multi-criteria evaluation layer. Our TOPSIS analysis identified LEAR as the top-ranked model for 2021, but crucially, our proposed R-NP model emerged as the most balanced and preferred solution for 2021, 2022 and 2023.
- [140] arXiv:2508.00056 (cross-list from hep-th) [pdf, html, other]
-
Title: Volume as an index of a subalgebraComments: 45 pages, 8 figuresSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
We propose a new way to understand the volume of certain subregions in the bulk of AdS spacetime by relating it to an algebraic quantity known as the index of inclusion. This index heuristically measures the relative size of a subalgebra $\mathcal{N}$ embedded within a larger algebra $\mathcal{M}$. According to subregion-subalgebra duality, bulk subregions are described by von Neumann algebras on the boundary. When a causally complete bulk subregion corresponds to the relative commutant $\mathcal{N}' \cap \mathcal{M}$ -- the set of operators in $\mathcal{M}$ that commute with $\mathcal{N}$ -- of boundary subalgebras, we propose that the exponential of the volume of the maximal volume slice of the subregion equals the index of inclusion. This ``volume-index'' relation provides a new boundary explanation for the growth of interior volume in black holes, reframing it as a change in the relative size of operator algebras. It offers a complementary perspective on complexity growth from the Heisenberg picture, and has a variety of other applications, including quantifying the relative size of algebras dual to the entanglement wedge and the causal wedge of a boundary region, as well as quantifying the violation of additivity of operator algebras in the large $N$ limit. Finally, it may offer insights into the volume growth of de Sitter space through the changes in North and South pole observer algebras in time.
- [141] arXiv:2508.00126 (cross-list from quant-ph) [pdf, other]
-
Title: Efficient and simple Gibbs state preparation of the 2D toric code via duality to classical Ising chainsPablo Páez-Velasco (1 and 2), Niclas Schilling (3), Samuel O. Scalet (4 and 5), Frank Verstraete (4 and 6), ángela Capel (4 and 7) ((1) Departamento de Análisis Matemático y Matemática Aplicada, Universidad Complutense de Madrid, (2) Instituto de Ciencias Matemáticas, (3) Fachbereich Physik, Universit?t Tübingen, (4) Department of Applied Mathematics and Theoretical Physics, University of Cambridge, (5) IBM Quantum, IBM T. J. Watson Research Center, (6) Department of Physics and Astronomy, Ghent University, (7) Fachbereich Mathematik, Universit?t Tübingen)Comments: 10 + 27 pages, 34 figuresSubjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
We introduce the notion of polynomial-depth duality transformations, which relates two sets of operator algebras through a conjugation by a poly-depth quantum circuit, and make use of this to construct efficient Gibbs samplers for a variety of interesting quantum Hamiltonians as they are poly-depth dual to classical Hamiltonians. This is for example the case for the 2D toric code, which is demonstrated to be poly-depth dual to two decoupled classical Ising spin chains for any system size, and we give evidence that such dualities hold for a wide class of stabilizer Hamiltonians. Additionally, we extend the above notion of duality to Lindbladians in order to show that mixing times and other quantities such as the spectral gap or the modified logarithmic Sobolev inequality are preserved under duality.
- [142] arXiv:2508.00129 (cross-list from cs.AI) [pdf, html, other]
-
Title: Algorithmic Detection of Rank Reversals, Transitivity Violations, and Decomposition Inconsistencies in Multi-Criteria Decision AnalysisAgustín Borda, Juan Bautista Cabral, Gonzalo Giarda, Diego Nicolás Gimenez Irusta, Paula Pacheco, Alvaro Roy SchachnerSubjects: Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
In Multi-Criteria Decision Analysis, Rank Reversals are a serious problem that can greatly affect the results of a Multi-Criteria Decision Method against a particular set of alternatives. It is therefore useful to have a mechanism that allows one to measure the performance of a method on a set of alternatives. This idea could be taken further to build a global ranking of the effectiveness of different methods to solve a problem. In this paper, we present three tests that detect the presence of Rank Reversals, along with their implementation in the Scikit-Criteria library. We also address the complications that arise when implementing these tests for general scenarios and the design considerations we made to handle them. We close with a discussion about how these additions could play a major role in the judgment of multi-criteria decision methods for problem solving.
- [143] arXiv:2508.00154 (cross-list from eess.SY) [pdf, html, other]
-
Title: Data-Driven Motion Planning for Uncertain Nonlinear SystemsSubjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Robotics (cs.RO); Optimization and Control (math.OC)
This paper proposes a data-driven motion-planning framework for nonlinear systems that constructs a sequence of overlapping invariant polytopes. Around each randomly sampled waypoint, the algorithm identifies a convex admissible region and solves data-driven linear-matrix-inequality problems to learn several ellipsoidal invariant sets together with their local state-feedback gains. The convex hull of these ellipsoids, still invariant under a piece-wise-affine controller obtained by interpolating the gains, is then approximated by a polytope. Safe transitions between nodes are ensured by verifying the intersection of consecutive convex-hull polytopes and introducing an intermediate node for a smooth transition. Control gains are interpolated in real time via simplex-based interpolation, keeping the state inside the invariant polytopes throughout the motion. Unlike traditional approaches that rely on system dynamics models, our method requires only data to compute safe regions and design state-feedback controllers. The approach is validated through simulations, demonstrating the effectiveness of the proposed method in achieving safe, dynamically feasible paths for complex nonlinear systems.
- [144] arXiv:2508.00159 (cross-list from cs.AI) [pdf, html, other]
-
Title: Model-Based Soft Maximization of Suitable Metrics of Long-Term Human PowerSubjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Machine Learning (cs.LG); Theoretical Economics (econ.TH); Optimization and Control (math.OC)
Power is a key concept in AI safety: power-seeking as an instrumental goal, sudden or gradual disempowerment of humans, power balance in human-AI interaction and international AI governance. At the same time, power as the ability to pursue diverse goals is essential for wellbeing.
This paper explores the idea of promoting both safety and wellbeing by forcing AI agents explicitly to empower humans and to manage the power balance between humans and AI agents in a desirable way. Using a principled, partially axiomatic approach, we design a parametrizable and decomposable objective function that represents an inequality- and risk-averse long-term aggregate of human power. It takes into account humans' bounded rationality and social norms, and, crucially, considers a wide variety of possible human goals.
We derive algorithms for computing that metric by backward induction or approximating it via a form of multi-agent reinforcement learning from a given world model. We exemplify the consequences of (softly) maximizing this metric in a variety of paradigmatic situations and describe what instrumental sub-goals it will likely imply. Our cautious assessment is that softly maximizing suitable aggregate metrics of human power might constitute a beneficial objective for agentic AI systems that is safer than direct utility-based objectives. - [145] arXiv:2508.00188 (cross-list from eess.SY) [pdf, html, other]
-
Title: Optimal Messaging Strategy for Incentivizing Agents in Dynamic SystemsComments: We submitted a full paper to IEEE TAC for review. A preliminary version of this paper is scheduled to be presented at IEEE CDC conference in December 2025Subjects: Systems and Control (eess.SY); Computer Science and Game Theory (cs.GT); Optimization and Control (math.OC)
We consider a finite-horizon discrete-time dynamic system jointly controlled by a designer and one or more agents, where the designer can influence the agents' actions through selective information disclosure. At each time step, the designer sends a message to the agent(s) from a prespecified message space. The designer may also take an action that directly influences system dynamics and rewards. Each agent uses its received message (and its own information) to choose its action. We are interested in the setting where the designer would like to incentivize each agent to play a specific strategy. We consider a notion of incentive compatibility that is based on sequential rationality at each realization of the common information between the designer and the agent(s). Our objective is to find a messaging and action strategy for the designer that maximizes its total expected reward while incentivizing each agent to follow a prespecified strategy. Under certain assumptions on the information structure of the problem, we show that an optimal designer strategy can be computed using a backward inductive algorithm that solves a family of linear programs.
- [146] arXiv:2508.00197 (cross-list from cs.CV) [pdf, html, other]
-
Title: Graph Lineages and Skeletal Graph ProductsComments: 42 pages. 33 Figures. Under reviewSubjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Category Theory (math.CT); Numerical Analysis (math.NA)
Graphs, and sequences of growing graphs, can be used to specify the architecture of mathematical models in many fields including machine learning and computational science. Here we define structured graph "lineages" (ordered by level number) that grow in a hierarchical fashion, so that: (1) the number of graph vertices and edges increases exponentially in level number; (2) bipartite graphs connect successive levels within a graph lineage and, as in multigrid methods, can constrain matrices relating successive levels; (3) using prolongation maps within a graph lineage, process-derived distance measures between graphs at successive levels can be defined; (4) a category of "graded graphs" can be defined, and using it low-cost "skeletal" variants of standard algebraic graph operations and type constructors (cross product, box product, disjoint sum, and function types) can be derived for graded graphs and hence hierarchical graph lineages; (5) these skeletal binary operators have similar but not identical algebraic and category-theoretic properties to their standard counterparts; (6) graph lineages and their skeletal product constructors can approach continuum limit objects. Additional space-efficient unary operators on graded graphs are also derived: thickening, which creates a graph lineage of multiscale graphs, and escalation to a graph lineage of search frontiers (useful as a generalization of adaptive grids and in defining "skeletal" functions). The result is an algebraic type theory for graded graphs and (hierarchical) graph lineages. The approach is expected to be well suited to defining hierarchical model architectures - "hierarchitectures" - and local sampling, search, or optimization algorithms on them. We demonstrate such application to deep neural networks (including visual and feature scale spaces) and to multigrid numerical methods.
- [147] arXiv:2508.00206 (cross-list from stat.ME) [pdf, html, other]
-
Title: The hierarchical barycenter: conditional probability simulation with structured and unobserved covariatesSubjects: Methodology (stat.ME); Optimization and Control (math.OC)
This paper presents a new method for conditional probability density this http URL method is design to work with unstructured data set when data are not characterized by the same covariates yet share common information. Specific examples considered in the text are relative to two main classes: homogeneous data characterized by samples with missing value for the covariates and data set divided in two or more groups characterized by covariates that are only partially overlapping. The methodology is based on the mathematical theory of optimal transport extending the barycenter problem to the newly defined hierarchical barycenter problem. A newly, data driven, numerical procedure for the solution of the hierarchical barycenter problem is proposed and its advantages, over the use of classical barycenter, are illustrated on synthetic and real world data sets.
- [148] arXiv:2508.00207 (cross-list from cond-mat.stat-mech) [pdf, html, other]
-
Title: Nambu Non-equilibrium Thermodynamics I: FoundationComments: 10 pagesSubjects: Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We propose a novel framework of non-equilibrium thermodynamics, termed Nambu Non-equilibrium Thermodynamics (NNET), which integrates reversible dynamics governed by the Nambu bracket with irreversible dynamics driven by entropy gradients. This framework is developed axiomatically and enables the description of far-from-equilibrium systems in which entropy can transiently decrease -- a regime difficult to handle within conventional approaches such as Onsager's linear response theory, Prigogine's General Evolution Criterion (GEC), or the GENERIC framework.
As an illustrative example, we analyze a triangular chemical reaction system. We demonstrate that, without assuming detailed balance or linearity, two geometric conserved quantities naturally emerge: one associated with cyclic symmetry in the reaction space, and another that vanishes under symmetric reaction rates. This highlights the extended descriptive power of NNET and its capacity to unify cyclic dynamics and dissipation within a covariant structure. The generalization to higher-order nonlinear systems and applications to oscillatory or spiking non-equilibrium behavior will be discussed in subsequent papers. - [149] arXiv:2508.00229 (cross-list from cs.NE) [pdf, html, other]
-
Title: Sequential, Parallel and Consecutive Hybrid Evolutionary-Swarm Optimization MetaheuristicsComments: 16 pages, 2 figures, 5 tables, 5 algorithms, conferenceJournal-ref: Computational Science - ICCS 2025 Workshops, Lecture Notes in Computer Science, 15907, 203-218Subjects: Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)
The goal of this paper is twofold. First, it explores hybrid evolutionary-swarm metaheuristics that combine the features of PSO and GA in a sequential, parallel and consecutive manner in comparison with their standard basic form: Genetic Algorithm and Particle Swarm Optimization. The algorithms were tested on a set of benchmark functions, including Ackley, Griewank, Levy, Michalewicz, Rastrigin, Schwefel, and Shifted Rotated Weierstrass, across multiple dimensions. The experimental results demonstrate that the hybrid approaches achieve superior convergence and consistency, especially in higher-dimensional search spaces. The second goal of this paper is to introduce a novel consecutive hybrid PSO-GA evolutionary algorithm that ensures continuity between PSO and GA steps through explicit information transfer mechanisms, specifically by modifying GA's variation operators to inherit velocity and personal best information.
- [150] arXiv:2508.00247 (cross-list from stat.ML) [pdf, html, other]
-
Title: Sinusoidal Approximation Theorem for Kolmogorov-Arnold NetworksComments: 15 pages, 3 figuresSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Numerical Analysis (math.NA)
The Kolmogorov-Arnold representation theorem states that any continuous multivariable function can be exactly represented as a finite superposition of continuous single variable functions. Subsequent simplifications of this representation involve expressing these functions as parameterized sums of a smaller number of unique monotonic functions. These developments led to the proof of the universal approximation capabilities of multilayer perceptron networks with sigmoidal activations, forming the alternative theoretical direction of most modern neural networks.
Kolmogorov-Arnold Networks (KANs) have been recently proposed as an alternative to multilayer perceptrons. KANs feature learnable nonlinear activations applied directly to input values, modeled as weighted sums of basis spline functions. This approach replaces the linear transformations and sigmoidal post-activations used in traditional perceptrons. Subsequent works have explored alternatives to spline-based activations. In this work, we propose a novel KAN variant by replacing both the inner and outer functions in the Kolmogorov-Arnold representation with weighted sinusoidal functions of learnable frequencies. Inspired by simplifications introduced by Lorentz and Sprecher, we fix the phases of the sinusoidal activations to linearly spaced constant values and provide a proof of its theoretical validity. We also conduct numerical experiments to evaluate its performance on a range of multivariable functions, comparing it with fixed-frequency Fourier transform methods and multilayer perceptrons (MLPs). We show that it outperforms the fixed-frequency Fourier transform and achieves comparable performance to MLPs. - [151] arXiv:2508.00349 (cross-list from cs.GT) [pdf, html, other]
-
Title: On the Equivalence of the Graph-Structural and Optimization-Based Characterizations of Popular MatchingsSubjects: Computer Science and Game Theory (cs.GT); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
Popular matchings provide a model of matching under preferences in which a solution corresponds to a Condorcet winner in voting systems. In a bipartite graph in which the vertices have preferences over their neighbours, a matching is defined to be popular if it does not lose in a majority vote against any matching. In this paper, we study the following three primary problems: only the vertices on one side have preferences; a generalization of this problem allowing ties in the preferences; and the vertices on both sides have preferences. A principal issue in the algorithmic aspects of popular matchings is how to determine the popularity of a matching, because it requires exponential time if the definition is simply applied. In the literature, we have the following two types of characterizations: a graph-structural characterization; and an optimization-based characterization described by maximum-weight matchings. The graph-structural characterizations are specifically designed for each problem and provide a combinatorial structure of the popular matchings. The optimization-based characterizations work in the same manner for all problems, while they do not reveal the structure of the popular matchings. A main contribution of this paper is to provide a direct connection of the above two types of characterizations for all of the three problems. Specifically, we prove that each characterization can be derived from the other, without relying on the fact that they characterize popular matchings. Our proofs offer a comprehensive understanding of the equivalence of the two types of characterizations, and suggest a new interpretation of the graph-structural characterization in terms of the dual optimal solution for the maximum-weight matching problem.
- [152] arXiv:2508.00498 (cross-list from gr-qc) [pdf, html, other]
-
Title: Thermal aspects of the anomalous $ω\to \infty$ limit of Brans-Dicke gravityComments: 8 pages, no figuresSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
Brans-Dicke gravity does not always reduce to General Relativity in the limit $\omega\to\infty$ for the coupling constant. This anomalous behavior is examined within the formalism of the first-order thermodynamics of scalar-tensor gravity. It is shown that this effect is linked to the non-vanishing nature of the chemical potential, in the Einstein frame formulation of the thermodynamic analogy, in the $\omega\to\infty$ limit.
- [153] arXiv:2508.00519 (cross-list from cond-mat.mes-hall) [pdf, html, other]
-
Title: Localized states and skin effect around non-Hermitian impurities in tight-binding modelsSubjects: Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Quantum Gases (cond-mat.quant-gas); Superconductivity (cond-mat.supr-con); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
We use the generalized Bloch theorem formalism of Alase {\it et al.} [{\it Phys. Rev. Lett.} {\bf 117} 076804 (2016)] to analyze simple one-dimensional tight-binding lattice systems connected by Hermitian bonds (all with the same hopping parameter $t$), but containing one bond impurity which can be either Hermitian or non-Hermitian. We calculate the band structure, the bulk-boundary correspondence indicator ($D_L(\epsilon)$) and analyze the eigenvalues of the lattice translation operator ($z$), for each eigenstate. From the $z$ values the generalized Brillouin zone can be reconstructed. If the impurity is Hermitian (and $\mathcal{PT}$-symmetric), we find a parameter regime in which two localized edge states separate from the tight-binding band. We then simulate a non-Hermitian impurity by keeping hopping in one direction of the bond impurity the same as the rest of the tight-binding system, and varying only its reciprocal. Again, we find a region with localized edge states, but in this case the energy eigenvalues are purely imaginary. We also find that in this case the two zero energy eigenvectors coalesce, hence this system is an exceptional line. We then perform an interpolative scan between the above two scenarios and find that there is an intermediate region exhibiting a non-Hermitian skin effect. In this region a macroscopic fraction of states acquire complex energy eigenvalues and exhibit localization towards the impurity. Our numerical results are supported by a detailed analysis of the solutions of the boundary/impurity equation.
- [154] arXiv:2508.00542 (cross-list from physics.soc-ph) [pdf, html, other]
-
Title: Assessing (im)balance in signed brain networksMarzio Di Vece, Emanuele Agrimi, Samuele Tatullo, Tommaso Gili, Miguel Ibá?ez-Berganza, Tiziano SquartiniComments: 41 pages, 17 figures, 1 tableSubjects: Physics and Society (physics.soc-ph); Information Theory (cs.IT); Data Analysis, Statistics and Probability (physics.data-an); Medical Physics (physics.med-ph); Methodology (stat.ME)
Many complex systems - be they financial, natural or social - are composed by units - such as stocks, neurons or agents - whose joint activity can be represented as a multivariate time series. An issue of both practical and theoretical importance concerns the possibility of inferring the presence of a static relationships between any two units solely from their dynamic state. The present contribution aims at providing an answer within the frame of traditional hypothesis testing. Briefly speaking, our suggestion is that of linking any two units if behaving in a sufficiently similar way. To achieve such a goal, we project a multivariate time series onto a signed graph, by i) comparing the empirical properties of the former with those expected under a suitable benchmark and ii) linking any two units with a positive (negative) edge in case the corresponding series share a significantly large number of concordant (discordant) values. To define our benchmarks, we adopt an information-theoretic approach that is rooted into the constrained maximisation of Shannon entropy, a procedure inducing an ensemble of multivariate time series that preserves some of the empirical properties on average while randomising everything else. We showcase the possible applications of our method by addressing one of the most timely issues in the domain of neurosciences, i.e. that of determining if brain networks are frustrated or not - and, in case, to what extent. As our results suggest, this is indeed the case, the structure of the negative subgraph being more prone to inter-subject variability than the complementary, positive subgraph. At the mesoscopic level, instead, the minimisation of the Bayesian Information Criterion instantiated with the Signed Stochastic Block Model reveals that brain areas gather into modules aligning with the statistical variant of the Relaxed Balance Theory.
- [155] arXiv:2508.00562 (cross-list from quant-ph) [pdf, html, other]
-
Title: Persistent Quantum Memory in Iterated LiftsSubjects: Quantum Physics (quant-ph); Combinatorics (math.CO)
We study quantum coherence in continuous-time quantum walks on perfect graphs generated by the symmetric lift ${\mathrm{HL}}'_2(G)$, a canonical, unweighted, undirected construction defined as the line graph of a bipartite double cover of $G$. This lift acts as both a coherence-preserving and coherence-inducing transformation: it preserves and scales structured quantum interference in highly symmetric base graphs, and induces sustained coherence in random or weakly structured ones.
In small graphs such as $K_4$, $K_5$, and the Petersen graph, where quantum walks exhibit sharp revivals and high return probability, repeated $\mathrm{HL}'_2$ lifting produces towers of perfect graphs with thousands to tens of thousands of vertices that retain periodic or quasi-periodic coherence. When applied to random regular or Erd?s--Rényi graphs with flat or decaying return behavior, the lift introduces structured interference and significant amplification of mean and peak return probabilities.
To quantify these effects, we evaluate standard coherence metrics from quantum resource theory, including inverse participation ratio (IPR), purity, relative entropy of coherence, and the logarithmic coherence number. These measures confirm that $\mathrm{HL}'_2$ lifting delocalizes eigenstates, increases coherence entropy, and expands the basis support of quantum states. These results demonstrate that $\mathrm{HL}'_2$ is a scalable and structurally grounded mechanism for organizing quantum interference, and introduce a new family of perfect graphs that support long-time quantum coherence without spectral tuning or engineered weights. - [156] arXiv:2508.00565 (cross-list from cond-mat.stat-mech) [pdf, html, other]
-
Title: A More Convex Ising Formulation of Max-3-Cut Using Higher-Order Spin InteractionsComments: 11 pages, 8 figures, including appendicesSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Adaptation and Self-Organizing Systems (nlin.AO); Cellular Automata and Lattice Gases (nlin.CG); Applied Physics (physics.app-ph)
Many combinatorial optimization problems (COPs) are naturally expressed using variables that take on more than two discrete values. To solve such problems using Ising machines (IMs) - specialized analog or digital devices designed to solve COPs efficiently - these multi-valued integers must be encoded using binary spin variables. A common approach is one-hot encoding, where each variable is represented by a group of spins constrained so that exactly one spin is in the "up" state. However, this encoding introduces energy barriers: changing an integer's value requires flipping two spins and passing through an invalid intermediate state. This creates rugged energy landscapes that may hinder optimization. We propose a higher-order Ising formulation for Max-3-Cut, which is the smallest fundamental COP with multi-valued integer variables. Our formulation preserves valid configurations under single-spin updates. The resulting energy landscapes are smoother, and we show that this remains true even when the binary variables are relaxed to continuous values, making it well-suited for analog IMs as well. Benchmarking on such an IM, we find that the higher-order formulation leads to significantly faster solutions than the Ising baseline. Interestingly, we find that an empirical rescaling of some terms in the Ising formulation - a heuristic proposed in prior work - approaches the performance of the higher-order Ising formulation, underscoring the importance of empirical parameter tuning in COP encodings.
- [157] arXiv:2508.00609 (cross-list from eess.SY) [pdf, html, other]
-
Title: Low-dimensional observer design for stable linear systems by model reductionSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper presents a low-dimensional observer design for stable, single-input single-output, continuous-time linear time-invariant (LTI) systems. Leveraging the model reduction by moment matching technique, we approximate the system with a reduced-order model. Based on this reduced-order model, we design a low-dimensional observer that estimates the states of the original system. We show that this observer establishes exact asymptotic state reconstruction for a given class of inputs tied to the observer's dimension. Furthermore, we establish an exponential input-to-state stability property for generic inputs, ensuring a bounded estimation error. Numerical simulations confirm the effectiveness of the approach for a benchmark model reduction problem.
- [158] arXiv:2508.00775 (cross-list from eess.SY) [pdf, html, other]
-
Title: Learning to optimize with guarantees: a complete characterization of linearly convergent algorithmsSubjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Optimization and Control (math.OC)
In high-stakes engineering applications, optimization algorithms must come with provable worst-case guarantees over a mathematically defined class of problems. Designing for the worst case, however, inevitably sacrifices performance on the specific problem instances that often occur in practice. We address the problem of augmenting a given linearly convergent algorithm to improve its average-case performance on a restricted set of target problems - for example, tailoring an off-the-shelf solver for model predictive control (MPC) for an application to a specific dynamical system - while preserving its worst-case guarantees across the entire problem class. Toward this goal, we characterize the class of algorithms that achieve linear convergence for classes of nonsmooth composite optimization problems. In particular, starting from a baseline linearly convergent algorithm, we derive all - and only - the modifications to its update rule that maintain its convergence properties. Our results apply to augmenting legacy algorithms such as gradient descent for nonconvex, gradient-dominated functions; Nesterov's accelerated method for strongly convex functions; and projected methods for optimization over polyhedral feasibility sets. We showcase effectiveness of the approach on solving optimization problems with tight iteration budgets in application to ill-conditioned systems of linear equations and MPC for linear systems.
Cross submissions (showing 26 of 26 entries)
- [159] arXiv:1704.03413 (replaced) [pdf, other]
-
Title: Equivariant infinite loop space theory, the space level storyComments: Fixed half a page of missing text on page 22 (which was cut due to a previous copy and paste error)Journal-ref: Memoirs of the American Mathematical Society (2025), Volume 305, Number 1540Subjects: Algebraic Topology (math.AT); K-Theory and Homology (math.KT)
We rework and generalize equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. There is a classical version which gives classical $\Omega$-$G$-spectra for any topological group $G$, but our focus is on the construction of genuine $\Omega$-$G$-spectra when $G$ is finite. We also show what is and is not true when $G$ is a compact Lie group.
We give new information about the Segal and operadic equivariant infinite loop space machines, supplying many details that are missing from the literature, and we prove by direct comparison that the two machines give equivalent output when fed equivalent input. The proof of the corresponding nonequivariant uniqueness theorem, due to May and Thomason, works for classical $G$-spectra for general $G$ but fails for genuine $G$-spectra. Even in the nonequivariant case, our comparison theorem is considerably more precise, giving an illuminating direct point-set level comparison.
We have taken the opportunity to update this general area, equivariant and nonequivariant, giving many new proofs, filling in some gaps, and giving a number of corrections to results and proofs in the literature. - [160] arXiv:2012.01337 (replaced) [pdf, html, other]
-
Title: Comparison of different Tate conjecturesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
For an abelian variety $A$ over a finitely generated field $K$ of characteristic $p > 0$, we prove that the algebraic rank of $A$ is at most a suitably defined analytic rank. Moreover, we prove that equality, i.e., the BSD rank conjecture, holds for $A/K$ if and only if a suitably defined Tate--Shafarevich group of $A/K$ (1) has finite $\ell$-primary component for some/all $\ell \neq p$, or (2) finite prime-to-$p$ part, or (3) has $p$-primary part of finite exponent, or (4) is of finite exponent. There is an algorithm to verify those conditions for concretely given $A/K$.
- [161] arXiv:2012.12762 (replaced) [pdf, html, other]
-
Title: Strong Laws of Large Numbers for Generalizations of Fréchet Mean SetsSubjects: Probability (math.PR); Statistics Theory (math.ST)
A Fréchet mean of a random variable $Y$ with values in a metric space $(\mathcal Q, d)$ is an element of the metric space that minimizes $q \mapsto \mathbb E[d(Y,q)^2]$. This minimizer may be non-unique. We study strong laws of large numbers for sets of generalized Fréchet means. Following generalizations are considered: the minimizers of $\mathbb E[d(Y, q)^\alpha]$ for $\alpha > 0$, the minimizers of $\mathbb E[H(d(Y, q))]$ for integrals $H$ of non-decreasing functions, and the minimizers of $\mathbb E[\mathfrak c(Y, q)]$ for a quite unrestricted class of cost functions $\mathfrak c$. We show convergence of empirical versions of these sets in outer limit and in one-sided Hausdorff distance. The derived results require only minimal assumptions.
- [162] arXiv:2201.00145 (replaced) [pdf, other]
-
Title: Matrix Decomposition and ApplicationsSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
In 1954, Alston S. Householder published Principles of Numerical Analysis, one of the first modern treatments on matrix decomposition that favored a (block) LU decomposition-the factorization of a matrix into the product of lower and upper triangular matrices. And now, matrix decomposition has become a core technology in machine learning, largely due to the development of the backpropagation algorithm in fitting a neural network. The sole aim of this survey is to give a self-contained introduction to concepts and mathematical tools in numerical linear algebra and matrix analysis in order to seamlessly introduce matrix decomposition techniques and their applications in subsequent sections. However, we clearly realize our inability to cover all the useful and interesting results concerning matrix decomposition, given the paucity of scope to present this discussion, e.g., the separated analysis of the Euclidean space, Hermitian space, Hilbert space, and things in the complex domain. We refer the reader to literature in the field of linear algebra for a more detailed introduction to the related fields.
- [163] arXiv:2205.05125 (replaced) [pdf, html, other]
-
Title: Cluster scattering diagrams of acyclic affine typeComments: 45 pages, 2 figures. Version 2: Fixed typographical error. Version 3: Fixed an error in the proof of a main result, corrected typos, other minor changes. Version 4: Corrected typos, other minor changes. We thank an anonymous referee for many helpful commentsSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
We give an explicit construction of the cluster scattering diagram for any acyclic exchange matrix of affine type. We show that the corresponding cluster scattering fan coincides both with the mutation fan and with a fan constructed in the almost-positive roots model.
- [164] arXiv:2211.00908 (replaced) [pdf, html, other]
-
Title: Two remarks on spaces of maps between operads of little cubesComments: 10 pages; published versionJournal-ref: Higher Structures, Vol. 9, No. 1, pp. 329-339, 2025Subjects: Algebraic Topology (math.AT); Category Theory (math.CT)
We record two facts on spaces of derived maps between the operads $E_d$ of little $d$-cubes. Firstly, these mapping spaces are equivalent to the mapping spaces between the non-unitary versions of $E_d$. Secondly, all endomorphisms of $E_d$ are automorphisms. We also discuss variants for localisations of $E_d$ and for versions with tangential structures.
- [165] arXiv:2211.14103 (replaced) [pdf, other]
-
Title: Conditional Gradient MethodsGábor Braun, Alejandro Carderera, Cyrille W. Combettes, Hamed Hassani, Amin Karbasi, Aryan Mokhtari, Sebastian PokuttaComments: 242 pages with many figures. The this http URL Julia package (this http URL) provides state-of-the-art implementations of many Frank--Wolfe methods. v2-v5 fix many typos, and improve typographySubjects: Optimization and Control (math.OC)
The purpose of this survey is to serve both as a gentle introduction and a coherent overview of state-of-the-art Frank--Wolfe algorithms, also called conditional gradient algorithms, for function minimization. These algorithms are especially useful in convex optimization when linear optimization is cheaper than projections.
The selection of the material has been guided by the principle of highlighting crucial ideas as well as presenting new approaches that we believe might become important in the future, with ample citations even of old works imperative in the development of newer methods. Yet, our selection is sometimes biased, and need not reflect consensus of the research community, and we have certainly missed recent important contributions. After all the research area of Frank--Wolfe is very active, making it a moving target. We apologize sincerely in advance for any such distortions and we fully acknowledge: We stand on the shoulder of giants. - [166] arXiv:2302.09510 (replaced) [pdf, other]
-
Title: Smooth Backfitting for Additive Hazard RatesSubjects: Statistics Theory (math.ST)
Smooth backfitting was first introduced in an additive regression setting via a direct projection alternative to the classic backfitting method by Buja, Hastie and Tibshirani. This paper translates the original smooth backfitting concept to a survival model considering an additively structured hazard. The model allows for censoring and truncation patterns occurring in many applications such as medical studies or actuarial reserving. Our estimators are shown to be a projection of the data into the space of multivariate hazard functions with smooth additive components. Hence, our hazard estimator is the closest nonparametric additive fit even if the actual hazard rate is not additive. This is different to other additive structure estimators where it is not clear what is being estimated if the model is not true. We provide full asymptotic theory for our estimators. We propose an implementation of estimators that show good performance in practice.
- [167] arXiv:2302.14002 (replaced) [pdf, html, other]
-
Title: Coxeter tournamentsComments: v2: incorporating comments from reviewer; results unchangedSubjects: Combinatorics (math.CO); Probability (math.PR)
We describe the Coxeter permutahedra, recently studied by Ardila, Castillo, Eur and Postnikov, in terms of random Coxeter tournaments, which involve cooperative and solitaire games, as well as the usual competitive games in graph tournaments. In this way, we establish a Coxeter version of Moon's theorem on random tournaments. We present a geometric proof by the Mirsky--Thompson generalized Birkhoff's theorem, a probabilistic proof by Strassen's coupling theorem, and an algorithmic proof by a Coxeter analogue of the Havel--Hakimi algorithm. These proofs have interpretations in terms of players choosing competitors/collaborators with respect to relative weakness/strength. We also introduce a natural Coxeter analogue of the Bradley--Terry model, from the statistical theory of paired comparisons.
- [168] arXiv:2305.01859 (replaced) [pdf, html, other]
-
Title: Regularity and multiplicity of Veronese type algebrasComments: Accepted to Canadian Mathematical BulletinSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
In this paper, we study the algebra of Veronese type. We show that the presentation ideal of this algebra has an initial ideal whose Alexander dual has linear quotients. As an application, we explicitly obtain the Castelnuovo-Mumford regularity of the Veronese type algebra. Furthermore, we give an effective upper bound on the multiplicity of this algebra.
- [169] arXiv:2308.00656 (replaced) [pdf, other]
-
Title: Multicategories from Symmetric Monoidal CategoriesComments: Revised following referee's report, and slightly reorganized from previous versionSubjects: Category Theory (math.CT)
This paper considers the possible underlying multicategories for a symmetric monoidal category, and shows that, up to canonical and coherent isomorphism, there really is only one. As a result, there is a well-defined forgetful functor from symmetric monoidal categories to multicategories, as long as all morphisms of symmetric monoidal categories are at least lax symmetric monoidal. The paper also shows that this forgetful functor has a weak left adjoint, and that the monad of the adjunction gives a strictification construction.
- [170] arXiv:2309.05335 (replaced) [pdf, html, other]
-
Title: Einstein Structure of Four-ManifoldsComments: v3: 27 pages, 1 figure, Sections 4 & 5 added; to appear in Journal of Geometry and PhysicsSubjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
It is known that the moduli space of Einstein structures in four dimensions is generally considered to be rigid so that Einstein metrics tend to be isolated modulo diffeomorphisms under infinitesimal Einstein deformations. We examine the rigidity of the Einstein structure by considering deformations of the round four-sphere. We show that any deviation from the standard metric of the round four-sphere (except for scaling) breaks the Einstein condition. This further supports the idea of rigidity. We analyze the Einstein structure of four-manifolds based on the irreducible decomposition of the self-dual structure of Einstein manifolds.
- [171] arXiv:2309.05394 (replaced) [pdf, html, other]
-
Title: Asymptotic Behaviour of Semigroup Traces and Schatten Classes of ResolventsComments: 45 pages,Journal-ref: Journal of Functional Analysis, Volume 289, Issue 10, 15 November 2025, 111101Subjects: Mathematical Physics (math-ph)
Motivated by examples from physics and noncommutative geometry, given a generator $A$ of a Gibbs semigroup, we reexamine the relationship between the Schatten class of its resolvents and the behaviour of the norm-trace $\norm{e^{-tA}}_1\,$ when $t$ approaches zero. In addition to applying Tauberian results, we specifically investigate the compatibility of asymptotic behaviours with derivations and perturbations. Along the course of our study, we present a novel characterisation of Gibbs semigroups.
- [172] arXiv:2310.13904 (replaced) [pdf, html, other]
-
Title: Minimal model program for normal pairs along log canonical locusComments: Final version, 79 pages. Expositions in the introduction were improved. Some properties on relative Nakayama--Zariski decomposition were added. Other minor changes were done. To appear in Forum Math. SigmaSubjects: Algebraic Geometry (math.AG)
Let $(X,\Delta)$ be a normal pair with a projective morphism $X \to Z$ and let $A$ be a relatively ample $\mathbb{R}$-divisor on $X$. We prove the termination of some minimal model program on $(X,\Delta+A)/Z$ and the abundance conjecture for its minimal model under assumptions that the non-nef locus of $K_{X}+\Delta+A$ over $Z$ does not intersect the non-lc locus of $(X,\Delta)$ and that the restriction of $K_{X}+\Delta+A$ to the non-lc locus of $(X,\Delta)$ is semi-ample over $Z$.
- [173] arXiv:2312.06967 (replaced) [pdf, html, other]
-
Title: Admissible subcategories of noncommutative curvesComments: 18 pages, results significantly expandedSubjects: Algebraic Geometry (math.AG); Category Theory (math.CT); Representation Theory (math.RT)
We study admissible subcategories of the derived categories of smooth noncommutative (nc) curves as classified by Reiten-van den Bergh. We prove that any admissible subcategory of the derived category of a smooth nc curve is again the derived category of a smooth nc curve. We use this result to classify semiorthogonal decompositions in derived categories of nc curves. The results obtained imply that phantom categories do not exist in these cases. As a further application, we prove an extension of the Bondal-Orlov reconstruction theorem to the case of orbifold curves.
- [174] arXiv:2312.12699 (replaced) [pdf, html, other]
-
Title: Propagation of chaos in infinite horizon and numerical stability for stochastic McKean-Vlasov equationsSubjects: Numerical Analysis (math.NA)
This paper focuses on the numerical stability of stochastic McKean-Vlasov equations (SMVEs) via the stochastic particle method. Firstly, the long-time propagation of chaos in the mean-square sense is obtained, and the almost sure propagation in infinite horizon is also proved. Next, when the coefficients satisfy linear growth conditions, the mean-square and almost sure exponential stabilities of the Euler-Maruyama (EM) scheme associated with the corresponding interacting particle system are shown through an ingenious manipulation of empirical measure. Then, for the case that the state variables in drift and diffusion are both superlinear, the mean-square exponential stability of the backward EM scheme for the interacting system is achieved without the particle corruption, which is a novel conclusion. Moreover, under the linear growth condition on the diffusion coefficient, the almost sure stability of the backward EM scheme is studied. Combining these assertions enables the numerical solutions to reproduce the stabilities of the original SMVEs. The examples, including a feedback control problem and a stochastic opinion dynamics model, are provided to demonstrate the importance of theoretical analysis of numerical stability.
- [175] arXiv:2312.13914 (replaced) [pdf, html, other]
-
Title: Manin's conjecture for integral points on toric varietiesComments: The new version shows that the conjectural leading constant is well-defined and fixes some typosSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We formulate a conjecture on the number of integral points of bounded height on log Fano varieties in analogy with Manin's conjecture on the number of rational points of bounded height on Fano varieties. We also give a prediction for the leading constant which is similar to Peyre's interpretation of the leading constant in Manin's conjecture. We give evidence for our conjecture by proving it for toric varieties. The proof is based on harmonic analysis on universal torsors.
- [176] arXiv:2402.04151 (replaced) [pdf, html, other]
-
Title: $L^\infty$-optimal transport of anisotropic log-concave measures and exponential convergence in Fisher's infinitesimal modelComments: Published in AAP. 28 pages, 1 figureJournal-ref: Ann. Appl. Probab. 35 (3) 1913 - 1940, June 2025Subjects: Probability (math.PR)
We prove upper bounds on the $L^\infty$-Wasserstein distance from optimal transport between strongly log-concave probability densities and log-Lipschitz perturbations. In the simplest setting, such a bound amounts to a transport-information inequality involving the $L^\infty$-Wasserstein metric and the relative $L^\infty$-Fisher information. We show that this inequality can be sharpened significantly in situations where the involved densities are anisotropic. Our proof is based on probabilistic techniques using Langevin dynamics. As an application of these results, we obtain sharp exponential rates of convergence in Fisher's infinitesimal model from quantitative genetics, generalising recent results by Calvez, Poyato, and Santambrogio in dimension 1 to arbitrary dimensions.
- [177] arXiv:2403.05799 (replaced) [pdf, html, other]
-
Title: Voiculescu's Theorem in Properly Infinite FactorsSubjects: Operator Algebras (math.OA)
In this paper, we investigate Voiculescu's theorem on approximate unitary equivalence in separable properly infinite factors. As applications, we establish the norm-denseness of the set of all reducible operators, prove a generalized Voiculescu's bicommutant theorem and a version of asymptotic bicommutant theorem, and obtain an interesting cohomological result. Additionally, we extend these results to multiplier algebras within separable type $\mathrm{III}$ factors. At last, a concept of the nuclear length is introduced.
- [178] arXiv:2403.08090 (replaced) [pdf, html, other]
-
Title: Controllability on landmark manifolds for shapes and neural ODEsComments: 12 pagesSubjects: Differential Geometry (math.DG)
Landmark manifolds consist of a collection of distinct points, and dynamics on this manifold can be used to represent flows, such as solutions of ODEs and flows deforming a shape. We will consider landmark configurations in the Euclidean space and how such configuration can be connected through flows of vector field. For every dimension equal or larger than two, we explicitly describe two vector fields whose flows can connect any pair of landmark configuration regardless of how many points are in the configuration. This property is called the exact universal interpolation property. For the case of dimension one, we show the same result holds for landmark configurations as long as they have the same relative order. In all dimensions, we are able to achieve controllability by combining a constant vector field with a polynomial vector field of degree three.
- [179] arXiv:2403.08349 (replaced) [pdf, html, other]
-
Title: Non-Jordaness of the automorphism group of the zero-divisor graph of a matrix ring over number ringsComments: The title of the paper is changed, and the affiliation of the second author is updated. Any valuable comments are welcomeSubjects: Combinatorics (math.CO)
We provide a construction of the induced subgraphs of the zero-divisor graph of $M_2(R)$ for the ring $R$ of algebraic integers of some number fields that are neither complete nor connected, and study the structure of the induced subgraphs explicitly. As an application, we prove that the automorphism group of the zero-divisor graph of $M_2(R)$ is not a Jordan group.
- [180] arXiv:2403.10711 (replaced) [pdf, other]
-
Title: Gaussian universality for approximately polynomial functions of high-dimensional dataComments: Fixed a missing m in the upper bound; added a necessary and sufficient condition for asymptotic normalitySubjects: Probability (math.PR); Statistics Theory (math.ST)
We establish an invariance principle for polynomial functions of $n$ independent, high-dimensional random vectors, and also show that the obtained rates are nearly optimal. Both the dimension of the vectors and the degree of the polynomial are permitted to grow with $n$. Specifically, we obtain a finite sample upper bound for the error of approximation by a polynomial of Gaussians, measured in Kolmogorov distance, and extend it to functions that are approximately polynomial in a mean squared error sense. We give a corresponding lower bound that shows the invariance principle holds up to polynomial degree $o(\log n)$. The proof is constructive and adapts an asymmetrisation argument due to V. V. Senatov. We also give a necessary and sufficient condition for asymptotic normality via the fourth moment phenomenon of Nualart and Peccati. As applications, we obtain a higher-order delta method with possibly non-Gaussian limits, and generalise a number of known results on high-dimensional and infinite-order U-statistics, and on fluctuations of subgraph counts.
- [181] arXiv:2404.00523 (replaced) [pdf, html, other]
-
Title: The algebraic structure of hyperinterpolation class on the sphereComments: 16 pages, 1 figureSubjects: Functional Analysis (math.FA); Numerical Analysis (math.NA)
This paper investigates the algebraic properties of the hyperinterpolation class $\mathbf{HC}(\mathbb{S}^d)$ on the unit sphere $ \mathbb{S}^d $. We focus on operators derived from the classical hyperinterpolation with bounded $ L_2 $ operator norms. By utilizing a discrete (semi) inner product framework, we develop the theory of hyper self-adjoint operators, hyper projection operators, and hyper semigroups. We analyze four specific operators: filtered, Lasso, hard thresholding, and generalized hyperinterpolations. We prove that the generalized hyperinterpolation operator is hyper self-adjoint and commutative with the hyperinterpolation operator. Additionally, we demonstrate that hard thresholding and classical hyperinterpolation operators form a hyper semigroup, with hard thresholding hyperinterpolation constituting the minimal prime hyper ideal. Finally, we establish that hyperinterpolation operators act as hyper homomorphisms on the hyper semigroup.
- [182] arXiv:2404.04591 (replaced) [pdf, html, other]
-
Title: C^0 Lagrangian MonodromyComments: v2: 12 pages. Accepted version. Expanded in response to referee report. Comments still welcome!Subjects: Symplectic Geometry (math.SG)
We prove that (under appropriate orientation assumptions), the action of a Hamiltonian homeomorphism \phi on the cohomology of a relatively exact Lagrangian fixed by \phi is the identity. This extends results of Hu-Lalonde-Leclercq and the author in the setting of Hamiltonian diffeomorphisms. We also prove a similar result regarding the action of \phi on relative cohomology.
- [183] arXiv:2404.11790 (replaced) [pdf, html, other]
-
Title: Constrained Stochastic Recursive Momentum Successive Convex ApproximationComments: 32 pages, 4 figures, journal submissionSubjects: Optimization and Control (math.OC); Signal Processing (eess.SP)
We consider stochastic optimization problems with non-convex functional constraints, such as those arising in trajectory generation, sparse approximation, and robust classification. To this end, we put forth a recursive momentum-based accelerated successive convex approximation (SCA) algorithm. At each iteration, the proposed algorithm entails constructing convex surrogates of the stochastic objective and the constraint functions, and solving the resulting convex optimization problem. A recursive update rule is employed to track the gradient of the stochastic objective function, which contributes to variance reduction and hence accelerates the algorithm convergence. A key ingredient of the proof is a new parameterized version of the standard Mangasarian-Fromowitz Constraints Qualification, that allows us to bound the dual variables and hence obtain problem-dependent bounds on the rate at which the iterates approach an $\epsilon$-stationary point. Remarkably, the proposed algorithm achieves near-optimal stochastic first-order (SFO) complexity with adaptive step sizes closely matching that achieved by state-of-the-art stochastic optimization algorithms for solving unconstrained problems. As an example, we detail an obstacle-avoiding trajectory optimization problem that can be solved using the proposed algorithm and show that its performance is superior to that of the existing algorithms used for trajectory optimization. The performance of the proposed algorithm is also shown to be comparable to that of a specialized sparse classification algorithm applied to a binary classification problem.
- [184] arXiv:2405.05577 (replaced) [pdf, html, other]
-
Title: Liouville type theorems for dual nonlocal evolution equations involving Marchaud derivativesSubjects: Analysis of PDEs (math.AP)
In this paper, we establish a Liouville type theorem for the homogeneous dual fractional parabolic equation \begin{equation}
\partial^\alpha_t u(x,t)+(-\Delta)^s u(x,t) = 0\ \ \mbox{in}\ \ \mathbb{R}^n\times\mathbb{R} . \end{equation} where $0<\alpha,s<1$. Under an asymptotic assumption $$\liminf_{|x|\rightarrow\infty}\frac{u(x,t)}{|x|^\gamma}\geq 0 \; ( \mbox{or} \; \leq 0) \,\,\mbox{for some} \;0\leq\gamma\leq 1, $$ in the case $\frac{1}{2}<s < 1$, we prove that all solutions in the sense of distributions of above equation must be constant by employing a method of Fourier analysis. Our result includes the previous Liouville theorems on harmonic functions \cite{ABR} and on $s$-harmonic functions \cite{CDL} as special cases and it is still novel even restricted to one-sided Marchaud fractional equations, and our methods can be applied to a variety of dual nonlocal parabolic problems.
In the process of deriving our main result, through very delicate calculations, we obtain an optimal estimate on the decay rate of $\left[D_{\rm right}^\alpha+(-\Delta)^s\right] \varphi(x,t)$ for functions in Schwartz space. This sharp estimate plays a crucial role in defining the solution in the sense of distributions and will become a useful tool in the analysis of this family of equations. - [185] arXiv:2405.07961 (replaced) [pdf, html, other]
-
Title: A potential theory on weighted graphsComments: 30 pages, 7 figuresSubjects: Probability (math.PR); Numerical Analysis (math.NA)
We present an analog to classic potential theory on weighted graphs. With nodes partitioned into exterior, boundary and interior nodes and an appropriate decomposition of the Laplacian, we define discrete analogues to the trace operators, the single and double layer potential operators, and the boundary layer operators. As in the continuum, these operators can represent exterior or interior harmonic functions with different boundary conditions. The formalism we introduce includes a discrete Calderón calculus and brings some well known results from potential theory to weighted graphs, e.g. on the spectrum of the Neumann-Poincaré operator. We illustrate the formalism with a cloaking strategy on weighted graphs which allows to hide an anomaly from the perspective of electrical measurements made away from the anomaly.
- [186] arXiv:2406.12245 (replaced) [pdf, html, other]
-
Title: Asymptotic behavior of solutions to elliptic equations in 2D exterior domainsComments: Proposition 2.2 is added, and the geometry of level sets of solution is analyzed more precisely. Also, Section 2.3 is added, and the derivation of Theorem 1.1 from Lemma 2.3 is revised. 13 pages, 3 figuresSubjects: Analysis of PDEs (math.AP)
The asymptotic behavior of solutions to the second order elliptic equations in exterior domains is studied. In particular, under the assumption that the solution belongs to the Lorentz space $L^{p,q}$ or the weak Lebesgue space $L^{p,\infty}$ with certain conditions on the coefficients, we give natural and an almost sharp pointwise estimate of the solution at spacial infinity. The proof is based on the argument by Korobkov--Pileckas--Russo [4], in which the decay property of the solution to the vorticity equation of the two-dimensional Navier--Stokes equations was studied.
- [187] arXiv:2407.01206 (replaced) [pdf, html, other]
-
Title: On favourite sites of a random walk in moderately sparse random environmentSubjects: Probability (math.PR)
We study the favourite sites of a random walk evolving in a sparse random environment on the set of integers. The walker moves symmetrically apart from some randomly chosen sites where we impose random drift. We prove annealed limit theorems for the time the walk spends in its favourite sites in two cases. The first one, in which it is the distribution of the drift that determines the limiting behaviour of the walk, is a generalization of known results for a random walk in i.i.d. random environment. In the second case a new behaviour appears, caused by the sparsity of the environment.
- [188] arXiv:2407.01766 (replaced) [pdf, html, other]
-
Title: Irreducible smooth representations in defining characteristic without central characterComments: 10 pages. Final version. Some new results have been addedSubjects: Representation Theory (math.RT); Number Theory (math.NT)
Let $p>3$ be a prime, $n>1$ be an integer, and $F$ be a non-archimedean local field with residue field a proper finite extension of $\mathbb{F}_p$. Let $E$ be an algebraically closed countable field extension of the residue field of $F$. In this short note, we explain how the methods from arXiv:1809.10247 and arXiv:2210.07281 can be used to construct irreducible smooth representations of $\mathrm{GL}_n(F)$ over $E$ without a central character. We also construct irreducible smooth representations of $\mathrm{GL}_n(F)$ over $E$ with simultaneously a central character, nonscalar endomorphisms, and if $n>3$, without a Hecke eigenvalue.
- [189] arXiv:2407.03999 (replaced) [pdf, html, other]
-
Title: A Consistent Sandpile Torsor Algorithm for Regular MatroidsComments: This version is almost identical to the one that will appear in European Journal of CombinatoricsSubjects: Combinatorics (math.CO)
Every regular matroid is associated with a sandpile group, which acts simply transitively on the set of bases in various ways. Ganguly and the second author introduced the notion of consistency to describe classes of actions that respect deletion-contraction in a precise sense, and proved the consistency of rotor-routing torsors (and uniqueness thereof) for plane graphs.
In this work, we prove that the class of actions introduced by Backman, Baker, and the fourth author, is consistent for regular matroids. More precisely, we prove the consistency of its generalization given by Backman, Santos and the fourth author, and independently by the first author. This extends the above existence assertion, as well as makes progress on the goal of classifying all consistent actions. - [190] arXiv:2407.04569 (replaced) [pdf, html, other]
-
Title: Pencils of plane cubics with one base pointComments: 18 pages, 9 figures. This is an expanded revised version with respect to the one accepted in Rendiconti del Circolo Matematico di Palermo Series 2Subjects: Algebraic Geometry (math.AG)
We study pencils of plane cubics with only one base point and general member smooth, giving a complete classification. Under the additional hypothesis that all members are irreducible, we prove that there exists a unique non-isotrivial pencil with these properties up to projective transformation. We compare our construction with the classical approaches given by Gattazzo, Beauville and Miranda-Persson.
- [191] arXiv:2407.05039 (replaced) [pdf, html, other]
-
Title: Free-Boundary Monotonicity for Almost-Minimizers of the Relative PerimeterSubjects: Classical Analysis and ODEs (math.CA)
Let $E \subset \Omega$ be a local almost-minimizer of the relative perimeter in the open set $\Omega \subset \mathbb{R}^{n}$. We prove a free-boundary monotonicity inequality for $E$ at a point $x\in \partial\Omega$, under a geometric property called ``visibility'', that $\Omega$ is required to satisfy in a neighborhood of $x$. Incidentally, the visibility property is satisfied by a considerably large class of Lipschitz and possibly non-smooth domains. Then, we prove the existence of the density of the relative perimeter of $E$ at $x$, as well as the fact that any blow-up of $E$ at $x$ is necessarily a perimeter-minimizing cone within the tangent cone to $\Omega$ at $x$.
- [192] arXiv:2407.06843 (replaced) [pdf, html, other]
-
Title: Two footnotes to the F. & M. Riesz theoremComments: This note has been accepted for publication in Annales Fennici MathematiciSubjects: Complex Variables (math.CV); Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA)
We present a new proof of the F. & M. Riesz theorem on analytic measures of the unit circle $\mathbb{T}$ that is based the following elementary inequality: If $f$ is analytic in the unit disc $\mathbb{D}$ and $0 \leq r \leq \varrho < 1$, then \[\|f_r-f_\varrho\|_1 \leq 2 \sqrt{\|f_\varrho\|_1^2-\|f_r\|_1^2},\] where $f_r(e^{i\theta})=f(r e^{i\theta})$ and where $\|\cdot\|_1$ denotes the norm of $L^1(\mathbb{T})$. The proof extends to the infinite-dimensional torus $\mathbb{T}^\infty$, where it clarifies the relationship between Hilbert's criterion for $H^1(\mathbb{T}^\infty)$ and the F. & M. Riesz theorem.
- [193] arXiv:2407.10092 (replaced) [pdf, html, other]
-
Title: The topological holonomy group and the complexity of horizontalityComments: arXiv admin note: text overlap with arXiv:2402.02748Subjects: Differential Geometry (math.DG)
In [2], it is observed that if in the twistor space associated with an oriented vector bundle of rank $4$ over $T^2$ with a positive-definite metric and a metric connection, the horizontality has infinite complexity derived from one of the cases studied in [1], then the complexity is expressed by a dense subset of $S^2$. In the present paper, it is observed that in such a situation, the topological holonomy group is dense in $SO(3)$.
- [194] arXiv:2408.08123 (replaced) [pdf, other]
-
Title: Single-loop methods for bilevel parameter learning in inverse imagingSubjects: Optimization and Control (math.OC)
Bilevel optimisation is used in inverse imaging problems for hyperparameter learning/identification and experimental design, for instance, to find optimal regularisation parameters and forward operators. However, computationally, the process is costly. To reduce this cost, recently so-called single-loop approaches have been introduced. On each step of an outer optimisation method, they take just a single gradient step towards the solution of the inner problem. In this paper, we flexibilise the inner algorithm to include standard methods in inverse imaging. Moreover, as we have recently shown, significant performance improvements can be obtained in PDE-constrained optimisation by interweaving the steps of conventional iterative linear system solvers with the optimisation method. We now demonstrate how the adjoint equation in bilevel problems can also benefit from such interweaving. We evaluate the performance of our approach on identifying the deconvolution kernel for image deblurring, and the subsampling operator for magnetic resonance imaging (MRI).
- [195] arXiv:2408.15589 (replaced) [pdf, html, other]
-
Title: On the positivity of some weighted partial sums of a random multiplicative functionComments: 12 pages. v3: comments from the referee. To appear in Math ZSubjects: Number Theory (math.NT); Probability (math.PR)
Inspired by the papers by Angelo and Xu, Q.J Math., 74, pp. 767-777, and improvements by Kerr and Klurman, arXiv:2211.05540, we study the probability that the weighted sums of a Rademacher random multiplicative function, $\sum_{n\leq x}f(n)n^{-\sigma}$, are positive for all $x\geq x_\sigma\geq 1$ in the regime $\sigma\to1/2^+$. In a previous paper by Heap, Zhao and the author, and by the author, when $0\leq \sigma\leq 1/2$ this probability is zero. Here we give a positive lower bound for this probability depending on $x_\sigma$ that becomes large as $\sigma\to1/2^+$. The main inputs in our proofs are a maximal inequality based in relatively high moments for these partial sums combined with a Bonami--Halász's moment inequality, and also explicit estimates for the partial sums of non-negative multiplicative functions.
- [196] arXiv:2408.15683 (replaced) [pdf, html, other]
-
Title: Generalized Lévy-Khintchine Theorems and a Conjecture of Y. CheungComments: 44 Pages, comments welcome!Subjects: Number Theory (math.NT); Dynamical Systems (math.DS)
The celebrated Lévy--Khintchine theorem is a fundamental limiting law that describes the growth rate of the denominators of the convergents in the continued fraction expansion of a Lebesgue-typical real number. In a recent breakthrough, Cheung and Chevallier \textit{(Annales scientifiques de l'ENS, 2024)} extended this theorem to higher dimensions.
In this paper, we resolve a conjecture of Y. Cheung and answer a question of Cheung and Chevallier concerning Lévy--Khintchine type theorems for arbitrary norms. We also establish a higher-dimensional analogue of the Doeblin--Lenstra law.
While our results are new in higher dimensions, they also yield significant improvements in the classical one-dimensional setting. Specifically, we revisit the Lévy--Khintchine theorem and the Doeblin--Lenstra law through the lens of Mahler's influential proposal to study Diophantine approximation on fractals. In particular, we prove these results for almost every point on the middle-third Cantor set. More broadly, our framework applies to a wide class of measures, including those supported on curves and on self-similar fractals generated by iterated function systems (IFS), and it also allows constraints on the selection of best approximates. - [197] arXiv:2409.01413 (replaced) [pdf, html, other]
-
Title: Probabilistic Iterative Hard Thresholding for Sparse LearningSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
For statistical modeling wherein the data regime is unfavorable in terms of dimensionality relative to the sample size, finding hidden sparsity in the ground truth can be critical in formulating an accurate statistical model. The so-called "l0 norm" which counts the number of non-zero components in a vector, is a strong reliable mechanism of enforcing sparsity when incorporated into an optimization problem for minimizing the fit of a given model to a set of observations. However, in big data settings wherein noisy estimates of the gradient must be evaluated out of computational necessity, the literature is scant on methods that reliably converge. In this paper we present an approach towards solving expectation objective optimization problems with cardinality constraints. We prove convergence of the underlying stochastic process, and demonstrate the performance on two Machine Learning problems.
- [198] arXiv:2409.07682 (replaced) [pdf, html, other]
-
Title: Perron similarities and the nonnegative inverse eigenvalue problemComments: To appear in the Trans. Amer. Math. SocSubjects: Spectral Theory (math.SP); Rings and Algebras (math.RA)
The longstanding nonnegative inverse eigenvalue problem (NIEP) is to determine which multisets of complex numbers occur as the spectrum of an entry-wise nonnegative matrix. Although there are some well-known necessary conditions, a solution to the NIEP is far from known. An invertible matrix is called a Perron similarity if it diagonalizes an irreducible, nonnegative matrix. Johnson and Paparella developed the theory of real Perron similarities. Here, we fully develop the theory of complex Perron similarities. Each Perron similarity gives a nontrivial polyhedral cone and polytope of realizable spectra (thought of as vectors in complex Euclidean space). The extremals of these convex sets are finite in number, and their determination for each Perron similarity would solve the diagonalizable NIEP, a major portion of the entire problem. By considering Perron similarities of certain realizing matrices of Type I Karpelevich arcs, large portions of realizable spectra are generated for a given positive integer. This is demonstrated by producing a nearly complete geometrical representation of the spectra of $4 \times 4$ stochastic matrices. Similar to the Karpelevich region, it is shown that the subset of complex Euclidean space comprising the spectra of stochastic matrices is compact and star-shaped. Extremal elements of the set are defined and shown to be on the boundary. It is shown that the polyhedral cone and convex polytope of the discrete Fourier transform (DFT) matrix corresponds to the conical hull and convex hull of its rows, respectively. Similar results are established for multifold Kronecker products of DFT matrices and multifold Kronecker products of DFT matrices and Walsh matrices. These polytopes are of great significance with respect to the NIEP because they are extremal in the region comprising the spectra of stochastic matrices.
- [199] arXiv:2409.17787 (replaced) [pdf, html, other]
-
Title: Weak coupling asymptotics for the Pauli operator in two dimensionsComments: 26 pages; updated to the published versionJournal-ref: Ann. Henri Poincar\'e (2025)Subjects: Spectral Theory (math.SP); Mathematical Physics (math-ph)
We compute asymptotic expansions for the negative eigenvalues of the Pauli operator in two dimensions perturbed by a weakly coupled potential with definite sign. Whereas previous results were limited to the case of radial magnetic fields and potentials, we are able to drop the assumption of radial symmetry entirely.
- [200] arXiv:2410.11806 (replaced) [pdf, other]
-
Title: Arthur representations and unitary dual for classical groupsComments: Comments are welcomeSubjects: Representation Theory (math.RT); Number Theory (math.NT)
In this paper, we propose a new conjecture (Conjecture 1.1) on the structure of the unitary dual by means of the Arthur representations for general reductive algebraic groups defined over any non-Archimedean local field of characteristic zero. We also propose a conjecture (Conjecture 1.2) refining Conjecture 1.1 for representations of good parity. The relations among the two conjectures and special families of representations are explained in Figure 1. The main results include a partial approval of Conjecture 1.1 (Theorem 1.5); an algorithm to determine a candidate of the unitary dual (Algorithm 8.5); and the verification of Conjectures 1.1 and 1.2 for many known unitary duals, especially for representations of corank at most 3 for symplectic or split odd special orthogonal groups, based on Tadi{?}'s classification (Theorem 1.6), and G_2. To prove the main results, we develop new algorithms to determine whether a given irreducible representation is of Arthur type and give an inductive approach to classify the family of unitary representations that are of Arthur type for classical groups. We explicate this approach towards the unitary dual problem for representations of corank 3 and several new families of representations.
- [201] arXiv:2410.24147 (replaced) [pdf, html, other]
-
Title: The evolving surface Cahn-Hilliard equation with a degenerate mobilityComments: 35 pages, further corrections including revised appendixSubjects: Analysis of PDEs (math.AP)
We consider the existence of suitable weak solutions to the Cahn-Hilliard equation with a non-constant (degenerate) mobility on a class of evolving surfaces. We also show weak-strong uniqueness for the case of a positive mobility function, and under some further assumptions on the initial data we show uniqueness for a class of strong solutions for a degenerate mobility function.
- [202] arXiv:2411.13272 (replaced) [pdf, html, other]
-
Title: Geometric invariants of locally compact groups: the homological perspectiveSubjects: Algebraic Topology (math.AT); Group Theory (math.GR); Metric Geometry (math.MG)
In this paper we develop the homological version of $\Sigma$-theory for locally compact Hausdorff groups, leaving the homotopical version for another paper. Both versions are connected by a Hurewicz-like theorem. They can be thought of as directional versions of type $\mathrm{CP}_m$ and type $\mathrm{C}_m$, respectively. And classical $\Sigma$-theory is recovered if we equip an abstract group with the discrete topology. This paper provides criteria for type $\mathrm{CP}_m$ and homological locally compact $\Sigma^m$. Given a short exact sequence with kernel of type $\mathrm{CP}_m$, we can derive $\Sigma^m$ of the extension on the sphere that vanishes on the kernel from the quotient and likewise. Given a short exact sequence with abelian quotient, $\Sigma$-theory on the extension can tell if the kernel is of type $\mathrm{CP}_m$.
- [203] arXiv:2411.17153 (replaced) [pdf, html, other]
-
Title: Physical Vacuum Problems for the Full Compressible Euler Equations: Low-regularity Hadamard-style Local Well-posednessComments: All comments are welcome!Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
This manuscript concerns the dynamics of non-isentropic compressible Euler equations in a physical vacuum. We establish the Hadamard-style local well-posedness in low-regularity weighted Sobolev spaces, where the gas-vacuum interface is allowed to have unbounded curvature, demonstrating existence, uniqueness, and continuous dependence on initial data. Additionally, we prove sharp a priori energy estimates and continuation criteria.
The approach is based on the framework of Eulerian coordinates, avoiding the regularity issues of the flow map and the high nonlinearity induced by the Lagrangian transformation. - [204] arXiv:2412.00628 (replaced) [pdf, html, other]
-
Title: A noncommutative integral on spectrally truncated spectral triples, and a link with quantum ergodicityComments: 33 pages, no figures. Added a section on the density of states. To appear in J. Funct. AnalSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Spectral Theory (math.SP)
We propose a simple approximation of the noncommutative integral in noncommutative geometry for the Connes--Van Suijlekom paradigm of spectrally truncated spectral triples. A close connection between this approximation and the field of quantum ergodicity and work by Widom in particular immediately provides a Szeg? limit formula for noncommutative geometry. We then make a connection to the density of states. Finally, we propose a definition for the ergodicity of geodesic flow for compact spectral triples. This definition is known in quantum ergodicity as uniqueness of the vacuum state for $C^*$-dynamical systems, and for spectral triples where local Weyl laws hold this implies that the Dirac operator of the spectral triple is quantum ergodic. This brings to light a close connection between quantum ergodicity and Connes' integral formula.
- [205] arXiv:2412.01610 (replaced) [pdf, html, other]
-
Title: Stochastic Geometry and Dynamical System Analysis of Walker Satellite ConstellationsComments: full version of the paper accepted to IEEE Trans. Veh. TechnolSubjects: Information Theory (cs.IT)
In practice, low Earth orbit (LEO) and medium Earth orbit (MEO) satellite networks consist of multiple orbits which are populated with many satellites. A widely used spatial architecture for LEO or MEO satellites is the Walker constellation, where the longitudes of orbits are evenly spaced and the satellites are equally spaced along the orbits. In this paper, we develop a stochastic geometry model for the Walker constellations. This proposed model enables an analysis based on dynamical system theory, which allows one to address essential structural properties such as periodicity and ergodicity. It also enables a stochastic geometry analysis under which we derive the performance of downlink communications of a typical user at a given latitude, as a function of the key constellation parameters.
- [206] arXiv:2412.10556 (replaced) [pdf, html, other]
-
Title: When is the chromatic quasisymmetric function symmetric?Comments: Corrected typos, added referencesSubjects: Combinatorics (math.CO)
We investigate the problem of when a chromatic quasisymmetric function (CQF) $X_G(x;q)$ of a graph $G$ is in fact symmetric. We first prove the remarkable fact that if a product of two quasisymmetric functions $f$ and $g$ in countably infinitely many variables is symmetric, then in fact $f$ and $g$ must be symmetric. This allows the problem to be reduced to the case of connected graphs.
We then show that any labeled graph having more than one source or sink has a nonsymmetric CQF. As a corollary, we find that all trees other than a directed path have a nonsymmetric CQF. We also show that a family of graphs we call ''mixed mountain graphs'' always have symmetric CQF. - [207] arXiv:2412.14278 (replaced) [pdf, html, other]
-
Title: Augmenting Subspace Optimization Methods with Linear BanditsSubjects: Optimization and Control (math.OC)
We consider the framework of methods for unconstrained minimization that are, in each iteration, restricted to a model that is only a valid approximation to the objective function on some affine subspace containing an incumbent point. These methods are of practical interest in computational settings where derivative information is either expensive or impossible to obtain. Recent attention has been paid in the literature to employing randomized matrix sketching for generating the affine subspaces within this framework.
We consider a relatively straightforward, deterministic augmentation of such a generic subspace optimization method. In particular, we consider a sequential optimization framework where actions consist of one-dimensional linear subspaces and rewards consist of (approximations to) the magnitudes of directional derivatives computed in the direction of the action subspace. Reward maximization in this context is consistent with maximizing lower bounds on descent guaranteed by first-order Taylor models. This sequential optimization problem can be analyzed through the lens of dynamic regret. We modify an existing linear upper confidence bound (UCB) bandit method and prove sublinear dynamic regret in the subspace optimization setting. We demonstrate the efficacy of employing this linear UCB method in a setting where forward-mode algorithmic differentiation can provide directional derivatives in arbitrary directions and in a derivative-free setting. For the derivative-free setting, we propose SS-POUNDers, an extension of the derivative-free optimization method POUNDers that employs the linear UCB mechanism to identify promising subspaces. Our numerical experiments suggest a preference, in either computational setting, for employing a linear UCB mechanism within a subspace optimization method. - [208] arXiv:2501.00542 (replaced) [pdf, html, other]
-
Title: An Atomic Representation for Bicomplex Hardy ClassesComments: Many typographical/notational errors corrected from the last versionSubjects: Complex Variables (math.CV); Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA)
We develop representations for bicomplex-valued functions in Hardy classes that generalize the complex holomorphic Hardy spaces. Using these representations, we show these functions have boundary values in the sense of distributions that are representable by an atomic decomposition, and we show continuity of the Hilbert transform on this class of distributional boundary values.
- [209] arXiv:2501.11575 (replaced) [pdf, html, other]
-
Title: Additive subgroups of a module that are saturated with respect to a subset of the ringComments: Added obit noteSubjects: Rings and Algebras (math.RA); Commutative Algebra (math.AC)
Let $T$ be a subset of a ring $A$, and let $M$ be an $A$-module. We study the additive subgroups $F$ of $M$ such that, for all $x \in M$, if $tx \in F$ for some $t \in T$, then $x \in F$. We call any such subset $F$ of $M$ a $T$-factroid of $M$, which is a kind of dual to the notion of a $T$-submodule of $M$. We connect the notion with the zero-divisors on $M$, various classes of primary and prime ideals of $A$, Euclidean domains, and the recent concepts of unit-additive commutative rings and of Egyptian fractions with respect to a multiplicative subset of a commutative ring. We also introduce a common generalization of local rings and unit-additive rings, called *sublocalizable* rings, and relate them to $T$-factroids.
- [210] arXiv:2501.11881 (replaced) [pdf, html, other]
-
Title: Channel Resolvability Using Multiplicative Weight Update AlgorithmComments: 8 pages. Version 2 is for correcting typo. Version 3 improved presentation. Version 4 corrects a minor error in the proof of Theorem 10; the result itself is unaffectedSubjects: Information Theory (cs.IT)
We study the channel resolvability problem, which is used to prove strong converse of identification via channel. Channel resolvability has been solved by only random coding in the literature. We prove channel resolvability using the multiplicative weight update algorithm. This is the first approach to channel resolvability using non-random coding.
- [211] arXiv:2501.16978 (replaced) [pdf, html, other]
-
Title: $\otimes$-Frobenius functors and exact module categoriesComments: v2: 48 pages. Streamlined parts of the text; introduced the notion of a tensor functor being Frobenius with respect to a module category (Sec. 4), including examples from Hopf algebras (Sec. 5); corrected an error in Lemma 4.10 from the previous versionSubjects: Quantum Algebra (math.QA); Category Theory (math.CT); Representation Theory (math.RT)
We call a tensor functor $F:\mathcal{C}\rightarrow\mathcal{D}$ between finite tensor categories $\otimes$-Frobenius if the left and right adjoints of $F$ are isomorphic as $\mathcal{C}$-bimodule functors. We provide various characterizations of $\otimes$-Frobenius functors such as the unimodularity of the centralizer $\mathcal{Z}({}_F\mathcal{D}_F)$. We analyze the procedure of pulling back actions of tensor categories on module categories along tensor functors, and show that properties like pivotality and unimodularity are preserved if $F$ if $\otimes$-Frobenius. These results allow the transport of Frobenius algebras under certain conditions. We apply the results to internal natural transformations and examples coming from Hopf algebras.
- [212] arXiv:2501.17012 (replaced) [pdf, html, other]
-
Title: Labeling abelian varieties over finite fieldsComments: 7 pages, minor revisionsSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We describe a deterministic process to associate a practical, permanent label to isomorphism classes of abelian varieties defined over finite fields with commutative endomorphism algebra as long as they are ordinary or defined over a prime field. In the ordinary case, we also provide labels for the polarizations they admit.
- [213] arXiv:2501.19385 (replaced) [pdf, html, other]
-
Title: The General Position Problem: A SurveySubjects: Combinatorics (math.CO)
Inspired by a chessboard puzzle of Dudeney, the general position problem in graph theory asks for a largest set $S$ of vertices in a graph such that no three elements of $S$ lie on a common shortest path. The number of vertices in such a largest set is the \emph{general position number} of the graph. This paper provides a survey of this rapidly growing problem, which now has an extensive literature. We cover exact results for various graph classes and the behaviour of the general position number under graph products and operations. We also discuss interesting variations of the general position problem, including those corresponding to different graph convexities, as well as dynamic, fractional, colouring and game versions of the problem.
- [214] arXiv:2502.02254 (replaced) [pdf, html, other]
-
Title: Non-Isomorphic Abelian Varieties with the Same ArithmeticComments: Fixed proof of Lemma 8, other minor changesSubjects: Number Theory (math.NT)
We construct two abelian varieties over $\mathbb{Q}$ which are not isomorphic, but have isomorphic Mordell--Weil groups over every number field, isomorphic Tate modules and equal values for several other invariants.
- [215] arXiv:2502.02330 (replaced) [pdf, html, other]
-
Title: Rational Motions of Minimal Quaternionic Degree with Prescribed Plane TrajectoriesSubjects: Rings and Algebras (math.RA)
This paper investigates the construction of rational motions of a minimal quaternionic degree that generate a prescribed plane trajectory (a ``rational torse''). Using the algebraic framework of dual quaternions, we formulate the problem as a system of polynomial equations. We derive necessary and sufficient conditions for the existence of such motions, establish a method to compute solutions and characterize solutions of minimal degree. Our findings reveal that a rational torse is realizable as a trajectory of a rational motion if and only if its Gauss map is rational. Furthermore, we demonstrate that the minimal degree of a motion polynomial is geometrically related to a drop of degree of the Gauss and algebraically determined by the structure of the torse's associated plane polynomial and the real greatest common divisor of its vector part. The developed theoretical framework has potential applications in robotics, computer-aided design, and computational kinematic, offering a systematic approach to constructing rational motions of small algebraic complexity.
- [216] arXiv:2502.07699 (replaced) [pdf, html, other]
-
Title: Sharp Anti-Concentration Inequalities for Extremum Statistics via CopulasComments: 24 pages, 2 figuresSubjects: Statistics Theory (math.ST); Probability (math.PR)
We derive sharp upper and lower bounds for the pointwise concentration function of the maximum statistic of $d$ identically distributed real-valued random variables. Our first main result places no restrictions either on the common marginal law of the samples or on the copula describing their joint distribution. We show that, in general, strictly sublinear dependence of the concentration function on the dimension $d$ is not possible. We then introduce a new class of copulas, namely those with a convex diagonal section, and demonstrate that restricting to this class yields a sharper upper bound on the concentration function. This allows us to establish several new dimension-independent and poly-logarithmic-in-$d$ anti-concentration inequalities for a variety of marginal distributions under mild dependence assumptions. Our theory improves upon the best known results in certain special cases. Applications to high-dimensional statistical inference are presented, including a specific example pertaining to Gaussian mixture approximations for factor models, for which our main results lead to superior distributional guarantees.
- [217] arXiv:2502.08762 (replaced) [pdf, html, other]
-
Title: Quantum spectrum and Gamma structure for standard flipsComments: 40 pages, minor typos correctedSubjects: Algebraic Geometry (math.AG); Symplectic Geometry (math.SG)
We investigate the quantum spectrum and Gamma structure for projective bundles, blow-ups, and standard flips. After restricting the quantum multiplication to the exceptional curve direction, we obtain a decomposition of the quantum cohomology of standard flips into asymptotic Gamma classes. We then show that this decomposition is compatible with the semi-orthogonal decompositions for these spaces constructed in work of Orlov and Belmans-Fu-Raedschelders. The proof involves a sequence of reductions to a local model and the asymptotic behavior of Meijer G-functions.
- [218] arXiv:2502.15052 (replaced) [pdf, html, other]
-
Title: Explicit modularity of K3 surfaces with complex multiplication of large degreeComments: 7 pages, minor revisionsSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We consider the transcendental motive of three K3 surfaces $X$ conjectured to have complex multiplication (CM). Under this assumption, we match these to explicit algebraic Hecke quasi-characters $\psi_X$, and CM abelian threefolds $A$. This provides substantial evidence that a power of $A$ corresponds to $X$ under the Kuga-Satake correspondence.
- [219] arXiv:2502.16007 (replaced) [pdf, html, other]
-
Title: Completely decomposable modular JacobiansComments: 6 pagesSubjects: Number Theory (math.NT)
We use recently developed algorithms and a new database of modular curves constructed for the L-functions and Modular Forms Database to enumerate completely decomposable modular Jacobians of level N < 240. In particular, we find examples in 13 previously unknown genera of Jacobian varieties isogenous to a product of elliptic curves over Q. The new genera are: 38, 68, 75, 76, 77, 78, 113, 135, 137, 157, 159, 169, and 409.
- [220] arXiv:2503.05140 (replaced) [pdf, html, other]
-
Title: Mixed norm estimates for dilated averages over planar curvesSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
In this paper, we investigate the mixed norm estimates for the operator $ T $associated with a dilated plane curve $(ut, u\gamma(t))$, defined by \[ Tf(x, u) := \int_{0}^{1} f(x_1 - ut, x_2 - u\gamma(t)) \, dt, \] where $ x := (x_1, x_2) $ and $\gamma $ is a general plane curve satisfying appropriate smoothness and curvature conditions. More precisely, we establish the $ L_x^p(\mathbb{R}^2) \rightarrow L_x^q L_u^r(\mathbb{R}^2 \times [1, 2]) $ (space-time) estimates for $ T $, whenever $(\frac{1}{p},\frac{1}{q})$ satisfy \[ \max\left\{0, \frac{1}{2p} - \frac{1}{2r}, \frac{3}{p} - \frac{r+2}{r}\right\} < \frac{1}{q} \leq \frac{1}{p} < \frac{r+1}{2r} \] and $$1 + (1 + \omega)\left(\frac{1}{q} - \frac{1}{p}\right) > 0,$$ where $ r \in [1, \infty] $ and $ \omega := \limsup_{t \rightarrow 0^+} \frac{\ln|\gamma(t)|}{\ln t} $. These results are sharp, except for certain borderline cases. Additionally, we examine the $ L_x^p(\mathbb{R}^2) \rightarrow L_u^r L_x^q(\mathbb{R}^2 \times [1, 2]) $ (time-space) estimates for $T $, which are especially almost sharp when $p=2$.
- [221] arXiv:2503.08984 (replaced) [pdf, html, other]
-
Title: "All-Something-Nothing" Phase Transitions in Planted k-Factor RecoveryComments: 35 pages, 5 figures. Accepted for presentation at the 2025 Conference on Learning Theory, Lyon, FranceSubjects: Probability (math.PR); Statistics Theory (math.ST)
This paper studies the problem of inferring a $k$-factor, specifically a spanning $k$-regular graph, planted within an Erdos--Renyi random graph $G(n,\lambda/n)$. We uncover an interesting "all-something-nothing" phase transition. Specifically, we show that as the average degree $\lambda$ surpasses the critical threshold of $1/k$, the inference problem undergoes a transition from almost exact recovery ("all" phase) to partial recovery ("something" phase). Moreover, as $\lambda$ tends to infinity, the accuracy of recovery diminishes to zero, leading to the onset of the "nothing" phase. This finding complements the recent result by Mossel, Niles-Weed, Sohn, Sun, and Zadik who established that for certain sufficiently dense graphs, the problem undergoes an "all-or-nothing" phase transition, jumping from near-perfect to near-zero recovery. In addition, we characterize the recovery accuracy of a linear-time iterative pruning algorithm and show that it achieves almost exact recovery when $\lambda < 1/k$. A key component of our analysis is a two-step cycle construction: we first build trees through local neighborhood exploration and then connect them by sprinkling using reserved edges. Interestingly, for proving impossibility of almost exact recovery, we construct $\Theta(n)$ many small trees of size $\Theta(1)$, whereas for establishing the algorithmic lower bound, a single large tree of size $\Theta(\sqrt{n\log n})$ suffices.
- [222] arXiv:2503.11903 (replaced) [pdf, html, other]
-
Title: Modeling and Analysis of an Optimal Insulation Problem on Non-Smooth DomainsComments: 17 pages, 4 figuresSubjects: Analysis of PDEs (math.AP)
In this paper, we study an insulation problem that seeks the optimal distribution of a fixed amount $m>0$ of insulating material coating an insulated boundary $\Gamma_I\subseteq \partial\Omega$ of a thermally conducting body $\Omega\subseteq \mathbb{R}^d$, $d\in \mathbb{N}$. The thickness of the thin insulating layer $\Sigma_{I}^{\varepsilon}$ is given locally via $\varepsilon \mathtt{d}$, where $\mathtt{d}\colon \Gamma_{I}\to [0,+\infty)$ specifies the (to be determined) distribution of the insulating material. We establish $\Gamma(L^2(\mathbb{R}^d))$-convergence of the problem (as $\varepsilon\to 0^+$). Different from the existing literature, which predominantly assumes that the thermally conducting body $\Omega$ has a $C^{1,1}$-boundary, we merely assume that $\Gamma_I$ is piece-wise flat. To overcome this lack of boundary regularity, we define the thin insulating boundary layer $\Sigma_{I}^{\varepsilon}$ using a Lipschitz continuous transversal vector field rather than the outward unit normal vector field. The piece-wise flatness condition on $\Gamma_I$ is only needed to prove the $\liminf$-estimate. In fact, for the $\limsup$-estimate is enough that the thermally conducting body $\Omega$ has a $C^{0,1}$-boundary.
- [223] arXiv:2503.14865 (replaced) [pdf, html, other]
-
Title: Brown functors of directed graphsComments: 20 pages, 4 figures, simplified proofs, and additional references. arXiv admin note: significant text overlap with a part of arXiv:2003.07426Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Category Theory (math.CT)
We prove that any digraph Brown functor -- i.e. a contravariant functor from the homotopy category of finite directed graphs to the category of abelian groups, satisfying the triviality axiom, the additivity axiom, and the Mayer-Vietoris axiom -- is representable. Furthermore, we show that the first path cohomology functor is a digraph Brown functor.
- [224] arXiv:2504.00244 (replaced) [pdf, html, other]
-
Title: System Identification from Partial Observations under Adversarial AttacksComments: 8 pages, 3 figuresSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
This paper is concerned with the partially observed linear system identification, where the goal is to obtain reasonably accurate estimation of the balanced truncation of the true system up to order $k$ from output measurements. We consider the challenging case of system identification under adversarial attacks, where the probability of having an attack at each time is $\Theta(1/k)$ while the value of the attack is arbitrary. We first show that the $\ell_1$-norm estimator exactly identifies the true Markov parameter matrix for nilpotent systems under any type of attack. We then build on this result to extend it to general systems and show that the estimation error exponentially decays as $k$ grows. The estimated balanced truncation model accordingly shows an exponentially decaying error for the identification of the true system up to a similarity transformation. This work is the first to provide the input-output analysis of the system with partial observations under arbitrary attacks.
- [225] arXiv:2504.02629 (replaced) [pdf, html, other]
-
Title: A fully segregated and unconditionally stable IMEX scheme for dispersed multiphase flowsSubjects: Numerical Analysis (math.NA)
Euler--Euler or volume-averaged Navier--Stokes equations are used in various applications to model systems with two or more interpenetrating phases. Each fluid obeys its own momentum and mass equations, and the phases are typically coupled via drag forces and a shared pressure. Monolithic solvers can therefore be very expensive and difficult to implement, so there is great computational appeal for decoupled methods. However, splitting the subproblems requires treating the coupling terms (pressure and drag) explicitly, which must be done carefully to avoid time-step restrictions. In this context, we derive a new first-order pressure-correction method based on the incompressibility of the mean velocity field, combined with an explicit treatment of the drag forces. Furthermore, both the convective and viscous terms are treated semi-implicitly. This gives us an implicit-explicit (IMEX) method that is very robust not only due to its unconditional energy stability, but also because it does not require any type of fixed-point iterations. Each time step has only linear, scalar transport equations and a single pressure Poisson problem as building blocks. We rigorously prove temporal stability without any CFL-like conditions, and the theory is confirmed through two-phase numerical examples.
- [226] arXiv:2504.05721 (replaced) [pdf, html, other]
-
Title: Graph product and the stability of circulant graphsSubjects: Combinatorics (math.CO)
A graph $\Gamma$ is said to be stable if $\mathrm{Aut}(\Gamma\times K_2)\cong\mathrm{Aut}(\Gamma)\times \mathbb{Z}_{2}$ and unstable otherwise. If an unstable graph is connected, non-bipartite and any two of its distinct vertices have different neighbourhoods, then it is called nontrivially unstable. We establish conditions guaranteeing the instability of various graph products, including direct products, direct product bundles, Cartesian products, strong products, semi-strong products, and lexicographic products. Inspired by a condition for the instability of direct product bundles, we propose a new sufficient condition for circulant graphs to be unstable and refine existing instability conditions from the literature. Based on these results, we categorize unstable circulant graphs into two distinct types and further propose a classification framework.
- [227] arXiv:2504.09471 (replaced) [pdf, html, other]
-
Title: Optional intervals event, sequential operation and their applications in physics, computer science and applied mathematicsSubjects: General Mathematics (math.GM)
In this paper, we introduce algebraic theories such as set theory and group theory into the analysis of the execution interval and sequence of events. We propose Optional Intervals Event(OIE) as an abstract entity mapping to events, and define two sequential operations, "Complete Sequential Addition" for concurrent events and "Complete Sequential Multiplication" for sequential events. We prove that "Complete Sequential Addition" forms a commutative semigroup and "Complete Sequential Multiplication" forms a semigroup under their extended result sets, and draw Cayley tables to visualize algebraic structures. We use these new concepts to provide a new formal representation of "starting simultaneously" thereby resolving measurement errors. Finally, we present other implications derived from our work. This work enables more rigorous event scheduling, physical simulations, and computational modeling beyond observational limitations.
- [228] arXiv:2504.10132 (replaced) [pdf, html, other]
-
Title: Asymptotic Optimality of Projected Inventory Level Policies for Lost Sales Inventory Systems with Large Leadtime and Penalty CostSubjects: Probability (math.PR); Optimization and Control (math.OC)
We study the canonical periodic review lost sales inventory system with positive leadtime and independent and identically distributed (i.i.d.) demand under the average cost criterion. We demonstrate that the relative value function under the constant order policy satisfies the Wiener-Hopf equation. We employ ladder processes associated with a random walk featuring i.i.d. increments, to obtain an explicit solution for the relative value function. This solution can be expressed as a quadratic form and a term that grows sublinearly. Then we perform an approximate policy iteration step on the constant order policy and uniformly bound the gap relative to the otimal cost rate for large lead times. This leads to our main result that projected inventory level policies are asymptotically optimal as the leadtime grows when the cost of losing a sale is sufficiently large and demand has a finite second moment.
- [229] arXiv:2504.10196 (replaced) [pdf, html, other]
-
Title: On compact embeddings in $\mathbf{L^p}$ and fractional spacesComments: 16 pages, no figureSubjects: Functional Analysis (math.FA); Analysis of PDEs (math.AP)
The study of the fractional Laplacian operator $(-\Delta)^s$ in $\mathbb{R}^N$ with Dirichlet boundary conditions gained enormous momentum through its identification with a Neumann operator in $\mathbb{R}^N\times (0, \infty)=\mathbb{R}^{N+1}_+$, a method mainly introduced by Caffarelli and Silvestre. Since then, several other operators have been studied using this method. In general, a crucial question is attached to this method: the embedding (in the trace sense) on the ground space $L^q(\mathbb{R}^{N})$ is compact? This question is very important when dealing with problems of existence of solutions. This paper aims to answer this question for some operators.
Passing to an abstract setting, let $X,Y$ be Hilbert spaces and $\mathcal{A}\colon X\to X'$ a continuous and symmetric elliptic operator. We suppose that $X$ is dense in $Y$ and that the embedding $X\subset Y$ is compact. In this paper we show some consequences of this setting for the study of the fractional operator attached to $\mathcal{A}$ in the extension setting $\Omega\times(0,\infty)$ or $\mathbb{R}^{N+1}_+$. Being more specific, we will give some examples where the embedding of the extension domain into $L^2(\Omega)$ is compact, even in the case $\Omega=\mathbb{R}^N$. - [230] arXiv:2504.17190 (replaced) [pdf, html, other]
-
Title: Density of irreducible operators in the trace-class normComments: 40 pagesSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
In 1968, Paul Halmos initiated the research on density of the set of irreducible operators on a separable Hilbert space. Through the research, a long-standing unsolved problem inquires: is the set of irreducible operators dense in $B(H)$ with respect to the trace-class norm topology? Precisely, for each operator $T $ in $B(H)$ and every $\varepsilon >0$, is there a trace-class operator $K$ such that $T+K$ is irreducible and $\Vert K \Vert_1 < \varepsilon$?
For $p>1$, to prove the $\Vert \cdot \Vert_p$-norm density of irreducible operators in $B(H)$, a type of Weyl-von Neumann theorem effects as a key technique. But the traditional method fails for the case $p=1$, where by $\Vert \cdot \Vert_p$-norm we denote the Schatten $p$-norm.
In the current paper, for a large family of operators in $B(H)$, we give the above long-term problem an affirmative answer. The result is derived from a combination of techniques in both operator theory and operator algebras. Moreover, we discover that there is a strong connection between the problem and another related operator-theoretical problem related to type $\mathrm{II}_1$ von Neumann algebras. - [231] arXiv:2505.00292 (replaced) [pdf, html, other]
-
Title: Conformal changepoint localizationSubjects: Statistics Theory (math.ST); Signal Processing (eess.SP); Methodology (stat.ME)
Changepoint localization is the problem of estimating the index at which a change occurred in the data generating distribution of an ordered list of data, or declaring that no change occurred. We present the broadly applicable CONCH (CONformal CHangepoint localization) algorithm, which uses a matrix of conformal p-values to produce a confidence interval for a (single) changepoint under the mild assumption that the pre-change and post-change distributions are each exchangeable. We exemplify the CONCH algorithm on a variety of synthetic and real-world datasets, including using black-box pre-trained classifiers to detect changes in sequences of images, text, and accelerometer data.
- [232] arXiv:2505.06944 (replaced) [pdf, html, other]
-
Title: Radio Map-Enabled 3D Trajectory and Communication Optimization for Low-Altitude Air-Ground CooperationComments: 6 pages; 6 figures; submit to IEEE for possible publicationSubjects: Information Theory (cs.IT)
Low-altitude economy includes the application of unmanned aerial vehicles (UAVs) serving ground robots. This paper investigates the 3-dimensional (3D) trajectory and communication optimization for low-altitude air-ground cooperation systems, where mobile unmanned ground vehicles (UGVs) upload data to UAVs. We propose a joint optimization algorithm to maximize the minimal sum-rate of UGVs while ensuring quality of service and navigation constraints. The proposed algorithm integrates a successive convex approximation (SCA)-penalty method for UGV-UAV scheduling, an SCA-based approach for UGV transmit power control, and a novel warm-start particle swarm optimization with cross mutation (WS-PSO-CM). The WS-PSO-CM leverages convex optimization results from a statistical channel model to initialize particle swarm, significantly improving the performance, compared with celebrated PSO-CM. Simulation results demonstrate that the proposed algorithm achieves a $45.8$\% higher minimal sum-rate compared to the baseline PSO-CM under the same iterations. This gain can be translated to reducing computational time by $46.7$\% of PSO-CM. Furthermore, our simulation results reveal that UAVs dynamically adjust trajectories to avoid interference by buildings, and maintain proximity to UGVs to mitigate path-loss.
- [233] arXiv:2505.10777 (replaced) [pdf, html, other]
-
Title: On Some Open Cases of a Conjecture of Conrad, Edixhoven and SteinComments: Removed Conjecture 1.1; added Remark 1.1. Corrected some typos and improved claritySubjects: Number Theory (math.NT)
Let \( p \geq 5 \) be a prime. In 2003 Conrad, Edixhoven, and Stein conjectured that the rational torsion subgroup of the modular Jacobian \( J_1(p) \) coincides with the rational cuspidal divisor class group. Using explicit computations in Magma, the open case \( p = 29 \) has been proven by Derickx, Kamienny, Stein, and Stoll in 2023. We extend these results to primes \( p = 97, 101, 109, \) and \( 113 \). In addition, we provide a list of the groups \( J_1(p)(\mathbb{Q})_{\text{tors}} \) for every prime up to \( p \leq 113 \). However, our method is general and can be applied to larger primes.
- [234] arXiv:2505.18199 (replaced) [pdf, html, other]
-
Title: Closed Bounded Rational Framing MotionsSubjects: Optimization and Control (math.OC)
We present a method for constructing all bounded rational motions that frame a space curve $\mathbf{r}(t)$. This means that the motion guides an orthogonal frame along the curve such that one frame axis is in direction of the curve tangent. Existence of (bounded) framing motions is equivalent to $\mathbf{r}(t)$ being a (bounded) rational Pythagorean Hodograph curve. In contrast to previous constructions that rely on polynomial curves with smooth self-intersection, our motions and curves are infinitely differentiable. To this end, we develop the theory of Pythagorean hodograph curves parameterized over the projective line. We also provide a simple geometric necessary and sufficient condition on the spherical part of the motion, given by the homogeneous quaternionic preimage of the Pythagorean hodograph curve, that ensures the existence of a corresponding bounded, rational, and even regular framing motion. The translation part comes from the speed distribution, which must be a special positive rational function. This can in practice be ensured by semidefinite optimization methods. We illustrate our findings with a number of examples.
- [235] arXiv:2506.07107 (replaced) [pdf, html, other]
-
Title: Cusp forms as $p$-adic limits circumventing $p$-adic version of the Legendre period relationSubjects: Number Theory (math.NT)
Several authors have recently proved results which express a cusp form as a $p$-adic limit of weakly holomorphic modular forms under repeated application of Atkin's $U$-operator. Initially, these results had a deficiency: one could not rule out the possibility when a certain quantity vanishes and the final result fails to be true. Later on, Ahlgren and Samart \cite{AS} found a method to prove that no exceptions happen in the specific case considered by El-Guindy and Ono, Hanson and Jameson, and (independently) Dicks. generalized this method to finitely many other cases.
In this paper, we present a different approach which allows us to prove a similar non-vanishing result for an infinite family of similar cases. Our approach also allows us to return back to the original example considered by El-Guindy and Ono, where we calculate the (manifestly non-zero) quantity explicitly in terms of Morita's $p$-adic $\Gamma$-function. - [236] arXiv:2506.10515 (replaced) [pdf, other]
-
Title: Effective positivity of Hodge bundles and applicationsComments: v2: application to foliations amendedSubjects: Algebraic Geometry (math.AG)
We prove new boundedness results across different areas of algebraic geometry, stemming from a unifying technical starting point: bounding the integer $q > 0$ such that the $q$-th Hodge bundle becomes (semi-)positive for families of stable varieties. This result allows us to show that for stable families $f: X \to T$ of maximal variation with klt general fiber and relative dimension $n$ there exist the following bounds:
1) a lower bound for the Chow-Mumford volume $\left( \lambda_{CM,f} \right)^{\dim T}$ of the form $\delta^{\dim T}$, where $\delta$ is uniform;
2) a uniform lower bound on $K_{X/T}^{n+1}$, when $T$ is a curve;
3) an upper bound for $|\mathrm{Aut}(f)|$ when $T$ is a curve, depending uniformly linearly on $K_{X/T}^{n+1}$.
Additionally, we draw several several consequences on the subspaces of the moduli space of stable varieties parametrizing at least one klt variety, such as the positivity of Hodge bundles and a lower bound on the Chow-Mumford volume in terms of the dimension and the volume of the parametrized varieties (the volume is needed only if working on the coarse moduli space).
We also give pair versions of the above results with coefficients varying in a DCC set. - [237] arXiv:2506.14183 (replaced) [pdf, html, other]
-
Title: Nonvanishing Higher Derived Limits without $w\diamondsuit_{ω_1}$Comments: 16 pagesSubjects: Logic (math.LO)
We prove a common refinement of theorems of Bergfalk and of Casarosa and Lambie-Hanson, showing that under certain hypotheses, the higher derived limits of a certain inverse system of abelian groups $\mathbf{A}$ do not vanish. The refined theorem has a number of interesting corollaries, including the nonvanishing of the second derived limit of $\mathbf{A}$ in many of the common models of set theory of the reals and in the Mitchell model. In particular, we disprove a conjecture of Bergfalk, Hru?ák, and Lambie-Hanson that higher derived limits of $\mathbf{A}$ vanish in the Miller model.
- [238] arXiv:2506.14982 (replaced) [pdf, html, other]
-
Title: Floquet-like theory and gauge transformations for general smooth dynamical systemsComments: V2: minor misprints corrected, examples addedSubjects: Mathematical Physics (math-ph); Dynamical Systems (math.DS)
The classical Floquet theory allows to map a time-periodic system of linear differential equations into an autonomous one. By looking at it in a geometrical way, we extend the theory to a class of non-autonomous non-periodic equations. This is obtained by considering a change of variables which depends on time in a non-trivial way, i.e. introducing gauge transformations, well known in fundamental Physics and Field Theory -- but which seems to have received little attention in this context.
- [239] arXiv:2506.18103 (replaced) [pdf, other]
-
Title: A study of a family of self-referential sequencesComments: 16 pages, 3 figures. This is a revision that integrates the recent theoretical framework on 'hiccup sequences' by Fokkink and Joshi (arXiv:2407.08639). New remarks show how their work provides a rigorous justification for the explicit Beatty sequence formulas presented in this paper. An appendix with a compendium of known hiccup sequences has also been addedSubjects: General Mathematics (math.GM)
We introduce and analyze a three-parameter family of self-referential integer sequences $S(x,y,z)$: starting from $a(1)=x$, each term advances by $y$ when the index $k$ has already appeared as a value and by $z$ otherwise. This simple rule generates a surprising zoo of behaviors, many of which are catalogued - albeit in a rather unstructured fashion - in the OEIS. This family has recently and independently been studied by Fokkink and Joshi, who named them "hiccup sequences" and established their general morphic nature. Our work provides a complementary, in-depth analysis of major subfamilies. Whenever $y>z>0$, we prove that the density $a(k)/k$ converges to the positive root of $r^{2}-zr-(y-z)=0$. Two subfamilies, $S(x,Z+1,Z)$ and $S(x,Z,Z+1)$, yield explicit non-homogeneous Beatty sequences, providing explicit formulas for numerous OEIS entries. For $y=0$ and $z \ge 2$, the sequences eventually become periodic and satisfy linear recurrences. Critical cases with a zero discriminant unveil geometric patterns on triangular, square, and hexagonal lattices. Finally, via tree-like representations we uncover a tight link with meta-Fibonacci recurrences. These results position $S(x,y,z)$ as a unifying framework connecting additive combinatorics, number theory, and discrete dynamics.
- [240] arXiv:2506.22681 (replaced) [pdf, html, other]
-
Title: Projective Transformations for Regularized Central Force Dynamics: Hamiltonian FormulationSubjects: Dynamical Systems (math.DS); Earth and Planetary Astrophysics (astro-ph.EP); Mathematical Physics (math-ph); Classical Physics (physics.class-ph)
This work introduces a Hamiltonian approach to regularization and linearization of central force particle dynamics through a new canonical extension of the so-called ``projective decomposition''. The regularization scheme is formulated within the framework of classic analytical Hamiltonian dynamics as a redundant-dimensional canonical/symplectic coordinate transformation, combined with an evolution parameter transformation, on extended phase space. By considering a generalized version of the standard projective decomposition, we obtain a family of such canonical transformations which differ at the momentum level. From this family of transformations, a preferred canonical coordinate set is chosen that possesses a simple and intuitive connection to the particle's local reference frame. Using this transformation, closed-form solutions are readily obtained for inverse square and inverse cubic radial forces, or any superposition thereof. From these solutions, a new set of orbit elements for Kepler-Coulomb dynamics is derived, along with their variational equations for arbitrary perturbations (singularity-free in all cases besides rectilinear motion). Governing equations are numerically validated for the classic two-body problem incorporating the $J_2$ gravitational perturbation.
- [241] arXiv:2507.01138 (replaced) [pdf, html, other]
-
Title: Sums along the edges of bounded degree graphsComments: This is a substantial extension of the first version with a different set of authors and title. In particular, the new version contains an upper bound on sum-sets of random regular graphs which is tight, up to a polylogarithmic factorSubjects: Combinatorics (math.CO)
Let $G$ be a graph on $n$ vertices and $(H,+)$ be an abelian group. What is the minimum size ${\sf S}_H(G)$ of the set of all sums $A(u)+A(v)$ over all injections $A:V(G)\to H$? In 2012, the first author, Angel, the second author, and Lubetzky proved that, for expander graphs and $H=\mathbb{Z}$, this minimum is at least $\Omega(\log n)$, and this bound is tight -- there exists a regular expander $G$ with ${\sf S}_{\mathbb{Z}}(G)=O(\log n)$. We prove that, for every constant $d\geq 3$, the random $d$-regular graph $\mathcal{G}_{n,d}$ has significantly larger sum-sets: with high probability, for every abelian group $H$, ${\sf S}_H(\mathcal{G}_{n,d})=\Omega(n^{1-2/d})$. In particular, this proves that, for every $\varepsilon>0$, there exists a regular graph with $O(n)$ edges and with sum-sets of size at least $n^{1-\varepsilon}$, for all abelian groups.
The bound ${\sf S}_H(\mathcal{G}_{n,d})=\Omega(n^{1-2/d})$ is tight up to a polylogarithmic factor: We show that, for every $3\leq d\leq \ln n/ \ln \ln n$, there exists an abelian group $H$ such that, for every graph $G$ on $n$ vertices with maximum degree at most $d$, ${\sf S}_H(G) \leq n^{1-2/d}(\log n)^{O(1)}$.
We also prove that, for $d\gg\ln^2 n$, with high probability, for every abelian group $H$, ${\sf S}_H(\mathcal{G}_{n,d})=n(1-o(1))$ and determine the second-order term, up to a polylogarithmic factor. - [242] arXiv:2507.01762 (replaced) [pdf, html, other]
-
Title: Global Energy Minimization for Simplex Mesh Optimization: A Radius Ratio Approach to Sliver EliminationSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
The quality of simplex mesh is crucial for the stability and accuracy of numerical simulations in finite element analysis and computational geometry. However, the presence of sliver elements in 3D simplex mesh can severely impact the results. This paper presents a novel method based on a radius ratio energy function to optimize the quality of simplex mesh elements. This method can effectively eliminate sliver elements, thereby enhancing mesh this http URL gradient of the proposed energy function can be decomposed into a matrix-vector product. With minor processing, the matrix becomes symmetric positive definite, and this symmetric positive definite matrix can serve as a preconditioner to significantly accelerate the optimization process. Experimental results demonstrate that this method has significant advantages in eliminating sliver elements and improving mesh quality.
- [243] arXiv:2507.03688 (replaced) [pdf, html, other]
-
Title: Time-asymptotic self-similarity of the damped compressible Euler equations in parabolic scaling variablesSubjects: Analysis of PDEs (math.AP)
We study the long-time behavior of solutions to the compressible Euler equations with frictional damping in the whole space, where we prescribe direction-dependent values for the density at spatial infinity. To this end, we transform the system into parabolic scaling variables and derive a relative entropy inequality, which allows to conclude the convergence of the density towards a self-similar solution to the porous medium equation while the associated limit momentum is governed by Darcy's law. Moreover, we obtain convergence rates that explicitly depend on the flatness of the limit profile. While we focus on weak solutions in the one-dimensional case, we extend our results to energy-variational solutions in the multi-dimensional setting.
- [244] arXiv:2507.04145 (replaced) [pdf, html, other]
-
Title: Branching rule on winding subalgebras of affine Kac-Moody algebrasComments: 8 pages, 1 figureSubjects: Representation Theory (math.RT)
In this paper, by using the Lakshmibai-Seshadri paths, we give the branching rule for representations of affine Kac-Moody algebras to their winding subalgebras. As a corollary, we can describe branching multiplicities in the language of paths. An analog of Steinberg's formula for branching multiplicities is also given.
- [245] arXiv:2507.06120 (replaced) [pdf, html, other]
-
Title: A non-face characterization of spheres on few verticesComments: 6 pagesSubjects: Combinatorics (math.CO)
We prove a relatively simple combinatorial characterization of simplicial $d$-spheres on $d+4$ vertices. Our criteria are given in terms of the intersection patterns of a simplicial complex's family of minimal non-faces. Namely, let $\Sigma$ be a simplicial complex on $d+4$ vertices and let $\mathcal{F}$ be its family of minimal non-faces. Then $\Sigma$ is a $d$-sphere if and only if $|\mathcal{F}|=n\geq 3$ is odd and there is an ordering $A_0,\ldots, A_{n-1}$ of the minimal non-faces, indices taken modulo $n$, such that successive $A_i$ are disjoint and the alternating $\frac{(n-1)}{2}$-fold intersections $A_i\cap A_{i+2} \cap A_{i+4} \cap \cdots \cap A_{i+n-3}$ partition the vertex set.
- [246] arXiv:2507.09773 (replaced) [pdf, html, other]
-
Title: Jacquet modules of Tate cohomology and base change liftingComments: Comments are welcomeSubjects: Representation Theory (math.RT)
Let $G$ be a connected reductive group defined over a
non-Archimedean local field $F$ of residue characteristic $p$. Let
$\ell$ be a prime number distinct from $p$. Let $E$ be a cyclic
Galois extension of $F$ with $[E:F]=\ell$. Let $\Pi$ be a finite
length $\overline{\mathbb{F}}_\ell$-representation (or an
$\ell$-modular representation) of $G(E)\rtimes {\rm Gal}(E/F)$. In
this context, we prove a conjecture of Treumann and Venkatesh which
predicts that the Tate cohomology groups
$\widehat{H}^i({\rm Gal}(E/F), \Pi)$ are finite length
representations of $G(F)$. We discuss the explicit computation of
these Tate cohomology groups when $G$ is ${\rm GL}_n$ and $\Pi$ is
obtained as a base change lifting of a depth-zero cuspidal
representation of ${\rm GL}_n(F)$. The primary novelty from our
previous work is that we treat the case where $\Pi$ is possibly
non-cuspidal. We also study the
${\rm Gal}(\mathbb{F}_{q^\ell}/\mathbb{F}_q)$-Tate cohomology groups
of the mod-$\ell$ reduction of the unipotent cuspidal representation
of ${\rm Sp}_4(\mathbb{F}_{q^\ell})$. - [247] arXiv:2507.10179 (replaced) [pdf, html, other]
-
Title: The Second Machine Turn: From Checking Proofs to Creating ConceptsComments: Minor clarifications in the final sectionSubjects: History and Overview (math.HO); Artificial Intelligence (cs.AI)
We identify a second machine turn in the process of mathematical discovery: after automating proof-checking, AI is now poised to automate the *creation* of mathematical concepts themselves. We discuss the current state of the art, obstacles and potential solutions as well as a preliminary attempt at mathematizing the creation of concepts itself. The paper ends with an assessment of how these capabilities could reshape mathematics and human-machine collaboration, and a few different futures we might find ourselves in.
- [248] arXiv:2507.17302 (replaced) [pdf, html, other]
-
Title: Bipartite graphs with minimum degree at least 15 are antimagicSubjects: Combinatorics (math.CO)
An antimagic {labeling} of a graph $G=(V,E)$ is a one-to-one mapping $f: E\rightarrow\{1,2,\ldots,|E|\}$, ensuring that the vertex sums in $V$ are pairwise distinct, where a vertex sum of a vertex $v$ is defined as the sum of the labels of the edges incident to $v$. A graph is called antimagic if it admits an antimagic labeling. The Antimagic Labeling Conjecture, proposed by Hartsfield and Ringel in 1990, posits that every connected graph other than $K_2$ is antimagic. The conjecture was confirmed for graphs of average degree at least 4,182 in 2016 by Eccles, where it was stated that a similar approach could not reduce the bound below 1,000 from 4,182.
This paper shows that every bipartite graph with minimum degree at least 15 is antimagic. Our approach relies on three tools: a consequence of K?nig's Theorem, the existence of a subgraph of a specific size that avoids Eulerian components, and a labeling lemma that ensures some vertex sums are divisible by three while others are not. - [249] arXiv:2507.17310 (replaced) [pdf, html, other]
-
Title: Blow-up problem for porous medium equation with absorption under nonlinear nonlocal boundary conditionSubjects: Analysis of PDEs (math.AP)
In this paper, we consider an initial boundary value problem for the porous medium equation with absorption under a nonlinear nonlocal boundary condition and a nonnegative initial datum. We prove the local existence of solutions, establish a comparison principle, and demonstrate both global existence and blow-up of solutions.
- [250] arXiv:2507.18156 (replaced) [pdf, html, other]
-
Title: The metric compactification of a Kobayashi hyperbolic complex manifold and a Denjoy--Wolff TheoremComments: added a proposition that gives a sufficient condition in terms of the geometry of horoballs for the Denjoy--Wolff property in convex domains. Also an open problem regarding the existence of nonvisible strictly convex domain is added as a remarkSubjects: Complex Variables (math.CV); Metric Geometry (math.MG)
We study the metric compactification of a Kobayashi hyperbolic complex manifold \(\mathcal{X} \) equipped with the Kobayashi distance \( \mathsf{k}_{\mathcal{X}} \). We show that this compactification is genuine -- i.e., \( \mathcal{X} \) embeds as a dense open subset -- even without completeness of \( \mathsf{k}_{\mathcal{X}} \), and that it becomes a \emph{good compactification} in the sense of Bharali--Zimmer when \((\mathcal{X}, \mathsf{k}_{\mathcal{X}}) \) is complete. As an application, we obtain a criterion for the continuous extension of quasi-isometric embeddings from \( (\mathcal{X}, \mathsf{k}_{\mathcal{X}}) \) into visibility domains of complex manifolds. For a Kobayashi hyperbolic domain \( \Omega \subsetneq \mathcal{X} \), to each boundary point of \( \Omega \) in the end compactification, we associate a fiber of metric boundary points. This allows the small and big horospheres of Abate to be expressed as the intersection and union of horoballs centered at metric boundary points. We use this to formulate a Wolff-type lemma in terms of horoballs and prove a Denjoy--Wolff theorem for complete hyperbolic domains satisfying a boundary divergence condition for \(\mathsf{k}_{\mathcal{X}} \). Finally, we present necessary and sufficient conditions under which the identity map extends continuously between the metric and end compactifications.
- [251] arXiv:2507.19413 (replaced) [pdf, html, other]
-
Title: Riesz representers for the rest of usSubjects: Statistics Theory (math.ST)
The application of semiparametric efficient estimators, particularly those that leverage machine learning, is rapidly expanding within epidemiology and causal inference. This literature is increasingly invoking the Riesz representation theorem and Riesz regression. This paper aims to introduce the Riesz representation theorem to an epidemiologic audience, explaining what it is and why it's useful, using step-by-step worked examples.
- [252] arXiv:2507.20176 (replaced) [pdf, html, other]
-
Title: Post-Hopf group algebras, Hopf group braces and Rota-Baxter operators on Hopf group algebrasSubjects: Rings and Algebras (math.RA); Mathematical Physics (math-ph)
In this paper, we introduce the notions of Hopf group braces, post-Hopf group algebras and Rota-Baxter Hopf group algebras as important generalizations of Hopf brace, post Hopf algebra and Rota-Baxter Hopf algebras respectively. We also discuss their relationships. Explicitly under the condition of cocomutativity, Hopf group braces, post-Hopf group algebras could be mutually obtained, and Rota-Baxter Hopf group algebras could lead to Hopf group braces.
- [253] arXiv:2507.20593 (replaced) [pdf, html, other]
-
Title: Classification of the topological holonomy groups in $SO(3)$Subjects: Differential Geometry (math.DG)
In this paper, we obtain classification of the topological holonomy groups in $SO(3)$. Such a group is given by one of the following: a finite group (such groups are classified by Klein); a commutative infinite group which is generated by one or two elements, and dense in a subgroup of $SO(3)$ isomorphic to $SO(2)$; a non-commutative infinite group generated by two elements of order $2$, $\infty$ such that these rotation axes are orthogonal; a non-commutative infinite group which is dense in $SO(3)$.
- [254] arXiv:2507.22261 (replaced) [pdf, html, other]
-
Title: Surfaces in a strict Walker 3-manifold that contain non-null curves with zero torsionSubjects: Differential Geometry (math.DG)
Given a non-null curve $\gamma$ in a strict Walker 3-manifold, first we show that (locally) $\gamma$ lies in a flat cylinder with a null axis. Secondly, we construct an example of such a curve $\gamma$ and such a cylinder $S$ that contains $\gamma$ . In particular, the hypothesis that $S$ is totally geodesic has some consequence on the geometry of the ambient Walker 3-manifold.
- [255] arXiv:2507.22381 (replaced) [pdf, html, other]
-
Title: Interrelation among Solvable Potentials and Extensions of SWKB Quantization ConditionComments: 15 pages, 0 figureSubjects: Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA); Quantum Physics (quant-ph)
The exactly solvable Schr?dinger equations with the conventional shape-invariant potentials are known to be related with each other through point cannonical transformations. In this paper, we extend the idea to integral formulae called the SWKB integrals. By virtue of this, we derive extended forms of the SWKB quantization condition for certain classes of Natanzon potentials. We further demonstrate that the same idea can also be applied to obtain an exact quantization rule for a subclass of quantum systems with position-dependent effective masses, provided their solutions involve the classical orthogonal polynomials. Based on the findings, we conjecture about the implication of the exactness of the SWKB formula in relation to the classical orthogonal polynomials.
- [256] arXiv:2507.22850 (replaced) [pdf, other]
-
Title: Dynamic analysis of free-free Timoshenko beams on elastic foundation under transverse transient ground deformationComments: Key words: buried Timoshenko beam, semi-analytical model, dynamic amplification, transient ground deformation (TGD), modal analysisSubjects: Numerical Analysis (math.NA)
Underground infrastructure, such as pipelines and tunnels, can be vulnerable to the effect of transient ground deformation (TGD) caused by different vibration sources, including earthquakes and traffic loads. Current design methods are based on simple analytical models that idealize the soil movement as a traveling sinusoidal wave, neglecting both the system inertia and the relative displacement at the soil-structure interface. However, this assumption may not be valid for buried large diameter pipelines and tunnels requiring accurate dynamic analysis. To analyse the dynamic response of a buried straight beam subjected to transverse TGD, this study introduces a new semi-analytical model based on the Timoshenko beam on Winkler foundation theory. The closed-form analytical solution revealed that the vibration spectrum is divided in four parts, separated by three transition frequencies. Across each transition frequency, the oscillatory characteristics of the vibration modes change, significantly affecting the dynamic response of the system. To verify the validity of the proposed model, this work analyses the case study of a buried steel water pipeline of varying lengths and operating conditions, subjected to transverse TGD. Comparison of the obtained analytical solutions with the finite element analysis results showed excellent agreement between the two approaches. The frequency response analysis revealed dynamic amplification of the soil-structure interaction for forcing frequencies near the system's fundamental frequency. These may fall within the range of dominant frequencies characterizing seismic waves, requiring accurate dynamic analysis. The proposed methodology provides a robust analytical framework for evaluating the primary factors impacting the dynamic behavior of buried beams, giving a deeper understanding of the system response under various sources of ground vibration.
- [257] arXiv:2507.23024 (replaced) [pdf, html, other]
-
Title: On plus-one generated arrangements of plane conicsComments: 14 pagesSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
In this paper, we examine the combinatorial properties of conic arrangements in the complex projective plane that possess certain quasi-homogeneous singularities. First, we introduce a new tool that enables us to characterize the property of being plus-one generated within the class of conic arrangements with some naturally chosen quasi-homogeneous singularities. Next, we present a classification result on plus-one generated conic arrangements admitting only nodes and tacnodes as singularities. Building on results regarding conic arrangements with nodes and tacnodes, we present new examples of strong Ziegler pairs of conic-line arrangements - that is, arrangements having the same strong combinatorics but distinct derivation modules.
- [258] arXiv:2507.23179 (replaced) [pdf, html, other]
-
Title: Cyclotomy, cyclotomic cosets and arithmetic properties of some families in $\frac{\mathbb{F}_l[x]}{\langle x^{p^sq^t}-1\rangle}$Subjects: Number Theory (math.NT); Information Theory (cs.IT)
Arithmetic properties of some families in $\frac{\mathbb{F}_l[x]}{\langle x^{p^sq^t}-1\rangle}$ are obtained by using the cyclotomic classes of order 2 with respect to $n=p^sq^t$, where $p\equiv3 \mathrm{mod} 4$, $\gcd(\phi(p^s),\phi(q^t))=2$, $l$ is a primitive root modulo $q^t$ and $\mathrm{ord}_{p^s}(l)=\phi(p^s)/2$. The form of these cyclotomic classes enables us to further generalize the results obtained in \cite{ref1}. The explicit expressions of primitive idempotents of minimal ideals in $\frac{\mathbb{F}_l[x]}{\langle x^{p^sq^t}-1\rangle}$ are also obtained.
- [259] arXiv:2507.23690 (replaced) [pdf, other]
-
Title: Fundamental groups of open manifolds with nonnegative Ricci curvature and universal cover Euclidean volume growthComments: In the proof of Proposition 2.4, (2.3) does not hold in generallySubjects: Differential Geometry (math.DG)
In this note, we will give an positive answer to Pan-Rong's conjecture that for an open manifold with nonnegative Ricci curvature, if its universal cover has Euclidean volume growth, then its fundamental group is finitely generated. Moreover the fundamental group is virtually abelian. The same result has been given by this http URL for dimension 4. In fact, we will show the fundamental group finitely generated in a more general condition.
- [260] arXiv:2302.08363 (replaced) [pdf, html, other]
-
Title: On the Structure of Trans-Series in Quantum Field TheoryJournal-ref: SIGMA 21 (2025), 065, 33 pagesSubjects: High Energy Physics - Theory (hep-th); High Energy Physics - Phenomenology (hep-ph); Mathematical Physics (math-ph)
Many observables in quantum field theory can be expressed in terms of trans-series, in which one adds to the perturbative series a typically infinite sum of exponentially small corrections, due to instantons or to renormalons. Even after Borel resummation of the series in the coupling constant, one has to sum this infinite series of small exponential corrections. It has been argued that this leads to a new divergence, which is sometimes called the divergence of the OPE. We show that, in some interesting examples in quantum field theory, the series of small exponential corrections is convergent, order by order in the coupling constant. In particular, we give numerical evidence for this convergence property in the case of the free energy of integrable asymptotically free theories, which has been intensively studied recently in the framework of resurgence. Our results indicate that, in these examples, the Borel resummed trans-series leads to a well defined function, and there are no further divergences.
- [261] arXiv:2309.12014 (replaced) [pdf, html, other]
-
Title: Singular Control in a Cash Management Model with AmbiguitySubjects: Risk Management (q-fin.RM); Optimization and Control (math.OC); Mathematical Finance (q-fin.MF)
We consider a singular control model of cash reserve management, driven by a diffusion under ambiguity. The manager is assumed to have maxmin preferences over a set of priors characterized by $\kappa$-ignorance. A verification theorem is established to determine the firm's cost function and the optimal cash policy; the latter taking the form of a control barrier policy. In a model driven by arithmetic Brownian motion, we use Dynkin games to show that an increase in ambiguity leads to higher expected costs under the worst-case prior and a narrower inaction region. The latter effect can be used to provide an ambiguity-driven explanation for observed cash management behavior. Our findings can be applied to broader applications of singular control in managing inventories under ambiguity.
- [262] arXiv:2309.16911 (replaced) [pdf, html, other]
-
Title: Dynamic Batching of Online Arrivals to Leverage Economies of ScaleComments: 35 pages, accepted for publication by the European Journal of Operational ResearchSubjects: Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)
Many settings, such as matching riders to drivers in ride-hailing platforms or in-stream video advertising, require handling arrivals over time. In such applications, it is often beneficial to group the arriving orders or requests into batches and process the larger batches rather than individual arrivals. However, waiting too long to create larger batches incurs a waiting cost for past arrivals. On the other hand, processing the arrivals too soon leads to higher processing costs by missing the economies of scale of grouping larger numbers of arrivals into larger batches. Moreover, the timing of the next arrival is often unknown, meaning fixed-size batches or fixed waiting times tend to be poor choices. In this work, we consider the problem of finding the optimal batching schedule to minimize the sum of waiting time and processing cost under both offline and online settings. In the offline problem in which all arrival times are known a priori, we show that the optimal batching schedule can be found in polynomial time by reducing it to a shortest path problem on a weighted acyclic graph. For the online problem with unknown arrival times, we develop algorithms that are provably competitive for a broad range of processing-cost functions. We also provide a lower bound on the competitive ratio that no online algorithm can beat. Finally, we run numerical experiments on simulated and real data to demonstrate the effectiveness of our algorithms against the offline benchmark.
- [263] arXiv:2312.01046 (replaced) [pdf, html, other]
-
Title: Bagged Regularized $k$-Distances for Anomaly DetectionSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
We consider the paradigm of unsupervised anomaly detection, which involves the identification of anomalies within a dataset in the absence of labeled examples. Though distance-based methods are top-performing for unsupervised anomaly detection, they suffer heavily from the sensitivity to the choice of the number of the nearest neighbors. In this paper, we propose a new distance-based algorithm called bagged regularized $k$-distances for anomaly detection (BRDAD), converting the unsupervised anomaly detection problem into a convex optimization problem. Our BRDAD algorithm selects the weights by minimizing the surrogate risk, i.e., the finite sample bound of the empirical risk of the bagged weighted $k$-distances for density estimation (BWDDE). This approach enables us to successfully address the sensitivity challenge of the hyperparameter choice in distance-based algorithms. Moreover, when dealing with large-scale datasets, the efficiency issues can be addressed by the incorporated bagging technique in our BRDAD algorithm. On the theoretical side, we establish fast convergence rates of the AUC regret of our algorithm and demonstrate that the bagging technique significantly reduces the computational complexity. On the practical side, we conduct numerical experiments to illustrate the insensitivity of the parameter selection of our algorithm compared with other state-of-the-art distance-based methods. Furthermore, our method achieves superior performance on real-world datasets with the introduced bagging technique compared to other approaches.
- [264] arXiv:2405.16958 (replaced) [pdf, html, other]
-
Title: Large Deviations of Gaussian Neural Networks with ReLU activationComments: 13 pages, 2 figures, proof simplifiedSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Probability (math.PR)
We prove a large deviation principle for deep neural networks with Gaussian weights and at most linearly growing activation functions, such as ReLU. This generalises earlier work, in which bounded and continuous activation functions were considered. In practice, linearly growing activation functions such as ReLU are most commonly used. We furthermore simplify previous expressions for the rate function and provide a power-series expansions for the ReLU case.
- [265] arXiv:2406.03473 (replaced) [pdf, html, other]
-
Title: Mapping dynamical systems into chemical reactionsSubjects: Molecular Networks (q-bio.MN); Dynamical Systems (math.DS)
Polynomial dynamical systems (DSs) can model a wide range of physical processes. A special subset of these DSs that can model chemical reactions under mass-action kinetics is called chemical dynamical systems (CDSs). A fundamental problem, central to synthetic biology, is to map polynomial DSs into dynamically similar CDSs. In this paper, we introduce the quasi-chemical map (QCM) that can systematically solve this problem. The QCM introduces suitable state-dependent perturbations into any given polynomial DS which then becomes a CDS under sufficiently large translations of variables. This map preserves robust features, such as generic equilibria and limit cycles, and generic bifurcations, as well as some temporal properties, such as periods of oscillations. Furthermore, the resulting CDSs are at most one degree higher than the original DSs. We showcase the QCM by designing relatively simple CDSs with oscillations, chaos and bifurcations, and addressing Hilbert's 16th problem in chemistry.
- [266] arXiv:2406.19410 (replaced) [pdf, html, other]
-
Title: Mehta's eigenvectors for the finite Hartely transformSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
This paper presents a novel approach for evaluating analytical eigenfunctions of the finite Hartley transform. The approach is based on the use of $N=1/2$-supersymmetric quantum mechanics as a fundamental tool, which builds on the key observation that the Hartley transform commutes with the supercharge operator. Using the intertwining operator between the Hartley transform and the finite Hartley transform, our approach provides an overcomplete basis of eigenvectors expressed in terms of supersymmetric Hermite polynomials.
- [267] arXiv:2407.02811 (replaced) [pdf, html, other]
-
Title: SPLITZ: Certifiable Robustness via Split Lipschitz Randomized SmoothingComments: IEEE Transactions on Information Forensics and Security, acceptedSubjects: Machine Learning (cs.LG); Information Theory (cs.IT)
Certifiable robustness gives the guarantee that small perturbations around an input to a classifier will not change the prediction. There are two approaches to provide certifiable robustness to adversarial examples: a) explicitly training classifiers with small Lipschitz constants, and b) Randomized smoothing, which adds random noise to the input to create a smooth classifier. We propose SPLITZ, a practical and novel approach which leverages the synergistic benefits of both the above ideas into a single framework. Our main idea is to split a classifier into two halves, constrain the Lipschitz constant of the first half, and smooth the second half via randomization. Motivation for SPLITZ comes from the observation that many standard deep networks exhibit heterogeneity in Lipschitz constants across layers. SPLITZ can exploit this heterogeneity while inheriting the scalability of randomized smoothing. We present a principled approach to train SPLITZ and provide theoretical analysis to derive certified robustness guarantees during inference. We present a comprehensive comparison of robustness-accuracy trade-offs and show that SPLITZ consistently improves on existing state-of-the-art approaches in the MNIST, CIFAR-10 and ImageNet datasets. For instance, with $\ell_2$ norm perturbation budget of $\epsilon=1$, SPLITZ achieves $43.2\%$ top-1 test accuracy on CIFAR-10 dataset compared to state-of-art top-1 test accuracy $39.8\%$.
- [268] arXiv:2407.02827 (replaced) [pdf, html, other]
-
Title: Convergence of Implicit Gradient Descent for Training Two-Layer Physics-Informed Neural NetworksSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
The optimization algorithms are crucial in training physics-informed neural networks (PINNs), as unsuitable methods may lead to poor solutions. Compared to the common gradient descent (GD) algorithm, implicit gradient descent (IGD) outperforms it in handling certain multi-scale problems. In this paper, we provide convergence analysis for the IGD in training over-parameterized two-layer PINNs. We first derive the training dynamics of IGD in training two-layer PINNs. Then, over-parameterization allows us to prove that the randomly initialized IGD converges to a globally optimal solution at a linear convergence rate. Moreover, due to the distinct training dynamics of IGD compared to GD, the learning rate can be selected independently of the sample size and the least eigenvalue of the Gram matrix. Additionally, the novel approach used in our convergence analysis imposes a milder requirement on the network width. Finally, empirical results validate our theoretical findings.
- [269] arXiv:2409.19974 (replaced) [pdf, html, other]
-
Title: Adaptive Mesh Refinement for Two-Phase Viscoelastic Fluid Mixture ModelsSubjects: Fluid Dynamics (physics.flu-dyn); Numerical Analysis (math.NA)
Multiphase flows are an important class of fluid flow and their study facilitates the development of diverse applications in industrial, natural, and biomedical systems. We consider a model that uses a continuum description of both phases in which separate momentum equations are used for each phase along with a co-incompressibility condition on the velocity fields. The resulting system of equations poses numerical challenges due to the presence of multiple non-linear terms and the co-incompressibility condition, and the resulting fluid dynamics motivate the development of an adaptive mesh refinement (AMR) technique to accurately capture regions of high stresses and large material gradients while keeping computational costs low. We present an accurate, robust, and efficient computational method for simulating multiphase mixtures on adaptive grids, and utilize a multigrid solver to precondition the saddle-point system. We demonstrate that the AMR discretization asymptotically approaches second order accuracy in $L^1$, $L^2$ and $L^\infty$ norms. The solver can accurately resolve sharp gradients in the solution and, with the multigrid preconditioning strategy introduced herein, the linear solver iterations are independent of grid spacing. Our AMR solver offers a major cost savings benefit, providing up to ten fold speedup over a uniform grid in the numerical experiments presented here, with greater speedup possible depending on the problem set-up.
- [270] arXiv:2412.03865 (replaced) [pdf, html, other]
-
Title: Dudeney's Dissection is OptimalComments: 26 pages, 32 figures. The previous version mistakenly compiled an outdated file. This update corrects that and includes the intended version with refined and corrected case analysis of cut graphsSubjects: Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Geometric Topology (math.GT)
In 1907, Henry Ernest Dudeney posed a puzzle: ``cut any equilateral triangle \dots\ into as few pieces as possible that will fit together and form a perfect square'' (without overlap, via translation and rotation).
Four weeks later, Dudeney demonstrated a beautiful four-piece solution, which today remains perhaps the most famous example of dissection.
In this paper (over a century later), we finally solve Dudeney's puzzle, by proving that the equilateral triangle and square have no common dissection with three or fewer polygonal pieces.
We reduce the problem to the analysis of discrete graph structures representing the correspondence between the edges and the vertices of the pieces forming each polygon. - [271] arXiv:2502.03866 (replaced) [pdf, html, other]
-
Title: Weyl symmetry of the gradient-flow in information geometryComments: 16 pages, no figureSubjects: General Relativity and Quantum Cosmology (gr-qc); Information Theory (cs.IT); Mathematical Physics (math-ph)
We have revisited the gradient-flow in information geometry from the perspective of Weyl symmetry. The gradient-flow equations are derived from the proposed action which is invariant under the Weyl's gauge transformations. In Weyl integrable geometry, we have related Amari's $\alpha$-connections in IG to the Weyl invariant connection on the Riemannian manifold equipped with the scaled metric.
- [272] arXiv:2503.10009 (replaced) [pdf, html, other]
-
Title: OR-LLM-Agent: Automating Modeling and Solving of Operations Research Optimization Problems with Reasoning LLMComments: 8 pages, 13 figuresSubjects: Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
With the rise of artificial intelligence (AI), applying large language models (LLMs) to mathematical problem-solving has attracted increasing attention. Most existing approaches attempt to improve Operations Research (OR) optimization problem-solving through prompt engineering or fine-tuning strategies for LLMs. However, these methods are fundamentally constrained by the limited capabilities of non-reasoning LLMs. To overcome these limitations, we propose OR-LLM-Agent, an AI agent framework built on reasoning LLMs for automated OR problem solving. The framework decomposes the task into three sequential stages: mathematical modeling, code generation, and debugging. Each task is handled by a dedicated sub-agent, which enables more targeted reasoning. We also construct BWOR, an OR dataset for evaluating LLM performance on OR tasks. Our analysis shows that in the benchmarks NL4OPT, MAMO, and IndustryOR, reasoning LLMs sometimes underperform their non-reasoning counterparts within the same model family. In contrast, BWOR provides a more consistent and discriminative assessment of model capabilities. Experimental results demonstrate that OR-LLM-Agent utilizing DeepSeek-R1 in its framework outperforms advanced methods, including GPT-o3, Gemini 2.5 Pro, DeepSeek-R1, and ORLM, by at least 7\% in accuracy. These results demonstrate the effectiveness of task decomposition for OR problem solving.
- [273] arXiv:2504.03435 (replaced) [pdf, html, other]
-
Title: Exactly solvable models for universal operator growthComments: 28 pages, 1 figureJournal-ref: JHEP 07 (2025) 256Subjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
Quantum observables of generic many-body systems exhibit a universal pattern of growth in the Krylov space of operators. This pattern becomes particularly manifest in the Lanczos basis, where the evolution superoperator assumes the tridiagonal form. According to the universal operator growth hypothesis, the nonzero elements of the superoperator, known as Lanczos coefficients, grow asymptotically linearly. We introduce and explore broad families of Lanczos coefficients that are consistent with the universal operator growth and lead to the exactly solvable dynamics. Within these families, the subleading terms of asymptotic expansion of the Lanczos sequence can be controlled and fine-tuned to produce diverse dynamical patterns. For one of the families, the Krylov complexity is computed exactly.
- [274] arXiv:2504.15973 (replaced) [pdf, html, other]
-
Title: Duality Anomalies in Linearized GravityComments: 9 pages. Accepted version with minor clarificationsSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
Classical linearized gravity admits a dual formulation in terms of a higher-rank tensor field. Proposing a prescription for the instanton sectors of linearized gravity and its dual, we show that they may be quantum inequivalent in even dimensions. The duality anomaly is obtained by resolving the dual graviton theories into vector-valued $p$-form electrodynamics and is controlled by the Reidemeister torsion, Ray-Singer torsion and Euler characteristic of the cotangent bundle. Under the proposed instanton prescription the duality anomaly vanishes for an odd number of spacetime dimensions as a consequence of the celebrated Cheeger-Müller theorem. In the presence of a gravitational $\theta$-term, the partition function is a modular form in direct analogy to Abelian S-duality for Maxwell theory.
- [275] arXiv:2504.21647 (replaced) [pdf, other]
-
Title: Conditional independence testing with a single realization of a multivariate nonstationary nonlinear time seriesSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Machine Learning (stat.ML)
Identifying relationships among stochastic processes is a core objective in many fields, such as economics. While the standard toolkit for multivariate time series analysis has many advantages, it can be difficult to capture nonlinear dynamics using linear vector autoregressive models. This difficulty has motivated the development of methods for causal discovery and variable selection for nonlinear time series, which routinely employ tests for conditional independence. In this paper, we introduce the first framework for conditional independence testing that works with a single realization of a nonstationary nonlinear process. We also show how our framework can be used to test for independence. The key technical ingredients of our framework are time-varying nonlinear regression, estimation of local long-run covariance matrices of products of error processes, and a distribution-uniform strong Gaussian approximation.
- [276] arXiv:2505.00288 (replaced) [pdf, other]
-
Title: Nystr?m Type Exponential Integrators for Strongly Magnetized Charged Particle DynamicsSubjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA); Plasma Physics (physics.plasm-ph)
Calculating the dynamics of charged particles in electromagnetic fields (i.e. the particle pushing problem) is one of the most computationally intensive components of particle-in-cell (PIC) methods for plasma physics simulations. This task is especially challenging when the plasma is strongly magnetized, since in this case the particle motion consists of a wide range of temporal scales from highly oscillatory fast gyromotion to slow macroscopic behavior and the resulting numerical model is very stiff. Current state-of-the-art time integrators used to simulate particle motion have limitations given the severe numerical stiffness of the problem and more efficient methods are of interest. Recently, exponential integrators have been proposed as a promising new approach for these simulations and shown to offer computational advantages over commonly used schemes. Exponential methods can solve linear problems exactly and are A-stable. In this paper, the standard exponential algorithms framework is extended to derive Nystr?m-type exponential methods that integrate the Newtonian equations of motion as a second-order differential equation. Specific Nystr?m-type schemes of second and third orders are derived and applied to strongly magnetized particle pushing problems. Numerical experiments are presented to demonstrate that the Nystr?m-type exponential integrators can provide significant improvement in computational efficiency over the standard exponential methods.
- [277] arXiv:2505.06351 (replaced) [pdf, html, other]
-
Title: Latent Diffeomorphic Dynamic Mode DecompositionSubjects: Machine Learning (cs.LG); Dynamical Systems (math.DS)
We present Latent Diffeomorphic Dynamic Mode Decomposition (LDDMD), a new data reduction approach for the analysis of non-linear systems that combines the interpretability of Dynamic Mode Decomposition (DMD) with the predictive power of Recurrent Neural Networks (RNNs). Notably, LDDMD maintains simplicity, which enhances interpretability, while effectively modeling and learning complex non-linear systems with memory, enabling accurate predictions. This is exemplified by its successful application in streamflow prediction.
- [278] arXiv:2505.10498 (replaced) [pdf, html, other]
-
Title: Batched Nonparametric Bandits via k-Nearest Neighbor UCBSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME)
We study sequential decision-making in batched nonparametric contextual bandits, where actions are selected over a finite horizon divided into a small number of batches. Motivated by constraints in domains such as medicine and marketing -- where online feedback is limited -- we propose a nonparametric algorithm that combines adaptive k-nearest neighbor (k-NN) regression with the upper confidence bound (UCB) principle. Our method, BaNk-UCB, is fully nonparametric, adapts to the context dimension, and is simple to implement. Unlike prior work relying on parametric or binning-based estimators, BaNk-UCB uses local geometry to estimate rewards and adaptively balances exploration and exploitation. We provide near-optimal regret guarantees under standard Lipschitz smoothness and margin assumptions, using a theoretically motivated batch schedule that balances regret across batches and achieves minimax-optimal rates. Empirical evaluations on synthetic and real-world datasets demonstrate that BaNk-UCB consistently outperforms binning-based baselines.
- [279] arXiv:2505.15885 (replaced) [pdf, other]
-
Title: Cobordism Utopia: U-Dualities, Bordisms, and the SwamplandComments: 124 pages + appendices + references, 31 Figures, 1 Map to the Lands of Utopia; v2 minor changes, references updatedSubjects: High Energy Physics - Theory (hep-th); Algebraic Topology (math.AT)
The U-dualities of maximally supersymmetric supergravity theories lead to celebrated non-perturbative constraints on the structure of quantum gravity. They can also lead to the presence of global symmetries since manifolds equipped with non-trivial duality bundles can carry topological charges captured by non-trivial elements of bordism groups. The recently proposed Swampland Cobordism Conjecture thus predicts the existence of new singular objects absent in the low-energy supergravity theory, which break these global symmetries.
We investigate this expectation in two directions, involving the different choices of U-duality groups $G_U$, as well as $k$, the dimension of the closed manifold carrying the topological charge. First, we compute for all supergravity theories in dimension $3 \leq D \leq 11$ the bordism groups $\Omega_1^{\text{Spin}}(BG_U)$. Second, we treat in detail the case of $D = 8$, computing all relevant bordism groups $\Omega_k^{\text{Spin}}(BG_U)$ for $1 \leq k \leq 7$. In all cases, we identify corresponding string, M-, or F-theory backgrounds which implement the required U-duality defects. In particular, we find that in some cases there is no purely geometric background available which implements the required symmetry-breaking defect. This includes non-geometric twists as well as non-geometric strings and instantons.
This computation involves several novel computations of the bordism groups for $G_U = \mathrm{SL}(2,\mathbb{Z}) \times \mathrm{SL}(3,\mathbb{Z})$, which localizes at primes $p=2,3$. Whereas an amalgamated product structure greatly simplifies the calculation of purely $\mathrm{SL}(2,\mathbb{Z})$ bundles, this does not extend to $\mathrm{SL}(3,\mathbb{Z})$. Rather, we leverage the appearance of product / ring structures induced from cyclic subgroups of $G_U$ which naturally act on the relevant bordism groups. - [280] arXiv:2505.19275 (replaced) [pdf, other]
-
Title: Agentic Information Theory: Ergodicity and Intrinsic Semantics of Information ProcessesComments: 30 pages, 12 figures, 9 tables; this http URLSubjects: Statistical Mechanics (cond-mat.stat-mech); Information Theory (cs.IT); Multiagent Systems (cs.MA); Adaptation and Self-Organizing Systems (nlin.AO)
We develop information theory for the temporal behavior of memoryful agents moving through complex -- structured, stochastic -- environments. We introduce and explore information processes -- stochastic processes produced by cognitive agents in real-time as they interact with and interpret incoming stimuli. We provide basic results on the ergodicity and semantics of the resulting time series of Shannon information measures that monitor an agent's adapting view of uncertainty and structural correlation in its environment.
- [281] arXiv:2505.22480 (replaced) [pdf, other]
-
Title: Hybrid High-Order formulations with turbulence modelling capabilities for incompressible flow problemsSubjects: Fluid Dynamics (physics.flu-dyn); Numerical Analysis (math.NA)
We propose a Hybrid High-Order (HHO) formulation of the incompressible Navier--Stokes equations, that is well suited to be employed for the simulation of turbulent flows. The spatial discretization relies on hybrid velocity and pressure spaces and the temporal discretization is based on Explicit Singly Diagonal Implicit Runge-Kutta (ESDIRK) methods. The formulation possesses some attractive features that can be fruitfully exploited when high-fidelity computations are required, namely: pressure-robustness, conservation of mass enforced cell-by-cell up to machine precision, robustness in the inviscid limit, implicit high-order accurate time stepping with local time step adaptation, reduced memory footprint thanks to static condensation of both velocity and pressure, possibility to exploit inherited $p$-multilevel solution strategies to improve performance of iterative solvers. After demonstrating the relevant properties of the scheme in practice, performing challenging 2D and 3D test cases, we consider the simulation of the Taylor--Green Vortex flow problem at Reynolds 1600.
- [282] arXiv:2506.15024 (replaced) [pdf, html, other]
-
Title: The Gardner equation and acoustic solitary waves in plasmasComments: One reference added. Minor corrections made. 19 pages, 7 figures. Paper accepted for Open Access publication in Journal of Plasma Physics 2025Subjects: Plasma Physics (physics.plasm-ph); Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI)
Ion-acoustic waves in a dusty plasma are investigated where it is assumed that the ions follow a Cairns distribution and the electrons are Boltzmann distributed. Two theoretical methods are applied: Sagdeev pseudopotential analysis (SPA) and reductive perturbation theory (RPT). Since SPA incorporates all nonlinearities of the model it is the most accurate but deriving soliton profiles requires numerical integration of Poisson's equation. By contrast, RPT is a perturbation method which at second order yields the Gardner equation incorporating both the quadratic nonlinearity of the KdV equation and the cubic nonlinearity of the modified KdV equation. For consistency with the perturbation scheme the coefficient of the quadratic term needs to be at least an order of magnitude smaller than the coefficient of the cubic term. Solving the Gardner equation yields an analytic expression of the soliton profile. Selecting an appropriate set of compositional parameters, the soliton solutions obtained from SPA and RPT are analyzed and compared.
- [283] arXiv:2507.17435 (replaced) [pdf, html, other]
-
Title: A Unified Toolbox for Multipartite Entanglement CertificationComments: 6+7 pages, 6 figures; comments are welcome!Subjects: Quantum Physics (quant-ph); Optimization and Control (math.OC)
We present a unified framework for multipartite entanglement characterization based on the conditional gradient (CG) method, incorporating both fast heuristic detection and rigorous witness construction with numerical error control. Our method enables entanglement certification in quantum systems of up to ten qubits and applies to arbitrary entanglement structures. We demonstrate its power by closing the gap between entanglement and separability bounds in white noise robustness benchmarks for a class of bound entangled states. Furthermore, the framework extends to entanglement robustness under general quantum noise channels, providing accurate thresholds in cases beyond the reach of previous algorithmic methods. These results position CG methods as a powerful tool for practical and scalable entanglement analysis in realistic experimental settings.
- [284] arXiv:2507.23059 (replaced) [pdf, html, other]
-
Title: Context-Dependent Time-Energy Uncertainty Relations from Projective Quantum MeasurementsComments: 7 pages + 2 pages supplementary material. 1 figure + 1 tableSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
We introduce a general framework for defining context-dependent time distributions in quantum systems using projective measurements. The time-of-flow (TF) distribution, derived from population transfer rates into a measurement subspace, yields a time--energy uncertainty relation of the form $\Delta \mathcal{T} \cdot \Delta H \geq \hbar / (6\sqrt{3}) \cdot \delta\theta$, where $\delta\theta$ quantifies net population transfer. This bound applies to arbitrary projectors under unitary dynamics and reveals that time uncertainty is inherently measurement-dependent. We demonstrate the framework with two applications: a general time-of-arrival (TOA)-energy uncertainty relation and a driven three-level system under detuned coherent driving. The TF framework unifies timing observables across spin, atomic, and matter-wave systems, and offers an experimentally accessible route to probing quantum timing in controlled measurements.
- [285] arXiv:2507.23392 (replaced) [pdf, html, other]
-
Title: Volatility Modeling with Rough Paths: A Signature-Based Alternative to Classical ExpansionsSubjects: Mathematical Finance (q-fin.MF); Probability (math.PR)
We compare two methodologies for calibrating implied volatility surfaces: a second-order asymptotic expansion method derived via Malliavin calculus, and a data-driven approach based on path signatures from rough path theory. The former, developed in Alòs et al. (2015), yields efficient and accurate calibration formulas under the assumption that the asset price follows a Heston-type stochastic volatility model. The latter models volatility as a linear functional of the signature of a primary stochastic process, enabling a flexible approximation without requiring a specific parametric form.
Our numerical experiments show that the signature-based method achieves calibration accuracy comparable to the asymptotic approach when the true dynamics are Heston. We then test the model in a more general setting where the asset follows a rough Bergomi volatility process-a regime beyond the scope of the asymptotic expansion-and show that the signature approach continues to deliver accurate results. These findings highlight the model-independence, robustness and adaptability of signature-based calibration methods in settings where volatility exhibits rough or non-Markovian features.