Mathematics
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Fri, 20 Mar 26
- [1] arXiv:2603.18022 [pdf, ps, other]
-
Title: Using Laplace Transform To Optimize the Hallucination of Generation ModelsComments: Corresponding author: Xujing Yao (xjyao@njtech.edu.cn)Journal-ref: In 2024 18th International Conference on Control, Automation, Robotics and Vision (ICARCV) (pp. 447-453). IEEESubjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Systems and Control (eess.SY)
To explore the feasibility of avoiding the confident error (or hallucination) of generation models (GMs), we formalise the system of GMs as a class of stochastic dynamical systems through the lens of control theory. Numerous factors can be attributed to the hallucination of the learning process of GMs, utilising knowledge of control theory allows us to analyse their system functions and system responses. Due to the high complexity of GMs when using various optimization methods, we cannot figure out their solution of Laplace transform, but from a macroscopic perspective, simulating the source response provides a virtual way to address the hallucination of GMs. We also find that the training progress is consistent with the corresponding system response, which offers us a useful way to develop a better optimization component. Finally, the hallucination problem of GMs is fundamentally optimized by using Laplace transform analysis.
- [2] arXiv:2603.18065 [pdf, ps, other]
-
Title: An Algebraic Structure for the Central Mexican Ritual CalendarAuthors: Ramiro Carrillo-CatalánComments: 25 pages, 5 figures, Transdisciplinar subjectSubjects: General Mathematics (math.GM)
This article develops an algebraic model of the 260-day Central Mexican ritual calendar, the \textit{Tonalpohualli}. We represent the calendar as the cyclic group $\mathbb{Z}_{13}\oplus\mathbb{Z}_{20}$, where each day name is encoded by a numeral-sign pair. From this model, we derive explicit correspondences between day numbers and day names through group actions. We also characterize, in algebraic terms, the twenty 13-day periods, the thirteen 20-day periods, and the partition of days into oriented tetrads. In addition, we describe how these structures relate to a subgroup generated by permutations of the starts of 13-day periods, and we show its connection with a cyclic group of order four and with square rotations. These results formalize and extend previous arithmetic and structural interpretations of the \textit{Tonalpohualli}, and they provide a framework for codex analysis.
- [3] arXiv:2603.18077 [pdf, ps, other]
-
Title: A New Approach to Code Smoothing BoundsSubjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
To analyze the security of code-based cryptosystems, the smoothing parameter, which is closely related to the total variation distance of codes, has been investigated. While previous studies have bounded this distance using the Fourier transform on locally compact abelian groups, we take an alternative approach based on random walks. In this paper, we derive an inequality for the total variation distance of random walks using equitable partitions, and we show that our proposed bound generalizes existing results for finite abelian groups.
- [4] arXiv:2603.18080 [pdf, ps, other]
-
Title: Growing Alphabets Do Not Automatically Amplify Shuffle Privacy: Obstruction, Estimation Bounds, and Optimal Mechanism DesignAuthors: Alex ShvetsComments: 40 pages, no figuresSubjects: Information Theory (cs.IT)
We study neighboring shuffle experiments for epsilon_0-LDP channels along growing alphabets d -> infinity, and optimal mechanism design for frequency estimation under a canonical pairwise chi-squared budget.
On the privacy side, we prove an exact compression theorem: the shuffled histogram experiment depends only on the pushforward law of the pairwise likelihood ratio. We establish a sharp universal bound chi^2 <= (e^{epsilon_0}-1)^2/e^{epsilon_0}, construct explicit obstruction families for which the shuffled privacy curve equals binary randomized response for all d, and prove a sharp diluting/persistent dichotomy.
On the estimation side, we prove a universal lower bound of order (d-1)/(n chi_*(W)) via Cramer-Rao and Assouad arguments, and show that symmetrization to equivariant channels is WLOG.
On the design side, we show calibrated GRR is not optimal. The optimal mechanism is an augmented GRR: fraction p of users applies aggressive GRR with lambda_* = sqrt(d-1), the rest sends a null symbol. This thinning principle is specific to shuffle and has no local-DP counterpart. For low budget 0 < C <= C_*(d), augmented GRR is optimal among all permutation-equivariant channels. GRR is also the unique optimizer within the subset-selection family. - [5] arXiv:2603.18087 [pdf, ps, other]
-
Title: Bounded Representations by $x^2+y^2-z^2$Authors: Przemyslaw ChojeckiSubjects: Number Theory (math.NT)
We prove that every sufficiently large integer $n$ can be written in the form $n=x^2+y^2-z^2$ with $\textrm{max}(x^2,y^2,z^2)\le n$. The proof converts the problem into finding a primitive binary quadratic form of positive discriminant $4n$ inside a fixed relatively compact open patch of the real hyperboloid $b^2-4ac=4n$. This is then supplied by Duke's theorem in the precise point-counting form deduced from the measure-theoretic duality of Einsiedler-Lindenstrauss-Michel-Venkatesh. A finite parity correction returns to the original ternary variables. This settles Erd\H{o}s Problem 1148.
- [6] arXiv:2603.18121 [pdf, ps, other]
-
Title: One one type of ud-preserving mappingAuthors: Milan PastekaSubjects: Number Theory (math.NT)
In this paper a class of mappings on unit interval is constructed. These mapping preserve uniform distribution and theirs iterations form a sequence which is Buck uniformly distributed. In the third part some prorties of these mappings are proven.
- [7] arXiv:2603.18160 [pdf, ps, other]
-
Title: On the equivalence of semi-discrete Active Flux and Discontinuous Galerkin methods and a comparison of their performanceSubjects: Numerical Analysis (math.NA)
The Active Flux (AF) method employs a globally continuous approximation, like continuous Finite Element methods. This is achieved through the placement of point values at cell interfaces which are shared between adjacent cells. With, on average, K+1 degrees of freedom per cell, Active Flux achieves a polynomial approximation of degree K+1, while the Discontinuous Galerkin (DG) method uses only polynomials of degree K, i.e. one degree less with the same number of degrees of freedom. Despite all the differences, in this paper we show, however, that for linear problems in one and several dimensions as well as -- in some sense -- for nonlinear ones, semi-discrete AF and DG are the same method. We identify a mapping between their respective degrees of freedom, upon which the updates of these degrees of freedom turn out to agree. On the one hand, AF therefore seems more economical then DG for a given value of the error, and we confirm this in numerical experiments. On the other hand, this is a way to understand superconvergence of DG in a natural way, and we show how Radau polynomials and their zeros appear in the mapping between DG and AF: In the Radau points, AF "shines through" as the background high-order scheme behind DG.
- [8] arXiv:2603.18162 [pdf, ps, other]
-
Title: Castelnuovo-Mumford regularity of toric varieties with at most one singular pointSubjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Combinatorics (math.CO)
We establish upper bounds for the Castelnuovo--Mumford regularity of the coordinate ring of a simplicial projective toric variety with at most one singular point. In the smooth case, our results recover the bound of Herzog and Hibi [Proc. Amer. Math. Soc. 131 (2003), 2641--2647], and therefore the Eisenbud--Goto bound. Furthermore, when the variety has exactly one singular point and dimension at least $3$, we prove that its regularity also satisfies the Eisenbud--Goto bound. The proof combines combinatorial and homological methods: we study the asymptotic behavior of the sumsets associated to the toric variety and relate it to Castelnuovo--Mumford regularity via a Hochster-like formula.
- [9] arXiv:2603.18164 [pdf, ps, other]
-
Title: Nonlinear Kirchhoff-Love shell models derived from the Ciarlet-Geymonat energy: modelling and well-posednessSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
Starting from a three-dimensional model based on the Ciarlet-Geymonat energy, we derive nonlinear shell models within the classical elasticity theory of compressible isotropic materials. The Neo-Hookean term involving the norm of the deformation gradient leads to an energy depending on the first, the second, and the third fundamental forms of the deformed midsurface. The coefficients appearing in the resulting shell models depend on the classical Lam\'e coefficients of the three-dimensional material, on the thickness of the shell, and on the mean and Gaussian curvatures of the reference configuration. This shows that the behavior of the shell is influenced not only by the elastic coefficients but also by the initial geometry of the three-dimensional thin body. The purely volumetric Ciarlet-Geymonat contribution of the three-dimensional energy leads to two-dimensional energies depending on the mean and Gaussian curvatures of both configurations, namely the undeformed and the deformed midsurfaces. Since a purely asymptotic derivation may lead to nonlinear terms for which the lower semicontinuity of the resulting functionals is not clear, we combine the asymptotic reduction through the thickness with Simpson's quadrature rule applied to the purely volumetric energy terms, ensuring that the lower semicontinuity is inherited from the three-dimensional model. After deriving the model, we establish the well-posedness of the proposed shell energies. More precisely, we prove coercivity and lower semicontinuity property of the resulting functional and show the existence of minimizers in appropriate Sobolev spaces. A key ingredient in the proofs is a polyconvexity concept in the shell theory, together with some results concerning the weak convergence of terms involving the mean curvature of the deformed midsurface.
- [10] arXiv:2603.18177 [pdf, ps, other]
-
Title: A Hybrid Decomposition Approach for Stochastic Unit Commitment with Combined-Cycle GeneratorsComments: 12 pagesSubjects: Optimization and Control (math.OC)
The U.S. power grid is undergoing a major paradigm shift with the increased development of renewable generators, electric vehicles, and data centers. In response to this growing need, the U.S. has ramped up the construction of combined-cycle generators (CCs). CCs are fast-ramping generators that utilize variable configurations of combustion turbines (CTs) and steam turbines (STs) to achieve much higher efficiency than traditional CTs alone. For schedule optimization, this requires the addition of a large number of binary constraints and variables in Unit Commitment (UC) problem formulations. This paper presents a novel hybrid Benders' (BD) and Dantzig-Wolfe (DW) decomposition algorithm for stochastic UC problems with CCs. The algorithm exploits the separability of the linear constraints in UC through BD and the integer CC constraints through DW. Results are presented for the 935-generator FERC test data set, modified to include mode data for CCs. The algorithm demonstrates a significant speed-up over traditional BD across all cases. It also demonstrates better convergence rates on cases with 25 or more scenarios than both BD and Gurobi's branch-and-bound solver. These cases show that the proposed algorithm is a scalable approach for solving stochastic UC.
- [11] arXiv:2603.18179 [pdf, ps, other]
-
Title: On Rado's single equation theoremAuthors: Tom SandersComments: 21ppSubjects: Combinatorics (math.CO); Number Theory (math.NT)
We show that for non-zero integers $a$ and $b$ there is a natural number $N < \exp(r^{2+o_{a,b;r\rightarrow \infty}(1)})$ such that in any $r$-colouring of $\{1,\dots,N\}$ there are $x,y,z$, all in the same colour class, such that $ax-ay=bz$.
- [12] arXiv:2603.18183 [pdf, ps, other]
-
Title: Around Gromov's injectivity lemma and applications to post-injunctive groupsAuthors: Xuan Kien PhungSubjects: Group Theory (math.GR); Dynamical Systems (math.DS); Cellular Automata and Lattice Gases (nlin.CG)
Gottschalk's surjunctivity conjecture states that for all group universes and finite alphabets, every equivariant and continuous selfmap of the full shift, known as cellular automaton, cannot be a strict embedding. Not all surjective cellular automata are injective. However, if the surjectivity condition is replaced by a certain strengthened property called post-surjectivity then all post-surjective cellular automata must be bijective whenever the universe is a sofic group. A group universe is said to be post-injunctive if every post-surjective cellular automaton with finite alphabet over this group universe must be bijective. Gromov's injectivity lemma states each injective cellular automaton over a subshift can be extended to an injective cellular automaton over every subshift which is close enough to the initial subshift. In this paper, we obtain analogous results where injectivity is replaced by other fundamental dynamical properties namely post-surjectivity and pre-injectivity. We also study various stable properties of the class of post-injunctive groups in parallel to properties of surjunctive groups. Among the results, we show that semidirect extensions of post-injunctive groups with residually finite kernels must be post-injunctive.
- [13] arXiv:2603.18185 [pdf, ps, other]
-
Title: Critical coupling thresholds for tilted Kuramoto-Vicsek models with a confining potentialComments: 22 pages, 7 figuresSubjects: Mathematical Physics (math-ph)
We study a Kuramoto-Vicsek model of self-propelled particles with periodic boundary conditions subject to a constant angular tilt and a confining potential, and its mean-field (Fokker-Planck) behaviour. In the absence of confinement, the uniform density is stationary and we compute the critical coupling for four normalisation variants of the interaction kernel, showing that the leading instability is always spatially homogeneous. When the confining field is present, the uniform state is no longer stationary. We construct the new steady state perturbatively and apply eigenvalue perturbation theory to derive an explicit formula for the critical coupling as a function of the field strength. The threshold increases quadratically with confinement strength, and the tilt enters through the steady-state correction despite having no effect on the threshold in the absence of confinement. We verify the prediction numerically and derive self-consistency equations for stationary states with general multichromatic potentials.
- [14] arXiv:2603.18186 [pdf, ps, other]
-
Title: Open-Closed String Field Theory from Calabi-Yau Categories and its Applications to Enumerative GeometryAuthors: Jakob UlmerComments: arXiv admin note: substantial text overlap with arXiv:2506.15210Subjects: Quantum Algebra (math.QA); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Symplectic Geometry (math.SG)
The overarching goal of this thesis was to develop categorical methods that connect enumerative geometry, as studied in mirror symmetry, with large $N$ gauge theories. In the first part, we established a relation between graph complexes, Calabi-Yau $A_\infty$-categories, and Kontsevich's cocycle construction. The next main result is the construction of a formality $L_\infty$-morphism relating algebraic structures built from a Calabi-Yau category and one of its objects; this morphism depends on a splitting of the non-commutative Hodge filtration.This generalizes the approach of categorical enumerative invariants from the closed to the open-closed setting. From a physics perspective, closed categorical enumerative invariants are encoded by the partition function of the associated closed string field theory (SFT). We explain how our open-closed morphism is an ingredient in quantizing the large N open SFT associated to an object of a Calabi-Yau category. In the final part of this thesis, based on an algebraic approach to open and closed backreacted SFT, we propose ideas towards a categorical formulation of 'Twisted Holography' at the level of partition functions, given as input a Calabi-Yau category and one of its objects.
- [15] arXiv:2603.18204 [pdf, ps, other]
-
Title: Highly Adaptive Empirical Risk Minimization with Principal ComponentsSubjects: Statistics Theory (math.ST)
The Highly Adaptive Lasso (HAL) delivers unprecedented guarantees in nonparametric minimum loss estimation under minimal smoothness assumptions, such as dimension-free minimax optimal rates. However, the practical use of HAL has been severely limited by its exponentially growing computationally prohibitive indicator basis expansion in moderate to high dimensions. Existing screening strategies drastically reduce this dimension but lack any theoretical justification. We introduce the Principal Component Highly Adaptive (PC-HA) family of estimators, which for the first time provide a principled and theoretically valid dimension reduction. We establish formal results on the score equations solved by these PC-HA estimators, allowing to transfer plug-in efficiency and pointwise asymptotic normality results from HAL to these PC-HA estimators, under comparable complexity control.
- [16] arXiv:2603.18215 [pdf, ps, other]
-
Title: Solving Sparsity Constrained PCA, Regression, and QCQP via the SpartrahedronSubjects: Optimization and Control (math.OC)
Sparsity is a fundamental modeling principle in statistics, signal processing, and data science. However, optimization with sparsity constraints is notoriously difficult. We introduce a new convex relaxation framework for {sparse quadratically constrained quadratic programs} (QCQPs), a class that subsumes sparse regression, sparse principal component analysis (PCA), and related problems. Our approach is based on a novel convex cone, the spartrahedron, which exactly characterizes sparsity at the matrix level. This leads to a semidefinite programming (SDP) relaxation that is tight whenever its solution is rank-one, providing a simple certificate of global optimality. We establish theoretical guarantees, including approximation bounds and exactness regions for sparse PCA and sparse ridge regression, as well as a general stability result under perturbations. Numerical experiments on sparse PCA, sparse regression, RIP constant estimation, and sparse canonical correlation analysis (CCA) demonstrate the practical success of our methods.
- [17] arXiv:2603.18216 [pdf, ps, other]
-
Title: Constructive proofs for the standard translation of many-sorted to unsorted predicate logicAuthors: Hrafn Valtýr OddssonComments: 21 pagesSubjects: Logic (math.LO)
It is well known that many-sorted logic can be reduced to unsorted first-order logic by adding predicates for each sort, relativizing quantifiers to these predicates, and adding appropriate axioms governing their behavior. Existing constructive proofs for the correctness of this translation break down when the many-sorted language includes equality and the unsorted target calculus includes the usual rules/axioms for equality.
We give two constructive proofs. The first repairs a known gap in Herbrand's original proof for the equality-free case from his 1930 dissertation. This results in a proof that is conceptually simpler than the later proofs by Schmidt and Wang. The second proof establishes the same result, but also applies to languages with equality and can handle relation and function symbols that allow more than one combination of sorts in their argument places. Both proofs work for both classical and intuitionistic logic.
As an application, we use the second proof to give a fully syntactic justification of van Dalen's translation of second-order logic into unsorted first-order logic. - [18] arXiv:2603.18220 [pdf, ps, other]
-
Title: Geometric approach to the modular isomorphism problem: groups of order 64Comments: 16 pagesSubjects: Group Theory (math.GR); Commutative Algebra (math.AC); Rings and Algebras (math.RA)
We introduce a procedure based on computational algebraic geometry to determine whether two algebras are isomorphic. We then apply it to show that if $R$ is a commutative unital ring in which $2$ is not invertible, $G$ is a group of order dividing $64$ and $H$ some group, then an isomorphism of unital algebras $RG \cong RH$ implies an isomorphism of groups $G \cong H$.
- [19] arXiv:2603.18224 [pdf, ps, other]
-
Title: Dualities in Multiparameter PersistenceComments: This paper extends and supersedes arXiv:2303.11193, sections 1-3.2Subjects: Commutative Algebra (math.AC); Algebraic Topology (math.AT)
In the theory of persistent homology, a well known duality relates the barcodes of the absolute homology and relative cohomology of a one-parameter simplicial filtration. Motivated by the problem of computing free presentations of the (co)homology of multiparameter Rips filtrations, we give a multiparameter generalization of this duality. Considering two duality functors on multiparameter persistence modules, the pointwise dual $(-)^*$ and the global dual $(-)^\dagger$, we show that $H_q(C)^* \cong H^{N+q}(C^\dagger)$ for chain complexes $C$ of free $N$-parameter persistence modules with acyclic colimit. We give an elementary and accessible proof based on a long exact sequence argument, and also give an alternate proof that casts the result as a special case of multigraded Grothendieck local duality. As a corollary, we recover a simple correspondence between minimal free resolutions of a persistence module $M$ and those of its pointwise dual $M^*$, a result previously obtained by Miller, 2000. These results form the foundation of a state-of-the-art algorithm for computing free resolutions of the homology of Vietoris--Rips bifiltrations, described in a forthcoming paper.
- [20] arXiv:2603.18240 [pdf, ps, other]
-
Title: Achievable DoF Bounds for Cache-Aided Asymmetric MIMO CommunicationsComments: Extended journal version; submitted to IEEE Transactions on Communications (TCOM). An earlier conference version was published in ISIT 2025 (DOI: 10.1109/ISIT63088.2025.11195683)Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
This is an extended journal version of the conference paper published in ISIT 2025; submitted to IEEE Transactions on Communications (TCOM). Integrating coded caching (CC) into multiple-input multiple-output (MIMO) communications significantly enhances the achievable degrees of freedom (DoF). This paper investigates a practical cache-aided asymmetric MIMO configuration with cache ratio $\gamma$, where a server with $L$ transmit antennas communicates with $K$ users. The users are partitioned into $J$ groups, and each user in group $j$ has $G_j$ receive antennas. We propose four content-aware MIMO-CC strategies: \emph{min-$G$} enforces symmetry using the smallest antenna count among users; \emph{Grouping} maximizes intra-subset spatial multiplexing gain at the expense of some global caching gain; \emph{Super-grouping} aggregates users into optimized \emph{min-$G$}-based super-sets with identical effective receive multiplexing gains before applying \emph{Grouping} across them; and \emph{Phantom} redistributes spatial resources assuming ``phantom'' antennas at the users to bridge the performance gains of \emph{min-$G$} and \emph{Grouping}. We develop these asymmetric strategies under three reference symmetric CC placement-delivery policies with guaranteed linear decodability: a DoF-optimal policy achieving the optimal single-shot DoF, and two closed-form policies, namely combinatorial and linear cyclic low-complexity constructions, with the cyclic policy attaining DoF performance close to the others in many operating regimes. Analytical and numerical results demonstrate significant DoF improvements across various system configurations, and that policy-strategy combinations offer flexible trade-offs between DoF and subpacketization complexity.
- [21] arXiv:2603.18241 [pdf, ps, other]
-
Title: Splitting-strategies for arbitrary-order fully mixed finite element discretizations of the Biot equationsSubjects: Numerical Analysis (math.NA)
We study the fully mixed formulation of the Biot equations, which is characterized by a symmetric coupling between flow and deformation. This structure enables the use of stable mixed finite elements for each subproblem without a strong compatibility condition across the two subphysics. To exploit this flexibility while preserving the conservation structure of both subproblems, we consider fully mixed finite element methods in which the symmetry of the elastic stress tensor is enforced weakly. The resulting mixed formulation exhibits a saddle-point structure whose stability is determined by suitable inf--sup conditions. Inf--sup stability is established for several families of discrete spaces of arbitrary order, leading to optimal a priori error estimates. Iterative splitting strategies following the classical fixed-stress split with additional tuning are specifically investigated for the fully mixed formulation, with proof of convergence and rates depending on the coupling strength. Contrary to previous analyses on coupled problems with a symmetric structure, we theoretically prove the efficacy of negative stabilization, consistent with Schur-complement ideas. Numerical results based on analytical solutions and the classical Mandel problem support the theory.
- [22] arXiv:2603.18243 [pdf, ps, other]
-
Title: Why Eight Percent of Benford Sequences Never ConvergeAuthors: James M. HymanComments: 35 pages, 5 figures; 35-page Supplementary Information (ancillary file); code at this https URLSubjects: Number Theory (math.NT); Information Theory (cs.IT)
We study multi-digit correlations in Benford sequences b^n for integer bases 2 <= b <= 1000, measuring dependence via conditional mutual information (CMI). A resonance ratio derived from the continued fraction expansion of log_10(b) classifies bases into convergent and persistent regimes (Theorem 3.13): among 996 bases surveyed, 84 (8.4%) exhibit persistent correlations at sample depth N = 10,000, and extended computation to N = 200,000 confirms 53 (5.3%) as genuinely persistent. We prove that CMI deviation is bounded by the distribution error (Theorem 3.4); exhaustive computation across 2,988 test cases confirms that the effective scaling is quadratic, yielding a two-sided rate beta = 2 for bounded-type bases (conditional on a computationally verified Hessian positivity condition). The observed effective exponent across 774 convergent bases is beta_eff = 1.72 +/- 0.19, consistent with finite-sample corrections to the asymptotic rate. We conjecture that the persistence rate converges to 1/12, a prediction grounded in the Gauss-Kuzmin distribution of partial quotients. For persistent bases, the convergence threshold N_epsilon exceeds 10^6 at standard precision, rendering the asymptotic limit observationally irrelevant within our computational scope.
- [23] arXiv:2603.18244 [pdf, ps, other]
-
Title: Finite Cardinalities of Misère QuotientsComments: Feedback welcome!Subjects: Combinatorics (math.CO)
We find that partisan mis\`ere quotients can have any finite cardinality other than 3, answering a question of Allen. This contrasts with impartial mis\`ere quotients, which must have even cardinality.
- [24] arXiv:2603.18251 [pdf, ps, other]
-
Title: Christoffel Adaptive Sampling for Sparse Random Feature ExpansionsSubjects: Numerical Analysis (math.NA)
Random Feature Models (RFMs) have become a powerful tool for approximating multivariate functions and solving partial differential equations efficiently. Sparse Random Feature Expansions (SRFE) improve traditional RFMs by incorporating sparsity, making it particularly effective in data-scarce settings. In this work, we integrate active learning with sparse random feature approximations to improve sampling efficiency. Specifically, we incorporate the Christoffel function to guide an adaptive sampling process, dynamically selecting informative sample points based on their contribution to the function space. This approach optimizes the distribution of sample points by leveraging the Christoffel function associated with an iteratively-chosen basis obtained by the sparse recovery solver. We conduct numerical experiments comparing adaptive and nonadaptive sampling strategies with the SRFE framework and examine their accuracy for various function approximation tasks. Overall, our results demonstrate the advantages of adaptive sampling in maintaining high accuracy while reducing sample complexity for SRFE, highlighting its potential for scientific computing tasks where data is expensive to acquire.
- [25] arXiv:2603.18253 [pdf, ps, other]
-
Title: Biregular bipartite labeled multigraphs and perfect matchings in bipartite tensor productsSubjects: Combinatorics (math.CO)
In 2019, P. Higgins formulated [1] a question about bipartite graphs (see Conjecture 1 below); this question arises in the study of regular finite semigroups. F. V. Petrov formulated [2] another combinatorial conjecture (Conjecture 3); Conjecture 3 implies Conjecture 1 and seems simple itself. However, both conjectures remain unproven in the general case. In the present paper, some special cases are proved, Conjecture 4 is formulated in the same spirit, and some of its special cases are proved. In addition, Conjecture 1 is reduced to a matrix inequality (Conjecture 5); this inequality is, in turn, also proved in a special case.
- [26] arXiv:2603.18264 [pdf, ps, other]
-
Title: Classifying submodules over monoidal categoriesComments: 36 pagesSubjects: Representation Theory (math.RT); Category Theory (math.CT); Quantum Algebra (math.QA)
We study the classification of submodules of module categories over monoidal categories, extending ideas of Coulembier on the classification of tensor ideals in monoidal categories. We develop a framework that applies to module categories equipped with a twisted cylinder twist, a structure closely related to the twisted reflection equation and quantum symmetric pairs. Under mild assumptions, we establish an order-preserving bijection between submodules of a module category $\mathcal{M}$ and submodules of the path-algebra module $\mathcal{M}(1,-)$. We show that this correspondence is compatible with idempotent completion and analyze its behavior under decategorification to the split Grothendieck group, giving criteria for classification in terms of indecomposable objects. As an application, we study the disoriented skein category as a module category over the oriented skein category, describe its indecomposable objects, and obtain a complete classification of its submodules.
- [27] arXiv:2603.18268 [pdf, ps, other]
-
Title: Exact Banach-Mazur distances of certain $\ell_p$-sums and conesComments: 27 pages, 4 figuresSubjects: Metric Geometry (math.MG); Functional Analysis (math.FA)
We determine certain Banach-Mazur distances involving $\ell_p$-direct sums of finite-dimensional real normed spaces and related cone constructions of convex bodies. Using a recent characterization of the optimal Banach-Mazur position with respect to the Euclidean ball, we derive a closed formula for the distance from $X_1 \oplus_p \cdots \oplus_p X_k$ to Euclidean space in terms of the distances of the spaces $X_i$ to Euclidean space. For $p = 1$ we show that if $d_{BM}(X,\ell_1^n) \leq 3$, then $d_{BM}(X \oplus_1 \ell_1^m, \ell_1^{n+m}) = d_{BM}(X,\ell_1^n)$. Interpreting $\ell_1$-sums geometrically as double cones motivates a study of single cones over arbitrary convex bases, for which we establish an analogous result with the simplex replacing $\ell_1$. We further show that in dimension $3$ the distance between single cones with symmetric bases equals the distance between the bases, and that the same equality holds for double cones over planar symmetric bases in arbitrary dimension, under an additional assumption on the distance of the bases to $\ell_1^2$. As consequences, we obtain an explicit isometric embedding of the $2$-dimensional symmetric Banach-Mazur compactum into the $3$-dimensional (non-symmetric) compactum and lift a recent construction of arbitrarily large equilateral sets in the $2$-dimensional symmetric compactum to all higher dimensions.
- [28] arXiv:2603.18269 [pdf, ps, other]
-
Title: Global-in-time existence and uniqueness of classical solutions to the unsteady initial-boundary value problem for the four-velocity planar Broadwell model in a rectangular domainSubjects: Analysis of PDEs (math.AP)
We establish the global-in-time existence and uniqueness of classical solutions to the unsteady initial-boundary value problem for the four-velocity planar Broadwell model in a rectangular domain. The result is obtained for sufficiently small initial and boundary data within the framework of discrete kinetic theory.
- [29] arXiv:2603.18287 [pdf, ps, other]
-
Title: Duality for Delsarte's extremal problem on locally compact Abelian groupsSubjects: Functional Analysis (math.FA)
The Delsarte extremal problem for positive definite functions, originally introduced by Delsarte in coding theory to bound the size of error-correcting codes, has since found applications in diverse areas such as sphere packing, Fuglede's spectral set conjecture, and $1$-avoiding sets.
Recent developments have established the existence of extremizers in fairly general settings and identified precise linear programming dual formulations, together with strong duality results, in several important cases including finite groups and $\mathbb{R}^d$.
In this paper, we consider a generalized Delsarte problem on locally compact Abelian groups, providing a natural framework for harmonic analysis. We extend both the normalization and the objective functional to encompass a wide range of previously studied cases, while avoiding restrictive topological assumptions common in the literature.
Within this general setting, we derive the corresponding dual problem and prove a strong duality theorem, thereby unifying and extending earlier results. Naturally, our proof uses harmonic analysis, but the key is a functional analytic approach which distinguishes our proof from existing methods. - [30] arXiv:2603.18288 [pdf, ps, other]
-
Title: On the K-theory of matroids with Tutte coveringsComments: 12 pagesSubjects: K-Theory and Homology (math.KT); Algebraic Topology (math.AT); Combinatorics (math.CO)
The aim of this work is to explicitly compute the K-theory of the category of matroids with respect to the covering family of Tutte coverings. In particular, we show that this is equivalent to the K-theory spectrum of the category of graphic matroids on looped forests, with the covering family generated by isomorphisms. Further, we show that this yields an equivalence of $C_2$-spectra.
- [31] arXiv:2603.18289 [pdf, ps, other]
-
Title: Counting Strict Gridlock on GraphsComments: 22 pages, 8 figuresSubjects: Combinatorics (math.CO); Physics and Society (physics.soc-ph)
Graph colorings have been of interest to mathematicians for a long time, but relatively recently, social scientists have also found them to be interesting tools for studying group behavior. In the last 20 years, scientists have begun to study how coloring problems can be solved by groups of individuals on a graph, which has led to new insights into network structure, group dynamics, and individual human behavior. Despite this newfound utility, the exact nature of these distributed coloring problems is not well-understood, and established mathematical tools like the chromatic polynomial miss the unique challenges that arise in these social problem-solving situations with limited information. In this paper, we provide a new framework for understanding these distributed problems by defining a new kind of graph coloring with particular relevance to consensus formation on networks, in which all vertices are trying to agree on a common color. These strict gridlock colorings represent roadblocks to consensus where the group will not reach a uniform coloring using natural update processes. We describe a recurrence relation that provides an algorithm for counting these gridlocked colorings, which establishes a mathematical measure of how much a given graph hinders consensus in a group.
- [32] arXiv:2603.18304 [pdf, ps, other]
-
Title: Forward-Backward Dynamic Programming for LQG Dynamic Games with Partial and Asymmetric InformationSubjects: Optimization and Control (math.OC)
We formulate and study a class of two-player zero-sum stochastic dynamic games with partial and asymmetric information. Information asymmetry introduces fundamental challenges involving \emph{belief representation} and \emph{theory of mind} issues, where agents must impute belief states and estimates of other agents to inform their own strategy. To avoid an infinite regress of higher-order beliefs amongst agents and obtain computationally implementable results, we focus on a linear quadratic Gaussian (LQG) model and consider strategies with limited internal state dimension. We present a novel iterative forward-backward algorithm to jointly compute belief states and equilibrium strategies and value functions for a finite-horizon problem. We also present a value iteration-like algorithm to jointly compute stationary belief states and equilibrium strategies for an average-cost infinite-horizon problem. An open-source implementation of the algorithms is provided, and we demonstrate the effectiveness of the proposed algorithms in numerical experiments.
- [33] arXiv:2603.18307 [pdf, ps, other]
-
Title: Adversarial Robustness for Matrix Control Barrier Functions in Sampled-Data SystemsAuthors: James UsevitchSubjects: Optimization and Control (math.OC)
This paper presents novel theoretical results to guarantee multi-agent set invariance using Matrix Control Barrier Functions in sampled-data systems. More specifically, the paper presents conditions under which heterogeneous control-affine agents applying zero-order-hold control inputs can compute control inputs to render safe sets defined by matrix inequalities forward invariant. It then introduces methods to guarantee set invariance while accounting for the presence of adversarial agents seeking to drive the system state to unsafe sets. Finally, the paper presents theoretical extensions of these set invariance results to systems having high relative degree with respect to the matrix-valued safe set function.
- [34] arXiv:2603.18310 [pdf, ps, other]
-
Title: Low-regularity invariant measure for the complex-valued mKdVSubjects: Analysis of PDEs (math.AP)
In this paper we consider the twice-renormalized, complex-valued modified KdV (mKdV) on the one-dimensional torus introduced by Chapouto. Our main result is the construction of an invariant measure supported at low-regularity. This work complements the work of Kenig et al., which constructed invariant measures supported in higher-regularity spaces for the non-renormalized mKdV. Due to the low-regularity of the support of the measure, we are forced to work in Fourier-Lebesgue spaces. The fact that we consider the complex-valued mKdV makes the problem more complicated than the real-valued case, which was previously considered.
- [35] arXiv:2603.18311 [pdf, ps, other]
-
Title: Minimax Optimal Estimation of Mean and Covariance Functions with Spectral RegularizationSubjects: Statistics Theory (math.ST)
Estimation of the mean and covariance functions is a fundamental problem in functional data analysis, particularly for discretely observed functional data. In this work, we study a regularization-based framework for estimating the mean and the covariance functions within a reproducing kernel Hilbert space (RKHS) setting. Our approach utilizes a spectral regularization technique under H\"{o}lder-type source conditions, allowing for a broad class of regularization schemes and accommodating a wide range of smoothness assumptions on the target functions. Unlike previous works in the literature, the proposed work does not require the target functions to belong to the underlying RKHS. Convergence rates for the proposed estimators are derived, and optimality is established by obtaining matching minimax lower bounds.
- [36] arXiv:2603.18313 [pdf, ps, other]
-
Title: Quantitative equidistribution of eigenvalues of Random Normal Matrices in the Wasserstein distanceAuthors: P. García AriasComments: 19 pagesSubjects: Probability (math.PR)
The object of study in this paper is the expected $2$-Wasserstein distance between the empirical measures of several point processes and their respective limit. For this, the main tool developed is a smoothing procedure in Euclidean spaces using the heat equation with Neumann boundary conditions. It is applied to the spectrum of Random Normal Matrices with \textit{reasonable} assumptions, as well as to several families of Homogeneous Point Processes such as the infinite Ginibre ensemble, the Bessel ensemble, and the zero set of the planar Gaussian Analytic Function.
- [37] arXiv:2603.18320 [pdf, ps, other]
-
Title: Global Tensor Field Formulation of the Fokker-Planck Equation on Riemannian ManifoldsSubjects: Probability (math.PR)
This paper presents a global, coordinate-free formulation of the Fokker-Planck equation on Riemannian manifolds. In the Stratonovich formulation, the infinitesimal generator is expressed intrinsically through Lie derivatives, and its adjoint is derived via the divergence theorem, yielding a concise geometric form of the Fokker-Planck equation. In the Ito formulation, a diffusion tensor field is introduced to generalize the Euclidean diffusion matrix, and a tensor-field-based analysis establishes an intrinsic double-divergence representation of the Fokker-Planck equation. The proposed framework provides a globally valid and geometrically consistent interpretation of diffusion and probability transport on Riemannian manifolds, supported by compact and intuitive proofs.
- [38] arXiv:2603.18321 [pdf, ps, other]
-
Title: A Simple Categorical Calculus of Interacting ProcessesComments: In peer reviewSubjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
We present a calculus that models a simple sort of process interaction. Our calculus consists of a collection of terms together with a rewrite relation, parameterised by an arbitrary multicategory whose morphisms we understand as non-interactive processes. We show that our calculus is confluent and terminating, and that terms modulo the induced convertibility relation form a virtual double category. We relate our calculus to the free cornering of a monoidal category, which is a double-categorical model of process interaction that is similar in spirit to the calculus presented herein. Precisely, we construct a functor from the virtual double category given by our calculus into the underlying virtual double category of the free cornering of the free monoidal category on the multicategory of non-interacting processes. If we think of the terms of our calculus as programs and the rewriting system as an operational semantics for these programs, this functor gives a sound denotational semantics for our calculus in terms of the free cornering.
- [39] arXiv:2603.18322 [pdf, ps, other]
-
Title: Polynomial Constructions and Deletion-Ball Geometry for Multiset Deletion CodesComments: 41 pagesSubjects: Information Theory (cs.IT)
We study error-correcting codes in the space $\mathcal{S}_{n,q}$ of length-$n$ multisets over a $q$-ary alphabet under the deletion metric, motivated by permutation channels in which ordering is completely lost and errors act only on symbol multiplicities. We develop two complementary directions. First, we present polynomial Sidon-type constructions over finite fields, in both projective and affine forms, yielding multiset $t$-deletion-correcting codes in the regime $t<q$ with redundancy $t+O(1)$, independent of the blocklength $n$. Second, we develop a geometric analysis of deletion balls in $\mathcal{S}_{n,q}$. Using difference-vector representations together with a diagonal reduction of the relevant generating functions, we derive exact generating-function expressions for individual deletion-ball sizes, exact formulas for the number of ordered pairs of multisets at a fixed distance $m$, and consequently for the average ball size. We prove that radius-$r$ deletion balls are minimized at extreme multisets and maximized at the most balanced multisets, giving a formal global characterization of extremal centers in $\mathcal{S}_{n,q}$. We further relate the maximal-ball value to the ideal difference set $S_{q-1}(r,r)$ through boundary truncation, obtaining explicit closed forms for $q=2$ and $q=3$. These geometric results lead to volume-based bounds on code size, including sphere-packing upper bounds, a boundary-aware analysis of code--anticode arguments, and Gilbert--Varshamov-type lower bounds governed by exact average ball sizes. For fixed $q$ and $t$, the resulting average-ball lower bound matches the interior-difference-set scale asymptotically.
- [40] arXiv:2603.18346 [pdf, ps, other]
-
Title: Large friction limit of the almost pressureless Euler-Poisson systemAuthors: Xin LiuSubjects: Analysis of PDEs (math.AP)
The goal of this work is to investigate the almost pressureless Euler-Poisson (EP) system with repulsive force in the large friction limit. The leading order equations in the limit are shown to be the hyperbolic-elliptic Keller-Segel (KS) system of consumption type. Under suitable assumptions on the initial data, we establish the unique global-in-time solutions to both the EP system and the KS system by establishing the global stability in the large friction limit. In particular, no singularity forms in the asymptotic limit. Moreover, the time asymptotic behavior of the one-dimensional KS flow with vacuum is also discussed.
- [41] arXiv:2603.18360 [pdf, ps, other]
-
Title: LEO-based Carrier-Phase Positioning for 6G: Design Insights and Comparison with GNSSAuthors: Harish K. Dureppagari, Harikumar Krishnamurthy, Chiranjib Saha, Xiaofeng Wang, Alberto Rico-Alvariño, R. Michael Buehrer, Harpreet S. DhillonComments: 7 pages, 6 figuresSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
The integration of non-terrestrial networks (NTN) into 5G new radio (NR) enables a new class of positioning capabilities based on cellular signals transmitted by Low-Earth Orbit (LEO) satellites. In this paper, we investigate joint delay-and-carrier-phase positioning for LEO-based NR-NTN systems and provide a convergence-centric comparison with Global Navigation Satellite Systems (GNSS). We show that the rapid orbital motion of LEO satellites induces strong temporal and geometric diversity across observation epochs, thereby improving the conditioning of multi-epoch carrier-phase models and enabling significantly faster integer-ambiguity convergence. To enable robust carrier-phase tracking under intermittent positioning reference signal (PRS) transmissions, we propose a dual-waveform design that combines wideband PRS for delay estimation with a continuous narrowband carrier for phase tracking. Using a realistic simulation framework incorporating LEO orbit dynamics, we demonstrate that LEO-based joint delay-and-carrier-phase positioning achieves cm-level accuracy with convergence times on the order of a few seconds, whereas GNSS remains limited to meter-level accuracy over comparable short observation windows. These results establish LEO-based cellular positioning as a strong complement and potential alternative to GNSS for high-accuracy positioning, navigation, and timing (PNT) services in future wireless networks.
- [42] arXiv:2603.18362 [pdf, ps, other]
-
Title: A Palatini Variational Formulation of Cosserat ElasticityAuthors: Lev SteinbergSubjects: Mathematical Physics (math-ph)
We present a Palatini-type geometric formulation of classical Cosserat elasticity in which the coframe and rotational connection are treated as independent variational fields. In contrast to conventional metric-based approaches, this formulation makes the underlying geometric structure explicit and separates translational and rotational degrees of freedom at the level of the action. The governing equations are obtained directly as Euler--Lagrange equations and yield the Cosserat force and moment balance laws without imposing compatibility constraints a priori. It is further shown that these balances arise naturally from invariance of the action under spatial translations and rotations via Noether's first theorem, providing a transparent variational interpretation of micropolar mechanics. A metric-free linearization recovers the classical strain and wryness measures and establishes equivalence with standard tensorial formulations under appropriate constitutive assumptions. The proposed framework clarifies the role of the connection field, which remains implicit in classical theories, and provides a unified geometric setting for Cosserat continua. In addition, it establishes the foundation for subsequent extensions in which torsion and curvature represent evolving defect densities and lead to mesoscopic theories of defect mechanics.
- [43] arXiv:2603.18367 [pdf, ps, other]
-
Title: Stabilization of highly nonlinear hybrid stochastic differential delay equations by periodically intermittent feedback controls based on discrete-time observations with asynchronous switchingComments: 22 pagesSubjects: Optimization and Control (math.OC)
In this paper, we will investigate the moment exponential stabilization of highly nonlinear hybrid stochastic differential delay equations. A periodically intermittent controller based on discrete time state observations with asynchronous switching is designed. The upper bound of observation period as well as the lower bound of the control width are all obtained. Firstly, the finiteness and boundedness of the $p$-th moment of the solution are established under a generalized Khasminskii-type condition. Then reasonable conditions of control function, drift and diffusion coefficients are presented. Then exponential stability as well as the convergence rate of controlled system are proved. Finally, an example is presented to interpret the conclusion, which also indicates that the proportion of control interval has positive relation to the convergence rate.
- [44] arXiv:2603.18369 [pdf, ps, other]
-
Title: Convergence of entropy-stable continuous summation-by-parts discretizations of symmetric hyperbolic conservation lawsComments: 26 pagesSubjects: Numerical Analysis (math.NA)
The Lax equivalence theorem guarantees convergence of stable and consistent discretizations for linear hyperbolic partial differential equations (PDEs). For nonlinear problems, however, stability and consistency alone do not generally guarantee convergence, even for smooth solutions, and existing convergence results typically rely either on projection-based error decompositions or on linearization arguments that do not directly extend to entropy-stable split-form discretizations. In particular, general convergence results for entropy-stable discretizations of hyperbolic PDEs are currently lacking, despite their widespread use. In this work, we prove convergence under smoothness assumptions on the exact solution and fluxes for entropy-stable split-form discretizations of scalar and symmetric hyperbolic systems with homogeneous flux functions within the continuous summation-by-parts (C-SBP) framework. The scalar inviscid Burgers equation is presented as a canonical example. The analysis is based on a stability-consistency argument that yields a nonlinear error evolution inequality whose solution provides an explicit upper bound on the numerical error. We show that, for sufficiently small mesh spacing, and for degree-$p$ C-SBP discretizations in $d$ spatial dimensions with $p>1+d/2$, this bound remains finite on any finite time interval and tends to zero as the mesh is refined, implying convergence despite the presence of local linear instabilities. The results help clarify the relationship between consistency, entropy stability, nonlinear error growth, and convergence for discretizations of nonlinear hyperbolic problems.
- [45] arXiv:2603.18384 [pdf, ps, other]
-
Title: The ergodic theory of SPDEs in a weak-noise regimeComments: 49 pagesSubjects: Probability (math.PR)
Consider a parabolic SPDE
\[
\partial_t u = \Delta u + \sigma(u)\eta,
\] on $(0\,,\infty)\times\mathbb{R}^d$, where $\eta$ is a centered, generalized Gaussian noise with $\text{Cov}[\eta(t\,,x)\,,\eta(s\,,y)]=\delta_0(t-s)\Lambda(x-y)$ for a tempered Borel measure $\Lambda$ that is positive definite and satisfies a mild weak-noise. The existence of invariant measures of versions of these types of SPDEs has been studied at great length, particularly in the ``weak-noise regime''; see for example Assing and Manthey \cite{AssingManthey2003}, Chen and Eisenberg \cite{ChenEisenberg2024}, Chen, Ouyang, Tindel, and Xia \cite{ChenOuyangTindelXia2024}, Eckmann and Hairer \cite{EckmannHairer2001}, Misiats and Stanzhytskyi \cite{MSY2020}, Yu Gu and Jiawei Li \cite{GuLi2020}, and Tessitore and Zabczyk \cite{TessitoreZabczyk1998}. Here, we characterize all annealed, ergodic, invariant measures for the above SPDE in the weak-noise regime. - [46] arXiv:2603.18392 [pdf, ps, other]
-
Title: A note on Fox colorings of virtual tanglesComments: 11 pagesSubjects: Geometric Topology (math.GT)
We study Fox colorings of tangle diagrams by $R=\mathbb{Z}$ or $\mathbb{Z}/p\mathbb{Z}$, where $p\geq3$ is an odd integer. For an $R$-colored $m$-string tangle diagram, the colors at the $2m$ boundary points form a vector $v\in R^{2m}$. We show that for classical tangle diagrams, such vectors are completely characterized by the alternating sum condition $\Delta(v)=0$. We then investigate how this restriction changes in the virtual setting. For $R=\mathbb{Z}$, the realizability of $v$ is determined by a divisibility condition on $\Delta(v)$. For $R=\mathbb{Z}/p\mathbb{Z}$, every vector is realizable by a virtual tangle diagram.
- [47] arXiv:2603.18394 [pdf, ps, other]
-
Title: Weighted Time Averages and Weak Convergence to Equilibrium in Quantum Integrable SystemsAuthors: Xinyu LiuSubjects: Dynamical Systems (math.DS)
This paper establishes a natural quantum counterpart of weak equilibration for statistical ensembles in integrable systems. For quantum systems with pure point spectrum, single-time expectation values under unitary evolution are typically quasiperiodic, and hence generally do not admit a pointwise limit as $t\to\infty$. To overcome this difficulty, we introduce a weighted time-averaging procedure and prove that the resulting averaged dynamics converge to the diagonal (dephased) equilibrium state. We further illustrate and validate the theoretical result through a three-spin quantum integrable model.
- [48] arXiv:2603.18403 [pdf, ps, other]
-
Title: Wavelet-based grid adaptation with consistent treatment of high-order sharp immersed geometriesComments: 24 pages, 13 figuresSubjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
Wavelet-based grid adaptation methods use multiresolution analysis for error estimation, offering a mathematically rigorous approach to adaptive grid refinement when solving Partial Differential Equations (PDEs). However, applying these methods to PDE discretizations with immersed geometries is challenging, as standard interpolating wavelet transforms lose consistency near non-grid-aligned boundary intersections. To address this, we propose a high-order interpolating wavelet transform adaptation strategy compatible with sharp immersed boundary and interface discretizations. The approach performs consistent high-order wavelet transforms on narrow intervals using a 1D polynomial extrapolation technique. To maintain high order, the technique incorporates boundary values and derivatives, which are evaluated from multivariate interpolating polynomials similar to those used in high order immersed finite difference discretizations. Consequently, the proposed approach maintains the wavelet order on any arbitrary smooth multidimensional domain, including near concave geometry sections. This approach enables grid adaptation in complex domains while robustly bounding the numerical error via a manually set refinement threshold. The algorithm's performance is validated on both static and dynamic problems, including the Navier-Stokes equations with moving boundaries and temporally adapting grid resolutions. The results demonstrate that the proposed method enables effective grid adaptation, establishing a robust, predictable relationship between a user-defined refinement threshold and the overall solution error, even for problems with complex, moving boundaries.
- [49] arXiv:2603.18405 [pdf, ps, other]
-
Title: Lower and upper bounds of joint $(f,δ)$-numerical radius functionsSubjects: Functional Analysis (math.FA)
In this study, the classical results on the joint numerical radius for $n$-tuples of Hilbert space operators are extended to the setting of the joint $(f,\delta)$-numerical radius. New and diverse contributions to this area are provided, including novel estimates for the lower and upper bounds of the $(f,\delta)$-numerical radius in the context of sectorial operators.
- [50] arXiv:2603.18410 [pdf, ps, other]
-
Title: On subgroups of Brin-Thompson groups $nV$Comments: 17 pages, 7 figures, we corrected a flaw in the withdrawn arXiv preprint 2209.11982, submittedSubjects: Group Theory (math.GR)
We prove that the Brin-Thompson group $nV$ is torsion locally finite for $ n \geq 1$ which is known only when $n = 1$, and $nV$ contains elements of infinite order admitting roots with arbitrary large order for $n \geq 2$ which is known to not be true for the $n = 1$ case.
- [51] arXiv:2603.18416 [pdf, ps, other]
-
Title: On the Finsler variational nature of autoparallels in metric-affine geometryComments: 21 pagesSubjects: Mathematical Physics (math-ph); General Relativity and Quantum Cosmology (gr-qc); Differential Geometry (math.DG)
In metric-affine geometry, autoparallels are generically non-variational, i.e., they are not extremals of any action integral. The existence of a parameter-invariant action principle for autoparallels is a longstanding open problem, which is equivalent to the so-called Finsler metrizability of the connection, i.e., to the fact that these autoparallels can be interpreted as Finsler geodesics. In this article, we address this problem for the class of torsion-free affine connections with vectorial nonmetricity, which includes, as notable subcases, Weyl and Schr\"odinger connections. For this class, we determine the necessary and sufficient conditions for the existence of a Finsler Lagrangian that metrizes the connection and depends only algebraically on it. In the cases where such a Finsler Lagrangian exists, we construct it explicitly. In particular, we show that a broad class of such connections is Finsler metrizable.
- [52] arXiv:2603.18434 [pdf, ps, other]
-
Title: Halfway between Heaven and HellAuthors: Richard MontgomeryComments: 12 pages, 2 figures, for CONM conference of May 2025; fits with recent arxiv pub of MoeckelSubjects: Dynamical Systems (math.DS)
We pose several questions for the classical N-body problem inspired by connections between the virial equation and the Jacobi-Maupertuis formulationof mechanics. We answer some.
- [53] arXiv:2603.18441 [pdf, ps, other]
-
Title: On divergence operators: Free space and vanishing chargesAuthors: Thierry De PauwSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
We use localized topologies to prove existence and optimal regularity results for the divergence equation $\mathrm{div} (v) = F$ in critical cases $v \in L_1(\Omega;\mathbb{R}^m)$ or $v \in C_0(\Omega;\mathbb{R}^m)$, i.e. we characterize those $F$ for which a solution $v$ exists whose norm is bounded by an appropriate norm of $F$. We assume $\Omega$ satisfies a Poincar\'e inequality or an extension property. We apply the general theory to give examples of admissible $F$ in each case.
- [54] arXiv:2603.18452 [pdf, ps, other]
-
Title: Pólya Thresholds GraphsSubjects: Information Theory (cs.IT); Social and Information Networks (cs.SI); Probability (math.PR)
We introduce the P\'olya threshold graph model and derive its stochastic and algebraic properties. This random threshold graph is generated sequentially via a two-color P\'olya urn process. Starting from an empty graph, each time step involves a draw from the urn that produces an indicator variable, determining whether a newly added node is universal (connected to all existing nodes and itself) or isolated (connected to no existing nodes). This construction yields a random threshold graph with an adjacency matrix that admits an explicit representation in terms of the draw sequence. Using the structure of the P\'olya draw process, we derive the exact degree distribution for any arbitrary node, including its mean and variance. Furthermore, we evaluate a distance-based decay centrality score and provide an explicit expression for its expectation. On the algebraic side, we explicitly characterize the Laplacian matrix of the random threshold graph, obtaining a closed-form description of its spectrum and corresponding eigenbasis. Finally, as an application of these structural results, we analyze discrete-time consensus dynamics on P\'olya threshold graphs.
- [55] arXiv:2603.18454 [pdf, ps, other]
-
Title: Fundamental Limits for Sensor-Based Control via the Gibbs Variational PrincipleComments: 6 pages, 1 figureSubjects: Optimization and Control (math.OC); Robotics (cs.RO); Systems and Control (eess.SY)
Fundamental limits on the performance of feedback controllers are essential for benchmarking algorithms, guiding sensor selection, and certifying task feasibility -- yet few general-purpose tools exist for computing them. Existing information-theoretic approaches overestimate the information a sensor must provide by evaluating it against the uncontrolled system, producing bounds that degrade precisely when feedback is most valuable. We derive a lower bound on the minimum expected cost of any causal feedback controller under partial observations by applying the Gibbs variational principle to the joint path measure over states and observations. The bound applies to nonlinear, nonholonomic, and hybrid dynamics with unbounded costs and admits a self-consistent refinement: any good controller concentrates the state, which limits the information the sensor can extract, which tightens the bound. The resulting fixed-point equation has a unique solution computable by bisection, and we provide conditions under which the free energy minimization is provably convex, yielding a certifiably correct numerical bound. On a nonlinear Dubins car tracking problem, the self-consistent bound captures most of the optimal cost across sensor noise levels, while the open-loop variant is vacuous at low noise.
- [56] arXiv:2603.18456 [pdf, ps, other]
-
Title: The Local Lifting Property, Property FD, and stability of approximate representationsComments: 75 pagesSubjects: Group Theory (math.GR); Geometric Topology (math.GT); K-Theory and Homology (math.KT); Operator Algebras (math.OA)
We establish Kirchberg's Local Lifting Property and Lubotzky-Shalom's Property FD for classes of finitely generated groups of central importance in geometric and combinatorial group theory: $3$-manifold groups, limit groups, and certain one-relator groups and right-angled Artin groups. We deduce that such groups are very flexibly stable, with respect to normalized unitarily invariant norms. The exposition is made accessible to operator algebraists and group theorists alike.
- [57] arXiv:2603.18458 [pdf, ps, other]
-
Title: Axis-Aligned Relaxations for Mixed-Integer Nonlinear ProgrammingSubjects: Optimization and Control (math.OC); Computational Geometry (cs.CG); Mathematical Software (cs.MS)
We present a novel relaxation framework for general mixed-integer nonlinear programming (MINLP) grounded in computational geometry. Our approach constructs polyhedral relaxations by convexifying finite sets of strategically chosen points, iteratively refining the approximation to converge toward the simultaneous convex hull of factorable function graphs. The framework is underpinned by three key contributions: (i) a new class of explicit inequalities for products of functions that strictly improve upon standard factorable and composite relaxation schemes; (ii) a proof establishing that the simultaneous convex hull of multilinear functions over axis-aligned regions is fully determined by their values at corner points, thereby generalizing existing results from hypercubes to arbitrary axis-aligned domains; and (iii) the integration of computational geometry tools, specifically voxelization and QuickHull, to efficiently approximate feasible regions and function graphs. We implement this framework and evaluate it on randomly generated polynomial optimization problems and a suite of 619 instances from \texttt{MINLPLib}. Numerical results demonstrate significant improvements over state-of-the-art benchmarks: on polynomial instances, our relaxation closes an additional 20--25\% of the optimality gap relative to standard methods on half the instances. Furthermore, compared against an enhanced factorable programming baseline and Gurobi's root-node bounds, our approach yields superior dual bounds on approximately 30\% of \texttt{MINLPLib} instances, with roughly 10\% of cases exhibiting a gap reduction exceeding 50\%.
- [58] arXiv:2603.18463 [pdf, ps, other]
-
Title: A Generalized Supercongruence of Z.-W. SunAuthors: Wei-Wei QiSubjects: Combinatorics (math.CO)
In this paper, we employ the Wilf-Zeilberger (WZ) method to prove a supercongruence conjecture posed by Z.-W. Sun: for any prime $p$, \begin{align*} \sum_{k=0}^{\frac{p-3}{2}}\frac{92k^2+61k+9}{(2k+1)64^k}{2k \choose k}{3k \choose k}{4k \choose 2k}\equiv 6p+16p^2\left(\frac{-1}{p}\right) \pmod{p^3}, \end{align*} where $\left(\frac{\cdot}{p}\right)$ denotes the Legendre symbol. Our proof relies on combinatorial identities and symbolic summation techniques.
- [59] arXiv:2603.18473 [pdf, ps, other]
-
Title: Modeling Adversarial Wildfires for Power Grid DisruptionSubjects: Optimization and Control (math.OC)
Electric power infrastructure faces increasing risk of damage and disruption due to wildfire. Operators of power grids in wildfire-prone regions must consider the potential impacts of unpredictable fires. However, traditional wildfire models do not effectively describe worst-case, or even high-impact, fire behavior. To address this issue, we propose a mixed-integer conic program to characterize an adversarial wildfire that targets infrastructure while respecting realistic fire spread dynamics. We design a wind-assisted fire spread set based on the Rothermel fire spread model and propose principled convex relaxations of this set, including a new relaxation of the inner product over Euclidean balls. We present test cases derived from the recent Park, Eaton, and Palisades fires in California and solve models to identify the minimum time-to-outage of multiple-element contingencies and the maximum load shed associated with a sequence of element outages caused by a realistic wildfire. We use the minimum time-to-outage values to screen contingencies and construct security-constrained optimal power flow models that promote operational resilience against wildfire.
- [60] arXiv:2603.18475 [pdf, ps, other]
-
Title: Resolving the Blow-Up: A Time-Dilated Numerical Framework for Multiple Firing Events in Mean-Field Neuronal NetworksSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
In large-scale excitatory neuronal networks, rapid synchronization manifests as {multiple firing events (MFEs)}, mathematically characterized by a finite-time blow-up of the neuronal firing rate in the mean-field Fokker-Planck equation. Standard numerical methods struggle to resolve this singularity due to the divergent boundary flux and the instantaneous nature of the population voltage reset. In this work, we propose a robust {multiscale numerical framework based on time dilation}. By transforming the governing equation into a dilated timescale proportional to the firing activity, we desingularize the blow-up, effectively stretching the instantaneous synchronization event into a resolved mesoscopic process. This approach is shown to be physically consistent with the {microscopic cascade mechanism} underlying MFEs and the system's inherent fragility. To implement this numerically, we develop a hybrid scheme that utilizes a {mesh-independent flux criterion} to switch between timescales and a semi-analytical ``moving Gaussian'' method to accurately evolve the post-blowup Dirac mass. Numerical benchmarks demonstrate that our solver not only captures steady states with high accuracy but also efficiently reproduces periodic MFEs, matching Monte Carlo simulations without the severe time-step restrictions associated with particle cascades.
- [61] arXiv:2603.18484 [pdf, ps, other]
-
Title: There are many 5-holesComments: 17 pages, 11 figuresSubjects: Combinatorics (math.CO)
Given a set P of points on the plane, a polygon with vertices in P is said to be empty if it contains no element of P in its interior. We show that every set of n points in general position on the plane determines at least $\Omega(n^{20/11})$ empty convex pentagons (also known as 5-holes). This result improves upon the previous bound of $\Omega(n\cdot(\log n)^{4/5})$ obtained by Aicholzer et al. [JCT A, 2020], and significantly narrows the gap with respect to the conjectured $\Omega(n^2)$ lower bound (which, if true, would be tight). Unlike some of the other works in this line of research, our proof does not require computer assistance.
- [62] arXiv:2603.18490 [pdf, ps, other]
-
Title: The minimax optimal convergence rate of posterior density in the weighted orthogonal polynomialsComments: 27 pages, 2 figures, 1 supplementary material (11 pages)Subjects: Statistics Theory (math.ST)
We investigate Bayesian nonparametric density estimation via orthogonal polynomial expansions in weighted Sobolev spaces. A core challenge is establishing minimax optimal posterior convergence rates, especially for densities on unbounded domains without a strictly positive lower bound. For densities bounded away from zero, we give sufficient conditions under which the framework of \cite{shen2001} applies directly. For densities lacking a positive lower bound, the equivalence between Hellinger and weighted $L_2$-norm distance fails, invalidating the original theory. We propose a novel shifting method that lifts the true density $g_0$ to a sequence of proxy densities $g_{0,n}$. We prove a modified convergence theorem applicable to these shifted densities, preserving the optimal rate. We also construct a Gaussian sieve prior that achieves the minimax rate $\varepsilon_n=n^{-p/(2p+1)}$ for any integer $p\geq1$. Numerical results confirm that our estimator approximates the true density well and validates the theoretical convergence rate.
- [63] arXiv:2603.18503 [pdf, ps, other]
-
Title: Computationally Efficient Density-Driven Optimal Control via Analytical KKT Reduction and Contractive MPCSubjects: Optimization and Control (math.OC); Multiagent Systems (cs.MA); Robotics (cs.RO)
Efficient coordination for collective spatial distribution is a fundamental challenge in multi-agent systems. Prior research on Density-Driven Optimal Control (D2OC) established a framework to match agent trajectories to a desired spatial distribution. However, implementing this as a predictive controller requires solving a large-scale Karush-Kuhn-Tucker (KKT) system, whose computational complexity grows cubically with the prediction horizon. To resolve this, we propose an analytical structural reduction that transforms the T-horizon KKT system into a condensed quadratic program (QP). This formulation achieves O(T) linear scalability, significantly reducing the online computational burden compared to conventional O(T^3) approaches. Furthermore, to ensure rigorous convergence in dynamic environments, we incorporate a contractive Lyapunov constraint and prove the Input-to-State Stability (ISS) of the closed-loop system against reference propagation drift. Numerical simulations verify that the proposed method facilitates rapid density coverage with substantial computational speed-up, enabling long-horizon predictive control for large-scale multi-agent swarms.
- [64] arXiv:2603.18504 [pdf, ps, other]
-
Title: Homogeneous Sobolev gradient flow of the length functionalSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
We study the gradient flow of the length functional on the space of planar immersed closed curves, where the gradient is taken with respect to a family of homogeneous Sobolev $H^1$-type Riemannian metrics depending on parameters $\lambda>0$ and $a\in\mathbb{R}$. The gradient can be written explicitly in terms of arc-length convolution with the periodic Green's function for the second-order operator associated with the $H^1$ metric, and then the gradient flow is a reparametrisation-invariant nonlocal ODE.
Working in the optimal low-regularity setting $W^{1,1}(\mathbb{S},\mathbb{R}^2)$, we show that the gradient is locally Lipschitz to obtain local well-posedness via the Picard--Lindel\"of theorem in Banach spaces. A time-reparametrisation reduces the analysis for general $a$ to the model case ${a=2}$, for which we obtain exponential decay of the length and global existence with uniform convergence in $W^{1,1}$ to a constant map. For $C^1$ immersed initial data we show that immersion is preserved for all time, and we further prove that if the initial curve bounds a convex set then convexity is also preserved by the flow. - [65] arXiv:2603.18506 [pdf, ps, other]
-
Title: Approximation by mixtures of multivariate Erlang distributionsAuthors: Hien Duy NguyenSubjects: Statistics Theory (math.ST)
We prove that finite multivariate Erlang mixture densities with a common rate parameter are dense in the class of probability densities on $\mathbb{R}_{+}^{d}$ that belong to $L^{p}$, for every dimension $d\in\mathbb{N}$ and every $1\le p<\infty$. The argument is constructive: the one-dimensional Sz\'asz--Mirakjan--Kantorovich operator yields Erlang mixture approximations, and its tensor product yields multivariate approximants with a common scale. We then obtain several quantitative consequences. These include compact-set uniform approximation bounds and, under local H\"older conditions of order $\alpha\in(0,1]$, rates of order $n^{-\alpha/2}$ as the common scale $1/n$ tends to zero, whole-domain convergence in weighted sup norms, weighted and unweighted $L^{p}$ rates, and explicit rates for finite mixtures indexed by the number of mixture components. In particular, if the approximating density is required to have at most $K$ mixture components, then on fixed compact cubes we obtain an algebraic rate of order $K^{-\alpha/(2d)}$; in global weighted sup norms we obtain the explicit algebraic component-count rate $K^{-\alpha/[2d(2d+\alpha)]}$; and for $1<p<\infty$ we obtain corresponding weighted $L^{p}$ component-count rates. The results strengthen the weak-approximation theory for multivariate Erlang mixture distributions and yield immediate corollaries for broader classes such as product-gamma mixtures. \noindent\textbf{Keywords:} multivariate Erlang mixtures; Erlang distributions; Sz\'asz--Mirakjan--Kantorovich operator; density approximation; weighted $L^{p}$ approximation; approximation rates.
- [66] arXiv:2603.18511 [pdf, ps, other]
-
Title: Norm-trace and Kloosterman sums in finite semi-simple algebrasAuthors: Daqing WanComments: 13 pagesJournal-ref: Frontiers in Combinatorics and Number Theory, Vol 1(2026), 74-88Subjects: Number Theory (math.NT)
An asymptotic formula with a square root error term is obtained for the number of elements with given trace and norm in a finite semisimple algebra over a finite field. This extends previous results from finite etale algebras (commutative case) to finite semi-simple algebras (non-commutative case). The main idea is to apply the Eichler formula for Gauss sums over the general linear group and the Hasse-Davenport relation to reduce the problem to the classical geometric case where the result is known to be true. As an application of this reduction, we also obtain a square root estimate for Kloosterman sums over semi-simple algebras. Similar square root estimates are discussed when norm-trace is replaced by product-trace, leading to a new conjecture on product-trace counting over finite semi-simple algebras.
- [67] arXiv:2603.18517 [pdf, ps, other]
-
Title: Spectral radius and rainbow $k$-factors in a bipartite graph familyComments: 13 pages, 0 figureSubjects: Combinatorics (math.CO)
Let $\mathcal{G}=\{G_1, G_2, \ldots , G_{kn}\}$ be a family of balanced bipartite graphs on the same vertex set $[2n]$. A rainbow $k$-factor of $\mathcal{G}$ is defined as a $k$-factor such that any two distinct edges come from different graphs in $\mathcal{G}.$ In this paper, we provide a tight sufficient condition in terms of the spectral radius for a family of balanced bipartite graphs $\mathcal{G}$ to contain a rainbow $k$-factor. Furthermore, we completely characterize the corresponding spectral extremal graph.
- [68] arXiv:2603.18527 [pdf, ps, other]
-
Title: Born-Series-Inspired Residual Metric for Learning-based PreconditionersComments: 18 pages, 7 figuresSubjects: Numerical Analysis (math.NA)
Loss functions for learning-based PDE preconditioners implicitly choose a \emph{metric} in which residuals are matched, yet most approaches still optimize an unpreconditioned Euclidean residual norm. For indefinite operators such as the high-frequency Helmholtz equation, this default metric can make both learning and iterative correction overly sensitive to near-resonant spectral components, while classical preconditioning succeeds precisely by reshaping the residual geometry. We show that the Born Series and shifted-Laplacian left preconditioning are linked by the identity $ I-G_\eta V_\eta = G_\eta A = L_\eta^{-1}A, $ which turns the reference Green operator $G_\eta$ into a natural Riesz-map residual metric $ R_\eta = G_\eta^\ast G_\eta $ and suggests measuring the physical residual via $ \|r\|_{R_\eta}=\|G_\eta r\|_2. $ Building on this viewpoint, we propose a \emph{Neural Preconditioned Born Series} (NPBS) iteration that replaces the scalar CBS relaxation with a residual-driven neural operator, together with a metric-matched Born-series-inspired loss $\mathcal{L}_{\mathrm{bs}}^{R_\eta}$. The framework is architecture-agnostic and supports fast $\mathcal{O}(N\log N)$ evaluation via FFT/DST/DCT. Numerical experiments on heterogeneous Helmholtz problems demonstrate the effectiveness of our method, and its advantage becomes more pronounced as the systems grow more ill-conditioned; we then extend the framework to other PDE classes, including convection--diffusion--reaction equations and linearized Newton systems for nonlinear PDEs, where it also yields substantial iteration reductions.
- [69] arXiv:2603.18529 [pdf, ps, other]
-
Title: Integral formulas and Hodge decomposition in the theory of generalized partial-slice mo-nogenic functionsComments: 26 pagesSubjects: Complex Variables (math.CV)
This paper explores generalized slice monogenic functions by introducing their operator symbols, representation formula, and integral formula. The study extends the Teodorescu transform to a broader class of theorems and inferences, providing new analytical tools for function theory in this setting. Additionally, the Hodge decomposition is established, providing a foundation for further research.
- [70] arXiv:2603.18531 [pdf, ps, other]
-
Title: On the univalence criteria for elliptic polyharmonic and polyelliptic-harmonic mappingsComments: 17 pagesSubjects: Complex Variables (math.CV)
In this paper, we first establish Landau-Bloch-type theorems for poly $(K,K')$-elliptic harmonic mappings, which are sharp in some given cases. Thereafter, we provide several coefficient bounds for $(K,K')$-elliptic and $K$-quasiregular polyharmonic mappings with bounded minimum distortion. Furthermore, using these coefficient bounds, we establish Landau-Bloch-type theorems for these mappings.
- [71] arXiv:2603.18536 [pdf, ps, other]
-
Title: A weighted cycle-localization inequalitySubjects: Combinatorics (math.CO)
In 1959, Erd\H{o}s and Gallai showed that every $2$-connected graph $G$ contains a cycle of length at least $\frac{2|E(G)|}{|V(G)|-1}$. This result was subsequently extended to weighted graphs by Bondy and Fan in 1991. A natural local variant of this problem arises by considering, for each edge $e\in E(G)$, the quantity $c(e)$, defined as the length of the longest cycle in $G$ containing $e$ (with $c(e)=2$ if $e$ is a bridge). Zhao and Zhang recently proved that for every graph $G$ on $n$ vertices satisfies $\sum_{e\in E(G)}\frac{1}{c(e)}\le \frac{n-1}{2}.$
In this note, we establish a weighted generalization of this inequality. For a weighted graph $(G,w)$ with positive edge weights, let $C_w(e)$ denote the maximum weight of a cycle containing $e$ (setting $C_w(e)=2w(e)$ if $e$ is a bridge). We prove that $$ \sum_{e\in E(G)}\frac{w(e)}{C_w(e)}\le \frac{n-1}{2}. $$ Our result can be viewed as a weighted local analogue of the Bondy-Fan theorem, thereby establishing a correspondence between the global and local perspectives. Furthermore, we present a broad class of graphs attaining equality and derive necessary conditions for equality. - [72] arXiv:2603.18542 [pdf, ps, other]
-
Title: A container theorem for general digraphs with forbidden subdigraphsAuthors: Jianxi LiuSubjects: Combinatorics (math.CO)
In a seminal work, K\"uhn, Osthus, Townsend, and Zhao used the hypergraph container method to determine the typical structure of oriented graphs and digraphs avoiding a fixed tournament or cycle. Their main tool, a container theorem for oriented graphs, does not directly extend to all digraphs due to the existence of counterexamples such as the double triangle $DK_3$. In this paper we prove a container theorem for general digraphs under a natural sparsity condition that, for the edge-weight parameter $a=2$, reduces to the oriented case, but for larger $a$ allows digraphs with a controlled density of 2-cycles. As applications, we obtain asymptotic counting results for $H$-free digraphs and describe the typical structure of digraphs avoiding a fixed digraph $H$ satisfying our condition. Our results unify and extend several previous results in the area.
- [73] arXiv:2603.18550 [pdf, ps, other]
-
Title: Borsuk-Ulam type theorem for Stiefel manifolds and orthogonal mass partitionsAuthors: Oleg R. MusinComments: 17 pagesSubjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Metric Geometry (math.MG)
A generalization of the Borsuk-Ulam theorem to Stiefel manifolds is considered. This theorem is applied to derive bounds on $d$ that guarantee--for a given set of $m$ measures in $\mathbb{R}^d$--the existence of $k$ mutually orthogonal hyperplanes, any $n$ of which partition each of the measures into $2^n$ equal parts. If $n=k$, the result corresponds to the bound obtained in [11], but with the stronger conclusion that the hyperplanes are mutually orthogonal.
- [74] arXiv:2603.18551 [pdf, ps, other]
-
Title: Learning Decision-Sufficient Representations for Linear OptimizationComments: 45 pages, 2 figures, includes appendixSubjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Machine Learning (cs.LG)
We study how to construct compressed datasets that suffice to recover optimal decisions in linear programs with an unknown cost vector $c$ lying in a prior set $\mathcal{C}$. Recent work by Bennouna et al. provides an exact geometric characterization of sufficient decision datasets (SDDs) via an intrinsic decision-relevant dimension $d^\star$. However, their algorithm for constructing minimum-size SDDs requires solving mixed-integer programs. In this paper, we establish hardness results showing that computing $d^\star$ is NP-hard and deciding whether a dataset is globally sufficient is coNP-hard, thereby resolving a recent open problem posed by Bennouna et al. To address this worst-case intractability, we introduce pointwise sufficiency, a relaxation that requires sufficiency for an individual cost vector. Under nondegeneracy, we provide a polynomial-time cutting-plane algorithm for constructing pointwise-sufficient decision datasets. In a data-driven regime with i.i.d.\ costs, we further propose a cumulative algorithm that aggregates decision-relevant directions across samples, yielding a stable compression scheme of size at most $d^\star$. This leads to a distribution-free PAC guarantee: with high probability over the training sample, the pointwise sufficiency failure probability on a fresh draw is at most $\tilde{O}(d^\star/n)$, and this rate is tight up to logarithmic factors. Finally, we apply decision-sufficient representations to contextual linear optimization, obtaining compressed predictors with generalization bounds scaling as $\tilde{O}(\sqrt{d^\star/n})$ rather than $\tilde{O}(\sqrt{d/n})$, where $d$ is the ambient cost dimension.
- [75] arXiv:2603.18553 [pdf, ps, other]
-
Title: Almost all $C_k$-free oriented graphs have $Θ(n)$ backwards edgesSubjects: Combinatorics (math.CO)
We prove a conjecture of K\"uhn, Osthus, Townsend and Zhao \cite{kuhn2017structure} stating that almost every $C_k$-free oriented graph on $n$ vertices has $\Theta(n)$ backwards edges in a transitive-optimal ordering. The same holds for $C_k$-free digraphs when $k$ is even. Our proof combines the hypergraph container method with a stability analysis and an inductive counting argument. As a byproduct, we also determine the typical structure of oriented graphs and digraphs that avoid the blow-up $C_{k}^t$, extending the main result of \cite{kuhn2017structure} to the blown-up setting.
- [76] arXiv:2603.18565 [pdf, ps, other]
-
Title: The typical structure of oriented graphs and digraphs with forbidden blow-up of transitive tournamentsAuthors: Jianxi LiuSubjects: Combinatorics (math.CO)
We study the typical structure of oriented graphs and digraphs that do not contain a blow-up T_{r+1}^t of a transitive tournament. For any integers r >= 2, t >= 1 and any real a in (3/2,2], we prove that almost all T_{r+1}^t-free oriented graphs and almost all T_{r+1}^t-free digraphs are r-partite. This extends the results of Kuhn, Osthus, Townsend and Zhao (2017) on forbidden transitive tournaments to their blow-ups, thereby confirming a generalised form of Cherlin's conjecture. Our proof combines the hypergraph container method, a weighted analogue of the Erdos-Stone theorem for digraphs, and a stability analysis for near-extremal T_{r+1}^t-free digraphs. The core of the proof is the interplay between the directed regularity lemma and an embedding lemma, which together provide a rigorous bridge from macroscopic extremal conditions to microscopic concrete structures.
- [77] arXiv:2603.18568 [pdf, ps, other]
-
Title: Some structural properties of mixed orthogonal arrays and their irredundancySubjects: Information Theory (cs.IT)
Mixed (asymmetric) orthogonal arrays (MOAs) generalize classical orthogonal arrays by allowing columns over different alphabets. However, their study requires very different structural tools than those used for symmetric orthogonal arrays (OAs), since several key features of the symmetric setting are no longer available in the mixed case, including Euclidean duality, a unique global index, and certain classical bounds. In this paper, we establish three structural results for mixed orthogonal arrays. First, we prove a Singleton-type upper bound and obtain a characterization of MDS and almost-MDS mixed orthogonal arrays. Second, we introduce a trace duality for $\mathbb{F}_q$-linear MOAs over $\prod_{i=1}^{s} \mathbb{F}_{q^{n_i}}$ and establish a correspondence with $\mathbb{F}_q$-linear error-block codes that determines the strength of the MOA via the dual distance of the associated error-block code. Finally, we develop a structural theory of irredundant mixed orthogonal arrays (IrMOAs), motivated by their role in the construction of $t$-uniform and absolutely maximally entangled (AME) quantum states. In the extremal case $t=\lfloor s/2\rfloor$, we prove that $\mathbb{F}_q$-linear IrMOAs with minimum index $1$ (yielding AME states of minimal support) are equivalent to $\mathbb{F}_q$-linear error-block MDS codes.
- [78] arXiv:2603.18574 [pdf, ps, other]
-
Title: Close fields, affine Springer fibers and fundamental lemmasComments: 26 pagesSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We prove a geometric local constancy theorem for affine Springer fibers in families of close local fields. Consequently, stable orbital integrals are locally constant in these families, and both the base change fundamental lemma and the standard endoscopic fundamental lemma transfer from characteristic zero to arbitrary positive characteristic.
- [79] arXiv:2603.18580 [pdf, ps, other]
-
Title: Furtherness in finite topological spacesSubjects: General Topology (math.GN)
In this paper, we introduce a novel distance-like notion of furtherness for finite topological spaces, demonstrating that every finite space can be viewed as an asymmetric pseudometric space. In particular, we show that every finite T0 space is asymmetric metric space. The topology induced by the forward balls coincides with the original topology of the space, while the backward balls induce the opposite topology. To capture essential information about each finite space, we construct a furtherness Matrix, which gives significant structural details of the finite space. As an application, we introduce the notion of center and radius of subsets of finite topological spaces.
- [80] arXiv:2603.18590 [pdf, ps, other]
-
Title: Sometimes nonparametrics beat parametrics, even when the model is rightComments: 18 pages, 2 figures; Statistical Research Report, Department of Mathematics, University of Oslo, October 1996, but now arXiv'd March 2026Subjects: Statistics Theory (math.ST)
A basic issue in both teaching of and practice of statistics is the interplay between modelling assumptions and inference performance. The general message conveyed is that stronger assumptions lead to better statistical performance of the relevant estimators, tests and confidence intervals, provided that these assumptions hold. On the other hand, fewer assumptions often lead to safer and more robust methods that are good also outside narrow conditions, but not quite as good as specialist methods that exploit such narrower conditions, if these are fulfilled.
This interplay is nicely illustrated in the context of density estimation, where parametric and nonparametric methods can be contrasted. The parametric ones have mean squared errors of size $O(n^{-1})$ in terms of sample size $n$ if the parametric model is right, but are not even consistent outside the model. The nonparametric methods are everywhere consistent and have mean squared errors of size $O(n^{-4/5})$ for broad classes of estimands.
The point we are making here is that this picture is not universally true! We show that a simple kernel density estimator can perform better than a directly estimated parametric density on the latter's home turf, for small sample sizes, in the sense of mean integrated squared error. Our main example is that of estimating an unknown normal density. In the process of developing and discussing this somewhat counter-intuitive and half-paradoxical example we touch on several tangential issues of interest, pertaining to exact small-sample analysis of density estimators. - [81] arXiv:2603.18605 [pdf, ps, other]
-
Title: Radiation damping of the soliton internal mode in 1D quadratic Klein-Gordon equationComments: 6 pages, 1 figureSubjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
We study long-time dynamics of small even perturbations of the soliton in 1D quadratic Klein-Gordon equation. The soliton possesses both an internal mode and the unstable mode. On a codimension-one manifold of fine-tuned initial data the instability is suppressed and the internal mode decays slowly by transferring energy into the continuum. We show that this decay and the associated nonlinear frequency shift are accurately captured by a cubic resonant approximation, with the damping rate determined by a Fermi golde rule-type coefficient. This provides a quantitative description of irreversible energy transfer from the internal mode to dispersive radiation.
- [82] arXiv:2603.18617 [pdf, ps, other]
-
Title: Periodicity and Rotation Number for Random Circle HomeomorphismsComments: 14 pages,3 figuresSubjects: Dynamical Systems (math.DS)
We study discrete-time random dynamical systems where each fibre map is an orientation-preserving homeomorphism of the circle. We prove that the existence of a random periodic cycle with period at least two implies that the random rotation number is rational almost surely. Moreover, in clear contrast with the deterministic setting, we demonstrate that a common fixed point for the fibre maps does not imply that the random rotation number is an integer. Conversely, we show that if the mean random rotation number is an integer, then the fibre maps have a fixed point with positive probability.
- [83] arXiv:2603.18619 [pdf, ps, other]
-
Title: Local Knots, $ν^+$-Sharp Knots, and Rational Slice GenusComments: 16 pages, 1 figureSubjects: Geometric Topology (math.GT)
Hom and Wu introduced the knot concordance invariant $\nu^{+}$ for knots in $S^{3}$ and proved that it gives a lower bound for the slice genus. Wu and Yang extended $\nu^{+}$ to knots in rational homology $3$-spheres, where it gives a lower bound for the rational slice genus, an analogue of the slice genus for knots in rational homology $3$-spheres. We call a knot $\nu^{+}$-sharp if this bound is realized as an equality.
An open question asks whether a local knot in a $3$-manifold $Y$, that is, a knot contained in a $3$-ball, can bound a surface of smaller genus in $Y\times I$ than in $S^{3}\times I$. Using the Heegaard Floer invariant $\nu^+$, we show that this does not occur for local knots arising from $\nu^+$-sharp knots: if $K\subset S^3$ is $\nu^+$-sharp and $Y$ is a rational homology $3$-sphere, then the induced local knot in $Y$ has rational slice genus equal to the slice genus of $K$. The proof proceeds by establishing an additivity result for the rational slice genus. - [84] arXiv:2603.18628 [pdf, ps, other]
-
Title: Robust mean-field games under entropy-based uncertaintySubjects: Optimization and Control (math.OC); Probability (math.PR)
In this article, we introduce a new class of entropy-penalized robust mean field game problems in which the representative agent is opposed to Nature. The agent's objective is formulated as a min-max stochastic control problem, in which Nature distorts the reference probability measure at an entropic cost. As a consequence, the distribution of the continuum of agents represented by the player is given by the effective measure induced by Nature. Existence of a mean-field game equilibrium is established via a Schauder fixed point argument. To ensure uniqueness, we introduce a joint flat anti-monotonicity and displacement monotonicity condition, extending the classical Lasry-Lions monotonicity framework. Finally, we present two classes of N -player games for which the mean-field game limit yields $\epsilon$-Nash equilibria.
- [85] arXiv:2603.18638 [pdf, ps, other]
-
Title: Holey Hyperbolic PolyformsAuthors: Summer Eldridge, Adithya Prabha, Aiden Roger, Cooper Roger, Érika Roldán, Rosemberg Toalá-EnríquezComments: 5 figures, 7 tablesSubjects: Combinatorics (math.CO); Algebraic Topology (math.AT)
A polyform is a planar figure formed by gluing congruent regular polygons along entire edges. We study polyforms in hyperbolic ${p,q}$-tessellations and the extremal problem of minimizing the number of tiles needed to realize exactly $h$ holes. Denoting this minimum by $g_{p,q}(h)$, we establish general lower and upper bounds, compute exact values in several small cases, and give a sufficient structural condition for a polyform to have $h$ holes and $g_{p,q}(h)$ tiles.
- [86] arXiv:2603.18643 [pdf, ps, other]
-
Title: The Geometry of Polycons and a Counterexample to Wachspress' ConjectureAuthors: Clemens BrüserComments: 17 pages, 5 figuresSubjects: Algebraic Geometry (math.AG); Numerical Analysis (math.NA)
Polycons, initially introduced by Wachspress in 1975 as a tool in finite element methods, are generalizations of polygons in that they allow conic boundary components. We are interested in the adjoint curve of a given polycon, i.e. the unique curve of minimal degree vanishing in the so-called residual arrangement. It was conjectured by Wachspress that under some regularity assumptions this curve does not vanish in the interior of its defining polycon. However, until recently the only class of polycons for which this was proven were convex polygons. We present a polycon bounded by three conics that constitutes a counterexample to Wachspress' conjecture.
The origin of this counterexample reveals some beautiful geometry of polycons. Replacing one degree two boundary component of a polycon with a line produces a new polycon. We show that the adjoint of the latter is a contact curve to the adjoint of the former. This naturally leads to the consideration of symmetric linear determinantal representations of adjoints, which lets us explicitly describe the fibers of the adjoint map in the case of polycons bounded by three conics. As a corollary we prove that generically the adjoint of a polycon bounded by three conics is smooth. - [87] arXiv:2603.18646 [pdf, ps, other]
-
Title: Constructing orientable and negative orientable sequences with asymptotically optimal periodSubjects: Combinatorics (math.CO)
Orientable sequences, periodic sequences in which any $n$-tuple appears at most once in either direction, were introduced in the early 1990s for use in certain position location applications; constructions and upper bounds on the period for the binary case were published by Dai et al. More recent work has focussed on $k$-ary sequences for arbitrary $k>2$; one method of construction involves negative orientable sequences, in which an $n$-tuple appears at most once in either the sequence or the negative of its reverse. In this paper we show how additional $n$-tuples can be added to one previously described approach for generating negative orientable sequences, resulting in new sequences with asymptotically optimal period. These sequences can in turn be used to generate orientable sequences, again with asymptotically optimal period.
- [88] arXiv:2603.18648 [pdf, ps, other]
-
Title: Birkhoff normal forms, Dirac brackets and symplectic reductionSubjects: Symplectic Geometry (math.SG); Dynamical Systems (math.DS)
Dirac brackets are widely used to study constrained Hamiltonian dynamics. In this paper we develop a Dirac-bracket approach to normal forms on momentum levels and relate it to symplectic reduction in the cases where reduction yields a (stratified) symplectic quotient. We consider a proper Hamiltonian $G$-action on a symplectic manifold $(M,\omega)$ with an equivariant momentum map $J$. We fix $\mu \in \mathfrak g^*$and work on $J^{-1}(\mu)$. For $G$-invariant Hamiltonians whose induced vector field on $J^{-1}(\mu)$ is tangent to a local $G_\mu$-slice, we show that the induced evolution on $J^{-1}(\mu)$ coincides with that defined by the Dirac bracket on a local second-class slice, and descends to the corresponding symplectic stratum of $J^{-1}(\mu)/G_\mu$.
As a main application we study Birkhoff normal forms near a relative equilibrium. When the quadratic part of a symmetric Hamiltonian is tangent to a local $G_\mu$-slice, a Birkhoff normal form can be constructed entirely on the manifold $J^{-1}(\mu)$, and it descends to a Birkhoff normal form for the reduced dynamics on the corresponding stratum, even when the reduced space is singular. We show that for a class of simple mechanical systems this condition holds automatically at a relative equilibrium. We illustrate the method on the double spherical pendulum.
Finally, we relate our results to Moser's constrained dynamics by identifying Moser's constrained vector field with the Dirac Hamiltonian vector field. We show that, if the reduced Hamiltonian is near-integrable on a stratum, then its pullback to the symplectic slice is near-integrable with respect to the Dirac bracket, and vice versa. In particular, this provides a practical route to KAM-type results for the constrained dynamics. - [89] arXiv:2603.18651 [pdf, ps, other]
-
Title: Proof of the Generalization of the Sawayama-Thébault TheoremAuthors: Miłosz PłatekSubjects: Metric Geometry (math.MG)
We prove two conjectures posed in 2016 concerning a generalization of the Sawayama-Th\'ebault Theorem and the Sawayama Lemma. We show that this generalized statement can be viewed in Laguerre geometry, which provides a natural framework for resolving the problem.
- [90] arXiv:2603.18653 [pdf, ps, other]
-
Title: Robust Discrete Pricing Optimization via Multiple-Choice Knapsack ReductionsAuthors: Zi Yuan Eric ShaoComments: 28 pages, 10 figures. Code available at this https URLSubjects: Optimization and Control (math.OC)
We study a discrete portfolio pricing problem that selects one price per product from a finite menu under margin and fairness constraints. To account for demand uncertainty, we incorporate a budgeted robust formulation that controls conservatism while remaining computationally tractable. By reducing the problem to a Multiple-Choice Knapsack Problem (MCKP), we identify structural properties of the LP relaxation, in particular upper-hull filtering and greedy filling over hull segments, that yield an exact solution method for the LP relaxation of the fixed-parameter subproblems. For the resulting fixed-parameter subproblems, we show that the integrality gap is bounded additively by a single-item hull jump, and that the corresponding relative gap decays as O(1/n) under standard boundedness and linear-growth assumptions. Numerical experiments on synthetic portfolios and a stylized retail case study with economically calibrated parameters are consistent with these bounds and indicate that robust margin protection can be achieved with less than 1 percent nominal revenue loss on the instances tested.
- [91] arXiv:2603.18661 [pdf, ps, other]
-
Title: On the simplest simply connected non-spin rational homology $7$-spheres that are not $2$-connectedAuthors: Fupeng XuComments: 21 pages. Comments are welcome!Subjects: Geometric Topology (math.GT); Algebraic Topology (math.AT)
We completely classify simply connected non-spin $7$-manifolds with only non-trivial middle homology groups $H_{2}\cong H_{4}\cong \mathbb{Z}\big/2$. They are referred to as $\mathcal{G}_{3}(\mathrm{Wu})$-like manifolds, and they have the minimal topological complexity among simply connected non-spin rational homology $7$-spheres that are not $2$-connected. We show that Milnor's $\lambda$-invariant establishes a bijection from oriented diffeomorphism classes of $\mathcal{G}_{3}(\mathrm{Wu})$-like manifolds to $\mathbb{Z}\big/7$, and each $\mathcal{G}_{3}(\mathrm{Wu})$-like manifold can be written as the connected sum of a standard $\mathcal{G}_{3}(\mathrm{Wu})$-like manifold and certain homotopy $7$-sphere.
- [92] arXiv:2603.18663 [pdf, ps, other]
-
Title: A Julia-Fatou Theory via Random Systems with Complete ConnectionsAuthors: Yoshiyuki EndoComments: 29 pagesSubjects: Dynamical Systems (math.DS)
We develop a Julia-Fatou theory for random dynamical systems of continuous self-maps on a compact metric space, driven by random systems with complete connections (RSCCs). This framework allows the selection rule to depend on the evolving state and, in general, on the entire past, going beyond the Markovian graph directed Markov system setting. For each state we define Julia, Fatou, and kernel Julia sets via equicontinuity of admissible composition families, and we introduce a pathwise and skew product viewpoint.
Under natural compactness and continuity assumptions on the RSCC, we study the associated averaged dynamics on the product space and prove Cooperation Principle I: if the kernel Julia set is empty at every state and the admissible maps are open, then the iterates of the adjoint transition operator are equicontinuous on the whole space of probability measures, and along almost every admissible path the fiberwise Julia set has zero mass for any given finite measure. We further identify a new phenomenon specific to RSCCs, namely emptiness jumps of kernel Julia sets along admissible state trajectories, and provide criteria excluding such jumps, including discreteness of the state space and a propagation mechanism under phi-irreducibility. Several examples, motivated by reinforcement and feedback mechanisms, illustrate both the jump phenomenon and the applicability of the Cooperation Principle I in non-Markovian settings. - [93] arXiv:2603.18674 [pdf, ps, other]
-
Title: $t$-tone colorings of outerplanar and Halin graphsSubjects: Combinatorics (math.CO)
A $t$-tone $k$-coloring of a graph $G$ assigns a set of $t$ distinct colors from $\{1, \dots, k\}$ to each vertex so that vertices at distance $d$ share fewer than $d$ common colors. The $t$-tone chromatic number of $G$ is the minimum $k$ such that $G$ has a $t$-tone $k$-coloring. This paper investigates the $t$-tone coloring of two specific subclasses of planar graphs: subcubic outerplanar graphs and Halin graphs. We provide a complete characterization of the $2$-tone chromatic number for subcubic outerplanar graphs and establish a sharp upper bound for their $3$-tone chromatic number. We then turn to Halin graphs and prove that every cubic Halin graph of order $n \ge 6$ is $2$-tone $7$-colorable. Moreover, we derive an upper bound on the $2$-tone chromatic number for Halin graphs with arbitrary maximum degree.
- [94] arXiv:2603.18675 [pdf, ps, other]
-
Title: The Lee-Yang property of isotropic vector ferromagnets and lattice fieldsAuthors: Yuri KozitskySubjects: Mathematical Physics (math-ph)
The Lee-Yang property of a given spin model means that its partition function has purely imaginary zeros as a function of an external magnetic field. A similar property is also used in the theory of quantum anharmonic crystals and quantum lattice fields. A number of powerful analytic methods of the mathematical theory of such models employ this property. Its suitable generalization is used in the theory of models of isotropic $D$-dimensional spins (rotors) or $D$-component quantum lattice fields. So far, the (generalized) Lee-Yang property has been established only for two-dimensional isotropic models. In this work, we prove that isotropic spin and field models living on $\mathds{Z}$ have this property for all even $D$.
- [95] arXiv:2603.18686 [pdf, ps, other]
-
Title: A note on compact almost Yamabe solitonsAuthors: Ramesh MeteComments: 8 Pages. Comments are most welcomeSubjects: Differential Geometry (math.DG)
In this paper, we investigate almost Yamabe solitons on compact Riemannian manifolds without boundary of dimension greater than or equal to two. We provide some sufficient conditions for which the defining conformal vector field associated to a compact almost Yamabe soliton is a Killing vector field.
- [96] arXiv:2603.18696 [pdf, ps, other]
-
Title: Local Morphology of the Partition GraphAuthors: Fedor B. LyudogovskiyComments: 13 pagesSubjects: Combinatorics (math.CO)
For a fixed integer $n$, let $G_n$ be the graph whose vertices are the partitions of $n$, with adjacency defined by a single elementary transfer of a cell in the Ferrers diagram. In a previous paper, the clique complex $K_n = \mathrm{Cl}(G_n)$ was studied from a global homotopy-theoretic point of view. This paper studies instead the local combinatorics of the graph $G_n$ itself. For a partition $\lambda=(s_1^{m_1},\dots,s_t^{m_t})$, where $s_1>\dots>s_t>0$, we describe the admissible transfers from $\lambda$ in terms of its block structure. This yields a bipartite graph $B(\lambda)$ obtained from $K_{t,t+1}$ by deleting two explicitly determined families of edges, corresponding to singleton support blocks and unit support gaps. We prove that the graph induced on the neighborhood of $\lambda$ in $G_n$ is isomorphic to the line graph $L(B(\lambda))$. As consequences, we obtain an explicit formula for the degree of $\lambda$, a classification of all cliques through $\lambda$, and a formula for the maximal dimension of a simplex of $K_n$ containing $\lambda$. These local invariants are shown to depend only on an ordered binary datum associated with the support of $\lambda$. The results provide a local structural description of the partition graph and a combinatorial language for the study of larger-scale features of $G_n$.
- [97] arXiv:2603.18698 [pdf, ps, other]
-
Title: Pareto points in growing dimensionsSubjects: Probability (math.PR)
We consider $n$ independent random points uniformly distributed in the $d_n$-dimensional unit cube and study Pareto points, that is, points that do not coordinatewise dominate any other point. We identify the critical growth rate of $d_n$ at which a phase transition occurs: below this threshold, the number of non-Pareto points diverges in probability, whereas above it there are asymptotically no such points. At criticality, the number of non-Pareto points converges in distribution to a Poisson random variable. We further describe their asymptotic spatial distribution in terms of convergence of random point measures.
We also investigate points that dominate exactly $r$ other points and establish analogous phase transitions. For $r=1$, the critical dimension is the same as for non-Pareto points, whereas for every fixed $r\geq 2$ it is different, but, surprisingly, common to all such $r$. - [98] arXiv:2603.18703 [pdf, other]
-
Title: Stabilization of Integral Difference Equations by solving a Corona problemSubjects: Optimization and Control (math.OC)
This paper proposes a stabilizing state-feedback control law for vector-valued state systems with a scalar control input, governed by a general class of integral difference equations that incorporate both pointwise and distributed input delays. The proposed controller is expressed through integral operators acting on the state and input histories over a finite time horizon. Closed-loop stability is established by characterizing the controller kernels as solutions to a convolution equation arising from a Corona problem. The existence of such solutions is ensured under a suitable spectral stabilizability condition, and a least-square procedure is implemented to find them numerically. The approach extends existing IDE stabilization results to more general settings, allowing for arbitrary numbers of pointwise delays affecting both the state and input, without requiring commensurability assumptions.
- [99] arXiv:2603.18704 [pdf, ps, other]
-
Title: Cohomology of dilute Temperley--Lieb algebrasComments: 12 pages. Accepted for publication in Canadian Mathematical BulletinSubjects: Algebraic Topology (math.AT)
Dilute Temperley--Lieb algebras are variants of Temperley--Lieb algebras arising in statistical mechanics in the study of solvable lattice models. In this paper we prove that the (co)homology of dilute Temperley--Lieb algebras vanishes in all positive degrees.
- [100] arXiv:2603.18706 [pdf, other]
-
Title: A mathematical framework for time-delay reservoir computing analysisAuthors: Anh-Tuan Clabaut (L2S), Jean Auriol (L2S), Islam Boussaada (L2S, DISCO, IPSA), Guilherme Mazanti (DISCO, L2S)Subjects: Optimization and Control (math.OC); Machine Learning (stat.ML)
Reservoir computing is a well-established approach for processing data with a much lower complexity compared to traditional neural networks. Despite two decades of experimental progress, the core properties of reservoir computing (namely separation, robustness, and fading memory) still lack rigorous mathematical foundations. This paper addresses this gap by providing a control-theoretic framework for the analysis of time-delay-based reservoir computers. We introduce formal definitions of the separation property and fading memory in terms of functional norms, and establish their connection to well-known stability notions for time-delay systems as incremental input-to-state stability. For a class of linear reservoirs, we derive an explicit lower bound for the separation distance via Fourier analysis, offering a computable criterion for reservoir design. Numerical results on the NARMA10 benchmark and continuous-time system prediction validate the approach with a minimal digital implementation.
- [101] arXiv:2603.18708 [pdf, ps, other]
-
Title: More Shattering NewsSubjects: Combinatorics (math.CO)
An ordered variant of the well-known set theory concept of shattering was introduced by Anstee, R\'onyai, and Sali. In this paper, we prove several new results related to order shattering. Given a family $\mathcal F$ of subsets of $[n]$, we show that $\mathrm{osh}(\mathcal F)$, the family of all sets order shattered by $\mathcal F$, coincides with $T(\mathcal F)$, the family obtained from $\mathcal F$ by the down-shift operation. We then give a full characterization of all sets that can be order shattered by some $\ell$-Sperner family. Finally, we completely determine $\mathrm{osh}\left(\binom{[n]}{a}\cup\binom{[n]}{b}\right)$.
- [102] arXiv:2603.18724 [pdf, ps, other]
-
Title: Bass numbers of local cohomology modules at the first and last non-vanishing levelsComments: 9 pages, comments are well come!Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
Let $R $ be a commutative Noetherian ring, $\mathfrak{a}$ be an ideal of $R$ and $M$ be a finitely generated $R$-module. In this paper, we study the Bass numbers $\{\mu^i(\mathfrak{p}, H^j_{\mathfrak{a}}(M))\} $ of local cohomology modules with respect to an ideal $\mathfrak{p}\in Spec(R)$ in each of the following cases:
$i\in \{ 0, 1, 2\}$ and $j= grade_{\mathfrak{a}}(M),$
$R$ is regular and $i\in\{ ht(\mathfrak{p}), ht(\mathfrak{p})- 1\}$ and $j= cd_{\mathfrak{a}}(M)$, the cohomological dimension of $M$ with respect to $\mathfrak{a}$. - [103] arXiv:2603.18727 [pdf, ps, other]
-
Title: Non-linear in-band interference cancellation on base of conjugate gradients methodComments: 7 pages, 4 figures, 1 tableSubjects: Optimization and Control (math.OC)
This paper investigates one possible solution to the problem of self-interference cancellation (SIC) arising in the design of in-band full-duplex (IBFD) communication systems. Self-interference cancellation is performed in the digital domain using multilayer nonlinear models adapted via gradient-based optimization. The presence of local minima and saddle points during the adaptation of multilayer models limits the direct use of second-order methods due to the indefiniteness of the hessian matrix. The mixed Newton method can address the saddle-point issue; however, it requires significant computational resources. In this work, a conjugate gradient (CG) method constructed on the base of the mixed Newton method (MNM) is proposed. The method exploits information from mixed second-order derivatives of the loss function without explicit computation the full hessian matrix. As a result, the proposed approach achieves a higher convergence rate than first-order methods while requiring significantly lower computational resources than conventional second-order methods when adapting multilayer nonlinear self-interference cancellers in full-duplex communication systems.
- [104] arXiv:2603.18728 [pdf, ps, other]
-
Title: Reconstructions of Single Pixel X-Ray Transforms with Applications in Nuclear-Disarmament VerificationComments: 13 pages, 5 figuresSubjects: Numerical Analysis (math.NA)
In nuclear arms control and disarmament processes, it is crucial to determine whether an object is a nuclear weapon or not without revealing sensitive information about it. At the MIT: Laboratory for Nuclear Security and Policy, such a nuclear verification method was developed, showcasing a transmission-based approach [1]. This method's essential part rests on a mathematical operation, the Single-Pixel X-Ray Transform: a cone of X-rays transmits an object and the remaining intensity is measured with a single-pixel detector. This transformation and the recovery of objects from dimensionless single-pixel measurements more generally has only been analyzed to a limited extent. In this work, we investigate some of the Single Pixel X-Ray Transform's mathematical properties. More specifically, we show that the Single Pixel X-ray transform is non-linear, continuous, Fr\'echet-differentiable and convex. We also introduce a method of reconstructing an object based only on a finite number of dimensionless, noisy Single Pixel X-Ray Transform measurement values. This method is based on Douglas-Rachford splitting and uses total variation denoising. We present an implementation for this method, focusing on rotational symmetric objects, as they allow the use of a one-dimensional direct total variation denoising algorithm [2].
- [105] arXiv:2603.18730 [pdf, other]
-
Title: Scheduling Ground-Based Telescope Observations with Uncertain NightsAuthors: Thomas Rahab Lacroix (G-SCOP, G-SCOP\_GROG), Pierre Lemaire (G-SCOP\_GROG), Anne-Marie Lagrange (LIRA), Julien Milli (IPAG), Nadia Brauner (G-SCOP)Comments: International Workshop on Planning & Scheduling for Space (IWPSS 2025), 2025, Toulouse, FranceSubjects: Optimization and Control (math.OC)
The observation of celestial objects is a fundamental activity in astronomy. Ground-based and space telescopes are used to gather electromagnetic radiation from space, allowing astronomers to study a wide range of celestial objects and phenomena, such as stars, planets, galaxies, and black holes. The European Southern Observatory (ESO) charges each night 83 kEUR (Milli et al. 2019), so the schedules of the telescopes are really important in order to optimize every second. Ground-based telescopes are affected by meteorological conditions, such as clouds, wind, and atmospheric turbulence. Accurate scheduling of observations in the presence of such uncertainties can significantly improve the efficiency of telescopes use and support from automated tools is highly desirable. In this paper, we study a mathematical approach for scheduling ground-based telescope observations under an uncertain number of clear nights due to uncertain weather and atmospheric conditions. The model considers multiple targets, uncertain number of nights, and various observing constraints. We demonstrate the viability and effectiveness of an approach based on stochastic optimization and reactive strategy comparing it against other methods.
- [106] arXiv:2603.18732 [pdf, ps, other]
-
Title: Neumann problem with a discontinuous nonlinearityJournal-ref: Demonstr. Math. 59 (2026), 14 ppSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
This study is devoted to proving the existence of weak solutions for a nonlinear elliptic problem with Neumann-type boundary data. The problem is driven by a discontinuous power nonlinearity and a nonsmooth prescribed data. Additionally, we aim to derive an estimate that proves the well-posedness of the problem. This estimate serves as an evidence for the uniqueness of the existing solution when the boundary term is ``smooth".
- [107] arXiv:2603.18745 [pdf, ps, other]
-
Title: Second-Order Conditions for Infinite-Horizon Semilinear Parabolic Control Problems without Tikhonov RegularizationSubjects: Optimization and Control (math.OC)
We consider semilinear parabolic optimal control problems subject to Neumann boundary conditions, control constraints, and an infinite time horizon. The control constraints are pointwise in time, but they can be pointwise or integral in the space variable. Crucially, the optimal control problem does not include a Tikhonov regularization in the cost functional, which provides a major difficulty in the extension of the classical finite-horizon theory to infinite-horizon optimal control problems. As a consequence of our findings, we establish a sufficient second-order optimality condition and prove that local optimal states of the finite-horizon problems approximate local optimal states to the infinite-horizon problem as the horizon tends to infinity.
- [108] arXiv:2603.18748 [pdf, ps, other]
-
Title: Invariance principles for rough walks in random conductancesComments: 53 pagesSubjects: Probability (math.PR)
We establish annealed and quenched invariance principles for random walks in random conductances lifted to the $p$-variation rough path topology, allowing for degenerate environments and long-range jumps. The proof is probabilistic and structural: convergence is established by decoupling the martingale lift from terms involving the corrector, specifically the quadratic covariations and the corrector iterated integrals. In the annealed regime, It\^o-type techniques ensure that the corrector related terms converge to deterministic processes in the $p$-variation norm in probability. In the quenched regime, reversibility is replaced by the existence of a stationary potential for the corrector with $2+\epsilon$ moments. We also provide a construction of this potential from spatial moment bounds on the corrector and mild volume regularity, which may be of independent interest.
- [109] arXiv:2603.18751 [pdf, ps, other]
-
Title: Simis and packing properties of Alexander dual of connected idealsComments: 14 Pages. Comments are welcomeSubjects: Commutative Algebra (math.AC); Combinatorics (math.CO)
In this article, we investigate when the ordinary and symbolic powers of the Alexander dual of connected ideals of graphs coincide, and provide a complete classification of all such graphs. Furthermore, we prove Conforti--Cornu\`ejols conjecture for this class of ideals.
- [110] arXiv:2603.18754 [pdf, ps, other]
-
Title: The red-blue-yellow matching problemSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We consider the red-blue-yellow matching problem: given two natural numbers $k_R$, $k_B$ and a graph $G$ whose edges are colored red, blue or yellow, the goal is to find a matching of $G$ that contains exactly $k_R$ red edges and exactly $k_B$ blue edges, and is of maximum cardinality subject to these constraints. This is a natural generalization of the well known red-blue matching problem, whose complexity status is unknown: although a randomized polynomial-time algorithm exists, a deterministic algorithm has remained elusive for nearly four decades. The best known deterministic approach to the red-blue matching problem, due to Yuster (2012), gives an additive approximation. In this paper, we show a similar result for the red-blue-yellow matching problem, giving a polynomial-time deterministic algorithm that, under natural assumptions, finds a matching satisfying the color requirements almost exactly and has cardinality within 3 of the optimal solution. Our algorithm is a mix of classic linear programming techniques and ad hoc existence results on restricted classes of graphs such as paths and cycles. As a key ingredient, we prove a curious topological property of plane curves, which is a strengthened version of a result by Grandoni and Zenklusen (2010) in the related context of budgeted matchings.
- [111] arXiv:2603.18755 [pdf, ps, other]
-
Title: Spreading of pathological proteins through brain networks: a case study for Alzheimers diseaseComments: 23 pages, 1 figure, 4 tablesSubjects: Analysis of PDEs (math.AP)
Mathematical modeling offers a valuable approach to understanding Alzheimers disease (AD) given its complexity, unknown causes, and lack of effective treatments. Models, once validated, offer a powerful tool to test medical hypotheses that are otherwise difficult to verify directly. Our focus here is on elucidating the spread of misfolded tau protein, a critical hallmark of AD alongside Abeta protein, taking also into account the synergistic interaction between the two proteins. We consider distinct modelling choices, all employing network frameworks for protein evolution, differentiated by their network architecture and diffusion operators. By carefully comparing these models against clinical tau concentration data, gathered through advanced multimodal analysis techniques, we show that certain models replicate better the proteins dynamics. This investigation underscores a crucial insight: in modeling complex pathologies, the precision with which the mathematical framework is chosen is crucial, especially when validation against clinical data is considered decisive.
- [112] arXiv:2603.18759 [pdf, ps, other]
-
Title: Reverse Mathematics and Dimension of PosetsSubjects: Logic (math.LO); Combinatorics (math.CO)
Order dimension theory measures the complexity of partially ordered sets by quantifying how far they are from being linearly ordered. In this paper we study classical bounding results for order dimension within the framework of reverse mathematics. We focus on principles asserting that the dimension of a poset can be bounded in terms of the dimension of subposets obtained by removing chains or points, denoted by $\mathsf{DBi_n}$, $\mathsf{DBc_n}$, and $\mathsf{DB_p}$. We prove that, over $\mathsf{RCA}_0$, both $\mathsf{DBi_n}$ and $\mathsf{DBc_n}$ are equivalent to $\mathsf{WKL}_0$. To analyze $\mathsf{DB_p}$, we introduce a natural strengthening $\mathsf{DB^+_p}$ and show that both $\mathsf{DB_p}$ and $\mathsf{DB^+_p}$ are provable from $\mathsf{WKL}_0$ and from $\mathsf{I}\Sigma^0_2$, while $\mathsf{B}\Sigma^0_2$ does not suffice to prove $\mathsf{DB^+_p}$. The latter result is obtained by showing that the statement \lq\lq $\mathsf{DB^+_p}$ is computably true\rq\rq\ is equivalent to $\mathsf{I}\Sigma^0_2$.
- [113] arXiv:2603.18763 [pdf, ps, other]
-
Title: The triality of the twisted discrete trace formula for PGSO(8)Subjects: Number Theory (math.NT)
In this paper, we establish the triality twisted trace formula for PGSO(8), including its discrete part, and obtain a coarse classification of its automorphic representations by combining the properties of triality. By comparing the standard trace formula for G_2 with the triality twisted trace formula for PGSO(8), we derive a corresponding coarse classification for automorphic representations of G_2. Specifically, we construct the triality-twisted elliptic endoscopic data for PGSO(8), and the elliptic endoscopic data for G_2. Based on these constructions and the general framework of trace formulas, we establish the relevant trace formulas. Utilizing the triality property of PGSO(8), we obtain a coarse classification of its automorphic representations, which in turn yields a coarse classification for those of G_2.
- [114] arXiv:2603.18768 [pdf, ps, other]
-
Title: Classification of (uncolored) bonded knots and linksSubjects: Geometric Topology (math.GT)
We present a systematic classification of uncolored bonded knots with singularity number at most seven. Bonded knots provide a topological model for closed protein chains with intramolecular bridges, such as disulfide bonds. Following the tradition of knot tabulation, we describe a procedure based on the generation of planar graphs, their conversion into bonded knot diagrams, and the use of the Yamada polynomial together with brute-force Reidemeister moves to distinguish topological knotted types.
- [115] arXiv:2603.18770 [pdf, ps, other]
-
Title: Existence Theory for a Cross-Diffusion System with Independent Drifts: Mixing DynamicsComments: 46 PagesSubjects: Analysis of PDEs (math.AP)
We consider a cross-diffusion system for which the diffusion of each species is governed solely by the aggregate density through a pressure law of logarithmic or fast diffusion type. The model is set over a one dimensional bounded interval, equipped with no-flux boundary conditions, and accommodates for the presence of potential drifts which are allowed to differ across each species. We establish the global existence of solutions without having to assume the total mixing of solutions. As a consequence, we give a full resolution of the PDE systems recently studied by the authors and by Elbar--Santambrogio, by allowing a general class of initial data with finite bounded variation, with no further structural assumptions on their supports.
- [116] arXiv:2603.18772 [pdf, ps, other]
-
Title: On single-frequency asymptotics for the Maxwell-Bloch equations: mixed statesComments: 15 pages. arXiv admin note: substantial text overlap with arXiv:2603.17888Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
We consider damped driven Maxwell-Bloch equations which are finite-dimensional approximation of the damped driven Maxwell-Schr\"odinger equations. The equations describe a single-mode Maxwell field coupled to a two-level molecule. Our main result is the construction of solutions with single-frequency asymptotics of the Maxwell field in the case of quasiperiodic pumping. The asymptotics hold for solutions with harmonic initial values which are stationary states of averaged equations in the interaction picture. We calculate all harmonic states and analyse their stability. The calculations rely on the Bloch-Feynman gyroscopic representation of von Neumann equation for the density matrix. The asymptotics follow by application of the averaging theory of the Bogolyubov type.
- [117] arXiv:2603.18776 [pdf, ps, other]
-
Title: Physics-grounded Mechanism Design for Spectrum Sharing between Passive and Active UsersSubjects: Analysis of PDEs (math.AP); Systems and Control (eess.SY)
We propose a physics-grounded mechanism design for dynamic spectrum sharing that bridges the gap between radiometric retrieval constraints and economic incentives. We formulate the active and passive users coexistence problem as a Vickrey-Clarke-Groves (VCG) auctions mechanism, where the radiometer dynamically procures ``quiet'' time-frequency tiles from active users based on the marginal reduction in retrieval error variance. This approach ensures allocative efficiency and dominant-strategy incentive compatibility (DSIC). To overcome the computational intractability of exact VCG on large grids, we derive an approximation algorithm by using the monotone submodularity induced by the radiometer equation. AMSR-2-based simulations show that the approach avoids high-cost tiles by aggregating low-cost spectrum across time and frequency. In an interference-trap case study, the proposed framework reduces procurement costs by about 60% over a fixed-band baseline while satisfying accuracy targets.
- [118] arXiv:2603.18777 [pdf, ps, other]
-
Title: Analysis of Convergence for the IPA-AC MethodComments: 29 pages, 7 figures, 6 tablesSubjects: Numerical Analysis (math.NA)
The Improved Partial Area-Analytical Calculation (IPA-AC) method represents a leading meshfree discretization strategy for peridynamic models, distinguished by its rigorous geometric treatment of boundary intersections via dual corrections of integration weights and quadrature points. Despite its empirical success in suppressing boundary-induced geometric errors, a systematic theoretical characterization of its convergence behaviors under distinct scaling limits has remained elusive. This work establishes a unified convergence framework for the IPA-AC method applied to both scalar and tensor kernels. By leveraging the Lax Equivalence Theorem, we explicitly derive error estimates that reveal the method's performance across three critical limiting regimes. The theoretical analysis, substantiated by numerical validation, demonstrates that: (1) for a fixed horizon $\delta$, the method achieves robust second-order convergence $\mathcal{O}(h ^{2})$ with respect to the mesh size $h$; (2) for a fixed mesh, the discretization error scales as $\mathcal{O}(\delta^{-2})$, indicating a sensitivity to the nonlocal length scale; and (3) the method does not satisfy the Asymptotic Compatibility (AC) condition. These findings clarify that while the IPA-AC method offers superior accuracy for simulating fixed nonlocal models, it requires a sufficiently large horizon-to-mesh ratio to mitigate intrinsic discretization errors when approximating the local limit.
- [119] arXiv:2603.18783 [pdf, ps, other]
-
Title: Index Estimates for CMC and Minimal Surfaces with Capillary BoundaryAuthors: Luca SeemungalComments: 15 pages, with in addition 9 pages of appendixSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
We prove that the index of a CMC surface with capillary boundary is bounded from above linearly by its genus, number of boundary components, and branching order, and also by some Willmore-type energy involving the area, mean curvature, contact angle, and ambient curvature. The main auxiliary theorem of more general interest is a comparison of the second variations of area and energy at a branched conformal map with boundary. In the appendix we derive the various second variation formulae for area, enclosed-volume, and wetting functionals away from critical points and for non-admissible variations, the purpose of which is to rather comprehensively fill a gap in the literature.
- [120] arXiv:2603.18790 [pdf, ps, other]
-
Title: Silting theory and derived base changeAuthors: Riku FushimiComments: 9 pagesSubjects: Representation Theory (math.RT)
For finite-dimensional algebras over a field, Koenig and Yang established a bijection between silting complexes and simple-minded collections in the bounded derived category, with further contributions by many authors in various settings. In this paper, we work over a commutative complete local noetherian ring $(R,\m,k)$ rather than over a field and establish a bijection in this more general setting.
As an application of this generalization, we construct a bijection between silting complexes over a noetherian $R$-algebra $\Lambda$ and silting complexes over $\Lambda\ten^\LL_RS$ for any morphism of commutative complete local noetherian rings $(R,\m,k)\to(S,\n,k)$. This result generalizes some known results on silting complexes over noetherian algebras. - [121] arXiv:2603.18800 [pdf, ps, other]
-
Title: The Legend of Masaki Kashiwara and Algebraic AnalysisAuthors: Kiyoshi TakeuchiComments: to appear in Bull. Amer. Math. Soc., 30 pagesSubjects: Algebraic Geometry (math.AG)
This survey paper offers a concise introduction to Kashiwara's work on $\mathcal{D}$-modules, microlocal analysis and related subjects. In this way, we explain his role in the development of algebraic analysis.
- [122] arXiv:2603.18802 [pdf, ps, other]
-
Title: Simplest cubic fields with small class numberComments: 22 pagesSubjects: Number Theory (math.NT)
Let $m\in\mathbb{Z}$ be an integer and $L_m=\mathbb{Q}(\alpha)$ be the simplest cubic field with class number $h_m$ and conductor $\mathfrak{f}_m$ where $\alpha$ is a root of $f_m(X)=X^3-mX^2-(m+3)X-1$. Let $\mathcal{O}_{L_m}$ be the ring of integers of $L_m$. By using PARI/GP, we confirm that if $[\mathcal{O}_{L_m}:\mathbb{Z}[\alpha]]=1$ $($resp. $3$, $27$$)$, i.e. $m^2+3m+9=\mathfrak{f}_m$ $($resp. $3\mathfrak{f}_m$, $27\mathfrak{f}_m$$)$, then there exist exactly $581$ (resp. $80$, $142$) integers $m\geq -1$ such that $h_m\leq 1000$. We also show that if $-1\leq m\leq 4\cdot 10^6$, then $h_m<16$ holds for $137=26+31+10+10+36+21+3$ integers $m$. More precisely, there exist $26$ $($resp. $31$, $10$, $10$, $36$, $21$, $3$$)$ integers $m$ with $-1\leq m\leq 4\cdot 10^6$ such that $h_m=1$ $($resp. $3$, $4$, $7$, $9$, $12$, $13$$)$ which are given explicitly.
- [123] arXiv:2603.18803 [pdf, ps, other]
-
Title: Minimum covering by triples, quadruples and quintuples with minimum excessSubjects: Combinatorics (math.CO)
This article explores a new type of optimal covering of a complete graph by small cliques of different sizes, namely the minimum covering with minimum excess. In particular, the minimum size of a covering by triples and quadruples with minimum excess is determined. Moreover, some generalisation onto minimum coverings by triples, quadruples and quintuples with minimum excess is presented.
- [124] arXiv:2603.18805 [pdf, ps, other]
-
Title: A Proof of a Conjecture of Móricz and Nagy on Rational-Value SumsAuthors: Jing HuangComments: 11 pagesSubjects: Combinatorics (math.CO)
M\'oricz and Nagy introduced the problem of maximizing the number of $r$-element subsets with rational sums in an $n$-element set of irrational numbers, and showed that it is equivalent to an extremal zero-sum problem. They determined the exact maximum in several cases. For the remaining range, they presented an explicit construction of an $n$-element set of irrational numbers containing exactly $m\binom{n-m}{r-1}$ such subsets, where $m=\lfloor n/r\rfloor$. They conjectured that this construction is always optimal for any $1<r<n$. In this paper, we confirm that conjecture. Our proof combines an order-theoretic antichain argument for zero-sum subsets with a sharp maximization of the resulting binomial expressions. As a consequence, we determine exactly the maximum number of $r$-term zero-sum subsequences in sequences of $n$ nonzero integers.
- [125] arXiv:2603.18808 [pdf, ps, other]
-
Title: Fat distributions with Reeb directions need not be complex contactAuthors: Javier Martínez-AguinagaComments: 23 pagesSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG); Symplectic Geometry (math.SG)
It is well known that every complex contact $3$-manifold, when regarded as a real manifold, gives rise to a fat $(4,6)$-distribution that admits two Reeb directions. Nonetheless, it was an open question whether the converse was true. This was not known even at the level of germs. The present work completely answers this question in the negative. We construct the first example of a fat distribution with two Reeb directions that does not support a complex contact structure anywhere, not even locally nor up to diffeomorphism. This result answers an open question by A. Bhowmick.
In the second part of this work we prove a stronger result. By applying suitable $C^\infty$-perturbations to our construction, we show that the space of complex-contact germs has infinite codimension within the space of fat $(4,6)$-distribution germs with Reeb directions. - [126] arXiv:2603.18809 [pdf, ps, other]
-
Title: Watanabe-Strogatz Invariants in the Liouvillian Dynamics of Coupled Phase Oscillators via the Koopman FrameworkComments: 20 pages, 3 figuresSubjects: Dynamical Systems (math.DS)
In dynamical systems, invariants, i.e., constants of motion conserved along the trajectory, play important roles in characterizing the system's dynamical behavior. Recent applications of the Koopman operator framework to nonlinear dynamical systems have provided new insights into the invariants. For a certain class of globally coupled phase oscillators, which serve as models for various synchronization phenomena, Watanabe and Strogatz proved the existence of N-3 invariants in N oscillator systems. In this study, we derive these invariants from an operator-theoretic perspective by exploiting the relation between Liouvillian (Perron-Frobenius) and Koopman descriptions of the dynamics. Exploiting a simple multiplicative property of functions under the action of the Liouvillian and Koopman operators, we explicitly construct a family of functions whose ratios yield the invariants of the underlying dynamics. Our analysis successfully reproduces the full set of N-3 invariants known in Watanabe-Strogatz theory, and offers an alternative spectral perspective. We demonstrate this approach for a well-studied class of phase models, including the Ermentrout-Kopell, pairwise Kuramoto, and higher-order Kuramoto models.
- [127] arXiv:2603.18819 [pdf, ps, other]
-
Title: Measure preserving maps with bounded total variationSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
Consider a piecewise affine Lipschitz map $\phi : \Omega \to \mathbb R$, where $\Omega \subset \mathbb R^d$ is an open set, and assume that $x \mapsto x + t \nabla \phi(x)$ is injective for almost every $t > 0$. In (J.-G. Liu, R.~L. Pego, \emph{Rigidly breaking potential flows and a countable Alexandrov theorem for polytopes}, Pure Appl. Anal., \textbf{7}(4), 2025) the authors conjecture that every such $\phi$ must be locally convex. We prove the result assuming additionally $\nabla \phi \in BV_{loc}(\Omega)$, for a more general class of measure preserving maps.
- [128] arXiv:2603.18832 [pdf, ps, other]
-
Title: Mahler's method and Carlitz logarithmAuthors: Guillaume EstienneSubjects: Number Theory (math.NT)
In 2007, Papanikolas established that if Carlitz logarithms of algebraic functions are linearly independent over the rational function field, then they are algebraically independent. The purpose of the present paper is to provide a new proof of this theorem using Mahler s method instead of the theory of t-motives. We revisit and extend the approach developed by Denis, which enabled him in 2006 to prove this result in the particular case of the logarithm of elements in Fq(theta) via a Mahler system.
- [129] arXiv:2603.18837 [pdf, ps, other]
-
Title: Model Order Reduction of Cerebrovascular Hemodynamics Using POD_Galerkin and Reservoir Computing_based ApproachComments: 24 pages, 15 figuresSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
We investigate model order reduction (MOR) strategies for simulating unsteady hemodynamics within cerebrovascular systems, contrasting a physics-based intrusive approach with a data-driven non-intrusive framework. High-fidelity 3D Computational Fluid Dynamics (CFD) snapshots of an idealised basilar artery bifurcation are first compressed into a low-dimensional latent space using Proper Orthogonal Decomposition (POD). We evaluate the performance of a POD-Galerkin (POD-G) model, which projects the Navier-Stokes equations onto the reduced basis, against a POD-Reservoir Computing (POD-RC) model that learns the temporal evolution of coefficients through a recurrent architecture. A multi-harmonic and multi-amplitude training signal is introduced to improve training efficiency. Both methodologies achieve computational speed-ups on the order of 10^2 to 10^3 compared to full-order simulations, demonstrating their potential as efficient and accurate surrogates for predicting flow quantities such as wall shear stress.
- [130] arXiv:2603.18840 [pdf, ps, other]
-
Title: Robust Beamforming for Practical RIS-Aided RSMA Systems with Imperfect SIC under Transceiver Hardware ImpairmentsJournal-ref: IEEE Transactions on Vehicular Technology, 2026Subjects: Information Theory (cs.IT)
Reconfigurable intelligent surface (RIS)-aided rate-splitting multiple access (RSMA) systems have demonstrated remarkable potential in enhancing spectral efficiency. However, most existing works rely on ideal hardware, which is unrealistic.In practical deployments, RIS elements suffer from amplitude-phase coupling, where transceivers are subject to hardware impairments (HWI), and successive interference cancellation (SIC) in RSMA networks cannot achieve perfect interference elimination for decoded signals.To address these limitations, we investigate a robust beamforming design for RIS-aided RSMA systems under practical hardware imperfections. We first characterize the asymptotic signal-to-noise ratio (SNR) of practical RIS systems when the beamformer is designed based on ideal RIS model, thereby theoretically quantifying the resulting performance degradation. We then derive a closed-form expression for the distortion noise power induced by transceiver HWI, while also accounting for residual interference due to imperfect SIC. Building on these insights, we establish a comprehensive system model that jointly incorporates all hardware-induced impairments and formulate a multiuser sum rate maximization problem. To solve the resulting non-convex optimization problem, we develop an efficient block variable relaxation algorithm. Simulation results verify that the proposed scheme significantly outperforms conventional non-orthogonal multiple access (NOMA) approaches, and achieves superior robustness compared with benchmark schemes neglecting HWI, imperfect SIC, or amplitude-phase coupling.
- [131] arXiv:2603.18842 [pdf, ps, other]
-
Title: Decorated Local Systems and Character VarietiesComments: 73 pages, 2 figuresSubjects: Algebraic Geometry (math.AG); Mathematical Physics (math-ph); Exactly Solvable and Integrable Systems (nlin.SI)
The focus of this paper is the study of the moduli space of representations of fundamental groupoids of surfaces $\Sigma$ with boundaries with values in $G:=GL_n(\mathbb C)$. In absence of marked points on the boundary, this moduli space is realized in many equivalent ways: as the moduli space of linear local systems on $\Sigma$, as the moduli space of representations of the fundamental groupoid $\Pi_1 (\Sigma)$, as the space of monodromy data and as character variety. By adding marked points to the boundary of $\Sigma$ in order to capture irregular singularities, the Betti moduli space has been generalized in several ways by many authors. Although it is clear that these different approaches describe essentially the same spaces of mathematical objects, exactly how they fit together has not yet been established. Motivated by the broader programme of establishing an explicit and conceptually coherent relationship between the existing approaches to the study of the decorated Betti moduli space, in this paper, we develop a categorical framework that allows for a systematic definition of the
\dfn{decorated Betti moduli spaces} space, in the presence of higher order poles, designed to specialize to the different points of view encountered in the literature. - [132] arXiv:2603.18844 [pdf, ps, other]
-
Title: The multi-objective portfolio model for oil and gas exploration drilling projects selection and its operator-enhanced NSGA-II based solutionSubjects: Optimization and Control (math.OC)
Drilling investment is pivotal to operational planning in oil and gas (O\&G) exploration. Conventional deployment relies heavily on fragmented expert assessments of geological and economic factors, with limited integration ability of information. As the tool of portfolio show strong potential for mitigating uncertainty and selecting superior drilling plans, this study develops a multi-objective mean-variance portfolio model that accounts for geological-parameter uncertainty, enabling an effective risk-return trade-off and optimal selection. First, the probabilistic distribution of geological-parameters for prospect-list projects is obtained through expert-elicited priors. And considering the selection of the drilling projects as a portfolio, an optimization model is formulated jointly to describe the return and risk of short-term plan, under different constraints. Second, an improved OE-NSGA-II algorithm is proposed specifically for this model, in which (1) a directional crossover operator is designed to embed improving directions in objective space-derived from dominance and objective differences-into recombination, and (2) a structure-aware mutation operator is designed to prioritize high-utility bit flips via probabilistic sampling with feasibility repair, thus improving the search ability for superior Pareto solutions. Finally, using the case of 2023 exploration drilling deployment for verification, and then apply the validated method to the 2024 deployment to support decision-making. The results indicate that the proposed approach offers a reusable solution for drilling portfolio optimization in O\&G exploration.
- [133] arXiv:2603.18847 [pdf, ps, other]
-
Title: Maximising homomorphism counts between digraphsSubjects: Combinatorics (math.CO); Probability (math.PR)
We prove a Sidorenko-type inequality for directed trees: for every oriented tree $T$ on $k$ vertices and every finite directed graph $G$, the homomorphism count hom$(T,G)$ is bounded above by the maximum of the two pure star counts hom$(S_{0,k-1},G)$ and hom$(S_{k-1,0},G)$. In other words, among all directed trees on $k$ vertices, the pure in- and out-stars maximise the homomorphism count into host digraphs. The proof is purely combinatorial, based on an iterative leaf-reallocation scheme combined with H\"{o}lder's inequality. We further investigate the corresponding homomorphism order on directed trees, discuss refinements via tail-truncation and pointwise bounds for rooted host graphs, and record several consequences, e.g. for random directed graph models and local weak limits, where the inequality reduces tree statistics to controlled pure in- and out-degree moments.
- [134] arXiv:2603.18855 [pdf, ps, other]
-
Title: BeamAgent: LLM-Aided MIMO Beamforming with Decoupled Intent Parsing and Alternating Optimization for Joint Site Selection and PrecodingSubjects: Information Theory (cs.IT); Machine Learning (cs.LG); Signal Processing (eess.SP); Systems and Control (eess.SY)
Integrating large language models (LLMs) into wireless communication optimization is a promising yet challenging direction. Existing approaches either use LLMs as black-box solvers or code generators, tightly coupling them with numerical computation. However, LLMs lack the precision required for physical-layer optimization, and the scarcity of wireless training data makes domain-specific fine-tuning impractical. We propose BeamAgent, an LLM-aided MIMO beamforming framework that explicitly decouples semantic intent parsing from numerical optimization. The LLM serves solely as a semantic translator that converts natural language descriptions into structured spatial constraints. A dedicated gradient-based optimizer then jointly solves the discrete base station site selection and continuous precoding design through an alternating optimization algorithm. A scene-aware prompt enables grounded spatial reasoning without fine-tuning, and a multi-round interaction mechanism with dual-layer intent classification ensures robust constraint verification. A penalty-based loss function enforces dark-zone power constraints while releasing optimization degrees of freedom for bright-zone gain maximization. Experiments on a ray-tracing-based urban MIMO scenario show that BeamAgent achieves a bright-zone power of 84.0\,dB, outperforming exhaustive zero-forcing by 7.1 dB under the same dark-zone constraint. The end-to-end system reaches within 3.3 dB of the expert upper bound, with the full optimization completing in under 2 s on a laptop.
- [135] arXiv:2603.18867 [pdf, ps, other]
-
Title: A divided difference identity for a class of multiple integralsAuthors: Michael S. FloaterSubjects: Numerical Analysis (math.NA)
We derive an identity that relates a class of multiple integrals involving Vandermonde polynomials to divided differences. Alternatively the identity can be viewed as an integral formula for divided differences. As part of the derivation we show that both sums of pure partial derivatives and mixed partial derivatives of Vandermonde polynomials are zero, which might be of independent interest.
- [136] arXiv:2603.18878 [pdf, ps, other]
-
Title: Chain recurrent shifts on treesSubjects: Functional Analysis (math.FA)
We characterize when a weighted backward shift is chain recurrent on the $\ell^p$, $1\leq p<\infty$ and $c_0$ spaces of a directed tree.
- [137] arXiv:2603.18889 [pdf, ps, other]
-
Title: A new optimal control algorithm for the Keller-Segel problemSubjects: Optimization and Control (math.OC)
In this work we introduce a new optimal control algorithm for the Keller-Segel chemo-attraction system, where both boundary and distributed controls are considered and both are associated with introducing/removing the amount of chemical substances in the system. The key idea of our approach is to design the optimal control algorithm after discretizing the state problem system, which is done using an upwind finite volume scheme in space and a semi-implicit finite difference in time. Then, the discrete optimal control is approximated identifying the gradient of the reduced discrete cost via the discrete adjoint scheme. Finally, to minimize the reduced cost functional, we use a gradient descent type method (Adam scheme). Moreover, several numerical results are presented to illustrate the efficiency of the proposed approach.
- [138] arXiv:2603.18890 [pdf, ps, other]
-
Title: On the $S$-version of some special elements in commutative ringsSubjects: Commutative Algebra (math.AC)
In this paper, we introduce and study the $S$-versions of several fundamental elements in commutative rings. Specifically, for a commutative ring $R$ with identity and a multiplicative subset $S$, we define and investigate the notions of $S$-invertible, $S$-idempotent, $S$-von Neumann regular, and $S$-$\pi$-regular elements. We establish their basic properties, interrelations, and structural inclusions, and use them to characterize classes of rings. Special attention is given to the uniform $S$-counterparts of Boolean and $\pi$-regular rings, where we provide examples distinguishing these from their classical analogues. Several transfer results under homomorphisms and direct product constructions are established, and connections with existing $S$-counterparts (uniformly $S$-von Neumann regular, uniformly $S$-Artinian, etc.) are highlighted. Throughout the paper, we point out several open problems, offering directions for further research.
- [139] arXiv:2603.18900 [pdf, ps, other]
-
Title: Optimal Bilinear control restricted to the three-dimensional chemo-repulsion model with potential productionAuthors: Francisco Guillen-Gonzalez, Exequiel Mallea-Zepeda, Maria A. Rodriguez-Bellido, Elder J. Villamizar-RoaSubjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
In this paper we study the following three-dimensional parabolic-parabolic chemo-repulsion model with potential production, logistic reaction and bilinear control, defined in $Q=(0,T)\times\Omega$: \begin{equation*}\label{eq0} \left\{ \begin{array}{rcl} \partial_tu-\Delta u&=&\nabla\cdot(u\nabla v)+r\,u-\mu\, u^p,\\ \partial_tv-\Delta v+v&=&u^p+f\,v\, 1_{\Omega_c}, \end{array} \right. \end{equation*} where $1< p<+\infty$, $r,\mu\geq 0$, and $f=f(t,x)$ is the control function acting on a subdomain $(0,T)\times \Omega_c $, with $\Omega_c\subseteq\Omega$. This system is endowed with initial and non-flux boundary conditions. We prove the existence of global weak solutions of this controlled problem when $f\in L^{5/2}(0,T;L^{5/2}(\Omega_c))$, analyzing the role of the diffusion and the logistic terms to get energy estimates. In particular, the logistic competition term $\mu \, u^p$ is necessary only for $p>5/3$. Secondly, if $f\in L^{5/2}(0,T;L^{5/2+}(\Omega_c))$, any weak solution $(u,v)$ satisfying the regularity criterion $u\in L^{5p/2}(Q)\cap L^{10/3}(Q)$ is in fact more regular, arriving in particular to $u,\nabla v\in L^5(Q)$ for $p\le 2$ and $u,\nabla v\in L^{5(p-1)}(Q)$ for $p> 2$ which is the critical regularity to solve a related optimal bilinear control problem.
In fact, this setting let us to prove the existence of global optimal solutions, and the differentiability of the control-to-state mapping via the Implicit Function Theorem in Banach spaces. Then, we can identify the gradient of the (reduced) cost with respect to the control solving the adjoint problem
by duality.
In particular, we derive first-order necessary optimality conditions for local optimal solutions. - [140] arXiv:2603.18903 [pdf, ps, other]
-
Title: Optimal strategies for controlled growth in metastable Kawasaki dynamicsSubjects: Optimization and Control (math.OC); Mathematical Physics (math-ph); Probability (math.PR)
In this paper, we develop a Markov decision process (MDP) formulation for the low--temperature metastable Ising model evolving according to Kawasaki dynamics in a finite box of the two--dimensional square lattice. We analyze how an external controller can guide the system to the all--occupied state by appropriately adding and moving particles at specified moments in time. To this end, we construct a reduced MDP on a constrained family of configurations having a single cluster, a regime where particle attachment is more likely than detachment. We investigate two reward structures: one that depends solely on the time to reach the target configuration, and another that incorporates action--dependent energy costs. Within this MDP framework, we characterize the exact optimal policies under both reward structures, which turn out to have a different behavior: while a purely efficiency--based criterion promotes the growth from the boundary centers of the cluster, an energy--based reward function favours the growth at the corners of the cluster.
- [141] arXiv:2603.18905 [pdf, ps, other]
-
Title: A Stabilized Mortar Method for Discontinuities in Geological Media with Non-Conforming GridsComments: 31 pages, 17 figuresSubjects: Numerical Analysis (math.NA)
Accurate numerical simulation of fault and fracture mechanics is critical for the performance and safety assessment of many subsurface systems. The discretized representation of discontinuity surfaces and the robust simulation of their frictional contact behavior still represent major challenges. In this work, we use the mortar method to enforce the contact constraints and allow for non-conformity around the discontinuity surface, with a set of Lagrange multipliers playing the role of interface tractions. The formulation combines piecewise linear displacements with piecewise constant multipliers defined on one side of the fault interface (the non-mortar side). This choice for the Lagrange multipliers has a number of advantages from practical and computational viewpoints, but violates the inf-sup stability constraint. In order to stabilize the proposed formulation, we develop a traction-jump stabilization term to be added to the constraint equations. We use a macro-element analysis to derive an algorithmic strategy that automatically evaluates the proper scaling of the stabilization, without requiring any additional user-selected parameter. Numerical experiments demonstrate that the proposed formulation not only restores the inf-sup stability condition, but also recovers stable traction profiles in the presence of finer non-mortar sides, where other inf-sup-stable formulations fail. The proposed method is finally used to simulate non-linear contact conditions in non-conforming corner-point grids typically used in industrial geological applications.
- [142] arXiv:2603.18915 [pdf, ps, other]
-
Title: An Ore-type Theorem for Oriented Discrepancy of Hamilton CyclesComments: 14 pagesSubjects: Combinatorics (math.CO)
Oriented graph discrepancy problems focus on finding specific subgraphs within a given oriented graph $G$ that contain a significant number of edges in one direction. This concept was first introduced by Gishboliner, Krivelevich, and Michaeli, and has since been further investigated by Freschi and Lo [J. Combin. Theory, Ser. B 169 (2024)], who gave a tight lower bound for the discrepancy of Hamilton cycles in terms of the minimum degree of $G$. Furthermore, they raised the problem of extending such results to Ore-type conditions. Here, an Ore-type condition refers to the minimum degree-sum of non-adjacent vertices, formally defined as: $\sigma_2(G)=\min\{d(x)+d(y)\mid x, y \in V(G) \text{ and } xy \notin E(G)\}$. In this paper, we address this question by showing that for every sufficiently large oriented graph $G$, if $\sigma_2(G)\geq n$, then $G$ contains a Hamilton cycle $C$ with at least $\max\{n/2,\sigma_2(G)/2-o(n)\}$ edges in one direction. Moreover, this result is asymptotically tight.
- [143] arXiv:2603.18929 [pdf, ps, other]
-
Title: On the Duality of Coverings in Hilbert GeometrySubjects: Metric Geometry (math.MG); Computational Geometry (cs.CG)
We prove polarity duality for covering problems in Hilbert geometry. Let $G$ and $K$ be convex bodies in $\mathbb{R}^d$ where $G \subset \operatorname{int}(K)$ and $\operatorname{int}(G)$ contains the origin. Let $N^H_K(G,\alpha)$ and $S^H_K(G,\alpha)$ denote, respectively, the minimum numbers of radius-$\alpha$ Hilbert balls in the geometry induced by $K$ needed to cover $G$ and $\partial G$. Our main result is a Hilbert-geometric analogue of the K\"{o}nig-Milman covering duality: there exists an absolute constant $c \geq 1$ such that for any $\alpha \in (0,1]$, \[
c^{-d}\,N^H_{G^{\circ}}(K^{\circ},\alpha)
~ \leq ~ N^H_K(G,\alpha)
~ \leq ~ c^{d}\,N^H_{G^{\circ}}(K^{\circ},\alpha), \] and likewise, \[
c^{-d}\,S^H_{G^{\circ}}(K^{\circ},\alpha)
~ \leq ~ S^H_K(G,\alpha)
~ \leq ~ c^{d}\,S^H_{G^{\circ}}(K^{\circ},\alpha). \] We also recover the classical volumetric duality for translative coverings of centered convex bodies, and obtain a new boundary-covering duality in that setting.
The Hilbert setting is subtler than the translative one because the metric is not translation invariant, and the local Finsler unit ball depends on the base point. The proof involves several ideas, including $\alpha$-expansions, a stability lemma that controls the interaction between polarity and expansion, and, in the boundary case, a localized relative isoperimetric argument combined with Holmes--Thompson area estimates. In addition, we provide an alternative proof of Faifman's polarity bounds for Holmes--Thompson volume and area in the Funk and Hilbert geometries. - [144] arXiv:2603.18930 [pdf, ps, other]
-
Title: Well-posedness for the $\bar\partial$-problem relevant to the AKNS spectral problemSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
The well-posedness for the Dbar problem associated with the AKNS spectral problem is considered. In general, the relevant Dbar equation with normalization condition is quivalent to an integral equation, where the kernel involves exponents $\mathrm{e}^{\pm2ikx}$ with physical variable $x$ as a parameter. We develop a decomposition technique to control the convergence of the integral by defining a new integral operator $RT_{\mathbb{C}}(k;x)$. The small norm condition of the operator is obtained to show that there exists a unique solution for the Dbar problem. Moreover, the Dbar dressing method is extended to construct the AKNS spectral problem and the potential construction is presented via the Dbar data. Prior estimates are given to show that the map from the Dbar data to the AKNS potential is Lipschitz continuous.
- [145] arXiv:2603.18932 [pdf, ps, other]
-
Title: On Topological André-Quillen homology of Eilenberg-MacLane spectraAuthors: Cyril BarlasovComments: 15 pages, latexSubjects: Algebraic Topology (math.AT); K-Theory and Homology (math.KT)
Based on the work of Dundas, Lindenstrauss and Richter we compute the topological Andr\'e-Quillen homology with reduced coefficients for Eilenberg-MacLane spectra such as $H\mathbb{Z}$ and $H\mathbb{Z}/p^n$. The case of $H\mathbb{F}_p$ was settled in an unpublished work of Basterra and Mandell, which was refined later by Brantner and Mathew in the context of spectral partition Lie algebras. Our approach is similar to Cartan's calculation of the Steenrod algebra, and eventually shorter. We also present some computations relative to the $H\mathbb{Z}$ base.
- [146] arXiv:2603.18935 [pdf, ps, other]
-
Title: A Sudakov Decomposition in Riemannian Manifolds with Positive CurvatureAuthors: Zhengyao HuangSubjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
In this paper, we study Monge's problem on Riemannian manifolds $(M, g)$ with positive sectional curvature. Assuming that the source and target measures are absolutely continuous with respect to the Riemannian volume measure, we generalize a variational method from the Euclidean setting to establish the existence of a transport density and an explicit disintegration of measures along optimal rays. These results extend the approach of Bianchini-Caravenna to the Riemannian context.
- [147] arXiv:2603.18937 [pdf, ps, other]
-
Title: Theoretical Analyses of Detectors for Additive Noise Channels with Mean-Variance Uncertainty under Nonlinear Expectation TheoryComments: 24 pages, 4 figuresSubjects: Information Theory (cs.IT); Probability (math.PR)
In classical information theory, both the form and performance of the optimal detector for additive noise channels can be precisely derived, based on the assumption that the channel noise follows a specific probability distribution or a mixture of known distributions, or that the exact distribution exists but is unknown. In this paper, we extend the analyses of detectors for additive noise channel to the situation where the probability model for analyzing channels is uncertain, utilizing nonlinear expectation theory. We consider two types of distribution uncertainties: one with no mean uncertainty but with variance uncertainty, and another with both mean and variance uncertainties. We derive the optimal detectors for binary input additive noise channel under the nonlinear expectation optimal criterion for both scenarios and provide their explicit forms. Our findings reveal that mean uncertainty significantly influences the form of the optimal detector, whereas variance uncertainty does not. Additionally, we propose an estimation method for the uncertain parameters of the channel noise. Finally, we present theoretical analyses and simulated performance results of the newly derived optimal detectors, and compare these results with the performance of optimal detector under classical information theory, which assumes a deterministic probability model. The results of experiments show that our new detection methods outperform conventional methods in most scenarios with uncertain probability models, showing the practical relevance of our theoretical contributions.
- [148] arXiv:2603.18942 [pdf, ps, other]
-
Title: Gaussian Volume Functional, Integral Scalar Curvature, and Minimal Super-Ricci FlowsComments: 52 pages, 6 figuresSubjects: Differential Geometry (math.DG)
We present a synthetic notion of scalar curvature (and its integral) for Riemannian manifolds and metric measure spaces, defined in terms of the initial slope of a Gaussian (double) integral. We explicitly calculate the integral scalar curvature for Lipschitz gluings of smooth Riemannian manifolds and for cones. In dimension 2, the former coincides with the formula derived by Gauss-Bonnet, whereas the latter differs. The extension to the time-dependent case allows us to characterize Ricci flows as super Ricci flows with minimal integral curvature functional.
- [149] arXiv:2603.18944 [pdf, ps, other]
-
Title: Non-asymptotic uniform in time error bounds for new and old numerical schemes for SPDEsComments: 57 pages, 11 figuresSubjects: Numerical Analysis (math.NA); Probability (math.PR)
We study numerical schemes for Stochastic Partial Differential Equations (SPDEs). We introduce a general method of proof of non-asymptotic uniform in time error bounds on numerical integrators for SPDEs, ensuring the schemes capture both the transient and the long term dynamics faithfully. We then consider SPDEs with non-globally Lipshitz nonlinearities, which include for example the stochastic Allen-Cahn equation and some stochastic advection-diffusion equations. For the case of Allen-Cahn type SPDEs we show that the classic semi-implicit Euler time-discretization can exhibit finite time blow up. This motivates analysing other schemes which do not suffer from this blow-up problem. We consider three numerical schemes for SPDEs with non globally Lipshitz nonlinearity: a fully implicit scheme and two tamed schemes. For these schemes we prove non-asymptotic uniform in time error bounds by leveraging our general criterion, and provide numerical comparisons. While the main emphasis in this paper is on the properties of the time-discretization, the schemes we consider are full space-time discretization of the SPDE.
- [150] arXiv:2603.18948 [pdf, ps, other]
-
Title: Improvement on the Erdős-Kleitman conjecture via the KKL theoremComments: 15 pagesSubjects: Combinatorics (math.CO)
In 1974, Erd\H{o}s and Kleitman conjectured that if a family $\mathcal{F}\subseteq 2^{[n]}$ contains no matching of size \(s\) and is maximal with respect to this property, then $ |\mathcal{F}|\ge \left(1-2^{-(s-1)}\right)\cdot 2^{n}. $ For decades, the best general lower bound remained the trivial $2^{n-1}$. About a decade ago, Frankl and Tokushige emphasized that obtaining a bound of the form $\left(\frac{1}{2}+\varepsilon\right)\cdot 2^n$ for some $\varepsilon>0$ is a challenging problem. A breakthrough of Buci\v{c}, Letzter, Sudakov and Tran in 2018 showed that $ |\mathcal{F}|\ge \left(1-\frac{1}{s}\right)\cdot 2^n $ via two very elegant and quite different approaches. Our main result shows that $$ |\mathcal{F}|\ge \left(
1 - \frac{1}{s + (s-2)\frac{\log n}{2\sqrt{5}n}}
\right)\cdot 2^n $$ by exploiting a connection to the cornerstone result of Kahn, Kalai and Linial on influences of Boolean functions. Independently, we can also obtain a weaker improvement combining the linear algebra method with a combinatorial twist. - [151] arXiv:2603.18952 [pdf, ps, other]
-
Title: On a maximal anti-Ramsey conjecture of Burr, Erdős, Graham, and SósComments: 12 pagesSubjects: Combinatorics (math.CO)
Given a graph $H$, the maximal anti-Ramsey function $f(n,e,H)$ denotes the minimum integer $f$ for which there exists an $n$-vertex graph $G$ with at least $e$ edges admitting an edge-coloring with $f$ colors in which each copy of $H$ in $G$ is rainbow. In the late 1980s, Burr, Erd\H{o}s, Graham, and S\'os conjectured that for every odd cycle $C_{2k+1}$ with $k \ge 3$, $f(n, \lfloor n^2/4 \rfloor + 1, C_{2k+1}) = n^2/8 + o(n^2)$. In this note, we confirm this conjecture for all $k \ge 4$. More generally, we establish the asymptotic formula $$f\left(n,e,C_{2k+1}\right)=\frac{e}{2}+\frac{n}{2}\sqrt{e-\frac{n^2}{4}}+o(n^2),$$ for the entire non-trivial range of $\left\lfloor n^2/4 \right\rfloor+1\le e\le \binom{n}{2}$.
- [152] arXiv:2603.18955 [pdf, ps, other]
-
Title: Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy And A Koopman Operator ExampleAuthors: Christopher SorgComments: 62 pages: 39 pages + AppendixSubjects: Logic (math.LO); Logic in Computer Science (cs.LO); Spectral Theory (math.SP)
The Solvability Complexity Index (SCI) provides an abstract notion of computing a target map $\Xi$ from finitely many oracle evaluations $\Lambda \subseteq \mathbb{C}$ via finite-height towers of pointwise limits. We first give a foundational analysis of what this extensional framework does and does not determine. We show that the SCI separation consistency is equivalent to a factorization of $\Xi$ through the full evaluation table, and we isolate the minimal logical role of $\Lambda$ as an information interface.
To connect the SCI to Type-2 computability and Weihrauch reducibility, we give an effective enrichment for countable $\Lambda$ by viewing the evaluation table image $I_{\Lambda}\subseteq\mathbb{C}^{\mathbb{N}}$ as a represented space and factoring $\Xi$ as $\widehat{\Xi}$. We then define the Weihrauch-SCI rank of a problem as the least number of iterated limit-oracles needed to compute it in the Weihrauch sense, i.e.\ the least $k$ such that $\widehat{\Xi}\le_{W}\lim^{(k)}$, and prove well-posedness and representation invariance of this rank.
A central negative result is that the unrestricted type-$G$ SCI model (arbitrary post-processing of finite oracle transcripts) is generally not comparable to Weihrauch/Type-2 complexity: finite-query factorizations collapse type-$G$ height, and analytic (non-Borel) decision problems yield examples with $\mathrm{SCI}_{G}=0$ but infinite Weihrauch-SCI rank. To recover a robust bridge, we introduce an intermediate SCI hierarchy by restricting the admissible base-level post-processing to regularity classes (continuous/Borel/Baire) and, optionally, to fixed-query versus adaptive-query policies. We prove that these restrictions form genuine hierarchies, and we establish comparison theorems showing what each restriction logically enforces (e.g.\ Borel towers compute only Borel targets; continuous-base towers yield finite Baire class). - [153] arXiv:2603.18961 [pdf, ps, other]
-
Title: The non-abelian Leopoldt conjecture and equalities of $\mathcal{L}$-invariantsComments: 33 pagesSubjects: Number Theory (math.NT)
Let $G$ be a reductive group quasi-split at $p$. Using arguments of Hansen--Thorne, we show that under the non-abelian Leopoldt conjecture (NALC), Hansen's $p$-adic overconvergent cohomology eigenvariety for $G$ is \'etale over its image in weight space at any non-critical classical tempered cuspidal point of `cohomological multiplicity one'. This applies to all non-critical classical cuspidal points if $G = \mathrm{Res}_{F/\mathbb{Q}}\mathrm{GL}_n$.
We then let $\pi$ be a $p$-ordinary regular algebraic cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A}_{\mathbb{Q}})$ such that $\pi_p$ is Steinberg. Combining the above \'etaleness result for the classical point attached to $\pi$, and a local-global compatibility result from our earlier work, we deduce -- under a tangent vector hypothesis that is true for at least half the simple roots -- the equality of Fontaine--Mazur and automorphic $\mathcal{L}$-invariants for $\pi$. Where this assumption is satisfied, we deduce the NALC implies a conjecture of Gehrmann: that automorphic $\mathcal{L}$-invariants are independent of cohomological degree. Our approach is inspired by (and generalises) previous work of Gehrmann--Rosso.
When $\pi = \operatorname{Sym}^{n-1} \pi_f$ is the symmetric power lift of a modular form, we verify all assumptions other than the NALC, and deduce a functoriality result for the automorphic $\mathcal{L}$-invariants. - [154] arXiv:2603.18974 [pdf, ps, other]
-
Title: Joint ergodicity - 40 years onAuthors: Borys KucaSubjects: Dynamical Systems (math.DS); Combinatorics (math.CO); Number Theory (math.NT)
Recent years have seen dramatic progress in the study of joint ergodicity, i.e. a scenario in which a multiple ergodic average converges in norm to the product of integrals of individual functions. This survey, accompanying the talk given by the author in the Perspectives on Ergodic Theory and its Interactions conference to celebrate Vitaly Bergelson's 75th birthday, aims to summarize these recent advances, outline crucial new tools, present various open problems, and highlight the main challenges currently faced in the study of multiple ergodic averages.
- [155] arXiv:2603.18975 [pdf, ps, other]
-
Title: Finite and infinite frieze patterns from p-angulations and a generalization of Weyl groupoidsComments: 33 pagesSubjects: Combinatorics (math.CO)
A classic result of Conway and Coxeter on frieze patterns has been generalized to a bijection between $p$-angulations of regular polygons and frieze patterns of type $\Lambda_p$. One of the features of Conway-Coxeter theory is a combinatorial procedure to obtain from the triangulation all entries of the corresponding frieze pattern. We first present a combinatorial algorithm, involving Chebyshev polynomials, for obtaining from a dissection all entries of the corresponding frieze pattern. As an application we obtain a characterisation of frieze patterns of types $\Lambda_4$ and $\Lambda_6$ in terms of all entries (not only the quiddity cycle). We then study infinite frieze patterns of type $\Lambda_p$, which appeared in a preprint by Banaian and Chen, generalizing the infinite frieze patterns of positive integers studied by Baur, Parsons and Tschabold. As our main result we obtain a combinatorial model for infinite frieze patterns of type $\Lambda_p$, these are in bijection with certain $p$-angulations of an infinite strip. This extends results by Baur, Parsons and Tschabold from $p=3$ to arbitrary $p\ge 3$, and also provides new insight in the classic case. Infinite frieze patterns of positive integers appear in the context of Weyl groupoids. In the final section we extend this to infinite frieze patterns of type $\Lambda_p$ for any $p\ge 3$ by introducing a generalization of Cartan graphs and Weyl groupoids. We show that, up to equivalence, there is a 1-1 correspondence between connected simply connected Cartan graphs of type $\Lambda_p$ of rank two with infinitely many vertices permitting a root system and infinite frieze patterns of type $\Lambda_p$.
- [156] arXiv:2603.18978 [pdf, ps, other]
-
Title: On Affordable High-Order Entropy-Conservative/Stable and Well-Balanced Methods for Nonconservative Hyperbolic SystemsComments: Reproducibility repository: this https URLSubjects: Numerical Analysis (math.NA)
Many entropy-conservative and entropy-stable (summarized as entropy-preserving) methods for hyperbolic conservation laws rely on Tadmor's theory for two-point entropy-preserving numerical fluxes and its higher-order extension via flux differencing using summation-by-parts (SBP) operators, e.g., in discontinuous Galerkin spectral element methods (DGSEMs). The underlying two-point formulations have been extended to nonconservative systems using fluctuations by Castro et al. (2013, doi:10.1137/110845379) with follow-up generalizations to SBP methods. We propose specific forms of entropy-preserving fluctuations for nonconservative hyperbolic systems that are simple to interpret and allow an algorithmic construction of entropy-preserving methods. We analyze necessary and sufficient conditions, and obtain a full characterization of entropy-preserving three-point methods within the finite volume framework. This formulation is extended to SBP methods in multiple space dimensions on Cartesian and curvilinear meshes. Additional properties such as well-balancedness extend naturally from the underlying finite volume method to the SBP framework. We use the algorithmic construction enabled by the chosen formulation to derive several new entropy-preserving schemes for nonconservative hyperbolic systems, e.g., the compressible Euler equations of an ideal gas using the internal energy equation and a dispersive shallow-water model. Numerical experiments show the robustness and accuracy of the proposed schemes.
- [157] arXiv:2603.18980 [pdf, ps, other]
-
Title: A bilinear inverse problem with forward operator inaccuracy applied to neonatal atlas-based diffuse optical tomographyComments: 36 pages, 8 figuresSubjects: Numerical Analysis (math.NA)
Linear inverse problems are highly common in practical real-world applications from industry to medical imaging. The forward operator is often built on some approximations of the studied system. Handling inaccuracies in the forward operator in the context of inverse problems is a relatively unstudied problem. In this work, we assume that we have a set of candidate forward operator matrices and suggest principal component analysis (PCA) for modeling their variation from the mean. We combine the original linear problem with the included forward operator inaccuracy into a bilinear tensor inverse problem and present two optimization algorithms and Gibbs sampling for approximately solving the problem. As a real-world test case, we apply the algorithms to account for the inaccuracy that is present in the sensitivity profiles or Jacobian matrices in diffuse optical tomography when an atlas-based model of the head anatomy is used instead of the subject's own anatomical model in neonates over a wide range of gestational ages (29--44 weeks). We report visual and numerical improvements in the spatial localization and contrast-to-noise-ratio in reconstructions of simulated hemodynamic activity.
- [158] arXiv:2603.18984 [pdf, ps, other]
-
Title: On the approximation of finite perimeter setsComments: 26 pages, 4 figuresSubjects: Functional Analysis (math.FA)
We prove that if $\Omega\subseteq\mathbb{R}^N$ is a set with finite perimeter with $\mathscr{H}^{N-1}(\partial \Omega\setminus\partial^* \Omega)=0$, then any set of finite perimeter $E\subseteq\mathbb{R}^N$ can be approximated by a polyhedral or smooth bounded set $F$ in such a way that both the total perimeter of $E$ and the perimeter of $E$ inside $\Omega$ are approximated by those of $F$, and the boundary of $F$ has negligible intersection with the boundary of $\Omega$. In addition, we address the approximation for perimeter and volume with densities, and we present counterexamples illustrating the sharpness of our assumptions. Our constructions rely on a technical result that replaces $E$ with a set $F$ which agrees with $E$ and has the same boundary inside $\Omega$, while sharing no common boundary with $\Omega$, and does so without substantially altering the perimeter or the volume of the original set.
- [159] arXiv:2603.18997 [pdf, ps, other]
-
Title: Product Structure and Treewidth of Hyperbolic Uniform Disk GraphsComments: An extended abstract of this paper is published in the Proceedings of the 42nd International Symposium on Computational Geometry (SoCG 2026)Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM)
Hyperbolic uniform disk graphs (HUDGs) are intersection graphs of disks with some radius $r$ in the hyperbolic plane, where $r$ may be constant or depend on the number of vertices in a family of HUDGs. We show that HUDGs with constant clique number do not admit \emph{product structure}, i.e., that there is no constant $c$ such that every such graph is a subgraph of $H \boxtimes P$ for some graph $H$ of treewidth at most $c$. This justifies that HUDGs are described as not having a grid-like structure in the literature, and is in contrast to unit disk graphs in the Euclidean plane, whose grid-like structure is evident from the fact that they are subgraphs of the strong product of two paths and a clique of constant size [Dvo\v{r}\'ak et al., '21, MATRIX Annals]. By allowing $H$ to be any graph of constant treewidth instead of a path-like graph, we reject the possibility of a grid-like structure not merely by the maximum degree (which is unbounded for HUDGs) but due to their global structure. We complement this by showing that for every (sub-)constant $r$, HUDGs admit product structure, whereas the typical hyperbolic behavior is observed if $r$ grows with the number of vertices.
Our proof involves a family of $n$-vertex HUDGs with radius $\log n$ that has bounded clique number but unbounded treewidth, and one for which the ratio of treewidth and clique number is $\log n / \log \log n$. Up to a $\log \log n$ factor, this negatively answers a question raised by Bl\"asius et al. [SoCG '25] asking whether balanced separators of HUDGs with radius $\log n$ can be covered by less than $\log n$ cliques. Our results also imply that the local and layered tree-independence number of HUDGs are both unbounded, answering an open question of Dallard et al. [arXiv '25]. - [160] arXiv:2603.19001 [pdf, ps, other]
-
Title: On a family of singular potentials: Parameter dependence of thermodynamic characteristicsSubjects: Dynamical Systems (math.DS)
We consider the family of singular potentials $\psi_c = 2 \log(|\sin(\pi(x-c))|)$, $c\in \mathbb{T}$ over the doubling map and we examine the dependence of several thermodynamic and multifractal characteristics on the position of the singularity $c$. This includes the pressure functions $\mathcal P(t \psi_c)$, the Birkhoff spectrum of $\psi_c$, and the $L^q$ spectrum of the associated equilibrium measure $\mu_c$. For every $c \in \mathbb{T}$, it is known that $\mu_c$ is given by the diffraction measure of a generalized Thue--Morse sequence, with the classical Thue--Morse measure arising for $c = 0$. If $t\geqslant 0$, we show that $c \mapsto \mathcal{P}(t\psi_c)$ is continuous in $c$. If $t<0$, we prove that the function $c \mapsto \mathcal{P}(t\psi_c)$ is lower semicontinuous but not continuous. In this case, we show that the continuity points are precisely those values $c$ such that $\mathcal{P}(t\psi_c) = \infty$, which form a residual set of vanishing Hausdorff dimension in $\mathbb{T}$. We obtain similar statements about the parameter (semi-)continuity of the $L^q$ spectrum and the Birkhoff spectrum.
- [161] arXiv:2603.19003 [pdf, ps, other]
-
Title: Uniqueness and locality of the ground state of the disordered Monomer-Dimer models on independently weighted Unimodular Bienaymé-Galton-Watson treesComments: 17pages, 3 figuresSubjects: Probability (math.PR); Combinatorics (math.CO)
Consider a finite graph $G=(V(G),E(G))$ and two continuous weight distributions $\omega$ and $\xi$, for which we only assume that $\xi$ is lower bounded. Next, independently draw weights $(w(e))_{e \in E(G)}$ with distribution $\omega$ on edges and $(x(v))_{v \in V(G)}$ with distribution $\xi$ on vertices. The ground state of the monomer-dimer model on the weighted graph $G$ is a collection of edges (dimers) and vertices (monomers) such that every vertex is included in at most one monomer or dimer, and such that the sum of weights on its dimers and monomers is maximised.
Take $(G_n,o_n)_{n \in \mathbb{N}}$ to be a sequence of random rooted weighted graphs that converges locally to an independently weighted unimodular Bienaym\'e-Galton-Watson tree $(\mathbb{T},o)$ with vertex-weight distribution $\xi$ and edge-weight distribution $\omega$ . By proving that the ground state of the monomer-dimer model on the tree $(\mathbb{T},o)$ is almost surely unique and locally approximable, we prove that the ground state of the monomer-dimer model on $(G_n,o_n)$ must converge locally to the ground state of the monomer-dimer model on $(\mathbb{T},o)$. This also implies a strong decorrelation property on monomer-dimer models on unimodular Bienaym\'e-Galton-Watson trees. - [162] arXiv:2603.19012 [pdf, ps, other]
-
Title: Progressive Integrality Outer-Inner Approximation for AC Unit Commitment with Conic FormulationAuthors: Yongzheng DaiSubjects: Optimization and Control (math.OC)
The alternating-current unit commitment (AC-UC) problem provides a realistic representation of power system operations, which is a nonconvex mixed-integer nonlinear programming problem and hence is computationally intractable. A common relaxation to the AC-UC is based on the second-order cone (SOC), which results in a mixed-integer second-order cone program and remains computationally challenging. In this paper, we propose an outer-inner approximation framework that alternatively solves a mixed-integer linear programming (MILP) as an outer approximation and a convex second-order cone programming as an inner approximation to find a (near-)optimal solution to the SOC-based AC-UC. To improve computational efficiency, we introduce a progressive integrality strategy that gradually enforces integrality, reducing the reliance on expensive MILP solutions in early iterations. In addition, time-block Benders cuts are incorporated to strengthen the outer approximation and accelerate convergence. Computational experiments on large-scale test systems, including 200-bus and 500-bus networks, demonstrate that the proposed framework significantly improves both efficiency and robustness compared to state-of-the-art commercial solvers. The results show faster convergence, higher-quality solutions, and improved scalability under different formulations and perturbed load scenarios.
- [163] arXiv:2603.19015 [pdf, ps, other]
-
Title: Enhanced stability of pressure relief valves: mechanistic design and analysisComments: 43 pagesSubjects: Dynamical Systems (math.DS)
Pressure-relief valves, often the critical last line of defence in process engineering, are known to be susceptible to valve chatter. Such behaviour has been shown to arise from a flutter instability, or Hopf bifurcation, associated with the fundamental, quarter-wave acoustic mode of their inlet piping. Here, a novel design concept is proposed and analyzed for eliminating this instability. The concept involves using an oversized valve with reduced lift and adopting a discharge characteristic that enhances the blow-down effect, so that the valve opens immediately to its upper lift limit upon reaching set pressure. The concept is demonstrated numerically using an updated version of a 1D fluid pipe dynamics mathematical model solved using a Lax-Wendroff method. Stability properties are analysed using dynamical systems theory, applied to an improved reduced-order modal model. It is shown how the valve settles to a stable so-called pseudo equilibrium, in contact with the upper stop, provided the coefficient of restitution of is not too large. Such stable operation is reached despite the equivalent regular valve being unstable to the quarter-wave Hopf bifurcation. Parameter studies using the reduced-order model demonstrate the extent of the enhanced stability effect, which is confirmed using the full model for the case of gas service valves.
- [164] arXiv:2603.19031 [pdf, ps, other]
-
Title: Linear and group identifying codes in Hamming GraphsComments: 15 pages, 6 figuresSubjects: Combinatorics (math.CO)
Codes are crucial in many areas of applications. Different types of codes are designed to meet specific needs, which makes them more effective and useful. Linear codes are extensively used in data storage systems. Identifying codes are essential for locating malfunctioning processors. To combine these benefits, researchers have looked into a type of code called linear identifying codes. These codes blend the error-correction abilities of linear codes with the fault-finding capabilities of identifying codes. Group codes are also highly regarded for their strong properties and reliable decoding methods. In our work, we introduce a new type of identifying code called group Identifying codes. These codes aim to bring together the best features of both Identifying codes and group codes, offering enhanced performance in fault detection and system reliability. In this paper, we establish limits on the smallest size of a group identifying code when \( G \) is an \( n \)-dimensional Hamming cube \( K_{m_1} \square K_{m_2} \square \dots \square K_{m_n} \). Additionally, we determine the smallest size of a linear identifying code in \( K_p^n \) for a prime \( p \) and \( n \geq 2 \). In [1], it was hypothesized that \( \gamma^{ID}(K_m^3) = m^2 \) for an integer \( m \geq 2 \). Although this conjecture was disproven in [2], we demonstrate that group identifying codes in \( K_m^3 \) for an integer \( m \geq 2 \) and linear identifying codes in \( K_p^3 \) for a prime \( p \) indeed fulfill this conjecture.
- [165] arXiv:2603.19032 [pdf, ps, other]
-
Title: A heavy-ball type curve search method for smooth convexly constrained optimizationSubjects: Optimization and Control (math.OC)
This paper addresses smooth convexly constrained optimization problems where the Euclidean projection onto the feasible set is computationally tractable. Although momentum techniques like Polyak's heavy-ball are known for accelerating optimization algorithms, their use in constrained settings remains limited due to challenges in preserving feasibility and ensuring convergence. We thus propose a heavy-ball-type method that extends to the constrained case a recently introduced curve-search globalization framework. The method attempts a momentum update and performs a curvilinear search to enforce an Armijo-type descent condition: when the momentum step is infeasible or unacceptable, the algorithm smoothly reverts to a feasible descent direction. We prove that the algorithm is well-defined and globally convergent to stationary points; the derivation of these results is nontrivial due to the use of a heavy-ball type direction in a constrained setting, where it may generate infeasible iterates. We discuss the incorporation of further mechanisms into the algorithm, including non-monotone curve search, spectral steplength selection and an adaptive momentum strategy. Numerical experiments on benchmark problems show the method is robust and competitive with the state-of-the-art.
- [166] arXiv:2603.19038 [pdf, ps, other]
-
Title: Supercritical Site Percolation on Regular GraphsSubjects: Combinatorics (math.CO); Probability (math.PR)
We consider site (vertex) percolation on $d$-regular graphs, for both constant-degree and growing-degree cases. We give sufficient, and relatively tight, conditions for the emergence of the ``Erd\H{o}s-R\'enyi component phenomenon" in the supercritical regime $p=\frac{1+\epsilon}{d-1}$: namely, the appearance of a unique giant component of order $n/d$ in the percolated subgraph, with all other components being of size $O(\log n)$. Our main results apply both to the $d$-dimensional hypercube and to pseudo-random graphs, and resolve two open questions in these cases. We further discuss differences (and similarities) between bond (edge) percolation setting and site percolation setting.
- [167] arXiv:2603.19043 [pdf, ps, other]
-
Title: Complexity bounds on neural networks for the solution of structured linear systems of equationsSubjects: Numerical Analysis (math.NA)
We derive upper bounds on the complexity of ReLU neural networks approximating the solution of a linear system given the matrix and the right-hand side. We focus on matrices which are symmetric positive definite and sparse, as they appear in the context of finite difference and finite element methods. For such matrices, we extend available results for the matrix inversion to the task of solving a linear system, where we leverage favorable properties of classical methods such as the modified Richardson and the conjugate gradient method. Our bounds on the number of layers and neurons are not only explicit with respect to the size of the matrices, but also with respect to their condition numbers.
- [168] arXiv:2603.19045 [pdf, ps, other]
-
Title: Second order estimates for equations with sums of Hessian operators on Hermitian manifoldsComments: 24 pages, comments welcomeSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
In this paper, we establish an a priori second-order estimate for admissible solutions satisfying a dynamic plurisubharmonic condition to equations involving sums of Hessian operators on compact Hermitian manifolds. The estimate is derived using a concavity inequality for complex sum-of-Hessian operators.
- [169] arXiv:2603.19050 [pdf, ps, other]
-
Title: Preference-Based Optimisation in Group Decision-MakingAuthors: A.R.M. WolfertSubjects: Optimization and Control (math.OC)
Conventional multi-objective optimisation approaches (e.g., MOO-CP or MIP) fail in group decision-making by aggregating heterogeneous objectives without a valid preference foundation, producing Pareto sets instead of a unique actionable decision. As only humans define objectives, preferences constitute the legitimate basis for decision-making. Accordingly, four conditions for complex design-decision systems are established: (1) Preference-Key - all objectives, constraints, and trade-offs are evaluated within a unified preference domain using valid preference function modelling (PFM); (2) Integration - feasible system performance (object capability) and acceptable actor preferences (subject desirability) coexist within a single design-decision space; (3) Association - actors freely specify individual preferences and weights, enabling consistent aggregation towards group-optimal decision-making; and (4) Uniqueness - the solver identifies a single best-fit solution with maximum aggregated preference.
The ODESYS methodology, employing the IMAP solver, enables integrated multi-objective design optimisation and multi-criteria decision-making. Its extension within the ODESYS/FIVES formulation broadens applicability while achieving elegant simplicity, explicitly operationalising affine preference aggregation and preserving equivalence with validated ODESYS 1.0 results. By mapping system behaviour into a unified preference-performance domain, ODESYS/FIVES delivers a single best-fit solution, even for highly constrained problems, guaranteeing feasible and acceptable outcomes.
Two applications demonstrate transformation of multi-objective optimisation into pure group decision-making, achieving a best-fit-for-common-purpose within socio-physical reach. - [170] arXiv:2603.19052 [pdf, ps, other]
-
Title: The Simplicity of the Hodge BundleAuthors: Anand PatelSubjects: Algebraic Geometry (math.AG)
This paper shows that the Hodge bundle over the moduli space of genus $g \geq 2$ curves does not contain any non-trivial sub-bundles. Notably, the mathematical content was generated by Aletheia, a custom AI agent powered by Gemini Deep Think.
- [171] arXiv:2603.19056 [pdf, ps, other]
-
Title: Solving Maxwell's Equations with Mimetic MethodsAuthors: Johnny CorbinoSubjects: Numerical Analysis (math.NA)
We present a mimetic finite-difference approach for solving Maxwell's equations in one and two spatial dimensions. After introducing the governing equations and the classical Finite-Difference Time-Domain (FDTD) method, we describe mimetic operators that satisfy a discrete analogue of the extended Gauss divergence theorem and show how they lead to a compact, physically consistent formulation for computational electromagnetics. Two numerical examples are presented: a one-dimensional sinusoidal wave interacting with a lossy dielectric slab, and a two-dimensional Gaussian pulse with Uniaxial Perfectly Matched Layer (UPML) absorbing boundary conditions. All implementations use the Mimetic Operators Library Enhanced (MOLE).
- [172] arXiv:2603.19065 [pdf, ps, other]
-
Title: Minimal Weierstrass models and regular models of hyperelliptic curvesAuthors: Qing LiuSubjects: Number Theory (math.NT)
Let $C$ be a hyperelliptic curve of genus $g\ge 2$ over a discrete valuation field $K$ with perfect residue field. We study the minimal Weierstrass models of $C$. When there is more than one such model, we find interesting properties on the minimal regular model and the canonical model of $C$. For curves of genus $2$, we characterize the existence of the stable reduction in terms of the minimal Weierstrass models. When there is more than one such model, we can compute the Euler factor of $\mathrm{Jac}(C)$ and a volume form of the N\'eron model of $\mathrm{Jac}(C)$, using two specific minimal Weierstrass models.
- [173] arXiv:2603.19069 [pdf, ps, other]
-
Title: Pascal, Catalan, Motzkin triangles and tensor product multiplicitiesAuthors: L. Poulain d'AndecyComments: 15 pages, 13 trianglesSubjects: Representation Theory (math.RT); Combinatorics (math.CO)
The main purpose of this note is to provide an elementary discussion of some simple triangles of integer numbers in particular through their connections with representation theory of $sl_2$. The triangles under consideration are the Catalan triangle and the Motzkin triangle together with their generalisations that we introduce here. We advocate the point of view that these triangles are given by the well-known and classical Pascal rule starting from a well-chosen initial condition. We give an elementary derivation of the fact that the numbers in these triangles are multiplicities appearing in tensor products of $sl_2$-representations and that they are simply expressed as a difference of generalised binomial coefficients. We also take the opportunity to discuss the ``sum of squares'' phenomenon that happens in these triangles through the lense of representation theory.
- [174] arXiv:2603.19071 [pdf, ps, other]
-
Title: Quantifying the effect of noise perturbation for the stochastic Burgers equation with additive trace-class noiseSubjects: Probability (math.PR); Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
We establish upper bounds for the weak and strong error resulting from a perturbation of the noise driving the stochastic Burgers equation, where we assume the noise to be additive and of trace class and the initial value to be sufficiently regular. More specifically, replacing the covariance operator of the driving noise $Q_1 \in \mathcal{L}_1(L^2)$ in the Burgers equation by a covariance operator $Q_2 \in \mathcal{L}_1(L^2)$ results in a weak error of $\mathcal{O}\big(\| (-A)^{-1^{-} } (Q_1-Q_2) \|_{\mathcal{L}_1(L^2)}\big)$ and a strong error of $\mathcal{O}\big(\big\| (-A)^{-1/2^{-}}\big|Q_1^{1/2} -Q_2^{1/2}\big| \big\|_{\mathcal{L}_2(L^2)}\big)$. Here $\|\cdot \|_{\mathcal{L}_1}$ is the trace class norm, $\|\cdot \|_{\mathcal{L}_2}$ is the Hilbert-Schmidt norm, and $A$ is the one-dimensional Dirichlet Laplacian that represents the leading term in the Burgers equation. In particular, our results provide upper bounds for the weak and strong error arising when approximating the trace class noise by finite-dimensional noise; the rates we obtain reflect the general philosophy that the weak convergence rate should be twice the strong rate.
- [175] arXiv:2603.19073 [pdf, ps, other]
-
Title: Finite-sample bounds for multi-output system identificationComments: Submitted for review to IEEE Transactions on Automatic ControlSubjects: Statistics Theory (math.ST); Dynamical Systems (math.DS)
This paper presents uniform-in-time finite-sample bounds for regularized linear regression with vector-valued outputs and conditionally zero-mean subgaussian noise. By revisiting classical self-normalized martingale arguments, we obtain bounds that apply directly to multi-output regression, unlike most of the prior work. Compared to the state of the art, the new results are more general and yield tighter bounds, even for scalar-valued outputs. The mild assumptions we use allow for unknown dependencies between regressors and past noise terms, typically induced by system dynamics or feedback mechanisms. Therefore, these novel finite-sample bounds can be applied to many affine-in-parameter system identification problems, including the identification of a linear time-invariant system from full-state measurements. These new results may lead to significant improvements in stochastic learning-based controllers for safety-critical applications.
- [176] arXiv:2603.19075 [pdf, ps, other]
-
Title: A conservative, discontinuous Galerkin, tracer transport scheme using compatible finite elementsSubjects: Numerical Analysis (math.NA)
This paper outlines a conservative transport scheme for scalar tracers within a compatible finite element model for geophysical fluid equations. Instead of using the advective transport equation for a mixing ratio, a conservative transport equation is solved for the tracer density of the mixing ratio multiplied by the dry density. This ensures mass conservation in the continuous equations, which can be preserved in the discrete equations with a discontinuous Galerkin transport scheme. Our method is designed to work for two placements of the mixing ratio in a Charney-Phillips vertical staggering: either co-located with the dry density or vertically staggered from it. The new scheme is designed to conserve the tracer density and ensure consistency by maintaining a constant mixing ratio. Additionally, a mass-conserving limiter is developed to ensure non-negativity in the co-located configuration. Tests with terminator toy chemistry and a moist rising bubble show the use of the new transport scheme with physics terms and its ability to accurately model mass conservation of moisture species in a dynamical core setup.
- [177] arXiv:2603.19079 [pdf, ps, other]
-
Title: Parametric Spectral Submanifolds across Hopf Bifurcations with Applications to Fluid DynamicsSubjects: Dynamical Systems (math.DS); Fluid Dynamics (physics.flu-dyn)
We investigate the persistence and regularity of spectral submanifolds (SSMs) in high-dimensional parametric dynamical systems undergoing a Hopf bifurcation.
By analyzing how resonances in the linearized spectrum near bifurcation points limit the existence and smoothness of SSMs, a phenomenon that has been mostly overlooked, we show that low-order Taylor coefficients of the SSM expansion and the associated reduced dynamics persist smoothly through the bifurcation.
This analysis generalizes to any local bifurcation and provides a clear estimate of the parameter ranges over which a parametric SSM model can be justified, thus illustrating how globally the model can be extended despite the presence of resonances near criticality.
We demonstrate these findings on multiple examples, including a data-driven SSM approach to the lid-driven cavity flow. For that problem, we construct a parametric SSM-reduced model that accurately captures the full transition to periodic dynamics and the critical Reynolds number.
These results provide a mathematical foundation for robust data- and equation-driven model reduction of fluid flows across bifurcations, enabling an accurate prediction of nonlinear dynamics across critical parameter regimes. - [178] arXiv:2603.19080 [pdf, ps, other]
-
Title: Reduced order computation of 2D elastodynamic Green's functions in layered soil using a low-rank tensor approximationComments: Preprint submitted to Computers & StructuresSubjects: Numerical Analysis (math.NA)
The evaluation of elastodynamic Green's functions across numerous source-receiver locations, frequencies, and material properties, particularly in the context of parametric studies or boundary element computations, is computationally demanding and memory intensive. This paper presents a reduced order modeling strategy based on the Greedy Tucker Approximation (GTA), which incrementally constructs a low-rank representation of the Green's tensor through rank-one enrichments obtained via a Proper Generalized Decomposition (PGD)-type alternating least squares procedure. A Petrov-Galerkin formulation is employed to improve convergence and approximation accuracy. The resulting multi-dimensional tensor, expressed in terms of one-dimensional basis functions and a compact core, achieves substantial reductions in memory requirements. The methodology is demonstrated for two cases: a soil layer on rigid bedrock and a layered halfspace. Different separable dimensions are considered to capture various combinations of source and receiver configurations, frequencies, and material parameters. Results are validated against those obtained with the direct stiffness method and computation times and memory requirements are compared.
- [179] arXiv:2603.19096 [pdf, ps, other]
-
Title: GLENN: Neural network-enhanced computation of Ginzburg-Landau energy minimizersSubjects: Numerical Analysis (math.NA)
In this work, we propose a neural network-enhanced finite element strategy to compute the minimizer of the Ginzburg--Landau energy based on an unsupervised deep Ritz-type strategy. We treat the parameter $\kappa$ as a variable input parameter to obtain possible minimizers for a large range of $\kappa$-values. This allows for two possible strategies: 1) The neural network may be extensively trained to work as a stand-alone solver. 2) Neural network results are used as starting values for a subsequent classical iterative minimization procedure. The latter strategy particularly circumvents the missing reliability of the neural network-based approach. Numerical examples are presented that show the potential of the proposed strategy.
- [180] arXiv:2603.19102 [pdf, ps, other]
-
Title: Well-posedness for the Navier-Stokes equations in Morrey spaces on non-compact manifoldsComments: 41 pagesSubjects: Analysis of PDEs (math.AP)
We analyze the incompressible Navier-Stokes equations on a class of non-compact Riemannian manifolds within the framework of Morrey spaces. Assuming bounded geometry together with negative Ricci and sectional curvature (e.g., hyperbolic spaces), we establish dispersive and smoothing estimates for the heat semigroups associated with the Beltrami, Bochner and Hodge Laplacians in Morrey spaces, as well as for the Riesz transform. In particular, the presence of negative curvature yields improved large-time decay compared to the Euclidean setting. These estimates are of independent interest and enable us to construct solutions in time-weighted spaces of Kato type, leading to local-in-time well-posedness on a broad class of non-compact manifolds and global one in the case of Einstein manifolds. In the latter setting, we assume a smallness condition on the initial data in Morrey norms, which are weaker than $L^{p}$-norms and thus allow for certain classes of large $L^{p}$-data. We also discuss extensions to Ricci-flat manifolds. Our results introduce a new class of non-decaying and rough initial data for the Navier-Stokes equations on manifolds, extending previous works in Lebesgue and Sobolev spaces.
- [181] arXiv:2603.19106 [pdf, ps, other]
-
Title: Stochastic Virtual Power Plant Dispatch via Temporally Aggregated Distributed Predictive Control with Performance GuaranteesSubjects: Optimization and Control (math.OC)
This paper addresses the energy dispatch of a virtual power plant comprising renewable generation, energy storage, and thermal units under uncertainty in renewable output, energy prices, and energy demand. The nonlinear dynamics and multiple sources of uncertainty render traditional stochastic model predictive control (MPC) computationally intractable as the dispatch horizon, scenario set, and asset portfolio expand. To overcome this limitation, we propose a novel controller that seamlessly integrates MPC with time series aggregation and distributed optimization, simultaneously reducing the temporal, asset, and scenario dimensions of the problem. The resulting controller provides a rigorous performance guarantee through theoretically validated bounds on its approximation error, while leveraging dual information from previous MPC iterations to adaptively optimize the temporal aggregation. Numerical results show that the proposed controller reduces runtime by over 50% relative to traditional stochastic MPC and, crucially, restores tractability where the full-scale dispatch model proves intractable.
- [182] arXiv:2603.19108 [pdf, ps, other]
-
Title: Numerical Considerations for the Construction of Karhunen-Loève ExpansionsSubjects: Numerical Analysis (math.NA); Machine Learning (stat.ML)
This report examines numerical aspects of constructing Karhunen-Lo\`{e}ve expansions (KLEs) for second-order stochastic processes. The KLE relies on the spectral decomposition of the covariance operator via the Fredholm integral equation of the second kind, which is then discretized on a computational grid, leading to an eigendecomposition task. We derive the algebraic equivalence between this Fredholm-based eigensolution and the singular value decomposition of the weight-scaled sample matrix, yielding consistent solutions for both model-based and data-driven KLE construction. Analytical eigensolutions for exponential and squared-exponential covariance kernels serve as reference benchmarks to assess numerical consistency and accuracy in 1D settings. The convergence of SVD-based eigenvalue estimates and of the empirical distributions of the KL coefficients to their theoretical $\mathcal{N}(0,1)$ target are characterized as a function of sample count. Higher-dimensional configurations include a two-dimensional irregular domain discretized by unstructured triangular meshes with two refinement levels, and a three-dimensional toroidal domain whose non-simply-connected topology motivates a comparison between Euclidean and shortest interior path distances between the grid points. The numerical results highlight the interplay between the discretization strategy, quadrature rule, and sample count, and their impact on the KLE results.
- [183] arXiv:2603.19111 [pdf, ps, other]
-
Title: Embeddings of variable Sobolev, Besov, and Triebel-Lizorkin spaces on metric measure spacesSubjects: Functional Analysis (math.FA)
Sobolev-type embeddings on metric measure spaces encode a subtle interaction between the analytic regularity of functions and the geometry of the underlying domain space. In this paper we develop an embedding theory for variable Haj{\l}asz-type smoothness spaces on metric measure spaces whose ``dimension'' is allowed to vary pointwise through a bounded exponent $Q(\cdot)$ that governs a lower Ahlfors growth condition on the measure. We introduce variable exponent Haj{\l}asz-Sobolev spaces $M^{s(\cdot),p(\cdot)}$, Haj{\l}asz-Triebel-Lizorkin spaces $M^{s(\cdot)}_{p(\cdot),q(\cdot)}$, and Haj{\l}asz-Besov spaces $N^{s(\cdot)}_{p(\cdot),q(\cdot)}$, and establish Sobolev, Morrey, and Moser-Trudinger type embeddings into variable exponent Lebesgue and H\"older spaces. These embeddings are proved both locally (on balls) under a lower Ahlfors $Q(\cdot)$-regularity condition on the measure and regularity assumptions on the exponents (notably log-H\"older continuity), and globally under additional geometric hypotheses such as geometric doubling and mild uniform bounds on the measure of unit balls. We also identify geometric conditions that are not only sufficient but, in appropriate forms, necessary for the validity of these embeddings, showing in particular that such inequalities force a lower growth bound on the measure of order $r^{Q(x)}$.
- [184] arXiv:2603.19113 [pdf, ps, other]
-
Title: A stable and fast method for solving multibody scattering problems via the method of fundamental solutionsComments: 31 pages, 9 figuresSubjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph); Computational Physics (physics.comp-ph)
The paper describes a numerical method for solving acoustic multibody scattering problems in two and three dimensions. The idea is to compute a highly accurate approximation to the scattering operator for each body through a local computation, and then use these scattering matrices to form a global linear system. The resulting coefficient matrix is relatively well-conditioned, even for problems involving a very large number of scatterers. The linear system is amenable to iterative solvers, and can readily be accelerated via fast algorithms for the matrix-vector multiplication such as the fast multipole method. The key point of the work is that the local scattering matrices can be constructed using potentially ill-conditioned techniques such as the method of fundamental solutions (MFS), while still maintaining scalability and numerical stability of the global solver. The resulting algorithm is simple, as the MFS is far simpler to implement than alternative techniques based on discretizing boundary integral equations using Nystr\"om or Galerkin.
- [185] arXiv:2603.19114 [pdf, ps, other]
-
Title: A Variational Approach to Degenerate Monge--Ampère Equations with Mixed Measures and MonotonicityAuthors: Nam Q. LeSubjects: Analysis of PDEs (math.AP)
We study the solvability and uniqueness for several degenerate Monge--Amp\`ere equations including the Monge--Amp\`ere eigenvalue problem in real Euclidean spaces that involve singular Borel measures. Our approach systematically analyzes the Monge--Amp\`ere energy from the variational point of view and appropriately exploits monotonicity arguments. Our main tools consist of the mixed Monge--Amp\`ere measure, Aleksandrov--Blocki--Jerison-type maximum principles, integration by parts, convex envelope, and comparison principles for subcritical equations. For the Monge--Amp\`ere eigenvalue problem, we contrast the analysis within and without the energy class; even if it might not have solutions in the energy class, we show that the infimum of the Rayleigh quotient can be approximated from above by Monge--Amp\`ere eigenvalues of the truncated measures, and by Rayleigh quotients of an inverse iterative scheme. We give examples showing that for very singular Borel measures, the Monge--Amp\`ere eigenvalue problem has only solutions outside the energy class together with symmetry breaking and nonuniqueness.
- [186] arXiv:2603.19123 [pdf, ps, other]
-
Title: The variety of Lie algebra representationsSubjects: Representation Theory (math.RT)
We study the affine variety $L_{n}(\mathfrak{g})$ of Lie algebra representations, the collection of all homomorphisms from an arbitrary $n$-dimensional Lie algebra into a fixed real semi-simple Lie algebra $\mathfrak{g}$. Using techniques from real Geometric Invariant Theory, we equip this variety with a natural moment map and associated energy functional arising from the action of the real reductive group $GL(n,\mathbb{R}) \times \text{Inn}(\mathfrak{g})$.
We analyze the critical points of the energy functional and describe their structure. In particular, we prove that every semi-simple pair, that is representations of semi-simple Lie algebras, will globally minimize the energy in its orbit. As consequences, we obtain an elementary proof of the rigidity of semi-simple homomorphisms and derive a new proof of the Mostow theorem on the existence of compatible Cartan involutions for semi-simple subalgebras. Subsequent results concerning the structure of critical points of higher energy are also obtained. - [187] arXiv:2603.19128 [pdf, ps, other]
-
Title: Spectral continuity of almost commutative manifolds for the $C^1$ topology on Riemannian metricsAuthors: Frederic LatremoliereComments: 32 pagesSubjects: Operator Algebras (math.OA); Mathematical Physics (math-ph)
Almost commutative models provide a framework for Connes' work on the standard model of particle physics. These models are constructed as products of a the canonical spectral triple of a compact connected spin manifold with a finite dimensional spectral triple. Motivated by the fundamental question of the dependence of the spectra of Dirac operators under change of metrics, we prove the continuity of the spectra of Dirac operators for almost commutative models as functions of the underlying Riemannian metric. We allow both the Riemannian metric (in the $C^1$ topology) and the Dirac operator of the finite-dimensional factor to vary simultaneously. Since the physics of the system is fundamentally encoded in this spectrum, this result is a form of stability result regarding the geometry, or physical, content of these models. This result is based upon a novel approach to prove continuity of spectra of Dirac operators using the spectral propinquity. Notably, this method provides a new, different proof of the classical results as well. To illustrate the versatility of our new method, we also apply our results to completely non-commutative family of examples, including quantum tori and quantum solenoids.
- [188] arXiv:2603.19135 [pdf, ps, other]
-
Title: Hamiltonian Reduction in Affine Principal BundlesComments: 16 pagesSubjects: Differential Geometry (math.DG); Mathematical Physics (math-ph); Dynamical Systems (math.DS)
This paper presents a Hamiltonian reduction procedure for field theories over affine principal bundles introducing a canonical identification to describe the reduced multisymplectic space without the introduction of a connection. The main goal is to provide a Hamiltonian analogue of the Lagrangian reduction theory developed in M. Castrill\'on L\'opez, P. M. Chac\'on, and P. L. Garc\'ia. J. Geom. Mech., 5(4):399-414, 2013. The core of this work lies in the derivation of this canonical identification, the reduced Hamilton-Cartan equations, and a reduced covariant bracket that describes the dynamics. Finally, this theoretical framework is illustrated with a fundamental example: molecular strands.
- [189] arXiv:2603.19147 [pdf, ps, other]
-
Title: Fast and Effective Computation of Generalized Symmetric Matrix FactorizationComments: 41 pages, 2 figures, 1 tableSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
In this paper, we study a nonconvex, nonsmooth, and non-Lipschitz generalized symmetric matrix factorization model that unifies a broad class of matrix factorization formulations arising in machine learning, image science, engineering, and related areas. We first establish two exactness properties. On the modeling side, we prove an exact penalty property showing that, under suitable conditions, the symmetry-inducing quadratic penalty enforces symmetry whenever the penalty parameter is sufficiently large but finite, thereby exactly recovering the associated symmetric formulation. On the algorithmic side, we introduce an auxiliary-variable splitting formulation and establish an exact relaxation relationship that rigorously links stationary points of the original objective function to those of a relaxed potential function. Building on these exactness properties, we propose an average-type nonmonotone alternating updating method (A-NAUM) based on the relaxed potential function. At each iteration, A-NAUM alternately updates the two factor blocks by (approximately) minimizing the potential function, while the auxiliary block is updated in closed form. To ensure the convergence and enhance practical performance, we further incorporate an average-type nonmonotone line search and show that it is well-defined under mild conditions. Moreover, based on the Kurdyka-{\L}ojasiewicz property and its associated exponent, we establish global convergence of the entire sequence to a stationary point and derive convergence rate results. Finally, numerical experiments on real datasets demonstrate the efficiency of A-NAUM.
- [190] arXiv:2603.19161 [pdf, ps, other]
-
Title: Duality of generalized Maxwell theories as an equivalence in derived geometryComments: Feedback welcome!Subjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Algebraic Topology (math.AT); Quantum Algebra (math.QA)
We propose a non-perturbative description of the moduli spaces encoding p-form generalized Maxwell theories in any dimension, using derived differential geometry. Our approach synthesizes the Batalin--Vilkovisky formalism with differential cohomology. Within this framework we formulate Dirac charge quantization and show how such charge-quantized moduli spaces exhibit abelian duality between generalized Maxwell theories of different types. We also describe the compactification of generalized Maxwell theories along closed Riemannian manifolds by computing the pushforward of the underlying sheaves of cochain complexes that model differential cohomology.
- [191] arXiv:2603.19164 [pdf, ps, other]
-
Title: Remarks on Brunn-Minkowski-type inequalities related to the Ornstein-Uhlenbeck operatorSubjects: Analysis of PDEs (math.AP); Metric Geometry (math.MG)
We investigate Brunn-Minkowski-type inequalities for the torsional rigidity $T_\gamma$ and the first eigenvalue $\lambda_\gamma$ associated with the Ornstein-Uhlenbeck operator. Counterexamples are provided showing that neither concavity nor convexity properties hold for $T_\gamma$ on general bounded convex sets. We also demonstrate that log-concavity and log-convexity properties fail in this setting. In the case of centrally symmetric sets, we answer a question raised by Cordero-Erausquin and Eskenazis by showing that $T_\gamma^{1/(n+2)}$ is neither convex nor concave. On the positive side, we prove that $T_\gamma^{1/3}$ is convex with respect to Minkowski addition when restricted to Euclidean balls centered at the origin. For $\lambda_\gamma$, we answer negatively a question posed by Colesanti, Francini, Livshyts, and Salani by showing that the inequality $\lambda_\gamma(\Omega_t)^{-1/2} \geq (1-t)\lambda_\gamma(\Omega_0)^{-1/2} + t\lambda_\gamma(\Omega_1)^{-1/2}$ does not hold, even for centrally symmetric sets.
- [192] arXiv:2603.19171 [pdf, ps, other]
-
Title: Furstenberg-type estimates under mild non-concentration assumptionsComments: 22 pagesSubjects: Classical Analysis and ODEs (math.CA); Combinatorics (math.CO)
We prove sharp $\delta$-discretised versions of some variants of the Furstenberg set problem under weaker or different non-concentration assumptions compared to previous works.
- [193] arXiv:2603.19175 [pdf, ps, other]
-
Title: Characterizing almost Cohen-Macaulay $3$-generated ideals of codimension $2$ in terms of prescribed shiftSubjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
Let $R$ be a standard graded polynomial ring over a field $k$.
The paper focuses on homogeneous ideals $J \subset R$ of codimension $2$ generated by three forms of the same degree $d \geq 2$ that are almost Cohen--Macaulay, i.e., of homological dimension $2$. Based on the structure of the minimal graded free resolution of $J$ and numerical data encoded in certain \emph{latent shifts}, one introduces the notion of \emph{level matrices} associated with these shifts. Our main result provides a complete characterization of almost Cohen--Macaulay ideals of codimension $2$ in terms of the existence of an associated level matrix for which $J$ arises as the ideal of minors obtained by fixing the lower block. We provide algebraic and geometric examples illustrating the results. - [194] arXiv:2603.19184 [pdf, ps, other]
-
Title: The Euler Stratification for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^n$Comments: 31 pages, 6 figuresSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Combinatorics (math.CO)
We study the Euler characteristic of a hypersurface in $(\mathbb{C}^*)^2 \times (\mathbb{C}^*)^n$ defined by a polynomial whose monomial support corresponds to lattice points in $\Delta_1 \times \Delta_1 \times \Delta_n$ as the coefficients of the defining polynomial vary. Each member of this hypersurface family corresponds to a three-way independence model from algebraic statistics, and the (signed) Euler characteristic is equal to the maximum likelihood degree (ML degree) of the model. We show in the case of $\Delta_1 \times \Delta_1 \times \Delta_1$ this Euler characteristic depends only on the vanishing patterns of the factors of the principal $A$-determinant, but this fails for $\Delta_1 \times \Delta_1 \times \Delta_n$ with $n \geq 2$. We prove that, for all $n\geq 1$, all positive integers up to the maximum possible ML degree can be realized as the Euler characteristic. Furthermore, we completely determine the Euler stratification for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ and provide partial information for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^2$.
- [195] arXiv:2603.19194 [pdf, ps, other]
-
Title: Luck and magic for Pitman-Stanley polytopes and parking functionsComments: 32 pages, 2 Tables, 4 Figures. Comments welcome!Subjects: Combinatorics (math.CO)
Motivated by the combinatorics of parking functions and their several generalizations, we study the Ehrhart theory of Pitman--Stanley polytopes. We prove a strong positivity phenomenon called \emph{magic positivity} for the Ehrhart polynomials of these polytopes, which in turn implies that their $h^*$-polynomials are real-rooted (and thus log-concave and unimodal). Our result is achieved by interpreting the coefficients of these Ehrhart polynomials in the \emph{magic basis} in terms of the number of \emph{lucky cars} in a modified parking protocol. Furthermore, we address the magic positivity problem for $\mathbf{y}$-generalized permutohedra and also discuss a \emph{magic} combinatorial interpretation for them, under the assumption that the input parameters are sufficiently large.
- [196] arXiv:2603.19202 [pdf, ps, other]
-
Title: Gamma positivity, PL homeomorphism types, and orthogonal polynomialsAuthors: Soohyun ParkComments: 90 pagesSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG); Geometric Topology (math.GT)
Using preservations of PL homeomorphism types under edge contractions (the link condition) as a topological proxy for flagness, we give a quantitative description of the effect flagness on on gamma positivity of simplicial spheres. In particular, we show that the link condition has a trivial effect on the $g$-vectors (and thus gamma vectors) of high-dimensional simplicial spheres with nonnegative gamma vectors in many cases. Note that this reflects a dichotomy between quantitative behavior arising from $g_1$ components that are linear in $d$ and those that are superlinear in $d$. When the link condition is nontrivial, we show that it gives a lower bound for growth rates of $g$-vector components. This lower bound increases with the number of edges and the distance of the $M$-vector condition on $g$-vectors of simplicial spheres from equality. These lower bounds translate to ones on top gamma vector components and give lower bounds on gamma vector growth rates when the gamma vector components are dominant terms in the $g$-vector components with the same index (e.g. $g$-vectors with components increasing quickly compared to $d$). Finally, we show that the same results apply to positivity properties generalizing gamma positivity arising from connections between orthogonal polynomials and lattice paths. In the course of doing this, we describe gamma vector components in terms of monomer/dimer covers and point out connections between repeated (stellar) edge subdivisions (Tchebyshev subdivisions) and dimer covers.
- [197] arXiv:2603.19205 [pdf, ps, other]
-
Title: On the asymptotic behavior of finite hyperfieldsComments: 21 pages, 1 figureSubjects: Rings and Algebras (math.RA)
Hobby has recently shown that almost all finite hyperfields of even order fail to be the quotient of a field. Using a probabilistic argument, we extend this result to all orders: a finite hyperfield is almost always non-quotient. This confirms a conjecture of Baker--Jin. We show that in almost every finite hyperfield the sum of any four or more nonzero elements contains 0. We also give a precise asymptotic for the number of finite hyperfields on a given finite abelian group.
- [198] arXiv:2603.19212 [pdf, ps, other]
-
Title: Multiplication Tables for Integers with Restricted Prime FactorsAuthors: Jeremy SchlittSubjects: Number Theory (math.NT); Probability (math.PR)
Let $Q$ be a set of primes with relative density $\delta$. We count integers in $[1,x]$ with prime factors all in $Q$ that also have a divisor in $(y,2y]$. We establish the order of magnitude for all $\delta \in (0,1]$. This generalizes the case $\delta = 1$ from the 2008 work of Ford. We also show that there is a phase transition at the critical point $\delta = 1/\log 4$, for which we explicitly determine the behaviour.
- [199] arXiv:2603.19215 [pdf, ps, other]
-
Title: $R$-equivalence on Cubic Surfaces I: Existing Cases with Non-Trivial Universal EquivalenceComments: 23 pagesSubjects: Algebraic Geometry (math.AG); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Number Theory (math.NT)
Let $V$ be a smooth cubic surface over a $p$-adic field $k$ with good reduction. Swinnerton-Dyer (1981) proved that $R$-equivalence is trivial on $V(k)$ except perhaps if $V$ is one of three special types--those whose $R$-equivalence he could not bound by proving the universal (admissible) equivalence is trivial. We consider all surfaces $V$ currently known to have non-trivial universal equivalence. Beyond being intractable to Swinnerton-Dyer's approach, we observe that if these surfaces also had non-trivial $R$-equivalence, they would contradict Colliot-Th\'el\`ene and Sansuc's conjecture regarding the $k$-rationality of universal torsors for geometrically rational surfaces.
By devising new methods to study $R$-equivalence, we prove that for 2-adic surfaces with all-Eckardt reductions (the third special type, which contains every existing case of non-trivial universal equivalence), $R$-equivalence is trivial or of exponent 2. For the explicit cases, we confirm triviality: the diagonal cubic $X^3+Y^3+Z^3+\zeta_3 T^3=0$ over $\mathbb{Q}_2(\zeta_3)$--answering a long-standing question of Manin's (Cubic Forms, 1972)--and the cubic with universal equivalence of exponent 2 (Kanevsky, 1982).
This is the first in a series of works derived from a year of interactions with generative AI models such as AlphaEvolve and Gemini 3 Deep Think, with the latter proving many of our lemmas. We disclose the timeline and nature of their use towards this paper, and describe our broader AI-assisted research program in a companion report (in preparation).
Cross-lists for Fri, 20 Mar 26
- [200] arXiv:2507.17880 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Stability of Continuous Time Quantum Walks in Complex NetworksSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Computational Physics (physics.comp-ph)
We investigate the stability of continuous-time quantum walks (CTQW) across cycle, complete, star, Erd\H{o}s-R\'enyi, small-world, and scale-free topologies under energy-based intrinsic decoherence, node-based Haken-Strobl noise, and edge-based quantum stochastic walk (QSW) decoherence. Defining stability as the preservation of quantum properties, we characterize it using node probabilities, $\ell_1$-norm of coherence, fidelity, quantum-classical distance, and von Neumann entropy. Our results show that intrinsic decoherence preserves coherence longest while QSW causes rapid decay. Stability rankings vary and depend on the decoherence types, network structure, and properties of node where the walker is initialized specifically in heterogeneous networks. Dense connected network like complete and heterogenous networks, for instance, star, and scale-free are stable under Haken-Strobl noise but become uniquely fragile under QSW when initialized on high degree nodes. However, these same networks, due to their inherent localization, exhibit lower coherence in the noiseless regime, highlighting a fundamental trade-off between localization and coherence. Furthermore, the centrality of the initialization node has a pronounced impact on relaxation time and stability measures, underscoring the critical role of local topological features in quantum dynamics.
- [201] arXiv:2603.16380 (cross-list from math-ph) [pdf, ps, other]
-
Title: BC Toda chain I: reflection operator and eigenfunctionsSubjects: Mathematical Physics (math-ph); Representation Theory (math.RT); Exactly Solvable and Integrable Systems (nlin.SI)
We obtain Gauss-Givental integral representation for the eigenfunctions of quantum Toda chain with boundary interaction of BC type. For this we introduce reflection operator satisfying reflection equation with DST chain Lax matrices. Besides, we define Baxter operators for BC Toda chain, prove their commutativity with Hamiltonians and derive the corresponding Baxter equation.
- [202] arXiv:2603.16387 (cross-list from math-ph) [pdf, ps, other]
-
Title: BC Toda chain II: symmetries. Dual pictureSubjects: Mathematical Physics (math-ph); Representation Theory (math.RT); Exactly Solvable and Integrable Systems (nlin.SI)
In the previous paper we derived Gauss-Givental integral representation for the wave functions of quantum BC Toda chain and also introduced Baxter operators for this model. In the present paper we prove commutativity of Baxter operators, as well as show that the constructed wave functions are symmetric with respect to signed permutations of spectral parameters and diagonalize Baxter operators. Furthermore, we derive Mellin-Barnes integral representation for the wave functions. With its help we show that wave functions satisfy dual system of difference equations with respect to spectral parameters and coincide with hyperoctahedral Whittaker functions. Finally, we give heuristic proofs of orthogonality and completeness of the wave functions.
- [203] arXiv:2603.18033 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Asymptotic Expansions for Neural Network Approximations of Quantum ChannelsAuthors: Rômulo Damasclin Chaves dos SantosComments: 37 pagesSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
This paper establishes the Quantum Voronovskaya--Damasclin (QVD) Theorem, providing a complete asymptotic characterization of Quantum Neural Network Operators in the approximation of arbitrary quantum channels. The result extends the classical Voronovskaya theorem from scalar approximation to the non-commutative operator framework of quantum information theory. We introduce rigorous quantum analogues of Sobolev and H\"older spaces defined through Fr\'echet differentiability in the Liouville representation and measured using the completely bounded (diamond) norm. Within this framework, we derive an explicit asymptotic expansion of the approximation error and identify the fundamental mechanisms governing convergence. The expansion separates integer-order differential contributions, fractional corrections associated with limited regularity, and intrinsically non-commutative effects arising from operator algebra structure. We also establish a sharp remainder estimate with explicit dependence on the regularity of the channel and the dimension of the underlying Hilbert space. Several applications demonstrate the scope of the theory. These include a quantum central limit theorem describing the fluctuation regime of quantum neural network operators, an optimal interpolation method based on operator geometric means, and a convergence acceleration procedure inspired by Richardson extrapolation. The results provide a rigorous mathematical foundation for the asymptotic analysis of quantum neural network models and establish a direct connection between classical approximation theory, operator algebras, and quantum information science, with implications for quantum algorithms and quantum machine learning.
- [204] arXiv:2603.18038 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Advanced Quantum Annealing for the Bi-Objective Traveling Thief Problem: An $\varepsilon$-Constraint-based ApproachComments: 14 pages, 5 figures, and 3 tables. Accepted by IEEE Transactions on Quantum EngineeringSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
This paper addresses the Bi-Objective Traveling Thief Problem (BI-TTP), a challenging multi-objective optimization problem that requires the simultaneous optimization of travel cost and item profit. Conventional methods for the BI-TTP often face severe scalability issues due to the complex interdependence between routing and packing decisions, as well as the inherent complexity and large problem size. These difficulties render classical computing approaches increasingly inapplicable. To tackle this, we propose an advanced hybrid approach that combines quantum annealing (QA) with the $\varepsilon$-constraint method. Specifically, we reformulate the bi-objective problem into a single-objective formulation by restricting the second objective through adjustable $\varepsilon$-levels, determined within established upper and lower bounds. The resulting subproblem involves a sum of fractional terms, which is reformulated with auxiliary variables into an equivalent form. Subsequently, the equivalent formulation is transformed into a Quadratic Unconstrained Binary Optimization (QUBO) model, enabling direct solution via a quantum annealing (QA) solver. The solutions obtained from the quantum annealer are subsequently refined using a tailored heuristic procedure to further enhance overall performance. By leveraging the flexibility in selecting $\varepsilon$ parameters, our approach effectively captures a broad Pareto front, enhancing solution diversity. Experimental results on benchmark instances demonstrate that the proposed method effectively balances two objectives and outperforms baseline approaches in time efficiency.
- [205] arXiv:2603.18041 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Quotient Geometry and Persistence-Stable Metrics for Swarm ConfigurationsAuthors: Mark M. BaileyComments: 20 pagesSubjects: Machine Learning (cs.LG); Social and Information Networks (cs.SI); Systems and Control (eess.SY); Algebraic Topology (math.AT)
Swarm and constellation reconfiguration can be viewed as motion of an unordered point configuration in an ambient space. Here, we provide persistence-stable, symmetry-invariant geometric representations for comparing and monitoring multi-agent configuration data. We introduce a quotient formation space $\mathcal{S}_n(M,G)=M^n/(G\times S_n)$ and a formation matching metric $d_{M,G}$ obtained by optimizing a worst-case assignment error over ambient symmetries $g\in G$ and relabelings $\sigma\in S_n$. This metric is a structured, physically interpretable relaxation of Gromov--Hausdorff distance: the induced inter-agent metric spaces satisfy $d_{\mathrm{GH}}(X_x,X_y)\le d_{M,G}([x],[y])$. Composing this bound with stability of Vietoris--Rips persistence yields $d_B(\Phi_k([x]),\Phi_k([y]))\le d_{M,G}([x],[y])$, providing persistence-stable signatures for reconfiguration monitoring. We analyze the metric geometry of $(\mathcal{S}_n(M,G),d_{M,G})$: under compactness/completeness assumptions on $M$ and compact $G$ it is compact/complete and the metric induces the quotient topology; if $M$ is geodesic then the quotient is geodesic and exhibits stratified singularities along collision and symmetry strata, relating it to classical configuration spaces. We study expressivity of the signatures, identifying symmetry-mismatch and persistence-compression mechanisms for non-injectivity. Finally, in a phase-circle model we prove a conditional inverse theorem: under semicircle support and a gap-labeling margin, the $H_0$ signature is locally bi-Lipschitz to $d_{M,G}$ up to an explicit factor, yielding two-sided control. Examples on $\mathbb{S}^2$ and $\mathbb{T}^m$ illustrate satellite-constellation and formation settings.
- [206] arXiv:2603.18061 (cross-list from physics.flu-dyn) [pdf, ps, other]
-
Title: SIREN Residual Error as a Regularity Diagnostic for Navier-Stokes EquationsAuthors: Jason BurtonComments: 9 pages, 5 figuresSubjects: Fluid Dynamics (physics.flu-dyn); Analysis of PDEs (math.AP)
We introduce a method for detecting regularity loss in solutions to the three-dimensional Navier-Stokes equations using the approximation error of Sinusoidal Representation Networks (SIRENs). SIRENs use sin() activations, producing C-infinity outputs that cannot represent non-smooth features. By classical spectral approximation theory, the SIREN error is bounded by O(N^{-s}) where s is the local Sobolev regularity. At a singularity (s to 0), the error is O(1) and localizes via the Gibbs phenomenon. We decompose the velocity field into a cheap analytical baseline (advection-diffusion) and a learned residual (pressure correction), training a compact SIREN (4,867 parameters). We validate on the 3D Taylor-Green vortex, where error concentration increases from 4.9x to 13.6x as viscosity decreases from 0.01 to 0.0001, localizing to the stagnation point -- the geometry matching the singularity proven by Chen and Hou (2025) for 3D Euler. On axisymmetric equations, we reproduce blowup signatures (T* converging across resolutions) and identify a critical viscosity nu_c = 0.00582 for the regularization transition.
- [207] arXiv:2603.18136 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Towards sample-optimal learning of bosonic Gaussian quantum statesAuthors: Senrui Chen, Francesco Anna Mele, Marco Fanizza, Alfred Li, Zachary Mann, Hsin-Yuan Huang, Yanbei Chen, John PreskillComments: 59 pages, 3 figures, 1 table. Comments welcomeSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Machine Learning (cs.LG); Mathematical Physics (math-ph)
Continuous-variable systems enable key quantum technologies in computation, communication, and sensing. Bosonic Gaussian states emerge naturally in various such applications, including gravitational-wave and dark-matter detection. A fundamental question is how to characterize an unknown bosonic Gaussian state from as few samples as possible. Despite decades-long exploration, the ultimate efficiency limit remains unclear. In this work, we study the necessary and sufficient number of copies to learn an $n$-mode Gaussian state, with energy less than $E$, to $\varepsilon$ trace distance with high probability. We prove a lower bound of $\Omega(n^3/\varepsilon^2)$ for Gaussian measurements, matching the best known upper bound up to doubly-log energy dependence, and ${\Omega}(n^2/\varepsilon^2)$ for arbitrary measurements. We further show an upper bound of $\widetilde{O}(n^2/\varepsilon^2)$ given that the Gaussian state is promised to be either pure or passive. Interestingly, while Gaussian measurements suffice for nearly optimal learning of pure Gaussian states, non-Gaussian measurements are provably required for optimal learning of passive Gaussian states. Finally, focusing on learning single-mode Gaussian states via non-entangling Gaussian measurements, we provide a nearly tight bound of $\widetilde\Theta(E/\varepsilon^2)$ for any non-adaptive schemes, showing adaptivity is indispensable for nearly energy-independent scaling. As a byproduct, we establish sharp bounds on the trace distance between Gaussian states in terms of the total variation distance between their Wigner distributions, and obtain a nearly tight sample complexity bound for learning the Wigner distribution of any Gaussian state to $\varepsilon$ total variation distance. Our results greatly advance quantum learning theory in the bosonic regimes and have practical impact in quantum sensing and benchmarking applications.
- [208] arXiv:2603.18140 (cross-list from hep-th) [pdf, ps, other]
-
Title: Moments in the CFT LandscapeComments: 49 pages, 25 figuresSubjects: High Energy Physics - Theory (hep-th); Statistical Mechanics (cond-mat.stat-mech); High Energy Physics - Lattice (hep-lat); Mathematical Physics (math-ph)
We develop a novel numerical bootstrap for unitary, crossing-symmetric conformal field theories, focusing on moment observables defined as weighted averages over conformal data. Providing a global and coarse-grained probe of the operator spectrum, this framework yields numerically rigorous bounds on the operator distribution using standard semidefinite programming techniques. In the heavy correlator regime, these bounds remain robust and converge rapidly towards analytically-derived power laws. At finite external dimensions, low-lying moments capture corrections to analytic heavy limit results, while reproducing familiar bootstrap solutions such as Ising-model kinks on the boundary of moment space. Most importantly, the moment bootstrap reveals new features in previously unexplored regions of the bootstrap landscape. The lower bounds on moment variables exhibit two continuous families of kinks persisting across $2 < d < 6$, reflecting nontrivial spectral reorganizations connected to underlying operator decoupling phenomena. These results demonstrate that moment variables uncover bootstrap solutions and collective structures that are difficult to access within traditional numerical approaches.
- [209] arXiv:2603.18207 (cross-list from nlin.SI) [pdf, ps, other]
-
Title: Soliton solutions to the coupled Sasa-Satsuma-mKdV equationComments: 35 pages, 26 figuresSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph)
We consider the soliton solutions of a recently proposed coupled Sasa-Satsuma-mKdV equation using the Kadomtsev-Petviashvili reduction method. The system consists of a complex-valued component coupled with a real-valued one. Under zero or nonzero boundary conditions, we derive four distinct classes of soliton solutions: bright-bright, dark-dark, bright-dark, and dark-bright. These solutions are derived from the vector Hirota equation, for which the bright, dark, and bright-dark soliton solutions are provided in the Appendix. We perform asymptotic analysis of soliton collisions for each class of solutions, in which inelastic collisions are observed between bright-bright solitons. In the dark-dark case, we identify soliton profiles similar to the Sasa-Satsuma equation, including double-hole, Mexican hat, and anti-Mexican hat solutions; this study further explores the collisions between these structures and hyperbolic tangent shaped kink solitons. Regarding the bright-dark case, beyond the expected soliton-kink interactions, we report and analyze a notable collision occurring between kink solitons.
- [210] arXiv:2603.18231 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Iterative Decoding of Stabilizer Codes under Radiation-Induced Correlated NoiseAuthors: Anuj K. Nayak, Paul G. Baity, Peter J. Love, Nicholas Jeon, Byung-Jun Yoon, Adolfy Hoisie, Lav R. VarshneyComments: 14 pages, 14 figures, 2 tables, 2 algorithmsSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Signal Processing (eess.SP)
Fault-tolerant quantum computation demands extremely low logical error rates, yet superconducting qubit arrays are subject to radiation-induced correlated noise arising from cosmic-ray muon-generated quasiparticles. The quasiparticle density is unknown and time-varying, resulting in a mismatch between the true noise statistics and the priors assumed by standard decoders, and consequently, degraded logical performance. We formalize joint noise sensing and decoding using syndrome measurements by modeling the QP density as a latent variable, which governs correlation in physical errors and syndrome measurements. Starting from a variational expectation--maximization approach, we derive an iterative algorithm that alternates between QP density estimation and syndrome-based decoding under the updated noise model. Simulations of surface-code and bivariate bicycle quantum memory under radiation-induced correlated noise demonstrate a measurable reduction in logical error probability relative to baseline decoding with a uniform prior. Beyond improved decoding performance, the inferred QP density provides diagnostic information relevant to device characterization, shielding, and chip design. These results indicate that integrating physical noise estimation into decoding can mitigate correlated noise effects and relax effective error-rate requirements for fault-tolerant quantum computation.
- [211] arXiv:2603.18249 (cross-list from q-bio.QM) [pdf, ps, other]
-
Title: RAFT-UP: Robust Alignment for Spatial Transcriptomics with Explicit Control of Spatial DistortionSubjects: Quantitative Methods (q-bio.QM); Optimization and Control (math.OC)
Spatial transcriptomics (ST) profiles gene expression across a tissue section while preserving the spatial coordinates. Because current ST technologies typically profile two-dimensional tissue slices, integrating and aligning slices from different regions of the same three-dimensional tissue or from samples under different conditions enables analyses that reveal 3D organization and condition-associated spatial patterns. Two major challenges remain. First, interpretable and flexible control over spatial distortion is needed because rigid transformations can be overly restrictive, whereas highly deformable mappings may arbitrarily distort spatial proximity. Second, biologically plausible matching is also needed, especially when the slices overlap partially. Here, we introduce RAFT-UP, a tool for robust ST alignment that provides explicit control over spatial distance preservation through a fused supervised Gromov-Wasserstein (FsGW) optimal transport framework. FsGW combines expression and spatial information, incorporates spot-wise constraints to discourage biologically implausible matches, and enforces a pairwise distance-consistency constraint that prevents mapping two pairs of spots when their spatial distances differ beyond a specified tolerance. We demonstrate that RAFT-UP accurately aligns slices from different regions of the same tissue and slices from different samples. Benchmarking shows that RAFT-UP improves spatial distance preservation while achieving spot label matching accuracy comparable to state-of-the-art methods. Finally, we demonstrate RAFT-UP on two spatially constrained downstream applications, including spatiotemporal mapping of developing mouse midbrain and comparative cross-slice analysis of cell-cell communication. RAFT-UP is available as open-source software.
- [212] arXiv:2603.18254 (cross-list from cs.DS) [pdf, ps, other]
-
Title: Computation-Utility-Privacy Tradeoffs in Bayesian EstimationComments: To appear at STOC 2026Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Information Theory (cs.IT); Machine Learning (cs.LG); Machine Learning (stat.ML)
Bayesian methods lie at the heart of modern data science and provide a powerful scaffolding for estimation in data-constrained settings and principled quantification and propagation of uncertainty. Yet in many real-world use cases where these methods are deployed, there is a natural need to preserve the privacy of the individuals whose data is being scrutinized. While a number of works have attempted to approach the problem of differentially private Bayesian estimation through either reasoning about the inherent privacy of the posterior distribution or privatizing off-the-shelf Bayesian methods, these works generally do not come with rigorous utility guarantees beyond low-dimensional settings. In fact, even for the prototypical tasks of Gaussian mean estimation and linear regression, it was unknown how close one could get to the Bayes-optimal error with a private algorithm, even in the simplest case where the unknown parameter comes from a Gaussian prior. In this work, we give the first efficient algorithms for both of these problems that achieve mean-squared error $(1+o(1))\mathrm{OPT}$ and additionally show that both tasks exhibit an intriguing computational-statistical gap. For Bayesian mean estimation, we prove that the excess risk achieved by our method is optimal among all efficient algorithms within the low-degree framework, yet is provably worse than what is achievable by an exponential-time algorithm. For linear regression, we prove a qualitatively similar lower bound. Our algorithms draw upon the privacy-to-robustness framework of arXiv:2212.05015, but with the curious twist that to achieve private Bayes-optimal estimation, we need to design sum-of-squares-based robust estimators for inherently non-robust objects like the empirical mean and OLS estimator. Along the way we also add to the sum-of-squares toolkit a new kind of constraint based on short-flat decompositions.
- [213] arXiv:2603.18283 (cross-list from cs.CG) [pdf, ps, other]
-
Title: Turnpike with Uncertain Measurements: Triangle-Equality ILP with a Deterministic Recovery GuaranteeComments: 16 pages, 4 figuresSubjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)
We study Turnpike with uncertain measurements: reconstructing a one-dimensional point set from an unlabeled multiset of pairwise distances under bounded noise and rounding. We give a combinatorial characterization of realizability via a multi-matching that labels interval indices by distinct distance values while satisfying all triangle equalities. This yields an ILP based on the triangle equality whose constraint structure depends only on the two-partition set $\mathcal{P}_y=\{(r,s,t): y_r+y_s=y_t\}$ and a natural LP relaxation with $\{0,1\}$-coefficient constraints. Integral solutions certify realizability and output an explicit assignment matrix, enabling an assignment-first, regression-second pipeline for downstream coordinate estimation. Under bounded noise followed by rounding, we prove a deterministic separation condition under which $\mathcal{P}_y$ is recovered exactly, so the ILP/LP receives the same combinatorial input as in the noiseless case. Experiments illustrate integrality behavior and degradation outside the provable regime.
- [214] arXiv:2603.18296 (cross-list from nlin.SI) [pdf, ps, other]
-
Title: Nonlinear Incompressible Shear Wave Models in Hyperelasticity and Viscoelasticity Frameworks, with Applications to Love WavesSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
General equations describing shear displacements in incompressible hyperelastic materials, holding for an arbitrary form of strain energy density function, are presented and applied to the description of nonlinear Love-type waves propagating on an interface between materials with different mechanical properties. The model is valid for a broad class of hyper-viscoelastic materials. For a cubic Yeoh model, shear wave equations contain cubic and quintic differential polynomial terms, including viscoelasticity contributions in terms of dispersion terms that include mixed derivatives $u_{xxt}$ of the material displacement. Full (2+1)-dimensional numerical simulations of waves propagating in the bulk of a two-layered solid are undertaken and analyzed with respect to the source position and mechanical properties of the layers. Interfacial nonlinear Love waves and free upper surface shear waves are tracked; it is demonstrated that in the fully nonlinear case, the variable wave speed of interface and surface waves generally satisfies the linear Love wave existence condition $c_1 < \abs{v} < c_2$, while tending to the larger material wave speed $c_1$ or $c_2$ for large times.
- [215] arXiv:2603.18318 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Efficient Soft-Output Guessing for Enhanced Quantum Tanner Code DecodingSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
We introduce a generalized low-density parity-check decoding framework for quantum Tanner codes utilizing soft-output guessing random additive noise decoding (SOGRAND). By soft-output decoding entire component codes, we mitigate trapping sets and cycles, resulting in improved convergence. SOGRAND, combined with ordered statistic decoding (OSD) post-processing, outperforms the standard belief propagation plus OSD baseline by up to three orders of magnitude in logical error rate, providing a way forward for scalable decoding of the emerging class of Tanner-code-based quantum codes.
- [216] arXiv:2603.18340 (cross-list from gr-qc) [pdf, ps, other]
-
Title: Contrasting behaviour of two spherically symmetric perfect fluids near a weak null singularity in a spherically symmetric black holeAuthors: Raya V. ManchevaComments: 85 pages, 18 figures. The conference proceedings paper 'Reviewing two perfect fluids near a weak null singularity in spherical symmetry', submitted for the proceedings of the GR24-Amaldi16 conference proceedings, and accepted for publication in February 2026, is based on the current paperSubjects: General Relativity and Quantum Cosmology (gr-qc); Analysis of PDEs (math.AP)
In this work we contrast the behaviour of two spherically symmetric matter models in a class of spherically symmetric spacetimes which feature a weak null singularity. This class in particular contains spherically symmetric perturbations of subextremal Reissner-Nordstr\"{o}m under the Einstein--Maxwell--scalar field system, a system for which a $C^2$ formulation of the strong cosmic censorship conjecture was proved by Luk-Oh, arXiv:1702.05715 and Dafermos, arXiv:1201.1797. Firstly, we consider the Cauchy problem of spherically symmetric dust falling into the weak null singularity (WNS) where the initial dust velocity is normal to a smooth spacelike curve with certain properties. We prove that the flow of the dust velocity does not experience any shell-crossing before or at the singularity, the velocity vector remains timelike, and that the dust energy density remains bounded as matter approaches the singularity. Secondly, we consider the characteristic initial value problem for stiff perfect fluid falling into the WNS. By relating the stiff fluid velocity and energy density to a scalar field satisfying the homogeneous linear wave equation, we prove that this energy density becomes infinite as we approach the weak null singularity. Furthermore, we show that the ingoing component of the stiff fluid velocity blows up while the outgoing component approaches zero at the singularity. Therefore the velocity vector approaches an ingoing null vector tangent to the singular hypersurface.
- [217] arXiv:2603.18368 (cross-list from cs.LO) [pdf, ps, other]
-
Title: Decidability of Quantum Modal LogicAuthors: Kenji TokuoJournal-ref: Logic Journal of the IGPL, Volume 33, Issue 3, June 2025, jzaf010Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
The decidability of a logical system refers to the existence of an algorithm that can determine whether any given formula in that system is a theorem. In this paper, Harrop's lemma is used to prove the decidability of quantum modal logic.
- [218] arXiv:2603.18386 (cross-list from nlin.SI) [pdf, ps, other]
-
Title: $\mathrm{PGL}(3)$-invariant integrable systems from factorisation of linear differential and difference operatorsComments: 46 pagesSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph)
In this paper, we present a unified approach to constructing continuous and discrete $\mathrm{PGL}(3)$-invariant integrable systems, formulated in terms of the common dependent variables $z_1,z_2$, from linear spectral problems and their factorisation. Starting from third-order spectral problems, we first provide explicit forms of the differential and difference invariants, generalising the Schwarzian derivative and cross-ratio to the rank-$3$ setting. The factorisation induces dualities among linear spectral problems, underlying the exact discretisation and multi-dimensional consistency of the associated Boussinesq systems. Then, we derive both continuous and discrete $\mathrm{PGL}(3)$-invariant Boussinesq systems, representing natural rank-$3$ generalisations of the Schwarzian KdV and cross-ratio equations. A geometric lifting-decoupling mechanism is developed to explain the reduction of these systems to the $\mathrm{PGL}(2)$-invariant Boussinesq equations. Finally, we derive a ${\mathrm{PGL}}(3)$-invariant system of generating PDEs together with its Lagrangian structure, in which the lattice parameters serve as independent variables, providing the generating PDE system for the Boussinesq hierarchy.
- [219] arXiv:2603.18387 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Mathematical Foundations of Deep LearningAuthors: Xiaojing YeComments: Draft version. Final version is published in "Chapman & Hall/CRC Mathematics and Artificial Intelligence Series" by Taylor & Francis in 2026Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
This draft book offers a comprehensive and rigorous treatment of the mathematical principles underlying modern deep learning. The book spans core theoretical topics, from the approximation capabilities of deep neural networks, the theory and algorithms of optimal control and reinforcement learning integrated with deep learning techniques, to contemporary generative models that drive today's advances in artificial intelligence.
- [220] arXiv:2603.18422 (cross-list from eess.SY) [pdf, ps, other]
-
Title: Topological Obstructions to the Existence of Control Barrier FunctionsComments: 6 pages, 3 figuresSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
In 1983, Brockett developed a topological necessary condition for the existence of continuous, asymptotically stabilizing control laws. Building upon recent work on necessary conditions for set stabilization, we develop Brockett-like necessary conditions for the existence of control barrier functions (CBFs). By leveraging the unique geometry of CBF safe sets, we provide simple and self-contained derivations of necessary conditions for the existence of CBFs and their safe, continuous controllers. We demonstrate the application of these conditions to instructive examples and kinematic nonholonomic systems, and discuss their relationship to Brockett's necessary condition.
- [221] arXiv:2603.18483 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Precise Performance of Linear Denoisers in the Proportional RegimeSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Optimization and Control (math.OC)
In the present paper we study the performance of linear denoisers for noisy data of the form $\mathbf{x} + \mathbf{z}$, where $\mathbf{x} \in \mathbb{R}^d$ is the desired data with zero mean and unknown covariance $\mathbf{\Sigma}$, and $\mathbf{z} \sim \mathcal{N}(0, \mathbf{\Sigma}_{\mathbf{z}})$ is additive noise. Since the covariance $\mathbf{\Sigma}$ is not known, the standard Wiener filter cannot be employed for denoising. Instead we assume we are given samples $\mathbf{x}_1,\dots,\mathbf{x}_n \in \mathbb{R}^d$ from the true distribution. A standard approach would then be to estimate $\mathbf{\Sigma}$ from the samples and use it to construct an ``empirical" Wiener filter. However, in this paper, motivated by the denoising step in diffusion models, we take a different approach whereby we train a linear denoiser $\mathbf{W}$ from the data itself. In particular, we synthetically construct noisy samples $\hat{\mathbf{x}}_i$ of the data by injecting the samples with Gaussian noise with covariance $\mathbf{\Sigma}_1 \neq \mathbf{\Sigma}_{\mathbf{z}}$ and find the best $\mathbf{W}$ that approximates $\mathbf{W}\hat{\mathbf{x}}_i \approx \mathbf{x}_i$ in a least-squares sense. In the proportional regime $\frac{n}{d} \rightarrow \kappa > 1$ we use the {\it Convex Gaussian Min-Max Theorem (CGMT)} to analytically find the closed form expression for the generalization error of the denoiser obtained from this process. Using this expression one can optimize over $\mathbf{\Sigma}_1$ to find the best possible denoiser. Our numerical simulations show that our denoiser outperforms the ``empirical" Wiener filter in many scenarios and approaches the optimal Wiener filter as $\kappa\rightarrow\infty$.
- [222] arXiv:2603.18640 (cross-list from stat.ML) [pdf, ps, other]
-
Title: A Theoretical Comparison of No-U-Turn Sampler Variants: Necessary and Su?cient Convergence Conditions and Mixing Time Analysis under Gaussian TargetsSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Probability (math.PR)
The No-U-Turn Sampler (NUTS) is the computational workhorse of modern Bayesian software libraries, yet its qualitative and quantitative convergence guarantees were established only recently. A significant gap remains in the theoretical comparison of its two main variants: NUTS-mul and NUTS-BPS, which use multinomial sampling and biased progressive sampling, respectively, for index selection. In this paper, we address this gap in three contributions. First, we derive the first necessary conditions for geometric ergodicity for both variants. Second, we establish the first sufficient conditions for geometric ergodicity and ergodicity for NUTS-mul. Third, we obtain the first mixing time result for NUTS-BPS on a standard Gaussian distribution. Our results show that NUTS-mul and NUTS-BPS exhibit nearly identical qualitative behavior, with geometric ergodicity depending on the tail properties of the target distribution. However, they differ quantitatively in their convergence rates. More precisely, when initialized in the typical set of the canonical Gaussian measure, the mixing times of both NUTS-mul and NUTS-BPS scale as $O(d^{1/4})$ up to logarithmic factors, where $d$ denotes the dimension. Nevertheless, the associated constants are strictly smaller for NUTS-BPS.
- [223] arXiv:2603.18665 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Schrödinger Bridges via the Hacking of Bayesian Priors in Classical and Quantum RegimesComments: 12 pages (main text, 23 pages total with appendix), 8 Figures,Subjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
Bayes' rule is widely regarded as the canonical prescription for belief updating. We show, however, that one can arbitrarily preserve pre-specified beliefs while appearing to perform Bayesian updates via "prior hacking": engineering a reference prior distribution such that, for a fixed channel and evidence, the update matches a chosen target distribution. We prove that this is generically possible in both classical and quantum settings whenever Bayesian inversions are well-defined (with the Petz recovery map as the quantum analogue to Bayes' rule), and provide constructive algorithms for doing so. We further establish a duality between prior hacking and Schr\"odinger bridge problems (a key object in statistical physics with applications in generative modelling), yielding in the quantum setting a unique, inference-consistent selection among candidate bridges. This formally establishes the Bayes-like updating that Schr\"odinger bridges are performing with respect to the process as opposed to the reference prior, both in classical and quantum settings.
- [224] arXiv:2603.18701 (cross-list from eess.SY) [pdf, ps, other]
-
Title: Assessing performance tradeoffs in hierarchical organizations using a diffusive coupling modelComments: Paper submitted to IFAC for publicationSubjects: Systems and Control (eess.SY); Dynamical Systems (math.DS); Physics and Society (physics.soc-ph)
We study a continuous-time dynamical system of nodes diffusively coupled over a hierarchical network to examine the efficiency and performance tradeoffs that organizations, teams, and command and control units face while achieving coordination and sharing information across layers. Specifically, after defining a network structure that captures real-world features of hierarchical organizations, we use linear systems theory and perturbation theory to characterize the rate of convergence to a consensus state, and how effectively information can propagate through the network, depending on the breadth of the organization and the strength of inter-layer communication. Interestingly, our analytical insights highlight a fundamental performance tradeoff. Namely, networks that favor fast coordination will have decreased ability to share information that is generated in the lower layers of the organization and is to be passed up the hierarchy. Numerical results validate and extend our theoretical results.
- [225] arXiv:2603.18720 (cross-list from cs.DS) [pdf, ps, other]
-
Title: Resource-Constrained Joint Replenishment via Power-of-$m^{1/k}$ PoliciesAuthors: Danny SegevSubjects: Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)
The continuous-time joint replenishment problem has long served as a foundational inventory management model. Even though its unconstrained setting has seen recent algorithmic advances, the incorporation of resource constraints into this domain precludes the application of newly discovered synchronization techniques. Such constraints arise in a broad spectrum of practical environments where resource consumption is bounded as an aggregate rate over time. However, for nearly four decades, the prevailing approximation guarantee for resource-constrained joint replenishment has remained $\frac{ 1 }{ \ln 2 } \approx 1.4427$, achieved via classical power-of-$2$ policies.
In this paper, we circumvent these structural policy restrictions by devising generalized rounding frameworks, demonstrating that a well-known convex relaxation is much tighter than previously established. In particular, we expand our analytical scope to encompass fractional base expansion factors, randomized shifting, and staggered interleaved grids. Through this multifaceted methodology, we present a sequence of gradually improving performance guarantees. First, by proposing a best-of-two framework that exploits structural asymmetries between deterministic power-of-$m^{1/k}$ policies, we surpass the classical barrier to obtain a $1.3776$-approximation. Second, by injecting a random shift into the logarithmic grid domain and formulating a factor-revealing linear program to optimize a dual-policy approach, we attain a $1.2512$-approximation. Finally, by superimposing a secondary offset grid to subdivide rounding intervals and suppress holding cost inflation, we utilize interleaved policies to arrive at our ultimate approximation ratio of $\frac{5}{6\ln 2} \approx 1.2023$, which is proven to be best-possible for the class of interleaved power-of-$m^{1/k}$ policies. - [226] arXiv:2603.18721 (cross-list from cond-mat.stat-mech) [pdf, ps, other]
-
Title: Thermal relaxation asymmetry persists under inertial effectsSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Probability (math.PR)
We algebraically prove the asymmetry in thermal relaxation in phase space in the entire range from overdamped dynamics to underdamped dynamics. We show that for the same setup as for overdamped dynamics, even in the more general case of phase-space relaxation, i.e., underdamped dynamics, far-from-equilibrium heating is faster than cooling. Upon isolating the relevant relaxational contribution to the entropy production, we find that the asymmetry persist for underdamped dynamics that are linearly driven out of equilibrium. The coupling of positions and velocities emerging in this generalization further underscores, in a striking manner, the intricate dynamics of such thermal relaxation processes that do not pass through local equilibria. Investigating the overdamped limit, our generalized approach reveals, interestingly, that an excess free energy contribution from the velocity degrees of freedom does not trivially vanish in the overdamped limit, but is instead affected by the precise interpretation of temperature quenches in overdamped systems.
- [227] arXiv:2603.18816 (cross-list from cond-mat.stat-mech) [pdf, ps, other]
-
Title: Extreme value statistics and some applications in statistical physicsComments: 31 pages, 9 figures, notes to a lecture given at FPSP XVI in OropaSubjects: Statistical Mechanics (cond-mat.stat-mech); Probability (math.PR)
These notes are based on lectures delivered by G. Schehr at the XVIth School on Fundamental Problems in Statistical Physics (FPSP), held in Oropa (Italy) from 30 June to 11 July 2025. After a brief introduction to extreme value statistics (EVS) for independent and identically distributed (IID) random variables, we discuss several paradigmatic examples of strongly correlated systems where classical extreme value theory no longer applies. In particular, we focus on time series generated by random walks and Brownian motion, as well as on eigenvalue statistics in random matrix theory. Emphasis is placed on applications of EVS to fundamental problems in statistical physics and disordered systems, including the Random Energy Model, stochastic search problems, as well as fluctuating interfaces, and directed polymers in random media within the Kardar-Parisi-Zhang universality class.
- [228] arXiv:2603.18820 (cross-list from cs.FL) [pdf, ps, other]
-
Title: An automata-based test for bricks over string algebrasComments: 11 pages, 4 figuresSubjects: Formal Languages and Automata Theory (cs.FL); Representation Theory (math.RT)
Motivated by the recent work of Deaconu, Mousavand and Paquette on the connection between infinite string bricks for certain gentle algebras and Sturmian words, we develop a decorated version of a deterministic automaton, called a multi-entry inverse automaton (MIA, for short) that accepts pointed words. We then associate an MIA $\mathsf M_{\Lambda\delta}$ over $\{0,1\}$ to a string algebra $\Lambda$, and show that strings over $\Lambda$ can be viewed as certain equivalence classes of the pointed words accepted by $\mathsf M_{\Lambda\delta}$. By defining (weak) brick words over this MIA, we show that a finite/infinite string module (resp. band module) is a brick if and only if every word in the associated equivalence class of pointed binary words is a brick word (resp. a weak brick word) over $\mathsf M_{\Lambda\delta}$. The result of Deaconu et al. follows as an immediate consequence.
- [229] arXiv:2603.18858 (cross-list from cs.FL) [pdf, ps, other]
-
Title: State Complexity of Shifts of the Fibonacci WordSubjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Number Theory (math.NT)
The Fibonacci infinite word ${\bf f} = (f_i)_{i \geq 0} = 01001010\cdots$ is one of the most celebrated objects in combinatorics on words. There is a simple $5$-state automaton that, given $i$ in lsd-first Zeckendorf representation, computes its $i$'th term $f_i$, and a $2$-state automaton for msd-first. In this paper we consider the state complexity of the automaton generating the shifted sequence $(f_{i+c})_{i \geq 0}$, and show that it is $O(\log c)$ for both msd-first and lsd-first input. This is close to the information-theoretic minimum for an aperiodic sequence. The techniques involve a mixture of state complexity techniques and Diophantine approximation.
- [230] arXiv:2603.18899 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Uniform a priori bounds and error analysis for the Adam stochastic gradient descent optimization methodComments: 34 pagesSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
The adaptive moment estimation (Adam) optimizer proposed by Kingma & Ba (2014) is presumably the most popular stochastic gradient descent (SGD) optimization method for the training of deep neural networks (DNNs) in artificial intelligence (AI) systems. Despite its groundbreaking success in the training of AI systems, it still remains an open research problem to provide a complete error analysis of Adam, not only for optimizing DNNs but even when applied to strongly convex stochastic optimization problems (SOPs). Previous error analysis results for strongly convex SOPs in the literature provide conditional convergence analyses that rely on the assumption that Adam does not diverge to infinity but remains uniformly bounded. It is the key contribution of this work to establish uniform a priori bounds for Adam and, thereby, to provide -- for the first time -- an unconditional error analysis for Adam for a large class of strongly convex SOPs.
- [231] arXiv:2603.18907 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Neural Galerkin Normalizing Flow for Transition Probability Density Functions of Diffusion ModelsComments: 12 pages, 4 figuresSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)
We propose a new Neural Galerkin Normalizing Flow framework to approximate the transition probability density function of a diffusion process by solving the corresponding Fokker-Planck equation with an atomic initial distribution, parametrically with respect to the location of the initial mass. By using Normalizing Flows, we look for the solution as a transformation of the transition probability density function of a reference stochastic process, ensuring that our approximation is structure-preserving and automatically satisfies positivity and mass conservation constraints. By extending Neural Galerkin schemes to the context of Normalizing Flows, we derive a system of ODEs for the time evolution of the Normalizing Flow's parameters. Adaptive sampling routines are used to evaluate the Fokker-Planck residual in meaningful locations, which is of vital importance to address high-dimensional PDEs. Numerical results show that this strategy captures key features of the true solution and enforces the causal relationship between the initial datum and the density function at subsequent times. After completing an offline training phase, online evaluation becomes significantly more cost-effective than solving the PDE from scratch. The proposed method serves as a promising surrogate model, which could be deployed in many-query problems associated with stochastic differential equations, like Bayesian inference, simulation, and diffusion bridge generation.
- [232] arXiv:2603.18938 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Kernel Single-Index Bandits: Estimation, Inference, and LearningSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
We study contextual bandits with finitely many actions in which the reward of each arm follows a single-index model with an arm-specific index parameter and an unknown nonparametric link function. We consider a regime in which arms correspond to stable decision options and covariates evolve adaptively under the bandit policy. This setting creates significant statistical challenges: the sampling distribution depends on the allocation rule, observations are dependent over time, and inverse-propensity weighting induces variance inflation. We propose a kernelized $\varepsilon$-greedy algorithm that combines Stein-based estimation of the index parameters with inverse-propensity-weighted kernel ridge regression for the reward functions. This approach enables flexible semiparametric learning while retaining interpretability. Our analysis develops new tools for inference with adaptively collected data. We establish asymptotic normality for the single-index estimator under adaptive sampling, yielding valid confidence regions, and derive a directional functional central limit theorem for the RKHS estimator, which provides asymptotically valid pointwise confidence intervals. The analysis relies on concentration bounds for inverse-weighted Gram matrices together with martingale central limit theorems. We further obtain finite-time regret guarantees, including $\tilde{O}(\sqrt{T})$ rates under common-link Lipschitz conditions, showing that semiparametric structure can be exploited without sacrificing statistical efficiency. These results provide a unified framework for simultaneous learning and inference in single-index contextual bandits.
- [233] arXiv:2603.19024 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Exact Law of Quantum Reversibility under Gaussian Pure LossAuthors: Ammar FayadComments: arXiv admin note: text overlap with arXiv:2603.06488Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Optics (physics.optics)
Classical reverse diffusion is generated by changing the drift at fixed noise. We show that the quantum version of this principle obeys an exact law with a sharp phase boundary. For Gaussian pure-loss dynamics -- the canonical model of continuous-variable decoherence in optical attenuation channels, squeezed-light interferometric sensing, and superconducting bosonic architectures -- complete positivity, the requirement that the dynamics remain physical even for systems entangled with an ancilla, creates an exact phase boundary at which the minimum reverse cost vanishes, fixes the reverse-noise budget on both sides, and makes pure nonclassical targets dynamically singular. The minimum reverse cost vanishes exactly at a critical squeezing-to-thermal ratio and is strictly positive away from it, with a sharp asymmetry: below the boundary, standard reverse prescriptions such as the fixed-diffusion Bayes reverse remain feasible at mild cost; above it, these prescriptions become infeasible, the covariance-aligned generator remains CP-feasible and uniquely optimal, and the cost can be severe. The optimal reverse noise is locked to the state's own fluctuation geometry and simultaneously minimizes the geometric, metrological, and thermodynamic price of reversal. For multimode trajectories, the exact cost is additive in a canonical set of mode-resolved data, and a globally continuous protocol attains this optimum on every mixed-state interval. If a pure nonclassical endpoint is included, the same pointwise law holds for every $t>0$, but the optimum diverges as $2/t$: exact reversal of a pure quantum state is dynamically unattainable. These results establish an exact law of quantum reversibility in the canonical pure-loss setting and provide a sharp benchmark for broader theories of quantum reverse diffusion.
- [234] arXiv:2603.19130 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Quantum block encoding for semiseparable matricesSubjects: Quantum Physics (quant-ph); Numerical Analysis (math.NA); Quantum Algebra (math.QA)
Quantum block encoding (QBE) is a crucial step in the development of most quantum algorithms, as it provides an embedding of a given matrix into a suitable larger unitary matrix. Historically, the development of efficient techniques for QBE has mostly focused on sparse matrices; less effort has been devoted to data-sparse (e.g., rank-structured) matrices.
In this work we examine a particular case of rank structure, namely, one-pair semiseparable matrices. We present a new block encoding approach that relies on a suitable factorization of the given matrix as the product of triangular and diagonal factors. To encode the matrix, the algorithm needs $2\log(N)+7$ ancillary qubits. This process takes polylogarithmic time and has an error of $\mathcal{O}(N^2)$, where $N$ is the matrix size. - [235] arXiv:2603.19165 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Rigorous Error Certification for Neural PDE Solvers: From Empirical Residuals to Solution GuaranteesComments: 35 pagesSubjects: Machine Learning (cs.LG); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
Uncertainty quantification for partial differential equations is traditionally grounded in discretization theory, where solution error is controlled via mesh/grid refinement. Physics-informed neural networks fundamentally depart from this paradigm: they approximate solutions by minimizing residual losses at collocation points, introducing new sources of error arising from optimization, sampling, representation, and overfitting. As a result, the generalization error in the solution space remains an open problem.
Our main theoretical contribution establishes generalization bounds that connect residual control to solution-space error. We prove that when neural approximations lie in a compact subset of the solution space, vanishing residual error guarantees convergence to the true solution. We derive deterministic and probabilistic convergence results and provide certified generalization bounds translating residual, boundary, and initial errors into explicit solution error guarantees. - [236] arXiv:2603.19168 (cross-list from hep-th) [pdf, ps, other]
-
Title: Quasinormal Modes of Extremal Reissner-Nordstrom Black Holes via Seiberg-Witten QuantizationComments: 19 pages, 4 tables, 1 figureSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Phenomenology (hep-ph); Mathematical Physics (math-ph)
We study the neutral scalar perturbations of asymptotically flat extremal Reissner-Nordstr\"om black holes via the quantum geometry of $\mathcal{N}=2$ $\mathrm{SU(2)}$ gauge theory with $N_f=2$ flavors. The master equation, given by a double confluent Heun equation, is mapped to the quantum Seiberg-Witten curve in the Nekrasov-Shatashvili limit. We compute the quasinormal mode frequencies non-perturbatively using the quantization condition derived from the Nekrasov-Shatashvili free energy. Our analytical results accurately reproduce the numerical benchmarks for massless fields, and capture the quasi-resonance behavior of massive probes at the strict extremal limit.
- [237] arXiv:2603.19170 (cross-list from cs.RO) [pdf, ps, other]
-
Title: ADMM-Based Distributed MPC with Control Barrier Functions for Safe Multi-Robot Quadrupedal LocomotionAuthors: Yicheng Zeng, Ruturaj S. Sambhus, Basit Muhammad Imran, Jeeseop Kim, Vittorio Pastore, Kaveh Akbari HamedSubjects: Robotics (cs.RO); Optimization and Control (math.OC)
This paper proposes a fully decentralized model predictive control (MPC) framework with control barrier function (CBF) constraints for safety-critical trajectory planning in multi-robot legged systems. The incorporation of CBF constraints introduces explicit inter-agent coupling, which prevents direct decomposition of the resulting optimal control problems. To address this challenge, we reformulate the centralized safety-critical MPC problem using a structured distributed optimization framework based on the alternating direction method of multipliers (ADMM). By introducing a novel node-edge splitting formulation with consensus constraints, the proposed approach decomposes the global problem into independent node-local and edge-local quadratic programs that can be solved in parallel using only neighbor-to-neighbor communication. This enables fully decentralized trajectory optimization with symmetric computational load across agents while preserving safety and dynamic feasibility. The proposed framework is integrated into a hierarchical locomotion control architecture for quadrupedal robots, combining high-level distributed trajectory planning, mid-level nonlinear MPC enforcing single rigid body dynamics, and low-level whole-body control enforcing full-order robot dynamics. The effectiveness of the proposed approach is demonstrated through hardware experiments on two Unitree Go2 quadrupedal robots and numerical simulations involving up to four robots navigating uncertain environments with rough terrain and external disturbances. The results show that the proposed distributed formulation achieves performance comparable to centralized MPC while reducing the average per-cycle planning time by up to 51% in the four-agent case, enabling efficient real-time decentralized implementation.
Replacements for Fri, 20 Mar 26
- [238] arXiv:2009.12709 (replaced) [pdf, ps, other]
-
Title: Exchange and exclusion in the non-abelian anyon gasComments: 79 pages, 10 figures. V2: Added Corollary 5.6 and Remark 5.9; minor corrections and clarificationsSubjects: Mathematical Physics (math-ph); Quantum Gases (cond-mat.quant-gas); Spectral Theory (math.SP)
- [239] arXiv:2104.07431 (replaced) [pdf, ps, other]
-
Title: One-ended spanning subforests and treeability of groupsComments: Various typos fixed. Small changes according to referees suggestions. 47 pages, 2 x 2 figuresSubjects: Group Theory (math.GR); Dynamical Systems (math.DS); Logic (math.LO); Operator Algebras (math.OA); Probability (math.PR)
- [240] arXiv:2107.08686 (replaced) [pdf, ps, other]
-
Title: Improved Learning Rates for Stochastic OptimizationComments: This version substantially revises and supersedes all previous versions. Earlier versions contained errors and should not be relied upon for the current results or statements. The manuscript has been thoroughly rewritten, with a narrowed scope, a simplified presentation, a revised focus, and corresponding updates to the title and main claims. Please refer to and cite the current versionSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
- [241] arXiv:2107.12570 (replaced) [pdf, ps, other]
-
Title: Sharp interaction estimates and their application: existence of normalized ground states to coupled Schrödinger systems with potentialsComments: 46 pagesSubjects: Analysis of PDEs (math.AP)
- [242] arXiv:2305.19025 (replaced) [pdf, ps, other]
-
Title: Szego Theorem for Operator Orthogonal PolynomialsSubjects: Probability (math.PR)
- [243] arXiv:2307.12544 (replaced) [pdf, ps, other]
-
Title: Adaptive debiased machine learning using data-driven model selection techniquesSubjects: Methodology (stat.ME); Statistics Theory (math.ST); Machine Learning (stat.ML)
- [244] arXiv:2308.02806 (replaced) [pdf, ps, other]
-
Title: Invariant integral structures in pseudo $H$-type Lie algebras: construction and classificationComments: 42 pages, 17 tablesSubjects: Rings and Algebras (math.RA)
- [245] arXiv:2308.09056 (replaced) [pdf, ps, other]
-
Title: When are permutation invariants Cohen-Macaulay?Comments: This version is a substantial revision with several changes to the order of presentation designed to improve the readability. Several arguments have been improvedSubjects: Commutative Algebra (math.AC)
- [246] arXiv:2309.00308 (replaced) [pdf, ps, other]
-
Title: Coulomb gas and the Grunsky operator on a Jordan domain with cornersComments: Accepted for publication in Invent. Math. 54 pages, 2 figures. Corrections and revisions following the referee's commentsSubjects: Complex Variables (math.CV); Mathematical Physics (math-ph)
- [247] arXiv:2309.01100 (replaced) [pdf, ps, other]
-
Title: The twisted Gan-Gross-Prasad problem for finite classical groupsAuthors: Nhat Hoang LeComments: Minor changesSubjects: Representation Theory (math.RT)
- [248] arXiv:2309.08945 (replaced) [pdf, ps, other]
-
Title: Inverse classification with logistic and softmax classifiers: efficient optimizationComments: Appears in Transactions on Machine Learning Research, March 2026Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
- [249] arXiv:2310.18041 (replaced) [pdf, ps, other]
-
Title: Negativity-preserving transforms of tuples of symmetric matricesComments: Minor revisions. Final version, to appear in Proceedings of the London Mathematical SocietySubjects: Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA)
- [250] arXiv:2311.00657 (replaced) [pdf, ps, other]
-
Title: Imaginaries in equicharacteristic zero henselian fieldsComments: 35 pages. Comments welcome !Subjects: Logic (math.LO)
- [251] arXiv:2312.01749 (replaced) [pdf, ps, other]
-
Title: First-order convergence for $321$-avoiding permutationsAuthors: Alperen ÖzdemirComments: Revised version. 28 pages, 4 figuresSubjects: Probability (math.PR)
- [252] arXiv:2312.05617 (replaced) [pdf, ps, other]
-
Title: Positivity is undecidable in tensor products of free algebrasComments: 46 pages. v2: updated formatting and references to match the journal versionSubjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Group Theory (math.GR)
- [253] arXiv:2312.08531 (replaced) [pdf, ps, other]
-
Title: Revisiting the Last-Iterate Convergence of Stochastic Gradient MethodsComments: The preliminary version has been accepted at ICLR 2024. For the update history, please refer to the PDFSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
- [254] arXiv:2402.02917 (replaced) [pdf, ps, other]
-
Title: Construction of Optimal Algorithms for Function Approximation in Gaussian Sobolev SpacesComments: 19 pages, 2 figures, to appear on BIT Numerical MathematicsSubjects: Numerical Analysis (math.NA)
- [255] arXiv:2402.08014 (replaced) [pdf, ps, other]
-
Title: Logarithmic negative tangency and root stacksComments: 53 pages. Comments are welcome. v3: minor changes. Final version to appear in JEMSSubjects: Algebraic Geometry (math.AG)
- [256] arXiv:2402.15315 (replaced) [pdf, ps, other]
-
Title: On Minimal Depth in Neural NetworksAuthors: Juan L. ValerdiComments: 16 pagesSubjects: Machine Learning (cs.LG); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
- [257] arXiv:2403.07189 (replaced) [pdf, ps, other]
-
Title: A multiscale cavity method for sublinear-rank symmetric matrix factorizationComments: 65 pages. Filled out proof details, improved multiscale cavity method and its proof. Equation and theorem numbering made consistent with published versionSubjects: Information Theory (cs.IT); Disordered Systems and Neural Networks (cond-mat.dis-nn); Mathematical Physics (math-ph); Statistics Theory (math.ST)
- [258] arXiv:2405.18766 (replaced) [pdf, ps, other]
-
Title: A combinatorial interpretation of the Bernstein degree of unitary highest weight modulesComments: 35 pages; minor edits since previous version, plus addition of Table 3Subjects: Combinatorics (math.CO); Representation Theory (math.RT)
- [259] arXiv:2407.02134 (replaced) [pdf, ps, other]
-
Title: Abstract Markov Random FieldsComments: 56 pages, 9 figuresSubjects: Information Theory (cs.IT)
- [260] arXiv:2407.11565 (replaced) [pdf, ps, other]
-
Title: Quantitative estimates for singularity for conjugate equations driven by linear fractional transformationsAuthors: Kazuki OkamuraComments: 27 pages; Example 2.4 added; Proof of Lemma 3.12 corrected; Exposition modifiedSubjects: Classical Analysis and ODEs (math.CA)
- [261] arXiv:2407.13074 (replaced) [pdf, ps, other]
-
Title: On the algebraic lower bound for the radius of spatial analyticity for the Zakharov-Kuznetsov and modified Zakharov-Kuznetsov equationsComments: 34 pages. arXiv admin note: text overlap with arXiv:2308.08541Subjects: Analysis of PDEs (math.AP)
- [262] arXiv:2408.03086 (replaced) [pdf, ps, other]
-
Title: A generalization of the Choi isomorphism with application to open quantum systemsAuthors: Heinz-Jürgen SchmidtSubjects: Mathematical Physics (math-ph); Quantum Physics (quant-ph)
- [263] arXiv:2409.06810 (replaced) [pdf, ps, other]
-
Title: On the number of H-free hypergraphsComments: final version. appeared in Forum of Math, Sigma, vol 14, e20, 2026Subjects: Combinatorics (math.CO)
- [264] arXiv:2409.09505 (replaced) [pdf, ps, other]
-
Title: Hitchin systems and their quantizationComments: 70 pages, latex. v2: corrected some misprintsSubjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th); Quantum Algebra (math.QA); Representation Theory (math.RT)
- [265] arXiv:2410.04564 (replaced) [pdf, ps, other]
-
Title: Bypass moves in convex hypersurface theoryComments: Improvements following referee feedback; final version to appear in J. Symplectic GeomSubjects: Symplectic Geometry (math.SG)
- [266] arXiv:2410.04867 (replaced) [pdf, ps, other]
-
Title: Optimal execution with deterministically time varying liquidity: well posedness and price manipulationComments: 33 pages, & figuresSubjects: Optimization and Control (math.OC); Trading and Market Microstructure (q-fin.TR)
- [267] arXiv:2410.06402 (replaced) [pdf, ps, other]
-
Title: Weakly Special Manifolds with no rational curvesSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV); Differential Geometry (math.DG)
- [268] arXiv:2410.10520 (replaced) [pdf, ps, other]
-
Title: Regularity of the Semigroup of Regular Probability Measures on Locally Compact Hausdorff Topological Groups in which every element is of finite orderAuthors: M N N NamboodiriComments: This article contains 9 pages, which is a revised version of the earlier one where the Fourier transform techniques was not included. The present one contains Fourier transform technique also and deals with more general groups as indicated in the abstract. This helps to deal with examples such as Johnson-type groupsSubjects: Functional Analysis (math.FA); Rings and Algebras (math.RA)
- [269] arXiv:2410.11599 (replaced) [pdf, ps, other]
-
Title: Hurwitz equivalence in the universal dihedral quandleComments: 22 pages. The original manuscript has been split into two separate papers. This version (v2) contains the first part; the second part will appear as a separate submissionSubjects: Geometric Topology (math.GT)
- [270] arXiv:2410.18178 (replaced) [pdf, ps, other]
-
Title: Quantum linear system algorithm with optimal queries to initial state preparationComments: 89 pages, 3 figures. Corrected typosSubjects: Quantum Physics (quant-ph); Data Structures and Algorithms (cs.DS); Numerical Analysis (math.NA)
- [271] arXiv:2410.22294 (replaced) [pdf, ps, other]
-
Title: Planar Bilipschitz Extension from Separated NetsComments: Accepted in Journal of the London Mathematical Society. Minor revision following the referee's reportSubjects: Metric Geometry (math.MG); Functional Analysis (math.FA)
- [272] arXiv:2411.11569 (replaced) [pdf, ps, other]
-
Title: The Large-Color Expansion Derived from the Universal InvariantAuthors: Boudewijn BoschComments: 21 pages (Corrected a few typos from the previous version, added the notion of XC-algebras, clarified multiple images, and improved wording)Subjects: Geometric Topology (math.GT); Quantum Algebra (math.QA)
- [273] arXiv:2411.11594 (replaced) [pdf, ps, other]
-
Title: Interval Multiplicities of Persistence ModulesAuthors: Hideto Asashiba (1, 2 and 3), Enhao Liu (4) ((1) Department of Mathematics, Shizuoka University, (2) Osaka Central Advanced Mathematical Institute, Osaka Metropolitan University, (3) Institute for Advanced Study, Kyoto University, (4) Department of Mathematics, Kyoto University)Subjects: Representation Theory (math.RT); Algebraic Topology (math.AT); Rings and Algebras (math.RA)
- [274] arXiv:2411.17559 (replaced) [pdf, ps, other]
-
Title: Degrees of Freedom of Cache-Aided Interference Channels Assisted by Active Intelligent Reflecting SurfacesSubjects: Information Theory (cs.IT)
- [275] arXiv:2412.04162 (replaced) [pdf, ps, other]
-
Title: Estimating the persistent homology of $\mathbb{R}^n$-valued functions using function-geometric multifiltrationsComments: 38 pages; v3; add a corollary, with a proof, showing that the persistence module $H_*(f)$ satisfies a form of tamenessSubjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG)
- [276] arXiv:2412.05732 (replaced) [pdf, ps, other]
-
Title: The Singular Cohomology Ring of a MatroidAuthors: Kyle BinderComments: v2: 35 pages, new title, rewritten in terms of cohomology, added results for arbitrary building sets, appendix on Koszul homology and toric blow-ups. v1: 34 pages, comments welcome!Subjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
- [277] arXiv:2412.15746 (replaced) [pdf, ps, other]
-
Title: On the integrability of the supremum of stochastic volatility models and other martingalesSubjects: Probability (math.PR)
- [278] arXiv:2501.16170 (replaced) [pdf, ps, other]
-
Title: Canonical graph decompositions via local separationsComments: 65 pages, 18 figures; updated version incorporating valuable feedback by Reinhard Diestel; new shortened titleSubjects: Combinatorics (math.CO)
- [279] arXiv:2502.01134 (replaced) [pdf, ps, other]
-
Title: Nearly geodesic surfaces are fillingAuthors: Xiaolong Hans HanComments: 34 pages, 6 figures. v2: Adapted "strongly filling" from Rubinstein-Sageev, Section 3.7 on applications to a question of Fioravanti-Hagen on the existence of hyperplane-essential cubulations with a single orbit of hyperplanes. v3: Revised according to referee's suggestions. Added 3.20, examples of hyperbolic 3-manifolds containing infinitely many embedded essential QF surfacesSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG); Dynamical Systems (math.DS)
- [280] arXiv:2502.05322 (replaced) [pdf, ps, other]
-
Title: Tropical Fréchet Means: a polyhedral approach to exact optimizationComments: 26 pages. 8 figures. v3: Added Section 5. Extended version as to appear in the special issue for the International Symposium on Symbolic and Algebraic Computation ISSAC 2025Journal-ref: Journal of Symbolic Computation (2026) 102572Subjects: Optimization and Control (math.OC); Combinatorics (math.CO); Metric Geometry (math.MG); Statistics Theory (math.ST)
- [281] arXiv:2502.12423 (replaced) [pdf, ps, other]
-
Title: Local well-posedness for a system of modified KdV equations in modulation spacesComments: 29 pagesSubjects: Analysis of PDEs (math.AP)
- [282] arXiv:2503.03188 (replaced) [pdf, ps, other]
-
Title: A Laplace transform approach to $C$-semigroups on a $\mathcal{T}_{\varepsilon, λ}$-complete random normed moduleComments: 25 pagesSubjects: Functional Analysis (math.FA)
- [283] arXiv:2503.18163 (replaced) [pdf, ps, other]
-
Title: A unified convention for achievement positional gamesComments: Compared to the previous version, of which a long abstract has been published at EuroComb'25, this version contains a proof of PSPACE-completeness for intermediate positions of 3-uniform Maker-Maker gamesSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
- [284] arXiv:2503.18645 (replaced) [pdf, ps, other]
-
Title: Another Marcenko-Pastur law for Kendall's tauSubjects: Probability (math.PR); Spectral Theory (math.SP)
- [285] arXiv:2503.20510 (replaced) [pdf, ps, other]
-
Title: Extended mean field control: a global numerical solution via finite-dimensional approximationSubjects: Optimization and Control (math.OC)
- [286] arXiv:2503.21703 (replaced) [pdf, ps, other]
-
Title: Trivial source characters in blocks of domestic representation typeAuthors: Bernhard BöhmlerComments: 29 pagesSubjects: Representation Theory (math.RT)
- [287] arXiv:2504.02341 (replaced) [pdf, ps, other]
-
Title: Bergman spaces on algebraic curvesComments: Minor changes, several typos corrected. To appear in Math. ZeitschriftSubjects: Complex Variables (math.CV); Algebraic Geometry (math.AG)
- [288] arXiv:2504.05578 (replaced) [pdf, ps, other]
-
Title: Recent Advances in Near-Field Beam Training and Channel Estimation for XL-MIMO SystemsComments: accepted by Advanced Information and Communication Journal; 9 pages; 6 figuresSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
- [289] arXiv:2504.11382 (replaced) [pdf, ps, other]
-
Title: The tangent cone to the real determinantal variety: various expressions and a proofSubjects: Optimization and Control (math.OC); Algebraic Geometry (math.AG)
- [290] arXiv:2504.14756 (replaced) [pdf, ps, other]
-
Title: Nonlinear wave superpositions and quasi-rectifiable Lie modulesSubjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
- [291] arXiv:2505.09465 (replaced) [pdf, ps, other]
-
Title: A note on the Steinitz LemmaComments: Final version, published in MathematikaJournal-ref: Mathematika 72(2), e70085, 2026Subjects: Metric Geometry (math.MG); Combinatorics (math.CO); Functional Analysis (math.FA)
- [292] arXiv:2506.10723 (replaced) [pdf, ps, other]
-
Title: Semi-discrete moduli of smoothness and their applications in one- and two- sided error estimatesSubjects: Numerical Analysis (math.NA); Functional Analysis (math.FA)
- [293] arXiv:2506.15482 (replaced) [pdf, ps, other]
-
Title: Isolated singularities in $G_2$-structures with torsionComments: 12 pages. v2: exposition expanded, more proofs added. Many typos corrected throughout, and corrected formula appearing in Proposition 13. To appear in Geometriae DedicataSubjects: Differential Geometry (math.DG)
- [294] arXiv:2506.18694 (replaced) [pdf, ps, other]
-
Title: Shifted HSS solvers for the indefinite Helmholtz equationComments: Revision including new title before submission to SISCSubjects: Numerical Analysis (math.NA)
- [295] arXiv:2506.19075 (replaced) [pdf, ps, other]
-
Title: First-Order Sparse Convex Optimization: Better Rates with Sparse UpdatesAuthors: Dan GarberSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
- [296] arXiv:2506.23375 (replaced) [pdf, ps, other]
-
Title: Motifs and Emergent Feedback in Labeled GraphsComments: 37 pages LaTeX with TikZ figures, more small improvementsSubjects: Category Theory (math.CT)
- [297] arXiv:2507.02263 (replaced) [pdf, ps, other]
-
Title: Some Turán-type results for the signless Laplacian spectral radiusComments: 31 pages. Any suggestions are welcomeSubjects: Combinatorics (math.CO)
- [298] arXiv:2507.02483 (replaced) [pdf, ps, other]
-
Title: Class field theory for function fields and finite abelian torsorsSubjects: Algebraic Geometry (math.AG)
- [299] arXiv:2507.13267 (replaced) [pdf, ps, other]
-
Title: On the Turánability and tileability of oriented graphsSubjects: Combinatorics (math.CO)
- [300] arXiv:2507.16750 (replaced) [pdf, ps, other]
-
Title: Global finite energy solutions of the Maxwell-scalar field system on the Einstein cylinderComments: 46 pages, 5 figures; typo fixed in an endpoint wave-Sobolev space product in the proof of Lemma 8.2. No changes to proofs or resultsSubjects: Analysis of PDEs (math.AP); General Relativity and Quantum Cosmology (gr-qc)
- [301] arXiv:2507.20171 (replaced) [pdf, ps, other]
-
Title: An operatorial approach of the well-posedness of an algebraic Riccati equationAuthors: Gabriela MarinoschiComments: 23 pages, no figuresJournal-ref: Applied Mathematics & Optimization, 93:44, 2026Subjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP)
- [302] arXiv:2507.22007 (replaced) [pdf, ps, other]
-
Title: Extending Bilipschitz Mappings between Separated NetsComments: Accepted for publication in Annales Fennici Mathematici. Minor revision following the referee's reportSubjects: Metric Geometry (math.MG); Functional Analysis (math.FA)
- [303] arXiv:2508.00268 (replaced) [pdf, ps, other]
-
Title: Channel Estimation for Flexible Intelligent Metasurfaces: From Model-Based Approaches to Neural OperatorsJournal-ref: IEEE Transactions on Wireless Communications, vol. 25, pp. 10684-10701, 2026Subjects: Information Theory (cs.IT)
- [304] arXiv:2508.07473 (replaced) [pdf, ps, other]
-
Title: Online Convex Optimization with Heavy Tails: Old Algorithms, New Regrets, and ApplicationsAuthors: Zijian LiuComments: A short, self-contained version has been accepted at ALT 2026. Update to include the change in the camera-ready versionSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
- [305] arXiv:2508.08480 (replaced) [pdf, ps, other]
-
Title: Isometry groups of Polish ultrametric spacesComments: Minor expository adjustments to the introduction. Added Figure 1 in Section 3Subjects: Logic (math.LO); Combinatorics (math.CO); General Topology (math.GN); Group Theory (math.GR)
- [306] arXiv:2508.14836 (replaced) [pdf, ps, other]
-
Title: Quantum mechanics, non-locality, and the space discreteness hypothesisAuthors: W. A. Zúñiga-GalindoComments: Some typos were corrected. A paragraph was added at thhe en of the paperSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
- [307] arXiv:2508.18602 (replaced) [pdf, ps, other]
-
Title: Big Varchenko-Gelfand rings and orbit harmonicsAuthors: Brendon RhoadesComments: 26 pages. Prop. 5.1 and Example 5.2 added in this versionSubjects: Combinatorics (math.CO)
- [308] arXiv:2508.19949 (replaced) [pdf, ps, other]
-
Title: Estimating non-linear functionals of trawl processesAuthors: Orimar SauriSubjects: Probability (math.PR); Statistics Theory (math.ST)
- [309] arXiv:2509.01779 (replaced) [pdf, ps, other]
-
Title: Analogue of the Galois Theory for normal fields and B-extensions (characteristic free approach)Authors: V. V. BavulaComments: 52 pagesSubjects: Number Theory (math.NT)
- [310] arXiv:2509.06405 (replaced) [pdf, ps, other]
-
Title: Diffusion-Shock PDEs for Deep Learning on Position-Orientation SpaceComments: Accepted in the Journal of Mathematical Imaging and Vision Special Issue on Scale Space and Variational Methods in Computer Vision 2025 (SSVM). arXiv admin note: text overlap with arXiv:2502.17146Subjects: Differential Geometry (math.DG)
- [311] arXiv:2509.08759 (replaced) [pdf, ps, other]
-
Title: Fourier Learning Machines: Nonharmonic Fourier-Based Neural Networks for Scientific Machine LearningComments: Please cite the peer-reviewed, published version available on Transactions on Machine Learning Research at this https URLJournal-ref: Transactions on Machine Learning Research, December 2025Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
- [312] arXiv:2509.12432 (replaced) [pdf, ps, other]
-
Title: On the absence of anomalous dissipation for the Navier-Stokes equations with Navier boundary conditions: a sufficient conditionComments: 16 pagesSubjects: Analysis of PDEs (math.AP)
- [313] arXiv:2509.18856 (replaced) [src]
-
Title: Perfect Divisibility and Coloring of Some Bull-Free GraphsComments: There is something wrong in the proofSubjects: Combinatorics (math.CO)
- [314] arXiv:2509.20929 (replaced) [pdf, ps, other]
-
Title: Complex Lies, Real Physics: The Role of Algebra ComplexificationComments: 20 pagesSubjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Group Theory (math.GR)
- [315] arXiv:2509.21105 (replaced) [pdf, ps, other]
-
Title: UAV-Enabled ISAC with Fluid Antennas for Low-Altitude Wireless NetworksSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
- [316] arXiv:2509.21181 (replaced) [pdf, ps, other]
-
Title: Closed-form $\ell_r$ norm scaling with data for overparameterized linear regression and diagonal linear networks under $\ell_p$ biasSubjects: Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)
- [317] arXiv:2509.23182 (replaced) [pdf, ps, other]
-
Title: Spectral comparison and splitting theorems for the infinity-Bakry-Emery Ricci curvatureAuthors: Jia-Yong WuComments: Final versionJournal-ref: Potential Analysis, 64 (2026), 52Subjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
- [318] arXiv:2509.25116 (replaced) [pdf, ps, other]
-
Title: Nonuniqueness of Leray-Hopf solutions to the unforced incompressible 3D Navier-Stokes EquationSubjects: Analysis of PDEs (math.AP)
- [319] arXiv:2509.25551 (replaced) [pdf, ps, other]
-
Title: Random Matrices and U-StatisticsComments: 15 pages, 1 figureSubjects: Probability (math.PR)
- [320] arXiv:2509.25722 (replaced) [pdf, ps, other]
-
Title: Transformer-Based Rate Prediction for Multi-Band Cellular HandsetsAuthors: Ruibin Chen, Haozhe Lei, Hao Guo, Marco Mezzavilla, Hitesh Poddar, Tomoki Yoshimura, Sundeep RanganComments: Accepted to IEEE ICC 2026 Workshop on Intelligent Movable and Reconfigurable Antennas for Future Wireless Communication and Sensing (WS02)Subjects: Signal Processing (eess.SP); Information Theory (cs.IT); Machine Learning (cs.LG)
- [321] arXiv:2510.01242 (replaced) [pdf, ps, other]
-
Title: Redundancy-as-Masking: Formalizing the Artificial Age Score (AAS) to Model Memory Aging in Generative AIAuthors: Seyma Yaman KayadibiComments: 37 pages, 17 figures. Includes theoretical development and mathematical proofs of the Artificial Age Score (AAS), with empirical illustrations via ChatGPT-based memory recall experimentsJournal-ref: Frontiers in Artificial Intelligence 9 (2026), 1732691Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Information Theory (cs.IT); Machine Learning (cs.LG)
- [322] arXiv:2510.04265 (replaced) [pdf, ps, other]
-
Title: Don't Pass@k: A Bayesian Framework for Large Language Model EvaluationComments: OpenReview (ICLR 2026): this https URLSubjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Statistics Theory (math.ST); Machine Learning (stat.ML)
- [323] arXiv:2510.05345 (replaced) [pdf, ps, other]
-
Title: A System Level Approach to LQR Control of the Diffusion EquationComments: 8 pages, 2 figures, Submitted to IEEE American Control Conference 2026Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
- [324] arXiv:2510.08861 (replaced) [pdf, ps, other]
-
Title: Presheaves on lax double functors; or, Instances of models of double theoriesComments: 44 pp body, 28 pp appendices, many diagramsSubjects: Category Theory (math.CT)
- [325] arXiv:2510.13092 (replaced) [pdf, ps, other]
-
Title: A Note on Optimal Soft Edge Expansions for the Gaussian $β$ EnsemblesComments: 7 pages, research borne out of collaboration at the MATRIX program 'Log-gases in Caeli Australi'. Fixed a minor typoSubjects: Mathematical Physics (math-ph)
- [326] arXiv:2510.18461 (replaced) [pdf, ps, other]
-
Title: A restless time-fractional multiclass queueComments: 26 pages, accepted versionSubjects: Probability (math.PR)
- [327] arXiv:2510.20492 (replaced) [pdf, ps, other]
-
Title: Heterochromatic two-arm probabilities for metric graph Gaussian free fieldsSubjects: Probability (math.PR)
- [328] arXiv:2510.20660 (replaced) [pdf, ps, other]
-
Title: Representation theorems for dynamic convex risk measuresAuthors: Shiqiu ZhengComments: 29 pages. Remark 2.1 has been revised to correct a critical typoSubjects: Probability (math.PR)
- [329] arXiv:2510.20742 (replaced) [pdf, ps, other]
-
Title: Bayesian Prediction under Moment ConditioningComments: Fixed typos, updated references, minor notational clarifications addedSubjects: Statistics Theory (math.ST)
- [330] arXiv:2510.22867 (replaced) [pdf, ps, other]
-
Title: Universal Decay of Mutual Information and Conditional Mutual Information in Gapped Pure- and Mixed-State Quantum MatterComments: 8+17 pages, 3+3 figuresJournal-ref: Phys. Rev. Lett. 136, 116604 (2026)Subjects: Strongly Correlated Electrons (cond-mat.str-el); Quantum Gases (cond-mat.quant-gas); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
- [331] arXiv:2510.24263 (replaced) [pdf, ps, other]
-
Title: Representation theory of non-factorizable ribbon Hopf algebrasAuthors: Maksymilian MankoComments: 34 pages, comments welcome! arXiv admin note: text overlap with arXiv:2503.19532Subjects: Quantum Algebra (math.QA); Representation Theory (math.RT)
- [332] arXiv:2511.06616 (replaced) [pdf, ps, other]
-
Title: On the best constants of Schur multipliers of higher order divided difference functionsComments: Updated Section 7 to improve the lower bound in Theorem B from p^*p^2 to p^*p^n for all n>1Subjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA); Operator Algebras (math.OA)
- [333] arXiv:2511.09371 (replaced) [pdf, ps, other]
-
Title: Geometric Criteria for 6-Functor Formalisms in the Setting of Pullback FormalismsAuthors: Roy MagenComments: 87 pages. Major improvements, in particular, results about 6-functor formalisms and the applications are much stronger. New introduction. Comments welcomeSubjects: Algebraic Geometry (math.AG); Category Theory (math.CT)
- [334] arXiv:2511.12569 (replaced) [pdf, ps, other]
-
Title: The Regular property of Invariant Rings over Regular DomainsComments: Significant changes. Final version. Published in Transformation Groups (2026)Subjects: Commutative Algebra (math.AC)
- [335] arXiv:2511.15289 (replaced) [pdf, ps, other]
-
Title: The Rabinowitz continuum of subcritical Gelfand problems and free boundary-type equations arising in plasma physicsComments: 32 pages, 1 figure. Typos corrected. Comments are warmly welcomeSubjects: Analysis of PDEs (math.AP)
- [336] arXiv:2511.17928 (replaced) [pdf, ps, other]
-
Title: Limit Theorems for Network Data without Metric StructureSubjects: Econometrics (econ.EM); Statistics Theory (math.ST)
- [337] arXiv:2511.21353 (replaced) [pdf, ps, other]
-
Title: Analogue of the Galois Theory for arbitrary finite field extensionsAuthors: V. V. BavulaComments: 21 pages. arXiv admin note: substantial text overlap with arXiv:2509.01779; text overlap with arXiv:2509.01284Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Rings and Algebras (math.RA)
- [338] arXiv:2511.21355 (replaced) [pdf, ps, other]
-
Title: Deriving the Generalised Born Rule from First PrinciplesComments: minor changesSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Category Theory (math.CT)
- [339] arXiv:2511.21670 (replaced) [pdf, ps, other]
-
Title: Intensity doubling for Brownian loop-soups in high dimensionsComments: V3: Expanded introduction and very minor changesSubjects: Probability (math.PR); Mathematical Physics (math-ph)
- [340] arXiv:2511.22422 (replaced) [pdf, ps, other]
-
Title: Weyl distributions, spectral properties, and circulant approximation results for quaternion block multilevel Toeplitz matrix sequencesSubjects: Numerical Analysis (math.NA)
- [341] arXiv:2512.00348 (replaced) [pdf, ps, other]
-
Title: Exposed extreme rays of the SONC coneComments: 11 pagesSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); Optimization and Control (math.OC)
- [342] arXiv:2512.00652 (replaced) [pdf, ps, other]
-
Title: The possible adelic indices for elliptic curves admitting a rational cyclic isogenyComments: 34 pages, revised versionSubjects: Number Theory (math.NT)
- [343] arXiv:2512.02373 (replaced) [pdf, ps, other]
-
Title: Methods in complete intersections in corank oneAuthors: Satya MandalComments: Nothing new! Only did some editingSubjects: Commutative Algebra (math.AC); K-Theory and Homology (math.KT)
- [344] arXiv:2512.04539 (replaced) [pdf, ps, other]
-
Title: Bounds for Restricted Selections of Random SetsSubjects: Probability (math.PR); Optimization and Control (math.OC)
- [345] arXiv:2512.04766 (replaced) [pdf, ps, other]
-
Title: Characterization of Erdös matrices by their zero entriesSubjects: Combinatorics (math.CO); Metric Geometry (math.MG)
- [346] arXiv:2512.06063 (replaced) [pdf, ps, other]
-
Title: On pristine morphismsComments: 22 pages, v2: changed title; we added a discussion showing that $F$-singularity invariants transform nicely under pristine morphismsSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
- [347] arXiv:2512.07771 (replaced) [pdf, ps, other]
-
Title: Loop Corrected Supercharges from Holomorphic AnomaliesComments: 32 pages; v2: corrected typos, added footnote 3Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Algebra (math.QA)
- [348] arXiv:2512.12195 (replaced) [pdf, ps, other]
-
Title: Low-degree mod 2 cohomology of classifying spaces of $G_2$-gauge groupsAuthors: Dang Vo PhucComments: 13 pages. Feedback is greatly appreciatedSubjects: Algebraic Topology (math.AT)
- [349] arXiv:2512.12752 (replaced) [pdf, ps, other]
-
Title: Newton Methods for Mean Field Games: A Numerical StudySubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
- [350] arXiv:2512.14949 (replaced) [pdf, ps, other]
-
Title: Bourgain-uo sequential completeness in vector latticesSubjects: Functional Analysis (math.FA)
- [351] arXiv:2512.18240 (replaced) [pdf, ps, other]
-
Title: Counting $h^0(D)$ on primary Burniat surfacesAuthors: Yonghwa ChoComments: 27 pages. To appear in JPAASubjects: Algebraic Geometry (math.AG)
- [352] arXiv:2512.18835 (replaced) [pdf, ps, other]
-
Title: Induced minors and subpolynomial treewidthComments: Updated introductionSubjects: Combinatorics (math.CO)
- [353] arXiv:2512.22124 (replaced) [pdf, ps, other]
-
Title: The Solution of Potential-Driven, Steady-State Nonlinear Network Flow Equations via Graph PartitioningComments: 6 pages, 2 figuresSubjects: Computational Physics (physics.comp-ph); Optimization and Control (math.OC)
- [354] arXiv:2512.23178 (replaced) [pdf, ps, other]
-
Title: Clipped Gradient Methods for Nonsmooth Convex Optimization under Heavy-Tailed Noise: A Refined AnalysisAuthors: Zijian LiuComments: A preliminary conference version is accepted at ICLR 2026. This full version includes the formal statements of lower bounds and their proofs. Moreover, the upper bounds are slightly improvedSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)
- [355] arXiv:2601.00346 (replaced) [pdf, ps, other]
-
Title: An explicit study of a family of cellular integralsAuthors: Riccardo TosiComments: 36 pages. Corrected a mistake in the statement of the main result due to a wrong definition of $\psi_n$ in Section 2.4. Comments welcome!Subjects: Number Theory (math.NT)
- [356] arXiv:2601.00835 (replaced) [pdf, ps, other]
-
Title: On the Diophantine problem related to power circuitsAuthors: Alexander RybalovSubjects: Logic (math.LO); Group Theory (math.GR); Number Theory (math.NT); Rings and Algebras (math.RA)
- [357] arXiv:2601.01995 (replaced) [pdf, ps, other]
-
Title: Locally-averaged McCormick relaxations for discretization-regularized inverse problemsSubjects: Numerical Analysis (math.NA)
- [358] arXiv:2601.03297 (replaced) [pdf, ps, other]
-
Title: On the Collatz Conjecture: Topological and Ergodic ApproachAuthors: Eduardo SantanaComments: Revised version with the result of finiteness of cycles for a general class of functions having the Collatz one as an exampleSubjects: Dynamical Systems (math.DS); General Topology (math.GN)
- [359] arXiv:2601.07527 (replaced) [pdf, ps, other]
-
Title: Energy-efficient torque allocation for straight-line driving of electric vehicles based on pseudoconvex polynomialsComments: 21 pages, 8 figuresSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
- [360] arXiv:2601.08709 (replaced) [pdf, ps, other]
-
Title: Multi-Preconditioned LBFGS for Training Finite-Basis PINNsAuthors: Marc Salvadó-Benasco, Aymane Kssim, Alexander Heinlein, Rolf Krause, Serge Gratton, Alena KopaničákováComments: 13 pagesSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
- [361] arXiv:2601.10647 (replaced) [pdf, ps, other]
-
Title: Michael-Simon inequality for anisotropic energies close to the area via multilinear Kakeya-type boundsSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
- [362] arXiv:2601.12140 (replaced) [pdf, ps, other]
-
Title: Symmetry of Solutions to Fractional Semilinear Equations on Hyperbolic SpacesAuthors: Jianxiong WangSubjects: Analysis of PDEs (math.AP)
- [363] arXiv:2602.01218 (replaced) [src]
-
Title: Ulrich Sheaves on the Hilbert Square of K3 and Abelian SurfacesComments: Major correction requiredSubjects: Algebraic Geometry (math.AG)
- [364] arXiv:2602.02469 (replaced) [pdf, ps, other]
-
Title: Age-Aware Edge-Blind Federated Learning via Over-the-Air AggregationComments: To appear in IEEE ICC 2026Subjects: Information Theory (cs.IT); Machine Learning (cs.LG); Signal Processing (eess.SP)
- [365] arXiv:2602.05768 (replaced) [pdf, ps, other]
-
Title: An Erdős problem on random subset sums in finite abelian groupsComments: 13 pages. This is the submitted versionSubjects: Combinatorics (math.CO)
- [366] arXiv:2602.06175 (replaced) [pdf, ps, other]
-
Title: Optimal rates for density and mode estimation with expand-and-sparsify representationsComments: Accepted at AISTATS 2026Subjects: Statistics Theory (math.ST); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Machine Learning (stat.ML)
- [367] arXiv:2602.07167 (replaced) [pdf, ps, other]
-
Title: Intermittency of geometric Brownian motion on $ \textbf{SL}(n) $Comments: 14 pages, v2: added funding acknowledgmentsSubjects: Probability (math.PR)
- [368] arXiv:2602.07975 (replaced) [pdf, ps, other]
-
Title: Leader-following Consensus over Jointly Connected Switching Networks is Achievable for Exponentially Unstable Linear SystemsSubjects: Optimization and Control (math.OC); Multiagent Systems (cs.MA); Systems and Control (eess.SY)
- [369] arXiv:2602.09261 (replaced) [pdf, ps, other]
-
Title: Composita Stability Theorems for Enhanced Koszul Properties in Galois CohomologyAuthors: Marina PalaistiSubjects: Number Theory (math.NT)
- [370] arXiv:2602.14990 (replaced) [pdf, ps, other]
-
Title: A formula for the Euler class of foliationsAuthors: Alessandro V. CignaComments: 20 pages, 12 figures. Comments are welcome! V2: the presentation was made hierarchy-free, a new section about taut foliations in the Whitehead link exterior was addedSubjects: Geometric Topology (math.GT)
- [371] arXiv:2602.15433 (replaced) [pdf, ps, other]
-
Title: An Inequality Comparing the Dirichlet Energy and the Bienergy of Maps Between Riemannian ManifoldsSubjects: Differential Geometry (math.DG)
- [372] arXiv:2602.16941 (replaced) [pdf, ps, other]
-
Title: The GKZ hypergeometric $\mathcal D$-moduleAuthors: Lei FuComments: Revised versionSubjects: Algebraic Geometry (math.AG)
- [373] arXiv:2602.21079 (replaced) [pdf, ps, other]
-
Title: On thermal transpiration and thermomolecular pressure differenceComments: 43 pages, 0 figureSubjects: Analysis of PDEs (math.AP)
- [374] arXiv:2602.21907 (replaced) [pdf, ps, other]
-
Title: Betti numbers of skeletons of a class of squarefree monomial rings with linear resolutionAuthors: Ralf FröbergComments: Misprints correctedSubjects: Commutative Algebra (math.AC)
- [375] arXiv:2603.02808 (replaced) [src]
-
Title: A classification of rotary embeddings of multicyclesComments: We have decided to withdraw this preprint because we discovered that the main results have already been covered in a previous work by K. Hu et al. Although our study was conducted independently and the methods differ to some extent, the core findings overlap significantly, and we do not believe the methodological novelty is sufficient to warrant a separate publicationSubjects: Combinatorics (math.CO); Group Theory (math.GR)
- [376] arXiv:2603.04172 (replaced) [pdf, ps, other]
-
Title: The Pivotal Information CriterionSubjects: Statistics Theory (math.ST); Information Theory (cs.IT); Methodology (stat.ME)
- [377] arXiv:2603.04271 (replaced) [pdf, ps, other]
-
Title: Continuity of Magnitude at Skew Finite Subsets of $\ell_1^N$Subjects: Metric Geometry (math.MG); General Topology (math.GN)
- [378] arXiv:2603.06488 (replaced) [pdf, ps, other]
-
Title: Score Reversal Is Not Free for Quantum Diffusion ModelsAuthors: Ammar FayadSubjects: Quantum Physics (quant-ph); Machine Learning (cs.LG); Mathematical Physics (math-ph)
- [379] arXiv:2603.07510 (replaced) [pdf, ps, other]
-
Title: On a conjecture concerning the property of chromatic polynomials with negative variablesAuthors: Yan YangComments: 9 pages. Comments are welcome!Subjects: Combinatorics (math.CO)
- [380] arXiv:2603.08955 (replaced) [pdf, ps, other]
-
Title: On K-peak solutions for the Yamabe equation on product manifoldsSubjects: Differential Geometry (math.DG)
- [381] arXiv:2603.11100 (replaced) [pdf, ps, other]
-
Title: Combinatorial designs and the Prouhet--Tarry--Escott problemComments: 26 pagesSubjects: Combinatorics (math.CO); Number Theory (math.NT)
- [382] arXiv:2603.11792 (replaced) [pdf, ps, other]
-
Title: Duality for Delsarte's extremal problem on compact Gelfand pairsSubjects: Classical Analysis and ODEs (math.CA)
- [383] arXiv:2603.12140 (replaced) [pdf, ps, other]
-
Title: Forecasting and Manipulating the Forecasts of OthersAuthors: Sam BabichenkoComments: 53 pages, 7 figuresSubjects: Optimization and Control (math.OC); Theoretical Economics (econ.TH); Mathematical Finance (q-fin.MF)
- [384] arXiv:2603.13680 (replaced) [pdf, ps, other]
-
Title: A correspondence problem for mathematical proofSubjects: History and Overview (math.HO); Logic (math.LO)
- [385] arXiv:2603.14047 (replaced) [pdf, ps, other]
-
Title: Distributional Uncertainty and Adaptive Decision-Making in System Co-designSubjects: Optimization and Control (math.OC); Robotics (cs.RO); Systems and Control (eess.SY)
- [386] arXiv:2603.14163 (replaced) [pdf, ps, other]
-
Title: Tail Bounds for Queues with Abandonment: Constant, Moderate, Large Deviations, and Efficient ConcentrationSubjects: Probability (math.PR); Performance (cs.PF)
- [387] arXiv:2603.14230 (replaced) [pdf, ps, other]
-
Title: Mobility Edge for the Anderson Model on Random Regular GraphsComments: 36 pagesSubjects: Probability (math.PR); Mathematical Physics (math-ph)
- [388] arXiv:2603.14561 (replaced) [pdf, ps, other]
-
Title: Refined Inference for Asymptotically Linear Estimators with Non-Negligible Second-Order RemaindersComments: 32 paged 3 tables, 1 supplementSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
- [389] arXiv:2603.14601 (replaced) [pdf, ps, other]
-
Title: $K-$means with learned metricsSubjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Probability (math.PR)
- [390] arXiv:2603.14831 (replaced) [pdf, ps, other]
-
Title: Neural Networks as Local-to-Global ComputationsComments: 43 pages, 21 figuresSubjects: Algebraic Topology (math.AT); Machine Learning (cs.LG); Dynamical Systems (math.DS)
- [391] arXiv:2603.15556 (replaced) [pdf, ps, other]
-
Title: Diversity, equity, and inclusion for problems in additive number theoryAuthors: Melvyn B. NathansonComments: 11 pages, minor corrections and improvementsSubjects: Number Theory (math.NT); Combinatorics (math.CO)
- [392] arXiv:2603.15613 (replaced) [pdf, ps, other]
-
Title: Hierarchies of direct powers, ultrapowers and cumulative powersAuthors: Pedro Teixeira YagoComments: 42 pagesSubjects: Logic (math.LO)
- [393] arXiv:2603.15859 (replaced) [pdf, ps, other]
-
Title: Perturbative Knot Invariants via Quantum Cluster AlgebrasAuthors: Boudewijn BoschComments: 50 pagesSubjects: Geometric Topology (math.GT)
- [394] arXiv:2603.15898 (replaced) [pdf, ps, other]
-
Title: Extrapolation of solvability of the parabolic $L^p$ Neumann problem on bounded Lipschitz cylindersComments: 20 pages, 1 figure (v2 contains one important reference added [8] plus small typos)Subjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
- [395] arXiv:2603.16170 (replaced) [pdf, ps, other]
-
Title: On the norms of the multiplication operators between weighted Bergman spacesAuthors: Jianjun JinComments: 23 pages, add a remarks sectionSubjects: Functional Analysis (math.FA)
- [396] arXiv:2603.16468 (replaced) [pdf, ps, other]
-
Title: Yet another characterization of Birkhoff Billiards inside discsComments: 16 pages, 2 figuresSubjects: Dynamical Systems (math.DS)
- [397] arXiv:2603.16480 (replaced) [pdf, ps, other]
-
Title: The pattern block method for generating random numbers : Reformulation and generalization of the Ziggurat method using conditional random variablesAuthors: Kensuke IshitaniSubjects: Probability (math.PR)
- [398] arXiv:2603.16573 (replaced) [pdf, ps, other]
-
Title: Preconditioned Proximal Gradient Methods with Conjugate Momentum: A Subspace PerspectiveSubjects: Optimization and Control (math.OC)
- [399] arXiv:2603.16981 (replaced) [pdf, ps, other]
-
Title: A Minimal Four-Thruster System for Comet-Based Interstellar NavigationAuthors: Bo Pieter Johannes AndréeComments: 4 figures, 4 tables, 2 appendices with supporting proofsSubjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Optimization and Control (math.OC)
- [400] arXiv:2603.16982 (replaced) [pdf, ps, other]
-
Title: Trajectory Stability and Signature Diagnostics for Comet-Based Interstellar NavigationAuthors: Bo Pieter Johannes AndréeComments: 31 pages, 2 figuresSubjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Dynamical Systems (math.DS); Applications (stat.AP)
- [401] arXiv:2603.17273 (replaced) [pdf, ps, other]
-
Title: Tangent spaces of spherical Schubert varieties and a counterexample to the reducedness conjectureComments: 10 pages. comments welcomeSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG)
- [402] arXiv:2603.17645 (replaced) [pdf, ps, other]
-
Title: On the structures of {diamond, bowtie}-free graphs that do not contain an induced subdivision of $K_4$Comments: arXiv admin note: text overlap with arXiv:1704.08104 by other authorsSubjects: Combinatorics (math.CO)
- [403] arXiv:2603.17888 (replaced) [pdf, ps, other]
-
Title: On single-frequency asymptotics for the Maxwell-Bloch equations: pure statesComments: 18 pagesSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
[ showing up to 2000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2603, contact, help (Access key information)