Mathematics
See recent articles
Showing new listings for Friday, 1 August 2025
- [1] arXiv:2507.22949 [pdf, html, other]
-
Title: Convergence analysis of a second-order SAV-ZEC scheme for the Cahn-Hilliard-Navier-Stokes systemSubjects: Numerical Analysis (math.NA)
Incorporating the scalar auxiliary variable (SAV) method and the zero energy contribution (ZEC) technique, we analyze a linear and fully decoupled numerical scheme for the Cahn-Hilliard-Naiver-Stokes (CHNS) system. More precisely, the fully discrete scheme combines the marker-and-cell (MAC) finite difference spatial approximation and BDF2 temporal discretization, as well as the Adams-Bashforth extrapolation for the nonlinear terms, based on the SAV-ZEC reformulation. A pressure correction approach is applied to decouple the Stokes equation. Only constant-coefficient Poisson-like solvers are needed in the implementation for the resulting numerical system. The numerical scheme is unconditionally stable with respect to a rewritten total energy functional, represented in terms of one auxiliary variable in the double-well potential, another auxiliary variable to balance all the nonlinear and coupled terms, the surface energy in the original phase variable, combined with the kinematic energy part. Specifically, the error estimate for the phase variable in the $\ell^{\infty}(0,T;H_h^1)\cap\ell^2(0,T;H_h^3)$ norm, the velocity variable in the $\ell^{\infty}(0,T;\ell^2)\cap\ell^2(0,T;H_h^1)$ norm, is derived with optimal convergence rates.
- [2] arXiv:2507.22957 [pdf, html, other]
-
Title: Domination, matching and transversal numbers for Berge-$G$ hypergraphsSubjects: Combinatorics (math.CO)
Let $G=(V(G),E(G))$ be a graph and $H=(V(H),E(H))$ be a hypergraph. The hypergraph $H$ is a {\it Berge-G} if there is a bijection $f : E(G) \mapsto E(H)$ such that for each $e \in E(G)$ we have $e \subseteq f(e)$. We define {\it dilations of $G$} as a particular subfamily of not necessarily uniform Berge-$G$ hypergraphs. We examine domination, matching and transversal numbers and some relation between these parameters in that family of hypergraphs.
Our work generalizes previous results concerning generalized power hypergraphs. - [3] arXiv:2507.22961 [pdf, html, other]
-
Title: On the Explicit Expression of an Extended Version of Riemann Zeta FunctionComments: 24 pages, 0 figuresSubjects: General Mathematics (math.GM)
In this paper, we focus on the explicit expression of an extended version of Riemann zeta function. We use two different methods, Mellin inversion formula and Cauchy's residue theorem, to calculate a Mellin-Barnes type integral of the analytic function regarding $z$: $\Gamma(z)\Gamma(s-z)u^{-z}$ ($u\in (0,1)$, $s\in \mathbb{C}$). We provide the necessary background on the analytic properties of Gamma and Riemann zeta function to confirm the absolute convergence of this Mellin-Barnes integral. Next, we represent the extended version of Riemann zeta function $\sum_{m=1}^{\infty}\sum_{n=1}^{\infty}{(m+n)^{-s}}$ using the following complex integral where the real part of $s$ is larger than 2 and $c>1$ is chosen to make $\Re(s)-c$ larger than 1. $$\Gamma(s)\sum_{m=1}^{\infty}\sum_{n=1}^{\infty}{(m+n)^{-s}}=\frac{1}{2\pi i} \int_{c - i\infty}^{c + i\infty} \zeta(z) \zeta(s - z) \Gamma(z) \Gamma(s - z) \, dz$$ We provide the evaluation of this integral by changing the integration path from straight line $\Re(z)=c$ into a rectangular contour whose left side is positioned at negative infinity. We apply the functional equation of Riemann zeta function, Euler's reflection formula, and Legendre's duplication formula to evaluate the integral segment through $\Re(z)=-\infty$. After introducing Hurwitz zeta function and properly calculating the difference between the sum of residues in two analogous rectangular contours, we finalize the evaluation. Lastly, we demonstrate the connection of this result with other intricate integrals involving special functions, such as the hyperbolic function. Additionally, we discuss its applications in deriving explicit expressions for the Barnes zeta function.
- [4] arXiv:2507.23023 [pdf, html, other]
-
Title: On lacunarity and uniqueness for $p$-ary analogues of Rademacher chaosComments: 14 pages, in Russian languageSubjects: Classical Analysis and ODEs (math.CA)
For two systems of functions that are p-ary analogues of Rademacher chaos, their q-lacunarity is proved and their uniqueness sets are studied.
- [5] arXiv:2507.23024 [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.
- [6] arXiv:2507.23029 [pdf, html, other]
-
Title: A CPFSK Transceiver with Hybrid CSS-DSSS Spreading for LPWAN PHY CommunicationComments: 15 pages, 12 figures, and 4 tables. To appear in IEEE Internet of Things JournalSubjects: Information Theory (cs.IT)
Traditional low-power wide-area network (LPWAN) transceivers typically compromise data rates to achieve deep coverage. This paper presents a novel transceiver that achieves high receiver sensitivity and low computational complexity. At the transmitter, we replace the conventional direct sequence spread spectrum (DSSS) preamble with a chirp spread spectrum (CSS) preamble, consisting of a pair of down-chirp and up-chirp signals that are conjugate to each other, simplifying packet synchronization. For enhanced coverage, the payload incorporates continuous phase frequency shift keying (CPFSK) to maintain a constant envelope and phase continuity, in conjunction with DSSS to achieve a high spreading gain. At the receiver, we develop a double-peak detection method to improve synchronization and a non-coherent joint despreading and demodulation scheme that increases receiver sensitivity while maintaining simplicity in implementation. Furthermore, we optimize the preamble detection threshold and spreading sequences for maximum non-coherent receiver performance. The software-defined radio (SDR) prototype, developed using GNU Radio and USRP, along with operational snapshots, showcases its practical engineering applications. Extensive Monte Carlo simulations and field-test trials demonstrate that our transceiver outperforms traditional ones in terms of receiver sensitivity, while also being low in complexity and cost-effective for LPWAN requirements.
- [7] arXiv:2507.23039 [pdf, html, other]
-
Title: Character theoretic techniques for nonabelian partial difference setsSubjects: Combinatorics (math.CO)
A $(v,k,\lambda, \mu)$-partial difference set (PDS) is a subset $D$ of size $k$ of a group $G$ of order $v$ such that every nonidentity element $g$ of $G$ can be expressed in either $\lambda$ or $\mu$ different ways as a product $xy^{-1}$, $x, y \in D$, depending on whether or not $g$ is in $D$. If $D$ is inverse closed and $1 \notin D$, then the Cayley graph ${\rm Cay}(G,D)$ is a $(v,k,\lambda, \mu)$-strongly regular graph (SRG). PDSs have been studied extensively over the years, especially in abelian groups, where techniques from character theory have proven to be particularly effective. Recently, there has been considerable interest in studying PDSs in nonabelian groups, and the purpose of this paper is develop character theoretic techniques that apply in the nonabelian setting. We prove that analogues of character theoretic results of Ott about generalized quadrangles of order $s$ also hold in the general PDS setting, and we are able to use these techniques to compute the intersection of a putative PDS with the conjugacy classes of the parent group in many instances. With these techniques, we are able to prove the nonexistence of PDSs in numerous instances and provide severe restrictions in cases when such PDSs may still exist. Furthermore, we are able to use these techniques constructively, computing several examples of PDSs in nonabelian groups not previously recognized in the literature, including an infinite family of genuinely nonabelian PDSs associated to the block-regular Steiner triple systems originally studied by Clapham and related infinite families of genuinely nonabelian PDSs associated to the block-regular Steiner $2$-designs first studied by Wilson.
- [8] arXiv:2507.23041 [pdf, html, other]
-
Title: On the densities of covering numbers and abundant numbersSubjects: Number Theory (math.NT)
We investigate the densities of the sets of abundant numbers and of covering numbers, integers $n$ for which there exists a distinct covering system where every modulus divides $n$. We establish that the set $\mathcal{C}$ of covering numbers possesses a natural density $d(\mathcal{C})$ and prove that $0.103230 < d(\mathcal{C}) < 0.103398.$ Our approach adapts methods developed by Behrend and Deléglise for bounding the density of abundant numbers, by introducing a function $c(n)$ that measures how close an integer $n$ is to being a covering number with the property that $c(n) \leq h(n) = \sigma(n)/n$. However, computing $d(\mathcal{C})$ to three decimal digits requires some new ideas to simplify the computations. As a byproduct of our methods, we obtain significantly improved bounds for $d(\mathcal{A})$, the density of abundant numbers, namely $0.247619608 < d(\mathcal{A}) < 0.247619658$. We also show the count of primitive covering numbers up to $x$ is $O\left( x\exp\left(\left(-\tfrac{1}{2\sqrt{\log 2}} + \epsilon\right)\sqrt{\log x} \log \log x\right)\right)$, which is substantially smaller than the corresponding bound for primitive abundant numbers.
- [9] arXiv:2507.23046 [pdf, html, other]
-
Title: Quantum Hamming MetricsComments: 28 pages. Comments very welcomeSubjects: Operator Algebras (math.OA); Mathematical Physics (math-ph); Functional Analysis (math.FA)
Given the set of words of a given length for a given alphabet, the Hamming metric between two such words is the number of positions where the two words differ. A quantum version of the corresponding Kantorovich-Wasserstein metric on states was introduced in 2021 by De Palma, Marvian, Trevisan and Lloyd. For the quantum version the alphabet is replaced by a full matrix algebra, and the set of words is replaced by the tensor product of a corresponding number of copies of that full matrix algebra. While De Palma et al. work primarily at the level of states, they do obtain the corresponding seminorm (the quantum Hamming metric) on the algebra of observables that plays the role of assigning Lipschitz constants to functions. A suitable such seminorm on a unital C*-algebra is the current common method for defining a quantum metric on a C*-algebra.
In this paper we will reverse the process, by first expressing the Hamming metric in terms of the C*-algebra of functions on the set of words, and then dropping the requirement that the algebra be commutative so as to obtain the quantum Hamming metric. From that we obtain the corresponding Kantorovich-Wasserstein metric on states. Along the way we show that many of the steps can be put in more general forms of some interest, notably for infinite-dimensional C*-algebras. - [10] arXiv:2507.23049 [pdf, other]
-
Title: Generalized Multiple Operator Integrals and Perturbation Theory for Operators with Continuous SpectraSubjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
Operators with continuous spectra naturally arise in spectral theory, quantum mechanics, automorphic forms, and noncommutative geometry. However, analyzing such operators, particularly in the non-selfadjoint setting, remains challenging due to spectral instability and the lack of an orthonormal basis. This work advances the theory of Multiple Operator Integrals (MOIs) by developing a unified framework for generalized MOIs (GMOIs) associated with general (non-normal, non-selfadjoint) operators possessing continuous spectra. Building on prior work in Generalized Double Operator Integrals (GDOIs) and finite dimensional GMOIs, we extend the theory to include: the formulation of GMOIs in the continuous spectrum setting, their algebraic structure, continuity properties, norm and Lipschitz estimates, and a perturbation formula that generalizes classical results. As a key application, we derive a Krein-type spectral shift formula for GDOIs in the continuous spectrum setting and further extend it to arbitrary-order approximations. These contributions provide a foundation for broader developments in spectral theory, operator algebras, noncommutative geometry, and noncommutative analysis.
- [11] arXiv:2507.23054 [pdf, html, other]
-
Title: Adaptive direct search algorithms for constrained optimizationSubjects: Optimization and Control (math.OC)
Two families of directional direct search methods have emerged in derivative-free and blackbox optimization (DFO and BBO), each based on distinct principles: Mesh Adaptive Direct Search (MADS) and Sufficient Decrease Direct Search (SDDS). MADS restricts trial points to a mesh and accepts any improvement, ensuring none are missed, but at the cost of restraining the placement of trial points. SDDS allows greater freedom by evaluating points anywhere in the space, but accepts only those yielding a sufficient decrease in the objective function value, which may lead to discarding improving points.
This work introduces a new class of methods, Adaptive Direct Search (ADS), which uses a novel acceptance rule based on the so-called punctured space, avoiding both meshes and sufficient decrease conditions. ADS enables flexible search while addressing the limitations of MADS and SDDS, and retains the theoretical foundations of directional direct search. Computational results in constrained and unconstrained settings highlight its performance compared to both MADS and SDDS. - [12] arXiv:2507.23055 [pdf, html, other]
-
Title: Regularity in Linear Degenerations of Flag VarietyComments: 16 pages, comments are welcome!Subjects: Algebraic Geometry (math.AG); Representation Theory (math.RT)
In this article we investigate the regularity properties of linear degenerations of flag varieties. We classify the linear degenerations of (partial) flag varieties that are smooth. Furthermore, we study the singular locus of irreducible degenerations and provide estimates for its dimension. We also introduce a new stratification of the total space of representations. Within each stratum, we identify the loci corresponding to flat and flat irreducible degenerations. As a consequence of our results, we show that irreducible linear degenerations are normal varieties.
- [13] arXiv:2507.23075 [pdf, html, other]
-
Title: Direct Products for the Hamiltonian Density PropertySubjects: Complex Variables (math.CV)
We show that the direct product of two Stein manifolds with the Hamiltonian density property enjoys the Hamiltonian density property as well. We investigate the relation between the Hamiltonian density property and the symplectic density property. We then establish the Hamiltonian and the symplectic density property for $(\mathbb{C}^\ast)^{2n}$ and for the so-called traceless Calogero--Moser spaces. As an application we obtain a Carleman-type approximation for Hamiltonian diffeomorphisms of a real form of the traceless Calogero--Moser space.
- [14] arXiv:2507.23081 [pdf, html, other]
-
Title: Characterization of Ergodic Measures of Maximal Entropy for Topologically Transitive Partially Hyperbolic Diffeomorphisms with compact center leavesComments: In preparation for journal submissionSubjects: Dynamical Systems (math.DS)
In this paper, we provide an upper bound on the number of maximal entropy ergodic measures with zero Lyapunov exponent for topologically transitive partially hyperbolic diffeomorphisms with compact one-dimensional center leaves on $\mathbb{T}^3$. Furthermore, we establish a comprehensive characterization of the support of these measures.
- [15] arXiv:2507.23089 [pdf, html, other]
-
Title: A generalized Birkhoff-James orthogonality and norm parallelism in unital $C^*$-algebras and their characterizationsComments: 18 pages, It is final version of the paper accepted for publication in commentationes mathematicae universitatis carolinaeSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
We introduced and study a family of generalized norm on $C^*$-algebras and the notion of Birkhoff-James orthogonality and norm-parallelism with respect to these family of generalized norms are investigated.
- [16] arXiv:2507.23090 [pdf, html, other]
-
Title: Isomorphism for the Holonomy Group of a K-Contact Sub-Riemannian SpaceSubjects: Differential Geometry (math.DG)
The holonomy group of the adapted connection on a K-contact Riemannian manifold $(M, \theta, g)$ is considered. It is proved that if the orbit space $M/\xi$ of the Reeb field $\xi$ action admits a manifold structure, then the holonomy group of the adapted connection on $M$ is isomorphic to the holonomy group of the Levi-Civita connection on the Riemannian manifold $(M/\xi, h)$, where $h$ is the induced Riemannian metric on $M/\xi$. Thanks to this result, a simple proof of the de Rham theorem for the case of K-contact sub-Riemannian manifolds is obtained, stating that if the holonomy group of the adapted connection on $M$ is not irreducible, then the orbit space $M/\xi$ is locally a product of Riemannian manifolds.
- [17] arXiv:2507.23094 [pdf, html, other]
-
Title: Stability-Constrained AC Optimal Power Flow -- A Gaussian Process-Based ApproachComments: 12 pagesSubjects: Optimization and Control (math.OC)
The Alternating Current Optimal Power Flow (ACOPF) problem is a core task in power system operations, aimed at determining cost-effective generation dispatch while satisfying physical and operational constraints. However, conventional ACOPF formulations rely on steady-state models and neglect the dynamic behavior of generators, which can lead to operating points that are economically optimal but dynamically unstable. This paper proposes a novel, data-driven approach to incorporate generator dynamics into the ACOPF using Gaussian Process (GP) models. Specifically, it introduces an exponential surrogate function to characterize the stability of solutions to the differential equations governing synchronous generator dynamics. The exponent, which indicates whether system trajectories decay (stable) or grow (unstable), is learned as a function of the bus voltage using GP regression. Crucially, the framework enables probabilistic stability assessment to be integrated directly into the optimization process. The resulting dynamics-aware ACOPF formulation identifies operating points that satisfy both operational safety and dynamic stability criteria. Numerical experiments on the IEEE 39-bus, 57-bus, and 118-bus systems demonstrate that the proposed method efficiently captures generator dynamics using limited training data, leading to more reliable and robust decisions across a wide range of operating conditions.
- [18] arXiv:2507.23099 [pdf, html, other]
-
Title: Hybrid Shifted Gegenbauer Integral-Pseudospectral Method for Solving Time-Fractional Benjamin-Bona-Mahony-Burgers EquationSubjects: Numerical Analysis (math.NA)
This paper presents a high-order hybrid shifted Gegenbauer integral-pseudospectral (HSG-IPS) method for solving the time-fractional Benjamin-Bona-Mahony-Burgers (FBBMB) equation. A key innovation of our approach is the transformation of the original equation into a fractional partial-integro differential form that contains only a first-order derivative, which can be accurately approximated using a first-order shifted Gegenbauer differentiation matrix (SGDM), while all other terms in the transformed equation are resolved using highly accurate quadrature rules. The method combines several advanced numerical techniques including the shifted Gegenbauer pseudospectral (SGPS) method, Gegenbauer-based fractional approximation (GBFA), shifted Gegenbauer integration matrix (SGIM), shifted Gegenbauer integration row vector (SGIRV), and SGDM to achieve spectral accuracy. Numerical experiments demonstrate that the HSG-IPS method outperforms existing numerical approaches, achieving significantly lower average absolute errors (AAEs) with computational times as low as 0.04-0.05 seconds. The method's robustness is validated across various fractional orders, showing excellent agreement with analytical solutions. The transformation strategy effectively circumvents the numerical instability associated with direct approximation of high-order derivatives in the original equation, while the use of shifted Gegenbauer (SG) polynomials and barycentric representations ensures numerical stability and efficiency. This work provides a powerful computational framework for modeling wave propagation, dispersion, and nonlinearity in fractional calculus applications.
- [19] arXiv:2507.23102 [pdf, other]
-
Title: Nonzero $\mathfrak{n}$ cohomology of Totally Degenerate Limit of Discrete Series representationsSubjects: Number Theory (math.NT)
We show that a totally degenerate limit of discrete series representation admits a choice of n cohomology group that is nonvanishing at a canonically defined degree. We then show that the combinatorial complexes used by Soergel to compute these cohomology groups satisfies Serre duality. We conclude that this produces two n cohomology groups, each for a totally degenerate limit of discrete series of U(n+1) and U(n), which are nonvanishing at the same degree. This suggests Gan Gross Prasad type branching laws for the TDLDS of unitary groups of any rank.
- [20] arXiv:2507.23123 [pdf, html, other]
-
Title: Mean-field approximation, Gibbs relaxation, and cross estimatesComments: 28 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Probability (math.PR)
This work focuses on the propagation of chaos and the relaxation to Gibbs equilibrium for a system of $N$ classical Brownian particles with weak mean-field interactions. While it is known that propagation of chaos holds at rate $O(N^{-1})$ uniformly in time, and Gibbs relaxation at rate $O(e^{-ct})$ uniformly in $N$, we go a step further by showing that the cross error between chaos propagation and Gibbs relaxation is $O(N^{-1}e^{-ct})$. For translation-invariant systems on the torus, this leads to an improved mean-field approximation error at the level of the one-particle density: the error decreases from $O(N^{-1})$ to $O(N^{-1}e^{-ct})$. Our approach relies on a detailed analysis of the BBGKY hierarchy for correlation functions, and applies to both underdamped and overdamped Langevin dynamics with merely bounded interaction forces. We also derive new results on Gibbs relaxation and present partial extensions beyond the weak interaction regime.
- [21] arXiv:2507.23133 [pdf, html, other]
-
Title: Generic conservative dynamics on Stein manifolds with the volume density propertySubjects: Complex Variables (math.CV); Dynamical Systems (math.DS)
We study the dynamics of generic volume-preserving automorphisms $f$ of a Stein manifold $X$ of dimension at least 2 with the volume density property. Among such $X$ are all connected linear algebraic groups (except $\mathbb{C}$ and $\mathbb{C}^*$) with a left- or right-invariant Haar form. We show that a generic $f$ is chaotic and of infinite topological entropy, and that the transverse homoclinic points of each of its saddle periodic points are dense in $X$. We present analogous results with similar proofs in the non-conservative case. We also prove the Kupka-Smale theorem in the conservative setting.
- [22] arXiv:2507.23140 [pdf, html, other]
-
Title: Learning Smooth Populations of Parameters with Trial HeterogeneitySubjects: Statistics Theory (math.ST); Applications (stat.AP)
We consider the classical problem of estimating the mixing distribution of binomial mixtures, but under trial heterogeneity and smoothness. This problem has been studied extensively when the trial parameter is homogeneous, but not under the more general scenario of heterogeneous trials, and only within a low smoothness regime, where the resulting rates are slow. Under the assumption that the density is s-smooth, we derive fast error rates for the kernel density estimator under trial heterogeneity that depend on the harmonic mean of the trials. Importantly, even when reduced to the homogeneous case, our result improves on the state-of-the-art rate of Ye and Bickel (2021). We also study nonparametric estimation of the difference between two densities, which can be smoother than the individual densities, in both i.i.d. and binomial-mixture settings. Our work is motivated by an application in criminal justice: comparing conviction rates of indigent representation in Pennsylvania. We find that the estimated conviction rates for appointed counsel (court-appointed private attorneys) are generally higher than those for public defenders, potentially due to a confounding factor: appointed counsel are more likely to take on severe cases.
- [23] arXiv:2507.23152 [pdf, html, other]
-
Title: Local presentability and monadicity of forgetful functors for operator algebraic categoriesComments: 18 pages + referencesSubjects: Category Theory (math.CT); Functional Analysis (math.FA); Operator Algebras (math.OA)
In recent work of Lindenhovius and Zamdzhiev, it was established that the category of complete operator spaces, with completely contractive linear maps as morphisms, is locally countably presentable. In this work, we extend their conclusion to the non-complete setting and prove that the categories of operator systems, (Archimedean) order unit spaces, and unital operator algebras are all locally countably presentable as well. This is established through an analysis of forgetful functors and the identification of Eilenberg-Moore categories. We provide a complete understanding of adjunction and monadicity for forgetful functors between these categories, together with the categories of $C^*$-algebras, Banach spaces, and normed spaces. In addition, for various subcategories of function-theoretic objects, we investigate completeness and local presentability through Kadison's duality theorem.
- [24] arXiv:2507.23155 [pdf, html, other]
-
Title: On the Complexity of Finding Stationary Points in Nonconvex Simple Bilevel OptimizationSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
In this paper, we study the problem of solving a simple bilevel optimization problem, where the upper-level objective is minimized over the solution set of the lower-level problem. We focus on the general setting in which both the upper- and lower-level objectives are smooth but potentially nonconvex. Due to the absence of additional structural assumptions for the lower-level objective-such as convexity or the Polyak-Łojasiewicz (PL) condition-guaranteeing global optimality is generally intractable. Instead, we introduce a suitable notion of stationarity for this class of problems and aim to design a first-order algorithm that finds such stationary points in polynomial time. Intuitively, stationarity in this setting means the upper-level objective cannot be substantially improved locally without causing a larger deterioration in the lower-level objective. To this end, we show that a simple and implementable variant of the dynamic barrier gradient descent (DBGD) framework can effectively solve the considered nonconvex simple bilevel problems up to stationarity. Specifically, to reach an $(\epsilon_f, \epsilon_g)$-stationary point-where $\epsilon_f$ and $\epsilon_g$ denote the target stationarity accuracies for the upper- and lower-level objectives, respectively-the considered method achieves a complexity of $\mathcal{O}\left(\max\left(\epsilon_f^{-\frac{3+p}{1+p}}, \epsilon_g^{-\frac{3+p}{2}}\right)\right)$, where $p \geq 0$ is an arbitrary constant balancing the terms. To the best of our knowledge, this is the first complexity result for a discrete-time algorithm that guarantees joint stationarity for both levels in general nonconvex simple bilevel problems.
- [25] arXiv:2507.23156 [pdf, html, other]
-
Title: Isosystolic Inequalities for Holomorphic Chains in $\mathbb{C}P^{n}$Comments: 25 pagesSubjects: Differential Geometry (math.DG); Complex Variables (math.CV)
We introduce the \emph{holomorphic $k$-systole} of a Hermitian metric on $\mathbb{C}P^n$, defined as the infimum of areas of homologically non-trivial holomorphic $k$-chains. Our main result establishes that, within the set of Gauduchon metrics, the Fubini-Study metric locally minimizes the volume-normalized holomorphic $(n-1)$-systole. As an application, we construct Gauduchon metrics on $\mathbb{C}P^2$ arbitrarily close to the Fubini-Study metric whose homological $2$-systole is realized by non-holomorphic chains.
- [26] arXiv:2507.23164 [pdf, html, other]
-
Title: A remark on equivariant Riemannian isometric embeddings preserving symmetriesSubjects: Differential Geometry (math.DG)
This remark pertains to isometric embeddings endowed with certain geometric properties. We study two embeddings problems for the universal cover $M$ of an $n$-dimensional Riemannian torus $(\TT^n,g)$. The first concerns the existence of an isometric embedding of $M$ into a bounded subset of some Euclidean space $\RR^{D_1}$, and the second one seeks an isometric embdding of $M$ that is equivariant with respect to the deck transformation group of covering map. By using a known trick in a novel way, our idea yields results with $D_1 = N+2n$ and $D_2 = N+n$, where $N$ is the Nash dimension of $\TT^n$. However, we doubt whether these bounds are optimal.
- [27] arXiv:2507.23171 [pdf, other]
-
Title: McKay quivers of small finite subgroups of $GL(2,\mathbb{C})$Comments: 37 pages, 10 tables, 11 figuresSubjects: Representation Theory (math.RT); Combinatorics (math.CO); Group Theory (math.GR)
We explicitly compute the McKay quivers of small finite subgroups of $GL(2,\mathbb{C})$ relative to the natural representation, using character theory and the McKay quivers of finite subgroups of $SU(2)$. We present examples that shows the rich symmetry and combinatorial structure of these quivers. We compare our results with the MacKay quivers computed by Auslander and Reiten.
- [28] arXiv:2507.23175 [pdf, html, other]
-
Title: Optimal compressed sensing for mixing stochastic processesSubjects: Information Theory (cs.IT); Dynamical Systems (math.DS); Probability (math.PR)
Jalali and Poor introduced an asymptotic framework for compressed sensing of stochastic processes, demonstrating that any rate strictly greater than the mean information dimension serves as an upper bound on the number of random linear measurements required for (universal) almost lossless recovery of $\psi^*$-mixing processes, as measured in the normalized $L^2$ norm. In this work, we show that if the normalized number of random linear measurements is strictly less than the mean information dimension, then almost lossless recovery of a $\psi^*$-mixing process is impossible by any sequence of decompressors. This establishes the mean information dimension as the fundamental limit for compressed sensing in this setting (and, in fact, the precise threshold for the problem). To this end, we introduce a new quantity, related to techniques from geometric measure theory: the correlation dimension rate, which is shown to be a lower bound for compressed sensing of arbitrary stationary stochastic processes.
- [29] arXiv:2507.23179 [pdf, html, other]
-
Title: Cyclotomy, cyclotomic cosets and arimetic propeties 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.
- [30] arXiv:2507.23180 [pdf, html, other]
-
Title: The Construction of Near-optimal Universal Coding of IntegersSubjects: Information Theory (cs.IT)
Universal Coding of Integers (UCI) is suitable for discrete memoryless sources with unknown probability distributions and infinitely countable alphabet sizes. The UCI is a class of prefix codes, such that the ratio of the average codeword length to $\max\{1, H(P)\}$ is within a constant expansion factor $K_{\mathcal{C}}$ for any decreasing probability distribution $P$, where $H(P)$ is the entropy of $P$. For any UCI code $\mathcal{C}$, define \emph{the minimum expansion factor} $K_{\mathcal{C}}^{*}$ to represent the infimum of the set of extension factors of $\mathcal{C}$. Each $\mathcal{C}$ has a unique corresponding $K_{\mathcal{C}}^{*}$, and the smaller $K_{\mathcal{C}}^{*}$ is, the better the compression performance of $\mathcal{C}$ is. A class of UCI $\mathcal{C}$ (or family $\{\mathcal{C}_i\}_{i=1}^{\infty}$) achieving the smallest $K_{\mathcal{C}}^{*}$ is defined as the \emph{optimal UCI}. The best result currently is that the range of $C_{\mathcal{C}}^{*}$ for the optimal UCI is $2\leq C_{\mathcal{C}}^{*}\leq 2.5$. In this paper, we prove that there exists a class of near-optimal UCIs, called $\nu$ code, to achieve $K_\nu=2.0386$. This narrows the range of the minimum expansion factor for optimal UCI to $2\leq C_{\mathcal{C}}^{*}\leq 2.0386$. Another new class of UCI, called $\Delta\delta$ code, is specifically constructed. We show that the $\Delta\delta$ code and $\nu$ code are currently optimal in terms of minimum expansion factor. In addition, we propose a new proof that shows the minimum expansion factor of the optimal UCI is lower bounded by $2$.
- [31] arXiv:2507.23182 [pdf, html, other]
-
Title: Binary matroids and degree-boundedness for pivot-minorsComments: 11 pages, 2 figuresSubjects: Combinatorics (math.CO)
We prove that for every bipartite graph $H$ and positive integer $s$, the class of $K_{s,s}$-subgraph-free graphs excluding $H$ as a pivot-minor has bounded average degree. Our proof relies on the announced binary matroid structure theorem of Geelen, Gerards, and Whittle.
Along the way, we also prove that every $K_{s,t}$-free bipartite circle graph with $s\le t$ has a vertex of degree at most $\max\{2s-2, t-1\}$ and provide examples showing that this is tight. - [32] arXiv:2507.23195 [pdf, html, other]
-
Title: $hp$-adaptive finite element simulation of a static anti-plane shear crack in a nonlinear strain-limiting elastic solidSubjects: Numerical Analysis (math.NA)
An $hp$-adaptive continuous Galerkin finite element method is developed to analyze a static anti-plane shear crack embedded in a nonlinear, strain-limiting elastic body. The geometrically linear material is described by a constitutive law relating stress and strain that is algebraically nonlinear. In this investigation, the constitutive relation utilized is \textit{uniformly bounded}, \textit{monotone}, \textit{coercive}, and \textit{Lipschitz continuous}, ensuring the well-posedness of the mathematical model. The governing equation, derived from the balance of linear momentum coupled with the nonlinear constitutive relationship, is formulated as a second-order quasi-linear elliptic partial differential equation. For a body with an edge crack, this governing equation is augmented with a classical traction-free boundary condition on the crack faces. An $hp$-adaptive finite element scheme is proposed for the numerical approximation of the resulting boundary value problem. The adaptive strategy is driven by a dual-component error estimation scheme: mesh refinement ($h$-adaptivity) is guided by a residual-based a posteriori error indicator of the \textit{Kelly type}, while the local polynomial degree ($p$-adaptivity) is adjusted based on an estimator of the local solution regularity. The performance, accuracy, and convergence characteristics of the proposed method are demonstrated through numerical experiments. The structure of the regularized crack-tip fields is examined for various modeling parameters. Furthermore, the presented framework establishes a robust foundation for extension to more complex and computationally demanding problems, including quasi-static and dynamic crack propagation in brittle materials.
- [33] arXiv:2507.23199 [pdf, html, other]
-
Title: Error analysis of the projected PO method with additive inflation for the partially observed Lorenz 96 modelSubjects: Numerical Analysis (math.NA); Dynamical Systems (math.DS)
We consider the filtering problem with the partially observed Lorenz 96 model. Although the accuracy of the 3DVar filter applied to this problem has been established, that of the EnKF has not yet been. This study aims to establish the error bound of a variant of the EnKF, known as the PO method. By introducing the additive inflation and a projection of the background covariance to the observation space, we establish the error bound of the PO method. A numerical example validates theoretical findings and shows the potential to extend the analysis.
- [34] arXiv:2507.23200 [pdf, html, other]
-
Title: Efficient DFT of Zadoff-Chu Sequences using lmFH PatternComments: 8 pages, 7 figuresSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Having established that Zadoff-Chu (ZC) sequences are inherently linear micro-frequency hopping (lmFH) symbols, this paper first presents an intuitive and visual exposition of the computation of the DFT and IDFT of ZC sequences using the lmFH pattern. This yields interesting results. Subsequently, an alternative form for computing the cumulative sum of ZC sequences using the Generalized Quadratic Gauss Sum is introduced. Furthermore, building on the micro-frequency hopping (mFH) concept, this paper shows that the DFT of ZC sequences can be transformed into an lmFH symbol with frequency shift and phase offset. Therefore, the DFT of ZC sequences can be computed via cumulative frequency points, similar to the computation of normal mFH symbols.
- [35] arXiv:2507.23207 [pdf, html, other]
-
Title: Improved Analysis of Khatri-Rao Random Projections and ApplicationsComments: 27 pages and 4 figuresSubjects: Numerical Analysis (math.NA)
Randomization has emerged as a powerful set of tools for large-scale matrix and tensor decompositions. Randomized algorithms involve computing sketches with random matrices. A prevalent approach is to take the random matrix as a standard Gaussian random matrix, for which the theory is well developed. However, this approach has the drawback that the cost of generating and multiplying by the random matrix can be prohibitively expensive. Khatri-Rao random projections (KRPs), obtained by sketching with Khatri-Rao products of random matrices, offer a viable alternative and are much cheaper to generate. However, the theoretical guarantees of using KRPs are much more pessimistic compared to their accuracy observed in practice. We attempt to close this gap by obtaining improved analysis of the use of KRPs in matrix and tensor low-rank decompositions. We propose and analyze a new algorithm for low-rank approximations of block-structured matrices (e.g., block Hankel) using KRPs. We also develop new algorithms to accelerate tensor computations in the Tucker format using KRPs, and give theoretical guarantees of the resulting low-rank approximations. Numerical experiments on synthetic and real-world tensors show the computational benefits of the proposed methods.
- [36] arXiv:2507.23213 [pdf, html, other]
-
Title: Unstable elements in cohomology and a question of LescotComments: 25 pagesSubjects: Commutative Algebra (math.AC)
In his work on the Bass series of syzygy modules of modules over a commutative noetherian local ring $R$, Lescot introduces a numerical invariant, denoted $\sigma(R)$, and asks whether it is finite for any $R$. He proves that this is so when $R$ is Gorenstein or Golod. In the present work many new classes of rings $R$ for which $\sigma(R)$ is finite are identified. The new insight is that $\sigma(R)$ is related to the natural map from the usual cohomology of the module to its stable cohomology, which permits the use of multiplicative structures to study the question of finiteness of $\sigma(R)$.
- [37] arXiv:2507.23222 [pdf, other]
-
Title: Weighted $K$-$k$-Schur functions and their application to the $K$-$k$-Schur alternating conjectureComments: 23 pagesSubjects: Combinatorics (math.CO)
We introduce the new concept of weighted $K$-$k$-Schur functions -- a novel family within the broader class of Katalan functions -- that unifies and extends both $K$-$k$-Schur functions and closed $k$-Schur Katalan functions. This new notion exhibits a fundamental alternating property under certain conditions on the indexed $k$-bounded partitions. As a central application, we resolve the $K$-$k$-Schur alternating conjecture -- posed by Blasiak, Morse, and Seelinger in 2022 -- for a wide class of $k$-bounded partitions, including all strictly decreasing $k$-bounded partitions. Our results shed new light on the combinatorial structure of $K$-theoretic symmetric functions.
- [38] arXiv:2507.23228 [pdf, html, other]
-
Title: Manifold structures on highly connected Poincaré complexesSubjects: Algebraic Topology (math.AT); Geometric Topology (math.GT)
This paper constructs numerous examples of highly connected Poincaré complexes, each homotopy equivalent to a topological manifold yet not homotopy equivalent to any smooth manifold. Furthermore, we determine the homotopy type of any closed $2k$-connected framed $(4k+2)$-manifold with Kervaire invariant one for $k=7,15,31$.
- [39] arXiv:2507.23231 [pdf, html, other]
-
Title: Perfecting the Line GraphSubjects: Combinatorics (math.CO)
This paper introduces two canonical constructions that transform arbitrary finite graphs into perfect graphs: the symmetric lift $\mathrm{HL}'_2(G)$, which is purely structural and label-invariant, and the ordered lift $\mathrm{HL}_2(G)$, which depends explicitly on vertex labeling and encodes directional information. Both lifts arise as line graphs of bipartite double covers and are box-perfect.
The symmetric lift $\mathrm{HL}'_2(G)$ forms a canonical 2-cover of the line graph $L(G)$. This involution decomposes $\mathrm{HL}'_2(G)$ into symmetric and antisymmetric components: the symmetric part recovers $L(G)$, while the antisymmetric part yields a signed graph $L^-(G)$, the antisymmetric line graph, with +1/-1 edges encoding consistent vs. crossed overlaps. Thus, all adjacency and Laplacian eigenvalues of $L(G)$, with multiplicities, appear within those of $\mathrm{HL}'_2(G)$, despite $L(G)$ typically not being a subgraph.
For regular graphs such as Paley graphs, this yields infinite families of sparse, highly structured regular and box-perfect expanders that also retain large cliques. The lift retains much of the spectral expansion of the base while improving the combinatorial expansion. Much the same behavior is observed with random regular base graphs, allowing for the possibility of the study of box-perfect random regular graphs.
Finally, we generalize these constructions to parameterized lifts $\mathrm{HL}_{r,d}(G)$ and $\mathrm{HL}_{r,d}'(G)$ defined on ordered $r$-tuples connected by Hamming distance constraints, which structurally encode the base graph and remain box-perfect. - [40] arXiv:2507.23234 [pdf, html, other]
-
Title: Secure Integrated Sensing and Communication Networks: Stochastic Performance AnalysisSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This paper analyzes the stochastic security performance of a multiple-input multiple-output (MIMO) integrated sensing and communication (ISAC) system in a downlink scenario. A base station (BS) transmits a multi-functional signal to simultaneously communicate with a user, sense a target's angular location, and counteract eavesdropping threats. The attack model considers a passive single-antenna communication eavesdropper intercepting communication data, as well as a multi-antenna sensing eavesdropper attempting to infer the target's location. We also consider a malicious target scenario where the target plays the role of the communication eavesdropper. The BS-user and BS-eavesdroppers channels follow Rayleigh fading, while the target's azimuth angle is uniformly distributed. To evaluate the performance in this random network, we derive the ergodic secrecy rate (ESR) and the ergodic Cramer-Rao lower bound (CRB), for target localization, at both the BS and the sensing eavesdropper. This involves computing the probability density functions (PDFs) of the signal-to-noise ratio (SNR) and CRB, leveraging the central limit theorem for tractability. We characterize the boundary of the CRB-secrecy rate region, and interpret the performance tradeoffs between communication and sensing while guaranteeing a level of security and privacy in the random ISAC networks.
- [41] arXiv:2507.23239 [pdf, html, other]
-
Title: Existence of genus 2 minimal surfaces in 3-spheres. IComments: 104 pagesSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP); Geometric Topology (math.GT)
We prove that every 3-sphere of positive Ricci curvature contains some embedded minimal surface of genus 2.
We also establish a theorem for more general 3-manifolds that relates the existence of genus $g$ minimal surfaces to topological properties regarding the set of all embedded singular surfaces of genus $\leq g$. - [42] arXiv:2507.23241 [pdf, html, other]
-
Title: Scaling limits of multitype Bienaymé treesSubjects: Probability (math.PR); Combinatorics (math.CO)
We consider critical multitype Bienaymé trees that are either irreducible or possess a critical irreducible component with attached subcritical components. These trees are studied under two distinct conditioning frameworks: first, conditioning on the value of a linear combination of the numbers of vertices of given types; and second, conditioning on the precise number of vertices belonging to a selected subset of types. We prove that, under a finite exponential moment condition, the scaling limit as the tree size tends to infinity is given by the Brownian Continuum Random Tree. Additionally, we establish strong non-asymptotic tail bounds for the height of such trees. Our main tools include a flattening operation applied to multitype trees and sharp estimates regarding the structure of monotype trees with a given sequence of degrees.
- [43] arXiv:2507.23249 [pdf, html, other]
-
Title: Optimal Dual Frame Pairs: A Synergy with Graph TheorySubjects: Functional Analysis (math.FA)
This paper investigates the optimization of dual frame pairs in the context of erasure problems in data transmission, using a graph theoretical approach. Frames are essential for mitigating errors and signal loss due to their redundancy properties. We address the use of spectral radius and operator norm for error measurements, presenting conditions for the optimality of dual pairs for one and two erasures. Our study shows that a tight frame generated by connected graphs and its canonical dual pair is optimal for one-erasure scenarios. Additionally, we compute the spectral radius of the error operator for one and two erasures in graph-generated frames, establishing necessary conditions for dual pair optimality.
- [44] arXiv:2507.23252 [pdf, html, other]
-
Title: The bridge index and the braid index for twist positive knotsComments: 7 pagesSubjects: Geometric Topology (math.GT)
In this paper, we study the relationship between the bridge index and the braid index for twist positive knots. A knot is said to be twist positive if it admits a positive braid representative that contains at least one full twist. Motivated by a conjecture of Krishna and Morton, we investigate this relationship via the knot Floer torsion order. As a consequence, we show that the bridge index and the braid index coincide for all twist positive knots.
- [45] arXiv:2507.23259 [pdf, html, other]
-
Title: Notes on the cohomology of partial Hessenberg varietiesComments: 16 pagesSubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Combinatorics (math.CO)
Hessenberg varieties are a family of subvarieties of full flag varieties. This family contains well-known varieties such as Springer fibers, Peterson varieties, and permutohedral varieties. It was introduced by De Mari-Procesi-Shayman in 1992 and has been actively studied in this decade. In particular, unexpected relations to hyperplane arrangements and the Stanley-Stembridge conjecture in graph theory have been discovered. Hessenberg varieties can be defined in partial flag varieties. In this paper, we study their cohomology by relating them to the cohomology of Hessenberg varieties in the full flag varieties.
- [46] arXiv:2507.23264 [pdf, html, other]
-
Title: A Born Structure on the Tangent Bundle of a Hessian ManifoldComments: 9 pagesSubjects: Differential Geometry (math.DG)
The Hessian structure, introduced by Shima(1976), is a geometric structure consisting of a pair $(\nabla,g)$ of an affine connection $\nabla$ and a Riemannian metric $g$ satisfying certain conditions. On the other hand, the Born structure, introduced by Freidel et al.(2014), is a strictly stronger geometric structure than an almost (para-)Hermitian structure. Marotta and Szabo(2019) proved that for a given manifold endowed with a pair $(\nabla, g)$, one can introduce an almost Born structure on the tangent bundle. In this article, we study the equivalence between the conditions that the pair $(\nabla, g)$ defines a Hessian structure, and that the induced almost Born structure is integrable.
- [47] arXiv:2507.23285 [pdf, html, other]
-
Title: CLT in high-dimensional Bayesian linear regression with low SNRSubjects: Statistics Theory (math.ST); Probability (math.PR)
We study central limit theorems for linear statistics in high-dimensional Bayesian linear regression with product priors. Unlike the existing literature where the focus is on posterior contraction, we work under a non-contracting regime where neither the likelihood nor the prior dominates the other. This is motivated by modern high-dimensional datasets characterized by a bounded signal-to-noise ratio. This work takes a first step towards understanding limit distributions for one-dimensional projections of the posterior, as well as the posterior mean, in such regimes. Analogous to contractive settings, the resulting limiting distributions are Gaussian, but they heavily depend on the chosen prior and center around the Mean-Field approximation of the posterior. We study two concrete models of interest to illustrate this phenomenon -- the white noise design, and the (misspecified) Bayesian model. As an application, we construct credible intervals and compute their coverage probability under any misspecified prior. Our proofs rely on a combination of recent developments in Berry-Esseen type bounds for Random Field Ising models and both first and second order Poincaré inequalities. Notably, our results do not require any sparsity assumptions on the prior.
- [48] arXiv:2507.23289 [pdf, html, other]
-
Title: Wrapped Floer homology and the circular restricted three-body problemComments: 18 pagesSubjects: Symplectic Geometry (math.SG); Dynamical Systems (math.DS)
Using the wrapped Floer homology, we prove the existence of consecutive collisions at the primaries in the circular restricted three-body problem. We also prove the existence of a symmetric periodic orbit. These existence results are obtained for energy hypersurfaces slightly above the first critical value.
- [49] arXiv:2507.23290 [pdf, html, other]
-
Title: Wrapped Floer homology and subcritical handle attachmentComments: 50 pages, 4 figuresSubjects: Symplectic Geometry (math.SG)
In this expository article, we present the proof of the invariance of the wrapped Floer homology under the subcritical handle attachment. This is proved by Irie. Here, we fix a minor gap in the proof about the choice of a cofinal family of Hamiltonians. We adapt the arguments from Fauck's PhD thesis, who resolved the gap for the case of handle attachment in symplectic homology. The effect of the handle attachment on the symplectic homology was originally explored by Cieliebak.
- [50] arXiv:2507.23296 [pdf, html, other]
-
Title: Exploiting Movable Elements of Intelligent Reflecting Surface for Enhancement of Integrated Sensing and CommunicationComments: 16 pages, 13 figuresSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
In this paper, we propose to exploit movable elements of intelligent reflecting surface (IRS) to enhance the overall performance of integrated sensing and communication (ISAC) systems. Firstly, focusing on a single-user scenario, we reveal the function of movable elements by performance analysis, and then design a joint beamforming and element position optimization scheme. Further, we extend it to a general multi-user scenario, and also propose an element position optimization scheme according to the derived performance expressions. Finally, simulation results confirm that the movement of IRS elements can improve the communication rate and the sensing accuracy, and especially broaden the coverage of ISAC.
- [51] arXiv:2507.23312 [pdf, html, other]
-
Title: A note on the first Steklov eigenvalue on planar domainsSubjects: Analysis of PDEs (math.AP)
We consider the first positive Steklov eigenvalue on planar domains. First, we provide an example of a planar domain for which a first eigenfunction has a closed nodal line. Second, we establish a lower bound for the first positive eigenvalue on certain symmetric domains and show that this eigenvalue is simple for all ellipses. These results complement two statements contained in a work by Kuttler and Sigillito (Proc. Amer. Math. Soc. 20, 1969).
- [52] arXiv:2507.23338 [pdf, html, other]
-
Title: Extending bounds on minimal ranks of universal quadratic lattices to larger number fieldsComments: 9 pagesSubjects: Number Theory (math.NT)
There exist numerous results in the literature proving that within certain families of totally real number fields, the minimal rank of a universal quadratic lattice over such a field can be arbitrarily large. Kala introduced a technique of extending such results to larger fields -- e.g. from quadratic fields to fields of arbitrary even degree -- under some conditions. We present improvements to this technique by investigating the structure of subfields within composita of number fields, using basic Galois theory to translate this into a group-theoretic problem. In particular, we show that if totally real number fields with minimal rank of a universal lattice $\geq r$ exist in degree $d$, then they also exist in degree $kd$ for all $k\geq3$.
- [53] arXiv:2507.23353 [pdf, html, other]
-
Title: Killed path-dependent McKean-Vlasov SDEs for a probabilistic representation of non-conservative McKean PDEsSubjects: Probability (math.PR)
A McKean-Vlasov stochastic differential equation subject to killing associated to a regularised non-conservative and path-dependent nonlinear parabolic partial differential equation is studied. The existence and pathwise uniqueness of a strong solution and the regularity properties of its sub-probability law are proved. The density of such a law may be seen as a weak solution of the considered PDE. The well-posedness of the associated particle system is also discussed.
- [54] arXiv:2507.23363 [pdf, html, other]
-
Title: On the existence of normalized solutions to a class of fractional Choquard equation with potentialsComments: 13 pages, comments are welcomeSubjects: Analysis of PDEs (math.AP)
This paper investigates the existence of normalized solutions to the nonlinear fractional Choquard equation: $$ (-\Delta)^s u+V(x) u=\lambda u+f(x)\left(I_\alpha *\left(f|u|^q\right)\right)|u|^{q-2} u+g(x)\left(I_\alpha *\left(g|u|^p\right)\right)|u|^{p-2} u, \quad x \in \mathbb{R}^N $$ subject to the mass constraint $$ \int_{\mathbb{R}^N}|u|^2 d x=a>0, $$ where $N>2 s, s \in(0,1), \alpha \in(0, N)$, and $\frac{N+\alpha}{N} \leq q<p \leq \frac{N+\alpha+2 s}{N}$. Here, the parameter $\lambda \in \mathbb{R}$ appears as an unknown Lagrange multiplier associated with the normalization condition. By employing variational methods under appropriate assumptions on the potentials $V(x), f(x)$, and $g(x)$, we establish several existence results for normalized solutions.
- [55] arXiv:2507.23375 [pdf, html, other]
-
Title: Recent advances in arrow relations and traces of setsComments: A survey contributed to the volume for the conference Summit280Subjects: Combinatorics (math.CO)
The arrow relation, a central concept in extremal set theory, captures quantitative relationships between families of sets and their traces. Formally, the arrow relation $(n, m) \rightarrow (a, b)$ signifies that for any family $\mathcal{F} \subseteq 2^{[n]}$ with $|\mathcal{F}| \geqslant m$, there exists an $a$-element subset $T \subseteq [n]$ such that the trace $\mathcal{F}_{|T} = \{ F \cap T : F \in \mathcal{F} \}$ contains at least $b$ distinct sets. This survey highlights recent progress on a variety of problems and results connected to arrow relations. We explore diverse topics, broadly categorized by different extremal perspectives on these relations, offering a cohesive overview of the field.
- [56] arXiv:2507.23376 [pdf, other]
-
Title: Combinatorial solutions to the Social Golfer Problem and Social Golfer Problem with Adjacent Group SizesComments: 53 pages (includes 24 pages of appendices. Appendix B is supporting information for journal submission. Submitted to Journal of Combinatorial DesignsSubjects: Combinatorics (math.CO)
Resolvable combinatorial designs including Resolvable Balanced Incomplete Block Designs, Resolvable Group Divisible Designs, Uniformly Resolvable Designs and Mutually Orthogonal Latin Squares and Rectangles are used to construct optimal solutions to the Social Golfer problem (SGP) and the Social Golfer problem with adjacent group sizes (SGA). An algorithm is presented to find an optimal solution in general, and a complete set of solutions is provided for up to 150 players.
- [57] arXiv:2507.23380 [pdf, html, other]
-
Title: Quantitative homogenisation for differential equations with highly anisotropic partially degenerating coefficientsSubjects: Analysis of PDEs (math.AP)
We consider a non-uniformly elliptic second-order differential operator with periodic coefficients that models composite media consisting of highly anisotropic cylindrical fibres periodically distributed in an isotropic background. The degree of anisotropy is related to the period of the coefficients via a `critical' high-contrast scaling. In particular, ellipticity is lost in certain directions as the period, $\epsilon$, tends to zero. Our primary interest is in the asymptotic behaviour of the resolvent of this operator in the limit of small $\epsilon$.
Two-scale resolvent convergence results were established for such operators in Cherednichenko, Smyshlyaev and Zhikov (Proceedings of The Royal Society of Edinburgh:Seciton A Mathematics. 136(1), 87--114(2006)). In this work, we provide an asymptotic description of the resolvent and establish operator-type error estimates. Our approach adopts the general scheme of Cooper, Kamotski and Smyshlyaev (preprint available at arXiv:2307.13151). However, we face new challenges such as a directional dependence on the loss of ellipticity in addition to a key `spectral gap' assumption of the above article only holding in a weaker sense. This results in an additional `interfacial' boundary layer analysis in the vicinity of each fibre to arrive at order-$\epsilon$ operator-type error estimates. - [58] arXiv:2507.23390 [pdf, html, other]
-
Title: FMIP: Multimodal Flow Matching for Mixed Integer Linear ProgrammingComments: A Generative Model based Method for Mixed Integer Linear ProgrammingSubjects: Optimization and Control (math.OC)
Mixed-Integer Linear Programming (MILP) is a cornerstone of mathematical optimization, enabling the modeling of complex decision-making problems involving both integer and continuous variables. Despite its versatility, most MILP problems are NP-complete, making them challenging to solve in practice. Existing graph neural network (GNN)-based heuristics aim to reduce problem scale by predicting only the solutions on integer variables for a given instance, struggling to capture the intricate interplay between continuous and integer variables and lack sufficient representational power. To address these limitations, we propose FMIP, a novel multimodal flow-matching framework that models the joint distribution over integer and continuous variables in the mixed solution space of MILP. To enable more accurate and scalable heuristics, FMIP integrates a guidance mechanism to guide solution sampling under both objective function optimization and constraint satisfaction. We evaluate FMIP on seven standard MILP benchmarks. Our experiments show that FMIP improves solution quality by 50.04% on average over existing GNN-based predictive baselines. These results highlight FMIP's potential as a powerful new approach for developing learning based MILP solution strategy.
- [59] arXiv:2507.23395 [pdf, html, other]
-
Title: Popov Mirror-Prox Method for Variational InequalitiesSubjects: Optimization and Control (math.OC)
This paper establishes the convergence properties of the Popov mirror-prox algorithm for solving stochastic and deterministic variational inequalities (VIs) under a polynomial growth condition on the mapping variation. Unlike existing methods that require prior knowledge of problem-specific parameters, we propose step-size schemes that are entirely parameter-free in both constant and diminishing forms. For stochastic and deterministic monotone VIs, we establish optimal convergence rates in terms of the dual gap function over a bounded constraint set. Additionally, for deterministic VIs with Hölder continuous mapping, we prove convergence in terms of the residual function without requiring a bounded set or a monotone mapping, provided a Minty solution exists. This allows our method to address certain classes of non-monotone VIs. However, knowledge of the Hölder exponent is necessary to achieve the best convergence rates in this case. By extending mirror-prox techniques to mappings with arbitrary polynomial growth, our work bridges an existing gap in the literature. We validate our theoretical findings with empirical results on matrix games, piecewise quadratic functions, and image classification tasks using ResNet-18.
- [60] arXiv:2507.23397 [pdf, html, other]
-
Title: Global well-posedness and scattering for the 2D modified Zakharov-Kuznetsov equationComments: 23 pagesSubjects: Analysis of PDEs (math.AP)
We consider the Cauchy problem associated with the modified Zakharov-Kuznetsov equation over $\mathbb{R}^2$. Taking into consideration the associated dispersive effects, we introduce, for $s,a\ge 0$, a two-parameter space $H^{s,a}(\mathbb{R}^2)$, which scales as the classic $H^s$ spaces. In this new class, we prove local well-posedness for $s+a\ge 1/4$, $0<a<1/4$, and global well-posedness and scattering for small data in the case $s=0, \ a=1/4$. These results are shown to be sharp in the sense of $C^3$-flows.
- [61] arXiv:2507.23403 [pdf, html, other]
-
Title: A pair of monads in TopologySubjects: Category Theory (math.CT)
In the article \cite{Sim}, H. Simmons describes two monads of interests arising from the dual adjunction between the category of topological spaces and that of (bounded) distributive lattices. These are the open prime filter monad and the ideal lattice monad. It is known that the ideal lattice monad induces the ideal frame comonad on the category of frames. We show that this ideal frame comonad can be paired with the open prime filter monad via the open set-spectrum adjunction. From this, we give a new proof of the equivalence between the category of stably compact spaces and that of stably compact frames on one hand, and that of compact Hausdorff spaces and compact regular frames on the other. We show, among other things, how the Čech-Stone compactification in Pointfree Topology and Pointset Topology relate each other in this particular context.
- [62] arXiv:2507.23408 [pdf, html, other]
-
Title: An optimal preconditioner for high-order scheme arising from multi-dimensional Riesz space fractional diffusion equations with variable coefficientsSubjects: Numerical Analysis (math.NA)
In this paper, we propose an efficient method for solving multi-dimensional Riesz space fractional diffusion equations with variable coefficients. The Crank-Nicolson (CN) method is used for temporal discretization, while the fourth-order fractional centered difference (4FCD) method is employed for spatial discretization. Using a novel technique, we show that the CN-4FCD scheme for the multi-dimensional case is unconditionally stable and convergent, achieving second-order accuracy in time and fourth-order accuracy in space with respect to the discrete L2-norm. Moreover, leveraging the symmetric multi-level Toeplitz-like structure of the coefficient matrix in the discrete linear systems, we enhance the computational efficiency of the proposed scheme with a sine transform-based preconditioner, ensuring a mesh-size-independent convergence rate for the conjugate gradient method. Finally, two numerical examples validate the theoretical analysis and demonstrate the superior performance of the proposed preconditioner compared to existing methods.
- [63] arXiv:2507.23409 [pdf, html, other]
-
Title: Towards the classification of maximum scattered linear sets of $\mathrm{PG}(1,q^5)$Subjects: Combinatorics (math.CO)
Every maximum scattered linear set in $\mathrm{PG}(1,q^5)$ is the projection of an $\mathbb{F}_q$-subgeometry $\Sigma$ of $\mathrm{PG}(4,q^5)$ from a plane $\Gamma$ external to the secant variety to $\Sigma$. The pair $(\Gamma,\Sigma)$ will be called a projecting configuration for the linear set. The projecting configurations for the only known maximum scattered linear sets in $\mathrm{PG}(1,q^5)$, namely those of pseudoregulus and LP type, have been characterized in the literature by B. Csajbók, C. Zanella in 2016 and by C. Zanella, F. Zullo in 2020. Let $(\Gamma,\Sigma)$ be a projecting configuration for a maximum scattered linear set in $\mathrm{PG}(1,q^5)$, let $\sigma$ be a generator of $\mathbb{G}=\mathrm{P}\Gamma \mathrm{L}(5,q^5)_\Sigma$, and $A=\Gamma\cap\Gamma^{\sigma^4}$, $B=\Gamma\cap\Gamma^{\sigma^3}$. If $A$ and $B$ are not both points, then the projected linear set is of pseudoregulus type. Then, suppose that they are points. The rank of a point $X$ is the vectorial dimension of the span of the orbit of $X$ under the action of $\mathbb{G}$. In this paper, by investigating the geometric properties of projecting configurations, it is proved that if at least one of the points $A$ and $B$ has rank 5, the associated maximum scattered linear set must be of LP type. Then, if a maximum scattered linear set of a new type exists, it must be such that $\mathrm{rk} A=\mathrm{rk} B=4$. In this paper we derive two possible polynomial forms that such a linear set must have. An exhaustive analysis by computer shows that for $q\leq 25$, no new maximum scattered linear set exists.
- [64] arXiv:2507.23417 [pdf, html, other]
-
Title: $p(x)$-Stability of the Dirichlet problem for Poisson's equation with variable exponentsSubjects: Analysis of PDEs (math.AP)
It is shown that if the sequence $(p_j(x))$ increases uniformly to $p(x)$ in a bounded, smooth domain $\Omega$, then the sequence $(u_i)$ of solutions to the Dirichlet problem for the $p_i(x)$-Laplacian with fixed boundary datum $\varphi$ converges (in a sense to be made precise) to the solution $u_p$ of the Dirichlet problem for the $p(x)$-Laplacian with boundary datum $\varphi$. A similar result is proved for a decreasing sequence $p_j\searrow p$
- [65] arXiv:2507.23420 [pdf, html, other]
-
Title: The net-regular strongly regular signed graphs with degree 5Subjects: Combinatorics (math.CO)
In this paper, we determine all connected net-regular strongly regular signed graphs with degree 5. There are five and two strongly regular signed graphs with net-degree 3 and 1, respectively.
- [66] arXiv:2507.23423 [pdf, html, other]
-
Title: Biobjective optimization with M-convex functionsSubjects: Optimization and Control (math.OC)
In this paper, we deal with two ingredients that, as far as we know, have not been combined until now: multiobjective optimization and discrete convex analysis. First, we show that the entire Pareto optimal value set can be obtained in polynomial time for biobjective optimization problems with discrete convex functions, in particular, involving an M$^\natural$-convex function and a linear function with binary coefficients. We also observe that a more efficient algorithm can be obtained in the special case where the M$^\natural$-convex function is M-convex. Additionally, we present a polynomial-time method for biobjective optimization problems that combine M$^\natural$-convex function minimization with lexicographic optimization.
- [67] arXiv:2507.23427 [pdf, html, other]
-
Title: Heat content asymptotics for sets with positive reachSubjects: Analysis of PDEs (math.AP)
In this paper we study the heat content for sets with positive reach. In details, we investigate the asymptotic behavior of the heat content of bounded subsets of the Euclidean space with positive reach. The concept of positive reach was introduced by Federer in \cite{fed_1959} and widely developed in the following years (see for instance the recent book by Rataj and Zh{ä}le \cite{rat_zah_2019}). It extends the class of sets with smooth boundaries to include certain non-smooth and singular sets while still admitting a well-defined normal geometry. For such sets $E\subseteq\Rn$, we analyze the short-time asymptotics of the heat content $\|T_t\mathbbm{1}_E\|_2$, where $T_t\mathbbm{1}_E$ is the soluzion of the heat equation in $\Rn$ with initial condition $\mathbbm{1}_E$. The present paper is in the spirit of Angiuli, Massari and Miranda Jr.\cite{ang_mas_mir_2013}, but the technique's used here are completely different and also the final result is slightly different.
- [68] arXiv:2507.23438 [pdf, html, other]
-
Title: Counting finite $O$-sequences of a given multiplicityComments: Comments are welcomeSubjects: Commutative Algebra (math.AC)
We study the number $O_d$ of finite $O$-sequences of a given multiplicity $d$, with particular attention to the computation of $O_d$. We show that the sequence $(O_d)_d$ is sub-Fibonacci, and that if the sequence $(O_d / O_{d-1})_d$ converges, its limit is bounded above by the golden ratio. This analysis also produces an elementary method for computing $O_d$. In addition, we derive an iterative formula for $O_d$ by exploiting a decomposition of lex-segment ideals introduced by S. Linusson in a previous work.
- [69] arXiv:2507.23450 [pdf, html, other]
-
Title: The Effect of Prior Parameters on Standardized Kalman Filter-Based EEG Source LocalizationSubjects: Numerical Analysis (math.NA)
EEG Source localization is a critical tool in neuroscience, with applications ranging from epilepsy diagnosis to cognitive research. It involves solving an ill-posed inverse problem that lacks a unique solution unless constrained by prior knowledge. The Bayesian framework enables the incorporation of such knowledge, typically encoded through prior models. Various algorithms have been proposed for source localization, and they differ significantly in how prior knowledge is incorporated. Some approaches rely on anatomical or functional constraints, while others use statistical distributions or sampling-based techniques. In this landscape, the Standardized Kalman Filter (SKF) represents a dynamic Bayesian approach that integrates temporal modeling with a Gaussian prior structure. It addresses the depth bias, a common limitation in source localization, through a post-hoc standardization step that equalizes sensitivity across cortical depths and makes deep activity detection feasible.
This study focuses on the development and optimization of Gaussian prior models within the SKF framework for simultaneous cortical and sub-cortical activity detection. Synthetic data similar to the P20 / N20 component of the somatosensory evoked potentials (SEP) was used to identify effective prior parameter configurations for reconstructing both deep and superficial sources under different noise levels. We also investigated the role of RTS smoothing in enhancing source separability. Our results indicate that raising the standardization exponent to 1.25, along with smoothing, significantly improves depth localization accuracy at low noise levels. - [70] arXiv:2507.23452 [pdf, other]
-
Title: Matching Large Deviation Bounds of the Zero-Range Process in the whole spaceSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
We consider the large deviations of the hydrodynamic rescaling of the zero-range process on $\mathbb{Z}^d$ in any dimension $d\ge 1$. Under mild and canonical hypotheses on the local jump rate, we obtain matching upper and lower bounds, thus resolving the problem opened by \cite{KL99}. On the probabilistic side, we extend the superexponential estimate to any dimension, and prove the superexponential concentration on paths with finite entropy dissipation. In addition, we extend the theory of the parabolic-hyperbolic skeleton equation to the whole space, and remove global convexity/concavity assumptions on the nonlinearity.
- [71] arXiv:2507.23460 [pdf, html, other]
-
Title: Fuss--Catalan algebras on generalized Dyck paths via non-crossing partitionsComments: 51 pagesSubjects: Combinatorics (math.CO); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Quantum Algebra (math.QA)
We study the Fuss--Catalan algebras, which are generalizations of the Temperley--Lieb algebra and act on generalized Dyck paths, through non-crossing partitions. First, the Temperley--Lieb algebra is defined on non-crossing partitions, and a bijection between a Dyck path and a non-crossing partition is shown to be compatible with the Temperley--Lieb algebra on Dyck paths, or equivalently chord diagrams. We show that the Kreweras endomorphism on non-crossing partitions is equivalent to the rotation of chord diagrams under the bijection. Secondly, by considering an increasing $r$-chain in the graded lattice of non-crossing partitions, we define the Fuss--Catalan algebras on increasing $r$-chains. Through a bijection between an increasing $r$-chain and a generalized Dyck path, one naturally obtains the Fuss--Catalan algebra on generalized Dyck paths. As generalizations of the Fuss--Catalan algebra, we introduce the one- and two-boundary Fuss--Catalan algebras. Increasing $r$-chains of symmetric non-crossing partitions give symmetric generalized Dyck paths by the bijection, and the boundary Fuss--Catalan algebras naturally act on them. We show that these representations are compatible with the diagrammatic representations of the algebras by use of generalized chord diagrams. Thirdly, we discuss the integrability of the Fuss--Catalan algebras. For the Fuss--Catalan algebras with boundaries, we obtain a new solution of the reflection equation in the case of $r=2$.
- [72] arXiv:2507.23467 [pdf, html, other]
-
Title: Multiplicative self-decomposition of the exponential and gamma distributionsComments: 15 pagesSubjects: Probability (math.PR)
Multiplicative self-decomposable laws describe random variables that can be decomposed into a product of a scaled-down version of themselves and an independent residual term. Shanbhag et al.~(1977) have shown that the gamma distribution is multiplicative self-decomposable (in particular, the exponential distribution). As a result, they established the multiplicative self-decomposability of the absolute value of a centered normal random variable. A limitation of Shanbhag's result is that the distribution of the residual component is not explicitly identified. In this paper, we aim to fill this gap by providing an explicit distribution of the residual term. In more detail, the residual term follows an $M$-Wright distribution in the case of the exponential distribution, whereas for the gamma distribution it follows a Fox $H$-function distribution. This, in turn, enables us to identify the distribution of the residual term of the absolute value of a centered normal random variable as a Wright distribution.
- [73] arXiv:2507.23477 [pdf, html, other]
-
Title: Discrete restrictions from Laurent monomial systems for multiple Dirichlet seriesComments: 8 pages. Comments welcomeSubjects: Number Theory (math.NT)
We introduce a special class of multiple Dirichlet series whose terms are supported on a variety and which admit an Euler product structure. We show that these series arise naturally from twisted moments of automorphic \( L \)-functions associated with Dirichlet twists. We proposed several conjectures on the analytic properties of these series.
- [74] arXiv:2507.23482 [pdf, html, other]
-
Title: Orientable manifolds with nonzero dual Stiefel-Whitney classes of largest possible gradingSubjects: Algebraic Topology (math.AT); Geometric Topology (math.GT)
It is known that, for all n, there exist compact differentiable orientable n-manifolds with dual Stiefel-Whitney class wbar_{n-ahat(n)} nonzero, and this is best possible, but the proof is nonconstructive. Here ahat(n) equals the number of 1's in the binary expansion of n if n equiv 1 mod 4 and exceeds this by 1 otherwise. We find, for all n nonzero mod 4, examples of real Bott manifolds with this property.
- [75] arXiv:2507.23485 [pdf, html, other]
-
Title: Rational complex Bezier curvesComments: 9 pages, 6 figuresSubjects: Numerical Analysis (math.NA); Graphics (cs.GR)
In this paper we develop the formalism of rational complex Bezier curves. This framework is a simple extension of the CAD paradigm, since it describes arc of curves in terms of control polygons and weights, which are extended to complex values. One of the major advantages of this extension is that we may make use of two different groups of projective transformations. Besides the group of projective transformations of the real plane, we have the group of complex projective transformations. This allows us to apply useful transformations like the geometric inversion to curves in design. In addition to this, the use of the complex formulation allows to lower the degree of the curves in some cases. This can be checked using the resultant of two polynomials and provides a simple formula for determining whether a rational cubic curve is a conic or not. Examples of application of the formalism to classical curves are included.
- [76] arXiv:2507.23490 [pdf, html, other]
-
Title: Optimal-Transport Based Multivariate Goodness-of-Fit TestsSubjects: Statistics Theory (math.ST)
Characteristic-function based goodness-of-fit tests are suggested for multivariate observations. The test statistics, which are straightforward to compute, are defined as two-sample criteria measuring discrepancy between multivariate ranks of the original observations and the corresponding ranks obtained from an artificial sample generated from the reference distribution under test. Multivariate ranks are constructed using the theory of the optimal measure transport, thus rendering the tests of a simple null hypothesis distribution-free, while bootstrap approximations are still necessary for testing composite null hypotheses. Asymptotic theory is developed and a simulation study, concentrating on comparisons with previously proposed tests of multivariate normality, demonstrates that the method performs well in finite samples.
- [77] arXiv:2507.23494 [pdf, html, other]
-
Title: Exact values of Fourier dimensions of Gaussian multiplicative chaos on high dimensional torusComments: 41 pagesSubjects: Probability (math.PR); Mathematical Physics (math-ph); Functional Analysis (math.FA)
We determine the exact values of the Fourier dimensions for Gaussian Multiplicative Chaos measures on the $d$-dimensional torus $\mathbb{T}^d$ for all integers $d \ge 1$. This resolves a problem left open in previous works [LQT24,LQT25] for high dimensions $d\ge 3$. The proof relies on a new construction of log-correlated Gaussian fields admitting specific decompositions into smooth processes with high regularity. This construction enables a multi-resolution analysis to obtain sharp local estimates on the measure's Fourier decay. These local estimates are then integrated into a global bound using Pisier's martingale type inequality for vector-valued martingales.
- [78] arXiv:2507.23498 [pdf, html, other]
-
Title: On the lattice property of the Koopman operator spectrumSubjects: Dynamical Systems (math.DS); Functional Analysis (math.FA); Chaotic Dynamics (nlin.CD)
The Koopman operator has become a celebrated tool in modern dynamical systems theory for analyzing and interpreting both models and datasets. The linearity of the Koopman operator means that important characteristics about it, and in turn its associated nonlinear system, are captured by its eigenpairs and more generally its spectrum. Many studies point out that the spectrum of the Koopman operator has a multiplicative lattice structure by which eigenvalues and eigenfunctions can be multiplied to produce new eigenpairs. However, these observations fail to resolve whether the new eigenfunction remains in the domain of the Koopman operator. In this work, we prove that the spectrum of the Koopman operator associated to discrete-time dynamical systems has a multiplicative lattice structure. We further demonstrate that the Koopman operator associated to discrete-time stochastic process does not necessarily have such a structure, demonstrating an important nuance that lies at the heart of Koopman operator theory.
- [79] arXiv:2507.23502 [pdf, html, other]
-
Title: Smallest gaps of the two-dimensional Coulomb gasComments: 20 pages, 3 figuresSubjects: Probability (math.PR); Mathematical Physics (math-ph)
We consider the two-dimensional Coulomb gas with general potential at the determinantal temperature, or equivalently, the eigenvalues of random normal matrices. We prove that the smallest gaps between particles are typically of order $n^{-3/4}$, and that the associated joint point process of gap locations and gap sizes, after rescaling the gaps by $n^{3/4}$, converges to a Poisson point process. As a consequence, we show that the $k$-th smallest rescaled gap has a limiting density proportional to $x^{4k-1}e^{-\frac{\mathcal{J}}{4}x^{4}}$, where $\mathcal{J}=\pi^{2}\int \rho(z)^{3}d^{2}z$ and $\rho$ is the density of the equilibrium measure. This generalizes a result of Shi and Jiang beyond the quadratic potential.
- [80] arXiv:2507.23503 [pdf, other]
-
Title: Convolution semigroups for automorphism dynamicsComments: 102 pagesSubjects: Logic (math.LO)
Initially motivated by Hrushovski's paper on definability patterns, we obtain homeomorphisms between Ellis semigroups related to natural actions of the automorphism groups of first order structures and certain collections of types and Keisler measures. Thus, we can transfer the semigroup operation from these Ellis semigroups to the corresponding collections of types and Keisler measures. By generalizing this transferred product, we obtain a new convolution operation for invariant types and measures in arbitrary first-order theories. We develop its general theory and prove several correspondence theorems between idempotent measures and closed subgroups of the automorphism group of a sufficiently large (so-called monster) model with respect to the relatively definable topology. Via the affine sort construction, we demonstrate that this new notion of convolution encodes the standard definable convolution operation over definable groups.
- [81] arXiv:2507.23517 [pdf, html, other]
-
Title: Oriented diameter of graphs with diameter $4$ and given maximum edge girthComments: 29 pages, 2 figuresSubjects: Combinatorics (math.CO)
Let $G$ be a bridgeless graph. We introduce the maximum edge girth of $G$, denoted by $g^*(G)=\max\{l_G(e)\mid e\in E(G)\}$, where $l_G(e)$ is the edge girth of $e$, defined as the length of the shortest cycle containing $e$. Let $F(d,A)$ be the smallest value for which every bridgeless graph $G$ with diameter $d$ and $g^*(G)\in A$ admits a strong orientation $\overrightarrow{G}$ such that the diameter of $\overrightarrow{G}$ is at most $F(d,A)$. Let $f(d)=F(d,A)$, where $A=\{a\in \mathbb{N}\mid 2\leq a\leq 2d+1\}$. Chvátal and Thomassen (JCT-B, 1978) obtained general bounds for $f(d)$ and showed that $f(2)=6$. Kwok et al. (JCT-B, 2010) proved that $9\leq f(3)\leq 11$. Wang and Chen (JCT-B, 2022) determined $f(3)=9$. In this paper, we give that $12\leq F(4,A^*)\leq 13$, where $A^*=\{2,3,6,7,8,9\}$.
- [82] arXiv:2507.23520 [pdf, html, other]
-
Title: Linear quotients, linear resolutions and the lcm-latticeSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
Linear resolutions and the stronger notion of linear quotients are important properties of monomial ideals. In this paper, we fully characterize linear resolutions and linear quotients in terms of the lcm-lattice of monomial ideals. These results complement characterizations of these two properties in terms of the Alexander dual of the corresponding Stanley-Reisner simplicial complex. In addition, we discuss applications to the case of edge ideals.
- [83] arXiv:2507.23528 [pdf, html, other]
-
Title: Hybrid Generative Semantic and Bit Communications in Satellite Networks: Trade-offs in Latency, Generation Quality, and ComputationComments: 6 pages, accepted for pulication in IEEE Globecom 2025Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
As satellite communications play an increasingly important role in future wireless networks, the issue of limited link budget in satellite systems has attracted significant attention in current research. Although semantic communications emerge as a promising solution to address these constraints, it introduces the challenge of increased computational resource consumption in wireless communications. To address these challenges, we propose a multi-layer hybrid bit and generative semantic communication framework which can adapt to the dynamic satellite communication networks. Furthermore, to balance the semantic communication efficiency and performance in satellite-to-ground transmissions, we introduce a novel semantic communication efficiency metric (SEM) that evaluates the trade-offs among latency, computational consumption, and semantic reconstruction quality in the proposed framework. Moreover, we utilize a novel deep reinforcement learning (DRL) algorithm group relative policy optimization (GRPO) to optimize the resource allocation in the proposed network. Simulation results demonstrate the flexibility of our proposed transmission framework and the effectiveness of the proposed metric SEM, illustrate the relationships among various semantic communication metrics.
- [84] arXiv:2507.23530 [pdf, html, other]
-
Title: Improvement of the Parabolic Regularization Method and Applications to Dispersive ModelsComments: 15 pagesSubjects: Analysis of PDEs (math.AP)
We prove that the Benjamin Ono equation is globally well-posed in $H^s(\mathbb{R})$ for $s > 1/2$. Our approach does not rely on the global gauge transformation introduced by Tao (arXiv:math/0307289). Instead, we employ a modified version of the standard parabolic regularization method. In particular, this technique also enables us to establish global well-posedness, in the same Sobolev space, for the dispersion-generalized Benjamin Ono (DGBO) equation.
- [85] arXiv:2507.23545 [pdf, other]
-
Title: Derivations of two one-dimensional models for transversely curved shallow shells: one leads to relaxationSubjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
We study the $\Gamma$-limit of sequences of variational problems for straight, transversely curved shallow shells, as the width of the planform $\varepsilon$ goes to zero.
The energy is of von Kármán type for shallow shells under suitable boundary conditions. What distinguishes the various regimes is the scaling of the stretching energy $\sim \varepsilon^{2\beta}$, with $\beta$ a positive number. We derive two one-dimensional models as $\beta$ ranges in $(0, 2]$. Remarkably, boundary conditions are essential to get compactness.
We show that for $\beta \in (0, 2)$ the $\Gamma$-limit leads to relaxation: the limit membrane energy vanishes on compression. For $\beta=2$ there is no relaxation, and the limit model is a nonlinear energy coupling four kinematical descriptors in a nontrivial way.
As special cases of the latter limit model, a nonlinear Vlasov torsion theory and a nonlinear Euler-Bernoulli beam theory can be deduced. - [86] arXiv:2507.23547 [pdf, html, other]
-
Title: Quantum simulation of Helmholtz equations via Schr{ö}dingerizationSubjects: Numerical Analysis (math.NA)
The Helmholtz equation is a prototypical model for time-harmonic wave propagation. Numerical solutions become increasingly challenging as the wave number $k$ grows, due to the equation's elliptic yet noncoercive character and the highly oscillatory nature of its solutions, with wavelengths scaling as $1/k$. These features lead to strong indefiniteness and large system sizes.
We present a quantum algorithm for solving such indefinite problems, built upon the Schrödingerization framework. This approach reformulates linear differential equations into Schrödinger-type systems by capturing the steady state of damped dynamics. A warped phase transformation lifts the original problem to a higher-dimensional formulation, making it compatible with quantum computation. To suppress numerical pollution, the algorithm incorporates asymptotic dispersion correction. It achieves a query complexity of $\mathcal{O}(\kappa^2\text{polylog}\varepsilon^{-1})$, where $\kappa$ is the condition number and $\varepsilon$ the desired accuracy. For the Helmholtz equation, a simple preconditioner further reduces the complexity to $\mathcal{O}(\kappa\text{polylog}\varepsilon^{-1})$. Our constructive extension to the quantum setting is broadly applicable to all indefinite problems. - [87] arXiv:2507.23550 [pdf, html, other]
-
Title: On Dedekind Skew BracesComments: 29 pagesSubjects: Rings and Algebras (math.RA); Group Theory (math.GR)
Skew braces play a central role in the theory of set-theoretic non-degenerate solutions of the Yang--Baxter equation, since their algebraic properties significantly affect the behaviour of the corresponding solutions (see for example [Ballester-Bolinches et al., Adv. Math. 455 (2024), 109880]). Recently, the study of nilpotency-like conditions for the solutions of the Yang--Baxter equation has drawn attention to skew braces of abelian type in which every substructure is an ideal (so-called, Dedekind skew braces); see for example [Ballester-Bolinches et al., Result Math. 80 (2025), Article Number 21].
The aim of this paper is not only to show that the hypothesis the skew brace is of abelian type can be neglected in essentially all the known results in this context, but also to extend this theory to skew braces whose additive or multiplicative groups are locally cyclic (and more in general of finite rank).
Our main results -- which are in fact much more general than stated here -- are as follows:
(1) Every finite Dedekind skew brace is centrally nilpotent.
(2) Every hypermultipermutational Dedekind skew brace with torsion-free additive group is trivial.
(3) Characterization of a skew brace whose additive or multiplicative group is locally cyclic
(4) If a set-theoretic non-degenerate solution of the Yang--Baxter equation has a Dedekind structure skew brace and fixes the diagonal elements, then such a solution must be the twist solution. - [88] arXiv:2507.23553 [pdf, other]
-
Title: McKean-Vlasov equations with singular coefficients - a review of recent resultsSubjects: Probability (math.PR)
This paper focuses on recent works on McKean-Vlasov stochastic differential equations (SDEs) involving singular coefficients. After recalling the classical framework, we review existing recent literature depending on the type of singularities of the coefficients: on the one hand they satisfy some integrability and measurability conditions only, while on the other hand the drift is allowed to be a generalised function. Different types of dependencies on the law of the unknown and different noises will also be considered. McKean-Vlasov SDEs are closely related to non-linear Fokker-Planck equations that are satisfied by the law (or its density) of the unknown. These connections are often established also in this singular setting and will be reviewed here. Important tools for dealing with singular coefficients are also included in the paper, such as Figalli-Trevisan superposition principle, Zvonkin transformation, Markov marginal uniqueness, and stochastic sewing lemma.
- [89] arXiv:2507.23557 [pdf, other]
-
Title: Tree-indexed sums of Catalan numbersComments: 62 pages, 8 figuresSubjects: Combinatorics (math.CO); Symbolic Computation (cs.SC); Probability (math.PR)
We consider a family of infinite sums of products of Catalan numbers, indexed by trees. We show that these sums are polynomials in $1/\pi$ with rational coefficients; the proof is effective and provides an algorithm to explicitly compute these sums. Along the way we introduce parametric liftings of our sums, and show that they are polynomials in the complete elliptic integrals of the first and second kind. Moreover, the degrees of these polynomials are at most half of the number of vertices of the tree. The computation of these tree-indexed sums is motivated by the study of large meandric systems, which are non-crossing configurations of loops in the plane.
- [90] arXiv:2507.23558 [pdf, html, other]
-
Title: Convergence rates of Newton's method for strongly self-concordant minimizationSubjects: Optimization and Control (math.OC)
Newton's method has been thoroughly studied for the class of self-concordant functions. However, a local analysis specific to strongly self-concordant functions (a subclass of the former) is missing from the literature. The local quadratic rate of strongly self-concordant functions follows, of course, from the known results for self-concordant functions. However, it is not known whether strongly self-concordant functions enjoy better theoretical properties. In this paper, we study the local convergence of Newton's method for this subclass. We show that its quadratic convergence rate differs from that of general self-concordant functions. In particular, it is provably faster for a wide range of objective functions and benefits from a larger region of local convergence. Thus, the results of this paper close the gap in the theoretical understanding of Newton's method applied to strongly self-concordant functions.
- [91] arXiv:2507.23559 [pdf, other]
-
Title: Barycentric subspace analysis of network-valued dataElodie Maignant (UniCA, EPIONE, CB, ZIB), Xavier Pennec (UniCA, EPIONE), Alain Trouvé (CB), Anna Calissano (UniCA, EPIONE, UCL)Subjects: Differential Geometry (math.DG); Machine Learning (stat.ML)
Certain data are naturally modeled by networks or weighted graphs, be they arterial networks or mobility networks. When there is no canonical labeling of the nodes across the dataset, we talk about unlabeled networks. In this paper, we focus on the question of dimensionality reduction for this type of data. More specifically, we address the issue of interpreting the feature subspace constructed by dimensionality reduction methods. Most existing methods for network-valued data are derived from principal component analysis (PCA) and therefore rely on subspaces generated by a set of vectors, which we identify as a major limitation in terms of interpretability. Instead, we propose to implement the method called barycentric subspace analysis (BSA), which relies on subspaces generated by a set of points. In order to provide a computationally feasible framework for BSA, we introduce a novel embedding for unlabeled networks where we replace their usual representation by equivalence classes of isomorphic networks with that by equivalence classes of cospectral networks. We then illustrate BSA on simulated and real-world datasets, and compare it to tangent PCA.
- [92] arXiv:2507.23561 [pdf, html, other]
-
Title: Proof of Shvartsman's conjecture on braid groups of projective complex reflection groupsComments: 11 pagesSubjects: Group Theory (math.GR); Representation Theory (math.RT)
The purpose of this note is to prove a conjecture of Shvartsman relating a complex projective reflection group with the quotient of a suitable complex braid group by its center. Shvartsman originally proved this result in the case of real projective reflection groups, and we extend it to all complex projective reflection groups. Our study also allows us to correct a result of Broué, Malle, Rouquier on projective reflection groups.
- [93] arXiv:2507.23572 [pdf, other]
-
Title: Transverse asymptotic stability of line solitary waves for the Ionic Euler-Poisson systemFrédéric Rousset (LMO), Changzhen Sun (LMB)Comments: 83 pages, comments are wlecome!Subjects: Analysis of PDEs (math.AP)
We prove the linear and nonlinear asymptotic stability of small amplitude one-dimensional solitary waves submitted to small localized irrotational perturbations in the three dimensional Euler-Poisson system describing the dynamics of ions. In particular, in this regime, we obtain the existence of global smooth solutions and describe their asymptotic behavior.
- [94] arXiv:2507.23583 [pdf, other]
-
Title: On blow-up trees for the harmonic map heat flow from $B^2$ to $S^2$Comments: 89 pages, 1 figureSubjects: Analysis of PDEs (math.AP)
We consider finite-time and $k$-equivariant solutions to the harmonic map heat flow from $B^2$ to $S^2$ under general time-dependent boundary data and prove that the bubble tree decomposition contains only one bubble. The method relies on the Maximum and Comparison Principle. We also exhibit solutions blowing up in infinite time for any $k \geq 1$.
- [95] arXiv:2507.23584 [pdf, html, other]
-
Title: The speed measure and absolute continuity for curves in metric spacesSubjects: Metric Geometry (math.MG); Functional Analysis (math.FA)
We define the speed measure $\nu$ for mappings $\gamma:I\to X$ from an interval to a metric space that are locally of bounded variation. We characterize continuity and absolute continuity of $\gamma$ in terms of $\nu$ and identify the Radon-Nikodým derivative of $\nu$ with respect to Lebesgue measure as the metric speed of $\gamma$. In doing so we prove an extension of the Banach-Zaretsky theorem.
- [96] arXiv:2507.23586 [pdf, html, other]
-
Title: Fitted norm preconditioners for the Hodge Laplacian in mixed formSubjects: Numerical Analysis (math.NA)
We use the practical framework for abstract perturbed saddle point problems recently introduced by Hong et al. to analyze the mixed formulation of the Hodge Laplace problem. We compose two parameter-dependent norms in which the uniform continuity and stability of the problem follow. This not only guarantees the well-posedness of the corresponding variational formulation on the continuous level, but also of related compatible discrete models.
We further simplify the obtained norms and, in both cases, arrive at the same norm-equivalent preconditioner that is easily implementable. The efficiency and uniformity of the preconditioner are demonstrated numerically by the fast convergence and uniformly bounded number of preconditioned MINRES iterations required to solve various instances of Hodge Laplace problems in two and three space dimensions. - [97] arXiv:2507.23602 [pdf, html, other]
-
Title: Efficient Numerical Strategies for Entropy-Regularized Semi-Discrete Optimal TransportSubjects: Numerical Analysis (math.NA)
Semi-discrete optimal transport (SOT), which maps a continuous probability measure to a discrete one, is a fundamental problem with wide-ranging applications. Entropic regularization is often employed to solve the SOT problem, leading to a regularized (RSOT) formulation that can be solved efficiently via its convex dual. However, a significant computational challenge emerges when the continuous source measure is discretized via the finite element (FE) method to handle complex geometries or densities, such as those arising from solutions to Partial Differential Equations (PDEs). The evaluation of the dual objective function requires dense interactions between the numerous source quadrature points and all target points, creating a severe bottleneck for large-scale problems. This paper presents a cohesive framework of numerical strategies to overcome this challenge. We accelerate the dual objective and gradient evaluations by combining distance-based truncation with fast spatial queries using R-trees. For overall convergence, we integrate multilevel techniques based on hierarchies of both the FE source mesh and the discrete target measure, alongside a robust scheduling strategy for the regularization parameter. When unified, these methods drastically reduce the computational cost of RSOT, enabling its practical application to complex, large-scale scenarios. We provide an open-source C++ implementation of this framework, built upon the this http URL finite element library, available at this https URL.
- [98] arXiv:2507.23605 [pdf, html, other]
-
Title: The Lyapunov Exponents of Hyperbolic Measures for $C^1$ Star Vector Fields on Three-dimensional ManifoldsSubjects: Dynamical Systems (math.DS)
In this paper, we proved that for every $C^1$ star vector fields on three-dimensional manifolds, every ergodic hyperbolic invariant measure which is not supported on singularities can be approximated by periodic measures, and the Lyapunov exponents of the ergodic hyperbolic invariant measure can also be approximated by the Lyapunov exponents of those periodic measures.
- [99] arXiv:2507.23606 [pdf, html, other]
-
Title: Universal embeddings of flag manifolds and rigidity phenomenaComments: 17 pagesSubjects: Differential Geometry (math.DG)
We prove a universal embedding theorem for flag manifolds: every flag manifold admits a holomorphic isometric embedding into an irreducible classical flag manifold. This result generalizes the classical celebrated embedding theorems of Takeuchi [30] and Nakagawa-Takagi [27]. Using this embedding, we establish new rigidity phenomena for holomorphic isometries between homogeneous Kähler manifolds. As a first immediate consequence we show the triviality of a Kähler-Ricci soliton submanifod of $C \times \Omega$, where $C$ is a flag manifold and $\Omega$ is a homogeneous bounded domain. Secondly, we show that no \emph{weak-relative} relationship can occur among the fundamental classes of homogeneous Kähler manifolds: flat spaces, flag manifolds, and homogeneous bounded domains. Two Kähler manifolds are said to be \emph{weak relatives} if they share, up to local isometry, a common Kähler submanifold of complex dimension at least two. Our main result precisely shows that if $E$ is (possibly indefinite) flat, $C$ is a flag manifold, and $\Omega$ is a homogeneous bounded domain, then: $E$ is not weak relative to $C\times\Omega$; $C$ is not weak relative to $E\times\Omega$; $\Omega$ is not weak relative to $E\times C$. This extends, in two independent directions, the rigidity theorem of Loi-Mossa [22]: we pass from \emph{relatives} to the more flexible notion of \emph{weak relatives} and dispense with the earlier ''special'' restriction on the flag-manifold factor. This result also unifies previous rigidity results from the literature, e.g., [5, 6, 7, 9, 12, 13, 32].
- [100] arXiv:2507.23613 [pdf, html, other]
-
Title: A Multi-Frequency Helmholtz Solver Based on the WaveHoltz AlgorithmDaniel Appelö, Francis Appiah, Jeffrey W. Banks, Cassandra Carrick, William D. Henshaw, Donald W. SchwendemanSubjects: Numerical Analysis (math.NA)
We develop and analyze a new approach for simultaneously computing multiple solutions to the Helmholtz equation for different frequencies and different forcing functions. The new Multi-Frequency WaveHoltz (MFWH) algorithm is an extension of the original WaveHoltz method and both are based on time-filtering solutions to an associated wave equation. With MFWH, the different Helmholtz solutions are computed simultaneously by solving a single wave equation combined with multiple time filters. The MFWH algorithm defines a fixed-point iteration which can be accelerated with Krylov methods such as GMRES. The solution of the wave equation can be efficiently solved with either explicit time-stepping or implicit time-stepping using as few as five time-steps per period. When combined with an $O(N)$ solver for the implicit equations, such a multigrid, the scheme has an $O(N)$ solution cost when the frequencies are fixed and the number of grid points $N$ increases. High-order accurate approximations in space are used together with second-order accurate approximations in time. We show how to remove time discretization errors so that the MFWH solutions converge to the corresponding solutions to the discretized Helmholtz problems. Numerical results are given using second-order accurate and fourth-accurate discretizations to confirm the convergence theory.
- [101] arXiv:2507.23614 [pdf, html, other]
-
Title: Elliptic unique continuation below the Lipschitz thresholdComments: 36 pages. Comments welcome!Subjects: Analysis of PDEs (math.AP)
In this article, we investigate unique continuation principles for solutions $u$ of uniformly elliptic equations of the form $-\mathrm{div}(A \nabla u) = 0$ when $A$ is less regular than Lipschitz. For general matrices $A$, we prove that strong unique continuation holds provided that $A$ has modulus of continuity $\omega$ satisfying the Osgood condition $\int_0^1 \omega(t)^{-1}dt = \infty$, plus some other mild hypotheses. Along with the counterexamples of Mandache, this shows that the sharp condition on $A$ that guarantees unique continuation is essentially that $A$ is log-Lipschitz. In the class of isotropic equations (i.e., $A(x) = a(x)I$ for some scalar function $a$) we show that Holder continuity of $a$ of the order $\alpha \in (2/3,1)$ is sufficient to guarantee strong unique continuation. This latter result contrasts counterexamples known for anisotropic equations, and disproves a conjecture of Miller from 1974.
- [102] arXiv:2507.23619 [pdf, html, other]
-
Title: Picturesque convolution-like recurrences and partial sums' generationSubjects: Number Theory (math.NT)
Let ${\pmb b}=\{b_0,\,b_1,\,\ldots\}$ be the known sequence of numbers such that $b_0\neq0$. In this work, we develop methods to find another sequence ${\pmb a}=\{a_0,\,a_1,\,\ldots\}$ that is related to ${\pmb b}$ as follows: $a_n=a_0\,b_{n+m}+a_1\,b_{n+m-1}+\ldots+a_{n+m}\,b_0$, $n\in\mathbb{N}\cup\{0\}$, $m\in\mathbb{N}$. We show the connection of $\lim_{n\to\infty}a_n$ with $a_0,\,a_1,\,\ldots,\,a_{m-1}$ and provide varied examples of finding the sequence ${\pmb a}$ when ${\pmb b}$ is given. We demonstrate that the sequences ${\pmb a}$ may exhibit pretty patterns in the plane or space. Also, we show that the properly chosen sequence ${\pmb b}$ may define ${\pmb a}$ as some famous sequences, such as the partial sums of the Riemann zeta function, etc.
- [103] arXiv:2507.23622 [pdf, html, other]
-
Title: On subanalytic geometryComments: 155 pages, 3 figures. To appear in the book Singularity Theory from Modern Perspectives edited by Javier Fernández de Bobadilla and Anne Pichon, Panoramas et synthèsesSubjects: Algebraic Geometry (math.AG)
These notes constitute a survey on the geometric properties of globally subanalytic sets. We start with their definition and some fundamental results such as Gabrielov's Complement Theorem or existence of cell decompositions. We then give the main basic tools of subanalytic geometry, such as Curve Selection Lemma, Lojasiewicz's inequalities, existence of tubular neighborhood, Tamm's theorem (definability of regular points), or existence of regular stratifications (Whitney or Verdier). We then present the developments of Lipschitz geometry obtained by various authors during the four last decades, giving a proof of existence of metric triangulations, introduced by the author of these notes, definable bi-Lipschitz triviality, Lipschitz conic structure, as well as invariance of the link under definable bi-Lipschitz mappings. The last chapter is devoted to geometric integration theory, studying the Hausdorff measure of globally subanalytic sets, integrals of subanalytic functions, as well as the density of subanalytic sets (the Lelong number) and Stokes' formula.
- [104] arXiv:2507.23623 [pdf, html, other]
-
Title: Ramsey numbers for 1-degenerate 3-graphsComments: 5 pages, 2 figuresSubjects: Combinatorics (math.CO)
We construct a 3-uniform 1-degenerate hypergraph on $n$ vertices whose 2-colour Ramsey number is $\Omega\big(n^{3/2}/\log n\big)$. This shows that all remaining open cases of the hypergraph Burr-Erdős conjecture are false. Our graph is a variant of the celebrated hedgehog graph. We additionally show near-sharp upper bounds, proving that all 3-uniform generalised hedgehogs have 2-colour Ramsey number $O\big(n^{3/2}\big)$.
- [105] arXiv:2507.23624 [pdf, html, other]
-
Title: Erdős meets Nash-WilliamsComments: 41 pagesSubjects: Combinatorics (math.CO)
In 1847, Kirkman proved that there exists a Steiner triple system on $n$ vertices (equivalently a triangle decomposition of the edges of $K_n$) whenever $n$ satisfies the necessary divisibility conditions (namely $n\equiv 1,3 \mod 6$). In 1970, Nash-Williams conjectured that every graph $G$ on $n$ vertices with minimum degree at least $3n/4$ (for $n$ large enough and satisfying the necessary divisibility conditions) has a triangle decomposition. In 1973, Erdős conjectured that for each integer $g$, there exists a Steiner triple system on $n$ vertices with girth at least $g$ (provided that $n\equiv 1,3 \mod 6$ is large enough compared to the fixed $g$). In 2021, Glock, Kühn, and Osthus conjectured the common generalization of these two conjectures, dubbing it the ``Erdős meets Nash-Williams' Conjecture''.
In this paper, we reduce the combined conjecture to the fractional relaxation of the Nash-Williams' Conjecture. Combined with the best known fractional bound of Delcourt and Postle, this proves the combined conjecture above when $G$ has minimum degree at least $0.82733n$. We note that our result generalizes the seminal work of Barber, Kühn, Lo, and Osthus on Nash-Williams' Conjecture and the resolution of Erdős' Conjecture by Kwan, Sah, Sawhney, and Simkin. Both previous proofs of those results used the method of iterative absorption. Our proof instead proceeds via the newly developed method of refined absorption (and hence provides new independent proofs of both results). - [106] arXiv:2507.23627 [pdf, html, other]
-
Title: Improved bounds on the postage stamp problem for large numbers of stampsSubjects: Combinatorics (math.CO); Number Theory (math.NT)
Let $F_h(n)$ denote the minimum cardinality of an additive {\em $h$-fold basis} of $\{1,2,\cdots,n\}$: a set $S$ such that any integer in $\{1,2,\cdots, n\}$ can be written as a sum of at most $h$ elements from $S$. While the trivial bounds $h!n \; \lesssim \; F_h(n)^h \; \lesssim \; h^h n$ are well-known, comparatively little has been established for $h>2$. In this paper, we make significant improvements to both of the best-known bounds on $F_h(n)$ for sufficiently large $h$. For the lower bound, we use a probabilistic approach along with the Berry-Esseen Theorem to improve upon the best-known asymptotic result due to Yu. We also establish the first nontrivial asymptotic upper bound on $F_h(n)$ by leveraging a construction for additive bases of finite cyclic groups due to Jia and Shen. In particular, we show that given any $\epsilon>0$, for sufficiently large $h$, we have \[ \left(\frac{1}{2}-\epsilon\right)h!\sqrt{2\pi e} n\; \leq \; F_h(n)^h \; \leq \; \left(\left(\frac{\sqrt{3}}{2}+\epsilon\right)h\right)^h n. \]
- [107] arXiv:2507.23635 [pdf, html, other]
-
Title: Which maximal subgroups are perfect codes?Subjects: Combinatorics (math.CO)
A perfect code in a graph $\Gamma=(V, E)$ is a subset $C$ of $V$ such that no two vertices in $C$ are adjacent and every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A subgroup $H$ of a group $G$ is called a subgroup perfect code of $G$ if it is a perfect code in some Cayley graph of $G$. In this paper, we undertake a systematic study of which maximal subgroups of a group can be perfect codes. Our approach highlights a characterization of subgroup perfect codes in terms of their ``local'' complements.
- [108] arXiv:2507.23637 [pdf, html, other]
-
Title: A stochastic heat equation with non-locally Lipschitz coefficientsSubjects: Probability (math.PR)
We consider the stochastic heat equation (SHE) on the torus $\mathbb{T}=[0,1]$, driven by space-time white noise $\dot W$, with an initial condition $u_0$ that is nonnegative and not identically zero:
\begin{equation*}
\frac{\partial u}{\partial t} = \tfrac{1}{2}\frac{\partial^2 u}{\partial x^2} + b(u) + \sigma(u)\dot{W}.
\end{equation*} The drift $b$ and diffusion coefficient $\sigma$ are Lipschitz continuous away from zero, although their Lipschitz constants may blow up as the argument approaches zero. We establish the existence of a unique global mild solution that remains strictly positive. Examples include $b(u)=u|\log u|^{A_1}$ and $\sigma(u)=u|\log u|^{A_2}$ with $A_1\in(0,1)$ and $A_2\in(0,1/4)$. - [109] arXiv:2507.23639 [pdf, html, other]
-
Title: Normalized solutions for the NLS equation with potential in higher dimension: the purely Sobolev critical caseSubjects: Analysis of PDEs (math.AP)
We study normalized solutions for the nonlinear Schrodinger (NLS) equation with potential and Sobolev critical nonlinearity. By establishing suitable assumptions on the potential, together with new techniques, we find a mountain-pass type solution for N>=6, which solves an open problem presented in a recent paper [Verzini and Yu, arXiv:2505.05357v1]. Moreover, we also find a local minimizer with negative energy for N>=3, which improves the results in [Verzini and Yu, arXiv:2505.05357v1].
- [110] arXiv:2507.23645 [pdf, html, other]
-
Title: Infinite BV, large $L^\infty$ solutions of conservation laws are Hölder-stable in $L^2$ in the class of front tracking limitsGeng Chen (University of Kansas), Cooper Faile (The University of Texas at Austin), Sam G. Krupa (École normale supérieure)Comments: 65 pages, 7 figuresSubjects: Analysis of PDEs (math.AP)
We consider hyperbolic systems of conservation laws in one spatial dimension. For any limit of front tracking solutions $v$, and for a general weak solution $u\in L^\infty$ with no BV assumption, we prove the following Hölder-type stability estimate in $L^2$:
$$||u(\cdot,\tau)-v(\cdot,\tau)||_{L^2} \leq K \sqrt{||u( \cdot,0)-v( \cdot,0)||_{L^2}}$$
for all $\tau$ without smallness and for a universal constant $K$. Our result holds for all limits of front tracking solutions $v$ with BV bound, either for general systems with small-BV data, or for special systems (isothermal Euler, Temple-class systems) with large-BV data. Our results apply to physical systems such as isentropic Euler. The stability estimate is completely independent of the BV norm of the potentially very wild solution $u$. We use the $L^2$ theory of shock stability modulo an artificial shift of position (Vasseur [Handbook of Differential Equations: Evolutionary Equations, 4:323 -- 376, 2008]) but our stability results do not depend on an unknown shift. Moreover, we give the first result within this framework which can show uniqueness of some solutions with large $L^\infty$ and infinite BV initial data. We apply these techniques to isothermal Euler. - [111] arXiv:2507.23646 [pdf, html, other]
-
Title: Information geometry of Lévy processes and financial modelsComments: 21 pagesSubjects: Statistics Theory (math.ST); Information Theory (cs.IT); Differential Geometry (math.DG); Probability (math.PR); Mathematical Finance (q-fin.MF)
We explore the information geometry of Lévy processes. As a starting point, we derive the $\alpha$-divergence between two Lévy processes. Subsequently, the Fisher information matrix and the $\alpha$-connection associated with the geometry of Lévy processes are computed from the $\alpha$-divergence. In addition, we discuss statistical applications of this information geometry. As illustrative examples, we investigate the differential-geometric structures of various Lévy processes relevant to financial modeling, including tempered stable processes, the CGMY model, and variance gamma processes.
- [112] arXiv:2507.23651 [pdf, html, other]
-
Title: Regularization of Inverse Problems by Filtered Diagonal Frame Decomposition under general sourceSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
Let $X$ and $Y$ be Hilbert spaces, and $\mathbf{K}: \text{dom} \mathbf{K} \subset X \to Y$ a bounded linear operator. This paper addresses the inverse problem $\mathbf{K}x = y$, where exact data $y$ is replaced by noisy data $y^\delta$ satisfying $\|y^\delta - y\|_Y \leq \delta$. Due to the ill-posedness of such problems, we employ regularization methods to stabilize solutions. While singular value decomposition (SVD) provides a classical approach, its computation can be costly and impractical for certain operators. We explore alternatives via Diagonal Frame Decomposition (DFD), generalizing SVD-based techniques, and introduce a regularized solution $x^\delta_\alpha = \sum_{\lambda \in \Lambda} \kappa_\lambda g_\alpha(\kappa_\lambda^2) \langle y^\delta, v_\lambda \rangle \overline{u}_\lambda$. Convergence rates and optimality are analyzed under a generalized source condition $\mathbf{M}_{\varphi, E} = \{ x \in \text{dom} \mathbf{K} : \sum_{\lambda \in \Lambda} [\varphi(\kappa_\lambda^2)]^{-1} |\langle x, u_\lambda \rangle|^2 \leq E^2 \}$. Key questions include constructing DFD systems, relating DFD and SVD singular values, and extending source conditions. We present theoretical results, including modulus of continuity bounds and convergence rates for a priori and a posteriori parameter choices, with applications to polynomial and exponentially ill-posed problems.
- [113] arXiv:2507.23656 [pdf, html, other]
-
Title: An evident corollary arising from Newton--ThorneComments: 5 pages. Comments welcomeSubjects: Number Theory (math.NT)
We present a special class of examples of automorphic lifts of multiple tensor products of automorphic representations in the sense of matching $L$-functions, motivated by combinatorial identities for Schur polynomials and a celebrated result of Newton and Thorne.
- [114] arXiv:2507.23666 [pdf, html, other]
-
Title: Pseudo-Isometric SurgeryComments: This article replaces arxiv article 2202.05915Subjects: Metric Geometry (math.MG)
We introduce a type of surgery on metric spaces. This surgery, in some sense, seeks to replace a subspace $S$ of a metric space $X$ with another metric space $T$ via a function $f : S \to T$. When $T$ is a discrete space, this amounts to collapsing the subspace according to the function. This surgery results in a new metric space we denote $\widehat{X}_f$ and there is a natural function $F : X \to \widehat{X}_f$ induced from $f$. Our primary interest is investigating if properties of the original function $f$ are inherited by the induced function $F$. We show that if $f$ is a pseudo-isometry then so is $F$. However, for a quasi-isometry, a very natural generalization of a pseudo-isometry that is prevalent in geometric group theory, such a result does not hold.
- [115] arXiv:2507.23668 [pdf, html, other]
-
Title: Some Extensions of Endo-Noetherian RingsSubjects: Rings and Algebras (math.RA)
In this article, we proceed on the transfer of the left endo-Noetherian property on certain ring extensions. We transfer of the right (left) endo-Noetherian property to the right (left) quotient rings. For a subring $T$ of $R$ and a finite set of indeterminates $X$, we prove that $T + XR[[X]]$ is left endo-Noetherian if and only if $R[[X]]$ is left endo-Noetherian. In addition, we prove that the subring $\Lambda :=\{ f \in R[[S,\omega ]]: f(1) \in T \}$ of the skew generalized power series ring $R[[S, \omega]]$ is left endo-Noetherian if and only if $R[[S, \omega]]$ is left endo-Noetherian. Also, we study the left endo-Noetherian property over the amalgamated duplication rings $R \bowtie I$ and $ R \bowtie ^f J$. Finally, we introduce additional results on left endo-Noetherian rings.
- [116] arXiv:2507.23671 [pdf, html, other]
-
Title: Cheng's eigenvalue comparison on metric measure spaces and applicationsSubjects: Spectral Theory (math.SP); High Energy Physics - Theory (hep-th); Differential Geometry (math.DG); Metric Geometry (math.MG)
Using the localization technique, we prove a sharp upper bound on the first Dirichlet eigenvalue of metric balls in essentially non-branching $\mathsf{CD}^{\star}(K,N)$ spaces. This extends a celebrated result of Cheng to the non-smooth setting of metric measure spaces satisfying Ricci curvature lower bounds in a synthetic sense, via optimal transport. A rigidity statement is also provided for $\mathsf{RCD}^{\star}(K,N)$ spaces. We then present some mathematical and physical applications: in the former, we obtain an upper bound on the $j^{th}$ Neumann eigenvalue in essentially non-branching $\mathsf{CD}^{\star}(K,N)$ spaces and a bound on the essential spectrum in non-compact $\mathsf{RCD}^{\star}(K,N)$ spaces; in the latter, the eigenvalue bounds correspond to general upper bounds on the masses of the spin-2 Kaluza-Klein excitations around general warped compactifications of higher-dimensional theories of gravity.
- [117] arXiv:2507.23680 [pdf, html, other]
-
Title: Analysis of a Cross-Nonlinear Porous-Medium System Modeling Pressure-Driven Cell Population DynamicsComments: 36 pages, 2 figuresSubjects: Analysis of PDEs (math.AP)
In this work, we introduce a cross-diffusion model that couples population density and occupied area to investigate how internal pressure drives growth and motility. By blending nonlinear nonlocal interactions with porous-medium diffusion and an antidiffusive pressure term, the model captures the two-way feedback between local density fluctuations and tissue expansion or contraction. Building on Shraiman's area-growth paradigm, we enrich the framework with density-dependent spreading at the population boundary and a novel cross-diffusion term, yielding fully nonlinear transport in both equations. We prove local well-posedness for nonnegative solutions in Sobolev spaces and, under higher regularity, show both density and area remain nonnegative. Uniqueness follows when the initial density's square root lies in $H^2$, even if density vanishes on parts of the domain. We also exhibit initial data that induce finite-time blow-up, highlighting potential singularity formation. Finally, we establish that the density's spatial support remains invariant and characterize the co-evolution of occupied area and population density domains, offering new insights into pattern formation and mass transport in biological tissues.
- [118] arXiv:2507.23681 [pdf, html, other]
-
Title: Horofunctions of infinite Sierpinski polygon graphsComments: 16 pagesSubjects: Combinatorics (math.CO); Metric Geometry (math.MG)
Generalizing works of D'Angeli and Donno, we describe, starting from an infinite sequence over $r$ letters with $r \neq 4i$ and $i \in \mathbb{N}$, a sequence of pointed finite graphs. We study the pointed Gromov-Hausdorff limit graphs giving a description of isomorphim classes in terms of dihedral groups and providing insights on the horofunction boundaries in terms of Busemann and non-Busemann points.
- [119] arXiv:2507.23686 [pdf, html, other]
-
Title: From Link Diversity to Cross-Band Feedback Collaboration: A New Perspective on Hybrid Optical-RF SystemsSubjects: Information Theory (cs.IT); Systems and Control (eess.SY)
We suggest a re-examination of the conventional view that hybrid optical-radio frequency (O-RF) systems are primarily diversity-driven networks that switch between RF and optical links for robustness. Instead, we uncover a new architectural opportunity: repurposing the optical downlink to enable real-time feedback channel coding over the RF uplink, where structured decoder feedback is delivered from the access point to guide the transmitter's coding strategy. This insight marks a conceptual paradigm shift from passive link diversity to active cross-band collaboration, where the wideband, interference-free optical wireless communication (OWC) is no longer merely a downlink backup but a functional enabler of uplink reliability. To realize this vision, we propose a novel architecture, O-RF with Cross-Band Feedback (O-RF-CBF), that exploits the optical downlink feedback to facilitate adaptive RF uplink coding. Numerical results reveal that O-RF-CBF achieves significant uplink throughput gains over traditional O-RF systems. Our findings highlight that inter-band synergy, not redundancy, is the key to unlocking the full potential of hybrid wireless networks.
- [120] arXiv:2507.23688 [pdf, html, other]
-
Title: Geometric conditions for bounded point evaluations in several complex variablesComments: 7 pagesSubjects: Complex Variables (math.CV)
Let $U$ be a bounded domain in $\mathbb C^d$ and let $L^p_a(U)$, $1 \leq p < \infty$, denote the space of functions that are analytic on $\overline{U}$ and bounded in the $L^p$ norm on $U$. A point $x \in \overline{U}$ is said to be a bounded point evaluation for $L^p_a(U)$ if the linear functional $f \to f(x)$ is bounded in $L^p_a(U)$. In this paper, we provide a purely geometric condition given in terms of the Sobolev $q$-capacity for a point to be a bounded point evaluation for $L^p_a(U)$. This extends results known only for the single variable case to several complex variables.
- [121] arXiv:2507.23690 [pdf, html, other]
-
Title: Fundamental groups of open manifolds with nonnegative Ricci curvature and universal cover Euclidean volume growthComments: 6 pagesSubjects: 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.
- [122] arXiv:2507.23696 [pdf, html, other]
-
Title: On the continuity of derivations over locally regular Banach algebrasComments: 10 pages. Comments are welcomeSubjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
We study the problem of continuity of derivations over Banach algebras. More specifically, we consider a class of Banach algebras that contain a dense `$C^*$-like' subalgebra. We discuss applications to $L^p$-crossed products and symmetrized $L^p$-crossed products. As an example, our results imply that every derivation over the $L^p$-crossed product $F^p(G,X,\alpha)$ is continuous, provided that $G$ is infinite, finitely generated, has polynomial growth, and acts freely on the compact space $X$.
- [123] arXiv:2507.23697 [pdf, html, other]
-
Title: Approximation of time-periodic flow past a translating body by flows in bounded domainsSubjects: Analysis of PDEs (math.AP)
We consider a time-periodic incompressible three-dimensional Navier-Stokes flow past a translating rigid body. In the first part of the paper, we establish the existence and uniqueness of strong solutions in the exterior domain $\Omega \subset {\mathbb R}^3$ that satisfy pointwise estimates for both the velocity and pressure. The fundamental solution of the time-periodic Oseen equations plays a central role in obtaining these estimates. The second part focuses on approximating this exterior flow within truncated domains $\Omega \cap B_R$, incorporating appropriate artificial boundary conditions on $\partial B_R$. For these bounded domain problems, we prove the existence and uniqueness of weak solutions. Finally, we estimate the error in the velocity component as a function of the truncation radius $R$, showing that, as $R \to \infty$, the velocities of the truncated problems converge, in an appropriate norm, to the velocity of the exterior flow.
- [124] arXiv:2507.23702 [pdf, html, other]
-
Title: Cell-Free Massive MIMO SWIPT with Beyond Diagonal Reconfigurable Intelligent SurfacesSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
We investigate the integration of beyond diagonal reconfigurable intelligent surfaces (BDRISs) into cell free massive multiple input multiple output (CFmMIMO) systems to enhance simultaneous wireless information and power transfer (SWIPT). To simultaneously support two groups of users energy receivers (ERs) and information receivers (IRs) without sacrificing time frequency resources, a subset of access points (APs) is dedicated to serving ERs with the aid of a BDRIS, while the remaining APs focus on supporting IRs. A protective partial zero forcing precoding technique is implemented at the APs to manage the non coherent interference between the ERs and IRs. Subsequently, closed form expressions for the spectral efficiency of the IRs and the average sum of harvested energy at the ERs are leveraged to formulate a comprehensive optimization problem. This problem jointly optimizes the AP selection, AP power control, and scattering matrix design at the BDRIS, all based on long term statistical channel state information. This challenging problem is then effectively transformed into more tractable forms. To solve these sub problems, efficient algorithms are proposed, including a heuristic search for the scattering matrix design, as well as successive convex approximation and deep reinforcement learning methods for the joint AP mode selection and power control design. Numerical results show that a BDRIS with a group or fully connected architecture achieves significant energy harvesting gains over the conventional diagonal RIS, especially delivering up to a seven fold increase in the average sum of harvested energy when a heuristic based scattering matrix design is employed.
- [125] arXiv:2507.23703 [pdf, html, other]
-
Title: Operator identities of multiplicity 3 for associative algebrasComments: 8 pages, 2 tablesSubjects: Rings and Algebras (math.RA); Operator Algebras (math.OA)
We consider algebraic identities for linear operators on associative algebras in which each term has degree 2 (the number of variables) and multiplicity 3 (the number of occurrences of the operator). We apply the methods of earlier work by the author and Elgendy which classified operator identities of degree 2, multiplicities 1 and 2. We begin with the general operator identity of multiplicity 3 which has 10 terms and indeterminate coefficients. We use the operadic concept of partial composition to generate all consequences of this identity in degree 3, multiplicity 4. The coefficient matrix of these consequences has size $105 \times 20$ and indeterminate entries. We compute the partial Smith form of this matrix and use Gröbner bases for determinantal ideals to discover which values of the indeterminates produce a matrix of submaximal rank. The only possible submaximal values of the rank are 16 and 19: there are 6 new identities of rank 16, and 8 new identities of rank 19.
- [126] arXiv:2507.23706 [pdf, html, other]
-
Title: A Central Limit Theorem for the Winding Number of Low-Lying Closed GeodesicsComments: 23 pagesSubjects: Number Theory (math.NT); Dynamical Systems (math.DS)
We show that the winding of low-lying closed geodesics on the modular surface has a Gaussian limiting distribution when normalized by any natural notion of length.
- [127] arXiv:2507.23711 [pdf, html, other]
-
Title: Combinatorial Approaches for Embedded Feature Selection in Nonlinear SVMsSubjects: Optimization and Control (math.OC)
Embedded Feature Selection (FS) is a classical approach for interpretable machine learning, aiming to identify the most relevant features of a dataset while simultaneously training the model. We consider an approach based on a hard cardinality constraint for nonlinear SVMs. To the best of our knowledge, hard-constraint approaches have been proposed only for the primal formulation of linear SVMs. In contrast, we embed a hard cardinality constraint directly into the dual of a nonlinear SVM, guaranteeing strict control over the number of selected features while still leveraging kernelization. We formulate the problem as a Mixed-Integer Nonlinear Programming (MINLP) model. As a first contribution, we propose a local search metaheuristic applicable to general nonlinear kernels. Our second and main contribution is a decomposition framework that alternates optimization between two subproblems: one involving only continuous variables and the other involving only binary variables. For polynomial kernels, we show that the binary subproblem reduces to a submodular function maximization under a cardinality constraint, enabling the use of scalable submodular maximization algorithms within the alternating optimization process. Numerical experiments demonstrate that our algorithms significantly outperform standard methods for solving the proposed MINLPs, providing more effective solutions to the addressed feature selection problem.
- [128] arXiv:2507.23713 [pdf, html, other]
-
Title: Asymptotics for aggregated interdependent multivariate subexponential claims with general investment returnsSubjects: Probability (math.PR)
This paper investigates asymptotic estimates for the entrance probability of the discounted aggregate claim vector from a multivariate renewal risk model into some rare set. We provide asymptotic results for the entrance probability on both finite and infinite time horizons under various assumptions regarding the stochastic price process of the investment portfolio, the distribution class of claim vectors, and the dependence structure among the claim vectors. We note that the main results extend beyond the class of multivariate regular variation. Furthermore, we introduce two dependence structures to model the dependence among the claim vectors. The immediate consequence of the main results is the asymptotic estimates of the ruin probabilities on finite and infinite time horizons
- [129] arXiv:2507.23714 [pdf, html, other]
-
Title: On indefinite Einstein solvmanifolds admitting a Killing spinorComments: 13 pagesSubjects: Differential Geometry (math.DG)
Riemannian Einstein solvmanifolds can be described in terms of nilsolitons, namely nilpotent Lie groups endowed with a left-invariant Ricci soliton metric. This characterization does not extend to indefinite metrics; nonetheless, nilsolitons can be defined and used to construct Einstein solvmanifolds of a higher dimension in any signature.
An Einstein solvmanifold obtained by this construction turns out to satisfy the pseudo-Iwasawa condition, meaning that its Lie algebra splits as the orthogonal sum of a nilpotent ideal and an abelian subalgebra, the latter acting by symmetric derivations.
We prove that the only pseudo-Iwasawa solvmanifolds that admit a Killing spinor, invariant or not, are the hyperbolic half-spaces. - [130] arXiv:2507.23720 [pdf, html, other]
-
Title: Nonlinear Vibrational Mode of Molecule with Octahedral ConfigurationSubjects: Analysis of PDEs (math.AP)
In this work, we investigate the nonlinear dynamics of molecules with an octahedral configuration, with particular focus on sulfur hexafluoride SF6. Under the assumption of isotypic nonresonance, we apply the method of equivariant gradient degree to prove the existence of branches of periodic solutions emerging from the critical orbit of equilibrium, corresponding to at least 16 distinct types of symmetries with maximal orbit kinds. Numerical animations are presented to illustrate the detected vibrational modes.
- [131] arXiv:2507.23724 [pdf, html, other]
-
Title: General diffusions on metric graphs as limits of time-space Markov ChainsSubjects: Probability (math.PR)
We introduce the Space-Time Markov Chain Approximation (STMCA) for a general diffusion process on a finite metric graph $\Gamma$. The STMCA is a doubly asymmetric (in both time and space) random walk defined on a subdivisions of $\Gamma$, with transition probabilities and conditional transition times that match, in expectation, those of the target diffusion. We derive bounds on the $p$-Wasserstein distances between the diffusion and its STMCA in terms of a thinness quantifier of the subdivision. This bound shows that convergence occurs at any rate inferior to $\frac{1}{4} \wedge \frac{1}{p} $ in terms of the the maximum cell size of the subdivision, for adapted subdivisions, at any rate inferior to $\frac{1}{2} \wedge \frac{2}{p} $. Additionally, we provide explicit analytical formulas for transition probabilities and times, enabling practical implementation of the STMCA. Numerical experiments illustrate our results.
- [132] arXiv:2507.23725 [pdf, html, other]
-
Title: Adaptive Stepsize Selection in Decentralized Convex OptimizationSubjects: Optimization and Control (math.OC)
We study decentralized optimization where multiple agents minimize the average of their (strongly) convex, smooth losses over a communication graph. Convergence of the existing decentralized methods generally hinges on an apriori, proper selection of the stepsize. Choosing this value is notoriously delicate: (i) it demands global knowledge from all the agents of the graph's connectivity and every local smoothness/strong-convexity constants--information they rarely have; (ii) even with perfect information, the worst-case tuning forces an overly small stepsize, slowing convergence in practice; and (iii) large-scale trial-and-error tuning is prohibitive. This work introduces a decentralized algorithm that is fully adaptive in the choice of the agents' stepsizes, without any global information and using only neighbor-to-neighbor communications--agents need not even know whether the problem is strongly convex. The algorithm retains strong guarantees: it converges at \emph{linear} rate when the losses are strongly convex and at \emph{sublinear} rate otherwise, matching the best-known rates of (nonadaptive) parameter-dependent methods.
- [133] arXiv:2507.23728 [pdf, html, other]
-
Title: Symbolic Computation with Symmetric Polynomials in Real Algebraic GeometrySubjects: Algebraic Geometry (math.AG)
Symmetry plays a central role in accelerating symbolic computation involving polynomials. This chapter surveys recent developments and foundational methods that leverage the inherent symmetries of polynomial systems to reduce complexity, improve algorithmic efficiency, and reveal deeper structural insights. The main focus is on symmetry by the permutation of variables.
- [134] arXiv:2507.23730 [pdf, html, other]
-
Title: Pointed Hopf algebras, the Dixmier-Moeglin Equivalence and Noetherian group algebrasComments: 20 pages. Preliminary version, comments welcomeSubjects: Rings and Algebras (math.RA); Group Theory (math.GR); Quantum Algebra (math.QA); Representation Theory (math.RT)
This paper addresses the interactions between three properties that a group algebra or more generally a pointed Hopf algebra may possess: being noetherian, having finite Gelfand-Kirillov dimension, and satisfying the Dixmier-Moeglin equivalence. First it is shown that the second and third of these properties are equivalent for group algebras $kG$ of polycyclic-by-finite groups, and are, in turn, equivalent to $G$ being nilpotent-by-finite. In characteristic 0, this enables us to extend this equivalence to certain cocommutative Hopf algebras.
In the second and third parts of the paper finiteness conditions for group algebras are studied. In the second section we examine when a group algebra satisfies the Goldie conditions, while in the final section we discuss what can be said about a minimal counterexample to the conjecture that if $kG$ is noetherian then G is polycyclic-by-finite. - [135] arXiv:2507.23731 [pdf, html, other]
-
Title: Fourier decay of equilibrium states and the Fibonacci HamiltonianComments: 72 pagesSubjects: Dynamical Systems (math.DS); Mathematical Physics (math-ph); Spectral Theory (math.SP)
We show positivity of the lower Fourier dimension for equilibrium states of nonlinear, area preserving, Axiom A diffeomorphisms on surfaces. To do so, we use the sum-product phenomenon to reduce Fourier decay to the study of some temporal distance function for a well chosen suspension flow, whose mixing properties reflects the nonlinearity of our base dynamics. We then generalize in an Axiom A setting the methods of Tsujii-Zhang, dealing with exponential mixing of three-dimensional Anosov flows arXiv:2006.04293. The nonlinearity condition is generic and can be checked in concrete contexts. As a corollary, we prove power Fourier decay for the density of states measure of the Fibonacci Hamiltonian, which is related to the measure of maximal entropy of the Fibonacci trace map. This proves positivity of the lower Fourier dimension for the spectrum of the Fibonacci Hamiltonian, and suggest strong phase-averaged dispersive estimates in quasicrystals.
- [136] arXiv:2507.23737 [pdf, html, other]
-
Title: Renormalisation of singular SPDEs with Correlated CoefficientsSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
We show local well-posedness of the g-PAM and the $\phi^{K+1}_2$-equation for $K\geq 1$ on the two-dimensional torus when the coefficient field is random and correlated to the driving noise. In the setting considered here, even when the model in the sense of [Hai14] is stationary, naive use of renormalisation constants in general leads to variance blow-up. Instead, we prove convergence of renormalised models choosing random renormalisation functions analogous to the deterministic variable coefficient setting. The main technical contribution are stochastic estimates on the model in this correlated setting which are obtained by a combination of heat kernel asymptotics, Gaussian integration by parts formulae and Hairer--Quastel type bounds [HQ18].
- [137] arXiv:2507.23749 [pdf, html, other]
-
Title: Hölder continuous dissipative solutions of ideal MHD with nonzero helicitySubjects: Analysis of PDEs (math.AP)
We prove the existence of weak solutions to the 3D ideal MHD equations, of class $C^\alpha$ with $\alpha=10^{-8}$, for which the total energy and the cross helicity (i.e., the so-called Elsässer energies) are not conserved. The solutions do not possess any symmetry properties and the magnetic helicity, which is necessarily conserved for Hölder continuous solutions, is nonzero. The construction, which works both on the torus $\mathbb{T}^3$ and on $\mathbb{R}^3$ with compact spatial support, is based on a novel convex integration scheme in which the magnetic helicity is preserved at each step. This is the first construction of continuous weak solutions at a regularity level where one conservation law (here, the magnetic helicity) is necessarily preserved while another (here, the total energy or cross helicity) is not, and where the preservation of the former is nontrivial in the sense that it does not follow from symmetry considerations.
- [138] arXiv:2507.23750 [pdf, html, other]
-
Title: Deformations of Reproducing Kernel Hilbert Spaces on Homogeneous VarietiesComments: This research thesis was conducted at the Faculty of Mathematics,Technion--Israel Institute of Technology, under the supervision of Prof. Orr Moshe ShalitSubjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
We study the relationships between a subvariety of the open unit ball in the complex $d$-dimensional space $\mathbb{C}^{d}$, the reproducing kernel Hilbert space (RKHS) obtained by restricting the Drury-Arveson space to the variety, and its multiplier algebra. Davidson, Ramsey, and Shalit showed that given two subvarieties, one is the image of the other under an automorphism of the ball if and only if the RKHSs corresponding to the varieties are isometrically isomorphic as RKHSs, and this holds if and only if their multiplier algebras are isometrically isomorphic as multiplier algebras. We observe that whenever two such RKHSs are close to being isometrically isomorphic, their multiplier algebras are close to being isometrically isomorphic as well. In this case, the underlying varieties are close to being automorphically equivalent. For homogeneous varieties satisfying some additional conditions, we show that if one variety is close to being the image of the other under a unitary, then the RKHSs are close to being isometrically isomorphic as RKHSs. This continues work by Ofek, Pandey and Shalit, who showed that for two finite subsets in the open unit ball $B_{d}$, one set is close to being the image of the other under an automorphism of $B_{d}$, if and only if the RKHSs defined on these sets, are close to being isometrically isomorphic, and that happens if and only if their multiplier algebras are close to being completely isometrically isomorphic.
- [139] arXiv:2507.23758 [pdf, html, other]
-
Title: Pascual Jordan's "Erweiterte Gravitationstheorie" - A Historical Analysis of its Mathematical FrameworkComments: 21 pagesSubjects: History and Overview (math.HO); History and Philosophy of Physics (physics.hist-ph)
This paper aims to highlight Pascual Jordan's axiomatic definition of the covariant derivative, as set out in his 1952 textbook "Schwerkraft und Weltall". Developed in light of his \emph{Erweiterte Gravitationstheorie} - a projective reformulation of relativity theory that incorporates a variable gravitational constant - Jordan's definition resembles those in contemporary usage. The paper contextualises Jordan's work within the broader historical frameworks of differential geometry and projective relativity, with a particular focus on the Princeton relativity group led by Oswald Veblen and Luther Pfahl Eisenhart. It also provides a summary of Jordan's formalism, focusing particularly on his definition of the covariant derivative, as well as a brief history of the origin and development of the covariant derivative.
- [140] arXiv:2507.23759 [pdf, html, other]
-
Title: Bost-Connes systems and periodic Witt vectorsComments: Comments are welcome!Subjects: Number Theory (math.NT)
In this note, using Borger's theory of periodic Witt vectors, we construct integral refinements of the arithmetic subalgebras associated with Bost-Connes systems for general number fields.
- [141] arXiv:2507.23762 [pdf, html, other]
-
Title: Path representations in multiparameter persistent homologySubjects: Algebraic Topology (math.AT)
Multiparameter persistence module can capture more topological differences across data instances compared to using a single parameter, where the well-studied matching distance investigates the distance along a straight line in the multiparameter space that gives the biggest difference. We propose to generalize the straight line to a monotone path filtration and offer software implementations.
- [142] arXiv:2507.23766 [pdf, html, other]
-
Title: Twisted embeddings of tori have small extrinsic systoleComments: 18 pagesSubjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
We prove a type of systolic inequality for embeddings of $T^2$ in $\mathbb{R}^3$. In particular, a highly twisted $T^2$ embedded in $\mathbb{R}^3$ must contain a non-contractible loop of small $\mathbb{R}^3$-diameter.
New submissions (showing 142 of 142 entries)
- [143] arXiv:2507.21265 (cross-list from cond-mat.soft) [pdf, html, other]
-
Title: Multiscale geometrical and topological learning in the analysis of soft matter collective dynamicsTetiana Orlova, Amaranta Membrillo Solis, Hayley R. O. Sohn, Tristan Madeleine, Giampaolo D'Alessandro, Ivan I. Smalyukh, Malgosia Kaczmarek, Jacek BrodzkiComments: 13 pages, 6 figuresSubjects: Soft Condensed Matter (cond-mat.soft); Materials Science (cond-mat.mtrl-sci); Machine Learning (cs.LG); Algebraic Topology (math.AT)
Understanding the behavior and evolution of a dynamical many-body system by analyzing patterns in their experimentally captured images is a promising method relevant for a variety of living and non-living self-assembled systems. The arrays of moving liquid crystal skyrmions studied here are a representative example of hierarchically organized materials that exhibit complex spatiotemporal dynamics driven by multiscale processes. Joint geometric and topological data analysis (TDA) offers a powerful framework for investigating such systems by capturing the underlying structure of the data at multiple scales. In the TDA approach, we introduce the $\Psi$-function, a robust numerical topological descriptor related to both the spatiotemporal changes in the size and shape of individual topological solitons and the emergence of regions with their different spatial organization. The geometric method based on the analysis of vector fields generated from images of skyrmion ensembles offers insights into the nonlinear physical mechanisms of the system's response to external stimuli and provides a basis for comparison with theoretical predictions. The methodology presented here is very general and can provide a characterization of system behavior both at the level of individual pattern-forming agents and as a whole, allowing one to relate the results of image data analysis to processes occurring in a physical, chemical, or biological system in the real world.
- [144] arXiv:2507.22906 (cross-list from eess.SP) [pdf, html, other]
-
Title: DNN-based Methods of Jointly Sensing Number and Directions of Targets via a Green Massive H2AD MIMO ReceiverSubjects: Signal Processing (eess.SP); Artificial Intelligence (cs.AI); Information Theory (cs.IT); Machine Learning (cs.LG)
As a green MIMO structure, the heterogeneous hybrid analog-digital H2AD MIMO architecture has been shown to own a great potential to replace the massive or extremely large-scale fully-digital MIMO in the future wireless networks to address the three challenging problems faced by the latter: high energy consumption, high circuit cost, and high complexity. However, how to intelligently sense the number and direction of multi-emitters via such a structure is still an open hard problem. To address this, we propose a two-stage sensing framework that jointly estimates the number and direction values of multiple targets. Specifically, three target number sensing methods are designed: an improved eigen-domain clustering (EDC) framework, an enhanced deep neural network (DNN) based on five key statistical features, and an improved one-dimensional convolutional neural network (1D-CNN) utilizing full eigenvalues. Subsequently, a low-complexity and high-accuracy DOA estimation is achieved via the introduced online micro-clustering (OMC-DOA) method. Furthermore, we derive the Cramér-Rao lower bound (CRLB) for the H2AD under multiple-source conditions as a theoretical performance benchmark. Simulation results show that the developed three methods achieve 100\% number of targets sensing at moderate-to-high SNRs, while the improved 1D-CNN exhibits superior under extremely-low SNR conditions. The introduced OMC-DOA outperforms existing clustering and fusion-based DOA methods in multi-source environments.
- [145] arXiv:2507.22959 (cross-list from cs.LG) [pdf, html, other]
-
Title: Scientific Machine Learning with Kolmogorov-Arnold NetworksSubjects: Machine Learning (cs.LG); Computational Engineering, Finance, and Science (cs.CE); Mathematical Physics (math-ph)
The field of scientific machine learning, which originally utilized multilayer perceptrons (MLPs), is increasingly adopting Kolmogorov-Arnold Networks (KANs) for data encoding. This shift is driven by the limitations of MLPs, including poor interpretability, fixed activation functions, and difficulty capturing localized or high-frequency features. KANs address these issues with enhanced interpretability and flexibility, enabling more efficient modeling of complex nonlinear interactions and effectively overcoming the constraints associated with conventional MLP architectures. This review categorizes recent progress in KAN-based models across three distinct perspectives: (i) data-driven learning, (ii) physics-informed modeling, and (iii) deep operator learning. Each perspective is examined through the lens of architectural design, training strategies, application efficacy, and comparative evaluation against MLP-based counterparts. By benchmarking KANs against MLPs, we highlight consistent improvements in accuracy, convergence, and spectral representation, clarifying KANs' advantages in capturing complex dynamics while learning more effectively. Finally, this review identifies critical challenges and open research questions in KAN development, particularly regarding computational efficiency, theoretical guarantees, hyperparameter tuning, and algorithm complexity. We also outline future research directions aimed at improving the robustness, scalability, and physical consistency of KAN-based frameworks.
- [146] 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)
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.
- [147] arXiv:2507.22989 (cross-list from cond-mat.str-el) [pdf, html, other]
-
Title: Tensor Network Representations for Intrinsically Mixed-State Topological OrdersComments: 15 pages, 10 figuresSubjects: Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
Tensor networks are an efficient platform to represent interesting quantum states of matter as well as to compute physical observables and information-theoretic quantities. We present a general protocol to construct fixed-point tensor network representations for intrinsically mixed-state topological phases, which exhibit nontrivial topological phenomena and do not have pure-state counterparts. The method exploits the power of anyon condensation in Choi states and is applicable to the cases where the target states arise from pure-state topological phases subject to strong decoherence/disorders in the Abelian sectors. Representative examples include $m^a e^b$ decoherence of $\mathbb{Z}_N$ toric code, decohered non-Abelian $S_3$ quantum double as well as pure $Z$/$X$ decoherence of arbitrary CSS codes. An example of chiral topological phases which cannot arise from local commuting projector models are also presented.
- [148] arXiv:2507.22992 (cross-list from quant-ph) [pdf, html, other]
-
Title: Improved Simulation of Asynchronous Entanglement Distribution in Noisy Quantum NetworksComments: 26 pages, 2 figures, 1 computational packageSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Optics (physics.optics)
This work introduces a lightweight simulation framework for evaluating asynchronous entanglement distribution protocols under realistic error models. We focus on two contemporary protocols: sequential, where entanglement is established one node at a time, and parallel, where all nodes attempt to generate entanglement simultaneously. We evaluate the performance of each protocol using two key metrics: the fidelity of distributed entangled states, and the hashing rate, a measure of entanglement efficiency. These metrics are compared between both protocols across a range of network sizes and noise parameters. We demonstrate that the parallel protocol consistently outperforms the sequential, particularly in the hashing rate metric due to reduced runtime, suggesting that parallel protocols are a strong candidate for a realizable quantum Internet. Our framework offers an accessible and scalable tool for evaluating entanglement distribution strategies, by reducing the simulation of complex quantum processes to simple memory time calculations.
- [149] arXiv:2507.23017 (cross-list from stat.ML) [pdf, html, other]
-
Title: A Smoothing Newton Method for Rank-one Matrix RecoveryComments: 12 pages, 4 figuresSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC)
We consider the phase retrieval problem, which involves recovering a rank-one positive semidefinite matrix from rank-one measurements. A recently proposed algorithm based on Bures-Wasserstein gradient descent (BWGD) exhibits superlinear convergence, but it is unstable, and existing theory can only prove local linear convergence for higher rank matrix recovery. We resolve this gap by revealing that BWGD implements Newton's method with a nonsmooth and nonconvex objective. We develop a smoothing framework that regularizes the objective, enabling a stable method with rigorous superlinear convergence guarantees. Experiments on synthetic data demonstrate this superior stability while maintaining fast convergence.
- [150] arXiv:2507.23056 (cross-list from q-bio.PE) [pdf, html, other]
-
Title: Phylogenetic network models as graphical modelsComments: 21 pages, 7 figuresSubjects: Populations and Evolution (q-bio.PE); Combinatorics (math.CO); Statistics Theory (math.ST)
The displayed tree phylogenetic network model is shown to sit as a natural submodel of the graphical model associated to a directed acyclic graph (DAG). This representation allows to derive a number of results about the displayed tree model. In particular, the concept of a local modification to a DAG model is developed and applied to the displayed tree model. As an application, some nonidentifiability issues related to the displayed tree models are highlighted as they relate to reticulation edges and stacked reticulations in the networks. We also derive rank conditions on flattenings of probability tensors for the displayed tree model, generalizing classic results for phylogenetic tree models.
- [151] arXiv:2507.23059 (cross-list from quant-ph) [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.
- [152] arXiv:2507.23061 (cross-list from hep-th) [pdf, html, other]
-
Title: Three-loop banana integrals with four unequal massesComments: 25 pages plus 9 pages in the appendicesSubjects: High Energy Physics - Theory (hep-th); High Energy Physics - Phenomenology (hep-ph); Algebraic Geometry (math.AG)
We present a system of canonical differential equations satisfied by the three-loop banana integrals with four distinct non-zero masses in $D = 2-2\eps$ dimensions. Together with the initial condition in the small-mass limit, this provides all the ingredients to find analytic results for three-loop banana integrals in terms of iterated integrals to any desired order in the dimensional regulator. To obtain this result, we rely on recent advances in understanding the K3 geometry underlying these integrals and in how to construct rotations to an $\eps$-factorized basis. This rotation typically involves the introduction of objects defined as integrals of (derivatives of) K3 periods and rational functions. We apply and extend a method based on results from twisted cohomology to identify relations among these functions, which allows us to reduce their number considerably. We expect that the methods that we have applied here will prove useful to compute further multiloop multiscale Feynman integrals attached to non-trivial geometries.
- [153] arXiv:2507.23097 (cross-list from gr-qc) [pdf, html, other]
-
Title: Spacetime inextensibility criteria by volume-distance-ratio asymptote and applications to naked singularities and FLRW spacetimesComments: 24 pages, 2 figuresSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Differential Geometry (math.DG)
We study the inextensibility problem of the spacetime at a future boundary point. We detect the inextensibility of the spacetime by the volume-distance-ratio asymptote of the timelike diamond approaching the future boundary point. The fundamental idea is to compare the asymptote with the one in Minkowski spacetime. By this idea, we establish the inextensibility criteria for both $C^{0,1}$ and $C^0$ regularities. As applications, we prove that i) $C^{0,1}$-inextensibility of the interior solution of the spherically self-similar naked singularity in the gravitational collapse of a massless scalar field constructed by Christodoulou. The key estimate is on the volume form of the interior solution of the naked singularity in a self-similar coordinate system. ii) $C^0$-inextensibility of the spatially flat FLRW spacetime with asymptotically linear scale factor $a(t) \sim t$. The key estimate is the volume comparison with the spatially hyperbolic FLRW spacetime with the scale factor $t$ which is the causal past of a point in the Minkowski spacetime.
- [154] arXiv:2507.23105 (cross-list from cs.CG) [pdf, html, other]
-
Title: The Squishy Grid ProblemSubjects: Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Probability (math.PR)
In this paper we consider the problem of approximating Euclidean distances by the infinite integer grid graph. Although the topology of the graph is fixed, we have control over the edge-weight assignment $w:E\to \mathbb{R}_{\ge 0}$, and hope to have grid distances be asymptotically isometric to Euclidean distances, that is, for all grid points $u,v$, $\mathrm{dist}_w(u,v) = (1\pm o(1))\|u-v\|_2$. We give three methods for solving this problem, each attractive in its own way.
* Our first construction is based on an embedding of the recursive, non-periodic pinwheel tiling of Radin and Conway into the integer grid. Distances in the pinwheel graph are asymptotically isometric to Euclidean distances, but no explicit bound on the rate of convergence was known. We prove that the multiplicative distortion of the pinwheel graph is $(1+1/\Theta(\log^\xi \log D))$, where $D$ is the Euclidean distance and $\xi=\Theta(1)$. The pinwheel tiling approach is conceptually simple, but can be improved quantitatively.
* Our second construction is based on a hierarchical arrangement of "highways." It is simple, achieving stretch $(1 + 1/\Theta(D^{1/9}))$, which converges doubly exponentially faster than the pinwheel tiling approach.
* The first two methods are deterministic. An even simpler approach is to sample the edge weights independently from a common distribution $\mathscr{D}$. Whether there exists a distribution $\mathscr{D}^*$ that makes grid distances Euclidean, asymptotically and in expectation, is major open problem in the theory of first passage percolation. Previous experiments show that when $\mathscr{D}$ is a Fisher distribution, grid distances are within 1\% of Euclidean. We demonstrate experimentally that this level of accuracy can be achieved by a simple 2-point distribution that assigns weights 0.41 or 4.75 with probability 44\% and 56\%, respectively. - [155] arXiv:2507.23125 (cross-list from hep-th) [pdf, other]
-
Title: Path integral analysis of Schrödinger-type eigenvalue problems in the complex plane: Establishing the relation between instantons and resonant statesComments: 67 pages, 16 figuresSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
Schrödinger-type eigenvalue problems are ubiquitous in theoretical physics, with quantum-mechanical applications typically confined to cases for which the eigenfunctions are required to be normalizable on the real axis. However, seeking the spectrum of resonant states for metastable potentials or comprehending $\mathcal{PT}$-symmetric scenarios requires the broader study of eigenvalue problems for which the boundary conditions are provided in specific angular sectors of the complex plane. We generalize the conventional path integral treatment to such nonstandard boundary value problems, allowing the extraction of spectral information using functional methods. We find that the arising functional integrals are naturally defined on a complexified integration contour, encapsulating the demanded sectorial boundary conditions of the associated eigenvalue problem. The attained results are applied to the analysis of resonant ground-state energies, through which we identify the previously elusive one-to-one correspondence between decay rates derived from real-time quantum tunneling dynamics and those obtained via the Euclidean instanton method.
- [156] arXiv:2507.23392 (cross-list from q-fin.MF) [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. - [157] arXiv:2507.23433 (cross-list from cs.NI) [pdf, html, other]
-
Title: From Timestamps to Versions: Version AoI in Single- and Multi-Hop NetworksSubjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
Timely and informative data dissemination in communication networks is essential for enhancing system performance and energy efficiency, as it reduces the transmission of outdated or redundant data. Timeliness metrics, such as Age of Information (AoI), effectively quantify data freshness; however, these metrics fail to account for the intrinsic informativeness of the content itself. To address this limitation, content-based metrics have been proposed that combine both timeliness and informativeness. Nevertheless, existing studies have predominantly focused on evaluating average metric values, leaving the complete distribution-particularly in multi-hop network scenarios-largely unexplored. In this paper, we provide a comprehensive analysis of the stationary distribution of the Version Age of Information (VAoI), a content-based metric, under various scheduling policies, including randomized stationary, uniform, and threshold-based policies, with transmission constraints in single-hop and multi-hop networks. We derive closed-form expressions for the stationary distribution and average VAoI under these scheduling approaches. Furthermore, for threshold-based scheduling, we analytically determine the optimal threshold value that minimizes VAoI and derive the corresponding optimal VAoI in closed form. Numerical evaluations verify our analytical findings, providing valuable insights into leveraging VAoI in the design of efficient communication networks.
- [158] arXiv:2507.23443 (cross-list from cs.CE) [pdf, html, other]
-
Title: Adjoint-Based Aerodynamic Shape Optimization with a Manifold Constraint Learned by Diffusion ModelsSubjects: Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG); Optimization and Control (math.OC)
We introduce an adjoint-based aerodynamic shape optimization framework that integrates a diffusion model trained on existing designs to learn a smooth manifold of aerodynamically viable shapes. This manifold is enforced as an equality constraint to the shape optimization problem. Central to our method is the computation of adjoint gradients of the design objectives (e.g., drag and lift) with respect to the manifold space. These gradients are derived by first computing shape derivatives with respect to conventional shape design parameters (e.g., Hicks-Henne parameters) and then backpropagating them through the diffusion model to its latent space via automatic differentiation. Our framework preserves mathematical rigor and can be integrated into existing adjoint-based design workflows with minimal modification. Demonstrated on extensive transonic RANS airfoil design cases using off-the-shelf and general-purpose nonlinear optimizers, our approach eliminates ad hoc parameter tuning and variable scaling, maintains robustness across initialization and optimizer choices, and achieves superior aerodynamic performance compared to conventional approaches. This work establishes how AI generated priors integrates effectively with adjoint methods to enable robust, high-fidelity aerodynamic shape optimization through automatic differentiation.
- [159] arXiv:2507.23469 (cross-list from nlin.SI) [pdf, html, other]
-
Title: Exact quasi-periodic solutions to the MKdV equationComments: 21 pages, 1 figureSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Algebraic Geometry (math.AG)
In the present paper, a hierarchy of the mKdV equation is integrated by the methods of algebraic geometry. The mKdV hierarchy in question arises on coadjoint orbits in the loop algebra of $\mathfrak{sl}(2)$, and employs a family of hyperelliptic curves as spectral curves. A generic form of the finite-gap solution in any genus is obtained in terms of the $\wp$-functions, which generalize the Weierstrass $\wp$-function. Reality conditions for quasi-periodic wave solutions are completely specified. The obtained solutions are illustrated by plots in small genera.
- [160] arXiv:2507.23495 (cross-list from cs.LG) [pdf, html, other]
-
Title: Incorporating structural uncertainty in causal decision makingComments: This work is under review at the Journal of Causal InferenceSubjects: Machine Learning (cs.LG); Statistics Theory (math.ST)
Practitioners making decisions based on causal effects typically ignore structural uncertainty. We analyze when this uncertainty is consequential enough to warrant methodological solutions (Bayesian model averaging over competing causal structures). Focusing on bivariate relationships ($X \rightarrow Y$ vs. $X \leftarrow Y$), we establish that model averaging is beneficial when: (1) structural uncertainty is moderate to high, (2) causal effects differ substantially between structures, and (3) loss functions are sufficiently sensitive to the size of the causal effect. We prove optimality results of our suggested methodological solution under regularity conditions and demonstrate through simulations that modern causal discovery methods can provide, within limits, the necessary quantification. Our framework complements existing robust causal inference approaches by addressing a distinct source of uncertainty typically overlooked in practice.
- [161] arXiv:2507.23510 (cross-list from hep-th) [pdf, html, other]
-
Title: A Novel On-Shell Recursive RelationComments: 5 pages and 1 appendixSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We present a novel framework for deriving on-shell recursion relations, with a specific focus on biadjoint and pure Yang-Mills theories. Starting from the double-cover CHY factorization formulae, we identify a suitable set of independent kinematic variables that enables the reconstruction of amputated currents from amplitudes. As a byproduct, this new recursive structure recasts the BCJ numerators into an explicitly on-shell factorized form.
- [162] arXiv:2507.23512 (cross-list from cs.LG) [pdf, html, other]
-
Title: Differentially Private Clipped-SGD: High-Probability Convergence with Arbitrary Clipping LevelComments: 60 pagesSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Gradient clipping is a fundamental tool in Deep Learning, improving the high-probability convergence of stochastic first-order methods like SGD, AdaGrad, and Adam under heavy-tailed noise, which is common in training large language models. It is also a crucial component of Differential Privacy (DP) mechanisms. However, existing high-probability convergence analyses typically require the clipping threshold to increase with the number of optimization steps, which is incompatible with standard DP mechanisms like the Gaussian mechanism. In this work, we close this gap by providing the first high-probability convergence analysis for DP-Clipped-SGD with a fixed clipping level, applicable to both convex and non-convex smooth optimization under heavy-tailed noise, characterized by a bounded central $\alpha$-th moment assumption, $\alpha \in (1,2]$. Our results show that, with a fixed clipping level, the method converges to a neighborhood of the optimal solution with a faster rate than the existing ones. The neighborhood can be balanced against the noise introduced by DP, providing a refined trade-off between convergence speed and privacy guarantees.
- [163] arXiv:2507.23526 (cross-list from eess.SP) [pdf, html, other]
-
Title: Channel Estimation for 6G Near-Field Wireless Communications: A Comprehensive SurveyWen-Xuan Long, Shengyu Ye, Marco Moretti, Michele Morelli, Luca Sanguinetti, Rui Chen, Cheng-Xiang WangSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
The sixth-generation (6G) wireless systems are expected to adopt extremely large aperture arrays (ELAAs), novel antenna architectures, and operate in extremely high-frequency bands to meet growing data demands. ELAAs significantly increase the number of antennas, enabling finer spatial resolution and improved beamforming. At high frequencies, ELAAs shift communication from the conventional far-field to near-field regime, where spherical wavefronts dominate and the channel response depends on both angle and distance, increasing channel dimensionality. Conventional far-field channel estimation methods, which rely on angular information, struggle in near-field scenarios due to increased pilot overhead and computational complexity. This paper presents a comprehensive survey of recent advances in near-field channel estimation. It first defines the near- and far-field boundary from an electromagnetic perspective and discusses key propagation differences, alongside a brief review of ELAA developments. Then, it introduces mainstream near-field channel models and compares them with far-field models. Major estimation techniques are reviewed under different configurations (single/multi-user, single/multi-carrier), including both direct estimation and RIS-assisted cascaded estimation. These techniques reveal trade-offs among estimation accuracy, complexity, and overhead. This survey aims to provide insights and foundations for efficient and scalable near-field channel estimation in 6G systems, while identifying key challenges and future research directions.
- [164] arXiv:2507.23533 (cross-list from cs.DC) [pdf, html, other]
-
Title: Threshold-Driven Streaming Graph: Expansion and Rumor SpreadingSubjects: Distributed, Parallel, and Cluster Computing (cs.DC); Probability (math.PR)
A randomized distributed algorithm called RAES was introduced in [Becchetti et al., SODA 2020] to extract a bounded-degree expander from a dense $n$-vertex expander graph $G = (V, E)$. The algorithm relies on a simple threshold-based procedure. A key assumption in [Becchetti et al., SODA 2020] is that the input graph $G$ is static - i.e., both its vertex set $V$ and edge set $E$ remain unchanged throughout the process - while the analysis of RAES in dynamic models is left as a major open question.
In this work, we investigate the behavior of RAES under a dynamic graph model induced by a streaming node-churn process (also known as the sliding window model), where, at each discrete round, a new node joins the graph and the oldest node departs. This process yields a bounded-degree dynamic graph $\mathcal{G} =\{ G_t = (V_t, E_t) : t \in \mathbb{N}\}$ that captures essential characteristics of peer-to-peer networks -- specifically, node churn and threshold on the number of connections each node can manage. We prove that every snapshot $G_t$ in the dynamic graph sequence has good expansion properties with high probability. Furthermore, we leverage this property to establish a logarithmic upper bound on the completion time of the well-known PUSH and PULL rumor spreading protocols over the dynamic graph $\mathcal{G}$. - [165] arXiv:2507.23621 (cross-list from cond-mat.stat-mech) [pdf, html, other]
-
Title: How to Incorporate Higher-order Interactions in Analog Ising MachinesComments: 16 pages, 7 figures, including Supplementary MaterialSubjects: 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)
Ising machines (IMs) are specialized devices designed to efficiently solve combinatorial optimization problems. Among such problems, Boolean Satisfiability (SAT) is particularly relevant in industrial applications. To solve SAT problems using IMs, it is crucial to incorporate higher-order interactions. However, in analog IMs, interactions of different orders scale unevenly with the continuous spin amplitudes, introducing imbalances that can significantly degrade performance. We present a numerical comparison of methods to mitigate these imbalances, evaluating time-to-solution and success rate on Uniform Random 3-SAT instances from the SATLIB benchmark set. Our results show that the most effective approach employs spin interactions that are proportional to the signs of spins, rather than their continuous amplitudes. This generalizes our previous work, which showed that such interactions best mitigate imbalances induced by external fields in quadratic analog IMs. In this work, its advantage becomes substantially more pronounced, as it naturally mitigates imbalances across all interaction orders. We further demonstrate that smooth approximations of this method make it compatible with analog hardware. Our findings underscore the central role of spin-sign-based interactions in enabling robust and scalable analog IM dynamics.
- [166] arXiv:2507.23628 (cross-list from quant-ph) [pdf, html, other]
-
Title: Characterizing the Kirkwood-Dirac positivity on second countable LCA groupsComments: 30 pagesSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Functional Analysis (math.FA); Group Theory (math.GR)
We define the Kirkwood-Dirac quasiprobability representation of quantum mechanics associated with the Fourier transform over second countable locally compact abelian groups. We discuss its link with the Kohn-Nirenberg quantization of the phase space $G\times \widehat{G}$. We use it to argue that in this abstract setting the Wigner-Weyl quantization, when it exists, can still be interpreted as a symmetric ordering. Then, we identify all generalized (non-normalizable) pure states having a positive Kirkwood-Dirac distribution. They are, up to the natural action of the Weyl-Heisenberg group, Haar measures on closed subgroups. This generalizes a result known for finite abelian groups. We then show that the classical fragment of quantum mechanics associated with the Kirkwood-Dirac distribution is non-trivial if and only if the group has a compact connected component. Finally, we provide for connected compact abelian groups a complete geometric description of this classical fragment.
- [167] arXiv:2507.23707 (cross-list from eess.SP) [pdf, html, other]
-
Title: Cellular, Cell-less, and Everything in Between: A Unified Framework for Utility Region Analysis in Wireless NetworksSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
We introduce a unified framework for analyzing utility regions of wireless networks, with a focus on the signal-to-interference-noise-ratio (SINR) and achievable rate regions. The framework provides valuable insights into interference patterns of modern network architectures, such as cell-less and extremely large MIMO networks, and it generalizes existing characterizations of the weak Pareto boundary. A central contribution is the derivation of sufficient conditions that guarantee convexity of the utility regions. Convexity is an important property because it ensures that time sharing (or user grouping) cannot simultaneously increase the utility of all users when the network operates on the weak Pareto boundary. These sufficient conditions also have two key implications. First, they identify a family of (weighted) sum-rate maximization problems that are inherently convex without any variable transformations, thus paving the way for the development of efficient, provably optimal solvers for this family. Second, they provide a rigorous justification for formulating sum-rate maximization problems directly in terms of achievable rates, rather than SINR levels. Our theoretical insights also motivate an alternative to the concept of favorable propagation in the massive MIMO literature -- one that explicitly accounts for self-interference and the beamforming strategy.
- [168] arXiv:2507.23781 (cross-list from hep-th) [pdf, html, other]
-
Title: Graded Unitarity in the SCFT/VOA CorrespondenceSubjects: High Energy Physics - Theory (hep-th); Quantum Algebra (math.QA); Representation Theory (math.RT)
Vertex algebras that arise from four-dimensional, $\mathcal{N}=2$ superconformal field theories inherit a collection of novel structural properties from their four-dimensional ancestors. Crucially, when the parent SCFT is unitary, the corresponding vertex algebra is not unitary in the conventional sense. In this paper, we motivate and define a generalized notion of unitarity for vertex algebras that we call \emph{graded unitarity}, and which captures the consequences of four-dimensional unitarity under this correspondence. We also take the first steps towards a classification program for graded-unitary vertex algebras whose underlying vertex algebras are Virasoro or affine Kac--Moody vertex algebras. Remarkably, under certain natural assumptions about the $\mathfrak{R}$-filtration for these vertex algebras, we show that only the $(2,p)$ central charges for Virasoro VOAs and boundary admissible levels for $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$ Kac--Moody vertex algebras can possibly be compatible with graded unitarity. These are precisely the cases of these vertex algebras that are known to arise from four dimensions.
Cross submissions (showing 26 of 26 entries)
- [169] arXiv:1807.00849 (replaced) [pdf, other]
-
Title: A fully new path to prove Riemann HypothesisComments: 15 pages, 6 figuresSubjects: General Mathematics (math.GM)
By transforming the Zeta function into a real function through Laplace inverse transformation, an algebraic research paradigm for prime number distribution was established, and important results were obtained (page 10).
This method has received positive feedback from Sir Atiyah (see page 14 for details) and demonstrates significant potential for applications in the field of cryptography and blockchain.
Core breakthrough: Revealing the essence of Zeta function, replacing complex analysis with convolutional algebra, making the proof path of Riemann hypothesis clear, concise, and computable. - [170] arXiv:2111.07496 (replaced) [pdf, html, other]
-
Title: Rigidity results with curvature conditions from Lichnerowicz Laplacian and applicationsComments: We improved the condition from Q>2 to Q>1, adding new applications on ALE manifolds, revising a structure of the paperSubjects: Differential Geometry (math.DG)
The Bochner technique is a classical tool in global differential geometry for proving vanishing and rigidity results by exploiting curvature conditions. Building on recent extensions of this method to complete non-compact settings by Petersen and Wink, we investigate $L^Q$-harmonic tensors with $Q>1$ governed by the Lichnerowicz Laplacian on complete Riemannian manifolds. Our results generalize Bochner-type theorems to the non-compact realm, revealing new geometric rigidity phenomena not visible in compact cases. We establish vanishing theorems under integral curvature bounds and weighted Poincaré inequalities, and derive conditions under which harmonic tensors must vanish. In particular, we show that on Ricci-flat or Einstein manifolds, curvature tensors such as $\mathrm{Rm}$ or the Weyl tensor $W$ vanish identically under natural $L^Q$-integrability and positivity assumptions on the curvature operator. These results imply strong rigidity: flatness in the Ricci-flat case and constant sectional curvature in the Einstein case.
We further apply our framework to closed hypersurfaces in space forms and derive vanishing results for intermediate Betti numbers under positivity conditions on the second fundamental form. Finally, we extend our theory to asymptotically locally Euclidean (ALE) spaces, proving that harmonic Weyl tensors and Codazzi tensors must vanish under curvature positivity and decay conditions. Our analysis also links these results to ADM mass rigidity, establishing new obstructions to nontrivial decaying solutions on ALE 4-manifolds. - [171] arXiv:2111.13160 (replaced) [pdf, html, other]
-
Title: Introduction to SPDEs from Probability and PDEComments: Examples updated in Chapters 2 and 3; Acknowledgments added; 90 pagesSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
Lecture notes accompanying an 8hr hour mini-course on SPDE given at Boğaziçi University, Istanbul in June/July 2025. They are based on earlier notes of a shorter mini-course given at the University of Oxford in 2021. The main focus of these notes is on an exposition of the variational method for monotone and coercive SPDE. A recap of the necessary functional analysis, operator theory and stochastic analysis on Hilbert spaces is included, with additional references. The final chapter contains a discussion of the pathwise approach.
- [172] arXiv:2202.12870 (replaced) [pdf, html, other]
-
Title: Correlation functions for open XXZ spin 1/2 quantum chains with unparallel boundary magnetic fieldsComments: 73 pages, several small correctionsJournal-ref: J. Phys. A: Math. Theor. 55 405203 (2022)Subjects: Mathematical Physics (math-ph); Other Condensed Matter (cond-mat.other); High Energy Physics - Theory (hep-th); Exactly Solvable and Integrable Systems (nlin.SI)
In this paper we continue our derivation of the correlation functions of open quantum spin 1/2 chains with unparallel magnetic fields on the edges; this time for the more involved case of the XXZ spin 1/2 chains. We develop our study in the framework of the quantum Separation of Variables (SoV), which gives us both the complete spectrum characterization and simple scalar product formulae for separate states, including transfer matrix eigenstates. Here, we leave the boundary magnetic field in the first site of the chain completely arbitrary, and we fix the boundary field in the last site $N$ of the chain to be a specific value along the $z$-direction. This is a natural first choice for the unparallel boundary magnetic fields. We prove that under these special boundary conditions, on the one side, we have a simple enough complete spectrum description in terms of homogeneous Baxter like $TQ$-equation. On the other side, we prove a simple enough description of the action of a basis of local operators on transfer matrix eigenstates as linear combinations of separate states. Thanks to these results, we achieve our main goal to derive correlation functions for a set of local operators both for the finite and half-infinite chains, with multiple integral formulae in this last case.
- [173] arXiv:2208.09962 (replaced) [pdf, html, other]
-
Title: The plectic conjecture over local fieldsComments: 37 pages. Comments welcome!Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Representation Theory (math.RT)
Using a mixed-characteristic incarnation of fusion, we prove an analog of Nekovář-Scholl's plectic conjecture for local Shimura varieties. We apply this to obtain results on the plectic conjecture for (global) Shimura varieties after restricting to a decomposition group. Along the way, we prove a $p$-adic uniformization theorem for the basic locus of abelian type Shimura varieties at hyperspecial level, which is of independent interest.
- [174] arXiv:2208.10097 (replaced) [pdf, html, other]
-
Title: On correlation functions for the open XXZ chain with non-longitudinal boundary fields : the case with a constraintComments: some small corrections, including corrected signs in the last formula, 29 pagesJournal-ref: SciPost Phys. 16, 099 (2024)Subjects: Mathematical Physics (math-ph); Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Exactly Solvable and Integrable Systems (nlin.SI)
This paper is a continuation of [1], in which a set of matrix elements of local operators was computed for the XXZ spin-1/2 open chain with a particular case of unparallel boundary fields. Here, we extend these results to the more general case in which both fields are non-longitudinal and related by one constraint, allowing for a partial description of the spectrum by usual Bethe equations. More precisely, the complete spectrum and eigenstates can be characterized within the Separation of Variables (SoV) framework. One uses here the fact that, under the constraint, a part of this SoV spectrum can be described via solutions of a usual, homogeneous, TQ-equation, with corresponding transfer matrix eigenstates coinciding with generalized Bethe states. We explain how to generically compute the action of a basis of local operators on such kind of states, and this under the most general boundary condition on the last site of the chain. As a result, we can compute the matrix elements of some of these basis elements in any eigenstate described by the homogenous TQ-equation. Assuming, following a conjecture of Nepomechie and Ravanini, that the ground state itself can be described in this framework, we obtain multiple integral representations for these matrix elements in the half-infinite chain limit, generalizing those previously obtained in the case of longitudinal boundary fields and in the case of the special boundary conditions considered in [1].
- [175] arXiv:2301.04943 (replaced) [pdf, html, other]
-
Title: Robust Nonlinear Optimal Control via System Level SynthesisComments: Published in IEEE Transactions on Automatic Control (TAC). Code: this https URLJournal-ref: IEEE Transactions on Automatic Control, Vol. 70, No. 7, 2025, pp. 4780-4787Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
This paper addresses the problem of finite horizon constrained robust optimal control for nonlinear systems subject to norm-bounded disturbances. To this end, the underlying uncertain nonlinear system is decomposed based on a first-order Taylor series expansion into a nominal system and an error (deviation) described as an uncertain linear time-varying system. This decomposition allows us to leverage system level synthesis to jointly optimize an affine error feedback, a nominal nonlinear trajectory, and, most importantly, a dynamic linearization error over-bound used to ensure robust constraint satisfaction for the nonlinear system. The proposed approach thereby results in less conservative planning compared with state-of-the-art techniques. We demonstrate the benefits of the proposed approach to control the rotational motion of a rigid body subject to state and input constraints.
- [176] arXiv:2302.10990 (replaced) [pdf, html, other]
-
Title: On Rieffel's conjecture characterizing a deformed algebra as Heisenberg smooth operatorsComments: The paper was renamed. Several minor changes were performed, including a modification in the Heisenberg group definition and a slight reformulation in the statement of Rieffel's conjecture. A mistake at the end of the proof of Theorem 4.1 (now renamed Theorem A) was fixed. An Appendix was added. Accepted for publication in Journal of Noncommutative GeometrySubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
Let $\mathscr{A}$ be a unital C$^*$-algebra and $E_n$ be the Hilbert $\mathscr{A}$-module defined as the completion of the $\mathscr{A}$-valued Schwartz function space $\mathcal{S}^\mathscr{A}(\mathbb{R}^n)$ with respect to the norm $\|f\|_2 := \left\| \int_{\mathbb{R}^n} f(x)^*f(x) \, dx \right\|_\mathscr{A}^{1 / 2}$. Also, let $\text{Ad }\mathcal{U}$ be the canonical action of the $(2n + 1)$-dimensional Heisenberg group by conjugation on the algebra of adjointable operators on $E_n$ and let $J$ be a skew-symmetric linear transformation on $\mathbb{R}^n$. We characterize the smooth vectors under $\text{Ad }\mathcal{U}$ which commute with a certain algebra of right multiplication operators $R_h$, with $h \in \mathcal{S}^\mathscr{A}(\mathbb{R}^n)$, where the product is ``twisted'' with respect to $J$ according to a deformation quantization procedure introduced by M.A. Rieffel. More precisely, we establish that they coincide with an algebra of left multiplication operators and show that this solves, in particular, a conjecture posed by Rieffel.
- [177] arXiv:2304.01832 (replaced) [pdf, html, other]
-
Title: A note on asynchronously automatic groups and notions of non-positive curvatureComments: v2: 11 pages, 2 figures, minor changes, to appear in Algebraic & Geometric Topology; v1: 10 pages, 2 figures, comments welcome!Subjects: Group Theory (math.GR)
We prove groups acting cocompactly on locally finite trees with hyperbolic vertex stabilisers are asynchronously automatic. Combining this with previous work of the authors, we obtain an example of a group satisfying several non-positive curvature properties (being a $\mathrm{CAT}(0)$ group, an injective group, a hierarchically hyperbolic group, and having quadratic Dehn function) which is asynchronously automatic but not biautomatic.
- [178] arXiv:2307.05619 (replaced) [pdf, html, other]
-
Title: The Riemannian curvature identities of a $G_2$ connection with skew-symmetric torsion and generalized Ricci solitonsComments: 24 pages, exposition improved, references added, final version to appear in Quart. J. Math. (Oxford)Subjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th)
Curvature properties of the characteristic connection on an integrable $G_2$ manifold are investigated. We consider integrable $G_2$ manifold of constant type, i.e. the scalar product of the exterior derivative of the $G_2$ form with its Hodge dual is a constant. We show that on an integrable $G_2$ manifold of constant type with $G_2$-instanton characteristic curvature and vanishing Ricci tensor the torsion 3-form is harmonic. Consequently, we prove that the characteristic curvature is symmetric in exchange the first and the second pair and Ricci flat if and only if the three-form torsion is parallel with respect to the Levi-Civita and to the characteristic connection simultaneously and this is equivalent to the condition that the characteristic curvature satisfies the Riemannian first Bianchi identity. We find that the Hull connection is a $G_2$-instanton exactly when the torsion is closed. We observe that any compact integrable $G_2$ manifold with closed torsion is a generalized gradient Ricci soliton and this is equivalent to a certain vector field to be parallel with respect to the characteristic connection. In particular, this vector field is an infinitesimal automorphism of the $G_2$ structure and preserves the torsion three form.
- [179] arXiv:2307.06438 (replaced) [pdf, html, other]
-
Title: The Riemannian curvature identities for the torsion connection on $Spin(7)$-manifold and generalized Ricci solitonsComments: 17 pages, exposition improved, final version to appear in Math. NachrichtenSubjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th)
It is shown that on compact $Spin(7)$--manifold with exterior derivative of the Lee form lying in the Lie algebra $spin(7)$ the curvature $R$ of the $Spin(7)$--torsion connection $R\in S^2\Lambda^2$ with vanishing Ricci tensor if and only if the $3$-form torsion is parallel with respect to the Levi-Civita connection. It is also proved that $R$ satisfies the Riemannian first Bianchi identity exactly when the $3$-form torsion is parallel with respect to the Levi-Civita and to the $Spin(7)$--torsion connections simultaneously.
Precise conditions for a compact $Spin(7)$--manifold to has closed torsion are given in terms of the Ricci tensor of the $Spin(7)$--torsion connection. It is shown that a compact $Spin(7)$--manifold with closed torsion is Ricci flat if and only if either the norm of the torsion or the Riemannian scalar curvature is constant. It is proved that any compact $Spin(7)$--manifold with closed torsion 3-form is a generalized gradient Ricci soliton and this is equivalent to a certain vector field to be parallel with respect to the torsion connection. In particular, this vector field preserves the $Spin(7)$--structure. - [180] arXiv:2310.01590 (replaced) [pdf, html, other]
-
Title: Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound PropertySubjects: Logic (math.LO)
In this paper we continue the investigation of a real number object, i.e., an object representing the real numbers, in categories of relations. Our axiomatization is based on a relation algebraic version of Tarski's axioms of the real numbers. It was already shown that the addition of such an object forms a dense, linear ordered abelian group. In the current paper we will focus on the least-upper-bound property of such an object.
- [181] arXiv:2310.15839 (replaced) [pdf, html, other]
-
Title: On sublinear elliptic systems on bounded and thin unbounded domainsComments: Criticisms are quite welcome; the second version simplifies and corrects some arguments from the first version. The paper has been restructuredSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
In this paper, we demonstrate the existence of positive solutions for certain weakly coupled elliptic systems of sublinear growth under homogeneous Dirichlet boundary conditions. Our findings generalize existing results related to sublinear systems involving two weakly coupled equations, such as the Lane-Emden systems. Moreover, our results apply to both bounded domains and thin unbounded domains, defined as unbounded regions contained between two parallel hyperplanes, and accommodate some discontinuous nonlinearities.
- [182] arXiv:2311.02490 (replaced) [pdf, html, other]
-
Title: Improved Convergence Factor of Windowed Anderson Acceleration for Symmetric Fixed-Point IterationsComments: 40 pages, 10 figuresSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC); Machine Learning (stat.ML)
This paper studies the commonly utilized windowed Anderson acceleration (AA) algorithm for fixed-point methods, $x^{(k+1)}=q(x^{(k)})$. It provides the first proof that when the operator $q$ is linear and symmetric the windowed AA, which uses a sliding window of prior iterates, improves the root-linear convergence factor over the fixed-point iterations. When $q$ is nonlinear, yet has a symmetric Jacobian at a fixed point, a slightly modified AA algorithm is proved to have an analogous root-linear convergence factor improvement over fixed-point iterations. Simulations verify our observations. Furthermore, experiments with different data models demonstrate AA is significantly superior to the standard fixed-point methods for Tyler's M-estimation.
- [183] arXiv:2312.11254 (replaced) [pdf, other]
-
Title: Well-posedness and Incompressible Limit of Current-Vortex Sheets with Surface Tension in Compressible Ideal MHDComments: 73 pages. v4: Section 4 (linearized system) re-organized and more details added. v3: v2(110 pages) is split into two papers for submission, and this is the first part. The title is also changedSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
Current-vortex sheet is one of the characteristic discontinuities in ideal compressible magnetohydrodynamics (MHD). The motion of current-vortex sheets is described by a free-interface problem of two-phase MHD flows with magnetic fields tangential to the interface. This paper is the first part of the two-paper sequence, which aims to present a comprehensive study for compressible current-vortex sheets with or without surface tension. In this paper, we prove the local well-posedness and the incompressible limit of current-vortex sheets with surface tension. The key observation is a hidden structure of Lorentz force in the vorticity analysis which motivates us to establish the uniform estimates in anisotropic-type Sobolev spaces with weights of Mach number determined by the number of tangential derivatives. Besides, our framework of iteration and approximation to prove the local existence of vortex-sheet problems does not rely on Nash-Moser iteration. Furthermore, the local existence of current-vortex sheets without surface tension can be proved by taking zero-surface-tension limit under certain stability conditions, which is established in [73] (the second part of the two-paper sequence).
- [184] arXiv:2312.14057 (replaced) [pdf, html, other]
-
Title: Weighted least-squares approximation with determinantal point processes and generalized volume samplingComments: Compared with the first version, conjectures (13) on DPP and (16) on volume sampling have been modified, including a convexity requirement. Proofs of propositions 5.4 and 5.13 have been modified accordingly. Remarks 5.5 and 5.6 have been added to discuss alternatives to conjecture (13) on DPPSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Statistics Theory (math.ST)
We consider the problem of approximating a function from $L^2$ by an element of a given $m$-dimensional space $V_m$, associated with some feature map $\boldsymbol{\varphi}$, using evaluations of the function at random points $x_1, \dots,x_n$. After recalling some results on optimal weighted least-squares using independent and identically distributed points, we consider weighted least-squares using projection determinantal point processes (DPP) or volume sampling. These distributions introduce dependence between the points that promotes diversity in the selected features $\boldsymbol{\varphi}(x_i)$. We first provide a generalized version of volume-rescaled sampling yielding quasi-optimality results in expectation with a number of samples $n = O(m\log(m))$, that means that the expected $L^2$ error is bounded by a constant times the best approximation error in $L^2$. Also, further assuming that the function is in some normed vector space $H$ continuously embedded in $L^2$, we further prove that the approximation error in $L^2$ is almost surely bounded by the best approximation error measured in the $H$-norm. This includes the cases of functions from $L^\infty$ or reproducing kernel Hilbert spaces. Finally, we present an alternative strategy consisting in using independent repetitions of projection DPP (or volume sampling), yielding similar error bounds as with i.i.d. or volume sampling, but in practice with a much lower number of samples. Numerical experiments illustrate the performance of the different strategies.
- [185] arXiv:2401.00952 (replaced) [pdf, html, other]
-
Title: Rank Distributions for Independent Normals with a Single OutlierComments: 47 pages, 9 figuresSubjects: Statistics Theory (math.ST); Probability (math.PR)
Thurstone's latent-normal model, introduced a century ago to describe human preferences in psychometrics (1927), remains a cornerstone for modeling random rankings. Yet when the underlying normals differ in distribution, the joint law of ranks $R_{i}:=\sum_{j=1}^{n}\mathbf{1}_{X_{j}\leq X_{i}}$ is virtually unexplored. We study the simplest non-identically-distributed case: $n+1$ independent normals with $X_{0}\sim\mathcal{N}\left(\mu_{0},\,\sigma_{0}^{2}\right)$ and $X_{i}\sim\mathcal{N}\left(\mu,\,\sigma^{2}\right)$ for $1\leq i\leq n$. Here, $R_0 \mid X_0 \;\sim\; 1 + \mathrm{Binomial}\bigl(n,\;\Phi\bigl(\bigl(X_0 - \mu\bigr)\big/\sigma\bigr)\bigr)$, and the success probability $\Phi\bigl(\bigl(X_0 - \mu\bigr)\big/\sigma\bigr)$ is accurately modeled by a beta distribution. Exploiting beta-binomial conjugacy, we observe that $R_{0}-1$ follows a beta-binomial law, which then yields a precise approximation for the joint distribution of $\left(R_{0},R_{i_{1}},\ldots,R_{i_{m}}\right)$. We derive closed-form expressions for $\mathbb{E}R_{i}$, $\mathrm{Cov}\left(R_{i},R_{j}\right)$, and the limiting distributions of $\left(R_{0},R_{i_{1}},\ldots,R_{i_{m}}\right)$ as key parameters grow large or small.
- [186] arXiv:2401.09777 (replaced) [pdf, html, other]
-
Title: Injectivity radius lower bound of convex sum of tame Riemannian metrics and applications to symplectic topologyComments: 33 pages, comments welcome!; v2) 35 pages, main contractibility results improved in strong $C^3$ topology, title sightly changed, introduction partially rewritten and rearranged; v3) 38 pages, final version in press. Advances in MathSubjects: Differential Geometry (math.DG); Symplectic Geometry (math.SG)
Motivated by the aspect of large-scale symplectic topology, we prove that for any pair $g_0, \, g_1$ of complete Riemannian metrics of bounded curvature and \emph{of injectivity radius bounded away from zero}, the convex sum $g_s: = (1-s ) g_0 + s g_1$ also has bounded curvature depending only on the curvature bounds $\|R_{g_i}\|_{C^0}$ of $g_0$ or $g_1$, and that the injectivity radii of $g_s$ have uniform lower bound depending only on the derivative bounds $\|R_{g_i}\|_{C^1} = \|R_{g_i}\|_{C^0} + \|DR_{g_i}\|_{C^0}$.
A main technical ingredient to establish the injectivity radius lower bound is an application of the quantitative inverse function theorem. Using these estimates, we prove that each quasi-isometry class of tame metrics is convex and so contractible in strong $C^r$ topology for all finite regularity class of $3 \leq r < \infty$. Using this Riemannian geometry result, we prove that the set of $C^3$-tame almost complex structures inside the same quasi-isometry class associated to the symplectic form $\omega$ is contractible. - [187] arXiv:2402.11366 (replaced) [pdf, html, other]
-
Title: Scattering and localized states for defocusing nonlinear Schrödinger equations with potentialComments: 38 pages. Revised following referee commentsSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
We study the large-time behavior of global energy class ($H^1$) solutions of the one-dimensional nonlinear Schrödinger equation with a general localized potential term and a defocusing nonlinear term. By using a new type of interaction Morawetz estimate localized to an exterior region, we prove that these solutions decompose into a free wave and a weakly localized part which is asymptotically orthogonal to any fixed free wave. We further show that the $L^2$ norm of this weakly localized part is concentrated in the region $|x| \leq t^{1/2+}$, and that the energy ($\dot{H}^1$) norm is concentrated in $|x| \leq t^{1/3+}$. Our results hold for solutions with arbitrarily large initial data.
- [188] arXiv:2403.07830 (replaced) [pdf, html, other]
-
Title: Parity questions in critical planar Brownian loop-soups (or "where did the free planar bosons go?")Comments: 31 pages, V2: minor changes. To appear in the volume of Probab. Th. rel. Fields dedicated to Geoffrey GrimmettSubjects: Probability (math.PR); Mathematical Physics (math-ph)
The critical two-dimensional Brownian loop-soup is an infinite collection of non-interacting Brownian loops in a planar domain that possesses some combinatorial features related to the notion of indistinguishability of bosons. The properly renormalized occupation time field of this collection of loops is known to be distributed like the properly defined square of a Gaussian free field. In the present paper, we investigate aspects of the question about how much information these fields provide about the loop-soup. Among other things, we show that the exact set of points that are actually visited by some loops in the loop-soup is not determined by these fields. We further prove that given the fields, a dense family of special points will each have a conditional probability 1/2 of being part of the loop-soup. We also exhibit another instance where the possible decompositions (given the field) into individual loops and excursions can be grouped into two clearly different groups, each having a conditional probability 1/2 of occurring.
- [189] arXiv:2403.11690 (replaced) [pdf, html, other]
-
Title: On the existence of extensions for manifold-valued Sobolev maps on perforated domainsComments: 33 pagesJournal-ref: Journal of Functional Analysis, 289(11) (2025), 111142Subjects: Analysis of PDEs (math.AP)
Motivated by manifold-constrained homogenization problems, we construct suitable extensions for Sobolev functions defined on a perforated domain and taking values in a compact, connected $C^2$-manifold without boundary. The proof combines a by now classical extension result for the unconstrained case with a retraction argument that heavily relies on the topological properties of the manifold. With the ultimate goal of providing necessary conditions for the existence of extensions for Sobolev maps between manifolds, we additionally investigate the relationship between this problem and the surjectivity of the trace operator for such functions.
- [190] arXiv:2403.14564 (replaced) [pdf, html, other]
-
Title: On Köthe's normality question for locally finite-dimensional central division algebrasComments: LaTeX: 33 pages, no figures; reorganized with improved presentation, e.g.: Lemmas 3.7 and 4.8 are inserted; the scope of Theorem 2.3 is extended and the proof is contained in a new section (Section 5) together with Proposition 4.8 of the previous version of the paperSubjects: Rings and Algebras (math.RA)
This paper considers Köthe's question of whether every associative locally finite-dimensional (abbr., LFD) central division algebra $R$ over a field $K$ is a normally locally finite (abbr., NLF) algebra over $K$, that is, whether every nonempty finite subset $Y$ of $R$ is contained in a finite-dimensional central $K$-subalgebra $\mathcal{R} _{Y}$ of $R$. It shows that the answer to the posed question is negative if $K$ is a purely transcendental extension of infinite transcendence degree over an algebraically closed field $k$. On the other hand, central division LFD-algebras over $K$ turn out to be NLF in the following special cases: (i) $K$ is a finitely-generated extension of a finite or a pseudo-algebraically closed perfect field $K _{0}$; (ii) $K$ is a higher-dimensional local field with last residue field equal to $K _{0}$.
- [191] arXiv:2403.15960 (replaced) [pdf, html, other]
-
Title: The smooth Mordell-Weil group and mapping class groups of elliptic surfacesComments: 32 pages, 4 figures. Final version, to appear in Algebraic GeometrySubjects: Geometric Topology (math.GT); Algebraic Geometry (math.AG); Number Theory (math.NT)
This is a paper in smooth $4$-manifold topology, inspired by the Néron-Lang Theorem in number theory. More precisely, we prove that a smooth version $\MW(\pi)$ of Mordell-Weil group of an elliptic fibration $\pi:M\to\Pb^1$ is finitely generated. We compute $\MW(\pi_d)$ explicitly for elliptic fibrations $\pi_d:M_d\to\Pb^1$, where $M_d$ is a simply-connected complex surfaces $M_d$ of arithmetic genus $d\geq 1$ and all fibers of $\pi_d$ are nodal.
We prove in this case that the fibered structure is unique up topological isotopy. By combining this with a result of Donaldson, we obtain the following remarkable consequence: any diffeomorphism of $M_d$ with $d\geq 3$ is topologically isotopic to a diffeomorphism taking fibers to fibers. - [192] arXiv:2404.09363 (replaced) [pdf, html, other]
-
Title: Momentum-based gradient descent methods for Lie groupsComments: 22 pages, 2 algorithms, 6 figuresSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Differential Geometry (math.DG); Numerical Analysis (math.NA)
Polyak's Heavy Ball (PHB; Polyak, 1964), a.k.a. Classical Momentum, and Nesterov's Accelerated Gradient (NAG; Nesterov, 1983) are well-established momentum-descent methods for optimization. Although the latter generally outperforms the former, primarily, generalizations of PHB-like methods to nonlinear spaces have not been sufficiently explored in the literature. In this paper, we propose a generalization of NAG-like methods for Lie group optimization. This generalization is based on the variational one-to-one correspondence between classical and accelerated momentum methods (Campos et al., 2023). We provide numerical experiments for chosen retractions on the group of rotations based on the Frobenius norm and the Rosenbrock function to demonstrate the effectiveness of our proposed methods, and that align with results of the Euclidean case, that is, a faster convergence rate for NAG.
- [193] arXiv:2404.09671 (replaced) [pdf, html, other]
-
Title: Real plane separating (M-2)-curves of degree d and totally real pencils of degree (d-3)Comments: Comments are welcome!Subjects: Algebraic Geometry (math.AG)
It is well known that a non-singular real plane projective curve of degree five with five connected components is separating if and only if its ovals are in non-convex position. In this article, this property is set into a different context and generalised to all real plane separating (M-2)-curves.
- [194] arXiv:2404.15479 (replaced) [pdf, other]
-
Title: Right-angled Artin subgroups and free products in one-relator groupsComments: 35 pages, 4 figures; this version is accepted for publication in Annales de l'Institut FourierSubjects: Group Theory (math.GR)
We investigate criteria ensuring that a one-relator group $G$ contains a right-angled Artin subgroup $A(\Gamma)$, corresponding to a finite graph $\Gamma$. In particular, we prove that if $\Gamma$ is a forest with at least one edge and the positive submonoid $T(\Gamma)$, of $A(\Gamma)$, embeds into $G$ then so does all of $A(\Gamma)$. As by-products of our methods we obtain characterisations of one-relator groups that have property $P_{nai}$ and that are $C^*$-simple.
- [195] arXiv:2405.04261 (replaced) [pdf, html, other]
-
Title: Graph Reconstruction from Noisy Random SubgraphsComments: 6 pages, to appear in ISIT 2024Journal-ref: 2024 IEEE International Symposium on Information Theory (ISIT), Athens, Greece, 2024, pp. 3462-3467Subjects: Information Theory (cs.IT); Data Structures and Algorithms (cs.DS)
We consider the problem of reconstructing an undirected graph $G$ on $n$ vertices given multiple random noisy subgraphs or "traces". Specifically, a trace is generated by sampling each vertex with probability $p_v$, then taking the resulting induced subgraph on the sampled vertices, and then adding noise in the form of either (a) deleting each edge in the subgraph with probability $1-p_e$, or (b) deleting each edge with probability $f_e$ and transforming a non-edge into an edge with probability $f_e$. We show that, under mild assumptions on $p_v$, $p_e$ and $f_e$, if $G$ is selected uniformly at random, then $O(p_e^{-1} p_v^{-2} \log n)$ or $O((f_e-1/2)^{-2} p_v^{-2} \log n)$ traces suffice to reconstruct $G$ with high probability. In contrast, if $G$ is arbitrary, then $\exp(\Omega(n))$ traces are necessary even when $p_v=1, p_e=1/2$.
- [196] arXiv:2405.14915 (replaced) [pdf, other]
-
Title: Cluster expansion formulas and perfect matchings for type B and CComments: 22 pages. v2: enhanced introduction. v3: final version, to appear in Journal of Algebraic CombinatoricsSubjects: Representation Theory (math.RT); Combinatorics (math.CO)
Let $\mathbf{P}_{2n+2}$ be the regular polygon with $2n+2$ vertices, and let $\theta$ be the rotation of 180$^\circ$. Fomin and Zelevinsky proved that $\theta$-invariant triangulations of $\mathbf{P}_{2n+2}$ are in bijection with the clusters of cluster algebras of type $B_n$ or $C_n$. Furthermore, cluster variables correspond to the orbits of the action of $\theta$ on the diagonals of $\mathbf{P}_{2n+2}$. In this paper, we associate a labeled modified snake graph $\mathcal{G}_{ab}$ to each $\theta$-orbit $[a,b]$, and we get the cluster variables of type $B_n$ and $C_n$ which correspond to $[a,b]$ as perfect matching Laurent polynomials of $\mathcal{G}_{ab}$. This extends the work of Musiker for cluster algebras of type B and C to every seed.
- [197] arXiv:2405.17689 (replaced) [pdf, html, other]
-
Title: Moduli of Very Ample Line BundlesComments: 18 pages. Comments are welcome!Subjects: Algebraic Geometry (math.AG)
Let $X$ be a projective variety over a field. In this paper, we will construct a moduli space of very ample line bundles on $X$. In doing so, we develop a generalization of Fitting ideals to complexes of sheaves on $X$. We give other applications of these Fitting ideals such as constructing Brill-Noether spaces for higher dimensional varieties and giving a scheme structure to the locus where the projective dimension of a module jumps up.
- [198] arXiv:2405.18270 (replaced) [pdf, html, other]
-
Title: The Quadratic Variation of Gauss-Markov SemimartingalesSubjects: Probability (math.PR)
The covariance function of a Gauss-Markov process evaluated at points $(s,t)$ admits a representation as a product of a function of $\min(s,t)$ and a function of $\max(s,t)$. We call these functions the covariance factors of a Gauss-Markov process, and give the expression of the quadratic variation of a Gauss-Markov semimartingale in terms of its covariance factors.
- [199] arXiv:2405.19790 (replaced) [pdf, html, other]
-
Title: Sharp Weighted Cohen--Dahmen--Daubechies--DeVore Inequality with Applications to (Weighted) Critical Sobolev Spaces, Gagliardo--Nirenberg Inequalities, and Muckenhoupt WeightsComments: 56 pages; SubmittedSubjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
In this article, we establish a quantitative weighted variant of a far-reaching inequality obtained by A. Cohen, W. Dahmen, I. Daubechies, and R. DeVore in 2003, whose dependence on the $A_p$-weight constant for any $p\in[1,\infty)$ is sharp. As applications, we obtain the almost characterization of the critical weighted Sobolev space in terms of wavelets, a sharp real interpolation between this weighted Sobolev space and weighted Besov spaces, and three new Gagliardo--Nirenberg type inequalities in the framework of ball Banach function spaces. Moreover, we apply this sharp weighted inequality to extend the famous Brezis--Seeger--Van Schaftingen--Yung formula in ball Banach function spaces, which gives an affirmative answer to the question in page 29 of [Calc. Var. Partial Differential Equations 62 (2023), Paper No. 234]. Notably, we further establish two new characterizations of Muckenhoupt weights related to the inequality of Cohen et al.\ and the formula of Brezis et al. The most novelty of this article exists in applying and further developing the good cube method introduced by Cohen et al.\ to trace the sharp dependences on weight constants.
- [200] arXiv:2406.07108 (replaced) [pdf, html, other]
-
Title: On the power of adaption and randomizationSubjects: Numerical Analysis (math.NA); Computational Complexity (cs.CC); Functional Analysis (math.FA)
We present bounds on the maximal gain of adaptive and randomized algorithms over non-adaptive, deterministic ones for approximating linear operators on convex sets. If the sets are additionally symmetric, then our results are optimal. For non-symmetric sets, we unify some notions of $n$-widths and s-numbers, and show their connection to minimal errors. We also discuss extensions to non-linear widths and approximation based on function values, and conclude with a list of open problems.
- [201] arXiv:2406.11605 (replaced) [pdf, html, other]
-
Title: Categorified Open Topological Field TheoriesComments: 14 pages, some diagrams; v2: minor changesJournal-ref: Proc. Amer. Math. Soc. 153 (2025), 2381-2396Subjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Algebraic Topology (math.AT)
In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination with recently developed string-net techniques, this leads to a new description of the spaces of conformal blocks of Drinfeld centers $Z(\mathcal{C})$ of pivotal finite tensor categories $\mathcal{C}$ in terms of the modular envelope of the cyclic associative operad. If $\mathcal{C}$ is unimodular, we prove that the space of conformal blocks inherits the structure of a module over the algebra of class functions of $\mathcal{C}$ for every free boundary component. As a further application, we prove that the sewing along a boundary circle for the modular functor for $Z(\mathcal{C})$ can be decomposed into a sewing procedure along an interval and the application of the partial trace. Finally, we construct mapping class group representations from Grothendieck-Verdier categories that are not necessarily rigid and make precise how these generalize existing constructions.
- [202] arXiv:2407.01450 (replaced) [pdf, html, other]
-
Title: Two-Parameter Quantum Groups and $R$-Matrices: Classical TypesJournal-ref: SIGMA 21 (2025), 064, 54 pagesSubjects: Representation Theory (math.RT); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Algebra (math.QA); Exactly Solvable and Integrable Systems (nlin.SI)
We construct finite $R$-matrices for the first fundamental representation $V$ of two-parameter quantum groups $U_{r,s}(\mathfrak{g})$ for classical $\mathfrak{g}$, both through the decomposition of $V\otimes V$ into irreducibles $U_{r,s}(\mathfrak{g})$-submodules as well as by evaluating the universal $R$-matrix. The latter is crucially based on the construction of dual PBW-type bases of $U^{\pm}_{r,s}(\mathfrak{g})$ consisting of the ordered products of quantum root vectors defined via $(r,s)$-bracketings and combinatorics of standard Lyndon words. We further derive explicit formulas for affine $R$-matrices, both through the Yang-Baxterization technique of [Internat. J. Modern Phys. A 6 (1991), 3735-3779] and as the unique intertwiner between the tensor product of $V(u)$ and $V(v)$, viewed as modules over two-parameter quantum affine algebras $U_{r,s}(\widehat{\mathfrak{g}})$ for classical $\mathfrak{g}$. The latter generalizes the formulas of [Comm. Math. Phys. 102 (1986), 537-547] for one-parametric quantum affine algebras.
- [203] arXiv:2407.19595 (replaced) [pdf, html, other]
-
Title: Non Hilbertian (Lorentzian) Length SpacesComments: 12 pagesSubjects: Differential Geometry (math.DG); Mathematical Physics (math-ph)
In this note, the idea of finite dimensional $L^p$ spaces is transferred to Lorentzian length spaces to provide an example that is locally nowhere Minkowskian. Looking at the sectional curvature bounds of this example leads to the more general statement that normed spaces in which the norm does not come from an inner product, have no sectional curvature bounds. This statement holds in the Riemannian and Lorentzian cases. In addition, the Lorentzian $L^p$ space can be used as an example in the context of Lorentzian Gromov-Hausdorff convergence, to show that unbounded sectional curvature or geodesic regularity is in general not preserved in the GH limit, and as an example of a sequence of uniform bounded length spaces which are not GH pre-compact.
- [204] arXiv:2408.04503 (replaced) [pdf, html, other]
-
Title: Row-aware Randomized SVD with applicationsComments: 28 pages, 6 figuresSubjects: Numerical Analysis (math.NA)
The randomized singular value decomposition proposed in [27] has certainly become one of the most well-established randomization-based algorithms in numerical linear algebra. The key ingredient of the entire procedure is the computation of a subspace which is close to the column space of the target matrix $\mathbf{A}$ up to a certain probabilistic confidence. In this paper we employ a modification to the standard randomized SVD procedure which leads, in general, to better approximations to $\text{Range}(\mathbf{A})$ at the same computational cost. To this end, we explicitly construct information from the row space of $\mathbf{A}$ enhancing the quality of the approximation. We derive novel error bounds which improve over existing results for $\mathbf{A}$ having important gaps in its singular values. We also observe that very few pieces of information from $\text{Range}(\mathbf{A}^T)$ may be necessary. We thus design a variant of this algorithm equipped with a subsampling step which largely increases the efficiency of the procedure while often attaining competitive accuracy records. Our findings are supported by both theoretical analysis and numerical results.
- [205] arXiv:2408.04659 (replaced) [pdf, html, other]
-
Title: RG approach to the inviscid limit for shell models of turbulenceComments: 35 pages, 8 figuresSubjects: Analysis of PDEs (math.AP); Fluid Dynamics (physics.flu-dyn)
We consider an initial value problem for shell models that mimic turbulent velocity fluctuations over a geometric sequence of scales. Our goal is to study the convergence of solutions in the inviscid (more generally, vanishing regularization) limit and explain the universality of both the limiting solutions and the convergence process. We develop a renormalization group (RG) formalism representing this limit as dynamics in a space of flow maps. For the dyadic shell model, the RG dynamics has a fixed-point attractor, which determines universal limiting solutions. Deviations from the limiting solutions are also universal and given by a leading eigenmode (eigenvalue and eigenvector) of the linearized RG operator. Application to the Gledzer shell model reveals the RG attractor in the form of a closed invariant curve, while the Sabra shell model yields chaotic RG dynamics. An important consequence of the RG formalism is the understanding of the different roles of symmetry-preserving (canonical) and symmetry-breaking (e.g. viscous) regularizations.
- [206] arXiv:2408.05501 (replaced) [pdf, html, other]
-
Title: Flatness of $α$-induced bi-unitary connections and commutativity of Frobenius algebrasComments: 16 pagesSubjects: Quantum Algebra (math.QA); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Operator Algebras (math.OA)
The tensor functor called $\alpha$-induction produces a new unitary fusion category from a Frobenius algebra, or a $Q$-system, in a braided unitary fusion category. A bi-unitary connection, which is a finite family of complex number subject to some axioms, realizes an object in any unitary fusion category. It also gives a characterization of a finite-dimensional nondegenerate commuting square in subfactor theory of Jones and realizes a certain $4$-tensor appearing in recent studies of $2$-dimensional topological order. We study $\alpha$-induction for bi-unitary connections, and show that flatness of the resulting $\alpha$-induced bi-unitary connections implies commutativity of the original Frobenius algebra. This gives a converse of our previous result and answers a question raised by R. Longo. We furthermore give finer correspondence between the flat parts of the $\alpha$-induced bi-unitary connections and the commutative Frobenius subalgebras studied by Böckenhauer-Evans.
- [207] arXiv:2408.07792 (replaced) [pdf, other]
-
Title: The Stack of Similarity Classes of TrianglesComments: 26 pages. Changes primarily include increased detail, more pictures, and better exposition. Semple and Fulton-MacPherson are more fully integrated. The order of sections is changed, some new ones added, some old ones deleted. No main results are added, and none removedSubjects: Algebraic Geometry (math.AG); Dynamical Systems (math.DS)
We construct the smooth, compact moduli space of similarity classes of labeled, oriented triangles. The space, denoted $\mathfrak D$, is a connected sum of three projective planes, and projects via blowdown to two shape spaces that have appeared in the literature: the well-known (Riemann) sphere (\cite{Kend84}, \cite{Beh}, \cite{Montgomery}, \cite{ES15}), and the less-well-known 2-torus (\cite{BG23}). A natural action by the dihedral group $D_6$ defines the quotient stack $[\mathfrak D/D_6]$ of absolute (unlabeled, unoriented) classes.
- [208] arXiv:2408.14337 (replaced) [pdf, html, other]
-
Title: Complex analogues of the Tverberg--Vrećica conjecture and central transversal theoremsComments: 19 pages, 2 figures. To appear in Transactions of the American Mathematical SocietySubjects: Combinatorics (math.CO); Algebraic Topology (math.AT)
The Tverberg--Vrećica conjecture claims a broad generalization of Tverberg's classical theorem. One of its consequences, the central transversal theorem, extends both the centerpoint theorem and the ham sandwich theorem. In this manuscript, we establish complex analogues of these results, where the corresponding transversals are complex affine spaces. The proofs of the complex Tverberg--Vrećica conjecture and its optimal colorful version rely on the non-vanishing of an equivariant Euler class. Furthermore, we obtain new Borsuk--Ulam-type theorems on complex Stiefel manifolds. These theorems yield complex analogues of recent extensions of the ham sandwich theorem for mass assignments by Axelrod-Freed and Soberón, and provide a direct proof of the complex central transversal theorem.
- [209] arXiv:2409.03146 (replaced) [pdf, html, other]
-
Title: Optimal Placement and Coordinated Scheduling of Distributed Space-Based Lasers for Orbital Debris RemediationComments: 42 pages, Advances in Space Research (accepted), Copyright 2025. This manuscript version is made available under the CC-BY-NC-ND 4.0 licenseSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
The significant expansion of the orbital debris population poses a serious threat to the safety and sustainability of space operations. This paper investigates orbital debris remediation through a constellation of collaborative space-based lasers, leveraging the principle of momentum transfer onto debris via laser ablation. A novel delta-v vector analysis framework quantifies the cumulative effects of multiple concurrent laser-to-debris (L2D) engagements by utilizing the vector composition of the imparted delta-v vectors. The paper formulates the Concurrent Location-Scheduling Optimization Problem (CLSP) to optimize the placement of laser platforms and the scheduling of L2D engagements, aiming to maximize debris remediation capacity. Given the computational intractability of the CLSP, a decomposition strategy is employed, yielding two sequential subproblems: (1) determining optimal laser platform locations via the Maximal Covering Location Problem, and (2) scheduling L2D engagements using a novel integer linear programming approach to maximize debris remediation capacity. Computational experiments evaluate the efficacy of the proposed framework across diverse mission scenarios, demonstrating critical constellation functions such as collaborative and controlled nudging, deorbiting, and just-in-time collision avoidance. A sensitivity analysis further explores the impact of varying the number and distribution of laser platforms on debris remediation capacity, offering insights into optimizing the performance of space-based laser constellations.
- [210] arXiv:2409.09315 (replaced) [pdf, html, other]
-
Title: Existence of 5 minimal tori in 3-spheres of positive Ricci curvatureComments: v2: Minor revisions, revised section 8.1Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP); Geometric Topology (math.GT)
In 1989, B. White conjectured that every Riemannian 3-sphere has at least 5 embedded minimal tori. We confirm this conjecture for 3-spheres of positive Ricci curvature. While our proof uses min-max theory, the underlying heuristics are largely inspired by mean curvature flow.
- [211] arXiv:2409.14148 (replaced) [pdf, html, other]
-
Title: A New Upper Bound for Distributed Hypothesis Testing Using the Auxiliary Receiver ApproachSubjects: Information Theory (cs.IT)
This paper employs the add-and-subtract technique of the auxiliary receiver approach to establish a new upper bound for the distributed hypothesis testing problem. This new bound has fewer assumptions than the upper bound proposed by Rahman and Wagner, is at least as tight as the bound by Rahman and Wagner, and can outperform it in certain Gaussian settings. Conceptually speaking, unlike Rahman and Wagner, who view their additional receiver as side information, we view it as an auxiliary receiver and use a different manipulation for single-letterization.
- [212] arXiv:2409.14428 (replaced) [pdf, html, other]
-
Title: Approximation properties of the intermediate $β$-expansionsComments: 35 page,5 figuresSubjects: Dynamical Systems (math.DS)
Given $\beta>1$ and $\alpha\in[0,1)$, let $T_{\beta, \alpha}(x)=\beta x+\alpha\pmod 1$. Then under the map $T_{\beta,\alpha}$ each $x\in[0,1]$ has an \emph{intermediate $\beta$-expansion} of the form $x=\sum_{i=1}^\infty\frac{c_i-\alpha}{\beta^i}$ {with each $c_i\in\{0,1,\ldots,\lf \beta+\alpha\rf\}$}. In this paper we study the approximation properties of $T_{\beta,\alpha}$ by considering the expected value $M_\beta(\alpha)$ of the \emph{normalized errors} $(\theta_{\beta,\alpha}^n(x))_{n\geq 1}$, where $$\theta_{\beta,\alpha}^n(x):=\beta^n\left(x-\sum_{i=1}^n\frac{c_i-\alpha}{\beta^i}\right),\quad n\in\mathbb{N}.$$ We prove that $M_\beta(\cdot)$ is continuous on $[0,1)$. As a result, $\mathcal{M_\beta}:=\{M_\beta(\alpha):\alpha\in[0,1)\}$ is a closed interval. In particular, if $\beta$ is a multinacci number, the map $T_{\beta,\alpha}$ has matching for Lebesgue almost every $\alpha\in[0,1)$, and then $M_\beta(\cdot)$ is locally linear almost everywhere on $[0,1)$.
- [213] arXiv:2409.18187 (replaced) [pdf, other]
-
Title: Topological $ΔG$ homology of rings with twisted $G$-actionComments: Fixed a missing figure and other small edits. Comments still welcomeSubjects: Algebraic Topology (math.AT); K-Theory and Homology (math.KT)
We provide a unifying framework for studying variants of topological Hochschild homology such as Real topological Hochschild homology. Associated to a crossed simplicial group $\Delta G$, a category that generalizes Connes' cyclic category, we introduce an invariant of rings with twisted $G$-action, which we call topological $\Delta G$-homology. Here a ring with twisted $G$-action is a common generalization of a ring with involution and a ring with $G$-action.
Our construction provides homotopical analogues of quaternionic homology, symmetric homology, braid homology, and hyperoctahedral homology defined by Fiedorowicz--Loday. In the quaternionic case our construction, called quaternionic topological Hochschild homology, is equipped with a left Pin(2)-action and we compute it for loop spaces with a twisted $C_4$-action. As an important step along the way, we introduce a new family of crossed simplicial groups called the twisted symmetric crossed simplicial groups and we prove that they corresponds to operads for algebras with twisted $G$-action. - [214] arXiv:2409.18716 (replaced) [pdf, other]
-
Title: The existence of $m$-Haar graphical representationsSubjects: Combinatorics (math.CO)
Extending the well-studied concept of graphical regular representations to bipartite graphs, a Haar graphical representation (HGR) of a group $G$ is a bipartite graph whose automorphism group is isomorphic to $G$ and acts semiregularly with the orbits giving the bipartition. The question of which groups admit an HGR was inspired by a closely related question of Estélyi and Pisanski in 2016, as well as Babai's work in 1980 on poset representations, and has been recently solved by Morris and Spiga. In this paper, we introduce the $m$-Haar graphical representation ($m$-HGR) as a natural generalization of HGR to $m$-partite graphs for $m\geq2$, and explore the existence of $m$-HGRs for any fixed group. This inquiry represents a more robust version of the existence problem of G$m$SRs as addressed by Du, Feng and Spiga in 2020. Our main result is a complete classification of finite groups $G$ without $m$-HGRs.
- [215] arXiv:2409.20240 (replaced) [pdf, html, other]
-
Title: Local converse theorems and Langlands parametersComments: We extended our counter-example to the converse theorem for $SO(6)$ to $SO(2n)$ whenever $n\geq 3$Subjects: Representation Theory (math.RT); Number Theory (math.NT)
Let $F$ be a non Archimedean local field, and $G$ be the $F$-points of a connected quasi-split reductive group defined over $F$. In this note we propose a converse theorem statement for generic Langlands parameters of $G$ when the Langlands dual group of $G$ is acceptable. We then prove it when $G$ is $F$-split. We also prove that the statement does not apply to $\mathrm{SO}_{2n}(F)$ for certain choices of $F$, as soon as $n\geq 3$.Then we consider a variant which we prove for $G=\mathrm{G}_2(F)$ and all quasi-split classical groups. When $F$ has characteristic zero and assuming the validity of the Gross-Prasad and Rallis conjecture, this latter variant translates via the generic local Langlands correspondence of Jantzen and Liu, into the usual local converse theorems for classical groups expressed in terms of Shahidi's gamma factors.
- [216] arXiv:2410.01749 (replaced) [pdf, html, other]
-
Title: Fully Coupled Nonlinear FBS$Δ$Es: Solvability and LQ Control InsightsComments: arXiv admin note: text overlap with arXiv:2310.13195Subjects: Optimization and Control (math.OC)
This paper explores a class of fully coupled nonlinear forward-backward stochastic difference equations (FBS$\Delta$Es). Building on insights from linear quadratic optimal control problems, we introduce a more relaxed framework of domination-monotonicity conditions specifically designed for discrete systems. Utilizing these conditions, we apply the method of continuation to demonstrate the unique solvability of the fully coupled FBS$\Delta$Es and derive a set of solution estimates. Moreover, our results have considerable implications for various related linear quadratic (LQ) problems, particularly where stochastic Hamiltonian systems are aligned with the FBS$\Delta$Es meeting these introduced domination-monotonicity conditions. As a result, solving the associated stochastic Hamiltonian systems allows us to derive explicit expressions for the unique optimal controls.
- [217] arXiv:2410.23614 (replaced) [pdf, other]
-
Title: Hypothesis testing with e-valuesSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
This book is written to offer a humble, but unified, treatment of e-values in hypothesis testing. It is organized into three parts: Fundamental Concepts, Core Ideas, and Advanced Topics. The first part includes four chapters that introduce the basic concepts. The second part includes five chapters of core ideas such as universal inference, log-optimality, e-processes, operations on e-values, and e-values in multiple testing. The third part contains seven chapters of advanced topics. The book collates important results from a variety of modern papers on e-values and related concepts, and also contains many results not published elsewhere. It offers a coherent and comprehensive picture on a fast-growing research area, and is ready to use as the basis of a graduate course in statistics and related fields.
- [218] arXiv:2411.09094 (replaced) [pdf, other]
-
Title: Long-Time Behavior towards Shock Profiles for the Navier-Stokes-Poisson SystemComments: 44 pagesSubjects: Analysis of PDEs (math.AP)
We study the stability of shock profiles in one spatial dimension for the isothermal Navier-Stokes-Poisson (NSP) system, which describes the dynamics of ions in a collision-dominated plasma. The NSP system admits a one-parameter family of smooth traveling waves, called shock profiles, for a given far-field condition satisfying the Lax entropy condition. In this paper, we prove that if the initial data is sufficiently close to a shock profile in $H^2$-norm, then the global solution of the Cauchy problem tends to the smooth manifold formed by the parametrized shock profiles as time goes to infinity. This is achieved using the method of $a$-contraction with shifts, which does not require the zero mass condition.
- [219] arXiv:2411.15775 (replaced) [pdf, html, other]
-
Title: Inferentialist Public Announcement Logic: Base-extension SemanticsSubjects: Logic (math.LO)
Proof-theoretic semantics, and base-extension semantics in particular, can be seen as a logical realization of inferentialism, in which the meaning of expressions is understood through their use. We present a base-extension semantics for public announcement logic, building on earlier work giving a base-extension semantics for the modal logic $S5$, which in turn builds on earlier such work for $K$, $KT$, $K4$, and $S4$. These analyses rely on a notion of `modal relation' on bases. The main difficulty in extending the existing B-eS for $S5$ to public announcement logic is to account announcements of the form $[\psi]\phi$, which, in this setting, update the modal relations on bases. We provide a detailed analysis of two classical examples, namely the three-player card game and the muddy children puzzle. These examples illustrate how the inferentialist perspective requires fully explicit information about the state of the participating agents.
- [220] arXiv:2411.17523 (replaced) [pdf, html, other]
-
Title: Partition regularity of homogeneous quadratics: Current trends and challengesComments: 37 pages, small changes made, to appear in the Proceedings of the 9th European Congress of MathematicsSubjects: Combinatorics (math.CO); Number Theory (math.NT)
Suppose we partition the integers into finitely many cells. Can we always find a solution of the equation $x^2+y^2=z^2$ with $x,y,z$ on the same cell? What about more general homogeneous quadratic equations in three variables? These are basic questions in arithmetic Ramsey theory, which have recently been partially answered using ideas inspired by ergodic theory and tools such as Gowers-uniformity properties and concentration estimates of bounded multiplicative functions. The aim of this article is to provide an introduction to this exciting research area, explaining the main ideas behind the recent progress and some of the important challenges that lie ahead.
- [221] arXiv:2411.19610 (replaced) [pdf, other]
-
Title: Unified discontinuous Galerkin analysis of a thermo/poro-viscoelasticity modelComments: arXiv admin note: text overlap with arXiv:2303.09481Subjects: Numerical Analysis (math.NA)
We present and analyze a discontinuous Galerkin method for the numerical modeling of a Kelvin-Voigt thermo/poro-viscoelastic problem. We present the derivation of the model and we develop a stability analysis in the continuous setting that holds both for the full inertial and quasi-static problems and that is robust with respect to most of the physical parameters of the problem. For spatial discretization, we propose an arbitrary-order weighted symmetric interior penalty scheme that supports general polytopal grids and is robust with respect to strong heterogeneities in the model coefficients. For the semi-discrete problem, we prove the extension of the stability result demonstrated in the continuous setting and we provide an a-priori error estimate. A wide set of numerical simulations is presented to assess the convergence and robustness properties of the proposed method. Moreover, we test the scheme with literature and physically sound test cases for proof-of-concept applications in the geophysical context.
- [222] arXiv:2412.04502 (replaced) [pdf, other]
-
Title: Physics-informed Gaussian Processes as Linear Model Predictive ControllerComments: Accepted at L4DC 2025Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Systems and Control (eess.SY)
We introduce a novel algorithm for controlling linear time invariant systems in a tracking problem. The controller is based on a Gaussian Process (GP) whose realizations satisfy a system of linear ordinary differential equations with constant coefficients. Control inputs for tracking are determined by conditioning the prior GP on the setpoints, i.e. control as inference. The resulting Model Predictive Control scheme incorporates pointwise soft constraints by introducing virtual setpoints to the posterior Gaussian process. We show theoretically that our controller satisfies open-loop stability for the optimal control problem by leveraging general results from Bayesian inference and demonstrate this result in a numerical example.
- [223] arXiv:2412.10965 (replaced) [pdf, html, other]
-
Title: Radical preservation and the finitistic dimensionComments: 20 pages, amended according to reviewers' suggestions (main theorem of Section 4 proved for semiprimary rings instead of bound quiver algebras), comments are welcomeSubjects: Representation Theory (math.RT); Rings and Algebras (math.RA)
We introduce the notion of radical preservation and prove that a radical-preserving homomorphism of left artinian rings of finite projective dimension with superfluous kernel reflects the finiteness of the little finitistic, big finitistic and global dimension. As an application, we prove that every bound quiver algebra with quasi-uniform Loewy length, a class of algebras introduced in this paper, has finite (big) finitistic dimension. The same result holds more generally in the context of semiprimary rings. Moreover, we construct an explicit family of such finite dimensional algebras where the finiteness of their big finitistic dimension does not follow from existing results in the literature.
- [224] arXiv:2412.12180 (replaced) [pdf, html, other]
-
Title: Fully stochastic trust-region methods with Barzilai-Borwein steplengthsSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
We investigate stochastic gradient methods and stochastic counterparts of the Barzilai-Borwein steplengths and their application to finite-sum minimization problems. Our proposal is based on the Trust-Region-ish (TRish) framework introduced in [F. E. Curtis, K. Scheinberg, R. Shi, {\it A stochastic trust region algorithm based on careful step normalization}, Informs Journal on Optimization, 1, 2019]. The new framework, named TRishBB, aims to enhance the performance of TRish and at reducing the computational cost of the second-order TRish variant. We propose three different methods belonging to the TRishBB framework and present the convergence analysis for possibly nonconvex objective functions, considering biased and unbiased gradient approximations. Our analysis requires neither diminishing step-sizes nor full gradient evaluation. The numerical experiments in machine learning applications demonstrate the effectiveness of applying the Barzilai-Borwein steplength with stochastic gradients and show improved testing accuracy compared to the TRish method.
- [225] arXiv:2412.20300 (replaced) [pdf, html, other]
-
Title: A note on the structure of locally finite planar quasi-transitive graphsComments: 16 pages, 4 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
In an early work from 1896, Maschke established the complete list of all finite planar Cayley graphs. This result initiated a long line of research over the next century, aiming at characterizing in a similar way all planar infinite Cayley graphs. Droms (2006) proved a structure theorem for finitely generated planar groups, i.e., finitely generated groups admitting a planar Cayley graph, in terms of Bass-Serre decompositions. As a byproduct of his structure theorem, Droms proved that such groups are finitely presented. More recently, Hamann (2018) gave a graph theoretical proof that every planar quasi-transitive graph $G$ admits a generating $\mathrm{Aut}(G)$-invariant set of closed walks with only finitely many orbits, and showed that a consequence is an alternative proof of Droms' result. Based on the work of Hamann, we show in this note that we can also obtain a general structure theorem for $3$-connected locally finite planar quasi-transitive graphs, namely that every such graph admits a canonical tree-decomposition whose edge-separations correspond to cycle-separations in the (unique) embedding of $G$, and in which every part admits a vertex-accumulation free embedding. This result can be seen as a version of Droms' structure theorem for quasi-transitive planar graphs. As a corollary, we obtain an alternative proof of a result of Hamann, Lehner, Miraftab and Rühmann (2022) that every locally finite quasi-transitive planar graph admits a canonical tree-decomposition, whose parts are either $1$-ended or finite planar graphs.
- [226] arXiv:2501.00542 (replaced) [pdf, html, other]
-
Title: An Atomic Representation for Bicomplex Hardy ClassesComments: The statement of Corollary 7.4 was neglected after Definition 2.27 was corrected in the last version. In this version, the statement of Corollary 7.4 reflects the corrected Definition 2.27Subjects: 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.
- [227] arXiv:2501.02131 (replaced) [pdf, html, other]
-
Title: Sum-product phenomena for Ahlfors-regular setsComments: 10 pages, previous version contained a gap, see remark 1.6Subjects: Classical Analysis and ODEs (math.CA); Combinatorics (math.CO); Metric Geometry (math.MG)
We utilise the recent work of Orponen to yield a sum-product result for Ahlfors-regular sets. As a corollary, we obtain the fractal analogue of Solymosi's $4/3$-bound for finite subsets of $\mathbb{R}.$
- [228] arXiv:2501.02374 (replaced) [pdf, html, other]
-
Title: Covering sponges with tubesComments: 13 pages, accepted versionSubjects: Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS); Metric Geometry (math.MG)
The aim of this note is to give a short proof of a result of Pyörälä--Shmerkin--Suomala--Wu; the Sierpiński carpet, and generalisations, are tube-null; they can be covered with tubes of arbitrarily small total width. We remark that a more general class of sponge-like sets satisfy this property. For a given $\epsilon > 0$ the proof is able to give an explicit description of the tubes for which the total width is less than $\epsilon.$
- [229] arXiv:2501.06147 (replaced) [pdf, html, other]
-
Title: Uniform well-posedness and Inviscid limit for the KdV-Burgers and mKdV-Burgers equations on $\mathbb{T}$Subjects: Analysis of PDEs (math.AP)
This article investigates uniform well-posedness and inviscid limit behavior for the periodic Korteweg-de Vries-Burgers (KdV-B) and modified Korteweg-de Vries-Burgers (mKdV-B) equations: \[ \partial_t u + \partial_x^3 u - \varepsilon \partial_x^2 u = \partial_x(u^\alpha), \quad u(0) = \phi, \] where $\alpha = 2, 3$, $\varepsilon \in (0, 1]$ is the diffusion coefficient, and $u : \mathbb{R}^+ \times \mathbb{T} \to \mathbb{R}$ is real-valued.
For the KdV-B equation ($\alpha=2$), we establish unconditional uniform global well-posedness in $H^s(\mathbb{T})$ for $s \geq 0$, uniformly for all $\varepsilon \in [0,1]$, without relying on auxiliary function spaces. Furthermore, we prove that for any $s \geq 0$, there exists $T > 0$ such that solutions converge in $C([0,T]; H^s)$ to those of the KdV equation as $\varepsilon \to 0$. For the mKdV-B equation ($\alpha=3$), we establish analogous results--unconditional uniform well-posedness and inviscid limit behavior in $H^s(\mathbb{T})$ for $s \geq 1/2$. - [230] arXiv:2501.08855 (replaced) [pdf, html, other]
-
Title: A simple-to-implement nonlinear preconditioning of Newton's method for solving the steady Navier-Stokes equationsSubjects: Numerical Analysis (math.NA)
The Newton's method for solving stationary Navier-Stokes equations (NSE) is known to convergent fast, however, may fail due to a bad initial guess. This work presents a simple-to-implement nonlinear preconditioning of Newton's iteration, that remains the quadratic convergence and enlarges the domain of convergence. The proposed AAPicard-Newton method adds the Anderson accelerated Picard step at each iteration of Newton's method for solving NSE, which has been shown globally stable for the relaxation parameter $\beta_{k+1}\equiv1$ in the Anderson acceleration optimization step, convergent quadratically, and converges faster with a smaller convergence rate for large Reynolds number. Several benchmark numerical tests have been tested and are well-aligned with the theoretical results.
- [231] arXiv:2501.11842 (replaced) [pdf, html, other]
-
Title: Harnessing Rydberg Atomic Receivers: From Quantum Physics to Wireless CommunicationsYuanbin Chen, Xufeng Guo, Chau Yuen, Yufei Zhao, Yong Liang Guan, Chong Meng Samson See, Merouane Débbah, Lajos HanzoComments: This revised manuscript has been submitted to IEEE journal, 16 pages, 10 figuresSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
The intrinsic integration of Rydberg atomic receivers into wireless communication systems is proposed, by harnessing the principles of quantum physics in wireless communications. More particularly, we conceive a pair of Rydberg atomic receivers, one incorporates a local oscillator (LO), referred to as an LO-dressed receiver, while the other operates without an LO and is termed an LO-free receiver. The appropriate wireless model is developed for each configuration, elaborating on the receiver's responses to the radio frequency (RF) signal, on the potential noise sources, and on the signal-to-noise ratio (SNR) performance. The developed wireless model conforms to the classical RF framework, facilitating compatibility with established signal processing methodologies. Next, we investigate the associated distortion effects that might occur, specifically identifying the conditions under which distortion arises and demonstrating the boundaries of linear dynamic ranges. This provides critical insights into its practical implementations in wireless systems. Finally, extensive simulation results are provided for characterizing the performance of wireless systems, harnessing this pair of Rydberg atomic receivers. Our results demonstrate that LO-dressed systems achieve a significant SNR gain of approximately 40~50 dB over conventional RF receivers in the standard quantum limit regime. This SNR head-room translates into reduced symbol error rates, enabling efficient and reliable transmission with higher-order constellations.
- [232] arXiv:2501.16563 (replaced) [pdf, html, other]
-
Title: Comparing Teichmüller and curve graph translation lengthsSubjects: Geometric Topology (math.GT)
A pseudo-Anosov mapping class acts on Teichmüller space $\mathcal{T}$ as well as on the curve graph $\mathcal{C}$ with so called north-south dynamics. We can measure a stable translation length $l_\mathcal{T}$ and $l_\mathcal{C}$ of the respective actions. Boissy and Lanneau compute the minimal Teichmüller translation length over all pseudo Anosovs in a fixed genus that lie in a hyperelliptic component of translation surfaces. In particular, this minimum is always greater than $\log(\sqrt{2}),$ independently of the genus. Here, we show that the minimal stable curve graph translation length over the same family of pseudo-Anosovs behaves differently: Namely, for a genus $g$ surface this minimal translation length is of order $\frac{1}{g}.$ To prove this result, we combine techniques that are used to find upper and lower bounds for the stable curve graph translation length with the Rauzy-Veech induction machinery.
We proceed with showing that for a fixed genus $g$ there is a sequence of pseudo-Anosovs $f_n$ with
$$\lim\limits_{n \to \infty} l_\mathcal{T}(f_n) = \infty \text{ and } l_\mathcal{C}(f_n) \le \frac{1}{g-1}$$ for all $n \in \mathbb{N}.$ As a corollary, we obtain that there are stable curve graph translation lengths with infinite multiplicity, i.e. there exists $q \in \mathbb{Q}$ and infinitely many, non-conjugate pseudo-Anosovs $f_n$ with $l_\mathcal{C}(f_n) = q$ for all $n.$ - [233] arXiv:2502.06384 (replaced) [pdf, html, other]
-
Title: Polynomially Superintegrable Hamiltonians Separating in Cartesian CoordinatesComments: 43 pagesSubjects: Mathematical Physics (math-ph)
The problem of finding superintegrable Hamiltonians and their integrals of motion can be reduced to solving a series of compatibility equations that result from the overdetermination of the commutator or Poisson bracket relations. The computation of the compatibility equations requires a general formula for the coefficients, which in turn must depend on the potential to be solved for. This is in general a nonlinear problem and quite difficult. Thus, research has focused on dividing the classes of potential into standard and exotic ones so that a number of parameters may be set to zero and the coefficients may be obtained in a simpler setting. We have developed a new method in both the classical and quantum setting which readily yields a formula for the coefficients of the invariant without recourse to this division in the case of Cartesian-separable Hamiltonians. Even though they allow separation of variables as they in general involve potential in terms of higher transcendental and beyond hypergeometric for their wavefunctions, they are quite non-trivial models. The expressions we obtain are in general non-polynomial in the momenta whose fractional terms can be arbitrarily set to zero. These conditions are equivalent to the compatibility equations, but the only unknowns in addition to the potential are constant parameters. We also give the fourth-order standard potentials, and conjectures about general families.
- [234] arXiv:2502.12831 (replaced) [pdf, html, other]
-
Title: The gene's eye-view of quantitative geneticsComments: (40 pages, 2 figures)Subjects: Probability (math.PR); Populations and Evolution (q-bio.PE)
Modelling the evolution of a continuous trait in a biological population is one of the oldest problems in evolutionary biology, which led to the birth of quantitative genetics. With the recent development of GWAS methods, it has become essential to link the evolution of the trait distribution to the underlying evolution of allelic frequencies at many loci, co-contributing to the trait value. The way most articles go about this is to make assumptions on the trait distribution, and use Wright's formula to model how the evolution of the trait translates on each individual locus. Here, we take a gene's eye-view of the system, starting from an explicit finite-loci model with selection, drift, recombination and mutation, in which the trait value is a direct product of the genome. We let the number of loci go to infinity under the assumption of strong recombination, and characterize the limit behavior of a given locus with a McKean-Vlasov SDE and the corresponding Fokker-Planck IPDE. In words, the selection on a typical locus depends on the mean behaviour of the other loci which can be approximated with the law of the focal locus. Results include the independence of two loci and explicit stationary distribution for allelic frequencies at a given locus (under some assumptions on the fitness function).
- [235] arXiv:2502.15276 (replaced) [pdf, other]
-
Title: Categorical Lyapunov Theory I: Stability of FlowsComments: 31 pagesSubjects: Dynamical Systems (math.DS); Systems and Control (eess.SY); Category Theory (math.CT)
Lyapunov's theorem provides a fundamental characterization of the stability of dynamical systems. This paper presents a categorical framework for Lyapunov theory, generalizing stability analysis with Lyapunov functions categorically. Core to our approach is the set of axioms underlying a setting for stability, which give the necessary ingredients for ``doing Lyapunov theory'' in a category of interest. With these minimal assumptions, we define the stability of equilibria, formulate Lyapunov morphisms, and demonstrate that the existence of Lyapunov morphisms is necessary and sufficient for establishing the stability of flows. To illustrate these constructions, we show how classical notions of stability, e.g., for continuous and discrete time dynamical systems, are captured by this categorical framework for Lyapunov theory. Finally, to demonstrate the extensibility of our framework, we illustrate how enriched categories, e.g., Lawvere metric spaces, yield settings for stability enabling one to ``do Lyapunov theory'' in enriched categories.
- [236] arXiv:2502.17707 (replaced) [pdf, html, other]
-
Title: On non-Hausdorff manifoldsComments: Work in progress whose contents might change over time. Some pictures use colors and can be difficult to decipher for color blind readers. V2: See the list of main changes on first page. Also, typos corrected and improved presentation in many placesSubjects: General Topology (math.GN)
We investigate various aspects of non-Hausdorff manifolds (NH-manifold for short). First, we extend some known results about which covering properties, together with (a weakening of) homogeneity, imply that a manifold is Hausdorff. Writing $NH_X(x)$ for the subset of points of a space $X$ which cannot be separated of $x$ by open sets, we exhibit homogeneous NH-manifolds $M$ of dimension $\ge 2$ such that $NH_M(x)$ is non-homogeneous (in particular, non discrete), and give various properties that imply discreteness of $NH_M(x)$. We show that there is an everywhere non-Hausdorff hereditarily separable manifold under CH and that the existence of an everywhere non-Hausdorff hereditarily separable manifold in a particular class implies that of a locally compact S-space. We also construct various examples of somewhat pathological NH-manifolds. In particular, we show that there are NH-manifolds $M$ with a point $x\in M$ such that $NH_M(x)$ is a copy of: the Cantor space, any special tree, any $\Psi$-space (dimension $1$), $\mathbb{R}$, the long ray, (part of) boundaries of domains in $\mathbb{R}^2$ (dimension $2$). We also build a homogeneous $1$-dimensional NH-manifold $M$ such that for each $x,y$ there is some $z$ with $x\in NH_M(z)$, $z\in NH_M(y)$. We start by recalling basic properties of NH-manifolds and use elementary (or at least well known) methods of general or set theoretic topology, with a little bit of conformal theory for some of the examples. Many pictures are given to illustrate the constructions and the proofs are rather detailed, which is the main reason for the length of this note.
- [237] arXiv:2502.18788 (replaced) [pdf, html, other]
-
Title: Hölder spiral arcsComments: 11 pages, proved a more general theorem in Section 3Subjects: Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS)
We establish a quantitative necessary and sufficient condition for a spiral arc to be a Hölder arc. The class of spiral arcs contains the polynomial spirals studied by Fraser, and the elliptical spirals studied by Burrell-Falconer-Fraser. As an application, we recover the sharp result on the Hölder winding problem for polynomial spirals. Moreover, we provide a sharp exponent estimate for the Hölder classification of polynomial spirals, which coincides with the corresponding quasiconformal classification estimate, and improve certain exponent bounds of Burrell-Falconer-Fraser on the Hölder classification of elliptical spirals.
- [238] arXiv:2502.19299 (replaced) [pdf, html, other]
-
Title: General diffusions on the star graph as time-changed Walsh Brownian motionSubjects: Probability (math.PR)
We establish the representation of general regular diffusions on star-shaped graphs as time-changed Walsh Brownian motions. These are regular continuous Markov processes described locally by a family generalized second order differential operators defined on every edge and a gluing condition at the junction vertex. This allows us to prove two additional results: (i) A representation of diffusions with sticky gluing conditions as time-changes of diffusions governed by the same differential operators but with non-sticky gluing conditions. (ii) An occupation times formula for such diffusions, analogous to the classical Itô--McKean formula for one-dimensional diffusions.
Additionally, we prove two results of independent interest. First, conditions under which a diffusion on the star graph is Feller and Feller--Dynkin, extending classical results for one-dimensional diffusions. Second, the existence uniqueness of solutions to the Dirichlet problem on the unit disk of the star graph for a general diffusion operator and explicit expressions for its solution. - [239] arXiv:2503.03596 (replaced) [pdf, html, other]
-
Title: Carleman estimate for semi-discrete stochastic parabolic operators in arbitrary dimension and applications to controllabilitySubjects: Optimization and Control (math.OC)
This paper considers a semi-discrete forward stochastic parabolic operator with homogeneous Dirichlet conditions in arbitrary dimensions. We show the lack of null controllability for a spatial semi-discretization of a null-controllable stochastic parabolic system from any initial datum. However, by proving a new Carleman estimate for its semi-discrete backward stochastic adjoint system, we achieve a relaxed observability inequality, which is applied to derivative $\phi$-null controllability by duality arguments.
- [240] arXiv:2503.18601 (replaced) [pdf, html, other]
-
Title: A Linear Convergence Result for the Jacobi-Proximal Alternating Direction Method of MultipliersComments: 25 pages, 24 figuresSubjects: Optimization and Control (math.OC)
In this paper, we analyze the convergence rate of the Jacobi-Proximal Alternating Direction Method of Multipliers (ADMM) initially introduced by Deng et al. for the block-structured optimization problem with linear constraint. The algorithm is well-suited for parallel implementation and widely used for large-scale multi-block optimization problems. While the o(1/k) convergence of the Jacobi-Proximal ADMM for the case $N \geq 3$ has been well-established in the previous work, to the best of our knowledge, its linear convergence for $N \geq 3$ remains unproven. We establish the linear convergence of the algorithm when the cost functions are strongly convex and smooth. Numerical experiments are presented supporting the convergence result.
- [241] arXiv:2504.00197 (replaced) [pdf, html, other]
-
Title: Strong Geometry : KnotsComments: 22 pages, 27 figuresSubjects: Combinatorics (math.CO)
In this paper, we introduce the notion of strong geometry, a structure composed by both the chirotope of a set of points X in the d-dimensional space and the wedge chirotope which is the specific adjoint chirotope induced by the hyperplanes spanned by X. We present various properties relating these two chirotopes, for instance, by introducing the witness chirotope, we are able to give a formula expressing the wedge chirotope in terms of the usual chirotope. With this on hand, we answer positively a strong geometry version of a question due to M. Las Vergnas about reconstructing polygonal knots via chirotopes.
- [242] arXiv:2504.01781 (replaced) [pdf, html, other]
-
Title: Proper scoring rules for estimation and forecast evaluationSubjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
Proper scoring rules have been a subject of growing interest in recent years, not only as tools for evaluation of probabilistic forecasts but also as methods for estimating probability distributions. In this article, we review the mathematical foundations of proper scoring rules including general characterization results and important families of scoring rules. We discuss their role in statistics and machine learning for estimation and forecast evaluation. Furthermore, we comment on interesting developments of their usage in applications.
- [243] arXiv:2504.02686 (replaced) [pdf, html, other]
-
Title: Degrees and prime power order zeros of characters of symmetric and alternating groupsComments: 19 pagesSubjects: Representation Theory (math.RT); Group Theory (math.GR)
We show that the $p$-part of the degree of an irreducible character of a symmetric group is completely determined by the set of vanishing elements of $p$-power order. As a corollary we deduce that the set of zeros of prime power order controls the degree of such a character. The same problem is analysed for alternating groups, where we show that when $p=2$ this data can only be determined up to two possibilities. We prove analogous statements for the defect of the $p$-block containing the character and for the $p$-height of the character.
- [244] arXiv:2504.05326 (replaced) [pdf, html, other]
-
Title: Totally Disjoint 3-Digit Decimal Check Digit CodesSubjects: Information Theory (cs.IT); Combinatorics (math.CO)
In 1969 J. Verhoeff provided the first examples of a decimal error detecting code using a single check digit to provide protection against all single, transposition and adjacent twin errors. The three versions of such a code that he presented are length 3-digit codes with 2 information digits. Existence of a 4-digit code would imply the existence of 10 such disjoint 3-digit codes. This paper presents 3 pairwise disjoint 3-digit codes. The codes developed herein, have the property that the knowledge of the multiset of digits included in a word is sufficient to determine the entire codeword even though their positions were unknown. Thus the codes are permutation-free, and this fulfills Verhoeff's desire to eliminate "cyclic errors". Phonetic errors, where 2 digit pairs of the forms X0 and 1X are interchanged, are also eliminated.
- [245] arXiv:2504.08278 (replaced) [pdf, html, other]
-
Title: Line-Search Filter Differential Dynamic Programming for Optimal Control with Nonlinear Equality ConstraintsSubjects: Optimization and Control (math.OC); Robotics (cs.RO); Systems and Control (eess.SY)
We present FilterDDP, a differential dynamic programming algorithm for solving discrete-time, optimal control problems (OCPs) with nonlinear equality constraints. Unlike prior methods based on merit functions or the augmented Lagrangian class of algorithms, FilterDDP uses a step filter in conjunction with a line search to handle equality constraints. We identify two important design choices for the step filter criteria which lead to robust numerical performance: 1) we use the Lagrangian instead of the cost as one of the filter criterion and, 2) for the stopping criteria and backward pass Hessians, we replace the value function gradient with an estimated dual variable of the dynamics constraints. Both choices are rigorously justified, for 2) in particular by a formal proof of local quadratic convergence. We validate FilterDDP on three contact implicit trajectory optimisation problems which arise in robotics.
- [246] arXiv:2504.10896 (replaced) [pdf, html, other]
-
Title: $p$-twisted Selmer near-companion curvesComments: Comments are welcome!Subjects: Number Theory (math.NT)
Let $E_1$ and $E_2$ be elliptic curves over a number field $K$. In \cite{scc}, Mazur and Rubin define the concept of $n$-Selmer near-companions and conjecture that if $E_1$ and $E_2$ are $n$-Selmer near-companions over $K$, then $E_1[n]$ is $G_K$-isomorphic to $E_2[n]$. Yu proves the conjecture on $n$-Selmer near-companion curves in the case $n=2$. We we introduce the notion of $p$-twisted Selmer near-companions ($p$-TSNC) over $K$ and prove that if $E_1$ and $E_2$ are $p$-TSNC over $K$, then $K(E_1[p])=K(E_2[p])$ under certain conditions.
- [247] arXiv:2504.12231 (replaced) [pdf, html, other]
-
Title: Finite time blowup for Keller-Segel equation with logistic damping in three dimensionsComments: 40 pages, 3 figures; typos correctedSubjects: Analysis of PDEs (math.AP)
The Keller-Segel equation, a classical chemotaxis model, and many of its variants have been extensively studied for decades. In this work, we focus on 3D Keller-Segel equation with a quadratic logistic damping term $-\mu \rho^2$ (modeling density-dependent mortality rate) and show the existence of finite-time blowup solutions with nonnegative density and finite mass for any $\mu \in \big[0,\frac{1}{3}\big)$. This range of $\mu$ is sharp; for $\mu \ge \frac{1}{3}$, the logistic damping effect suppresses the blowup as shown in [Kang-Stevens, 2016] and [Tello-Winkler, 2007]. A key ingredient is to construct a self-similar blowup solution to a related aggregation equation as an approximate solution, with subcritical scaling relative to the original model. Based on this construction, we employ a robust weighted $L^2$ method to prove the stability of this approximate solution, where modulation ODEs are introduced to enforce local vanishing conditions for the perturbation lying in a singular-weighted $L^2$ space. As a byproduct, we exhibit a new family of type I blowup mechanisms for the classical 3D Keller-Segel equation.
- [248] arXiv:2504.13019 (replaced) [pdf, html, other]
-
Title: The higher regularity of the discrete Hardy-Littlewood maximal functionSubjects: Classical Analysis and ODEs (math.CA)
In a recent short note the first author gave the first positive result on the higher order regularity of the discrete noncentered Hardy-Littlewood maximal function. In this article we conduct a thorough investigation of possible similar results for higher order derivatives. We uncover that such results are indeed a consequence of a stronger phenomenon regarding the growth of $l^p(\Z)$ norms of the derivatives of characteristic functions of finite subsets of $\Z$. Along the way we discover very interesting connections to Prouhot-Tarry-Escott (PTE) problem, and to zeros of complex polynomials with restricted coefficients (Littlewood-type polynomials).
- [249] arXiv:2504.18632 (replaced) [pdf, other]
-
Title: Backward stochastic differential equations with nonlinear Young drivers IComments: 54 pagesSubjects: Probability (math.PR); Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
This paper (alongside its companion, Part II \cite{BSDEYoung-II}) investigates backward stochastic differential equations (BSDEs) involving a nonlinear Young integral of the form $\int_{t}^{T}g(Y_{r})\eta(dr,X_{r})$, where the driver $\eta(t,x)$ is a space-time Hölder continuous function and $X$ is a diffusion process. Solutions to such equations provide a probabilistic interpretation of the solutions to stochastic partial differential equations (SPDEs) driven by space-time noise.
Assuming the driver $\eta(t,x)$ is bounded, we establish the existence and uniqueness of the solutions to these BSDEs via a modified Picard iteration method. We then derive a comparison principle by analyzing the associated linear BSDEs and establish regularity properties of the solutions. As an application, we obtain Feynman-Kac formulae for a class of linear stochastic heat equations subject to Neumann boundary conditions. - [250] arXiv:2504.19826 (replaced) [pdf, html, other]
-
Title: Components and realizability of fusion systemsSubjects: Group Theory (math.GR)
For $p\in\{2,3\}$ it is known that a saturated $p$-fusion system is realizable if and only if each of its components is realizable by a finite simple group. For primes $p\geq 5$ this is false. Building on work of Broto, Møller, Oliver and Ruiz, we show however that a fusion system $\mathcal{F}$ is realizable if and only if for each of its components $\mathcal{C}$ there exists a realizable subnormal subsystem $\mathcal{E}$ of $\mathcal{F}$ with $O^{p^\prime}(\mathcal{E})=\mathcal{C}$.
- [251] arXiv:2504.21272 (replaced) [pdf, html, other]
-
Title: Quadratic spaces and Selmer groups of abelian varieties with multiplicationComments: Revised and extendedSubjects: Number Theory (math.NT)
For certain symmetric isogeny $\lambda: A\rightarrow A^\vee$ of abelian varieties over a global field $F$, B. Poonen and E. Rains put an orthogonal quadratic structure on $\mathrm{H}^1(\mathbb{A}_F,A[\lambda])$ and realize the Selmer group $\mathrm{Sel}_\lambda(A)$ as an intersection of two maximal isotropic subspaces of $\mathrm{H}^1(\mathbb{A}_F,A[\lambda])$. With this understanding of Selmer groups, they expect to model the Selmer groups of elliptic curves and Jacobian varieties of hyperelliptic curves as the intersections of random maximal isotropic subspaces of orthogonal spaces. We extend this phenomenon to abelian varieties with multiplication and discuss the Shafarevich-Tate groups.
- [252] arXiv:2504.21274 (replaced) [pdf, html, other]
-
Title: Selmer ranks in twists of CM abelian varietiesComments: Revised and extendedSubjects: Number Theory (math.NT)
We prove the Selmer ranks in certain families of $p$-th twists of CM abelian varieties obey the symplectic or unitary distributions. As an application, for a prime $p\geq 3$, we obtain that the twisted Fermat curves $X^p+Y^p=\delta$ over a number field containing a primitive $p$-th root of unity are ``largely" unsolvable as $\delta$ varies. We also discuss the rank growth in cyclic extensions of prime degree for CM abelian varieties.
- [253] arXiv:2505.05085 (replaced) [pdf, html, other]
-
Title: Learning dynamically inspired invariant subspaces for Koopman and transfer operator approximationComments: 23 pages, 13 figuresSubjects: Dynamical Systems (math.DS); Machine Learning (cs.LG); Numerical Analysis (math.NA)
Transfer and Koopman operator methods offer a framework for representing complex, nonlinear dynamical systems via linear transformations, enabling a deeper understanding of the underlying dynamics. The spectra of these operators provide important insights into system predictability and emergent behaviour, although efficiently estimating them from data can be challenging. We approach this issue through the lens of general operator and representational learning, in which we approximate these linear operators using efficient finite-dimensional representations. Specifically, we machine-learn orthonormal basis functions that are dynamically tailored to the system. This learned basis provides a particularly accurate approximation of the operator's action as well as a nearly invariant finite-dimensional subspace. We illustrate our approach with examples that showcase the retrieval of spectral properties from the estimated operator, and emphasise the dynamically adaptive quality of the machine-learned basis.
- [254] arXiv:2505.05250 (replaced) [pdf, html, other]
-
Title: Non-vanishing implies numerical dimension one abundanceComments: 24 pages. A part of the proof is refined by applying a result of Lazic-Peternell and now the log canonical case of Theorem 1.6 also holdsSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV); Differential Geometry (math.DG)
We show that the non-vanishing conjecture implies the abundance conjecture when $\nu\leq 1$. We also prove the abundance conjecture in dimension $\leq 5$ when $\kappa\geq 0$ and $\nu\leq 1$ unconditionally.
- [255] arXiv:2505.06539 (replaced) [pdf, other]
-
Title: A Note On Generalized $L_p$ Inequalities for the polar derivative of a polynomialComments: There are some errors in page oneSubjects: Complex Variables (math.CV)
Let \( P(z) \) be a polynomial of degree \( n \) and $\alpha \in \mathbb{C}$. The polar derivative of \( P(z) \) is denoted by \( D_\alpha P(z) \) and is defined as $D_\alpha P(z) = nP(z) + \alpha z P'(z).$
The polar derivative \( D_\alpha P(z) \) is a polynomial of degree at most \( n - 1 \) and it generalizes the ordinary derivative \( P'(z) \). In this paper, we establish some \( L_p \) inequalities for the polar derivative of a polynomial with all its zeros located within a prescribed disk. Our results refine and generalize previously known findings. - [256] arXiv:2505.08102 (replaced) [pdf, other]
-
Title: Weights and characters over Borcherds-Kac-Moody algebrasComments: 54 Pages, 5 figures. We study a new set of dominant weights over Borcherds-Kac-Moody algebras, to obtain weights of any highest weight module V; and explore characters of the associated simples. Added Theorem D on characters of all V (including simples) with top weights Weyl vectors, in a negative type A settingSubjects: Representation Theory (math.RT)
Fix any Borcherds-Kac-Moody $\mathbb{C}$-Lie algebra (BKM LA) $\mathfrak{g}=\mathfrak{g}(A)$ of BKM-Cartan matrix $A$, and Cartan subalgebra $\mathfrak{h}\subset \mathfrak{g}$. In this paper, we obtain explicit weight formulas of any highest weight $\mathfrak{g}$-module $V$ with top weight $\lambda\in \mathfrak{h}^*$ : 1) Generalizing and extending those in one stroke from Kac-Moody (KM) case, of simples $V=L(\lambda)$ by Khare [Trans. Amer. Math. Soc. 2017] and Dhillon-Khare [Adv. Math. 2017 \& J. Algebra. 2022] and recently of all $V$ by Khare-Teja; via parabolic and higher order Verma $V$. 2) Uniform for all $(\mathfrak{g}, \lambda, V)$; seemingly novel even for integrable ($L(\lambda)$ and all intermediate) $V$ for dominant integral $\lambda\in P^+$. 3) As Weyl-orbit formulas (of finite-dim. $L(\lambda)$s) for several $V$; and for our candidates of parabolic Vermas over BKM LAs. 4) Using our concepts of holes (1-dim. weight-spaces lost) in $V$, and $P^{\pm}$-dominant weights to cover Chevalley-Serre relations in generic simple $V$s. We define $P^{\pm}$ to be the set of $\mu\in \mathfrak{h}^*$ paired with simple co-roots for $A_{ii}\geq 0$ as usual, but notably by negative multiples of $\frac{|A_{ii}|}{2}$ if $A_{ii}<0$.
By-products of working with $P^{\pm}$: study of simples $L(\lambda)\ \forall\ \lambda\in P^{\pm}$, notably of $L(\rho)$ for Weyl vectors $\rho\in P^{\pm} \setminus P^+$, and their Verma covers; all novel to our best knowledge. For Weyl-Kac-Borcherds character type formulas of these $L(\lambda)$s over negative rank-2 $\mathfrak{g}$ and of $L(\rho)$ over negative $A_n$ type $\mathfrak{g}$ $\forall$ $n\in \mathbb{N}$, we explore : i) their presentations; ii) their Verma modules' structures; iii) problems on maximal vectors or Verma embeddings, from Kac-Kazhdan [Adv. Math. 1979], for our BKM $P^{\pm}$ setting. - [257] arXiv:2505.08884 (replaced) [pdf, html, other]
-
Title: Jacobian-Free Newton-Krylov with a globalization method for solving groundwater flow models of multi-layer aquifer systemsSubjects: Numerical Analysis (math.NA)
A Jacobian free Newton Krylov (JFNK) method with a globalization scheme is introduced to solve large and complex nonlinear systems of equations that arise in groundwater flow models of multi-layer aquifer systems. We explore the advantages of the JFNK method relative to the Newton-Krylov (NK) method and identify the circumstances in which the JFNK method demonstrates computing efficiency. We perform the validation and efficiency of the JFNK method on various test cases involving an unconfined single-layer aquifer and a two-layer aquifer with both confined and unconfined conditions. The results are validated by the NK method. The JFNK method is incorporated in Integrated Water Flow Model (IWFM), an integrated hydrologic model developed and maintained by California Department of Water Resources. We examine the determinacy of the JFNK's adaptability on practical models such as the California Central Valley Groundwater-Surface Water Simulation Model (C2VSim).
- [258] arXiv:2505.10964 (replaced) [pdf, html, other]
-
Title: A naive generalization of the hyperbolic and the quasihyperbolic metricsComments: 15 pages, 2 figures, submitted to a journalSubjects: Metric Geometry (math.MG); Complex Variables (math.CV)
Although the hyperbolic metric possesses many remarkable properties, it is not defined on arbitrary subdomains of $\mathbb{R}^n$ with $n \geq 2$. This article introduces a new hyperbolic-type metric that provides an alternative approach to this limitation. The proposed metric coincides with the hyperbolic metric on balls and half-spaces, and, quite unexpectedly, agrees with the quasihyperbolic metric in unbounded domains. We compute the density of this metric in several classical domains and discuss aspects of its curvature. Furthermore, we establish characterizations of uniform domains and John disks in terms of the newly defined metric. In addition, we investigate several geometric properties of the metric, including the existence of geodesics and the minimal length of non-trivial closed curves in multiply connected domains.
- [259] arXiv:2505.11002 (replaced) [pdf, other]
-
Title: Power convexity of solutions to complex Monge-Ampère equation in $\mathbb{C}^2$Comments: The proof of the constant rank theorem in this paper (Section 3) is incomplete. Therefore, we are withdrawing the submission. A revised version will be uploaded once the issue has been correctedSubjects: Analysis of PDEs (math.AP)
The convexity of solutions to boundary value problems for fully nonlinear elliptic partial differential equations (such as real or complex $k$-Hessian equations) is a challenging topic. In this paper, we establish the power convexity of solutions to the Dirichlet problem for the complex Monge-Ampère equation on bounded, smooth, strictly convex domain in $\mathbb{C}^2$. Our approach is based on the constant rank theorem and the deformation process.
- [260] arXiv:2505.12561 (replaced) [pdf, html, other]
-
Title: $e$-invariants of quotients of Lie groupsComments: 8 pages; adds a sentence for a supplementary explanation in the middle of the 1st page; because of that, makes a slight modification to the following sentenceSubjects: Algebraic Topology (math.AT)
Let $G$ be a simply connected compact Lie group and $\mathscr{L}$ be the left invarinat framing of $G$. Let $\mathcal{L}^\lambda$ be the framing obtained by twisting $\mathscr{L}$ by a faithful representation $\lambda$. Given a torus subgroup $T''$ of $G$ we have a framing $(\mathcal{L}^\lambda)_{T''}$ of the quotient $G/T''$ induced from $\mathcal{L}^\lambda$. In this note we show that under a certain dimensional condition the $e_\mathbb{C}$-invariant of $G/T''$ with this framing provides a generator of the $J$-homomorphism or twice that. Thereby we also give a unified proof of the results for $SU(2n)$, $Spin(4n+1)$ and $Spin(8n-2)$ $(n\ge 1)$ previously proved.
- [261] arXiv:2505.12817 (replaced) [pdf, other]
-
Title: The log-concavity of eigenfunction to complex Monge-Ampère operator in $\mathbb{C}^2$Comments: The proof of the constant rank theorem in this paper (Section 3) is incomplete. Therefore, we are withdrawing the submission. A revised version will be uploaded once the issue has been correctedSubjects: Analysis of PDEs (math.AP)
Following the authors' recent work \cite{Zhang-Zhou2025}, we further explore the convexity properties of solutions to the Dirichlet problem for the complex Monge-Ampère operator. In this paper, we establish the $\log$-concavity of solutions to the Dirichlet eigenvalue problem for the complex Monge-Ampère operator on bounded, smooth, strictly convex domain in $\mathbb{C}^2$. The key ingredients consist of the constant rank theorem and the deformation method.
- [262] arXiv:2505.15915 (replaced) [pdf, html, other]
-
Title: On spatial decay for coherent states of the Benjamin-Ono equationComments: 27 page, 1 figure. More typos correctedSubjects: Analysis of PDEs (math.AP)
We consider solutions to the Benjamin-Ono equation
$$\partial_t u - H \partial_x^2 u = -\partial_x(u^2)$$
that are localized in a reference frame moving to the right with constant speed. We show that any such solution that decays at least like $\langle x\rangle^{-1-\epsilon}$ for some $\epsilon > 0$ in a comoving coordinate frame must in fact decay like $\langle x\rangle^{-2}$. In view of the explicit soliton solutions, this decay rate is sharp. Our proof has two main ingredients. The first is microlocal dispersive estimates for the Benjamin-Ono equation in a moving frame, which allow us to prove spatial decay of the solution provided the nonlinearity has sufficient decay. The second is a careful normal form analysis, which allows us to obtain rapid decay of the nonlinearity for a transformed equation assuming only modest decay of the solution. Our arguments are entirely time dependent, and do not require the solution to be an exact traveling wave. - [263] arXiv:2505.23998 (replaced) [pdf, html, other]
-
Title: The Mostowski BridgeComments: 16 pages; minor imperfections of the previous version are corrected in this one, and the typography is improvedSubjects: Logic (math.LO)
In 1950, Novak and Mostowski showed that GB (Gödel-Bernays theory of classes) is conservative over ZF, and therefore by Gödel's second incompleteness theorem the consistency of ZF is unprovable in GB. In the same year Mostowski unveiled a contrasting result: GB provides a truth-definition for ZF-formulae. Here we first give an expository account of Mostowski's construction and surrounding results, and then we show that the construction bridges the domain of Tarski-style truth theories over PA with certain subsystems of second order arithmetic.
- [264] arXiv:2506.01932 (replaced) [pdf, html, other]
-
Title: Nonlocal pseudosymmetries and Bäcklund transformations as $\mathcal{C}$-morphismsSubjects: Differential Geometry (math.DG); Mathematical Physics (math-ph)
In this paper, we show how factorisation with respect to nonlocal pseudosymmetries allows one to obtain Bäcklund transformations, interpreted as nonlocal $\mathcal{C}$-morphisms of differential equations. According to this approach, which is illustrated through several examples, the Bäcklund transformations are determined by basic invariants of the exploited nonlocal pseudosymmetries.
- [265] arXiv:2506.07287 (replaced) [pdf, html, other]
-
Title: On conditions for Dobrushin's Central limit theorem for non-homogeneous Markov chainsComments: 9 pages, 16 referencesSubjects: Probability (math.PR)
A new sufficient condition is proposed in the problem of Central Limit Theorem in the array scheme for non-homogeneous Markov Chains.
- [266] arXiv:2506.08050 (replaced) [pdf, html, other]
-
Title: On the structure of groups defined by Kim and ManturovComments: 23pages, one reference addedSubjects: Group Theory (math.GR); Geometric Topology (math.GT)
We study the structure of a series of groups $\Gamma_n^4$ defined by Kim and Manturov. We show that the groups are finite for all $n \ge 6$ and in fact they are 2-step nilpotent $2$-groups.
- [267] arXiv:2507.02552 (replaced) [pdf, html, other]
-
Title: Covariance scanning for adaptively optimal change point detection in high-dimensional linear modelsSubjects: Statistics Theory (math.ST); Methodology (stat.ME)
This paper investigates the detection and estimation of a single change in high-dimensional linear models. We derive minimax lower bounds for the detection boundary and the estimation rate, which uncover a phase transition governed the sparsity of the covariance-weighted differential parameter. This form of "inherent sparsity" captures a delicate interplay between the covariance structure of the regressors and the change in regression coefficients on the detectability of a change point. Complementing the lower bounds, we introduce two covariance scanning-based methods, McScan and QcSan, which achieve minimax optimal performance (up to possible logarithmic factors) in the sparse and the dense regimes, respectively. In particular, QcScan is the first method shown to achieve consistency in the dense regime and further, we devise a combined procedure which is adaptively minimax optimal across sparse and dense regimes without the knowledge of the sparsity. Computationally, covariance scanning-based methods avoid costly computation of Lasso-type estimators and attain worst-case computation complexity that is linear in the dimension and sample size. Additionally, we consider the post-detection estimation of the differential parameter and the refinement of the change point estimator. Simulation studies support the theoretical findings and demonstrate the computational and statistical efficiency of the proposed covariance scanning methods.
- [268] arXiv:2507.08295 (replaced) [pdf, html, other]
-
Title: Equivalent Characterizations and Applications of Fractional Sobolev Spaces with Partially Vanishing Traces on $(ε,δ,D)$-Domains Supporting $D$-Adapted Fractional Hardy InequalitiesComments: 42 pages; SubmittedSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA)
Let $\Omega\subset\mathbb{R}^n$ be an $(\epsilon,\delta,D)$-domain, with $\epsilon\in(0,1]$, $\delta\in(0,\infty]$, and $D\subset \partial \Omega$ being a closed part of $\partial \Omega$, which is a general open connected set when $D=\partial \Omega$ and an $(\epsilon,\delta)$-domain when $D=\emptyset$. Let $s\in(0,1)$ and $p\in[1,\infty)$. If ${W}^{s,p}(\Omega)$, ${\mathcal W}^{s,p}(\Omega)$, and $\mathring{W}_D^{s,p}(\Omega)$ are the fractional Sobolev spaces on $\Omega$ that are defined respectively via the restriction of $W^{s,p}(\mathbb{R}^n)$ to $\Omega$, the intrinsic Gagliardo norm, and the completion of all $C^\infty(\Omega)$ functions with compact support away from $D$, in this article we prove their equivalences [that is, ${W}^{s,p}(\Omega)={\mathcal{W}}^{s,p}(\Omega) =\mathring{W}_D^{s,p}(\Omega)$] if $\Omega$ supports a $D$-adapted fractional Hardy inequality and, moreover, when $sp\ne 1$ such a fractional Hardy inequality is shown to be necessary to guarantee these equivalences under some mild geometric conditions on $\Omega$. Using the aforementioned equivalences, we show that the real interpolation space $(L^p(\Omega), \mathring{W}_D^{1,p}(\Omega))_{s,p}$ equals to some weighted fractional order Sobolev space $\mathcal{W}^{s,p}_{d_D^s}(\Omega)$ when $p\in (1,\infty)$. Applying this to the elliptic operator $\mathcal{L}_D$ in $\Omega$ with mixed boundary condition, we characterize both the domain of its fractional power and the parabolic maximal regularity of its Cauchy initial problem by means of $\mathcal{W}^{s,p}_{d_D^s}(\Omega)$.
- [269] arXiv:2507.12300 (replaced) [pdf, html, other]
-
Title: Sturm-Liouville operators with periodically modulated parameters. Part I: Regular caseComments: 51 pagesSubjects: Spectral Theory (math.SP); Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA)
We introduce a new class of Sturm-Liouville operators with periodically modulated parameters. Their spectral properties depend on the monodromy matrix of the underlying periodic problem computed for the spectral parameter equal to $0$. Under certain assumptions, by studying the asymptotic behavior of Christoffel functions and density of states, we prove that the spectral density is a continuous positive everywhere function on the real line.
- [270] arXiv:2507.15215 (replaced) [pdf, other]
-
Title: Asymptotic Optimality in Data-Driven Decision MakingSubjects: Optimization and Control (math.OC); Probability (math.PR)
Given data generated by an observable stochastic process, we study how to construct statistically optimal decisions for general stochastic optimization problems. Our setting encompasses non-standard data structures, including data originating from heterogeneous sources or from randomly evolving data-generating mechanisms. We propose a decision-making approach that identifies optimal decisions for which a specific notion of risk of shifted regret decays to zero at a prescribed exponential rate. This optimal decision arises as the solution to a multi-objective optimization problem, which reflects asymptotic behavior properties of the data-generating process. Central to our framework is a rate function that characterizes this behavior via a Laplace principle, thereby generalizing standard concepts from large deviation theory. Our general formulation enables our approach to account for data from uncertain distributions and recovers classical results in data-driven decision making under uncertainty as special cases, including distributionally robust optimization. Moreover, our method enables decision-makers to systematically balance a desired rate of asymptotic risk decay against a potential loss in statistical consistency of the resulting data-driven decision. We demonstrate the effectiveness of the proposed approach through illustrative examples from operations research, such as the newsvendor problem, under aleatoric uncertainty induced by heterogeneous data sources.
- [271] arXiv:2507.15341 (replaced) [pdf, html, other]
-
Title: Beck-Chevalley Conditions in Simplicial SetsSubjects: Algebraic Topology (math.AT)
We describe certain class of simplicial sets introduced by Dmitry Skvortsov and Valentin Shehtman; we call such simplicial sets Skvortsov-Shehtman complexes. An example of a Skvortsov-Shehtman complex that is not a Kan complexes is given.
- [272] arXiv:2507.16313 (replaced) [pdf, html, other]
-
Title: Hyperbolicity and Schwarz Lemmas in Calibrated GeometryComments: 40 pagesSubjects: Differential Geometry (math.DG)
This paper has two main objectives. First, for an arbitrary calibrated manifold $(X,\phi)$, we define notions of $R_\phi$-hyperbolicity and $\phi$-hyperbolicity, which respectively generalize the notions of Kobayashi and Brody hyperbolicity from complex geometry. To make sense of the former, we introduce the "KR $\phi$-metric," a decreasing Finsler pseudo-metric that specializes to the Kobayashi-Royden pseudo-metric in the Kahler case. We prove that $R_\phi$-hyperbolicity implies $\phi$-hyperbolicity, and give examples showing that the converse fails in general. Moreover, for constant-coefficient, inner Mobius rigid calibrations $\phi$ in $\mathbb{R}^n$, we completely characterize those domains that are $\phi$-hyperbolic.
Second, we derive a Schwarz lemma for Smith immersions (a.k.a. conformal $\phi$-curves) into an arbitrary calibrated manifold $(X, \phi)$, thereby extending the Schwarz lemma for holomorphic curves into Kahler manifolds. The relevant Bochner formula features the "$\phi$-sectional curvature," a new notion that includes both the scalar and holomorphic sectional curvatures as special cases. As an application, we prove that calibrated geometries with $\phi$-sectional curvature bounded above by a negative constant are $R_\phi$-hyperbolic, generalizing the corresponding result from complex geometry. As another application, we calculate the KR $\phi$-metric of real, complex, and quaternionic hyperbolic spaces equipped with their natural calibrations. - [273] arXiv:2507.17935 (replaced) [pdf, html, other]
-
Title: On the Stanley length of monomial idealsComments: 20 pages; adding a new result and minor correctionsSubjects: Commutative Algebra (math.AC)
Let $S=K[x_1,\ldots,x_n]$ be the ring of polynomials in $n$ variables over an arbitrary field $K$. Given a finitely generated multigraded module $M$, its Stanley length, denoted by $\operatorname{slength}(M)$, is the minimal length of a Stanley decomposition of $M$. Let $I\subset S$ be a monomial ideal, minimally generated by $m$ monomials. We give an upper bound for $\operatorname{slength}(I)$, in terms of its minimal monomial generators. Also, we give precise formulas for $\operatorname{slength}(I)$, if $n=2$ or $m=2$. Also, we show that if $I$ has linear quotients, then $\operatorname{slength}(I)=m$, and the converse holds in some special cases.
- [274] arXiv:2507.19571 (replaced) [pdf, html, other]
-
Title: Minimal-order groups with an irreducible character of degree $p$ or $p^2$Comments: Added referencesSubjects: Group Theory (math.GR)
We characterize the finite groups of minimal order that admit an irreducible complex character of degree $p$ or $p^2$, where $p$ is a prime.
- [275] arXiv:2507.19747 (replaced) [pdf, html, other]
-
Title: TokenBlowUp: Resolving Representational Singularities in LLM Token Spaces via Monoidal TransformationsSubjects: Algebraic Geometry (math.AG); Machine Learning (cs.LG)
Recent work has provided compelling evidence challenging the foundational manifold hypothesis for the token embedding spaces of Large Language Models (LLMs). These findings reveal the presence of geometric singularities around polysemous tokens, which can lead to representational instability. Existing methodologies, which presuppose a smooth data manifold, are ill-equipped to address such intrinsic structural flaws. In this paper, we formalize this problem in the language of scheme theory and propose a rigorous resolution by applying the scheme-theoretic blow-up at each singular point. This procedure replaces a singular point in the ambient affine scheme with its exceptional divisor, which we identify as a canonical geometric space -- a projective space of directions -- that houses the disambiguated semantic meanings of the token. This process of ``representational desingularization'' constructs a new geometric landscape for embeddings. We prove a formal theorem guaranteeing the geometric regularization of this new space, showing that the original pathologies are resolved. Finally, we outline the architectural implications of our framework, arguing for a paradigm shift from static look-ups to dynamic, geometrically-grounded computation.
- [276] arXiv:2507.20961 (replaced) [pdf, html, other]
-
Title: Normalized solutions for the nonlinear Schrödinger equation with potentialsSubjects: Analysis of PDEs (math.AP)
In this paper, we find normalized solutions to the following Schrödinger equation \begin{equation}\notag \begin{aligned} &-\Delta u-\frac{\mu}{|x|^2}h(x)u+\lambda u =f(u)\quad\text{in}\quad\mathbb{R}^{N},\\ & u>0,\quad \int_{\mathbb{R}^{N}}u^2dx=a^2, \end{aligned} \end{equation} where $N\geq3$, $a>0$ is fixed, $f$ satisfies mass-subcritical growth conditions and $h$ is a given bounded function with $||h||_\infty\le 1$. The $L^2(\mathbb{R}^N)$-norm of $u$ is fixed and $\lambda$ appears as a Lagrange multiplier. Our solutions are constructed by minimizing the corresponding energy functional on a suitable constraint. Due to the presence of a possibly nonradial term $h$, establishing compactness becomes challenging. To address this difficulty, we employ the splitting lemma to exclude both the vanishing and the dichotomy of a given any minimizing sequence for appropriate $a > 0$.
Furthermore, we show that if $h$ is radial, then radial solutions can be obtained for any $a>0$. In this case, the radial symmetry allows us to prove that such solutions converge to a ground state solution of the limit problem as $\mu \to 0^+$. - [277] 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.
- [278] arXiv:2507.22375 (replaced) [pdf, html, other]
-
Title: Hypersurfaces of constant sum Hessian curvature in Hyperbolic spaceSubjects: Differential Geometry (math.DG)
In this paper, we study the asymptotic Plateau problem in hyperbolic space for constant sum Hessian curvature. More precisely, given a asymptotic boundary $\Gamma$, one seeks a complete hypersurface $\Sigma$ in $\mathbb{H}^{n+1}$ satisfying $\sigma_{n-1}(\kappa)+\alpha\sigma_{n}(\kappa)=\sigma\in (0,n),\,\,\partial \Sigma=\Gamma$ where $\alpha$ is a non-negative number.
- [279] arXiv:2402.03158 (replaced) [pdf, html, other]
-
Title: Optimal and Near-Optimal Adaptive Vector QuantizationSubjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS); Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
Quantization is a fundamental optimization for many machine-learning use cases, including compressing gradients, model weights and activations, and datasets. The most accurate form of quantization is \emph{adaptive}, where the error is minimized with respect to a given input, rather than optimizing for the worst case. However, optimal adaptive quantization methods are considered infeasible in terms of both their runtime and memory requirements.
We revisit the Adaptive Vector Quantization (AVQ) problem and present algorithms that find optimal solutions with asymptotically improved time and space complexity. We also present an even faster near-optimal algorithm for large inputs. Our experiments show our algorithms may open the door to using AVQ more extensively in a variety of machine learning applications. - [280] arXiv:2404.18154 (replaced) [pdf, other]
-
Title: Explaining vague languageSubjects: Computation and Language (cs.CL); Computer Science and Game Theory (cs.GT); Information Theory (cs.IT)
Why is language vague? Vagueness may be explained and rationalized if it can be shown that vague language is more useful to speaker and hearer than precise language. In a well-known paper, Lipman proposes a game-theoretic account of vagueness in terms of mixed strategy that leads to a puzzle: vagueness cannot be strictly better than precision at equilibrium. More recently, Égré, Spector, Mortier and Verheyen have put forward a Bayesian account of vagueness establishing that using vague words can be strictly more informative than using precise words. This paper proposes to compare both results and to explain why they are not in contradiction. Lipman's definition of vagueness relies exclusively on a property of signaling strategies, without making any assumptions about the lexicon, whereas Égré et al.'s involves a layer of semantic content. We argue that the semantic account of vagueness is needed, and more adequate and explanatory of vagueness.
- [281] arXiv:2406.17552 (replaced) [pdf, html, other]
-
Title: Long-Time and Short-Time Dynamics in a Weighted-Median Opinion Model on NetworksComments: 30 pages, 13 figures, Submitted to SIAM Journal on Applied Dynamical Systems. Version 2 of this manuscript had a mistake in the arxiv title. The manuscript, figure, and appendix of this version is identical to version 2; the only change is the arxiv title which has been changed to align with the title of the manuscriptSubjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI); Dynamical Systems (math.DS); Adaptation and Self-Organizing Systems (nlin.AO)
Social interactions influence people's opinions. In some situations, these interactions eventually yield a consensus opinion; in others, they can lead to opinion fragmentation and the formation of different opinion groups in the form of ``echo chambers''. Consider a social network of individuals with continuous-valued scalar opinions, and suppose that they can change their opinions when they interact with each other. In many models of the opinion dynamics of individuals in a network, it is common for opinion updates to depend on the mean opinion of interacting individuals. As an alternative, which may be more realistic in some situations, we study an opinion model with an opinion-update rule that depends on the weighted median of the opinions of interacting individuals. Through numerical simulations of our median-update opinion model, we investigate how the final opinion distribution depends on network structure. For configuration-model networks, we also derive a mean-field approximation for the asymptotic dynamics of the opinion distribution when there are infinitely many individuals. We numerically investigate its accuracy for short-time opinion dynamics on various networks.
- [282] arXiv:2408.10610 (replaced) [pdf, html, other]
-
Title: On the Approximation of Stationary Processes using the ARMA ModelComments: 11 pages, 1 figureSubjects: Machine Learning (cs.LG); Probability (math.PR); Methodology (stat.ME)
We look at a problem related to Autoregressive Moving Average (ARMA) models, on quantifying the approximation error between a true stationary process $X_t$ and an ARMA model $Y_t$. We take the transfer function representation $x(L)$ of a stationary process $X_t$ and show that the $L^{\infty}$ norm of $x$ acts as a valid norm on $X_t$ that controls the $\ell^2$ norm of its Wold coefficients. We then show that a certain subspace of stationary processes, which includes ARMA models, forms a Banach algebra under the $L^{\infty}$ norm that respects the multiplicative structure of $H^{\infty}$ transfer functions and thus improves on the structural properties of the cepstral norm for ARMA models. The natural definition of invertibility in this algebra is consistent with the original definition of ARMA invertibility, and generalizes better to non-ARMA processes than Wiener's $\ell^1$ condition. Finally, we calculate some explicit approximation bounds in the simpler context of continuous transfer functions, and critique some heuristic ideas on Padé approximations and parsimonious models.
- [283] arXiv:2412.00123 (replaced) [pdf, html, other]
-
Title: Electricity Price Prediction Using Multi-Kernel Gaussian Process Regression Combined with Kernel-Based Support Vector RegressionSubjects: Machine Learning (cs.LG); Probability (math.PR)
This paper presents a new hybrid model for predicting German electricity prices. The algorithm is based on a combination of Gaussian Process Regression (GPR) and Support Vector Regression (SVR). Although GPR is a competent model for learning stochastic patterns within data and for interpolation, its performance for out-of-sample data is not very promising. By choosing a suitable data-dependent covariance function, we can enhance the performance of GPR for the German hourly power prices being tested. However, since the out-of-sample prediction is dependent on the training data, the prediction is vulnerable to noise and outliers. To overcome this issue, a separate prediction is calculated using SVR, which applies margin-based optimization. This method is advantageous when dealing with non-linear processes and outliers, since only certain necessary points (support vectors) in the training data are responsible for regression. The individual predictions are then linearly combined using uniform weights. When tested on historic German power prices, this approach outperforms the publicly available benchmarks, namely the LASSO estimated autoregressive regression model, deep neural network provided in the recent research by [1].
- [284] arXiv:2412.03865 (replaced) [pdf, html, other]
-
Title: Dudeney's Dissection is OptimalComments: 26 pages, 32 figures, Refinement and Correction of 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. - [285] arXiv:2412.09100 (replaced) [pdf, html, other]
-
Title: Generalized Liénard systems and isochronous connectionsComments: v1: Comments are welcome; v2: To appear in IJTP; v3: This version includes the acknowledgments section which was missing in the previous versionJournal-ref: Int. J. Theor. Phys. 64, 212 (2025)Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI); Classical Physics (physics.class-ph)
In this paper, we explore some classical and quantum aspects of the nonlinear Liénard equation $\ddot{x} + k x \dot{x} + \omega^2 x + (k^2/9) x^3 = 0$, where $x=x(t)$ is a real variable and $k, \omega \in \mathbb{R}$. We demonstrate that such an equation could be derived from an equation of the Levinson-Smith kind which is of the form $\ddot{z} + J(z) \dot{z}^2 + F(z) \dot{z} + G(z) = 0$, where $z=z(t)$ is a real variable and $\{J(z), F(z), G(z)\}$ are suitable functions to be specified. It can further be mapped to the harmonic oscillator by making use of a nonlocal transformation, establishing its isochronicity. Computations employing the Jacobi last multiplier reveal that the system exhibits a bi-Hamiltonian character, i.e., there are two distinct types of Hamiltonians describing the system. For each of these, we perform a canonical quantization in the momentum representation and explore the possibility of bound states. While one of the Hamiltonians is seen to exhibit an equispaced spectrum with an infinite tower of states, the other one exhibits branching but can be solved exactly in closed form for certain choices of the parameters.
- [286] arXiv:2412.19792 (replaced) [pdf, html, other]
-
Title: InfAlign: Inference-aware language model alignmentAnanth Balashankar, Ziteng Sun, Jonathan Berant, Jacob Eisenstein, Michael Collins, Adrian Hutter, Jong Lee, Chirag Nagpal, Flavien Prost, Aradhana Sinha, Ananda Theertha Suresh, Ahmad BeiramiSubjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Information Theory (cs.IT)
Language model alignment is a critical step in training modern generative language models. Alignment targets to improve win rate of a sample from the aligned model against the base model. Today, we are increasingly using inference-time algorithms (e.g., Best-of-N, controlled decoding, tree search) to decode from language models rather than standard sampling. We show that this train/test mismatch makes standard RLHF framework sub-optimal in view of such inference-time methods. To this end, we propose a framework for inference-aware alignment (InfAlign), which aims to optimize inference-time win rate of the aligned policy against the base model. We prove that for any inference-time decoding procedure, the optimal aligned policy is the solution to the standard RLHF problem with a transformation of the reward. This motivates us to provide the calibrate-and-transform RL (InfAlign-CTRL) algorithm to solve this problem, which involves a reward calibration step and a KL-regularized reward maximization step with a transformation of the calibrated reward. For best-of-N sampling and best-of-N jailbreaking, we propose specific transformations offering up to 3-8% improvement on inference-time win rates. Finally, we also show that our proposed reward calibration method is a strong baseline for optimizing standard win rate.
- [287] arXiv:2501.02184 (replaced) [pdf, html, other]
-
Title: Model-Free and Real-Time Unicycle-Based Source Seeking with Differential Wheeled Robotic ExperimentsSubjects: Robotics (cs.RO); Optimization and Control (math.OC)
Many autonomous robots aimed at source-seeking are studied, and their controls designed, using unicycle modeling and formulation. This is true not only for model-based controllers, but also for model-free, real-time control methods such as extremum seeking control (ESC). In this paper, we propose a unicycle-based ESC design applicable to differential wheeled robots that: (1) is very simple design, based on one simple control-affine law, and without state integrators; (2) attenuates oscillations known to persist in ESC designs (i.e., fully stop at the source); and (3) operates in a model-free, real-time setting, tolerating environmental/sensor noise. We provide simulation and real-world robotic experimental results for fixed and moving light source seeking by a differential wheeled robot using our proposed design. Results indicate clear advantages of our proposed design when compared to the literature, including attenuation of undesired oscillations, improved convergence speed, and better handling of noise.
- [288] arXiv:2501.08424 (replaced) [pdf, html, other]
-
Title: Isochronous oscillator with a singular position-dependent mass and its quantizationComments: v1: Comments are welcome; v2: To appear in JMPSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI); Classical Physics (physics.class-ph)
In this paper, we present an analysis of the equation $\ddot{x} - (1/2x) \dot{x}^2 + 2 \omega^2 x - 1/8x = 0$, where $\omega > 0$ and $x = x(t)$ is a real-valued variable. We first discuss the appearance of this equation from a position-dependent-mass scenario in which the mass profile goes inversely with $x$, admitting a singularity at $x = 0$. The associated potential is also singular at $x = 0$, splitting the real axis into two halves, i.e., $x > 0$ and $x < 0$. The dynamics is exactly solvable for both the branches and so for definiteness, we stick to the $x > 0$ branch. Performing a canonical quantization in the position representation and upon employing the ordering strategy of the kinetic-energy operator due to von Roos, we show that the problem is isospectral to the isotonic oscillator. Thus, the quantum spectrum consists of an infinite number of equispaced levels. The spacing between the energy levels is found to be insensitive to the specific choices of the ambiguity parameters that are employed for ordering the kinetic-energy operator à la von Roos.
- [289] arXiv:2501.16415 (replaced) [pdf, html, other]
-
Title: Two Channel Kondo behavior in the quantum XX chain with a boundary defectComments: 5 pages, 4 FiguresJournal-ref: Phys.Rev.B 112, L020303, 2025Subjects: Strongly Correlated Electrons (cond-mat.str-el); Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
We demonstrate that a boundary defect in the single spin-$\frac{1}{2}$ quantum $XX$ chain exhibits two-channel Kondo physics. Due to the presence of the defect, the edge spin fractionalizes into two Majorana fermions, out of which one decouples, and one is overscreened by the free fermion in bulk, leading to non-trivial boundary behavior characteristic of the two-channel Kondo model. When the ratio of boundary to bulk coupling exceeds a critical value of $\sqrt{2}$, a massive boundary-bound mode is exponentially localized near the impurity site for strong impurity coupling. This leads to unusual behavior in physical quantities, such as the $g$-function not being monotonic. We compute the $g-$function of the impurity from both thermodynamic and entanglement entropy calculations and show that it takes a non-integer value of $\sqrt{2}$ just as in the two-channel Kondo problem.
- [290] arXiv:2501.19280 (replaced) [pdf, html, other]
-
Title: Top eigenpair statistics of diluted Wishart matricesComments: 34 pages, 5 figures, accepted for publication in Journal of Physics ASubjects: Statistical Mechanics (cond-mat.stat-mech); Disordered Systems and Neural Networks (cond-mat.dis-nn); Mathematical Physics (math-ph)
Using the replica method, we compute the statistics of the top eigenpair of diluted covariance matrices of the form $\mathbf{J} = \mathbf{X}^T \mathbf{X}$, where $\mathbf{X}$ is a $N\times M$ sparse data matrix, in the limit of large $N,M$ with fixed ratio and a bounded number of nonzero entries. We allow for random non-zero weights, provided they lead to an isolated largest eigenvalue. By formulating the problem as the optimisation of a quadratic Hamiltonian constrained to the $N$-sphere at low temperatures, we derive a set of recursive distributional equations for auxiliary probability density functions, which can be efficiently solved using a population dynamics algorithm. The average largest eigenvalue is identified with a Lagrange parameter that governs the convergence of the algorithm, and the resulting stable populations are then used to evaluate the density of the top eigenvector's components. We find excellent agreement between our analytical results and numerical results obtained from direct diagonalisation.
- [291] arXiv:2502.11641 (replaced) [pdf, html, other]
-
Title: A Zero-Knowledge Proof for the Syndrome Decoding Problem in the Lee MetricJournal-ref: Transactions on Mathematical Cryptology, vol. 5, no. 1, 2025Subjects: Cryptography and Security (cs.CR); Information Theory (cs.IT)
The syndrome decoding problem is one of the NP-complete problems lying at the foundation of code-based cryptography. The variant thereof where the distance between vectors is measured with respect to the Lee metric, rather than the more commonly used Hamming metric, has been analyzed recently in several works due to its potential relevance for building more efficient code-based cryptosystems. The purpose of this article is to present a zero-knowledge proof of knowledge for this variant of the problem.
- [292] arXiv:2502.12242 (replaced) [pdf, html, other]
-
Title: Weighing the curvature invariantsComments: 25 pages; ver. 3: published version (minor typos corrected)Journal-ref: Eur. Phys. J. C, 85 (2025) 818Subjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We prove several inequalities between the curvature invariants, which impose constraints on curvature singularities. Some of the inequalities hold for a family of spacetimes which include static, Friedmann--Lemaître--Robertson--Walker, and Bianchi type I metrics, independently of whether they are solutions of some particular field equations. In contrast, others hold for solutions of Einstein's gravitational field equation and a family of energy-momentum tensors (featuring ideal fluids, scalar fields and nonlinear electromagnetic fields), independently of the specific form of the spacetime metric. We illustrate different behaviour of the basic curvature invariants with numerous examples and discuss the consequences and limitations of the proven results.
- [293] arXiv:2502.15215 (replaced) [pdf, html, other]
-
Title: Tensor Product Neural Networks for Functional ANOVA ModelComments: 45 pagesSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
Interpretability for machine learning models is becoming more and more important as machine learning models become more complex. The functional ANOVA model, which decomposes a high-dimensional function into a sum of lower dimensional functions (commonly referred to as components), is one of the most popular tools for interpretable AI, and recently, various neural networks have been developed for estimating each component in the functional ANOVA model. However, such neural networks are highly unstable when estimating each component since the components themselves are not uniquely defined. That is, there are multiple functional ANOVA decompositions for a given function. In this paper, we propose a novel neural network which guarantees a unique functional ANOVA decomposition and thus is able to estimate each component stably and accurately. We call our proposed neural network ANOVA Tensor Product Neural Network (ANOVA-TPNN) since it is motivated by the tensor product basis expansion. Theoretically, we prove that ANOVA-TPNN can approximate any smooth function well. Empirically, we show that ANOVA-TPNN provide much more stable estimation of each component and thus much more stable interpretation when training data and initial values of the model parameters vary than existing neural networks do.
- [294] arXiv:2503.04351 (replaced) [pdf, other]
-
Title: PLMP -- Point-Line Minimal Problems for Projective SfMSubjects: Computer Vision and Pattern Recognition (cs.CV); Algebraic Geometry (math.AG)
We completely classify all minimal problems for Structure-from-Motion (SfM) where arrangements of points and lines are fully observed by multiple uncalibrated pinhole cameras. We find 291 minimal problems, 73 of which have unique solutions and can thus be solved linearly. Two of the linear problems allow an arbitrary number of views, while all other minimal problems have at most 9 cameras. All minimal problems have at most 7 points and at most 12 lines. We compute the number of solutions of each minimal problem, as this gives a measurement of the problem's intrinsic difficulty, and find that these number are relatively low (e.g., when comparing with minimal problems for calibrated cameras). Finally, by exploring stabilizer subgroups of subarrangements, we develop a geometric and systematic way to 1) factorize minimal problems into smaller problems, 2) identify minimal problems in underconstrained problems, and 3) formally prove non-minimality.
- [295] arXiv:2505.05702 (replaced) [pdf, html, other]
-
Title: Hypergraph Neural Sheaf Diffusion: A Symmetric Simplicial Set Framework for Higher-Order LearningComments: Published in IEEE AccessJournal-ref: IEEE Access, vol. 13, pp. 131823-131838, 2025Subjects: Machine Learning (cs.LG); Algebraic Topology (math.AT)
The absence of intrinsic adjacency relations and orientation systems in hypergraphs creates fundamental challenges for constructing sheaf Laplacians of arbitrary degrees. We resolve these limitations through symmetric simplicial sets derived directly from hypergraphs, called symmetric simplicial lifting, which encode all possible oriented subrelations within each hyperedge as ordered tuples. This construction canonically defines adjacency via facet maps while inherently preserving hyperedge provenance. We establish that the normalized degree zero sheaf Laplacian on our symmetric simplicial lifting reduces exactly to the traditional graph normalized sheaf Laplacian when restricted to graphs, validating its mathematical consistency with prior graph-based sheaf theory. Furthermore, the induced structure preserves all structural information from the original hypergraph, ensuring that every multi-way relational detail is faithfully retained. Leveraging this framework, we introduce Hypergraph Neural Sheaf Diffusion (HNSD), the first principled extension of neural sheaf diffusion to hypergraphs. HNSD operates via normalized degree zero sheaf Laplacian over symmetric simplicial lifting, resolving orientation ambiguity and adjacency sparsity inherent to hypergraph learning. Experimental evaluations demonstrate HNSDs competitive performance across established benchmarks.
- [296] arXiv:2505.10933 (replaced) [pdf, html, other]
-
Title: Cross-layer Integrated Sensing and Communication: A Joint Industrial and Academic PerspectiveHenk Wymeersch, Nuutti Tervo, Stefan Wänstedt, Sharief Saleh, Joerg Ahlendorf, Ozgur Akgul, Vasileios Tsekenis, Sokratis Barmpounakis, Liping Bai, Martin Beale, Rafael Berkvens, Nabeel Nisar Bhat, Hui Chen, Shrayan Das, Claude Desset, Antonio de la Oliva, Prajnamaya Dass, Jeroen Famaey, Hamed Farhadi, Gerhard P. Fettweis, Yu Ge, Hao Guo, Rreze Halili, Katsuyuki Haneda, Abdur Rahman Mohamed Ismail, Akshay Jain, Sylvaine Kerboeuf, Musa Furkan Keskin, Emad Ibrahim, Bilal Khan, Siddhartha Kumar, Stefan Köpsell, Apostolos Kousaridas, Pekka Kyösti, Simon Lindberg, Mohammad Hossein Moghaddam, Ahmad Nimr, Victor Pettersson, Aarno Pärssinen, Basuki Priyanto, Athanasios Stavridis, Tommy Svensson, Sonika UjjwalSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
Integrated sensing and communication (ISAC) enables radio systems to simultaneously sense and communicate with their environment. This paper, developed within the Hexa-X-II project funded by the European Union, presents a comprehensive cross-layer vision for ISAC in 6G networks, integrating insights from physical-layer design, hardware architectures, AI-driven intelligence, and protocol-level innovations. We begin by revisiting the foundational principles of ISAC, highlighting synergies and trade-offs between sensing and communication across different integration levels. Enabling technologies (such as multiband operation, massive and distributed MIMO, non-terrestrial networks, reconfigurable intelligent surfaces, and machine learning) are analyzed in conjunction with hardware considerations including waveform design, synchronization, and full-duplex operation. To bridge implementation and system-level evaluation, we introduce a quantitative cross-layer framework linking design parameters to key performance and value indicators. By synthesizing perspectives from both academia and industry, this paper outlines how deeply integrated ISAC can transform 6G into a programmable and context-aware platform supporting applications from reliable wireless access to autonomous mobility and digital twinning.
- [297] arXiv:2505.19219 (replaced) [pdf, other]
-
Title: Where Paths Collide: A Comprehensive Survey of Classic and Learning-Based Multi-Agent PathfindingComments: 112 pages, 21 figures, 20 tables. The project website is: this https URLSubjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Multiagent Systems (cs.MA); Combinatorics (math.CO)
Multi-Agent Path Finding (MAPF) is a fundamental problem in artificial intelligence and robotics, requiring the computation of collision-free paths for multiple agents navigating from their start locations to designated goals. As autonomous systems become increasingly prevalent in warehouses, urban transportation, and other complex environments, MAPF has evolved from a theoretical challenge to a critical enabler of real-world multi-robot coordination. This comprehensive survey bridges the long-standing divide between classical algorithmic approaches and emerging learning-based methods in MAPF research. We present a unified framework that encompasses search-based methods (including Conflict-Based Search, Priority-Based Search, and Large Neighborhood Search), compilation-based approaches (SAT, SMT, CSP, ASP, and MIP formulations), and data-driven techniques (reinforcement learning, supervised learning, and hybrid strategies). Through systematic analysis of experimental practices across 200+ papers, we uncover significant disparities in evaluation methodologies, with classical methods typically tested on larger-scale instances (up to 200 by 200 grids with 1000+ agents) compared to learning-based approaches (predominantly 10-100 agents). We provide a comprehensive taxonomy of evaluation metrics, environment types, and baseline selections, highlighting the need for standardized benchmarking protocols. Finally, we outline promising future directions including mixed-motive MAPF with game-theoretic considerations, language-grounded planning with large language models, and neural solver architectures that combine the rigor of classical methods with the flexibility of deep learning. This survey serves as both a comprehensive reference for researchers and a practical guide for deploying MAPF solutions in increasingly complex real-world applications.
- [298] arXiv:2505.20553 (replaced) [pdf, html, other]
-
Title: A ZeNN architecture to avoid the Gaussian trapComments: New experiments involving PiNNs for solving Schrödinger and Bessel-type equationsSubjects: Machine Learning (cs.LG); Probability (math.PR)
We propose a new simple architecture, Zeta Neural Networks (ZeNNs), in order to overcome several shortcomings of standard multi-layer perceptrons (MLPs). Namely, in the large width limit, MLPs are non-parametric, they do not have a well-defined pointwise limit, they lose non-Gaussian attributes and become unable to perform feature learning; moreover, finite width MLPs perform poorly in learning high frequencies. The new ZeNN architecture is inspired by three simple principles from harmonic analysis:
i) Enumerate the perceptons and introduce a non-learnable weight to enforce convergence;
ii) Introduce a scaling (or frequency) factor;
iii) Choose activation functions that lead to near orthogonal systems.
We will show that these ideas allow us to fix the referred shortcomings of MLPs. In fact, in the infinite width limit, ZeNNs converge pointwise, they exhibit a rich asymptotic structure beyond Gaussianity, and perform feature learning. Moreover, when appropriate activation functions are chosen, (finite width) ZeNNs excel at learning high-frequency features of functions with low dimensional domains. - [299] arXiv:2506.14781 (replaced) [pdf, html, other]
-
Title: Two-dimensional Parallel Tempering for Constrained OptimizationComments: Added references in IntroductionJournal-ref: Physical Review E (2025)Subjects: Machine Learning (cs.LG); Statistical Mechanics (cond-mat.stat-mech); Optimization and Control (math.OC); Machine Learning (stat.ML)
Sampling Boltzmann probability distributions plays a key role in machine learning and optimization, motivating the design of hardware accelerators such as Ising machines. While the Ising model can in principle encode arbitrary optimization problems, practical implementations are often hindered by soft constraints that either slow down mixing when too strong, or fail to enforce feasibility when too weak. We introduce a two-dimensional extension of the powerful parallel tempering algorithm (PT) that addresses this challenge by adding a second dimension of replicas interpolating the penalty strengths. This scheme ensures constraint satisfaction in the final replicas, analogous to low-energy states at low temperature. The resulting two-dimensional parallel tempering algorithm (2D-PT) improves mixing in heavily constrained replicas and eliminates the need to explicitly tune the penalty strength. In a representative example of graph sparsification with copy constraints, 2D-PT achieves near-ideal mixing, with Kullback-Leibler divergence decaying as O(1/t). When applied to sparsified Wishart instances, 2D-PT yields orders of magnitude speedup over conventional PT with the same number of replicas. The method applies broadly to constrained Ising problems and can be deployed on existing Ising machines.
- [300] arXiv:2507.00059 (replaced) [pdf, html, other]
-
Title: Computational Verification of the Buratti--Horak--Rosa Conjecture for Small Integers and Inductive ApproachesComments: This result supports the results by Mariusz Meszka for all primes up to 23 (included) with the aid of a computer. Additional results on Coprime BHR Conjecture verifications for p < 31 and Inductive Approaches are included in this revisionSubjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
This paper presents a comprehensive computational approach to verify and inductively construct Hamiltonian paths for the Buratti--Horak--Rosa (BHR) Conjecture. The conjecture posits that for any multiset $L$ of $p-1$ positive integers not exceeding $\lfloor p/2 \rfloor$, there exists a Hamiltonian path in the complete graph $K_p$ with vertex-set $\{0, 1, \dots, p-1\}$ whose edge lengths (under the cyclic metric) match $L$, if and only if for every divisor $d$ of $p$, the number of multiples of $d$ appearing in $L$ is at most $p - d$.
Building upon prior computational work by Mariusz Meszka, which verified the conjecture for all primes up to $p=23$, our Python program extends this verification significantly. We approach the problem by systematically generating frequency partitions (FPs) of edge lengths and employing a recursive backtracking algorithm. We report successful computational verification for all frequency partitions for integers $p < 32$, specifically presenting results for $p=31$ and a composite $p=26$. For the composite number $p=30$, the Python code took approximately 11 hours to verify on a Lenovo laptop. For $p=16$, $167,898$ valid multisets were processed, taking around 20 hours on Google Colab Pro+.
Furthermore, we introduce and implement two constructive, inductive strategies for building Hamiltonian paths: (1) increasing the multiplicity of an existing edge length, and (2) adding a new edge length. These methods, supported by a reuse-insertion heuristic and backtracking search, demonstrate successful constructions for evolving FPs up to $p=40$. Through these empirical tests and performance metrics, we provide strong computational evidence for the validity of the BHR conjecture within the scope tested, and outline the scalability of our approach for higher integer values. - [301] arXiv:2507.13492 (replaced) [pdf, html, other]
-
Title: On the time integration for phase field modeling of grain growth in additive manufacturingSubjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA)
Phase field simulations play a key role in the understanding of microstructure evolution in additive manufacturing. However, they have been found extremely computationally expensive. One of the reasons is the small time step requirement to resolve the complex microstructure evolution during the rapid solidification process. This paper investigates the possibility of using a class of stabilized time integration algorithms to accelerate such phase field simulations by increasing the time steps. The specific time integration formulation and theoretical analysis on energy stability were developed, based on a phase field model dedicated to simulating rapid solidification in additive manufacturing. The numerical results confirmed that the proposed method can ensure the numerical stability and a decreasing energy requirement for the phase field simulations with at least two orders-of-magnitude larger time steps over conventional explicit methods. 2D and 3D phase field simulations have been conducted with relevant physical and kinetic parameters for 316L stainless steels. This work provides a numerical framework for efficient phase field simulations and open numerous opportunities for large scale phase field modeling.