Mathematics
New submissions
[ showing up to 1000 entries per page: fewer | more ]
New submissions for Fri, 5 Dec 25
- [1] arXiv:2512.04090 [pdf, ps, other]
-
Title: Type Theory for the Working Mathematical Music TheoristAuthors: Drew FliederComments: 56 pages, 2 figuresSubjects: Category Theory (math.CT)
Many formal languages of contemporary mathematical music theory -- particularly those employing category theory -- are powerful but cumbersome: ideas that are conceptually simple frequently require expression through elaborate categorical constructions such as functor categories. This paper proposes a remedy in the form of a type-theoretic symbolic language that enables mathematical music theorists to build and reason about musical structures more intuitively, without relinquishing the rigor of their categorical foundations. Type theory provides a syntax in which elements, functions, and relations can be expressed in simple terms, while categorical semantics supplies their mathemusical interpretation. Within this system, reasoning itself becomes constructive: propositions and proofs are treated as objects, yielding a framework in which the formation of structures and the reasoning about them take place within the same mathematical language. The result is a concise and flexible formalism that restores conceptual transparency to mathemusical thought and supports new applications, illustrated here through the theory of voice-leading spaces.
- [2] arXiv:2512.04091 [pdf, ps, other]
-
Title: A functorial approach to Kashiwara-VergneAuthors: Rodrigo Navarro-BetancourtSubjects: Quantum Algebra (math.QA); Geometric Topology (math.GT)
As a consequence of the proof of the Kashiwara-Vergne conjecture of Alekseev and Torossian, the authors obtained an injection $\mathrm{GRT} \hookrightarrow \mathrm{KRV}$. The group $\mathrm{GRT}$ can be regarded as the group of automorphisms of the operad of parenthesized chord diagrams, while $\mathrm{KRV}$ can be recovered from the automorphism group of the Goldman-Turaev Lie bialgebra of a thrice-punctured sphere. This suggests the existence of a natural way to derive Lie bialgebras from operads, and we verify this is the case. That is, we reproduce the Alekseev-Torossian injection by functorially constructing bracket and cobracket operations out of operad modules. This framework is enough to establish a relationship between Gonzalez' higher genus $\mathrm{GRT}_g$ groups, and the higher genus $\mathrm{KRV}_g$ groups of Alekseev, Kawazumi, Kuno, and Naef. Our construction is informed by Massuyeau and Turaev's work on Fox pairings and quasi-derivations.
- [3] arXiv:2512.04101 [pdf, ps, other]
-
Title: On the integral formula of the Jacobian determinantAuthors: Shibo LiuComments: 4 pagesSubjects: Classical Analysis and ODEs (math.CA)
It is known that the integral of the Jacobian determinant of a smooth map $f: \bar{\Omega} \rightarrow \mathbb{R}^n$ depends only on $f |_{\partial
\Omega} $ and this result leads to an analytic proof of the Brouwer fixed point theorem. In this note we provide two new proofs of this result, one by classical analysis and one by differential forms and Stokes formula. - [4] arXiv:2512.04114 [pdf, ps, other]
-
Title: The Lefschetz standard conjectures for 4d-dimensional Kummer-type hyper-Kaehler varietiesAuthors: Josiah FosterComments: 46 pages. Comments welcome!Subjects: Algebraic Geometry (math.AG)
Contingent upon a conjecture of Buchweitz and Flenner, we prove the Lefschetz standard conjectures for 4d-dimensional projective varieties of generalized Kummer deformation type.
- [5] arXiv:2512.04132 [pdf, ps, other]
-
Title: A fresh look at Bivariate Binomial DistributionsAuthors: Bart JacobsSubjects: Probability (math.PR)
Binomial distributions capture the probabilities of `heads' outcomes when a (biased) coin is tossed multiple times. The coin may be identified with a distribution on the two-element set {0,1}, where the 1 outcome corresponds to `head'. One can also toss two separate coins, with different biases, in parallel and record the outcomes. This paper investigates a slightly different `bivariate' binomial distribution, where the two coins are dependent (also called: entangled, or entwined): the two-coin is a distribution on the product {0,1} x {0,1}. This bivariate binomial exists in the literature, with complicated formulations. Here we use the language of category theory to give a new succint formulation. This paper investigates, also in categorically inspired form, basic properties of these bivariate distributions, including their mean, variance and covariance, and their behaviour under convolution and under updating, in Laplace's rule of succession. Furthermore, it is shown how Expectation Maximisation works for these bivariate binomials, so that mixtures of bivariate binomials can be recognised in data. This paper concentrates on the bivariate case, but the binomial distributions may be generalised to the multivariate case, with multiple dimensions, in a straightforward manner.
- [6] arXiv:2512.04141 [pdf, ps, other]
-
Title: A Polyharmonic Liouville Hierarchy on Complete Manifolds of Nonnegative Ricci CurvatureComments: Any criticisms are more than welcomeSubjects: Differential Geometry (math.DG)
In this paper, we establish a complete Liouville--type hierarchy for polyharmonic functions on a broad class of Riemannian manifolds with nonnegative Ricci curvature. Extending Yau's classical result for harmonic functions and our recent biharmonic Liouville theorem, we prove that on any complete manifold of nonnegative Ricci curvature with a pole, every $k$--polyharmonic function of growth $o(r^{2(k-1)})$ must in fact be $(k-1)$--polyharmonic. Iterating this procedure yields the result that all polyharmonic functions of sublinear growth are constant.The key innovation is a new $L^{2}$ estimate for the Laplacian of a polyharmonic function, obtained by induction through a delicate cutoff construction combined with a hole--filling argument. This provides the first sharp geometric extension of the Euclidean classification of polyharmonic functions to manifolds of nonnegative Ricci curvature, and completes a natural hierarchy of Yau--type Liouville theorems for iterates of the Laplacian.
- [7] arXiv:2512.04190 [pdf, ps, other]
-
Title: Algebraic identities for linear operators on associative triple systems (long version)Authors: Murray R. BremnerComments: 21 pages, 4 tables, 2 figuresSubjects: Rings and Algebras (math.RA); Operator Algebras (math.OA)
We present the first classification of algebraic identities in 3 variables for linear operators on associative structures. We work in the context of associative triple systems, but since any associative algebra with product $xy$ becomes an associative triple system with product $xyz$, our results apply to associative algebras as well. This is the first time that Rota's classification problem for linear operators has been extended to algebras with an $n$-ary operation for $n \ge 3$. Our work is an application of computational linear algebra to the classification problem for linear operators. We begin with a generic operator identity with indeterminate coefficients. From this we use operadic partial compositions to derive a large sparse matrix whose nonzero entries are the indeterminates. We follow the rank principle which states that significant operator identities correspond to coefficients which produce submaximal rank of the matrix. For operator identities of multiplicity 1 (each term contains the operator once) we obtain 6 families with 1 parameter, and 1 isolated solution. For multiplicity 2, we obtain 6 families with 2 parameters, 27 families with 1 parameter, and 9 isolated solutions.
- [8] arXiv:2512.04191 [pdf, ps, other]
-
Title: Sharp thresholds, hitting times and the power of choice for random geometric graphsComments: 33 pages, 5 figuresSubjects: Combinatorics (math.CO); Probability (math.PR)
We consider a random geometric graph process where random points $(X_i)_{i \ge 1}$ are embedded consecutively in the $d$-dimensional unit torus $\mathbb{T}^d$, and every two points at distance at most $r$ form an edge. As $r\to 0$, we confirm that well-known hitting time results for $k$-connectivity (with $k\ge 1$ fixed) and Hamiltonicity in the Erd\H{o}s-R\'enyi graph process also hold for the considered geometric analogue. Moreover, we exhibit a sort of probabilistic monotonicity for each of these properties.
We also study a geometric analogue of the power of choice where, at each step, an agent is given two random points sampled independently and uniformly from $\mathbb{T}^d$ and must add exactly one of them to the already constructed point set. When the agent is allowed to make their choice with the knowledge of the entire sequence of random points (offline 2-choice), we show that they can construct a connected graph at the first time $t$ when none of the first $t$ pairs of proposed points contains two isolated vertices in the graph induced by $(X_i)_{i=1}^{2t}$, and maintain connectivity thereafter. We also derive analogous results for $k$-connectivity and Hamiltonicity. This shows that each of the said properties can be attained two times faster (time-wise) and with four times fewer points in the offline 2-choice process compared to the 1-choice process.
In the online version where the agent only knows the process until the current time step, we show that $k$-connectivity and Hamiltonicity cannot be significantly accelerated (time-wise) but may be realised on two times fewer points compared to the 1-choice analogue. - [9] arXiv:2512.04194 [pdf, ps, other]
-
Title: Probabilistic Safety under Arbitrary Disturbance Distributions using Piecewise-Affine Control Barrier FunctionsSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
We propose a simple safety filter design for stochastic discrete-time systems based on piecewise affine probabilistic control barrier functions, providing an appealing balance between modeling flexibility and computational complexity. Exact evaluation of the safety filter consists of solving a mixed-integer quadratic program (MIQP) if the dynamics are control-affine (or a mixed-integer nonlinear program in general). We propose a heuristic search method that replaces this by a small number of small-scale quadratic programs (QPs), or nonlinear programs (NLPs) respectively. The proposed approach provides a flexible framework in which arbitrary (data-driven) quantile estimators can be used to bound the probability of safety violations. Through extensive numerical experiments, we demonstrate improvements in conservatism and computation time with respect to existing methods, and we illustrate the flexibility of the method for modeling complex safety sets. Supplementary material can be found at https://mathijssch.github.io/ecc26-supplementary/.
- [10] arXiv:2512.04197 [pdf, ps, other]
-
Title: Constructing Low-Redundancy Codes via Distributed Graph ColoringComments: 18 pages, 3 figuresSubjects: Information Theory (cs.IT)
We present a general framework for constructing error-correcting codes using distributed graph coloring under the LOCAL model. Building on the correspondence between independent sets in the confusion graph and valid codes, we show that the color of a single vertex - consistent with a global proper coloring - can be computed in polynomial time using a modified version of Linial's coloring algorithm, leading to efficient encoding and decoding. Our results include: i) uniquely decodable code constructions for a constant number of errors of any type with redundancy twice the Gilbert-Varshamov bound; ii) list-decodable codes via a proposed extension of graph coloring, namely, hypergraph labeling; iii) an incremental synchronization scheme with reduced average-case communication when the edit distance is not precisely known; and iv) the first asymptotically optimal codes (up to a factor of 8) for correcting bursts of unbounded-length edits. Compared to syndrome compression, our approach is more flexible and generalizable, does not rely on a good base code, and achieves improved redundancy across a range of parameters.
- [11] arXiv:2512.04202 [pdf, ps, other]
-
Title: Fisher information, Crámer-Rao complexity and temperature in logistic mapAuthors: Ignacio Sebastián Gomez, Guilherme Vieira Brito Junior, Samuel Silva Santos, Zolacir Trindade Oliveira JúniorSubjects: Mathematical Physics (math-ph); Chaotic Dynamics (nlin.CD)
In this work we study the dynamics of the logistic map based on a probabilistic characterization in terms of the invariant density. We analyze the relevant regimes of the dynamics (regular, oscillatory, onset chaotic and fully chaotic) in terms of the Fisher information and the Cr\'amer-Rao (CR) complexity. We found that these informational quantifiers allow to distinguish the dynamical regions of the map, by maximizing the Fisher information in the regular behavior and with the CR complexity exhibiting variations and a maximum near to the Pomeau-Maneville scenario. Fisher information as a function of time is examined to the light of the Frieden's informational interpretation of the Thermodynamics Second Law. Finally, we apply the Equipartition Theorem to propose a definition of temperature for the logistic map, thus providing a macroscopic signature of the dynamics.
- [12] arXiv:2512.04215 [pdf, ps, other]
-
Title: Quasi racks, quasi bijective and quasi non-degenerate set-theoretic solutions of the Yang-Baxter equationSubjects: Quantum Algebra (math.QA)
This work initiates a systematic study of the class of quasi bijective and quasi non-degenerate solutions to the set-theoretic Yang-Baxter equation. The motivation stems from the observation that solutions that arise from dual weak braces belong to this class. The notions of quasi rack and derived solution are introduced and examined, extending the classical definitions. Additionally, a family of quasi left non-degenerate solutions is described in terms of quasi racks and g-twists, analogous to the left non-degenerate case. Furthermore, we completely characterize a class of quasi racks expressible in terms of Plonka sum of racks.
- [13] arXiv:2512.04218 [pdf, ps, other]
-
Title: Time of appearance of a large gap in a dynamic Poisson point processComments: 42 pages, 2 figuresSubjects: Probability (math.PR)
We study the distribution of the 'gap time', the first time that a large gap appears, in the spatial birth and death point process on $[0,1]$ in which particles are added uniformly in space at rate $\lambda$ and are removed independently at rate $1$, as a function of the parameter $\lambda$ and the specified gap size function $w_\lambda$ as $\lambda\to\infty$. If $w_\lambda$ is a large enough multiple of the typical largest gap $(\log(\lambda)+O(1))/\lambda$ and the initial distribution has a high enough local density of particles and not too many particles in total, then the gap time, scaled by its expected value, converges in distribution to exponential with mean $1$. If in addition $\limsup_\lambda w_\lambda < 1$ then the expected time scales like $e^{\lambda w_\lambda}/(\lambda^2 w_\lambda(1-w_\lambda))$.
- [14] arXiv:2512.04233 [pdf, ps, other]
-
Title: Exactly Colored Complete Subgraphs of Infinite GraphsAuthors: Žarko RanđelovićComments: 9 pagesSubjects: Combinatorics (math.CO)
Given integers $m\le c$ and an exact $c$-coloring of the edges of a complete countably infinite graph (i.e. a coloring that uses exactly $c$ colors), must there be an infinite subgraph that is exactly $m$-colored? Using the Infinite Ramsey Theorem It is easy to show that the statement is true if $m=1,2$ or $c$. Erickson conjectured that it is false in all other cases. Stacey and Weidl proved that for each $m\ge 3$ there is some large enough $C(m)$ such that the conjecture is true for all pairs $(c,m)$ with $c>C(m)$. The main aim of this paper is to show that for all large enough $m$ the conjecture holds for all $c>m$. This reduces the number of cases needed to fully verify the conjecture to a finite number.
- [15] arXiv:2512.04234 [pdf, ps, other]
-
Title: Nonsmooth bifurcations in families of one-dimensional piecewise-linear quasiperiodically forced mapsSubjects: Dynamical Systems (math.DS)
We study nonsmooth bifurcations of four types of families of one-dimensional quasiperiodically forced maps of the form $F_i(x,\theta) = (f_i(x,\theta), \theta+\omega)$ for $i=1,\dots,4$, where $x$ is real, $\theta\in\mathbb{T}$ is an angle, $\omega$ is an irrational frequency, and $f_i(x,\theta)$ is a real piecewise linear map with respect to $x$. The first two types of families $f_i$ have a symmetry with respect to $x$, and the other two could be viewed as quasiperiodically forced piecewise-linear versions of saddle-node and period-doubling bifurcations. The four types of families depend on two real parameters, $a\in\mathbb{R}$ and $b\in\mathbb{R}$. Under certain assumptions for $a$, we prove the existence of a continuous map $b^*(a)$ where for $b=b^*(a)$ there exists a nonsmooth bifurcation for these types of systems. In particular we prove that for $b=b^*(a)$ we have a strange nonchaotic attractor. It is worth to mention that the four families are piecewise-linear versions of smooth families which seem to have nonsmooth bifurcations. Moreover, as far as we know, we give the first example of a family with a nonsmooth period-doubling bifurcation.
- [16] arXiv:2512.04236 [pdf, ps, other]
-
Title: McMullen's game for equicontinuously-twisted badly approximable points in continued fractions and beta expansionsSubjects: Dynamical Systems (math.DS)
In a beta-transformation (for integer beta) or a Gauss map system, given a sequence of functions fn from [0,1] to itself, consider the collection of points in [0,1] whose nth iteration under the map is distanced away from its value under fn. It is well known that for constant sequences fn, such collections are always winning in McMullen's game and in particular they have Hausdorff dimension 1. We extend the results to all equicontinuous sequences of functions fn.
- [17] arXiv:2512.04241 [pdf, ps, other]
-
Title: Covering Relations in the Poset of Combinatorial Neural CodesComments: To appear in Proceedings of the 4th NeurIPS Workshop on Symmetry and Geometry in Neural Representations, Proceedings of Machine Learning ResearchSubjects: Combinatorics (math.CO); Neurons and Cognition (q-bio.NC)
A combinatorial neural code is a subset of the power set $2^{[n]}$ on $[n]=\{1,\dots, n\}$, in which each $1\leq i\leq n$ represents a neuron and each element (codeword) represents the co-firing event of some neurons. Consider a space $X\subseteq\mathbb{R}^d$, simulating an animal's environment, and a collection $\mathcal{U}=\{U_1,\dots,U_n\}$ of open subsets of $X$. Each $U_i\subseteq X$ simulates a place field which is a specific region where a place cell $i$ is active. Then, the code of $\mathcal{U}$ in $X$ is defined as $\text{code}(\mathcal{U},X)=\left\{\sigma\subseteq[n]\bigg|\bigcap_{i\in\sigma} U_i\setminus\bigcup_{j\notin\sigma}U_j\neq\varnothing\right\}$. If a neural code $\mathcal{C}=\text{code}(\mathcal{U},X)$ for some $X$ and $\mathcal{U}$, we say $\mathcal{C}$ has a realization of open subsets of some space $X$. Although every combinatorial neural code obviously has a realization by some open subsets, determining whether it has a realization by some open convex subsets remains unsolved. Many studies attempted to tackle this decision problem, but only partial results were achieved. In fact, a previous study showed that the decision problem of convex neural codes is NP-hard. Furthermore, the authors of this study conjectured that every convex neural code can be realized as a minor of a neural code arising from a representable oriented matroid, which can lead to an equivalence between convex and polytope convex neural codes. Even though this conjecture has been confirmed in dimension two, its validity in higher dimensions is still unknown. To advance the investigation of this conjecture, we provide a complete characterization of the covering relations within the poset $\mathbf{P_{Code}}$ of neural codes.
- [18] arXiv:2512.04245 [pdf, ps, other]
-
Title: An elementary approach to Wehrl-type entropy bounds in quantitative formComments: 21 pagesSubjects: Mathematical Physics (math-ph); Functional Analysis (math.FA); Quantum Physics (quant-ph)
We consider the problem of the stability (with sharp exponent) of the Lieb--Solovej inequality for symmetric $SU(N)$ coherent states, which was obtained only recently by the authors. Here, we propose an elementary proof of this result, based on reformulating the Wehrl-type entropy as a function defined on the unit sphere in $\mathbb{C}^d$, for some suitable $d$, and on some explicit (and somewhat surprising) computations.
- [19] arXiv:2512.04253 [pdf, ps, other]
-
Title: Yangians and degenerate affine Schur algebrasComments: 48 pagesSubjects: Representation Theory (math.RT)
Drinfeld's degenerate affine analog of Schur-Weyl duality relates representations of the degenerate affine Hecke algebra $AH_r$ to representations of the Yangian $Y_n$. One way to understand the construction is to introduce an intermediate algebra $AS(n,r)$, the degenerate affine Schur algebra, which appears both as the endomorphism algebra of an induced tensor space over $AH_r$, and as the image of a homomorphism $D_{n,r}:Y_n \rightarrow AS(n,r)$. In this paper, we describe $D_{n,r}$ using a diagrammatic calculus. Then we use a theorem of Drinfeld to compute $\ker D_{n,r}$ when $n > r$, thereby giving a presentation of $AS(n,r)$ in these cases. We formulate a conjecture in the remaining cases. Finally, we apply results of Arakawa to develop some of the representation theory of $AS(n,r)$.
- [20] arXiv:2512.04271 [pdf, ps, other]
-
Title: The small growth invariants of Goursat distributionsComments: 29 pages, 3 figuresSubjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG)
This is the second of a pair of papers devoted to the local invariants of Goursat distributions. The study of these distributions naturally leads to a tower of spaces over an arbitrary surface, called the monster tower, and thence to connections with the topic of singularities of curves on surfaces. In the prior paper we studied those invariants of Goursat distributions akin to those of curves on surfaces, which we call structural invariants. In this paper we study invariants arising from the small growth sequence of a Goursat distribution, and relate them to the the structural invariants.
- [21] arXiv:2512.04278 [pdf, ps, other]
-
Title: On Weinstein domains in symplectic manifoldsSubjects: Symplectic Geometry (math.SG); Complex Variables (math.CV); Geometric Topology (math.GT)
We prove that a Weinstein domain symplectically embedded in a closed symplectic manifold always admits symplectic hypersurfaces in its complement, possibly after a deformation. As a consequence, we obtain an obstruction for a closed 3-dimensional manifold to arise as the boundary of a Weinstein domain in a class of symplectic 4-manifolds that includes many symplectic rational surfaces. A particular application is that no Brieskorn homology sphere bounds a Weinstein domain symplectically embedded in a rational surface diffeomorphic to $S^2\times S^2$ or to ${\mathbb C} P^2\# k \overline{{\mathbb C}P}^2$, for any $k\leq 7$, despite the fact that many Brieskorn spheres bound Stein domains holomorphically embedded in these rational surfaces. Several families of Brieskorn spheres are obtained that do not bound a Weinstein domain in any 4-manifold with a ``positive'' symplectic structure. Such Weinstein domains do exist in certain positive symplectic rational surfaces when $k\geq 8$, though their topology is significantly constrained.
- [22] arXiv:2512.04281 [pdf, ps, other]
-
Title: Regularity for minimizers of degenerate, non-autonomous, orthotropic integral functionalsSubjects: Analysis of PDEs (math.AP)
We prove the higher differentiability of integer order of locally bounded minimizers of integral functionals of the form \begin{equation*}
\mathcal{F}(u,\Omega):= \,\sum_{i=1}^{n} \dfrac{1}{p_i}\displaystyle \int_\Omega \, a_i(x) \lvert u_{x_i} \rvert^{p_i} dx- \int_\Omega \omega(x)u(x) dx, \end{equation*} where the exponents $ p_i \geq 2 $ and the coefficients $ a_i(x) $ satisfy a suitable Sobolev regularity. The main novelty consists in dealing with non-autonomous, anisotropic functionals, which depend also on the solution. - [23] arXiv:2512.04294 [pdf, ps, other]
-
Title: Classification of Homogeneous Odd Rota--Baxter Operators on a Modified Witt-Type Lie SuperalgebraSubjects: Rings and Algebras (math.RA)
We classify all homogeneous odd (i.e., parity-reversing) Rota--Baxter operators of weight zero on the modified Witt-type Lie superalgebra $W = \langle L_m, G_n \rangle_{m,n\in\Z}$. Our classification shows that nontrivial such operators are highly constrained: either $g \equiv 0$ and $f$ is arbitrary, or $g \not\equiv 0$ forces $f \equiv 0$, and $g$ must take one of several rigid forms dictated by the integer shift $k$ (necessarily odd when $g(0) \neq 0$). We prove that every Rota--Baxter operator on $W$ decomposes uniquely into even and odd homogeneous components; we restrict our attention to the odd case, which yields the full nontrivial structure. Furthermore, we show that all derivations of $W$ are inner, that no Rota--Baxter operator on $W$ is invertible, and we describe the induced super pre-Lie algebra structure together with its cohomological interpretation.
- [24] arXiv:2512.04297 [pdf, ps, other]
-
Title: Mixing at the Batchelor Scale for White-In-Time FlowsSubjects: Probability (math.PR); Analysis of PDEs (math.AP); Dynamical Systems (math.DS)
We consider the mixing properties of solutions to the advection-diffusion equation of a white-in-time velocity field on the 2-dimensional torus with four forced modes. As the diffusivity parameter goes to zero, we show that the almost-sure exponential dissipation rate stays bounded from below. Together with the corresponding upper bound established by Gess and Yaroslavtsev, this constitutes an example of a velocity field for which the Batchelor scale conjecture can be verified. In addition, we characterize the exponential mixing rate without diffusion of this system. Our results are not restricted to two dimensions, and we construct a three-dimensional white-in-time velocity field with the same properties.
- [25] arXiv:2512.04300 [pdf, ps, other]
-
Title: Logarithmic de Rham Stacks and Non-Abelian Hodge TheoryAuthors: Michael BarzComments: 54 pages; comments welcome!Subjects: Algebraic Geometry (math.AG)
In this article, we introduce the logarithmic de Rham stack of a pair (X, D), for X a smooth variety X over a field k of positive characteristic p, and D a strict normal crossings divisor on X. Using this stack, we prove a new version of logarithmic Cartier descent, and a new logarithmic non-abelian Hodge theorem for curves, both stated using a certain logarithmic Frobenius twist. Our logarithmic non-abelian Hodge theorem implies an earlier logarithmic non-abelian Hodge theorem of de Cataldo-Zhang.
- [26] arXiv:2512.04301 [pdf, ps, other]
-
Title: Regular functional covering numbersComments: 18 pagesSubjects: Metric Geometry (math.MG)
We establish the existence of a regular functional $M$-position, in the sense of Pisier, for geometric log-concave functions. This provides a functional analogue of Pisier's regular $M$-positions for convex bodies and yields uniform control of covering numbers at all scales. Specifically, we show that every isotropic geometric log-concave function $f:\mathbb{R}^n \to [0,\infty)$ satisfies, for all $t\geq 1$, $$\max \left\{N(f, t \cdot g),\,N(f^*, t \cdot g),\,N(g, t \cdot f),\,N(g, t \cdot f^*)\right\} \leq \exp\left( \frac{\gamma_n^2\, n}{t} \right),$$ where $f^*$ denotes the Legendre dual of $f$, $(t \cdot f)(x)=f(x/t)$ is the $t$-homothety of $f$, $g(x)=\exp \left(-\frac{1}{2}|x|^{2}\right)$ and $\gamma_n \leq c(\ln n)^2$. Our result shows that the isotropic position of a log-concave function already provides an almost $1$-regular functional $M$-position.
- [27] arXiv:2512.04306 [pdf, ps, other]
-
Title: Undiscounted Equilibrium in Positive Recursive Absorbing Games with Non-Rectangular Absorption StructureSubjects: Optimization and Control (math.OC)
An absorbing game is a stochastic game with a single nonabsorbing state. Such a game is called recursive if all players receive a payoff of 0 in the nonabsorbing state, and positive if all payoffs in absorbing states are positive. An action profile is nonabsorbing if, when it is played, the game remains in the nonabsorbing state with probability 1. The set of nonabsorbing action profiles can be partitioned into the connected components of an undirected graph, whose vertices are these profiles, with two vertices joined by an edge whenever the corresponding profiles differ in the action of a single player. A connected component is said to be rectangular if it is the Cartesian product of subsets of the players' action sets.
We prove that every positive recursive absorbing game whose nonabsorbing components are all non-rectangular admits an undiscounted equilibrium payoff. - [28] arXiv:2512.04335 [pdf, ps, other]
-
Title: Characterization of multipliers on vector-valued Hardy spacesComments: 28 pagesSubjects: Functional Analysis (math.FA); Complex Variables (math.CV)
This work characterizes the multipliers on vector-valued Hardy spaces over the infinite polydisk and the infinite polytorus, as well as in the context of Dirichlet series. Unlike the scalar-valued setting, where these frameworks are completely analogous reformulations of one another, there are significant differences in the vector-valued context. We prove that while the space of multipliers on the infinite polydisk is $H_\infty(\mathbb{D}^\infty_2, B(X))$, the situation on the infinite polytorus is distinct; assuming $X$ is separable, the multiplier space can be identified as $H_\infty^{sot}(\mathbb{T}^\infty, B(X))$, consisting of essentially bounded SOT-measurable functions. These spaces coincide when $X$ possesses the analytic Radon-Nikodym property. Finally, we extend these results to the associated Hardy spaces of Dirichlet series, $\mathcal{H}_p^+(X)$ and $\mathcal{H}_p(X)$, providing characterizations for their respective multiplier spaces.
- [29] arXiv:2512.04357 [pdf, ps, other]
-
Title: ${\sL}$-resolvents and pseudo-spectral functions of symmetric linear relations in Hilbert spacesAuthors: Volodymyr DerkachComments: 47 pagesSubjects: Spectral Theory (math.SP)
Let $A$ be a closed symmetric operator with the deficiency index $(p,p)$, $p<\infty$, acting in a Hilbert space $\sH$ and let $\sL$ be a subspace of $\sH$. The set of $\sL$-resolvents of a densely defined symmetric operator in a Hilbert space with a proper gauge $\sL(\subset\sH)$ was described by Kre\u{\i}n and Saakyan. The Kre\u{\i}n--Saakyan theory of $\sL$-resolvent matrices was extended by Shmul'yan and Tsekanovskii to the case of improper gauge $\sL(\not\subset\sH)$ and by Langer and Textorius to the case of symmetric linear relations in Hilbert spaces. In the present paper we find connections between the theory of boundary triples and the Kre\u{\i}n--Saakyan theory of $\sL$-resolvent matrices for symmetric linear relations with improper gauges in Hilbert spaces and extend the known formula for the $\sL$-resolvent matrix in terms of boundary operators to this class of relations. Descriptions of spectral and pseudo-spectral functions of symmetric linear relations with improper gauges are given. The results are applied to linear relations generated by a canonical system.
- [30] arXiv:2512.04363 [pdf, ps, other]
-
Title: On invertibility of some polynomial mapsAuthors: U.BekbaevSubjects: Rings and Algebras (math.RA)
Over an algebraically closed field $\mathbb{F}$ of zero characteristic polynomial map $\xi: \mathbb{F}^n\rightarrow \mathbb{F}^n$ of the form $\xi(x)=x-((xA_1)^{3}, (xA_2)^{3},..., (xA_n)^{3})$, where $x=(x_1,x_2,...,x_n)$ a row vector of variables, $A_i\in \mathbb{F}^n$ are column vectors, is considered. It is shown that if $\det(\partial\xi(x))=1$, then $\xi$ is injective.
- [31] arXiv:2512.04371 [pdf, ps, other]
-
Title: Constructive Approximation under Carleman's Condition, with Applications to Smoothed AnalysisSubjects: Probability (math.PR); Machine Learning (cs.LG); Functional Analysis (math.FA); Statistics Theory (math.ST); Machine Learning (stat.ML)
A classical result of Carleman, based on the theory of quasianalytic functions, shows that polynomials are dense in $L^2(\mu)$ for any $\mu$ such that the moments $\int x^k d\mu$ do not grow too rapidly as $k \to \infty$. In this work, we develop a fairly tight quantitative analogue of the underlying Denjoy-Carleman theorem via complex analysis, and show that this allows for nonasymptotic control of the rate of approximation by polynomials for any smooth function with polynomial growth at infinity. In many cases, this allows us to establish $L^2$ approximation-theoretic results for functions over general classes of distributions (e.g., multivariate sub-Gaussian or sub-exponential distributions) which were previously known only in special cases. As one application, we show that the Paley--Wiener class of functions bandlimited to $[-\Omega,\Omega]$ admits superexponential rates of approximation over all strictly sub-exponential distributions, which leads to a new characterization of the class. As another application, we solve an open problem recently posed by Chandrasekaran, Klivans, Kontonis, Meka and Stavropoulos on the smoothed analysis of learning, and also obtain quantitative improvements to their main results and applications.
- [32] arXiv:2512.04379 [pdf, ps, other]
-
Title: Properties for ($α,β$)-harmonic functionsComments: 33 pagesSubjects: Complex Variables (math.CV)
We investigate properties of ($\alpha,\beta$)-harmonic functions. First, we discuss the the coefficient estimates for ($\alpha,\beta$)-harmonic functions. In particular, we obtain Heinz's inequality for ($\alpha,\beta$)-harmonic functions, propose a coefficient bound for normalized univalent ($\alpha,\beta$)-harmonic functions and prove that this holds for the subclass that consists of starlike functions. Furthermore, by utilizing the relationship between ($\alpha,\beta$)-harmonic functions and harmonic functions, we obtain Rad\'{o}'s theorem, Koebe type covering theorems and area theorem. Finally, we show growth estimates and distortion estimates for ($\alpha,\beta$)-harmonic functions by using the $L^p$ norms of the boundary functions.
- [33] arXiv:2512.04394 [pdf, ps, other]
-
Title: Law of Large Numbers for continuous $N$-particle ensembles at fixed temperatureComments: 28 pagesSubjects: Probability (math.PR); Mathematical Physics (math-ph); Combinatorics (math.CO)
In this paper, we find necessary and sufficient conditions for the Law of Large Numbers of averaged empirical measures of $N$-particle ensembles, in terms of the asymptotics of their Bessel generating functions, in the fixed temperature regime. This settles an open problem posed by Benaych-Georges, Cuenca and Gorin. For one direction, we use the moment method through Dunkl operators, and for the other we employ a special case of the formula of Chapuy--Dolega for the generating function of infinite constellations. As applications, we prove that the LLN for $\theta$-sums and $\theta$-corners of random matrices are given by the free convolution and free projection, respectively, regardless of the value of inverse temperature parameter $\theta$. We also prove the LLN for a time-slice of the $\theta$-Dyson Brownian motion.
- [34] arXiv:2512.04402 [pdf, ps, other]
-
Title: A note on degree conditions for Ramsey goodness of treesSubjects: Combinatorics (math.CO)
For given graphs $G_{1}, G_{2}$ and $G$, let $G\rightarrow (G_{1}, G_{2})$ denote that each red-blue-coloring of $E(G)$ yields a red copy of $G_{1}$ or a blue copy of $G_{2}$. Arag{\~a}o, Marciano and Mendon{\c c}a [L. Arag{\~a}o, J. Pedro Marciano and W. Mendon{\c c}a, Degree conditions for Ramsey goodness of paths, {\it European Journal of Combinatorics}, {\bf 124} (2025), 104082] proved the following. Let $G$ be a graph on $N\geq (n- 1)(m- 1)+ 1$ vertices. If $\delta(G)\geq N- \lceil n/2\rceil$, then $G\rightarrow (P_{n}, K_{m})$, where $P_{n}$ is a tree on $n$ vertices. In this note, we generalize $P_{n}$ to any tree $T_{n}$ with $n$ vertices, and improve the lower bound of $\delta(G)$. We further improve the lower bound when $T_{n}\neq K_{1, n- 1}$, which partially confirms their conjecture.
- [35] arXiv:2512.04403 [pdf, ps, other]
-
Title: Diffusive limit of the Boltzmann equation around Rayleigh profile in the half spaceComments: To appear in Bull. Inst. Math. Acad. SinSubjects: Analysis of PDEs (math.AP)
This paper concerns the diffusive limit of the time evolutionary Boltzmann equation in the half space $\mathbb{T}^2\times\mathbb{R}^+$ for a small Knudsen number $\varepsilon>0$. For boundary conditions in the normal direction, it involves diffuse reflection moving with a tangent velocity proportional to $\varepsilon$ on the wall, whereas the far field is described by a global Maxwellian with zero bulk velocity. The incompressible Navier-Stokes equations, as the corresponding formal fluid dynamic limit, admit a specific time-dependent shearing solution known as the Rayleigh profile, which accounts for the effect of the tangentially moving boundary on the flow at rest in the far field. Using the Hilbert expansion method, for well-prepared initial data we construct the Boltzmann solution around the Rayleigh profile without initial singularity over any finite time interval.
- [36] arXiv:2512.04406 [pdf, ps, other]
-
Title: A Dual Riemannian ADMM Algorithm for Low-Rank SDPs with Unit DiagonalComments: 17 pages, 4 figures, 3 tablesSubjects: Optimization and Control (math.OC)
This paper proposes a dual Riemannian alternating direction method of multipliers (ADMM) for solving low-rank semidefinite programs with unit diagonal constraints. We recast the ADMM subproblem as a Riemannian optimization problem over the oblique manifold by performing the Burer-Monteiro factorization. Global convergence of the algorithm is established assuming that the subproblem is solved to certain optimality. Numerical experiments demonstrate the excellent performance of the algorithm. It outperforms, by a significant margin, a few advanced SDP solvers (MOSEK, COPT, SDPNAL+, ManiSDP) in terms of accuracy, efficiency, and scalability on second-order SDP relaxations of dense and sparse binary quadratic programs.
- [37] arXiv:2512.04410 [pdf, ps, other]
-
Title: Homogenizationof non-divergence form operators in i.i.d. random environmentsComments: 25 pagesSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
We study random walks in a balanced, i.i.d. random environment in $\mathbb Z^d$ for $d\geq 3$. We establish improved convergence rates for the homogenization of the Dirichlet problem associated with the corresponding non-divergence form difference operators, surpassing the $O(R^{-1})$ rate, which is expected to be optimal for environments with a finite range of dependence. In particular, the improved rates are $O(R^{-3/2})$ when $d=3$, and $O(R^{-2}\log R)$ when $d\geq 4$.
- [38] arXiv:2512.04411 [pdf, ps, other]
-
Title: Iterative Contact-resolving Hybrid Methods for Multiscale Contact MechanicsSubjects: Numerical Analysis (math.NA)
Modeling contact mechanics with high contrast coefficients presents significant mathematical and computational challenges, especially in achieving strongly symmetric stress approximations. Due to the inherent nonlinearity of contact problems, conventional methods that treat the entire domain as a monolithic system often lead to high global complexity. To address this, we develop an iterative contact-resolving hybrid method by localizing nonlinear contact constraints within a smaller subdomain, while the larger subdomain is governed by a linear system. Our system employs variational inequality theory, minimization principles, and penalty methods. More importantly, we propose four discretization types within the two-subdomain framework, ranging from applying standard/mixed FEM across the entire domain to combining standard/mixed multiscale methods in the larger subdomain with standard/mixed FEM in the smaller one. % The standard finite element method and standard constraint energy minimizing generalized multiscale finite element method are simple and easy to demonstrate. By employing a multiscale reduction technique, the method avoids excessive degrees of freedom inherent in conventional methods in the larger domain, while the mixed formulation enables direct stress computation, ensures local momentum conservation, and resists locking in nearly incompressible materials. Convergence analysis and the corresponding algorithms are provided for all cases. Extensive numerical experiments are presented to validate the effectiveness of the approaches.
- [39] arXiv:2512.04414 [pdf, ps, other]
-
Title: Unavoidable induced subgraphs forced by graphs with many vertices of prescribed propertiesComments: 16 pages, 1 figureSubjects: Combinatorics (math.CO)
Given a function $p : V(G)\to \mathbb N$ and an integer $k\ge 0$, define $p_k(G)$ as the number of vertices with $p(v)\ge k$. We say that $p_k(G)$ is bounded for all $\HH$-free graphs if there exists a constant $c=c(\HH)$ such that $p_k(G)<c$ for all such graphs $G$. Here, a graph $G$ is said to be $\HH$-free if it contains no member of $\HH$ as an induced subgraph. When $p$ represents the degree of a vertex, Ramsey's theorem implies that $p_0(G)$ is bounded for every $\{K_n, E_n\}$-free graphs, where $K_n$ and $E_n$ denote the complete graph and the edgeless graph on $n$ vertices, respectively. The connected version of Ramsey's theorem says that $p_0(G)$ is bounded for all $\{K_n, P_n, K_{1,n}\}$-free connected graphs, where $P_n$ and $K_{1,n}$ are the $n$-vertex path and the star with $n$ leaves. In this paper, we extend the Ramsey's theorem to $p_2(G)$ where $p$ denotes the degree, the local independent number, the local component number, and sharp degree, that is, we characterize the forbidden family of graphs $\HH$ such that $p_2(G)$ is bounded for all (connected) $\HH$-free graphs. Moreover, we also characterize the forbidden family of graphs $\HH$ for which there is a constant $c=c(\HH)$ such that $p_c(G)$ is bounded for all $\HH$-free graphs.
- [40] arXiv:2512.04417 [pdf, ps, other]
-
Title: A Perfect Number Generalization and Some Euclid-Euler Type ResultsAuthors: Tyler RossComments: 10 pagesJournal-ref: J. Int. Seq. 27 (2024) Article 24.7.5Subjects: Number Theory (math.NT)
In this paper, we introduce a new generalization of the perfect numbers, called $\mathcal{S}$-perfect numbers. Briefly stated, an $\mathcal{S}$-perfect number is an integer equal to a weighted sum of its proper divisors, where the weights are drawn from some fixed set $\mathcal{S}$ of integers. After a short exposition of the definitions and some basic results, we present our preliminary investigations into the $\mathcal{S}$-perfect numbers for various special sets $\mathcal{S}$ of small cardinality. In particular, we show that there are infinitely many $\{0, m\}$-perfect numbers and $\{-1,m\}$-perfect numbers for every $m \geq 1$. We also provide a characterization of the $\{-1,m\}$-perfect numbers of the form $2^kp$ ($k \geq 1$, $p$ an odd prime), as well as a characterization of all even $\{-1, 1\}$-perfect numbers.
- [41] arXiv:2512.04422 [pdf, ps, other]
-
Title: The Dirichlet heat trace for domains with curved cornersComments: 20 pagesSubjects: Spectral Theory (math.SP); Analysis of PDEs (math.AP)
We study the short-time asymptotics of the Dirichlet heat trace on planar curvilinear polygons. For such domains we show that the coefficient of $t^{1/2}$ in the expansion splits into a boundary integral of $\kappa^2$ and a sum of local corner contributions, one for each vertex. Each curved corner contribution depends only on the interior angle $\alpha$ and on the limiting curvatures $\kappa_{\pm}$ on the adjacent sides. Using a conformal model and a parametrix construction on the sector heat space, we express this contribution in the form $c_{1/2}(\alpha)\,r_0(\alpha,\kappa_+, \kappa_-)$, where $c_{1/2}(\alpha)$ is given by a Hadamard finite part of an explicit trace over the exact sector. For right-angled corners we compute $c_{1/2}(\pi/2)=1/(16\sqrt{\pi})$ and obtain a closed formula for the $t^{1/2}$ coefficient. As an application we extend a previous result in the literature by showing that any admissible curvilinear polygon that is Dirichlet isospectral to a polygon must itself be a polygon with straight sides.
- [42] arXiv:2512.04423 [pdf, ps, other]
-
Title: Paths with two blocks in oriented graphs of large minimum semi-degreeComments: 13 pages,4figuresJournal-ref: The Electronic Journal of Combinatorics,32(4)(2025), P4.58Subjects: Combinatorics (math.CO)
Stein (2020) conjectured that for any positive integer $k$, every oriented graph of minimum semi-degree greater than $k/2$ contains every oriented path of length $k$. This conjecture is true for directed paths by a result from Jackson (JGT, 1981). In this paper, we establish the validity of Stein's conjecture specifically for any oriented path with two blocks, where, a block of an oriented path $P$ refers to a maximal directed subpath within $P$.
- [43] arXiv:2512.04428 [pdf, ps, other]
-
Title: A note on lifespan estimates for higher-order parabolic equationsComments: 11 pagesSubjects: Analysis of PDEs (math.AP)
We investigate the lifespan of solutions to the higher-order semilinear parabolic equation $$u_t+(-\Delta)^m u=|u|^p, \quad x \in \mathbb{R}^n, t>0 $$ with initial data. We focus on the precise asymptotic behavior of the lifespan of nontrivial solutions. By combining the test function method and semigroup estimates, we derive both upper and lower bounds for the lifespan of solutions $$T_{\varepsilon} \simeq \left\{\begin{array}{l}\varepsilon^{-\left(\frac{1}{p-1}-\frac{n}{2m}\right)^{-1}}, \,\, 1<p<p_{\text {Fuj}}, \\ \exp\left(\varepsilon^{-(p-1)}\right), \,\, p=p_{\text {Fuj}},\end{array}\right.$$ where $p_{Fuj}=1+\frac{2m}{n}$ is the critical exponent of Fujita. These estimates refine and extend the earlier results of Caristi-Mitidieri [J. Math. Anal. Appl., 279:2 (2003), 710-722] and Sun [Electron. J. Differential Equations, 17 (2010)], who obtained only upper bounds under slowly decaying initial data assumptions. In our setting, the above condition on the initial data is replaced by the assumption $L^1\cap L^\infty$, which sharpens the results of the aforementioned works.
- [44] arXiv:2512.04430 [pdf, ps, other]
-
Title: Edge Hamiltonian for Free Fermion Quantum Hall ModelsComments: 15 pages, 7 figuresSubjects: Mathematical Physics (math-ph); Quantum Physics (quant-ph)
We investigate a proposal of Kitaev for a microscopic construction of a Hamiltonian intended to describe the edge dynamics of a quantum Hall system. We show that the construction works in the setting of translation-invariant free-fermion Hamiltonians. In this case, the resulting edge Hamiltonian exhibits only edge modes, and these modes have the correct chirality.
- [45] arXiv:2512.04431 [pdf, ps, other]
-
Title: Limiting Speed and Fluctuations for the Boundary Modified Contact ProcessAuthors: Andrew HeeszelSubjects: Probability (math.PR)
The boundary modified contact process models an epidemic spreading in one dimension with two infection parameters, $\lambda_i$ and $\lambda_e$. Starting from a finite infected set, each edge of $\mathbb{Z}$ transmits the infection at rate $\lambda_i$ except for the rightmost and leftmost edges incident to infected vertices, which transmit the infection at rate $\lambda_e$. We show a strong law of large numbers and central limit theorem for the location of the rightmost infected vertex when $\lambda_i = \lambda_c$ and $\lambda_e = \lambda_c + \varepsilon$. We also show stretched exponential tail bounds in the fluctuations of the rightmost infected vertex, the extinction time of the process on the event of non-survival, and the probability of survival given the size of the initial infected region. Our results extend to the boundary modified contact process whenever $\lambda_c \leq \lambda_i < \lambda_e$, and solves an open problem first proposed by Andjel and Rolla in [1].
- [46] arXiv:2512.04433 [pdf, ps, other]
-
Title: Marton's Conjecture in Finite Fields of Odd Characteristic via a Polynomial Stability LemmaAuthors: Mohammad Taha Kazemi MoghadamComments: 11 pagesSubjects: Combinatorics (math.CO); Number Theory (math.NT)
We study small-doubling subsets of finite-dimensional vector spaces over finite fields of odd characteristic. Let $A \subset \mathbb{F}_p^n$ be non-empty with $|A+A| \le K|A|$. We prove that $A$ can be covered by at most $K^{O(1)}$ cosets of a subspace $H \le \mathbb{F}_p^n$ with $|H| \le K^{O(1)}|A|$, giving a polynomial Freiman--Ruzsa (PFR/Marton) theorem in $\mathbb{F}_p^n$ for odd primes $p$. The key input is a polynomial stability lemma which yields a dichotomy: either the $L^4$ Fourier mass of $1_A$ concentrates on a span of dimension $\operatorname{poly}(K)$, or in a quotient of codimension $\operatorname{poly}(K)$ the doubling constant decreases by at least $K^{-C}$. Iterating the latter alternative and combining it with standard covering arguments gives the polynomial-structured conclusion. In conjunction with the characteristic-$2$ results of Green, Gowers, Manners, and Tao, our methods provide an alternative finite-field route to Marton-type Freiman--Ruzsa theorems across all characteristics.
- [47] arXiv:2512.04438 [pdf, ps, other]
-
Title: An Algorithm for Determining Lie Algebra TypesSubjects: Rings and Algebras (math.RA)
This paper investigates the Jordan--Kronecker invariant of finite dimensional complex Lie algebras. We present an explicit algorithm for determining the type of a given Lie algebra from its Jordan--Kronecker invariant. The algorithm is implemented in a specific Matlab program.
- [48] arXiv:2512.04454 [pdf, ps, other]
-
Title: A Proper Closed Subspace of the Lipschitz Dual Containing the Linear DualAuthors: Arindam MandalComments: I would be grateful, and am very much looking forward, to any comments or suggestions you may have regarding this articleSubjects: Functional Analysis (math.FA)
Motivated by classical results of Lindenstrauss and recent developments by Karn and Mandal, we investigate quotient spaces of the form $Lip_0(X)/\mathcal{A}$, where $\mathcal{A}$ is a finite-dimensional subspace, showing that these quotients are dual spaces with explicitly describable preduals.
We then focus on $Lip_0^{ph}(X)$, the space of positively homogeneous real-valued Lipschitz functions. This space satisfies $ X^* \subsetneq Lip_0^{ph}(X) \subsetneq Lip_0(X), $ and is shown to be both a dual space and the preannihilator of a closed subspace of the Lipschitz-free space. Consequently it follows that $\bigslant{Lip_0(X)}{Lip_0^{ph}(X)}$ is also a dual space. Furthermore, with a suitable multiplication, $(Lip_0^{ph}(X), Lip(\cdot))$ forms a Banach algebra, exhibiting structural advantages over $Lip_0(X)$. - [49] arXiv:2512.04462 [pdf, ps, other]
-
Title: Convergence rate of empirical measures in the subspace robust Wasserstein distanceAuthors: Dakshesh VasanSubjects: Probability (math.PR)
We obtain an estimate for the expected subspace robust Wasserstein distance between any probability measure on the unit ball of a separable Hilbert space, and its empirical distribution from $n$ i.i.d. samples.
- [50] arXiv:2512.04468 [pdf, ps, other]
-
Title: Inhomogeneous $q$-Whittaker Polynomials I: Duality and ExpansionsSubjects: Combinatorics (math.CO); Mathematical Physics (math-ph)
We introduce a new family of symmetric polynomials $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_{\lambda}$ arising from exactly solvable lattice models associated with the quantised loop algebra $\mathcal{U}_{q}(\mathfrak{sl}_{2}[z^\pm])$. The polynomials $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_{\lambda}$ unify $q$-Whittaker polynomials, inhomogeneous $q$-Whittaker polynomials, Grothendieck polynomials and their duals. Using Yang--Baxter equation, we derive Cauchy identities and combinatorial formulas for the transition coefficients.
- [51] arXiv:2512.04470 [pdf, ps, other]
-
Title: Joint Low-Rank and Sparse Bayesian Channel Estimation for Ultra-Massive MIMO CommunicationsComments: 5 pages, 4 figures, To appear in IEEE Communications LettersJournal-ref: IEEE Communications Letters, 2026Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This letter investigates channel estimation for ultra-massive multiple-input multiple-output (MIMO) communications. We propose a joint low-rank and sparse Bayesian estimation (LRSBE) algorithm for spatial non-stationary ultra-massive channels by exploiting the low-rankness and sparsity in the beam domain. Specifically, the channel estimation integrates sparse Bayesian learning and soft-threshold gradient descent within the expectation-maximization framework. Simulation results show that the proposed algorithm significantly outperforms the state-of-the-art alternatives under different signal-to-noise ratio conditions in terms of estimation accuracy and overall complexity.
- [52] arXiv:2512.04479 [pdf, ps, other]
-
Title: Irreversibility condition and stability of equilibria in the inverse-deformation approach to fractureAuthors: Arnav GuptaSubjects: Analysis of PDEs (math.AP); Materials Science (cond-mat.mtrl-sci); Mathematical Physics (math-ph)
We derive the irreversibility condition in fracture for the inverse-deformation approach using the second law of thermodynamics. We consider the problem of brittle failure in an elastic bar previously solved in (Rosakis et al 2021). Despite the presence of a non-zero interfacial/surface energy, the third derivative of the inverse-deformation map is discontinuous at the crack faces. This is due to the presence of the inequality constraint ensuring the inverse strain is nonnegative and the orientation of matter is preserved. A change in the material location of a crack results in negative entropy production, violating the second law. Consequently, such changes are disallowed giving the irreversibility condition. The inequality constraint and the irreversibility condition limit the space of admissible variations. We prove necessary and sufficient conditions for local stability that incorporate these restrictions. Their numerical implementation shows that all broken equilibria found in (Rosakis et al 2021) are locally stable.
- [53] arXiv:2512.04481 [pdf, ps, other]
-
Title: Rotation angles of a rotating disc as the holonomy of the Hopf fibrationAuthors: Takuya MatsumotoComments: 30 pages, 5 figuresSubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Differential Geometry (math.DG); Applied Physics (physics.app-ph); Quantum Physics (quant-ph)
This article investigates a simple kinematical model of a disc (Disc B) rolling on the edge of a fixed disc (Disc A) to study the geometric nature of rotation. The total rotation angle $\Delta$ of Disc B after one cycle is decomposed into a dynamical phase $\Delta_d$ and a geometric phase $\Delta_g$. The paper's main contribution is to demonstrate that this geometric phase can be essentially described as the $U(1)$ holonomy of the Hopf fibration with the canonical connection. By using a Gauss map to represent the disc's motion as a curve on a two-sphere ($S^2$), the work connects the physical rotation to the underlying geometry of the Hopf fiber bundle $S^3 \to S^2$ and clarifies the origin of the geometric phase.
- [54] arXiv:2512.04486 [pdf, ps, other]
-
Title: Total $2$-cut complexes of powers of cycle graphs and Cartesian products of certain graphsComments: 16 pagesSubjects: Combinatorics (math.CO)
For a positive integer $k$, the \emph{ total $k$-cut complex} of a graph $G$, denoted as $\Delta_k^t(G)$, is the simplicial complex whose facets are $\sigma \subseteq V(G)$ such that $|\sigma| = |V(G)|-k$ and the induced subgraph $G[V(G) \setminus \sigma]$ does not contain any edge. These complexes were introduced by Bayer et al.\ in \cite{Bayer2024TotalCutcomplex} in connection with commutative algebra. In the same paper, they studied the homotopy types of these complexes for various families of graphs, including cycle graphs $C_n$, squared cycle graphs $C_n^2$, and Cartesian products of complete graphs and path graphs $K_m \square P_2$ and $K_2 \square P_n$. In this article, we extend the work of Bayer et al.\ for these families of graphs. We focus on the complexes $\Delta_2^t(G)$ and determine the homotopy types of these complexes for three classes of graphs: (i) $p$-th powers of cycle graphs $C_n^p$ (ii) $K_m \square P_n$ and (iii) $K_m \square C_n$. Using discrete Morse theory, we show that these complexes are homotopy equivalent to wedges of spheres. We also give the number and dimension of spheres appearing in the homotopy type. Our result on powers of cycle graphs $C_n^p$ proves a conjecture of Shen et al.\ about the homotopy type of the complexes $\Delta_2^t(C_n^p)$.
- [55] arXiv:2512.04490 [pdf, ps, other]
-
Title: On special values of meromorphic Drinfeld modular forms of arbitrary rank at CM pointsSubjects: Number Theory (math.NT)
In the present paper, we introduce meromorphic Drinfeld modular forms of arbitrary rank equipped with a particular arithmeticity property. We also study their special values at CM points and show the algebraic independence of these values under some conditions. Our results may be seen as a generalization of Chang's results on the special values of arithmetic Drinfeld modular forms in the rank two setting.
- [56] arXiv:2512.04491 [pdf, ps, other]
-
Title: On the Complexity of Atypical Special PointsAuthors: David UrbanikSubjects: Algebraic Geometry (math.AG)
Given an integral variation of Hodge structure $\mathbb{V}$ on a complex algebraic variety $S$, polarized by some bilinear form $Q : \mathbb{V} \otimes \mathbb{V} \to \mathbb{Z}$, it is believed that the set $\mathcal{A}^{\textrm{iso}}_{0} \subset S(\mathbb{C})$ of isolated atypical special points associated to $(\mathbb{V}, Q)$ forms a finite set. Here we show that the number of such points $s$ is $O(Q(t_{s}, t_{s})^{\varepsilon})$ for any $\varepsilon > 0$, where $t_{s}$ is a minimal integral Hodge tensor defining $s$ (in an appropriate sense). This resolves a conjecture of Grimm and Monnee.
- [57] arXiv:2512.04501 [pdf, ps, other]
-
Title: One-Step Generative Channel Estimation via Average Velocity FieldAuthors: Zehua Jiang, Fenghao Zhu, Siming Jiang, Chongwen Huang, Zhaohui Yang, Richeng Jin, Zhaoyang Zhang, Merouane DebbahSubjects: Information Theory (cs.IT)
Generative models have shown immense potential for wireless communication by learning complex channel data distributions. However, the iterative denoising process associated with these models imposes a significant challenge in latency-sensitive wireless communication scenarios, particularly in channel estimation. To address this challenge, we propose a novel solution for one-step generative channel estimation. Our approach bypasses the time-consuming iterative steps of conventional models by directly learning the average velocity field. Through extensive simulations, we validate the effectiveness of our proposed method over existing state-of-the-art diffusion-based approach. Specifically, our scheme achieves a normalized mean squared error up to 2.65 dB lower than the diffusion method and reduces latency by around 90%, demonstrating the potential of our method to enhance channel estimation performance.
- [58] arXiv:2512.04506 [pdf, ps, other]
-
Title: Parabolic problems whose Fujita critical exponent is not given by scalingComments: 22 pagesSubjects: Analysis of PDEs (math.AP)
This paper investigates the (fractional) heat equation with a nonlocal nonlinearity involving a Riesz potential: \begin{equation*} u_{t}+(-\Delta)^{\frac{\beta}{2}} u= I_\alpha(|u|^{p}),\qquad x\in \mathbb{R}^n,\,\,\,t>0, \end{equation*} where $\alpha\in(0,n)$, $\beta\in(0,2]$, $n\geq1$, $p>1.$ We introduce the Fujita-type critical exponent $p_{\mathrm{Fuj}}(n,\beta,\alpha)=1+(\beta+\alpha)/(n-\alpha)$, which characterizes the global behavior of solutions: global existence for small initial data when $p>p_{\mathrm{Fuj}}(n,\beta,\alpha),$ and finite-time blow-up when $p\leq p_{\mathrm{Fuj}}(n,\beta,\alpha)$.
It is remarkable that the critical Fujita exponent is not determined by the usual scaling argument that yields $p_{sc}=1+(\beta+\alpha)/n$, but instead arises in an unconventional manner, similar to the results of Cazenave et al. [Nonlinear Analysis, 68 (2008), 862-874] for the heat equation with a nonlocal nonlinearity of the form $\int_0^t(t-s)^{-\gamma}|u(s)|^{p-1}u(s)ds,\,0\leq \gamma<1.$
The result on global existence for $p>p_{\mathrm{Fuj}}(n,2,\alpha),$ provides a positive answer to the hypothesis proposed by Mitidieri and Pohozaev in [Proc. Steklov Inst. Math., 248 (2005) 164-185]. We further establish global nonexistence results for the above heat equation, where the Riesz potential term $I_\alpha(|u|^{p})$ is replaced by a more general convolution operator $(\mathcal{K}\ast |u|^p),\,\mathcal{K}\in L^1_{loc}$, thereby extending the Mitidieri-Pohozaev's results established in the aforementioned work.
Proofs of the blow-up results are obtained using a nonlinear capacity method specifically adapted to the structure of the problem, while global existence is established via a fixed-point argument combined with the Hardy-Littlewood-Sobolev inequality. - [59] arXiv:2512.04523 [pdf, ps, other]
-
Title: An accelerated proximal bundle method for convex optimizationComments: 21 pages, 1 figureSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
The proximal bundle method (PBM) is a powerful and widely used approach for minimizing nonsmooth convex functions. However, for smooth objectives, its best-known convergence rate remains suboptimal, and whether PBM can be accelerated remains open. In this work, we present the first accelerated proximal bundle method that achieves the optimal $\mathscr{O}(1/\sqrt{\epsilon})$ iteration complexity for obtaining an $\epsilon$-accurate solution in smooth convex optimization. The proposed method is conceptually simple, which differs from Nesterov's accelerated gradient descent by only a single line and retains all key structural properties of the classical PBM. In particular, it relies on the same minimal assumptions on model approximations and preserves the standard bundle testing criterion. Numerical experiments confirm the accelerated $\mathscr{O}(1/\sqrt{\epsilon})$ convergence rate predicted by our theory.
- [60] arXiv:2512.04531 [pdf, ps, other]
-
Title: A continuum of non-measure equivalent groupsSubjects: Group Theory (math.GR); Dynamical Systems (math.DS); Operator Algebras (math.OA)
We construct a continuum sized family $\{G_x\}_{x\in\{0,1\}^{\mathbb N}}$ of pairwise non-measure equivalent countable groups which have property (T) (hence are finitely generated), have zero $\ell^2$-Betti numbers of all orders, and are torsion-free.
- [61] arXiv:2512.04539 [pdf, ps, other]
-
Title: A Note on Restricted Selection Set from Random IntervalSubjects: Probability (math.PR); Optimization and Control (math.OC)
We study restricted selection sets of random intervals in $\R^1$ defined on a non-atomic probability space. Given a random interval $Y=[y_L,y_U]$ and scalar constraints on the expectation or the median of admissible selections, we define the restricted selection set and establish its existence, basic structure and influence on bounding moments and quantiles. In particular, we give conditions under which any mean (or quantile) in the Aumann expectation range can be attained by a measurable selection. We characterize the induced ranges of means, medians, and event probabilities. The analysis is carried out in a minimal one-dimensional random-set framework inspired by the classical theory of Aumann integrals. We also outline extensions to higher-order moment and general quantile restrictions.
- [62] arXiv:2512.04544 [pdf, ps, other]
-
Title: On the diameter of random uniform hypergraphs in dense regimeComments: 31 pagesSubjects: Probability (math.PR)
For a fixed natural number $t\geq 2$, we consider $t$-uniform random hypergraphs $\mathscr{H} (n,t,p)$ on $n$ vertices $[n]=\{1,\ldots, n\}$, where each $t$-subset of $[n]$ is included as a hyperedge with probability $p$ and independently. We show that the diameter of $\mathscr{H} (n,t,p)$ is concentrated only at two points in the dense regime. More precisely, suppose $diam(\mathcal H)$ denotes the diameter of a hypergraph $\mathcal H$ on $n$ vertices. We show that, for fixed $t,c,d$ constants, if $n$ and $p$ (depends on $t,c,d,n$) satisfy
$$
\frac{ (t-1)^ {d} N^{d} p^{d}} {n}= \log \left( \frac{n^2}{c} \right), \mbox{ where } N={n-1\choose t-1},
$$ $c$ is a positive constant and $d\geq2$ is a natural number, then
$$
\lim_{n \to \infty} \mathbb{P} \left( diam( \mathcal{H}) = d \right) = e^{- \frac{c}{2}} \text{ and } \lim_{n \to \infty} \mathbb{P} \left( diam(\mathcal{H}) = d+1 \right) = 1- e^{- \frac{c}{2}}.
$$
In particular, the case where $t = 2$ corresponds to the diameter of the Erd\H{o}s-R\'enyi graph, as established by Bollob\'as in \cite[Theorem~6]{bollobas1981diameter}. Bollob\' as's result was proven using the moments method, which is challenging to apply in our context due to the complexity of the model. In this paper, we utilize the Stein-Chen method along with coupling techniques to prove our result. This approach can potentially be used to solve various problems, in particular diameter problems, in more complex networks. - [63] arXiv:2512.04547 [pdf, ps, other]
-
Title: Generalized discrete Markov spectraAuthors: Yasuaki GyodaComments: 42 pages, 18 figures, 12 tablesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
In this paper, we generalize the special subset of the Markov-Lagrange spectrum (and the Markov spectrum) called the discrete Markov spectrum. The discrete Markov spectrum is defined in terms of the Markov numbers, which arise as positive integer solutions to the Markov equation $x^2 + y^2 + z^2 = 3xyz.$ Using the tool called snake graphs, originating from cluster algebra theory, we first reconstruct proofs of its properties in a combinatorial framework and then extend it to the generalized setting. We then introduce the generalized discrete Markov spectrum, defined analogously via the generalized Markov numbers, which arise as positive integer solutions to the generalized Markov equation $x^2 + y^2 + z^2 + k_1 yz + k_2 zx + k_3 xy = (3 + k_1 + k_2 + k_3) xyz.$ We prove that this generalized spectrum is contained in the Markov-Lagrange spectrum and thus the Markov spectrum.
- [64] arXiv:2512.04560 [pdf, ps, other]
-
Title: Reflection of Nichols Algebras over Coquasi-Hopf AlgebrasSubjects: Quantum Algebra (math.QA)
This paper extends the foundational reflection theory of Nichols algebras to the setting of some certain coquasi-Hopf algebras. Our primary motivation arises from the classification of pointed finite-dimensional coquasi-Hopf algebras. We develop a reflection theory for tuples of simple Yetter-Drinfeld modules in the category $\GG$, where $G$ is a finite group and $\Phi$ is a 3-cocycle on $G$. We prove that such a tuple gives rise to a semi-Cartan graph if admitting all reflections. Consequently, its Weyl groupoid is well-defined. We further establish several criteria for the finite-dimensionality of Nichols algebras in terms of the associated semi-Cartan graph. As an application, we provide a new proof for the infinite-dimensionality of a specific class of Nichols algebras previously studied in \cite{huang2024classification}, bypassing extensive computational arguments.
- [65] arXiv:2512.04567 [pdf, ps, other]
-
Title: Gaussian Fluctuations for the Stochastic Landau-Lifshitz Navier-Stokes Equation in Dimension $D\geq2$Subjects: Probability (math.PR)
We revisit the large-scale Gaussian fluctuations for the stochastic Landau-Lifshitz Navier-Stokes equation (LLNS) at and above criticality, using the method in \cite{CGT24}. With the classical diffusive scaling in $d\geq 3$ and weak coupling scaling in $d=2$, we obtain the convergence of the regularised LLNS to a stochastic heat equation with a non-trivially renormalized coefficient. Moreover, we obtain an asymptotic expansion of the effective coefficient when $d\geq3$, and show that the one in \cite[Conjecture 6.5]{JP24} is incorrect. The new ingredient in our proof is a case-by-case analysis to track the evolution of the vector under the action of the Leray projection, combined with the use of the anti-symmetric part of the generator and a rotational change of coordinates to derive the desired decoupled stochastic heat equation from the original coupled system.
- [66] arXiv:2512.04572 [pdf, ps, other]
-
Title: Existence of twisted Calabi flow and deformation from the $J$-flow to Calabi flowComments: 61 pagesSubjects: Differential Geometry (math.DG)
In this paper, we study a family of twisted Calabi flows connecting the $J$-flow and Calabi flow on a compact K\"ahler manifold with a constant scalar curvature (cscK) metric. We show that for any initial data the twisted Calabi flow near the $J$-flow has long time existence and converges smoothly to the cscK metric. Moreover, we show that if a twisted Calabi flow has long time existence and converges, then the nearby twisted Calabi flow with the same initial data also has long time existence and converges. These results imply the openness of the continuity method to study Chen's long time existence conjecture on (twisted) Calabi flow on cscK manifolds.
- [67] arXiv:2512.04575 [pdf, ps, other]
-
Title: Research on the descent direction of prediction correction algorithms for pseudo-convex/convex optimization problemsSubjects: Optimization and Control (math.OC)
Prediction-correction algorithms are a highly effective class of methods for solving pseudo-convex optimization problems. The descent direction of these algorithms can be viewed as an adjustment to the gradient direction based on the prediction step. This paper investigates the adjustment coefficients of these descent directions and offers explanations from the perspective of differential equations. Unlike existing algorithms where the adjustment coefficient is always set to 1, we establish that the range of the adjustment coefficient lies within (1/2,1] for pseudo-convex optimization problems, and [0,1] for convex optimization problems. We also provide rigorous convergence proofs for these proposed algorithms. Numerical experiment results show that the algorithms perform best when the value of the adjustment coefficient makes the algorithm approach or equal to those in differential equations with higher-order global discrete error.
- [68] arXiv:2512.04584 [pdf, ps, other]
-
Title: Sharp stability on the second Robin eigenvalue with negative boundary parametersSubjects: Analysis of PDEs (math.AP)
In this paper, we prove a quantitative refinement of the isoperimetric type inequality for the second Robin eigenvalue with negative boundary parameters established by Freitas and Laugesen [Amer.J.Math.143 (2021), no.3, 969-994].Such new stability estimate is proved when the boundary parameter is not too far from 0.By constructing a suitable family of nearly spherical domains, we prove that the exponent for the Fraenkel asymmetry in this quantitative type inequality is sharp.
- [69] arXiv:2512.04592 [pdf, ps, other]
-
Title: Stable self-adaptive timestepping for Reduced Order Models for incompressible flowsSubjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph); Fluid Dynamics (physics.flu-dyn)
This work introduces RedEigCD, the first self-adaptive timestepping technique specifically tailored for reduced-order models (ROMs) of the incompressible Navier-Stokes equations. Building upon linear stability concepts, the method adapts the timestep by directly bounding the stability function of the employed time integration scheme using exact spectral information of matrices related to the reduced operators. Unlike traditional error-based adaptive methods, RedEigCD relies on the eigenbounds of the convective and diffusive ROM operators, whose computation is feasible at reduced scale and fully preserves the online efficiency of the ROM. A central theoretical contribution of this work is the proof, based on the combined theorems of Bendixson and Rao, that, under linearized assumptions, the maximum stable timestep for projection-based ROMs is shown to be larger than or equal to that of their corresponding full-order models (FOMs). Numerical experiments for both periodic and non-homogeneous boundary conditions demonstrate that RedEigCD yields stable timestep increases up to a factor 40 compared to the FOM, without compromising accuracy. The methodology thus establishes a new link between linear stability theory and reduced-order modeling, offering a systematic path towards efficient, self-regulating ROM integration in incompressible flow simulations.
- [70] arXiv:2512.04594 [pdf, ps, other]
-
Title: Frames for compactly supported functions with irrational densityComments: 16 pagesSubjects: Functional Analysis (math.FA)
We find sufficient conditions on a compactly supported function $g$, $\supp g = [a,b]$ which guarantee that the Gabor system $$\mathcal{G}(g;\alpha,\beta)=\{e^{2\pi i \beta m x}g(x-\alpha n)\}_{m,n\in\mathbb{Z}}$$ is a frame for all $\alpha < b-a, \alpha\beta < 1, \alpha\beta \notin\Q$. These conditions are on one hand satisfied by almost all such functions, and on the other hand are explicit enough that we can give many concrete examples of the functions $g$ which give us a frame e.g. $g(x) = \exp(\frac{1}{x^4-1})\chi_{(-1,1)}(x)$.
- [71] arXiv:2512.04612 [pdf, ps, other]
-
Title: Convergence of patterned matrices with random walk entriesSubjects: Probability (math.PR)
It is well known that the Brownian motion on the real line can be obtained as a weak limit of a suitably scaled continuous-time random walk (CTRW). We investigate the convergence of certain patterned random matrices whose entries are independent CTRWs of various types. In a non-commutative probability framework, we use these high dimensional matrices to derive approximations of the free Brownian motion. Furthermore, we introduce and analyze a random time-changed version of the free Brownian motion driven by an inverse stable subordinator. An approximation of this process is obtained using a random matrix whose entries consist of continuous-time randomly stopped random walks. Moreover, it is shown that the empirical spectral distributions of such matrices have longer tails. Additionally, in a specific case, we use the explicit eigenvalue expressions of these matrices to obtain weak approximations of the standard Brownian motion and a time-changed variant of it.
- [72] arXiv:2512.04613 [pdf, ps, other]
-
Title: MAT-Freeness is not combinatorialComments: 7 pagesSubjects: Combinatorics (math.CO)
We show that the notion of MAT-freeness for hyperplane arrangements depends on the underlying field. In particular, MAT-freeness is not combinatorial.
- [73] arXiv:2512.04620 [pdf, ps, other]
-
Title: Metric dimension of Cartesian product of starsSubjects: Combinatorics (math.CO)
The metric dimension of a graph is the minimum number of landmark vertices required so that every vertex can be uniquely identified by its distances to the landmarks. This parameter captures the fundamental tradeoff between compact information encoding and unambiguous identification in networked systems. In this work, we determine exact value for the metric dimension of the Cartesian product $K_{1,m} \square K_{1,n}$, also known as hub-and-spoke grids, across all values of $m$ and $n$. In addition, we present a constructive linear-time algorithm that builds a minimum resolving set, providing both theoretical guarantees and practical feasibility. We complement our results with visualization of parameter regimes that illustrate the design space. The findings establish design rules for minimizing landmark sensors and support applications in graph-based localization, monitoring networks, and intelligent information systems. Our results extend the theory of metric dimension and contribute efficient methods of direct relevance to information science and computational graph theory.
- [74] arXiv:2512.04621 [pdf, ps, other]
-
Title: The quantum integrable hierarchy for the Gromov-Witten theory of elliptic curvesComments: 11 pagesSubjects: Algebraic Geometry (math.AG); Mathematical Physics (math-ph)
We construct the quantum double ramification hierarchy associated with the Gromov-Witten theory of elliptic curves. We use results of Oberdieck and Pixton on the intersection numbers of the double ramification cycle, the Gromov-Witten classes of the elliptic curve and the Hodge class $\lambda_{g-1}$ together with vanishing results for $\lambda_{g-2}$ to produce a closed, modular expression for the resulting integrable hierarchy. It is the first explicit nontrivial example of a quantum integrable hierarchy from a cohomological field theory containing fermionic fields, which correspond to the odd classes in the cohomology of the elliptic curve.
- [75] arXiv:2512.04622 [pdf, other]
-
Title: Temporal and Spatial Decomposition for Prospective Studies in Energy Systems under UncertaintyAuthors: Camila Martinez Parra (RTE, CERMICS), Michel de Lara (CERMICS), Jean-Philippe Chancelier (CERMICS), Pierre Carpentier (UMA), Jean-Marc Janin (RTE)Subjects: Optimization and Control (math.OC)
The increasing penetration of renewable energy requires greater use of storage resources to manage system intermittency. As a result, there is growing interest in evaluating the opportunity cost of stored energy, or usage values, which can be derived by solving a multistage stochastic optimization problem. Stochasticity arises from net demand (the aggregation of demand and non-dispatchable generation), the availability of dispatchable generation, and inflows when the storage facilities considered are hydroelectric dams. We aim to compute these usage values for each market zone of the interconnected European electricity system, in the context of prospective studies currently conducted by RTE, the French TSO. The energy system is mathematically modelled as a directed graph, where nodes represent market zones and arcs represent interconnection links. In large energy systems, spatial complexity (thirty nodes in the system, each with at most one aggregated storage unit) compounds temporal complexity (a one-year horizon modelled with two timescales: weekly subproblems with hourly time steps). This work addresses three main sources of complexity: temporal, spatial, and stochastic. We tackle the multinode multistage stochastic optimisation problem by incorporating a spatio-temporal decomposition scheme. To efficiently compute usage values, we apply Dual Approximate Dynamic Programming (DADP), which enables tractable decomposition across both time and space. This approach yields nodal usage values that depend solely on the local state of each node, independently of the others. We conduct numerical studies on a realistic system composed of thirty nodes (modelling part of Europe) and show that DADP obtains competitive results when comparing with traditional methods like Stochastic Dual Dynamic Programming (SDDP).
- [76] arXiv:2512.04628 [pdf, ps, other]
-
Title: A solution to Banach conjectureAuthors: Ning ZhangSubjects: Functional Analysis (math.FA); Metric Geometry (math.MG)
In this paper, we first prove that the origin-symmetric star body with ellipsoidal sections is an ellipsoid. Then we give a complete proof of Banach's isometric subspace problem in finite dimensions through the John ellipsoid.
- [77] arXiv:2512.04633 [pdf, ps, other]
-
Title: Bounding the diameter-width ratio using containment inequalities of means of convex bodiesSubjects: Metric Geometry (math.MG)
We completely describe the region of possible values of the diameter-width ratio for planar pseudo-complete sets in dependence of the Minkowski asymmetry. In order to do this, we focus on the containment inequalities of $K \cap (-K)$ and $\frac{K-K}{2}$ for a Minkowski centered convex compact set $K$, i.e. we define $\tau(K)$ to be the smallest possible factor to cover $K \cap (-K)$ by a rescalation of $\frac{K-K}{2}$ and give the region of the possible values of $\tau(K)$ in the planar case in dependence of the Minkowski asymmetry of $K$.
- [78] arXiv:2512.04634 [pdf, ps, other]
-
Title: Interface layers and coupling conditions for discrete kinetic models on networks: a spectral approacSubjects: Numerical Analysis (math.NA)
We consider kinetic and related macroscopic equations on networks. A class of linear kinetic BGK models is considered, where the limit equation for small Knudsen numbers is given by the wave equation. Coupling conditions for the macroscopic equations are obtained from the kinetic coupling conditions via an asymptotic analysis near the nodes of the network and the consideration of coupled solutions of kinetic half-space problems. Analytical results are obtained for a discrete velocity version of the coupled half-space problems. Moreover, an efficient spectral method is developed to solve the coupled discrete velocity half-space problems. In particular, this allows to determine the relevant coefficients in the coupling conditions for the macroscopic equations
from the underlying kinetic network problem. These coefficients correspond to the so-called extrapolation length for kinetic boundary value problems. Numerical results show the accuracy and fast convergence of the approach. Moreover, a comparison of the kinetic solution on the network with the macroscopic solution is presented. - [79] arXiv:2512.04638 [pdf, ps, other]
-
Title: On formulas and fractional exponents for umbral operatorsAuthors: Kei BeauduinComments: 11 pages, to be publishedSubjects: Combinatorics (math.CO); Classical Analysis and ODEs (math.CA)
This study presents a new formula for umbral operators which provides three key insights. First, it clarifies a connection between umbral calculus and iteration theory. Second, it paves the way for a definition of fractional exponents of umbral operators. And lastly, its proof synthesizes a multitude of existing operational calculus results that demonstrates a new level of effectiveness in the field. We demonstrate its application through a new and natural extension of the Laguerre polynomials.
- [80] arXiv:2512.04640 [pdf, ps, other]
-
Title: Critical concave-convex problems in Carnot groupComments: 22 pagesSubjects: Analysis of PDEs (math.AP)
We consider a model Dirichlet problem with concave-convex and critical nonlinearity settled in Carnot groups. Our aim is to prove the existence of two positve solutions in the spirit of a famous result by Ambrosetti, Brezis and Cerami. To this aim we use a variational Perron method combined with proper estimates of a family of functions which are minimizers of the relevant Sobolev inequality. Due to the lack of boundary regularity, we also have to be careful while proving that the first solution found is a local minimizer in the proper topology.
- [81] arXiv:2512.04641 [pdf, ps, other]
-
Title: On the classicality theorem and its applications to the automorphy lifting theorem and the Breuil-M$\mathrm{\acute{e}}$zard conjecture in some $\mathrm{GL}_2(\mathbb{Q}_{p^2})$ casesAuthors: Kojiro MatsumotoComments: 143 pagesSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Representation Theory (math.RT)
In this paper, we study locally analytic vectors in the "partially" completed cohomology of Shimura varieties associated with some rank $2$ unitary groups over a totally real field $F^+$ such that $F^+_v = \mathbb{Q}_{p^2}$ for some $p$-adic places $v$ and prove a certain classicality theorem. This is a partial generalization and modification of Lue Pan's work in the modular curve case by using the works of Caraiani-Scholze, Koshikawa and Zou on mod $l$ cohomology of Shimura varieties. As applications, we prove the automorphy lifting theorem and the Breuil-M$\mathrm{\acute{e}}$zard conjecture in some $\mathrm{GL}_2(\mathbb{Q}_{p^2})$ cases. We will assume a technical regularity condition on Serre weights of residual representations, but we don't assume any technical condition on the properties of liftings of residual representations at $p$-adic places except Hodge-Tate regularity. It should be noted that previously, such results were known only when we assumed that $F^+_v$ is equal to $\mathbb{Q}_p$ for any $p$-adic place $v$ of $F^+$ so that we can use the $p$-adic Langlands correspondence of $\mathrm{GL}_2(\mathbb{Q}_p)$. Moreover, we propose a conjectural strategy to prove such results in some $\mathrm{GL}_2(\mathbb{Q}_{p^f})$ cases.
- [82] arXiv:2512.04646 [pdf, ps, other]
-
Title: Canonical Rough Path over Tempered Fractional Brownian Motion: Existence, Construction, and ApplicationsAuthors: Atef LechihebSubjects: Probability (math.PR)
We construct a canonical geometric rough path over $d$-dimensional tempered fractional Brownian motion (tfBm) for any Hurst parameter $H > 1/4$ and tempering parameter $\lambda > 0$. The main challenge stems from the non-homogeneous nature of the tfBm covariance, which exhibits a power-law structure at small scales and exponential decay at large scales. Our primary contribution is a detailed analysis of this covariance, proving it has finite 2D $\rho$-variation for $\rho = 1/(2H)$. This verifies the criterion of Friz and Victoir, guaranteeing the existence of a rough path lift. We then provide an explicit construction of the rough path $\mathbf{B}_{H,\lambda} = (B_{H,\lambda}, \mathbb{B}_{H,\lambda})$ via $L^2$-limits, establishing its basic properties with explicit constants $C(H,\lambda,T)$. As direct consequences, we obtain: (i) a complete characterization of integration regimes, with Young integration applicable for $H > 1/2$ and rough path theory necessary and sufficient for $H \in (1/4, 1/2]$; (ii) the well-posedness of rough differential equations driven by tfBm; and (iii) the foundation for signature calculus for tfBm, including the existence and factorial decay of the signature. Numerical experiments confirm the theoretical convergence rates $\mathcal{O}(N^{-2H})$ for the L\'evy area approximation and $\mathcal{O}(n^{-H})$ for the associated Milstein scheme. This work provides the first comprehensive pathwise framework for stochastic calculus with tfBm.
- [83] arXiv:2512.04650 [pdf, ps, other]
-
Title: Weierstrass functions and a generalization of the additive-multiplicative Weierstrass inequalityAuthors: Halina WiśniewskaSubjects: Classical Analysis and ODEs (math.CA)
Let $J$ denote the interval either $(0,1]$ or $ [1, \infty)$. A positive function $f$ on $J$ with $f(1) =1$ is reffered to as a Weierstrass function if it fulfils the double inequality for $x,y \in J$: $$f(x) + f(y) -1 \leq f(xy) \leq f(x)f(y). $$ By means of such functions we can extend the classical Weierstrass inequality (the above inequality for $f(x) = x$) to some trigonometric, Euler gamma, and log functions. Utilizing the Weierstrass property of $f(x) = \frac{\ln (1+x)}{\ln2}$, we obtain a new multiplicative inequality which, in turn, generalizes the classical Weierstrass inequality.
- [84] arXiv:2512.04651 [pdf, ps, other]
-
Title: The $Λ$-Set and Its Role in Local Controllability and Necessary Conditions for Free-Time Optimal ControlAuthors: Mohammad H.M. RashidSubjects: Optimization and Control (math.OC)
This paper establishes a unified framework connecting local controllability, necessary conditions for optimality, and attainability in free-time optimal control problems. The central object of our investigation is the $\Lambda$-set, which governs the relationship between original control systems and their convexifications. Our main results demonstrate that emptiness of the $\Lambda$-set implies local controllability and guarantees the existence of minimizing sequences achieving the target in reduced time. We derive strengthened necessary conditions for time-optimal control and provide explicit constructive procedures for approximating generalized controls by ordinary trajectories. These results resolve longstanding questions about relaxation phenomena while extending classical theory to address modern challenges in non-convex optimization, establishing foundations for higher-order analysis in free-time problems.
- [85] arXiv:2512.04654 [pdf, ps, other]
-
Title: On the weak solutions to the navier-Stokes equations: a possible gap related to the energy equalityAuthors: Paolo MaremontiSubjects: Mathematical Physics (math-ph)
It is well known that a Leray-Hopf weak solution enjoys an energy inequality. Here, we investigate the energy equality related to a suitable weak solution to the Navier-Stokes initial boundary value problem. The term suitable is meant in the sense that for our goals we achieve a weak solution whose existence is based as limit of solutions to the mollified Navier-Stokes system. In the case of a weak regularity of the solution, our results justify the possible gap for the energy equality in terms of "kinetic energy". However, if there is a sufficient regularity, e.g., like the continuity of the L2-norm of the weak solution, then the energy equality holds.
- [86] arXiv:2512.04655 [pdf, ps, other]
-
Title: In Memory of Sergey K. Godunov -- Personal RecollectionsAuthors: Tommaso RuggeriComments: 3 pages, 2 figures. This note will appear in a book in Russian, currently being prepared by Godunov's daughterSubjects: History and Overview (math.HO); Mathematical Physics (math-ph)
In this brief note, there is a short recollection of my scientific interactions with the great Russian mathematician Sergey Konstantinovich Godunov.
- [87] arXiv:2512.04657 [pdf, other]
-
Title: Measure of maximal entropy for H-flows on non-compact manifoldsSubjects: Dynamical Systems (math.DS)
In this work, we introduce a natural class of chaotic flows on non-compact manifolds, called H-flows, which includes geodesic flows on non-compact manifolds with pinched negative curvature. We show that, under the additional assumption, called strong positive recurrence, that their entropy at infinity is strictly smaller than the topological entropy, such flows admit an invariant probability measure maximizing entropy. In particular, we compare several notions of entropy in a non-compact setting.
- [88] arXiv:2512.04667 [pdf, ps, other]
-
Title: Random walks on rank one symmetric spaces of noncompact typeSubjects: Probability (math.PR); Differential Geometry (math.DG)
We establish a central limit theorem, a local limit theorem, and a law of large numbers for a natural random walk on a symmetric space $M$ of non-compact type and rank one. This class of spaces, which includes the complex and quaternionic hyperbolic spaces and the Cayley hyperbolic plane, generalizes the real hyperbolic space $\mathbb{H}^{n}$. Our approach introduces a unified algebraic framework that generalizes the M\"obius addition, previously used for the constant curvature case, to define the random walk via a non-Euclidean summation of variables. We demonstrate that the renormalized walk converges to the heat kernel associated with the Laplace-Beltrami operator on $M$, which plays the role of the limiting normal law. The proofs leverage the harmonic analysis of spherical functions on symmetric spaces. To the best of our knowledge, these results are new in the context of rank one symmetric spaces.
- [89] arXiv:2512.04670 [pdf, ps, other]
-
Title: Infinity of solutions to initial-boundary value problems for linear constant-coefficient evolution PDEs on semi-infinite intervalsSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Complex Variables (math.CV)
In this short communication, we announce an algorithmic procedure for constructing non-uniqueness counter-examples of classical solutions to initial-boundary-value problems for a wide class of linear evolution partial differential equations, of any order and with constant coefficients, formulated in a quarter-plane. Our approach relies on analysis of regularity and asymptotic properties, near the boundary of the spatio-temporal domain, of closed-form integral-representation formulae derived via complex-analytic techniques and rigorous implementation of the modern PDE technique known as Fokas unified transform method. In order to elucidate the novel idea and demonstrate the proposed technique in a self-contained fashion, we explicitly present its application to two concrete examples, namely the heat equation and the linear KdV equation with Dirichlet data. New uniqueness theorems for these two models are also presented herein.
- [90] arXiv:2512.04679 [pdf, ps, other]
-
Title: Timely Information for Strategic PersuasionSubjects: Information Theory (cs.IT); Computer Science and Game Theory (cs.GT); Networking and Internet Architecture (cs.NI); Signal Processing (eess.SP); Systems and Control (eess.SY)
This work investigates a dynamic variant of Bayesian persuasion, in which a strategic sender seeks to influence a receiver's belief over time through controlling the timing of the information disclosure, under resource constraints. We consider a binary information source (i.e., taking values 0 or 1), where the source's state evolve according to a continuous-time Markov chain (CTMC). In this setting, the receiver aims to estimate the source's state as accurately as possible. In contrast, the sender seeks to persuade the receiver to estimate the state to be 1, regardless of whether this estimate reflects the true state. This misalignment between their objectives naturally leads to a Stackelberg game formulation where the sender, acting as the leader, chooses an information-revelation policy, and the receiver, as the follower, decides whether to follow the sender's messages. As a result, the sender's objective is to maximize the long-term average time that the receiver's estimate equals 1, subject to a total sampling constraint and a constraint for the receiver to follow the sender's messages called incentive compatibility (IC) constraint. We first consider the single-source problem and show that the sender's optimal policy is to allocate a minimal sampling rate to the undesired state 0 (just enough to satisfy the IC constraint) and assign the remaining sampling rate to the desired state 1. Next, we extend the analysis to the multi-source case, where each source has a different minimal sampling rate. Our results show that the sender can leverage the timeliness of the revealed information to influence the receiver, thereby achieving a higher utility.
- [91] arXiv:2512.04684 [pdf, ps, other]
-
Title: Limit cones of multi-Fuchsian representationsComments: 24 pages, 8 figuresSubjects: Geometric Topology (math.GT)
We study the set of normalized multi-lengths for representations of closed surface groups and free groups into $(\mathrm{PSL}_2\mathbf{R})^d$ whose projections to $\mathrm{PSL}_2\mathbf{R}$ are all convex cocompact. These multi-lengths define a convex cone in $\mathbf{R}^d_{\geq 0}$, called the limit cone. When $d=3$, we show the coexistence of different regimes: for some representations the limit cone has only a finite number of sides, which we can force to grow like the genus (or free rank); for other representations, extremal rays are dense in the boundary of the limit cone.
- [92] arXiv:2512.04685 [pdf, ps, other]
-
Title: Flexibility and degeneracy around a theorem of ThurstonAuthors: Alexander NolteComments: 45 pages, 4 figures. Comments welcome!Subjects: Geometric Topology (math.GT); Differential Geometry (math.DG)
We give two flexible and degenerate constructions related to a theorem of Thurston. First, we produce geodesic segments for Thurston's asymmetric metric on Teichm\"uller space $\mathcal{T}(S_g)$ that remain geodesics after adding arbitrary $\varepsilon$-Lipschitz noise to all but one Fenchel-Nielsen coordinate. Then, for all $2 < n \leq 3g-3$ we construct open sets in $\mathcal{T}(S_g)^n$ for which the limit cones of the corresponding representations in $\mathrm{PSL}_2(\mathbb{R})^n$ are cones over explicit finite-sided polyhedra. Each construction is as degenerate as possible and has applications to the basic structure and local non-rigidity of the involved objects.
- [93] arXiv:2512.04697 [pdf, ps, other]
-
Title: Continuous-time reinforcement learning for optimal switching over multiple regimesComments: Keywords: Optimal regime switching, multiple regimes, continuous-time reinforcement learning, system of HJB equations, policy improvement, policy iteration convergenceSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Computational Finance (q-fin.CP)
This paper studies the continuous-time reinforcement learning (RL) for optimal switching problems across multiple regimes. We consider a type of exploratory formulation under entropy regularization where the agent randomizes both the timing of switches and the selection of regimes through the generator matrix of an associated continuous-time finite-state Markov chain. We establish the well-posedness of the associated system of Hamilton-Jacobi-Bellman (HJB) equations and provide a characterization of the optimal policy. The policy improvement and the convergence of the policy iterations are rigorously established by analyzing the system of equations. We also show the convergence of the value function in the exploratory formulation towards the value function in the classical formulation as the temperature parameter vanishes. Finally, a reinforcement learning algorithm is devised and implemented by invoking the policy evaluation based on the martingale characterization. Our numerical examples with the aid of neural networks illustrate the effectiveness of the proposed RL algorithm.
- [94] arXiv:2512.04704 [pdf, ps, other]
-
Title: Coordinated Mean-Field Control for Systemic RiskAuthors: Toshiaki YamanakaSubjects: Optimization and Control (math.OC); Mathematical Finance (q-fin.MF)
We develop a robust linear-quadratic mean-field control framework for systemic risk under model uncertainty, in which a central bank jointly optimizes interest rate policy and supervisory monitoring intensity against adversarial distortions. Our model features multiple policy instruments with interactive dynamics, implemented via a variance weight that depends on the policy rate, generating coupling effects absent in single-instrument models. We establish viscosity solutions for the associated HJB--Isaacs equation, prove uniqueness via comparison principles, and provide verification theorems. The linear-quadratic structure yields explicit feedback controls derived from a coupled Riccati system, preserving analytical tractability despite adversarial uncertainty. Simulations reveal distinct loss-of-control regimes driven by robustness-breakdown and control saturation, alongside a pronounced asymmetry in sensitivity between the mean and variance channels. These findings demonstrate the importance of instrument complementarity in systemic risk modeling and control.
- [95] arXiv:2512.04707 [pdf, ps, other]
-
Title: Octonionic Para-linear Self-Adjoint Operators and Spectral DecompositionSubjects: Functional Analysis (math.FA); Complex Variables (math.CV)
This paper presents a groundbreaking advancement in the theory of operators defined on octonionic Hilbert spaces, successfully resolving a fundamental challenge that has persisted for over six decades. Due to the intrinsic non-associative nature of octonions, conventional linear operator theory encounters profound structural difficulties. We make use of an original conceptual framework termed para-linearity, an innovative generalization of linearity that naturally accommodates the octonionic algebraic structure. Within this newly established paradigm, we systematically develop an appropriate algebraic setting by defining a carefully designed operator algebra and an adjoint operation which, together, recapture essential analytic properties previously inaccessible in this context. We identify a geometric structure, the slice cone, as the fundamental object encoding spectral properties typically derived through sesquilinear forms. We obtain a rigorous characterization of self-adjointness which indicates how to introduce a new notion of strong eigenvalues. For every compact, para-linear, self-adjoint operator with strong eigenvalues, we can establish the spectral decomposition theorem and functional calculi.
- [96] arXiv:2512.04713 [pdf, ps, other]
-
Title: On a fuzzy Landau Equation: Part III. The grazing collision limitSubjects: Analysis of PDEs (math.AP)
In this paper, we study the grazing limit from the non-cutoff fuzzy Boltzmann equations to the fuzzy Landau equation, where particles interact through delocalised collisions. We show the grazing limit through variational formulations that correspond to the GENERIC (General Equations for Non-Equilibrium Reversible-Irreversible Coupling) structure of the respective equations. We show that the variational formulation associated with a non-quadratic dual dissipation pair for the fuzzy Boltzmann equations converges to a variational formulation of the fuzzy Landau equation corresponding to a quadratic dissipation pair.
- [97] arXiv:2512.04721 [pdf, ps, other]
-
Title: Optimal cost for the null controllability of the Stokes system with controls having $n-1$ components and applicationsComments: 25 pages. Comments are welcomeSubjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
In this work, we investigate the optimal cost of null controllability for the $n$-dimensional Stokes system when the control acts on $n-1$ scalar components. We establish a novel spectral estimate for low frequencies of the Stokes operator, involving solely $n-1$ components, and use it to show that the cost of controllability with controls having $n-1$ components remains of the same order in time as in the case of controls with $n$ components, namely $O(e^{C/T})$, i.e. the cost of null controllability is not affected by the absence of one component of the control. We also give several applications of our results.
- [98] arXiv:2512.04726 [pdf, ps, other]
-
Title: A quantitative Hohenberg-Kohn theorem and the unexpected regularity of density functional theory in one spatial dimensionSubjects: Mathematical Physics (math-ph); Chemical Physics (physics.chem-ph); Quantum Physics (quant-ph)
In this paper we investigate the (Kohn-Sham) density-to-potential map in the case of spinless fermions in one spatial dimension, whose existence has been rigorously established by the first author in [arXiv:2504.05501 (2025)]. Here, we focus on the regularity of this map as a function of the density and the coupling constant in front of the interaction term. More precisely, we first prove a quantitative version of the Hohenberg-Kohn theorem, thereby showing that this map is Lipschitz continuous with respect to the natural Sobolev norms in the space of densities and potentials. In particular, this implies that the inverse (Kohn-Sham) problem is not only well-posed but also Lipschitz stable. Using this result, we then show that the density-to-potential map is in fact real analytic with respect to both the density and the interaction strength. As a consequence, we obtain a holomorphic extension of the universal constrained-search functional to a suitable subset of complex-valued densities. This partially extends the DFT framework to non-self-adjoint Schr\"odinger operators. As further applications of these results, we also establish the existence of an exchange-only part of the exchange-correlation potential, and justify the G\"orling-Levy perturbation expansion for the correlation energy.
- [99] arXiv:2512.04729 [pdf, ps, other]
-
Title: Weighted total variation regularization for inverse problems with significant null spacesSubjects: Numerical Analysis (math.NA)
We consider inverse problems with large null spaces, which arise in important applications such as in inverse ECG and EEG procedures. Standard regularization methods typically produce solutions in or near the orthogonal complement of the forward operator's null space. This often leads to inadequate results, where internal sources are mistakenly interpreted as being near the data acquisition sites -- e.g., near or at the body surface in connection with EEG and ECG recordings.
To mitigate this, we previously proposed weighting schemes for Tikhonov and sparsity regularization. Here, we extend this approach to total variation (TV) regularization, which is particularly suited for identifying spatially extended regions with approximately constant values. We introduce a weighted TV-regularization method, provide supporting analysis, and demonstrate its performance through numerical experiments. Unlike standard TV regularization, the weighted version successfully recovers the location and size of large, piecewise constant sources away from the boundary, though not their exact shape.
Additionally, we explore a hybrid weighted-sparsity and TV regularization approach, which better captures both small and large sources, albeit with somewhat more blurred reconstructions than the weighted TV method alone. - [100] arXiv:2512.04732 [pdf, ps, other]
-
Title: Potential Automorphy of K3 Surfaces with Large Picard RankAuthors: Chao GuSubjects: Number Theory (math.NT)
The first part of this paper studied $\mathrm{GSp}_4$-type abelian varieties and the corresponding compatible systems of $\mathrm{GSp}_4$ representations. Techniques in \cite{BCGP} are applied to show that one can prove the potential modularity of these abelian varieties and compatible systems under some conditions that guarantee a sufficient amount of good primes. Then, in the second part, we use the potential modularity theorems to prove that K3 surfaces over totally real field $F$ with Picard rank $\ge 17$ are potentially modular.
- [101] arXiv:2512.04737 [pdf, ps, other]
-
Title: Recent advances in the numerical solution of multi-order fractional differential equationsComments: 35 pages, 8 figures, 4 tablesSubjects: Numerical Analysis (math.NA)
The efficient numerical solution of fractional differential equations has been recently tackled through the definition of Fractional HBVMs (FHBVMs), a class of Runge-Kutta type methods. Corresponding Matlab (c) codes have been also made available on the internet, proving to be very competitive w.r.t. existing ones. However, so far, FHBVMs have been given for solving systems of fractional differential equations with the same order of fractional derivative, whereas the numerical solution of multi-order problems (i.e., problems in which different orders of fractional derivatives occur) has not been handled, yet. Due to their relevance in applications, in this paper we propose an extension of FHBVMs for addressing fractional multi-order problems, providing full details for such an approach. A corresponding Matlab (c) code, handling the case of two different fractional orders, is also made available, proving very effective for numerically solving these problems.
- [102] arXiv:2512.04740 [pdf, ps, other]
-
Title: Eigenvalue Estimate for the Rough Laplacian on $1$-Forms and its ApplicationsComments: 23 pagesSubjects: Differential Geometry (math.DG)
In this article, we establish a geometric lower bound for the first positive eigenvalue $\lambda^{(1)}_{1}$ of the rough Laplacian acting on $1$-forms for closed $2n$-dimensional Riemannian manifolds with nonvanishing Euler characteristic. In contrast to the case of functions, such a Li-Yau-type estimate does not hold in general, as evidenced by existing counterexamples. Under assumptions including a lower bound on Ricci curvature, an upper bound on diameter, and an $L^{2p}$-norm bound on the Riemann curvature tensor, we prove that $\lambda^{(1)}_{1}$ is bounded below by a positive constant depending on these parameters. As applications, we derive vanishing results for the Euler characteristic under certain Ricci curvature bounds and the presence of a nonzero Killing vector field, extending classical Bochner-type theorems.
- [103] arXiv:2512.04742 [pdf, ps, other]
-
Title: Rotatable Antenna-Enhanced Cell-Free CommunicationSubjects: Information Theory (cs.IT)
Rotatable antenna (RA) is a promising technology that can exploit new spatial degrees-of-freedom (DoFs) by flexibly adjusting the three-dimensional (3D) boresight direction of antennas. In this letter, we investigate an RA-enhanced cell-free system for downlink transmission, where multiple RA-equipped access points (APs) cooperatively serve multiple single-antenna users over the same time-frequency resource. Specifically, we aim to maximize the sum rate of all users by jointly optimizing the AP-user associations and the RA boresight directions. Accordingly, we propose a two-stage strategy to solve the AP-user association problem, and then employ fractional programming (FP) and successive convex approximation (SCA) techniques to optimize the RA boresight directions. Numerical results demonstrate that the proposed RA-enhanced cell-free system significantly outperforms various benchmark schemes.
- [104] arXiv:2512.04745 [pdf, ps, other]
-
Title: Neural Policy Composition from Free Energy MinimizationSubjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Systems and Control (eess.SY); Adaptation and Self-Organizing Systems (nlin.AO)
The ability to compose acquired skills to plan and execute behaviors is a hallmark of natural intelligence. Yet, despite remarkable cross-disciplinary efforts, a principled account of how task structure shapes gating and how such computations could be delivered in neural circuits, remains elusive. Here we introduce GateMod, an interpretable theoretically grounded computational model linking the emergence of gating to the underlying decision-making task, and to a neural circuit architecture. We first develop GateFrame, a normative framework casting policy gating into the minimization of the free energy. This framework, relating gating rules to task, applies broadly across neuroscience, cognitive and computational sciences. We then derive GateFlow, a continuous-time energy based dynamics that provably converges to GateFrame optimal solution. Convergence, exponential and global, follows from a contractivity property that also yields robustness and other desirable properties. Finally, we derive a neural circuit from GateFlow, GateNet. This is a soft-competitive recurrent circuit whose components perform local and contextual computations consistent with known dendritic and neural processing motifs. We evaluate GateMod across two different settings: collective behaviors in multi-agent systems and human decision-making in multi-armed bandits. In all settings, GateMod provides interpretable mechanistic explanations of gating and quantitatively matches or outperforms established models. GateMod offers a unifying framework for neural policy gating, linking task objectives, dynamical computation, and circuit-level mechanisms. It provides a framework to understand gating in natural agents beyond current explanations and to equip machines with this ability.
- [105] arXiv:2512.04750 [pdf, ps, other]
-
Title: Robust Precoding Designs of RSMA for Multiuser MIMO SystemsComments: This work has been accepted for publication in IEEE Transactions on Wireless CommunicationsSubjects: Information Theory (cs.IT)
Rate-splitting multiple access (RSMA) has been studied for multiuser multiple-input multiple-output (MUMIMO) systems especially in the presence of imperfect channel state information (CSI) at the transmitter. However, its precoding designs that maximize the sum rate normally have high computational complexity. To implement an efficient RSMA scheme for the MU-MIMO system, in this work, we propose a novel robust precoding design, which can handle imperfect CSI. Specifically, we first adopt the generalized mutual information to construct a lower bound of the objective function in the sum rate maximization problem. Then, we apply a smooth lower bound of the non-smooth sum rate objective function to construct a new optimization problem. By revealing the relationship between the generalized signal-to-interference-plus-noise ratio and the minimum mean square error matrices, we transform the constructed problem into a tractable one. After decomposing the transformed problem into three subproblems, we investigate a new alternating precoding design based on sequential solutions. Simulation results demonstrate that the proposed precoding scheme achieves comparable performance to conventional methods, while significantly reducing the computational complexity.
- [106] arXiv:2512.04757 [pdf, ps, other]
-
Title: Characterization of the continuity properties of maximal operators associated to critical radius functions via Dini type conditionsComments: 20 pagesSubjects: Classical Analysis and ODEs (math.CA)
We give a characterization of the continuity properties of a Luxemburg maximal type operator associated to a critical radius function $\rho$ between Orlicz spaces. This goal is achieved by means of a Dini type condition that includes certain Young functions related to the maximal operator and the spaces involved. Our results provide not only weak Fefferman-Stein type inequalities but also a weak weighted estimate of modular type for the considered operators, which is interesting in its own right. On the other hand, we prove the boundedness of the Hardy-Littlewood maximal function associated to $\rho$ between Zygmund spaces of $L\,\log\,L$ type with $A_p$ weights.
- [107] arXiv:2512.04762 [pdf, ps, other]
-
Title: Maehara Interpolation in Extensions of R-mingleSubjects: Logic (math.LO); Logic in Computer Science (cs.LO)
We show that there are exactly five quasivarieties of Sugihara algebras with the amalgamation property, and that all of these have the relative congruence extension property. As a consequence, we obtain that the amalgamation property and transferable injections property coincide for arbitrary quasivarieties of Sugihara algebras. These results provide a complete description of arbitrary (not merely axiomatic) extensions of the logic R-mingle that have the Maehara interpolation property, and further demonstrates that the Robinson property and Maehara interpolation property coincide for arbitrary extensions of R-mingle. Further, we show that the question of whether a given finitely based extension of R-mingle has the Maehara interpolation property is decidable.
- [108] arXiv:2512.04766 [pdf, ps, other]
-
Title: Characterization of Erdös matrices by their zero entriesSubjects: Combinatorics (math.CO); Metric Geometry (math.MG)
An Erd\"os matrix $E$ is a bistochastic matrix whose sum of squares of entries (Frobenius norm squared) equals its maxtrace (maximum of all the $\sigma$-traces for permutations $\sigma$'s). We characterize all Erd\"os $E$ by the patterns of their zero entries; showing that each such skeleton has at most one $E$. We present an algorithm to find all $n\times n$ Erd\"os matrices, which finds them up to $n\leqslant 5$ quickly and also size $n=6$. We further show some presently known RCDS matrices to be Erd\"os.
- [109] arXiv:2512.04768 [pdf, ps, other]
-
Title: Bohr-Rogosinski Inequalities for bounded analytic functionsComments: 16 pages, 0 figuresSubjects: Complex Variables (math.CV)
In this article, we analyze refined and improved versions of the classical Bohr inequality for the function class $\mathcal{B}$, which consists of analytic self- mappings defined on the unit disk $\mathbb{D}$. We improve the Bohr-Rogosinski inequality for the class $\mathcal{B}$ of analytic self-maps by incorporating the area measure of sub-disks $\mathbb{D}_r$ in $\mathbb{D}$.
- [110] arXiv:2512.04769 [pdf, ps, other]
-
Title: Graded algebras with homogeneous involution and varieties of almost polynomial growthSubjects: Rings and Algebras (math.RA)
An important aspect in the theory of algebras with polynomial identities is the study of the asymptotic behavior of the codimension sequence $c_n(A),\, n\geq 1,$ which measures the growth of polynomial identities of a given algebra $A$. In this context, graded identities naturally arise as prominent tools, since ordinary polynomial identities can be viewed as a particular case of graded identities. Moreover, as an involution does not necessarily preserve the homogeneous components of a grading, it is natural to consider the notion of a homogeneous involution. In this work, we investigate the behavior of the codimension sequence in the setting of $G$-graded algebras endowed with a homogeneous involution. More specifically, we characterize the varieties of polynomial growth in terms of the exclusion of a list of algebras from the variety. As a consequence, we provide the classification of the varieties with almost polynomial growth in this setting.
- [111] arXiv:2512.04775 [pdf, ps, other]
-
Title: Combinatorial proof of a result on generalized overcubic partitions and related conjecturesComments: 10 pagesSubjects: Number Theory (math.NT)
Extending Sellers' result, Das et al. recently proved some congruence results for generalized overcubic partitions using theta functions and posed some related conjectures. In this paper, we provide a combinatorial proof of a result in modulo $4$ of Das et al. and confirm some of their conjectures.
- [112] arXiv:2512.04777 [pdf, ps, other]
-
Title: Generalized Navier-Stokes equations, associated with the Dolbeault complexComments: 12 pagesJournal-ref: J Math Sci 293, 430-439 (2025)Subjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
We consider the Cauchy problem in the band $\mathbb{C}^{n}\times[0, T], n>1,T>0$, for a system of nonlinear differential equations structurally similar to the classical Navier-Stokes equations for an incompressible fluid. The main difference of this system is that it is generated not by the standard gradient operators $\nabla$, divergence div and rotor rot, but by the multidimensional Cauchy-Riemann operator $\overline{\partial}$ in $\mathbb{C}^{n}$, its formally adjoint operator $\overline{\partial}^{*}$ and the compatibility complex for $\overline{\partial}$, which is usually called the Dolbeault complex. The similarity of the structure makes it possible to prove for this problem the theorem of the existence of weak solutions and the open mapping theorem on the scale of specially constructed Bochner-Sobolev spaces. In addition, a criterion for the existence of a ``strong'' solution in these spaces is obtained.
- [113] arXiv:2512.04778 [pdf, ps, other]
-
Title: Adaptive Online Optimization for Microgrids with Renewable Energy SourcesSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
In this paper we propose a novel adaptive online optimization algorithm tailored to the management of microgrids with high renewable energy penetration, which can be formulated as a constrained, online optimization problem. The proposed algorithm is characterized by a control-based design that applies the internal model principle, and a system identification routine tasked with identifying such internal model. In addition, in order to ensure the constraints are verified, we integrate a projection onto the constraint set. We showcase promising numerical results for the microgrid use case, highlighting in particular the enhanced adaptability of the proposed algorithm to changes in the internal model. The performance of the proposed algorithm is shown to outperform state-of-the-art alternative in the long-term, ensuring efficient management of the grid.
- [114] arXiv:2512.04780 [pdf, ps, other]
-
Title: Tensorial Permanence of $K$-Stability for Diagonal AH-AlgebrasAuthors: Apurva SethSubjects: Operator Algebras (math.OA)
We study $K$-stability for tensor products of diagonal AH-algebras with arbitrary C*-algebras. Our main result provides a characterization of $K$-stability: for a diagonal AH-algebra $A = \varinjlim (A_i, \varphi_i)$, $A \otimes B$ is $K$-stable for every C*-algebra $B$ if and only if the sizes of the matrix blocks in the inductive system grow without bound. As applications, we show that non-$\mathcal{Z}$-stable Villadsen algebras of the first kind are $K$-stable when tensored with any C*-algebra. Moreover, any simple, unital, infinite-dimensional diagonal AH-algebra automatically satisfies this growth condition, and therefore its tensor product with arbitrary C*-algebras is always $K$-stable.
- [115] arXiv:2512.04782 [pdf, ps, other]
-
Title: Homogenized limits of Stokes flow and advective transport in thin perforated domainsSubjects: Analysis of PDEs (math.AP)
We deal with the rigorous homogenization and dimension reduction of flow and transport problems posed in thin $\varepsilon$-periodic perforated layers with thickness of order $\varepsilon^{\alpha}$ with $\alpha \in (0,1)$ and therefore the thickness of the layer is large compared its porosity. The aim is the derivation of effective models for $\varepsilon\to 0 $, when the thickness of the layer tends to zero. For the flow problem we consider incompressible Stokes equations with a pressure boundary condition on the top/bottom of the layer, and the transport problem is given by reaction-diffusion-advection problem with advective flow governed from the fluid velocity from the Stokes model and different scalings for the diffusion coefficient modelling low and fast diffusion in the horizontal direction. In the limit, a Darcy-type law is obtained for the Stokes flow with Darcy-velocity depending only on the derivative of the Darcy-pressure in the vertical direction. The effective equation for the transport problem is again of diffusion-advection-type including homogenized coefficients, and with advective flow given by the Darcy-velocity and only taking place in the vertical direction. In the case of slow diffusion in the vertical direction, effective diffusion only takes place in the vertical direction, where in the case of high diffusion in horizontal direction, we obtain effective diffusion in all space directions. To pass to the limit we use the method of two-scale convergence adapted to our microscopic geometry, which is based on uniform a priori estimates. Critical parts in the derivation of the macro-models are the control of the fluid pressure, for which we construct a Bogovskii-operator for thin perforated domains, as well as the strong two-scale convergence for the microscopic solution of the transport equation, necessary to pass to the limit in the advective term.
- [116] arXiv:2512.04789 [pdf, ps, other]
-
Title: Detect duality obstruction of calibrations in smooth categoryAuthors: Yongsheng ZhangComments: 19 pages, 5 figuresSubjects: Differential Geometry (math.DG)
This paper consists of three parts: a. exhibit a new gluing result which can dramatically simplify extensions of calibration pairs; b. observe that every Lawlor cone can support coflat calibrations singular only at the origin; c. show that there exist many Lawlor cones which cannot support any smooth calibrations. As an application, we extend our previous work on detecting duality obstruction of calibrations in the smooth category.
- [117] arXiv:2512.04795 [pdf, ps, other]
-
Title: Unavoidable patterns and plane paths in dense topological graphsSubjects: Combinatorics (math.CO); Computational Geometry (cs.CG)
Let $C_{s,t}$ be the complete bipartite geometric graph, with $s$ and $t$ vertices on two distinct parallel lines respectively, and all $s t$ straight-line edges drawn between them. In this paper, we show that every complete bipartite simple topological graph, with parts of size $2(k-1)^4 + 1$ and $2^{k^{5k}}$, contains a topological subgraph weakly isomorphic to $C_{k,k}$. As a corollary, every $n$-vertex simple topological graph not containing a plane path of length $k$ has at most $O_k(n^{2 - 8/k^4})$ edges. When $k = 3$, we obtain a stronger bound by showing that every $n$-vertex simple topological graph not containing a plane path of length 3 has at most $O(n^{4/3})$ edges. We also prove that $x$-monotone simple topological graphs not containing a plane path of length 3 have at most a linear number of edges.
- [118] arXiv:2512.04796 [pdf, ps, other]
-
Title: The initial-to-final-state inverse problem with unbounded potentials and Strichartz estimatesComments: 52 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA)
The initial-to-final-state inverse problem consists in determining a quantum Hamiltonian assuming the knowledge of the state of the system at some fixed time, for every initial state. We formulated this problem to establish a theoretical framework that would explain the viability of data-driven prediction in quantum mechanics. In a previous work, we analysed this inverse problem for Hamiltonians of the form $-\Delta + V$ with an electric potential $V = V({\rm t}, {\rm x})$, and we showed that uniqueness holds whenever the potentials are bounded and decay super-exponentially at infinity. In this paper, we extend this result for unbounded potentials. One of the key steps consists in proving a family of suitable Strichartz estimates -- including the corresponding endpoint of Keel and Tao.
In the context of the inverse Calder\'on problem this family of inequalities corresponds to the Carleman inequality proved by Kenig, Ruiz and Sogge. Haberman showed that this inequality can be also retrieved as an embedding of a suitable Bourgain space. The corresponding Bourgain space in our context do not capture the mixed-norm Lebesgue spaces of Strichartz inequalities. In this paper, we give a counterexample that justifies this fact, and shows the limitations of Bourgain spaces to address the initial-to-final-state inverse problem. - [119] arXiv:2512.04800 [pdf, ps, other]
-
Title: Time-periodic solutions to an energy balance model coupled with an active fluid under arbitrary large forcesComments: This paper has been accepted for publication in Nonlinear Analysis: Real World ApplicationsSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
This article concerns time-periodic solutions to a two-dimensional Sellers-type energy balance model coupled to the three-dimensional primitive equations via a dynamic boundary condition. It is shown that the underlying equations admit at least one strong time-periodic solution, provided the forcing term is time-periodic. The forcing term does not need to satisfy a smallness condition and is allowed to be arbitrarily large.
- [120] arXiv:2512.04807 [pdf, ps, other]
-
Title: Existence and uniqueness of the canonical Brownian motion in non-simple conformal loop ensemble gasketsSubjects: Probability (math.PR); Mathematical Physics (math-ph); Complex Variables (math.CV)
We construct the canonical Brownian motion on the gasket of conformal loop ensembles (CLE$_\kappa$) for $\kappa \in (4,8)$ (which is the range of parameter values in which loops of the CLE$_\kappa$ can intersect themselves, each other, and the domain boundary). More precisely, we show that there is a unique diffusion process on the CLE$_\kappa$ gasket whose law depends locally on the CLE$_\kappa$ and satisfies certain natural properties such as translation-invariance and scale-invariance (modulo time change). We characterize the diffusion process by its resistance form and show in particular that there is a unique resistance form on the CLE$_\kappa$ gasket that is locally determined by the CLE$_\kappa$ and satisfies certain natural properties such as translation-invariance and scale-covariance. We conjecture that the CLE$_\kappa$ Brownian motion describes the scaling limit of simple random walk on statistical mechanics models in two dimensions that converge to CLE$_\kappa$. In future work the results of this paper will be used to show that this is the case with $\kappa=6$ for critical percolation on the triangular lattice.
- [121] arXiv:2512.04809 [pdf, ps, other]
-
Title: Nonlinear Harmonic BundlesAuthors: Mao ShengComments: 23 pagesSubjects: Algebraic Geometry (math.AG)
We generalize the notion of harmonic bundles in nonabelian Hodge theory to the nonlinear setting.
- [122] arXiv:2512.04812 [pdf, ps, other]
-
Title: Construction of the Nearest Nonnegative Hankel Matrix for a Prescribed EigenpairSubjects: Numerical Analysis (math.NA)
We study the problem of determining whether a prescribed eigenpair $(\lambda,x)$
can be made an exact eigenpair of a nonnegative Hankel matrix through the smallest
possible structured perturbation. The task reduces to check the feasibility of a
set of linear constraints that encode both the Hankel structure and entrywise
nonnegativity. When the feasibility set is nonempty, we compute the minimum-norm
perturbation $\Delta H$ such that $(H+\Delta H)x=\lambda x$. When no such perturbation
exists, we compute the nearest nonnegative Hankel matrix in a residual sense by
minimizing $\|(H+\Delta H)x-\lambda x\|_{2}$ subject to the imposed constraints.
Because closed-form formulas for the structured backward error are generally
unavailable, our method provides a fully numerical and optimization-based
framework for evaluating eigenpair sensitivity under nonnegativity-preserving
Hankel perturbations. Numerical examples illustrate both feasible and infeasible cases. - [123] arXiv:2512.04818 [pdf, ps, other]
-
Title: Torsion and complete dualizable objects in tensor-triangulated categories over a Noetherian ringComments: 47 pagesSubjects: Category Theory (math.CT); Commutative Algebra (math.AC); Representation Theory (math.RT)
We study categories of dualizable torsion and complete objects for compactly-rigidly generated tensor-triangulated categories T with a Noetherian central action of a graded commutative Noetherian ring R. We show that they always admit a natural Noetherian action of the completed graded ring R^ and that the categories of dualizable torsion and complete objects can be abstractly reconstructed as tensor-triangulated R^-linear categories from the category of compact torsions objects with the corresponding structure. If the category of compact objects of T in addition admits a strong generator g, we show that the torsion coreflection (resp. complete reflection) of g is a strong generator for the category of dualizable torsion (resp. dualizable complete) objects. In that case, we also show that the categories of dualizable torsion and compact torsion objects determine each other in terms of Brown-type representability theorems.
- [124] arXiv:2512.04824 [pdf, ps, other]
-
Title: Hierarchical matrix approximability of inverse of convection dominated finite element matricesComments: 32 pages, 22 figures. Submited to the Journal of Computational PhysicsSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
Several researchers have developed a rich toolbox of matrix compression techniques that exploit structure and redundancy in large matrices. Classical methods such as the block low-rank format and the Fast Multipole Method make it possible to manipulate very large systems by representing them in a reduced form. Among the most sophisticated tools in this area are hierarchical matrices (H-matrices), which exploit local properties of the underlying kernel or operator to approximate matrix blocks by low-rank factors, organized in a recursive hierarchy. H-matrices offer a flexible and scalable framework, yielding nearly linear complexity in both storage and computation. Hierarchical matrix techniques, originally developed for boundary integral equations, have recently been applied to matrices stemming from the discretization of advection-dominated problems. However, their effectiveness is limited by the loss of coercivity induced by convection phenomena, where traditional methods fail. Initial work by Le Borne addressed this by modifying the admissibility criterion for structured grids with constant convection, but challenges remain for more general grids and advection fields. In this work, we propose a novel partitioning strategy based on "convection tubes", clusters aligned with the convection vector field. This method does not require a structured grid or constant convection, overcoming the limitations of previous approaches. We present both theoretical analyses and numerical experiments, that demonstrate the efficiency and robustness of our method for convection-dominated PDEs on unstructured grids. The approach builds on a P\'eclet-robust Caccioppoli inequality, crucial for handling convection-dominated problems.
- [125] arXiv:2512.04826 [pdf, ps, other]
-
Title: Spectral Theory of Krein-Feller Type Operators and Applications in Stochastic Fractional Elliptic and Parabolic EquationsSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA); Probability (math.PR); Spectral Theory (math.SP)
It has been shown that the space $C^{\infty}_{W,V}(\mathbb{T})$, introduced in Simas and Sousa (Potential Analysis, 2025), is the natural regularity space for solutions of the eigenvalue problem $\Delta_{W,V} u = \lambda u$ on the torus $\mathbb{T}$, where $\Delta_{W,V} = \frac{d^{+}}{dV}\frac{d^{-}}{dW}$ is the Krein Feller operator in the case where $W$ and $V$ are strictly increasing and right continuous (respectively left continuous), possibly with dense sets of discontinuities. In this work we provide conditions ensuring that every function in $C^{\infty}_{W,V}(\mathbb{T})$, which may be highly discontinuous, admits a series expansion that generalizes the classical Taylor expansion. A central feature of our approach is that all proofs are nonstandard, since classical analytical and spectral arguments cannot be adapted to this singular setting. Using these methods we characterize the eigenvectors of $\Delta_{W,V}$ in terms of generalized trigonometric functions and obtain an asymptotic lower bound for the associated eigenvalues. We also derive a sharp upper bound for the convergence exponent of these eigenvalues, and as a consequence we prove that $C^{\infty}_{W,V}(\mathbb{T})$ is a nuclear space. Further consequences include results on the asymptotic behavior of eigenvalues of compact operators and improvements in traceability. As a final application we establish existence results for generalized fractional stochastic and deterministic differential equations, as well as for parabolic stochastic partial differential equations acting on nuclear spaces.
- [126] arXiv:2512.04836 [pdf, ps, other]
-
Title: Distribution of deformed Laplacian limit pointsComments: 22 pagesSubjects: Combinatorics (math.CO)
This paper investigates limit points of the deformed Laplacian matrix, which merges the Laplacian and signless Laplacian matrices of a graph through a quadractic one-parameter family of matrices. First, we show that any value greater or equal to 1 is a deformed Laplacian limit point (for different values of the parameter $s$) using a simple family of trees. Second, we define $(T_k)_{k \in \mathbb{N}}$ the Shearer's sequence of caterpillars for $\lambda>1$ and we present a convergence criterion based on Shearer's approach. Our main result is that for any fixed value $\lambda_0>1$ there exists a unique value $0<s^* <\sqrt{\lambda_0} -1$ such that, and for any $s \in (0,s^*)$ the interval $[\lambda_0, \; +\infty)$ is entirely formed by $s$-deformed Laplacian limit points (for the same value of $s$). Finally, we provide some numerical data exploring the limit properties.
- [127] arXiv:2512.04845 [pdf, ps, other]
-
Title: A High-Order Discretization Scheme for Surface Integral Equations for Analyzing the Electroencephalography Forward ProblemComments: 9 pages, 7 figuresSubjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph); Biological Physics (physics.bio-ph)
A Nystrom-based high-order (HO) discretization scheme for surface integral equations (SIEs) for analyzing the electroencephalography (EEG) forward problem is proposed in this work. We use HO surface elements and interpolation functions for the discretization of the interfaces of the head volume and the unknowns on the elements, respectively. The advantage of this work over existing isoparametric HO discretization schemes resides in the fact that the interpolation points are different from the mesh nodes, allowing for the flexible manipulation of the order of the basis functions without regenerating the mesh of the interfaces. Moreover, the interpolation points are chosen from the quadrature rules with the same number of points on the elements simplifying the numerical computation of the surface integrals for the far-interaction case. In this contribution, we extend the implementation of the HO discretization scheme to the double-layer and the adjoint double-layer formulations, as well as to the isolated-skull-approach for the double-layer formulation and to the indirect adjoint double-layer formulation, employed to improve the solution accuracy in case of high conductivity contrast models, which requires the development of different techniques for the singularity treatment. Numerical experiments are presented to demonstrate the accuracy, flexibility, and efficiency of the proposed scheme for the four SIEs for analyzing the EEG forward problem.
- [128] arXiv:2512.04858 [pdf, ps, other]
-
Title: Exact 3-D Channel Impulse Response for Spherical Receivers with Arbitrary Drift DirectionsComments: 5 pages, 4 figures. Preprint prepared for journal submissionSubjects: Information Theory (cs.IT); Signal Processing (eess.SP); Probability (math.PR)
Accurate channel modeling for spherical absorbing receivers is fundamental to the design of realistic molecular multiple-input multiple-output (MIMO) systems. While advanced modulation schemes have been proposed to mitigate interference, determining the channel impulse response (CIR) under arbitrary flow directions remains a challenge; existing exact solutions are restricted to either 1-D/no-drift scenarios or planar receiver geometries. Addressing this gap, we derive the first exact analytical CIR for a spherical receiver in a 3-D molecular communication system with uniform drift in an arbitrary direction. Unlike prior approximations that ignore the angle between the drift and the transmission axis, our approach utilizes the Girsanov theorem to analytically transform the hitting-time distribution from a stationary medium to a drifted one. The proposed closed-form expression not only eliminates modeling errors inherent in previous approximations for off-axis receivers but also enables efficient parameter-space exploration of critical system metrics (e.g., peak time and amplitude), a task that would be computationally costly with pure simulation-based approaches.
- [129] arXiv:2512.04861 [pdf, ps, other]
-
Title: Concentration bounds for intrinsic dimension estimation using Gaussian kernelsAuthors: Martin AnderssonComments: 24 pages, 8 figuresSubjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
We prove finite-sample concentration and anti-concentration bounds for dimension estimation using Gaussian kernel sums. Our bounds provide explicit dependence on sample size, bandwidth, and local geometric and distributional parameters, characterizing precisely how regularity conditions govern statistical performance. We also propose a bandwidth selection heuristic using derivative information, which shows promise in numerical experiments.
- [130] arXiv:2512.04865 [pdf, ps, other]
-
Title: Series of quasi-uniform scatterings with fast search, root systems and neural network classificationsAuthors: Igor V. NetaySubjects: Algebraic Geometry (math.AG); Machine Learning (cs.LG); Representation Theory (math.RT)
In this paper we describe an approach to construct large extendable collections of vectors in predefined spaces of given dimensions. These collections are useful for neural network latent space configuration and training. For classification problem with large or unknown number of classes this allows to construct classifiers without classification layer and extend the number of classes without retraining of network from the very beginning. The construction allows to create large well-spaced vector collections in spaces of minimal possible dimension. If the number of classes is known or approximately predictable, one can choose sufficient enough vector collection size. If one needs to significantly extend the number of classes, one can extend the collection in the same latent space, or to incorporate the collection into collection of higher dimensions with same spacing between vectors. Also, regular symmetric structure of constructed vector collections can significantly simplify problems of search for nearest cluster centers or embeddings in the latent space. Construction of vector collections is based on combinatorics and geometry of semi-simple Lie groups irreducible representations with highest weight.
- [131] arXiv:2512.04874 [pdf, ps, other]
-
Title: Shorting Dynamics and Structured Kernel RegularizationAuthors: James TianSubjects: Functional Analysis (math.FA); Machine Learning (cs.LG)
This paper develops a nonlinear operator dynamic that progressively removes the influence of a prescribed feature subspace while retaining maximal structure elsewhere. The induced sequence of positive operators is monotone, admits an exact residual decomposition, and converges to the classical shorted operator. Transporting this dynamic to reproducing kernel Hilbert spaces yields a corresponding family of kernels that converges to the largest kernel dominated by the original one and annihilating the given subspace. In the finite-sample setting, the associated Gram operators inherit a structured residual decomposition that leads to a canonical form of kernel ridge regression and a principled way to enforce nuisance invariance. This gives a unified operator-analytic approach to invariant kernel construction and structured regularization in data analysis.
- [132] arXiv:2512.04882 [pdf, ps, other]
-
Title: On hyperbolic approximations for a class of dispersive and diffusive-dispersive equationsSubjects: Analysis of PDEs (math.AP)
We introduce novel approximate systems for dispersive and diffusive-dispersive equations with nonlinear fluxes. For purely dispersive equations, we construct a first-order, strictly hyperbolic approximation. Local well-posedness of smooth solutions is achieved by constructing a unique symmetrizer that applies to arbitrary smooth fluxes. Under stronger conditions on the fluxes, we provide a strictly convex entropy for the hyperbolic system that corresponds to the energy of the underlying dispersive equation. To approximate diffusive-dispersive equations, we rely on a viscoelastic damped system that is compatible with the found entropy for the hyperbolic approximation of the dispersive evolution. For the resulting hyperbolic-parabolic approximation, we provide a global well-posedness result. Using the relative entropy framework \cite{dafermos2005hyperbolic}, we prove that the solutions of the approximate systems converge to solutions of the original equations. The structure of the new approximate systems allows to apply standard numerical simulation methods from the field of hyperbolic balance laws. We confirm the convergence of our approximations even beyond the validity range of our theoretical findings on set of test cases covering different target equations. We show the applicability of the approach for strong nonlinear effects leading to oscillating or shock-layer-forming behavior.
- [133] arXiv:2512.04894 [pdf, ps, other]
-
Title: Data-driven Methods for Delay Differential EquationsSubjects: Numerical Analysis (math.NA)
Data-driven methodologies are nowadays ubiquitous. Their rapid development and spread have led to applications even beyond the traditional fields of science. As far as dynamical systems and differential equations are concerned, neural networks and sparse identification tools have emerged as powerful approaches to recover the governing equations from available temporal data series. In this chapter we first illustrate possible extensions of the sparse identification of nonlinear dynamics (SINDy) algorithm, originally developed for ordinary differential equations (ODEs), to delay differential equations (DDEs) with discrete, possibly multiple and unknown delays. Two methods are presented for SINDy, one directly tackles the underlying DDE and the other acts on the system of ODEs approximating the DDE through pseudospectral collocation. We also introduce another way of capturing the dynamics of DDEs using neural networks and trainable delays in continuous time, and present the training algorithms developed for these neural delay differential equations (NDDEs). The relevant MATLAB implementations for both the SINDy approach and for the NDDE approach are provided. These approaches are tested on several examples, including classical systems such as the delay logistic and the Mackey-Glass equation, and directly compared to each other on the delayed R\"ossler system. We provide insights on the connection between the approaches and future directions on developing data-driven methods for time delay systems.
- [134] arXiv:2512.04896 [pdf, ps, other]
-
Title: Existentially defining valuations in function fields over large fieldsAuthors: Nicolas DaansComments: preprint, 20 pagesSubjects: Number Theory (math.NT); Logic (math.LO)
Let $K$ be a large field such that $K[\sqrt{-1}]$ is not algebraically closed and $F/K$ a function field in one variable. Extending techniques and results from earlier work with Becher and Dittmann, we show that every valuation ring on $F$ containing $K$ is existentially definable in the language of rings with parameters from $F$. As a consequence, using a known reduction technique, we obtain the undecidability of the existential theory of $F$ in the language of rings with appropriately chosen parameters.
- [135] arXiv:2512.04902 [pdf, ps, other]
-
Title: Optimality of the Prym-Tyurin construction for $\mathcal{A}_6$Comments: 15 pages, 1 figureSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
We prove that on a very general principally polarized abelian 6-fold, the smallest multiple of the minimal curve class which can be represented by an algebraic cycle is 6.
- [136] arXiv:2512.04911 [pdf, ps, other]
-
Title: Categorical resolutions of curves and Bridgeland stabilityAuthors: Nicolás VilchesComments: 44 pages, comments welcome!Subjects: Algebraic Geometry (math.AG)
Categorical resolutions of singularities are a replacement of resolution of singularities within the realm of triangulated categories. They allow the study of the derived category of a singular variety $X$ via a triangulated category that behaves like the derived category of a smooth variety.
We follow these ideas to study the bounded derived category of a singular, reduced curve $C$ (with arbitrary singularities and number of components). We start by describing an explicit categorical resolution of singularities, specializing a general construction of Kuznetsov and Lunts. We prove the existence of Bridgeland stability conditions on these categories. As a consequence, we get the existence of proper, good moduli spaces of semistable objects. If the curve $C$ is irreducible, then we relate these moduli spaces to the moduli of slope-semistable torsion-free sheaves on $C$, and to the moduli of slope-semistable vector bundles on the (geometric) resolution $\tilde{C}$. This extends classical constructions by Oda and Seshadri, Bhosle and many others.
Finally, we use these results to give explicit descriptions of the moduli of torsion-free sheaves on a curve with a single node, cusp, or tacnode. - [137] arXiv:2512.04916 [pdf, ps, other]
-
Title: Monochromatic products in random integer setsComments: 15 pages, 1 figureSubjects: Combinatorics (math.CO); Number Theory (math.NT)
A well-known consequence of Schur's theorem is that for $r\in \mathbb{N}$, if $n$ is sufficiently large, then any $r$-colouring of $[n]$ results in monochromatic $a,b,c\in [n]$ such that $ab=c$. In this paper we are interested in the threshold at which the binomial random set $[n]_p$ almost surely inherits this Ramsey-type property. In particular for $r=2$ colours, we show that this threshold lies between $n^{-1/9-o(1)}$ and $n^{-1/11}$. Whilst analogous questions for solutions to (sets of) linear equations are now well understood, our work suggests that both the behaviour of the thresholds and the proof methods needed to determine them differ substantially in the non-linear setting.
- [138] arXiv:2512.04919 [pdf, ps, other]
-
Title: The swap transpose on couplings translates to Petz' recovery map on quantum channelsComments: 11 pagesSubjects: Mathematical Physics (math-ph); Operator Algebras (math.OA); Quantum Physics (quant-ph)
In [Ann. Henri Poincar\'e, {\bf 22} (2021), 3199-3234], De Palma and Trevisan described a one-to-one correspondence between quantum couplings and quantum channels realizing transport between states. The aim of this short note is to demonstrate that taking the Petz recovery map for a given channel and initial state is precisely the counterpart of the swap transpose operation on couplings. That is, the swap transpose of the coupling $\Pi_{\Phi}$ corresponding to the channel $\Phi$ and initial state $\rho$ is the coupling $\Pi_{rec}$ corresponding to the Petz recovery map $\Phi_{rec}.$
- [139] arXiv:2512.04925 [pdf, ps, other]
-
Title: The Clifford defect of a numerical semigroupSubjects: Combinatorics (math.CO)
The Clifford defect is a rational number associated to the Weierstrass semigroup at a given point of an algebraic curve. It describes the error-correcting capability of the so-called Modified Algorithm for decoding the corresponding one-point codes defined at the point. This defect also finds applications in other contexts involving one-point codes. We study the Clifford defect of some numerical semigroups arising from curves and give explicit formulas for them.
- [140] arXiv:2512.04928 [pdf, ps, other]
-
Title: Quantitative rigidity of the Wasserstein contraction under convolutionSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA); Optimization and Control (math.OC); Probability (math.PR)
The aim of this paper is to investigate the contraction properties of $p$-Wasserstein distances with respect to convolution in Euclidean spaces both qualitatively and quantitatively. We connect this question to the question of uniform convexity of the Kantorovich functional on which there was substantial recent progress (mostly for $p=2$ and partially for $p>1$). Motivated by this connection we extend these uniform convexity results to the case $p=1$, which is of independent interest.
- [141] arXiv:2512.04929 [pdf, ps, other]
-
Title: Weak convergence rates for spectral regularization via sampling inequalitiesSubjects: Numerical Analysis (math.NA)
Convergence rates in spectral regularization methods quantify the approximation error in inverse problems as a function of the noise level or the number of sampling points. Classical strong convergence rate results typically rely on source conditions, which are essential for estimating the truncation error. However, in the framework of kernel approximation, the truncation error in the case of Tikhonov regularization can be characterized entirely through sampling inequalities, without invoking source conditions. In this paper, we first generalize sampling inequalities to spectral regularization, and then, by exploiting the connection between inverse problems and kernel approximation, we derive weak convergence rate bounds for inverse problems, independently of source conditions. These weak convergence rates are established and analyzed when the forward operator is compact and uniformly bounded, or the kernel operator is of trace class.
- [142] arXiv:2512.04930 [pdf, ps, other]
-
Title: A non-linear differential equation for the periods of elliptic surfacesAuthors: N.I. Shepherd-BarronSubjects: Algebraic Geometry (math.AG)
Suppose that $f:X\to C$ is a general Jacobian elliptic surface over the complex numbers. Then the primitive cohomology $H^{1,1}_{prim}(X)$ has, up to a sign, a natural orthonormal basis $(\eta_i)_{i\in [1, N]}$ given by certain meromorphic $2$-forms $\eta_i$ of the second kind, one for each ramification point of the classifying morphism $\phi$ from $C$ to the stack of generalized elliptic curves. (Here $N$ is any one of $h^{1,1}_{prim}(X)$, the number of moduli of $X$ and the degree of the ramification of $\phi$; these numbers are equal.) A choice of local co-ordinate on the stack of elliptic curves provides, via the branch locus of $\phi$, an {\'e}tale local co-ordinate system $(t_i)_{i\in [1, N]}$ on the stack of Jacobian elliptic surfaces.
The main result here is that truncation of the Gauss--Manin connexion yields the system $$\{\partial_i H=(\partial_i \eta_i\wedge\eta_i)H\}_{i\in [1, N]}$$ of non-linear pde satisfied by $H=[\eta_1,\ldots, \eta_N]$, where $\partial_i =\partial/\partial t_i$ and the skew tensor $\partial_i \eta_i\wedge\eta_i$ of rank $2$ is the ecliptic of $\eta_i$ (the plane in which the particle $\eta_i$ is instantaneously moving with respect to $t_i$). Moreover, after rigidification of the integral cohomology, $H$ can be interpreted as providing a period map for these surfaces with values in the complex orthogonal group $O_N$, and we prove a generic infinitesimal Torelli theorem for this map. For rational elliptic surfaces this can be calculated explicitly. - [143] arXiv:2512.04931 [pdf, ps, other]
-
Title: More on the sum-product problem for integers with few prime factorsAuthors: Thomas F. BloomComments: 17 pagesSubjects: Number Theory (math.NT)
We show that if $A\subset \mathbb{Z}$ is a finite set of integers in which every integer is divisible by $O(1)$ many primes then \[\max(\lvert A+A\rvert,\lvert AA\rvert) \geq \lvert A\rvert^{17/10-o(1)}\] and, for any $m\geq 2$, \[\max(\lvert mA\rvert, \lvert A^m\rvert) \geq \lvert A\rvert^{\frac{2}{3}m+\frac{1}{3}-o(1)}.\]
- [144] arXiv:2512.04932 [pdf, ps, other]
-
Title: Growing Spines: Ad Infinitum et Ad InfinitesimaliaComments: 35 pages. This paper supersedes arXiv:2501.10531 by the same authorsSubjects: Logic (math.LO)
We prove that for every ordered abelian group $G$ there exists a non-trivial ordered abelian group $H$ such that $G\preccurlyeq H\oplus G$ with the lexicographic order, and give a first-order characterization of ordered abelian group $G$ such that $G\preccurlyeq G\oplus H$ for some non-trivial $H$. We apply this to characterize which ordered abelian groups (respectively fields) ensure that any henselian valuation with said value group (respectively residue field) is definable in the language of rings. This answers a question of Krapp, Kuhlmann, and Link.
- [145] arXiv:2512.04933 [pdf, ps, other]
-
Title: Next-order asymptotics for the volume of Schatten ballsAuthors: Mathias SonnleitnerSubjects: Functional Analysis (math.FA); Metric Geometry (math.MG); Probability (math.PR)
The volume of the unit balls of self-adjoint finite-dimensional Schatten $p$-classes of $n\times n$-matrices, $1\le p\le \infty$, is only known exactly for $p=2$ and $p=\infty$. We give an asymptotic expansion of the logarithmic volume to order $o(n)$ for general $p\ge\frac{3}{2}$. The proof rests on asymptotics for the partition function of $\beta$-ensembles due to Lebl\'e and Serfaty [Invent. Math. 210(3):645--757, 2017]. Independently, the case $p\ge 2$ was obtained by Dworaczek Guera, Memin and Pain [arXiv:2511.05386]. In the complex case the asymptotic expansion is continued to order $O(1)$ for all $p\ge 1$.
- [146] arXiv:2512.04935 [pdf, ps, other]
-
Title: Distributional properties of first jump times of CBI processes with jump sizes in given Borel setsComments: 47 pagesSubjects: Probability (math.PR)
We derive an expression for the joint distribution function of the first jump times of a continuous state and continuous time branching process with immigration (CBI process) with jump sizes in given Borel sets having finite total L\'evy measures, which is defined as the sum of the measures appearing in the branching and immigration mechanisms of the CBI process in question. Our result generalizes a corresponding result of He and Li (2016), who considered this problem in case of a single Borel set having finite total L\'evy measure.
- [147] arXiv:2512.04936 [pdf, ps, other]
-
Title: A survey on the generalized Fermat equation of various signatures over totally real fieldsAuthors: Satyabrat SahooComments: To appear in the conference "RAMRA 2025 Proceedings"Subjects: Number Theory (math.NT)
Following the famous proof of Fermat's Last Theorem by Andrew Wiles using the modularity of elliptic curves over $\mathbb{Q}$, significant developments have been made in the study of Diophantine equations using the modularity method. This article presents a survey of numerous results on the solutions of the generalized Fermat equation of signatures $(p,p,p)$, $(p,p,2)$, $(p,p,3)$, and $(r,r,p)$ over totally real number fields using the modularity method.
- [148] arXiv:2512.04940 [pdf, ps, other]
-
Title: Mittag-Leffler functions and convex orderingSubjects: Classical Analysis and ODEs (math.CA); Probability (math.PR)
The monotonicity of the Mittag-Leffler function $E_{\alpha}$ with respect to the parameter $\alpha$ is investigated, via some convex ordering properties for related random variables. In particular, it is shown that the mapping $\alpha\mapsto E_\alpha(x^\alpha)$ decreases on $(0,2)$ for all $x> 0$, that the mapping $\alpha\mapsto E_\alpha(-x^\alpha)$ decreases on $(0,1)$ for all $x\ge 1$ and that the mapping $\alpha\mapsto E_\alpha(\Gamma(1+\alpha)x)$ decreases on $(0,1)$ for all $x\in{\mathbb R}^\ast.$ Analogous results are presented for the two parameter Mittag-Leffler functions $E_{\alpha, \beta}$ with $\beta\ge \alpha,$ with an emphasis on the extremal case $\beta =\alpha.$ Several applications of these results are discussed for Abelian integral equations and subdiffusions.
- [149] arXiv:2512.04942 [pdf, ps, other]
-
Title: Essential dimensions of polarized endomorphisms of abelian varietiesComments: 34 pagesSubjects: Algebraic Geometry (math.AG); Dynamical Systems (math.DS)
Let $f$ be a polarized endomorphism of an abelian variety $A$. Koll\'ar and Zhuang asked whether the essential dimension $\mathrm{ed}(f)$ equals $\mathrm{dim}(A)$. We provide counterexamples to this question. Instead, we prove that, under the hypothesis that every subtorus of $A$ is $f$-preperiodic up to translation (a condition arising from the dynamical Manin--Mumford conjecture), we have $\mathrm{ed}(f^s)=\mathrm{dim}(A)$ for some integer $s>0$. Our examples also show the necessity of both the hypothesis and iteration. We also give an affirmative answer to Koll\'ar and Zhuang's original question when $A$ is a simple abelian surface and $f$ is not $2$-polarized.
- [150] arXiv:2512.04955 [pdf, ps, other]
-
Title: Bounds on Maximal Leakage over Bayesian NetworksComments: 9 pages, double column format, 2 figuresJournal-ref: IEEE International Symposium on Information Theory (ISIT 2025)Subjects: Information Theory (cs.IT); Probability (math.PR); Statistics Theory (math.ST)
Maximal leakage quantifies the leakage of information from data $X \in \mathcal{X}$ due to an observation $Y$. While fundamental properties of maximal leakage, such as data processing, sub-additivity, and its connection to mutual information, are well-established, its behavior over Bayesian networks is not well-understood and existing bounds are primarily limited to binary $\mathcal{X}$. In this paper, we investigate the behavior of maximal leakage over Bayesian networks with finite alphabets. Our bounds on maximal leakage are established by utilizing coupling-based characterizations which exist for channels satisfying certain conditions. Furthermore, we provide more general conditions under which such coupling characterizations hold for $|\mathcal{X}| = 4$. In the course of our analysis, we also present a new simultaneous coupling result on maximal leakage exponents. Finally, we illustrate the effectiveness of the proposed bounds with some examples.
- [151] arXiv:2512.04961 [pdf, ps, other]
-
Title: Existence and a priori bounds for fully nonlinear PDEs with a harmonic map-like structureSubjects: Analysis of PDEs (math.AP)
In this paper, we study a new class of fully nonlinear uniformly elliptic equations with a so-called harmonic map-like structure, whose model case is given by \begin{equation*} \mathcal{M}^{\pm}_{\lambda,\Lambda}(D^2u) \pm b(x) |Du| \pm \beta(u)\langle M(x) Du,Du \rangle \pm c(x) u = f(x)\; \textrm{ in } \Omega, \end{equation*} where $\Omega\subset \mathbb{R}^n$ is a bounded $C^{1,1}$ domain, $\mathcal{M}^{\pm}$ are the Pucci extremal operators, $\beta(s) = s^k$ for some $k \in \mathbb{N} $ odd, $b \in L^{q}_{+}(\Omega)$, $c,f \in L^p(\Omega)$, and $n \leq p \leq q$, $q>n$.
We obtain existence results under a smallness regime on the coefficients, along with some classical results such as the Aleksandrov--Bakelman--Pucci estimate and the comparison principle, as well as a priori bounds for the respective Dirichlet problem in the noncoercive case. We also establish multiplicity results and qualitative behavior, which seem to be new in the case of the Laplacian operator. - [152] arXiv:2512.04966 [pdf, ps, other]
-
Title: Environment-Aware Channel Inference via Cross-Modal Flow: From Multimodal Sensing to Wireless ChannelsComments: 13 pages, 13 figures, 40 references, submitted to IEEE for possible publicationSubjects: Information Theory (cs.IT); Machine Learning (cs.LG); Signal Processing (eess.SP)
Accurate channel state information (CSI) underpins reliable and efficient wireless communication. However, acquiring CSI via pilot estimation incurs substantial overhead, especially in massive multiple-input multiple-output (MIMO) systems operating in high-Doppler environments. By leveraging the growing availability of environmental sensing data, this treatise investigates pilot-free channel inference that estimates complete CSI directly from multimodal observations, including camera images, LiDAR point clouds, and GPS coordinates. In contrast to prior studies that rely on predefined channel models, we develop a data-driven framework that formulates the sensing-to-channel mapping as a cross-modal flow matching problem. The framework fuses multimodal features into a latent distribution within the channel domain, and learns a velocity field that continuously transforms the latent distribution toward the channel distribution. To make this formulation tractable and efficient, we reformulate the problem as an equivalent conditional flow matching objective and incorporate a modality alignment loss, while adopting low-latency inference mechanisms to enable real-time CSI estimation. In experiments, we build a procedural data generator based on Sionna and Blender to support realistic modeling of sensing scenes and wireless propagation. System-level evaluations demonstrate significant improvements over pilot- and sensing-based benchmarks in both channel estimation accuracy and spectral efficiency for the downstream beamforming task.
- [153] arXiv:2512.04968 [pdf, ps, other]
-
Title: Spectral flow and the Atiyah-Patodi-Singer index theoremComments: 12 pagesSubjects: Differential Geometry (math.DG)
We establish a formula for the spectral flow of a smooth family of twisted Dirac operators on a closed odd-dimensional Riemannian spin manifold, generalizing a result by Getzler. The spectral flow is expressed in terms of the $\hat{A}$-form of the manifold, the odd Chern character form of the family of connections, and the $\xi$-invariants of the initial and final operators. Our proof is based on a reduction to the Atiyah-Patodi-Singer index theorem for manifolds with boundary, which provides a conceptually very simple approach to the problem. As an application, we give a proof of Llarull's rigidity theorem for scalar curvature of strictly convex hypersurfaces in Euclidean space which works the same in even and odd dimensions.
- [154] arXiv:2512.04978 [pdf, ps, other]
-
Title: Fractured Poroelastic Media in the Limit of Vanishing ApertureSubjects: Analysis of PDEs (math.AP)
We consider a poroelastic medium with a thin heterogeneity, also referred to as a fracture. Fluid flow and mechanical deformation inside both bulk and fracture are governed by the quasi-static Biot equations. The fracture's material parameters, such as hydraulic conductivity and elasticity, are assumed to scale with powers of the width-to-length ratio $\varepsilon$ of the fracture. Based on a priori estimates, we rigorously derive limit models as $\varepsilon \rightarrow 0$ and identify different limit regimes. We obtain five regimes for the hydraulic conductivity and two for the elasticity. While many cases yield discrete fracture models, others result in two-scale limit problems dominated by normal flow or deformation.
- [155] arXiv:2512.04983 [pdf, ps, other]
-
Title: A tangential low-rank ADI method for solving indefinite Lyapunov equationsComments: 33 pages, 6 figuresSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
Continuous-time algebraic Lyapunov equations have become an essential tool in various applications. In the case of large-scale sparse coefficient matrices and indefinite constant terms, indefinite low-rank factorizations have successfully been used to allow methods like the alternating direction implicit (ADI) iteration to efficiently compute accurate approximations to the solution of the Lyapunov equation. However, classical block-type approaches quickly increase in computational costs when the rank of the constant term grows. In this paper, we propose a novel tangential reformulation of the ADI iteration that allows for the efficient construction of low-rank approximations to the solution of Lyapunov equations with indefinite right-hand sides even in the case of constant terms with higher ranks. We provide adaptive methods for the selection of the corresponding ADI parameters, namely shifts and tangential directions, which allow for the automatic application of the method to any relevant problem setting. The effectiveness of the developed algorithms is illustrated by several numerical examples.
- [156] arXiv:2512.04993 [pdf, ps, other]
-
Title: Edge density and minimum degree thresholds for $H$-free graphs with unbounded chromatic numberComments: 13 pages, 2 figuresSubjects: Combinatorics (math.CO)
The chromatic threshold $\delta_\chi(H)$ of a graph $H$ is the infimum of $d>0$ such that the chromatic number of every $n$-vertex $H$-free graph with minimum degree at least $dn$ is bounded in terms of $H$ and $d$. A breakthrough result of Allen, B\"ottcher, Griffiths, Kohayakawa, and Morris determined $\delta_\chi(H)$ for every graph $H$; in particular, if $\chi(H)=r\ge 3$, then $\delta_\chi(H) \in\{\frac{r-3}{r-2},~\frac{2 r-5}{2 r-3},~\frac{r-2}{r-1}\}$.
In this paper we investigate the trade-off between minimum degree and edge density in the critical window around the chromatic threshold. For a fixed graph $H$ with $\chi(H)=r$, allowing a constant deficit below $\delta_\chi(H)$, we prove sharp (up to lower-order terms) upper bounds on the edge density of $n$-vertex $H$-free graphs whose chromatic number diverges. Equivalently, within this degree regime we show that a suitable global bound on the number of edges forces the chromatic number to remain bounded. Our results thus quantify how global edge density can compensate for a deficit in the local minimum-degree condition near $\delta_\chi(H)$; more specifically, we obtain explicit bounds in two of the three possible cases arising in the trichotomy of $\delta_\chi(H)$. Our extremal constructions -- based on Erd\H{o}s graphs and blowups of Borsuk--Hajnal graphs -- show that these bounds are best possible up to $o(n^2)$ terms. - [157] arXiv:2512.04994 [pdf, ps, other]
-
Title: Partial section I: $α$-recurrence and equivariant Lyapunov mapsAuthors: Théo MartyComments: 57 pages, 1 figureSubjects: Dynamical Systems (math.DS)
This is the first article in a series that aims at classifying partial sections of flows, that is a general family of transverse surfaces. In this part, we deal with the dynamical aspect of the question.
Given a flow on a compact manifold $M$ and a cohomology class $\alpha$ of rank 1, we give a criterion for the existence of an $\alpha$-equivariant Lyapunov map on an Abelian covering of $M$ associated to $\alpha$.
One important aspect of the existence of such Lyapunov maps, and of the classification of partial sections, is a type of recurrence set relative to $\alpha$. We describe how that set depends on $\alpha$. - [158] arXiv:2512.05001 [pdf, ps, other]
-
Title: Plumbing bijectionsAuthors: Vincent PilaudComments: 5 pages, 5 figuresSubjects: Combinatorics (math.CO)
The legendary Mario and Luigi show us that whether you slap in the crossings as early as a warp pipe can shoot you or as late as the very last bend, the water system in Yoshi Hill comes out exactly the same!
- [159] arXiv:2512.05004 [pdf, ps, other]
-
Title: Dimension statistics of representations of finite groupsComments: 24 pages, 5 figuresSubjects: Representation Theory (math.RT); Combinatorics (math.CO); Group Theory (math.GR)
This paper discusses what the dimension data of irreducible representations of a finite group looks like in some specific cases, including unipotent and reductive groups over finite fields.
The essence of our investigation is whether the dimension data of irreducible representations of a finite group can be ``geometerized'', to become equal to the cardinality of certain orbit spaces.
The first part of this paper deals with nilpotent and reductive groups over finite fields, whereas the second part deals with the symmetric group $S_n$. The main conclusion that we want to bring out to contrast these two cases is that for reductive groups over finite fields, the dimension data is concentrated (in a statistical sense) in a neighborhood of the maximal dimension, whereas for the symmetric group, it is spread out. - [160] arXiv:2512.05010 [pdf, ps, other]
-
Title: Geophysical intensity problems: the axisymmetric caseAuthors: Ralf KaiserComments: 55 pages, 6 figuresSubjects: Analysis of PDEs (math.AP); Earth and Planetary Astrophysics (astro-ph.EP)
Considering the earth or any other celestial body the main sources of the gravitational as well as of the magnetic field lie inside the body. Above the surface both fields are in good approximation harmonic vector fields determined by their values at the body's surface or any other surface enclosing the body. The intensity problem seeks to determine harmonic vector fields vanishing at infinity and with prescribed intensity of the field at the surface. This problem constitutes a nonlinear boundary value problem, whose general solvability is not yet established. In this paper {\em axisymmetric} harmonic fields ${\bf H}$ outside the unit sphere $S^2$ are studied and, given an axisymmetric H\"older continuous intensity function $I\neq 0$ on $S^2$, the existence of infinitely many solutions of the intensity problem is proved. These solutions can more precisely be characterized as follows: fix a number $\de \in \nat\setminus \{1 \}$ and a meridional plane $M$ through the symmetry axis $S\!A$, and in $M$ a unit circle $S^1$ (symmetric with respect to $S\!A$) and, furthermore, $2\, N$, $N \in \nat_0$, points $z_n \in M$ (symmetric with respect to $S\!A$, avoiding $S\!A$, and outside $S^1$), then the existence of an (up to a sign) unique harmonic field ${\bf H}$ is established that vanishes at (the axisymmetric circles piercing $M$ at) $z_n$ and nowhere else, that has intensity $I$ at $S^2$ and (exact) decay order $\de$ at infinity. The proof is based on the solution of a nonlinear elliptic equation with discontinuous coefficients, which are, moreover, singular at the symmetry axis. Its combination with fixed boundary conditions was the basis of a recent treatment of the ``geomagnetic direction problem'' \cite{KR22}. Here we have instead natural boundary conditions, which provide less information, and which require, therefore, in part new solution techniques and sharper estimates.
- [161] arXiv:2512.05023 [pdf, ps, other]
-
Title: Inertial Types of Elliptic Curves Over $\mathbb{Q}_{p^{2}}$Comments: 44 Pages, 20 TablesSubjects: Number Theory (math.NT)
We provide a complete, explicit description of the inertial Weil-Deligne types arising from elliptic curves over $\mathbb{Q}_{p^{2}}$ for p prime
- [162] arXiv:2512.05026 [pdf, ps, other]
-
Title: Frobenius generation for algebraic stacksComments: v1, comments welcome!Subjects: Algebraic Geometry (math.AG)
This work investigates the Frobenius morphism on derived categories associated with algebraic stacks in positive characteristic. Particularly, we show that in many cases sufficiently many Frobenius pushforwards of a compact generator produce a classical or strong generator for the bounded derived category of coherent sheaves. In the case of Deligne--Mumford stacks, we can bound the number of iterates required.
- [163] arXiv:2512.05034 [pdf, ps, other]
-
Title: Analytic Dependence of the Lyapunov Moment Function and the Projective Stationary Measure for Random Matrix ProductsComments: 14 pagesSubjects: Dynamical Systems (math.DS); Probability (math.PR)
We consider the product of i.i.d. random matrices sampled according to a probability measure $\mu$ supported on a strongly irreducible and proximal subset of a compact set $S\subset GL(d,\mathbb{R})$. We establish the local analyticity of the Lyapunov moment function and the unique stationary measure on the projective space with respect to $\mu$ in the total variation topology. As a consequence, we obtain the analyticity of the asymptotic variance and all higher-order Lyapunov moments.
- [164] arXiv:2512.05036 [pdf, ps, other]
-
Title: Cumulant expansions of operator groups of quantum many-particle systemsComments: 19 pagesSubjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Analysis of PDEs (math.AP)
The article presents a method of cluster expansions for groups of operators associated with the von Neumann equations for states and the Heisenberg equations for observables, aiming to construct generating operators for nonperturbative solutions to the Cauchy problem for hierarchies of evolution equations of many-particle quantum systems.
- [165] arXiv:2512.05040 [pdf, ps, other]
-
Title: Geometric Data ScienceComments: Questions and comments are welcome at [email protected]. The latest version is at this http URLSubjects: Metric Geometry (math.MG); Materials Science (cond-mat.mtrl-sci); Computational Geometry (cs.CG)
This book introduces the new research area of Geometric Data Science, where data can represent any real objects through geometric measurements.
The first part of the book focuses on finite point sets. The most important result is a complete and continuous classification of all finite clouds of unordered points under rigid motion in any Euclidean space. The key challenge was to avoid the exponential complexity arising from permutations of the given unordered points. For a fixed dimension of the ambient Euclidean space, the times of all algorithms for the resulting invariants and distance metrics depend polynomially on the number of points.
The second part of the book advances a similar classification in the much more difficult case of periodic point sets, which model all periodic crystals at the atomic scale. The most significant result is the hierarchy of invariants from the ultra-fast to complete ones. The key challenge was to resolve the discontinuity of crystal representations that break down under almost any noise. Experimental validation on all major materials databases confirmed the Crystal Isometry Principle: any real periodic crystal has a unique location in a common moduli space of all periodic structures under rigid motion. The resulting moduli space contains all known and not yet discovered periodic crystals and hence continuously extends Mendeleev's table to the full crystal universe. - [166] arXiv:2512.05051 [pdf, ps, other]
-
Title: Some computations in the heart of the homotopy t-structure on logarithmic motivesAuthors: Alberto MericiComments: This article first appeared as an appendix to 2211.14303, but due to its length and independent interest we decided to separate the two partsSubjects: Algebraic Geometry (math.AG)
In this note we will illustrate a method for computing the $\pi_0$ of the effective log motive of a smooth and proper variety over a perfect field $k$ and show that it is $\A^1$-invariant. We will apply this to compute the first homotopy groups of $\P^1$ to show that the stripping functor from log motivic sheaves to (usual) Nisnevich sheaves with transfers is fully faithful.
- [167] arXiv:2512.05054 [pdf, ps, other]
-
Title: Hybrid Nehari-Schauder type fixed point results and applicationsSubjects: Functional Analysis (math.FA)
This paper develops a fixed point version of the well-known Nehari manifold method from critical point theory. The main result is formulated for systems of operator equations, relying on the fixed point theorems of Schauder and Schaefer. The framework also allows for potential extensions combining our Nehari type approach with other fixed point principles. To demonstrate the applicability of the method, an example involving a system of nonlinear integral equations is provided.
- [168] arXiv:2512.05055 [pdf, ps, other]
-
Title: A Nehari manifold method for nonvariational problemsSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
The aim of this paper is to extend the Nehari manifold method from the variational setting to the nonvariational framework of fixed point equations. This is achieved by constructing a radial energy functional that generalizes the standard one from the variational case. Furthermore, the solutions obtained through our method are localized in conical annular sets, which leads to the existence of multiple solutions. The abstract results are illustrated by two representative applications.
- [169] arXiv:2512.05064 [pdf, ps, other]
-
Title: Atomic decompositions for derived categories of G-surfacesComments: Comments are welcomeSubjects: Algebraic Geometry (math.AG)
We construct canonical semi-orthogonal decompositions for derived categories of smooth projective surfaces. These decompositions are compatible with the operations in the minimal model program, such as blow-ups and conic bundles. Therefore our construction confirms a conjecture of Kontsevich in dimension two. We work in the G-equivariant setting and over an arbitrary perfect field, and canonical decompositions are consistent with group change and algebraic field extensions. Our method is based on the G-minimal model program for surfaces and on the Sarkisov link factorisation of birational maps between Mori fibre spaces. We characterise rationality of surfaces, and in certain cases, birationality between surfaces in terms of the pieces of these decompositions, which we call atoms.
- [170] arXiv:2512.05068 [pdf, ps, other]
-
Title: The separating systole and the genus ratio of high genus triangulationsAuthors: Baptiste LoufComments: 18 pages, 5 figuresSubjects: Probability (math.PR); Combinatorics (math.CO)
We show that the separating systole of high genus triangulations is of logarithmic order (in the size of the triangulation). Our methods also allow us to show an enumerative result, i.e. the convergence of the "genus ratio" for high genus triangulations. This complements the convergence of the "size ratio" that was proven in previous work with Budzinski.
- [171] arXiv:2512.05077 [pdf, ps, other]
-
Title: Mean curvature flow near a peanut solutionSubjects: Analysis of PDEs (math.AP)
It was shown by Angenent, Altschuler and Giga, and by Angenent and Velazquez that there exist closed mean curvature flow solutions that extinct to a point in finite time, without ever becoming convex prior to their extinction. These solutions develop a degenerate neckpinch singularity, meaning that the tangent flow at a singularity is a round cylinder, but at the same time for each of these solutions there exists a sequence of points in space and time, so that the pointed blow up limit around this sequence is the Bowl soliton. These solutions are called peanut solutions and they were first conjectured to exist by Richard Hamilton, while the existence of those solutions was shown by Angenent, Altschuler and Giga. In this paper we show that this type of solutions are highly unstable, in the sense that in every small neighborhood of any such peanut solution we can find a perturbation so that the mean curvature flow starting at that perturbation develops spherical singularity, and at the same time we can find a perturbation so that the mean curvature flow starting at that perturbation develops a nondegenerate neckpinch singularity. We also show that appropriately rescaled subsequence of any sequence of solutions whose initial data converge to the peanut solution, and all of which develop spherical singularities, converges to the Ancient oval solution.
- [172] arXiv:2512.05085 [pdf, ps, other]
-
Title: Performance Analysis of Fluid Reconfigurable Intelligent Surface over Covert CommunicationsAuthors: Farshad Rostami Ghadi, Masoud Kaveh, Hanjiang Hong, Kai-Kit Wong, Riku Jantti, F. Javier Lopez-MartinezSubjects: Information Theory (cs.IT)
This paper investigates the impact of the recently proposed concept of fluid reconfigurable intelligent surfaces (FRIS) on covert communications. Specifically, we consider a communication scenario where a legitimate transmitter aims to covertly deliver information to its intended receiver through a planar FRIS, while an adversary attempts to detect whether any transmission is occurring. In this context, we analyze the false alarm (FA) and missed detection (MD) probabilities, and derive a closed-form expression for the covertness outage probability (COP). Furthermore, the success probability is characterized under the optimal detection threshold, providing new insights into the trade-off between covertness and reliable transmission. Numerical results reveal that FRIS provides a clear advantage over fixed-position RIS at low-to-moderate transmit powers by improving reliability and enhancing covertness, while at very high power levels, fixed-position RIS may sustain slightly higher success probability due to reduced leakage toward the adversary.
- [173] arXiv:2512.05086 [pdf, ps, other]
-
Title: Singularity of the loops within a cable-graph loop-soup conditioned by its occupation timeAuthors: Arthur DremauxSubjects: Probability (math.PR)
In this note, we show the following feature of the relation between Brownian loop-soups on cable-graphs and their total occupation time-field $\Lambda$: When conditioned on $\Lambda$, the conditional law of individual loops becomes singular with respect to that of unconditioned loops. The idea of the proof is to see that some type of fast points on the curve $\Lambda$ impose an exceptional behaviour of all the loops when they go through these points.
- [174] arXiv:2512.05095 [pdf, ps, other]
-
Title: On the Outer Automorphism Groups of the Absolute Galois Groups of 2-adic local FieldsAuthors: Yu NishioSubjects: Number Theory (math.NT)
In the present paper, we study the outer automorphism groups of the absolute Galois groups of 2-adic local fields from the point of view of anabelian geometry. Let us recall that it is well-known that the natural homomorphism from the automorphism group of a mixed-characteristic local field to the outer automorphism group of the absolute Galois group of the given mixed-characteristic local field is injective. Moreover, Hoshi and the author of the present paper proved that, for absolutely abelian mixed-characteristic local fields with odd residue characteristic $p$ and even extension degree over ${\mathbb Q}_p$, this subgroup arising from field automorphisms is not normal in the outer automorphism group and has infinitely many distinct conjugates. As a result in this direction, one of the main results of the present paper is the assertion that if a 2-adic local field satisfies certain conditions, then the set of conjugates of the subgroup arising from field automorhisms in the outer automorphism group is infinite, which thus implies that this subgroup is not normal in the outer automorphism group. On the other hand, for an odd prime number $p$, Hoshi proved the existence of an irreducible Hodge-Tate $p$-adic representation of dimension two of the absolute Galois group of a $p$-adic local field and an automorphism of the absolute Galois group such that the $p$-adic Galois representation obtained by pulling back the given $p$-adic Galois representation by the given automorphism is not Hodge-Tate. As a result in a direction that is different from the above direction, another main result of the present paper is the existence of a pair of a representation and an automorphism that is
similar to the above pair in the case where $p=2$.
Cross-lists for Fri, 5 Dec 25
- [175] arXiv:2512.03221 (cross-list from cs.CC) [pdf, ps, other]
-
Title: Permanental rank versus determinantal rank of random matrices over finite fieldsComments: Expanded version of doi.org/10.4230/LIPIcs.APPROX/RANDOM.2025.37Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO); Probability (math.PR)
This paper is motivated by basic complexity and probability questions about permanents of random matrices over finite fields, and in particular, about properties separating the permanent and the determinant. Fix $q = p^m$ some power of an odd prime, and let $k \leq n$ both be growing. For a uniformly random $n \times k$ matrix $A$ over $\mathbb{F}_q$, we study the probability that all $k \times k$ submatrices of $A$ have zero permanent; namely that $A$ does not have full "permanental rank". When $k = n$, this is simply the probability that a random square matrix over $\mathbb{F}_q$ has zero permanent, which we do not understand. We believe that the probability in this case is $\frac{1}{q} + o(1)$, which would be in contrast to the case of the determinant, where the answer is $\frac{1}{q} + \Omega_q(1)$. Our main result is that when $k$ is $O(\sqrt{n})$, the probability that a random $n \times k$ matrix does not have full permanental rank is essentially the same as the probability that the matrix has a $0$ column, namely $(1 +o(1)) \frac{k}{q^n}$. In contrast, for determinantal (standard) rank the analogous probability is $\Theta(\frac{q^k}{q^n})$. At the core of our result are some basic linear algebraic properties of the permanent that distinguish it from the determinant.
- [176] arXiv:2512.04133 (cross-list from physics.flu-dyn) [pdf, ps, other]
-
Title: Effective permeabilities for flow through anisotropic microscopic geometriesAuthors: Loïc Balazi, Fabian Holzberger, Stephan B. Lunowa, Malte A. Peter, Daniel Peterseim, Barbara WohlmuthSubjects: Fluid Dynamics (physics.flu-dyn); Numerical Analysis (math.NA)
This work develops a computational and theoretical framework for determining effective permeabilities in anisotropic microscopic geometries containing dense, fibre-like obstacles, motivated by the need to model flow in coiled aneurysm domains accurately. Building on homogenisation theory and fully resolved simulations in Representative Elementary Volumes (REVs), we validate the permeability model introduced in [C. Boutin, Study of permeability by periodic and self-consistent homogenisation. Eur. J. Mech. A Solids, 19(4):603-632, 2000] and propose a systematic methodology for capturing the directional variations induced by fibre orientation. The resulting permeability tensors are incorporated into macroscopic flow simulations based on the Darcy equation, enabling direct comparison of anisotropic and isotropic permeability models across several benchmark configurations. Our findings show that anisotropy has a significant impact on local flow direction and magnitude, generating directional permeability contrasts which cannot be reproduced by classical isotropic approximations. By integrating coil-induced microstructural effects into continuum-scale hemodynamic models, the proposed approach enables more realistic assessment of post-treatment aneurysm flow behaviour. Beyond this clinical application, the framework is broadly applicable to other biomedical and engineering systems involving fibrous or filamentous porous microstructures.
- [177] arXiv:2512.04172 (cross-list from hep-th) [pdf, ps, other]
-
Title: AdS$_4$ Boundary Wightman functions in Twistor Space: Factorization, Conformal blocks and a Double CopyComments: 59 pages main text, 10 pages appendices, 1 figure, 1 tableSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We study real-time holographic four point Wightman functions involving scalars, photons, gluons and gravitons in the Poincare patch of AdS$_4$. We show that when the momenta of the middle two operators are spacelike, four-point exchange Wightman functions factorize into a product of three-point functions. This expression coincides with a Wightman conformal partial wave corresponding to the operator dual to the exchanged particle in the bulk. Further, we discuss and explicitly show how these results can be analytically continued to obtain Euclidean AdS correlators up to contact diagrams and avoid the need to perform any nested bulk point integrals in contrast to the traditional Witten diagram approach. We then translate our results to twistor space taking first steps towards a twistor space reformulation of four point Wightman functions. For conformally coupled scalars interacting with a cubic potential, we obtain a beautiful form for four and five point functions. For the interesting case of Yang-Mills theory and Einstein gravity, we derive a simple double copy relation. This is easiest to see when correlators are expressed in twistor space using Schwinger parameterization where the graviton correlator is simply the square of its gluon counterpart.
- [178] arXiv:2512.04205 (cross-list from physics.comp-ph) [pdf, ps, other]
-
Title: Persistent-variable thermal compositional simulation of multiphase flow with phase separation in porous mediaComments: submitted to Journal of Computational Physics; No. Figures 12; No. pages 17; source code available at this https URL ;Subjects: Computational Physics (physics.comp-ph); Mathematical Physics (math-ph)
Thermal compositional multiphase flow in porous media with phase transitions involves complex nonlinear interactions among flow, transport, and phase equilibrium. This paper presents a persistent-variable formulation for thermal compositional flow using enthalpy to formulate the energy balance and the local equilibrium problem. Equilibrium conditions are derived from a thermodynamically consistent minimization problem using a persistent set of variables, allowing for seamless integration of equilibrium calculations into a fully coupled flow and transport model. This formulation does not require phase stability tests and provides a continuous and full mathematical description of the multiphysics system, suitable for challenging non-isothermal scenarios. To tackle the nonlinearities arising from phase transitions, we embed a local solver for the thermodynamic subproblem within a global Newton solver for the fully implicit system. The local solver exploits the locality of the subproblem for parallelization and leverages the modularity of the persistent-variable formulation for both isothermal and isenthalpic equilibrium conditions locally. We demonstrate the capability of our approach to simulate complex high-enthalpy systems, including narrow-boiling phenomena. The impact of the embedded local solver is analyzed through numerical experiments, demonstrating a reduction in global nonlinear iterations of up to 23 \% with increased use of the local solver. The number of local iterations is controlled with a local solver tolerance and no significant impact on the global iteration number was observed for local residual tolerances as high as $1e-3$. The persistent-variable approach using enthalpy and the modularity of the embedded local solver advance the usage of equilibrium calculations in multiphase flow simulations and are suitable for high-enthalpy applications.
- [179] arXiv:2512.04214 (cross-list from gr-qc) [pdf, ps, other]
-
Title: Phase mixing and the Vlasov equation in cosmologyComments: 52 pages, 2 figuresSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
We consider the Vlasov equation on slowly expanding isotropic homogeneous tori, described by the Friedmann--Lema\^itre--Robertson--Walker cosmological spacetimes. For expansion rate $t^q$, with $0< q<\frac{1}{2}$ (excluding certain exceptional values), we show that the spatial density decays at the rate $t^{-6q}$ and that, when the spatial average is removed, the density decays at an enhanced rate due to a phase mixing effect. This enhancement is polynomial for Sobolev initial data and super-polynomial, but sub-exponential, for real analytic initial data. We further show that, when the expansion rate is the borderline $t^{\frac{1}{2}}$ -- the rate which describes a radiation filled universe -- a degenerate phase mixing effect results in a logarithmic enhancement for Sobolev initial data and a super-logarithmic enhancement (in fact, a gain of $\exp(-\mu(\log t)^{\epsilon})$ for some $\mu,\epsilon>0$) for analytic initial data. The proof is based on a collection of commuting vector fields, and certain combinatorial properties of an associated collection of differential operators. The vector fields are not explicit, but are shown to have good properties when $t$ is large with respect to the momentum support of the solution. A physical space dyadic localisation is employed to treat non-compactly supported (in particular, non-trivial real analytic) but suitably decaying solutions.
- [180] arXiv:2512.04239 (cross-list from eess.SY) [pdf, ps, other]
-
Title: Configuration-Constrained Tube MPC for Periodic OperationAuthors: Filippo Badalamenti, Jose A. Borja-Conde, Sampath Kumar Mulagaleti, Boris Houska, Alberto Bemporad, Mario Eduardo VillanuevaComments: 11 pages, 3 figures, submitted for IEEE-TACONSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Periodic operation often emerges as the economically optimal mode in industrial processes, particularly under varying economic or environmental conditions. This paper proposes a robust model predictive control (MPC) framework for uncertain systems modeled as polytopic linear differential inclusions (LDIs), where the dynamics evolve as convex combinations of finitely many affine control systems with additive disturbances. The robust control problem is reformulated as a convex optimization program by optimizing over configuration-constrained polytopic tubes and tracks a periodic trajectory that is optimal for a given economic criterion. Artificial variables embedded in the formulation ensure recursive feasibility and robust constraint satisfaction when the economic criterion is updated online, while guaranteeing convergence to the corresponding optimal periodic tube when the criterion remains constant. To improve computational efficiency, we introduce a quadratic over-approximation of the periodic cost under a Lipschitz continuity assumption, yielding a Quadratic Program (QP) formulation that preserves the above theoretical guarantees. The effectiveness and scalability of the approach are demonstrated on a benchmark example and a ball-plate system with eight states.
- [181] arXiv:2512.04247 (cross-list from eess.SY) [pdf, ps, other]
-
Title: Stability of Lyapunov redesign trajectory tracking control with unbounded perturbations -- A tube-based stability analysisSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Considering a nonlinear system in Byrnes-Isidori form that is subject to unbounded perturbations, we apply Lyapunov redesign via feedback linearisation for trajectory tracking. Leveraging the ideas of tube-based geometric characterisation of the invariance properties of the closed loop, we generalise the classical stability criterion from the~literature from constant to nonconstant reference trajectories. The proposed analysis is tailored to the Lyapunov redesign and the tracking problem insofar as we incorporate the reference trajectory and the transient decrease of the tracking error enforced by the controller. In particular, we exploit that the Lyapunov function of the tracking error satisfies a differential inequality, thereby guaranteeing that the solution of the closed loop remains in a contracting tube along the reference trajectory.
- [182] arXiv:2512.04276 (cross-list from cs.AI) [pdf, ps, other]
-
Title: The Geometry of Benchmarks: A New Path Toward AGIAuthors: Przemyslaw ChojeckiSubjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Statistics Theory (math.ST)
Benchmarks are the primary tool for assessing progress in artificial intelligence (AI), yet current practice evaluates models on isolated test suites and provides little guidance for reasoning about generality or autonomous self-improvement. Here we introduce a geometric framework in which all psychometric batteries for AI agents are treated as points in a structured moduli space, and agent performance is described by capability functionals over this space. First, we define an Autonomous AI (AAI) Scale, a Kardashev-style hierarchy of autonomy grounded in measurable performance on batteries spanning families of tasks (for example reasoning, planning, tool use and long-horizon control). Second, we construct a moduli space of batteries, identifying equivalence classes of benchmarks that are indistinguishable at the level of agent orderings and capability inferences. This geometry yields determinacy results: dense families of batteries suffice to certify performance on entire regions of task space. Third, we introduce a general Generator-Verifier-Updater (GVU) operator that subsumes reinforcement learning, self-play, debate and verifier-based fine-tuning as special cases, and we define a self-improvement coefficient $\kappa$ as the Lie derivative of a capability functional along the induced flow. A variance inequality on the combined noise of generation and verification provides sufficient conditions for $\kappa > 0$. Our results suggest that progress toward artificial general intelligence (AGI) is best understood as a flow on moduli of benchmarks, driven by GVU dynamics rather than by scores on individual leaderboards.
- [183] arXiv:2512.04299 (cross-list from cs.LG) [pdf, ps, other]
-
Title: When do spectral gradient updates help in deep learning?Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
Spectral gradient methods, such as the recently popularized Muon optimizer, are a promising alternative to standard Euclidean gradient descent for training deep neural networks and transformers, but it is still unclear in which regimes they are expected to perform better. We propose a simple layerwise condition that predicts when a spectral update yields a larger decrease in the loss than a Euclidean gradient step. This condition compares, for each parameter block, the squared nuclear-to-Frobenius ratio of the gradient to the stable rank of the incoming activations. To understand when this condition may be satisfied, we first prove that post-activation matrices have low stable rank at Gaussian initialization in random feature regression, feedforward networks, and transformer blocks. In spiked random feature models we then show that, after a short burn-in, the Euclidean gradient's nuclear-to-Frobenius ratio grows with the data dimension while the stable rank of the activations remains bounded, so the predicted advantage of spectral updates scales with dimension. We validate these predictions in synthetic regression experiments and in NanoGPT-scale language model training, where we find that intermediate activations have low-stable-rank throughout training and the corresponding gradients maintain large nuclear-to-Frobenius ratios. Together, these results identify conditions for spectral gradient methods, such as Muon, to be effective in training deep networks and transformers.
- [184] arXiv:2512.04310 (cross-list from cs.LG) [pdf, ps, other]
-
Title: RNNs perform task computations by dynamically warping neural representationsComments: NeurIPS 2025Subjects: Machine Learning (cs.LG); Differential Geometry (math.DG); Dynamical Systems (math.DS); Neurons and Cognition (q-bio.NC)
Analysing how neural networks represent data features in their activations can help interpret how they perform tasks. Hence, a long line of work has focused on mathematically characterising the geometry of such "neural representations." In parallel, machine learning has seen a surge of interest in understanding how dynamical systems perform computations on time-varying input data. Yet, the link between computation-through-dynamics and representational geometry remains poorly understood. Here, we hypothesise that recurrent neural networks (RNNs) perform computations by dynamically warping their representations of task variables. To test this hypothesis, we develop a Riemannian geometric framework that enables the derivation of the manifold topology and geometry of a dynamical system from the manifold of its inputs. By characterising the time-varying geometry of RNNs, we show that dynamic warping is a fundamental feature of their computations.
- [185] arXiv:2512.04345 (cross-list from quant-ph) [pdf, ps, other]
-
Title: The operator layer cake theorem is equivalent to Frenkel's integral formulaSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Mathematical Physics (math-ph); Functional Analysis (math.FA)
The operator layer cake theorem provides an integral representation for the directional derivative of the operator logarithm in terms of a family of projections [arXiv:2507.06232]. Recently, the related work [arXiv:2507.07065] showed that the theorem gives an alternative proof to Frenkel's integral formula for Umegaki's relative entropy [Quantum, 7:1102 (2023)]. In this short note, we find a converse implication, demonstrating that the operator layer cake theorem is equivalent to Frenkel's integral formula.
- [186] arXiv:2512.04361 (cross-list from cond-mat.mtrl-sci) [pdf, ps, other]
-
Title: Evidence of a two-dimensional nitrogen crystalline structure on silver surfacesAuthors: Xuegao Hu, Haijun Cao, Zhicheng Gao, Hui Zhou, Daiyu Geng, Dong Li, Jisong Gao, Qiaoxiao Zhao, Zhihao Cai, Peng Cheng, Lan Chen, Sheng Meng, Kehui Wu, Baojie FengComments: Nature Communications; In PressSubjects: Materials Science (cond-mat.mtrl-sci); Mathematical Physics (math-ph)
Nitrogen, the most abundant element in Earth's atmosphere, exists as a diatomic gas under standard temperature and pressure. In the two-dimensional (2D) limit, atomically thin nitrogen, termed nitrogene, has been theoretically predicted to form crystalline materials with various polymorphic configurations, exhibiting diverse chemical and physical properties. However, the synthesis of nitrogene has remained elusive due to the strong nitrogen-nitrogen triple bonds. Here, we report experimental evidence of the formation of nitrogen-based crystalline structures compatible with nitrogene on silver surfaces via ion-beam-assisted epitaxy. Through a combination of scanning tunneling microscopy, angle-resolved photoemission spectroscopy, and first-principles calculations, we demonstrate that the nitrogene-like structure adopts a puckered honeycomb lattice. Notably, our calculations predict a nitrogene band gap of up to 7.5 eV, positioning it as a promising candidate for ultraviolet optoelectronic devices and high-k dielectric applications.
- [187] arXiv:2512.04435 (cross-list from hep-th) [pdf, ps, other]
-
Title: Gravitational Algebras with Two AreasComments: 42 Pages, 12 FiguresSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We study gravitational algebras on spacetimes with two extremal surfaces. In the example of a long wormhole with two asymptotic AdS boundaries and two compact extremal surfaces, we discuss the assignment of gravitational algebras to various regions bounded by the extremal surfaces and/or asymptotic boundaries. Using the split property, we construct type II algebras from the crossed product in the left exterior, right exterior, the middle ``python's lunch'' region, and their complement regions. We also study the case where only the area sum operator or area difference operator is included as part of the gravitational algebra. This can be achieved by picking the appropriate microcanonical ensemble, and these gravitational algebras can either be type II or type III depending on the region. In the case where we include only the area difference mode, the crossed product gives rise to a weight that restricts to a trace on the middle region. Differences of relative entropies with respect to this weight give differences in generalized entropies. This provides an algebraic understanding of the order parameter that controls the phase transitions between entanglement wedges. We emphasize the role of operator-valued weights used in our construction.
- [188] arXiv:2512.04450 (cross-list from physics.comp-ph) [pdf, ps, other]
-
Title: On the Construction of High-Order and Exact Pressure Equilibrium Schemes for Arbitrary Equations of StateAuthors: Christopher DeGrendele, Nguyen Ly, Francois Cadieux, Michael Barad, Dongwook Lee, Jared DuensingComments: 29 pages, 13 figuresSubjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA)
Typical fully conservative discretizations of the Euler compressible single or multi-component fluid equations governed by a real-fluid equation of state exhibit spurious pressure oscillations due to the nonlinearity of the thermodynamic relation between pressure, density, and internal energy. A fully conservative, pressure-equilibrium preserving method and a high-order, fully conservative, approximate pressure-equilibrium preserving method are presented. Both methods are general and can handle an arbitrary equation of state and arbitrary number of species. Unlike existing approaches to discretize the multi-component Euler equations, we do not introduce non conservative updates, overspecified equations, or design for a specific equation of state. The proposed methods are demonstrated on inviscid smooth interface advection problems governed by three equations of state: ideal-gas, stiffened-gas, and van der Waals where we show orders of magnitude reductions in spurious pressure oscillations compared to existing schemes.
- [189] arXiv:2512.04480 (cross-list from cs.AI) [pdf, ps, other]
-
Title: AI-Assisted Game Management Decisions: A Fuzzy Logic Approach to Real-Time SubstituitionsAuthors: Pedro PassosComments: 33 pages, 7 figuresSubjects: Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Systems and Control (eess.SY); Optimization and Control (math.OC)
In elite soccer, substitution decisions entail significant financial and sporting consequences yet remain heavily reliant on intuition or predictive models that merely mimic historical biases. This paper introduces a Fuzzy Logic based Decision Support System (DSS) designed for real time, prescriptive game management. Unlike traditional Machine Learning approaches that encounter a predictive ceiling by attempting to replicate human behavior, our system audits performance through an objective, rule based inference engine. We propose a methodological advancement by reformulating the PlayeRank metric into a Cumulative Mean with Role Aware Normalization, eliminating the play time exposure bias inherent in cumulative sum models to enable accurate intra match comparison. The system integrates this refined metric with physiological proxies (fatigue) and contextual variables (disciplinary risk modulated by tactical role) to calculate a dynamic Substitution Priority (P final). Validation via a case study of the 2018 FIFA World Cup match between Brazil and Belgium demonstrates the system's ecological validity: it not only aligned with expert consensus on executed substitutions (for example Gabriel Jesus) but, crucially, identified high risk scenarios ignored by human decision makers. Specifically, the model flagged the "FAGNER Paradox" - a maximum priority defensive risk - minutes before a critical yellow card, and detected the "Lukaku Paradox", where an isolated assist masked a severe drop in participation. These results confirm that Fuzzy Logic offers a transparent, explainable, and superior alternative to black box models for optimizing real time tactical decisions.
- [190] arXiv:2512.04565 (cross-list from eess.SY) [pdf, ps, other]
-
Title: Adapt and Stabilize, Then Learn and Optimize: A New Approach to Adaptive LQRSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper focuses on adaptive control of the discrete-time linear quadratic regulator (adaptive LQR). Recent literature has made significant contributions in proving non-asymptotic convergence rates, but existing approaches have a few drawbacks that pose barriers for practical implementation. These drawbacks include (i) a requirement of an initial stabilizing controller, (ii) a reliance on exploration for closed-loop stability, and/or (iii) computationally intensive algorithms. This paper proposes a new algorithm that overcomes these drawbacks for a particular class of discrete-time systems. This algorithm leverages direct Model-Reference Adaptive Control (direct MRAC) and combines it with an epoch-based approach in order to address the drawbacks (i)-(iii) with a provable high-probability regret bound comparable to existing literature. Simulations demonstrate that the proposed approach yields regrets that are comparable to those from existing methods when the conditions (i) and (ii) are met, and yields regrets that are significantly smaller when either of these two conditions is not met.
- [191] arXiv:2512.04574 (cross-list from physics.flu-dyn) [pdf, ps, other]
-
Title: Can Explicit Subgrid Models Enhance Implicit LES Simulations? A GPU-Oriented High-Order-Solver PerspectiveAuthors: Gonzalo Rubio, Gerasimos Ntoukas, Miguel Chávez-Módena, Oscar Mariño, Bernat Font, Oriol Lehmkuhl, Eusebio Valero, Esteban FerrerSubjects: Fluid Dynamics (physics.flu-dyn); Numerical Analysis (math.NA)
High-order Discontinuous Galerkin (DG) methods offer excellent accuracy for turbulent flow simulations, especially when implemented on GPU-oriented architectures that favor very high polynomial orders. On modern GPUs, high-order polynomial evaluations cost roughly the same as low-order ones, provided the DG degrees of freedom fit within device memory. However, even with high-order discretizations, simulations at high Reynolds numbers still require some level of under-resolution, leaving them sensitive to numerical dissipation and aliasing effects. Here, we investigate the interplay between intrinsic DG dissipation mechanisms (implicit dissipation) -- in particular split forms and Riemann solvers -- and explicit subgrid-scale models in Large Eddy Simulations (LES). Using the three-dimensional Taylor--Green vortex at $Re = 1600$ and an inviscid case ($Re \to \infty$), we evaluate kinetic energy dissipation, spectral accuracy, and numerical stability.
Our results show that when stability for under-resolved turbulence is ensured through split-forms (energy- or entropy-stable) schemes, subgrid-scale (SGS) LES models are not strictly necessary. At moderate Reynolds numbers, when the spatial resolution is sufficient to capture the relevant turbulence scales (i.e., in well-resolved LES), adding SGS models does not improve accuracy because the wavenumber range where they act overlaps with the inherent numerical dissipation of the DG scheme. In contrast, when the resolution is insufficient, as is typical at high Reynolds numbers, explicit subgrid-scale models complement the numerical dissipation and enhance accuracy by removing the excess energy that numerical fluxes alone cannot dissipate.
These findings provide practical guidance for choosing numerical strategies in high-order turbulence simulations. - [192] arXiv:2512.04610 (cross-list from cs.DM) [pdf, ps, other]
-
Title: Weakly-sparse and strongly flip-flat classes of graphs are uniformly almost-wideSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
In this work we take a step towards characterising strongly flip-flat classes of graphs. Strong flip-flatness appears to be the analogue of uniform almost-wideness in the setting of dense classes of graphs. We prove that strongly flip-flat classes of graphs that are weakly sparse are indeed uniformly almost-wide.
- [193] arXiv:2512.04659 (cross-list from hep-th) [pdf, ps, other]
-
Title: Modular Hamiltonian of the massive scalar field on the half line: A numerical approachComments: 67 pages, 21 figuresSubjects: High Energy Physics - Theory (hep-th); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
We study the modular Hamiltonian of an interval for the ground state of a massive free scalar field on the half line with Robin boundary conditions, by employing a numerical method. When the interval is adjacent to the boundary, we find numerical evidence that the modular Hamiltonian is non-local, except for the limiting cases of the massless scalar satisfying either Dirichlet or Neumann boundary conditions. When the interval is separated from the boundary, the numerical analysis indicates that the modular Hamiltonian is non-local for all these boundary conditions and any value of the mass.
- [194] arXiv:2512.04676 (cross-list from eess.SY) [pdf, ps, other]
-
Title: A Unified Low-rank ADI Framework with Shared Linear Solves for Simultaneously Solving Multiple Lyapunov, Sylvester, and Riccati EquationsSubjects: Systems and Control (eess.SY); Numerical Analysis (math.NA)
It is known in the literature that the low-rank ADI method for Lyapunov equations is a Petrov-Galerkin projection algorithm that implicitly performs model order reduction. In this paper, we show that the low-rank ADI methods for Sylvester and Riccati equations are also Petrov-Galerkin projection algorithms that implicitly perform model order reduction. By observing that the ADI methods for Lyapunov, Sylvester, and Riccati equations differ only in pole placement and not in their interpolatory nature, we show that the shifted linear solves-which constitute the bulk of the computational cost-can be shared. The pole-placement step involves only small-scale operations and is therefore inexpensive. We propose a unified ADI framework that requires only two shifted linear solves per iteration to simultaneously solve six Lyapunov equations, one Sylvester equation, and ten Riccati equations, thus substantially increasing the return on investment for the computational cost spent on the linear solves. All operations needed to extract the individual solutions from these shared linear solves are small-scale and inexpensive.
Since all ADI methods implicitly perform model order reduction when solving these linear matrix equations, we show that the resulting reduced-order models can be obtained as an additional byproduct. These models not only interpolate the original transfer function at the mirror images of the ADI shifts but also preserve important system properties such as stability, minimum-phase property, positive-realness, bounded-realness, and passivity. Consequently, the proposed unified ADI framework also serves as a recursive, interpolation-based model order reduction method, which can preserve several important properties of the original model in the reduced-order model. - [195] arXiv:2512.04682 (cross-list from cond-mat.dis-nn) [pdf, ps, other]
-
Title: Diffusive geodesics wandering in networks of rigid chainsAuthors: Ulysse MarquisComments: 19 pages (main text + appendix), respectively 6 and 11 figures, accepted at Phys. Rev. ESubjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Probability (math.PR)
We introduce an ensemble of spatial networks built from the junctions of hindered-rotation chains, incorporating directional correlations between bonds, an aspect ignored in the standard network modeling paradigm. The emergent random networks support geodesics with a wandering exponent $\xi = 1/2$, and a travel-time fluctuation exponent $\chi = 0$, consistent with the KPZ relation, yet violating the bound~$\chi\geq1/8$ predicted in the Poissonian framework. Transverse deviations follow the Kolmogorov distribution, indicating similarities between Brownian bridge excursions and geodesics in a random medium with correlated edges orientations. These results reveal a new universality class of Euclidean first-passage percolation, where local orientational memory reshapes transport properties and challenges existing bounds for random spatial networks.
- [196] arXiv:2512.04696 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Provable FDR Control for Deep Feature Selection: Deep MLPs and BeyondAuthors: Kazuma SawayaSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
We develop a flexible feature selection framework based on deep neural networks that approximately controls the false discovery rate (FDR), a measure of Type-I error. The method applies to architectures whose first layer is fully connected. From the second layer onward, it accommodates multilayer perceptrons (MLPs) of arbitrary width and depth, convolutional and recurrent networks, attention mechanisms, residual connections, and dropout. The procedure also accommodates stochastic gradient descent with data-independent initializations and learning rates. To the best of our knowledge, this is the first work to provide a theoretical guarantee of FDR control for feature selection within such a general deep learning setting.
Our analysis is built upon a multi-index data-generating model and an asymptotic regime in which the feature dimension $n$ diverges faster than the latent dimension $q^{*}$, while the sample size, the number of training iterations, the network depth, and hidden layer widths are left unrestricted. Under this setting, we show that each coordinate of the gradient-based feature-importance vector admits a marginal normal approximation, thereby supporting the validity of asymptotic FDR control. As a theoretical limitation, we assume $\mathbf{B}$-right orthogonal invariance of the design matrix, and we discuss broader generalizations. We also present numerical experiments that underscore the theoretical findings. - [197] arXiv:2512.04703 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Towards Continuous-Time Approximations for Stochastic Gradient Descent without ReplacementAuthors: Stefan PerkoSubjects: Machine Learning (cs.LG); Probability (math.PR)
Gradient optimization algorithms using epochs, that is those based on stochastic gradient descent without replacement (SGDo), are predominantly used to train machine learning models in practice. However, the mathematical theory of SGDo and related algorithms remain underexplored compared to their "with replacement" and "one-pass" counterparts. In this article, we propose a stochastic, continuous-time approximation to SGDo with additive noise based on a Young differential equation driven by a stochastic process we call an "epoched Brownian motion". We show its usefulness by proving the almost sure convergence of the continuous-time approximation for strongly convex objectives and learning rate schedules of the form $u_t = \frac{1}{(1+t)^\beta}, \beta \in (0,1)$. Moreover, we compute an upper bound on the asymptotic rate of almost sure convergence, which is as good or better than previous results for SGDo.
- [198] arXiv:2512.04719 (cross-list from eess.SP) [pdf, ps, other]
-
Title: Pinching-Antenna System Design under Random LoS and NLoS ChannelsComments: 13 pages, 8 figures, 2 tablesSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
Pinching antennas, realized through position-adjustable radiating elements along dielectric waveguides, have emerged as a promising flexible-antenna technology thanks to their ability to dynamically reshape large-scale channel conditions. However, most existing studies focus on idealized LoS-dominated environments, overlooking the stochastic nature of realistic wireless propagation. This paper investigates a more practical multiuser pinching-antenna system under a composite probabilistic channel model that captures distance-dependent LoS blockage and NLoS scattering. To account for both efficiency and reliability aspects of communication, two complementary design metrics are considered: an average signal-to-noise ratio (SNR) metric characterizing long-term throughput and fairness, and an outage-constrained metric ensuring a prescribed reliability level. Based on these metrics, we formulate two optimization problems: the first maximizes the max-min average SNR across users, while the second maximizes a guaranteed SNR threshold under per-user outage constraints. Although both problems are inherently nonconvex, we exploit their underlying monotonic structures and develop low-complexity, bisection-based algorithms that achieve globally optimal solutions using only simple scalar evaluations. Extensive simulations validate the effectiveness of the proposed methods and demonstrate that pinching-antenna systems significantly outperform conventional fixed-antenna designs even under random LoS and NLoS channels.
- [199] arXiv:2512.04850 (cross-list from cs.GT) [pdf, ps, other]
-
Title: Side-by-side first-price auctions with imperfect biddersAuthors: Benjamin HeymannSubjects: Computer Science and Game Theory (cs.GT); Theoretical Economics (econ.TH); Optimization and Control (math.OC)
We model a procurement scenario in which two \textit{imperfect} bidders act simultaneously on behalf of a single buyer, a configuration common in display advertising and referred to as \textit{side-by-side bidding} but largely unexplored in theory. We prove that the iterated best response algorithm converges to an equilibrium under standard distributional assumptions and provide sufficient condition for uniqueness. Beyond establishing existence and convergence, our analysis provides a tractable numerical method for quantitative studies of side-by-side procurement.
- [200] arXiv:2512.04881 (cross-list from eess.SP) [pdf, ps, other]
-
Title: Beampattern Synthesis for Discrete Phase RIS in Communication and Sensing SystemsSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
Extensive research on Reconfigurable Intelligent Surfaces (RIS) has primarily focused on optimizing reflective coefficients for passive beamforming in specific target directions. This optimization typically assumes prior knowledge of the target direction, which is unavailable before the target is detected. To enhance direction estimation, it is critical to develop array pattern synthesis techniques that yield a wider beam by maximizing the received power over the entire target area. Although this challenge has been addressed with active antennas, RIS systems pose a unique challenge due to their inherent phase constraints, which can be continuous or discrete.
This work addresses this challenge through a novel array pattern synthesis method tailored for discrete phase constraints in RIS. We introduce a penalty method that pushes these constraints to the boundary of the convex hull. Then, the Minorization-Maximization (MM) method is utilized to reformulate the problem into a convex one. Our numerical results show that our algorithm can generate a wide beam pattern comparable to that achievable with per-power constraints, with both the amplitudes and phases being adjustable. We compare our method with a traditional beam sweeping technique, showing a) several orders of magnitude reduction of the MSE of Angle of Arrival (AOA) at low to medium Signal-to-Noise Ratio (SNR)s; and b) $8$~dB SNR reduction to achieve a high probability of detection. - [201] arXiv:2512.04907 (cross-list from hep-th) [pdf, ps, other]
-
Title: Instantons meet resonances: Unifying two seemingly distinct approaches to quantum tunnelingComments: 7 pages, 5 figuresSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
In the study of quantum-mechanical tunneling processes, numerous approaches have been developed to determine the decay rate of states initially confined within a metastable potential region. Virtually all analytical treatments, however, fall into one of two superficially unrelated conceptual frameworks: the resonant-state approach and the instanton method. Whereas the concept of resonant states and their associated decay widths is grounded in physical reasoning by capturing the regime of uniform probability decay, the instanton method lacks a comparably clear physical interpretation. We demonstrate the equivalence of the two approaches, revealing that the contour-deformation prescription in the functional integral put forward by Callan and Coleman directly corresponds to the outgoing Gamow--Siegert boundary conditions defining resonant states.
- [202] arXiv:2512.04980 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Learning Causality for Longitudinal DataAuthors: Mouad EL BouchattaouiComments: PhD thesis manuscriptSubjects: Machine Learning (stat.ML); Information Theory (cs.IT); Machine Learning (cs.LG)
This thesis develops methods for causal inference and causal representation learning (CRL) in high-dimensional, time-varying data.
The first contribution introduces the Causal Dynamic Variational Autoencoder (CDVAE), a model for estimating Individual Treatment Effects (ITEs) by capturing unobserved heterogeneity in treatment response driven by latent risk factors that affect only outcomes. CDVAE comes with theoretical guarantees on valid latent adjustment and generalization bounds for ITE error. Experiments on synthetic and real datasets show that CDVAE outperforms baselines, and that state-of-the-art models greatly improve when augmented with its latent substitutes, approaching oracle performance without access to true adjustment variables.
The second contribution proposes an efficient framework for long-term counterfactual regression based on RNNs enhanced with Contrastive Predictive Coding (CPC) and InfoMax. It captures long-range dependencies under time-varying confounding while avoiding the computational cost of transformers, achieving state-of-the-art results and introducing CPC into causal inference.
The third contribution advances CRL by addressing how latent causes manifest in observed variables. We introduce a model-agnostic interpretability layer based on the geometry of the decoder Jacobian. A sparse self-expression prior induces modular, possibly overlapping groups of observed features aligned with shared latent influences. We provide recovery guarantees in both disjoint and overlapping settings and show that meaningful latent-to-observed structure can be recovered without anchor features or single-parent assumptions. Scalable Jacobian-based regularization techniques are also developed. - [203] arXiv:2512.04982 (cross-list from physics.plasm-ph) [pdf, ps, other]
-
Title: Operator Formalism for Laser-Plasma Wakefield AccelerationSubjects: Plasma Physics (physics.plasm-ph); Mathematical Physics (math-ph); Accelerator Physics (physics.acc-ph); Quantum Physics (quant-ph)
In this paper, we develop an operator-based framework for laser--plasma wakefield acceleration (LPWA) in capillary discharges, providing a compact and systematic description of the coupled dynamics of laser fields and plasma response. The formalism employs key operators: the transverse modal operator $\hat{K}$, the nonlinear plasma operator $\hat{N}[\Psi]$, the plasma oscillation operator $\hat{\Omega}_p^{\,2}$, and the ponderomotive source operator $\hat{\alpha}$, which together describe mode coupling, plasma oscillations, and nonlinear feedback induced by the ponderomotive force. In the linear regime, the system is characterized by invariant subspaces associated with stable modal structures, while nonlinear interactions break these invariances, leading to mode mixing and complex dynamics. The approach establishes a direct connection between LPWA and Hilbert-space operator theory, including the invariant subspace, providing a formal mathematical interpretation of energy transfer and wakefield formation. Furthermore, the operator formalism integrates with neural operator methods, allowing efficient approximation of $\hat{N}$ and $\hat{\alpha}$ for reduced-order modeling and predictive control. This hybrid physics--AI framework offers a robust foundation for modeling, analysis, and optimization of high-intensity laser--plasma interactions in next-generation accelerator experiments.
- [204] arXiv:2512.04985 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Towards a unified framework for guided diffusion modelsSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
Guided or controlled data generation with diffusion models\blfootnote{Partial preliminary results of this work appeared in International Conference on Machine Learning 2025 \citep{li2025provable}.} has become a cornerstone of modern generative modeling. Despite substantial advances in diffusion model theory, the theoretical understanding of guided diffusion samplers remains severely limited. We make progress by developing a unified algorithmic and theoretical framework that accommodates both diffusion guidance and reward-guided diffusion. Aimed at fine-tuning diffusion models to improve certain rewards, we propose injecting a reward guidance term -- constructed from the difference between the original and reward-reweighted scores -- into the backward diffusion process, and rigorously quantify the resulting reward improvement over the unguided counterpart. As a key application, our framework shows that classifier-free guidance (CFG) decreases the expected reciprocal of the classifier probability, providing the first theoretical characterization of the specific performance metric that CFG improves for general target distributions. When applied to reward-guided diffusion, our framework yields a new sampler that is easy-to-train and requires no full diffusion trajectories during training. Numerical experiments further corroborate our theoretical findings.
- [205] arXiv:2512.05042 (cross-list from physics.optics) [pdf, ps, other]
-
Title: Structured Light at the Extreme: Harnessing Spatiotemporal Control for High-Field Laser-Matter InteractionsAuthors: Sergio Carbajo, Seung-Whan Bahk, Justin Baker, Andrea Bertozzi, Abhimanyu Borthakur, Antonino Di Piazza, Andrew Forbes, Spencer Gessner, Jack Hirschman, Franz Kärtner, Maciej Lewenstein, Yuhang Li, Inhyuk Nam, Eileen Otte, Aydogan Ozcan, James Rozensweig, Yijie Shen, Liwei Song, Ye Tian, Yu Wang, Yuntian Wang, Logan Wright, Xiaojun Wu, Hao ZhangSubjects: Optics (physics.optics); Mathematical Physics (math-ph); Computational Physics (physics.comp-ph)
This review charts the emerging paradigm of intelligent structured light for high-field laser-matter interactions, where the precise spatiotemporal and vectorial control of light is a critical degree of freedom. We outline a transformative framework built upon three synergistic pillars. First, we survey the advanced electromagnetic toolkit, moving beyond conventional spatial light modulators to include robust static optics and the promising frontier of plasma light modulators. Second, we detail the optimization engine for this high-dimensional design space, focusing on physics-informed digital twins and AI-driven inverse design to automate the discovery of optimal light structures. Finally, we explore the groundbreaking applications enabled by this integrated approach, including programmable electron beams, orbital-angular-momentum-carrying {\gamma}-rays, compact THz accelerators, and robust communications. The path forward necessitates overcoming grand challenges in material science, real-time adaptive control at MHz rates, and the extension of these principles to the quantum realm. This review serves as a call to action for a coordinated, interdisciplinary effort to command, rather than merely observe, light-matter interactions at the extreme.
- [206] arXiv:2512.05043 (cross-list from hep-th) [pdf, ps, other]
-
Title: A Theory of Backgrounds and Background IndependenceAuthors: Marc KlingerComments: V1: 21 pages + references, 3 figuresSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
In this note, we describe how the study of backgrounds for general quantum systems can be formulated in terms of the representation theory of abstract $C^*$ algebras. We illustrate our general framework through two example systems: superconductivity and perturbative quantum gravity. In both cases, spontaneously broken symmetries imply the existence of unitarily inequivalent Hilbert spaces that play the role of distinct backgrounds relative to which observables are measured. Background independence can be realized by gauging the broken symmetry; extending the algebra of observables for the theory to include new physical processes that intertwine between these disjoint representations. From the point of view of the background independent theory, different backgrounds have an interpretation as different vacuum expectation values of these intertwining operators. In superconductivity, the intertwiners are intimately related to the Josephson effect. In gravity, they are related to geometric fluctuations. We explain how this framework is connected to recent work on generalized symmetries and algebraic extensions. To this end, we close with some remarks about how the operator algebra of a closed universe may arise from a generalized symmetry associated with the inclusion of the causal wedge inside the entanglement wedge by appealing to subregion-subalgebra duality.
- [207] arXiv:2512.05067 (cross-list from cs.HC) [pdf, ps, other]
-
Title: Perceptually-Minimal Color Optimization for Web Accessibility: A Multi-Phase Constrained ApproachAuthors: Lalitha A RSubjects: Human-Computer Interaction (cs.HC); Optimization and Control (math.OC)
Web accessibility guidelines require sufficient color contrast between text and backgrounds; yet, manually adjusting colors often necessitates significant visual deviation, compromising vital brand aesthetics. We present a novel, multi-phase optimization approach for automatically generating WCAG-compliant colors while minimizing perceptual change to original design choices.
Our method treats this as a constrained, non-linear optimization problem, utilizing the modern perceptually uniform OKLCH color space. Crucially, the optimization is constrained to preserve the original hue ($\text{H}$) of the color, ensuring that modifications are strictly limited to necessary adjustments in lightness ($\text{L}$) and chroma ($\text{C}$). This is achieved through a three-phase sequence: binary search, gradient descent, and progressive constraint relaxation.
Evaluation on a dataset of 10,000 procedurally generated color pairs demonstrates that the algorithm successfully resolves accessibility violations in $77.22\%$ of cases, with $88.51\%$ of successful corrections exhibiting imperceptible color difference ($\Delta E_{2000} < 2.0$) as defined by standard perceptibility thresholds. The median perceptual change for successful adjustments is only $0.76\ \Delta E_{2000}$, and the algorithm achieves this with a median processing time of $0.876\text{ms}$ per color pair.
The approach demonstrates that accessibility compliance and visual design integrity can be achieved simultaneously through a computationally efficient, perceptually-aware optimization that respects brand identity. The algorithm is publicly implemented in the open-source cm-colors Python library. - [208] arXiv:2512.05089 (cross-list from cs.LG) [pdf, ps, other]
-
Title: The Geometry of Intelligence: Deterministic Functional Topology as a Foundation for Real-World PerceptionAuthors: Eduardo Di SantiComments: 35 pages, 6 figures. This preprint develops a deterministic functional-topological framework showing that physical systems generate compact perceptual manifolds with finite radius. We provide theory, Monte-Carlo estimators, and validation across PM, battery, and ECG domains, unifying biological perception and self-supervised AISubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Real-world physical processes do not generate arbitrary variability: their signals concentrate on compact and low-variability subsets of functional space. This geometric structure enables rapid generalization from a few examples in both biological and artificial systems.
This work develops a deterministic functional-topological framework in which the set of valid realizations of a physical phenomenon forms a compact perceptual manifold with stable invariants and a finite Hausdorff radius. We show that the boundaries of this manifold can be discovered in a fully self-supervised manner through Monte Carlo sampling, even when the governing equations of the system are unknown.
We provide theoretical guarantees, practical estimators of knowledge boundaries, and empirical validations across three domains: electromechanical railway point machines, electrochemical battery discharge curves, and physiological ECG signals.
Our results demonstrate that deterministic functional topology offers a unified mathematical foundation for perception, representation, and world-model construction, explaining why biological learners and self-supervised AI models can generalize from limited observations. - [209] arXiv:2512.05105 (cross-list from cs.CL) [pdf, ps, other]
-
Title: Semantic Soft Bootstrapping: Long Context Reasoning in LLMs without Reinforcement LearningSubjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Information Theory (cs.IT); Machine Learning (cs.LG); Signal Processing (eess.SP)
Long context reasoning in large language models (LLMs) has demonstrated enhancement of their cognitive capabilities via chain-of-thought (CoT) inference. Training such models is usually done via reinforcement learning with verifiable rewards (RLVR) in reasoning based problems, like math and programming. However, RLVR is limited by several bottlenecks, such as, lack of dense reward, and inadequate sample efficiency. As a result, it requires significant compute resources in post-training phase. To overcome these limitations, in this work, we propose \textbf{Semantic Soft Bootstrapping (SSB)}, a self-distillation technique, in which the same base language model plays the role of both teacher and student, but receives different semantic contexts about the correctness of its outcome at training time. The model is first prompted with a math problem and several rollouts are generated. From them, the correct and most common incorrect response are filtered, and then provided to the model in context to produce a more robust, step-by-step explanation with a verified final answer. This pipeline automatically curates a paired teacher-student training set from raw problem-answer data, without any human intervention. This generation process also produces a sequence of logits, which is what the student model tries to match in the training phase just from the bare question alone. In our experiment, Qwen2.5-3B-Instruct on GSM8K dataset via parameter-efficient fine-tuning. We then tested its accuracy on MATH500, and AIME2024 benchmarks. Our experiments show a jump of 10.6%, and 10% improvements in accuracy, respectively, over group relative policy optimization (GRPO), which is a commonly used RLVR algorithm. Our code is available at https://github.com/purbeshmitra/semantic-soft-bootstrapping, and the model, curated dataset is available at https://huggingface.co/purbeshmitra/semantic-soft-bootstrapping.
Replacements for Fri, 5 Dec 25
- [210] arXiv:2007.16161 (replaced) [pdf, ps, other]
-
Title: Coinductive proof search for polarized logic with applications to full intuitionistic propositional logicComments: 57 pages incl. appendices (v2 has 22 pages incl. appendices and corresponds to DOI 10.4230/LIPIcs.TYPES.2020.4); besides adding running and meta-theoretic examples, the previous version is extended threefold: (1) from proof terms to co-proof terms as objects of study, (2) LJQ is used as source system besides LJT, (3) there is an entire scheme for the properties being studiedSubjects: Logic in Computer Science (cs.LO); Logic (math.LO)
- [211] arXiv:2107.11425 (replaced) [pdf, ps, other]
-
Title: Subregular J-Rings of the Finite Irreducible Coxeter SystemsAuthors: Annette PilkingtonSubjects: Rings and Algebras (math.RA)
- [212] arXiv:2109.06069 (replaced) [pdf, ps, other]
-
Title: Localization and flexibilization in symplectic geometryComments: Revised according to referee comments and changed some notationSubjects: Symplectic Geometry (math.SG); Algebraic Topology (math.AT)
- [213] arXiv:2111.11826 (replaced) [pdf, ps, other]
-
Title: List chromatic numbers and singular compactnessAuthors: Shimon GartiSubjects: Combinatorics (math.CO); Logic (math.LO)
- [214] arXiv:2201.05094 (replaced) [pdf, ps, other]
-
Title: Thermodynamic formalism for continuous-time quantum Markov semigroups: the detailed balance condition, entropy, pressure and equilibrium quantum processesComments: Key words: continuous time quantum Markov process, Lindbladian, detailed balance condition, entropy, pressure, equilibrium quantum processesSubjects: Mathematical Physics (math-ph); Dynamical Systems (math.DS); Probability (math.PR); Quantum Physics (quant-ph)
- [215] arXiv:2204.05900 (replaced) [pdf, ps, other]
-
Title: Extension of Lipschitz maps definable in Hensel minimal structuresAuthors: Krzysztof Jan NowakComments: The paper has been extensively modifiedSubjects: Logic (math.LO); Algebraic Geometry (math.AG)
- [216] arXiv:2204.09329 (replaced) [pdf, ps, other]
-
Title: Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular ForestsAuthors: Sebastian Brandt, Yi-Jun Chang, Jan Grebík, Christoph Grunau, Václav Rozhoň, Zoltán VidnyánszkyComments: This paper is an extension of some parts of the conference paper "Local Problems on Trees from the Perspectives of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics (arXiv:2106.02066)Subjects: Logic (math.LO); Distributed, Parallel, and Cluster Computing (cs.DC)
- [217] arXiv:2205.01582 (replaced) [pdf, ps, other]
-
Title: Robust low-rank tensor regression via clipping and Huber lossComments: 43 pages, 8 figures, 4 tablesSubjects: Statistics Theory (math.ST)
- [218] arXiv:2305.07880 (replaced) [pdf, ps, other]
-
Title: Aronszajn trees and maximalitySubjects: Logic (math.LO)
- [219] arXiv:2305.12362 (replaced) [pdf, ps, other]
-
Title: Regularized Integrals on Configuration Spaces of Riemann Surfaces and Cohomological PairingsAuthors: Jie ZhouComments: version 5: minor revision. comments welcomeSubjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Complex Variables (math.CV)
- [220] arXiv:2305.12555 (replaced) [pdf, ps, other]
-
Title: The total spine of the Milnor fibration of a plane curve singularityComments: 134 pages, this is the version that will appear in the Memoirs of the AMSSubjects: Algebraic Geometry (math.AG); Dynamical Systems (math.DS)
- [221] arXiv:2306.00471 (replaced) [pdf, ps, other]
-
Title: Muller's ratchet in a near-critical regime: tournament versus fitness proportional selectionComments: The presentation is now focussed on the forward-in-time approach. The proof of the main result has been re-structured and expandedJournal-ref: Theoretical Population Biology, Volume 158, 2024, Pages 121-138,Subjects: Populations and Evolution (q-bio.PE); Probability (math.PR)
- [222] arXiv:2306.06940 (replaced) [pdf, ps, other]
-
Title: Convergence Rates of the Regularized Optimal Transport : Disentangling Suboptimality and EntropySubjects: Optimization and Control (math.OC)
- [223] arXiv:2307.13369 (replaced) [pdf, ps, other]
-
Title: Quasi-coincidence of cluster structures on positroid varietiesAuthors: Matthew PresslandComments: 59 pages, 10 figures; comments welcome. v3: final version, to appear in JEMSSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG); Representation Theory (math.RT)
- [224] arXiv:2310.13338 (replaced) [pdf, ps, other]
-
Title: Heat equation from a deterministic dynamicsComments: Fixes minor issues of the previous versionSubjects: Dynamical Systems (math.DS)
- [225] arXiv:2310.13832 (replaced) [pdf, ps, other]
-
Title: Absolute continuity of Wasserstein barycenters on manifolds with a lower Ricci curvature boundAuthors: Jianyu MaJournal-ref: Calc. Var. 65, 9 (2026)Subjects: Probability (math.PR); Analysis of PDEs (math.AP); Differential Geometry (math.DG)
- [226] arXiv:2311.15103 (replaced) [pdf, ps, other]
-
Title: Geometry of the mirror models dual to the complete intersection of two cubicsAuthors: Mykola PochekaiComments: Introduction rewritten, several minor clarity improvementsSubjects: Algebraic Geometry (math.AG)
- [227] arXiv:2311.16871 (replaced) [pdf, ps, other]
-
Title: Improvements on dimension growth results and effective Hilbert's irreducibility theoremComments: 37 pages, final version (also freely accessible online on Forum Math. Sigma); comments welcome!Journal-ref: Forum of Mathematics, Sigma , Volume 13 , 2025 , e153Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
- [228] arXiv:2312.12919 (replaced) [pdf, ps, other]
-
Title: Coloring Grids Avoiding Bicolored PathsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
- [229] arXiv:2404.13136 (replaced) [pdf, ps, other]
-
Title: Beyond the classification theorem of Cameron, Goethals, Seidel, and ShultComments: 29 pages, 12 figuresSubjects: Combinatorics (math.CO)
- [230] arXiv:2405.06220 (replaced) [pdf, ps, other]
-
Title: On $β$-adic expansions of powers of algebraic integer omitting a digitSubjects: Number Theory (math.NT)
- [231] arXiv:2406.17374 (replaced) [pdf, ps, other]
-
Title: Generalizability of experimental studiesAuthors: Federico Matteucci, Vadim Arzamasov, Jose Cribeiro-Ramallo, Marco Heyden, Konstantin Ntounas, Klemens BöhmComments: Under review at TMLRSubjects: Machine Learning (cs.LG); Statistics Theory (math.ST)
- [232] arXiv:2407.01412 (replaced) [pdf, ps, other]
-
Title: The Regularity of ODEs and Thimble Integrals with Respect to Borel SummationJournal-ref: SIGMA 21 (2025), 101, 69 pagesSubjects: Classical Analysis and ODEs (math.CA); Geometric Topology (math.GT)
- [233] arXiv:2407.04161 (replaced) [pdf, ps, other]
-
Title: On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical PredicativitySubjects: Logic (math.LO)
- [234] arXiv:2407.06929 (replaced) [pdf, ps, other]
-
Title: Convergence of the Semi-Discrete WaveHoltz IterationSubjects: Numerical Analysis (math.NA)
- [235] arXiv:2407.16348 (replaced) [pdf, ps, other]
-
Title: Operational Umbral CalculusAuthors: Kei BeauduinComments: 27 pages, to be publishedSubjects: Combinatorics (math.CO); Number Theory (math.NT)
- [236] arXiv:2407.16720 (replaced) [pdf, ps, other]
-
Title: Two-phase averaged system justification for ideal gases without conductivityAuthors: D Bresch (LAMA), C Burtea (UFR Mathématiques UPCité), P Gonin--Joubert (MMCS, ICJ), F Lagoutière (MMCS, ICJ)Subjects: Analysis of PDEs (math.AP)
- [237] arXiv:2408.05540 (replaced) [pdf, ps, other]
-
Title: Convergence Analysis for Deep Sparse Coding via Convolutional Neural NetworksSubjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS); Information Theory (cs.IT); Neural and Evolutionary Computing (cs.NE)
- [238] arXiv:2408.06443 (replaced) [pdf, ps, other]
-
Title: A note on the problem of straight-line interpolation by ridge functionsComments: 10 pages, minor corrections; to appear in Real Analysis ExchangeSubjects: Classical Analysis and ODEs (math.CA)
- [239] arXiv:2408.07498 (replaced) [pdf, ps, other]
-
Title: Wasserstein Gradient Flows of MMD Functionals with Distance Kernel and Cauchy Problems on Quantile FunctionsComments: We corrected the implicit scheme in our code and updated the plots. Also, a minor mistake in the def. (14) has been corrected. We thank the anonymous contributors for their valuable feedback, further improving the clarity of the paper. 47 pages, 23 figures, comments welcome!Subjects: Analysis of PDEs (math.AP); Machine Learning (stat.ML)
- [240] arXiv:2408.08856 (replaced) [pdf, ps, other]
-
Title: Variants of Conway Checkers and k-nacci JumpingComments: 18 pages, 7 figuresSubjects: Combinatorics (math.CO)
- [241] arXiv:2409.08028 (replaced) [pdf, ps, other]
-
Title: One-cusped complex hyperbolic 2-manifoldsSubjects: Geometric Topology (math.GT); Algebraic Geometry (math.AG)
- [242] arXiv:2409.09809 (replaced) [pdf, ps, other]
-
Title: Explicit Expressions for Iterates of Power SeriesAuthors: Kei BeauduinComments: 16 pages, to be publishedSubjects: Combinatorics (math.CO); Classical Analysis and ODEs (math.CA)
- [243] arXiv:2410.00191 (replaced) [pdf, ps, other]
-
Title: Equivalence of Sobolev norms for Kolmogorov operators with scaling-critical driftComments: 53 pages, to appear in Nonlinearity. V2: corrected misprints, added applications (new section 7) and referencesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Functional Analysis (math.FA)
- [244] arXiv:2410.17164 (replaced) [pdf, ps, other]
-
Title: Restrictions of Maass forms on $\mathrm{SL}(2,\mathbb{C})$ to hyperbolic surfaces and geodesic tubesAuthors: Jiaqi HouComments: minor corrections and simplifications to some proofsSubjects: Number Theory (math.NT); Analysis of PDEs (math.AP)
- [245] arXiv:2410.19121 (replaced) [pdf, ps, other]
-
Title: On elliptic and quasiregularly elliptic manifoldsComments: 26 pages, 2 figures. v3 adds a new Theorem 1.6Subjects: Differential Geometry (math.DG); Complex Variables (math.CV); Metric Geometry (math.MG)
- [246] arXiv:2410.20854 (replaced) [pdf, ps, other]
-
Title: On $k$-summable normal forms of vector fields with one zero eigenvalueComments: We have corrected a typo. Accepted versionSubjects: Dynamical Systems (math.DS)
- [247] arXiv:2411.09840 (replaced) [pdf, ps, other]
- [248] arXiv:2411.18097 (replaced) [pdf, ps, other]
-
Title: Strong Kato limit can be branchingComments: 18 pages, 4 figures, comments welcomeSubjects: Differential Geometry (math.DG)
- [249] arXiv:2412.00387 (replaced) [pdf, ps, other]
-
Title: A generalization of Burmester-Desmedt GKE based on a non-abelian finite group actionComments: 20 pages. Submitted to the Journal of Discrete Mathematical Sciences and Cryptography in April 2025Subjects: Cryptography and Security (cs.CR); Information Theory (cs.IT)
- [250] arXiv:2412.13222 (replaced) [pdf, ps, other]
-
Title: Near Real-time Adaptive Isotropic and Anisotropic Image-to-mesh Conversion for Numerical Simulations Involving Cerebral AneurysmsComments: 58 pages, 16 figures, 13 tables, presented at the 18th U.S. National Congress on Computational Mechanics conferenceSubjects: Fluid Dynamics (physics.flu-dyn); Distributed, Parallel, and Cluster Computing (cs.DC); Graphics (cs.GR); Mathematical Software (cs.MS); Numerical Analysis (math.NA)
- [251] arXiv:2412.15351 (replaced) [pdf, ps, other]
-
Title: Khovanov homology and Lagrangian cobordismsComments: 9 pages, 1 figure. v2: accepted versionSubjects: Geometric Topology (math.GT); Symplectic Geometry (math.SG)
- [252] arXiv:2412.20262 (replaced) [pdf, ps, other]
-
Title: Modular operads, iterated distributive laws and a nerve theorem for circuit algebrasAuthors: Sophie RaynorComments: 56 pages, many figures and diagrams. Small change to title and substantial corrections to method relative to v2. Comments welcome. This paper and "Circuit algebras, modular operads and invariant theory" supercede "Brauer diagrams, modular operads, and a graphical nerve theorem for circuit algebras" arXiv:2108.04557Subjects: Category Theory (math.CT); Algebraic Topology (math.AT); Quantum Algebra (math.QA)
- [253] arXiv:2501.11423 (replaced) [pdf, ps, other]
-
Title: A threshold for Poisson behavior of non-stationary product measuresComments: 10 pagesJournal-ref: Ergodic Theory Dyn. Syst. (2025)Subjects: Dynamical Systems (math.DS); Probability (math.PR)
- [254] arXiv:2501.13820 (replaced) [pdf, ps, other]
-
Title: Consistent spectral clustering in sparse tensor block modelsComments: 52 pagesSubjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Probability (math.PR)
- [255] arXiv:2501.15680 (replaced) [pdf, ps, other]
-
Title: Random Processes with Stationary Increments and Intrinsic Random Functions on the Real LineAuthors: Jongwook KimJournal-ref: Stat 14, no. 4: e70128Subjects: Probability (math.PR); Statistics Theory (math.ST)
- [256] arXiv:2502.00638 (replaced) [pdf, ps, other]
-
Title: Cycles and Cuts in Supersingular L-Isogeny GraphsAuthors: Sarah Arpin, Ross Bowden, James Clements, Wissam Ghantous, Jason T. LeGrow, Krystal MaughanSubjects: Number Theory (math.NT)
- [257] arXiv:2502.02224 (replaced) [pdf, ps, other]
-
Title: Density-valued symplectic forms from a multisymplectic viewpointSubjects: Symplectic Geometry (math.SG); Differential Geometry (math.DG)
- [258] arXiv:2502.04136 (replaced) [pdf, ps, other]
-
Title: Enriched Cycle Structures and Roots of PermutationsComments: 24 pages, to appear in Proc. Edinburgh Math. SocSubjects: Combinatorics (math.CO)
- [259] arXiv:2502.05101 (replaced) [pdf, ps, other]
-
Title: A generalized Active Flux method of arbitrarily high order in two dimensionsSubjects: Numerical Analysis (math.NA)
- [260] arXiv:2502.13348 (replaced) [pdf, ps, other]
-
Title: System-level Analysis of Dual-Mode Networked Sensing: ISAC Integration & Coordination GainsComments: This work has been accepted for publication in IEEE Transactions on Wireless CommunicationsSubjects: Information Theory (cs.IT); Systems and Control (eess.SY)
- [261] arXiv:2502.15522 (replaced) [pdf, ps, other]
-
Title: Solving Inverse Problems with Deep Linear Neural Networks: Global Convergence Guarantees for Gradient Descent with Weight DecaySubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
- [262] arXiv:2502.15982 (replaced) [pdf, ps, other]
-
Title: Hunting a rabbit: complexity, approximability and some characterizationsSubjects: Combinatorics (math.CO); Computational Complexity (cs.CC)
- [263] arXiv:2502.17760 (replaced) [pdf, ps, other]
-
Title: Probabilistic Dual Frames and Minimization of Dual Frame PotentialsAuthors: Dongwei ChenComments: Manuscript from a minor revision; 21 Pages;Subjects: Functional Analysis (math.FA)
- [264] arXiv:2502.18678 (replaced) [pdf, ps, other]
-
Title: Emergence of fermion-mediated interactions in Bose-Fermi mixturesComments: 34 pages, 2 figuresSubjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
- [265] arXiv:2502.20444 (replaced) [pdf, ps, other]
-
Title: Constant maps in equivariant topological strings and geometric modeling of fluxesComments: 59 pages + appendices and references; v2 minor corrections and new references; v3 improved discussion and new appendix added; v4 matches published versionSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
- [266] arXiv:2503.05140 (replaced) [pdf, ps, other]
-
Title: Mixed norm estimates for dilated averages over planar curvesSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
- [267] arXiv:2503.06217 (replaced) [pdf, ps, other]
-
Title: Isometric classification of the $L^{p}$-spaces of infinite dimensional Lebesgue measureSubjects: Functional Analysis (math.FA)
- [268] arXiv:2503.10807 (replaced) [pdf, ps, other]
-
Title: Characterizations of Type-III Bernoulli SchemeAuthors: Tianyi ZhouSubjects: Operator Algebras (math.OA); Dynamical Systems (math.DS)
- [269] arXiv:2503.11156 (replaced) [pdf, ps, other]
-
Title: Well-posedness and stability of boundary delay equationsSubjects: Optimization and Control (math.OC)
- [270] arXiv:2503.18916 (replaced) [pdf, ps, other]
-
Title: Entropic Analysis of Time Series through Kernel Density EstimationAuthors: Audun Myers, Bill Kay, Iliana Alvarez, Michael Hughes, Cameron Mackenzie, Carlos Ortiz Marrero, Emily Ellwein, Erik LentzSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
- [271] arXiv:2503.19205 (replaced) [pdf, ps, other]
-
Title: Risk-Aware Adaptive Control Barrier Functions for Safe Control of Nonlinear Systems under Stochastic UncertaintyComments: 8 pages, 3 figuresSubjects: Optimization and Control (math.OC)
- [272] arXiv:2504.01484 (replaced) [pdf, other]
-
Title: Characteristic polynomial of generalized Ewens random permutationsAuthors: Quentin François (CEREMADE, DMA)Subjects: Combinatorics (math.CO); Probability (math.PR); Spectral Theory (math.SP)
- [273] arXiv:2504.05943 (replaced) [pdf, ps, other]
-
Title: A note on the Björner--Kalai theoremComments: 12 pagesSubjects: Combinatorics (math.CO)
- [274] arXiv:2504.06628 (replaced) [pdf, ps, other]
-
Title: Entropy Production in Non-Gaussian Active Matter: A Unified Fluctuation Theorem and Deep Learning FrameworkSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
- [275] arXiv:2504.07076 (replaced) [pdf, ps, other]
-
Title: On Fundamental Theorems of Invariant Theory for the Special Linear SupergroupSubjects: Rings and Algebras (math.RA)
- [276] arXiv:2504.08467 (replaced) [pdf, ps, other]
-
Title: Quasi-stationarity of the Dyson Brownian motion with collisionsSubjects: Probability (math.PR); Mathematical Physics (math-ph); Data Analysis, Statistics and Probability (physics.data-an)
- [277] arXiv:2504.09034 (replaced) [pdf, ps, other]
-
Title: Real Heegaard Floer HomologyComments: 44 pages, 14 figures. Minor corrections made in Sections 3 and 7Subjects: Geometric Topology (math.GT); Symplectic Geometry (math.SG)
- [278] arXiv:2504.12158 (replaced) [pdf, ps, other]
-
Title: What is a monoid?Comments: 26 pages. Version accepted to POPL 2026Subjects: Category Theory (math.CT); Programming Languages (cs.PL)
- [279] arXiv:2504.16632 (replaced) [pdf, ps, other]
-
Title: Efficient Algorithms for Maximal Matroid Degenerations and Irreducible Decompositions of Circuit VarietiesSubjects: Combinatorics (math.CO); Symbolic Computation (cs.SC); Algebraic Geometry (math.AG)
- [280] arXiv:2504.21652 (replaced) [pdf, ps, other]
-
Title: Coning off totally geodesic boundary components of a hyperbolic manifoldComments: v2: 20 pages, 4 figures. Added an appendix about the boundary at infinity of the coneoff. Version 2 also contains many corrections and improvements in response to referee commentsSubjects: Geometric Topology (math.GT); Group Theory (math.GR)
- [281] arXiv:2505.01858 (replaced) [pdf, ps, other]
-
Title: Mean Field Game of Optimal Tracking PortfolioSubjects: Optimization and Control (math.OC); Portfolio Management (q-fin.PM)
- [282] arXiv:2505.06952 (replaced) [pdf, ps, other]
-
Title: Thermal boundary conditions in fractional superdiffusion of energySubjects: Mathematical Physics (math-ph)
- [283] arXiv:2505.07614 (replaced) [pdf, ps, other]
-
Title: Bant: Byzantine Antidote via Trial Function and Trust ScoresAuthors: Gleb Molodtsov, Daniil Medyakov, Sergey Skorik, Nikolas Khachaturov, Shahane Tigranyan, Vladimir Aletov, Aram Avetisyan, Martin Takáč, Aleksandr BeznosikovSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
- [284] arXiv:2505.21014 (replaced) [pdf, ps, other]
-
Title: Extension of a theorem of Wschebor to free and matrix Brownian motionsSubjects: Probability (math.PR)
- [285] arXiv:2506.01269 (replaced) [pdf, ps, other]
-
Title: Region-of-Interest-Guided Deep Joint Source-Channel Coding for Image TransmissionSubjects: Information Theory (cs.IT)
- [286] arXiv:2506.02246 (replaced) [pdf, ps, other]
-
Title: Higher Symmetries in Twisted Eleven-Dimensional SupergravityJournal-ref: SIGMA 21 (2025), 100, 30 pagesSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
- [287] arXiv:2506.12249 (replaced) [pdf, ps, other]
-
Title: Graphon Quantum Filtering SystemsSubjects: Probability (math.PR); Mathematical Physics (math-ph); Combinatorics (math.CO); Quantum Physics (quant-ph)
- [288] arXiv:2506.20240 (replaced) [pdf, ps, other]
-
Title: Low-order finite element complex with application to a fourth-order elliptic singular perturbation problemComments: 28 pages, 1 figureSubjects: Numerical Analysis (math.NA)
- [289] arXiv:2506.23417 (replaced) [pdf, ps, other]
-
Title: Mesoscopic Rates of Convergence for Hermitian Unitary EnsemblesSubjects: Probability (math.PR); Spectral Theory (math.SP)
- [290] arXiv:2507.01420 (replaced) [pdf, ps, other]
-
Title: Reinforcement Learning for Discrete-time LQG Mean Field Social Control Problems with Unknown DynamicsSubjects: Optimization and Control (math.OC)
- [291] arXiv:2507.02344 (replaced) [pdf, ps, other]
-
Title: The Basic Reproduction Number for Petri Net Models: A Next-Generation Matrix ApproachComments: 29 pages, 11 figures, 47 equations, numerous sub-equations, 8 examplesJournal-ref: Applied Sciences 2025, 15(23),12827; Special Issue Recent Trends in Petri Net Research: Methods and Innovative ApplicationsSubjects: Algebraic Topology (math.AT); Quantitative Methods (q-bio.QM)
- [292] arXiv:2507.10965 (replaced) [pdf, ps, other]
-
Title: Convolutive sequences, I: Through the lens of integer partition functionsComments: 23 pages, accepted by Experimental MathematicsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Number Theory (math.NT)
- [293] arXiv:2507.21594 (replaced) [pdf, ps, other]
-
Title: A Product Formula for Family Indices and Family Band Width EstimatesAuthors: Chenkai SongComments: Add the case of odd-dimensional fiber ZSubjects: Differential Geometry (math.DG)
- [294] arXiv:2508.00487 (replaced) [pdf, ps, other]
-
Title: An analytic approach to the stress energy tensor in quantum field theoryAuthors: Alexander StrohmaierComments: 49 pages, small typos fixedSubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Analysis of PDEs (math.AP)
- [295] arXiv:2508.05610 (replaced) [pdf, ps, other]
-
Title: On a 5D UV completion of Argyres-Douglas theoriesComments: 40 pages, 5 figures, 1 appendix, v3: reference addedSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
- [296] arXiv:2508.05804 (replaced) [pdf, ps, other]
-
Title: Value Function Approximation for Nonlinear MPC: Learning a Terminal Cost Function with a Descent PropertyComments: 8 pages, 4 figures, Accepted to the 64th IEEE Conference on Decision and Control 2025, [v2] Corrected a minor typo; results and conclusions unchangedSubjects: Optimization and Control (math.OC)
- [297] arXiv:2508.09483 (replaced) [pdf, ps, other]
-
Title: On $L^p$-Hardy inequalities for magnetic $p$-LaplaciansComments: In uploading version 2, we forgot to replace the abstract (on this page) accordingly. Here we corrected thisSubjects: Classical Analysis and ODEs (math.CA)
- [298] arXiv:2508.10470 (replaced) [pdf, ps, other]
-
Title: Existence and uniqueness of the conformally covariant geodesic metric on non-simple conformal loop ensemble gasketsComments: some minor mistakes are corrected in v2; the structure of Section 5 is simplifiedSubjects: Probability (math.PR); Complex Variables (math.CV)
- [299] arXiv:2508.20573 (replaced) [pdf, ps, other]
-
Title: Divisibility properties of weighted $k$ regular partitionsSubjects: Number Theory (math.NT); Combinatorics (math.CO)
- [300] arXiv:2508.21588 (replaced) [pdf, ps, other]
-
Title: Herglotz's formalism, Eisenhart lift and Killing vectorsComments: 22 pages, no figuresSubjects: Mathematical Physics (math-ph); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th)
- [301] arXiv:2508.21642 (replaced) [pdf, ps, other]
-
Title: Mean Field Games of Controls with Boundary Conditions & Invariance ConstraintsSubjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP)
- [302] arXiv:2509.00856 (replaced) [pdf, ps, other]
-
Title: On dissipation operators of Quantum OpticsComments: 4 pages, 0 figuresSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
- [303] arXiv:2509.02290 (replaced) [pdf, ps, other]
-
Title: Decidability of polynomial equations over function fields in positive characteristicAuthors: Nicolas DaansComments: Preprint, 20 pages. Lemma 2.1 rewritten under weaker hypothesesSubjects: Number Theory (math.NT); Logic (math.LO)
- [304] arXiv:2509.03224 (replaced) [pdf, ps, other]
-
Title: Markov staircasesComments: 61 pages, 23 figures; v2: Isotopy theorem extended to embeddings beyond the visible range, and its proof corrected and simplified. Also some references addedSubjects: Symplectic Geometry (math.SG); Algebraic Geometry (math.AG); Differential Geometry (math.DG); Geometric Topology (math.GT)
- [305] arXiv:2509.08765 (replaced) [pdf, ps, other]
-
Title: One-shot acceleration of transient PDE solvers via online-learned preconditionersComments: code available at this https URLSubjects: Computational Physics (physics.comp-ph); Machine Learning (cs.LG); Numerical Analysis (math.NA); Machine Learning (stat.ML)
- [306] arXiv:2509.10623 (replaced) [pdf, ps, other]
-
Title: Parallel torsion and $G_2, Spin(7)$ instantonsComments: 27 pages, no figures, exposition clarified, some results and references addedSubjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th)
- [307] arXiv:2509.12675 (replaced) [pdf, ps, other]
-
Title: Cislunar Resonant Transport and Heteroclinic Pathways: From 3:1 to 2:1 to L1Comments: 47 pages, 28 figures. Accepted by Advances in Space Research (in press). First two authors contributed equallySubjects: Earth and Planetary Astrophysics (astro-ph.EP); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD)
- [308] arXiv:2509.17915 (replaced) [pdf, ps, other]
-
Title: Fractal failures of Ratner rigidity in higher rank geometryComments: 47 pages, 7 figuresSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG); Dynamical Systems (math.DS); Group Theory (math.GR)
- [309] arXiv:2509.21255 (replaced) [pdf, ps, other]
-
Title: Graphical configuration spaces, Contractads and FormalityComments: 40 pages, minor corrections, comments are still very welcomeSubjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG); Quantum Algebra (math.QA)
- [310] arXiv:2509.24894 (replaced) [pdf, ps, other]
-
Title: Improved Stochastic Optimization of LogSumExpComments: 19 pages, 5 figures, 1 tableSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
- [311] arXiv:2509.25156 (replaced) [pdf, ps, other]
-
Title: Weight modules and gluing of sheaves on the flag varietyComments: 40 pages, 4 figuresSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG)
- [312] arXiv:2510.01356 (replaced) [pdf, ps, other]
-
Title: Bootstrapping supersymmetric (matrix) quantum mechanicsComments: 34 pagesSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
- [313] arXiv:2510.01440 (replaced) [pdf, ps, other]
-
Title: Cobham's theorem for the Gaussian integersComments: 15 pages, 2 figuresSubjects: Number Theory (math.NT); Formal Languages and Automata Theory (cs.FL); Commutative Algebra (math.AC)
- [314] arXiv:2510.04215 (replaced) [pdf, ps, other]
-
Title: Reducibility of Scalar Generalized Verma Modules of Minimal Parabolic Type IIComments: 34 pagesSubjects: Representation Theory (math.RT)
- [315] arXiv:2510.06524 (replaced) [pdf, ps, other]
-
Title: Stable central limit theorems for discrete-time lag martingale difference arraysSubjects: Statistics Theory (math.ST); Probability (math.PR)
- [316] arXiv:2510.08414 (replaced) [pdf, ps, other]
-
Title: The 3-state Potts model on planar triangulations: explicit algebraic solutionComments: 35 pagesSubjects: Combinatorics (math.CO)
- [317] arXiv:2510.08862 (replaced) [pdf, ps, other]
-
Title: An inverse theorem on sets with rich additive structure modulo primesComments: 30 pages. This version contains substantially stronger results and several new resultsSubjects: Number Theory (math.NT); Combinatorics (math.CO)
- [318] arXiv:2510.10056 (replaced) [pdf, ps, other]
-
Title: Quantum Alternating Direction Method of Multipliers for Semidefinite ProgrammingSubjects: Optimization and Control (math.OC)
- [319] arXiv:2510.13695 (replaced) [pdf, ps, other]
-
Title: Remarks on Villadsen algebras, II: A generalized construction and the comparison radius functionComments: 39 pagesSubjects: Operator Algebras (math.OA)
- [320] arXiv:2510.14248 (replaced) [pdf, ps, other]
-
Title: Second-to-Top Term of \hat{HFK} of Closed 3-BraidsAuthors: Zhaojun ChenSubjects: Geometric Topology (math.GT)
- [321] arXiv:2510.15677 (replaced) [pdf, ps, other]
-
Title: Nearly all known Euclidean Ramsey sets are subsolubleAuthors: Natalie BehagueComments: 15 pages, 2 figures. Version 2: Replaced proof that simplices are subsoluble with citation for pre-existing proof by Karamanlis. Version 3: Corrected some minor errors and added Figure 3Subjects: Combinatorics (math.CO)
- [322] arXiv:2510.17908 (replaced) [pdf, ps, other]
-
Title: A note on the hit problem for the polynomial algebra in the case of odd primes and its applicationAuthors: Dang Vo PhucComments: 63 pages. This paper provides detailed proofs of Theorems 2.7 and 2.8 from our published work [17]. A supplementary preprint [18] serves as an addendum, containing these proofs and offering a comprehensive response to Nguyen Sum's comments [22, 23] on [17]Journal-ref: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas, 118, 22, (2024)Subjects: Algebraic Topology (math.AT)
- [323] arXiv:2510.19468 (replaced) [pdf, ps, other]
-
Title: Weight aspect asymptotic and simultaneous non-vanishing for Rankin-Selberg $L$-functionsAuthors: Aritra GhoshComments: 20 pagesSubjects: Number Theory (math.NT)
- [324] arXiv:2510.21245 (replaced) [pdf, ps, other]
-
Title: Convergence of Stochastic Gradient Langevin Dynamics in the Lazy Training RegimeSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
- [325] arXiv:2510.22890 (replaced) [pdf, ps, other]
-
Title: Reducing measurements in quantum erasure correction by quantum local recoveryAuthors: Ryutaroh MatsumotoComments: 15 pages, 1 figure. Review of stabilizer codes is reused from arXiv:2505.18840. Version 2 corrected errors in original Proposition 3 (Theorem 3 and Proposition 4 in V2), Figure 1, and example computations in Section 6. Version 3 corrected confusing sentences in Remark 10 and several typos. No essential changes were made between versions 2 and 3Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
- [326] arXiv:2510.23752 (replaced) [pdf, ps, other]
-
Title: Projective simplicity and Bergman's property for unit groups of continuous ringsAuthors: Friedrich Martin SchneiderComments: 21 pages, no figures; v2: minor improvements, 21 pagesSubjects: Group Theory (math.GR); Rings and Algebras (math.RA)
- [327] arXiv:2510.24244 (replaced) [pdf, ps, other]
-
Title: Statistical properties of Markov shifts: part II-LLTAuthors: Yeor HafoutaComments: 29 pp: the main conditions are weakend (the previous file was not the upadted one)Subjects: Probability (math.PR); Dynamical Systems (math.DS)
- [328] arXiv:2510.24882 (replaced) [pdf, ps, other]
-
Title: Modular Periodicity of Random Initialized RecurrencesAuthors: Marc T. PudelkoComments: 9 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
- [329] arXiv:2510.25121 (replaced) [pdf, ps, other]
-
Title: Bilevel Models for Adversarial Learning and A Case StudyComments: This paper has been accepted by MathematicsSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
- [330] arXiv:2510.26381 (replaced) [pdf, ps, other]
- [331] arXiv:2511.00069 (replaced) [pdf, ps, other]
-
Title: On a power series distribution with mean parameterizationComments: 7 pagesSubjects: General Mathematics (math.GM)
- [332] arXiv:2511.02107 (replaced) [pdf, ps, other]
-
Title: Banach Poisson-Lie groups, Lax equations and the AKS theorem in infinite dimensionsComments: 38 pagesJournal-ref: Diff. Geom. Appl. 101, 102310 (2025)Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Functional Analysis (math.FA)
- [333] arXiv:2511.02224 (replaced) [pdf, ps, other]
-
Title: Computational Hardness of Static Distributionally Robust Markov Decision ProcessesAuthors: Yan LiSubjects: Optimization and Control (math.OC)
- [334] arXiv:2511.04416 (replaced) [pdf, ps, other]
-
Title: A note on precotangent bundles: the example of GrassmanniansAuthors: Tomasz GolińskiComments: 8 pagesSubjects: Differential Geometry (math.DG); Mathematical Physics (math-ph); Functional Analysis (math.FA)
- [335] arXiv:2511.06579 (replaced) [pdf, ps, other]
-
Title: Topological Thermodynamics of Black Holes: Revisiting the methods of winding numbers calculationComments: 11 Pages, 3 figuresSubjects: General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
- [336] arXiv:2511.07093 (replaced) [pdf, ps, other]
-
Title: Stability of 0-dimensional persistent homology in enriched and sparsified point cloudsComments: 18 pages, 13 figures. Clarified exposition and motivation. Comments welcomeSubjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG)
- [337] arXiv:2511.09490 (replaced) [pdf, ps, other]
-
Title: The exterior Steklov problem for Euclidean domainsComments: v2: minor revisions; 62 pages; 9 figures; 1 tableSubjects: Spectral Theory (math.SP); Analysis of PDEs (math.AP)
- [338] arXiv:2511.12915 (replaced) [pdf, ps, other]
-
Title: Quantitative blow-up suppression for the Patlak-Keller-Segel(-Navier-Stokes) system via Couette flow on $\mathbb{R}^2$Subjects: Analysis of PDEs (math.AP)
- [339] arXiv:2511.13496 (replaced) [pdf, ps, other]
-
Title: Structural Asymmetry and Rigidity of Bounded Solutions for a Parametrized Complex Linear Differential EquationAuthors: Walid OukilSubjects: Dynamical Systems (math.DS)
- [340] arXiv:2511.13982 (replaced) [pdf, ps, other]
-
Title: Switching Rook Polynomials of Collections of Cells: Palindromicity and Domino-StabilityComments: Every comment is very welcome!Subjects: Combinatorics (math.CO); Commutative Algebra (math.AC)
- [341] arXiv:2511.15953 (replaced) [pdf, ps, other]
-
Title: Topological 5d $\mathcal{N} = 2$ Gauge Theories: Mirror Symmetry and Langlands Duality of $A_\infty$-categories of Floer HomologiesComments: 76 pp. v2: sect. 7.4 and 7.5 are new, where we provide an even more fundamental derivation of the Langlands duality between 5d HW and GM theory, and more. || Companion paper to [arXiv:2311.18302] and [arXiv:2412.20067]. Plenary talk at "International Congress of Basic Science 2025" and "Gauge Theory and String Geometry 2025"Subjects: High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG); Differential Geometry (math.DG); Geometric Topology (math.GT); Symplectic Geometry (math.SG)
- [342] arXiv:2511.17191 (replaced) [pdf, ps, other]
-
Title: Independent sets and colorings of $K_{t,t,t}$-free graphsComments: 24 pages; 2 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
- [343] arXiv:2511.18544 (replaced) [pdf, ps, other]
-
Title: Symbolic computation of optimal systems of subalgebras of three- and four-dimensional real Lie algebrasComments: 27 pages, 7 figuresSubjects: Mathematical Physics (math-ph)
- [344] arXiv:2511.18723 (replaced) [src]
-
Title: N2N: A Parallel Framework for Large-Scale MILP under Distributed MemoryComments: We cannot publish the paper at this time because some internal processes have not yet been completedSubjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Optimization and Control (math.OC)
- [345] arXiv:2511.19708 (replaced) [pdf, ps, other]
-
Title: An Accelerated Distributed Optimization with Equality and Inequality Coupling ConstraintsSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
- [346] arXiv:2511.21620 (replaced) [pdf, ps, other]
-
Title: Mean-square exponential stability of exact and numerical solutions for neutral stochastic delay differential equations with Markovian switchingComments: 23 pages, 4 figures; Added a missing institutional affiliation; other content unchangedSubjects: Numerical Analysis (math.NA); Probability (math.PR)
- [347] arXiv:2511.22303 (replaced) [pdf, ps, other]
-
Title: Twisted (co)homology of non-orientable Weyl semimetalsComments: Minor typo corrections and graphical polishing. 30 pages (+6 pages bibliography), 10 figuresSubjects: Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
- [348] arXiv:2511.22665 (replaced) [pdf, ps, other]
-
Title: On the multiplicity of weak solutions for a class of coupled quasilinear elliptic systemsComments: Keywords: Subcritical nonlinearities, gradient elliptic systems, Dirichlet boundary conditions, quasilinear elliptic equations, nonsmooth critical point theorySubjects: Analysis of PDEs (math.AP)
- [349] arXiv:2512.00648 (replaced) [pdf, ps, other]
-
Title: When is the relative Frobenius an isomorphism?Comments: Several new results and examples have been added in V2, including a new section 3.1. The paper length is now 22 pages. Comments very welcome!Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
- [350] arXiv:2512.00770 (replaced) [pdf, ps, other]
-
Title: Rate-Splitting Multiple Access for Secure Near-Field Integrated Sensing and CommunicationComments: 13 pages and 6 figuresSubjects: Information Theory (cs.IT)
- [351] arXiv:2512.00774 (replaced) [pdf, ps, other]
-
Title: Hybrid Beamfocusing Design for RSMA-Enhanced Near-Field Secure CommunicationsComments: 10 pages and 6 figuresSubjects: Information Theory (cs.IT)
- [352] arXiv:2512.00848 (replaced) [pdf, ps, other]
-
Title: How regular is the evolute of a plane curve?Comments: 8 pages, one figure. Some formulations have been clarifiedSubjects: Differential Geometry (math.DG); Classical Analysis and ODEs (math.CA); Metric Geometry (math.MG)
- [353] arXiv:2512.00982 (replaced) [pdf, ps, other]
-
Title: Counting roots of unity on the graphs of Laurent series over non-Archimedean local fieldsAuthors: Christoph PützComments: v2: Added 4 words to the abstractSubjects: Number Theory (math.NT)
- [354] arXiv:2512.01621 (replaced) [src]
-
Title: Ergodicity and invariant measure approximation of the stochastic Cahn-Hilliard equation via an explicit fully discrete schemeComments: This version contains errors that require substantial revision. I will resubmit a corrected version laterSubjects: Numerical Analysis (math.NA)
- [355] arXiv:2512.02211 (replaced) [pdf, ps, other]
-
Title: Covering by CentralizersSubjects: Group Theory (math.GR)
- [356] arXiv:2512.02829 (replaced) [pdf, ps, other]
-
Title: Divergence-type semigroups in Kleinian groups and Hausdorff dimensionAuthors: Inhyeok ChoiComments: v2: corrected a misleading explanation in the introduction. 21 pages, no figures. Comments welcome!Subjects: Dynamical Systems (math.DS); Group Theory (math.GR)
- [357] arXiv:2512.03767 (replaced) [pdf, ps, other]
-
Title: CaFTRA: Frequency-Domain Correlation-Aware Feedback-Free MIMO Transmission and Resource Allocation for 6G and BeyondSubjects: Systems and Control (eess.SY); Information Theory (cs.IT)
- [358] arXiv:2512.03778 (replaced) [pdf, ps, other]
-
Title: Bi-Isolated d.c.e. Degrees and $Σ_1$ InductionSubjects: Logic (math.LO)
- [359] arXiv:2512.03807 (replaced) [pdf, ps, other]
-
Title: Algorithms for Boolean Matrix Factorization using Integer Programming and HeuristicsComments: 24 pages, 12 tables, 3 figures, 2 typos corrected in v2, code and data available from this https URLSubjects: Information Retrieval (cs.IR); Signal Processing (eess.SP); Optimization and Control (math.OC); Machine Learning (stat.ML)
- [360] arXiv:2512.03915 (replaced) [pdf, ps, other]
-
Title: A Theoretical Framework for Auxiliary-Loss-Free Load Balancing of Sparse Mixture-of-Experts in Large-Scale AI ModelsSubjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
- [361] arXiv:2512.03977 (replaced) [pdf, ps, other]
-
Title: An Information Theory of Finite Abstractions and their Fundamental Scalability LimitsSubjects: Systems and Control (eess.SY); Information Theory (cs.IT); Dynamical Systems (math.DS); Optimization and Control (math.OC)
- [362] arXiv:2512.03986 (replaced) [pdf, ps, other]
-
Title: On the Approaching Geodesic Property via the Quotient InvariantComments: 11 pages, preliminary draft, comments are welcome. This version fixes a technical fault in the previous versionSubjects: Complex Variables (math.CV)
[ showing up to 1000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2512, contact, help (Access key information)