Mathematics
See recent articles
Showing new listings for Thursday, 3 July 2025
- [1] arXiv:2507.01038 [pdf, html, other]
-
Title: Cross-Attention Message-Passing Transformers for Code-Agnostic Decoding in 6G NetworksSubjects: Information Theory (cs.IT); Machine Learning (cs.LG); Signal Processing (eess.SP)
Channel coding for 6G networks is expected to support a wide range of requirements arising from heterogeneous communication scenarios. These demands challenge traditional code-specific decoders, which lack the flexibility and scalability required for next-generation systems. To tackle this problem, we propose an AI-native foundation model for unified and code-agnostic decoding based on the transformer architecture. We first introduce a cross-attention message-passing transformer (CrossMPT). CrossMPT employs two masked cross-attention blocks that iteratively update two distinct input representations-magnitude and syndrome vectors-allowing the model to effectively learn the decoding problem. Notably, our CrossMPT has achieved state-of-the-art decoding performance among single neural decoders. Building on this, we develop foundation CrossMPT (FCrossMPT) by making the architecture invariant to code length, rate, and class, allowing a single trained model to decode a broad range of codes without retraining. To further enhance decoding performance, particularly for short blocklength codes, we propose CrossMPT ensemble decoder (CrossED), an ensemble decoder composed of multiple parallel CrossMPT blocks employing different parity-check matrices. This architecture can also serve as a foundation model, showing strong generalization across diverse code types. Overall, the proposed AI-native code-agnostic decoder offers flexibility, scalability, and high performance, presenting a promising direction to channel coding for 6G networks.
- [2] arXiv:2507.01046 [pdf, html, other]
-
Title: A Compartmental Model for Epidemiology with Human Behavior and Stochastic EffectsComments: 28 pages, 5 figuresSubjects: Dynamical Systems (math.DS); Populations and Evolution (q-bio.PE)
We propose a compartmental model for epidemiology wherein the population is split into groups with either comply or refuse to comply with protocols designed to slow the spread of a disease. Parallel to the disease spread, we assume that noncompliance with protocols spreads as a social contagion. We begin by deriving the reproductive ratio for a deterministic version of the model, and use this to fully characterize the local stability of disease free equilibrium points. We then append the deterministic model with stochastic effects, specifically assuming that the transmission rate of the disease and the transmission rate of the social contagion are uncertain. We prove global existence and nonnegativity for our stochastic model. Then using suitably constructed stochastic Lyapunov functions, we analyze the behavior of the stochastic system with respect to certain disease free states. We demonstrate all of our results with numerical simulations.
- [3] arXiv:2507.01097 [pdf, other]
-
Title: Cylindric growth diagrams, walks in simplices, and exclusion processesSubjects: Combinatorics (math.CO)
We establish bijections between three classes of combinatorial objects that have been studied in very different contexts: lattice walks in simplicial regions as introduced by Mortimer--Prellberg, standard cylindric tableaux as introduced by Gessel--Krattenthaler and Postnikov, and sequences of states in the totally asymmetric simple exclusion process. This perspective allows us to translate symmetries from one setting into another, revealing unexpected properties of these objects.
Specifically, we show that a recent bijection of Courtiel, Elvey Price and Marcovici between certain simplicial walks with forward and backward steps is equivalent to a cylindric analogue of the Robinson--Schensted correspondence. Originally defined by Neyman by iterating an insertion operation, we provide an alternative description of this correspondence by introducing a cylindric version of Fomin's growth diagrams. This natural description elucidates the symmetry of the correspondence, and it allows us to interpret the above walks as oscillating cylindric tableaux. - [4] arXiv:2507.01102 [pdf, html, other]
-
Title: Average-field approximation for very dilute almost-bosonic anyon gasesComments: 27 pagesSubjects: Mathematical Physics (math-ph)
We study the ground state of a system of $N$ two-dimensional trapped almost-bosonic anyons subject to an external magnetic field. This setup can equivalently be viewed as bosons interacting through long-range magnetic potentials generated by magnetic charges carried by each particle. These magnetic charges are assumed to be smeared over discs of radius $R$ - a model known as extended anyons. To recover the point-like anyons perspective, we consider the joint limit $R \rightarrow 0$ as $N \rightarrow \infty$. We rigorously justify the average-field approximation for any radii $R$ that decay polynomially in $1/N$, and even for certain exponentially decaying $R$. The average-field approximation asserts that the particles behave like independent, identical bosons interacting through a self-consistent magnetic field. Our result significantly improves upon the best-known estimates by Lundholm-Rougerie (2015) and Girardot (2020), and it in particular covers radii that are much smaller than the mean interparticle distance. The proof strategy builds on a recent work on two-dimensional attractive Bose gases by Junge and the author (2025).
- [5] arXiv:2507.01133 [pdf, html, other]
-
Title: A Strong Kurepa TreeSubjects: Logic (math.LO)
We prove that it is consistent that there exists a Kurepa tree $T$ such that ${}^{\omega_1}2$ is a continuous image of the topological space $[T]$ consisting of all cofinal branches of $T$ with respect to the cone topologies. This result solves an open problem due to Bergfalk, Chodounský, Guzmán, and Hrušák. We also prove that any Kurepa tree with the above property contains an Aronszajn subtree.
- [6] arXiv:2507.01138 [pdf, html, other]
-
Title: Sums along the edges of random regular graphsSubjects: Combinatorics (math.CO)
Let $G$ be a graph on $n$ vertices and $(H,+)$ be an abelian group. What is the minimum size ${\sf S}_H(G)$ of the set of all sums $A(u)+A(v)$ over all injections $A:V(G)\to H$? In 2012, Alon, Angel, the first author, and Lubetzky proved that, for expander graphs and $H=\mathbb{Z}$, this minimum is at least $\Omega(\log n)$, and this bound is tight -- there exists a regular expander $G$ with ${\sf S}_{\mathbb{Z}}(G)=O(\log n)$. We prove that, for every constant $d\geq 3$, the random $d$-regular graph $\mathcal{G}_{n,d}$ has significantly larger sum-sets: with high probability, for every abelian group $H$, ${\sf S}_H(\mathcal{G}_{n,d})=\Omega(n^{1-2/d})$. In particular, this proves that, for every $\varepsilon>0$, there exists a regular graph with $O(n)$ edges and with sum-sets of size at least $n^{1-\varepsilon}$, for all abelian groups. We also prove that, for $d\gg\ln^2 n$, with high probability, for every abelian group $H$, ${\sf S}_H(\mathcal{G}_{n,d})=n(1-o(1))$.
- [7] arXiv:2507.01144 [pdf, html, other]
-
Title: Law of the Iterated Logarithm for Markov Semigroups with Exponential Mixing in the Wasserstein DistanceSubjects: Probability (math.PR)
In this paper, we establish the law of the iterated logarithm for a wide class of non-stationary, continuous-time Markov processes evolving on Polish spaces. Specifically, our results apply to additive functionals of processes governed by stochastically continuous Markov-Feller semigroups that exhibit exponential mixing and non-expansiveness in the Wasserstein norm, provided that a suitable moment condition on the initial distributions is satisfied.
- [8] arXiv:2507.01148 [pdf, html, other]
-
Title: Non-unique equilibrium measures and freezing phase transitions for matrix cocycles for negative $t$Subjects: Dynamical Systems (math.DS)
We consider a one-step matrix cocycle generated by a pair of non-negative parabolic matrices and study the equilibrium measures for $t\log \|\mathcal A\|$ as $t$ runs over the reals. We show that there is a freezing first order phase transition at some parameter value $t_c$ so that for $t<t_{c}$ the equilibrium measure is non-unique and supported on the two fixed points, while for $t>t_c$, the equilibrium measure is unique, non-atomic and fully supported. The phase transition closely resembles the classical Hofbauer example. In particular, our example shows that there may be non-unique equilibrium measures for negative $t$ even if the cocycle is strongly irreducible and proximal.
- [9] arXiv:2507.01150 [pdf, html, other]
-
Title: Computational Insights into Orthotropic Fracture: Crack-Tip Fields in Strain-Limiting Materials under Non-Uniform LoadsSubjects: Numerical Analysis (math.NA)
A finite element framework is presented for analyzing crack-tip phenomena in transversely isotropic, strain-limiting elastic materials. Mechanical response is characterized by an algebraically nonlinear constitutive model, relating stress to linearized strain. Non-physical strain singularities at the crack apex are mitigated, ensuring bounded strain magnitudes. This methodology significantly advances boundary value problem (BVP) formulation, especially for first-order approximate theories. For a transversely isotropic elastic solid with a crack, the governing equilibrium equation, derived from linear momentum balance and the nonlinear constitutive model, is reduced to a second-order, vector-valued, quasilinear elliptic BVP. This BVP is solved using a robust numerical scheme combining Picard-type linearization with a continuous Galerkin finite element method for spatial discretization. Numerical results are presented for various loading conditions, including uniform tension, non-uniform slope, and parabolic loading, with two distinct material fiber orientations. It is demonstrated that crack-tip strain growth is substantially lower than stress growth. Nevertheless, strain-energy density is found to be concentrated at the crack tip, consistent with linear elastic fracture mechanics principles. The proposed framework provides a robust basis for formulating physically meaningful, rigorous BVPs, critical for investigating fundamental processes like crack propagation, damage, and nucleation in anisotropic, strain-limiting elastic solids under diverse loading conditions.
- [10] arXiv:2507.01155 [pdf, html, other]
-
Title: Specification in Mahavier Systems via Closed RelationsSubjects: Dynamical Systems (math.DS)
We study two fundamental properties of topological dynamical systems, the specification property and the initial specification property, and explore their generalizations to the broader setting of CR-dynamical systems, where the dynamics are governed by closed relations rather than continuous functions. While these two properties are equivalent for many classical systems, we demonstrate that their generalizations to CR-dynamical systems often lead to distinct behaviors. Applying them to Mahavier dynamical systems, we introduce new specification-type properties. These generalized notions extend the classical theory and reveal rich structural differences in dynamical behavior. Moreover, each of the new properties reduces to the standard specification property when restricted to continuous functions.
- [11] arXiv:2507.01159 [pdf, other]
-
Title: Weak solutions for coupled reaction-diffusion systems with pattern formation by a stochastic fixed point theoremSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
Chemical and biochemical reactions can exhibit surprisingly different behaviours, ranging from multiple steady-state solutions to oscillatory solutions and chaotic behaviours. These types of systems are often modelled by a system of reaction-diffusion equations coupled by a nonlinearity. In the article, we study the existence of stochastically perturbed equations of this type. In particular, we show the existence of a probabilitic weak solution of the following stochastic system \begin{align*} \dot {u} & = r_1\,\Delta u+ a_1\, u + b_1 -c_1\, u\cdot v^q+\sigma_1\, g_1(u)\circ \dot W_1, \\ \dot{v} & = r_2 \,A v + a_2\, v + b_2 +c_2\, u\cdot v^q + \sigma_2\, g_2(v)\circ \dot W_2, \end{align*} where $r_i,b_i,c_i, \sigma_i>0$, $a_i\in\mathbb{R}$, and $g_i$ are linear, $i=1,2$, and the exponent $q\geq 1$. The operator $A=-(-\Delta)^{\aleph/2}$ is a fractional power of the Laplacian, $1<\aleph \le2$. The main result is obtained by a Schauder-Tychonoff type fixed point theorem for the controlled versions of the laws of the respective (infinite dimensional) Ornstein-Uhlenbeck system, from which we infer the existence of a weak solution of the coupled system.
- [12] arXiv:2507.01176 [pdf, html, other]
-
Title: The set-theoretic Kaufmann-Clote questionComments: 15 pagesSubjects: Logic (math.LO)
Let $\mathsf{M}$ be the set theory obtained from $\mathsf{ZF}$ by removing the collection scheme, restricting separation to $\Delta_0$-formulae and adding an axiom asserting that every set is contained in a transitive set. Let $\Pi_n\textsf{-Collection}$ denote the restriction of the collection scheme to $\Pi_n$-formulae. In this paper we prove that for $n \geq 1$, if $\mathcal{M}$ is a model of $\mathsf{M}+\Pi_n\textsf{-Collection}+\mathsf{V=L}$ and $\mathcal{N}$ is a $\Sigma_{n+1}$-elementary end extension of $\mathcal{M}$ that satisfies $\Pi_{n-1}\textsf{-Colelction}$ and that contains a new ordinal but no least new ordinal, then $\Pi_{n+1}\textsf{-Collection}$ holds in $\mathcal{M}$. This result is used to show that for $n \geq 1$, the minimum model of $\mathsf{M}+\Pi_n\textsf{-Collection}$ has no $\Sigma_{n+1}$-elementary end extension that satisfies $\Pi_{n-1}\textsf{-Collection}$, providing a negative answer to the generalisation of a question posed by Kaufmann.
- [13] arXiv:2507.01183 [pdf, html, other]
-
Title: $\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the realsSubjects: Logic (math.LO)
Assuming $M_1$, the canonical inner model with one Woodin cardinal exists, we construct a model in which the nonstationary ideal on $\omega_1$ is $\aleph_2$-saturated, $\Delta_1$-definable with $\omega_1$ as the only parameter and there is a $\Sigma^1_{4}$-definable well-order of the reals. This implies that contrary to the assumption that $NS_{\omega_1}$ is $\aleph_1$-dense, the assumption of $NS_{\omega_1}$ being saturated and $\Delta_1$-definable does not imply any nice structural properties for the projective subsets of the reals.
- [14] arXiv:2507.01185 [pdf, html, other]
-
Title: Is there Ethics in Mathematics?Subjects: History and Overview (math.HO)
This is a critical response to some arguments and general recommendations presented in a discussion paper Four Levels of Ethical Engagement [EiM Discussion Paper 1/2018 University of Cambridge Ethics in Mathematics Project, this https URL this http URL] by Maurice Chiodo and Piers Bursill-Hall. Much in their article is based on certain observations about characteristic psychological traits of mathematicians and their patterns of behavior that I find to be in stark contrast to my own observations. I argue against their assumptions and conclusions using examples.
- [15] arXiv:2507.01187 [pdf, html, other]
-
Title: $\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third LevelComments: arXiv admin note: text overlap with arXiv:2506.21778Subjects: Logic (math.LO)
We present a method which forces the failure of $\Pi^1_3$ and $\Sigma^1_3$-separation, while $\mathsf{MA} (\mathcal{I}$) holds, for $\mathcal{I}$ the family of indestructible ccc forcings. This shows that, in contrast to the assumption $\mathsf{BPFA}$ and $\aleph_1=\aleph_1^L$ which implies $\Pi^1_3$-separation, that weaker forcing axioms do not decide separation on the third projective level.
- [16] arXiv:2507.01207 [pdf, html, other]
-
Title: On the Intensity-based Inversion Method for Quantitative Quasi-Static ElastographyComments: 29 pages, 7 figuresSubjects: Numerical Analysis (math.NA)
In this paper, we consider the intensity-based inversion method (IIM) for quantitative material parameter estimation in quasi-static elastography. In particular, we consider the problem of estimating the material parameters of a given sample from two internal measurements, one obtained before and one after applying some form of deformation. These internal measurements can be obtained via any imaging modality of choice, for example ultrasound, optical coherence or photo-acoustic tomography. Compared to two-step approaches to elastography, which first estimate internal displacement fields or strains and then reconstruct the material parameters from them, the IIM is a one-step approach which computes the material parameters directly from the internal measurements. To do so, the IIM combines image registration together with a model-based, regularized parameter reconstruction approach. This combination has the advantage of avoiding some approximations and derivative computations typically found in two-step approaches, and results in the IIM being generally more stable to measurement noise. In the paper, we provide a full convergence analysis of the IIM within the framework of inverse problems, and detail its application to linear elastography. Furthermore, we discuss the numerical implementation of the IIM and provide numerical examples simulating an optical coherence elastography (OCE) experiment.
- [17] arXiv:2507.01221 [pdf, html, other]
-
Title: Simple subquotients of relation modulesSubjects: Representation Theory (math.RT)
In this paper we provide an explicit tableaux realization for all simple subquotients of a relation Gelfand-Tsetlin $\mathfrak{gl}(n)$-module.
- [18] arXiv:2507.01226 [pdf, html, other]
-
Title: Obstructions to Reality: Torsors & Visual ParadoxSubjects: Algebraic Topology (math.AT)
Visual paradoxes like the Penrose staircase present a fundamental tension: locally coherent geometric relationships that cannot be realized globally. Inspired by Penrose's observations connecting such paradoxes to cohomology, we develop a mathematical framework that precisely characterizes this phenomenon through network torsors and sheaf cohomology. Network torsors capture the essential nature of visual paradoxes by formalizing relative geometric attributes (height changes, orientation flips) without requiring absolute measures. We demonstrate that a significant class of visual paradoxes can be rigorously characterized as non-trivial network torsors, with their obstruction to global consistency quantified by elements of $H^1$. This framework enables analysis of classical paradoxes and construction of novel examples on various topological spaces. Key contributions include: (1) the first nonabelian visual paradox, classified by an infinite dihedral torsor on a Klein bottle; (2) paradoxes driven by boundary conditions rather than loops, analyzable via non-constant structure sheaves; and (3) a categorical framework for comparing paradoxes that reveals unexpected connections between visually distinct figures. Our approach unifies diverse visual paradoxes under a single mathematical principle: the obstruction to globalizing locally consistent geometric relationships.
- [19] arXiv:2507.01232 [pdf, html, other]
-
Title: Weighted blow-up desingularization of plane curvesComments: 12 pagesSubjects: Algebraic Geometry (math.AG)
Given a singular hypersurface in a regular 2-dimensional scheme essentially of finite type over a field, we construct an embedded resolution of singularities by tame Artin stacks. This applies in particular to plane curves. The key tool is Hironaka's characteristic polyhedron from which we determine a suitable center for a stack-theoretic weighted blow-up. In particular, we show that the order strictly decreases at every point lying above the center. In contrast to earlier work by the authors, we do not have to restrict to perfect base fields and we deduce an inductive argument, despite the fact that higher dimensional tangent spaces arise, by taking torus actions and equivariant centers into account. Hence, we work with weighted blow-ups of tame Artin stacks and we do not have to pass to multi-weighted blow-ups of Deligne--Mumford stacks.
- [20] arXiv:2507.01233 [pdf, other]
-
Title: Resolving the Singularities of Splitting LociSubjects: Algebraic Geometry (math.AG)
We construct modular resolutions of singularities for splitting loci, and use them to show that tame splitting loci have rational singularities. As a corollary of our results and Hurwitz-Brill-Noether theory, we prove that if $C$ is a general $k$-gonal curve, the components of $W^r_d(C)$ have rational singularities. We also recover the classical Gieseker-Petri theorem. Along the way, we prove a cohomology vanishing statement for certain tautological vector bundles on $\operatorname{Quot}^{r,d}_{\mathbb{P}^1}(\mathcal{O}^{\oplus N})$, which may be of independent interest.
- [21] arXiv:2507.01236 [pdf, html, other]
-
Title: Disintegration theorem for multifunctions, with applications to empirical Wasserstein distances and average-case statistical boundsComments: 20 pagesSubjects: Probability (math.PR)
We prove a generalisation of the disintegration theorem to the setting of multifunctions between Polish probability spaces. Whereas the classical disintegration theorem guarantees the disintegration of a probability measure along the partition of the underlying space by the fibres of a measurable function, our theorem gives necessary and sufficient conditions for the measure to disintegrate along a cover of the underlying space defined by the fibres of a measurable multifunction. Building on this theorem, we introduce a new statistical notion: We declare a metric Polish probability space to be asymptotically disintegrable if $n$ i.i.d.-centred balls of decreasing radius carry a disintegration of the measure with probability tending to unity as $n\rightarrow\infty$. We give a number of both $1$-dimensional and higher-dimensional examples of asymptotically disintegrable spaces with associated quantitative rates, as well as a strong counterexample. Finally, we give two applications of the notion of asymptotic disintegrability. First, we prove that asymptotically disintegrable spaces admit an easy high-probability quantification of the law of large numbers in Wasserstein space, which in all dimensions either recovers or improves upon the best known rates in some regimes, and is never any worse than existing rates by more than a factor of 2 in the exponent of $n$, where $n$ is the number of sample points. Second, we prove that any asymptotically disintegrable space admits a high-probability bound on the error in approximating the expectation of any Lipschitz function by its empirical average over an i.i.d.\ sample. The bound is average-case in the sense that it depends only on the empirical average of the local Lipschitz constants of the function, rather than the global Lipschitz constant as obtained by Kantorovich-Rubinstein duality.
- [22] arXiv:2507.01245 [pdf, html, other]
-
Title: A fourth-order exponential time differencing scheme with real and distinct poles rational approximation for solving non-linear reaction-diffusion systemsSubjects: Numerical Analysis (math.NA)
A fourth-order, L-stable, exponential time differencing Runge-Kutta type scheme is developed to solve nonlinear systems of reaction diffusion equations with nonsmooth data. The new scheme, ETDRK4RDP, is constructed by approximating the matrix exponentials in the ETDRK4 scheme with a fourth order, L-acceptable, non-Padé rational function having real and distinct poles (RDP). Using RDP rational functions to construct the scheme ensures efficient damping of spurious oscillations arising from non-smooth initial and boundary conditions and a straightforward parallelization. We verify empirically that the new ETDRK4RDP scheme is fourth-order accurate for several reaction diffusion systems with Dirichlet and Neumann boundary conditions and show it to be more efficient than competing exponential time differencing schemes, especially when implemented in parallel, with up to six times speedup in CPU time.
- [23] arXiv:2507.01263 [pdf, other]
-
Title: Knot complements decomposing into prismsComments: 56 pages, 18 figures, 7 tables, supporting code in ancillary filesSubjects: Geometric Topology (math.GT)
We describe four hyperbolic knot complements in $\mathbb{S}^3$, each of which covers a prism orbifold: the quotient of $\mathbb{H}^3$ by the action of a discrete group generated by reflections in the faces of a polyhedron that has the combinatorial type of a triangular prism. The prism orbifolds are rigid-cusped and contain compact, totally geodesic hyperbolic triangle sub-orbifolds; as a result, the knot complements covering them have hidden symmetries and contain closed, embedded, totally geodesic surfaces.
- [24] arXiv:2507.01266 [pdf, html, other]
-
Title: Spectral extremal problem for the odd prismSubjects: Combinatorics (math.CO)
The spectral Turán number $\spex(n, F)$ denotes the maximum spectral radius $\rho(G)$ of an $F$-free graph $G$ of order $n$. This paper determines $\spex\left(n, C_{2k+1}^{\square}\right)$ for all sufficiently large $n$, establishing the unique extremal graph. Here, $C_{2k+1}^{\square}$ is the odd prism -- the Cartesian product $C_{2k+1} \square K_2$ -- where the Cartesian product $G \square F$ has vertex set $V(G) \times V(F)$, and edges between $(u_1,v_1)$ and $(u_2,v_2)$ if either $u_1 = u_2$ and $v_1v_2 \in E(F)$, or ($v_1 = v_2$ and $u_1u_2 \in E(G)$).
- [25] arXiv:2507.01268 [pdf, html, other]
-
Title: Conjugator length of locally compact groups of Euclidean isometriesComments: 9 pages, 1 figureSubjects: Group Theory (math.GR)
We consider locally compact subgroups $H$ of the full isometry group $\mathrm{Isom}(\mathbb{E}^n)$ of Euclidean $n$-space which respect the splitting into an orthogonal and a translation subgroup. We prove that the conjugator length function of such groups grows linearly. Our theorem applies, in particular, to the Lie group $\mathrm{Isom}(\mathbb{E}^n)$ itself but also to affine Coxeter groups and to split crystallographic groups.
- [26] arXiv:2507.01288 [pdf, html, other]
-
Title: Existence of wave operators for Zakharov-Kuznetsov equation in two space dimensionsSubjects: Analysis of PDEs (math.AP)
In this paper, we study long time behavior of solution to the two dimensional Zakharov-Kuznetsov equation in the framework of the final state problem. We construct a small global solution to the Zakharov-Kuznetsov equation which scatters to a given free solution. From this result, we have the existence of wave operators for the Zakharov-Kuznetsov equation. The proof is based on the space-time resonance method developed by Gustafson-Nakanishi-Tsai and Germain-Masmoudi-Shatah etc.
- [27] arXiv:2507.01295 [pdf, html, other]
-
Title: The length of the repeating decimalComments: 19 pagesSubjects: Number Theory (math.NT)
This paper investigates the length of the repeating decimal part when a fraction is expressed in decimal form. First, it provides a detailed explanation of how to calculate the length of the repeating decimal when the denominator of the fraction is a power of a prime number. Then, by factorizing the denominator into its prime factors and determining the repeating decimal length for each prime factor, the paper concludes that the overall repeating decimal length is the least common multiple of these lengths. Furthermore, it examines the conditions under which the repeating decimal length equals the denominator minus 1 and discusses whether such fractions exist in infinite quantity. This topic is connected to an unsolved problem posed by Gauss in the 18th century and is also closely related to the important question of whether cyclic numbers exist in infinite quantity.
- [28] arXiv:2507.01296 [pdf, html, other]
-
Title: Stability and error analysis of a new class of higher-order consistent splitting schemes for the Navier-Stokes equationsComments: This article was accepted for publication in Mathematics of Computation on June 21, 2025Subjects: Numerical Analysis (math.NA)
A new class of fully decoupled consistent splitting schemes for the Navier-Stokes equations are constructed and analyzed in this paper. The schemes are based on the Taylor expansion at $t^{n+\beta}$ with $\beta\ge 1$ being a free parameter. It is shown that by choosing {\color{black} $\beta= 3, \,6,\,9$} respectively for the second-, third- and fourth-order schemes, their numerical solutions are uniformed bounded in a strong norm, and admit optimal global-in-time convergence rates in both 2D and 3D. {\color{black}These } results are the first stability and convergence results for any fully decoupled, higher than second-order schemes for the Navier-Stokes equations. Numerical results are provided to show that the third- and fourth-order schemes based on the usual BDF (i.e. $\beta=1$) are not unconditionally stable while the new third- and fourth-order schemes with suitable $\beta$ are unconditionally stable and lead to expected convergence rates.
- [29] arXiv:2507.01303 [pdf, html, other]
-
Title: On interval decomposition of persistence modulesSubjects: Algebraic Topology (math.AT); Representation Theory (math.RT)
We give down-to-earth proofs of the structure theorems for persistence modules.
- [30] arXiv:2507.01306 [pdf, html, other]
-
Title: Crystals and quantum twist automorphismsComments: 51 pagesSubjects: Representation Theory (math.RT); Combinatorics (math.CO)
Let $\eta_w$ be the quantum twist automorphism for the quantum unipotent coordinate ring $\mathrm{A}_q(\mathfrak{n}(w))$ introduced by Kimura and Oya. In this paper, we study the quantum twist automorphism $\eta_w$ in the viewpoint of the crystal bases theory and provide a crystal-theoretic description of $\eta_w$. In the case of the $*$-twisted minuscule crystals of classical finite types, we provide a combinatorial description of $\eta_w$ in terms of (shifted) Young diagrams. We further investigate the periodicity of $\eta_w$ up to a multiple of frozen variables in various setting.
- [31] arXiv:2507.01317 [pdf, html, other]
-
Title: Physical Space Proof of Bilinear Estimates and Applications to Nonlinear Dispersive Equations (II)Comments: 22 pagesSubjects: Analysis of PDEs (math.AP)
We study the Zakharov system in two and three spatial dimensions, reproducing the optimal local well-posedness results from Bejenaru-Herr-Holmer-Tataru [2] and Bejenaru-Herr [1]. The main tools are similar to [16], based on a bilinear estimate, which is proved in a physical space approach by a new type of div-curl lemma. The new ingredient of our proof is a Strichartz estimate with mixed spatial integrability.
- [32] arXiv:2507.01324 [pdf, html, other]
-
Title: An Error Bound for Aggregation in Approximate Dynamic ProgrammingSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
We consider a general aggregation framework for discounted finite-state infinite horizon dynamic programming (DP) problems. It defines an aggregate problem whose optimal cost function can be obtained off-line by exact DP and then used as a terminal cost approximation for an on-line reinforcement learning (RL) scheme. We derive a bound on the error between the optimal cost functions of the aggregate problem and the original problem. This bound was first derived by Tsitsiklis and van Roy [TvR96] for the special case of hard aggregation. Our bound is similar but applies far more broadly, including to soft aggregation and feature-based aggregation schemes.
- [33] arXiv:2507.01330 [pdf, html, other]
-
Title: On Securing Berrut Approximated Coded Computing Through Discrete Cosine TransformsComments: To appear in the proceedings of IEEE Information Theory Workshop (ITW) 2025Subjects: Information Theory (cs.IT)
Coded computing is a reliable and fault-tolerant mechanism for implementing large computing tasks over a distributed set of worker nodes. While a majority of coded computing frameworks address accurate computation of the target functions, they are restricted to computing multivariate polynomial functions. To generalize these computing platforms to non-polynomial target functions, Jahani-Nezhad and Maddah-Ali recently proposed Berrut Approximated Coded computing (BACC), which was proven fault-tolerant against stragglers albiet with tolerable approximation errors on the target functions. Despite these benefits, there is no formal study on the security of BACC against worker nodes which report erroneous computations. To fill this research gap, we use a coding-theoretic approach to propose Secure Berrut Approximated Coded Computing (SBACC), which is resilient to stragglers and also robust to the presence of such untrusted worker nodes. One of the highlights of SBACC is the new choice of evaluation points for distributed computation which makes the well-known Discrete Cosine Transform (DCT) codes amenable to error detection and correction. To validate the new choice of evaluation points, first, we derive bounds on the accuracy of SBACC in the absence of untrusted worker nodes. Subsequently, to handle the presence of untrusted worker nodes, we derive bounds on the accuracy of SBACC and show that interesting optimization problems can be formulated to study the trade-off between the error correcting capability of the DCT codes and the accuracy of the target computation.
- [34] arXiv:2507.01332 [pdf, html, other]
-
Title: The inverse $Z$-polynomial of a matroidSubjects: Combinatorics (math.CO)
Motivated by the $Z$-polynomials of matroids, Ferroni, Matherne, Stevens, and Vecchi introduced the inverse $Z$-polynomial of a matroid. In this paper, we prove several fundamental properties of the inverse $Z$-polynomial, including non-negativity and multiplicativity, and show that it is a valuative invariant. We also provide explicit formulas for the inverse $Z$-polynomials of uniform matroids and a broader class of matroids, namely sparse paving matroids, which include uniform matroids as a special case. Furthermore, we establish the unimodality and log-concavity of these polynomials in the case of sparse paving matroids. Based on the properties of the $Z$-polynomial, we conjecture that the coefficients of the inverse $Z$-polynomial are unimodal and log-concave.
- [35] arXiv:2507.01337 [pdf, html, other]
-
Title: Dynamical Multimodal Fusion with Mixture-of-Experts for LocalizationsBohao Wang, Zitao Shuai, Fenghao Zhu, Chongwen Huang, Yongliang Shen, Zhaoyang Zhang, Qianqian Yang, Sami Muhaidat, Merouane DebbahSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Multimodal fingerprinting is a crucial technique to sub-meter 6G integrated sensing and communications (ISAC) localization, but two hurdles block deployment: (i) the contribution each modality makes to the target position varies with the operating conditions such as carrier frequency, and (ii) spatial and fingerprint ambiguities markedly undermine localization accuracy, especially in non-line-of-sight (NLOS) scenarios. To solve these problems, we introduce SCADF-MoE, a spatial-context aware dynamic fusion network built on a soft mixture-of-experts backbone. SCADF-MoE first clusters neighboring points into short trajectories to inject explicit spatial context. Then, it adaptively fuses channel state information, angle of arrival profile, distance, and gain through its learnable MoE router, so that the most reliable cues dominate at each carrier band. The fused representation is fed to a modality-task MoE that simultaneously regresses the coordinates of every vertex in the trajectory and its centroid, thereby exploiting inter-point correlations. Finally, an auxiliary maximum-mean-discrepancy loss enforces expert diversity and mitigates gradient interference, stabilizing multi-task training. On three real urban layouts and three carrier bands (2.6, 6, 28 GHz), the model delivers consistent sub-meter MSE and halves unseen-NLOS error versus the best prior work. To our knowledge, this is the first work that leverages large-scale multimodal MoE for frequency-robust ISAC localization.
- [36] arXiv:2507.01344 [pdf, html, other]
-
Title: Permanental Analog of the Rank-Nullity Theorem for Symmetric MatricesSubjects: Combinatorics (math.CO)
The rank-nullity theorem is a core result in the study of matrices. The rank of an $n \times n$ matrix is equal to the size of its largest square submatrix with a nonzero determinant; it can be computed in $O(n^{2.37})$ time. For symmetric matrices, the rank equals to the number of nonzero eigenvalues (that is, the nonzero roots of the characteristic polynomial), which implies that the nullity equals the multiplicity of zero eigenvalue. Similar to the rank, the permanental rank of a matrix is the size of the largest square submatrix with nonzero permanent (whose computation is \#P-complete), while the permanental nullity is the multiplicity of zero as a root of the permanental polynomial. In this paper, we prove a permanental analog of the rank-nullity theorem for any non-negative symmetric matrix, positive semi-definite matrix and (-1, 0, 1)-balanced symmetric matrices.
- [37] arXiv:2507.01345 [pdf, html, other]
-
Title: Lagrangian Translating Solitons and Special Lagrangians in $\mathbb{C}^m$ with SymmetriesComments: 25 pages, 4 figuresSubjects: Differential Geometry (math.DG)
We construct novel families of exact immersed and embedded Lagrangian translating solitons and special Lagrangian submanifolds in $\mathbb{C}^m$ that are invariant under the action of various admissible compact subgroups $G \leq \text{SU}(m-1)$ with cohomogeneity-two. These examples are obtained via an Ansatz generalising a construction of Castro-Lerma in $\mathbb{C}^2$. We give explicit examples of admissible group actions, including a full classification for $G$ simple. We also describe novel Lagrangian translators symmetric with respect to non-compact subgroups of the affine special unitary group $\text{SU}(m)\ltimes \mathbb{C}^m$, including cohomogeneity-one examples.
- [38] arXiv:2507.01353 [pdf, html, other]
-
Title: Unimodality for Radon partitions of random vectorsComments: 24 pages, 1 figureSubjects: Combinatorics (math.CO); Probability (math.PR)
Consider the (almost surely) unique Radon partition of a set of $n$ random Gaussian vectors in $\mathbb R^{n-2}$; choose one of the two parts of this partition uniformly at random, and for $0 \le k \le n$, let $p_k$ denote the probability that it has size $k$. In this paper, we prove strong unimodality results for the distribution $(p_0,\dots,p_n)$.
- [39] arXiv:2507.01357 [pdf, html, other]
-
Title: Matrix Fejér-Riesz type theorem for a union of an interval and a pointComments: 17 pagesSubjects: Functional Analysis (math.FA)
The matrix Fejér-Riesz theorem characterizes positive semidefinite matrix polynomials on the real line. In the previous work of the second-named author this was extended to the characterization on arbitrary closed semialgebraic sets $K$ in $\mathbb{R}$ by using matrix quadratic modules from real algebraic geometry. In the compact case there is a denominator-free characterization, while in the non-compact case denominators are needed except when $K$ is the whole line, an unbounded interval, a union of two unbounded intervals, and it was conjectured also when $K$ is a union of an unbounded interval and a point or a union of two unbounded intervals and a point. In this paper, we confirm this conjecture by solving the truncated matrix-valued moment problem (TMMP) on a union of a bounded interval and a point. The presented technique for solving the corresponding TMMP can potentially be used to determine degree bounds in the positivity certificates for matrix polynomials on compact sets $K$.
- [40] arXiv:2507.01358 [pdf, html, other]
-
Title: Spherical designs for finite quaternionic unit groups and their applications to modular formsSubjects: Combinatorics (math.CO); Number Theory (math.NT)
For a finite subset $X$ of the $d$-dimensional unit sphere, the harmonic strength $T(X)$ of $X$ is the set of $\ell\in \mathbb{N}$ such that $\sum_{x\in X} P(x)=0$ for all harmonic polynomials $P$ of homogeneous degree $\ell$. We will study three exceptional finite groups of unit quaternions, called the binary tetrahedral group $2T$ of order 24, the octahedral group $2O$ of order 48, and the icosahedral group $2I$ of order 120, which can be viewed as a subset of the 3-dimensional unit sphere. For these three groups, we determine the harmonic strength and show the minimality and the uniqueness as spherical designs. In particular, the group $2O$ is unique as a minimal subset $X$ of the 3-dimensional unit sphere with $T(X)=\{22,14,10,6,4,2 \}\cup \mathbb{O}^+$, where $\mathbb{O}^+$ denotes the set of all positive odd integers. This result provides the first characterization of $2O$ from the spherical design viewpoint.
For $G\in \{2T,2O,2I\}$, we consider the lattice $\mathcal{O}_{G}$ generated by $G$ over $R_G$ on which the group $G$ acts on by multiplication, where $R_{2T}=\mathbb{Z},\ R_{2O}=\mathbb{Z}[\sqrt{2}],\ R_{2I}=\mathbb{Z}[(1+\sqrt{5})/2]$ are the ring of integers. We introduce the spherical theta function $\theta_{G,P}(z)$ attached to the lattice $\mathcal{O}_G$ and a harmonic polynomial $P$ of degree $\ell$ and prove that they are modular forms. By applying our results on the characterization of $G$ as a spherical design, we determine the cases in which the $\mathbb{C}$-vector space spanned by all $\theta_{G,P}(z)$ of harmonic polynomials $P$ of homogeneous degree $\ell$ has dimension zero--without relying on the theory of modular forms. - [41] arXiv:2507.01359 [pdf, html, other]
-
Title: Inequalities in Fourier analysis on binary cubesComments: 29 pages, 6 figuresSubjects: Classical Analysis and ODEs (math.CA); Information Theory (cs.IT); Combinatorics (math.CO)
This paper studies two classical inequalities, namely the Hausdorff-Young inequality and equal-exponent Young's convolution inequality, for discrete functions supported in the binary cube $\{0,1\}^d\subset\mathbb{Z}^d$. We characterize the exact ranges of Lebesgue exponents in which sharp versions of these two inequalities hold, and present several immediate consequences. First, if the functions are specialized to be the indicator of some set $A\subseteq\{0,1\}^d$, then we obtain sharp upper bounds on two types of generalized additive energies of $A$, extending the works of Kane-Tao, de Dios Pont-Greenfeld-Ivanisvili-Madrid, and one of the present authors. Second, we obtain a sharp binary variant of the Beckner-Hirschman entropic uncertainty principle, as well as a sharp lower estimate on the entropy of a sum of two independent random variables with values in $\{0,1\}^d$. Finally, the sharp binary Hausdorff-Young inequality also reveals the exact range of dimension-free estimates for the Fourier restriction to the binary cube.
- [42] arXiv:2507.01370 [pdf, html, other]
-
Title: Dose-Escalation Trial Protocols that Extend Naturally to Admit TitrationComments: 19 pages, 1 figureSubjects: Category Theory (math.CT)
Dose-escalation trials in oncology drug development still today typically aim to identify 1-size-fits-all dose recommendations, as arbitrary quantiles of the toxicity thresholds evident in patient samples. In the late 1990s efforts to individualize dosing emerged fleetingly in the oncology trial methods literature, but these have gained little traction due to a nexus of conceptual, technical, commercial, and regulatory barriers. To reduce the activation energy needed for transforming current 1-size-fits-all dose-escalation trial designs to the dose-titration designs required for patient-centered dose individualization, we demonstrate a categorical formulation of dose-escalation protocols that extends readily to allow gradual introduction of dose titration.
Central to this formulation is a symmetric monoidal preorder on the accessible states of dose-escalation trials, embodying pharmacologic intuitions regarding dose-monotonicity of drug toxicity and ethical intuitions relating to the therapeutic intent of such trials. A trial protocol that assigns doses to enrolling participants consistently with these intuitions is then a monotone map from this preorder to the sequence of doses being trialed. We illustrate this formulation by reference to the ubiquitous 3+3 dose-escalation design, which despite its many widely discussed flaws remains familiar to oncology trialists and moreover has available an executable specification in Prolog. Remarkably, examined in light of our preorder the 3+3 protocol discloses a new flaw not previously described: a non-monotone dose recommendation. The right Kan extension approximates this protocol from the side of safety, dissolving its triplet cohorts to allow incremental enrollment, and rectifying said non-monotonicity. It also facilitates accelerated enrollment while toxicity assessments remain pending, as well as discretionary dose titration. - [43] arXiv:2507.01393 [pdf, other]
-
Title: Suleimanov-Talanov self-focusing and the hierarchy of the focusing nonlinear Schrödinger equationComments: 100 pages, 12 figuresSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI)
We study the self-focusing of wave packets from the point of view of the semiclassical focusing nonlinear Schrödinger equation. A type of finite-time collapse/blowup of the solution of the associated dispersionless limit was investigated by Talanov in the 1960s, and recently Suleimanov identified a special solution of the dispersive problem that formally regularizes the blowup and is related to the hierarchy of the Painlevé-III equation. In this paper we approximate the Talanov solutions in the full dispersive equation using a semiclassical soliton ensemble, a sequence of exact reflectionless solutions for a corresponding sequence of values of the semiclassical parameter epsilon tending to zero, approximating the Talanov initial data more and more accurately in the limit as epsilon tends to zero. In this setting, we rigorously establish the validity of the dispersive saturation of the Talanov blowup obtained by Suleimanov. We extend the result to the full hierarchy of higher focusing nonlinear Schrödinger equations, exhibiting new generalizations of the Talanov initial data that produce such dispersively regularized extreme focusing in both mixed and pure flows. We also argue that generic perturbations of the Talanov initial data lead to a different singularity of the dispersionless limit, namely a gradient catastrophe for which the dispersive regularization is instead based on the tritronquée solution of the Painlevé-I equation and the Peregrine breather solution which appears near points in space time corresponding to the poles of the former transcendental function as shown by Bertola and Tovbis.
- [44] arXiv:2507.01395 [pdf, other]
-
Title: More regular formal moduli spaces and arithmetic transfer conjectures: the ramified quadratic caseSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Representation Theory (math.RT)
For unitary groups associated to a ramified quadratic extension of a $p$-adic field, we define various regular formal moduli spaces of $p$-divisible groups with parahoric levels, characterize exceptional special divisors on them, and construct correspondences between them. We formulate arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture in this context. We prove the conjectures in the lowest dimensional cases.
- [45] arXiv:2507.01399 [pdf, html, other]
-
Title: Reconstruction of the observable universe from the integrated Sachs-Wolfe effectSubjects: Mathematical Physics (math-ph); Numerical Analysis (math.NA)
The integrated Sachs-Wolfe (ISW) effect is a property of the Cosmic Microwave Background (CMB), in which photons from the CMB are gravitationally redshifted, causing the anisotropies in the CMB. An intriguing question is whether one can infer the gravitational perturbations from the ISW effect observed near the Earth. In this work, we address the question using a tomographic reconstruction approach, similar to X-ray CT reconstruction in medical imaging. We develop the mathematical analysis for the stable inversion of the X-ray transform in the cosmological setting. In addition, we provide a numerical study of reconstruction methods, thereby demonstrating the feasibility and potential of the tomography method.
- [46] arXiv:2507.01402 [pdf, html, other]
-
Title: Asymptotic Preserving and Accurate scheme for Multiscale Poisson-Nernst-Planck (MPNP) systemComments: 41 pages 19 figures 2 tablesSubjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph)
In this paper, we propose and validate a two-species Multiscale model for a Poisson-Nernst-Planck (PNP) system, focusing on the correlated motion of positive and negative ions under the influence of a trap. Specifically, we aim to model surface traps whose attraction range, of length delta, is much smaller then the scale of the problem. The physical setup we refer to is an anchored gas drop (bubble) surrounded by a diffusive flow of charged surfactants (ions). When the diffusing surfactants reach the surface of the trap, the anions are adsorbed. As in our previous works [11,6,9,4], the effect of the attractive potential is replaced by a suitable boundary condition derived by mass conservation and asymptotic analysis. The novelty of this work is the extension of the model proposed in [11], now incorporating the influence of both carriers - positive and negative ions - simultaneously, which is often neglected in traditional approaches that treat ion species independently. In the second part of the paper, we address the treatment of the Coulomb interaction between carriers. When the Debye length lambda_D (proportional to a small parameter epsilon) is very small, one can adopt the so-called Quasi-Neutral limit, which significantly simplifies the system, reducing it to a diffusion equation for a single carriers with effective diffusion coefficient [36,53]. This approach, while simplifying the mathematical model, does not capture the effects of non negligible values of epsilon. When the Debye length is small but not negligible, it may be very expensive to capture the small deviation from the Quasi-Neutral limit by standard methods in the literature. [...]
- [47] arXiv:2507.01404 [pdf, html, other]
-
Title: Loose rectangular diagram, multi-crossing number, and arc indexComments: 11 pages, 6 FiguresSubjects: Geometric Topology (math.GT)
For a non-split multi-crossing diagram $D$ of a link $L$ we show that $\alpha(L)-2 \leq c_2(D) + \sum_{n> 2}(2n-4)c_n(D)$ holds. Here $\alpha(L)$ is the arc index and $c_n(D)$ is the number of $n$-crossings of $D$. This generalizes and subsumes many known inequalities related to multi-crossing numbers. In the course of proof, we introduce a notion of loose rectangular diagram and show that a loose rectangular diagram can be converted to usual rectangular diagram preserving its arc index.
- [48] arXiv:2507.01405 [pdf, html, other]
-
Title: Smooth minimal surfaces of general type with $p_g=0, K^2=7$ and involutionsSubjects: Algebraic Geometry (math.AG)
Lee and the second named author studied involutions on smooth minimal surfaces $S$ of general type with $p_g(S)=0$ and $K_S^2=7$. They gave the possibilities of the birational models $W$ of the quotients and the branch divisors $B_0$ induced by involutions $\sigma$ on the surfaces $S$.
In this paper we improve and refine the results of Lee and the second named author. We exclude the case of the Kodaira dimension $\kappa(W)=1$ when the number $k$ of isolated fixed points of an involution $\sigma$ on $S$ is nine. The possibilities of branch divisors $B_0$ are reduced for the case $k=9$, and are newly given for the case $k=11$. Moreover, we show that if the branch divisor $B_0$ has three irreducible components, then $S$ is an Inoue surface. - [49] arXiv:2507.01406 [pdf, html, other]
-
Title: On Iterated Lorenz Curves with Applications: The Bivariate CaseSubjects: Probability (math.PR)
It is well known that a Lorenz curve, derived from the distribution function of a random variable, can itself be viewed as a probability distribution function of a new random variable [2]. In a previous work of ours [3], we proved the surprising result that a sequence of consecutive iterations of this map leads to a non-corner case convergence, independent of the initial random variable. Namely, the limiting distribution follows a power-law distribution. In this paper, we generalize our result to the bivariate setting. We do so using Arnold's type definition [2] of a Lorenz curve, which offers the greatest parsimony among its counterparts. The situation becomes more complex in higher dimensions as the map affects not only the marginals but also their dependence structure. Nevertheless, we prove the equally surprising result that under reasonable restrictions, the marginals again converge uniformly to a power-law distribution, with an exponent equal to the golden section. Furthermore, they become independent in the limit. To emphasize the multifaceted nature of the problem and broaden the scope of potential applications, our approach utilizes a variety of mathematical tools, extending beyond very specialized methods.
- [50] arXiv:2507.01407 [pdf, html, other]
-
Title: Dynamic Programming Principle for Stochastic Control Problems on Riemannian ManifoldsSubjects: Optimization and Control (math.OC)
In this paper, we first establish the dynamic programming principle for stochastic optimal control problems defined on compact Riemannian manifolds without boundary. Subsequently, we derive the associated Hamilton-Jacobi-Bellman (HJB) equation for the value function. We then prove the existence, uniqueness of viscosity solutions to the HJB equation, along with their continuous dependence on initial data and model parameters. Finally, under appropriate regularity conditions on the value function, we establish a verification theorem that characterizes optimal controls.
- [51] arXiv:2507.01412 [pdf, html, other]
-
Title: Coarse cone quotientsComments: 43 pagesSubjects: Algebraic Topology (math.AT); K-Theory and Homology (math.KT)
We study the coarse motive of the quotient $\mathcal{O}^{\infty}(X)//G$ of the cone of a uniform bornological coarse space $X$ with $G$-action. If $X$ admits a sufficiently ergodic probability measure, then we show that the coarse assembly map for $\mathcal{O}^{\infty}(X)//G$ is not an equivalence. The main ideas are taken from a recent paper by C. Kitsios, T. Schick and F. Vigolo (arXiv:2504.21811) and adapted to the formalism of coarse homotopy theory based on bornological coarse spaces developed by A. Engel and the author.
- [52] arXiv:2507.01415 [pdf, html, other]
-
Title: Randomized subspace correction methods for convex optimizationComments: 21 pages, 0 figuresSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
This paper introduces an abstract framework for randomized subspace correction methods for convex optimization, which unifies and generalizes a broad class of existing algorithms, including domain decomposition, multigrid, and block coordinate descent methods. We provide a convergence rate analysis ranging from minimal assumptions to more practical settings, such as sharpness and strong convexity. While most existing studies on block coordinate descent methods focus on nonoverlapping decompositions and smooth or strongly convex problems, our framework extends to more general settings involving arbitrary space decompositions, inexact local solvers, and problems with limited smoothness or convexity. The proposed framework is broadly applicable to convex optimization problems arising in areas such as nonlinear partial differential equations, imaging, and data science.
- [53] arXiv:2507.01416 [pdf, html, other]
-
Title: Hamiltonian linking and Symplectic packingComments: 10 pagesSubjects: Symplectic Geometry (math.SG)
In this short note, we make an observation relating symplectic packings of the standard symplectic ball by two sets and Hamiltonian linking.
- [54] arXiv:2507.01420 [pdf, html, other]
-
Title: Reinforcement Learning for Discrete-time LQG Mean Field Social Control Problems with Unknown DynamicsSubjects: Optimization and Control (math.OC)
This paper studies the discrete-time linear-quadratic-Gaussian mean field (MF) social control problem in an infinite horizon, where the dynamics of all agents are unknown. The objective is to design a reinforcement learning (RL) algorithm to approximate the decentralized asymptotic optimal social control in terms of two algebraic Riccati equations (AREs). In this problem, a coupling term is introduced into the system dynamics to capture the interactions among agents. This causes the equivalence between model-based and model-free methods to be invalid, which makes it difficult to directly apply traditional model-free algorithms. Firstly, under the assumptions of system stabilizability and detectability, a model-based policy iteration algorithm is proposed to approximate the stabilizing solution of the AREs. The algorithm is proven to be convergent in both cases of semi-positive definite and indefinite weight matrices. Subsequently, by adopting the method of system transformation, a model-free RL algorithm is designed to solve for asymptotic optimal social control. During the iteration process, the updates are performed using data collected from any two agents and MF state. Finally, a numerical case is provided to verify the effectiveness of the proposed algorithm.
- [55] arXiv:2507.01425 [pdf, html, other]
-
Title: Burnside rings for racks and quandlesComments: 29 pagesSubjects: Representation Theory (math.RT); Algebraic Topology (math.AT); General Topology (math.GN); Group Theory (math.GR); Quantum Algebra (math.QA)
We restructure and advance the classification theory of finite racks and quandles by employing powerful methods from transformation groups and representation theory, especially Burnside rings. These rings serve as universal receptacles for those invariants of racks and quandles that are additive with respect to decompositions. We present several fundamental results regarding their structure, including additive bases and multiplicative generators. We also develop a theory of marks, which is analogous to counting fixed points of group actions and computing traces in character theory, and which is comprehensive enough to distinguish different elements in the Burnside rings. The new structures not only offer a fresh framework for the classification theory of finite racks and quandles but also equip us with tools to develop these ideas and create interfaces that strengthen connections with related areas of algebra. For example, they extend the Dress--Siebeneicher theory of the Burnside ring of the infinite cyclic group beyond the realm of permutation racks.
- [56] arXiv:2507.01432 [pdf, html, other]
-
Title: Global Existence and Incompressible Limit for Compressible Navier-Stokes Equations with Large Bulk Viscosity Coefficient and Large Initial DataSubjects: Analysis of PDEs (math.AP)
For periodic initial data with the density allowing vacuum, we establish the global existence and exponential decay of weak, strong and classical solutions to the two-dimensional(2D) compressible Navier-Stokes equations when the bulk viscosity coefficient is sufficiently large, without any extra restrictions on initial velocity divergence. Moreover, we demonstrate that when the bulk viscosity coefficient tends to infinity, these solutions converge to solutions to the inhomogeneous incompressible Navier-Stokes equations. For the incompressible limit of weak solutions, our results hold even without requiring the initial velocity field to be divergence-free. Our results are established by introducing time-layers to avoid imposing restrictions on the initial velocity divergence, along with estimates of $L^\infty$ norm of the effective viscous flux $G$ via a time-partitioning approach based on Gagliardo-Nirenberg inequality.
- [57] arXiv:2507.01434 [pdf, html, other]
-
Title: An Optimal Least-Square Solver For Scaled Partial-Isometric Linear SystemsSubjects: Numerical Analysis (math.NA)
We present an $O(mn)$ direct least-squares solver for $m \times n$ linear systems with a scaled partial isometry. The proposed algorithm is also useful when the system is block diagonal and each block is a scaled partial isometry with distinct scaling factors. We also include numerical experiments as a demonstration.
- [58] arXiv:2507.01440 [pdf, html, other]
-
Title: Discrete Spectrum and Spectral Rigidity of a Second-Order Geometric Deformation OperatorComments: 7 pagesSubjects: Spectral Theory (math.SP); Functional Analysis (math.FA)
We analyze the spectral properties of a self-adjoint second-order differential operator $\hat{C}$, defined on the Hilbert space $L^2([-v_c, v_c])$ with Dirichlet boundary conditions. We derive the discrete spectrum $\{C_n\}$, prove the completeness of the associated eigenfunctions, and establish orthogonality and normalization relations. The analysis follows the classical Sturm--Liouville framework and confirms that the deformation modes $C_n$ form a spectral basis on the compact interval. We further establish a spectral rigidity result: uniform spectral coefficients imply a constant profile $C(v) = \pi$, which does not belong to the Sobolev domain of the operator. These results provide a rigorous foundation for further investigations in spectral geometry and functional analysis.
- [59] arXiv:2507.01443 [pdf, html, other]
-
Title: On the resolvent convergence of discrete Dirac operators on 3D cubic latticesComments: 10 pagesJournal-ref: Journal of Mathematical Analysis and Applications, Volume 546, Issue 2, 15 June 2025Subjects: Mathematical Physics (math-ph)
We prove that the discrete Dirac operators in three dimensions converge to the continuum Dirac operators in the strong resolvent sense, but not
in the norm resolvent sense. - [60] arXiv:2507.01447 [pdf, html, other]
-
Title: A Path Planning Model for Intercepting a Moving Target with Finite Obstacle AvoidanceComments: 28 Pages, 15 FiguresSubjects: Optimization and Control (math.OC)
This paper investigates the problem of computing a two-dimensional optimal curvature straight line (CS) shortest path for an unmanned aerial vehicle (UAV) to intercept a moving target, with both the UAV (pursuer) and target travelling at constant speeds. We formulate an optimal control problem that integrates two critical objectives: avoiding static obstacles and successfully intercepting the target. The approach introduces constraints derived from obstacle avoidance and target interception requirements. A geometric framework is developed, along with sufficient conditions for path optimality under the imposed constraints. The problem is initially examined in the presence of a single obstacle and later extended to scenarios involving a finite number of obstacles. Numerical experiments are carried out to evaluate the performance and efficiency of the proposed model using illustrative examples. Finally, we present a realistic case study using actual geographic data, including obstacle placement, target trajectory, and heading angles, to demonstrate the practical applicability and effectiveness of the proposed method in real-world scenarios.
- [61] arXiv:2507.01456 [pdf, html, other]
-
Title: QC-OT: Optimal Transport with Quasiconformal MappingComments: 24 pages,18 figuresSubjects: General Topology (math.GN)
The optimal transport (OT) map offers the most economical way to transfer one probability measure distribution to another. Classical OT theory does not involve a discussion of preserving topological connections and orientations in transmission results and processes. Existing numerical and geometric methods for computing OT seldom pays specific attention on this aspect. Especially, when dealing with the triangular mesh data, the known semi-discrete geometric OT (sd-OT) method employs critical operation of Delaunay triangulation (DT) to adapt topology to ensure the convexity of the energy function and the existence of the solution. This change in topology hampers the applicability of OT in modeling non-flip physical deformations in real-world tasks such as shape registration and editing problems in computer vision and medical imaging fields. This work introduces the topology structure-preserving optimal transport (QC-OT) map for the triangular mesh input. The computational strategy focuses on the two components: relaxing DT and convexity check in sd-OT and integrating quasiconformal (QC) correction. Here, quasiconformal mapping is employed to correct the regions unexpected distortions, and guarantee the topological preserving property of the transport. Furthermore, the spatial-temporal topology-preserving OT map is presented based t-OT to study the dynamics of the transportation. Multiple experiments have validated the efficiency and effectiveness of the proposed method and demonstrated its potential in the applications of mesh parameterization and image editing.
- [62] arXiv:2507.01464 [pdf, html, other]
-
Title: Coding for Quasi-Static Fading Channel with Imperfect CSI at the Transmitter and Quantized FeedbackComments: 7 pages, 6 figures, conference, this paper will be presented at the 2025 IEEE ITWSubjects: Information Theory (cs.IT)
The classical Schalkwijk-Kailath (SK) scheme for the additive Gaussian noise channel with noiseless feedback is highly efficient since its coding complexity is extremely low and the decoding error doubly exponentially decays as the coding blocklength tends to infinity. However, its application to the fading channel with imperfect CSI at the transmitter (I-CSIT) is challenging since the SK scheme is sensitive to the CSI. In this paper, we investigate how to design SK-type scheme for the quasi-static fading channel with I-CSIT and quantized feedback. By introducing modulo lattice function and an auxiliary signal into the SK-type encoder-decoder of the transceiver, we show that the decoding error caused by the I-CSIT can be perfectly eliminated, resulting in the success of designing SK-type scheme for such a case. The study of this paper provides a way to design efficient coding scheme for fading channels in the presence of imperfect CSI and quantized feedback.
- [63] arXiv:2507.01466 [pdf, html, other]
-
Title: Symbolic identification of tensor equations in multidimensional physical fieldsSubjects: Mathematical Physics (math-ph); Machine Learning (cs.LG)
Recently, data-driven methods have shown great promise for discovering governing equations from simulation or experimental data. However, most existing approaches are limited to scalar equations, with few capable of identifying tensor relationships. In this work, we propose a general data-driven framework for identifying tensor equations, referred to as Symbolic Identification of Tensor Equations (SITE). The core idea of SITE--representing tensor equations using a host-plasmid structure--is inspired by the multidimensional gene expression programming (M-GEP) approach. To improve the robustness of the evolutionary process, SITE adopts a genetic information retention strategy. Moreover, SITE introduces two key innovations beyond conventional evolutionary algorithms. First, it incorporates a dimensional homogeneity check to restrict the search space and eliminate physically invalid expressions. Second, it replaces traditional linear scaling with a tensor linear regression technique, greatly enhancing the efficiency of numerical coefficient optimization. We validate SITE using two benchmark scenarios, where it accurately recovers target equations from synthetic data, showing robustness to noise and small sample sizes. Furthermore, SITE is applied to identify constitutive relations directly from molecular simulation data, which are generated without reliance on macroscopic constitutive models. It adapts to both compressible and incompressible flow conditions and successfully identifies the corresponding macroscopic forms, highlighting its potential for data-driven discovery of tensor equation.
- [64] arXiv:2507.01474 [pdf, html, other]
-
Title: Relation between semigroup growth and resolvent decay for immediately differentiable semigroupsComments: 29 pagesSubjects: Functional Analysis (math.FA)
We study rates of growth of $\|AT(t)\|$ as $t \downarrow 0$ for an immediately differentiable $C_0$-semigroup $(T(t))_{t \geq 0}$ with generator $A$. We assume that the resolvent of the semigroup generator decays on the imaginary axis at rates described by functions of positive increase, which enable estimates on scales finer than polynomial ones. First, in the Banach space setting, we present lower and upper bounds for the semigroup growth. Next, we improve the upper estimate for Hilbert space semigroups. Finally, for semigroups of normal operators on Hilbert spaces and multiplication $C_0$-semigroups on $L^p$-spaces, we establish an estimate that exactly captures the asymptotic behavior of $\|AT(t)\|$ as $t \downarrow 0$.
- [65] arXiv:2507.01475 [pdf, html, other]
-
Title: Infinite concentration and oscillation estimates for supercritical semilinear elliptic equations in discs. ISubjects: Analysis of PDEs (math.AP)
In our series of papers, we establish infinite concentration and oscillation estimates for supercritical semilinear elliptic equations in discs. Especially, we extend the previous result by the author (N. arXiv:2404.01634) to the general supercritical case. Our growth condition is related to the one introduced by Dupaign-Farina (J. Eur. Math. Soc. 12: 855--882, 2010) and admits two types of supercritical nonlinearities, the Trudinger-Moser type growth $e^{u^p}$ with $p>2$ and the multiple exponential one $\exp{(\cdots(\exp{(u^m)})\cdots)}$ with $m>0$. In this first part, we carry out the analysis of infinite concentration phenomena on any blow-up solutions. As a result, we classify all the infinite concentration behaviors into two types which in particular shows a new behavior for the multiple exponential case. More precisely, we detect an infinite sequence of concentrating parts on any blow-up solutions via the scaling and pointwise techniques. The precise description of the limit profile, energy, and position of each concentration is given via the Liouville equation with the two types of the energy recurrence formulas. This leads us to observe the two types of supercritical behaviors. The behavior for the latter growth is new and can be understood as the limit case of the former one. Our concentration estimates lead to the analysis of infinite oscillation phenomena, including infinite oscillations of bifurcation diagrams, discussed in the second part.
- [66] arXiv:2507.01482 [pdf, other]
-
Title: Approximation of Dirac operators with $\boldsymbolδ$-shell potentials in the norm resolvent sense, II. Quantitative resultsSubjects: Spectral Theory (math.SP)
This paper is devoted to the approximation of two and three-dimensional Dirac operators $H_{\widetilde{V} \delta_\Sigma}$ with combinations of electrostatic and Lorentz scalar $\delta$-shell interactions in the norm resolvent sense. Relying on results from \cite{BHS23} an explicit smallness condition on the coupling parameters is derived so that $H_{\widetilde{V} \delta_\Sigma}$ is the limit of Dirac operators with scaled electrostatic and Lorentz scalar potentials. Via counterexamples it is shown that this condition is sharp. The approximation of $H_{\widetilde{V} \delta_\Sigma}$ for larger coupling constants is achieved by adding an additional scaled magnetic term.
- [67] arXiv:2507.01488 [pdf, html, other]
-
Title: Infinite concentration and oscillation estimates for supercritical semilinear elliptic equations in discs. IISubjects: Analysis of PDEs (math.AP)
This paper is the latter part of our series concerning the infinite concentration and oscillation phenomena on supercritical semilinear elliptic equations in discs. Our supercritical setting admits two types of nonlinearities, the Trudinger-Moser type $e^{u^p}$ with $p>2$ and the multiple exponential one $\exp{(\cdots(\exp{(u^m)}))}$ with $m>0$. In the first part, we accomplished the analysis of infinite concentration phenomena on any blow-up solutions. In this second part, we proceed to the study of infinite oscillation phenomena based on the concentration estimates obtained in the first part. As a result, we provide a precise description of the asymptotic shapes of the graphs of blow-up solutions near the origin. This allows us to show several infinite oscillation behaviors around singular solutions with a suitable asymptotic behavior. In particular, we arrive at a natural sufficient condition for infinite oscillations of bifurcation diagrams which ensure the existence of infinitely many solutions. We successfully apply this condition to certain classes of nonlinearities including the two types mentioned above.
- [68] arXiv:2507.01498 [pdf, html, other]
-
Title: Size-Ramsey numbers of tight pathsComments: 30 pages, 7 figures. This is a new proof of a result from our manuscript arXiv:2103.01942Subjects: Combinatorics (math.CO)
The $s$-colour size-Ramsey number of a hypergraph $H$ is the minimum number of edges in a hypergraph $G$ whose every $s$-edge-colouring contains a monochromatic copy of $H$. We show that the $s$-colour size-Ramsey number of the $r$-uniform tight path on $n$ vertices is linear in $n$, for every fixed $r$ and $s$, thereby answering a question of Dudek, La Fleur, Mubayi and Rödl (2017).
- [69] arXiv:2507.01499 [pdf, html, other]
-
Title: A $q$-analogue of Gosper's strange evaluation of the hypergeometric seriesComments: 7 pagesSubjects: Classical Analysis and ODEs (math.CA)
In 1977, Gosper conjectured many strange evaluations of hypergeometric series. One of them is a ${}_{2}F_{1}$-series identity with two free parameters, which was proved by Ebisu (2013), Chu (2017), and Campbell (2023) in different ways. In this paper, we present a $q$-analogue of the ${}_{2}F_{1}$-series identity, along with its generalization, by using three-term relations for the ${}_{2}\phi_{1}$ basic hypergeometric series.
- [70] arXiv:2507.01507 [pdf, html, other]
-
Title: About the relatively uniform completion of a principal idealComments: reply to arXiv:2506.09798Subjects: Functional Analysis (math.FA)
In [2] the author claims to provide a counterexample to a result in a recent paper [1]. In this note, we prove that the details of his example is false and this example is compatible with our result in [1] and so is not a countreexample.
- [71] arXiv:2507.01514 [pdf, html, other]
-
Title: Lie affgebra structures on three-dimensional solvable Lie algebrasSubjects: Rings and Algebras (math.RA)
In this work, the complex Lie affgebra structures on three-dimensional solvable Lie algebras are completely determined.
- [72] arXiv:2507.01518 [pdf, html, other]
-
Title: Probably isomorphic structuresComments: 25 pagesSubjects: Logic (math.LO); Operator Algebras (math.OA)
Two structures $M, N$ in the same language are called probably isomorphic if they (or, in case of metric structures, their completions) are isomorphic after forcing with the Lebesgue measure algebra. We show that, if $M$ and $N$ are discrete structures, or extremal models of a non-degenerate simplicial theory, then $M$ and $N$ are probably isomorphic if and only if $L^1([0,1], M) \cong L^1([0,1], N)$. We moreover employ some of the set-theoretic arguments used to prove the aforementioned result to characterize when nontrivial ultraproducts of diffuse von Neumann algebras are tensorially prime.
- [73] arXiv:2507.01521 [pdf, html, other]
-
Title: Localization of trigonometric polynomials and the Lev-Tselishchev lemmaSubjects: Classical Analysis and ODEs (math.CA)
The paper shows that the localization lemma used by N. Lev and A. Tselishchev in solving the problem of constructing quasi-bases from uniformly separated shifts of a function in the space $L^p (\mathbb R) $ for $ p > ( 1 + \sqrt 5 )/2 $, is not carried over to small $p$.
- [74] arXiv:2507.01527 [pdf, html, other]
-
Title: A surface finite element scheme for a stochastic PDE on an evolving curveSubjects: Numerical Analysis (math.NA)
In this paper we consider an ESFEM method for the advection and diffusion of a scalar quantity on a moving closed curve. The diffusion process is controlled by a forcing term that may include a rough term (specifically a stochastic noise) which in particular destroys the classical time differentiability properties of the solution. We provide a suitable variational solution concept and a fully discrete FEM discretization. Our error analysis appropriately generalizes classical estimates to this weaker setting. We present some numerical simulations that confirm our theoretical findings.
- [75] arXiv:2507.01529 [pdf, html, other]
-
Title: Some new congruences on biregular overpartitionsComments: This is the first draft of the paper. Any comments are welcomeSubjects: Number Theory (math.NT)
Recently, Nadji, Ahmia and Ramírez \cite{Nadji2025} investigate the arithmetic properties of ${\bar B}_{\ell_1,\ell_2}(n)$, the number of overpartitions where no part is divisible by $\ell_1$ or $\ell_2$ with $\gcd(\ell_1,\ell_2)$$=1$ and $\ell_1$,$\ell_2$$>1$. Specifically, they established congruences modulo $3$ and powers of $2$ for the pairs of $(\ell_1,\ell_2)$$\in$$\{(4,3),(4,9),(8,3),(8,9)\}$, using the concept of generating functions, dissection formulas and Smoot's implementation of Radu's Ramanujan-Kolberg algorithm. After that, Alanazi, Munagi and Saikia \cite{Alanazi2024} studied and found some congruences for the pairs of
$(\ell_1,\ell_2)\in\{(2,3),(4,3),(2,5),(3,5),(4,9),(8,27),\\(16,81)\} $ using the theory of modular forms and Radu's algorithm. Recently Paudel, Sellers and Wang \cite{Paudel2025} extended several of their results and established infinitely many families of new congruences. In this paper, we find infinitely many families of congruences modulo $3$ and powers of $2$ for the pairs $(\ell_1,\ell_2)$ $ \in$ $\{(2,9),(5,2),(5,4),(8,3)\}$ and in general for $ (5,2^t)$ $\forall t\geq3$ and for $ (3,2^t)$,$ (4,3^t)$ $\forall t\geq2$,
using the theory of Hecke eigenform, an identity due to Newman and the concept of dissection formulas and generating functions. - [76] arXiv:2507.01533 [pdf, html, other]
-
Title: Consistency of Learned Sparse Grid Quadrature Rules using NeuralODEsSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Probability (math.PR)
This paper provides a proof of the consistency of sparse grid quadrature for numerical integration of high dimensional distributions. In a first step, a transport map is learned that normalizes the distribution to a noise distribution on the unit cube. This step is built on the statistical learning theory of neural ordinary differential equations, which has been established recently. Secondly, the composition of the generative map with the quantity of interest is integrated numerically using the Clenshaw-Curtis sparse grid quadrature. A decomposition of the total numerical error in quadrature error and statistical error is provided. As main result it is proven in the framework of empirical risk minimization that all error terms can be controlled in the sense of PAC (probably approximately correct) learning and with high probability the numerical integral approximates the theoretical value up to an arbitrary small error in the limit where the data set size is growing and the network capacity is increased adaptively.
- [77] arXiv:2507.01534 [pdf, other]
-
Title: Perturbations of Vector Bundle whose Curvature Form Solves a Polynomial EquationComments: 73 pages, 1 figureSubjects: Differential Geometry (math.DG)
We investigate the behaviour of local perturbations of a wide class of geometric PDEs on holomorphic Hermitian vector bundles over a compact complex manifold. Our main goal is to study the existence of solutions near an initial solution under small deformations of both the holomorphic structure of the bundle and the parameters of the equation. Inspired by techniques from geometric invariant theory and the moment map framework, under suitable assumptions on the initial solution, we establish a local Kobayashi-Hitchin correspondence. A perturbed bundle admits a solution to the equation if and only if it satisfies a local polystability condition. We also show additional results, such as continuity and uniqueness of solutions when they exist, and a local version of the Kempf-Ness theorem. We also provide a local version of the Jordan-Hölder and Harder-Narasimhan filtrations.
- [78] arXiv:2507.01538 [pdf, html, other]
-
Title: Global existence for a fractionally damped nonlinear Jordan--Moore--Gibson--Thompson equationSubjects: Analysis of PDEs (math.AP)
In nonlinear acoustics, higher-order-in-time equations arise when taking into account a class of thermal relaxation laws in the modeling of sound wave propagation. In the literature, these families of equations came to be known as Jordan--Moore--Gibson--Thompson (JMGT) models. In this work, we show the global existence of solutions relying only on minimal assumptions on the nonlocal damping kernel. In particular, our result covers the until-now open question of global existence of solutions for the fractionally damped JMGT model with quadratic gradient nonlinearity. The factional damping setting forces us to work with non-integrable kernels, which require a tailored approach in the analysis to control. This approach relies on exploiting the specific nonlinearity structure combined with a weak damping provided by the nonlocality kernel.
- [79] arXiv:2507.01552 [pdf, html, other]
-
Title: A mixed Petrov--Galerkin Cosserat rod finite element formulationMarco Herrmann, Domenico Castello, Jonas Breuling, Idoia Cortes Garcia, Leopoldo Greco, Simon R. EugsterComments: 30 pages, 14 figures, to be published in the "Journal of Theoretical, Computational and Applied Mechanics"Subjects: Numerical Analysis (math.NA)
This paper presents a total Lagrangian mixed Petrov--Galerkin finite element formulation that provides a computationally efficient approach for analyzing Cosserat rods that is free of singularities and locking. To achieve a singularity-free orientation parametrization of the rod, the nodal kinematical unknowns are defined as the nodal centerline positions and unit quaternions. We apply Lagrangian interpolation to all nodal kinematic coordinates, and in combination with a projection of non-unit quaternions, this leads to an interpolation with orthonormal cross-section-fixed bases. To eliminate locking effects such as shear locking, the variational Hellinger--Reissner principle is applied, resulting in a mixed approach with additional fields composed of resultant contact forces and moments. Since the mixed formulation contains the constitutive law in compliance form, it naturally incorporates constrained theories, such as the Kirchhoff--Love theory. This study specifically examines the influence of the additional internal force fields on the numerical performance, including locking mitigation and robustness. Using well-established benchmark examples, the method demonstrates enhanced computational robustness and efficiency, as evidenced by the reduction in required load steps and iterations when applying the standard Newton--Raphson method.
- [80] arXiv:2507.01556 [pdf, html, other]
-
Title: Approximate Solution Methods for the Average Reward Criterion in Optimal Tracking Control of Linear SystemsComments: 3 pages. 1 tableSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
This paper studies optimal control under the average-reward/cost criterion for deterministic linear systems. We derive the value function and optimal policy, and propose an approximate solution using Model Predictive Control to enable practical implementation.
- [81] arXiv:2507.01560 [pdf, html, other]
-
Title: A generating set for the Johnson kernelComments: 7 pagesSubjects: Geometric Topology (math.GT)
For a connected orientable hyperbolic surface $S$ without boundary and of finite topological type, the Johnson kernel ${\mathcal K}(S)$ is the subgroup of the mapping class group of $S$ generated by Dehn twists about separating simple closed curves on $S$. We prove that ${\mathcal K}(S)$ is generated by the Dehn twists about separating simple closed curves on $S$ bounding either: a closed subsurface of genus $1$ or $2$; a closed subsurface of genus $1$ minus one point; a closed disc minus two points. For $S$ a surface with at most one puncture, we also show that this is a minimal normal set of generators.
- [82] arXiv:2507.01565 [pdf, html, other]
-
Title: Multipacking in HypercubesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
For an undirected graph $G$, a dominating broadcast on $G$ is a function $f : V(G) \rightarrow \mathbb{N}$ such that for any vertex $u \in V(G)$, there exists a vertex $v \in V(G)$ with $f(v) \geqslant 1$ and $d(u,v) \leqslant f(v)$. The cost of $f$ is $\sum_{v \in V} f(v)$. The minimum cost over all the dominating broadcasts on $G$ is defined as the broadcast domination number $\gamma_b(G)$ of $G$. A multipacking in $G$ is a subset $M \subseteq V(G)$ such that, for every vertex $v \in V(G)$ and every positive integer $r$, the number of vertices in $M$ within distance $r$ of $v$ is at most $r$. The multipacking number of $G$, denoted $\operatorname{mp}(G)$, is the maximum cardinality of a multipacking in $G$. These two optimisation problems are duals of each other, and it easily follows that $\operatorname{mp}(G) \leqslant \gamma_b(G)$. It is known that $\gamma_b(G) \leqslant 2\operatorname{mp}(G)+3$ and conjectured that $\gamma_b(G) \leqslant 2\operatorname{mp}(G)$.
In this paper, we show that for the $n$-dimensional hypercube $Q_n$ $$ \left\lfloor\frac{n}{2} \right\rfloor
\leqslant \operatorname{mp}(Q_n)
\leqslant \frac{n}{2} + 6\sqrt{2n}. $$
Since $\gamma_b(Q_n) = n-1$ for all $n \geqslant 3$, this verifies the above conjecture on hypercubes and, more interestingly, gives a sequence of connected graphs for which the ratio $\frac{\gamma_b(G)}{\operatorname{mp}(G)}$ approaches $2$, a search for which was initiated by Beaudou, Brewster and Foucaud in 2018. It follows that, for connected graphs $G$ $$
\limsup_{\operatorname{mp}(G) \rightarrow \infty} \left\{\frac{\gamma_b(G)}{\operatorname{mp}(G)}\right\} = 2.$$
The lower bound on $\operatorname{mp}(Q_n)$ is established by a recursive construction, and the upper bound is established using a classic result from discrepancy theory. - [83] arXiv:2507.01566 [pdf, html, other]
-
Title: A note on the honeycomb optimality among periodic convex tilingsComments: 7 ppSubjects: Analysis of PDEs (math.AP)
We show that the hexagonal honeycomb is optimal among convex periodic tessellations of the plane, provided the cost functional is lower semicontinuous with respect to the Hausdorff convergence, and decreasing under Steiner symmetrization.
- [84] arXiv:2507.01570 [pdf, html, other]
-
Title: Introduction to quantum exclusion processesComments: 29 pagesSubjects: Probability (math.PR); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
The QSSEP, short for quantum symmetric simple exclusion process, is a paradigm model for stochastic quantum dynamics. Averaging over the noise, the quantum dynamics reduce to the well-studied SSEP (symmetric simple exclusion process). These notes provide an introduction to quantum exclusion processes, focusing on the example of QSSEP and its connection to free probability, with an emphasis on mathematical aspects.
- [85] arXiv:2507.01572 [pdf, html, other]
-
Title: Stochastic Sandpile model: exact sampling and complete graphSubjects: Probability (math.PR)
We study the dynamics of the Stochastic Sandpile Model on finite graphs, with two main results. First, we describe a procedure to exactly sample from the stationary distribution of the model in all connected finite graphs, extending a result obtained by Levine and Liang for Activated Random Walks. Then, we study the model on the complete graph with a number of vertices tending to infinity and show that the stationary density tends to $1/2$. Along the way, we introduce a new point of view on the dynamics of the model, with active and sleeping particles, which may be of independent interest.
- [86] arXiv:2507.01591 [pdf, html, other]
-
Title: Existence of normalized solutions to nonlinear Schrödinger equations on lattice graphsComments: 15 pagesSubjects: Analysis of PDEs (math.AP)
In this paper, using a discrete Schwarz rearrangement on lattice graphs developed in \cite{DSR}, we study the existence of global minimizers for the following functional $I:H^1\left(\mathbb{Z}^N\right)\to \R$, $$I(u)=\frac{1}{2} \int_{\mathbb{Z}^N}|\nabla u|^2 \,d\mu-\int_{\mathbb{Z}^N} F(u)\, d\mu,$$ constrained on $S_m:=\left\{u \in H^1\left(\mathbb{Z}^N\right) \mid\|u\|_{\ell^2\left(\mathbb{Z}^N\right)}^2=m\right\}$, where $N \geq 2$, $m>0$ is prescribed, $f \in C(\mathbb{R}, \mathbb{R})$ satisfying some technical assumptions and $F(t):=\int_0^t f(\tau) \,d\tau$. We prove the following minimization problem $$ \inf_{u \in S_m} I(u) $$
has an excitation threshold $m^*\in [0,+\infty]$ such that \begin{equation*}
\inf_{u \in S_m} I(u)<0 \quad \text{if and only if } m>m^*. \end{equation*} Based primarily on $m^* \in (0,+\infty)$ or $m^*=0$, we classify the problem into three different cases: $L^2$-subcritical, $L^2$-critical and $L^2$-supercritical. Moreover, for all three cases, under assumptions that we believe to be nearly optimal, we show that $m^*$ also separates the existence and nonexistence of global minimizers for $I(u)$ constrained on $S_{m}$. - [87] arXiv:2507.01592 [pdf, html, other]
-
Title: Always-convex harmonic shearsSubjects: Complex Variables (math.CV)
We determine completely the analytic functions $\varphi$ in the unit disk $\mathbb D$ such that for all (normalized) orientation-preserving harmonic mappings $f=h+\overline g$ which satisfy $h+ g=\varphi$, the condition that $f$ maps $\mathbb D$ onto a convex domain holds. As a consequence, we obtain the following more general result: for a given complex number $\eta$, with $|\eta|=1$, we characterize those holomorphic mappings $\varphi$ in $\mathbb D$ such that every harmonic function $f=h+\overline g$ as above with $h-\eta g=\varphi$ maps $\mathbb D$ onto a convex domain.
- [88] arXiv:2507.01596 [pdf, html, other]
-
Title: Some exact inducibility-type results for graphs via flag algebrasComments: 38 pages, ancilliary filesSubjects: Combinatorics (math.CO)
The $(\kappa,\ell)$-edge-inducibility problem asks for the maximum number of $\kappa$-subsets inducing exactly $\ell$ edges that a graph of given order $n$ can have. Using flag algebras and stability approach, we resolve this problem for all sufficiently large $n$ (including a description of all extremal and almost extremal graphs) in eleven new non-trivial cases when $\kappa\le 7$.
We also compute the $F$-inducibility constant (the asymptotically maximum density of induced copies of $F$ in a graph of given order $n$) and obtain some corresponding structure results for three new graphs $F$ with $5$ vertices: the 3-edge star plus an isolated vertex, the 4-cycle plus an isolated vertex, and the 4-cycle with a pendant edge. - [89] arXiv:2507.01600 [pdf, html, other]
-
Title: The Klein-Gordon equation on asymptotically Minkowski spacetimes: the Feynman propagatorComments: 42 pages, 2 figuresSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Functional Analysis (math.FA)
We develop a theory of Feynman propagators for the massive Klein--Gordon equation with asymptotically static perturbations. Building on our previous work on the causal propagators, we employ a framework based on propagation of singularities estimates in Vasy's 3sc-calculus. We combine these estimates to prove global spacetime mapping properties for the Feynman propagator, and to show that it satisfies a microlocal Hadamard condition.
We show that the Feynman propagator can be realized as the inverse of a mapping between appropriate $L^2$-based Sobolev spaces with additional regularity near the asymptotic sources of the Hamiltonian flow, realized as a family of radial points on a compactified spacetime. - [90] arXiv:2507.01610 [pdf, html, other]
-
Title: Sphereabout: A Spherical Intersection Design for Networked Urban Air MobilityComments: Proceedings of 2025 IEEE Intelligent Transportation Systems ConferenceSubjects: Optimization and Control (math.OC)
Urban aerial mobility is rapidly expanding, specifically on-demand Unmanned Aerial Vehicle (UAV) delivery services in urban environments. This necessitates management of the low-altitude airspace network to ensure smooth and safe traffic throughput. This study introduces a novel three-dimensional aerial network design inspired by a terrestrial transportation graph network for UAV networked mobility. Utilizing two-way tube corridors for node-to-node delivery and a spherical roundabout model, as "Sphereabout", to optimize the traffic flow through the spherical intersection. Through this architecture, three-dimensional conflict-free air mobility management can be achieved via numerical experiments and utilizing the geometrical features of this intersection.
- [91] arXiv:2507.01614 [pdf, html, other]
-
Title: Gröbner-Shirshov bases of Rota-Baxter algebra of weight $λ$ with spectrum lying in $\{0,-λ\}$Comments: arXiv admin note: text overlap with arXiv:1903.02960 by other authorsSubjects: Rings and Algebras (math.RA)
It is known that if $A$ is a finite-dimensional unital algebra equipped with a Rota-Baxter operator $R$ of weight $\lambda$, then spectrum of $R$ is a subset of $\{0,-\lambda\}$. We are interested on finding all consequences of the Rota-Baxter relation and the relation of the form $R^k(R+\lambda{\rm id})^l = 0$. In 2024, H.~Qiu, S. Zheng, Y. Dan solved this problem for $k = l = 1$ and $\lambda\neq0$. We find a Gröbner-Shirshov basis of the ideal generated by these two relations in general case.
- [92] arXiv:2507.01618 [pdf, html, other]
-
Title: A Thermodynamically Consistent Free Boundary Model for Two-Phase Flows in an Evolving Domain with Moving Contact Lines, Variable Contact Angles and Bulk-Surface InteractionSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Fluid Dynamics (physics.flu-dyn)
We derive a thermodynamically consistent model, which describes the time evolution of a two-phase flow in an evolving domain. The movement of the free boundary of the domain is driven by the velocity field of the mixture in the bulk, which is determined by a Navier--Stokes equation. In order to take interactions between bulk and boundary into account, we further consider two materials on the boundary, which may be the same or different materials as those in the bulk. The bulk and the surface materials are represented by respective phase-fields, whose time evolution is described by a bulk-surface convective Cahn--Hilliard equation. This approach allows for a transfer of material between bulk and surface as well as variable contact angles between the diffuse interface in the bulk and the boundary of the domain. To provide a more accurate description of the corresponding contact line motion, we include a generalized Navier slip boundary condition on the velocity field. We derive our model from scratch by considering local mass balance and energy dissipation laws. Finally, the derivation is completed via the Langrange multiplier approach. We further show that our model generalizes previous models from the literature, which can be recovered from our system by either dropping the dynamic boundary conditions or assuming a static boundary of the domain.
- [93] arXiv:2507.01623 [pdf, html, other]
-
Title: FitzHugh-Naguma equation: from global dynamics to slow-fast syetemSubjects: Dynamical Systems (math.DS)
We concentrate our attention on the qualitative study of the phase portraits of the three-parameter FitzHugh-Nagumo family and its compactification. We divide the study into three scenarios based on the parameters. One of the scenarios is characterised by the existence of a double-zero bifurcation with Z2 symmetry (a singularity of codimension two). In this case, we explicitly exhibit the pitchfork, Hopf, Belyakov, and double homoclinic bifurcation/transition curves unfolding the singularity of codimension two and plot the bifurcation diagrams. We bridge this analysis with the theory on the associated slow-fast family and the existence of canards. We complete our study with the global compactification of the phase portraits for the family under consideration. This study complements the work summarised in Georgescu, Rocsoreanu and Giurgic Teanu, "Global Bifurcations in FitzHugh-Nagumo Model", Trends in Mathematics: Bifurcations, Symmetry and Patterns (2003).
- [94] arXiv:2507.01632 [pdf, html, other]
-
Title: Approximate Peregrine Solitons in Dispersive Nonlinear Wave EquationsSubjects: Analysis of PDEs (math.AP)
The purpose of this short note is to explain how the existing results on the validity of the NLS approximation can be extended from Sobolev spaces $H^s(\mathbb{R})$ to the spaces of functions $u = v + w$ where $v \in H_{per}^s$ and $w \in H^s(\mathbb{R})$. This allows us to use the Peregrine solution of the NLS equation to find freak or rogue wave dynamics in more complicated systems.
- [95] arXiv:2507.01637 [pdf, html, other]
-
Title: Free loop spaces and the Cauchy--Frobenius LemmaComments: 4 pagesSubjects: Algebraic Topology (math.AT); Category Theory (math.CT); Group Theory (math.GR)
We upgrade the Cauchy--Frobenius Lemma (`Burnside's Lemma') to a homotopy equivalence of $\infty$-groupoids, essentially given by double counting/Fubini in the free loop space of the quotient.
- [96] arXiv:2507.01639 [pdf, html, other]
-
Title: Geometric invariants of TDLC completionsComments: 38 pages, 2 figuresSubjects: Group Theory (math.GR)
Recently, Bonn and Sauer showed that, from the point of view of compactness properties, the Schlichting completion of a Hecke pair $(\Gamma,\Lambda)$ behaves precisely as if it were the quotient of $\Gamma$ by $\Lambda$. Motivated by this result, we prove that a similar phenomenon holds for the $\Sigma$-sets. More generally, we relate the $\Sigma$-sets of every TDLC completion of a Hecke pair $(\Gamma,\Lambda)$ to the $\Sigma$-sets of $\Gamma$ whenever $\Lambda$ satisfies suitable compactness properties. We provide applications to TDLC completions of Baumslag-Solitar groups and certain groups of upper triangular matrices studied by Schesler.
- [97] arXiv:2507.01641 [pdf, html, other]
-
Title: Joint Spatial Division and Multiplexing with Customized Orthogonal Group Channels in Multi-RIS-Assisted SystemsComments: This work has been submitted to the IEEE for possible publicationSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Reconfigurable intelligent surfaces (RISs) offer the unique capability to reshape the radio environment, thereby simplifying transmission schemes traditionally contingent on channel conditions. Joint spatial division and multiplexing (JSDM) emerges as a low-overhead transmission scheme for multi-user equipment (UE) scenarios, typically requiring complex matrix decomposition to achieve block-diagonalization of the effective channel matrix. In this study, we introduce an innovative JSDM design that leverages RISs to customize channels, thereby streamlining the overall procedures. By strategically positioning RISs at the discrete Fourier transform (DFT) directions of the base station (BS), we establish orthogonal line-of-sight links within the BS-RIS channel, enabling a straightforward pre-beamforming design. Based on UE grouping, we devise reflected beams of the RIS with optimized directions to mitigate inter-group interference in the RISs-UEs channel. An approximation of the channel cross-correlation coefficient is derived and serves as a foundation for the RISs-UEs association, further diminishing inter-group interference. Numerical results substantiate the efficacy of our RIS-customized JSDM in not only achieving effective channel block-diagonalization but also in significantly enhancing the sum spectral efficiency for multi-UE transmissions.
- [98] arXiv:2507.01642 [pdf, html, other]
-
Title: On the Vanishing Viscosity Limit for Inhomogeneous Incompressible Navier-Stokes Equations on Bounded DomainsComments: 14 pagesSubjects: Analysis of PDEs (math.AP)
In this paper we study the vanishing viscosity limit for the inhomogeneous incompressible Navier-Stokes equations on bounded domains with no-slip boundary condition in two or three space dimensions. We show that, under suitable assumptions on the density, we can establish the convergence in energy space of Leray-Hopf type solutions of the Navier-Stokes equation to a smooth solution of the Euler equations if and only if the energy dissipation vanishes on a boundary layer with thickness proportional to the viscosity. This extends Kato's criterion for homogeneous Navier-Stokes equations to the inhomogeneous case. We use a new relative energy functional in our proof.
- [99] arXiv:2507.01647 [pdf, html, other]
-
Title: The half-space problem of evaporation and condensation for polyatomic gases and entropy inequalitiesComments: 30 pages, 7 figuresSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
This study investigates the steady Boltzmann equation in one spatial variable for a polyatomic single-component gas in a half-space. Inflow boundary conditions are assumed at the half-space boundary, where particles entering the half-space are distributed as a Maxwellian, an equilibrium distribution characterized by macroscopic parameters of the boundary. At the far end, the gas tends to an equilibrium distribution, which is also Maxwellian. Using conservation laws and an entropy inequality, we derive relations between the macroscopic parameters of the boundary and at infinity required for the existence of solutions. The relations vary depending on the sign of the Mach number at infinity, which dictates whether evaporation or condensation takes place at the interface between the gas and the condensed phase. We explore the obtained relations numerically. This investigation reveals that, although the relations are qualitatively similar for various internal degrees of freedom of the gas, clear quantitative differences exist.
- [100] arXiv:2507.01650 [pdf, html, other]
-
Title: Quasi-triangular, factorizable dendriform bialgebras and relative Rota-Baxter operatorsComments: arXiv admin note: substantial text overlap with arXiv:2504.05656Subjects: Rings and Algebras (math.RA)
We introduce a notion of quasi-triangular anti-dendriform bialgebras, which can be induced by the solutions of the AD-YBE whose symmetric parts are invariant. A factorizable anti-dendriform bialgebra leads to a factorization of the underlying anti-dendriform algebra. Moreover, relative Rota-Baxter operators with weights are introduced to characterize the solutions of the AD-YBE whose symmetric parts are invariant. Finally, we interpret factorizable anti-dendriform bialgebras in terms of quadratic Rota-Baxter anti-dendriform algebras.
- [101] arXiv:2507.01655 [pdf, html, other]
-
Title: Almost Calabi-Yau with torsion 6-manifolds and the instanton conditionComments: 22 pages, no figuresSubjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th)
It is observed that on a compact almost complex Calabi-Yau with torsion (ACYT) 6-manifold with co-closed Lee form the curvature of the torsion connection is an $SU(3)$-instanton if and only if the torsion is parallel with respect to the torsion connection. The same conclusion holds for any (non necessarily compact) balanced ACYT 6-manifold. In particular, on a CYT 6-manifold the Strominger-Bismut connection is an $SU(3)$-instanton if and only if the torsion is parallel with respect to the Strominger-Bismut connection provided either the CYT 6-manifold is compact with co-closed Lee form or it is a balanced CYT 6-manifold.
- [102] arXiv:2507.01656 [pdf, html, other]
-
Title: The Kobayashi pseudometric in the presence of log-terminal singularitiesComments: 3 pages, comments welcome!Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
We show that the Kobayashi pseudometric is well-behaved under resolution of log-terminal singularities. This answers a question of Kamenova and Lehn.
- [103] arXiv:2507.01661 [pdf, html, other]
-
Title: On some Fréchet spaces associated to the functions satisfying Mulholland inequalitySubjects: Functional Analysis (math.FA); Metric Geometry (math.MG)
In this article we explore a new growth condition on Young functions, which we call Mulholland condition, pertaining to the mathematician H.P Mulholland, who studied these functions for the first time, albeit in a different context. We construct a non-trivial Young function $\Omega$ which satisfies Mulholland condition and $\Delta_2$-condition. We then associate exotic $F$-norms to the vector space $X_1\oplus X_2$, where $X_1$ and $X_2$ are Banach spaces, using the function $\Omega$. This $F$-spaces contains the Banach space $X_1$ and $X_2$ as a maximal Banach subspace. Further, the Banach envelope $(X_1\oplus X_2,||.||_{\Omega_o})$ of this $F$-space corresponds to the Young function $\Omega_o$ who characteristic function is an asymptotic line to the characteristic function of the Young function $\Omega$. Thus these $F$-spaces serves as "interpolation space" for Banach spaces $X_1$ and $(X_1\oplus X_2, ||.||_{\Omega_o})$ in some sense. These $F$-space are well behaved in regards to Hahn-Banach extension property, which is lacking in classical $F$-spaces like $L^p$ and $H^p$ for $0<p<1$. Towards the end, some direct sums for Orlicz spaces are discussed.
- [104] arXiv:2507.01662 [pdf, html, other]
-
Title: Not OCA and products of Frechet spacesComments: 16 pagesSubjects: General Topology (math.GN); Logic (math.LO)
We continue the investigation of the question of whether the product of two countable Fréchet spaces must be M-separable. We are especially interested in this question in the presence of Martin's Axiom. The question has been shown to be independent of Martin's Axiom but only in models in which $\mathfrak c\leq\omega_2$. In fact, OCA implies an affirmative answer.
- [105] arXiv:2507.01665 [pdf, html, other]
-
Title: Askey-Wilson polynomial and genus-two skein moduleComments: 10 pages, 1 figureSubjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Geometric Topology (math.GT)
Based on the q-difference operators for the genus-two skein algebra, we show the correspondence between the reduced Askey-Wilson polynomials and the skein module of the genus-two handlebody.
- [106] arXiv:2507.01669 [pdf, html, other]
-
Title: The Szczarba map and the cubical cobar constructionComments: 26 pagesSubjects: Algebraic Topology (math.AT)
We consider a twisting function from a 1-reduced simplicial set $X$ to a simplicial group $G$. We prove in detail that the associated Szczarba operators induce a simplicial map from the triangulation of the cubical cobar construction of $X$ to $G$. This confirms a result due to Minichiello-Rivera-Zeinalian and gives, as pointed out by these authors, a conceptual proof of the fact that the dga map $\Omega\,C(X) \to C(G)$ induced by Szczarba's twisting cochain is comultiplicative.
- [107] arXiv:2507.01672 [pdf, html, other]
-
Title: Adjoints of Polytopes: Determinantal Representations and SmoothnessComments: 31 pages, comments welcomeSubjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th); Combinatorics (math.CO)
In this article we study determinantal representations of adjoint hypersurfaces of polytopes. We prove that adjoint polynomials of all polygons can be represented as determinants of tridiagonal symmetric matrices of linear forms with the matrix size being equal to the degree of the adjoint. We prove a sufficient combinatorial condition for a surface in the projective three-space to have a determinantal representation and use it to show that adjoints of all three-dimensional polytopes with at most eight facets and a simple facet hyperplane arrangement admit a determinantal representation. This includes all such polytopes with a smooth adjoint. We demonstrate that, starting from four dimensions, adjoint hypersurfaces may not admit linear determinantal representations. Along the way we prove that, starting from three dimensions, adjoint hypersurfaces are typically singular, in contrast to the two-dimensional case. We also consider a special case of interest to physics, the ABHY associahedron. We construct a determinantal representation of its universal adjoint in three dimensions and show that in higher dimensions a similarly structured representation does not exist.
- [108] arXiv:2507.01674 [pdf, other]
-
Title: Conformal Green functions and Yamabe metrics of Sobolev regularityComments: 79 pages. Any comments are welcomeSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
We provide a full resolution of the Yamabe problem on closed 3-manifolds for Riemannian metrics of Sobolev class $W^{2,q}$ with $q > 3$. This requires developing an elliptic theory for the conformal Laplacian for rough metrics and establishing existence, regularity and a delicate blow-up analysis for its Green function. Most of the analytical work is carried out in dimensions $n \geq 3$ and for $W^{2,q}$ Riemannian metrics with $q>\tfrac{n}{2}$ and should be of independent interest.
- [109] arXiv:2507.01681 [pdf, html, other]
-
Title: Sharp remainder of the $L^{p}$-Poincaré inequality for Baouendi-Grushin vector fieldsComments: 16 pagesSubjects: Analysis of PDEs (math.AP)
In this paper, we establish a sharp remainder formula for the Poincaré inequality for Baouendi-Grushin vector fields in the setting of $L^{p}$ for complex-valued functions. In special cases, we recover previously known results. Additionally, we provide estimates of the remainder term for $p\geq2$ and $1<p<2\leq n<\infty$. As an application, we obtain a blow-up in finite time and global existence of the positive solutions to the initial-boundary value problem of the doubly nonlinear porous medium equation involving a degenerate nonlinear operator $\Delta_{\gamma,p}$.
- [110] arXiv:2507.01685 [pdf, html, other]
-
Title: Half Spatially Coupled Turbo-Like CodesComments: This is an extended version of conference paper "Half Spatially Coupled Turbo-Like Codes" accepted by 2025 IEEE Information Theory WorkshopSubjects: Information Theory (cs.IT)
This paper presents a new class of spatially coupled turbo-like codes (SC-TCs), namely half spatially coupled braided convolutional codes (HSC-BCCs) and half spatially coupled parallel concatenated codes (HSC-PCCs). Different from the conventional SC-TCs, the proposed codes have simpler and deterministic coupling structures. Most notably, the coupling of HSC-BCCs is performed by re-encoding the whole coupling sequence in the component encoder of one time instant, rather than spreading the coupling bits to component encoders of multiple time instants. This simplification not only addresses the window decoding threshold loss issue in existing BCCs, but also allows the proposed codes to attain very close-to-capacity performance with a coupling memory as small as 2. Both theoretical and numerical results are provided to demonstrate the performance advantages of the proposed codes over existing spatially coupled codes.
- [111] arXiv:2507.01708 [pdf, html, other]
-
Title: Functional central limit theorems for the dynamic elephant random walkSubjects: Probability (math.PR)
We prove functional central limit theorems for the dynamic elephant random walk in the $\sqrt{n}$ and $\sqrt{n\log n}$ orders, by applying the martingale convergence theorem and Karamata's theory of regular variation.
- [112] arXiv:2507.01709 [pdf, html, other]
-
Title: Entropic optimal transport beyond product reference couplings: the Gaussian case on Euclidean spaceComments: 32 pages, 4 figuresSubjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
The optimal transport problem with squared Euclidean cost consists in finding a coupling between two input measures that maximizes correlation. Consequently, the optimal coupling is often singular with respect to Lebesgue measure. Regularizing the optimal transport problem with an entropy term yields an approximation called entropic optimal transport. Entropic penalties steer the induced coupling toward a reference measure with desired properties. For instance, when seeking a diffuse coupling, the most popular reference measures are the Lebesgue measure and the product of the two input measures. In this work, we study the case where the reference coupling is not necessarily assumed to be a product. We focus on the Gaussian case as a motivating paradigm, and provide a reduction of this more general optimal transport criterion to a matrix optimization problem. This reduction enables us to provide a complete description of the solution, both in terms of the primal variable and the dual variables. We argue that flexibility in terms of the reference measure can be important in statistical contexts, for instance when one has prior information, when there is uncertainty regarding the measures to be coupled, or to reduce bias when the entropic problem is used to estimate the un-regularized transport problem. In particular, we show in numerical examples that choosing a suitable reference plan allows to reduce the bias caused by the entropic penalty.
- [113] arXiv:2507.01716 [pdf, html, other]
-
Title: Embedding a Praeger-Xu graph into a surfaceComments: 27 pagesSubjects: Combinatorics (math.CO); Group Theory (math.GR)
Rotary maps (orientably regular maps) are highly symmetric graph embeddings on orientable surfaces. This paper classifies all rotary maps whose underlying graphs are Praeger-Xu graphs, denoted $\operatorname{C}(p,r,s)$, for any odd prime $p$ that does not divide $r$. Our main result establishes a one-to-one correspondence between the isomorphism classes of these maps and the multiplicity-free representations of the dihedral group $\operatorname{D}_{2r}$ over the finite field $\mathbb{F}_p$. This work extends a recent classification for the case where $p=2$.
- [114] arXiv:2507.01729 [pdf, html, other]
-
Title: A trust-region framework for optimization using Hermite kernel surrogate modelsComments: 29 pagesSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
In this work, we present a trust-region optimization framework that employs Hermite kernel surrogate models. The method targets optimization problems with computationally demanding objective functions, for which direct optimization is often impractical due to expensive function evaluations. To address these challenges, we leverage a trust-region strategy, where the objective function is approximated by an efficient surrogate model within a local neighborhood of the current iterate. In particular, we construct the surrogate using Hermite kernel interpolation and define the trust-region based on bounds for the interpolation error. As mesh-free techniques, kernel-based methods are naturally suited for medium- to high-dimensional problems. Furthermore, the Hermite formulation incorporates gradient information, enabling precise gradient estimates that are crucial for many optimization algorithms. We prove that the proposed algorithm converges to a stationary point, and we demonstrate its effectiveness through numerical experiments, which illustrate the convergence behavior as well as the efficiency gains compared to direct optimization.
- [115] arXiv:2507.01730 [pdf, html, other]
-
Title: McKay bijections and character degreesSubjects: Representation Theory (math.RT); Group Theory (math.GR)
We propose a new refinement of the McKay conjecture and we prove it for symmetric groups.
- [116] arXiv:2507.01731 [pdf, html, other]
-
Title: On nefness of the lowest piece of Hodge modulesComments: Comments are welcome!Subjects: Algebraic Geometry (math.AG)
We give degree lower bounds for quotient line bundles of the lowest piece of a Hodge module induced by a variation of Hodge structures outside a simple normal crossing divisor. We also give sufficient conditions on when the lowest piece is nef. Classical results say when X is a curve or monodromies are unipotent, the lowest piece is a nef vector bundle on X. In dimension greater than or equal to two, if the monodromies at infinity are not unipotent there are counter-examples where nefness fails. This note aims at giving an explanation of failure of nefness. Our result is a lower bound on degrees of quotient line bundles of the pullback of the lowest piece to curves, in terms of local monodromy and intersection numbers with the boundary divisors. The proof uses twisted Hodge modules, which appears naturally when specializing the lowest piece to divisors. We also give geometric examples to show that the lower bound can be achieved.
- [117] arXiv:2507.01733 [pdf, html, other]
-
Title: A note on the uniqueness properties of solutions for the Schrödinger-Korteweg de Vries systemSubjects: Analysis of PDEs (math.AP)
In this work we prove that if $(u_i,v_i)$, $i=1,2$, are smooth enough solutions of the coupled Schrödinger-Korteweg-de Vries system \begin{align*} \left. \begin{array}{rl} i u_t+\partial_x^2 u &\hspace{-2mm}=\beta uv - |u|^2 u,\\ \partial_t v + \partial_x^3 v &\hspace{-2mm}=\gamma \partial_x |u|^2-\frac12\partial_x (v^2) \end{array} \right\} \end{align*} with appropriate decay at infinity such that at two different times $t_0=0$ and $t_1=1$ satisfy that $$u_1(0)-u_2(0),u_1(1)-u_2(1),v_1(0)-v_2(0),v_1(1)-v_2(1)\in H^1(e^{ax^{2}}dx),$$ for $a>0$ big enough, then $u_1=u_2$ and $v_1=v_2$.
(Let us recall that $f\in H^1(e^{ax^{2}} dx)$ iff $f\in L^2(e^{ax^{2}}dx)$ and $\partial_x f\in L^2(e^{ax^{2}}dx)$). - [118] arXiv:2507.01736 [pdf, html, other]
-
Title: An energy-based discontinuous Galerkin method for the wave equation with nonsmooth solutionsSubjects: Numerical Analysis (math.NA)
We develop a stable and high-order accurate discontinuous Galerkin method for the second order wave equation, specifically designed to handle nonsmooth solutions. Our approach integrates the energy-based discontinuous Galerkin method with the oscillation-free technique to effectively suppress spurious oscillations near solution discontinuities. Both stability analysis and apriori error estimates are established for common choices of numerical fluxes. We present a series of numerical experiments to confirm the optimal convergence rates for smooth solutions and its robustness in maintaining oscillation-free behavior for nonsmooth solutions in wave equations without or with nonlinear source terms.
- [119] arXiv:2507.01741 [pdf, html, other]
-
Title: High dimensional convergence rates for sparse precision estimators for matrix-variate dataSubjects: Statistics Theory (math.ST)
In several applications, the underlying structure of the data allows for the samples to be organized into a matrix variate form. In such settings, the underlying row and column covariance matrices are fundamental quantities of interest. We focus our attention on two popular estimators that have been proposed in the literature: a penalized sparse estimator called SMGM and a heuristic sample covariance estimator. We establish convergence rates for these estimators in relevant high-dimensional settings, where the row and column dimensions of the matrix are allowed to increase with the sample size. We show that high-dimensional convergence rate analyses for the SMGM estimator in previous literature are incorrect. We discuss the critical errors in these proofs, and present a different and novel approach.
- [120] arXiv:2507.01748 [pdf, html, other]
-
Title: Existence and concentration of nontrivial solutions for quasilinear Schrödinger equation with indefinite potentialSubjects: Analysis of PDEs (math.AP)
This paper is concerned with the quasilinear Schrödinger equation \begin{align*} -\Delta u+V(x)u+\frac{k}{2}\Delta(u^2)u=f(u)\quad \text{in}~~\mathbb{R}^N\text{,} \end{align*} where $N\geq 3$, $k>0$, $V\in C(\R)$ is an indefinite potential. Under structural conditions on the potential $V$ and the nonlinearity $f$, we establish the existence of a nontrivial solution through a combination of a local linking argument, Morse theory, and the Moser iteration. Moreover, if $f$ is odd, we obtain an unbounded sequence of nontrivial solutions via the symmetric Mountain Pass Theorem. Additionally, as $k\rightarrow0$, we analyze the concentration behavior of nontrivial solutions.
- [121] arXiv:2507.01760 [pdf, other]
-
Title: Dimension theory for the asymptotic couple of the field of logarithmic transseriesComments: 38 pages, 4 figuresSubjects: Logic (math.LO)
In this paper we completely characterize all dimension functions on all models of the theory $T_{\log}$ of the asymptotic couple of the field of logarithmic transseries (Dimension Theorem). This is done by characterizing the "small" $1$-variable definable sets (Small Sets Theorem). As a byproduct, we show that $T_{\log}$ is d-minimal and does not eliminate imaginaries. Separately, we provide an abstract criterion for d-minimality, which we use to observe some new examples of d-minimal expansions of valued fields.
- [122] arXiv:2507.01762 [pdf, html, other]
-
Title: Global Energy Minimization for Simplex Mesh Optimization: A Radius Ratio Approach to Sliver EliminationSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
The quality of simplex mesh is crucial for the stability and accuracy of numerical simulations in finite element analysis and computational geometry. However, the presence of sliver elements in 3D simplex mesh can severely impact the results. This paper presents a novel method based on a radius ratio energy function to optimize the quality of simplex mesh elements. This method can effectively eliminate sliver elements, thereby enhancing mesh this http URL gradient of the proposed energy function can be decomposed into a matrix-vector product. With minor processing, the matrix becomes symmetric positive definite, and this symmetric positive definite matrix can serve as a preconditioner to significantly accelerate the optimization process. Experimental results demonstrate that this method has significant advantages in eliminating sliver elements and improving mesh quality.
- [123] arXiv:2507.01766 [pdf, html, other]
-
Title: Reconfigurable Intelligent Surface aided Integrated-Navigation-and-Communication in Urban Canyons: A Satellite Selection ApproachSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This study investigates the application of a simultaneous transmitting and reflecting reconfigurable intelligent surface (STAR-RIS)-aided medium-Earth-orbit (MEO) satellite network for providing both global positioning services and communication services in the urban canyons, where the direct satellite-user links are obstructed. Superposition coding (SC) and successive interference cancellation (SIC) techniques are utilized for the integrated navigation and communication (INAC) networks, and the composed navigation and communication signals are reflected or transmitted to ground users or indoor users located in urban canyons. To meet diverse application needs, navigation-oriented (NO)-INAC and communication-oriented (CO)-INAC have been developed, each tailored according to distinct power allocation factors. We then proposed two algorithms, namely navigation-prioritized-algorithm (NPA) and communication-prioritized-algorithm (CPA), to improve the navigation or communication performance by selecting the satellite with the optimized position dilution of precision (PDoP) or with the best channel gain. The effectiveness of the proposed STAR-RIS-aided INAC network is quantified by analyzing the positioning error for navigation services and by evaluating communication performance through achievable ergodic rate metrics. Our satellite selection approach indicates that: the positioning services at the urban canyon users can be completed with the aid of STAR-RIS. 2) Additionally, it is observed that while a single STAR-RIS array can extend the navigational link, it fails to serve users in indoor scenarios, highlighting a limitation in the current system design.
- [124] arXiv:2507.01767 [pdf, other]
-
Title: Mind the jumps: when 2BSDEs meet semi-martingalesComments: 107 pagesSubjects: Probability (math.PR); Optimization and Control (math.OC)
We construct an aggregated version of the value processes associated with stochastic control problems, where the criterion to optimise is given by solutions to semi-martingale backward stochastic differential equations (BSDEs). The results can be applied to control problems where the triplet of semi-martingale characteristics is controlled in a possibly non-dominated case or where uncertainty about the characteristics is present in the optimisation. The construction also provides a time-consistent system of fully nonlinear conditional expectations on the Skorokhod space. We find the semi-martingale decomposition of the value function and characterise it as the solution to a semi-martingale second-order BSDE. The generality we seek allows for the treatment of controlled diffusions, pure-jump processes, and discrete-time processes in a unified setting.
- [125] arXiv:2507.01770 [pdf, other]
-
Title: GPU-based complete search for nonlinear minimization subject to boundsComments: 36 pages, 3 figuresSubjects: Numerical Analysis (math.NA); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS); Optimization and Control (math.OC)
This paper introduces a GPU-based complete search method to enclose the global minimum of a nonlinear function subject to simple bounds on the variables. Using interval analysis, coupled with the computational power and architecture of GPU, the method iteratively rules out the regions in the search domain where the global minimum cannot exist and leaves a finite set of regions where the global minimum must exist. For effectiveness, because of the rigor of interval analysis, the method is guaranteed to enclose the global minimum of the nonlinear function even in the presence of rounding errors. For efficiency, the method employs a novel GPU-based single program, single data parallel programming style to circumvent major GPU performance bottlenecks, and a variable cycling technique is also integrated into the method to reduce computational cost when minimizing large-scale nonlinear functions. The method is validated by minimizing 10 multimodal benchmark test functions with scalable dimensions, including the well-known Ackley function, Griewank function, Levy function, and Rastrigin function. These benchmark test functions represent grand challenges of global optimization, and enclosing the guaranteed global minimum of these benchmark test functions with more than 80 dimensions has not been reported in the literature. Our method completely searches the feasible domain and successfully encloses the guaranteed global minimum of these 10 benchmark test functions with up to 10,000 dimensions using only one GPU in a reasonable computation time, far exceeding the reported results in the literature due to the unique method design and implementation based on GPU architecture.
- [126] arXiv:2507.01778 [pdf, other]
-
Title: A Hybrid Ensemble Learning Framework for Image-Based Solar Panel ClassificationComments: 6 pagesSubjects: Information Theory (cs.IT); Computer Vision and Pattern Recognition (cs.CV)
The installation of solar energy systems is on the rise, and therefore, appropriate maintenance techniques are required to be used in order to maintain maximum performance levels. One of the major challenges is the automated discrimination between clean and dirty solar panels. This paper presents a novel Dual Ensemble Neural Network (DENN) to classify solar panels using image-based features. The suggested approach utilizes the advantages offered by various ensemble models by integrating them into a dual framework, aimed at improving both classification accuracy and robustness. The DENN model is evaluated in comparison to current ensemble methods, showcasing its superior performance across a range of assessment metrics. The proposed approach performs the best compared to other methods and reaches state-of-the-art accuracy on experimental results for the Deep Solar Eye dataset, effectively serving predictive maintenance purposes in solar energy systems. It reveals the potential of hybrid ensemble learning techniques to further advance the prospects of automated solar panel inspections as a scalable solution to real-world challenges.
- [127] arXiv:2507.01782 [pdf, html, other]
-
Title: Symbiotic Backscatter Communication: A Design Perspective on the Modulation Scheme of Backscatter DevicesComments: Submitted to IEEE TransSubjects: Information Theory (cs.IT)
Symbiotic Backscatter Communication (SBC) has emerged as a spectrum-efficient and low-power communication technology, where backscatter devices (BDs) modulate and reflect incident radio frequency (RF) signals from primary transmitters (PTs). While previous studies have assumed a circularly symmetric complex Gaussian (CSCG) distribution for the BD's signal, this assumption may not be practical because the high complexity of generating CSCG signals is not supported by the low-cost BD. In this paper, we address this gap by investigating SBC for two low-complexity modulation schemes, i.e., $M$-ary amplitude-shift keying (MASK) and $M$-ary phase-shift keying (MPSK), where BD's signals inherently deviate from CSCG distribution. Our goal is to derive the achievable rate of the PT and BD under the MASK/MPSK and to design MASK/MPSK modulation scheme for maximizing the PT's rate. Towards this end, we first derive the expressions of both the PT's rate and BD's rate. Theoretical results reveal that whether or not the BD improves the PT's rate depends on the phase of MASK/MPSK modulation, while the BD's rate is independent of this phase. We then formulate two optimization problems to maximize the PT's rate by adjusting the phase under the MASK and MPSK modulation schemes, respectively, and derive the optimal phases for each modulation scheme in closed forms. Simulation results demonstrate that the optimal phase of MASK/MPSK can ensure an improvement in the PT's rate, and reveal that a low-order ASK modulation is better than a low-order PSK for the BD in terms of improving PT's rate, especially when the direct link is not significantly weaker than the backscatter link in SBC.
- [128] arXiv:2507.01783 [pdf, html, other]
-
Title: ASTARS empowered Satellite Positioning Approach for Urban Canyons and Indoor EnvironmentsSubjects: Information Theory (cs.IT)
To mitigate the loss of satellite navigation signals in urban canyons and indoor environments, we propose an active simultaneous transmitting and reflecting reconfigurable intelligent surface (ASTARS) empowered satellite positioning approach. Deployed on building structures, ASTARS reflects navigation signals to outdoor receivers in urban canyons and transmits signals indoors to bypass obstructions, providing high-precision positioning services to receivers in non-line-of-sight (NLoS) areas. The path between ASTARS and the receiver is defined as the extended line-of-sight (ELoS) path and an improved carrier phase observation equation is derived to accommodate that. The receiver compensates for its clock bias through network time synchronization, corrects the actual signal path distance to the satellite-to-receiver distance through a distance correction algorithm, and determines its position by using the least squares (LS) method. Mathematical modeling of the errors introduced by the proposed method is conducted, followed by simulation analysis to assess their impact. Simulation results show that: 1) in areas where GNSS signals are blocked, with time synchronization accuracy within a 10 ns error range, the proposed method provides positioning services with errors not exceeding 4 m for both indoor and outdoor receivers, outperforming conventional NLoS methods with positioning errors of more than 7 m; 2) the additional errors introduced by the proposed method do not exceed 3 m for time synchronization errors within 10 ns, which includes the phase shift, beamwidth error, time synchronization errors, and satellite distribution errors, outperforming traditional NLoS methods, which typically produce positioning errors greater than 5 m.
- [129] arXiv:2507.01784 [pdf, html, other]
-
Title: Tor algebra of local rings with decomposable maximal idealSubjects: Commutative Algebra (math.AC)
Let $(R,{\frak{m}}_R)$ be a commutative noetherian local ring. Assuming that ${\frak{m}}_R=$$I\oplus J$ is a direct sum decomposition, where $I$ and $J$ are non-zero ideals of $R$, we describe the structure of the Tor algebra of $R$ in terms of the Tor algebras of the rings $R/I$ and $R/J$.
- [130] arXiv:2507.01789 [pdf, html, other]
-
Title: The inverse source problem of stochastic wave equationSubjects: Numerical Analysis (math.NA)
To address the ill-posedness of the inverse source problem for the one-dimensional stochastic Helmholtz equations without attenuation, this study develops a novel computational framework designed to mitigate this inherent challenge at the numerical implementation level. For the stochastic wave equation driven by a finite-jump Lévy process (assuming that its jump amplitude obeys a Gaussian distribution and the jump time interval obeys a Poisson distribution), this paper firstly establish the existence of a mild solution to its direct problem satisfying a particular stability estimate. Building upon these theoretical foundations, we further investigate the well-posedness of the inverse problem and develop a methodology to reconstruct the unknown source terms $f$ and $g$ using the data of the wave field at the final time point $u(x,T)$. This work not only provides rigorous theoretical analysis and effective numerical schemes for solving inverse source problems in these two specific classes of stochastic wave equations, but also offers new perspectives and methodological approaches for addressing a broader range of wave propagation inverse problems characterized by non-Gaussian stochastic properties. The proposed framework demonstrates significant relevance for characterizing physical phenomena influenced by jump-type stochastic perturbations, offering promising applications in diverse domains including but not limited to seismic wave propagation analysis and financial market volatility modeling.
- [131] arXiv:2507.01795 [pdf, html, other]
-
Title: Neural Entropy-stable conservative flux form neural networks for learning hyperbolic conservation lawsSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Mathematical Physics (math-ph)
We propose a neural entropy-stable conservative flux form neural network (NESCFN) for learning hyperbolic conservation laws and their associated entropy functions directly from solution trajectories, without requiring any predefined numerical discretization. While recent neural network architectures have successfully integrated classical numerical principles into learned models, most rely on prior knowledge of the governing equations or assume a fixed discretization. Our approach removes this dependency by embedding entropy-stable design principles into the learning process itself, enabling the discovery of physically consistent dynamics in a fully data-driven setting. By jointly learning both the numerical flux function and a corresponding entropy, the proposed method ensures conservation and entropy dissipation, critical for long-term stability and fidelity in the system of hyperbolic conservation laws. Numerical results demonstrate that the method achieves stability and conservation over extended time horizons and accurately captures shock propagation speeds, even without oracle access to future-time solution profiles in the training data.
- [132] arXiv:2507.01797 [pdf, other]
-
Title: On the Euler characteristic of weakly ordinary varieties of maximal Albanese dimensionComments: Comments welcome!Subjects: Algebraic Geometry (math.AG)
We show that a smooth proper weakly ordinary variety $X$ of maximal Albanese dimension satisfies $\chi(X, \omega_X) \geq 0$. We also show that if $X$ is not of general type, then $\chi(X, \omega_X) = 0$ and the Albanese image of $X$ is fibered by abelian varieties. The proof uses the positive characteristic generic vanishing theory developed by Hacon-Patakfalvi, as well as our recent Witt vector version of Grauert-Riemenschneider vanishing.
- [133] arXiv:2507.01812 [pdf, html, other]
-
Title: Numerical analysis of the convex relaxation of the barrier parameter functional of self-concordant barriersSubjects: Optimization and Control (math.OC)
Self-concordant barriers are essential for interior-point algorithms in conic programming. To speed up the convergence it is of interest to find a barrier with the lowest possible parameter for a given cone. The barrier parameter is a non-convex function on the set of self-concordant barriers on a given cone, and finding an optimal barrier amounts to solving a non-convex infinite-dimensional optimization problem. In this work we study the degradation of the optimal value of the problem when the problem is convexified, and provide an estimate of the accuracy of the convex relaxation. The amount of degradation can be computed by comparing a 1-parameter family of non-convex bodies in $R^3$ with their convex hulls. Our study provides insight into the degree of non-convexity of the problem and opens up the possibility of constructing suboptimal barriers by solving the convex relaxation
- [134] arXiv:2507.01818 [pdf, html, other]
-
Title: Schauder-type estimates and applicationsJournal-ref: In M. Chipot and P. Quittner (eds.). Handbook of Differential Equations: Stationary Partial Differential Equations, 3, Elsevier, pp.401-464, 2006Subjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
The Schauder estimates are among the oldest and most useful tools in the modern theory of elliptic partial differential equations (PDEs). Their influence may be felt in practically all applications of the theory of elliptic boundary-value problems, that is, in fields such as nonlinear diffusion, potential theory, field theory or differential geometry and its applications. Schauder estimates give Hölder regularity estimates for solutions of elliptic problems with Hölder continuous data; they may be thought of as wide-ranging generalizations of estimates of derivatives of an analytic function in the interior of its domain of analyticity and play a role comparable to that of Cauchy's theory in function theory. They may be viewed as converses to the mean-value theorem: a bound on the solution gives a bound on its derivatives. Schauder theory has strongly contributed to the modern idea that solving a PDE is equivalent to obtaining an a priori bound that is, trying to estimate a solution before any solution has been constructed. The chapter presents the complete proofs of the most commonly used theorems used in actual applications of the estimates.
- [135] arXiv:2507.01836 [pdf, html, other]
-
Title: $p$-adic moments of $L$-functionsComments: arXiv admin note: text overlap with arXiv:2310.20678Subjects: Number Theory (math.NT)
We obtain a formula for the $p$-adic valuation of weighted moments of central $L$-values of holomorphic cusp forms twisted by Dirichlet characters of order $p$. In some cases we give an arithmetic interpretation of the constants in the formula. The result is obtained via the study of the digit map, turning a horizontal $p$-adic measure into a vertical one, applied to the horizontal $p$-adic $L$-functions as defined by the authors in previous work.
- [136] arXiv:2507.01839 [pdf, html, other]
-
Title: On the proofs of Leighton's Graph Covering Theorem and a notion dual to commensurabilityComments: This is a preliminary submission. I would be very interested if anybody can suggest interesting applicationsSubjects: Group Theory (math.GR)
Leighton's Graph Covering Theorem states that if two finite graphs have the same universal covering tree, then they also have a common finite degree cover. Bass and Kulkarni gave an alternative proof of this fact using tree lattices. We give an example of two graphs that admit a common finite cover which can not be obtained using tree lattice techniques. The argument naturally leads to the question of when a commensuration can be induced by an embedding into a common finite index overgroup. We give necessary and sufficient conditions for when this is possible.
- [137] arXiv:2507.01845 [pdf, html, other]
-
Title: Martingales and Path-Dependent PDEs via Evolutionary SemigroupsComments: 36 pages, no figuresSubjects: Probability (math.PR); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
In this article, we develop a semigroup-theoretic framework for the analytic characterisation of martingales with path-dependent terminal conditions. Our main result establishes that a measurable adapted process of the form \[ V(t) - \int_0^t\Psi(s)\, ds \] is a martingale with respect to an expectation operator $\mathbb{E}$ if and only if a time-shifted version of $V$ is a mild solution of a final value problem involving a path-dependent differential operator that is intrinsically connected to $\mathbb{E}$. We prove existence and uniqueness of strong and mild solutions for such final value problems with measurable terminal conditions using the concept of evolutionary semigroups. To characterise the compensator $\Psi$, we introduce the notion of $\mathbb{E}$-derivative of $V$, which in special cases coincides with Dupire's time derivative. We also compare our findings to path-dependent partial differential equations in terms of Dupire derivatives such as the path-dependent heat equation.
- [138] arXiv:2507.01847 [pdf, html, other]
-
Title: On $C$-Symmetric and $C$-Self-adjoint Unbounded Operators on Hilbert SpaceComments: 16 pagesSubjects: Functional Analysis (math.FA)
Let $C$ be a conjugation on a Hilbert space $\cH$. A densely defined linear operator $A$ on $\cH$ is called $C$-symmetric if $CAC\subseteq A^*$ and $C$-self-adjoint if $CAC=A^*$. Our main results describe all $C$-self-adjoint extensions of $A$ on $\cH$. Further, we prove a $C$-self-adjointness criterion based on quasi-analytic vectors and we characterize $C$-self-adjoint operators in terms of their polar decompositions.
- [139] arXiv:2507.01851 [pdf, html, other]
-
Title: On the Visibility Polynomial of GraphsComments: 12 pages, 3 figures, 1 table, 1 algorithmSubjects: Combinatorics (math.CO)
Let G(V,E) be a simple graph and let X subset of V. Two vertices u and v are said to be X-visible if there exists a shortest u,v-path P such that V(P) intersection X is a subset of {u, v}. A set X is called a mutual-visibility set of G if every pair of vertices in X are X-visible. The visibility polynomial of a graph G is defined as nu (G)=sum_{i >= 0} r_i x^i, where r_i denotes the number of mutual-visibility sets in G of cardinality i. In the present paper, the visibility polynomial is studied for some well-known classes of graphs. In particular, the instance at which the number of maximal mutual-visibility sets is equal for cycle graphs is identified. The visibility polynomial of the join of two graphs is studied. The algorithm for computing the visibility polynomial of a graph has been identified to have a time complexity of O(n^3.2^n) making the problem computationally intensive for larger graphs.
- [140] arXiv:2507.01852 [pdf, html, other]
-
Title: Predictive Energy Management for Mitigating Load Altering Attacks for Islanded Microgrids Using Battery Energy Storage SystemsComments: Accepted for Publication in ASME letters-MECC 2025 joint submissionSubjects: Optimization and Control (math.OC)
An increasing number of smart devices controlling loads opens a potential pathway for false data attacks which could alter the loads. The presence of energy storage with its ability to quickly respond to discrepancies in loads offers a promising solution for security by preventing further instabilities and potential blackouts. This paper proposes a control methodology for secure predictive energy management that uses batteries to mitigate the impact of load-altering attacks. To that extent, we develop a microgrid model along with the primary control for microgrid. The developed models and the optimization algorithm are validated through a real-time numerical simulation of a modified IEEE 9 bus system involving a battery as one of the energizing sources. The results show the effectiveness of the battery in countering the load alterations.
- [141] arXiv:2507.01854 [pdf, html, other]
-
Title: Regularity Conditions for Critical Point ConvergenceComments: For supplementary material see this https URLSubjects: General Topology (math.GN); Probability (math.PR); Statistics Theory (math.ST)
We focus on a sequence of functions $\{f_n\}$, defined on a compact manifold with boundary $S$, converging in the $C^k$ metric to a limit $f$. A common assumption implicitly made in the empirical sciences is that when such functions represent random processes derived from data, the topological features of $f_n$ will eventually resemble those of $f$. In this work, we investigate the validity of this claim under various regularity assumptions, with the goal of finding conditions sufficient for the number of local maxima, minima and saddle of such functions to converge. In the $C^1$ setting, we do so by employing lesser-known variants of the Poincaré-Hopf and mountain pass theorems, and in the $C^2$ setting we pursue an approach inspired by the homotopy-based proof of the Morse Lemma. To aid practical use, we end by reformulating our central theorems in the language of the empirical processes.
- [142] arXiv:2507.01859 [pdf, html, other]
-
Title: A hierarchical invariant for line bundles and its applications in algebraic geometry codesComments: All comments are welcomeSubjects: Algebraic Geometry (math.AG); Information Theory (cs.IT); Commutative Algebra (math.AC)
We introduce the notion of hierarchical depth for line bundles on smooth projective surfaces, defined via filtrations by line subbundles with successive quotients supported on effective divisors. This invariant helps to investigate both the algebraic and geometric complexity of line bundles through discrete stepwise constructions. We study some of its basic properties, including functorial behavior under restriction to curves and compatibility with ampleness and base-point freeness. Applying this framework to algebraic geometry (AG) codes, we show that hierarchical filtrations yield natural code families whose combinatorial parameters (dimension, minimum distance) evolve predictably across the filtration.
- [143] arXiv:2507.01866 [pdf, html, other]
-
Title: On the asymptotic behavior of a higher-order extrapolation primal-dual interior-point method for nonlinear programmingComments: 21 pages, 2 figuresSubjects: Optimization and Control (math.OC)
A trajectory-following primal--dual interior-point method solves nonlinear optimization problems with inequality and equality constraints by approximately finding points satisfying perturbed Karush--Kuhn--Tucker optimality conditions for a decreasing order of perturbation controlled by the barrier parameter. Under some conditions, there is a unique local correspondence between small residuals of the optimality conditions and points yielding that residual, and the solution on the barrier trajectory for the next barrier parameter can be approximated using an approximate solution for the current parameter. A framework using higher-order derivative information of the correspondence is analyzed in which an extrapolation step to the trajectory is first taken after each decrease of the barrier parameter upon reaching a sufficient approximation. It suffices asymptotically to only take extrapolation steps for convergence at the rate the barrier parameter decreases with when using derivative information of high enough order. Numerical results for quadratic programming problems are presented using extrapolation as accelerator.
- [144] arXiv:2507.01869 [pdf, html, other]
-
Title: De Morgan's law in toposes IComments: 51 pagesSubjects: Category Theory (math.CT); Logic (math.LO)
We study toposes satisfying De Morgan's law, in particular we give characterizations of geometric theories whose classifying topos is De Morgan, clarifying the link with the amalgamation property of the category of models of such theory. We then give several ways of turning a topos into a De Morgan topos.
- [145] arXiv:2507.01871 [pdf, html, other]
-
Title: On vector-valued functional equations with multiple recursive termsComments: arXiv admin note: text overlap with arXiv:2404.10361Subjects: Probability (math.PR)
In this paper, we study a vector-valued functional equation that arises naturally when we are dealing with vector-valued multiplicative Lindley-type recursions. Our work is strongly motivated by a wide range of semi-Markovian queueing, and autoregressive processes.
- [146] arXiv:2507.01876 [pdf, html, other]
-
Title: Joint Power Control and Precoding for Cell-Free Massive MIMO Systems With Sparse Multi-Dimensional Graph Neural NetworksComments: 5 pages, 5 figuresSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
Cell-free massive multiple-input multiple-output (CF mMIMO) has emerged as a prominent candidate for future networks due to its ability to significantly enhance spectral efficiency by eliminating inter-cell interference. However, its practical deployment faces considerable challenges, such as high computational complexity and the optimization of its complex processing. To address these challenges, this correspondence proposes a framework based on a sparse multi-dimensional graph neural network (SP-MDGNN), which sparsifies the connections between access points (APs) and user equipments (UEs) to significantly reduce computational complexity while maintaining high performance. In addition, the weighted minimum mean square error (WMMSE) algorithm is introduced as a comparative method to further analyze the trade-off between performance and complexity. Simulation results demonstrate that the sparse method achieves an optimal balance between performance and complexity, significantly reducing the computational complexity of the original MDGNN method while incurring only a slight performance degradation, providing insights for the practical deployment of CF mMIMO systems in large-scale network.
- [147] arXiv:2507.01877 [pdf, other]
-
Title: Action of the Witt algebra on categorified quantum groupsComments: 18 pages with Tikz figuresSubjects: Quantum Algebra (math.QA); Geometric Topology (math.GT); Representation Theory (math.RT)
We construct an action of the positive Witt algebra on the categorified quantum group associated to a simply-laced Lie algebra. In the type A case, we show that this action induces an action of the positive Witt algebra on $\mathfrak{gl}_n$-foams, recovering the action of Qi, Robert, Sussan, and Wagner. We also show that this construction is compatible with the trace decategorification, inducing the action of the positive Witt algebra on the current algebra.
- [148] arXiv:2507.01885 [pdf, html, other]
-
Title: Faber polynomials in a deltoid region and power iteration momentum methodsComments: 21 pages, 2 figuresSubjects: Numerical Analysis (math.NA); Classical Analysis and ODEs (math.CA); Probability (math.PR)
We consider a region in the complex plane enclosed by a deltoid curve inscribed in the unit circle, and define a family of polynomials $P_n$ that satisfy the same recurrence relation as the Faber polynomials for this region. We use this family of polynomials to give a constructive proof that $z^n$ is approximately a polynomial of degree $\sim\sqrt{n}$ within the deltoid region. Moreover, we show that $|P_n| \le 1$ in this deltoid region, and that, if $|z| = 1+\varepsilon$, then the magnitude $|P_n(z)|$ is at least $\frac{1}{3}(1+\sqrt{\varepsilon})^n$, for all $\varepsilon > 0$. We illustrate our polynomial approximation theory with an application to iterative linear algebra. In particular, we construct a higher-order momentum-based method that accelerates the power iteration for certain matrices with complex eigenvalues. We show how the method can be run dynamically when the two dominant eigenvalues are real and positive.
- [149] arXiv:2507.01890 [pdf, html, other]
-
Title: Muckenhoupt-weighted $L_q(L_p)$ boundedness for time-space fractional nonlocal operatorsSubjects: Analysis of PDEs (math.AP)
Based on the $\phi(\Delta)$-type operator studied by Kim \cite[\emph{Adv.~Math.}]{Kim2}, where $\phi$ is a Bernstein function, we establish weighted $L_{q}(L_{p})$ estimates for solutions to the following fractional evolution equation: $$ \partial_{t}^{\alpha}w(t,x) = \phi(\Delta)w(t,x) + h(t,x), \quad t > 0, \; x \in \mathbb{R}^{d}, $$ where $\partial_{t}^{\alpha}$ denotes the Caputo derivative of $0 < \alpha < 1$. To be specific, for all $1 < p, q < \infty$, we demonstrate that $$ \int_{0}^{\infty} \left( \int_{\mathbb{R}^{d}} \left| \phi(\Delta)w \right|^{p} \mu_{1}(x) \, dx \right)^{\frac{q}{p}} \mu_{2}(t) \, dt \leq C \int_{0}^{\infty} \left( \int_{\mathbb{R}^{d}} |h|^{p} \mu_{1}(x) \, dx \right)^{\frac{q}{p}} \mu_{2}(t) \, dt, $$ where $\mu_{1}(x) \in A_{p}(\mathbb{R}^{d})$ and $\mu_{2}(t) \in A_{q}(\mathbb{R})$ are \emph{Muckenhoupt} weights.~Our proof relies on harmonic analysis techniques, using fundamental tools including the \emph{Fefferman-Stein} inequality and \emph{Hardy-Littlewood} maximal estimates in weighted $L_q(L_p)$ spaces, and \emph{sharp function} estimates for solution operators. In particular, our results extend the work of Han and Kim (2020, J. Differ. Equ.,269:3515-3550) and complement the work of Dong (2023, Calc. Var. Partial Differ. Equ., 62:96).
- [150] arXiv:2507.01891 [pdf, html, other]
-
Title: A weighted divisor problem and exponential sumComments: 33 pagesSubjects: Number Theory (math.NT)
In this paper, we investigate a weighted divisor problem involving the exponential sum of $D_{(1)}(n)$, the $n$th coefficient in the Dirichlet series expansion of $\zeta'(s)^2$. We establish a truncated Voronoï type formula for the error term of $\sum_{n\leq x}D_{(1)}(n)e(nh/k)$, analogous to the results obtained by Jutila. Utilizing this truncated formula, we derive a mean square estimate of the error term. In addition, we study the associated Riesz sum and the corresponding error term, along with its mean square estimate.
- [151] arXiv:2507.01898 [pdf, html, other]
-
Title: The Frobenius number corresponding to the squares of three consecutive Fibonacci numbers: comparison of three algorithmic processesComments: 18 pagesSubjects: Number Theory (math.NT); Group Theory (math.GR)
We compute the Frobenius number for numerical semigroups generated by the squares of three consecutive Fibonacci numbers. We achieve this by using and comparing three distinct algorithmic approaches: those developed by Ramírez Alfonsín and Rødseth ([15]), Rosales and García-Sánchez ([20]), and Tripathi ([26]).
- [152] arXiv:2507.01899 [pdf, html, other]
-
Title: Local Hölder Regularity for Quasilinear Elliptic Equations with Mixed Local-Nonlocal Operators, Variable Exponents, and WeightsComments: 30 pagesSubjects: Analysis of PDEs (math.AP)
We establish local boundedness and local Hölder continuity of weak solutions to the following prototype problem:
$$ -\operatorname{div}\left(|x|^{-2 \beta}|\nabla u|^{\mathbf{q}-2} \nabla u\right)+(-\Delta)_{p(\cdot, \cdot), \beta}^{s(\cdot, \cdot)} u=0 \quad \text { in } \quad \Omega, $$
where $\Omega \subset \mathbb{R}^n, n \geq 2$, is a bounded domain. The nonlocal operator is defined by
$$ (-\Delta)_{p(\cdot, \cdot), \beta}^{s(\cdot, \cdot)} u(x):=\mathrm{P} . \mathrm{V} . \int_{\Omega} \frac{|u(x)-u(y)|^{p(x, y)-2}(u(x)-u(y))}{|x-y|^{n+s(x, y) p(x, y)}} \frac{1}{|x|^\beta|y|^\beta} \mathrm{d} y $$
Here, $p: \Omega \times \Omega \rightarrow(1, \infty)$ and $s: \Omega \times \Omega \rightarrow(0,1)$ are measurable functions, $\mathbf{q}:=\operatorname{ess}_{\Omega \times \Omega} p$, and $0 \leq \beta<n$. Our approach is analytic and relies on an adaptation of the De Giorgi-Nash-Moser theory to a mixed local-nonlocal framework with variable exponents and weights. - [153] arXiv:2507.01917 [pdf, html, other]
-
Title: PDE-Constrained High-Order Mesh OptimizationComments: 22 pages, 14 figures, 3 tablesSubjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS)
We present a novel framework for PDE-constrained $r$-adaptivity of high-order meshes. The proposed method formulates mesh movement as an optimization problem, with an objective function defined as a convex combination of a mesh quality metric and a measure of the accuracy of the PDE solution obtained via finite element discretization. The proposed formulation achieves optimized, well-defined high-order meshes by integrating mesh quality control, PDE solution accuracy, and robust gradient regularization. We adopt the Target-Matrix Optimization Paradigm to control geometric properties across the mesh, independent of the PDE of interest. To incorporate the accuracy of the PDE solution, we introduce error measures that control the finite element discretization error. The implicit dependence of these error measures on the mesh nodal positions is accurately captured by adjoint sensitivity analysis. Additionally, a convolution-based gradient regularization strategy is used to ensure stable and effective adaptation of high-order meshes. We demonstrate that the proposed framework can improve mesh quality and reduce the error by up to 10 times for the solution of Poisson and linear elasto-static problems. The approach is general with respect to the dimensionality, the order of the mesh, the types of mesh elements, and can be applied to any PDE that admits well-defined adjoint operators.
- [154] arXiv:2507.01920 [pdf, html, other]
-
Title: Initial boundary value problem for a system derived from Eulerian droplet model for air particle flowJournal-ref: Journal of Mathematical Physics 66, 071504 (2025)Subjects: Analysis of PDEs (math.AP)
In this work, we study the initial boundary value problem for a non-strictly hyperbolic $2\times2$ system of equations in the quarter plane $x>0,t>0$ which is derived from Eulerian droplet model for air particle flow for velocity and volume fraction. We show the existence of weak asymptotic solutions to the initial value problem to the system using a regularisation, by a vanishing viscosity method when the initial velocity is bounded measurable, the initial volume fraction is integrable and the boundary data are bounded measurable. Here we use a generalization of the Hopf-Cole transformation. We also derive an explicit formula for the weak solution when the initial data are functions of bounded variation, the boundary datas are bounded and locally in the class of Lipschitz continuous functions. This construction involves the Hopf-Lax formula for the boundary value problem for the Burgers equation and the product of a bounded variation function with derivative of another bounded variation function using non-conservative Volpert product.
- [155] arXiv:2507.01928 [pdf, other]
-
Title: The independence and clique cover numbers of the squarefree graphComments: 13 pages, 3 figuresSubjects: Combinatorics (math.CO); Number Theory (math.NT)
We determine the largest subset $A\subseteq \{1,\dotsc,n\}$ such that for all $a,b\in A$, the product $ab$ is not squarefree. Specifically, the maximum size is achieved by the \emph{complement} of the odd squarefree numbers.
This resolves a problem of Paul Erdős and András Sárközy from 1992. - [156] arXiv:2507.01932 [pdf, html, other]
-
Title: A first-order method for nonconvex-nonconcave minimax problems under a local Kurdyka-Łojasiewicz conditionComments: 26 pagesSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Numerical Analysis (math.NA); Machine Learning (stat.ML)
We study a class of nonconvex-nonconcave minimax problems in which the inner maximization problem satisfies a local Kurdyka-Łojasiewicz (KL) condition that may vary with the outer minimization variable. In contrast to the global KL or Polyak-Łojasiewicz (PL) conditions commonly assumed in the literature -- which are significantly stronger and often too restrictive in practice -- this local KL condition accommodates a broader range of practical scenarios. However, it also introduces new analytical challenges. In particular, as an optimization algorithm progresses toward a stationary point of the problem, the region over which the KL condition holds may shrink, resulting in a more intricate and potentially ill-conditioned landscape. To address this challenge, we show that the associated maximal function is locally Hölder smooth. Leveraging this key property, we develop an inexact proximal gradient method for solving the minimax problem, where the inexact gradient of the maximal function is computed by applying a proximal gradient method to a KL-structured subproblem. Under mild assumptions, we establish complexity guarantees for computing an approximate stationary point of the minimax problem.
- [157] arXiv:2507.01935 [pdf, html, other]
-
Title: A Frattini theory for evolution algebrasComments: 22 pagesSubjects: Rings and Algebras (math.RA)
This paper develops a Frattini theory for evolution algebras defining the Frattini subalgebra as the intersection of all maximal subalgebras, and the Frattini ideal as the largest ideal contained in it. To this end, we revisit the notion of nilradical, whose classical definition is not directly applicable in this setting, and propose the supersolvable nilradical as a suitable alternative. This leads to necessary and sufficient conditions for the triviality of the Frattini subalgebra and ideal. Finally, we also briefly examine the relevance of the Frattini ideal in the study of dually atomistic evolution algebras.
- [158] arXiv:2507.01948 [pdf, html, other]
-
Title: Deep BSVIEs Parametrization and Learning-Based ApplicationsComments: 30 pages, 26 figuresSubjects: Probability (math.PR)
We study the numerical approximation of backward stochastic Volterra integral equations (BSVIEs) and their reflected extensions, which naturally arise in problems with time inconsistency, path dependent preferences, and recursive utilities with memory. These equations generalize classical BSDEs by involving two dimensional time structures and more intricate dependencies.
We begin by developing a well posedness and measurability framework for BSVIEs in product probability spaces. Our approach relies on a representation of the solution as a parametrized family of backward stochastic equations indexed by the initial time, and draws on results of Stricker and Yor to ensure that the two parameter solution is well defined in a joint measurable sense.
We then introduce a discrete time learning scheme based on a recursive backward representation of the BSVIE, combining the discretization of Hamaguchi and Taguchi with deep neural networks. A detailed convergence analysis is provided, generalizing the framework of deep BSDE solvers to the two dimensional BSVIE setting. Finally, we extend the solver to reflected BSVIEs, motivated by applications in delayed recursive utility with lower constraints. - [159] arXiv:2507.01958 [pdf, html, other]
-
Title: Parallel-in-Time Preconditioning for Time-Dependent Variational Mean Field GamesSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
We study the numerical approximation of a time-dependent variational mean field game system with local couplings and either periodic or Neumann boundary conditions. Following a variational approach, we employ a finite difference discretization and solve the resulting finite-dimensional optimization problem using the Chambolle--Pock primal--dual algorithm. As this involves computing proximal operators and solving ill-conditioned linear systems at each iteration, we propose a general class of parallel-in-time preconditioners based on diagonalization techniques using discrete Fourier transforms. These enable efficient, scalable iterative solvers with robustness across a wide range of viscosities. We further develop fast solvers for the resulting ill-conditioned systems arising at each time step, using exact recursive schemes for structured grids while allowing for other geometries. Numerical experiments confirm the improved performance and parallel scalability of our approach.
New submissions (showing 159 of 159 entries)
- [160] arXiv:2211.12120 (cross-list from physics.class-ph) [pdf, other]
-
Title: Thermodynamically extended symplectic numerical simulation of viscoelastic, thermal expansion and heat conduction phenomena in solidsComments: 13 pages, 7 figures, 3 tablesJournal-ref: Continuum Mechanics and Thermodynamics, 2024Subjects: Classical Physics (physics.class-ph); Numerical Analysis (math.NA)
Symplectic numerical schemes for reversible dynamical systems predict the solution reliably over large times as well, and are a good starting point for extension to schemes for simulating irreversible situations like viscoelastic wave propagation and heat conduction coupled via thermal expansion occuring in rocks, plastics, biological samples etc. Dissipation error (artificial nonpreservation of energies and amplitudes) of the numerical solution should be as small as possible since it should not be confused with the real dissipation occuring in the irreversible system. In addition, the other well-known numerical artefact, dispersion error (artificial oscillations emerging at sharp changes), should also be minimal to avoid confusion with the true wavy behaviour. The continuum thermodynamical aspects (respect for balances with fluxes, systematic constitutive relationships between intensive quantities and fluxes, the second law of thermodynamics with positive definite entropy production, and the spacetime-based kinematic viewpoint) prove valuable for obtaining such extended schemes and for monitoring the solutions. Generalizing earlier works in this direction, here, we establish and investigate such a numerical scheme for one-dimensional viscoelastic wave propagation in the presence of heat conduction coupled via thermal expansion, demonstrating long-term reliability and the applicability of thermodynamics-based quantities in supervising the quality of the solution.
- [161] arXiv:2507.01036 (cross-list from cs.FL) [pdf, other]
-
Title: Systemic Constraints of UndecidabilityComments: Submitted version; includes appendices with formal definitions and structural embeddings. Prepared in Nature Computational Science format. Keywords: computability theory, undecidability, causal systems, structural closure, recursion theory, Turing machines, hypercomputation, metaundecidability, epistemic limits, consciousness, modeling limitsSubjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI); Logic (math.LO)
This paper presents a theory of systemic undecidability, reframing incomputability as a structural property of systems rather than a localized feature of specific functions or problems. We define a notion of causal embedding and prove a closure principle: any subsystem that participates functionally in the computation of an undecidable system inherits its undecidability. This result positions undecidability as a pervasive constraint on prediction, modeling, and epistemic access in both natural and artificial systems. Our framework disarms oracle mimicry and challenges the view that computational limits can be circumvented through architectural innovation. By generalizing classical results into a dynamic systems context, this work augments the logical trajectory of Gödel, Turing, and Chaitin, offering a new perspective of the topology of computability and its interrelation to the boundaries of scientific knowledge.
- [162] arXiv:2507.01044 (cross-list from stat.ML) [pdf, html, other]
-
Title: Asymptotic convexity of wide and shallow neural networksComments: 5 pagesSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Probability (math.PR)
For a simple model of shallow and wide neural networks, we show that the epigraph of its input-output map as a function of the network parameters approximates epigraph of a. convex function in a precise sense. This leads to a plausible explanation of their observed good performance.
- [163] arXiv:2507.01064 (cross-list from physics.data-an) [pdf, html, other]
-
Title: Functional Renormalization for Signal Detection: Dimensional Analysis and Dimensional Phase Transition for Nearly Continuous Spectra Effective Field TheoryComments: 34 pagesSubjects: Data Analysis, Statistics and Probability (physics.data-an); Statistical Mechanics (cond-mat.stat-mech); Information Theory (cs.IT); High Energy Physics - Theory (hep-th); Methodology (stat.ME)
Signal detection is one of the main challenges of data science. According to the nature of the data, the presence of noise may corrupt measurements and hinder the discovery of significant patterns. A wide range of techniques aiming at extracting the relevant degrees of freedom from data has been thus developed over the years. However, signal detection in almost continuous spectra, for small signal-to-noise ratios, remains a known difficult issue. This paper develops over recent advancements proposing to tackle this issue by analysing the properties of the underlying effective field theory arising as a sort of maximal entropy distribution in the vicinity of universal random matrix distributions. Nearly continuous spectra provide an intrinsic and non-conventional scaling law for field and couplings, the scaling dimensions depending on the energy scale. The coarse-graining over small eigenvalues of the empirical spectrum defines a specific renormalization group, whose characteristics change when the collective behaviour of "informational" modes become significant, that is, stronger than the intrinsic fluctuations of noise. This paper pursues three different goals. First, we propose to quantify the real effects of fluctuations relative to what can be called "signal", while improving the robustness of the results obtained in our previous work. Second, we show that quantitative changes in the presence of a signal result in a counterintuitive modification of the distribution of eigenvectors. Finally, we propose a method for estimating the number of noise components and define a limit of detection in a general nearly continuous spectrum using the renormalization group. The main statements of this paper are essentially numeric, and their reproducibility can be checked using the associated code.
- [164] arXiv:2507.01076 (cross-list from cs.CG) [pdf, html, other]
-
Title: Empirical Analysis Of Heuristic and Approximation Algorithms for the The Mutual-Visibility ProblemSubjects: Computational Geometry (cs.CG); Artificial Intelligence (cs.AI); Performance (cs.PF); Combinatorics (math.CO)
The NP-complete mutual-visibility (MV) problem currently lacks empirical analysis on its practical behaviour despite theoretical studies. This paper addresses this gap by implementing and evaluating three distinct algorithms - a direct greedy heuristic, a hypergraph-based approximation, and a genetic algorithm - on diverse synthetic graph datasets, including those with analytically known $\mu(G)$ values and general graph models. Our results demonstrate that for smaller graphs, the algorithms consistently achieve MV set sizes aligning with theoretical bounds. However, for larger instances, achieved solution sizes notably diverge from theoretical limits; this, combined with the absence of tight bounds, complicates absolute quality assessment. Nevertheless, validation on known optimal graphs showed the Genetic Algorithm and other heuristics empirically performing best among tested methods.
- [165] arXiv:2507.01118 (cross-list from cs.CR) [pdf, html, other]
-
Title: Quasi-twisted codes: decoding and applications in code-based cryptographySubjects: Cryptography and Security (cs.CR); Information Theory (cs.IT)
Quasi-twisted (QT) codes generalize several important families of linear codes, including cyclic, constacyclic, and quasi-cyclic codes. Despite their potential, to the best of our knowledge, there exists no efficient decoding algorithm for QT codes. In this work, we propose a syndrome-based decoding method capable of efficiently correcting up to (d* - 1)/2 errors, where d* denotes an HT-like lower bound on the minimum distance of QT codes, which we formalize here. Additionally, we introduce a Niederreiter-like cryptosystem constructed from QT codes. This cryptosystem is resistant to some classical attacks as well as some quantum attacks based on Quantum Fourier Sampling.
- [166] arXiv:2507.01142 (cross-list from hep-th) [pdf, other]
-
Title: Gauging Non-Invertible Symmetries in (2+1)d Topological OrdersComments: 93 pages; 27 figures;Subjects: High Energy Physics - Theory (hep-th); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
We present practical and formal methods for gauging non-invertible symmetries in (2+1)d topological quantum field theories. Along the way, we generalize various aspects of invertible 0-form gauging, including symmetry fractionalization, discrete torsion, and the fixed point theorem for symmetry action on lines. Our approach involves two complementary strands: the fusion of topological interfaces and Morita theory of fusion 2-categories. We use these methods to derive constraints on gaugeable symmetries and their duals while unifying the prescription for gauging non-invertible 0-form and 1-form symmetries and various higher structures. With a view toward recent advances in creating non-Abelian topological orders from Abelian ones, we give a simple recipe for non-invertible 0-form gauging that takes large classes of the latter to the former. We also describe conditions under which iterated gauging of invertible 0-form symmetries is equivalent to a single-step gauging of a non-invertible symmetry. We conclude with a set of concrete examples illustrating these various phenomena involving gauging symmetries of the infrared limit of the toric code.
- [167] arXiv:2507.01167 (cross-list from econ.EM) [pdf, html, other]
-
Title: Uniform Validity of the Subset Anderson-Rubin Test under Heteroskedasticity and NonlinearitySubjects: Econometrics (econ.EM); Statistics Theory (math.ST)
We consider the Anderson-Rubin (AR) statistic for a general set of nonlinear moment restrictions. The statistic is based on the criterion function of the continuous updating estimator (CUE) for a subset of parameters not constrained under the Null. We treat the data distribution nonparametrically with parametric moment restrictions imposed under the Null. We show that subset tests and confidence intervals based on the AR statistic are uniformly valid over a wide range of distributions that include moment restrictions with general forms of heteroskedasticity. We show that the AR based tests have correct asymptotic size when parameters are unidentified, partially identified, weakly or strongly identified. We obtain these results by constructing an upper bound that is using a novel perturbation and regularization approach applied to the first order conditions of the CUE. Our theory applies to both cross-sections and time series data and does not assume stationarity in time series settings or homogeneity in cross-sectional settings.
- [168] arXiv:2507.01204 (cross-list from eess.IV) [pdf, html, other]
-
Title: LotteryCodec: Searching the Implicit Representation in a Random Network for Low-Complexity Image CompressionJournal-ref: International Conference on Machine Learning (2025)Subjects: Image and Video Processing (eess.IV); Information Theory (cs.IT)
We introduce and validate the lottery codec hypothesis, which states that untrained subnetworks within randomly initialized networks can serve as synthesis networks for overfitted image compression, achieving rate-distortion (RD) performance comparable to trained networks. This hypothesis leads to a new paradigm for image compression by encoding image statistics into the network substructure. Building on this hypothesis, we propose LotteryCodec, which overfits a binary mask to an individual image, leveraging an over-parameterized and randomly initialized network shared by the encoder and the decoder. To address over-parameterization challenges and streamline subnetwork search, we develop a rewind modulation mechanism that improves the RD performance. LotteryCodec outperforms VTM and sets a new state-of-the-art in single-image compression. LotteryCodec also enables adaptive decoding complexity through adjustable mask ratios, offering flexible compression solutions for diverse device constraints and application requirements.
- [169] arXiv:2507.01215 (cross-list from quant-ph) [pdf, html, other]
-
Title: A Fundamental Bound for Robust Quantum Gate ControlSubjects: Quantum Physics (quant-ph); Optimization and Control (math.OC)
We derive a universal performance limit for coherent quantum control in the presence of modeled and unmodeled uncertainties. For any target unitary $W$ that is implementable in the absence of error, we prove that the worst-case (and hence the average) gate fidelity obeys the lower bound $F \ge \Flb\bigl(\tf \Omeff\bigr)$, where $\tf$ is the gate duration and $\Omeff$ is a single frequency-like measure that aggregates \emph{all} bounded uncertainty sources, e.g., coherent control imperfections, unknown couplings, and residual environment interactions, without assuming an initially factorizable system-bath state or a completely positive map. The bound is obtained by combining an interaction-picture averaging method with a Bellman-Gronwall inequality and holds for any finite-norm Hamiltonian decomposition. Hence it applies equally to qubits, multi-level qudits, and ancilla-assisted operations. Because $\Flb$ depends only on the dimensionless product $\tf\Omeff$, it yields a device-independent metric that certifies whether a given hardware platform can, in principle, reach a specified fault-tolerance threshold, and also sets a quantitative target for robust-control synthesis and system identification.
- [170] arXiv:2507.01227 (cross-list from eess.SP) [pdf, html, other]
-
Title: Degrees of Freedom of Spatial Multiplexing in Distance Domain of Arbitrary Continuous-Aperture Array in Near-Field RegionComments: 13 pages and 13 figures. Part of this work has been submitted to IEEE Globecom 2025 (under review). This version has been submitted to IEEE Transactions on Communications for possible publicationSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
Extremely large aperture array operating in the near-field regime unlocks additional spatial resources that can be exploited to simultaneously serve multiple users even when they share the same angular direction, a capability not achievable in conventional far-field systems. A fundamental question, however, remains: What is the maximum spatial degree of freedom (DoF) of spatial multiplexing in the distance domain?
In this paper, we address this open problem by investigating the spatial DoF of a line-of-sight (LoS) channel between a large two-dimensional transmit aperture and a linear receive array with collinearly-aligned elements (i.e., at the same angular direction) but located at different distances from the transmit aperture. We assume that both the aperture and linear array are continuous-aperture (CAP) arrays with an infinite number of elements and infinitesimal spacing, which establishes an upper bound for the spatial degrees of freedom (DoF) in the case of finite elements. First, we assume an ideal case where the transmit array is a single piece and the linear array is on the broad side of the transmit array. By reformulating the channel as an integral operator with a Hermitian convolution kernel, we derive a closed-form expression for the spatial DoF via the Fourier transform. Our analysis shows that the spatial DoF in the distance domain is predominantly determined by the extreme boundaries of the array rather than its detailed interior structure. We further extend the framework to non-broadside configurations by employing a projection method, which effectively converts the spatial DoF to an equivalent broadside case. Finally, we extend our analytical framework to the modular array, which shows the spatial DoF gain over the single-piece array given the constraint of the physical length of the array. - [171] arXiv:2507.01230 (cross-list from eess.SP) [pdf, other]
-
Title: Numerical Techniques for the Maximum Likelihood Toeplitz Covariance Matrix Estimation: Part I. Symmetric Toeplitz MatricesSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
In several applications, one must estimate a real-valued (symmetric) Toeplitz covariance matrix, typically shifted by the conjugated diagonal matrices of phase progression and phase "calibration" errors. Unlike the Hermitian Toeplitz covariance matrices, these symmetric matrices have a unique potential capability of being estimated regardless of these beam-steering phase progression and/or phase "calibration" errors. This unique capability is the primary motivation of this paper.
- [172] arXiv:2507.01253 (cross-list from nlin.PS) [pdf, html, other]
-
Title: Soliton Synchronization with Randomness: Rogue Waves and UniversalityComments: 36 pages; 5 figuresSubjects: Pattern Formation and Solitons (nlin.PS); Mathematical Physics (math-ph); Probability (math.PR); Exactly Solvable and Integrable Systems (nlin.SI)
We consider an $N$-soliton solution of the focusing nonlinear Schrödinger equations. We give conditions for the synchronous collision of these $N$ solitons. When the solitons velocities are well separated and the solitons have equal amplitude, we show that the local wave profile at the collision point scales as the $\operatorname{sinc}(x)$ function. We show that this behaviour persists when the amplitudes of the solitons are i.i.d. sub-exponential random variables. Namely the central collision peak exhibits universality: its spatial profile converges to the $\operatorname{sinc}(x)$ function, independently of the distribution. We derive Central Limit Theorems for the fluctuations of the profile in the near-field regime (near the collision point) and in the far-regime.
- [173] arXiv:2507.01261 (cross-list from stat.ME) [pdf, html, other]
-
Title: A robust Likelihood Ratio Test for high-dimensional MANOVA -- with excellent performanceComments: 159 pages with 400 TablesSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
The present paper answers the following questions related with high-dimensional manova: (i) is it possible to develop a likelihood ratio test for high-dimensional manova? (ii) would such test perform well? (iii) would it be able to outperform existing tests? (iv) would it be applicable to extremely small samples? (v) would it be applicable to non-normal random variables, as uniform, extremely skewed distributions, or even heavy tailed distributions with success? (vi) would it have a nice, rather simple to compute and well performing, asymptotic distribution? And what about if the answer to all the above questions would be a clear 'Yes'? Surprisingly enough, it is exactly the case. Extensive simulations, with both normal and non-normal distributions, some of which are heavy tailed and/or highly skewed, and even discrete distributions, are carried out in order to evaluate the performance of the proposed test and to compare its performance with other tests. Two real data applications are presented.
- [174] arXiv:2507.01313 (cross-list from cs.LG) [pdf, html, other]
-
Title: Neural Hamiltonian OperatorSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Dynamical Systems (math.DS); Optimization and Control (math.OC)
Stochastic control problems in high dimensions are notoriously difficult to solve due to the curse of dimensionality. An alternative to traditional dynamic programming is Pontryagin's Maximum Principle (PMP), which recasts the problem as a system of Forward-Backward Stochastic Differential Equations (FBSDEs). In this paper, we introduce a formal framework for solving such problems with deep learning by defining a \textbf{Neural Hamiltonian Operator (NHO)}. This operator parameterizes the coupled FBSDE dynamics via neural networks that represent the feedback control and an ansatz for the value function's spatial gradient. We show how the optimal NHO can be found by training the underlying networks to enforce the consistency conditions dictated by the PMP. By adopting this operator-theoretic view, we situate the deep FBSDE method within the rigorous language of statistical inference, framing it as a problem of learning an unknown operator from simulated data. This perspective allows us to prove the universal approximation capabilities of NHOs under general martingale drivers and provides a clear lens for analyzing the significant optimization challenges inherent to this class of models.
- [175] arXiv:2507.01333 (cross-list from cs.NI) [pdf, html, other]
-
Title: Multi-User Generative Semantic Communication with Intent-Aware Semantic-Splitting Multiple AccessSubjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
With the booming development of generative artificial intelligence (GAI), semantic communication (SemCom) has emerged as a new paradigm for reliable and efficient communication. This paper considers a multi-user downlink SemCom system, using vehicular networks as the representative scenario for multi-user content dissemination. To address diverse yet overlapping user demands, we propose a multi-user Generative SemCom-enhanced intent-aware semantic-splitting multiple access (SS-MGSC) framework. In the framework, we construct an intent-aware shared knowledge base (SKB) that incorporates prior knowledge of semantic information (SI) and user-specific preferences. Then, we designate the common SI as a one-hot semantic map that is broadcast to all users, while the private SI is delivered as personalized text for each user. On the receiver side, a diffusion model enhanced with ControlNet is adopted to generate high-quality personalized images. To capture both semantic relevance and perceptual similarity, we design a novel semantic efficiency score (SES) metric as the optimization objective. Building on this, we formulate a joint optimization problem for multi-user semantic extraction and beamforming, solved using a reinforcement learning-based algorithm due to its robustness in high-dimensional settings. Simulation results demonstrate the effectiveness of the proposed scheme.
- [176] arXiv:2507.01341 (cross-list from physics.flu-dyn) [pdf, html, other]
-
Title: Fluid-dynamic limit of the Enskog equation with the guaranteed H-theoremSubjects: Fluid Dynamics (physics.flu-dyn); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
The fluid-dynamic limit of the Enskog equation with a slight modification is discussed on the basis of the Chapman-Enskog method. This modified version of the Enskog equation has been shown recently by the present authors to ensure the H-theorem. In the present paper, it is shown that the modified version recovers the same fluid-dynamic description of the dense gas as the original Enskog equation, at least up to the level of the Navier-Stokes-Fourier set of equations inclusive. Since the original Enskog equation is known to recover the fluid-dynamical transport properties well, this result implies that the modified version of the Enskog equation provides consistent descriptions both thermodynamically and fluid-dynamically.
- [177] arXiv:2507.01419 (cross-list from gr-qc) [pdf, html, other]
-
Title: The Crossed Product, Modular (Tomita) Dynamics and its Role in the Transition of Type $III$ to Type $II_{\infty}$ v.Neumann Algebras and Connections to Quantum GravityComments: 19 pages, PdfLatexSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We analyse the role of the crossed product and the modular (Tomita) dynamics in the transition of type $III$ to type $II_{\infty}$ this http URL algebras which was recently observed in papers by Witten et al. In a preceding paper we argued that type $II_{\infty}$ this http URL algebras display certain features which we attributed to quantum gravity effects. We claim that the action of the modular evolution on the quantum fluctuations can be understood as an aspect of quantum gravity. We mention in this context the work of Sakharov on induced gravity. Furthermore we analyse the change of the properties of projectors and partial isometries in the transition from type $III$ to type $II_{\infty}$.
- [178] arXiv:2507.01450 (cross-list from eess.SY) [pdf, html, other]
-
Title: Multi-Revolution Low-Thrust Trajectory Optimization With Very Sparse Mesh Pseudospectral MethodSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Multi-revolution low-thrust trajectory optimization problems are important and challenging in space mission design. In this paper, an efficient, accurate, and widely applicable pseudospectral method is proposed to solve multi-revolution low-thrust trajectory optimization problems with various objective functions and perturbations. The method is based on the Sundman transformation and pseudospectral method, together with a sparse mesh that is monotonic, near-uniformly spaced, and uniformly scattered on the unit circle. Two methods are proposed to construct the mesh: a deterministic method based on rotation mapping; a stochastic method utilizing autocorrelated random sequences. Core mechanisms ensuring the correctness of the method are analyzed, including the dual roles of mesh points as both integration points in the temporal domain and sampling points in the angular domain, the slow dynamics of the system excluding the fast angle variable, and the nearly commutative vector fields generated by applying different control inputs. The method is demonstrated through a multi-revolution low-thrust orbital rendezvous problem. Results show that the proposed method achieves high accuracy with only a few seconds of computational time for challenging problems.
- [179] arXiv:2507.01459 (cross-list from cs.DM) [pdf, other]
-
Title: Some remarks on the uncolored versions of the original CFI-graphsComments: 46 pagesSubjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO)
The CFI-graphs, named after Cai, Fürer, and Immerman, are central to the study of the graph isomorphism testing and of first-order logic with counting. They are colored graphs, and the coloring plays a role in many of their applications. As usual, it is not hard to remove the coloring by some extra graph gadgets, but at the cost of blowing up the size of the graphs and changing some parameters of them as well. This might lead to suboptimal combinatorial bounds important to their applications. Since then for some uncolored variants of the CFI-graphs it has been shown that they serve the same purposes. We show that this already applies to the graphs obtained from the original CFI-graphs by forgetting the colors. Moreover, we will see that there is a first-order formula $\varphi(x,y)$ expressing in almost all uncolored CFI-graphs that $x$ and $y$ have the same color in the corresponding colored graphs.
- [180] arXiv:2507.01515 (cross-list from hep-th) [pdf, other]
-
Title: Weak Hopf tube algebra for domain walls between 2d gapped phases of Turaev-Viro TQFTsComments: v1: 104 pagesSubjects: High Energy Physics - Theory (hep-th); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph); Quantum Algebra (math.QA)
We investigate domain walls between 2d gapped phases of Turaev-Viro type topological quantum field theories (TQFTs) by constructing domain wall tube algebras. We begin by analyzing the domain wall tube algebra associated with bimodule categories, and then extend the construction to multimodule categories over $N$ base fusion categories. We prove that the resulting tube algebra is naturally equipped with a $C^*$ weak Hopf algebra structure. We show that topological excitations localized on domain walls are classified by representations of the corresponding domain wall tube algebra, in the sense that the functor category of bimodules admits a fusion-preserving embedding into the representation category of the domain wall tube algebra. We further establish the folding trick and Morita theory in this context. Then, most crucially, we provide a rigorous construction of the Drinfeld quantum double from weak Hopf boundary tube algebras using a skew-pairing, and establish an isomorphism between domain wall tube algebra and Drinfeld quantum double of boundary tube algebras. Motivated by the correspondence between the domain wall tube algebra and the quantum double of the boundary tube algebras, we introduce the notion of an $N$-tuple algebra and demonstrate how it arises in the multimodule domain wall setting. Finally, we consider defects between two domain walls, showing that such defects can be characterized by representations of a domain wall defect tube algebra. We briefly outline how these defects can be systematically treated within this representation-theoretic framework.
- [181] arXiv:2507.01604 (cross-list from hep-lat) [pdf, html, other]
-
Title: Phases of Tree-decorated Dynamical Triangulations in 3DSubjects: High Energy Physics - Lattice (hep-lat); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
This work revisits the Euclidean Dynamical Triangulation (DT) approach to non-perturbative quantum gravity in three dimensions. Inspired by a recent combinatorial study by T. Budd and L. Lionni of a subclass of 3-sphere triangulations constructed from trees, called the \emph{triple-tree} class, we present a Monte Carlo investigation of DT decorated with a pair of spanning trees, one spanning the vertices and the other the tetrahedra of the triangulation. The complement of the pair of trees in the triangulation can be viewed as a bipartite graph, called the \emph{middle graph} of the triangulation. In the triple-tree class, the middle graph is restricted to be a tree, and numerical simulations have displayed a qualitatively different phase structure compared to standard DT. Relaxing this restriction, the middle graph comes with two natural invariants, namely the number of connected components and loops. Introducing corresponding coupling constants in the action, allows one to interpolate between the triple-tree class and unrestricted tree-decorated DT. Simulations of this extended model confirm the existence of a new phase, referred to as the \emph{triple-tree phase}, besides the familiar crumpled and branched polymer phases of DT. A statistical analysis of the phase transitions is presented, showing hints that the branched polymer to triple-tree phase transition is continuous.
- [182] arXiv:2507.01621 (cross-list from econ.TH) [pdf, html, other]
-
Title: Enriching the Felsenthal index with a priori unions for decision-making processesSubjects: Theoretical Economics (econ.TH); Computer Science and Game Theory (cs.GT); Optimization and Control (math.OC)
Within the domain of game theory, power indexes are defined as functions that quantify the influence of individual participants in collective decision-making processes. Felsenthal [D. Felsenthal. A Well-Behaved Index of a Priori P-Power for Simple N-Person Games. Homo Oeconomicus, 33, 2016] proposed a power index with a focus on least size winning coalitions, i.e., those coalitions capable of determining the final outcome and with the smallest number of players among all winning coalitions. However, the Felsenthal index overlooks pre-existing affinities between the players, a common and impactful factor in real-world political and economic contexts. This paper introduces the Felsenthal Owen power index, a novel index based on Felsenthal's approach that integrates player affinities using Owen's a priori unions framework. The new index is rigorously characterised by two distinct sets of axiomatic properties. We demonstrate its practical utility by applying it to the International Monetary Fund's voting system, revealing how strategic alliances significantly reshape power distributions. The index thus offers policymakers a more sophisticated tool for measuring influence in complex decision-making scenarios.
- [183] arXiv:2507.01640 (cross-list from nlin.AO) [pdf, html, other]
-
Title: Effect of phase-lag on synchronization in adaptive multilayer networks with higher-order interactionsComments: 14 pages, 14 figuresSubjects: Adaptation and Self-Organizing Systems (nlin.AO); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD); Physics and Society (physics.soc-ph)
We investigate the transition to synchronization in adaptive multilayer networks with higher-order interactions both analytically and numerically in the presence of phase frustration ($\beta$). The higher order topology consists of pairwise and triadic couplings. The analytical framework for the investigation is based on the Ott-Antonsen ansatz which leads to a convenient low-dimensional model. Extensive bifurcation analysis of the low-dimensional model and the numerical simulation of the full networks are performed to explore the paths to synchronization. The combined analysis shows a complex dependence of the transition to synchronization on adaptation exponents, coupling strengths, phase lag parameter, and multilayer configuration. Various types of transitions to synchronization, namely continuous, tiered, and explosive, are exhibited by the system in different regions of the parameter space. In all the cases, a satisfactory match between the low-dimensional model and the numerical simulation results is observed. The origin of different transitions to synchronization is clearly understood using the low-dimensional model. Exploration of a wide region of the parameter space suggests that the phase frustration parameter inhibits tired as well as explosive synchronization transitions for fixed triadic coupling strength ($K_2$). On the other hand, discontinuous transition is promoted by the phase frustration parameter for fixed pairwise coupling strength ($K_1$). Moreover, the exponent of the adaptation function with the pairwise coupling decreases the width of the hysteresis, despite the dominance of the higher-order coupling for fixed $\beta$ and $K_2$. While, the exponent of the function adapted with higher-order coupling shows the opposite effect, it promotes bistability in spite of dominance of pairwise coupling strength for fixed $\beta$, and $K_1$.
- [184] arXiv:2507.01660 (cross-list from eess.SY) [pdf, html, other]
-
Title: Re-examining the Legendre-Gauss-Lobatto Pseudospectral Methods for Optimal ControlSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Pseudospectral methods represent an efficient approach for solving optimal control problems. While Legendre-Gauss-Lobatto (LGL) collocation points have traditionally been considered inferior to Legendre-Gauss (LG) and Legendre-Gauss-Radau (LGR) points in terms of convergence properties, this paper presents a rigorous re-examination of LGL-based methods. We introduce an augmented formulation that enhances the standard LGL collocation approach by incorporating an additional degree of freedom (DOF) into the interpolation structure. We demonstrate that this augmented formulation is mathematically equivalent to the integral formulation of the LGL collocation method. Through analytical derivation, we establish that the adjoint system in both the augmented differential and integral formulations corresponds to a Lobatto IIIB discontinuous collocation method for the costate vector, thereby resolving the previously reported convergence issues. Our comparative analysis of LG, LGR, and LGL collocation methods reveals significant advantages of the improved LGL approach in terms of discretized problem dimensionality and symplectic integration properties. Numerical examples validate our theoretical findings, demonstrating that the proposed LGL-based method achieves comparable accuracy to LG and LGR methods while offering superior computational performance for long-horizon optimal control problems due to the preservation of symplecticity.
- [185] arXiv:2507.01687 (cross-list from stat.ML) [pdf, html, other]
-
Title: A generative modeling / Physics-Informed Neural Network approach to random differential equationsSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Numerical Analysis (math.NA)
The integration of Scientific Machine Learning (SciML) techniques with uncertainty quantification (UQ) represents a rapidly evolving frontier in computational science. This work advances Physics-Informed Neural Networks (PINNs) by incorporating probabilistic frameworks to effectively model uncertainty in complex systems. Our approach enhances the representation of uncertainty in forward problems by combining generative modeling techniques with PINNs. This integration enables in a systematic fashion uncertainty control while maintaining the predictive accuracy of the model. We demonstrate the utility of this method through applications to random differential equations and random partial differential equations (PDEs).
- [186] arXiv:2507.01697 (cross-list from cs.RO) [pdf, html, other]
-
Title: An RRT* algorithm based on Riemannian metric model for optimal path planningComments: 27 pagesSubjects: Robotics (cs.RO); Optimization and Control (math.OC)
This paper presents a Riemannian metric-based model to solve the optimal path planning problem on two-dimensional smooth submanifolds in high-dimensional space. Our model is based on constructing a new Riemannian metric on a two-dimensional projection plane, which is induced by the high-dimensional Euclidean metric on two-dimensional smooth submanifold and reflects the environmental information of the robot. The optimal path planning problem in high-dimensional space is therefore transformed into a geometric problem on the two-dimensional plane with new Riemannian metric. Based on the new Riemannian metric, we proposed an incremental algorithm RRT*-R on the projection plane. The experimental results show that the proposed algorithm is suitable for scenarios with uneven fields in multiple dimensions. The proposed algorithm can help the robot to effectively avoid areas with drastic changes in height, ground resistance and other environmental factors. More importantly, the RRT*-R algorithm shows better smoothness and optimization properties compared with the original RRT* algorithm using Euclidean distance in high-dimensional workspace. The length of the entire path by RRT*-R is a good approximation of the theoretical minimum geodesic distance on projection plane.
- [187] arXiv:2507.01759 (cross-list from cs.DM) [pdf, other]
-
Title: Scheduling on identical machines with conflicts to minimize the mean flow timeSubjects: Discrete Mathematics (cs.DM); Optimization and Control (math.OC)
This paper addresses the problem of scheduling jobs on identical machines with conflict constraints, where certain jobs cannot be scheduled simultaneously on different machines. We focus on the case where conflicts can be represented by a simple undirected graph, and the objective is to minimize the mean flow time. We show that the problem is NP-hard even on two machines and two distinct processing times. For unit-time jobs, the problem becomes NP-hard when the number of machines increases to three. We also identify polynomial-time solvable cases for specific classes of conflict graphs. For the general problem, we propose mathematical models, lower bounds, and a genetic algorithm. We evaluate their performance through computational experiments on a wide range of instances derived from well-known benchmark instances in the literature.
- [188] arXiv:2507.01771 (cross-list from eess.SP) [pdf, html, other]
-
Title: Higher-Order Tensor-Based Deferral of Gaussian Splitting for Orbit Uncertainty PropagationSubjects: Signal Processing (eess.SP); Probability (math.PR)
Accurate propagation of orbital uncertainty is essential for a range of applications within space domain awareness. Adaptive Gaussian mixture-based approaches offer tractable nonlinear uncertainty propagation through splitting mixands to increase resolution in areas of stronger nonlinearities, as well as by reducing mixands to prevent unnecessary computational effort. Recent work introduced principled heuristics that incorporate information from the system dynamics and initial uncertainty to determine optimal directions for splitting. This paper develops adaptive uncertainty propagation methods based on these robust splitting techniques. A deferred splitting algorithm tightly integrated with higher-order splitting techniques is proposed and shown to offer substantial gains in computational efficiency without sacrificing accuracy. Second-order propagation of mixand moments is also seen to improve accuracy while retaining significant computational savings from deferred splitting. Different immediate and deferred splitting methods are compared in three representative test cases, including a geostationary orbit, a Molniya orbit, and a periodic three-body orbit.
- [189] arXiv:2507.01840 (cross-list from gr-qc) [pdf, html, other]
-
Title: Locally Rotationally Symmetric Spacetimes in Einstein-Cartan Theory and Their ClassificationComments: 19 pagesSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
We present the complete set of covariant equations that govern the locally rotationally symmetric torsion spacetimes sourced by Weyssenhoff fluid in Einstein-Cartan-Sciama-Kibble gravity. Using these equations, we can explore in detail the peculiar relationship between conformal structure and torsion. We develop a comprehensive scheme to categorize these torsional spacetimes into distinct classes. We explicitly analyze the properties of each class and obtain novel analytical solutions to the gravitational field equations.
- [190] arXiv:2507.01841 (cross-list from cs.LG) [pdf, html, other]
-
Title: Automatic Rank Determination for Low-Rank Adaptation via Submodular Function MaximizationSubjects: Machine Learning (cs.LG); Information Theory (cs.IT); Signal Processing (eess.SP); Optimization and Control (math.OC)
In this paper, we propose SubLoRA, a rank determination method for Low-Rank Adaptation (LoRA) based on submodular function maximization. In contrast to prior approaches, such as AdaLoRA, that rely on first-order (linearized) approximations of the loss function, SubLoRA utilizes second-order information to capture the potentially complex loss landscape by incorporating the Hessian matrix. We show that the linearization becomes inaccurate and ill-conditioned when the LoRA parameters have been well optimized, motivating the need for a more reliable and nuanced second-order formulation. To this end, we reformulate the rank determination problem as a combinatorial optimization problem with a quadratic objective. However, solving this problem exactly is NP-hard in general. To overcome the computational challenge, we introduce a submodular function maximization framework and devise a greedy algorithm with approximation guarantees. We derive a sufficient and necessary condition under which the rank-determination objective becomes submodular, and construct a closed-form projection of the Hessian matrix that satisfies this condition while maintaining computational efficiency. Our method combines solid theoretical foundations, second-order accuracy, and practical computational efficiency. We further extend SubLoRA to a joint optimization setting, alternating between LoRA parameter updates and rank determination under a rank budget constraint. Extensive experiments on fine-tuning physics-informed neural networks (PINNs) for solving partial differential equations (PDEs) demonstrate the effectiveness of our approach. Results show that SubLoRA outperforms existing methods in both rank determination and joint training performance.
- [191] arXiv:2507.01858 (cross-list from hep-th) [pdf, html, other]
-
Title: Infinite Dimensional Topological-Holomorphic Symmetry in Three-DimensionsSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We introduce a three-dimensional quantum field theory with an infinite-dimensional symmetry, realized explicitly through a centrally extended affine graded Lie algebra. This symmetry is a direct three-dimensional generalization of the chiral symmetry in the Wess-Zumino-Witten model. Accordingly, this setup provides a framework for extending the methods of two-dimensional conformal field theory to three dimensions, and we expect it to lay the groundwork for exact methods in three-dimensional quantum field theory.
- [192] arXiv:2507.01904 (cross-list from hep-th) [pdf, html, other]
-
Title: Multipoint conformal integrals in $D$ dimensions. Part II: Polygons and basis functionsComments: 49 pages, 16 figuresSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We explicitly construct a class of multivariate generalized hypergeometric series which is conjectured in our previous paper [Alkalaev & Mandrygin 2025] to calculate multipoint one-loop parametric conformal integrals in $D$ dimensions. Our approach is based on a simple diagrammatic algorithm which systematically builds both arguments and series coefficients in terms of a convex polygon which is part of the Baxter lattice. The examples of the box, pentagon, and hexagon integrals are considered in detail.
- [193] arXiv:2507.01907 (cross-list from gr-qc) [pdf, html, other]
-
Title: Spacetime reconstruction by order and numberComments: 16 pages. Comments welcomeSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Differential Geometry (math.DG); Probability (math.PR)
We show that the random adjacency matrices induced by the chronological relations and i.i.d. samples of two spacetimes coincide in law if and only if the spacetimes in question are smoothly isometric. A similar result holds for weighted spacetimes. In the smooth framework of our article, this relaxes the hypotheses of the recent Gromov reconstruction theorem in Lorentzian signature by Braun-Sämann from a.s. isometry of the respective time separation functions to a.s. order isometry. In a probabilistic way, our result makes a key paradigm of causal set theory rigorous: spacetime can be recovered by only knowing "order" and "number" of its points. It confirms a weak version of Bombelli's conjecture; therefore, it contributes to recent efforts of formalizing the Hauptvermutung (viz. fundamental conjecture) of causal set theory.
- [194] arXiv:2507.01918 (cross-list from q-fin.PM) [pdf, html, other]
-
Title: End-to-End Large Portfolio Optimization for Variance Minimization with Neural Networks through Covariance CleaningSubjects: Portfolio Management (q-fin.PM); Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Data Analysis, Statistics and Probability (physics.data-an); Machine Learning (stat.ML)
We develop a rotation-invariant neural network that provides the global minimum-variance portfolio by jointly learning how to lag-transform historical returns and how to regularise both the eigenvalues and the marginal volatilities of large equity covariance matrices. This explicit mathematical mapping offers clear interpretability of each module's role, so the model cannot be regarded as a pure black-box. The architecture mirrors the analytical form of the global minimum-variance solution yet remains agnostic to dimension, so a single model can be calibrated on panels of a few hundred stocks and applied, without retraining, to one thousand US equities-a cross-sectional jump that demonstrates robust out-of-sample generalisation. The loss function is the future realized minimum portfolio variance and is optimized end-to-end on real daily returns. In out-of-sample tests from January 2000 to December 2024 the estimator delivers systematically lower realised volatility, smaller maximum drawdowns, and higher Sharpe ratios than the best analytical competitors, including state-of-the-art non-linear shrinkage. Furthermore, although the model is trained end-to-end to produce an unconstrained (long-short) minimum-variance portfolio, we show that its learned covariance representation can be used in general optimizers under long-only constraints with virtually no loss in its performance advantage over competing estimators. These gains persist when the strategy is executed under a highly realistic implementation framework that models market orders at the auctions, empirical slippage, exchange fees, and financing charges for leverage, and they remain stable during episodes of acute market stress.
- [195] arXiv:2507.01922 (cross-list from q-bio.MN) [pdf, html, other]
-
Title: Efficient stochastic simulation of gene regulatory networks using hybrid models of transcriptional burstingSubjects: Molecular Networks (q-bio.MN); Probability (math.PR)
Single-cell data reveal the presence of biological stochasticity between cells of identical genome and environment, in particular highlighting the transcriptional bursting phenomenon. To account for this property, gene expression may be modeled as a continuous-time Markov chain where biochemical species are described in a discrete way, leading to Gillespie's stochastic simulation algorithm (SSA) which turns out to be computationally expensive for realistic mRNA and protein copy numbers. Alternatively, hybrid models based on piecewise-deterministic Markov processes (PDMPs) offer an effective compromise for capturing cell-to-cell variability, but their simulation remains limited to specialized mathematical communities. With a view to making them more accessible, we present here a simple simulation method that is reminiscent of SSA, while allowing for much lower computational cost. We detail the algorithm for a bursty PDMP describing an arbitrary number of interacting genes, and prove that it simulates exact trajectories of the model. As an illustration, we use the algorithm to simulate a two-gene toggle switch: this example highlights the fact that bimodal distributions as observed in real data are not explained by transcriptional bursting per se, but rather by distinct burst frequencies that may emerge from interactions between genes.
- [196] arXiv:2507.01946 (cross-list from q-bio.QM) [pdf, html, other]
-
Title: Characterizing control between interacting subsystems with deep Jacobian estimationComments: 10 pages, 6 figuresSubjects: Quantitative Methods (q-bio.QM); Machine Learning (cs.LG); Dynamical Systems (math.DS); Neurons and Cognition (q-bio.NC)
Biological function arises through the dynamical interactions of multiple subsystems, including those between brain areas, within gene regulatory networks, and more. A common approach to understanding these systems is to model the dynamics of each subsystem and characterize communication between them. An alternative approach is through the lens of control theory: how the subsystems control one another. This approach involves inferring the directionality, strength, and contextual modulation of control between subsystems. However, methods for understanding subsystem control are typically linear and cannot adequately describe the rich contextual effects enabled by nonlinear complex systems. To bridge this gap, we devise a data-driven nonlinear control-theoretic framework to characterize subsystem interactions via the Jacobian of the dynamics. We address the challenge of learning Jacobians from time-series data by proposing the JacobianODE, a deep learning method that leverages properties of the Jacobian to directly estimate it for arbitrary dynamical systems from data alone. We show that JacobianODEs outperform existing Jacobian estimation methods on challenging systems, including high-dimensional chaos. Applying our approach to a multi-area recurrent neural network (RNN) trained on a working memory selection task, we show that the "sensory" area gains greater control over the "cognitive" area over learning. Furthermore, we leverage the JacobianODE to directly control the trained RNN, enabling precise manipulation of its behavior. Our work lays the foundation for a theoretically grounded and data-driven understanding of interactions among biological subsystems.
Cross submissions (showing 37 of 37 entries)
- [197] arXiv:1706.03716 (replaced) [pdf, other]
-
Title: The minimal volume of log surfaces of general type with positive geometric genusComments: 42 pages, to appear in Israel Journal of MathematicsSubjects: Algebraic Geometry (math.AG)
We determine the minimal possible volume of a projective log canonical surface of general type with prescribed positive geometric genus. As applications, we provide effecitive Noether type inequalities for log canonical threefolds and stable surfaces. Also, we obtain a uniform bound on the order of the symplectic automorphism group $\mathrm{Aut}_s(S)$ of smooth projective surfaces $S$ of general type.
- [198] arXiv:2004.08643 (replaced) [pdf, html, other]
-
Title: Morse index theorem for heteroclinic, homoclinic and halfclinic orbits of Lagrangian systemsComments: 38 pages, 1 figureSubjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA)
The purpose of this paper is to prove a new, more general version of the Morse index theorem for heteroclinic, homoclinic, and half-clinic solutions in general Lagrangian systems. In the final section, we compute the Morse index for specific heteroclinic and half-clinic solutions in classical mechanical models such as the mathematical pendulum, the Nagumo equation, and a four-dimensional competition-diffusion system.
- [199] arXiv:2006.13052 (replaced) [pdf, html, other]
-
Title: On asymptotic expansions for basic hypergeometric functionsComments: Added details to the proof of Theorem 1.1Subjects: Number Theory (math.NT)
This paper establishes new results concerning asymptotic expansions of $q$-series related to partial theta functions. We first establish a new method to obtain asymptotic expansions using a result of Ono and Lovejoy, and then build on these observations to obtain asymptotic expansions for related multi hypergeometric series.
- [200] arXiv:2204.14235 (replaced) [pdf, html, other]
-
Title: Permuting the roots of univariate polynomials whose coefficients depend on parametersComments: 39 pages, 7 figures. Version 5: substantial expository changes, new introductionSubjects: Algebraic Geometry (math.AG); General Topology (math.GN)
We address two interrelated problems concerning permutation of roots of univariate polynomials whose coefficients depend on parameters. First, we compute the Galois group of polynomials $\varphi(x)\in\mathbb{C}[t_1,\cdots,t_k][x]$ over $\mathbb{C}(t_1,\cdots,t_k)$. Provided that the corresponding multivariate polynomial $\varphi(x,t_1,\cdots,t_k)$ is generic with respect to its support $A\subset \mathbb{Z}^{k+1}$, we determine the Galois group associated to any $A$. Second, we determine the Galois group of systems of polynomial equations of the form $p(x,t)=q(t)=0$ where $p$ and $q$ have fixed supports $A_1\subset \mathbb{Z}^2$ and $A_2\subset \{0\}\times \mathbb{Z}$, respectively. For each problem, we determine the image of an appropriate braid monodromy map in order to compute the sought Galois group. Among the applications, we determine the Galois group of any rational function that is generic with respect to its support. We also provide general obstructions on the Galois group of enumerative problems over algebraic groups.
- [201] arXiv:2207.06891 (replaced) [pdf, html, other]
-
Title: Higher-dimensional counterexamples to HamiltonicitySubjects: Combinatorics (math.CO)
For $d \ge 2$, we show that all graphs of $d$-polytopes have a Hamiltonian line graph if and only if $d \ne 3$: We exhibit a graph of a $3$-polytope on $252$ vertices whose line graph does not even have Hamiltonian paths. Adapting a construction by Grünbaum and Motzkin, for large $n$ we also construct simple $3$-polytopes on $3n$ vertices in whose line graph any simple path is shorter than $10 n^{\alpha}$, for some constant $\alpha<1$. Moreover, we give four elementary counterexamples of plausible extensions to simplicial complexes of four famous results in Hamiltonian graph theory.
- [202] arXiv:2207.14239 (replaced) [pdf, html, other]
-
Title: A Strong Duality Principle for Equivalence Couplings and Total VariationComments: 35 pages, 0 figures. Comments welcomeJournal-ref: Electronic Journal of Probability. 28: 1-33 (2023)Subjects: Probability (math.PR)
We introduce and study a notion of duality for two classes of optimization problems commonly occurring in probability theory. That is, on an abstract measurable space $(\Omega,\mathcal{F})$, we consider pairs $(E,\mathcal{G})$ where $E$ is an equivalence relation on $\Omega$ and $\mathcal{G}$ is a sub-$\sigma$-algebra of $\mathcal{G}$; we say that $(E,\mathcal{F})$ satisfies "strong duality" if $E$ is $(\mathcal{F}\otimes\mathcal{F})$-measurable and if for all probability measures $\mathbb{P},\mathbb{P}'$ on $(\Omega,\mathcal{F})$ we have $$\max_{A\in\mathcal{G}}\vert \mathbb{P}(A)-\mathbb{P}'(A)\vert = \min_{\tilde{\mathbb{P}}\in\Pi(\mathbb{P},\mathbb{P}')}(1-\tilde{\mathbb{P}}(E)),$$ where $\Pi(\mathbb{P},\mathbb{P}')$ denotes the space of couplings of $\mathbb{P}$ and $\mathbb{P}'$, and where "max" and "min" assert that the supremum and infimum are in fact achieved. The results herein give wide sufficient conditions for strong duality to hold, thereby extending a form of Kantorovich duality to a class of cost functions which are irregular from the point of view of topology but regular from the point of view of descriptive set theory. The given conditions recover or strengthen classical results, and they have novel consequences in stochastic calculus, point process theory, and random sequence simulation.
- [203] arXiv:2208.08692 (replaced) [pdf, html, other]
-
Title: Criteria for toroidal embedding of one-vertex ribbon graphsComments: This work is the text of a master's thesis, in Russian language. It was written in 2018. Later it became the basis for the article "Embedding hieroglyphs in the torus" [arXiv:2208.08692v4]Subjects: Combinatorics (math.CO); Data Structures and Algorithms (cs.DS); Geometric Topology (math.GT)
The work provides a brief intuitive overview theory of graph on surfaces. We considers graphs with an additional structure, wich we call discs with ribbons, also known as one-vertex ribbon graphs. And solves the problem (Skopenkov's) about criteria for toroidal embedding of one-vertex ribbon graph.
- [204] arXiv:2210.03034 (replaced) [pdf, html, other]
-
Title: Generic properties of topological groupsComments: arXiv admin note: text overlap with arXiv:2110.15902Subjects: Logic (math.LO); General Topology (math.GN); Group Theory (math.GR)
We study generic properties of topological groups in the sense of Baire category. First we investigate countably infinite (discrete) groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed groups and the word problem. I. Goldbring, S. E. Kunnawalkam and Y. Lodha proved that every isomorphism class is meager among countably infinite (discrete) groups. In contrast, we show that there is a comeager isomorphism class among countably infinite (discrete) abelian groups. Then we turn to compact metrizable abelian groups. We use Pontryagin duality to show that there is a comeager isomorphism class among compact metrizable abelian groups. We discuss its connections to the countably infinite (discrete) case. Finally, we study compact metrizable groups. We prove that the generic compact metrizable group is neither connected nor totally disconnected; also it is neither torsion-free nor a torsion group.
- [205] arXiv:2211.14103 (replaced) [pdf, other]
-
Title: Conditional Gradient MethodsGábor Braun, Alejandro Carderera, Cyrille W. Combettes, Hamed Hassani, Amin Karbasi, Aryan Mokhtari, Sebastian PokuttaComments: 243 pages with many figures. The this http URL Julia package (this https URL) provides state-of-the-art implementations of many Frank--Wolfe methods. v2 fixes many typos, adds clarifications and replaces an image for copyright reasons. v3 is mostly a style update, v4 fixes further typos, corrects wrong example after Lemma 1.8Subjects: Optimization and Control (math.OC)
The purpose of this survey is to serve both as a gentle introduction and a coherent overview of state-of-the-art Frank--Wolfe algorithms, also called conditional gradient algorithms, for function minimization. These algorithms are especially useful in convex optimization when linear optimization is cheaper than projections.
The selection of the material has been guided by the principle of highlighting crucial ideas as well as presenting new approaches that we believe might become important in the future, with ample citations even of old works imperative in the development of newer methods. Yet, our selection is sometimes biased, and need not reflect consensus of the research community, and we have certainly missed recent important contributions. After all the research area of Frank--Wolfe is very active, making it a moving target. We apologize sincerely in advance for any such distortions and we fully acknowledge: We stand on the shoulder of giants. - [206] arXiv:2211.15719 (replaced) [pdf, html, other]
-
Title: Universality for tropical and logarithmic mapsComments: 22 pages. Comments welcome. v5: Minor changesJournal-ref: \'Epijournal de G\'eom\'etrie Alg\'ebrique, Volume 8 (September 17, 2024) epiga:12349Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
We prove that every toric monoid appears in a space of maps from tropical curves to an orthant. It follows that spaces of logarithmic maps to Artin fans exhibit arbitrary toric singularities: a virtual universality theorem for logarithmic maps to pairs. The target rank depends on the chosen singularity: we show that the cone over the 7-gon never appears in a space of maps to a rank 1 target. We obtain similar results for tropical maps to affine space.
- [207] arXiv:2303.02729 (replaced) [pdf, other]
-
Title: Logarithmic motivic homotopy theoryComments: 130 pages, final version. To appear in Memoirs of the AMSSubjects: Algebraic Geometry (math.AG); K-Theory and Homology (math.KT)
This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and cyclic homology, as well as algebraic $K$-theory of regular schemes. Additionally, we can realize the cyclotomic trace as a morphism between motivic spectra. Among our applications, we provide a generalized framework of oriented cohomology theories that enables us to produce new residue sequences for (topological) Hochschild, periodic, and cyclic homology of classical schemes. We also compute $THH$ and its variants for Grassmannians, and we define a new version of algebraic cobordism. Finally, we give a construction of a log étale stable realization functor, as well as a Kato-Nakayama realization functor, which is of independent interest for applications in log geometry.
- [208] arXiv:2305.11485 (replaced) [pdf, html, other]
-
Title: Area bounds for planar convex bodies containing a fixed number of interior integral pointsComments: 20 pagesSubjects: Metric Geometry (math.MG); Combinatorics (math.CO)
We prove area bounds for planar convex bodies in terms of their number of interior integral points and their lattice width data. As an application, we obtain sharp area bounds for rational polygons with a fixed number of interior integral points depending on their denominator. For lattice polygons, we also present an equation for the area based on Noether's formula.
- [209] arXiv:2306.05214 (replaced) [pdf, html, other]
-
Title: Generic isomorphism classes of abelian groupsComments: 13 pagesSubjects: Logic (math.LO); General Topology (math.GN); Group Theory (math.GR)
We prove that the universal solenoid is the generic (in the sense of Baire category) connected compact metrizable abelian group. We also settle the dual problem in the sense of Pontryagin duality: $(\mathbb{Q},+)$, which is the dual of the universal solenoid, is the generic countably infinite torsion-free abelian group.
- [210] arXiv:2307.05097 (replaced) [pdf, html, other]
-
Title: Local limit theorem for directed polymers beyond the $L^2$-phaseComments: 28 pages, 2 Figures. Accepted versionSubjects: Probability (math.PR)
We consider the directed polymer model in the weak disorder phase under the assumption that the partition function is $L^p$-bounded for some $p>1+\frac{2}d$. We prove that the point-to-point partition function can be approximated by two point-to-plane partition functions at the startpoint and endpoint, and in particular that it is $L^p$-bounded as well. Some consequences of this result are also discussed, the most important of which is a local limit theorem for the polymer measure. We furthermore show that the required $L^p$-boundedness holds for some range of $\beta$ beyond the $L^2$-critical point, and in the whole interior of the weak disorder phase for environments with finite support.
- [211] arXiv:2307.10013 (replaced) [pdf, html, other]
-
Title: A stratification of moduli of arbitrarily singular curvesComments: 51 pages, expanded section 4 to support arXiv:2407.07657. Comments welcome!Subjects: Algebraic Geometry (math.AG)
We introduce a new moduli stack $\mathscr{E}_{g,n}$ of ``equinormalized curves," closely related to the moduli space of all reduced, connected algebraic curves. We construct a stratification $\bigsqcup_\Gamma \mathscr{E}_\Gamma$ of $\mathscr{E}_{g,n}$ indexed by generalized dual graphs and prove that each stratum $\mathscr{E}_{\Gamma}$ is a fiber bundle over a finite quotient of a product of $\moduli_{g,n}$s. The fibers are moduli schemes parametrizing subalgebras of a fixed algebra, and are in principle explicitly computable as locally closed subschemes of products of Grassmannians. We thus obtain a remarkably explicit geometric description of moduli of reduced curves with arbitrary singularities.
- [212] arXiv:2308.13344 (replaced) [pdf, html, other]
-
Title: Approximation of Dirac operators with $\boldsymbolδ$-shell potentials in the norm resolvent sense, I. Qualitative resultsComments: To appear in Math. NachrSubjects: Spectral Theory (math.SP)
In this paper the approximation of Dirac operators with general $\delta$-shell potentials supported on $C^2$-curves in $\mathbb{R}^2$ or $C^2$-surfaces in $\mathbb{R}^3$, which may be bounded or unbounded, is studied. It is shown under suitable conditions on the weight of the $\delta$-interaction that a family of Dirac operators with regular, squeezed potentials converges in the norm resolvent sense to the Dirac operator with the $\delta$-shell interaction.
- [213] arXiv:2308.14138 (replaced) [pdf, html, other]
-
Title: Higher (equivariant) topological complexity of Milnor manifoldsComments: Final version to appear in Journal of Homotopy and Related StructuresJournal-ref: Journal of Homotopy and Related Structures, 2025Subjects: Algebraic Topology (math.AT)
J. Milnor introduced a specific class of codimension-$1$ submanifolds in the product of projective spaces, known as Milnor manifolds. This paper establishes precise bounds on the higher topological complexity of these manifolds and provides exact values for this invariant for numerous Milnor manifolds. Furthermore, we improve the upper bounds on the higher equivariant topological complexity. As an application, we obtain sharper bounds on the higher equivariant topological complexity of Milnor manifolds with free $\mathbb{Z}_2$ and $S^1$-actions.
- [214] arXiv:2309.08556 (replaced) [pdf, html, other]
-
Title: High-Dimensional Bernstein Von-Mises Theorems for Covariance and Precision MatricesSubjects: Statistics Theory (math.ST)
This paper aims to examine the characteristics of the posterior distribution of covariance/precision matrices in a "large $p$, large $n$" scenario, where $p$ represents the number of variables and $n$ is the sample size. Our analysis focuses on establishing asymptotic normality of the posterior distribution of the entire covariance/precision matrices under specific growth restrictions on $p_n$ and other mild assumptions. In particular, the limiting distribution turns out to be a symmetric matrix variate normal distribution whose parameters depend on the maximum likelihood estimate. Our results hold for a wide class of prior distributions which includes standard choices used by practitioners. Next, we consider Gaussian graphical models which induce sparsity in the precision matrix. Asymptotic normality of the corresponding posterior distribution is established under mild assumptions on the prior and true data-generating mechanism.
- [215] arXiv:2309.15005 (replaced) [pdf, html, other]
-
Title: Sharp conditions for exponential and non-exponential uniform stabilization of the time-dependent damped wave equationComments: v3 52 pages, incorporating comments from referee, 2 figures. v2 was merged from arXiv:2207.06260Subjects: Analysis of PDEs (math.AP)
It is classical that uniform stabilization of solutions to the autonomous damped wave equation is equivalent to every geodesic meeting the positive set of the damping, which is called the geometric control condition. In this paper, it is shown that for time-dependent damping a generalization of the geometric control condition is equivalent to uniform stabilization at an exponential rate. Additionally, upper and lower bounds on non-exponential uniform stabilization rates are computed for damping which do not satisfy this geometric control condition. Decay rates are guaranteed via an observability argument, including a new uniform time-dependent observability inequality. Bounds on decay rates are proved via a Gaussian beam construction.
- [216] arXiv:2310.03449 (replaced) [pdf, other]
-
Title: Funnel control -- a surveySubjects: Optimization and Control (math.OC)
The methodology of funnel control was introduced in the early 2000s, and it has developed since then in many respects achieving a level of mathematical maturity balanced by practical applications. Its fundamental tenet is the attainment of prescribed transient and asymptotic behaviour for continuous-time controlled dynamical processes encompassing linear and nonlinear systems described by functional differential equations, differential-algebraic systems, and partial differential equations. Considered are classes of systems specified by structural properties - such as relative degree and stable internal dynamics - of the systems only, the precise systems' data are in general unknown; the latter reflects the property that in general any model of a dynamical process is not precise. Prespecified are: a funnel shaped through the choice of a smooth function and freely chosen by the designer, a fairly large class of smooth reference signals, and a system class satisfying certain structural properties. The aim is to design, based on the structural assumptions and the input and output information only, a single `simple' control strategy -- called the funnel controller -- so that its application to any system of the given class and to any reference signal results in feasibility of the funnel control objective: that is solutions of the closed-loop system do not exhibit blow-up in finite time, all variables are bounded, and -- most importantly -- the evolution of the error between the system's output and the reference signal remains within the prespecified funnel. In the Introduction, we describe the genesis of funnel control. After that, we investigate diverse system classes amenable to funnel control. Funnel control is shown for systems with arbitrary relative degree and systems described by partial differential equations. Finally, we discuss input constraints and applications.
- [217] arXiv:2311.01637 (replaced) [pdf, other]
-
Title: Projective symmetries of three-dimensional TQFTsComments: 57 pages; Section C.3 ("Projective theories") has been moved to Section 2. A previous version included "Hypothesis P" which has now been proven in Proposition 3.4. Section 4.3 (Previously Section 2.3) contains some new content. A new subsection (4.4.7) contains a new proposition (4.47). This implies a new corollary (5.4) in Section 5.1. A new result appears in Theorem 5.7Subjects: Quantum Algebra (math.QA); Other Condensed Matter (cond-mat.other); Mathematical Physics (math-ph); Algebraic Topology (math.AT)
Quantum field theory has various projective characteristics which are captured by what are called anomalies. This paper explores this idea in the context of fully-extended three-dimensional topological quantum field theories (TQFTs).
Given a three-dimensional TQFT (valued in the Morita 3-category of fusion categories), the anomaly identified herein is an obstruction to gauging a naturally occurring orthogonal group of symmetries. In other words, the classical symmetry group almost acts: There is a lack of coherence at the top level. This lack of coherence is captured by a "higher (central) extension" of the orthogonal group, obtained via a modification of the obstruction theory of Etingof-Nikshych-Ostrik-Meir [ENO10]. This extension tautologically acts on the given TQFT/fusion category, and this precisely classifies a projective (equivalently anomalous) TQFT. We explain the sense in which this is an analogue of the classical spin representation. This is an instance of a phenomenon emphasized by Freed [Fre23]: Quantum theory is projective.
We also establish a general relationship between the language of projectivity/anomalies and the language of topological symmetries. We also identify a universal anomaly associated with any theory which is appropriately "simple". - [218] arXiv:2311.08008 (replaced) [pdf, html, other]
-
Title: Schur powers of the cokernel of a graded morphismComments: Published in JPAASubjects: Algebraic Geometry (math.AG)
Let $\varphi: F\longrightarrow G$ be a graded morphism between free $R$-modules of rank $t$ and $t+c-1$, respectively, and let $I_j(\varphi)$ be the ideal generated by the $j \times j$ minors of a matrix representing $\varphi$. In this short note: (1) We show that the canonical module of $R/I_j(\varphi)$ is up to twist equal to a suitable Schur power $\Sigma ^I M$ of $M=\coker (\varphi ^*)$; thus equal to $\wedge ^{t+1-j}M$ if $c=2$ in which case we find a minimal free $R$-resolution of $\wedge ^{t+1-j}M$ for any $j$, (2) For $c = 3$, we construct a free $R$-resolution of $\wedge ^2M$ which starts almost minimally (i.e. the first three terms are minimal up to a precise summand), and (3) For $c \ge 4$, we construct under a certain depth condition the first three terms of a free $R$-resolution of $\wedge ^2M$ which are minimal up to a precise summand. As a byproduct we answer the first open case of a question posed by Buchsbaum and Eisenbud.
- [219] arXiv:2312.05118 (replaced) [pdf, html, other]
-
Title: The defect of a cubic threefold and applications to intermediate Jacobian fibrationsComments: Final version, accepted for publication in IMRN. Title changed and new introduction to better highlight main results. 19 pagesSubjects: Algebraic Geometry (math.AG)
The defect of a cubic threefold $X$ with isolated singularities is a global invariant that measures the failure of $\mathbb{Q}$-factoriality. We compute the defect for such cubics in terms of topological data about the curve of lines through a singular point. We express the mixed Hodge structure on the middle cohomology of $X$ in terms of both the defect and local invariants of the singularities. We then relate the defect to various geometric properties of $X$: in particular, we show that a cubic threefold is not $\mathbb{Q}$-factorial if and only if it contains either a plane or a cubic scroll. We relate the defect to existence of compactified intermediate Jacobian fibrations with irreducible fibers associated to a cubic fourfold.
- [220] arXiv:2312.08326 (replaced) [pdf, other]
-
Title: Cell decompositions of persistent minimal modelsComments: 21 pages. Removed material related to the interval-sphere model structure and placed into a separate article. Comments and feedback are welcomeSubjects: Algebraic Topology (math.AT)
In this article we generalize the main structure theorems of rational homotopy theory to the persistent setting. Our main motivation is the computation of an explicit finite, cellular presentation of the persistent minimal model that completely characterizes the rational homotopy type of copersistent simply-connected spaces. We achieve this via an explicit construction of the minimal model of a tame persistent CDGA as an iterated sequence of cell attachments. As an application of our results, we construct an explicit decomposition of the rational Postnikov tower of simply-connected copersistent spaces in terms of a tower of persistent Eilenberg-Maclane intervals
- [221] arXiv:2312.12927 (replaced) [pdf, other]
-
Title: The Chern-Weil homomorphism for deformed Hopf-Galois extensionsComments: Sections have been rearranged, Corollary 2.4 and Proposition 2.5 are newSubjects: Quantum Algebra (math.QA)
In this article, we study the Chern-Weil theory for Hopf-Galois extensions originally introduced by Hajac and Maszczyk in the context of coalgebra extensions. We show that the cyclic homology Chern-Weil homomorphism defines natural transformations between Hopf-Galois extensions with a strong connection (principal comodule algebras) and cyclic homology, thereby generalizing the concept of characteristic classes to the noncommutative setting. In the second part, we study the effect of $2$-cocycle deformations of Hopf-Galois extensions on the aforementioned homomorphism. We consider the $2$-cocycle coming from the structure Hopf algebra of the extension, an external symmetry, and finally the combined case.
- [222] arXiv:2401.09030 (replaced) [pdf, html, other]
-
Title: Linear-Quadratic Graphon Mean Field Games with Common NoiseSubjects: Optimization and Control (math.OC)
This paper studies linear quadratic graphon mean field games (LQ-GMFGs) with common noise, in which a large number of agents are coupled via a weighted undirected graph. One special feature, compared with the well-studied graphon mean field games, is that the states of agents are described by the dynamic systems with the idiosyncratic noises and common noise. The limit LQ-GMFGs with common noise are formulated based on the assumption that these graphs lie in a sequence converging to a limit graphon. By applying the spectral decomposition method, the existence of solution for the formulated limit LQ-GMFGs is derived. Moreover, based on the adequate convergence assumptions, a set of $\epsilon$-Nash equilibrium strategies for the finite large population problem is constructed.
- [223] arXiv:2404.10015 (replaced) [pdf, html, other]
-
Title: The Water Puzzle and Marginal Utility OptimizationSubjects: Optimization and Control (math.OC)
We present a variation of the water puzzle, which is related to a simple model of marginal utility. The problem has an intriguing solution and can be extended in several directions.
- [224] arXiv:2405.00617 (replaced) [pdf, html, other]
-
Title: Universality of the second correlation function of the deformed Ginibre ensembleComments: 33 pagesSubjects: Mathematical Physics (math-ph)
We study the deformed complex Ginibre ensemble $H=A_0+H_0$, where $H_0$ is the complex matrix with iid Gaussian entries, and $A_0$ is some general $n\times n$ matrix (it can be random and in this case it is independent of $H_0$). Assuming rather general assumptions on $A_0$, we prove that the asymptotic local behavior of the second correlation function of the eigenvalues of such matrices in the bulk coincides with that for the pure complex Ginibre ensemble.
- [225] arXiv:2405.00896 (replaced) [pdf, html, other]
-
Title: Higher-order asymptotic profiles of solutions to the Cauchy problem for the convection-diffusion equation with variable diffusionComments: 22 pagesSubjects: Analysis of PDEs (math.AP)
We consider the asymptotic behavior of solutions to the convection-diffusion equation: \[ \partial_t u - \mathrm{div}\left(a(x)\nabla u\right) = d\cdot\nabla \left(\left\lvert u\right\rvert ^{q-1}u\right),\ \ x\in\mathbb{R}^n, \ t>0 \] with an integrable initial data $u_{0}(x)$, where $n\ge1$, $q>1+\frac{1}{n}$ and $d\in \mathbb{R}^{n}$. Moreover, we take $a(x)=1+b(x)>0$, where $b(x)$ is smooth and decays fast enough at spatial infinity. It is known that the asymptotic profile of the solution to this problem can be given by the heat kernel. Moreover, some higher-order asymptotic expansions of the solution have already been studied. In particular, the structures of the second asymptotic profiles strongly depend on the nonlinear exponent $q$. More precisely, these profiles have different decay orders in each of the following three cases: $1+\frac{1}{n}<q<1+\frac{2}{n}$; $q=1+\frac{2}{n}$; $q>1+\frac{2}{n}$. In this paper, we focus on the critical case $q=1+\frac{2}{n}$. By analyzing the corresponding integral equation in details, we have succeeded to give the more higher-order asymptotic expansion of the solution, which generalizes the previous works.
- [226] arXiv:2405.13404 (replaced) [pdf, html, other]
-
Title: Quasi-period collapse in half-integral polygonsComments: 28 pages, 7 figures; typos correctedSubjects: Combinatorics (math.CO)
A half-integral polygon with quasi-period collapse behaves similarly to a lattice polygon in the sense that the number of lattice points in its integer dilates can be calculated as values of a polynomial, its Ehrhart polynomial. As a main result, we classify the Ehrhart polynomials of all half-integral non-lattice polygons with quasi-period collapse. In particular, we obtain that for any positive integer $i$, the polynomial $\frac{4i+5}{2}t^2+\frac{2i+7}{2}t+1\in \mathbb{Q}[t]$ is an Ehrhart polynomial of a rational polygon, which was an open question for $i>1$.
We also study some extreme cases in detail. In particular, we show that up to affine unimodular equivalence there exist exactly $30$ half-integral non-lattice polygons with quasi-periodic collapse with exactly one interior lattice point, which are the dual polygons of the $30$ LDP polygons of Gorenstein index $2$. Furthermore, we classify all half-integral polygons with quasi-period collapse with at most $6$ interior lattice points or with $i\geq 1$ interior lattice points and the maximum possible number $2i+7$ of boundary lattice points. - [227] arXiv:2406.04853 (replaced) [pdf, html, other]
-
Title: Time-Series JEPA for Predictive Remote Control under Capacity-Limited NetworksSubjects: Information Theory (cs.IT); Machine Learning (cs.LG); Robotics (cs.RO)
In remote control systems, transmitting large data volumes (e.g., images, video frames) from wireless sensors to remote controllers is challenging when uplink capacity is limited (e.g., RedCap devices or massive wireless sensor networks). Furthermore, controllers often need only information-rich representations of the original data. To address this, we propose a semantic-driven predictive control combined with a channel-aware scheduling to enhance control performance for multiple devices under limited network capacity. At its core, the proposed framework, coined Time-Series Joint Embedding Predictive Architecture (TS-JEPA), encodes high-dimensional sensory data into low-dimensional semantic embeddings at the sensor, reducing communication overhead. Furthermore, TS-JEPA enables predictive inference by predicting future embeddings from current ones and predicted commands, which are directly used by a semantic actor model to compute control commands within the embedding space, eliminating the need to reconstruct raw data. To further enhance reliability and communication efficiency, a channel-aware scheduling is integrated to dynamically prioritize device transmissions based on channel conditions and age of information (AoI). Simulations on inverted cart-pole systems show that the proposed framework significantly outperforms conventional control baselines in communication efficiency, control cost, and predictive accuracy. It enables robust and scalable control under limited network capacity compared to traditional scheduling schemes.
- [228] arXiv:2406.10379 (replaced) [pdf, html, other]
-
Title: Gromov's ellipticity of principal $G_m$-bundlesComments: 24 pagesSubjects: Algebraic Geometry (math.AG)
We prove that every nontrivial principal $G_m$-bundle over a complete uniformly rational variety is algebraically elliptic in the sense of Gromov.
- [229] arXiv:2406.14468 (replaced) [pdf, html, other]
-
Title: On $k$-uniform tight cycles: the Ramsey number for $C_{kn}^{(k)}$ and an approximate Lehel's conjectureComments: 20 pages, to appear in CombinatoricaSubjects: Combinatorics (math.CO)
A $k$-uniform tight cycle is a $k$-graph with a cyclic ordering of its vertices such that its edges are precisely the sets of $k$ consecutive vertices in that ordering. We show that, for each $k \geq 3$, the Ramsey number of the $k$-uniform tight cycle on $kn$ vertices is $(1+o(1))(k+1)n$. This is an extension to all uniformities of previous results for $k = 3$ by Haxell, Łuczak, Peng, Rödl, Ruciński, and Skokan and for $k = 4$ by Lo and the author and confirms a special case of a conjecture by the former set of authors.
Lehel's conjecture, which was proved by Bessy and Thomassé, states that every red-blue edge-coloured complete graph contains a red cycle and a blue cycle that are vertex-disjoint and together cover all the vertices. We also prove an approximate version of this for $k$-uniform tight cycles. We show that, for every $k \geq 3$, every red-blue edge-coloured complete $k$-graph on $n$ vertices contains a red tight cycle and a blue tight cycle that are vertex-disjoint and together cover $n - o(n)$ vertices. - [230] arXiv:2407.01507 (replaced) [pdf, html, other]
-
Title: Descent spectral sequences through synthetic spectraComments: v2: clarified some results and proofs, and incorporated referee comments. Accepted version, to appear in IMRN. v1: 33 pages. Comments welcome!Subjects: Algebraic Topology (math.AT)
The synthetic analogue functor $\nu$ from spectra to synthetic spectra does not preserve all limits. In this paper, we give a necessary and sufficient criterion for $\nu$ to preserve the global sections of a derived stack. Even when these conditions are not satisfied, our framework still yields synthetic spectra that implement the descent spectral sequence for the structure sheaf, thus placing descent spectral sequences on good footing in the $\infty$-category of synthetic spectra. As an example, we introduce a new $\mathrm{MU}$-synthetic spectrum $\mathrm{Smf}$.
- [231] arXiv:2407.02216 (replaced) [pdf, html, other]
-
Title: Positive definiteness and Fell bundles over discrete groupsComments: 28 pages. Somewhat shortened and slightly reorganized, according to the suggestions of a refereeJournal-ref: Math. Z. 311, 9 (2025)Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
We introduce a natural concept of positive definiteness for bundle maps between Fell bundles over (possibly different) discrete groups and describe several examples. Such maps induce completely positive maps between the associated full cross-sectional $C^*$-algebras in a functorial way. Under the assumption that the kernel of the homomorphism connecting the groups under consideration is amenable, they also induce completely positive maps between the associated reduced cross-sectional $C^*$-algebras. As an application, we define an approximation property for a Fell bundle over a discrete group which generalizes Exel's approximation property and still implies the weak containment property. Both approximation properties coincide when the unit fibre is nuclear.
- [232] arXiv:2407.07657 (replaced) [pdf, html, other]
-
Title: Connectedness of the moduli space of all reduced curvesComments: 10 pages, accepted version for Proceedings of the AMSSubjects: Algebraic Geometry (math.AG)
Using moduli of equinormalized curves and Ishii's theory of territories, we prove that the moduli stack of all reduced n-pointed algebraic curves of fixed arithmetic genus is connected.
- [233] arXiv:2407.10521 (replaced) [pdf, html, other]
-
Title: On the small-time bilinear control of a nonlinear heat equation: global approximate controllability and exact controllability to trajectoriesSubjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
In this work we analyse the small-time reachability properties of a nonlinear parabolic equation, by means of a bilinear control, posed on a torus of arbitrary dimension $d$. Under a saturation hypothesis on the control operators, we show the small-time approximate controllability between states sharing the same sign. Moreover, in the one-dimensional case $d=1$, we combine this property with a local exact controllability result, and prove the small-time exact controllability of any positive states towards the ground state of the evolution operator.
- [234] arXiv:2407.21223 (replaced) [pdf, html, other]
-
Title: A Trek Rule for the Lyapunov EquationSubjects: Statistics Theory (math.ST); Probability (math.PR)
The Lyapunov equation is a linear matrix equation characterizing the cross-sectional steady-state covariance matrix of a Gaussian Markov process. We show a new version of the trek rule for this equation, which links the graphical structure of the drift of the process to the entries of the steady-state covariance matrix. In general, the trek rule is a power series expansion of the covariance matrix in the entries of the drift and volatility matrices. For acyclic models it simplifies to a polynomial in the off-diagonal entries of the drift matrix. Using the trek rule we can give relatively explicit formulas for the entries of the covariance matrix for some special cases of the drift matrix. These results illustrate notable differences between covariance models entailed by the Lyapunov equation and those entailed by linear additive noise models. To further explore differences and similarities between these two model classes, we use the trek rule to derive a new lower bound on the marginal variances in the acyclic case. This sheds light on the phenomenon, well known for the linear additive noise model, that the variances in the acyclic case tend to increase along a topological ordering of the variables.
- [235] arXiv:2408.00991 (replaced) [pdf, html, other]
-
Title: Learning with Linear Function Approximations in Mean-Field ControlSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
The paper focuses on mean-field type multi-agent control problems with finite state and action spaces where the dynamics and cost structures are symmetric and homogeneous, and are affected by the distribution of the agents. A standard solution method for these problems is to consider the infinite population limit as an approximation and use symmetric solutions of the limit problem to achieve near optimality. The control policies, and in particular the dynamics, depend on the population distribution in the finite population setting, or the marginal distribution of the state variable of a representative agent for the infinite population setting. Hence, learning and planning for these control problems generally require estimating the reaction of the system to all possible state distributions of the agents. To overcome this issue, we consider linear function approximation for the control problem and provide coordinated and independent learning methods. We rigorously establish error upper bounds for the performance of learned solutions. The performance gap stems from (i) the mismatch due to estimating the true model with a linear one, and (ii) using the infinite population solution in the finite population problem as an approximate control. The provided upper bounds quantify the impact of these error sources on the overall performance.
- [236] arXiv:2408.11944 (replaced) [pdf, html, other]
-
Title: On the completeness of the space $\mathcal{O}_C$Comments: 11 pages, final versionSubjects: Functional Analysis (math.FA)
We give a new proof of the completeness of the space $\mathcal{O}_C$ by applying a criterion of compact regularity for the isomorphic sequence space $\lim_{k\rightarrow} (s\hat \otimes (\ell^\infty)_{-k})$. Along the way we show that the strong dual of any quasinormable Fréchet space is a compactly regular $\mathcal{LB}$-space. Finally, we prove that $\lim_{k\rightarrow}(E_k\hat \otimes_\iota F) = (\lim_{k\rightarrow} E_k) \hat \otimes_\iota F$ if the inductive limit $\lim_{k \rightarrow}(E_k \hat \otimes_\iota F)$ is compactly regular.
- [237] arXiv:2408.14394 (replaced) [pdf, html, other]
-
Title: Gromov--Hausdorff Distance for Directed SpacesLisbeth Fajstrup, Brittany Terese Fasy, Wenwen Li, Lydia Mezrag, Tatum Rask, Francesca Tombari, Živa UrbančičComments: Proof of Theorem 1 has been updated, and Theorem 2 of the previous version has been erased. Additional results about the zigzag distance in Section 3.1. Minor changesSubjects: Algebraic Topology (math.AT)
The Gromov--Hausdorff distance measures the similarity between two metric spaces by isometrically embedding them into an ambient metric space. In this work, we introduce an analogue of this distance for metric spaces endowed with directed structures. The directed Gromov--Hausdorff distance measures the distance between two extended metric spaces, where the new metric, defined on the same underlying space, is induced by the length of zigzag paths. This distance is then computed by isometrically embedding the directed metric spaces into an ambient directed space equipped with the zigzag distance. Analogously to the standard Gromov--Hausdorff distance, we also propose alternative formulations based on the distortion of d-maps and d-correspondences. However, unlike the classical case, these directed distances are not equivalent.
- [238] arXiv:2409.13943 (replaced) [pdf, html, other]
-
Title: QoS-Aware and Routing-Flexible Network Slicing for Service-Oriented NetworksComments: 18 pages, 11 figs, submitted for possible publication. arXiv admin note: text overlap with arXiv:2110.03915Subjects: Information Theory (cs.IT); Signal Processing (eess.SP); Optimization and Control (math.OC)
In this paper, we consider the network slicing (NS) problem which attempts to map multiple customized virtual network requests (also called services) to a common shared network infrastructure and manage network resources to meet diverse quality of service (QoS) requirements. We propose a mixed-integer nonlinear programming (MINLP) formulation for the considered NS problem that can flexibly route the traffic flow of the services on multiple paths and provide end-to-end delay and reliability guarantees for all services. To overcome the computational difficulty due to the intrinsic nonlinearity in the MINLP formulation, we transform the MINLP formulation into an equivalent mixed-integer linear programming (MILP) formulation and further show that their continuous relaxations are equivalent. In sharp contrast to the continuous relaxation of the MINLP formulation which is a nonconvex nonlinear programming problem, the continuous relaxation of the MILP formulation is a polynomial-time solvable linear programming problem, which significantly facilitates the algorithmic design. Based on the newly proposed MILP formulation, we develop a customized column generation (cCG) algorithm for solving the NS problem. The proposed cCG algorithm is a decomposition-based algorithm and is particularly suitable for solving large-scale NS problems. Numerical results demonstrate the efficacy of the proposed formulations and the proposed cCG algorithm.
- [239] arXiv:2409.14625 (replaced) [pdf, html, other]
-
Title: On norm-attaining positive operators between Banach latticesComments: 16 pagesSubjects: Functional Analysis (math.FA)
In this paper we study the norm-attainment of positive operators between Banach lattices. By considering an absolute version of James boundaries, we prove that: If $E$ is a reflexive Banach lattice whose order is given by a basis and $F$ is a Dedekind complete Banach lattice, then every positive operator from $E$ to $F$ is compact if and only if every positive operator from $E$ to $F$ attains its norm. An analogue result considering that $E$ is reflexive and the order in $F$ is continuous and given by a basis was proven. We applied our result to study a positive version of the weak maximizing property.
- [240] arXiv:2409.16648 (replaced) [pdf, html, other]
-
Title: A new class of magic positive Ehrhart polynomials of reflexive polytopesComments: 10 pagesSubjects: Combinatorics (math.CO)
The magic positivity of Ehrhart polynomials is a useful tool for proving the real-rootedness of the $h^\ast$-polynomials. In this paper, we provide a new class of reflexive polytopes whose Ehrhart polynomials are magic positive. First, we prove that the Ehrhart polynomials of Stasheff polytopes are magic positive. Second, we provide a partial proof of the magic positivity of the Ehrhart polynomials of the dual polytopes of the symmetric edge polytopes of cycles.
- [241] arXiv:2409.19752 (replaced) [pdf, html, other]
-
Title: The properties of the solution for the Cauchy problem of a double nonlinear time-dependent parabolic equation in non-divergence form with a source or absorptionComments: 13 pages, 4 figuresSubjects: Analysis of PDEs (math.AP)
This paper studies the properties of solutions for a double nonlinear time-dependent parabolic equation with variable density, not in divergence form with a source or absorption. The problem is formulated as a partial differential equation with a nonlinear term that depends on the solution and time. The main results are the existence of weak solutions in suitable function spaces; regularity and positivity of solutions; asymptotic behavior of solutions as time goes to infinity; comparison principles and maximum principles for solutions. The proofs are based on comparison methods and asymptotic techniques. Some examples and applications are also given to illustrate the features of the problem.
- [242] arXiv:2410.06801 (replaced) [pdf, html, other]
-
Title: Equivalence of fluctuations of discretized SHE and KPZ equations in the subcritical weak disorder regimeComments: 33 pages, no figures. Accepted versionSubjects: Probability (math.PR); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
We study the fluctuations of discretized versions of the stochastic heat equation (SHE) and the Kardar-Parisi-Zhang (KPZ) equation in spatial dimensions $d\geq 3$ in the weak disorder regime. The discretization is defined using the directed polymer model. Previous research has identified the scaling limit of both equations under a suboptimal moment condition and, in particular, it was established that both converge in law to the same limit. We extend this result by showing that the fluctuations of both equations are close in probability in the subcritical weak disorder regime, indicating that they share the same scaling limit (the existence of which remains open). Our result applies under a moment condition that is expected to hold throughout the interior of the weak disorder phase, which is currently only known under a technical assumption on the environment. We also prove a lower tail concentration of the partition functions.
- [243] arXiv:2410.19470 (replaced) [pdf, html, other]
-
Title: SFEM for the Lagrangian formulation of the surface Stokes problemComments: 40 pages, 9 figuresSubjects: Numerical Analysis (math.NA)
We consider the surface Stokes equation with Lagrange multiplier and approach it numerically. Using a Taylor-Hood surface finite element method, along with an appropriate estimate for the additional Lagrange multiplier, we derive a new inf-sup condition to help with the stability and convergence results. We establish optimal velocity convergence both in energy and tangential $L^2$ norms, along with optimal $L^2$ norm convergence for the two pressures, in the case of super-parametric finite elements. Furthermore, if the approximation order of the velocities matches that of the extra Lagrange multiplier, we achieve optimal order convergence even in the standard iso-parametric case. In this case, we also establish some new estimates for the normal $L^2$ velocity norm. In addition, we provide numerical simulations that confirm the established error bounds and also perform a comparative analysis against the penalty approach.
- [244] arXiv:2410.20708 (replaced) [pdf, html, other]
-
Title: Neural Operators for Adaptive Control of Freeway TrafficSubjects: Optimization and Control (math.OC)
Uncertainty and delayed reactions in human driving behavior lead to stop-and-go traffic congestion on freeways. The freeway traffic dynamics are governed by the Aw-Rascle-Zhang (ARZ) traffic Partial Differential Equation (PDE) models with unknown relaxation time. Motivated by the adaptive traffic control problem, this paper presents a neural operator (NO) based adaptive boundary control design for the coupled 2$\times$2 hyperbolic systems with uncertain spatially varying in-domain coefficients and boundary parameter. In traditional adaptive control for PDEs, solving backstepping kernel online is computationally intensive, as it requires significant resources at each time step to update the estimation of coefficients. To address this challenge, we use operator learning, i.e. DeepONet, to learn the mapping from system parameters to the kernels functions. DeepONet, a class of deep neural networks designed for approximating operators, has shown strong potential for approximating PDE backstepping designs in recent studies. Unlike previous works that focus on approximating single kernel equation associated with the scalar PDE system, we extend this framework to approximate PDE kernels for a class of the first-order coupled 2$\times$2 hyperbolic kernel equations. Our approach demonstrates that DeepONet is nearly two orders of magnitude faster than traditional PDE solvers for generating kernel functions, while maintaining a loss on the order of $10^{-3}$.
- [245] arXiv:2411.01467 (replaced) [pdf, html, other]
-
Title: Conformal covariance of connection probabilities in the 2D critical FK-Ising modelComments: V2: Minor changes. To appear in Stochastic Process. ApplSubjects: Probability (math.PR); Mathematical Physics (math-ph)
We study connection probabilities between vertices of the square lattice for the critical random-cluster (FK) model with cluster weight 2, which is related to the critical Ising model. We consider the model on the plane and on domains conformally equivalent to the upper half-plane. We prove that, when appropriately rescaled, the connection probabilities between vertices in the domain or on the boundary have nontrivial limits, as the mesh size of the square lattice is sent to zero, and that those limits are conformally covariant. This provides an important step in the proof of the Delfino-Viti conjecture for FK-Ising percolation as well as an alternative proof of the conformal covariance of the Ising spin correlation functions. In an appendix, we also derive new exact formulas for some Ising boundary spin correlation functions.
- [246] arXiv:2411.04320 (replaced) [pdf, html, other]
-
Title: Adaptive exact recovery in sparse nonparametric modelsComments: 24 pages, 0 figuresSubjects: Statistics Theory (math.ST)
We observe an unknown regression function of $d$ variables $f(\boldsymbol{t})$, $\boldsymbol{t} \in[0,1]^d$, in the Gaussian white noise model of intensity $\varepsilon>0$. We assume that the function $f$ is regular and that it is a sum of $k$-variate functions, where $k$ varies from $1$ to $s$ ($1\leq s\leq d$). These functions are unknown to us and only few of them are nonzero. In this article, we address the problem of identifying the nonzero components of $f$ in the case when $d=d_\varepsilon\to \infty$ as $\varepsilon\to 0$ and $s$ is either fixed or $s=s_\varepsilon\to \infty$, $s=o(d)$ as $\varepsilon\to \infty$. This may be viewed as a variable selection problem. We derive the conditions when exact variable selection in the model at hand is possible and provide a selection procedure that achieves this type of selection. The procedure is adaptive to a degree of model sparsity described by the sparsity parameter $\beta\in(0,1)$. We also derive conditions that make the exact variable selection impossible. Our results augment previous work in this area.
- [247] arXiv:2411.08643 (replaced) [pdf, html, other]
-
Title: David regularity of the Yoccoz extensionComments: 27 pages, 7 figuresSubjects: Dynamical Systems (math.DS)
A central problem in the study of critical circle dynamics is understanding the regularity of Yoccoz conjugators - circle homeomorphisms that conjugate critical circle maps with irrational rotation numbers to their corresponding rigid rotations. One can approach this problem from a different angle by studying the regularity of extensions of these maps to the unit disk. Of particular interest is the question of when such a conjugator admits a David extension. Building on the work of Petersen and Zakeri, we classify the David regularity of a specific extension process known as the Yoccoz extension.
- [248] arXiv:2411.08748 (replaced) [pdf, html, other]
-
Title: Continuity of matings of Kleinian groups and polynomialsComments: 28 pages, 10 figuresSubjects: Dynamical Systems (math.DS)
In recent years, the study of holomorphic correspondences as dynamical systems that can display behaviors of both rational maps and Kleinian groups has gained a good amount of attention. This phenomenon is related to the Sullivan dictionary, a list of parallels between the theories of these two systems. We build upon a surgical construction of such matings, due to Bullett and Harvey, increasing the degree of maps we consider, and proving regularity properties of the mating map on parameter spaces: namely, analyticity on the interior of its domain of definition, and continuity under quasiconformal rigidity on the boundary.
- [249] arXiv:2411.10355 (replaced) [pdf, html, other]
-
Title: Transmission eigenvalue distribution in disordered media from radiant field theoryComments: 27 pages, 7 figures, accepted in Phys. Rev. ResearchSubjects: Mathematical Physics (math-ph); Disordered Systems and Neural Networks (cond-mat.dis-nn); Optics (physics.optics)
We develop a field-theoretic framework, called radiant field theory, to calculate the distribution of transmission eigenvalues for coherent wave propagation in disordered media. At its core is a self-consistent transport equation for a $2\times 2$ matrix radiance, reminiscent of the radiative transfer equation but capable of capturing coherent interference effects. This framework goes beyond the limitations of the Dorokhov-Mello-Pereyra-Kumar theory by accounting for both quasiballistic and diffusive regimes. It also handles open geometries inaccessible to standard wave-equation solvers such as infinite slabs. Analytical and numerical solutions are provided for these geometries, highlighting in particular the impact of the waveguide shape and the grazing modes on the transmission eigenvalue distribution in the quasiballistic regime. By removing the macroscopic assumptions of random matrix models, this microscopic theory enables the calculation of transmission statistics in regimes previously out of reach. It also provides a foundation for exploring more complex observables and physical effects relevant to wavefront shaping in realistic disordered systems.
- [250] arXiv:2411.10360 (replaced) [pdf, html, other]
-
Title: Radiant Field Theory: A Transport Approach to Shaped Wave Transmission through Disordered MediaComments: 7 pages, 3 figures, accepted in Physical Review LettersSubjects: Mathematical Physics (math-ph); Disordered Systems and Neural Networks (cond-mat.dis-nn); Optics (physics.optics)
We present a field-theoretic framework to characterize the distribution of transmission eigenvalues for coherent wave propagation through disordered media. The central outcome is a transport equation for a matrix-valued radiance, analogous to the classical radiative transport equation but capable of capturing coherent effects encoded in the transmission matrix. Unlike the Dorokhov-Mello-Pereyra-Kumar (DMPK) theory, our approach does not rely on the isotropy hypothesis, which presumes uniform angular scattering by material slices. As a result, it remains valid beyond the diffusive regime, accurately describing the transmission eigenvalue distribution in the quasiballistic regime as well. Moreover, the framework is more versatile than the DMPK theory, enabling straightforward incorporation of experimental realities such as absorption and incomplete channel control. These factors are frequently encountered in wave experiments on complex media but have lacked an ab initio theoretical treatment until now. We validate our predictions through numerical simulations based on the microscopic wave equation, confirming the accuracy and broad applicability of the theory.
- [251] arXiv:2411.10832 (replaced) [pdf, html, other]
-
Title: Small-signal stability of power systems with voltage droopSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Dynamical Systems (math.DS)
The stability of inverter-dominated power grids remains an active area of research. This paper presents novel sufficient conditions for ensuring small-signal stability in lossless and constant $R/X$ grids with highly heterogeneous mixes of grid-forming inverters that implement an adapted $V$-$q$ droop control. The proposed conditions can be evaluated in the neighborhood of each bus without information on the rest of the grid. Apart from the presence of $V$-$q$ droop, no additional assumptions are made regarding the inverter control strategies, nor is dynamical homogeneity across the system assumed. The analysis is enabled by recasting the node dynamics in terms of complex frequency and power, resulting in transfer functions that directly capture the small-signal frequency and amplitude responses to active and reactive power imbalances. These transfer functions are directly aligned with typical design considerations in grid-forming control. Building on an adapted small-phase theorem and viewing the system as a closed feedback loop between nodes and lines, the derived stability conditions also yield new insights when applied to established inverter control designs. We demonstrate in simulations that our conditions are not overly conservative and can identify individual inverters that are misconfigured and cause instability.
- [252] arXiv:2411.12606 (replaced) [pdf, html, other]
-
Title: Generation of Cycle Permutation Graphs and Permutation SnarksComments: 28 pagesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We present an algorithm for the efficient generation of all pairwise non-isomorphic cycle permutation graphs, i.e. cubic graphs with a $2$-factor consisting of two chordless cycles, non-hamiltonian cycle permutation graphs and permutation snarks, i.e. cycle permutation graphs that do not admit a $3$-edge-colouring. This allows us to generate all cycle permutation graphs up to order $34$ and all permutation snarks up to order $46$, improving upon previous computational results by Brinkmann et al. Moreover, we give several improved lower bounds for interesting permutation snarks, such as for a smallest permutation snark of order $6 \bmod 8$ or a smallest permutation snark of girth at least $6$ and give more evidence in support of a conjecture of Goddyn. These computational results also allow us to complete a characterisation of the orders for which non-hamiltonian cycle permutation graphs exist, answering an open question by Klee from 1972, and yield many more counterexamples to conjectures by Jackson and Zhang.
- [253] arXiv:2411.16280 (replaced) [pdf, html, other]
-
Title: $K(2)$-local splittings of finite Galois extensions of $MU\langle6\rangle$ and $MString$Comments: 44 pages, streamlined main argument and added appendices about Iwasawa (co)algebras and the Milnor-Moore argument, comments welcome!Subjects: Algebraic Topology (math.AT)
Using a Milnor-Moore argument we show that, $K(2)$-locally at the prime $2$, the spectra $MU\langle 6\rangle$ and $MString$ split as direct sums of Morava $E$-theories after tensoring with a finite Galois extension of the sphere called $E^{hF_{3/2}}$. In the case of $MString$ we are able to refine this splitting in several ways: we show that the projection maps are determined by spin characteristic classes, that the Ando-Hopkins-Rezk orientation admits a unital section after tensoring with $E^{hF_{3/2}}$, and that the splitting can be improved to one of $E^{hH}\otimes MString$ into a direct sum of shifts of $TMF_0(3)$ where $H$ is an open subgroup of the Morava stabilizer group of index $4$.
- [254] arXiv:2412.04298 (replaced) [pdf, html, other]
-
Title: Infinitely refinable generalization of quad-mesh rigid origami: from linear and equimodular couplingsComments: main text 21 pages (including references), supplementary material 74 pages, 20 figures, submitted manuscriptSubjects: Metric Geometry (math.MG)
A quad-mesh rigid origami is a continuously deformable panel-hinge structure where planar, rigid, zero-thickness quadrilateral panels are connected by rotational hinges in the combinatorics of a grid. This article provides a comprehensive exposition of two new families of infinitely refinable quad-mesh rigid origami, generated from linear and equimodular couplings. These constructions expand the current landscape beyond well-known variations such as the Miura-ori, V-hedron (discrete Voss surface or eggbox pattern), anti-V-hedron (flat-foldable pattern), and T-hedron (trapezoidal pattern). We conjecture that as the mesh is refined to infinity, these quad-mesh rigid origami converges to special ruled surfaces in the limit, supported by multiple lines of evidence.
- [255] arXiv:2412.07568 (replaced) [pdf, html, other]
-
Title: Minimal residual discretization of a class of fully nonlinear elliptic PDESubjects: Numerical Analysis (math.NA)
This work introduces finite element methods for a class of elliptic fully nonlinear partial differential equations. They are based on a minimal residual principle that builds upon the Alexandrov--Bakelman--Pucci estimate. Under rather general structural assumptions on the operator, convergence of $C^1$ conforming and discontinuous Galerkin methods is proven in the $L^\infty$ norm. Numerical experiments on the performance of adaptive mesh refinement driven by local information of the residual in two and three space dimensions are provided.
- [256] arXiv:2412.15926 (replaced) [pdf, other]
-
Title: A Cahn--Hilliard--Willmore phase field model for non-oriented interfacesSubjects: Optimization and Control (math.OC)
We investigate a new phase field model for representing non-oriented interfaces, approximating their area and simulating their area-minimizing flow. Our contribution is related to the approach proposed in arXiv:2105.09627 that involves ad hoc neural networks. We show here that, instead of neural networks, similar results can be obtained using a more standard variational approach that combines a Cahn-Hilliard-type functional involving an appropriate non-smooth potential and a Willmore-type stabilization energy. We give a $\Gamma$-convergence analysis of this phase field model in dimension $1$ and, for radially symmetric functions, in arbitrary dimension. We also propose a simple numerical scheme to approximate its $L^2$-gradient flow. We illustrate numerically that the new flow approximates fairly well the mean curvature flow of codimension $1$ or $2$ interfaces in dimensions $2$ and $3$.
- [257] arXiv:2501.03209 (replaced) [pdf, html, other]
-
Title: Local data of elliptic curves under quadratic twistComments: 41 pages; normal model renamed to strongly-minimal model; incorporates suggestions by referees; final version to appear in Research in Number TheorySubjects: Number Theory (math.NT)
Let $K$ be the field of fractions of a complete discrete valuation ring with a perfect residue field. In this article, we investigate how the Tamagawa number of $E/K$ changes under quadratic twist. To accomplish this, we introduce the notion of a strongly-minimal model for an elliptic curve $E/K$, which is a minimal Weierstrass model satisfying certain conditions that lead one to easily infer the local data of $E/K$. Our main results provide explicit conditions on the Weierstrass coefficients of a strongly-minimal model of $E/K$ to determine the local data of a quadratic twist $E^{d}/K$. We note that when the residue field has characteristic $2$, we only consider the special case $K=\mathbb{Q}_{2}$. In this setting, we also determine the minimal discriminant valuation and conductor exponent of $E$ and $E^d$ from further conditions on the coefficients of a strongly-minimal model for $E$.
- [258] arXiv:2501.11280 (replaced) [pdf, html, other]
-
Title: Empirical Bayes Estimation for Lasso-Type Regularizers: Analysis of Automatic Relevance DeterminationComments: 8 pages, 1 figure, accepted by the 2025 IEEE International Symposium on Information Theory (ISIT 2025)Subjects: Statistics Theory (math.ST); Information Theory (cs.IT); Machine Learning (cs.LG)
This paper focuses on linear regression models with non-conjugate sparsity-inducing regularizers such as lasso and group lasso. Although the empirical Bayes approach enables us to estimate the regularization parameter, little is known on the properties of the estimators. In particular, many aspects regarding the specific conditions under which the mechanism of automatic relevance determination (ARD) occurs remain unexplained. In this paper, we derive the empirical Bayes estimators for the group lasso regularized linear regression models with limited parameters. It is shown that the estimators diverge under a specific condition, giving rise to the ARD mechanism. We also prove that empirical Bayes methods can produce the ARD mechanism in general regularized linear regression models and clarify the conditions under which models such as ridge, lasso, and group lasso can do so.
- [259] arXiv:2501.16529 (replaced) [pdf, html, other]
-
Title: An artificial viscosity approach to high order entropy stable discontinuous Galerkin methodsSubjects: Numerical Analysis (math.NA)
Entropy stable discontinuous Galerkin (DG) methods improve the robustness of high order DG simulations of nonlinear conservation laws. These methods yield a semi-discrete entropy inequality, and rely on an algebraic flux differencing formulation which involves both summation-by-parts (SBP) discretization matrices and entropy conservative two-point finite volume fluxes. However, explicit expressions for such two-point finite volume fluxes may not be available for all systems, or may be computationally expensive to compute.
This paper proposes an alternative approach to constructing entropy stable DG methods using an entropy correction artificial viscosity, where the artificial viscosity coefficient is determined based on the local violation of a cell entropy inequality and the local entropy dissipation. The resulting method is a modification of the entropy correction introduced by Abgrall, Offner, and Ranocha (2022) in "Reinterpretation and Extension of Entropy Correction Terms for Residual Distribution and Discontinuous Galerkin Schemes: Application to Structure Preserving Discretization", and recovers the same global semi-discrete entropy inequality that is satisfied by entropy stable flux differencing DG methods. The entropy correction artificial viscosity coefficients are parameter-free and locally computable over each cell, and the resulting artificial viscosity preserves both high order accuracy and a hyperbolic maximum stable time-step size under explicit time-stepping. - [260] arXiv:2501.16844 (replaced) [pdf, html, other]
-
Title: Electricity Market Bidding for Renewable Electrolyzer Plants: An Opportunity Cost ApproachSubjects: Optimization and Control (math.OC)
Hydrogen produced through electrolysis with renewable power is considered key to decarbonize several hard-to-electrify sectors. This work proposes a novel approach to model the active electricity market participation of co-located renewable energy and electrolyzer plants, based on opportunity-cost bidding. While a renewable energy plant typically has zero marginal cost, selling power to the grid carries a potential opportunity-cost of not producing hydrogen when it is co-located with a hydrogen electrolyzer. We first consider only the electrolyzer, and derive its revenue of consuming electricity based on the non-convex hydrogen production curve. We then consider the available renewable energy production and form a piece-wise linear cost curve representing the opportunity cost of selling (or revenue from consuming) various levels of electricity. This cost curve can be used to model a stand-alone electrolyzer or a co-located hydrogen and renewable energy plant participating in an electricity market. Our case study analyzes the effects of market-bidding electrolyzers on electricity markets and grid operations. We compare two strategies for a co-located electrolyzer-wind plant; one based on the proposed bid curve and one with a more conventional fixed electrolyzer consumption. The results show that electrolyzers that actively participate in the electricity market lower the average cost of electricity and the amount of curtailed renewable energy in the system compared with a fixed consumption case. However, the difference in total system emissions between the two strategies is insignificant. The specific impacts vary based on electrolyzer capacity and hydrogen price, which determines the location of the co-located plant in the electricity market merit order.
- [261] arXiv:2501.19071 (replaced) [pdf, html, other]
-
Title: New perspectives on the d'Alembertian from general relativity. An invitationComments: 45 pages. Final versionSubjects: Differential Geometry (math.DG); Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Metric Geometry (math.MG)
This survey has multiple objectives. First, we motivate and review a new distributional notion of the d'Alembertian from mathematical relativity, more precisely, a nonlinear $p$-version thereof, where $p$ is a nonzero number less than one. This operator comes from natural Lagrangian actions introduced relatively recently. Unlike its classical linear yet hyperbolic counterpart, it is nonlinear yet has elliptic characteristics. Second, we describe recent comparison estimates for the $p$-d'Alembertian of Lorentz distance functions (notably a point or a spacelike hypersurface). Their new contribution implied by prior works on optimal transport through spacetime is a control of the timelike cut locus. Third, we illustrate exact representation formulas for these $p$-d'Alembertians employing methods from convex geometry. Fourth, several applications and open problems are presented.
- [262] arXiv:2502.00554 (replaced) [pdf, html, other]
-
Title: Optimal control of quasilinear parabolic PDEs with gradient terms and pointwise constraints on the gradient of the stateComments: Version accepted for publication in MCRFSubjects: Optimization and Control (math.OC)
We derive existence results and first order necessary optimality conditions for optimal control problems governed by quasilinear parabolic PDEs with a class of first order nonlinearities that include for instance quadratic gradient terms. Pointwise in space and time or averaged in space and pointwise in time constraints on the gradient of the state control the growth of the nonlinear terms. We rely on and extend the improved regularity analysis for quasilinear parabolic PDEs on a whole scale of function spaces from [Hoppe et al, 2023]. In case of integral in space gradient-constraints we derive first-order optimality conditions under rather general regularity assumptions for domain, coefficients, and boundary conditions, similar to e.g. [Bonifacius and Neitzel, 2018]. In the case of pointwise in time and space gradient-constraints we use slightly stronger regularity assumptions leading to a classical smoother $W^{2,p}$-setting similar to [Casas and Chrysafinos, 2018].
- [263] arXiv:2502.01975 (replaced) [pdf, html, other]
-
Title: Pseudo-Cartan InclusionsComments: Version 3: Prop 6.1.3(c) has been generalized and is now Proposition 6.1.6. Some renumbering in Section 6.1 and added Lemma 6.1.5. Version 2: A rigidity result (Proposition 6.1.13) added, Introduction modified, reference added, various cosmetic changes. 65 pagesSubjects: Operator Algebras (math.OA)
A pseudo-Cartan inclusion is a regular inclusion having a Cartan envelope. Unital pseudo-Cartan inclusions were classified by Pitts; we extend this classification to include the non-unital case. The class of pseudo-Cartan inclusions coincides with the class of regular inclusions having the faithful unique pseudo-expectation property and can also be described using the ideal intersection property. We describe the twisted groupoid associated with the Cartan envelope of a pseudo-Cartan inclusion. These results significantly extend previous results obtained for the unital setting.
We explore properties of pseudo-Cartan inclusions and the relationship between a pseudo-Cartan inclusion and its Cartan envelope. For example, if $\mathcal D\subseteq \mathcal C$ is a pseudo-Cartan inclusion with Cartan envelope $\mathcal B\subseteq \mathcal A$, then $\mathcal C$ is simple if and only if $\mathcal A$ is simple. Also every regular $*$-automorphism of $\mathcal C$ uniquely extends to a $*$-automorphism of $\mathcal A$. We show that the inductive limit of pseudo-Cartan inclusions with suitable connecting maps is a pseudo-Cartan inclusion, and the minimal tensor product of pseudo-Cartan inclusions is a pseudo-Cartan inclusion. Further, we describe the Cartan envelope of pseudo-Cartan inclusions arising from these constructions. We conclude with some applications and a few open questions. - [264] arXiv:2502.03335 (replaced) [pdf, html, other]
-
Title: Actions Speak Louder Than Words: Rate-Reward Trade-off in Markov Decision ProcessesJournal-ref: The International Conference on Learning Representations (ICLR) 2015Subjects: Information Theory (cs.IT)
The impact of communication on decision-making systems has been extensively studied under the assumption of dedicated communication channels. We instead consider communicating through actions, where the message is embedded into the actions of an agent which interacts with the environment in a Markov decision process (MDP) framework. We conceptualize the MDP environment as a finite-state channel (FSC), where the actions of the agent serve as the channel input, while the states of the MDP observed by another agent (i.e., receiver) serve as the channel output. Here, we treat the environment as a communication channel over which the agent communicates through its actions, while at the same time, trying to maximize its reward. We first characterize the optimal information theoretic trade-off between the average reward and the rate of reliable communication in the infinite-horizon regime. Then, we propose a novel framework to design a joint control/coding policy, termed \textit{Act2Comm}, which seamlessly embeds messages into actions. From a communication perspective, \textit{Act2Comm} functions as a learning-based channel coding scheme for non-differentiable FSCs under input-output constraints. From a control standpoint, \textit{Act2Comm} learns an MDP policy that incorporates communication capabilities, though at the cost of some control performance. Overall, \textit{Act2Comm} effectively balances the dual objectives of control and communication in this environment. Experimental results validate \textit{Act2Comm}'s capability to enable reliable communication while maintaining a certain level of control performance.
- [265] arXiv:2502.04629 (replaced) [pdf, html, other]
-
Title: The Schur-Agler class in infinitely many variablesComments: Corrected typos, added referenceSubjects: Functional Analysis (math.FA); Complex Variables (math.CV)
We define the Schur-Agler class in infinite variables to consist of functions whose restrictions to finite dimensional polydisks belong to the Schur-Agler class. We show that a natural generalization of an Agler decomposition holds and the functions possess transfer function realizations that allow us to extend the functions to the unit ball of $\ell^\infty$. We also give a Pick interpolation type theorem which displays a subtle difference with finitely many variables. Finally, we make a brief connection to Dirichlet series derived from the Schur-Agler class in infinite variables via the Bohr correspondence.
- [266] arXiv:2502.08400 (replaced) [pdf, html, other]
-
Title: Predictive Control Barrier Functions: Bridging model predictive control and control barrier functionsSubjects: Optimization and Control (math.OC)
In this paper, we establish a connection between model predictive control (MPC) techniques and Control Barrier Functions (CBFs). Recognizing the similarity between CBFs and Control Lyapunov Functions (CLFs), we propose a MPC formulation that ensures invariance and safety without relying on explicit stability conditions. The value function of our proposed MPC is a CBF, which we refer to as the Predictive Control Barrier Function (PCBF), similar to traditional MPC formulations which encode stability by having value functions as CLFs. Our formulation is simpler than previous PCBF approaches and is based on weaker assumptions while proving a similar theorem that guarantees safety recovery. Notably, our MPC formulation does not require the value function to be strictly decreasing to ensure convergence to a safe invariant set. Numerical examples demonstrate the effectiveness of our approach in guaranteeing safety and constructing non-conservative CBFs.
- [267] arXiv:2502.11170 (replaced) [pdf, html, other]
-
Title: A signless Laplacian spectral Erdös-Stone-Simonovits theoremSubjects: Combinatorics (math.CO)
The celebrated Erdős--Stone--Simonovits theorem states that $\mathrm{ex}(n,F)= \big(1-\frac{1}{\chi(F)-1}+o(1) \big)\frac{n^{2}}{2}$, where $\chi(F)$ is the chromatic number of $F$. In 2009, Nikiforov proved a spectral extension of the Erdős--Stone--Simonovits theorem in terms of the adjacency spectral radius. In this paper, we shall establish a unified extension in terms of the signless Laplacian spectral radius. Let $q(G)$ be the signless Laplacian spectral radius of $G$ and we denote $\mathrm{ex}_{q}(n,F) =\max \{q(G):|G|=n ~\mbox{and}~F\nsubseteq G\}$. It is known that the Erdős--Stone--Simonovits type result for the signless Laplacian spectral radius does not hold for even cycles. We prove that if $F$ is a graph with $\chi(F)\geq 3$, then $\mathrm{ex}_{q}(n,F)=\big(1-\frac{1}{\chi(F)-1}+o(1) \big)2n$. This solves a problem proposed by Li, Liu and Feng (2022), which gives an entirely satisfactory answer to the problem of estimating $\mathrm{ex}_q(n,F)$. Furthermore, it extends the aforementioned result of Erdős, Stone and Simonovits as well as the spectral result of Nikiforov. Our result indicates that the Erdős--Stone--Simonovits type result regarding the signless Laplacian spectral radius is valid in general.
- [268] arXiv:2502.13118 (replaced) [pdf, html, other]
-
Title: The Normal Play of the Domination GameSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
In 2010, Brešar, Klavžar and Rall introduced the optimization variant of the graph domination game and the game domination number. In 2024, Leo Versteegen obtained the celebrated proof of the Conjecture $\frac{3}{5}$ on this variant of the domination game, proposed by Kinnersley, West and Zamani in 2013. In this paper, we investigate for the first time the normal play of the domination game, which we call \textsc{Normal Domination Game}, that is an impartial game where the last to play wins. We first prove that this game is PSPACE-complete even in graphs with diameter two. We also use the Sprague-Grundy theory to prove that Alice (the first player) wins in the path $P_n$ if and only if $n$ is not a multiple of $4$, and wins in the cycle $C_n$ if and only if $n=4k+3$ for some integer $k$. Finally, we obtain a polynomial time algorithm to decide the winner for any disjoint union of paths and cycles in the \textsc{Normal Domination Game} and its natural partizan variant.
- [269] arXiv:2502.14749 (replaced) [pdf, html, other]
-
Title: The formation of a soliton gas condensate for the focusing Nonlinear Schrödinger equationComments: 11 figures - 50 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Pattern Formation and Solitons (nlin.PS); Exactly Solvable and Integrable Systems (nlin.SI)
In this work, we carry out a rigorous analysis of a multi-soliton solution of the focusing nonlinear Schrödinger equation as the number, $N$, of solitons grows to infinity. We discover configurations of $N$-soliton solutions which exhibit the formation (as $N \to \infty$) of a soliton gas condensate. Specifically, we show that when the eigenvalues of the Zakharov - Shabat operator for the NLS equation accumulate on two bounded horizontal segments in the complex plane with norming constants bounded away from $0$, then, asymptotically, the solution is described by a rapidly oscillatory elliptic-wave with constant velocity, on compact subsets of $(x,t)$. We then consider more complex solutions with an extra soliton component, and provide rigorous justification of the predictions of the kinetic theory of solitons in this deterministic setting. This is to be distinguished from previous analyses of soliton gasses where the norming constants were tending to zero with $N$, and the asymptotic description only included elliptic waves in the long-time asymptotics.
- [270] arXiv:2502.18276 (replaced) [pdf, other]
-
Title: Breaking the symmetry in excess intersection and counting solutions of systems of polynomialsComments: Updated the abstract and introductionSubjects: Algebraic Geometry (math.AG)
We revisit the fundamental problem of assigning intersection multiplicities to subsets of solutions of (square) systems of polynomials. Severi [Ann. Mat. Pura Appl. 26 (4), 1947] suggested an intuitive dynamic solution to this problem which was later corrected and made rigorous by Lazarsfeld [Compos. Math. 43, 1981]. We consider an asymmetric variant of this approach and find an explicit description of the resulting "ordered intersection multiplicity" which opens pathways to step by step solutions to the affine Bézout problem of counting isolated solutions to (square) systems of polynomials via "Bernstein-Kushnirenko type" estimates in terms of Newton diagrams. To illustrate our methods we compute the number of common tangent lines to $4$ general spheres in the affine $3$-space (which is known to be 12 due to Macdonald, Pach, and Theobald [Discrete Comput. Geom. 26 (1), 2001]) via certain ordered intersection multiplicities on the corresponding Grassmannian.
- [271] arXiv:2503.02570 (replaced) [pdf, html, other]
-
Title: Dynamics of dissipative solutions to the Hardy-Sobolev parabolic equationComments: Minor modifications and proof of Theorem 1.1 updatedSubjects: Analysis of PDEs (math.AP)
We study the long-time behaviour of solutions to the Hardy-Sobolev parabolic equation in critical function spaces for any spatial dimension $d \geq 5$. By employing the Fourier splitting method, we establish precise decay rates for dissipative solutions, meaning those whose critical norm vanishes as time approaches infinity. Our findings offer a deeper understanding of the asymptotic properties and dissipation mechanisms governing this equation.
- [272] arXiv:2503.05686 (replaced) [pdf, html, other]
-
Title: First order non-instantaneous corrections in collisional kinetic alignment modelsComments: 15 pagesSubjects: Analysis of PDEs (math.AP)
In this work the standard kinetic theory assumption of instantaneous collisions is lifted. As a continuation of of a previous paper by Kanzler, Schmeiser, and Tora [KRM, 2024], a model for higher order non-instantaneous alignment collisions is presented and studied in the asymptotic regime of short collision duration. A first order accurate approximative model is derived as a correction to the instantaneous limit. Rigorous results on its well-posedness and on the instantaneous limit are proven. The approximative model is a system of two equations. An equally accurate scalar approximation is suggested.
- [273] arXiv:2503.11798 (replaced) [pdf, other]
-
Title: Elusive properties of countably infinite graphsComments: 31 pagesSubjects: Combinatorics (math.CO)
A graph property is elusive (or evasive) if any algorithm testing it by asking questions of the form ''Is there an edge between vertices x and y?'' must, in the worst case, examine all pairs of vertices. Elusiveness for infinite vertex sets has been first studied by Csernák and Soukup, who proved that the long-standing Aanderaa-Karp-Rosenberg Conjecture -- which states that every nontrivial monotone graph property is elusive -- fails for infinite vertex sets. We extend their work by giving a closer look to the case when the vertex set is countably infinite and the ''algorithm'' terminates after infinitely many steps. Among others, we prove that connectedness is elusive, which strengthens a result of Csernák and Soukup. We give counterexamples to the infinite version of the Aanderaa-Karp-Rosenberg Conjecture even if the ''algorithm'' is required to terminate after infinitely many steps, which strengthens results of Csernák and Soukup.
- [274] arXiv:2503.13006 (replaced) [pdf, html, other]
-
Title: Proving the Grothendieck--Teichmüller Conjecture for Profinite Spaces & The Galois Grothendieck Path IntegralSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
We establish that the Grothendieck-Teichmuller conjecture, which predicts an isomorphism between the Grothendieck-Teichmuller group GT and the absolute Galois group of rational numbers Gal, holds in the setting of profinite spaces. To access arithmetic information within this framework, we introduce a generalization of the notion of path integrals, defined simultaneously for GT and Gal. This construction reveals new arithmetic invariants for both groups, capturing, in particular, the rationality of periods associated with GT and the rational structure of the coefficients in the Drinfeld associator. Moreover, this perspective provides a mechanism to detect the descent of cohomology classes to Q under the action of Gal, and more broadly, a method to compute ranks of arithmetic objects. Furthermore, we introduce an algorithm, which we call the Cubic Matrioshka, encoding paths in both GT and Gal as unique infinite binary sequences. The compatibility of these binary encodings reflects the underlying homeomorphism and ensures that symmetries of GT are faithfully mirrored in the corresponding binary representation within Gal.
- [275] arXiv:2503.22951 (replaced) [pdf, html, other]
-
Title: Spectral condition for $k$-factor-criticality in $t$-connected graphsSubjects: Combinatorics (math.CO)
A graph $G$ is called $k$-factor-critical if $G-S$ has a perfect matching for every $S\subseteq G$ with $|S|=k$. A connected graph $G$ is called $t$-connected if it has more than $t$ vertices and remains connected whenever fewer than $t$ vertices are removed. We give a condition on the number of edges and a condition on the spectral radius for $k$-factor-criticality in $t$-connected graphs.
- [276] arXiv:2503.23272 (replaced) [pdf, html, other]
-
Title: Hopf-Oleinik lemma for elliptic equations in double divergence formComments: 29 pages, corrected a few typosSubjects: Analysis of PDEs (math.AP)
We establish, for the first time, a Zaremba-Hopf-Oleinik type boundary point lemma for uniformly elliptic partial differential equations in double divergence form, also known as stationary Fokker-Planck-Kolmogorov equations. As an application, we derive sharp two-sided estimates for the Green's function associated with second-order elliptic equations in non-divergence form in $C^{1,\alpha}$ domains.
- [277] arXiv:2503.24189 (replaced) [pdf, html, other]
-
Title: Quantum superalgebras and the free-fermionic Yang-Baxter equationSubjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
The free-fermion point refers to a $\operatorname{GL}(2)\times\operatorname{GL}(1)$ parametrized Yang-Baxter equation within the six-vertex model. It has been known for a long time that this is connected with the quantum group $U_q(\mathfrak{gl}(1|1))$. We demonstrate that $R$-matrices from the finite quantum superalgebra $U_q(\mathfrak{gl}(1|1))$ produce a dense subset of the free-fermionic Yang-Baxter equations of the six-vertex model, matching those of the prime, simple modules in the affine quantum superalgebra $U_q(\widehat{\mathfrak{gl}}(1|1))$. Either of these quantum groups can be used to generate the full free-fermion point, and we discuss them both. Our discussion includes 6 families of six-vertex models used by Brubaker, Bump, and Friedberg in connection with Tokuyama's theorem, a deformation of the Weyl character formula. Thus our work gives quantum group interpretations for those models, known informally as Tokuyama ice.
- [278] arXiv:2504.20815 (replaced) [pdf, other]
-
Title: A Teacher-Student MPC-PPO Coupled Reinforcement Learning Framework for Winter Temperature Control of Solar Greenhouses in Northern ChinaJingxin Yu, Lushun Ma, Jinpeng Zhao, Jianchao Ci, Muhammad Abdul Munnaf, Eldert van Henten, Peter Groot Koerkamp, Shuyi Peng, Xiaoming Wei, Congcong SunComments: One of co-authors does not agree to have a preprintSubjects: Optimization and Control (math.OC)
Solar greenhouses are crucial infrastructure of modern agricultural production in northern China. However, highly fluctuating temperature in winter season results in poor greenhouse temperature control, which affects crop growth and increases energy consumption. To tackle these challenges, an advanced control system that can efficiently optimize multiple objectives under dramatic climate conditions is essential. Therefore, this study propose a model predictive control-coupled proximal policy optimization (MPC-PPO) control framework. A teacher-student control framework is constructed in which the MPC generating high-quality control experiences to guide the PPO agent's learning process. An adaptive dynamic weighting mechanism is employed to balance the influence of MPC experiences during PPO training. Evaluation conducted in solar greenhouses across three provinces in northern China (Beijing, Hebei, and Shandong) demonstrates that: (1) the MPC-PPO method achieved the highest temperature control performance (96.31 on a 100-point scale), with a 5.46-point improvement compared to the non-experience integration baseline, when reduced standard deviation by nearly half and enhanced exploration efficiency; (2) the MPC-PPO method achieved a ventilation control reward of 99.19, optimizing ventilation window operations with intelligent time-differentiated strategies that reduced energy loss during non-optimal hours; (3) feature analysis reveals that historical window opening, air temperature, and historical temperature are the most influential features for effective control, i.e., SHAP values of 7.449, 4.905, and 4.747 respectively; and (4) cross-regional tests indicated that MPC-PPO performs best in all test regions, confirming generalization of the method.
- [279] arXiv:2505.00215 (replaced) [pdf, html, other]
-
Title: Algebraic Constraints for Linear Acyclic Causal ModelsComments: 19 pages, 5 figuresSubjects: Statistics Theory (math.ST)
In this paper we study the space of second- and third-order moment tensors of random vectors which satisfy a Linear Non-Gaussian Acyclic Model (LiNGAM). In such a causal model each entry $X_i$ of the random vector $X$ corresponds to a vertex $i$ of a directed acyclic graph $G$ and can be expressed as a linear combination of its direct causes $\{X_j: j\to i\}$ and random noise. For any directed acyclic graph $G$, we show that a random vector $X$ arises from a LiNGAM with graph $G$ if and only if certain easy-to-construct matrices, whose entries are second- and third-order moments of $X$, drop rank. This determinantal characterization extends previous results proven for polytrees and generalizes the well-known local Markov property for Gaussian models.
- [280] arXiv:2505.01341 (replaced) [pdf, other]
-
Title: Diffusivity of the Lorentz mirror walk in high dimensionsSubjects: Probability (math.PR); Mathematical Physics (math-ph)
In the Lorentz mirror walk in dimension $d\geq 2$, mirrors are randomly placed on the vertices of $\mathbb{Z}^d$ at density $p\in[0,1]$. A light ray is then shot from the origin and deflected through the various mirrors in space. The object of study is the random trajectory obtained in this way, and it is of upmost interest to determine whether these trajectories are localized (finite) or delocalized (infinite). A folklore conjecture states that for $d=2$ these trajectories are finite for any density $p>0$, while in dimensions $d\geq 3$ and for $p>0$ small enough some trajectories are infinite. In this paper we prove that for all dimensions $d\geq 4$ and any small density $p$, the trajectories behave diffusively at all polynomial time scales $t\approx p^{-M}$ with $M>1$, and in particular, they do not close by this time.
- [281] arXiv:2505.02088 (replaced) [pdf, html, other]
-
Title: Twins: non-isomorphic models forced to be isomorphic. Part ISubjects: Logic (math.LO)
For which (first-order complete, usually countable) $T$ do there exist non-isomorphic models of $T$ which become isomorphic after forcing with a forcing notion $\mathbb{P}$? Necessarily, $\mathbb{P}$ is non-trivial; i.e.~it adds some new set of ordinals. It is best if we also demand that it collapses no cardinal. It is better to demand on the one hand that the models are non-isomorphic, and even \emph{far} from each other (in a suitable sense), but on the other hand, $\mathcal{L}$-equivalent in some suitable logic $\mathcal{L}$. We give sufficient conditions: for theories with the independence property, we proved this when $\mathbb{P}$ adds no new $\omega$-sequence. We may prove it ``for some $\mathbb{P}$," but better would be for some specific forcing notions. Best would be to characterize the pairs $(T,\mathbb{P})$ for which we have such models.
The results say (e.g.) that there are models $M_1,M_2$ which are not isomorphic (and even \emph{far} from being isomorphic, in a rigorous sense) which become isomorphic when we extend the universe by adding a new branch to the tree $({}^{\theta>}2,\lhd)$.
We shall mention some specific choices of $\mathbb{P}$: mainly $({}^{\theta>}2,\lhd)$ with $\theta = \theta^{<\theta}$. That is, the reader just has to agree that starting with a universe $\mathbf{V}$ of set theory (i.e.~a model of $ZFC$) and a quasiorder $\mathbb{P}$, there are new directed $\mathbf{G} \subseteq \mathbb{P}$ meeting every dense subset of $D$ of $\mathbb{P}$, a universe $\mathbf{V}[\mathbf{G}]$ (so {it} satisfies $ZFC$) of which the original $\mathbf{V}$ is a transitive subclass. We may say that $\mathbf{V}[\mathbf{G}]$ (also denoted $\mathbf{V}^\mathbb{P}$) is the universe obtained by forcing with $\mathbb{P}$.
This work does not require any serious knowledge of forcings, nor of stability theory.
This is part of the classification and {Main Gap} program. - [282] arXiv:2505.04928 (replaced) [pdf, html, other]
-
Title: Lyapunov exponents for products of truncated orthogonal matricesComments: arXiv admin note: text overlap with arXiv:2005.08899 by other authorsSubjects: Probability (math.PR)
This article gives a non-asymptotic analysis of the largest Lyapunov exponent of truncated orthogonal matrix products. We prove that as long as N, the number of terms in product, is sufficiently large, the largest Lyapunov exponent is asymptotically Gaussian. Furthermore, the sum of finite Lyapunov exponent is asymptotically Gaussian, where we use Weingarten Calculus.
- [283] arXiv:2505.05545 (replaced) [pdf, html, other]
-
Title: On a specific family of orthogonal polynomials of Bernstein-Szegö typeComments: 15 pages; a new section and 2 references are added, some other minor changesSubjects: Classical Analysis and ODEs (math.CA)
We study a class of weight functions on $[-1,1]$ which are special cases of the broader family studied by Bernstein and Szegö. These weights are parametrized by two positive integers. As these integers tend to infinity, these weights approximate certain weight functions on $\mathbb{R}$ considered by Ismail and Valent. We also study modifications of these weight functions by a continuous parameter $a>0$. These ideas are then used to find finite analogs of some improper integrals first studied by Glaisher and Ramanujan. We also show that some of the functions used in this work are in fact generating functions of certain finite trigonometric sums.
- [284] arXiv:2505.07778 (replaced) [pdf, html, other]
-
Title: An example showing that Schrijver's $\vartheta$-function need not upper bound the Shannon capacity of a graphComments: this https URLJournal-ref: AIMS Mathematics, vol. 10, no. 7, paper 685, pp. 15294--15301, July 2025Subjects: Combinatorics (math.CO); Information Theory (cs.IT)
This letter addresses an open question concerning a variant of the Lovász $\vartheta$ function, which was introduced by Schrijver and independently by McEliece et al. (1978). The question of whether this variant provides an upper bound on the Shannon capacity of a graph was explicitly stated by Bi and Tang (2019). This letter presents an explicit example of a Tanner graph on 32 vertices, which shows that, in contrast to the Lovász $\vartheta$ function, this variant does not necessarily upper bound the Shannon capacity of a graph. The example, previously outlined by the author in a recent paper (2024), is presented here in full detail, making it easy to follow and verify. By resolving this question, the note clarifies a subtle but significant distinction between these two closely related graph invariants.
- [285] arXiv:2505.09127 (replaced) [pdf, other]
-
Title: An equilibrium-based quasi-3D beam model with rational transverse normal stress expression for accurate analysis of functionally graded beamsSubjects: Numerical Analysis (math.NA)
Although existing quasi-3D beam models can partially account for the influence of transverse stretching deformation, their inability to accurately predict transverse normal stress severely limits their practical value, particularly when applied to functionally graded beams. A key contributing factor to this limitation is the failure of the stress components to satisfy the equilibrium relationships. This paper develops a novel quasi-3D beam models with equilibrium-based transverse normal stress expression for achieving accurate solutions of functionally graded beams. In contrast to the conventional quasi-3D models where stress expressions are derived from constitutive and geometric equations, the expressions of transverse shear stress and transverse normal stress in this study are derived according to the differential equilibrium equations among stresses, ensuring strict adherence of stress solutions to equilibrium conditions. To incorporate the influence of equilibrium-derived stress distributions, the equilibrium-based cross-sectional stiffness matrix is derived, enhancing the theoretical and practical feasibility of the beam model. In the numerical implementation, the mixed element method with generalized internal forces and generalized displacements regarded as two independent fields is employed to construct the beam element, and especially, semi-analytical internal force fields, which partially satisfy the differential equilibrium equations, are introduced to improve the element performance. Numerical results demonstrate that the proposed quasi-3D beam model accurately predicts both displacement and stress fields in functionally graded beams, which exhibits the effectiveness of introducing stress equilibrium relationships.
- [286] arXiv:2505.18297 (replaced) [pdf, html, other]
-
Title: A deep solver for backward stochastic Volterra integral equationsComments: 25 pages, 10 figuresSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Probability (math.PR); Mathematical Finance (q-fin.MF)
We present the first deep-learning solver for backward stochastic Volterra integral equations (BSVIEs) and their fully-coupled forward-backward variants. The method trains a neural network to approximate the two solution fields in a single stage, avoiding the use of nested time-stepping cycles that limit classical algorithms. For the decoupled case we prove a non-asymptotic error bound composed of an a posteriori residual plus the familiar square root dependence on the time step. Numerical experiments confirm this rate and reveal two key properties: \emph{scalability}, in the sense that accuracy remains stable from low dimension up to 500 spatial variables while GPU batching keeps wall-clock time nearly constant; and \emph{generality}, since the same method handles coupled systems whose forward dynamics depend on the backward solution. These results open practical access to a family of high-dimensional, path-dependent problems in stochastic control and quantitative finance.
- [287] arXiv:2505.18348 (replaced) [pdf, other]
-
Title: Rates of convergence in the Free Multiplicative Central Limit TheoremSubjects: Operator Algebras (math.OA); Probability (math.PR)
We provide the first quantitative estimates for the rate of convergence in the free multiplicative central limit theorem (CLT), in terms of the Kolmogorov and $r$-Wasserstein distances for $r \geq 1$. While the free additive CLT has been thoroughly studied, including convergence rates, the multiplicative setting remained open in this regard. We consider products of the form $$ \pi_n^{g,n^{-1/2}x} := g\left(\frac{x_1}{\sqrt{n}}\right) \cdots g\left(\frac{x_n}{\sqrt{n}}\right),$$ where $x_1, \dots, x_n$ are freely independent self-adjoint operators with common variance $\sigma^2$ and $g \colon \mathbb{R} \to \mathbb{C}$ satisfies certain regularity and integrability conditions. We quantify the deviation of the singular value distribution of $\pi_n^{g,x}$ from the free positive semicircular law, with bounds depending only on the moments of the underlying variables. Additionally, we present a combinatorial proof of the free multiplicative CLT that extends to the unbounded setting.
- [288] arXiv:2505.20153 (replaced) [pdf, html, other]
-
Title: Simple, Efficient Entropy Estimation using Harmonic NumbersSubjects: Statistics Theory (math.ST)
The estimation of entropy, a fundamental measure of uncertainty, is central to diverse data applications. For discrete random variables, however, efficient entropy estimation presents challenges, particularly when the cardinality of the support set is large relative to the available sample size. This is because, without other assumptions, there may be insufficient data to adequately characterize a probability mass function. Further complications stem from the dependence among transformations of empirical frequencies within the sample. This paper demonstrates that a simple entropy estimator based on the harmonic number function achieves asymptotic efficiency on discrete random variables with tail probabilities satisfying $p_j =o(j^{-2})$ as $j\rightarrow\infty$. This result renders statistical inference newly feasible for all but very heavy-tailed probability mass functions. Moreover, its strong mean squared error bounds coupled with simple implementation make this estimator an attractive replacement over others in application.
- [289] arXiv:2505.23377 (replaced) [pdf, other]
-
Title: A Homotopical Invariant of Weinstein SurfacesComments: 38 pages, 14 figures, comments welcome! v2 described relevant referenceSubjects: Symplectic Geometry (math.SG); Algebraic Topology (math.AT)
One generally expects that the techniques of arboreal singularities and gluing of local differential graded categories will result in a useful global invariant for all Weinstein manifolds. In this paper we construct explicit models for the homotopy limits of diagrams of microlocal sheaf categories which arise from Weinstein surfaces with arboreal skeleta. This is done by characterizing all relevant Reedy model structures on the categories of diagrams that we care about. We prove invariance using a complete set of moves for Weinstein homotopies in this setting. Finally we give combinatorial presentations of the invariant for all topological surfaces.
- [290] arXiv:2506.00801 (replaced) [pdf, html, other]
-
Title: Adversarial Reinforcement Learning: A Duality-Based Approach To Solving Optimal Control ProblemsComments: Accepted by the 2025 Winter Simulation ConferenceSubjects: Optimization and Control (math.OC)
We propose an adversarial deep reinforcement learning (ADRL) algorithm for high-dimensional stochastic control problems. Inspired by the information relaxation duality, ADRL reformulates the control problem as a min-max optimization between policies and adversarial penalties, enforcing non-anticipativity while preserving optimality. Numerical experiments demonstrate ADRL's superior performance to yield tight dual gaps. Our results highlight the potential of ADRL as a robust computational framework for high-dimensional stochastic control in simulation-based optimization contexts.
- [291] arXiv:2506.06779 (replaced) [pdf, html, other]
-
Title: How many points in a point cloud is sufficient for accurate estimation of the curvatureSubjects: Differential Geometry (math.DG)
We introduce an estimator for the curvature of curves and surfaces by using finite sample points drawn from sampling a probability distribution that has support on the curve or surface. First we give an algorithm for estimation of the curvature in a given point of a curve. Then, we extend it to estimate the Gaussian curvature of the surfaces. In the proposed algorithms, we use a relation between the number of selected points in the point cloud and the probability that a given point has a suffcient number of nearby points. This relation allows us to control the required number of points in the point cloud.
- [292] arXiv:2506.07132 (replaced) [pdf, html, other]
-
Title: A PDE-Based Image Restoration Method: Mathematical Analysis and ImplementationComments: 21Subjects: Analysis of PDEs (math.AP)
In this paper we present an image restoration method based on solving an elliptic partial differential equation (PDE) of the form \begin{equation*} -\Delta u+\lambda \,G(u)=f, \end{equation*} where $\Delta $ denotes the Laplacian, $G(u)$ is a nonlocal operator (with the Gaussian convolution being a particular example), and $f$ is the degraded image. We detail the derivation of the model, prove the existence and uniqueness of its weak solution via the Lax--Milgram theorem (assuming $% f\in L^{2}(\Omega )$), and describe the discretization scheme using finite differences and a fixed-point iterative method. The complete Python implementation is integrated into the article.
- [293] 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.
- [294] arXiv:2506.12172 (replaced) [pdf, html, other]
-
Title: Affine Deformations of Divisible Convex Cones and Affine SpacetimesComments: 47 pages, 10 figuresSubjects: Differential Geometry (math.DG); Geometric Topology (math.GT)
Given a subgroup of $\mathrm{SL}(\mathbb{R}^{d+1})\ltimes\mathbb{R}^{d+1}$ obtained by adding a translation part to a torsion-free discrete subgroup of $\mathrm{SL}(\mathbb{R}^{d+1})$ dividing a convex domain in the sense of Benoist, we study two particular convex domains on which the affine action of that subgroup is free and properly discontinuous and whose quotients are naturally endowed with an "affine spacetime" structure that we introduce. In that setting, we show that those quotients are Maximal Globally Hyperbolic affine spacetimes admitting a locally uniformly Convex and Compact Cauchy surface (denoted as a MGHCC affine spacetimes), and that they come with a cosmological time function with Cauchy hypersurfaces foliating the quotient affine spacetime as level sets. Finally, we show that those are the only examples of such MGHCC affine spacetimes. All these results generalise the work of Mess, Barbot and Bonsante on affine deformations of uniform lattices of $\mathrm{SO}_0(d,1)$.
- [295] arXiv:2506.16278 (replaced) [pdf, other]
-
Title: Existence of weak solutions for two-phase matrix-valued harmonic map flowsComments: 34 pages, all comments are welcome!Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
We investigate the existence of weak solutions for matrix-valued two-phase harmonic map flows with optimal lifespan, which arises as the limiting system of the matrix-valued Rubinstein-Sternberg-Keller problem studied by ({\em Invent. Math.}, 233(1):1--80, 2023). Our approach employs a modified minimizing movement scheme, discretizing the time domain and constructing approximate solutions by interpolating solutions to the associated functional problem within each small time interval.
- [296] arXiv:2506.18075 (replaced) [pdf, html, other]
-
Title: On the Linear Speedup of the Push-Pull Method for Decentralized Optimization over DigraphsSubjects: Optimization and Control (math.OC)
The linear speedup property is essential for demonstrating the advantage of distributed algorithms over their single-node counterparts. In this paper, we study the stochastic Push-Pull method, a widely adopted decentralized optimization algorithm over directed graphs (digraphs). Unlike methods that rely solely on row-stochastic or column-stochastic mixing matrices, Push-Pull avoids nonlinear correction and has shown superior empirical performance across a variety of settings. However, its theoretical analysis remains challenging, and the linear speedup property has not been generally establishe--revealing a significant gap between empirical success and limited theoretical understanding. To bridge this gap, we propose a novel analysis framework and prove that Push-Pull achieves linear speedup over arbitrary strongly connected digraphs. Our results provide the comprehensive theoretical understanding for stochastic Push-Pull, aligning its theory with empirical performance. Code: this https URL.
- [297] arXiv:2506.19147 (replaced) [pdf, html, other]
-
Title: Indiscernible extraction at small large cardinals from a higher-arity stability notionComments: 16 pages, 2 figuresSubjects: Logic (math.LO)
We introduce a higher-arity stability notion defined in terms of $k$-splitting, a higher-arity generalization of splitting. We show that theories with bounded $k$-splitting have improved indiscernible extraction at $k$-ineffable cardinals, and we give a non-trivial example of a theory with bounded $k$-splitting but unbounded $(k-1)$-splitting for each odd $k > 1$. We also show that bounded $k$-splitting implies $\mathrm{NFOP}_k$, a higher arity stability notion introduced by Terry and Wolf. We then use our indiscernible extraction result together with a construction of Kaplan and Shelah to give a strong counterexample to the converse: an $\mathrm{NIP}$ theory with unbounded $k$-splitting for every $k$. Finally, as a thematically related but technically independent result, we show that treelessness implies $\mathrm{NFOP}_2$, sharpening a result of Kaplan, Ramsey, and Simon.
- [298] arXiv:2506.20456 (replaced) [pdf, html, other]
-
Title: On the Sierpinski triangle and its generalizationsSubjects: Number Theory (math.NT)
By examining arithmetic operations between decimal numbers in a given base m we uncover fractal structures that generalize the Sierpinski triangle
- [299] arXiv:2506.21315 (replaced) [pdf, other]
-
Title: A proof of the Kakeya maximal operator conjecture in three dimensionsComments: There is a serious arithmetical error in the calculation of the three `difference' matrices on page 11Subjects: Classical Analysis and ODEs (math.CA)
We prove local trilinear characterizations of the Kakeya maximal operator conjecture in three dimensions, which are then used to prove the conjecture itself.
- [300] arXiv:2506.22592 (replaced) [pdf, html, other]
-
Title: Separating covering numbers and separating uniformity numbers of Hausdorff measures need large continuumSubjects: Classical Analysis and ODEs (math.CA); Logic (math.LO)
We show that if $\mathfrak{c} = \aleph_2$ then all covering numbers of Hausdorff measures $\operatorname{cov}(\mathcal{N}^s(\mathbb{R}^d))$ ($0 < s < d, d \in \omega$) are equal and all uniformity numbers $\operatorname{non}(\mathcal{N}^s(\mathbb{R}^d))$ ($0 < s < d, d \in \omega$) are equal. This is a partial answer to Problem 5.3 and 5.4 of [4].
- [301] arXiv:2506.23031 (replaced) [pdf, html, other]
-
Title: Andrews-Curtis groupsComments: 7 pages. In memory of Ben Fine. Published in journal of Groups, Complexity, CryptologySubjects: Group Theory (math.GR)
For any group $G$ and integer $k\ge 2$ the Andrews-Curtis transformations act as a permutation group, termed the Andrews-Curtis group $AC_k(G)$, on the subset $N_k(G) \subset G^k$ of all $k$-tuples that generate $G$ as a normal subgroup (provided $N_k(G)$ is non-empty). The famous Andrews-Curtis Conjecture is that if $G$ is free of rank $k$, then $AC_k(G)$ acts transitively on $N_k(G)$. The set $N_k(G)$ may have a rather complex structure, so it is easier to study the full Andrews-Curtis group $FAC(G)$ generated by AC-transformations on a much simpler set $G^k$. Our goal here is to investigate the natural epimorphism $\lambda\colon FAC_k(G) \to AC_k(G)$. We show that if $G$ is non-elementary torsion-free hyperbolic, then $FAC_k(G)$ acts faithfully on every nontrivial orbit of $G^k$, hence $\lambda\colon FAC_k(G) \to AC_k(G)$ is an isomorphism.
- [302] arXiv:2506.23328 (replaced) [pdf, html, other]
-
Title: Littlewood--Paley estimates for pure-jump Dirichlet formsSubjects: Functional Analysis (math.FA); Probability (math.PR)
We employ the recent generalization of the Hardy--Stein identity to extend the previous Littlewood--Paley estimates to general pure-jump Dirichlet forms. The results generalize those for symmetric pure-jump Lévy processes in Euclidean spaces. We also relax the assumptions for the Dirichlet form necessary for the estimates used in previous works. To overcome the difficulty that Itô's formula is not applicable, we employ the theory of Revuz correspondence and additive functionals. Meanwhile, we present a few counterexamples demonstrating that some inequalities do not hold in the generality considered in this paper. In particular, we correct errors that appear in previous works.
- [303] arXiv:2506.23376 (replaced) [pdf, other]
-
Title: A proof of the Fourier extension conjecture for the paraboloid in three dimensionsComments: The current paper is based on arXiv:2506.21315, which is being withdrawn due to a serious arithmetical errorSubjects: Classical Analysis and ODEs (math.CA)
We prove the Fourier extension conjecture on the paraboloid in three dimensions by combining our previous papers arXiv:2506.03992 and arXiv:2506.21315 with a bootstrapping argument in <cite>BeCaTa</cite>.
- [304] arXiv:2506.23392 (replaced) [pdf, other]
-
Title: Hitchin grafting representations I: GeometryComments: This is the first part of a series of two papers (that were previously one single paper). The second part is "Hitchin grafting representations II: Dynamics" [2407.07748v2]. Changes in version 2: a proof was corrected. 56 pages, 4 figures, comments welcome!Subjects: Differential Geometry (math.DG); Geometric Topology (math.GT)
We give a geometric interpretation of Fock--Goncharov positivity and show that bending deformations of Fuchsian representations stabilize a uniform Finsler quasi-convex disk in the symmetric space $\mathrm{PSL}_d(\mathbb R)/\mathrm{PSO}(d)$.
- [305] arXiv:2506.23447 (replaced) [pdf, html, other]
-
Title: Elias' Encoding from Lagrangians and RenormalizationComments: 7 pages, improved exposition, GitHub repository at this https URL. arXiv admin note: substantial text overlap with arXiv:2502.16314Subjects: Information Theory (cs.IT); Mathematical Physics (math-ph)
An efficient approach to universality and optimality of binary codes for integers known as Elias' encoding can be deduced from the classical constrained optimization and renormalization techniques. The most important properties, such as being a universal prefix code, also follow naturally.
- [306] arXiv:2506.23882 (replaced) [pdf, html, other]
-
Title: An improved upper bound for the distribution of iterated Euler totient functionsSubjects: Number Theory (math.NT)
Let $\phi(n)$ be the Euler totient function and $\phi_k(n)$ its $k$-fold iterate. In this note, we improve the upper bound for the number of positive $n\leqslant x$ such that $\phi_{k+1}(n)\geqslant cn$. Comparing with the upper bound which was obtained from Pollack's asymptotic formula of the summation of $\phi_{k+1}(n)$ for $n\leqslant x$, we have successfully increased the denominator exponent of the main term of the upper bound from $k$ to $k+1$.
- [307] arXiv:2506.24031 (replaced) [pdf, html, other]
-
Title: Multiplicative Relationships of Subrings and their Applications to FactorizationComments: 25 pages, 0 figuresSubjects: Commutative Algebra (math.AC)
When studying the properties of a ring $R$, it is often useful to compare $R$ to other rings whose properties are already known. In this paper, we define three ways in which a subring $R$ might be compared to a larger ring $T$: being associated, being ideal-preserving, or being locally associated. We then explore how these properties of a subring might be leveraged to give information about $R$, including applications to the field of factorization. Of particular interest is the result that an order in a number field is associated if and only if it is both ideal-preserving and locally associated. We conclude with a discussion of how these properties are realized in the case of orders in a number field and how such orders might be found.
- [308] arXiv:2507.00219 (replaced) [pdf, html, other]
-
Title: Error Estimates for Non Conforming Discretisation of Time-dependent Convection-Diffusion-Reaction ModelSubjects: Numerical Analysis (math.NA)
We use a generic framework, namely the gradient discretisation method (GDM), to propose a unified numerical analysis for general time-dependent convection-diffusion-reaction models. We establish novel results for convergence rates of numerical approximations of such models under reasonable assumptions on exact solutions, and prove the existence and uniqueness of the approximate solution for suitably small time steps. The main interest of our results lies in covering several approximation methods and various applications of the considered model such as the generalised Burgers-Fisher (GBF) and the generalised Burgers-Huxley (GBH) models. Numerical tests based on the hybrid mimetic mixed (HMM) method for the GBF model are performed on various types of general meshes to examine the accuracy of the proposed gradient scheme. The results confirm our theoretical rates of convergence, even on mesh with extreme distortions.
- [309] arXiv:2507.00621 (replaced) [pdf, html, other]
-
Title: Inviscid incompressible limit for capillary fluids with density dependent viscositySubjects: Analysis of PDEs (math.AP)
The asymptotic limit of the 2D and 3D Navier-Stokes-Korteweg system for barotropic capillary fluids with density dependent viscosities in the low Mach number and vanishing viscosity regime is established. In the relative energy framework, we prove the convergence of weak solutions of the Navier-Stokes-Korteweg system to the strong solution of the incompressible Euler system. The convergence is obtained through the use of suitable dispersive estimates for an acoustic system altered by the presence of the Korteweg tensor.
- [310] arXiv:2212.09396 (replaced) [pdf, other]
-
Title: Rank-1 Matrix Completion with Gradient Descent and Small Random InitializationComments: NeurIPS 2023Subjects: Machine Learning (stat.ML); Information Theory (cs.IT); Machine Learning (cs.LG)
The nonconvex formulation of the matrix completion problem has received significant attention in recent years due to its affordable complexity compared to the convex formulation. Gradient Descent (GD) is a simple yet efficient baseline algorithm for solving nonconvex optimization problems. The success of GD has been witnessed in many different problems in both theory and practice when it is combined with random initialization. However, previous works on matrix completion require either careful initialization or regularizers to prove the convergence of GD. In this paper, we study the rank-1 symmetric matrix completion and prove that GD converges to the ground truth when small random initialization is used. We show that in a logarithmic number of iterations, the trajectory enters the region where local convergence occurs. We provide an upper bound on the initialization size that is sufficient to guarantee the convergence, and show that a larger initialization can be used as more samples are available. We observe that the implicit regularization effect of GD plays a critical role in the analysis, and for the entire trajectory, it prevents each entry from becoming much larger than the others.
- [311] arXiv:2308.10231 (replaced) [pdf, html, other]
-
Title: Static and Dynamic BART for Rank-Order DataComments: The Supplementary Material is available upon request to the authorsSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Computation (stat.CO)
Ranking lists are often provided at regular time intervals in a range of applications, including economics, sports, marketing, and politics. Most popular methods for rank-order data postulate a linear specification for the latent scores, which determine the observed ranks, and ignore the temporal dependence of the ranking lists. To address these issues, novel nonparametric static (ROBART) and autoregressive (ARROBART) models are developed, with latent scores defined as nonlinear Bayesian additive regression tree functions of covariates. To make inferences in the dynamic ARROBART model, closed-form filtering, predictive, and smoothing distributions for the latent time-varying scores are derived. These results are applied in a Gibbs sampler with data augmentation for posterior inference. The proposed methods are shown to outperform existing competitors in simulation studies, static data applications to electoral data, stated preferences for sushi and movies, and dynamic data applications to economic complexity rankings of countries and weekly pollster rankings of NCAA football teams.
- [312] arXiv:2311.01356 (replaced) [pdf, html, other]
-
Title: Upper and lower bounds for the Lipschitz constant of random neural networksSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Probability (math.PR)
Empirical studies have widely demonstrated that neural networks are highly sensitive to small, adversarial perturbations of the input. The worst-case robustness against these so-called adversarial examples can be quantified by the Lipschitz constant of the neural network. In this paper, we study upper and lower bounds for the Lipschitz constant of random ReLU neural networks. Specifically, we assume that the weights and biases follow a generalization of the He initialization, where general symmetric distributions for the biases are permitted. For deep networks of fixed depth and sufficiently large width, our established upper bound is larger than the lower bound by a factor that is logarithmic in the width. In contrast, for shallow neural networks we characterize the Lipschitz constant up to an absolute numerical constant that is independent of all parameters.
- [313] arXiv:2402.02325 (replaced) [pdf, other]
-
Title: Momentum Does Not Reduce Stochastic Noise in Stochastic Gradient DescentComments: We retract this paper due to an irrecoverable and critical error in its contentSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
For nonconvex objective functions, including those found in training deep neural networks, stochastic gradient descent (SGD) with momentum is said to converge faster and have better generalizability than SGD without momentum. In particular, adding momentum is thought to reduce stochastic noise. To verify this, we estimated the magnitude of gradient noise by using convergence analysis and an optimal batch size estimation formula and found that momentum does not reduce gradient noise. We also analyzed the effect of search direction noise, which is stochastic noise defined as the error between the search direction of the optimizer and the steepest descent direction, and found that it inherently smooths the objective function and that momentum does not reduce search direction noise either. Finally, an analysis of the degree of smoothing introduced by search direction noise revealed that adding momentum offers limited advantage to SGD.
- [314] arXiv:2402.17247 (replaced) [pdf, html, other]
-
Title: Inverse Optimal Control for Linear Quadratic Tracking with Unknown Target StatesSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper addresses the inverse optimal control for the linear quadratic tracking problem with a fixed but unknown target state, which aims to estimate the possible triplets comprising the target state, the state weight matrix, and the input weight matrix from observed optimal control input and the corresponding state trajectories. Sufficient conditions have been provided for the unique determination of both the linear quadratic cost function as well as the target state. A computationally efficient and numerically reliable parameter identification algorithm is proposed by equating optimal control strategies with a system of linear equations, and the associated relative error upper bound is derived in terms of data volume and signal-to-noise ratio. Moreover, the proposed inverse optimal control algorithm is applied for the joint cluster coordination and intent identification of a multi-agent system. By incorporating the structural constraint of the Laplace matrix, the relative error upper bound can be reduced accordingly. Finally, the algorithm's efficiency and accuracy are validated by a vehicle-on-a-lever example and a multi-agent formation control example.
- [315] arXiv:2406.11337 (replaced) [pdf, html, other]
-
Title: A modified Cayley transform for SU(3) molecular dynamics simulationsComments: 15 pages, 4 figuresSubjects: High Energy Physics - Lattice (hep-lat); Mathematical Physics (math-ph); Numerical Analysis (math.NA)
We propose a modification to the Cayley transform that defines a suitable local parameterization for the special unitary group $\mathrm{SU}(3)$. The new mapping is used to construct splitting methods for separable Hamiltonian systems whose phase space is the cotangent bundle of $\mathrm{SU}(3)$ or, more general, $\mathrm{SU(3)}^N$, $N \in \mathbb{N}$. Special attention is given to the hybrid Monte Carlo algorithm for gauge field generation in lattice quantum chromodynamics. We show that the use of the modified Cayley transform instead of the matrix exponential neither affects the time-reversibility nor the volume-preservation of the splitting method. Furthermore, the advantages and disadvantages of the Cayley-based algorithms are discussed and illustrated in pure gauge field simulations.
- [316] arXiv:2407.01041 (replaced) [pdf, html, other]
-
Title: Relevance of the Basset history term for Lagrangian particle dynamicsSubjects: Fluid Dynamics (physics.flu-dyn); Computational Engineering, Finance, and Science (cs.CE); Dynamical Systems (math.DS); Numerical Analysis (math.NA)
The movement of small but finite spherical particles in a fluid can be described by the Maxey-Riley equation (MRE) if they are too large to be considered passive tracers. The MRE contains an integral "history term" modeling wake effects, which causes the force acting on a particle at some given time to depend on its full past trajectory. The history term causes complications in the numerical solution of the MRE and is therefore often neglected, despite both numerical and experimental evidence that its effects are generally not negligible. By numerically computing trajectories with and without the history term of a large number of particles in different flow fields, we investigate its impact on the large-scale Lagrangian dynamics of simulated particles. We show that for moderate to large Stokes numbers, ignoring the history term leads to significant differences in clustering patterns. Furthermore, we compute finite-time Lyapunov exponents and show that, even for small particles, the differences in the resulting scalar field from ignoring the BHT can be significant, in particular if the underlying flow is turbulent.
- [317] arXiv:2407.17226 (replaced) [pdf, html, other]
-
Title: Sublinear Regret for a Class of Continuous-Time Linear-Quadratic Reinforcement Learning ProblemsComments: 42 pages, 4 figures. Accepted for publication in SIAM Journal on Control and Optimization (2025)Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Systems and Control (eess.SY); Optimization and Control (math.OC)
We study reinforcement learning (RL) for a class of continuous-time linear-quadratic (LQ) control problems for diffusions, where states are scalar-valued and running control rewards are absent but volatilities of the state processes depend on both state and control variables. We apply a model-free approach that relies neither on knowledge of model parameters nor on their estimations, and devise an RL algorithm to learn the optimal policy parameter directly. Our main contributions include the introduction of an exploration schedule and a regret analysis of the proposed algorithm. We provide the convergence rate of the policy parameter to the optimal one, and prove that the algorithm achieves a regret bound of $O(N^{\frac{3}{4}})$ up to a logarithmic factor, where $N$ is the number of learning episodes. We conduct a simulation study to validate the theoretical results and demonstrate the effectiveness and reliability of the proposed algorithm. We also perform numerical comparisons between our method and those of the recent model-based stochastic LQ RL studies adapted to the state- and control-dependent volatility setting, demonstrating a better performance of the former in terms of regret bounds.
- [318] arXiv:2409.02603 (replaced) [pdf, other]
-
Title: Formalising Inductive and Coinductive ContainersComments: 17 pages main text. To appear at ITP 2025Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
Containers capture the concept of strictly positive data types in programming. The original development of containers is done in the internal language of locally cartesian closed categories (LCCCs) with disjoint coproducts and W-types, and uniqueness of identity proofs (UIP) is implicitly assumed throughout. Although it is claimed that these developments can also be interpreted in extensional Martin-Löf type theory, this interpretation is not made explicit. In this paper, we present a formalisation of the results that 'containers preserve least and greatest fixed points' in Cubical Agda, thereby giving a formulation in intensional type theory. Our proofs do not make use of UIP and thereby generalise the original results from talking about container functors on Set to container functors on the wild category of types. Our main incentive for using Cubical Agda is that its path type restores the equivalence between bisimulation and coinductive equality. Thus, besides developing container theory in a more general setting, we also demonstrate the usefulness of Cubical Agda's path type to coinductive proofs.
- [319] arXiv:2409.14167 (replaced) [pdf, html, other]
-
Title: Skew-symmetric approximations of posterior distributionsSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Computation (stat.CO)
Routinely-implemented deterministic approximations of posterior distributions from, e.g., Laplace method, variational Bayes and expectation-propagation, generally rely on symmetric approximating densities, often taken to be Gaussian. This choice facilitates optimization and inference, but typically affects the quality of the overall approximation. In fact, even in basic parametric models, the posterior distribution often displays asymmetries that yield bias and a reduced accuracy when considering symmetric approximations. Recent research has moved towards more flexible approximating densities that incorporate skewness. However, current solutions are often model-specific, lack general supporting theory, increase the computational complexity of the optimization problem, and do not provide a broadly-applicable solution to include skewness in any symmetric approximation. This article addresses such a gap by introducing a general and provably-optimal strategy to perturb any off-the-shelf symmetric approximation of a generic posterior distribution. Crucially, this novel perturbation is derived without additional optimization steps, and yields a similarly-tractable approximation within the class of skew-symmetric densities that provably enhances the finite-sample accuracy of the original symmetric counterpart. Furthermore, under suitable assumptions, it improves the convergence rate to the exact posterior by at least a $\sqrt{n}$ factor, in asymptotic regimes. These advancements are illustrated in numerical studies focusing on skewed perturbations of state-of-the-art Gaussian approximations.
- [320] arXiv:2409.20541 (replaced) [pdf, html, other]
-
Title: Rapidly Rotating Wall-Mode ConvectionGeoffrey M. Vasil, Keaton J. Burns, Daniel Lecoanet, Jeffrey S. Oishi, Benjamin P. Brown, Keith JulienComments: 44 pages, 14 figures. Accepted, J. Fluid MechSubjects: Fluid Dynamics (physics.flu-dyn); Dynamical Systems (math.DS); Pattern Formation and Solitons (nlin.PS)
In the rapidly rotating limit, we derive a balanced set of reduced equations governing the strongly nonlinear development of the convective wall-mode instability in the interior of a general container. The model illustrates that wall-mode convection is a multiscale phenomenon where the dynamics of the bulk interior diagnostically determine the small-scale dynamics within Stewartson boundary layers at the sidewalls. The sidewall boundary layers feedback on the interior via a nonlinear lateral heat-flux boundary condition, providing a closed system. Outside the asymptotically thin boundary layer, the convective modes connect to a dynamical interior that maintains scales set by the domain geometry. In many ways, the final system of equations resembles boundary-forced planetary geostrophic baroclinic dynamics coupled with barotropic quasi-geostrophic vorticity. The reduced system contains the results from previous linear instability theory but captured in an elementary fashion, providing a new avenue for investigating wall-mode convection in the strongly nonlinear regime. We also derive the dominant Ekman-flux correction to the onset Rayleigh number for large Taylor number, $\textit{Ra} \approx 31.8 \,\textit{Ta}^{1/2} - 4.43 \,\textit{Ta}^{5/12} + \mathcal{O}(\textit{Ta}^{1/3})$ for no-slip boundaries. However, we find that the linear onset in a finite cylinder differs noticeably compared to a Cartesian channel. We demonstrate some of the reduced model's nonlinear dynamics with numerical simulations in a cylindrical container.
- [321] arXiv:2410.05690 (replaced) [pdf, html, other]
-
Title: Long-Context Linear System IdentificationComments: Published at ICLR 2025. This version includes minor corrections and improved grammar from the published version. 34 pages, 4 figuresJournal-ref: O. K. Y\"uksel, M. Even, N. Flammarion, "Long-Context Linear System Identification", in The Thirteenth International Conference on Learning Representations, 2025Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Systems and Control (eess.SY); Statistics Theory (math.ST)
This paper addresses the problem of long-context linear system identification, where the state $x_t$ of a dynamical system at time $t$ depends linearly on previous states $x_s$ over a fixed context window of length $p$. We establish a sample complexity bound that matches the i.i.d. parametric rate up to logarithmic factors for a broad class of systems, extending previous works that considered only first-order dependencies. Our findings reveal a learning-without-mixing phenomenon, indicating that learning long-context linear autoregressive models is not hindered by slow mixing properties potentially associated with extended context windows. Additionally, we extend these results to (i) shared low-rank representations, where rank-regularized estimators improve the dependence of the rates on the dimensionality, and (ii) misspecified context lengths in strictly stable systems, where shorter contexts offer statistical advantages.
- [322] arXiv:2410.22784 (replaced) [pdf, html, other]
-
Title: Contrastive Learning and Adversarial Disentanglement for Privacy-Aware Task-Oriented Semantic CommunicationSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT); Image and Video Processing (eess.IV)
Task-oriented semantic communication systems have emerged as a promising approach to achieving efficient and intelligent data transmission in next-generation networks, where only information relevant to a specific task is communicated. This is particularly important in 6G-enabled Internet of Things (6G-IoT) scenarios, where bandwidth constraints, latency requirements, and data privacy are critical. However, existing methods struggle to fully disentangle task-relevant and task-irrelevant information, leading to privacy concerns and suboptimal performance. To address this, we propose an information-bottleneck inspired method, named CLAD (contrastive learning and adversarial disentanglement). CLAD utilizes contrastive learning to effectively capture task-relevant features while employing adversarial disentanglement to discard task-irrelevant information. Additionally, due to the absence of reliable and reproducible methods to quantify the minimality of encoded feature vectors, we introduce the Information Retention Index (IRI), a comparative metric used as a proxy for the mutual information between the encoded features and the input. The IRI reflects how minimal and informative the representation is, making it highly relevant for privacy-preserving and bandwidth-efficient 6G-IoT systems. Extensive experiments demonstrate that CLAD outperforms state-of-the-art baselines in terms of semantic extraction, task performance, privacy preservation, and IRI, making it a promising building block for responsible, efficient and trustworthy 6G-IoT services.
- [323] arXiv:2410.22992 (replaced) [pdf, html, other]
-
Title: Dynamic Matching with Post-allocation Service and its Application to Refugee ResettlementComments: Preliminary conference version appeared in ACM Economics and Computation (EC 2024)Subjects: Data Structures and Algorithms (cs.DS); Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG); Optimization and Control (math.OC)
Motivated by our collaboration with a major refugee resettlement agency in the U.S., we study a dynamic matching problem where each new arrival (a refugee case) must be matched immediately and irrevocably to one of the static resources (a location with a fixed annual quota). In addition to consuming the static resource, each case requires post-allocation services from a server, such as a translator. Given the uncertainty in service time, a server may not be available at a given time, thus we refer to it as a dynamic resource. Upon matching, the case will wait to avail service in a first-come-first-serve manner. Bursty matching to a location may result in undesirable congestion at its corresponding server. Consequently, the central planner (the agency) faces a dynamic matching problem with an objective that combines the matching reward (captured by pair-specific employment outcomes) with the cost for congestion for dynamic resources and over-allocation for the static ones. Motivated by the observed fluctuations in the composition of refugee pools across the years, we aim to design algorithms that do not rely on distributional knowledge. We develop learning-based algorithms that are asymptotically optimal in certain regimes, easy to interpret, and computationally fast. Our design is based on learning the dual variables of the underlying optimization problem; however, the main challenge lies in the time-varying nature of the dual variables associated with dynamic resources. Our theoretical development brings together techniques from Lyapunov analysis, adversarial online learning, and stochastic optimization. On the application side, when tested on real data from our partner agency and incorporating practical considerations, our method outperforms existing ones making it a viable candidate for replacing the current practice upon experimentation.
- [324] arXiv:2501.09708 (replaced) [pdf, html, other]
-
Title: Belavkin-Staszewski Quantum Markov ChainsSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
It is well-known that the conditional mutual information of a quantum state is zero if, and only if, the quantum state is a quantum Markov chain. Replacing the Umegaki relative entropy in the definition of the conditional mutual information by the Belavkin-Staszewski (BS) relative entropy, we obtain the BS-conditional mutual information, and we call the states with zero BS-conditional mutual information Belavkin-Staszewski quantum Markov chains. In this article, we establish a correspondence which relates quantum Markov chains and BS-quantum Markov chains. This correspondence allows us to find a recovery map for the BS-entropy in the spirit of the Petz recovery map. Furthermore, we show that, over the set of BS-quantum Markov chains, this correspondence constitutes an entanglement-breaking map. Moreover, we prove a structural decomposition of the Belavkin-Staszewski quantum Markov chains and also study states for which the BS-conditional mutual information is only approximately zero. We subsequently extend the aforementioned correspondence, structural decomposition and recovery map to arbitrary pairs of states and conditional expectations. As an application of the correspondence, we find the first family of states with non-vanishing conditional mutual information for which it decays superexponentially fast with the size of the middle system.
- [325] arXiv:2501.16558 (replaced) [pdf, html, other]
-
Title: Distributional Information Embedding: A Framework for Multi-bit WatermarkingSubjects: Cryptography and Security (cs.CR); Information Theory (cs.IT); Machine Learning (cs.LG)
This paper introduces a novel problem, distributional information embedding, motivated by the practical demands of multi-bit watermarking for large language models (LLMs). Unlike traditional information embedding, which embeds information into a pre-existing host signal, LLM watermarking actively controls the text generation process--adjusting the token distribution--to embed a detectable signal. We develop an information-theoretic framework to analyze this distributional information embedding problem, characterizing the fundamental trade-offs among three critical performance metrics: text quality, detectability, and information rate. In the asymptotic regime, we demonstrate that the maximum achievable rate with vanishing error corresponds to the entropy of the LLM's output distribution and increases with higher allowable distortion. We also characterize the optimal watermarking scheme to achieve this rate. Extending the analysis to the finite-token case with non-i.i.d. tokens, we identify schemes that maximize detection probability while adhering to constraints on false alarm and distortion.
- [326] arXiv:2501.17532 (replaced) [pdf, html, other]
-
Title: Wireless Network Topology Inference: A Markov Chains ApproachComments: Revised experimental sectionSubjects: Networking and Internet Architecture (cs.NI); Probability (math.PR); Statistics Theory (math.ST)
We address the problem of inferring the topology of a wireless network using limited observational data. Specifically, we assume that we can detect when a node is transmitting, but no further information regarding the transmission is available. We propose a novel network estimation procedure grounded in the following abstract problem: estimating the parameters of a finite discrete-time Markov chain by observing, at each time step, which states are visited by multiple ``anonymous'' copies of the chain. We develop a consistent estimator that approximates the transition matrix of the chain in the operator norm, with the number of required samples scaling roughly linearly with the size of the state space. Applying this estimation procedure to wireless networks, our numerical experiments demonstrate that the proposed method accurately infers network topology across a wide range of parameters, consistently outperforming transfer entropy, particularly under conditions of high network congestion.
- [327] arXiv:2502.04857 (replaced) [pdf, html, other]
-
Title: Explicit Pfaffian Formula for Amplitudes of Fermionic Gaussian Pure States in Arbitrary Pauli BasesComments: V2: 15 pages, 2 FiguresJournal-ref: Phys. Rev. B 111, 235102 (2025)Subjects: Quantum Physics (quant-ph); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph)
The explicit computation of amplitudes for fermionic Gaussian pure states in arbitrary Pauli bases is a long-standing challenge in quantum many-body physics, with significant implications for quantum tomography, experimental studies, and quantum dynamics. These calculations are essential for analyzing complex properties beyond traditional measures, such as formation probabilities, global entanglement, and entropy in non-standard bases, where exact and computationally efficient methods remain underdeveloped. In addition to these physical applications, having explicit formulas is crucial for optimizing negative log-likelihood functions in quantum tomography, a key task in the NISQ era. In this work, we present an explicit Pfaffian formula (Theorem 1) for determining these amplitudes in arbitrary Pauli bases, utilizing a matrix whose structure reflects the qubit parity. Additionally, we introduce a recursive relation (Theorem 2) that connects amplitudes for systems with varying qubit numbers, enabling scalable computations for large systems. Together, these results provide a versatile framework for studying global entanglement, Shannon-Rényi entropies, formation probabilities, and performing efficient quantum tomography, thereby significantly expanding the computational toolkit for analyzing complex quantum systems. Finally, we utilize our formalism to determine the post-measurement entanglement entropy, reflecting how local measurements alter entanglement, and compare the outcomes with conformal field theory predictions.
- [328] arXiv:2502.06250 (replaced) [pdf, html, other]
-
Title: DGenNO: A Novel Physics-aware Neural Operator for Solving Forward and Inverse PDE Problems based on Deep, Generative Probabilistic ModelingSubjects: Machine Learning (cs.LG); Mathematical Physics (math-ph)
Solving parametric partial differential equations (PDEs) and associated PDE-based, inverse problems is a central task in engineering and physics, yet existing neural operator methods struggle with high-dimensional, discontinuous inputs and require large amounts of {\em labeled} training data. We propose the Deep Generative Neural Operator (DGenNO), a physics-aware framework that addresses these challenges by leveraging a deep, generative, probabilistic model in combination with a set of lower-dimensional, latent variables that simultaneously encode PDE-inputs and PDE-outputs. This formulation can make use of unlabeled data and significantly improves inverse problem-solving, particularly for discontinuous or discrete-valued input functions. DGenNO enforces physics constraints without labeled data by incorporating as virtual observables, weak-form residuals based on compactly supported radial basis functions (CSRBFs). These relax regularity constraints and eliminate higher-order derivatives from the objective function. We also introduce MultiONet, a novel neural operator architecture, which is a more expressive generalization of the popular DeepONet that significantly enhances the approximating power of the proposed model. These innovations make DGenNO particularly effective for challenging forward and inverse, PDE-based problems, such as those involving multi-phase media. Numerical experiments demonstrate that DGenNO achieves higher accuracy across multiple benchmarks while exhibiting robustness to noise and strong generalization to out-of-distribution cases. Its adaptability, and the ability to handle sparse, noisy data while providing probabilistic estimates, make DGenNO a powerful tool for scientific and engineering applications.
- [329] arXiv:2503.00033 (replaced) [pdf, html, other]
-
Title: optimizn: a Python Library for Developing Customized Optimization AlgorithmsSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Combinatorial optimization problems are prevalent across a wide variety of domains. These problems are often nuanced, their optimal solutions might not be efficiently obtainable, and they may require lots of time and compute resources to solve (they are NP-hard). It follows that the best course of action for solving these problems is to use general optimization algorithm paradigms to quickly and easily develop algorithms that are customized to these problems and can produce good solutions in a reasonable amount of time. In this paper, we present optimizn, a Python library for developing customized optimization algorithms under general optimization algorithm paradigms (simulated annealing, branch and bound). Additionally, optimizn offers continuous training, with which users can run their algorithms on a regular cadence, retain the salient aspects of previous runs, and use them in subsequent runs to potentially produce solutions that get closer and closer to optimality. An earlier version of this paper was peer reviewed and published internally at Microsoft.
- [330] arXiv:2503.00263 (replaced) [pdf, html, other]
-
Title: On the time complexity of finding a well-spread perfect matching in bridgeless cubic graphsComments: WG 2025Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
We present an algorithm for finding a perfect matching in a $3$-edge-connected cubic graph that intersects every $3$-edge cut in exactly one edge. Specifically, we propose an algorithm with a time complexity of $O(n \log^4 n)$, which significantly improves upon the previously known $O(n^3)$-time algorithms for the same problem. The technique we use for the improvement is efficient use of cactus model of 3-edge cuts. As an application, we use our algorithm to compute embeddings of $3$-edge-connected cubic graphs with limited number of singular edges (i.e., edges that are twice in the boundary of one face) in $O(n \log^4 n)$ time; this application contributes to the study of the well-known Cycle Double Cover conjecture.
- [331] arXiv:2504.12989 (replaced) [pdf, html, other]
-
Title: Query Complexity of Classical and Quantum Channel DiscriminationComments: v2: 33 pages, Added tighter and precise characterization of sample and query complexity in Theorem 11 (for states), Theorem 12 (for general channels), and Corollaries 10 and 14 for classical-quantum channels; v1:22 pages; see also the independent work "Sampling complexity of quantum channel discrimination" DOI https://doi.org/10.1088/1572-9494/adcb9eSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Machine Learning (cs.LG); Statistics Theory (math.ST)
Quantum channel discrimination has been studied from an information-theoretic perspective, wherein one is interested in the optimal decay rate of error probabilities as a function of the number of unknown channel accesses. In this paper, we study the query complexity of quantum channel discrimination, wherein the goal is to determine the minimum number of channel uses needed to reach a desired error probability. To this end, we show that the query complexity of binary channel discrimination depends logarithmically on the inverse error probability and inversely on the negative logarithm of the (geometric and Holevo) channel fidelity. As a special case of these findings, we precisely characterize the query complexity of discriminating two classical channels and two classical-quantum channels. Furthermore, by obtaining a tighter characterization of the sample complexity of quantum hypothesis testing, including prior probabilities, we provide a more precise characterization of query complexity when the error probability does not exceed a fixed threshold. We also provide lower and upper bounds on the query complexity of binary asymmetric channel discrimination and multiple quantum channel discrimination. For the former, the query complexity depends on the geometric Rényi and Petz Rényi channel divergences, while for the latter, it depends on the negative logarithm of the (geometric and Uhlmann) channel fidelity. For multiple channel discrimination, the upper bound scales as the logarithm of the number of channels.
- [332] arXiv:2504.13813 (replaced) [pdf, html, other]
-
Title: Cops and Robbers for Graphs on Surfaces with CrossingsComments: Extended abstract in MFCS 2025Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
Cops and Robbers is a game played on a graph where a set of cops attempt to capture a single robber. The game proceeds in rounds, where each round first consists of the cops' turn, followed by the robber's turn. In the cops' turn, every cop can choose to either stay on the same vertex or move to an adjacent vertex, and likewise the robber in his turn. The robber is considered to be captured if, at any point in time, there is some cop on the same vertex as the robber. A natural question in this game concerns the cop-number of a graph -- the minimum number of cops needed to capture the robber. It has long been known that graphs embeddable (without crossings) on surfaces of bounded genus have bounded cop-number. In contrast, the class of 1-planar graphs -- graphs that can be drawn on the plane with at most one crossing per edge -- does not have bounded cop-number. This paper initiates an investigation into how distance between crossing pairs of edges influences a graph's cop number. In particular, we look at Distance $d$ Cops and Robbers, a variant of the classical game, where the robber is considered to be captured if there is a cop within distance $d$ of the robber. Let $c_d(G)$ denote the minimum number of cops required in the graph $G$ to capture a robber within distance $d$. We look at various classes of graphs, such as 1-plane graphs, $k$-plane graphs (graphs where each edge is crossed at most $k$ times), and even general graph drawings, and show that if every crossing pair of edges can be connected by a path of small length, then $c_d(G)$ is bounded, for small values of $d$.
- [333] arXiv:2504.20131 (replaced) [pdf, html, other]
-
Title: LZ Penalty: An information-theoretic repetition penalty for autoregressive language modelsComments: Preprint (draft)Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Information Theory (cs.IT)
We introduce the LZ penalty, a penalty specialized for reducing degenerate repetitions in autoregressive language models without loss of capability. The penalty is based on the codelengths in the LZ77 universal lossless compression algorithm. Through the lens of the prediction-compression duality, decoding the LZ penalty has the interpretation of sampling from the residual distribution after removing the information that is highly compressible. We demonstrate the LZ penalty enables state-of-the-art open-source reasoning models to operate with greedy (temperature zero) decoding without loss of capability and without instances of degenerate repetition. Both the industry-standard frequency penalty and repetition penalty are ineffective, incurring degenerate repetition rates of up to 4%.
- [334] arXiv:2505.22144 (replaced) [pdf, other]
-
Title: Fractional Quantum Hall Anyons via the Algebraic Topology of Exotic Flux QuantaComments: 78 pages, various figures; v2: minor additionsSubjects: Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Algebraic Topology (math.AT)
Fractional quantum Hall systems (FQH), due to their experimentally observed anyonic topological order, are a main contender for future hardware-implementation of error-protected quantum registers ("topological qbits") subject to error-protected quantum operations ("topological quantum gates"), both plausibly necessary for future quantum computing at useful scale, but both remaining insufficiently understood. Here we present a novel non-Lagrangian effective description of FQH anyons, based on previously elusive proper global quantization of effective topological flux in extraordinary non-abelian cohomology theories. This directly translates the system's quantum -observables, -states, -symmetries, and -measurement channels into purely algebro-topological analysis of local systems of Hilbert spaces over the quantized flux moduli spaces. Under the hypothesis -- for which we provide a fair bit of evidence -- that the appropriate effective flux quantization of FQH systems is in 2-Cohomotopy theory (a cousin of Hypothesis H in high-energy physics), the results here are rigorously derived and as such might usefully inform laboratory searches for novel anyonic phenomena in FQH systems and hence for topological quantum hardware.
- [335] arXiv:2505.23355 (replaced) [pdf, html, other]
-
Title: Grower-in-the-Loop Interactive Reinforcement Learning for Greenhouse Climate ControlSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Climate control is crucial for greenhouse production as it directly affects crop growth and resource use. Reinforcement learning (RL) has received increasing attention in this field, but still faces challenges, including limited training efficiency and high reliance on initial learning conditions. Interactive RL, which combines human (grower) input with the RL agent's learning, offers a potential solution to overcome these challenges. However, interactive RL has not yet been applied to greenhouse climate control and may face challenges related to imperfect inputs. Therefore, this paper aims to explore the possibility and performance of applying interactive RL with imperfect inputs into greenhouse climate control, by: (1) developing three representative interactive RL algorithms tailored for greenhouse climate control (reward shaping, policy shaping and control sharing); (2) analyzing how input characteristics are often contradicting, and how the trade-offs between them make grower's inputs difficult to perfect; (3) proposing a neural network-based approach to enhance the robustness of interactive RL agents under limited input availability; (4) conducting a comprehensive evaluation of the three interactive RL algorithms with imperfect inputs in a simulated greenhouse environment. The demonstration shows that interactive RL incorporating imperfect grower inputs has the potential to improve the performance of the RL agent. RL algorithms that influence action selection, such as policy shaping and control sharing, perform better when dealing with imperfect inputs, achieving 8.4% and 6.8% improvement in profit, respectively. In contrast, reward shaping, an algorithm that manipulates the reward function, is sensitive to imperfect inputs and leads to a 9.4% decrease in profit. This highlights the importance of selecting an appropriate mechanism when incorporating imperfect inputs.
- [336] arXiv:2506.09298 (replaced) [pdf, other]
-
Title: Effective criteria for entanglement witnesses in small dimensionsSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
We present an effective set of necessary and sufficient criteria for block-positivity of matrices of order $4$ over $\mathbb{C}$. The approach is based on Sturm sequences and quartic polynomial positivity conditions presented in recent literature. The procedure allows us to test whether a given $4\times 4$ complex matrix corresponds to an entanglement witness, and it is exact when the matrix coefficients belong to the rationals, extended by $\mathrm{i}$. The method can be generalized to $\mathcal{H}_2\otimes\mathcal{H}_d$ systems for $d>2$ to provide necessary but not sufficient criterion for block-positivity. We also outline an alternative approach to the problem relying on Gröbner bases.
- [337] arXiv:2506.19819 (replaced) [pdf, html, other]
-
Title: An alternative interpretation of the Grioli gyroscope suspension pointsComments: 17 pages, 7 figures, typos correctedSubjects: Classical Physics (physics.class-ph); Mathematical Physics (math-ph)
We present a detailed analysis of all possible regular precessions of a heavy asymmetric body with a fixed point not coinciding with the center of mass. The calculations are done in terms of the rotation matrix, by writing the Euler-Poisson equations with all involved vectors parameterized in the Laboratory frame. It is shown that a regular precession is possible if the suspension point is chosen on the straight lines (lying in the principal plane) which are frontiers of the regions where, as the distance from the center of mass increases, the permutation of intermediate and largest moments of inertia occurs. Like the spin of an electron in quantum mechanics, the frequency of regular precession in classical mechanics turns out to be rigidly fixed by two values, i.e., quantized.
- [338] arXiv:2506.20221 (replaced) [pdf, html, other]
-
Title: On $NP \cap coNP$ proof complexity generatorsSubjects: Computational Complexity (cs.CC); Logic (math.LO)
Motivated by the theory of proof complexity generators we consider the following $\Sigma^p_2$ search problem $\mbox{DD}_P$ determined by a propositional proof system $P$: given a $P$-proof $\pi$ of a disjunction $\bigvee_i \alpha_i$, no two $\alpha_i$ having an atom in common, find $i$ such that $\alpha_i \in \mbox{TAUT}$. We formulate a hypothesis (ST) that for some strong proof system $P$ the problem $\mbox{DD}_P$ is not solvable in the student-teacher model with a p-time student and a constant number of rounds. The hypothesis follows from the existence of hard one-way permutations. We prove, using a model-theoretic assumption, that (ST) implies $NP \neq coNP$. The assumption concerns the existence of extensions of models of a bounded arithmetic theory and it is open at present if it holds.
- [339] arXiv:2507.00629 (replaced) [pdf, html, other]
-
Title: Generalization performance of narrow one-hidden layer networks in the teacher-student settingJean Barbier, Federica Gerace, Alessandro Ingrosso, Clarissa Lauditi, Enrico M. Malatesta, Gibbs Nwemadji, Rodrigo Pérez OrtizComments: 34 pages, figuresSubjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Machine Learning (cs.LG); Probability (math.PR); Statistics Theory (math.ST)
Understanding the generalization abilities of neural networks for simple input-output distributions is crucial to account for their learning performance on real datasets. The classical teacher-student setting, where a network is trained from data obtained thanks to a label-generating teacher model, serves as a perfect theoretical test bed. In this context, a complete theoretical account of the performance of fully connected one-hidden layer networks in the presence of generic activation functions is lacking. In this work, we develop such a general theory for narrow networks, i.e. networks with a large number of hidden units, yet much smaller than the input dimension. Using methods from statistical physics, we provide closed-form expressions for the typical performance of both finite temperature (Bayesian) and empirical risk minimization estimators, in terms of a small number of weight statistics. In doing so, we highlight the presence of a transition where hidden neurons specialize when the number of samples is sufficiently large and proportional to the number of parameters of the network. Our theory accurately predicts the generalization error of neural networks trained on regression or classification tasks with either noisy full-batch gradient descent (Langevin dynamics) or full-batch gradient descent.