Mathematics
New submissions
[ showing up to 500 entries per page: fewer | more ]
New submissions for Mon, 8 Dec 25
- [1] arXiv:2512.05123 [pdf, ps, other]
-
Title: Tawa Pukllay Proof: New Method for Solving Arithmetic Operations with The Inca Yupana Using Pattern Recognition and ParallelismComments: 10 pages, 7 figures, CONFERENCE PROCEEDINGS 2022 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML). Hangzhou, China. ISBN: 978-1-6654-7364-4Subjects: General Mathematics (math.GM)
Yupana is an Inca device used for arithmetic operations. This article describes a new arithmetical system: Tawa Pukllay (TP), where arithmetic operations do not require mental calculations: no carries, no borrows, no memorization of multiplication tables, nor trial and error procedures for divisions. Instead, user recognizes patterns and makes predefined movements to perform the four basic arithmetic operations very quickly; moreover, the result of the operation can be reached by multiple paths and in parallel, allowing each user to create his own strategies. This paper proves with mathematical rigor that TP produces correct numerical results.
- [2] arXiv:2512.05124 [pdf, ps, other]
-
Title: Information funnels and multiscale gap-space dynamics in Kaprekar's routineAuthors: Christoph D. DahlComments: 13 pages, 7 figuresSubjects: General Mathematics (math.GM)
Kaprekar's routine, i.e., sorting the digits of an integer in ascending and descending order and subtracting the two, defines a finite deterministic map on the state space of fixed-length digit strings. While its attractors (such as 495 for D = 3 and 6174 for D = 4) are classical, the global information-theoretic structure of the induced dynamics and its dependence on the digit length D have received little attention. Here an exhaustive analysis is carried out for D in {3,4,5,6}. For each D, all states are enumerated, their attractors and convergence distances are obtained, and the induced distribution over attractors across iterations is used to construct "entropy funnels". Despite the combinatorial growth of the state space, average distances remain small and entropy decays rapidly before entering a slow tail. Permutation symmetry is then exploited by grouping states into digit multisets and, in a further reduction, into low-dimensional digit-gap features. On this gap space, Kaprekar's routine induces a first-order Markov approximation whose transition structure, stationary distribution and drift fields are characterised, showing that simple gap features strongly constrain the dynamics for D=3 but lose predictive power as D increases.
- [3] arXiv:2512.05141 [pdf, ps, other]
-
Title: On non-existence of bifurcations in one-dimensional Bratu equationSubjects: Dynamical Systems (math.DS)
In this paper, we revisit the classical problem of Bratu differential equation in one-dimension. While it is known that the finite difference discretized form of continuous Bratu equation gives rise to spurious bifurcations, we show that spurious bifurcation points exist even when the finite element approach is employed. We then present an analytical proof demonstrating that there are no bifurcations when the continuous Bratu equation is considered.
- [4] arXiv:2512.05153 [pdf, ps, other]
-
Title: Single-walled carbon nanotubes: the Bloch theory, reciprocal tubes, and a tight-binding approximationAuthors: Yuri A. AntipovComments: 15 pages, 9 figuresSubjects: Mathematical Physics (math-ph)
The electronic structure of a graphene sheet is altered when it is rolled up to form a single-walled carbon nanotube (SWCNT), and the curvature effects for small radius nanotubes become significant. In the paper, an analogue of the Bloch theory of crystals with translational symmetry to armchair, zigzag, and chiral SWCNTs, cylindrical lattices with rotation-translational symmetry, is proposed. It is based on the use of cylindrical coordinates, three-dimensional characteristic vectors of the lattice, a reciprocal tube, and rotation-translation transformations in the real and reciprocal 3d spaces. The Brillouin zone on the reciprocal tube and the domain of the wave-vector are determined. An analogue of the Bloch theorem for SWCNTs is stated and proved. A tight-binding approximation scheme for orbitals orthogonal to the nanotube surface is described, and the Hamiltonian and overlap matrices associated with the first and second nearest-neighbor tight-binding approximations are derived.
- [5] arXiv:2512.05154 [pdf, ps, other]
-
Title: Representing integers as sums of mixed powers of primesSubjects: Number Theory (math.NT)
We establish two new Waring--Goldbach type representations: every sufficiently large odd integer $n$ can be expressed as
\[ n = p_1^2 + p_2^2 + p_3^3 + p_4^3 + p_5^5 + p_6^6 + p_7^c, \]
where each $p_i$ is prime and $c \in \{6,7\}$. - [6] arXiv:2512.05155 [pdf, ps, other]
-
Title: Nonabelian Surface Holonomy from Multiplicative IntegrationAuthors: Hollis WilliamsSubjects: Mathematical Physics (math-ph)
Surface holonomy and the Wess-Zumino phase play a central role in string theory and Chern-Simons models, yet a completely analytic formulation of their nonabelian counterparts has remained elusive. In this work, we show that Yekutieli's theory of multiplicative integration provides such a formulation and realizes explicitly the higher parallel transport structure of Schreiber and Waldorf. Starting from a smooth 2-connection $(\alpha,\beta)$ on a Lie crossed module, we prove that the corresponding multiplicative integrals satisfy the axioms of a transport 2-functor, thereby providing an explicit model for nonabelian surface holonomy. This framework extends the familiar holonomy on $U(1)$-bundle gerbes to arbitrary gauge 2-bundles whilst avoiding abstract categorical machinery. The resulting three-dimensional Stokes theorem yields the Wess-Zumino phase law and gives an analytic counterpart of the boundary phase relation underlying the Chern-Simons functional.
- [7] arXiv:2512.05158 [pdf, ps, other]
-
Title: Continuous-Time Homeostatic Dynamics for Reentrant Inference ModelsAuthors: Byung Gyu ChaeComments: 13 pages, 4 figuresSubjects: Dynamical Systems (math.DS); Machine Learning (cs.LG); Machine Learning (stat.ML)
We formulate the Fast-Weights Homeostatic Reentry Network (FHRN) as a continuous-time neural-ODE system, revealing its role as a norm-regulated reentrant dynamical process. Starting from the discrete reentry rule $x_t = x_t^{(\mathrm{ex})} + \gamma\, W_r\, g(\|y_{t-1}\|)\, y_{t-1}$, we derive the coupled system $\dot{y}=-y+f(W_ry;\,x,\,A)+g_{\mathrm{h}}(y)$ showing that the network couples fast associative memory with global radial homeostasis. The dynamics admit bounded attractors governed by an energy functional, yielding a ring-like manifold. A Jacobian spectral analysis identifies a \emph{reflective regime} in which reentry induces stable oscillatory trajectories rather than divergence or collapse. Unlike continuous-time recurrent neural networks or liquid neural networks, FHRN achieves stability through population-level gain modulation rather than fixed recurrence or neuron-local time adaptation. These results establish the reentry network as a distinct class of self-referential neural dynamics supporting recursive yet bounded computation.
- [8] arXiv:2512.05160 [pdf, other]
-
Title: Do you precondition on the left or on the right?Subjects: Numerical Analysis (math.NA)
This work is a follow-up to a poster that was presented at the DD29 conference. Participants were asked the question: ``Do you precondition on the left or on the right?''. Here we report on the results of this social experiment. We also provide context on left, right and split preconditioning, share our literature review on the topic, and analyze some of the finer points. Two examples illustrate that convergence bounds can sometimes lead to misleading conclusions.
- [9] arXiv:2512.05173 [pdf, ps, other]
-
Title: Weakly Einstein conformal productsComments: 29 pagesSubjects: Differential Geometry (math.DG)
One says that a Riemannian four-manifold is \emph{weakly Einstein} if the three-index contraction of its curvature tensor against itself equals a function times the metric. Since this includes all four-manifolds that are Einstein, or conformally flat and scalar-flat, the term \emph{proper} may be used for weakly Einstein manifolds (or metrics) not belonging to the latter two classes. We establish two classification-type results about proper weakly Einstein metrics conformal to Riemannian products. This includes constructions of new examples, among them -- some of (local) cohomogeneity two, in contrast with the two previously known narrow classes of examples, having cohomogeneity zero and one. We also exhibit a simple coordinate description of one of the known examples, the EPS space, which shows that it is a conformal product and constitutes a single local-homothety type. Finally, we prove that there exist no proper weakly Einstein manifolds with harmonic curvature.
- [10] arXiv:2512.05195 [pdf, ps, other]
-
Title: Isotropic Rank of Harmonic PolynomialsComments: 42 pages and an appendix of 10 pagesSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
Any homogeneous harmonic polynomial can be decomposed as a sum of powers of isotropic linear forms, that is, linear forms whose coefficients are the coordinates of isotropic points. The minimum size of such decompositions for a harmonic polynomial is called its isotropic rank. As with the Waring rank, the problem of determining the isotropic rank of a given harmonic form is very hard. We determine the isotropic rank of a general harmonic form providing a full classification of the dimensions of secant varieties of the variety of d-powers of isotropic linear forms in n+1 variables, for every n,d, thus obtaining the analogue of the widely-celebrated Alexander-Hirschowitz theorem. Moreover, we completely solve the problem of determining the isotropic rank for the following classes of harmonic forms: ternary forms, quadrics and monomials.
- [11] arXiv:2512.05206 [pdf, ps, other]
-
Title: Set theory, logic, and homeomorphism groups of manifoldsComments: 41 pages, one figureSubjects: Geometric Topology (math.GT); Group Theory (math.GR); Logic (math.LO)
We investigate the relationship between axiomatic set theory and the first-order theory of homeomorphism groups of manifolds in the language of group theory, concentrating on first-order rigidity and type versus conjugacy. We prove that under the axiom of constructibility (i.e. {V=L}), homeomorphism groups of arbitrary connected manifolds are first-order rigid, and that the conjugacy class of a homeomorphism of a manifold is determined by its type. In contradistinction, under projective determinacy (PD), we show that in all dimensions greater than one, there exist pairs of noncompact, connected manifolds whose homeomorphism groups are elementarily equivalent but which are not homeomorphic. We also show that under PD, every manifold of positive dimension admits pairs of homeomorphisms with the same type which are not conjugate to each other. Finally, we show that infinitary sentences do determine conjugacy classes of homeomorphisms and homeomorphism types of manifolds; specifically, the conjugacy class of a homeomorphism of an arbitrary manifold is determined by a single $L_{\omega_1\omega}$ sentence. Similarly, the homeomorphism type of an arbitrary connected manifold is determined by a single $L_{\omega_1\omega}$ sentence.
- [12] arXiv:2512.05214 [pdf, ps, other]
-
Title: Towards a logic of affordancesSubjects: Logic (math.LO)
We aim to construct a formal theory of affordances seen as ternary relations. Beginning with a characterization of affordances proposed by James J. Gibson, and utilizing the tools provided by Zdzis{\l}aw Pawlak's information systems and rough sets, we construct a mathematically precise definition of both crisp and rough affordances. Then, we analyze modal and approximation operators that enable reasoning about affordances in both scenarios.
- [13] arXiv:2512.05215 [pdf, ps, other]
-
Title: Detecting Direct Sums of Tensors and Their LimitsComments: 22 pagesSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
We generalize Mammana's classification of limits of direct sums to more than two factors. We also extend it from polynomials to arbitrary Segre-Veronese format, generalising and unifying results of Buczy\'nska-Buczy\'nski-Kleppe-Teitler, Hwang, Wang, and Wilson. Remarkably, in such much more general setup it is still possible to characterise the possible limits. Our proofs are direct and based on the theory of centroids, in particular avoiding the delicate Betti number arguments.
- [14] arXiv:2512.05219 [pdf, ps, other]
-
Title: Flexibility of affine cones over a smooth complete intersection of two quadricsComments: 15 pagesSubjects: Algebraic Geometry (math.AG)
We prove flexibility of two families of affine varieties: the complement in $\mathbb{P}^n$ of a projective quadric of rank at least three and affine cones over a smooth complete intersection of two quadrics in $\mathbb{P}^{n + 2}$, $n \ge 3$.
- [15] arXiv:2512.05223 [pdf, ps, other]
-
Title: On Circuit Imbalance and 0/1 Circuits for Coloring and Spanning Forest ProblemsSubjects: Optimization and Control (math.OC)
Circuits are fundamental objects in linear programming and oriented matroid theory, representing the elementary difference vectors of a polyhedron between points in its affine space. A recent concept introduced by Ekbatani, Natura, and V\'egh, the circuit imbalance, serves as a complexity measure relevant to iteration bounds for circuit-based augmentation and circuit diameters, as well as the general interpretability of circuits in terms of the underlying application. In this paper, we analyze linear programming formulations of relaxed combinatorial optimization problems to prove two contrasting types of results related to the circuit imbalance.
On one hand, we identify simple and common constraint structures, in particular arising in graph-theoretic problems, that inherently lead to an exponential circuit imbalance. These constructions show that, in quite general situations, working with the entire set of circuits poses significant challenges for an application of circuit augmentation or the study of circuit diameters.
On the other hand, through a case study of two classic graph-theoretic problems with exponential imbalance, the vertex graph coloring problem and the maximum weight forest problem, we exhibit the existence of sets and subsets of highly interpretable circuits of (best-case) imbalance 1. These sets correspond to the recoloring of vertices or to the addition or removal of edges, respectively, for example generalizing classic concepts of Kempe dynamics in coloring. Their interpretability in terms of the underlying application facilitates a study of circuit walks in the corresponding polytopes. We prove that a restriction of circuit walks to these sets suffices to not only guarantee reachability of the integral extreme-points of the skeleton, but leads to linear and constant circuit diameter bounds, respectively. - [16] arXiv:2512.05228 [pdf, ps, other]
-
Title: Integral cluster structures on quantized coordinate ringsComments: 42 pagesSubjects: Quantum Algebra (math.QA); Rings and Algebras (math.RA); Representation Theory (math.RT)
We develop (quantum) cluster algebra structures over arbitrary commutative unital rings $\Bbbk$ and prove that the (quantized) coordinate rings of connected simply-connected complex simple algebraic groups $G$ over $\Bbbk$ admit such structures. We first show that the integral form of the quantized coordinate ring of $G$ admits an upper quantum cluster algebra structure over $\mathbb{A}=\mathbb{Z}[q^{\pm\frac{1}{2}}]$ by using a combination of tools from quantum groups, canonical bases and cluster algebras and a previous result of the second and third authors over $\mathbb{Q}(q^{\frac{1}{2}})$. We then obtain (integral) quantum versions of recent results of the first author: when $G$ is not of type $F_4$, the quantized coordinate ring of $G$ admits a quantum cluster algebra structure over $\mathbb{A}'$, where $\mathbb{A}'=\mathbb{A}$ when $G$ is not of types $G_2$, $E_8$, and $F_4$; $\mathbb{A}'=\mathbb{A}[(q^2+1)^{-1}]$ when $G$ is of type $G_2$, and $\mathbb{A}'=\mathbb{Q}(q^{\frac{1}{2}})$ when $G$ is of type $E_8$. We furthermore prove that the classical versions of these results hold over $\mathbb{A}'$ (where $\mathbb{A}'=\mathbb{Z}$ if $G$ is not of type $F_4$ or $G_2$ and $\mathbb{A}'=\mathbb{Z}[\frac{1}{2}]$ if $G$ is of type $G_2$) and that the integral form of the coordinate ring of $G$ of type $F_4$ is an upper cluster algebra. Finally, by using common triangular bases of (quantum) cluster algebras, we prove that the above results also hold under specializations of $\mathbb{A}$ and $\mathbb{A}'$ to commutative unital rings $\Bbbk$.
- [17] arXiv:2512.05232 [pdf, ps, other]
-
Title: Nerves of generalized multicategoriesComments: 43 pagesSubjects: Category Theory (math.CT)
For any category ${\mathcal E}$ and monad $T$ thereon, we introduce the notion of $T$-simplicial object in ${\mathcal E}$. Any $T$-category in the sense of Burroni induces a $T$-simplicial object as its nerve. This nerve construction defines a fully faithful functor from the category $\mathbf{Cat}_T({\mathcal E})$ of $T$-categories to the category $s_T({\mathcal E})$ of $T$-simplicial objects, whose essential image is characterized by a simple condition. We show that the category $s_T({\mathcal E})$ is enriched over the category of simplicial sets, and that this induces the usual 2-category structure on $\mathbf{Cat}_T({\mathcal E})$. We also study enriched limits and colimits in $s_T({\mathcal E})$ and $\mathbf{Cat}_T({\mathcal E})$, and show that if ${\mathcal E}$ is locally finitely presentable and $T$ is finitary, then $\mathbf{Cat}_T({\mathcal E})$ is locally finitely presentable as a 2-category and $s_T({\mathcal E})$ is locally finitely presentable as a simplicially-enriched category.
- [18] arXiv:2512.05233 [pdf, ps, other]
-
Title: Ratio of Intrinsic Metric to Extrinsic Metric and VolumeAuthors: Berk CeylanSubjects: Differential Geometry (math.DG); Metric Geometry (math.MG)
We study the relationship between the ratio of intrinsic to extrinsic metrics and area. For certain surfaces inside unit ball in R3 we give lower bound on the maximum of ratio in terms of its area. We also give examples to show non-existence of global lower bounds.
- [19] arXiv:2512.05248 [pdf, ps, other]
-
Title: Extremes of Brownian Decision TreesSubjects: Probability (math.PR)
We consider a Brownian motion with linear drift that splits at fixed time points into a fixed number of branches, which may depend on the branching point. For this process, which we shall refer to as the Brownian decision tree, we investigate the exact asymptotics of high exceedance probabilities in finite time horizon, including: the probability that at least one branch exceeds some high threshold, the probability that the largest distance between branches gets large and the probability that all branches simultaneously exceed some high barrier. Additionally, we find the asymptotics for the probability that all branches of at least one of $M$ independent Brownian decision trees exceed a high threshold.
- [20] arXiv:2512.05249 [pdf, ps, other]
-
Title: Low-Complexity OFDM Deep Neural ReceiversSubjects: Information Theory (cs.IT)
Deep neural receivers (NeuralRxs) for Orthogonal Frequency Division Multiplexing (OFDM) signals are proposed for enhanced decoding performance compared to their signal-processing based counterparts. However, the existing architectures ignore the required number of epochs for training convergence and floating-point operations (FLOPs), which increase significantly with improving performance. To tackle these challenges, we propose a new residual network (ResNet) block design for OFDM NeuralRx. Specifically, we leverage small kernel sizes and dilation rates to lower the number of FLOPs (NFLOPs) and uniform channel sizes to reduce the memory access cost (MAC). The ResNet block is designed with novel channel split and shuffle blocks, element-wise additions are removed, with Gaussian error linear unit (GELU) activations. Extensive simulations show that our proposed NeuralRx reduces NFLOPs and improves training convergence while improving the decoding accuracy.
- [21] arXiv:2512.05250 [pdf, ps, other]
-
Title: The $cd$-index of base polytopes for connected split matroidsSubjects: Combinatorics (math.CO)
We compute the $cd$-index $\Psi_{cd}$ of matroid base polytopes $\mathscr{P}(M)$ for a large family of matroids $M$. The $cd$-index is a polynomial in two non-commutative variables that compactly encodes the count of face flags $\mathcal{F} = \{\sigma_1 \subset \dots \subset \sigma_s \}$ with prescribed $\dim \sigma_i = d_i$. This comprises the $f$-vector of $\mathscr{P}(M)$, which recently Ferroni and Schr\"oter treated as an almost-valuative invariant; i.e. a valuative part plus an error term. We initiate a similar program for $\Psi_{cd}(\mathscr{P}(M))$ and show that for an elementary split matroid $M$ the error term in the computation of $\Psi_{cd}(\mathscr{P}(M))$ surprisingly depends only on modular pairs of cyclic flats.
This allows us to implement computations requiring only the counts $\lambda(r,h)$ and $\mu(\alpha,\beta,a,b)$ of cyclic flats and modular pairs of cyclic flats, respectively, that fulfill some rank and cardinality conditions. We illustrate the methods with sparse paving matroids. - [22] arXiv:2512.05258 [pdf, ps, other]
-
Title: Calculation of Univariate Pade Approximants for solutions of the Michaelis-Menten equation with first order input using the Tau methodAuthors: Gareth HegartyComments: 17 pages; The first of 3 papers with applications in pharmacometricsSubjects: Numerical Analysis (math.NA)
In this paper the Jacobi formula is used to recursively generate (diagonal) univariate Pade approximants using the Tau method for solutions Michaelis-Menten equation with first order input. In the algorithm the Jacobi coefficients and error terms in the Tau method are postulated to have a particular form, and this form is maintained by specific patterns of cancellations.
- [23] arXiv:2512.05260 [pdf, ps, other]
-
Title: Integrals involving arbitrary powers of the arcsine, with applications to infinite seriesSubjects: Number Theory (math.NT); Functional Analysis (math.FA)
Using appropriate power series evaluations, we determine all moments of arbitrary positive powers of the arcsine. As consequences we evaluate several doubly infinite classes of power series involving central binomial coefficients and generalized multiple harmonic sums. By specializing the variable involved, we then evaluate classes of numerical sequences, mostly in terms of powers of $\pi$. Finally, we obtain limit expressions for arbitrary powers of $\pi$.
- [24] arXiv:2512.05263 [pdf, ps, other]
-
Title: Descending sequences in reflection hierarchiesSubjects: Logic (math.LO)
There is no recursively enumerable sequence of sufficiently strong 2-consistent r.e. theories such that each proves the $2$-consistency of the next. Montalb\'an and Shavrukov independently asked whether this result generalizes to $0'$-recursive sequences. We consider a general version of this problem: For arbitrary $n$, for which complexity classes $\Gamma$ are there $\Gamma$-definable sequences of $n$-consistent r.e. theories each of which proves the $n$-consistency of the next? The answer to this question depends not only on $n$ and $\Gamma$ but also on the manner in which sequences are encoded in arithmetic. We provide positive answers for certain encodings and negative answers for others.
- [25] arXiv:2512.05267 [pdf, ps, other]
-
Title: Uncertainty-Aware Data-Efficient AI: An Information-Theoretic PerspectiveSubjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
In context-specific applications such as robotics, telecommunications, and healthcare, artificial intelligence systems often face the challenge of limited training data. This scarcity introduces epistemic uncertainty, i.e., reducible uncertainty stemming from incomplete knowledge of the underlying data distribution, which fundamentally limits predictive performance. This review paper examines formal methodologies that address data-limited regimes through two complementary approaches: quantifying epistemic uncertainty and mitigating data scarcity via synthetic data augmentation. We begin by reviewing generalized Bayesian learning frameworks that characterize epistemic uncertainty through generalized posteriors in the model parameter space, as well as ``post-Bayes'' learning frameworks. We continue by presenting information-theoretic generalization bounds that formalize the relationship between training data quantity and predictive uncertainty, providing a theoretical justification for generalized Bayesian learning. Moving beyond methods with asymptotic statistical validity, we survey uncertainty quantification methods that provide finite-sample statistical guarantees, including conformal prediction and conformal risk control. Finally, we examine recent advances in data efficiency by combining limited labeled data with abundant model predictions or synthetic data. Throughout, we take an information-theoretic perspective, highlighting the role of information measures in quantifying the impact of data scarcity.
- [26] arXiv:2512.05269 [pdf, ps, other]
-
Title: Eventually constant maps for two sets and nilpotent pairsComments: 21 pages, 10 figuresSubjects: Combinatorics (math.CO); Rings and Algebras (math.RA); Representation Theory (math.RT)
We give a bijective correspondence between the number of nilpotent matrices over a Boolean semiring and the number of directed acyclic graphs on ordered vertices. We then enumerate pairs of maps between two finite sets whose composites are eventually constant by forming a bijection that relates a pair of such maps with a spanning tree in a complete bipartite graph, and an edge of said tree. This generalizes the main principle of A. Joyal's proof of Cayley's formula. Finally, we generalize T. Leinster's work by considering a pair of finite-dimensional vector spaces and show a bijectivity between a nilpotent pair of maps and a balanced vector with the hom spaces between them. This leads us to an elegant formula for the number of nilpotent pairs.
- [27] arXiv:2512.05273 [pdf, ps, other]
-
Title: Free quasi-Banach latticesComments: 35 pagesSubjects: Functional Analysis (math.FA)
We study different versions of \emph{free objects} in the setting of quasi-Banach spaces and quasi-Banach lattices. Special attention is devoted to the free $p$-convex $p$-Banach lattice $\operatorname{FpBL}^{(p)}[E]$ generated by a $p$-natural quasi-Banach space $E$, for which we provide a functional representation by means of operators into $L_p[0,1]$. This representation yields, among other consequences: (1) Operators from a Banach space $E$ to any $p$-convex $(0<p<1)$ quasi-Banach lattice $X$ can be extended to lattice homomorphisms $\operatorname{FBL}[E] \to X$ with control of the norm. (2) The space $\ell_p(\Gamma)$ $(0<p<1)$ is a projective $p$-Banach lattice precisely when $\Gamma$ is countable. (3) The free vector lattice generated by $E$ sits inside $\operatorname{FpBL}^{(p)}[E]$ as a dense sublattice.
- [28] arXiv:2512.05274 [pdf, ps, other]
-
Title: The modified Camassa-Holm equation on the half line: a Riemann--Hilbert approachComments: 39 pages, 4 figuresSubjects: Analysis of PDEs (math.AP)
We consider the initial-boundary value (IBV) problem for the modified Camassa--Holm (mCH) equation $ \tilde m_t+\left((\tilde u^2-\tilde u_x^2+2\tilde u)\tilde m\right)_x = 0$, $\tilde m:=\tilde u-\tilde u_{xx}+1$ on the half line
$x \ge 0$. We provide a characterization of the solution of the IBV
problem in terms of the solution of a matrix Riemann--Hilbert (RH) factorization
problem in the complex plane of the spectral parameter. The data of this RH problem
are determined in terms of spectral functions associated with the initial and boundary values
of the solution, whose compatibility is characterized in spectral terms. - [29] arXiv:2512.05275 [pdf, ps, other]
-
Title: p-adic Hodge parameters in the crystalline representations of GSp4Authors: Xiaozheng HanSubjects: Number Theory (math.NT); Representation Theory (math.RT)
This article gives a generalization of the work of Y.Ding in the context of $\mathrm{GSp}_4(\mathbb{Q}_p)$, where $p$ is an odd prime number. Let $\rho$ be a 4-dimensional generic non-critical crystalline representations of the absolute Galois group of $\mathbb{Q}_p$ of regular Hodge-Tate weights which is valued in $\mathrm{GSp}_4(E)$, where $E$ is a finite extension of $\mathbb{Q}_p$, we associate to $\rho$ an explicit locally analytic $E$-representation $\pi_\mathrm{min}(\rho)$ of $\mathrm{GSp}_4(\mathbb{Q}_p)$, which encodes enough information to determines $\rho$. Moreover, under certain settings, this construction follows the local-global compatibility.
- [30] arXiv:2512.05278 [pdf, ps, other]
-
Title: Stability analysis of very high order minimization-based and Taylor-based embedded boundary treatments of discontinuous Galerkin for hyperbolic equationsAuthors: Mirco CiallellaSubjects: Numerical Analysis (math.NA)
In this paper, we present a stability analysis of very high order embedded boundary methods, specifically the Reconstruction for Off-site Data (ROD) and Shifted Boundary (SB) methods, coupled with a discontinuous Galerkin discretization for the linear advection equation. In unfitted configurations, these methods impose consistent modified boundary conditions on the computational boundary. Due to the high algebraic complexity of very high order schemes, the stability is studied by visualizing the eigenspectrum of the discretized operators. A recent study on the SB method demonstrated that its Taylor expansion can be formulated as a direct polynomial correction. In this work, we prove that the ROD minimization problem admits an analogous polynomial correction. This unified perspective provides significant benefits: algorithmically, it greatly simplifies the implementation of ROD by eliminating the need for linear system inversions at each iteration; mathematically, it enables a rigorous stability study. For completeness, a side-by-side stability analysis of the ROD and SB methods is presented for polynomials up to degree 6. Furthermore, due to the stability restrictions of embedded methods for hyperbolic problems, a coupling with both explicit and implicit time integration is investigated. A set of numerical experiments confirms the findings of the stability study.
- [31] arXiv:2512.05282 [pdf, ps, other]
-
Title: Entropic selection for optimal transport on the line with distance costAuthors: Armand LeySubjects: Optimization and Control (math.OC)
We study the small-regularisation limit of the entropic optimal transport problem on the line with distance cost. While convergence of entropic minimizers is well understood in the discrete setting and in the case where the cost is continuous and there is a unique optimal transport plan, the question of existence and characterization outside these settings remains largely open. We propose a natural candidate for the limiting object and establish its convergence under mutual singularity of the marginals. For arbitrary marginals, we moreover prove that every limit point of entropic minimizers obeys a structural condition known as weak multiplicativity. The construction of our candidate relies on a decomposition theorem for optimal transport plan that we believe is of independent interest. This article complements the previous work of Di Marino and Louet.
- [32] arXiv:2512.05284 [pdf, ps, other]
-
Title: A motivic Weil height machine for curvesComments: 92 pages, comments welcomeSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
The rational points of a smooth curve $X$ over a number field $k$ map to the set of augmentations of the associated motivic algebra. An expectation, related to Kim's conjecture, is that for $X$ hyperbolic, the set of augmentations which come locally at each place of $k$ from a point is equal to the set of rational points. Our view is that this should provide a relative of the Grothendieck section conjecture which may be both more accessible, and more directly applicable, than the latter.
As a first step in this direction, we extend aspects of the ``Weil height machine'' to the set of such augmentations, and use this to prove a Manin--Dem'janenko-style finiteness result for motivic augmentations for particular curves. Along the way, we determine the structure of the cohomological motive of a $\mathbb{G}_m$-bundle over an algebraic variety as a highly structured algebra in the derived $\infty$-category of mixed motives with rational coefficients. - [33] arXiv:2512.05285 [pdf, ps, other]
-
Title: Polyak-Łojasiewicz inequality is essentially no more general than strong convexity for $C^2$ functionsAuthors: Aziz Ben NejmaSubjects: Optimization and Control (math.OC)
The Polyak-{\L}ojasiewicz (P{\L}) inequality extends the favorable optimization properties of strongly convex functions to a broader class of functions. In this paper, we show that the richness of the class of P{\L} functions is rooted in the nonsmooth case since sufficient regularity forces them to be essentially strongly convex. More precisely, we prove that if $f$ is a $C^2$ P{\L} function having a bounded set of minimizers, then it has a unique minimizer and is strongly convex on a sublevel set of the form $\{f\leq a\}$.
- [34] arXiv:2512.05286 [pdf, ps, other]
-
Title: Randomized Algorithms for Low-Rank Matrix and Tensor DecompositionsSubjects: Numerical Analysis (math.NA)
This paper surveys randomized algorithms in numerical linear algebra for low-rank decompositions of matrices and tensors. The survey begins with a review of classical matrix algorithms that can be accelerated by randomized dimensionality reduction, such as the singular value decomposition (SVD) or interpolative (ID) and CUR decompositions. Recent advances in randomized dimensionality reduction are discussed, including new methods of fast matrix sketching and sampling techniques, which are incorporated into classical matrix algorithms for fast low-rank matrix approximations. The extension of randomized matrix algorithms to tensors is then explored for several low-rank tensor decompositions in the CP and Tucker formats, including the higher-order SVD, ID, and CUR decomposition.
- [35] arXiv:2512.05289 [pdf, ps, other]
-
Title: Seshadri Regions and the Asymptotic Shape of Multigraded RegularityComments: 32 pages, 5 figures, comments very welcome!Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
We introduce the Seshadri region of a subvariety, a convex region packaging the classical Seshadri constants with respect to every line bundle simultaneously. We develop the theory of Seshadri regions as a measure of positivity along subvarieties and apply it to determine asymptotic Castelnuovo-Mumford regularity for ideal powers and symmetric powers on smooth projective toric varieties.
- [36] arXiv:2512.05293 [pdf, ps, other]
-
Title: Largest acylindrical actions of free-by-cyclic groupsComments: 19 pages, 1 figureSubjects: Group Theory (math.GR); Metric Geometry (math.MG)
We show that every finitely generated free-by-cyclic group $G$ admits a largest acylindrical action on a hyperbolic space $X$ obtained by coning off maximal product subgroups of $G$. We characterise Morse geodesics of $G$ as those that project to quasigeodesics in $X$, thus showing that all finitely generated free-by-cyclic groups are Morse local-to-global. We also characterise the stable and strongly quasiconvex subgroups of $G$. Finally, we compute the Morse boundary for \{finitely generated free\}-by-cyclic groups with unipotent and polynomially growing monodromy.
- [37] arXiv:2512.05302 [pdf, ps, other]
-
Title: On Matsushita $π_1^2$ discrete fundamental groupsComments: 14 pagesSubjects: Combinatorics (math.CO)
The Matsushita fundamental groups of a graph $X$, denoted $\pi_1^r(X)$, are certain discrete versions of the fundamental group for topological spaces. For $r=2$, these groups have a nice combinatorial description, due to Sankar. In this paper we prove two results about $\pi_1^2$. First, we prove a Seifert-van Kampen-type theorem. Similar results have previously been obtained by Barcelo, et al. (and strengthened by Kapulkin and Mavinkurve) for a different notion of discrete fundamental group. Second, we prove that an arbitrary group $G$ can be realized as $\pi_1^2(X)$ for some graph $X$. Our construction works equally well for the aforementioned alternate discrete fundamental group, and our second result thus generalizes a theorem of Kapulkin and Mavinkurve which applies only to finitely presented groups $G$.
- [38] arXiv:2512.05307 [pdf, ps, other]
-
Title: Indecomposability and beyond via the graph of edge dependenciesComments: 40 pages, 15 figuresSubjects: Combinatorics (math.CO)
A polytope is called indecomposable if it cannot be expressed (non-trivially) as a Minkowski sum of other polytopes. Since the concept was introduced by Gale in 1954, several increasingly strong criteria have been developed to characterize indecomposability. Our first contribution is a new indecomposability criterion that unifies and generalizes most of the previous techniques. The key new ingredient of our method is the introduction of the graph of (implicit) edge dependencies, which has broader applications in the study of deformation cones of polytopes, beyond indecomposability. One of our main applications is providing new indecomposable deformed permutahedra that are not matroid polytopes. In 1970, Edmonds posed the problem of characterizing the extreme rays of the submodular cone, that is, indecomposable deformed permutahedra. Matroid polytopes from connected matroids give one such family of polytopes. We provide a new infinite disjoint family by taking certain graphical zonotopes and deeply truncating 1 or 2 specific vertices. In this way, we construct $2 \lfloor\frac{n-1}{2}\rfloor$ new indecomposable deformations of the $n$-permutahedron in $\mathbb{R}^n$. We also showcase other applications of our tools. For example, we use them to refute a conjecture by Smilansky (1987) stating that an indecomposable polytope needs to have few vertices with respect to its number of facets. We provide bounds on the dimension of deformation cones and characterize certain of their rays, we introduce parallelogramic Minkowski sums whose deformation cone can be written as a product of deformation cones, and we construct indecomposable polytopes via truncations and stackings.
- [39] arXiv:2512.05308 [pdf, ps, other]
-
Title: Stability Conditions for Multigraded RingsAuthors: Felix GöblerSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
Let $D$ be a finitely generated abelian group and $S$ a $D$-graded ring. We introduce a geometric semistability condition for points $x \in \Spec(S)$, characterized by maximal-dimensional orbit cones $\sigma(x)$. This set of geometrically semistable points $X^{\mathrm{gss}}$ yields a new framework for the $D$-graded Proj construction, which is equivalently given as the geometric quotient of $D(S_+) = \Spec(S) \setminus V(S_+)$ by the torus $\Spec(S_0[D])$, where $S_+ \unlhd S$ is the ideal generated by all relevant elements.
We show that orbit cones are unions of relevant cones $\CC_D(f)$. This yields a chamber decomposition of the weight space $\sigma(S) = \overline{\Cone}(d \in D \mid S_d \neq 0)$, determined entirely by relevant elements. In particular, we obtain $\Proj^D(S) = X^{\mathrm{gss}}\sslash \Spec(S_0[D])$.
As an application, for a simplicial toric (pre-)variety $X$ with full-dimensional convex support and $S = \Cox(X)$, this chamber decomposition of its weight space recovers the secondary fan of $X$. Consequently, when $d \in D = \Cl(X)$, the space $\Proj^D(S)$ is exactly the direct limit of all GIT quotients $\BA^n \sslash_{\chi^d} \Spec(S_0[D])$ of $X$. - [40] arXiv:2512.05312 [pdf, ps, other]
-
Title: Sewing lemma and knitting lemma for metric spacesComments: To apperar in prceedings of the CATMI conference, Bergen, June 26-30 2023Subjects: Classical Analysis and ODEs (math.CA); Category Theory (math.CT)
We state and prove a sewing lemma in the general context of families of complete metric spaces indexed by an interval of the real line, encompassing the flow sewing lemma proved by I. Bailleul in 2015. A further generalisation to other metric parameter spaces P than intervals is moreover proposed, leading to a representation of the groupoid of thin-equivalent Lipschitz paths on P . Under a stronger hypothesis, we finally prove a two-dimensional version, the knitting lemma, which gives rise to a representation of the Lipschitz homotopy groupoid of the parameter space, without thinness condition.
- [41] arXiv:2512.05316 [pdf, ps, other]
-
Title: Foundations of information theory for coding theorySubjects: Information Theory (cs.IT); Probability (math.PR)
Information theory is introduced in this lecture note with a particular emphasis on its relevance to algebraic coding theory. The document develops the mathematical foundations for quantifying uncertainty and information transmission by building upon Shannon's pioneering formulation of information, entropy, and channel capacity. Examples, including the binary symmetric channel, illustrate key concepts such as entropy, conditional entropy, mutual information, and the noisy channel model. Furthermore, the note describes the principles of maximum likelihood decoding and Shannon's noisy channel coding theorem, which characterizes the theoretical limits of reliable communication over noisy channels. Students and researchers seeking a connection between probabilistic frameworks of information theory and structural and algebraic techniques used in modern coding theory will find this work helpful.
- [42] arXiv:2512.05317 [pdf, ps, other]
-
Title: Restriction of the metaplectic representation over a $p$-adic field to an anisotropic torusSubjects: Representation Theory (math.RT)
In this article, we examine the restriction of the metaplectic representation $\pi$ over a $p$-adic field $k$, $p\neq2$, of zero characteristic to an isotropic torus $S$ contained in the symplectic group. First we give necessary and sufficient conditions on the momentum map in order that $S$ be admissible, that is $\pi_{\vert S}$ decomposes with finite multiplicities.
Let us say that a torus contained in the symplectic group is irreducible if its action on the symplectic space is irreducible over $k$. Then we examine the case when $S$ is a proper subtorus of a maximal irreducible torus $T$ in the symplectic group and give sufficient conditions on $T$ in order that $S$ never be admissible. When these conditions are not satisfied, we give examples of admissible proper tori of a maximal irreducible torus.
Finally, for any admissible subtorus $S$ of a certain type of maximal irreducible torus, we compute the multiplicity of the unitary characters of $S$ appearing into $\pi_{\vert S}$. We also show that the multiplicity of such a character is equal to the volume of the symplectic reduction of the inverse image under the momentum map of a linear form associated to it. - [43] arXiv:2512.05319 [pdf, ps, other]
-
Title: From the discrete to the continuous, from simplicial complexes to Riemannian manifolds. Approximating flows and cuts on manifolds by discrete versionsComments: SurveySubjects: Differential Geometry (math.DG); Dynamical Systems (math.DS); Metric Geometry (math.MG)
Many fundamental structures of Riemannian geometry have found discrete counterparts for graphs or combinatorial ones for simplicial complexes. These include those discussed in this survey, Hodge theory, Morse theory, the spectral theory of Laplace type operators and Cheeger inequalities, and their interconnections. This raises the question of the relation between them, abstractly as structural analogies and concretely what happens when a graph constructed from random sampling of a Riemannian manifold or a simplicial complex triangulating such a manifold converge to that manifold. We survey the current state of research, highlighting some recent developments like Cheeger type inequalities for the higher dimensional geometry of simplicial complexes, Floer type constructions in the presence of periodic or homoclinic orbits of dynamical systems or the disorientability of simplicial complexes.
- [44] arXiv:2512.05324 [pdf, ps, other]
-
Title: Deep Centralization for the Circumcentered Reflection MethodAuthors: Pablo BarrosSubjects: Optimization and Control (math.OC)
We introduce the extended centralized circumcentered reflection method (ecCRM), a framework for two-set convex feasibility that encompasses the classical centralized CRM (cCRM) of Behling, Bello-Cruz, Iusem and Santos as a special case. Our method replaces the fixed centralization step of cCRM with an admissible operator $T$ and a parameter $\alpha$, allowing control over computational cost and step quality. We show that ecCRM retains global convergence, linear rates under mild regularity, and superlinearity for smooth manifolds. Numerical experiments on large-scale matrix completion indicate that deeper operators can dramatically reduce overall runtime, and tests on high-dimensional ellipsoids show that vanishing step sizes can yield significant acceleration, validating the practical utility of both algorithmic components of ecCRM.
- [45] arXiv:2512.05340 [pdf, ps, other]
-
Title: The rate of convergence of the critical mean-field O(N) magnetization via multivariate nonnormal Stein's methodComments: 33 pagesSubjects: Probability (math.PR); Mathematical Physics (math-ph)
We study the distribution of the magnetization of the critical mean-field O(N) model with N > 1. Specifically, we bound the Wasserstein distance between the finite-volume and limiting distributions, in terms of the number of spins. To achieve this, we extend a recent multivariate nonnormal approximation theorem. This generalizes known results for the Curie-Weiss magnetization to the multivariate O(N) setting.
- [46] arXiv:2512.05344 [pdf, ps, other]
-
Title: Blow-up suppression of the Patlak-Keller-Segel-Navier-Stokes system via Taylor-Couette flowSubjects: Analysis of PDEs (math.AP)
Motivated by the use of Taylor-Couette flow in extracorporeal circulation devices [K$\ddot{\rm o}$rfer et al., 2003, 26(4): 331-338], where it leads to an accumulation of platelets and plasma proteins in the vortex center and therefore to a decreased probability of contact between platelets and material surfaces and its protein adsorption per square unit is significantly lower than laminar flow. Increased platelet adhesion or protein adsorption on the device surface can induce platelet aggregation or thrombosis, which is analogous to the ``blow-up phenomenon" in mathematical modeling. Here we mathematically analyze this stability mechanism and demonstrate that sufficiently strong flow can prevent blow-up from occurring. In details, we investigate the two-dimensional Patlak-Keller-Segel-Navier-Stokes system in an annular domain around a Taylor-Couette flow $U(r,\theta)=A\big(r+\frac{1}{r} \big)(-\sin\theta, \cos\theta)^{T}$ with $(r,\theta)\in[1,R]\times\mathbb{S}^{1}$, and prove that the solutions are globally bounded without any smallness restriction on the initial cell mass or velocity when $A$ is large.
- [47] arXiv:2512.05345 [pdf, ps, other]
-
Title: More counterexamples to the Arithmetic Puncturing ProblemAuthors: Finn BartschComments: 9 pages, comments welcome!Subjects: Algebraic Geometry (math.AG); Complex Variables (math.CV); Number Theory (math.NT)
We construct examples of threefolds with terminal singularities (resp. surfaces with canonical singularities) which are special in the sense of Campana, have a potentially dense set of integral points, admit a dense entire curve, have vanishing Kobayashi pseudometric, and are geometrically special in the sense of Javanpeykar-Rousseau but whose regular locus fails to have any of these properties. This improves on earlier work by Cadorel-Campana-Rousseau and joint work by the author with Javanpeykar-Levin, where such fourfolds with canonical singularities were constructed, and gives refined answers to questions due to Hassett-Tschinkel and Kamenova-Lehn. Lastly, we show that some of our examples satisfy the weak approximation property and briefly discuss a question on puncturing varieties satisfying strong approximation raised by Wittenberg.
- [48] arXiv:2512.05351 [pdf, ps, other]
-
Title: The $k$-core of a graph and its high-order spectraSubjects: Combinatorics (math.CO)
The $k$-core of a graph is its largest subgraph with minimum degree at least $k$, a fundamental concept for uncovering hierarchical structures. In this paper, we establish a connection between the $k$-core and the high-order spectra of graphs, a concept originally introduced by Cvetkovi\'{c}, Doob, and Sachs. Specifically, we consider the high-order spectra defined via the $k$-adjacency tensor. Within this framework, we prove that a graph admits a non-empty $k$-core if and only if the spectral radius of the $k$-adjacency tensor is greater than or equal to $1$. Moreover, when the $k$-core exists, vertices corresponding to positive entries in the Perron vector of the $k$-adjacency tensor belong to the $k$-core. We thus define the $k$-order eigenvector centrality via the Perron vector, which provides both membership identification and a measure of relative influence within the $k$-core. Numerical experiments confirm our theoretical findings and illustrate the properties of this centrality measure in some real-world networks.
- [49] arXiv:2512.05357 [pdf, ps, other]
-
Title: Universality of asymptotic graph homomorphismSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Information Theory (cs.IT)
The Shannon capacity of graphs, introduced by Shannon in 1956 to model zero-error communication, asks for determining the rate of growth of independent sets in strong powers of graphs. Much is still unknown about this parameter, for instance whether it is computable. Recent work has established a dual characterization of the Shannon capacity in terms of the asymptotic spectrum of graphs. A core step in this duality theory is to shift focus from Shannon capacity itself to studying the asymptotic relations between graphs, that is, the asymptotic cohomomorphisms. Towards understanding the structure of Shannon capacity, we study the "combinatorial complexity" of asymptotic cohomomorphism. As our main result, we prove that the asymptotic cohomomorphism order is universal for all countable preorders. That is, we prove that any countable preorder can be order-embedded into the asymptotic cohomomorphism order (i.e. appears as a suborder). Previously this was only known for (non-asymptotic) cohomomorphism. Our proof is based on techniques from asymptotic spectrum duality and convex structure of the asymptotic spectrum of graphs. Our approach in fact leads to a new proof of the universality of (non-asymptotic) cohomomorphism.
- [50] arXiv:2512.05360 [pdf, ps, other]
-
Title: Green functions, Hitchin's formula and curvature equations on tori II: Rectangular torusSubjects: Analysis of PDEs (math.AP)
Let $G(z)$ be the Green function on the flat torus $E_{\tau}=\mathbb{C}/(\mathbb{Z}+\mathbb{Z}\tau)$ with the singularity at $0$. Lin and Wang (Ann. Math. 2010) proved that $G(z)$ has either $3$ or $5$ critical points (depending on the choice of $\tau$). Here we study the sum of two Green functions which can be reduced to $G_p(z):=\frac12(G(z+p)+G(z-p))$. In Part I \cite{CFL}, we proved that for any $p$ satisfying $p\neq -p$ in $E_{\tau}$, the number of critical points of $G_p(z)$ belongs to $\{4,6,8,10\}$ (depending on the choice of $(\tau, p)$) and each number really occurs.
In the Part II of this series, we study the important case $\tau=ib$ with $b>0$, i.e. $E_{\tau}$ is a rectangular torus. By developing a completely different approach from Part I, we show the existence of $8$ real values $d_1<d_2<\cdots<d_7<d_8$ such that if $$\wp(p)\in (-\infty, d_1]\cup [d_2, d_3]\cup [d_4, d_5]\cup [d_6, d_7]\cup [d_8,+\infty),$$ then $G_p(z)$ has no nontrivial critical points; if $$\wp(p)\in (d_1, d_2)\cup (d_3, d_4)\cup (d_5, d_6)\cup (d_7, d_8),$$ then $G_p(z)$ has a unique pair of nontrivial critical points that are always non-degenerate saddle points. This allows us to study the possible distribution of the numbers of critical points of $G_p(z)$ for generic $p$. Applications to the Painlev\'{e} VI equation and the curvature equation are also given. - [51] arXiv:2512.05366 [pdf, ps, other]
-
Title: The intersection polynomials of a long virtual knot I: Definitions and propertiesComments: 25 pagesSubjects: Geometric Topology (math.GT)
We introduce twelve polynomial invariants for long virtual knots, called intersection polynomials, extending and refining the three intersection polynomials for virtual knots. They are defined via intersection numbers of cycles on a closed surface, considering the order of over- and under-crossings. We study their fundamental properties including behavior under symmetries, crossing changes, and concatenation products. All are finite-type invariants of degree two under crossing changes, but not under virtualizations, and we examine their relation to the closure and the values at $t=1$ of their derivatives.
- [52] arXiv:2512.05369 [pdf, ps, other]
-
Title: The intersection polynomials of a long virtual knot II: Two supporting genera and characterizationsComments: 20 pagesSubjects: Geometric Topology (math.GT)
We develop the study of the twelve intersection polynomials of long virtual knots, previously introduced in our preceding paper. We define two geometric invariants, the $1$- and $2$-supporting genera, using two distinct surface realizations. These genera yield a natural filtration of the set of long virtual knots, and we analyze the behavior of the intersection polynomials for long virtual knots with small supporting genera. Moreover, we investigate virtual $2$-string tangles, analyzing how their sums with long virtual knots affect the intersection polynomials through right closures. As an application, we provide complete realizability criteria for all twelve intersection polynomials.
- [53] arXiv:2512.05370 [pdf, ps, other]
-
Title: A Tight-binding Approach for Computing Subwavelength Guided Modes in Crystals with Line DefectsComments: 43 pages, 16 figuresSubjects: Mathematical Physics (math-ph)
In this paper, we consider waveguide systems operating at subwavelength scales. A key feature of these systems is that they are high contrast periodic resonator systems with line defects, leading to resonant phenomena at subwavelength scales. Their spectral properties at the subwavelength scales can be approximated by using the capacitance matrix formulation. Our main objective is to investigate the exponential decay of the off-diagonal elements of the capacitance matrices associated with these waveguide systems. This decay property rigorously justifies a tight-binding approximation, which in turn enables a novel and efficient approach for computing the spectral properties of subwavelength resonators with non-compact defects. Various numerical experiments are provided to validate the theoretical results, including applications to topological interface modes.
- [54] arXiv:2512.05376 [pdf, ps, other]
-
Title: Scarf complexes of connected and idealsComments: 19 pages, 9 figuresSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
The $t$-connected ideal of a graph $G$ is generated by all connected induced subgraphs of $G$ with $t$ vertices. When $t = 2$, this coincides with the usual edge ideal of the graph. Following the work of Faridi et al., we give a classification of the graphs whose $t$-connected ideals are minimally resolved by their Scarf complex. We also consider the $t$-path ideal of a graph $G$ which is the ideal generated by all paths of length $t$ in $G$. In this case, we are able to give a classification of the same type for paths of length $t = 4$.
- [55] arXiv:2512.05378 [pdf, ps, other]
-
Title: Upper Bounds for low moments of twisted Fourier coefficients of modular formsComments: 21 pagesSubjects: Number Theory (math.NT)
For any large prime $q$, $1 \leq x \leq q$ and any real $0 \leq k \leq 1$, we prove an upper bound for the following $2k$-th moment
$$\displaystyle \sum_{\substack{\chi \bmod q}} \Big| \sum_{n\leq x} \chi(n)\lambda(n)\Big|^{2k},$$
where $\lambda(n)$ denotes the Fourier coefficients of a fixed modular form. In particular, our result implies that $$\displaystyle \frac 1{q-1}\sum_{\substack{\chi \bmod q}} \Big| \sum_{n\leq x} \chi(n)\lambda(n)\Big|= o(\sqrt{x}),$$ when both $x$ and $q/x$ tend to infinity with $q$. - [56] arXiv:2512.05392 [pdf, ps, other]
-
Title: OpenSQP: A Reconfigurable Open-Source SQP Algorithm in Python for Nonlinear OptimizationComments: 17 pages with 1 figure. For associated code, see this https URLSubjects: Optimization and Control (math.OC); Mathematical Software (cs.MS); Numerical Analysis (math.NA)
Sequential quadratic programming (SQP) methods have been remarkably successful in solving a broad range of nonlinear optimization problems. These methods iteratively construct and solve quadratic programming (QP) subproblems to compute directions that converge to a local minimum. While numerous open-source and commercial SQP algorithms are available, their implementations lack the transparency and modularity necessary to adapt and fine-tune them for specific applications or to swap out different modules to create a new optimizer. To address this gap, we present OpenSQP, a modular and reconfigurable SQP algorithm implemented in Python that achieves robust performance comparable to leading algorithms. We implement OpenSQP in a manner that allows users to easily modify or replace components such as merit functions, line search procedures, Hessian approximations, and QP solvers. This flexibility enables the creation of tailored variants of the algorithm for specific needs. To demonstrate reliability, we present numerical results using the standard configuration of OpenSQP that employs a smooth augmented Lagrangian merit function for the line search and a quasi-Newton BFGS method for approximating the Hessians. We benchmark this configuration on a comprehensive set of problems from the CUTEst test suite. The results demonstrate performance that is competitive with proven nonlinear optimization algorithms such as SLSQP, SNOPT, and IPOPT.
- [57] arXiv:2512.05406 [pdf, ps, other]
-
Title: A census of Cayley graphsSubjects: Combinatorics (math.CO); Group Theory (math.GR)
Given positive integers $k$ and $n$, we present methods to construct all groups of order at most $n$ that contain a Cayley set of size $k$, and to enumerate the Cayley sets of order $k$ in a given group, up to the action of the automorphism group. We use these methods to generate complete lists of pairwise nonisomorphic 3-valent Cayley graphs with at most 5000 vertices and 4-valent Cayley graphs with at most 1025 vertices.
- [58] arXiv:2512.05421 [pdf, ps, other]
-
Title: The Multisign Algebra: A Generalization of the Sign ConceptComments: 42 pages, 1 figure. First version. Introduces Multisign Algebra as a generalization of the classical sign conceptSubjects: Rings and Algebras (math.RA)
The classical number system encodes magnitude using a single scalar value whose sign positive or negative has remained conceptually unchanged for centuries. This work introduces Multisign Algebra, a mathematical generalization of the sign concept that extends the expressive capacity of real numbers. Instead of relying on a binary sign attached to a scalar value, Multisign Algebra assigns a structured scalar for sign, encoding a richer, internally organized notion of polarity within a single numerical object. We formally define multisign numbers, their algebraic operations, and the axioms that govern them, showing that this generalization preserves essential properties of classical algebraic structures while enabling new behaviors unavailable on the standard real line. This approach extends the notion of sign beyond $\pm$ and offers a refined way to encode polarity and directionality within algebraic systems.
- [59] arXiv:2512.05424 [pdf, ps, other]
-
Title: Convergence rate of $\ell^p$-relaxation on a graph to a $p$-harmonic function with given boundary valuesComments: 35 pages, 1 figureSubjects: Probability (math.PR)
We analyze the following dynamics on a connected graph $(V,E)$ with $n$ vertices. Let $V = I \bigcup B$, where the set of interior vertices $I \ne \emptyset$ is disjoint from the set of boundary vertices $B \neq \emptyset$. Given $p > 1$ and an initial opinion profile $f_0: V \to [0,1]$, at each integer step $t \ge 1$ a uniformly random vertex $v_t \in I$ is selected, and the opinion there is updated to the value $f_{t}(v_t)$ that minimizes the sum $\sum_{w \sim v_t} \lvert f_t(v_t)-f_{t-1}(w) \rvert^p$ over neighbours $w$ of $v_t$.
The case $p=2$ yields linear averaging dynamics, but for all $p \ne 2$ the dynamics are nonlinear.
It is well known that almost surely, $f_t$ converges to the $p$-harmonic extension $h$ of $f_0 \vert_{B}$. Denote the number of steps needed to obtain $\lVert f_t - h \rVert_{\infty} \le \epsilon$ by $\tau_p(\epsilon).$ Recently, Amir, Nazarov, and Peres~\cite{noboundarycase} analyzed the same dynamics without boundary. For individual graphs, adding boundary values can slow down the convergence considerably; indeed, when $p = 2$ the approximation time is controlled by the hitting time of the boundary by random walk, and hitting times can be much larger than mixing times, which control the convergence when $B=\emptyset$.
Nevertheless, we show that for all graphs with $n$ vertices, the mean approximation time $\E[\tau_p(\epsilon)]$ is at most $n^{\beta_p}$ (up to logarithmic factors in $\frac{n}{\epsilon}$ for $p \in [2, \infty)$, and polynomial factors in $\epsilon^{-1}$ for $p \in (1, 2)$), where $\beta_p=\max\big(\frac{2p}{p-1},3\big)$. This matches the definition of $\beta_p$ given in \cite{noboundarycase} and answers Question 6.2 in that paper. The exponent $\beta_p$ is optimal in both settings.
We also prove sharp bounds for $n$-vertex graphs with given average degree, that are technically more challenging. - [60] arXiv:2512.05426 [pdf, ps, other]
-
Title: Two abstract methods of lower and upper solutions with applicationsAuthors: Andrei StanSubjects: Functional Analysis (math.FA)
In this paper, we present two abstract methods for constructing a lower and an upper solution for a fixed point equation. The first method applies when the nonlinear operator is a composition of a linear and a nonlinear mapping, while the second method applies when the nonlinear operator satisfies an inequality of Harnack type. An application is provided for each method.
- [61] arXiv:2512.05429 [pdf, ps, other]
-
Title: Optimal bounds for local volumes of threefold singularitiesAuthors: Yuchen LiuComments: 27 pages. Comments are welcomeSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Differential Geometry (math.DG)
We establish an optimal upper bound for local volumes of Gorenstein canonical non-hypersurface threefold singularities. Specifically, we show that a klt threefold singularity with local volume at least $9$ is either a hypersurface singularity or a quotient singularity. As applications, we obtain new restrictions on the singularities of members in K-moduli spaces of Fano threefolds, and we establish a sharp inequality between local volumes and minimal log discrepancies for threefold singularities.
- [62] arXiv:2512.05431 [pdf, ps, other]
-
Title: Applying hypersurface bounds to a conjecture by CarletComments: 11 pagesSubjects: Number Theory (math.NT)
A function from $\mathbb{F}_{2^n}$ to $\mathbb{F}_{2^n}$ is $k$th order sum-free if the sum of its values over each $k$-dimensional $\mathbb{F}_2$-affine subspace is nonzero. It is conjectured that for $n$ odd and prime, $f_\textrm{inv}=x^{-1}$ is not $k$th order sum-free for $3 \leq k \leq n-3$. This is the unresolved part of Carlet's conjecture, which gives exact values for which $f_\textrm{inv}$ is $k$th order sum-free. We give two results as improvements on an explicit estimate on the number of $q$-rational points of an $\mathbb{F}_q$-definable hypersurface previously proved by Cafure and Matera. We use these results to prove that $f_\textrm{inv}$ is not $k$th order sum-free for $3\leq k \leq \frac{3}{13}n+0.461$, improving on work previously done by Hou and Zhao.
- [63] arXiv:2512.05454 [pdf, ps, other]
-
Title: Symplectic Weyl LawsAuthors: Dan Cristofaro-GardinerJournal-ref: Proceedings of the ICM, 2026 (Topology Section)Subjects: Symplectic Geometry (math.SG); Dynamical Systems (math.DS)
We survey a number of Weyl type laws that have recently been established in low-dimensional symplectic geometry. These have had a number of applications, which we also introduce. We sketch a number of proofs so that the reader can get a sense of how these formulas are proved and how they can be applied.
- [64] arXiv:2512.05463 [pdf, ps, other]
-
Title: Persistent Laplacian DiagramsComments: 29 pages, 4 figuresSubjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG)
Vectorization methods for \emph{Persistent Homology} (PH), such as the \emph{Persistence Image} (PI), encode persistence diagrams into finite dimensional vector spaces while preserving stability. In parallel, the \emph{Persistent Laplacian} (PL) has been proposed, whose spectra contain the information of PH as well as richer geometric and combinatorial features. In this work, we develop an analogous vectorization for PL. We introduce \emph{signatures} that map PL to real values and assemble these into a \emph{Persistent Laplacian Diagram} (PLD) and a \emph{Persistent Laplacian Image} (PLI). We prove the stability of PLI under the noise on PD. Furthermore, we illustrate the resulting framework on explicit graph examples that are indistinguishable by both PH and a signature of the combinatorial Laplacian but are separated by the signature of PL.
- [65] arXiv:2512.05466 [pdf, ps, other]
-
Title: Stochastic Flows and Marked Stable ProcessesComments: 54 pages, 11 figuresSubjects: Probability (math.PR)
We construct a random partition of the space-time plane $\mathbb{R}_+\times \mathbb{R}$ using two coupled stochastic squared Bessel flows, whose parameters differ by $\delta\in (0,2)$. We show that the cells of this partition correspond to squared Bessel excursions with a negative parameter $-\delta$ which are embedded within the jumps of a spectrally positive $(1+\frac\delta 2)$ stable process. In particular, we demonstrate that interval partition evolutions [Forman et. al. 2020] and stable shredded disks [Bj\"ornberg, Curien and Stef\'ansson 2022] arise naturally in this framework.
- [66] arXiv:2512.05467 [pdf, ps, other]
-
Title: Sharp gradient estimates and monotonicity in positive Ricci curvatureAuthors: Cosmin ManeaComments: 41 pagesSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
We prove a sharp gradient estimate for the natural Green's function of a closed manifold with positive Ricci curvature. We also show that this estimate is closely related to a family of monotonicity formulae. These results extend those previously obtained by Colding and Minicozzi for open manifolds with non-negative Ricci curvature. We further obtain several geometric applications, including a new proof of Bishop's volume comparison theorem in dimension four.
- [67] arXiv:2512.05479 [pdf, ps, other]
-
Title: Closed Colored Models and Demazure CrystalsAuthors: Yingzi YangComments: 25 pagesSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
We will construct solvable lattice models whose partition functions are Demazure characters. We will construct a crystal structure on the states of the model and prove that the states of the closed model form a Demazure crystal.
- [68] arXiv:2512.05480 [pdf, ps, other]
-
Title: On the Word-Representability of 5-Regular Circulant GraphsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
A graph $G = (V, E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that, for any two distinct vertices $x, y \in V$, $xy \in E$ if and only if $x$ and $y$ alternate in $w$. Two letters $x$ and $y$ are said to alternate in $w$ if, after removing all other letters from $w$, the resulting word is of the form $xyxy\dots$ or $yxyx\dots$ (of even or odd length). For a given set $R = \{r_1, r_2, \dots, r_k\}$ of jump elements, an undirected circulant graph $C_n(R)$ on $n$ vertices has vertex set $\{0, 1, \dots, n-1\}$ and edge set $ E = \left\{ \{i,j\} \;\middle|\; |i - j| \bmod n \in \{r_1, r_2, \dots, r_k\} \right\}, $ where $0 < r_1 < r_2 < \dots < r_k < \frac{n}{2}$. Recently, Kitaev and Pyatkin proved that every 4-regular circulant graph is word-representable. Srinivasan and Hariharasubramanian further investigated circulant graphs and obtained bounds on the representation number for $k$-regular circulant graphs with $2 \le k \le 4$. In addition to these positive results, their work also presents examples of non-word-representable circulant graphs. In this work, we study word-representability and the representation number of 5-regular circulant graphs via techniques from elementary number theory and group theory, as well as graph coloring, graph factorization and morphisms.
- [69] arXiv:2512.05486 [pdf, ps, other]
-
Title: A new class of general linear method with inherent quadratic stability for solving stiff differential systemsComments: 17 pages, 7 figuresSubjects: Numerical Analysis (math.NA)
This article proposes a new class of general linear method with $p=q$ and $r=s=p+1$. The construction of the present method is carried out using order conditions and error minimization subject to $A$- stability constraints. The proposed time integration schemes are $A$- and $L$-stable general linear methods (GLMs) equipped with inherent quadratic stability (IQS) criteria. We construct implicit GLMs of orders up to four with $p = q$ and $s = r$ along with the Nordsieck input vector assumption. Further, we test these schemes on three real-world problems: the van der Pol oscillator and two partial differential equations consisting of diffusion (Burgers' equation and the Gray-Scott model), and numerical results are presented. Computational results confirm that our proposed schemes are competitive with the existing GLMs and can be recognized as an alternative time integration scheme. We demonstrate the order of accuracy and convergence for the proposed schemes through observed order computation and error versus step size plots.
- [70] arXiv:2512.05487 [pdf, ps, other]
-
Title: On $\overrightarrow{C_{n}}$-irregular oriented graphsSubjects: Combinatorics (math.CO)
Let $F$ and $G$ be simple finite oriented graphs (without symmetric arcs). A graph $G$ is called $F$-irregular if any two distinct vertices in $G$ belong to a different number of subgraphs of $G$ isomorphic to $F$. In this paper, we investigate the problem of the existence of $\overrightarrow{C_n}$-irregular graphs, where $\overrightarrow{C_n}$ is an oriented circle of order $n$ (a strongly connected oriented graph that is formed from a simple undirected cycle $C_n$ on $n$ vertices by orienting each of its edges).
For every integer $n \ge 3$, we prove that there exists an infinite family of $\overrightarrow{C_n}$-irregular graphs. In addition, we show that the order of a non-trivial $\overrightarrow{C_3}$-irregular graph can be any integer not less than $10$ and nothing else. We also construct $\overrightarrow{C_4}$-irregular graphs of any order starting from $7$ and prove that there is no non-trivial $\overrightarrow{C_4}$-irregular graph of order less than $7$. - [71] arXiv:2512.05504 [pdf, ps, other]
-
Title: Partial section II: classification for general flowsAuthors: Théo MartyComments: 54 pages, 2 figuresSubjects: Dynamical Systems (math.DS)
This is the second article in a series that aims at classifying partial sections of flows, that is a general family of transverse surfaces. In this part, we classify partial cross-sections for all continuous flows, in the spirit of Schwartzman-Fried-Sullivan theory.
We give a dynamical criterion for the existence of partial cross-sections, which is a direct consequence of part I of the series. Then we describe all partial cross-sections using a cohomological criterion, resembling Fried's criterion. We also characterize the cardinality of the set of partial cross-sections in a given cohomology class. - [72] arXiv:2512.05510 [pdf, ps, other]
-
Title: Affine diagram categories, algebras and monoidsComments: 26 pages, many figures, comments welcomeSubjects: Representation Theory (math.RT); Combinatorics (math.CO); Group Theory (math.GR)
We introduce and study several affine (=annular in this paper) versions of the classical diagram algebras such as Temperley-Lieb, partition, Brauer, Motzkin, rook Brauer, rook, planar partition, and planar rook algebras. We give generators and relation presentation for them and their associated categories, study their representation theory, and the asymptotic behavior of tensor products of their representations in the monoid case.
- [73] arXiv:2512.05512 [pdf, ps, other]
-
Title: On the Alexander polynomials of modular knotsComments: 31 pagesSubjects: Geometric Topology (math.GT); Number Theory (math.NT)
Closed geodesics associated with indefinite binary quadratic forms, or equivalently with real quadratic irrationals, have long been studied as geometric $\mathrm{SL}_2(\mathbb{Z})$-invariants. Building on the Birman-Williams approach to Lorenz knots and following the notion of modular knots introduced by Ghys, this article investigates the topological $\mathrm{SL}_2(\mathbb{Z})$-invariants arising from modular knots. Our main focus is the Alexander polynomial of modular knots. Using the Burau representation, we highlight two contrasting features of this family. On the one hand, for each fixed degree, only finitely many Alexander polynomials of modular knots occur. On the other hand, any integer appears as a coefficient of the Alexander polynomial of some modular knot, and coefficients of the same sign can occur in runs of arbitrarily long length.
- [74] arXiv:2512.05520 [pdf, ps, other]
-
Title: Stochastic Zeroth-Order Method for Computing Generalized Rayleigh QuotientsComments: 35 pagesSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
The maximization of the (generalized) Rayleigh quotient is a central problem in numerical linear algebra. Conventional algorithms for its computation typically rely on matrix-adjoint products, making them sensitive to errors arising from adjoint mismatches. To address this issue, we introduce a stochastic zeroth-order Riemannian algorithm that maximizes the generalized Rayleigh quotient without requiring adjoint or matrix inverse computations. We provide theoretical convergence guarantees showing that the iterates converge to the set of global maximizers of the (generalized) Rayleigh quotient at a sublinear rate with probability one. Our theoretical results are supported by numerical experiments, which demonstrate the excellent performance of the proposed method compared to state-of-the-art algorithms.
- [75] arXiv:2512.05523 [pdf, ps, other]
-
Title: Strong closing lemmas in Hamiltonian dynamicsAuthors: Kei IrieComments: 19 pages. Revised a version submitted to the Proceedings of the ICM 2026Subjects: Symplectic Geometry (math.SG); Differential Geometry (math.DG); Dynamical Systems (math.DS)
This survey focuses on strong closing lemmas in Hamiltonian dynamics that are proved using spectral invariants (also known as action selectors) in symplectic geometry. We review strong closing lemmas in low-dimensional Hamiltonian dynamics (Reeb flows on contact three-manifolds and area-preserving maps on symplectic surfaces) and outline the key ideas behind their proofs. We also discuss results concerning strong closing lemmas in high-dimensional Hamiltonian dynamics, as well as analogous results for minimal hypersurfaces.
- [76] arXiv:2512.05553 [pdf, ps, other]
-
Title: Normal sub-Riemannian geodesics related to filtrations of Lie algebrasComments: 17 pages, 3 figuresSubjects: Differential Geometry (math.DG); Optimization and Control (math.OC); Exactly Solvable and Integrable Systems (nlin.SI)
There is a natural way to construct sub-Riemannian structures that depend on $n$ parameters on compact Lie groups. These structures are related to the filtrations of Lie subalgebras $\mathfrak g_0 < \mathfrak g_1 < \mathfrak g_2 < \dots < \mathfrak g_{n-1}<\mathfrak g_n=\mathfrak g=Lie(G)$. In the case where $n=1$, the explicit solution for normal sub-Riemannian geodesics was provided by Agrachev, Brockett, and Jurjdevic. We extend their solution to apply to general chains of Lie subgroups. Additionally, we describe normal geodesic lines of the induced sub-Riemannian structures on homogeneous spaces $G/K$, where $\mathfrak g_0=Lie(K)$.
- [77] arXiv:2512.05560 [pdf, ps, other]
-
Title: A Hierarchy of Entanglement Cones via Rank-Constrained $C^*$-Convex HullsAuthors: Mohsen KianSubjects: Mathematical Physics (math-ph); Functional Analysis (math.FA)
This paper systematically investigates the geometry of fundamental quantum cones, the separable cone ($\mathscr{P}_+$) and the Positive Partial Transpose (PPT) cone ($\mathcal{P}_{\mathrm{PPT}}$), under generalized non-commutative convexity. We demonstrate a sharp stability dichotomy analyzing $C^*$-convex hulls of these cones: while $\mathscr{P}_+$ remains stable under local $C^*$-convex combinations, its global $C^*$-convex hull collapses entirely to the cone of all positive semidefinite matrices, $\operatorname{MCL}(\mathscr{P}_+) = \mathscr{P}_0$. To gain finer control and classify intermediate structures, we introduce the concept of ``$k$-$C^*$-convexity'', by using the operator Schmidt rank of $C^*$-coefficients. This constraint defines a new hierarchy of nested intermediate cones, $\operatorname{MCL}_k(\cdot)$. We prove that this hierarchy precisely recovers the known Schmidt number cones for the separable case, establishing a generalized convexity characterization: $\operatorname{MCL}_k(\mathscr{P}_+) = \mathcal{T}_k$. Applied to the PPT cone, this framework generates a family of conjectured non-trivial intermediate cones, $\mathcal{C}_{\mathrm{PPT}, k}$.
- [78] arXiv:2512.05569 [pdf, ps, other]
-
Title: PolExp growth for automorphisms of toral relatively hyperbolic groupsSubjects: Group Theory (math.GR)
Let $G$ be a toral relatively hyperbolic group, and let $\varphi\in\mathrm{Aut}(G)$. We prove that, under iteration of $\varphi$, the conjugacy length $||\varphi^n(g)||$ of every element $g\in G$ grows like $n^d\lambda^n$ for some $d\in\mathbb{N}$ and some algebraic integer $\lambda\geq 1$. For a given $\varphi$, only finitely many values of $d$ and $\lambda$ occur as $g$ varies in $G$. The same statements hold for the growth of the word length $|\varphi^n(g)|$.
For $G$ hyperbolic, we generalize polynomial subgroups: we show that, for a given growth type $n^d\lambda^n$ other than $1$, there is a malnormal family of quasiconvex subgroups $K_1,\dots,K_p$ such that a conjugacy class $[g]$ grows at most like $n^d\lambda^n$ if and only if $g$ is conjugate into one of the subgroups $K_i$. - [79] arXiv:2512.05570 [pdf, ps, other]
-
Title: Dimension of the skein module of a Dehn fillingAuthors: Edwin KitaeffSubjects: Geometric Topology (math.GT)
Given a knot $K$ and a generic slope $r$, we study the Kauffman bracket skein module (KBSM) $S(E_K (r) , \mathbb{Q} (A))$ of the Dehn filling $E_K (r)$ of slope $r$ along $K$, assuming that the KBSM $S(E_K , \mathbb{Q} [A^{\pm 1}])$ of the exterior $E_K$ of $K$ is finitely generated over $S(\partial E_K ,\mathbb{Q} [A^{\pm 1}])$. As shown in a paper of Thang L\^e, this condition is satisfied for $K$ a two-bridge knot. In this setting, we show that $\dim_{\mathbb{C}} (S_\zeta (E_K (r))) = \dim_{\mathbb{Q} (A)} (S (E_K (r)))$ for almost all primitive roots of unity $\zeta$ of order $2N$ with $N$ odd, and for almost all slopes $r$. When the character variety of a 3-manifold $M$ is finite, we also discuss the decomposition of $S_\zeta (M)$ in terms of localized skein modules. In particular, the dimension of the localized skein modules at a non-central point is the multiplicity of this point.
- [80] arXiv:2512.05572 [pdf, ps, other]
-
Title: Stochastic PDEs driven by G-Brownian motion and the associated Backward Doubly Stochastic Differential EquationsSubjects: Probability (math.PR)
Our aim is to study the well-posedness of quasilinear stochastic partial differential equations driven by G-Brownian motion (GSPDEs for short) and the associated backward doubly stochastic differential equations (GBDSDEs for short). We first prove the existence and uniqueness of weak solution to GSPDEs by analytical approach, and then solve the corresponding GBDSDEs. Finally, the relation between GSPDEs and GBDSDEs is established.
- [81] arXiv:2512.05574 [pdf, ps, other]
-
Title: Two-Point Vortex Confinement in a simply connected domainComments: Accepted by Discrete and Continuous Dynamical Systems on Nov. 27, 2025Subjects: Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA)
This paper investigates the vortex confinement property of the two-point vortex system in a planar domain. We compute the time over which initial point vortices around a stable stationary point remain within a slightly larger ball. In particular, we show that this concentration persists indefinitely regardless of the vorticity strengths. In the borderline of the stability condition, we show that this time becomes a power law, if in addition, one relaxes the size of the stability ball.
- [82] arXiv:2512.05577 [pdf, ps, other]
-
Title: Tiling the Sphere with Regular PolygonsComments: 44 pages, 21 figures, 5 tablesSubjects: Combinatorics (math.CO); Metric Geometry (math.MG); Rings and Algebras (math.RA)
We give a complete classification of edge-to-edge tilings of the sphere by regular polygons under a unified framework. Without assuming convexity of the tiles or polyhedrality of the underlying graph, our proof is independent of the Johnson-Zalgaller classification of solids with regular faces (1967), which took over 200 pages. We apply a blend of trigonometric, algebraic and combinatorial tools of independent interest.
- [83] arXiv:2512.05585 [pdf, other]
-
Title: Opportunities for Hybrid Modeling Approaches in Energy Systems optimizationAuthors: Mohamed Tahar Mabrouk (IMT Atlantique, UL, LEMTA, GEPEA, GEPEA-OSE), Shri Balaji Padmanabhan (IMT Atlantique - DSEE, GEPEA-OSE), Bruno Lacarrière (IMT Atlantique, GEPEA, GEPEA-OSE, GEPEA, IMT Atlantique, IMT Atlantique - DSEE), Benoit Delinchant (G2Elab-MAGE), Sacha Hodencq, Xavier Roboam, Bruno Sareni (LAPLACE-GENESYS), Mathieu Vallee (DTCH)Comments: ECOS 2025 - 38th International Conference on Efficiency, cost, optimization, simulation and environmental impact of energy systems, Jun 2025, Paris, FranceSubjects: Optimization and Control (math.OC)
This paper surveys the primary computational hurdles of Energy Systems optimization coming from different sources: model-induced complexity, optimization algorithm requirements, and uncertainties handling (both aleatoric and epistemic). Techniques to reduce complexity such as time-series and spatial aggregation, model order reduction, and specialized optimization strategies are reviewed for their effectiveness in balancing computational feasibility and model fidelity. Furthermore, Various uncertainty-management frameworks, including scenario-based approaches, robust optimization, and distributionally robust methods, are reviewed and their limitations in scaling and data requirements are discussed. The potential of hybrid modeling emerges as a key avenue: by fusing mechanistic and machine learning elements, hybrid techniques for modelling and optimization can harness the strengths of both worlds while mitigating their respective drawbacks. The paper highlights several directions for further research to develop advanced methods to tackle the complexity of MES.
- [84] arXiv:2512.05587 [pdf, ps, other]
-
Title: Positivity of spectral shift functions and infinite-dimensional BMV conjectureComments: 15 pagesSubjects: Functional Analysis (math.FA); Mathematical Physics (math-ph); Spectral Theory (math.SP)
We obtain a solution to the Bessis-Moussa-Villani conjecture for a trace-class perturbation of a semi-bounded operator and answer affirmatively the question on positivity of higher order spectral shift functions in the setting of Schatten--von Neumann perturbations of (possibly unbounded) self-adjoint operators.
- [85] arXiv:2512.05598 [pdf, ps, other]
-
Title: A new proof of the Théorème de Structure related to a weak solution to the Navier-Stokes equationsSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
It is well known that a Leray's weak solution to the Navier-Stokes Cauchy problem enjoys a partial regularity which is known in the literature as the Th\'eor\`eme de Structure of a Leray's weak solution. As well, this result has been extended by some authors to the case of the IBVP. In this note, we achieve the Th\'eor\`eme de Structure by means of a new proof. Our proof is based on a priori estimates for a suitable approximating sequence. In this way our result covers a more general setting in the sense that, e.g., we can also include the case of the weak solutions furnished by Hopf for an IBVP in bounded domains without requiring an energy inequality in a strong form, but just employing a priori estimates on the Galerkin approximation.
- [86] arXiv:2512.05605 [pdf, ps, other]
-
Title: Twisted bimodules and associative algebras associated to VOAsAuthors: Shun XuComments: 9 pagesSubjects: Quantum Algebra (math.QA)
Let $V$ be a vertex operator algebra, $g$ be an automorphism of $V$ of order $T$, and $m, n \in (1/T)\mathbb{N}$. In~\cite{HX2} and~\cite{HXX1}, it was shown respectively that the associative algebra $A_{g,n}(V)$ constructed by Dong, Li, and Mason~\cite{DLM3}, and the $A_{g,n}(V)\!-\!A_{g,m}(V)$-bimodule $A_{g,n,m}(V)$ constructed by Dong and Jiang~\cite{DJ2}, are both isomorphic to certain subquotients of $U(V[g])$, where $U(V[g])$ denotes the universal enveloping algebra of $V$ with respect to $g$. In this paper, we give a unified and concise proof of these isomorphisms.
- [87] arXiv:2512.05608 [pdf, ps, other]
-
Title: Long-time stability analysis of an explicit exponential Runge-Kutta scheme for Cahn-Hilliard equationsAuthors: Jing GuoComments: 28 pagesSubjects: Numerical Analysis (math.NA)
In this paper, we present a comprehensive long-time stability analysis of a second-order explicit exponential Runge--Kutta (ERK2) method for the Cahn--Hilliard (CH) equation. By employing Fourier spectral collocation in space and a two-stage ERK2 scheme in time, we construct a fully discrete numerical method that preserves the original energy dissipation property. The uniform-in-time boundedness of the numerical solution is rigorously proven in the discrete $H^1$ and $H^2$ norms under a mild time-step condition, and an $\ell^\infty$ bound is derived via a discrete Sobolev embedding. These results remove the typical boundedness assumption required in previous energy-stability analyses, thereby establishing unconditional energy dissipation for the fully discrete scheme. Building on this uniform boundedness, we derive an optimal-order error estimate in the $\ell^2$ norm. The analytical framework developed herein is general and can be extended to higher-order exponential integrators for a broader class of phase-field models.
- [88] arXiv:2512.05612 [pdf, other]
-
Title: Density, Determinacy, Duality and a Regularized Moment-SOS HierarchyAuthors: Didier Henrion (LAAS-POP)Subjects: Optimization and Control (math.OC)
The standard moment-sum-of-squares (SOS) hierarchy is a powerful method for solving global polynomial optimization problems. However, its convergence relies on Putinar's Positivstellensatz, which requires the feasible set to satisfy the algebraic Archimedean property. In this paper, we introduce a regularized moment-SOS hierarchy capable of handling problems on unbounded sets or bounded sets violating the Archimedean property. Adopting a functional analysis viewpoint, we rely on the multivariate Carleman condition for measure determinacy rather than algebraic compactness. We prove that finite degree projections of the quadratic module are dense in the cone of positive polynomials with respect to the square norm induced by the measure. Based on these density results, we prove the convergence of a regularized hierarchy without invoking any Positivstellensatz. Furthermore, we propose a penalized formulation of the hierarchy which, combined with Bernstein-Markov inequalities, provides a monotonically non-decreasing sequence of certified lower bounds on the global minimum. The approach is illustrated on several benchmark problems known to be difficult or ill-posed for the standard hierarchy.
- [89] arXiv:2512.05618 [pdf, ps, other]
-
Title: Cohomology Theories of Partial GroupsAuthors: Sandro PfammatterComments: 20 pagesSubjects: Algebraic Topology (math.AT); Group Theory (math.GR)
We initiate a systematic study of cohomology theories for partial groups, algebraic structures introduced by Chermak that generalize groups by allowing only partially defined products. Inspired by classical group cohomology, we develop two parallel approaches - an algebraic theory based on Chermak's framework and a simplicial-set-based theory using local coefficient systems - and show that they coincide. As an application, we illustrate how the extension theory of partial groups, as developed by Broto and Gonzalez, can be interpreted and computed using our cohomology theory, including explicit examples such as extensions of free partial groups, and compare these results with classical group extensions.
- [90] arXiv:2512.05621 [pdf, ps, other]
-
Title: On the continuity of geodesically convex functions on Riemannian manifoldsSubjects: Differential Geometry (math.DG)
In this short note, we prove that all geodesically convex functions defined on a Riemannian manifold are continuous in the interior of their domain. This is a folklore result, but to the best of our knowledge, there is only one available proof, which is largely cited. However, it contains a significant gap, which we fill here. We also discuss extensions of this result beyond the Riemannian setting.
- [91] arXiv:2512.05625 [pdf, ps, other]
-
Title: Curvature estimates for steady and expanding solitons in higher dimensionsSubjects: Differential Geometry (math.DG)
In this paper, we demonstrate certain curvature estimates on complete non-compact steady and expanding gradient Ricci solitons in higher dimensions. In the expanding case, we prove that if the Ricci curvature decays at least quadratically, then the curvature operator decays at the rate $\BigO(1/r^{2})$ when $n=4$ and $\BigO((\log r)/r^{2})$ when $n\geq5$. This refines the curvature bounds in a previous result by Cao-Liu-Xie, and removes the nonnegative Ricci curvature assumption in the estimates by Cao-Liu and Cao-Liu-Xie. As a geometric application, we establish the existence and uniqueness of $C^{1,\alpha}$ conical structure at infinity of Ricci expander with finite Ricci curvature ratio. In the steady case, using an integral estimate of the curvature, we prove that the curvature operator has at most polynomial growth when the potential function is proper and the Ricci curvature has linear decay. Moreover, we also confirm that the curvature is bounded if we further assume the Ricci curvature has super-linear decay $\BigO(r^{-1-\varepsilon})$. As an application, we prove the existence and uniqueness of cylindrical structure at infinity of steady soliton with super-linear Ricci curvature decay and proper potential function.
- [92] arXiv:2512.05626 [pdf, ps, other]
-
Title: Nonlinear Model Order Reduction of Power Grid Networks using Quadratic ManifoldsComments: 15 pagesSubjects: Dynamical Systems (math.DS)
The increasing size and complexity of modern power systems have led to a high-dimensional mathematical model for transient stability studies, rendering full-scale simulations computationally burdensome. While dimensionality reduction is essential for reducing this complexity, conventional approaches in power systems predominantly rely on linear projection methods. Such linear subspaces have limited capability for representing the inherently nonlinear swing dynamics of synchronous machines, often resulting in poor approximations and inefficient compression. To address these limitations, this paper introduces a quadratic manifold-based model order reduction (MOR) framework to accelerate the transient dynamic simulations in power systems. The proposed method combines the linear proper orthogonal decomposition (POD) basis with a learned quadratic correction term that minimizes the reconstruction error. This yields a scalable MOR strategy capable of handling strongly nonlinear behaviors, particularly those arising during fast-acting faults, where linear techniques typically fail. The method is tested on a range of benchmark power system models of increasing size and complexity. In addition, we provide a detailed numerical algorithm for constructing the quadratic manifold, along with the corresponding implementation code.
- [93] arXiv:2512.05631 [pdf, ps, other]
-
Title: A recognition criterion for lax-idempotent pseudomonadsAuthors: John BourkeComments: 16 pagesSubjects: Category Theory (math.CT)
We describe a simple criterion which makes it easy to recognise when a pseudomonad is lax-idempotent. The criterion concerns the behaviour of colax bilimits of arrows - certain comma objects - and is easy to verify in examples. Building on this, we obtain a new characterisation of lax-idempotent pseudomonads on 2-categories with colax bilimits of arrows.
- [94] arXiv:2512.05633 [pdf, ps, other]
-
Title: Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting AlgebrasAuthors: Alex CitkinSubjects: Logic (math.LO)
We give an algebraic proof of the criterion for hereditary structural completeness of an intermediate logic, or, equivalently, of the primitiveness of a variety of Heyting algebras.
- [95] arXiv:2512.05639 [pdf, ps, other]
-
Title: Discovering Power Grid Dynamics from Data Using Low-Rank Sparse ModelingComments: 16 pagesSubjects: Dynamical Systems (math.DS)
The growing integration of renewable energy sources has significantly reduced grid inertia, making modern power systems more vulnerable to instabilities. Accurate estimation of dynamic parameters such as inertia constants and damping coefficients is critical, yet traditional model-based methods struggle with scalability and adaptiveness in large, low-inertia networks. This paper presents a novel data-driven framework that integrates Singular Value Decomposition (SVD) with Sparse Identification of Nonlinear Dynamics (SINDy) to estimate system parameters directly from time-series data. By reducing dimensionality before applying sparse regression, the proposed Latent-SINDy (L-SINDy) method mitigates overfitting while preserving essential system dynamics. The framework is validated on IEEE benchmark systems, including the 118-bus, 300-bus, and a large-scale 2869-bus European grid. The results demonstrate an accurate recovery of the inertia and damping values, with identified models that closely match the true dynamics of the system. The approach offers scalability, interpretability, and computational efficiency, highlighting its potential for real-time monitoring and control in renewable-rich grids.
- [96] arXiv:2512.05640 [pdf, ps, other]
-
Title: Projection from space of \emph{two-Lipschitz} operators onto the space of Bilinear mapsAuthors: Arindam MandalComments: Any kind of comments or suggestions you may have are most welcomeSubjects: Functional Analysis (math.FA)
In this article, we establish the existence of a norm-one projection from the space of all \emph{two-Lipschitz} operators onto the space of all bounded bilinear operators under certain conditions on the corresponding codomain spaces, using the method of invariant means. We also show that, when the codomain is an injective Banach space, the quotient of the \emph{two-Lipschitz} operator space by the bounded bilinear space is isometrically isomorphic to a specific operator space, via vector-valued duality. We conclude by proving a necessary and sufficient condition for a \emph{two-Lipschitz} operator to be a bilinear map. As an application of the theory developed here, we present an alternative proof that $\bigslant{L^{\infty}(\mathbb{R}\times \mathbb{R})}{span\{\textbf{1}\}}$ is a dual space.
- [97] arXiv:2512.05642 [pdf, ps, other]
-
Title: Divergence-free decoupled finite element methods for incompressible flow problemsSubjects: Numerical Analysis (math.NA)
Incompressible flows are modeled by a coupled system of partial differential equations for velocity and pressure, Starting from a divergence-free mixed method proposed in [John, Li, Merdon and Rui, Math. Models Methods Appl. Sci. 34(05):919--949, 2024], this paper proposes $\vecb{H}(\mathrm{div})$-conforming finite element methods which decouple the velocity and pressure by constructing divergence-free basis functions. Algorithmic issues like the computation of this basis and the imposition of non-homogeneous Dirichlet boundary conditions are discussed. Numerical studies at two- and three-dimensional Stokes problems compare the efficiency of the proposed methods with methods from the above mentioned paper.
- [98] arXiv:2512.05645 [pdf, ps, other]
-
Title: On the supremum of a quotient of power sumsSubjects: Classical Analysis and ODEs (math.CA)
We define a function of two real vectors by a certain homogeneous quotient involving power sums, and show that its supremum grows asymptotically linearly w.r.t. the dimension. From this, we deduce a condition under which a parametric set of real matrices satisfies a set of polynomial positivity constraints. This characterization finds an application in mathematical finance, in a recent study on price impact models.
- [99] arXiv:2512.05652 [pdf, ps, other]
-
Title: On moments of the Erdős--Hooley Delta-functionSubjects: Number Theory (math.NT)
For integer $n\geqslant 1$ and real $u$, let $\Delta(n,u):=|\{d:d\mid n,\,{\rm e}^u<d\leqslant {\rm e}^{u+1}\}|$. The Erd\H{o}s--Hooley Delta-function is then defined by $\Delta(n):=\max_{u\in{\mathbb R}}\Delta(n,u).$ We provide new upper bounds for weighted real moments of this function.
- [100] arXiv:2512.05655 [pdf, ps, other]
-
Title: Extending wavelet regularity beyond Gevrey classesSubjects: Functional Analysis (math.FA)
We construct a smooth orthonormal wavelet $\psi$ such that both $\psi$ and its Fourier transform $\widehat{\psi}$ belong to the extended Gevrey class $\mathcal{E}_{\sigma}(\mathbb{R})$ for $\sigma > 1$, providing an example that lies beyond all classical Gevrey classes. Our approach uses the idea of invariant cycles to extend the initial Lemari\'e-Meyer support of the low-pass filter $m_0$ from $ [-\frac{2\pi}{3}, \frac{2\pi}{3}]$ to $ [-\frac{4\pi}{5}, \frac{4\pi}{5}]$. This extension allows us to control the decay rate of $m_0$ near $\frac{2\pi}{3}$, which yields global decay estimates for $\psi$ and $\hat\psi$. In addition, the decay rates are described using special functions involving the Lambert W function, which plays an important role in our construction.
- [101] arXiv:2512.05673 [pdf, ps, other]
-
Title: Inexact Uzawa-Double Deep Ritz Method for Weak Adversarial Neural NetworksSubjects: Numerical Analysis (math.NA)
The emergence of deep learning has stimulated a new class of PDE solvers in which the unknown solution is represented by a neural network. Within this framework, residual minimization in dual norms -- central to weak adversarial neural network approaches -- naturally leads to saddle-point problems whose stability depends on the underlying iterative scheme. Motivated by this structure, we develop an inexact Uzawa methodology in which both trial and test functions are represented by neural networks and updated only approximately. We introduce the Uzawa Deep Double Ritz method, a mesh-free deep PDE solver equipped with a continuous level convergence showing that the overall iteration remains stable and convergent provided the inexact inner updates move in the correct descent direction. Numerical experiments validate the theoretical findings and demonstrate the practical robustness and accuracy of the proposed approach.
- [102] arXiv:2512.05675 [pdf, ps, other]
-
Title: Quantification of Errors of the Performance Estimators in the Linear-Quantized Precoding Models for Massive MIMO SystemsSubjects: Optimization and Control (math.OC)
Massive MIMO (Multiple-Input Multiple-Output) is a key enabler for 5G and future wireless systems, boosting channel capacity, energy efficiency, and spectral efficiency. However, high power consumption and hardware costs of Digital-to-Analog Converters (DACs) in massive MIMO create practical challenges. To mitigate these, recent work proposes low-resolution DACs-restricting transmitted signals to finite voltage levels-to cut power and costs. This requires studying quantized precoding: signals are processed via a linear precoding matrix, then quantized by DACs. In this paper, we explore the linear-quantized precoding model and its statistically or asymptotically equivalent variants. We derive error bounds for two key metrics:Signal-to-Interference-plus-Noise Ratio (SINR) and Symbol Error Probability (SEP), based on the linear-quantized model and its equivalent counterparts. We also formulate and analyze the SINR maximization problem in both asymptotic and finite-dimensional scenarios. Our analysis shows that as system dimensions scale, finite-dimensional problem solutions/values converge to their asymptotic equivalents-underscoring the practical value of asymptotic insights with stability guarantees. These findings theoretically support robust precoding design under hardware constraints, enabling efficient massive MIMO implementation with low-resolution DACs. Beyond validating asymptotic predictions in finite regimes, our framework offers practical optimization guidelines for real-world systems, linking theory and applications.
- [103] arXiv:2512.05676 [pdf, ps, other]
-
Title: Optimal Time-Adaptivity for Parabolic Problems with applications to Model Order ReductionSubjects: Numerical Analysis (math.NA)
Since the first optimality proofs for adaptive mesh refinement algorithms in the early 2000s, the theory of optimal mesh refinement for PDEs was inherently limited to stationary problems. The reason for this is that time-dependent problems usually do not exhibit the necessary coercive structure that is used in optimality proofs to show a certain quasi-orthogonality, which is crucial for the theory. Recently, by using a new equivalence between quasi-orthogonality and inf-sup stability of the underlying problem, it was shown that an adaptive Crank-Nicolson scheme for the heat equation is optimal under a severe step size restriction. In this work, we use this new approach towards quasi-orthogonality together with a Radau IIA method that combines the advantages of the Crank-Nicolson and implicit Euler schemes. We obtain the first adaptive time stepping method for non-stationary PDEs that is provably rate optimal with respect to number of time steps vs. approximation error. Together with a reduced basis method that leverages the Laplace transform for building tailored subspaces of reduced dimension, we obtain a very efficient method.
- [104] arXiv:2512.05684 [pdf, ps, other]
-
Title: A footnote to the KPT theorem in structural Ramsey theorySubjects: Logic (math.LO); Combinatorics (math.CO)
The celebrated theorem of Kechris, Pestov and Todor\v{c}evi\'c connecting structural Ramsey theory with topological dynamics has as a consequence that the Fra\"{\i}ss\'e limit of a Ramsey class of non-trivial finite relational structures has a reduct which is a total order; this implies an earlier result of Ne\v{s}et\v{r}il, according to which the structures in such a class are rigid (have trivial automorphism groups). In this paper, we give an alternative proof of this fact. If $\mathcal{C}$ is a Fra\"{\i}ss\'e class of rigid structures over a finite relational language, then either the Fra\"{\i}ss\'e limit of $\mathcal{C}$ has a reduct which is a total order, or there is an explicit failure of the Ramsey property involving a pair $(A,B)$ of structures in $\mathcal{C}$ with $|A|=2$.
- [105] arXiv:2512.05685 [pdf, ps, other]
-
Title: An output scaling layer boosts deep neural networks for multiscale ODE systemsComments: 27 pages, 13 figuresSubjects: Dynamical Systems (math.DS)
Simulating complex diffusion-reaction systems is often prohibitively expensive due to the high dimensionality and stiffness of the underlying ODEs, where state variables may span tens of orders of magnitude. Deep learning has recently emerged as a powerful tool in scientific computing, achieving remarkable progress in modeling and sampling stiff systems. However, data scaling techniques remain largely underexplored, despite their crucial role in addressing the frequency bias of deep neural networks when handling multi-magnitude or high-frequency data. In this work, we propose the Generalized Box-Cox Transformation (GBCT), a novel nonlinear scaling method designed to mitigate multiscale challenges by rescaling inherent multi-magnitude components toward a more consistent order of magnitude. We integrate GBCT into our previous data-driven framework and evaluate its performance against the original baseline surrogate model across six representative scenarios: a 21-species chemical reaction kinetics, a 13-isotope nuclear reaction model, the well-known Robertson problem coupled with diffusion, and practically relevant simulations of two-dimensional turbulent reaction-diffusion systems as well as one- and two-dimensional nuclear reactive flows. Numerical experiments demonstrate that GBCT reduces prediction errors by up to two orders of magnitude compared with the baseline model - particularly in the long-term evolution of dynamical systems - and achieves comparable performance with only about one-sixth of the training epochs. Frequency analysis further reveals that GBCT rescales high-frequency components of the objective function toward lower frequencies to align with the neural network's natural low frequency bias, thereby boosting training and generalization. The source code to reproduce the results in this paper is available at https://github.com/Seauagain/GBCT.
- [106] arXiv:2512.05687 [pdf, ps, other]
-
Title: $L^p$-Boltzmann-Gibbs principle via Littlewood-Paley-Stein inequalityAuthors: Tadahisa FunakiSubjects: Probability (math.PR); Mathematical Physics (math-ph)
In this paper, we establish the Boltzmann-Gibbs principle in the $L^p$ sense by applying the Littlewood-Paley-Stein inequality. Our model is an asymmetric Ginzburg-Landau interface model on a one-dimensional periodic lattice. Assuming convexity of the potential,we derive detailed error estimates, particularly their dependence on the size of the system and the size of the region on which the sample average is taken. Notably, the estimates are uniform in the strength of the asymmetry.
- [107] arXiv:2512.05689 [pdf, ps, other]
-
Title: Resolvent trace asymptotics for operators in the Shubin classAuthors: Jörg SeilerComments: 22 pagesSubjects: Analysis of PDEs (math.AP)
A new pseudodifferential calculus of Shubin type is introduced. The calculus contains operators depending on a non negative real parameter as well as operators independent of the parameter. Resolvents of Shubin type pseudodifferential operators are constructed and their trace expansion is obtained.
- [108] arXiv:2512.05690 [pdf, ps, other]
-
Title: Non-Archimedean Koksma Theorems and Dimensions of Exceptional SetsSubjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS)
We establish a non-Archimedean analogue of Koksma's theorem. For a local field F of characteristic zero, we prove that the sequence ([{\alpha}x^n]) is uniformly distributed in the valuation ring O for almost every x with |x|_p>1. In the case of positive characteristic, ([x^n]) fails to be uniformly distributed, but it becomes {\mu}*-uniformly distributed for some weighted measure {\mu}*. These results are derived from a general metric theorem for sequences generated by expanding scaling maps. On the other hand, we demonstrate that the exceptional set of parameters x for which these sequences are not uniformly distributed is large (i.e. having full Hausdorff dimension) and share a rich q-homogeneous fractal structure.
- [109] arXiv:2512.05705 [pdf, ps, other]
-
Title: Binormal block Toeplitz operators with matrix valued circulant symbolsSubjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
This paper focuses on the binormality of block Toeplitz operators with matrix valued circulant symbols. We also study some {\Gamma}-dilations of Toeplitz operators. Moreover, we also analyze the invariant subspace of Toeplitz operators with matrix-valued symbols.
- [110] arXiv:2512.05708 [pdf, ps, other]
-
Title: Arens products for some convolution algebras of measuresAuthors: Viktor LosertSubjects: Functional Analysis (math.FA); Group Theory (math.GR)
We consider the measure algebra of a Ch\'ebli-\!Trim\`eche hypergroup (in particular, double coset spaces of classical Lie groups) and study the corresponding Arens products on its second dual. The behaviour turns out to be different to the group case investigated in [LNPS]. For this, we study more closely properties of the multiplication and generalized translation in a Ch\'ebli-\!Trim\`eche hypergroup and the asymptotic behaviour.
- [111] arXiv:2512.05712 [pdf, ps, other]
-
Title: $α$-Potential Games for Decentralized Control of Connected and Automated VehiclesSubjects: Optimization and Control (math.OC); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)
Designing scalable and safe control strategies for large populations of connected and automated vehicles (CAVs) requires accounting for strategic interactions among heterogeneous agents under decentralized information. While dynamic games provide a natural modeling framework, computing Nash equilibria (NEs) in large-scale settings remains challenging, and existing mean-field game approximations rely on restrictive assumptions that fail to capture collision avoidance and heterogeneous behaviors. This paper proposes an $\alpha$-potential game framework for decentralized CAV control. We show that computing $\alpha$-NE reduces to solving a decentralized control problem, and derive tight bounds of the parameter $\alpha$ based on interaction intensity and asymmetry. We further develop scalable policy gradient algorithms for computing $\alpha$-NEs using decentralized neural-network policies. Numerical experiments demonstrate that the proposed framework accommodates diverse traffic flow models and effectively captures collision avoidance, obstacle avoidance, and agent heterogeneity.
- [112] arXiv:2512.05720 [pdf, ps, other]
-
Title: First-passage percolation, non-positive curvature, and radial mapsComments: 20 pages, 2 figuresSubjects: Probability (math.PR); Geometric Topology (math.GT)
Given an infinite connected graph $G$, a way to randomly perturb its metric is to assign random i.i.d. lengths to the edges of the graph, a process called first-passage percolation. Assume that the graph is infinite and of bounded degree. Assume the edge length distribution, $\nu$, has a finite expectation and is supported on $[0, \infty)$. We prove in this paper that non-positive curvature almost surely is not preserved by the associated percolation. In particular, Gromov hyperbolicity and coarse CAT(0) property of graphs are almost surely not preserved. We also show that if a graph contains a Morse geodesic ray, then the resulting image of the ray under first-passage percolation is no longer Morse. Lastly, we show that first-passage percolation almost surely is a radial map on $G$.
- [113] arXiv:2512.05723 [pdf, ps, other]
-
Title: Taylor Approximation Variance Reduction for Approximation Errors in PDE-constrained Bayesian Inverse ProblemsSubjects: Optimization and Control (math.OC); Numerical Analysis (math.NA); Computation (stat.CO)
In numerous applications, surrogate models are used as a replacement for accurate parameter-to-observable mappings when solving large-scale inverse problems governed by partial differential equations (PDEs). The surrogate model may be a computationally cheaper alternative to the accurate parameter-to-observable mappings and/or may ignore additional unknowns or sources of uncertainty. The Bayesian approximation error (BAE) approach provides a means to account for the induced uncertainties and approximation errors (between the accurate parameter-to-observable mapping and the surrogate). The statistics of these errors are in general unknown a priori, and are thus calculated using Monte Carlo sampling. Although the sampling is typically carried out offline the process can still represent a computational bottleneck. In this work, we develop a scalable computational approach for reducing the costs associated with the sampling stage of the BAE approach. Specifically, we consider the Taylor expansion of the accurate and surrogate forward models with respect to the uncertain parameter fields either as a control variate for variance reduction or as a means to efficiently approximate the mean and covariance of the approximation errors. We propose efficient methods for evaluating the expressions for the mean and covariance of the Taylor approximations based on linear(-ized) PDE solves. Furthermore, the proposed approach is independent of the dimension of the uncertain parameter, depending instead on the intrinsic dimension of the data, ensuring scalability to high-dimensional problems. The potential benefits of the proposed approach are demonstrated for two high-dimensional inverse problems governed by PDE examples, namely for the estimation of a distributed Robin boundary coefficient in a linear diffusion problem, and for a coefficient estimation problem governed by a nonlinear diffusion problem.
- [114] arXiv:2512.05727 [pdf, ps, other]
-
Title: Modified global finite-time quasi-continuous second-order robust feedback controlComments: 6 pages, 5 figuresSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
A non-overshooting quasi-continuous sliding mode control with sub-optimal damping was recently introduced in Ruderman and Efimov (2025) for perturbed second-order systems. The present work proposes an essential modification of the nonlinear control law which (i) allows for a parameterizable control amplitude limitation in a large subset of the initial values, (ii) admits an entire state-space R2 (that was not given in Ruderman and Efimov (2025)) for the finite-time control, and finally (iii) enables for the found analytic solution of the state trajectories in the unperturbed case. The latter allows also for an exact estimation of the finite convergence time, and open an avenue for other potentially interesting analysis of the control properties in the future. For a perturbed case, the solution-based and Lyapunov function-based approaches are developed to show the uniform global asymptotic stability. The proposed robustness and convergence analysis are accompanied by several illustrative numerical examples.
- [115] arXiv:2512.05743 [pdf, ps, other]
-
Title: Asymptotic Behavior of Rupture Solutions for the Elliptic MEMS Equation with Hénon-Type TermAuthors: Yunxiao LiSubjects: Analysis of PDEs (math.AP)
For an elliptic MEMS equation with H\'enon-type term, $\Delta u = \lambda |x|^{\alpha}/u^{p} + F$, we study rupture solutions, i.e. solutions for which $u(x_0)=0$ at some point $x_0$, also $x_0$ is called a rupture point. In this paper we focus on the special case where the rupture occurs at the origin. According to the different H\'enon-type exponents $\alpha$, we analyze the asymptotic behavior of such solutions near the origin and derive a full asymptotic expansion of arbitrary order in a neighborhood of the origin. Moreover, for both radial solutions and non-radial solutions with asymptotic radial condition, we prove the existence of rupture solutions near the rupture point by constructing it.
- [116] arXiv:2512.05749 [pdf, ps, other]
-
Title: Stochastic Reconfiguration with Warm-Started SVDComments: 27 pages, 8 figuresSubjects: Mathematical Physics (math-ph)
The combination of the variational Monte Carlo (VMC) method with deep learning wave function architectures has led to several successes in ground-state calculations of quantum many-body systems in recent years. However, commonly used stochastic gradient-based methods often perform poorly on these parameter training problems and typically lack convergence guarantees. The stochastic reconfiguration (SR) method provides a robust preconditioner of the stochastic gradient, whose computational cost becomes prohibitive for large parameter spaces owing to the repeated inversion of large covariance matrices. To overcome this bottleneck, we propose a warm-started stochastic reconfiguration (WSSR) method, which integrates warm-start techniques from singular value decomposition (SVD) to refine low-rank approximations of the preconditioning matrix iteratively. Numerical experiments on typical atomic and molecular systems highlight the effectiveness of the WSSR method within VMC calculations.
- [117] arXiv:2512.05752 [pdf, ps, other]
-
Title: Notes on Chevalley Groups and Root Category II: Compact Lie Groups and RepresentationsComments: 40 pagesSubjects: Representation Theory (math.RT)
This paper is a continuation of [5]. Using the root categories, we define the compact real forms of the complex semisimple Lie algebras, and maximal compact subgroups of the Chevalley groups over $\mathbb{C}$. In [7], Lusztig used the modified quantum group $\dot{\mathbf{U}}$ and its canonical basis to obtain the reductive group and its coordinate ring $\mathbf{O}_A$, in particular the tensor product decomposition of $\mathbf{O}_A$. By combining these two kinds of structures, we explore in this paper how the classical theory of the compact Lie groups, such as Peter-Weyl theorem and Plancherel theorem, can be recovered completely.
- [118] arXiv:2512.05755 [pdf, ps, other]
-
Title: The Commuting Graphs of Certain Solvable Lie AlgebrasSubjects: Rings and Algebras (math.RA)
Let $Z(\cal L)$ be the center of a Lie algebra $\cal L$ with Lie bracket $[\cdot, \cdot]$. %We then define The commuting graph of $\cal L$ is then defined by the simple undirected graph $\Gamma({\cal L})=(V_{\cal L},E_{\cal L})$ in which the vertex set is $V_{\mathcal L}=\mathcal L \setminus Z(\mathcal L)$ and the set of edges $E_{\cal L}=\left\{ \{x,y\} \mid [x,y] =0 \right\}$. The main purpose of this paper is to accurately describe the connected components of the commuting graph of solvable Lie algebras of dimension at most 4.
- [119] arXiv:2512.05756 [pdf, ps, other]
-
Title: A phase transition in Erdős-Barak random graphsComments: 6 pages, comments are welcomeSubjects: Probability (math.PR); Combinatorics (math.CO); Statistics Theory (math.ST)
We study monotone paths in Erd\H{o}s-R\'enyi random graphs on numbered vertices. Benjamini & Tzalik established a phase transition at $p = \frac{\log n}{n}$ for this model. We refine the critical value to $p = \frac{\log n - \log \log n }{n}$ and identify the critical window of order $\Theta(1/n)$.
- [120] arXiv:2512.05766 [pdf, ps, other]
-
Title: Bifurcation from bubbles in nonconvex conesSubjects: Analysis of PDEs (math.AP)
We investigate the Neumann problem for the critical semilinear elliptic equation in cones. The standard bubble provides a family of radial solutions, which are known to be the only positive solutions in convex cones. For nonconvex cones, symmetry breaking may occur and the symmetry breaking is related to the first nonzero Neumann eigenvalue of the Laplace Beltrami operator on the domain $D\subset\S^{N-1}$, that spans the cone. We construct a one-parameter family of domains on the sphere whose first eigenvalue crosses the threshold at which the bubble loses stability. Under the assumption that this eigenvalue is simple, we prove, via the Crandall Rabinowitz bifurcation theorem, the existence of a branch of nonradial solutions bifurcating from the standard bubble. Moreover we show that the bifurcation is global.
- [121] arXiv:2512.05769 [pdf, ps, other]
-
Title: Scalar-mean rigidity beyond warped product spacesComments: 14 pagesSubjects: Differential Geometry (math.DG)
The main scalar-mean extremality and rigidity results in the existing literature concern manifolds whose curvature operators are nonnegative, or warped product spaces with a log-concave warping function whose leaves carry metrics of nonnegative curvature operator. In this paper, we establish scalar-mean extremality and rigidity theorems for a broad class of Riemannian manifolds with boundary whose metrics are conformal to ones with nonnegative curvature operator. In particular, our results extend these theorems beyond the warped product setting and yields new families of manifolds exhibiting scalar-mean extremality and rigidity.
- [122] arXiv:2512.05770 [pdf, ps, other]
-
Title: Asymptotic stability and ergodic properties of quantum trajectories under imperfect measurementSubjects: Mathematical Physics (math-ph); Probability (math.PR); Quantum Physics (quant-ph)
We investigate the asymptotic stability and ergodic properties of quantum trajectories under imperfect measurement, extending previous results established for the ideal case of perfect measurement. We establish a necessary and sufficient condition ensuring the convergence of the estimated trajectory, initialized from an estimated state, to the true trajectory. This result is obtained assuming that the associated quantum channel is irreducible. Building on this, we prove the uniqueness of the invariant measure and demonstrate convergence toward this measure.
- [123] arXiv:2512.05773 [pdf, ps, other]
-
Title: The sparsity of character tables over finite reductive groups and its additive analogueComments: 26 pages. Comments are welcome!Subjects: Representation Theory (math.RT)
We consider the proportion of zero entries in the character table of a sequence of reductive groups over a finite field. We prove an asymptotic lower bound when the reductive group is fixed and the size of the finite field increases. Furthermore, we prove that when considering a sequence of reductive groups with increasing semisimple rank, the proportion is asymptotically one. We also establish an additive analogue of this phenomenon in the context of a fixed reductive Lie algebra.
- [124] arXiv:2512.05775 [pdf, ps, other]
-
Title: Distributed Online Randomized Gradient-Free Optimization with Compressed CommunicationSubjects: Optimization and Control (math.OC)
This paper addresses two fundamental challenges in distributed online convex optimization: communication efficiency and optimization under limited feedback. We propose a unified framework named Online Compressed Gradient Tracking (OCGT), which includes two variants: One-point Bandit Feedback (OCGT-BF) and Stochastic Gradient Feedback (OCSGT). The proposed algorithms harness data compression and either gradient-free or stochastic gradient optimization techniques within distributed networks. The proposed framework incorporates a compression scheme with error compensation mechanisms to reduce communication overhead while maintaining convergence guarantees. Unlike traditional approaches that assume perfect communication and full gradient access, OCGT operates effectively under practical constraints by combining gradient-like tracking with one-point or stochastic gradient feedback estimation. We provide a theoretical analysis demonstrating dynamic regret bounds for both variants. Finally, extensive experiments validate that OCGT achieves low dynamic regret while significantly reducing communication requirements.
- [125] arXiv:2512.05777 [pdf, ps, other]
-
Title: Multiparameter quantum general linear supergroupComments: 31 pages - Keywords: Quantum Groups, Quantum Function AlgebrasSubjects: Quantum Algebra (math.QA)
We introduce uniparametric and multiparametric quantisations of the general linear supergroup, in the form of "quantised function algebras", both in a formal setting -- yielding "quantum formal series Hopf superalgebras", a` la Drinfeld - and in a polynomial one -- closer to Manin's point of view. In the uniparametric setting, we start from quantised universal enveloping superalgebras over gl(n) -- endowed with a super-structure -- as in [Ya1] and [Zha]: through a direct approach, we construct their linear dual, thus finding the quantum formal series Hopf superalgebras mentioned above, which are described in detail via an explicit presentation. Starting from the latter, then, we perform a deformation by a well-chosen 2-cocycle, thus getting a multiparametric quantisation, described again by an explicit presentation: this is, in turn, the dual to the multiparametric quantised universal enveloping algebra over gl(n) from [GGP]. We also provide some "polynomial versions" of these quantisations, both for the uniparametric and the multiparametric case. In particular, we compare the latter to Manin's quantum function algebras from [Ma].
- [126] arXiv:2512.05782 [pdf, ps, other]
-
Title: Introduction to Quantum Groups and Yang-Baxter Equation For ProbabilistsAuthors: Jeffrey KuanSubjects: Probability (math.PR); Mathematical Physics (math-ph)
These are a set of lecture notes for a mini-course I gave at The University of Warwick from October 30th to November 1st, 2024. Recordings of the lectures are available on Oleg Zaboronski's webpage at https://warwick.ac.uk/fac/sci/maths/people/staff/oleg_zaboronski/jeffrey_kuan_visit/ . The main body of the notes covers the content of the lectures, and provides an introduction to Drinfel'd-Jimbo quantum groups and the Yang-Baxter equation, with a probabilist as the target audience. The appendix contains several topics, requested by colleagues during my visit to the United Kingdom, which all depend on the main set of notes.
The notes begin by defining what it means for the asymmetric simple exclusion process (ASEP) to be integrable, in the sense of satisfying the Yang-Baxter equation. It then provides the algebraic background for the Yang-Baxter equation, by defining Drinfel'd-Jimbo groups as a quasi-triangular Hopf algebra. The algebraic background motivates generalizations of ASEP to stochastic vertex models and "fused" models. Each section corresponds to approximately an hour of lecture time.
The appendix covers the F.R.T. construction, Hecke algebras, the matrix product ansatz, and orthogonal polynomial vertex weights. The topics in the appendix can be read independently of each other.
Accessibility Statement: This PDF meets the technical standards of WCAG2.1AA, which complies with Ohio Administrative Policy IT-09 , Texas Administrative Code 206.70 and Title II of the Americans with Disabilities Act (effective April 24, 2026) . A webpage version of this PDF, typeset in MathML, is also available at https://go.osu.edu/QuantumKuan . To block web crawlers, the webpage is password protected. The password is TaySwift13. As an additional benefit, the webpage will have space for public comments and a list of updated errata, without the need to update the arXiv version. - [127] arXiv:2512.05786 [pdf, ps, other]
-
Title: Analytic conjugation between planar reversible and Hamiltonian systemsAuthors: F.J.S. NascimentoSubjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA)
In this work we study the local structure of analytic planar vector fields that are reversible with respect to the linear involution $R(u,v)=(u,-v)$. We show that every analytic reversible vector field with a nondegenerate equilibrium is locally analytically conjugate to a Hamiltonian system. More precisely, we prove that, in a neighbourhood of the origin, the system is analytically equivalent to a Hamiltonian vector field whose Hamiltonian assumes the classical normal form associated with the type of the equilibrium: $H(x,y)=F(x^{2}+y^{2})$ in the elliptic case and $H(x,y)=-F(x^{2}-y^{2})$ in the hyperbolic case, where $F$ is real-analytic and completely determined by the dynamics. We also show that the conjugacy can be chosen equivariant, that is, commuting with the reversing involution.
We further discuss the problem of \emph{global} equivalence, which in general remains open, even in the planar case. In dimensions greater than $2$ the situation becomes even more delicate: the equivalence between reversible and Hamiltonian systems is known only at the \emph{formal} level, and the existence of an analytic conjugacy, even locally, is still a widely open problem. - [128] arXiv:2512.05793 [pdf, ps, other]
-
Title: Integral Formulas for Differential Forms on Weighted Manifolds and ApplicationsSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
In this paper, we derive a Reilly formula for differential forms on weighted manifolds with nonempty boundary. As an application of this formula, we prove a Poincar\'e-type inequality in the same context and explore several of its consequences. We also present weighted versions of some boundary value problems and obtain new eigenvalue estimates that extend previously known results.
- [129] arXiv:2512.05797 [pdf, ps, other]
-
Title: Floer sections in multisymplectic geometrySubjects: Symplectic Geometry (math.SG); Mathematical Physics (math-ph); Differential Geometry (math.DG)
In symplectic geometry, Floer theory is the most important tool to prove the existence of time-periodic solutions in Hamiltonian mechanics. The core observation is that the $L^2$-gradient lines of the symplectic action functional are pseudo-holomorphic curves, enabling the use of elliptic PDE methods. Multisymplectic geometry is the geometric framework underlying Hamiltonian field theory, where the time line is replaced by higher-dimensional manifolds. In the case of two dimensions and using complex structures, we introduce a novel multisymplectic framework that is fit for the generalization of the elliptic methods from symplectic geometry. Besides proving a Darboux theorem, we show that the $L^2$-gradient lines of our multisymplectic action functional are now pseudo-Fueter curves defined using a compatible almost hyperk\"ahler structure.
- [130] arXiv:2512.05798 [pdf, ps, other]
-
Title: Multiplicative operators on analytic function spacesComments: 19 pagesPrimary: 30H50, 47B33; Secondary: 30H10, 30H20, 30H25, 30H30Subjects: Functional Analysis (math.FA); Complex Variables (math.CV)
H. J. Schwartz proved in his thesis (1969) that a nonzero bounded operator on Hardy spaces $(H^p, 1\leq p\leq\infty)$ is almost multiplicative if and only if it is a composition operator. But, his proof has a gap. In this article, we show that his result is not correct for $H^\infty$ and we fill the gap for $H^p, 1\leq p<\infty.$ Further, we prove that on several classical spaces such as the Bloch space, the little Bloch space, Besov spaces $B_p$ for $p>1$, and weighted Bergman spaces an operator is almost multiplicative if and only if it is a composition operator. Finally, we give a complete characterization of those composition operators that are multiplicative with respect to the Duhamel product of analytic functions.
- [131] arXiv:2512.05800 [pdf, ps, other]
-
Title: Montel's theorem and composition operators for analytic almost periodic functionsAuthors: Viktor AnderssonComments: 19 pagesSubjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA); Complex Variables (math.CV)
We consider the Banach space $H^\infty_{\mathrm{ap}}(\mathbb{C}_0)$ of bounded analytic functions on the open right half-plane $\mathbb{C}_0$ that are almost periodic on some smaller half-plane, as well as the subspace $A_{\mathrm{ap}}(\mathbb{C}_0)$ of those functions in $H^\infty_{\mathrm{ap}}(\mathbb{C}_0)$ that are uniformly continuous on $\mathbb{C}_0$. We prove a strong version of Montel's theorem for $H^\infty_{\mathrm{ap}}(\mathbb{C}_0)$ and characterize the bounded composition operators on $H^\infty_{\mathrm{ap}}(\mathbb{C}_0)$ and $A_{\mathrm{ap}}(\mathbb{C}_0)$, as well as the compact composition operators on $H^\infty_{\mathrm{ap}}(\mathbb{C}_0)$ and certain subspaces of it.
- [132] arXiv:2512.05820 [pdf, ps, other]
-
Title: On the integral variation map of isolated plane curves singularitiesComments: 49 pagesSubjects: Algebraic Geometry (math.AG); Geometric Topology (math.GT)
The integral variation map and algebraic monodromy of isolated plane curve singularities are important homological invariants of the singularity which are still far from being completely understood. This work provides effective ways of computing them with respect to an explicit geometric basis of the homology.
For any given topological type of plane curve singularity, we construct an analytic model of it, along with a vector field on our version of its A'Campo space. This vector field is tangent to the Milnor fibers at radius zero and the union of the stable manifolds of their singularities yields a spine of each fiber, which can be described explicitly. This is very much inspired by a recent work of the authors.
Our first main contribution is the algorithmic computation of the algebraic monodromy and integral variation map as matrices with explicit bases for any Milnor fiber in the Milnor fibration, not merely congruence classes. For our second contribution, we introduce gyrographs which are graphs equipped with angular data and rational weights. We prove that the invariant spine naturally carries a gyrograph structure were the weights are given by the Hironaka numbers, and that this structure recovers the geometric monodromy as a homotopy class, as well as the integral variation map. This provides a combinatorial framework for computation by hand. Our methods are further implemented in a publicly availablecomputer program written in Python. - [133] arXiv:2512.05821 [pdf, ps, other]
-
Title: On the formation of microstructure and the occurrence of vortices in a singularly perturbed energy related to helimagnetism: a scaling law resultAuthors: Janusz GinsterSubjects: Analysis of PDEs (math.AP)
In this work, singularly perturbed energies arising from discrete $J_1$-$J_3$-models are studied. The energies under consideration consist of a non-convex bulk term and a higher-order regularizing term and are subject to incompatible boundary conditions. In contrast to existing results in the literature, in this work, admissible fields are not necessarily gradient fields, instead their curl is linked to topological singularities, so-called vortices, in the discrete $J_1$-$J_3$-model. The main result of this work is a scaling law for the minimal energy with respect to three parameters: one measuring the incompatibility of the boundary conditions, the second measuring the strength of the regularizing term, and the third being related to the interatomic distance in the discrete model. The shown result implies in particular that in certain parameter regimes, minimizers necessarily develop vortices. A key tool in the analysis is a careful modification of the celebrated ball-construction technique that, due to a lack of rigidity, considers simultaneously both the bulk energy and the regularizing term.
- [134] arXiv:2512.05826 [pdf, ps, other]
-
Title: Entropy and Fisher information in non-convex domains: one chain to rule them allSubjects: Analysis of PDEs (math.AP)
We prove that the (square root) Fisher information functional is a strong Wasserstein upper gradient of the entropy on non-convex Riemannian domains. This fills a gap in the literature by allowing one to completely dispense from $\lambda$-displacement convexity arguments. Along the way we establish a novel quantitative short-time control of the Fisher information along the Neumann heat flow, and establish an exact chain rule under stronger $AC_2$ assumptions typically satisfied by curves of measures obtained as limits of JKO schemes.
- [135] arXiv:2512.05828 [pdf, ps, other]
-
Title: A new bound on the rank of tensor product of W-statesComments: 18 pagesSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
A W-state is an order d symmetric tensor of the form W_d=x^{d-1}y. We prove that the partially symmetric rank of W_{d_1}\otimes \cdots \otimes W_{d_k} is at most 2^{k-1}(d_1+\cdots +d_k-2k+2). The same bound holds for the tensor rank and it is an improvement of 2^k(k-1) over the best known bound. Moreover, we provide an explicit partially symmetric decomposition achieving this bound.
- [136] arXiv:2512.05829 [pdf, ps, other]
-
Title: Higher-order diffusion and Cahn-Hilliard-type models revisited on the half-lineSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Complex Variables (math.CV)
In this paper, we solve explicitly and analyze rigorously inhomogeneous initial-boundary-value problems (IBVP) for several fourth-order variations of the traditional diffusion equation and the associated linearized Cahn-Hilliard (C-H) model (also Kuramoto-Sivashinsky equation), formulated in the spatiotemporal quarter-plane. Such models are of relevance to heat-mass transfer phenomena, solid-fluid dynamics and the applied sciences. In particular, we derive formally effective solution representations, justifying a posteriori their validity. This includes the reconstruction of the prescribed initial and boundary data, which requires careful analysis of the various integral terms appearing in the formulae, proving that they converge in a strictly defined sense. In each IBVP, the novel formula is utilized to rigorously deduce the solution's regularity and asymptotic properties near the boundaries of the domain, including uniform convergence, eventual (long-time) periodicity under (eventually) periodic boundary conditions, and null non-controllability. Importantly, this analysis is indispensable for exploring the (non)uniqueness of the problem's solution and a new counter-example is constructed. Our work is based on the synergy between: (i) the well-known Fokas unified transform method and (ii) a new approach recently introduced for the rigorous analysis of the Fokas method and for investigating qualitative properties of linear evolution partial differential equations (PDE) on semi-infinite strips. Since only up to third-order evolution PDE have been investigated within this novel framework to date, we present our analysis and results in an illustrative manner and in order of progressively greater complexity, for the convenience of readers. The solution formulae established herein are expected to find utility in well-posedness studies for nonlinear counterparts too.
- [137] arXiv:2512.05838 [pdf, ps, other]
-
Title: Stochastic Passivity in Stochastic Differential Equations: A Port-Hamiltonian PerspectiveComments: 38 pagesSubjects: Optimization and Control (math.OC); Probability (math.PR)
We extend deterministic port-Hamiltonian systems (PHS) to a stochastic framework by means of stochastic differential equations. As the dissipation inequality plays a crucial role for deterministic PHS, we develop several passivity concepts for stochastic input-state-output systems and characterize these in terms of the parameters of the system. Afterwards, we examine properties of a certain class of linear stochastic systems that can be regarded as an extension of linear deterministic PHS to a stochastic passivity framework.
- [138] arXiv:2512.05842 [pdf, ps, other]
-
Title: Conformal transformations of metric spaces and Lorentzian pre-length spacesComments: 57 pages, 4 figuresSubjects: Differential Geometry (math.DG); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Metric Geometry (math.MG)
We introduce conformal transformations in the synthetic setting of metric spaces and Lorentzian (pre-)length spaces. Our main focus lies on the Lorentzian case, where, motivated by the need to extend classical notions to spaces of low regularity, we provide the first consistent notion of conformal length, and analyse its fundamental properties. We prove that the conformal time separation function $\tau_{\Omega}$ (and the causal structure it induces) yields a Lorentzian pre-length structure if the original space is intrinsic and strongly causal. This allows us to construct a notion of conformal transformation between spaces within this class, yielding an equivalence relation. As applications, we show that the conformal length functional agrees with the standard conformal length of (strongly causal) spacetimes. We also prove conformal invariance of angles and causality conditions, give a characterisation of global hyperbolicity via finiteness of $\tau_{\Omega}$ for all conformal factors, and establish the behaviour of the Lorentzian Hausdorff measure defined in [MS22a] under conformal changes. Moreover, we apply the same methods to the metric case, which is of interest in its own right. This is exemplified by proving an analog of the Nomizu--Ozeki theorem for metric length spaces, which has the advantage that the resulting complete space is conformally related to the original space.
- [139] arXiv:2512.05848 [pdf, ps, other]
-
Title: A decomposition theorem for topological branched coveringsAuthors: Shahryar Ghaed SharafSubjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG)
In the context of complex algebraic varieties, the decomposition theorem for semi-small maps provides a decomposition of the direct image of the constant sheaf. In this work, we develop a decomposition theorem for branched coverings of topological spaces. To achieve this, we start by constructing a decomposition theorem for unramified covering maps using transition functions. For a given branched covering of closed topological manifolds, we use the previous result to establish a decomposition of the direct image of the constant sheaf on the covering space. In the next step, we generalize our discussion to the case where the target space is not necessarily a topological manifold.
- [140] arXiv:2512.05861 [pdf, ps, other]
-
Title: Cornered skein lasagna theoryComments: 20 pages, 14 figures, comments welcome!Subjects: Geometric Topology (math.GT); Algebraic Topology (math.AT); Quantum Algebra (math.QA)
We extend the skein lasagna theory of Morrison-Walker-Wedrich to 4-manifolds with corners and formulate gluing formulas for 4-manifolds with boundary and, more generally, with corners. As an application, we develop a categorical framework for a presentation of the skein lasagna module of trisected closed 4-manifolds. Further, we extend the theory to dimension two by introducing bicategories for closed oriented surfaces and proving a gluing formula for the categories associated with 3-manifolds with boundary.
- [141] arXiv:2512.05867 [pdf, ps, other]
-
Title: Critical behaviour of the fully packed loop-$O(n)$ model on planar triangulationsComments: 38 pages, 4 figuresSubjects: Probability (math.PR); Mathematical Physics (math-ph); Combinatorics (math.CO)
We study the fully packed loop-$O(n)$ model on planar triangulations. This model is also bijectively equivalent to the Fortuin--Kasteleyn model of planar maps with parameter $q\in (0,4)$ at its self-dual point. These have been traditionally studied using either techniques from analytic combinatorics (based in particular on the gasket decomposition of Borot, Bouttier and Guitter arXiv:1106.0153) or probabilistic arguments (based on Sheffield's hamburger-cheeseburger bijection arXiv:1108.2241). In this paper we establish a dictionary relating quantities of interest in both approaches. This has several consequences. First, we derive an exact expression for the partition function of the fully packed loop-$O(n)$ model on triangulations, as a function of the outer boundary length. This confirms predictions by Gaudin and Kostov. In particular, this model exhibits critical behaviour, in the sense that the partition function exhibits a power-law decay characteristic of the critical regime at this self-dual point. This can be thought of as the planar map analogue of Nienhuis' predictions for the critical point of the loop-$O(n)$ model on the hexagonal lattice. Finally, we derive precise asymptotics for geometric features of the FK model of planar maps when $0 < q <4$, such as the exact tail behaviour of the perimeters of clusters and loops. This sharpens previous results of arXiv:1502.00450 and arXiv:1502.00546. A key step is to use the above dictionary and the probabilistic results to justify rigorously an ansatz commonly assumed in the analytic combinatorics literature.
- [142] arXiv:2512.05890 [pdf, ps, other]
-
Title: Seaweed algebras with restricted part sizesComments: 26 pagesSubjects: Combinatorics (math.CO)
Seaweed algebras are a class of Lie algebras that are naturally characterized by a pair of compositions, which in turn are represented visually as planar graphs called meanders. These meanders provide a straightforward method for computing the index of the associated algebra. The goal of this paper is to enumerate those seaweed algebras with a fixed index and whose associated compositions have restricted part sizes. In particular, we enumerate those with composition part sizes from so-called acyclic sets. We also establish a bijection between sets of indecomposable seaweed algebras with meanders with certain restricted part sizes and sets of permutations with restricted displacements. In certain cases, the index of the algebra can be determined by a simple statistic on the permutation.
- [143] arXiv:2512.05891 [pdf, ps, other]
-
Title: The Milnor fiber boundary of an arrangement determines its combinatoricsComments: 20 pages, 10 figuresSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); Geometric Topology (math.GT)
The boundary of the Milnor fiber associated with a complex line arrangement is a three dimensional plumbed manifold, and it is a combinatorial invariant. We prove the reverse implication, which was conjectured N\'emethi and Szil\'ard. That is, this boundary of the Milnor fiber determines the combinatorics of the arrangement. Furthermore, we give an explicit method which constructs the poset associated with the arrangement, given a plumbing graph in normal form for the boundary.
- [144] arXiv:2512.05892 [pdf, ps, other]
-
Title: Invariant polynomials, gaps, and sparsenessComments: 22 pagesSubjects: Complex Variables (math.CV)
We consider each of the three classes of representations of cyclic groups that arise in the study of rational sphere maps. We study the possible number of terms for invariant polynomials with non-negative coefficients that are constant on the appropriate line or hyperplane. Our result provides crucial information about gaps in the possible target dimensions for certain invariant polynomial sphere maps. We interpret our results in terms of sparseness for solutions of certain linear systems.
- [145] arXiv:2512.05894 [pdf, ps, other]
-
Title: Aeppli-Bott-Chern Massey products on non-Kähler solvmanifoldsSubjects: Differential Geometry (math.DG)
In this paper, we present explicit computations of non-trivial triple $ABC$-Massey products on non-K\"ahler solvmanifolds endowed with an invariant complex structure. We prove that the {\em Bigalke-Rollenske manifold}, the {\em generalized Nakamura manifolds} satisfying some suitable assumptions and compact quotients of the solvable Lie group $\mathbb{C}^{2n}\ltimes_{\rho} \mathbb{C}^{2m}$ have non-vanishing triple $ABC$-Massey products. Furthermore, such manifolds have no astheno-K\"ahler metric.
- [146] arXiv:2512.05896 [pdf, ps, other]
-
Title: Tóth's buses and the "detachment process''Authors: János EngländerSubjects: Probability (math.PR)
This paper introduces the \textbf{detachment process}, a novel, time-inhomogeneous Markov process inspired by I. P. T\'oth's problem \cite{Toth} concerning the number of ``lonely passengers'' (those without companions) when $n$ passengers are seated independently and uniformly in $k$ initially empty buses. T\'oth showed that this number is stochastically non-decreasing in $k$ for fixed $n$ (see also Haslegrave's work \cite{Haslegrave}).
We extend T\'oth's model by treating the number of buses $k$ as a time parameter. Specifically, for a fixed number of passengers $n$, the state of our Markov process at time $k \ge 1$ is exactly T\'oth's configuration $(n, k)$. (We formally extend the process definition for all $t \in [1, \infty)$.) These processes can be coupled for all $n \ge 1$, and this larger coupled process is what we dub the \textbf{detachment process}.
Our investigation focuses on properties related to detachment, clumping, the number of lonely passengers and of non-empty buses. The central notion is \textbf{detachment}, which occurs at time $k$ if every passenger occupies a distinct bus; we say the process is \textbf{in a state of detachment} at $k$. A \textbf{detachment time} $k$ is when the process transitions from a non-detached state at $k-1$ to a detached state at $k$.
\textbf{Four critical time scales} are idetified -- linear, quadratic, and log-corrected linear or quadratic in the number of passengers, $n$ -- that govern the process's properties.
We investigate (relative) clumping. We also explore why modeling the number of passengers with a Poisson distribution simplifies the analysis of T\'oth's original model. To aid this derivation, we introduce a comparison theorem for binomial distributions, originally obtained by J. Najnudel \cite{Najnudel}, along with a novel proof. - [147] arXiv:2512.05910 [pdf, ps, other]
-
Title: Numerically Reliable Brunovsky TransformationsComments: Submitted to IFAC World Congress 2026 as a regular paperSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
The Brunovsky canonical form provides sparse structural representations that are beneficial for computational optimal control, yet existing methods fail to compute it reliably. We propose a technique that produces Brunovsky transformations with substantially lower construction errors and improved conditioning. A controllable linear system is first reduced to staircase form via an orthogonal similarity transformation. We then derive a simple linear parametrization of the transformations yielding the unique Brunovsky form. Numerical stability is further enhanced by applying a deadbeat gain before computing system matrix powers and by optimizing the linear parameters to minimize condition numbers.
- [148] arXiv:2512.05912 [pdf, ps, other]
-
Title: Interpretation of a Discrete de Rham method as a Finite Element SystemComments: 20 pagesSubjects: Numerical Analysis (math.NA)
We show that the DDR method can be interpreted as defining a computable consistent discrete $\mathrm{L}^2$ product on a conforming FES defined by PDEs. Without modifying the numerical method itself, this point of view provides an alternative approach to the analysis. The conformity and consistency properties we prove are stronger than those previously shown. We can also recover some of the other results that have been proved about DDR, from those that have already been proved, in principle, in the general context of FES. We also bring VEM, the Virtual Element Method, into the discussion.
- [149] arXiv:2512.05913 [pdf, ps, other]
-
Title: A model of discrete interacting updatesComments: 27 pagesSubjects: Probability (math.PR)
We consider $N$ counters taking integer values which are subject to the following dynamics. At every time, a pair of distinct counters is chosen uniformly at random and their states are updated according to the following rule. If the states are different, then the smaller one is increased by $1$, while if the states are the same, both of them are increased by $1$. We show that, for a fixed $N$, the distances between consecutive ordered counters form a positive recurrent Markov chain and there exists the speed $V(N)$ defined as the average number of counters updated per time step in the stationary regime. We provide non-trivial upper and lower bounds for $V(N)$ as $N\to \infty$. Despite the simple formulation of the problem, its analysis seems to be highly complicated. We also provide a list of open problems and discuss various methods one may want to use, and obstacles one encounters.
- [150] arXiv:2512.05919 [pdf, ps, other]
-
Title: A Discontinuous Galerkin Consistent Splitting Method for the Incompressible Navier-Stokes EquationsAuthors: Dominik Still, Natalia Nebulishvili, Richard Schussnig, Katharina Kormann, Martin KronbichlerComments: 22 pages, 6 figures, submitted to CMAMESubjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS)
This work presents the discontinuous Galerkin discretization of the consistent splitting scheme proposed by Liu [J. Liu, J. Comp. Phys., 228(19), 2009]. The method enforces the divergence-free constraint implicitly, removing velocity--pressure compatibility conditions and eliminating pressure boundary layers. Consistent boundary conditions are imposed, also for settings with open and traction boundaries. Hence, accuracy in time is no longer limited by a splitting error.
The symmetric interior penalty Galerkin method is used for second spatial derivatives. The convective term is treated in a semi-implicit manner, which relaxes the CFL restriction of explicit schemes while avoiding the need to solve nonlinear systems required by fully implicit formulations. For improved mass conservation, Leray projection is combined with divergence and normal continuity penalty terms.
By selecting appropriate fluxes for both the divergence of the velocity field and the divergence of the convective operator, the consistent pressure boundary condition can be shown to reduce to contributions arising solely from the acceleration and the viscous term for the $L^2$ discretization. Per time step, the decoupled nature of the scheme with respect to the velocity and pressure fields leads to a single pressure Poisson equation followed by a single vector-valued convection-diffusion-reaction equation. We verify optimal convergence rates of the method in both space and time and demonstrate compatibility with higher-order time integration schemes. A series of numerical experiments, including the two-dimensional flow around a cylinder benchmark and the three-dimensional Taylor--Green vortex problem, verify the applicability to practically relevant flow problems. - [151] arXiv:2512.05939 [pdf, ps, other]
-
Title: Qualitative and Quantitative Analysis of Riemannian Optimization Methods for Ground States of Rotating Multicomponent Bose-Einstein CondensatesSubjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
We develop and analyze Riemannian optimization methods for computing ground states of rotating multicomponent Bose-Einstein condensates, defined as minimizers of the Gross-Pitaevskii energy functional. To resolve the non-uniqueness of ground states induced by phase invariance, we work on a quotient manifold endowed with a general Riemannian metric. By introducing an auxiliary phase-aligned iteration and employing fixed-point convergence theory, we establish a unified local convergence framework for Riemannian gradient descent methods and derive explicit convergence rates. Specializing this framework to two metrics tailored to the energy landscape, we study the energy-adaptive and Lagrangian-based Riemannian gradient descent methods. While monotone energy decay and global convergence are established only for the former, a quantified local convergence analysis is provided for both methods. Numerical experiments confirm the theoretical results and demonstrate that the Lagrangian-based method, which incorporates second-order information on the energy functional and mass constraints, achieves faster local convergence than the energy-adaptive scheme.
- [152] arXiv:2512.05942 [pdf, ps, other]
-
Title: A poset representation for stable contracts in a two-sided market generated by integer choice functionsAuthors: Alexander V. KarzanovComments: 39 pages, 1 figureSubjects: Combinatorics (math.CO)
Generalizing a variety of earlier problems on stable contracts in two-sided markets, Alkan and Gale introduced in 2003 a general stability model on a bipartite graph $G=(V,E)$ in which the vertices are interpreted as ``agents'', and the edges as possible ``contract'' between pairs of ``agents''. The edges are endowed with nonnegative capacities $b$ giving upper bounds on ``contract intensities'', and the preferencies of each ``agent'' $v\in V$ depend on a \emph{choice function} (CFs) that acts on the set of ``contracts'' involving $v$, obeying three well motivated axioms of \it{consistence}, \it{substitutability} and \it{cardinal monotonicity}. In their model, the capacities and choice functions can take reals or discrete values and, extending well-known earlier results on particular cases, they proved that systems of \it{stable} contracts always exist and, moreover, their set $\cal S$ constitutes a distributive lattice under a natural comparison relation $\prec$.
In this paper, we study Alkan--Gale's model when all capacities and choice functions take integer values. We characterize the set of rotations -- augmenting cycles linking neighboring stable assignments in the lattice $(\cal S,\prec)$, and construct a weighted poset in which the lattice the closed functions is isomorphic to $(\cal S,\prec)$, thus obtaining an explicit representation for the latter. We show that in general the size of the poset is at most $b^{\rm max}|E|$, where $b^{\rm max}$ is the maximal capacity, and the poset can be constructed in pseudo polynomial time. Then we explain that by imposing an additional condition on CFs, the size of the poset becomes polynomial in $|V|$, and the total time reduces to a polynomial in $|V|,\log b^{\rm max}$. - [153] arXiv:2512.05945 [pdf, ps, other]
-
Title: Sign patterns of Fourier coefficients of modular formsAuthors: Andrew R. BookerComments: 5 pagesSubjects: Number Theory (math.NT)
We give conditions under which a self-dual holomorphic cusp form is determined up to scalar multiplication by the signs of its Fourier coefficients.
- [154] arXiv:2512.05947 [pdf, ps, other]
-
Title: On cable-graph percolation between dimensions 2 and 3Comments: 35 pages, 2 figuresSubjects: Probability (math.PR); Mathematical Physics (math-ph)
We consider the Gaussian free field on two-dimensional slabs with a thickness described by a height $h$ at spatial scale $N$. We investigate the radius of critical clusters for the associated cable-graph percolation problem, which depends sensitively on the parameter $h$. Our results unveil a whole family of new "fixed points", which interpolate between recent results from arXiv:2303.03782 in two dimensions and from arXiv:2405.17417 and arXiv:2406.02397 in three dimensions, and describe critical behaviour beyond those regimes. In the delocalised phase, the one-arm decay exhibits a "plateau", i.e. it doesn't depend on the speed at which the variance of the field diverges in the large-$N$ limit. Our methods rely on a careful analysis of the interplay between two- and three-dimensional effects for the underlying random walk, which manifest themselves in a corresponding decomposition of the field.
- [155] arXiv:2512.05952 [pdf, ps, other]
-
Title: Spanning 3-discs in the 4-sphere pushed into the 5-discAuthors: Mark PowellComments: 5 pages, accepted for publication in the Rocky Mountain Journal of Mathematics. Comments welcomeSubjects: Geometric Topology (math.GT)
I prove that any two smooth collections of spanning 3-discs for the trivial 2-link in $S^4$ become smoothly isotopic rel. boundary after pushing them into $D^5$.
- [156] arXiv:2512.05963 [pdf, ps, other]
-
Title: Group Classification (1+2)-dimensional Linear Equation of Asian Options PricingSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
We consider a class of (1+2)-dimensional linear partial differential of Asian options pricing. Special cases have been used to models of financial mathematics. We carry out group classification of a class equations. In particular, the maximum dimension Lie invariance algebra within the above class is eight-dimensional. It is shown that an equation with such an algebra can be transformed into the linear Kolmogorov equation with the help of the point transformations of variables. Using the operators of invariance algebra symmetry reduction is carried out and invariant exact solutions are constructed for some equations.
- [157] arXiv:2512.05966 [pdf, ps, other]
-
Title: Categorifying isomonodromic deformations via Lie groupoids I: Logarithmic singularitiesAuthors: Waleed QaisarComments: 22 pages; comments welcome!Subjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG)
We upgrade the classical operation of \textit{isomonodromic deformations} along a path $\gamma$ to a functor $\mathbb{P}_{\gamma}$ between categories of flat connections with logarithmic singularities along a divisor $D$, which itself depends functorially on $\gamma$, using tools from the theory of Lie groupoids. As applications, (1) we get that isomonodromy gives a map of moduli \textit{stacks} of flat connections with logarithmic singularities, (2) we encode higher homotopical information at level 2, i.e. we get an action of the fundamental 2-groupoid of the base of our family on the categories of logarithmic flat connections on the fibres, and (3) our methods produce a geometric incarnation of the isomonodromy functors as Morita equivalences which are more primary than the isomonodromy functors themselves, and from which they can be formally extracted by passing to representation categories.
Cross-lists for Mon, 8 Dec 25
- [158] arXiv:2512.05149 (cross-list from cond-mat.soft) [pdf, ps, other]
-
Title: An Orbifold Framework for Classifying Layer Groups with an Application to Knitted FabricsSubjects: Soft Condensed Matter (cond-mat.soft); Materials Science (cond-mat.mtrl-sci); Mathematical Physics (math-ph); Group Theory (math.GR)
Entangled structures such as textiles, polymer networks, and architected metamaterials are often doubly periodic. Due to this property and their finite transverse thickness, the symmetries of these materials are described by the crystallographic layer groups. While orbifold notation provides a compact topological description and classification of the planar wallpaper groups, no analogous framework has been available for the spatial layer groups. In this article we develop an orbifold theory in three dimensions and introduce a complete set of Conway-type symbols for all layer groups. To illustrate its applicability, we analyze several knitted fabric motifs and show how their layer-group symmetries are naturally expressed in this new orbifold notation. This work establishes a foundation for the topological classification of doubly periodic structures beyond the planar setting and supports structure-function analysis in layered materials.
- [159] arXiv:2512.05156 (cross-list from cs.AI) [pdf, ps, other]
-
Title: Semantic Faithfulness and Entropy Production Measures to Tame Your LLM Demons and Manage HallucinationsAuthors: Igor HalperinComments: 23 pages, 6 figuresSubjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Information Theory (cs.IT); Machine Learning (cs.LG); Computational Finance (q-fin.CP)
Evaluating faithfulness of Large Language Models (LLMs) to a given task is a complex challenge. We propose two new unsupervised metrics for faithfulness evaluation using insights from information theory and thermodynamics. Our approach treats an LLM as a bipartite information engine where hidden layers act as a Maxwell demon controlling transformations of context $C $ into answer $A$ via prompt $Q$. We model Question-Context-Answer (QCA) triplets as probability distributions over shared topics. Topic transformations from $C$ to $Q$ and $A$ are modeled as transition matrices ${\bf Q}$ and ${\bf A}$ encoding the query goal and actual result, respectively. Our semantic faithfulness (SF) metric quantifies faithfulness for any given QCA triplet by the Kullback-Leibler (KL) divergence between these matrices. Both matrices are inferred simultaneously via convex optimization of this KL divergence, and the final SF metric is obtained by mapping the minimal divergence onto the unit interval [0,1], where higher scores indicate greater faithfulness. Furthermore, we propose a thermodynamics-based semantic entropy production (SEP) metric in answer generation, and show that high faithfulness generally implies low entropy production. The SF and SEP metrics can be used jointly or separately for LLM evaluation and hallucination control. We demonstrate our framework on LLM summarization of corporate SEC 10-K filings.
- [160] arXiv:2512.05162 (cross-list from stat.ML) [pdf, ps, other]
-
Title: How to Tame Your LLM: Semantic Collapse in Continuous SystemsAuthors: C. M. WyssComments: 35 pages, 1 figure. Exolytica AI Technical Report XTR-2025-01Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Dynamical Systems (math.DS); Probability (math.PR)
We develop a general theory of semantic dynamics for large language models by formalizing them as Continuous State Machines (CSMs): smooth dynamical systems whose latent manifolds evolve under probabilistic transition operators. The associated transfer operator $P: L^2(M,\mu) \to L^2(M,\mu)$ encodes the propagation of semantic mass. Under mild regularity assumptions (compactness, ergodicity, bounded Jacobian), $P$ is compact with discrete spectrum. Within this setting, we prove the Semantic Characterization Theorem (SCT): the leading eigenfunctions of $P$ induce finitely many spectral basins of invariant meaning, each definable in an o-minimal structure over $\mathbb{R}$. Thus spectral lumpability and logical tameness coincide. This explains how discrete symbolic semantics can emerge from continuous computation: the continuous activation manifold collapses into a finite, logically interpretable ontology. We further extend the SCT to stochastic and adiabatic (time-inhomogeneous) settings, showing that slowly drifting kernels preserve compactness, spectral coherence, and basin structure.
- [161] arXiv:2512.05190 (cross-list from q-bio.PE) [pdf, ps, other]
-
Title: Exactly Solvable Population Model with Square-Root Growth Noise and Cell-Size RegulationAuthors: Farshid JafarpourSubjects: Populations and Evolution (q-bio.PE); Statistical Mechanics (cond-mat.stat-mech); Probability (math.PR)
We analyze a size-structured branching process in which individual cells grow exponentially according to a Feller square-root process and divide under general size-control mechanisms. We obtain exact expressions for the asymptotic population growth rate, the steady-state snapshot distribution of cell sizes, and the fluctuations of the total cell number. Our first result is that the population growth rate is exactly equal to the mean single-cell growth rate, for all noise strengths and for all division and size-regulation schemes that maintain size homeostasis. Thus square-root growth noise is neutral with respect to long-term fitness, in sharp contrast to models with size-independent stochastic growth rates. Second, we show that the steady-state population cell-size distribution is obtained from the deterministic inverse-square-law solution by a one-sided exponential convolution with kernel width set by the strength of growth fluctuations. Third, the mean-rescaled population size $N_t/\left\langle N_t\right\rangle$ converges to a stationary compound Poisson-exponential distribution that depends only on growth noise. This distribution, and hence the long-time shape of population-size fluctuations, is unchanged by division-size noise or asymmetric partitioning. These results identify Feller-type exponential growth with square-root noise as an exactly solvable benchmark for stochastic growth in size-controlled populations and provide concrete signatures that distinguish it from models with size-independent growth-rate noise.
- [162] arXiv:2512.05246 (cross-list from cs.NE) [pdf, ps, other]
-
Title: NeuromorphicRx: From Neural to Spiking ReceiverSubjects: Neural and Evolutionary Computing (cs.NE); Information Theory (cs.IT)
In this work, we propose a novel energy-efficient spiking neural network (SNN)-based receiver for 5G-NR OFDM system, called neuromorphic receiver (NeuromorphicRx), replacing the channel estimation, equalization and symbol demapping blocks. We leverage domain knowledge to design the input with spiking encoding and propose a deep convolutional SNN with spike-element-wise residual connections. We integrate an SNN with artificial neural network (ANN) hybrid architecture to obtain soft outputs and employ surrogate gradient descent for training. We focus on generalization across diverse scenarios and robustness through quantized aware training. We focus on interpretability of NeuromorphicRx for 5G-NR signals and perform detailed ablation study for 5G-NR signals. Our extensive numerical simulations show that NeuromorphicRx is capable of achieving significant block error rate performance gain compared to 5G-NR receivers and similar performance compared to its ANN-based counterparts with 7.6x less energy consumption.
- [163] arXiv:2512.05252 (cross-list from q-bio.NC) [pdf, ps, other]
-
Title: Competition, stability, and functionality in excitatory-inhibitory neural circuitsSubjects: Neurons and Cognition (q-bio.NC); Disordered Systems and Neural Networks (cond-mat.dis-nn); Optimization and Control (math.OC)
Energy-based models have become a central paradigm for understanding computation and stability in both theoretical neuroscience and machine learning. However, the energetic framework typically relies on symmetry in synaptic or weight matrices - a constraint that excludes biologically realistic systems such as excitatory-inhibitory (E-I) networks. When symmetry is relaxed, the classical notion of a global energy landscape fails, leaving the dynamics of asymmetric neural systems conceptually unanchored. In this work, we extend the energetic framework to asymmetric firing rate networks, revealing an underlying game-theoretic structure for the neural dynamics in which each neuron is an agent that seeks to minimize its own energy. In addition, we exploit rigorous stability principles from network theory to study regulation and balancing of neural activity in E-I networks. We combine the novel game-energetic interpretation and the stability results to revisit standard frameworks in theoretical neuroscience, such as the Wilson-Cowan and lateral inhibition models. These insights allow us to study cortical columns of lateral inhibition microcircuits as contrast enhancer - with the ability to selectively sharpen subtle differences in the environment through hierarchical excitation-inhibition interplay. Our results bridge energetic and game-theoretic views of neural computation, offering a pathway toward the systematic engineering of biologically grounded, dynamically stable neural architectures.
- [164] arXiv:2512.05297 (cross-list from cs.LG) [pdf, ps, other]
-
Title: CFO: Learning Continuous-Time PDE Dynamics via Flow-Matched Neural OperatorsSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Numerical Analysis (math.NA)
Neural operator surrogates for time-dependent partial differential equations (PDEs) conventionally employ autoregressive prediction schemes, which accumulate error over long rollouts and require uniform temporal discretization. We introduce the Continuous Flow Operator (CFO), a framework that learns continuous-time PDE dynamics without the computational burden of standard continuous approaches, e.g., neural ODE. The key insight is repurposing flow matching to directly learn the right-hand side of PDEs without backpropagating through ODE solvers. CFO fits temporal splines to trajectory data, using finite-difference estimates of time derivatives at knots to construct probability paths whose velocities closely approximate the true PDE dynamics. A neural operator is then trained via flow matching to predict these analytic velocity fields. This approach is inherently time-resolution invariant: training accepts trajectories sampled on arbitrary, non-uniform time grids while inference queries solutions at any temporal resolution through ODE integration. Across four benchmarks (Lorenz, 1D Burgers, 2D diffusion-reaction, 2D shallow water), CFO demonstrates superior long-horizon stability and remarkable data efficiency. CFO trained on only 25% of irregularly subsampled time points outperforms autoregressive baselines trained on complete data, with relative error reductions up to 87%. Despite requiring numerical integration at inference, CFO achieves competitive efficiency, outperforming autoregressive baselines using only 50% of their function evaluations, while uniquely enabling reverse-time inference and arbitrary temporal querying.
- [165] arXiv:2512.05326 (cross-list from q-fin.CP) [pdf, ps, other]
-
Title: Convolution-FFT for option pricing in the Heston modelComments: 21 pages, 6 figuresSubjects: Computational Finance (q-fin.CP); Numerical Analysis (math.NA); Probability (math.PR); Pricing of Securities (q-fin.PR)
We propose a convolution-FFT method for pricing European options under the Heston model that leverages a continuously differentiable representation of the joint characteristic function. Unlike existing Fourier-based methods that rely on branch-cut adjustments or empirically tuned damping parameters, our approach yields a stable integrand even under large frequency oscillations. Crucially, we derive fully analytical error bounds that quantify both truncation error and discretization error in terms of model parameters and grid settings. To the best of our knowledge, this is the first work to provide such explicit, closed-form error estimates for an FFT-based convolution method specialized to the Heston model. Numerical experiments confirm the theoretical rates and illustrate robust, high-accuracy option pricing at modest computational cost.
- [166] arXiv:2512.05327 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Non-Convex Federated Optimization under Cost-Aware Client SelectionSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Different federated optimization algorithms typically employ distinct client-selection strategies: some methods communicate only with a randomly sampled subset of clients at each round, while others need to periodically communicate with all clients or use a hybrid scheme that combines both strategies. However, existing metrics for comparing optimization methods typically do not distinguish between these strategies, which often incur different communication costs in practice. To address this disparity, we introduce a simple and natural model of federated optimization that quantifies communication and local computation complexities. This new model allows for several commonly used client-selection strategies and explicitly associates each with a distinct cost. Within this setting, we propose a new algorithm that achieves the best-known communication and local complexities among existing federated optimization methods for non-convex optimization. This algorithm is based on the inexact composite gradient method with a carefully constructed gradient estimator and a special procedure for solving the auxiliary subproblem at each iteration. The gradient estimator is based on SAGA, a popular variance-reduced gradient estimator. We first derive a new variance bound for it, showing that SAGA can exploit functional similarity. We then introduce the Recursive-Gradient technique as a general way to potentially improve the error bound of a given conditionally unbiased gradient estimator, including both SAGA and SVRG. By applying this technique to SAGA, we obtain a new estimator, RG-SAGA, which has an improved error bound compared to the original one.
- [167] arXiv:2512.05337 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Symmetric Linear Dynamical Systems are Learnable from Few ObservationsSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Systems and Control (eess.SY); Optimization and Control (math.OC)
We consider the problem of learning the parameters of a $N$-dimensional stochastic linear dynamics under both full and partial observations from a single trajectory of time $T$. We introduce and analyze a new estimator that achieves a small maximum element-wise error on the recovery of symmetric dynamic matrices using only $T=\mathcal{O}(\log N)$ observations, irrespective of whether the matrix is sparse or dense. This estimator is based on the method of moments and does not rely on problem-specific regularization. This is especially important for applications such as structure discovery.
- [168] arXiv:2512.05353 (cross-list from physics.flu-dyn) [pdf, ps, other]
-
Title: A Kinematic and Geometric Analysis of Trochoidal WavesComments: 14 page pdf (13 page article + 1 page of references. 13 page article includes 9 figures, and 2 Tables)Subjects: Fluid Dynamics (physics.flu-dyn); Differential Geometry (math.DG)
To study the geometry of Gerstner's water wave model, we analyse the velocity of his fluid particles in a reference frame that moves with the wave. Gerstner wave profiles are cycloidal, curtate (flattened) trochoids, or prolate (extended) trochoids. We derive both the height of each profile's characterising point (cusp, inflection, or self-intersection), as well as a condition under which the arc lengths of prolate and curtate profiles coincide over a single wave cycle. We conclude with a discussion of how Galilean transformations affect particle acceleration and the geometry of their trajectories.
- [169] arXiv:2512.05477 (cross-list from cond-mat.mes-hall) [pdf, ps, other]
-
Title: Quantum geometry and $X$-wave magnets with $X=p,d,f,g,i$Authors: Motohiko EzawaComments: 45 pages, 5 figuresSubjects: Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Materials Science (cond-mat.mtrl-sci); Mathematical Physics (math-ph); Applied Physics (physics.app-ph); Quantum Physics (quant-ph)
Quantum geometry is a differential geometry based on quantum mechanics. It is related to various transport and optical properties in condensed matter physics. The Zeeman quantum geometry is a generalization of quantum geometry including the spin degrees of freedom. It is related to electromagnetic cross responses. Quantum geometry is generalized to non-Hermitian systems and density matrices. Especially, the latter is quantum information geometry, where the quantum Fisher information naturally arises as quantum metric. We apply these results to the $X$-wave magnets, which include $d$-wave, $g$-wave and $i$-wave altermagnets as well as $p$-wave and $f$-wave magnets. They have universal physics for anomalous Hall conductivity, tunneling magneto-resistance and planar Hall effect. We obtain various analytic formulas based on the two-band Hamiltonian.
- [170] arXiv:2512.05526 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Credal and Interval Deep Evidential ClassificationsSubjects: Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME)
Uncertainty Quantification (UQ) presents a pivotal challenge in the field of Artificial Intelligence (AI), profoundly impacting decision-making, risk assessment and model reliability. In this paper, we introduce Credal and Interval Deep Evidential Classifications (CDEC and IDEC, respectively) as novel approaches to address UQ in classification tasks. CDEC and IDEC leverage a credal set (closed and convex set of probabilities) and an interval of evidential predictive distributions, respectively, allowing us to avoid overfitting to the training data and to systematically assess both epistemic (reducible) and aleatoric (irreducible) uncertainties. When those surpass acceptable thresholds, CDEC and IDEC have the capability to abstain from classification and flag an excess of epistemic or aleatoric uncertainty, as relevant. Conversely, within acceptable uncertainty bounds, CDEC and IDEC provide a collection of labels with robust probabilistic guarantees. CDEC and IDEC are trained using standard backpropagation and a loss function that draws from the theory of evidence. They overcome the shortcomings of previous efforts, and extend the current evidential deep learning literature. Through extensive experiments on MNIST, CIFAR-10 and CIFAR-100, together with their natural OoD shifts (F-MNIST/K-MNIST, SVHN/Intel, TinyImageNet), we show that CDEC and IDEC achieve competitive predictive accuracy, state-of-the-art OoD detection under epistemic and total uncertainty, and tight, well-calibrated prediction regions that expand reliably under distribution shift. An ablation over ensemble size further demonstrates that CDEC attains stable uncertainty estimates with only a small ensemble.
- [171] arXiv:2512.05539 (cross-list from cs.CV) [pdf, ps, other]
-
Title: Ideal Observer for Segmentation of Dead Leaves ImagesComments: 41 pages, 16 figuresSubjects: Computer Vision and Pattern Recognition (cs.CV); Statistics Theory (math.ST); Methodology (stat.ME)
The human visual environment is comprised of different surfaces that are distributed in space. The parts of a scene that are visible at any one time are governed by the occlusion of overlapping objects. In this work we consider "dead leaves" models, which replicate these occlusions when generating images by layering objects on top of each other. A dead leaves model is a generative model comprised of distributions for object position, shape, color and texture. An image is generated from a dead leaves model by sampling objects ("leaves") from these distributions until a stopping criterion is reached, usually when the image is fully covered or until a given number of leaves was sampled. Here, we describe a theoretical approach, based on previous work, to derive a Bayesian ideal observer for the partition of a given set of pixels based on independent dead leaves model distributions. Extending previous work, we provide step-by-step explanations for the computation of the posterior probability as well as describe factors that determine the feasibility of practically applying this computation. The dead leaves image model and the associated ideal observer can be applied to study segmentation decisions in a limited number of pixels, providing a principled upper-bound on performance, to which humans and vision algorithms could be compared.
- [172] arXiv:2512.05586 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Measurement-based Initial Point Smoothing and Control Approach to Quantum Memory SystemsComments: 6 pages, 1 figure, submitted to IFAC World Congress 2026Subjects: Quantum Physics (quant-ph); Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper is concerned with a quantum memory system for storing quantum information in the form of its initial dynamic variables in the presence of environmental noise. In order to compensate for the deviation from the initial conditions, the classical parameters of the system Hamiltonian are affected by the actuator output of a measurement-based classical controller. The latter uses an observation process produced by a measuring apparatus from the quantum output field of the memory system. The underlying system is modelled as an open quantum harmonic oscillator whose Heisenberg evolution is governed by linear Hudson-Parthasarathy quantum stochastic differential equations. The controller is organised as a classical linear time-varying system, so that the resulting closed-loop system has quantum and classical dynamic variables. We apply linear-quadratic-Gaussian control and fixed-point smoothing at the level of the first two moments and consider controllers with a separation structure which involve a continuously updated estimate for the initial quantum variables. The initial-point smoother is used for actuator signal formation so as to minimise the sum of a mean-square deviation of the quantum memory system variables at a given time horizon from their initial values and an integral quadratic penalty on the control signal.
- [173] arXiv:2512.05606 (cross-list from eess.SY) [pdf, ps, other]
-
Title: Feedback stabilization of some fourth-order nonlinear parabolic equations with saturated controlsEQUATIONS WITH SATURATED CONTROLSSubjects: Systems and Control (eess.SY); Analysis of PDEs (math.AP); Optimization and Control (math.OC)
In this work, we analyze the internal and boundary stabilization of the Cahn-Hilliard and Kuramoto-Sivashinsky equations under saturated feedback control. We conduct our study through the spectral analysis of the associated linear operator. We identify a finite number of eigenvalues related to the unstable part of the system and then design a stabilization strategy based on modal decomposition, linear matrix inequalities (LMIs), and geometric conditions on the saturation function. Local exponential stabilization in $H^{2}$ is established.
- [174] arXiv:2512.05637 (cross-list from cond-mat.stat-mech) [pdf, ps, other]
-
Title: Geometric control of boundary-catalytic branching processesSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Chemical Physics (physics.chem-ph)
Boundary-catalytic branching processes describe a broad class of natural phenomena where the population of diffusing particles grows due to their spontaneous binary branching (e.g., division, fission or splitting) on a catalytic boundary located in a complex environment. We investigate the possibility of geometric control of the population growth by compensating the proliferation of particles due to branching events by their absorptions in the bulk or on boundary absorbing regions. We identify an appropriate Steklov spectral problem to obtain the phase diagram of this out-of-equilibrium stochastic process. The principal eigenvalue determines the critical line that separates an exponential growth of the population from its extinction. In other words, we establish a powerful tool for calculating the optimal absorption rate that equilibrates the opposite effects of branching and absorption events and thus results in steady-state behavior of this diffusion-reaction system. Moreover, we show the existence of a critical catalytic rate above which no compensation is possible, so that the population cannot be controlled and keeps growing exponentially. The proposed framework opens promising perspectives for better understanding, modeling and control of various boundary-catalytic branching processes, with applications in physics and life sciences.
- [175] arXiv:2512.05668 (cross-list from stat.ME) [pdf, ps, other]
-
Title: Generalised Bayesian Inference using Robust divergences for von Mises-Fisher distributionComments: 24 pagesSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Computation (stat.CO)
This paper focusses on robust estimation of location and concentration parameters of the von Mises-Fisher distribution in the Bayesian framework. The von Mises-Fisher (or Langevin) distribution has played a central role in directional statistics. Directional data have been investigated for many decades, and more recently, they have gained increasing attention in diverse areas such as bioinformatics and text data analysis. Although outliers can significantly affect the estimation results even for directional data, the treatment of outliers remains an unresolved and challenging problem. In the frequentist framework, numerous studies have developed robust estimation methods for directional data with outliers, but, in contrast, only a few robust estimation methods have been proposed in the Bayesian framework. In this paper, we propose Bayesian inference based on density power-divergence and $\gamma$-divergence and establish their asymptotic properties and robustness. In addition, the Bayesian approach naturally provides a way to assess estimation uncertainty through the posterior distribution, which is particularly useful for small samples. Furthermore, to carry out the posterior computation, we develop the posterior computation algorithm based on the weighted Bayesian bootstrap for estimating parameters. The effectiveness of the proposed methods is demonstrated through simulation studies. Using two real datasets, we further show that the proposed method provides reliable and robust estimation even in the presence of outliers or data contamination.
- [176] arXiv:2512.05677 (cross-list from stat.ME) [pdf, ps, other]
-
Title: Empirical Decision TheoryAuthors: Christoph Jansen (1), Georg Schollmeyer (2), Thomas Augustin (2), Julian Rodemann (3) ((1) Lancaster University Leipzig, (2) Ludwig-Maximilians-Universität München, (3) CISPA Helmholtz Center for Information Security Saarbrücken)Comments: Christoph Jansen and Georg Schollmeyer contributed equallySubjects: Methodology (stat.ME); Probability (math.PR); Machine Learning (stat.ML)
Analyzing decision problems under uncertainty commonly relies on idealizing assumptions about the describability of the world, with the most prominent examples being the closed world and the small world assumption. Most assumptions are operationalized by introducing states of the world, conditional on which the decision situation can be analyzed without any remaining uncertainty. Conversely, most classical decision-theoretic approaches are not applicable if the states of the world are inaccessible. We propose a decision model that retains the appeal and simplicity of the original theory, but completely overcomes the need to specify the states of the world explicitly. The main idea of our approach is to address decision problems in a radically empirical way: instead of specifying states and consequences prior to the decision analysis, we only assume a protocol of observed act--consequence pairs as model primitives. We show how optimality in such empirical decision problems can be addressed by using protocol-based empirical choice functions and discuss three approaches for deriving inferential guarantees: (I) consistent statistical estimation of choice sets, (II) consistent statistical testing of choice functions with robustness guarantees, and (III) direct inference for empirical choice functions using credal sets. We illustrate our theory with a proof-of-concept application comparing different prompting strategies in generative AI models.
- [177] arXiv:2512.05706 (cross-list from eess.SP) [pdf, ps, other]
-
Title: Exploiting Spatial Multiplexing Based on Pixel Antennas: An Antenna Coding ApproachSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
An antenna coding approach for exploiting the spatial multiplexing capability of pixel antennas is proposed. This approach can leverage additional degrees of freedom in the beamspace domain to transmit more information streams. Pixel antennas are a general reconfigurable antenna design where a radiating structure with arbitrary shape and size can be discretized into sub-wavelength elements called pixels which are connected by radio frequency switches. By controlling the switch states, the pixel antenna topology can be flexibly adjusted so that the resulting radiation pattern can be reconfigured for beamspace spatial multiplexing. In this work, we introduce the antenna coder and pattern coder for pixel antennas, provide a multiple-input multiple-output (MIMO) communication system model with antenna coding in the beamspace domain, and derive the spectral efficiency. Utilizing the antenna coder, the radiation pattern of the pixel antenna is analyzed and efficient optimization algorithms are provided for antenna coding design. Numerical simulation results show that the proposed technique using pixel antennas can enhance spectral efficiency of 4-by-4 MIMO by up to 12 bits/s/Hz or equivalently reduce the required transmit power by up to 90% when compared to conventional MIMO, demonstrating the effectiveness of the antenna coding technique in spectral efficiency enhancement and its promise for future sixth generation (6G) wireless communication.
- [178] arXiv:2512.05725 (cross-list from physics.soc-ph) [pdf, ps, other]
-
Title: Opinion dynamics modelling: distinct attraction and repulsion topologies highlight quantitative effects of trollingSubjects: Physics and Society (physics.soc-ph); Dynamical Systems (math.DS)
We introduce a model of opinion dynamics based on networked non-linear differential equations. The model combines a linear attraction with a repulsive hyperbolic tangent interaction, labeled controversialness. For low controversialness the model displays universal consensus, which is typical of opinion models. As controversialness increases, opinion behaviours such as polarisation, clustering and dissensus emerge, dependent on the network topology. By placing attractive and repulsive interactions on distinct networks, this model is able to simulate the manipulative effects of trolls by introducing controversy, which may be associated with mis/disinformation, toxic messaging, and encouraging provocative questioning and/or emotional posting. This work offers an analytical and statistical analysis of model results, under a wide variety of topologies and initial conditions, whilst also generalising cluster detection algorithms typically applied to discrete models.
- [179] arXiv:2512.05750 (cross-list from cs.LO) [pdf, ps, other]
-
Title: Formalizing Polynomial Laws and the Universal Divided Power AlgebraComments: 5th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP '26), 2026, Rennes, FranceSubjects: Logic in Computer Science (cs.LO); Commutative Algebra (math.AC)
The goal of this paper is to present an ongoing formalization, in the framework provided by the Lean/Mathlib mathematical library, of the construction by Roby (1965) of the universal divided power algebra. This is an analogue, in the theory of divided powers, of the classical algebra of polynomials. It is a crucial tool in the development of crystalline cohomology; it is also used in $p$-adic Hodge theory to define the crystalline period ring. As an algebra, this universal divided power algebra has a fairly simple definition that shows that it is a graded algebra. The main difficulty in Roby's theorem lies in constructing a divided power structure on its augmentation ideal. To that aim, Roby identified the graded pieces with another universal structure: homogeneous polynomial laws.We formalize the first steps of the theory of polynomial laws and show how future work will allow to complete the formalization of the above-mentioned divided power structure. We report on various difficulties that appeared in this formalization: taking care of universes, extending to semirings some aspects of the Mathlib library, and coping with several instances of "invisible mathematics".
- [180] arXiv:2512.05779 (cross-list from cs.CG) [pdf, ps, other]
-
Title: On Sparse Representations of 3-ManifoldsSubjects: Computational Geometry (cs.CG); Geometric Topology (math.GT)
3-manifolds are commonly represented as triangulations, consisting of abstract tetrahedra whose triangular faces are identified in pairs. The combinatorial sparsity of a triangulation, as measured by the treewidth of its dual graph, plays a fundamental role in the design of parameterized algorithms. In this work, we investigate algorithmic procedures that transform or modify a given triangulation while controlling specific sparsity parameters. First, we describe a linear-time algorithm that converts a given triangulation into a Heegaard diagram of the underlying 3-manifold, showing that the construction preserves treewidth. We apply this construction to exhibit a fixed-parameter tractable framework for computing Kuperberg's quantum invariants of 3-manifolds. Second, we present a quasi-linear-time algorithm that retriangulates a given triangulation into one with maximum edge valence of at most nine, while only moderately increasing the treewidth of the dual graph. Combining these two algorithms yields a quasi-linear-time algorithm that produces, from a given triangulation, a Heegaard diagram in which every attaching curve intersects at most nine others.
- [181] arXiv:2512.05833 (cross-list from econ.TH) [pdf, ps, other]
-
Title: Vague Knowledge: Information without Transitivity and PartitionsAuthors: Kerry XiaoSubjects: Theoretical Economics (econ.TH); Computation and Language (cs.CL); Logic (math.LO); General Finance (q-fin.GN)
I relax the standard assumptions of transitivity and partition structure in economic models of information to formalize vague knowledge: non-transitive indistinguishability over states. I show that vague knowledge, while failing to partition the state space, remains informative by distinguishing some states from others. Moreover, it can only be faithfully expressed through vague communication with blurred boundaries. My results provide microfoundations for the prevalence of natural language communication and qualitative reasoning in the real world, where knowledge is often vague.
- [182] arXiv:2512.05883 (cross-list from stat.ME) [pdf, ps, other]
-
Title: The Bayesian Way: Uncertainty, Learning, and Statistical ReasoningComments: 56 pages, 1 table, 0 figuresSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
This paper offers a comprehensive introduction to Bayesian inference, combining historical context, theoretical foundations, and core analytical examples. Beginning with Bayes' theorem and the philosophical distinctions between Bayesian and frequentist approaches, we develop the inferential framework for estimation, interval construction, hypothesis testing, and prediction. Through canonical models, we illustrate how prior information and observed data are formally integrated to yield posterior distributions. We also explore key concepts including loss functions, credible intervals, Bayes factors, identifiability, and asymptotic behavior. While emphasizing analytical tractability in classical settings, we outline modern extensions that rely on simulation-based methods and discuss challenges related to prior specification and model evaluation. Though focused on foundational ideas, this paper sets the stage for applying Bayesian methods in contemporary domains such as hierarchical modeling, nonparametrics, and structured applications in time series, spatial data, networks, and political science. The goal is to provide a rigorous yet accessible entry point for students and researchers seeking to adopt a Bayesian perspective in statistical practice.
- [183] arXiv:2512.05900 (cross-list from stat.ME) [pdf, ps, other]
-
Title: A Note on the Finite Sample Bias in Time Series Cross-ValidationAuthors: Amaze LusompaSubjects: Methodology (stat.ME); Econometrics (econ.EM); Statistics Theory (math.ST)
It is well known that model selection via cross validation can be biased for time series models. However, many researchers have argued that this bias does not apply when using cross-validation with vector autoregressions (VAR) or with time series models whose errors follow a martingale-like structure. I show that even under these circumstances, performing cross-validation on time series data will still generate bias in general.
- [184] arXiv:2512.05926 (cross-list from stat.ML) [pdf, ps, other]
-
Title: BalLOT: Balanced $k$-means clustering with optimal transportComments: 20 pages, 9 figuresSubjects: Machine Learning (stat.ML); Data Structures and Algorithms (cs.DS); Information Theory (cs.IT); Machine Learning (cs.LG); Optimization and Control (math.OC)
We consider the fundamental problem of balanced $k$-means clustering. In particular, we introduce an optimal transport approach to alternating minimization called BalLOT, and we show that it delivers a fast and effective solution to this problem. We establish this with a variety of numerical experiments before proving several theoretical guarantees. First, we prove that for generic data, BalLOT produces integral couplings at each step. Next, we perform a landscape analysis to provide theoretical guarantees for both exact and partial recoveries of planted clusters under the stochastic ball model. Finally, we propose initialization schemes that achieve one-step recovery of planted clusters.
Replacements for Mon, 8 Dec 25
- [185] arXiv:1508.02525 (replaced) [pdf, ps, other]
-
Title: Vanishing of Rabinowitz Floer homology on negative line bundlesComments: 24 pages; The condition on the radius of a circle subbundle in the vanishing result is now stated explicitly; see Remark 1.3.(6)Journal-ref: Mathematische Zeitschrift, (2017), 493 - 517Subjects: Symplectic Geometry (math.SG)
- [186] arXiv:1605.03837 (replaced) [pdf, ps, other]
-
Title: Left symmetric algebras from DNA insertionSubjects: Rings and Algebras (math.RA)
- [187] arXiv:2004.11399 (replaced) [pdf, ps, other]
-
Title: Gauge theory for string algebroidsComments: 68 pages, only the funding information has been fixedJournal-ref: J. Differential Geom. 128 (2024), no.1, 77-152Subjects: Differential Geometry (math.DG); High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG); Symplectic Geometry (math.SG)
- [188] arXiv:2205.04491 (replaced) [pdf, ps, other]
-
Title: Statistical Guarantees for Approximate Stationary Points of Shallow Neural NetworksSubjects: Machine Learning (cs.LG); Statistics Theory (math.ST)
- [189] arXiv:2206.00981 (replaced) [pdf, ps, other]
-
Title: On the Homological Stability of Orthogonal and Spin GroupsComments: 39 pages, comments welcome! To appear in the New York Journal of MathematicsSubjects: K-Theory and Homology (math.KT)
- [190] arXiv:2209.04572 (replaced) [pdf, ps, other]
-
Title: Continuous approximations for the fixation probability of the Moran processes on star graphsSubjects: Probability (math.PR); Populations and Evolution (q-bio.PE)
- [191] arXiv:2211.04832 (replaced) [pdf, ps, other]
-
Title: The geometric Satake equivalence for integral motivesComments: Final version, to appear in Compositio MathematicaSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT); Representation Theory (math.RT)
- [192] arXiv:2301.05284 (replaced) [pdf, ps, other]
-
Title: Concrete examples of the rate of convergence of Chernoff approximations: numerical results for the heat semigroup and open questions on them (with appendix: full list of pictures and Python code)Comments: 121 pages, many figures and tablesSubjects: Numerical Analysis (math.NA); Functional Analysis (math.FA)
- [193] arXiv:2302.13807 (replaced) [pdf, ps, other]
-
Title: Limit Theorems for a class of unbounded observables with an application to "Sampling the Lindelöf hypothesis"Comments: Version as in the journal with an extension of Remark 2.16Journal-ref: Ergodic Theory and Dynamical Systems, Volume 46, Issue 1, January 2026, pp. 34 - 92Subjects: Dynamical Systems (math.DS); Number Theory (math.NT)
- [194] arXiv:2304.07016 (replaced) [pdf, ps, other]
-
Title: On the strong Arnold chord conjecture for convex contact formsAuthors: Jungsoo KangComments: 27 pages, 4 figures, added a counterexample to the strong Arnold chord conjecture in the starshaped case (pointed out by Michael Hutchings), expanded explanations and added a Morse-Bott type assumptionSubjects: Symplectic Geometry (math.SG)
- [195] arXiv:2304.08459 (replaced) [pdf, ps, other]
-
Title: On transitive sets of derangements in primitive groupsAuthors: Peter MüllerComments: Simplified the proof and added some more detailsSubjects: Group Theory (math.GR)
- [196] arXiv:2305.19372 (replaced) [pdf, ps, other]
-
Title: A general correlation inequality for level sets of sums of independent random variables using the Bernoulli part with applications to the almost sure local limit theoremAuthors: Michel J. G. WeberComments: Extended Introduction, previous Remark 5.1(Optimality) integrated in Th. 5.10, Examples revised, References updated and completedSubjects: Probability (math.PR)
- [197] arXiv:2311.12141 (replaced) [pdf, ps, other]
-
Title: Slit-slide-sew bijections for constellations and quasiconstellationsSubjects: Combinatorics (math.CO); Probability (math.PR)
- [198] arXiv:2312.03470 (replaced) [pdf, ps, other]
-
Title: Regular polygons, line operators, and elliptic modular surfaces as realization spaces of matroidsComments: 19 pages, 4 figures. To appear in IMRNSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
- [199] arXiv:2312.10258 (replaced) [pdf, ps, other]
-
Title: Brauer pairs for splendid Rickard equivalencesComments: 25 pages. v2: Minor changes from referee report, accepted in J. Algebra. arXiv admin note: text overlap with arXiv:2007.09253 by other authorSubjects: Representation Theory (math.RT); Group Theory (math.GR)
- [200] arXiv:2401.06027 (replaced) [pdf, ps, other]
-
Title: Examining Kempe equivalence via commutative algebraComments: 18 pages, 3 figures, Typos are correctedSubjects: Combinatorics (math.CO); Commutative Algebra (math.AC)
- [201] arXiv:2402.02461 (replaced) [pdf, ps, other]
-
Title: Median Clipping for Zeroth-order Non-Smooth Convex Optimization and Multi-Armed Bandit Problem with Heavy-tailed Symmetric NoiseAuthors: Nikita Kornilov, Yuriy Dorn, Aleksandr Lobanov, Nikolay Kutuzov, Innokentiy Shibaev, Eduard Gorbunov, Alexander Nazin, Alexander GasnikovSubjects: Optimization and Control (math.OC)
- [202] arXiv:2402.12980 (replaced) [pdf, ps, other]
-
Title: Efficient adjustment for complex covariates: Gaining efficiency with DOPESubjects: Statistics Theory (math.ST); Methodology (stat.ME); Machine Learning (stat.ML)
- [203] arXiv:2402.18207 (replaced) [pdf, ps, other]
-
Title: Dynamical systems on some elliptic modular surfaces via operators on line arrangementsComments: 17 pages, 2 figures, 1 ancillary fileJournal-ref: Nagoya Math. J. 258 (2025) 357-375Subjects: Algebraic Geometry (math.AG); Dynamical Systems (math.DS)
- [204] arXiv:2403.06084 (replaced) [pdf, ps, other]
- [205] arXiv:2403.16399 (replaced) [pdf, ps, other]
-
Title: Performance Evaluation of Small Call Centres in a Transient RegimeSubjects: Probability (math.PR)
- [206] arXiv:2403.20264 (replaced) [pdf, ps, other]
-
Title: Infinitesimal calculations in fundamental groupsComments: Included more references to related work. 51 pages including two appendices, 13 figures and 2 tablesSubjects: Algebraic Topology (math.AT); Group Theory (math.GR); Geometric Topology (math.GT)
- [207] arXiv:2404.07401 (replaced) [pdf, ps, other]
-
Title: On twisted Kawamata's semi-positivity and finite generation of generalized canonical ringsComments: 24pages v2: Section 5 is rewritten, v3: revised under the referee's suggestionSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV)
- [208] arXiv:2405.02092 (replaced) [pdf, ps, other]
-
Title: Geometric realizations of the $s$-weak order and its lattice quotientsComments: 50 pages, 33 figures. Version 4: minor corrections, published versionJournal-ref: J. Lond. Math. Soc., 112(3), Paper No. e70268, 2025Subjects: Combinatorics (math.CO)
- [209] arXiv:2405.04808 (replaced) [pdf, ps, other]
-
Title: A Parallel-in-Time Multigrid Preconditioner for Optimal ControlSubjects: Optimization and Control (math.OC)
- [210] arXiv:2405.14929 (replaced) [pdf, ps, other]
-
Title: Entanglement area law and Lieb-Schultz-Mattis theorem in long-range interacting systems, and symmetry-enforced long-range entanglementComments: This is a much improved version with significantly more results and deeper understanding. The paper contains a 10-page main text and various appendicesJournal-ref: Phys. Rev. B 112, 214408 (2025)Subjects: Strongly Correlated Electrons (cond-mat.str-el); Quantum Gases (cond-mat.quant-gas); Mathematical Physics (math-ph); Operator Algebras (math.OA); Quantum Physics (quant-ph)
- [211] arXiv:2406.00892 (replaced) [pdf, ps, other]
-
Title: Inductive systems of the symmetric group, polynomial functors and tensor categoriesAuthors: Kevin CoulembierSubjects: Representation Theory (math.RT)
- [212] arXiv:2406.06250 (replaced) [pdf, ps, other]
-
Title: Asymptotic properties of infinitesimal characters and applicationsAuthors: Andrés SambarinoComments: The writing has been improved, 77 pages, 6 figuresSubjects: Group Theory (math.GR); Differential Geometry (math.DG); Dynamical Systems (math.DS)
- [213] arXiv:2406.09281 (replaced) [pdf, ps, other]
-
Title: Computing congruences of finite inverse semigroupsComments: 22 pages, 6 figures (updated with referee comments to fix some minor issues, and improve the exposition in places)Subjects: Group Theory (math.GR); Data Structures and Algorithms (cs.DS)
- [214] arXiv:2406.11787 (replaced) [pdf, ps, other]
-
Title: A universal coefficient theorem for actions of finite groups on C*-algebrasComments: 18 pagesSubjects: Operator Algebras (math.OA); K-Theory and Homology (math.KT)
- [215] arXiv:2406.18397 (replaced) [pdf, ps, other]
-
Title: Second Maximum of a Gaussian Random Field and Exact (t-)Spacing testComments: new version: comments on Tensor PCA literature Github repo: this https URLSubjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Differential Geometry (math.DG); Probability (math.PR); Machine Learning (stat.ML)
- [216] arXiv:2407.04837 (replaced) [pdf, ps, other]
-
Title: Self-similar sets and Lipschitz graphsComments: 47 pages, 8 figures, 1 tableJournal-ref: Adv. Math. 479 (2025), part B, Paper No. 110451, 63 ppSubjects: Classical Analysis and ODEs (math.CA); Metric Geometry (math.MG)
- [217] arXiv:2407.07070 (replaced) [pdf, ps, other]
-
Title: On the numerical Terao's conjecture and Ziegler pairs for line arrangementsComments: 14 pages, is the final version, incorporating the referee's comments, to appear in the Journal of Commutative AlgebraSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Combinatorics (math.CO)
- [218] arXiv:2407.07170 (replaced) [pdf, ps, other]
-
Title: Limit theorems for Non-Markovian rumor modelsComments: Updated author affiliations, corrected typos, and revised some proofs for claritySubjects: Probability (math.PR)
- [219] arXiv:2407.09947 (replaced) [pdf, ps, other]
-
Title: A note on a question of Garth Dales: Arens regularity as a three space propertyComments: The examples in Section 2 have been correctedSubjects: Functional Analysis (math.FA)
- [220] 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)
- [221] arXiv:2408.15788 (replaced) [pdf, ps, other]
-
Title: Nonnegativity of signed Euler characteristics of moduli of curves and abelian varietiesComments: Final revision; to appear in Mathematische Annalen; 22 pagesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
- [222] arXiv:2409.08644 (replaced) [pdf, ps, other]
-
Title: Curves of Minimax SpiralityComments: 25 pagesSubjects: Optimization and Control (math.OC)
- [223] arXiv:2409.11970 (replaced) [pdf, ps, other]
-
Title: Proof of a conjecture on graph polytopeAuthors: Feihu LiuComments: 11 pages, 4 figuresSubjects: Combinatorics (math.CO)
- [224] arXiv:2409.18089 (replaced) [pdf, ps, other]
-
Title: Some contributions to sheaf model theorySubjects: Logic (math.LO)
- [225] arXiv:2410.03318 (replaced) [pdf, ps, other]
-
Title: Some one-dimensional elliptic problems with constraintsComments: 17 pages, to appear in Topol. Methods Nonlinear AnalSubjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP)
- [226] arXiv:2410.23681 (replaced) [src]
-
Title: Convergent analysis of algebraic multigrid method with data-driven parameter learning for non-selfadjoint elliptic problemsComments: The main theoretical development of this manuscript is presented in Section 2, which contains the following errors: The manuscript addresses non-self-adjoint elliptic problems, the restriction operator $R$ is not the transpose of the interpolation operator $P$. However, the manuscript denotes the smoother as $R_{k}$, a notation that may lead to conceptual confusionSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
- [227] arXiv:2411.09832 (replaced) [pdf, ps, other]
-
Title: Interval hypergraphic latticesComments: 31 pages, 8 figures; Version 2: minor corrections from referee suggestionsJournal-ref: European J. Combin., 132: 104285, 2026Subjects: Combinatorics (math.CO)
- [228] arXiv:2411.13735 (replaced) [pdf, ps, other]
-
Title: $L^p$-spectral triples and $p$-quantum compact metric spacesComments: AMSLaTeX; 30 pages; v4: final version to appear in the Journal of Fourier Analysis and ApplicationsSubjects: Functional Analysis (math.FA); Operator Algebras (math.OA)
- [229] arXiv:2411.16883 (replaced) [pdf, ps, other]
-
Title: Chow theory of toric variety bundlesComments: 35 pages, comments welcome. Final version to appear in IMRNSubjects: Algebraic Geometry (math.AG)
- [230] arXiv:2412.03436 (replaced) [pdf, ps, other]
-
Title: Singularities of character varietiesAuthors: Cheng ShuComments: Minor correctionsSubjects: Algebraic Geometry (math.AG)
- [231] arXiv:2412.05368 (replaced) [pdf, ps, other]
-
Title: Multi- and Infinite-variate Integration and $L^2$-Approximation on Hilbert Spaces with Gaussian KernelsSubjects: Numerical Analysis (math.NA)
- [232] arXiv:2412.17749 (replaced) [pdf, ps, other]
-
Title: Bivariate Matrix-valued Linear Regression (BMLR): Finite-sample performance under Identifiability and Sparsity AssumptionsAuthors: Nayel BettacheComments: 36 pages, 8 figuresSubjects: Statistics Theory (math.ST); Machine Learning (stat.ML)
- [233] arXiv:2412.20786 (replaced) [pdf, ps, other]
-
Title: Higher rank Nichols algebras of diagonal type with finite arithmetic root systems in positive characteristicComments: arXiv admin note: text overlap with arXiv:1911.03555Subjects: Quantum Algebra (math.QA)
- [234] arXiv:2501.01561 (replaced) [pdf, ps, other]
-
Title: On coarse geometry of separable dual Banach spacesComments: 45 pages. Various improvements of the presentation, and an error in the proof of Theorem 19 is correctedSubjects: Functional Analysis (math.FA)
- [235] arXiv:2501.08412 (replaced) [pdf, ps, other]
-
Title: Full universal enveloping vertex algebras from factorisationAuthors: Benoit VicedoComments: 77 pages; v2: minor typos corrected and hyperlinks fixed; v3: substantially generalised setting and improved exposition, accepted for publication in Annales Henri Poincar\'eSubjects: High Energy Physics - Theory (hep-th); Quantum Algebra (math.QA)
- [236] arXiv:2501.14857 (replaced) [pdf, ps, other]
-
Title: Image resizing by neural network operators and their convergence rate with respect to the $L^p$-norm and the dissimilarity index defined through the continuous SSIMSubjects: Numerical Analysis (math.NA); Functional Analysis (math.FA)
- [237] arXiv:2501.16465 (replaced) [pdf, ps, other]
-
Title: Beyond Eckmann-Hilton: Commutativity in Higher CategoriesSubjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
- [238] arXiv:2501.18466 (replaced) [pdf, ps, other]
-
Title: A random recursive tree model with doubling eventsSubjects: Probability (math.PR)
- [239] arXiv:2502.04664 (replaced) [pdf, ps, other]
-
Title: Implicit Bias of Spectral Descent and Muon on Multiclass Separable DataComments: NeurIPS 2025 (Spotlight)Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
- [240] arXiv:2502.09176 (replaced) [pdf, ps, other]
-
Title: On the source algebra equivalence class of blocks with cyclic defect groups, IIComments: 35 pages, part II of a series of 4 articles, very minor correction to v2Subjects: Representation Theory (math.RT); Group Theory (math.GR)
- [241] arXiv:2502.11791 (replaced) [pdf, ps, other]
-
Title: Forbidden configurations and dominating bicliques in undirected 2-quasi best match graphsComments: arXiv admin note: text overlap with arXiv:2408.09997Subjects: Combinatorics (math.CO)
- [242] arXiv:2502.14421 (replaced) [pdf, ps, other]
-
Title: Bootstrapping SU(3) Lattice Yang-Mills TheoryComments: v2: 55 pages, 17 figures. Published version with added figures and clarificationsSubjects: High Energy Physics - Theory (hep-th); High Energy Physics - Lattice (hep-lat); Mathematical Physics (math-ph)
- [243] arXiv:2502.20255 (replaced) [pdf, ps, other]
-
Title: Discrete Superconvergence Analysis for Quantum Magnus Algorithms of Unbounded Hamiltonian SimulationSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP); Quantum Physics (quant-ph)
- [244] arXiv:2503.06293 (replaced) [pdf, ps, other]
-
Title: B-brane transport in nonabelian GLSMs for $K_{Gr(2,N)}$Comments: 44 pages, LaTeX; v2: some typos corrected, a few clarifications added. Published versionSubjects: High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG)
- [245] arXiv:2503.09591 (replaced) [pdf, ps, other]
-
Title: Edge isoperimetry of latticesSubjects: Combinatorics (math.CO)
- [246] arXiv:2503.13781 (replaced) [pdf, ps, other]
-
Title: Hermitian adjacency matrices with at most three distinct eigenvaluesComments: 18 pages, Journal version, includes extension of main theorem to mixed graphsJournal-ref: Discrete Mathematics. 349 (2026) 114872Subjects: Combinatorics (math.CO)
- [247] arXiv:2503.18601 (replaced) [pdf, ps, other]
-
Title: A Linear Convergence Result for the Jacobi-Proximal Alternating Direction Method of MultipliersComments: 28 pages, 24 figuresSubjects: Optimization and Control (math.OC)
- [248] 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)
- [249] arXiv:2503.21287 (replaced) [pdf, ps, other]
-
Title: On Supports for graphs of bounded genusSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
- [250] arXiv:2504.00807 (replaced) [pdf, ps, other]
-
Title: Cesàro Operators on Rooted Directed TreesComments: Revised Version. Substantial revision, 14 pagesSubjects: Functional Analysis (math.FA)
- [251] arXiv:2504.01176 (replaced) [pdf, ps, other]
-
Title: Covariant decomposable maps on C*-algebras and quantum dynamicsAuthors: Krzysztof SzczygielskiComments: 28 pages, no figures. Final versionJournal-ref: Linear Algebra Appl. 732 (2026) 126-161Subjects: Operator Algebras (math.OA); Mathematical Physics (math-ph); Functional Analysis (math.FA); Quantum Physics (quant-ph)
- [252] arXiv:2504.04929 (replaced) [pdf, ps, other]
-
Title: The Linearized Vlasov-Maxwell System as a Hamiltonian SystemSubjects: Numerical Analysis (math.NA)
- [253] arXiv:2504.05481 (replaced) [pdf, ps, other]
-
Title: Describing the Numerical Range and $C$-Numerical Range of Matrices via Their Unitary Orbits and the Joukowsky TransformAuthors: Ryan O'LoughlinComments: This updates the previous version titled "Describing the Numerical Range via Specht's Theorem"Subjects: Functional Analysis (math.FA)
- [254] arXiv:2505.00893 (replaced) [pdf, ps, other]
-
Title: Optimal Syntactic Definitions of Back-and-Forth TypesComments: 32 pagesSubjects: Logic (math.LO)
- [255] arXiv:2505.05261 (replaced) [pdf, ps, other]
-
Title: ICNN-enhanced 2SP: Leveraging input convex neural networks for solving two-stage stochastic programmingSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
- [256] arXiv:2505.08268 (replaced) [pdf, ps, other]
-
Title: A nonlinear analogue of additive commutatorsSubjects: Rings and Algebras (math.RA)
- [257] arXiv:2505.12382 (replaced) [pdf, ps, other]
-
Title: Generative Diffusion Model Driven Massive Random Access in Massive MIMO SystemsSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
- [258] arXiv:2505.13078 (replaced) [pdf, other]
-
Title: Stochastic Orthogonal Regularization for deep projective priorsSubjects: Image and Video Processing (eess.IV); Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)
- [259] arXiv:2505.18473 (replaced) [pdf, ps, other]
-
Title: PDPO: Parametric Density Path OptimizationComments: 28 pages, 16 figuresJournal-ref: NeurIPS 2025Subjects: Optimization and Control (math.OC)
- [260] arXiv:2506.01530 (replaced) [pdf, ps, other]
-
Title: Multiple rational normal forms in Lie theoryAuthors: Dmitriy VoloshynComments: 28 pages, 1 figureSubjects: Representation Theory (math.RT)
- [261] arXiv:2506.06210 (replaced) [pdf, ps, other]
-
Title: Spectral DerivativesAuthors: Pavel KomarovComments: Package at this https URLSubjects: Signal Processing (eess.SP); History and Overview (math.HO)
- [262] arXiv:2506.07346 (replaced) [pdf, ps, other]
-
Title: Another look at quasilinear Schrödinger equations with prescribed mass via dual methodSubjects: Analysis of PDEs (math.AP)
- [263] arXiv:2506.11437 (replaced) [pdf, ps, other]
-
Title: Social Networks: Enumerating Maximal Community Patterns in $c$-Closed GraphsComments: 38 pagesSubjects: Combinatorics (math.CO); Social and Information Networks (cs.SI)
- [264] arXiv:2506.19569 (replaced) [pdf, ps, other]
-
Title: Groupoid models for relative Cuntz-Pimsner algebras of groupoid correspondencesAuthors: Ralf MeyerComments: 35 pages; only minor changes in revisionSubjects: Operator Algebras (math.OA)
- [265] arXiv:2507.01570 (replaced) [pdf, ps, other]
-
Title: Introduction to quantum exclusion processesComments: 29 pages. v2: minor editsSubjects: Probability (math.PR); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
- [266] arXiv:2507.04254 (replaced) [pdf, ps, other]
-
Title: On Modular Edge Colourings of GraphsAuthors: Gaétan Berthe, Marthe Bonamy, Fábio Botler, Gaia Carenini, Lucas Colucci, Arthur Dumas, Fatemeh Ghasemi, Pedro Mariano Viana NetoComments: 8 pages, accepted for publication in SIAM Journal on Discrete MathematicsSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
- [267] arXiv:2507.10686 (replaced) [pdf, ps, other]
-
Title: Global minimality of the Hopf map in the Faddeev-Skyrme model with large coupling constantComments: This version contains an improvement of the main result (Theorem 1.1), as the global minimality of the Hopf map is now shown to be valid in the explicit regime $\rho\in(0,1]$ (compared to $\rho\in (0,\rho_0)$ for some sufficiently small $\rho_0\in(0,\sqrt{2})$ before). Parts of the proof and the exposition are adapted and reorganized. 22 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
- [268] arXiv:2507.10759 (replaced) [pdf, ps, other]
-
Title: Universal diameter bounds for random graphs with given degreesComments: 48 pages, 2 figuresSubjects: Probability (math.PR); Combinatorics (math.CO)
- [269] arXiv:2507.11206 (replaced) [pdf, ps, other]
-
Title: C*-submodule preserving module mappings on Hilbert C*-modulesAuthors: Michael FrankComments: 9 pagesSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA)
- [270] arXiv:2507.12240 (replaced) [pdf, ps, other]
-
Title: Characterization and constructions of binary self-orthogonal singly-even linear codesSubjects: Information Theory (cs.IT)
- [271] arXiv:2507.13478 (replaced) [pdf, ps, other]
-
Title: Functional calculus on weighted Sobolev spaces for the Laplacian on rough domainsComments: Accepted for publication in Journal of Differential EquationsSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
- [272] arXiv:2507.14359 (replaced) [pdf, ps, other]
-
Title: Galois covers of Calabi-Yau manifoldsAuthors: Matteo VerniComments: 23 pages. v3: Minor correctionsSubjects: Algebraic Geometry (math.AG)
- [273] arXiv:2507.20577 (replaced) [pdf, ps, other]
-
Title: A note on the Artstein-Avidan-Milman's generalized Legendre transformsAuthors: Frank NielsenComments: 13 pagesSubjects: Information Theory (cs.IT); Machine Learning (cs.LG)
- [274] arXiv:2508.01593 (replaced) [src]
-
Title: Exponential mixing of frame flows for three dimensional manifolds of quarter-pinched negative curvatureAuthors: Daofei ZhangComments: A miscalculation led to the invalidation of the previous discussion that bypassed the regularity of the stable foliation of the frame flow is not C1.Thus, the main result on 3-D frame flows is not effectiveSubjects: Dynamical Systems (math.DS)
- [275] arXiv:2508.09017 (replaced) [pdf, ps, other]
-
Title: Heat kernel of non-minimal second-order operatorsAuthors: Dario SauroComments: 32 pages, published versionJournal-ref: Phys.Rev.D 112 (2025) 12, 125012Subjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
- [276] arXiv:2508.10341 (replaced) [pdf, ps, other]
-
Title: Sharp Schoenberg type inequalities and the de Bruin--Sharma problemComments: 57 pages, 1 figure. v3: added a coauthor; revised the interpolation argument (we realised that the method in the previous version only yielded a weaker result) and extended the discussion to Schoenberg type inequalities of negative orders. This is the version to be submitted to a journal. v2: added solutions to two conjectures from arXiv:2511.02864v1. Comments and suggestions are welcomeSubjects: Complex Variables (math.CV); Functional Analysis (math.FA)
- [277] arXiv:2508.18680 (replaced) [pdf, ps, other]
-
Title: Spatiotemporal First-Arrival Modeling and Parameter Estimation in Drift-Diffusion Molecular ChannelsComments: 5 pages, 5 figures. PreprintSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
- [278] arXiv:2508.18893 (replaced) [src]
-
Title: A note on Cybenko's Universal Approximation TheoremAuthors: Kun WangComments: The error in Cybenko's paper pointed out by this note has already been addressed by Cybenko himself in an erratum published in MCSSSubjects: Classical Analysis and ODEs (math.CA); Neural and Evolutionary Computing (cs.NE)
- [279] arXiv:2508.20207 (replaced) [pdf, ps, other]
-
Title: Operator learning meets inverse problems: A probabilistic perspectiveComments: To appear in Handbook of Numerical Analysis: Machine Learning Solutions for Inverse Problems; 93 pages, 5 figuresSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Statistics Theory (math.ST)
- [280] arXiv:2509.01978 (replaced) [pdf, ps, other]
- [281] arXiv:2509.04274 (replaced) [pdf, ps, other]
-
Title: Algebraic magnetism invariants of a double scalar action on the projective planeAuthors: Arnaud MayeuxSubjects: Algebraic Geometry (math.AG)
- [282] arXiv:2509.05127 (replaced) [pdf, ps, other]
-
Title: The 3d mixed BF Lagrangian 1-form: a variational formulation of Hitchin's integrable systemComments: 54 pages. Some typos corrected, clarifications added especially in the proofs of Thms 2.6 and 4.3. Accepted authors' version, to appear in Comm. Math. PhysSubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Exactly Solvable and Integrable Systems (nlin.SI)
- [283] arXiv:2509.19237 (replaced) [pdf, ps, other]
-
Title: On the resolvent degree of PSU(3,q)Authors: Pablo Nicolas Christofferson, Akash Ganguly, Claudio Gomez-Gonzales, Ella Kuriyama, Yihan Carmen Li, Nawal BaydounComments: 18 pages, 16 tables, appendix joint with Nawal Baydoun; typos correctedSubjects: Group Theory (math.GR); Algebraic Geometry (math.AG)
- [284] arXiv:2509.21566 (replaced) [pdf, ps, other]
-
Title: Cocycle stability in permutations of random simplicial complexesComments: Second version, 34 pages, 1 figureSubjects: Group Theory (math.GR); Combinatorics (math.CO)
- [285] arXiv:2510.06643 (replaced) [src]
-
Title: Algorithm for constructing optimal explicit finite-difference formulas in the Hilbert spaceComments: The paper is being significantly revised and will be resubmitted in a substantially improved formSubjects: Numerical Analysis (math.NA)
- [286] arXiv:2510.07137 (replaced) [pdf, ps, other]
-
Title: Resolutions of Type $\mathbb{A}$ Quantum Surface SingularitiesSubjects: Rings and Algebras (math.RA); Algebraic Geometry (math.AG)
- [287] arXiv:2510.10809 (replaced) [pdf, ps, other]
-
Title: Khovanov homology can distinguish exotic Mazur manifoldsAuthors: Gheehyun NahmComments: 12 pages, 5 figures, comments welcome! v2: updated references v3: revised abstract and introduction; minor editsSubjects: Geometric Topology (math.GT)
- [288] arXiv:2510.12636 (replaced) [pdf, ps, other]
-
Title: Adapting Noise to Data: Generative Flows from 1D ProcessesSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Analysis of PDEs (math.AP)
- [289] arXiv:2510.18780 (replaced) [pdf, ps, other]
-
Title: Ranges of Extremal Processes and Heavy-Tailed Random Walks in Spaces of Growing DimensionComments: Major changes, restructuring, and corrections implementedSubjects: Probability (math.PR)
- [290] arXiv:2510.20290 (replaced) [pdf, ps, other]
-
Title: On an Analytical Criterion for Detecting Intermittent Turbulent Behaviour of Solutions of Partial Differential EquationsComments: 27 pagesSubjects: Analysis of PDEs (math.AP); Fluid Dynamics (physics.flu-dyn)
- [291] arXiv:2510.23767 (replaced) [pdf, ps, other]
-
Title: Re-framing the classification of ideals in noncommutative tensor-triangular geometryComments: 34 pages. v2: Added subsection 7.3 in which we answer a question posed by Negron--Pevtsova, added new auxiliary results in subsection 4.2, other minor editsSubjects: Category Theory (math.CT); Representation Theory (math.RT)
- [292] arXiv:2510.27026 (replaced) [pdf, ps, other]
-
Title: Unconditionally stable Gauge-Uzawa finite element schemes for the chemo-repulsion-Navier-Stokes systemSubjects: Numerical Analysis (math.NA)
- [293] arXiv:2511.02224 (replaced) [pdf, ps, other]
-
Title: Computational Hardness of Static Distributionally Robust Markov Decision ProcessesAuthors: Yan LiSubjects: Optimization and Control (math.OC)
- [294] arXiv:2511.03458 (replaced) [pdf, ps, other]
-
Title: Rational Hodge--Tate prismatic crystals of quasi-l.c.i algebras and non-abelian $p$-adic Hodge theorySubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
- [295] arXiv:2511.04571 (replaced) [pdf, ps, other]
-
Title: Pseudo-dualizing complexes of torsion modules and semi-infinite MGM dualityAuthors: Leonid PositselskiComments: LaTeX 2e with xy-pic and tikz-cd; 81 pages, 12 + 2 commutative diagrams; v.2: new Section 0.3 inserted in the Introduction, proof of Proposition 10.4 (2) => (3) simplified, the assertions of Propositions 11.2(b) and 11.3(b) expanded, mistakes in the computation in the second half of the proof of Theorem 13.1 corrected, small explanations added here and there, many misprints correctedSubjects: Commutative Algebra (math.AC); Category Theory (math.CT)
- [296] arXiv:2511.06156 (replaced) [pdf, ps, other]
-
Title: A Note on Optimal Product PricingSubjects: Optimization and Control (math.OC)
- [297] arXiv:2511.07712 (replaced) [pdf, ps, other]
-
Title: Proof of a conjectured spectral upper bound on the chromatic number of a graphComments: 7 pages. Corrected a few typos. Comments and suggestions are welcomeSubjects: Combinatorics (math.CO)
- [298] arXiv:2511.11215 (replaced) [pdf, ps, other]
-
Title: TSP integrality gap via 2-edge-connected multisubgraph problem under coincident IP optimaAuthors: Toshiaki YamanakaSubjects: Optimization and Control (math.OC); Data Structures and Algorithms (cs.DS)
- [299] arXiv:2511.12748 (replaced) [pdf, ps, other]
-
Title: Dispersive estimates and long-time validity for Bogoliubov dynamics of interacting Bose gasesComments: 34 pages, corrected typos, added referencesSubjects: Mathematical Physics (math-ph)
- [300] arXiv:2511.14048 (replaced) [pdf, ps, other]
-
Title: Wasserstein Distributionally Robust Nash Equilibrium Seeking with Heterogeneous Data: A Lagrangian ApproachSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Systems and Control (eess.SY)
- [301] arXiv:2511.17336 (replaced) [src]
-
Title: A Proof of Talagrand's Creating Large Sets ConjectureComments: This manuscript has been withdrawn by the authors. Upon further review, we have identified critical flaws in the analysis that invalidates the main conclusions presented. The authors intend to address these concerns and may submit a corrected version in the future. We apologize for any inconvenience this may have causedSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Probability (math.PR)
- [302] arXiv:2511.17453 (replaced) [pdf, ps, other]
-
Title: Milnor number of an invariant singularity: generalization of Chulkov's inequalityAuthors: Ivan ProskurninSubjects: Algebraic Geometry (math.AG)
- [303] arXiv:2511.17830 (replaced) [pdf, ps, other]
-
Title: Long-Time Dynamics of the Zakharov-Kuznetsov EquationComments: 20 pages. We updated the references. Comments are welcomeSubjects: Analysis of PDEs (math.AP)
- [304] arXiv:2511.18895 (replaced) [pdf, ps, other]
-
Title: Currents in Heisenberg groupsComments: Added a reference to M. Williams' work, and changed the introduction accordinglySubjects: Metric Geometry (math.MG)
- [305] arXiv:2511.20675 (replaced) [pdf, ps, other]
-
Title: A Fractional Variational Approach to Spectral Filtering Using the Fourier TransformComments: 31 pages, 3 figures, 2 tablesSubjects: Image and Video Processing (eess.IV); Computer Vision and Pattern Recognition (cs.CV); Mathematical Physics (math-ph)
- [306] arXiv:2511.21163 (replaced) [pdf, ps, other]
-
Title: The Projective Class Rings of Drinfeld doubles of pointed rank one Hopf algebrasSubjects: Quantum Algebra (math.QA); Commutative Algebra (math.AC)
- [307] arXiv:2511.21210 (replaced) [pdf, ps, other]
-
Title: Accelerated ADMM: Automated Parameter Tuning and Improved Linear ConvergenceSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
- [308] arXiv:2511.21962 (replaced) [pdf, ps, other]
-
Title: Communication-Aware Dissipative Control for Networks of Heterogeneous Nonlinear AgentsComments: Under review for IFAC 2026. 8 pages, 4 figures, 1 tableSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
- [309] arXiv:2511.22564 (replaced) [pdf, ps, other]
-
Title: Convergence of a Sequential Monte Carlo algorithm towards multimodal distributions on RdAuthors: Ruiyu HanComments: related to previous work arXiv:2508.02763Subjects: Computation (stat.CO); Numerical Analysis (math.NA); Probability (math.PR); Statistics Theory (math.ST)
- [310] arXiv:2511.22672 (replaced) [pdf, ps, other]
-
Title: Noncommutative Geometry of Gravity, Strings and Fields: A Panoramic OverviewAuthors: Richard J. SzaboComments: 69 pages; v2: presentation expanded and improved, typos corrected, references added; Based on lectures given at the conference "Applications of Noncommutative Geometry to Gauge Theories, Field Theories, and Quantum Spacetime", CIRM, Marseille, 7-11 April 2025; to be published in EMS Series of Lectures in MathematicsSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph); Differential Geometry (math.DG); Quantum Algebra (math.QA)
- [311] arXiv:2511.23470 (replaced) [pdf, ps, other]
-
Title: Spectral analysis of the Koopman operator recovers Hamiltonian parameters in open quantum systemsComments: 12 pages and 8 figuresSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
- [312] arXiv:2512.00217 (replaced) [pdf, ps, other]
-
Title: A formula for the Euler characteristic of a poset through the determinant of the order-complement matrixSubjects: Combinatorics (math.CO)
- [313] arXiv:2512.00316 (replaced) [pdf, ps, other]
-
Title: Finite-Sample Valid Rank Confidence Sets for a Broad Class of Statistical and Machine Learning ModelsComments: 44 pages, 2 figures, 7 tables. Code available upon requestSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
- [314] arXiv:2512.02307 (replaced) [pdf, ps, other]
-
Title: Entropy rigidity of $u$-Gibbs measuresComments: 28 pages, 3 figuresSubjects: Dynamical Systems (math.DS)
- [315] arXiv:2512.02365 (replaced) [pdf, ps, other]
-
Title: Singular value asymptotics on compact smooth Riemaniann manifoldsSubjects: Functional Analysis (math.FA)
- [316] arXiv:2512.02946 (replaced) [pdf, ps, other]
-
Title: Unipotent quantum coordinate ring and minuscule prefundamental representations: twisted caseAuthors: Il-Seung JangComments: v2: 29 pages, revised proof of Theorem 6.7, minor corrections; v1: 28 pagesSubjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
- [317] arXiv:2512.03017 (replaced) [pdf, ps, other]
-
Title: On hyperbolic links associated to Eulerian cycles on ideal right-angled hyperbolic $3$-polytopesAuthors: Nikolai ErokhovetsComments: 13 pages, 10 figures. Parts on right-angled hyperbolic polytopes of finite volume and transformations of Eulerian cycles are addedSubjects: Geometric Topology (math.GT); Algebraic Topology (math.AT); Combinatorics (math.CO)
- [318] arXiv:2512.03164 (replaced) [pdf, ps, other]
-
Title: A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent SystemsSubjects: Logic in Computer Science (cs.LO); Logic (math.LO)
- [319] arXiv:2512.03172 (replaced) [pdf, ps, other]
-
Title: On the Virasoro Crossing Kernels at Rational Central ChargeComments: 45 pages, 3 appendices, 3 figures; v2: refs added, minor typos fixedSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
- [320] arXiv:2512.03555 (replaced) [pdf, ps, other]
-
Title: Accelerating shape optimization by deep neural networks with on-the-fly determined architectureComments: Initial submitted manuscript versionSubjects: Computational Engineering, Finance, and Science (cs.CE); Optimization and Control (math.OC)
- [321] arXiv:2512.04051 (replaced) [pdf, ps, other]
-
Title: Convergence for Discrete Parameter Update SchemesComments: opt-ml 2025 workshop at NeurIPSSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
- [322] arXiv:2512.04640 (replaced) [pdf, ps, other]
-
Title: Critical concave-convex problems in Carnot groupsComments: 22 pagesSubjects: Analysis of PDEs (math.AP)
- [323] arXiv:2512.04721 (replaced) [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)
[ showing up to 500 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2512, contact, help (Access key information)