Mathematics
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Fri, 8 May 26
- [1] arXiv:2605.05237 [pdf, ps, other]
-
Title: The $i$-extended ideal-based cozero-divisor graph of a commutative ringAuthors: Faranak FarshadifarSubjects: Commutative Algebra (math.AC)
Let R be a commutative ring with identity and let J be an ideal of R. In this paper, we introduce and investigate the notion of the i-extended ideal-based cozero-divisor graph of R. This graph, denoted by $\overline{\Gamma''}_{Ji}(R)$, is a simple graph of R whose vertex set is ${x \in R \ J : xR + J \not= R}$. Two distinct vertices $x$ and $y$ are adjacent if and only if $x^m \not \in y^nR+J$ and $y^n \not \in x^mR+J$ for some positive integers m and n with $n\leq i$ and $m\leq i$.
- [2] arXiv:2605.05243 [pdf, ps, other]
-
Title: Proof of the Holevo-Utkin conjecture on sharp $\ell_p$ norms for zero-sum vectorsAuthors: Haonan ZhangComments: 20 pages. The first versionSubjects: Classical Analysis and ODEs (math.CA); Mathematical Physics (math-ph); Functional Analysis (math.FA)
Let $d\ge 3$ and $p>0$. Let $\|x\|_p$ denote the $\ell_p$ (quasi-)norm of a $d$-dimensional vector $x$. Holevo and Utkin \cite{HU26} conjectured that for $0<p\le 1$, \[ \min \left\{\frac{\|x\|_p}{\|x\|_2}:\vec{0}\neq x\in\mathbb R^d,\ \sum_{i=1}^d x_i=0\right\} =2^{1/p-1/2}; \] for $1<p<2$, \[ \min \left\{\frac{\|x\|_p}{\|x\|_2}:\vec{0}\neq x\in\mathbb R^d,\ \sum_{i=1}^d x_i=0\right\} = \min\left\{2^{1/p-1/2},\left(\frac{(d-1)^{p/2}+(d-1)^{1-p/2}}{d^{p/2}}\right)^{1/p}\right\}; \] and for $2<q<\infty$ \[ \max\left\{\frac{\|x\|_q}{\|x\|_2}:\vec{0}\neq x\in\mathbb R^d,\ \sum_{i=1}^d x_i=0\right\} = \max\left\{2^{1/q-1/2},\left(\frac{(d-1)^{q/2}+(d-1)^{1-q/2}}{d^{q/2}}\right)^{1/q}\right\}. \] They proved the $d=3$ case in \cite{HU26}. In this paper, we confirm the conjecture of the remaining cases $d\ge 4$.
- [3] arXiv:2605.05276 [pdf, ps, other]
-
Title: On Unbiased Parameter Estimation and Signal ReconstructionAuthors: Joonas LahtinenComments: 27 pages, 9 figuresSubjects: Information Theory (cs.IT); Optimization and Control (math.OC); Probability (math.PR)
In this paper, we expand the theory of depth-unbiased source localization to unbiased parameter estimation and signal reconstruction of an arbitrary number of non-zero parameters to be recovered. The topic touches on the concept of exact reconstructibility, most commonly known in compressed sensing and multisource estimation in various imaging problems. The theoretical results derive upper bounds on the number of recoverable parameters in the noiseless case, and a probability measure is defined to assess the probability of obtaining all non-zero parameters with correct magnitude order. The work provides a mathematical explanation of the open question regarding the noise robustness of standardized and unbiased methods. Also, the paper reveals a trade-off between the number of sensors and the signal-to-noise ratio. Numerical experiments demonstrate the theoretical findings.
- [4] arXiv:2605.05279 [pdf, ps, other]
-
Title: Quasi sdf-absorbing ideals in commutative ringsComments: 11 pagesSubjects: Commutative Algebra (math.AC)
This paper introduces and studies quasi sdf-absorbing ideals as a generalization of sdf-absorbing ideals. We investigate the stability of this property under various constructions, including localization, surjective images, Nagata idealizations, and amalgamations. We establish conditions under which the radical of such ideals is prime and discuss a specific class of rings where quasi sdf-absorption implies the sdf-absorbing primary property. The study concludes with a classification of these ideals in Z and examples distinguishing them from related ideal classes.
- [5] arXiv:2605.05319 [pdf, ps, other]
-
Title: Induced Lorentzian and volume polynomialsComments: 8 pages, 2 figures. Comments welcomeSubjects: Combinatorics (math.CO)
Suppose one has a party of $m$ people, whose expertise collectively covers $n$ topics. Given a subset $T$ of the topics, one wishes to form a panel of $|T|$ people from the party such that $T$ can be covered by assigning a distinct topic to each panel member with the expertise. We show that the numbers of such panels, as $T$ varies, form a Lorentzian polynomial. We achieve this by showing that a certain linear operator on polynomials, which we call the ``inducing operator'' for its connection to induced (poly)matroids, preserves Lorentzian polynomials and realizable volume polynomials.
- [6] arXiv:2605.05332 [pdf, ps, other]
-
Title: The Heegaard Floer d-invariant for more rational homology spheresAuthors: Isabella KhanComments: 8 pages, comments welcome!Subjects: Geometric Topology (math.GT)
The Heegaard Floer d-invariant for a rational homology sphere Y and spin$^c$-structure $\mathfrak{s}$ is defined as the minimal absolute grading of a generator of $HF^+(Y; \mathfrak{s})$. In 2005, N\'emethi used lattice homology to compute the d-invariant for a particular class of negative-definite plumbed rational homology spheres, and conjectured that his formula should hold for all negative-definite plumbed rational homology spheres. In this paper, we use Zemke's isomorphism between lattice and Heegaard Floer homology to prove N\'emethi's conjecture.
- [7] arXiv:2605.05346 [pdf, ps, other]
-
Title: Balanced bipartite distance of $K_4$-free graphsSubjects: Combinatorics (math.CO)
We show that every $K_4$-free graph on $n$ vertices can be made balanced bipartite by removing at most $\frac{n^2}{9}$ edges. This proves a conjecture of Balogh, Clemen, and Lidick\'{y}, and generalizes both Sudakov's result on the bipartite distance of $K_4$-free graphs and Reiher's result on the sparse half of $K_4$-free graphs.
- [8] arXiv:2605.05368 [pdf, ps, other]
-
Title: Towards an Inferentialist Account of Information Through Proof-theoretic SemanticsComments: ManuscriptSubjects: Logic (math.LO); Artificial Intelligence (cs.AI)
Information is one of the most widely-discussed concepts of the current era. However, a great deal of insightful work notwithstanding, it is yet to be given wholly convincing logical or mathematical foundations. Without them, we lack adequate reasoning tools for understanding the complex ecosystems of systems upon which the society depends. We seek to rectify this by taking a first step towards developing an inferentialist semantic theory of information. There are three key interacting components. First, conceptual analysis: the metaphysics of information. Dretske expressed the key concepts of information in terms of intentionality, truth, and transmissibility. We replace truth with inferability, and trace the consequences of this replacement. Second, logic: proof-theoretic semantics (P-tS) provides a mathematical-logical realization of inferentialist reasoning. Using P-tS, we develop the first steps towards a mathematical-logical theory of an inferentialist primitive unit of information, the 'inferon'. This proof-theoretic approach counterpoints the model-theoretic view of information articulated in situation theory. Furthermore, we argue that it facilitates addressing all three components of van Benthem and Martinez's categorization of the understandings of information, as range, as correlation, and as code. Our focus is on information-as-correlation. Third, systems: the P-tS tools we develop provide the basis for a mathematical account of distributed systems modelling -- a key tool from informatics for understanding the organization of information processing systems. This yields a reasoning-based theory of information flow in models of distributed systems. Overall, we seek to give a conceptually rigorous mathematical-logical account of information and its role within informatics, grounded in inference and reasoning.
- [9] arXiv:2605.05378 [pdf, ps, other]
-
Title: Producing Quality Pseudorandomness with a Generalized Gauss Continued-Fraction MapAuthors: Benjamin V. HoltSubjects: Dynamical Systems (math.DS); Numerical Analysis (math.NA)
Well-known chaotic maps, such as the logistic and tent maps, have been used to generate cryptographically secure pseudorandomness, yet we know of no efforts which attempt to use the Gauss continued-fraction map, a known chaotic map, as a starting point for producing quality pseudorandom output. In this paper, we consider the family of $r$-continued-fraction maps, which generalize the Gauss map, and use them to generate pseudorandom output which outperforms many standard generators, such as the Mersenne Twister, in statistical quality, as ascertained by use of the Dieharder, PractRand, and TestU01 suites. In this way, we demonstrate the potential viability of these maps as a starting point for novel generators, and provide practical motivation for further study of the properties of both the exact and finite-precision $r$-continued fraction maps.
- [10] arXiv:2605.05381 [pdf, ps, other]
-
Title: Semi-global solutions to the Goursat problem for second-order hyper-quasilinear hyperbolic systems with lineary dependent principal coefficients and applications to the vacuum Einstein equationsComments: Keywords : semi-global solution ; spatio-characteristic problem ; Goursat problem ; local solutionSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
In this work, we significantly extend the results of D. Houpa, 2006 on the Goursat problem for second-order semi-linear hyperbolic systems to the broader framwork of second-order hyper-quasilinear hyperbolic systems of Goursat type, in which the coefficients of the second-order derivatives depend linearly on the unknown. By adapting techniques inspired by Y. Foures (Choquet)- Bruhat, Acta Mathematica, 1952. we show that in the Sobolev type spaces for the Goursat problem quasilinear hyperbolic of the second order considered, the solution exists and is defined in the vicinity of the meeting characteristic hypersurfaces which carry the initial data. As an application, in harmonic gauge, we derive a semi-global existence and uniqueness result for the vacuum Einstein equations.
- [11] arXiv:2605.05382 [pdf, ps, other]
-
Title: Meta-learning for sample-efficient Bayesian optimisation of fed-batch processesAuthors: Becky Langdon, Gabriel D. Patrón, Chrysoula D. Kappatou, Robert M. Lee, Behrang Shafei, Jixiang Qing, Ruth Misener, Mark van der Wilk, Calvin TsayComments: 24 pages, 12 figuresSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
The optimisation of fed-batch (bio)chemical process recipes is subject to inherent, underlying, and unmeasurable fluctuations across batches, whose trajectories are difficult to model and costly to measure. Bayesian Optimisation (BayesOpt) is a powerful tool for sampling and optimisation of expensive-to-measure functions. Gaussian Processes (GPs), the surrogate models used in BayesOpt, are static, forecast poorly, and lack generalisation across experiments, limiting their applicability to time-varying batch processes with stochastic parameters, i.e., process fluctuations. This work investigates System-Aware Neural ODE Processes (SANODEP) as a meta-learning model to overcome the limitations of GPs and increase few-shot optimisation performance in BayesOpt. Using a penicillin batch production case study, we find that SANODEP outperforms GP-based BayesOpt in the low-data regime, resulting in improved objectives when few experimental runs are performed. These improvements are observed in both on- and off-distribution batches, highlighting the generalisation capabilities of SANODEP. Using this approach, batch process operators can accelerate the initial optimisation steps in BayesOpt by deploying meta-learning or optimise the process with fewer experiments when the experimental cost is high.
- [12] arXiv:2605.05388 [pdf, ps, other]
-
Title: The Efron-Stein inequality for identically distributed pairsComments: 7 pagesSubjects: Probability (math.PR)
We prove that the classical Efron--Stein inequality holds for independent exchangeable pairs \((X_i,Y_i)\). The same inequality fails for independent identically distributed pairs; a simple trigonometric counterexample shows that the trivial Cauchy--Schwarz bound of factor \(n\) is sharp. When each random variable takes at most \(k_i\) values, a useful bound still holds with explicit constant \(\rho(k)\le\max_i k_i/2\).
- [13] arXiv:2605.05397 [pdf, ps, other]
-
Title: Differentiation and Ordered Optimization in Banach SpacesAuthors: Jinlu LiComments: 22 pagesSubjects: Functional Analysis (math.FA)
In this paper, we will define generalized critical point, ordered extreme and order monotone property of single-valued mappings in partially ordered Banach spaces. In particular, we will find the explicit formulas of Gateaux and Frechet derivatives of some single-valued mappings on the Banach spaces lp, for and C[0, 1], such as polynomial type operators and trigonometric type operators. By these concepts, we will investigate the connection between generalized critical points and ordered extrema of single-valued mappings in partially ordered Banach spaces that extends the connection between critical points and extrema of real valued functions in calculus. We will prove that in partially ordered Banach spaces, the order monotone of single-valued mappings can be described by its Gateaux derivatives or Frechet derivatives.
- [14] arXiv:2605.05398 [pdf, ps, other]
-
Title: Equivariant 2-Poisson Algebra Bundles over Configuration SpacesAuthors: Hai Châu NguyênComments: 42 pages, comments welcomeSubjects: Mathematical Physics (math-ph); Category Theory (math.CT); Differential Geometry (math.DG); Quantum Algebra (math.QA); Symplectic Geometry (math.SG)
We study equivariant vector bundles over configuration spaces with diagonals included, viewed as orbifold quotients $M^n/\mathfrak{S}_n$ by permutation groups. Working in the equivalent language of equivariant vector bundles, we construct an induced-equivariance functor and prove its adjunction with restriction. We then define Hadamard and Cauchy tensor products and show that they form a symmetric $2$-monoidal structure. We construct the corresponding tensor and symmetric algebra bundles and prove that, for a local vector bundle $V \rightarrow M$, the bundle $\mathbf{S}^{\boxtimes} \big( \mathbf{S}^{\otimes}(V) \big)$ is the free commutative $2$-algebra generated by $V$. Finally, we show that any skew-symmetric bundle map $k : V \boxtimes V \rightarrow \mathbf{I}_{\otimes}$ induces a compatible Poisson bracket on this $2$-algebra bundle.
- [15] arXiv:2605.05406 [pdf, ps, other]
-
Title: Hodge Laplacian on $1$-forms of homogeneous $3$-spheresSubjects: Differential Geometry (math.DG); Spectral Theory (math.SP)
We study the spectrum of the Hodge-Laplacian on $1$-forms for left-invariant metrics on the Lie group $\operatorname{SU}(2) \cong S^3$ and its quotient $\operatorname{SO}(3)\cong P^3(\mathbb{R})$. To the best of our knowledge, we provide the first explicit computation of the full spectrum of the Hodge-Laplacian for a canonical variation by determining the eigenvalues of Berger 3-spheres and analyzing their resulting splitting behavior. Furthermore, we propose and rigorously prove an explicit formula for the first eigenvalue of general homogeneous metrics on $\operatorname{SU}(2)$ and $\operatorname{SO}(3)$. The formal proof of this result was autonomously discovered by an advanced AI model, providing a notable case study for AI-driven mathematical research. Finally, leveraging this explicit formula, we apply these spectral results to the inverse problem, showing that the spectrum on $1$-forms determines the metric up to isometry. The source code for the symbolic computations, visualizations, and a Monte Carlo stress test is provided in the electronic supplementary material [He26].
- [16] arXiv:2605.05414 [pdf, ps, other]
-
Title: The $σ_k$-Yamabe problem revisitedComments: Comments welcomeSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
In this paper we revisit the $\sigma_k$-Yamabe problem on $M^n$, namely, finding a conformal metric with constant $\sigma_k$-scalar curvature. We prove that on a closed manifold $\left(M,\left[g_0\right]\right)$ with positive Yamabe constant $Y_1\left(M,\left[g_0\right]\right)>0$, the $\sigma_2$-Yamabe constant
$$ Y_2\left(M,\left[g_0\right]\right):=\inf _{g \in\left[g_0\right], R_g>0} \frac{\int_M \sigma_2(g) d \operatorname{vol}(g)}{\operatorname{vol}(g)^{\frac{n-4}{n}}} $$
is achieved by a conformal metric $g \in\left[g_0\right]$, which in particular solves the $\sigma_2$-Yamabe problem, assuming $Y_2\left(M,\left[g_0\right]\right)>0$. As a consequence, for any $\left(M, g_0\right)$ with $Y_1\left(M,\left[g_0\right]\right)>$ 0 and $Y_2\left(M,\left[g_0\right]\right)>0$ one has
$$ \inf _{g \in\left[g_0\right], R_g>0} \frac{\int_M \sigma_2(g) d \operatorname{vol}(g)}{\operatorname{vol}(g)^{\frac{n-4}{n}}}=\inf _{g \in\left[g_0\right], R_g>0, \sigma_2(g)>0} \frac{\int_M \sigma_2(g) d \operatorname{vol}(g)}{\operatorname{vol}(g)^{\frac{n-4}{n}}} . $$
We also show that these conclusions can fail if the condition $R_g>0$ is removed. - [17] arXiv:2605.05420 [pdf, ps, other]
-
Title: A Unified Approach to Beta Moments, Combinatorial Identities, and Random WalksComments: 13 PagesSubjects: Probability (math.PR)
The study of random walks has increasingly been popular across diverse disciplines such as statistics, mathematics, quantum physics, where they are used to model paths consisting of successive random steps in a mathematical space. A fundamental quantity of interest is the probability that a simple symmetric random walk returns to the origin after 2n steps. In this paper, we develop a unified probabilistic approach that connects the return probabilities in arbitrary dimensions with moment representations. Using this framework, we provide probabilistic proofs of several combinatorial identities involving beta and gamma functions, and derive new combinatorial identities in general dimensions.
- [18] arXiv:2605.05421 [pdf, ps, other]
-
Title: Policies for the Operation of an Ambulance Fleet under Uncertainty based on a New Preparedness MetricSubjects: Optimization and Control (math.OC)
Two important decisions in the management of an ambulance fleet are ambulance selection decisions and ambulance reassignment decisions. Ambulance selection decisions determine what to do when an emergency call arrives (such as choosing what ambulance to dispatch to the emergency or putting the emergency in a queue of emergencies waiting for an ambulance to be dispatched). Ambulance reassignment decisions determine where to send an ambulance next when it has finished service for an emergency. Making good ambulance selection decisions and ambulance reassignment decisions is challenging because a decision made at a point in time affects the ability of the emergency medical service to respond to future emergencies (that are typically not known when the decision is made). We propose a new preparedness metric that quantifies the ability of the emergency medical service to respond to future emergencies. The preparedness metric can be used to make ambulance selection decisions and ambulance reassignment decisions by solving a tractable optimization problem each time that a decision has to be made. We compare the performance of the resulting method with 9 methods that have been proposed in the literature, based on data from a real emergency medical service for a large city.
- [19] arXiv:2605.05422 [pdf, ps, other]
-
Title: An optimal trace estimate for microlocal square functions on quadratic surfacesAuthors: Vicente VergaraComments: 41 pagesSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
We study a local trace estimate for the microlocal angular square function \[ G_R f := \left(\sum_\Theta |f_\Theta|^2\right)^{1/2} \] associated with a parabolic decomposition of the frequency annulus of radius $R$ in $\mathbb{R}^3$. The measure under consideration is \[ \mu_Q=\chi\, H^2\lfloor S_Q, \] where $\chi\in L^\infty(S_Q)$ is a measurable nonnegative density compactly supported in the patch, and \[ S_Q=\{(u_1,u_2,Q(u_1,u_2)):u\in U\}, \qquad Q(u_1,u_2)=\frac12(\lambda_1u_1^2+\lambda_2u_2^2), \qquad \lambda_1\lambda_2 >0. \] Writing $\rho=R^{-1/2}$, we prove \[ \| G_R f\|_{L^2(\mathrm d\mu_Q)} \lesssim R^{1/8}\|f\|_{L^2(\mathbb R^3)}. \] Under local positivity of the density near the tangency point, the factor $R^{1/8}$ is attained by a tangent wave packet test and hence cannot be improved within this elliptic quadratic model, at this parabolic scale and for this angular square function. In particular, it measures the failure of a trace bound uniform in $R$ within this class. Its source is the extreme tangential interaction between a tube of radius $\rho$ and $S_Q$: the relevant surface measure is $\sim\rho^{3/2}$, whereas an $L^2$-normalized wave packet has quadratic size $\sim\rho^{-2}$. Thus the optimal quadratic cost is $\rho^{-1/2}$, producing the norm factor $\rho^{-1/4}=R^{1/8}$.
- [20] arXiv:2605.05430 [pdf, ps, other]
-
Title: Dirichlet problems and exit distributions for the telegraph process and its planar extensionsSubjects: Probability (math.PR)
In this paper, we study boundary-value problems describing the exit distribution of finite-velocity random motions from prescribed domains. For the standard telegraph process, with and without drift, we derive the Dirichlet problems governing the exit point and mean exit time from a closed interval. We then extend the analysis to a planar finite-velocity model with orthogonal directions, for which we obtain the associated Laplace and Poisson-type equations for the exit distribution and mean exit time. In the special case of an infinite strip, explicit solutions are obtained. In all cases, we show that our equations and results converge, in the hydrodynamic limit, to the corresponding ones for Brownian motion.
- [21] arXiv:2605.05432 [pdf, ps, other]
-
Title: Direct Estimation of Schrödinger Bridge Time-Series Drifts: Finite-Sample, Asymptotic, and Adaptive GuaranteesComments: 36 pages, 3 figures, 8 tablesSubjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Machine Learning (stat.ML)
We study nonparametric estimation of Schr\"odinger bridge (SB) drifts from i.i.d.\ data observed on a single time interval. Starting from the conditional-ratio form of the Schr\"odinger bridge time-series (SBTS) drift formula, we analyze a direct Nadaraya--Watson plug-in estimator built from kernelized numerator and denominator terms. Unlike recent SB analyses based on entropic-OT potentials, Sinkhorn iterations, or iterative bridge solvers, our approach works directly at the drift level and isolates \emph{statistical error} from optimization, approximation, and discretization error.
Under H\"older regularity, a marginal-density floor, and bounded support, we prove a uniform non-asymptotic bound for admissible bandwidth pairs, a pointwise CLT under genuine undersmoothing, and an adaptive bandwidth selector satisfying an oracle inequality. We also prove a pivot-local minimax lower bound which, through an explicit uniform pivot, yields a global minimax lower bound under transparent compatibility conditions; hence the adaptive selector is minimax-rate optimal up to logarithmic factors. Synthetic experiments provide theorem-targeted diagnostics for finite-sample scaling, Gaussian approximation, and adaptive behavior. - [22] arXiv:2605.05442 [pdf, ps, other]
-
Title: Wick Renormalized Parabolic Stochastic Quantization Equations on Rough Metric Measure SpacesSubjects: Probability (math.PR); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
On metric measure spaces with sub-Gaussian heat kernel behavior in small time, we obtain a sufficient condition to solve Wick renormalized stochastic quantization equations with polynomial interaction. Given the power of the nonlinearity, the local solution condition depends on the Hausdorff dimension $d_h$, the walk dimension $d_w$, and the maximal spatial H\"older regularity of the heat kernel $\Theta$. A slightly more restrictive condition based on the same parameters is required for a global solution. For all global solutions, we construct an invariant measure for the Markov process defined by the solution. Our results apply to many rough spaces such as Barlow--Kigami type fractals as well as their Cartesian products and open up the possibility of making rigorous various structures in quantum field theory and statistical mechanics in non-integer dimensions. In the process, we build entirely from the short-time heat semigroup the necessary analytic framework that accommodates the issues which come with allowing rough local geometry.
- [23] arXiv:2605.05450 [pdf, ps, other]
-
Title: On Brauer groups of known Enriques manifoldsSubjects: Algebraic Geometry (math.AG)
We compute the Brauer group of some of the known Enriques manifolds. We then build special Brauer-Severi varieties on these manifolds and study the pull-back map from the Brauer group of an Enriques manifold to that of its hyper-K\"ahler universal cover, from both a geometric and an algebraic perspective.
- [24] arXiv:2605.05451 [pdf, ps, other]
-
Title: Hybridizable discontinuous Galerkin methods for poroelastic wave propagation with symmetric stress approximationComments: 31 pagesSubjects: Numerical Analysis (math.NA)
In this paper, we develop hybridized discontinuous Galerkin (HDG) methods for poroelastic wave equations. We first rewrite the governing equations to a first-order symmetric hyperbolic system in order to use dual mixed formulations for discretization. Subsequently, we combine two HDG approaches in the discretization of the system, the $\text{HDG}+$ method for the linear elasticity equations and the $\text{LDG-H}$ method for the diffusion equations, with adjustments for the poroelastic wave equations. In our proposed HDG methods, the numerical approximation of the stress tensor is strongly symmetric and the convergence of the errors are robust for nearly incompressible materials. Upon performing static condensation, the system retains numerical trace variables solely for the solid displacement and the fluid pressure. We provide comprehensive error analyses for both the semidiscrete formulation and the Crank--Nicolson time-stepping scheme. Finally, extensive numerical examples illustrate optimal convergence results and simulate different poroelastic wave propagation scenarios relevant in the literature.
- [25] arXiv:2605.05455 [pdf, ps, other]
-
Title: Thresholds for Tic-Tac-Toe on Finite Affine SpacesSubjects: Combinatorics (math.CO)
We introduce an affine version of Tic-Tac-Toe played on the space $\mathbb{F}_q^m$. Two players alternately claim points, and the first player to occupy all points of an affine subspace of dimension $n$ wins. We refer to such game as an $(m,n)_q$-game. For fixed $n$ and $q$ we study, as a function of $m$, whether the first player has a winning strategy or whether the game is a draw.
Using strategy-stealing and a blocking-set interpretation, we show that for each choice of $(m,n,q)$ the game is either winning for the first player or drawing, and we prove that the property of being winning is monotone in the ambient dimension $m$. This leads to the definition of a threshold $T(n,q)$ for which, when it exists, $(m,n)_q$ is drawing for $m<T(n,q)$ and winning for $m\ge T(n,q)$.
We obtain general upper bounds on $T(n,q)$ from the multidimensional Ramsey theorem of Graham and Rothschild, and general lower bounds from the Erd\H{o}s-Selfridge criterion for Maker-Breaker games. For $q=2$ we combine Fourier analysis on $\mathbb{F}_2^m$ with an inductive lifting argument to show that $T(n,2)\le 2^{n+1}$, and we determine several small values explicitly, including, including $T(1,q)=2$ for $q\in\{2,3,4\}$ and $T(2,2)=4$. We also obtain geometric lower bounds from explicit pairing strategies, including $T(n,q)\ge n+2$ for every $n\ge 2$, and we discuss a number of small cases and open problems. - [26] arXiv:2605.05457 [pdf, ps, other]
-
Title: Spectrum of the Unit-Graph on $\mathrm{Mat}_3(\mathbb{F}_q)$Subjects: Combinatorics (math.CO)
In this paper, we investigate the spectrum of the unit-graph of the ring of $3 \times 3$ matrices over a finite field $\mathbb{F}_q$, which is equivalently the Cayley digraph $ \mathrm{Cay}\!\left((\mathrm{Mat}_3(\mathbb{F}_q),+), \mathrm{GL}_3(\mathbb{F}_q)\right)$. This unit-graph has a vertex set $\mathrm{Mat}_3(\mathbb{F}_q)$ with a directed edge from $A$ to $B$ whenever $B - A \in \mathrm{GL}_3(\mathbb{F}_q)$. Then, two vertices are adjacent precisely when their difference is invertible. With relevant character theory, we consequently demonstrate that the adjacency spectrum of $ \mathrm{Cay}\!\left((\mathrm{Mat}_3(\mathbb{F}_q),+), \mathrm{GL}_3(\mathbb{F}_q)\right) $ consists of four distinct eigenvalues together with their multiplicities.
Using the Spectral Gap Theorem for Cayley digraphs, we show that if two subsets of vertices in $\mathrm{Mat}_3(\mathbb{F}_q)$ are sufficiently large, then there are matrices in the two subsets whose difference lies in $\mathrm{GL}_3(\mathbb{F}_q)$. In particular, any sufficiently large subset of $\mathrm{Mat}_3(\mathbb{F}_q)$ contains two distinct matrices whose difference has nonzero determinant. This spectral gap implies that large vertex sets cannot avoid each other and must be connected by at least one edge. - [27] arXiv:2605.05462 [pdf, ps, other]
-
Title: A note on the modal logic of symmetric extensionsAuthors: Hope DuncanComments: 10 pagesSubjects: Logic (math.LO)
Taking symmetric extensions can be considered as a generalisation of forcing, which produces a richer multiverse of models with and without the axiom of choice. We can study the structure of this multiverse using modal logic. In particular, we define the concept of of choice-switches, and show any independent system of choice-switches is not itself independent from any standard example of an independent system of buttons.
- [28] arXiv:2605.05473 [pdf, ps, other]
-
Title: On Generalized Quasi-Einstein ManifoldsSubjects: Differential Geometry (math.DG)
In this paper, we study generalized $m$-quasi-Einstein $(M^n,g,X,\lambda)$ under natural conditions on the potential vector field. We show that, under suitable integral assumptions, the potential vector field is Killing, extending earlier results of Sharma to the generalized setting. Moreover, we show that divergence-free vector fields are Killing in this context, and we derive consequences under sign conditions on $m$ and $\lambda$, including triviality results.
We also revisit a recent theorem of Ghosh \cite{ghosh}, discuss a subtle issue in the argument, and provide a new formulation and proof. Finally, we establish rigidity results for manifolds with geodesic potential vector fields. - [29] arXiv:2605.05474 [pdf, ps, other]
-
Title: Bayesian Algorithm for Collaborative Optimization with Application to Aircraft DesignComments: For the AIAA Aviation 2026 Conference in San Diego MDOToolbox is available at: this https URL Lightaero is available at: this https URLSubjects: Optimization and Control (math.OC)
Collaborative Optimization (CO) is a multidisciplinary design optimization (MDO) framework that decomposes large-scale engineering problems into parallel, independently solvable subsystems coordinated by a system-level optimizer. Its practical utility is limited by the high frequency of expensive black-box disciplinary evaluations arising from the bi-level consistency constraints. This paper introduces BACO, a Bayesian Algorithm for Collaborative Optimization, which replaces the direct black-box calls at both levels with Gaussian process (GP) surrogates and acquisition function maximization. At the subsystem level, an acquisition function subject to GP-predicted feasibility constraints identifies the next evaluation point. At the system level, the same surrogate framework enforces consistency through predicted discrepancy constraints. This architecture reduces the number of true black-box evaluations required per major iteration. BACO is benchmarked against state-of-the-art CO variants on a Scalable MDO problem over 50 randomized instances. On this problem, BACO consistently achieves lower objective values and drives both constraint violation and interdisciplinary discrepancy to near-zero within the evaluation budget, outperforming all three CO variants across all tested DoE sizes. Further validation is conducted on a coupled aero-structural wing optimization problem based on the Common Research Model (CRM) geometry, where BACO identifies a feasible solution within 886 of 1000 allocated evaluations, recovering results physically consistent with active bending stress and tip deflection constraints. The BACO software, the state-of-the-art CO solvers, as well as standard MDO benchmarking problems are open-source and publicly available at https://moebehfn.github.io/mdotoolbox/.
- [30] arXiv:2605.05484 [pdf, ps, other]
-
Title: Multifractal analysis of power means for the Schneider map on $p\mathbb{Z}_p$Comments: Comments are welcomeSubjects: Dynamical Systems (math.DS)
We study the asymptotic power means of the coefficients associated with the Schneider continued fraction map on $p\mathbb{Z}_p$. Using tools from thermodynamic formalism, we compute the Hausdorff dimension of the corresponding level sets and obtain explicit formulas for the associated multifractal spectra. The locally constant nature of the geometric potential enables a precise description in terms of polylogarithm functions, in sharp contrast with the classical real setting.
- [31] arXiv:2605.05490 [pdf, ps, other]
-
Title: Hölder continuity for non-coercive Hamilton-Jacobi equations associated to linear control systemsComments: 40 pages, 5 figuresSubjects: Analysis of PDEs (math.AP)
In this paper we establish H\"older continuity estimates for viscosity solutions to first order Hamilton-Jacobi equations linked to linear control systems satisfying the Kalman rank condition. Our model Hamiltonians are non-convex in the generalised momentum variable and - more importantly - they lack coercivity in certain directions. Therefore, all previously available results from the literature cannot be applied to these degenerate settings. In order to overcome these obstructions, we design a geometric argument, dictated by the linear control system. As a result of this, the obtained H\"older estimates are quantified in an anisotropic way within this geometric framework. The estimates hold true for unbounded source terms, for which one part of our analysis is inspired by a recent result on De Giorgi type methods for hypoelliptic operators.
- [32] arXiv:2605.05498 [pdf, ps, other]
-
Title: Sets with Few Subset SumsComments: 20 pagesSubjects: Combinatorics (math.CO)
It is a classical fact that every $n$-element set of positive reals has at least $\binom{n+1}{2}+1$ distinct subset sums, with equality exactly for homogeneous arithmetic progressions (when $n\geq 4$). We establish stability versions of this inverse theorem in two regimes. First, for any parameter $M \leq n-4$, we precisely characterize the $n$-element sets of positive reals with at most $\binom{n+1}{2}+1+M$ subset sums. Second, for any constant $C$, we provide a characterization, sharp up to constants, of the $n$-element sets of positive reals with at most $Cn^2$ distinct subset sums. Along the way, we constrain (for any fixed $d \geq 2$) the structure of $n$-element subsets of $\mathbb{R}^d$ with $o(n^{d+1})$ subset sums.
- [33] arXiv:2605.05502 [pdf, ps, other]
-
Title: A Computationally Tractable Path-Planning Method for Airborne Wind Energy SystemsComments: This paper is based on a chapter of the PhD thesis of the first author, with minor revisions and extensionsSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
Airborne Wind Energy Systems (AWES) have emerged as a promising renewable energy technology that exploits stronger, more consistent high-altitude winds via tethered airborne devices. Among the various concepts, crosswind systems, where efficient flight control is essential to maximise energy output, offer significant potential. This paper addresses the problem of reference selection for crosswind flight control, focusing on the design of power-maximising geometric flight paths for the reel-out phase of Groundgen systems.
To overcome the computational challenges associated with optimal control approaches, a computationally tractable framework is proposed in which a path-planning problem is formulated as a nonlinear program. The method optimises the parameters of a Lissajous curve to maximise the average power production over the reel-out phase, while incorporating curvature constraints. The proposed approach provides an efficient alternative to existing optimal control and learning-based methods. - [34] arXiv:2605.05506 [pdf, ps, other]
-
Title: Closed polylines with fixed self-intersection indexAuthors: Dmitri FominSubjects: Metric Geometry (math.MG)
We investigate the existence of closed polylines (also known as closed polygonal chains or self-crossing polygons) that intersect each of their edges the same number of times. The most general question in this corner of combinatorial geometry asks for all pairs $(n, k)$ such that there exists a closed polyline with $n$ edges, each intersecting the same polyline exactly $k$ times. For $k = 1$ and $k = 2$, this is a very simple question answered several decades ago. In this article, we present a complete solution for $k = 3$ and $k = 4$, as well as the proof of some non-existence theorems. In conclusion, we show that, for an arbitrary positive integer $k$, a polyline of the required type exists for any sufficiently large integer $n$ such that $nk$ is even.
- [35] arXiv:2605.05507 [pdf, ps, other]
-
Title: An Exact Algorithm for Load-Dependent Traveling Salesman Problem for Unmanned Aerial Vehicle Package DeliveryAuthors: Deepak Prakash Kumar, Saurabh Belgaonkar, Sivakumar Rathinam, Swaroop Darbha, David W. CasbeerSubjects: Optimization and Control (math.OC)
In this article, we present a novel formulation for the load-dependent traveling salesman problem (LD-TSP), in which travel cost (or energy expended) depends on the vehicle's current load. This problem is relevant for package delivery and urban air mobility, where vehicles must transport and drop cargo at specified locations. The challenge lies in modeling the cost, which varies with both route sequence and onboard load. Our key contributions are: (i) formulating an energy dissipation model and proving energy expenditure depends linearly on vehicle mass and distance; and (ii) formulating a mixed-integer nonlinear programming formulation and providing a novel relaxation to obtain a mixed-integer linear program. Extensive numerical results show that optimal solutions for most instances with up to 50 targets are obtained within one minute. For unsolved instances within a 10-minute limit, optimality gaps are under 13%, highlighting the formulation's tightness. We further benchmark our approach against three proposed baseline formulations and another algorithm from a related problem, and demonstrate that our formulation outperforms all baselines.
- [36] arXiv:2605.05514 [pdf, ps, other]
-
Title: When Semantic Communication Meets Queueing: Cross-Layer Latency and Task Fidelity OptimizationSubjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Networking and Internet Architecture (cs.NI); Signal Processing (eess.SP)
Semantic communication (SemCom) with learned encoder-decoder architectures enables end-to-end learning of compact task-oriented representations optimized for the wireless channel, reducing channel resources needed to convey task-relevant information and improving spectrum efficiency. This paper studies semantic image transmission over block Rayleigh fading with AWGN using a multi-task semantic autoencoder that jointly reconstructs images and predicts labels from the received waveform. The latent dimension (complex channel uses per source sample) serves as a cross-layer control variable governing semantic fidelity and channel resource usage. We characterize the resulting latency-task fidelity tradeoff: larger latent representations improve inference accuracy but increase service time, channel uses, and queueing delay. Building on this insight, we develop online semantic-rate controllers that adapt the latent dimension per update under a long-term semantic error constraint. A queue-aware drift-plus-penalty policy minimizes delay subject to an average semantic error cap, while a complementary age-aware policy minimizes time-average Age of Information (AoI). By adapting the semantic rate to congestion and fidelity requirements, the proposed framework improves spectrum utilization and enables timely semantic updates with significantly lower delay and AoI than fixed-rate baselines.
- [37] arXiv:2605.05515 [pdf, ps, other]
-
Title: A Structure Sheaf for Kirch TopologyAuthors: Alexander BorisovComments: 20 pagesSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
Kirch topology on $\mathbb N$ goes back to 1969, and is remarkable for being Hausdorff, connected, and locally connected. In this sense, it is analogous to the usual topology on $\mathbb C,$ yet, to the author's knowledge, there have been no Kirch topology analogs of the sheaf of complex-analytic functions until very recently. In our latest paper we constructed such natural sheaf of rings, the sheaf of locally LIP functions. In this paper we investigate some of its basic properties, primarily regarding zeroth and first cohomology and Cech cohomology with respect to covers by basic open sets.
- [38] arXiv:2605.05517 [pdf, ps, other]
-
Title: Variational reduction of homogenous Lagrangian systemsSubjects: Differential Geometry (math.DG); Mathematical Physics (math-ph)
In this paper we show that a variational reduction procedure can be defined for Lagrangian systems subject to scaling symmetries (i.e. Lagrangian systems defined by a homogenous Lagrangian function), in such a way that the trajectories of the system can be reconstructed up to quadratures from the critical points of the reduced variational principle. Also, we characterize the mentioned critical points in terms of a set of ordinary differential equations which are the scaling analogue of the Lagrange-Poincar\'e equations. Finally, we study if the homogeneous Lagrangian systems are naturally related or not with the Herglotz variational principle.
- [39] arXiv:2605.05526 [pdf, ps, other]
-
Title: The vertex Folkman number $F_v(3,3;5)$ equals~$8$Authors: Tong NiuComments: 7 pagesSubjects: Combinatorics (math.CO)
The vertex Folkman number $F_v(s,t;k)$ is the smallest $n$ for which there exists a $K_k$-free graph on $n$ vertices whose vertices cannot be $2$-colored without producing a monochromatic copy of $K_s$ or $K_t$. We show $F_v(3,3;5)=8$. The witness is the cone $K_1 \vee \overline{C_7}$, a single universal vertex joined to the complement of a $7$-cycle. That this graph is $K_5$-free and arrows $(3,3)^v$ follows from a short independence-number argument. The matching lower bound -- no $K_5$-free graph on $7$ or fewer vertices works -- comes from exhaustive enumeration via nauty and a SAT check using Glucose\,4. The appendix has a self-contained Python script for verification.
- [40] arXiv:2605.05542 [pdf, ps, other]
-
Title: Fertility fibres and coproduct coefficients in the LOT Hopf algebraComments: 26 pagesSubjects: Combinatorics (math.CO)
We study fibres of the fertility map $\Phi$ from decorated rooted trees to decorated multi-index monomials. For a multi-index $\mathbf{k}$ of weight $-1$, the fibre $\mathcal F_{\mathbf{k}}=\{\,t:\Phi(t)=\xx^{\mathbf{k}}\,\}$ consists of all rooted trees with decoration--fertility profile $\mathbf{k}$. We consider its ordinary cardinality $F_{\mathbf{k}}$, its symmetry-weighted cardinality $W_{\mathbf{k}}$, and the coefficient mass $J_{\mathbf{k}}$ appearing in the tree expansion of the transposed embedding $\jmath$. We obtain an explicit formula and a functional equation for the weighted counts, and an exact multiset recursion together with a cycle-index functional equation for the ordinary counts. We also introduce coefficient generating functions for the lowering derivation $\bar\partial$, derive recursive and transport-array formulas for the corresponding coefficients, and use them to refine the admissible-cut formula for the coproduct in the LOT Hopf algebra.
- [41] arXiv:2605.05545 [pdf, ps, other]
-
Title: Optimal Design of Stealthy Attacks in Partially Observed Linear Systems: A Likelihood-Based ApproachSubjects: Optimization and Control (math.OC)
We study the optimal design of stealthy attacks against partially observed linear control systems. We first propose a novel likelihood-based detection mechanism derived from the innovation process, based on which we quantify stealthiness and formulate an attack design problem that trades off performance degradation and detectability. We develop a tractable control-theoretic framework for optimal stealthy attacks under two information structures: deterministic attacks fixed prior to system evolution, and adaptive attacks constructed from available observations. In the adaptive setting, the attacker's partial observation leads to a stochastic control problem with an endogenous information structure. We address this challenge through a hierarchical optimization framework combined with the separation principle, reducing the problem to a Markovian control formulation and yielding semi-explicit optimal attacks. We further establish well-posedness of the resulting systems and illustrate through numerical experiments how information constraints shape the trade-off between attack effectiveness and stealthiness.
- [42] arXiv:2605.05550 [pdf, ps, other]
-
Title: Defective chromatic polynomialsComments: 17 pagesSubjects: Combinatorics (math.CO)
For a graph $G$ and an integer $d\geq 0$, the defective chromatic polynomial $\chi_d(G;k)$ counts the $k$-colorings of $G$ in which each vertex has at most $d$ neighbors of its own color. We investigate which structural properties of $G$ are determined by the full family $\{\chi_d(G;k)\}_{d\geq 0}$. We establish a contraction formula expressing $\chi_d(G;k)$ as a sum of ordinary chromatic polynomials of the edge contractions of $G$. As a first application, we prove that for triangle-free graphs, the full family determines the degree sequence. For trees, we show further that the family $\{\chi_d(T;k)\}_{d\geq 0}$ determines the path-subgraph counts $N(P_j,T)$ for $j=1,2,3,4$, but not for $j=5$. For each $n\geq 9$, we construct a pair of nonisomorphic trees of order $n$ that share the same defective chromatic polynomials for every $d\geq 0$.
- [43] arXiv:2605.05551 [pdf, ps, other]
-
Title: The double splitting iteration method for solving the large indefinite least squares problemSubjects: Numerical Analysis (math.NA)
Addressing large-scale indefinite least squares (ILS) problem poses notable computational bottlenecks in the field of numerical linear algebra. State-of-the-art iterative schemes for such problems are predominantly constructed upon the single splitting of the coefficient matrix derived from the corresponding normal equation. In this work, we put forward an innovative iterative framework grounded in the double splitting of normal equations tailored for ILS problem. Specifically, we elaborate on a distinct implementations of the double splitting strategy, which offer constructive insights and methodological references for subsequent research on double splitting-based iterative methods. Two numerical experiments further corroborate that the proposed double splitting iterative paradigm outperforms conventional single splitting approaches in both computational efficiency and convergence robustness.
- [44] arXiv:2605.05555 [pdf, ps, other]
-
Title: Liouville-type theorems for the 3D stationary Navier-Stokes equations in variable Lebesgue spacesComments: 8 pagesSubjects: Analysis of PDEs (math.AP)
In \cite{CV23}, Chamorro and Vergara-Hermosilla established several Liouville-type theorems to the Navier-Stokes equations in the framework of the variable Lebesgue spaces. These results may allow the variable exponent $p(\cdot)$ beyond the range of $[3,\frac{9}{2}]$ in some non-negligible regions in $\mathbb{R}^3$. In this paper we find two new non-negligible regions, in which the Liouville-type theorems still hold under some assumptions imposed on $p(\cdot)$ in these regions. Our results can be regarded as the marginal cases of the results in \cite{CV23}.
- [45] arXiv:2605.05557 [pdf, ps, other]
-
Title: Swept-Area Pseudometrics on Ropelength-Filtered Knot SpacesAuthors: Makoto OzawaSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG)
We introduce swept-area pseudometrics on ropelength-filtered spaces of knot representatives. For a knot type \(K\) and a ropelength level \(\Lambda\), admissible isotopies are required to pass through curves of thickness at least one and length at most \(\Lambda\). The swept area is the parametrized area traced by the moving curve, and its infimum over admissible isotopies defines an extended pseudometric on each admissible component. We also define the admissible fundamental group of a based admissible component and equip it with a swept-area length function.
The construction is separated from the rigidity questions it raises. The zero-distance quotient is always a metric space, while non-degeneracy before quotienting is treated separately. We prove non-degeneracy on uniformly non-collinear finite-dimensional polygonal strata. We also prove calibration lower bounds from projected signed area, including a rotation-invariant supremum over oriented planes, and use them to obtain exact distance formulas for concentric round unknots and homothetic planar ellipses. We further prove rigidity of the ideal unknot.
The framework is related to static scale-free invariants such as density and compression radius, and to filtered-topological structures such as ideal strata and merge scales. We define swept-area weighted lifted Reidemeister graphs and prove that, for diagrammatically generic isotopies, the associated diagrammatic distance is bounded above by the geometric swept-area distance. We also record monotonicity in the ropelength parameter and formulate problems toward full non-degeneracy and approximation theory. - [46] arXiv:2605.05569 [pdf, ps, other]
-
Title: Stability of the Monge Map in Semi-Dual Optimal TransportSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
This paper shows that the semi-dual formulation of the optimal transport problem has a degenerate saddle-point structure, and that its numerical solution is equivalent to solving a constrained optimization problem. We derive necessary and sufficient conditions for the convergence of Monge maps without requiring optimality of the dual potential. This analysis helps explain why, in practice, numerical algorithms often require more iterations to update the transport map than the potential.
- [47] arXiv:2605.05579 [pdf, ps, other]
-
Title: Numerical Analysis of Space-Time Dependent Source Identification in Subdiffusion EquationsComments: 21 pp, 9 figuresSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
In this work, we propose an easy-to-implement fixed-point algorithm for reconstructing a space-time dependent source in a subdiffusion model from lateral boundary measurements. The numerical scheme combines a Galerkin finite element method for spatial discretization with a finite difference method for temporal discretization. We establish the linear convergence of the fixed-point iteration and derive an error bound that depends explicitly on the discretization parameters and the noise level. The error analysis relies on stability properties of the continuous inverse problem and technical estimates for the associated direct problem with limited-regularity data. Numerical experiments are presented to support and complement the theoretical analysis.
- [48] arXiv:2605.05582 [pdf, ps, other]
-
Title: Revised Demailly's Affineness Criterion and Algebraization of Entire Grauert TubesAuthors: Kyobeom SongComments: 32 pages, comments very welcomeSubjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Differential Geometry (math.DG)
We provide a partial answer to Burns' 1982 conjecture on the affineness of entire Grauert tubes: the complement of a codimension-one subset of an entire Grauert tube is affine. This result is obtained by establishing a generalized version of Demailly's criterion for affineness of Stein manifolds, which may be of independent interest.
- [49] arXiv:2605.05596 [pdf, ps, other]
-
Title: On the cohomological purity of the affine Springer fibersAuthors: Zongbin ChenSubjects: Algebraic Geometry (math.AG)
We address questions posed by G\'erard Laumon and Jean-Loup Waldspurger concerning the cohomological purity of affine Springer fibers. More precisely, we show that an affine Springer fiber is cohomologically pure if and only if its $\xi$-stable quotient is cohomologically pure, and that this is further equivalent to the cohomological purity of a certain sequence of truncated affine Springer fibers. We deduce from this a sheaf-theoretic reformulation of cohomological purity for affine Springer fibers. We then compare this new criterion with a previously known one via a microlocal analysis of the relevant intersection complexes. As a corollary, we show that both the primitive part of the cohomology of an affine Springer fiber and the cohomology of its $\xi$-stable quotient depend only on the root valuation datum of the defining element.
- [50] arXiv:2605.05599 [pdf, ps, other]
-
Title: Notes on harmonic-Ricci flow on surfaceAuthors: Xiang-Zhi CaoSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
In this note, we want to establish several formulas about functionals along harmonic Ricci flow on surface with boundary
- [51] arXiv:2605.05601 [pdf, ps, other]
-
Title: Twist polynomial interpolation for binary delta-matroidsComments: 16pagesSubjects: Combinatorics (math.CO)
Gross, Mansour and Tucker introduced the partial-dual polynomial of a ribbon graph and asked under what conditions such a polynomial is even-interpolating, odd-interpolating, or both. In this paper, we provide an answer to this open problem.Using the framework of delta-matroids, we prove that the twist polynomial of any binary delta-matroid is either an even polynomial, an odd polynomial, or both even-interpolating and odd-interpolating. Applying this to ribbon graphs, we deduce that the partial-dual polynomial of any ribbon graph satisfies the same conclusion.
- [52] arXiv:2605.05605 [pdf, ps, other]
-
Title: Mixed Global Dynamics of the Forced Vibro-Impact Oscillator with Coulomb Friction and its Symplectic Structure, KAM Tori, and PersistenceAuthors: Abdoulaye ThiamComments: 88 pages, 16 figuresSubjects: Dynamical Systems (math.DS); Mathematical Physics (math-ph); Symplectic Geometry (math.SG); Chaotic Dynamics (nlin.CD)
The forced vibro-impact oscillator with Amonton-Coulomb friction and elastic walls was shown by Gendelman et al. (2019) to exhibit a coexistence of Hamiltonian stability islands and dissipative attractors in a single phase space. We provide a complete mathematical analysis of this phenomenon. We prove global well-posedness of the associated Filippov flow and construct a global lift to a piecewise smooth Hamiltonian system on a covering manifold. On the maximal forward-invariant non-sticking set, we show that the time-$T$ stroboscopic map is exact symplectic, within the formalism of symplectic dynamics. We derive a closed-form existence equation for symmetric $T$-periodic orbits and establish a parameter-dependent saddle-center bifurcation at $f_{\rm sc}(F,\omega,R)$, correcting a universality claim in prior work. Using Moser's twist theorem, we prove the existence of invariant Cantor families (KAM tori) near elliptic non-sticking periodic orbits, while a Melnikov analysis yields hyperbolic dynamics conjugate to a Bernoulli shift near the associated saddle. We further show that any positive restitution defect or viscous damping destroys the conservative structure: elliptic periodic orbits persist but become asymptotically stable, replacing Hamiltonian islands by a single attracting basin. The approach extends to multi-particle systems with elastic collisions, where a symplectic structure and higher-dimensional KAM tori are obtained. A computer-assisted proof verifies the existence and ellipticity of a non-sticking periodic orbit at a specific parameter point.
- [53] arXiv:2605.05610 [pdf, ps, other]
-
Title: Vector field multiplier operators and matrix-valued kernel quasi-interpolationSubjects: Numerical Analysis (math.NA)
We develop and analyze a class of matrix-valued spherical-convolution kernels stemming from scaled zonal functions on $\mathbb{S}^2,$ the unit sphere embedded in $\mathbb{R}^3$. The construct of these kernels utilizes the Legendre differential equation and requires less stringent regularity conditions on the original zonal kernels. The induced integral operators are simple Fourier-Legendre multipliers that not only deliver optimal Sobolev error estimates (in terms of the scaling parameter) but also yield natural Helmholtz-Hodge decompositions on the $L_2$-tangential vector fields on $\mathbb{S}^2$. Via discretization of the underlying convolution integrals, we harvest a family of vector-valued quasi-interpolants that accomplish our approximation goal in the divergence/curl-free vector field. The quasi-interpolation algorithm is robust against noisy data. The implementation process is adaptive to human-improvision, involving neither evaluating the convolution integrals nor solving systems of linear equations. The computational efficiency and executory robustness of the quasi-interpolation algorithm stand in sharp contrast to the existing kernel-based vector field interpolation method.
- [54] arXiv:2605.05613 [pdf, ps, other]
-
Title: Infinite families of constacyclic codes supporting 3-designs and their applications in coding theoryComments: Constacyclic code; subfield subcode; $t$-design; quantum error-correcting code; locally recoverable codeSubjects: Information Theory (cs.IT)
Constacyclic codes over finite fields are of theoretical importance as they are closely related to a number of areas of mathematics such as algebra, algebraic geometry, graph theory,
combinatorial designs and number theory. However, the study of constacyclic codes in this context remains limited compared to classical cyclic codes. This paper provides two infinite families of $\lambda$-constacyclic codes over $\mathbb{F}_{q^2}$ that support infinite families of 3-designs, which generalize the results in [IEEE Trans. Inf. Theory 69(4): 2341-2354, 2023]. The parameters and weight distributions are determined completely. Besides, we study their subfield subcodes and applications on constructing entanglement-assisted quantum error-correcting codes (EAQECCs) and locally recoverable codes (LRCs). It is worthy to mention that two classes of maximal entanglement EAQECCs with a negative or a high positive net rate are derived. Moreover, two classes of distance-optimal and dimension-optimal LRCs are also obtained. - [55] arXiv:2605.05619 [pdf, ps, other]
-
Title: A semi-generating function approach to the stability of implicit-explicit multistep methods for nonlinear parabolic equationsComments: 24 pages, 5 tablesSubjects: Numerical Analysis (math.NA)
The rigorous stability analysis of high-order implicit-explicit multistep (IEMS) methods for nonlinear parabolic equations by using discrete energy arguments is a long standing open issue due to their non-A-stable property. A novel semi-generating function approach combined with the global discrete energy analysis is suggested to the stability and convergence analysis of general IEMS methods for nonlinear parabolic equations. Inspired from the Grenander-Szeg\"{o} theorem for the Toeplitz matrix, the semi-generating function approach is used to handle the three groups of discrete coefficients via three complex rational polynomials on the unit circle. A unified theoretical framework is then presented to establish the unconditional stability of IEMS methods if the minimum eigenvalue of composite convolution kernels for the implicit part is properly large and the spectral norm bound of composite convolution kernels for the explicit part is properly small. An indicator, called implicit-explicit controllability intensity, is then introduced to evaluate the degree of controllability of implicit part over explicit part. Some of existing IEMS methods, up to the fifth-order time accuracy, are revisited and compared by computing the associated implicit-explicit controllability intensities such that one can choose certain IEMS method or proper parameter to maintain the unconditional stability for a specific nonlinear parabolic model. We also propose a new parameterized class of IEMS methods, up to the eighth-order time accuracy, which satisfy the priori settings of our theory and have a large value of the implicit-explicit controllability intensity by choosing proper parameter so that they would be well suited for a wide class of nonlinear parabolic problems.
- [56] arXiv:2605.05631 [pdf, ps, other]
-
Title: Wandering Exponents and the Free Energy of the High-Dimensional Elastic PolymerSubjects: Probability (math.PR); Mathematical Physics (math-ph)
We study the behavior of the elastic polymer, a model of a directed polymer in a continuous Gaussian random environment that is independent in time and correlated in space, as the dimension of the environment is taken to infinity. We give an explicit asymptotic formula for the free energy, which is given in terms of the distribution of the inner product of two sampled configurations, which we also obtain an implicit formula for. From this, we provide an explicit characterization of both the low- and high-temperature phases of this model in terms of the spatial correlation function of the environment. We find asymptotics for the wandering exponent when the spatial correlation function is either an exponential or a power-law decay. Our results show that when the correlations are either suitably weak or short ranged, the model is asymptotically diffusive. On the other hand, for suitably strong long ranged correlations, the model is asymptotically superdiffusive. Moreover, we show that this transition coincides exactly with another transition where the model goes from being one-step replica symmetry breaking to full-step replica symmetry breaking. This rigorously confirms many of the findings of Mezard and Parisi [53] in the physics literature.
- [57] arXiv:2605.05637 [pdf, ps, other]
-
Title: New error estimates of the weighted $L^2$ projectionsSubjects: Numerical Analysis (math.NA)
It is known that the weighted $L^2$ projection operator exhibits approximation properties different from those of the classical $L^2$ projection, in the sense that the $L^2$ error of the weighted $L^2$ projection of an $H^1$ function generally cannot be bounded by the $H^1$ semi-norm of the function. In this paper, we establish sharper $L^2$ error estimates for the weighted $L^2$ projection of an $H^1$ function under general weight distributions. These new estimates show that the $L^2$ errors of the weighted $L^2$ projection can be controlled by the $H^1$ semi-norm of the function, except when the weight distribution is highly irregular, such as those resembling a ``checkerboard" pattern. These results can be applied to more refined analyses of domain decomposition methods and multigrid methods for certain partial differential equations with large jump coefficients.
- [58] arXiv:2605.05641 [pdf, ps, other]
-
Title: The minimal volume of stable surfaces of rank oneComments: 46 pages, 5 tablesSubjects: Algebraic Geometry (math.AG)
We determine the minimal volume of a stable surface of rank one, and show that the surface attaining this minimum is unique up to isomorphism. This resolves a conjecture of Alexeev and the second author.
Of independent interest, the decisive step of the proof uses a plurigenus inequality discovered by an AI chatbot, which we further apply to rule out additional cases in the classification of small-volume threefolds of general type, and in Koll\'ar's algebraic Montgomery--Yang problem. To our knowledge this is the first paper in birational geometry to claim a C2-level human--AI collaboration in the sense of Feng et al. - [59] arXiv:2605.05645 [pdf, ps, other]
-
Title: Long-time stability of implicit-explicit Runge-Kutta methods for two-dimensional incompressible flowsComments: 24 pages, 35 figures, 3 tablesSubjects: Numerical Analysis (math.NA)
High-order adaptive time-stepping algorithms are of significant practical value and theoretical interest for accelerating long-time fluid-flow simulations and resolving complex dynamical behaviors. While several high-order implicit-explicit schemes have been proposed in the literature, their long-time stability properties remain largely unexplored. We develop a family of long-time stable implicit-explicit Runge-Kutta (IERK) methods, up to fourth-order temporal accuracy, for the two-dimensional incompressible Navier-Stokes equations in vorticity-stream function formulation. By combining a convolution-type H\"{o}lder inequality with a damping-type multistage Gr\"{o}nwall inequality, we establish a unified analytical framework that proves long-time stability in both the $L^2$ and $H^1$ norms. A key component of the analysis is a mathematical-induction argument that ensures stage-wise boundedness of the vorticity in the $H^\delta$ norm for some $\delta>0$. To the best of our knowledge, this is the first work to establish large-time stability results for high-order IERK algorithms for the two-dimensional incompressible Navier-Stokes equations. Our IERK schemes employ stiffly accurate diagonally implicit Runge-Kutta approximations for the linear diffusive term together with explicit Runge-Kutta approximations for the nonlinear advection term. By exploiting the specific structure of the Navier-Stokes model, we derive a reduced set of order conditions-requiring only 5 and 11 conditions for the third- and fourth-order methods, respectively, in contrast to the classical 6 and 18-allowing the construction of a parameterized family of efficient schemes. These IERK methods are particularly well suited for adaptive time-stepping, as they permit significantly enlarged step sizes in actual computations.
- [60] arXiv:2605.05647 [pdf, ps, other]
-
Title: Liouville Theorems for Stationary Navier-Stokes Equations via the Radial Velocity ComponentAuthors: Gaston Vergara-HermosillaSubjects: Analysis of PDEs (math.AP)
We study Liouville-type results for the stationary Navier--Stokes equations in $\mathbb{R}^3$. We prove that any $\dot{H}^1(\mathbb{R}^3)$ solution is trivial under an integrability condition imposed only on the radial component of the velocity, namely $u_\rho(x) \in L^p(\mathbb{R}^3)$ with $3/2 < p \leq 3$. We also establish a uniqueness result in a variable-exponent setting, where an $L^6$-type condition is required only on a bounded region, while the exponent approaches the critical value $3$ at infinity. Our analysis reveals that the rigidity of the stationary Navier--Stokes system can be driven by localized and radial integrability properties, rather than uniform global conditions.
- [61] arXiv:2605.05654 [pdf, ps, other]
-
Title: Commutator estimates and their applications to the transport-type equationsComments: 36 pagesSubjects: Analysis of PDEs (math.AP)
In this paper, we derive new commutator estimates in the Triebel-Lizorkin spaces by employing Bony's para-product decomposition, the Nikol'skij representation, and the Fefferman-Stein vector-valued maximal function. These estimates are then applied to develop a general theory for transport equations. Although analogous results are already available in the setting of Besov spaces, the methods developed there do not carry over directly to the Triebel-Lizorkin case. Our approach works for Triebel-Lizorkin spaces and, as a byproduct, also yields the corresponding results in Besov spaces. All proofs are presented in a unified manner that applies to both scales of function spaces, thereby extending and sharpening previous results on transport equations in these frameworks. Furthermore, the general theory we obtain is widely applicable to evolution equations, including incompressible and compressible ideal fluid flows, shallow water waves, and related models. As an illustration, we consider the two-component Euler-Poincar\'e system. Using the theoretical framework developed herein, we establish its local well-posedness and a blow-up criterion in both sub-critical and critical Triebel-Lizorkin spaces.
- [62] arXiv:2605.05656 [pdf, ps, other]
-
Title: Notes on Transversality and Statistical Degeneracies in Distributional ModelsAuthors: R. LabouriauComments: 30 pagesSubjects: History and Overview (math.HO); Methodology (stat.ME)
These notes provide a pedagogical introduction to the role of transversality theory in the analysis of statistical degeneracies within the framework of distributional statistical models. The classical question of when a statistical model is well-behaved - in the sense of being identifiable, having non-singular Fisher information, and admitting robust estimation - is reformulated as a question about the geometry of a kernel-induced feature map. Statistical pathologies correspond to geometric degeneracies of this map, and transversality theory provides a precise language for understanding when and why such degeneracies are non-generic.
The exposition is organised in three parts. Part I surveys the statistical phenomena that motivate the geometric treatment: representation failure, non-identifiability, moment indeterminacy, singular information, nuisance parameters, and the Behrens-Fisher problem. Part II develops the necessary geometric toolkit - smooth maps, Sard's theorem, transversality, jets, stratifications, and the parametric transversality theorem - at a level accessible to students with a background in analysis and linear algebra but no prior exposure to differential topology. Part~III returns to the statistical problems of Part~I and shows how each one admits a unified geometric interpretation as a transversality condition on the feature map.
These notes are a pedagogical companion to the research paper Labouriau (2026) "Transversality and Geometric Regularisation in Distributional Statistical Models" (arXiv:2605.04536 [math.ST]), expanding its arguments with motivating examples, geometric intuition, and exercises aimed at advanced Master's and PhD students with a background in mathematical statistics and measure theory. They are designed to support seminars or reading groups. - [63] arXiv:2605.05665 [pdf, ps, other]
-
Title: Geography and Deformations of $\mathbb{Z}_2^s$-Covers of General Type Over Weighted Projective ThreefoldsComments: 91 pages; comments are welcomeSubjects: Algebraic Geometry (math.AG)
We study threefolds of general type constructed as $\mathbb{Z}_2^s$-covers of weighted projective spaces with a particular focus on their invariants, deformation theory, and the behavior of the $m$-canonical map. For the invariants, we write the ratios of the volume to the topological and holomorphic Euler characteristics as functions of the ratios of the degree of the branch divisors with respect to the total degree. From this expression, we obtain their asymptotic behavior, bounds, and a counterexample to a conjecture made by Bruce Hunt about the non-existence of smooth threefolds in a forbidden zone. From the perspective of deformation theory, we extend the criterion for such covers to be general in their moduli to the case when the weighted projective threefold has isolated singularities and the cover is non-flat, i.e., the pushforward of the structure sheaf splits as a direct sum of reflexive sheaves as opposed to line bundles. As an application, we present new numerical criteria for constructing components of the moduli spaces of stable threefolds and give concrete examples illustrating their application. Finally, we introduce techniques from Fourier transforms on finite groups to completely classify when a $\mathbb{Z}_2^s$-cover is a flat pluricanonical map. For $s \geq 2$, there are $32$ deformation types. We also show that there exist non-flat canonical and bicanonical $\mathbb{Z}_2^s$-covers for arbitrarily large values of $s$.
- [64] arXiv:2605.05669 [pdf, ps, other]
-
Title: Eigenvalues of one family of tridiagonal skew-self-adjoint Toeplitz matrices with complex perturbations on the cornerComments: 25 pages, 3 figuresSubjects: Spectral Theory (math.SP)
In this paper, we study the eigenvalues of the matrices $T_n(a)+\gamma E_{n,1,1}$ where $T_n(a)$ is the Toeplitz matrix with generating symbol $a(t)=t-t^{-1}$, $E_{n,1,1}$ is the $n\times n$ matrix whose upper left component is $1$ and the other components are zero, and $\gamma$ is a fixed complex number such that $0<|\gamma|<1$. As $n\to\infty$, the eigenvalues of these matrices are asymptotically distributed as the function $2 i \sin(x)$, $x\in[0,2\pi]$. Our main result is an asymptotic formula for every eigenvalue with a residue of the order $O(1/n^3)$.
- [65] arXiv:2605.05670 [pdf, ps, other]
-
Title: On the inhomogeneous discounted Hamilton-Jacobi equationsSubjects: Analysis of PDEs (math.AP); Dynamical Systems (math.DS)
In this paper, we study the family of inhomogeneous discounted Hamilton-Jacobi equations
\begin{equation}\label{hjs1}
\lambda(x)u+h(x,d_x u)=c \quad \tag{$\ast$}
\end{equation}
on a closed manifold $M$ with a non-identically vanishing discount factor $\lambda(x)$. There is a critical value $c_0\in[-\infty,\infty)$ such that \eqref{hjs1} admits a viscosity solution if $c>c_0$ and no solution if $c<c_0$. Inspired by the recent development [34] on the stability theory of viscosity solution, we show that the equation admits an asymptotically stable solution if and only if $c>c_0$. In this case, we determine the basin of the stable solution and investigate the long time behavior of the solution semigroup associated to \eqref{hjs1}. In particular, we relate the lowest convergence rate to the integral of $\lambda$ over Mather measures, which leads to an asymptotic behavior of Mather measures when $c$ goes to infinity. Assume $c\geqslant c_0$ and the equation admits a solution, we classify ergodic Mather measures and locate their distribution in the phase space. - [66] arXiv:2605.05672 [pdf, ps, other]
-
Title: Multiple modular L-functions and modular iterated integralsAuthors: Mahiro YokomizoSubjects: Number Theory (math.NT)
The connection between multiple modular L-functions, as defined by Manin in [5], and modular iterated integrals was made explicit by Choie and Ihara [3] under the restrictive assumption that all modular forms involved have vanishing constant terms in their q-expansions. In this paper, we remove the assumption and establish the relationship between modular iterated integrals and multiple modular L-functions for general modular forms, including those with nonzero constant terms. We also provide a proof of a functional equation for modular iterated integrals, which is a specialization of a general result obtained by Brown [2]. This leads us to a generalization of the result of Choie-Ihara [3]. In the final part of the paper, we compute explicit examples of modular iterated integrals. These calculations essentially reproduce the explicit initial computations carried out by Brown [2], but they also serve to validate the broader framework developed in this work.
- [67] arXiv:2605.05677 [pdf, ps, other]
-
Title: Root systems constructed by folding of the extended Dynkin diagramsAuthors: Ryo UchiumiComments: 34 pages, 4 figures, 4 tablesSubjects: Combinatorics (math.CO); Representation Theory (math.RT)
The extended affine Weyl group of a root system is the semidirect product of the corresponding Weyl group by its coweight lattice. The stabilizer subgroup of the extended affine Weyl group with respect to the corresponding fundamental alcove induces a subgroup of automorphisms of the extended Dynkin diagram. In this paper, we construct a finite root system by folding by the elements of the subgroup.
- [68] arXiv:2605.05695 [pdf, ps, other]
-
Title: Equivariant version of the characteristic quasi-polynomials of root systemsAuthors: Ryo UchiumiComments: 28 pages, no figures, 3 tables, I plan to post v2 immediately (with additional bibliographic information)Subjects: Combinatorics (math.CO); Representation Theory (math.RT)
An equivariant characteristic quasi-polynomial is a quasi-polynomial in $q$ consisting of the permutation character on the mod $q$ complement of the corresponding Coxeter arrangement. This concept is a refinement of the conventional characteristic quasi-polynomials of root systems. In this paper, we will show equivariant-theoretic refinements of the some properties of characteristic quasi-polynomials of root systems. Furthermore, we will explicitly compute equivariant characteristic quasi-polynomials of all irreducible reduced root systems and discuss the relationship with root systems constructed by the folding of the extended Dynkin diagrams.
- [69] arXiv:2605.05698 [pdf, ps, other]
-
Title: A Ruh-Vilms theorem for hypersurfaces in Weitzenböck geometryAuthors: Dongha LeeComments: 24 pagesSubjects: Differential Geometry (math.DG)
A well-known theorem by Ruh and Vilms states that the Laplacian of the Gauss map for a smooth immersion into Euclidean space is given by the covariant derivative of the mean curvature vector field. For hypersurfaces, this implies that the Gauss map is harmonic iff the mean curvature is constant. In this paper, we extend this result to hypersurfaces in Weitzenb\"ock geometry. While Riemannian geometry corresponds to the curved geometry without torsion, Weitzenb\"ock geometry is a flat geometry with torsion. They represent two opposite extremes of Riemann-Cartan geometry.
- [70] arXiv:2605.05705 [pdf, ps, other]
-
Title: Convex-Geometric Error Bounds for Positive-Weight Kernel QuadratureAuthors: Satoshi HayakawaComments: 22 pagesSubjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Probability (math.PR); Machine Learning (stat.ML)
Kernel quadrature can exploit RKHS spectral structure and outperform Monte Carlo on smooth integrands, but optimized quadrature weights are generally signed and may be numerically unstable. We study whether spectral acceleration remains possible when the weights are constrained to be positive, i.e., simplex weights. In the exact-target fixed-pool setting, an evaluated i.i.d. candidate pool of size $N$ is already available and the task is to reweight it so as to approximate the kernel mean embedding. We show that this positive reweighting problem is governed not by the equal-weight empirical average, but by the random convex hull generated by the pool. Our main geometric result shows that the mean of a bounded $d$-dimensional random vector can be approximated by a convex combination of $N$ i.i.d. samples at accuracy $O(d/N)$ with high probability, sharper than equal-weight averaging in the fixed-dimensional regime. We transfer this $d$-dimensional convex-hull approximation to full RKHS worst-case error through an augmented Mercer-truncation argument. The resulting positive-weight KQ bounds consist of a spectral tail term and a finite-sample convex-hull term, yielding Monte-Carlo-beating rates in favorable spectral regimes, including near-$O(1/N)$ rates up to logarithmic factors under exponential spectral decay. We also provide a constructive Frank--Wolfe algorithm that operates directly on the pool atoms, maintains simplex weights, and admits an explicit optimization-error bound.
- [71] arXiv:2605.05740 [pdf, ps, other]
-
Title: Global solutions to a two-dimensional chemotaxis-Euler system with robin boundary conditions on oxygenAuthors: Qianqian HouSubjects: Analysis of PDEs (math.AP)
This paper is concerned with the global well-posedness of a chemotaxis-Euler system in bounded domains of $\mathbb{R}^2$. Completing the system with physical boundary conditions, we show that the corresponding initial boundary value problem admits a unique global solution provided that the initial oxygen concentration is suitably small.
- [72] arXiv:2605.05757 [pdf, ps, other]
-
Title: Kernel of Scott modules and Brauer indecomposabilityAuthors: Lin WuSubjects: Representation Theory (math.RT)
Let $k$ be an algebraically closed field of a prime characteristic $p$. Let $G$ be a finite group. We investigate the Brauer indecomposability of Scott $kG$-modules in relation to the kernel of modules. We generalize a criterion for Brauer indecomposability. We also prove that, in certain cases, Brauer indecomposability of a Scott $kG$-module can be lifted from that of a Scott module over a $p$-local subgroup.
- [73] arXiv:2605.05766 [pdf, ps, other]
-
Title: Rankin--Selberg coefficients in arithmetic progressions modulo prime powersAuthors: Tengyou ZhuSubjects: Number Theory (math.NT)
Let $\varepsilon>0$ be given. For prime power moduli $q=p^k$ with $k\geq 2$ and $p\neq 3$, and assuming the Ramanujan--Petersson conjecture for $\GL_2$ Maass forms, we prove that the Rankin--Selberg coefficients $\{\lambda_f(n)^2\}_{n\geq 1}$ have a level of distribution $\theta=2/5+3/305-\varepsilon$ in arithmetic progressions $n \equiv a \bmod q$.
- [74] arXiv:2605.05768 [pdf, ps, other]
-
Title: Optimal Confidence Band for Kernel Gradient Flow EstimatorSubjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Machine Learning (stat.ML)
In this paper, we investigate the supremum-norm generalization error and the uniform inference for a specific class of kernel regression methods, namely the kernel gradient flows. Under the widely adopted capacity-source condition framework in the kernel regression literature, we first establish convergence rates for the supremum norm generalization error of both continuous and discrete kernel gradient flows under the source condition $s>\alpha_0$, where $\alpha_0\in(0,1)$ denotes the embedding index of the kernel function. Moreover, we show that these rates match the minimax optimal rates. Building on this result, we then construct simultaneous confidence bands for both continuous and discrete kernel gradient flows. Notably, the widths of the proposed confidence bands are also optimal, in the sense that their shrinkage rates are greater than, while can be arbitrarily close to, the minimax optimal rates.
- [75] arXiv:2605.05782 [pdf, ps, other]
-
Title: Thom-Sebastiani Theorem for Hodge ModulesAuthors: Morihiko SaitoSubjects: Algebraic Geometry (math.AG)
We give a proof of the Thom-Sebastiani theorem for mixed Hodge modules using a compatibility with Verdier specialization.
- [76] arXiv:2605.05784 [pdf, ps, other]
-
Title: The quotient problem for linear recurrence sequencesSubjects: Number Theory (math.NT)
Let $\{U(m)\}_{m\in \N}$ and $\{V(n)\}_{n\in \N}$ be linear recurrence sequences. It is a well-known Diophantine problem to determine the finiteness of the set of natural numbers $n$ such that the ratio $U(n)/V(n)$ is an integer. We study the finiteness problem for the set $(m, n)\in \mathbb{N}^2$ such that there exist non-zero positive integers $d_{m, n}$ satisfying $\log |d_{m, n}|=o(n)$, and $d_{m, n}U(m)/V(n)$ is an element from a finitely generated subring of $\C$. In particular, we prove that for $m\neq n $, there exists a polynomial $P$ such that $d_{m, n}P(n)U(m)/V(n)$ is a multi-recurrence and $V(n)/P(n)$ is a linear recurrence and for $m=n$ both $d_{m, n}P(n)U(m)/V(n)$ and $V(n)/P(n)$ are linear recurrences. To prove our results, we employ Schmidt's subspace theorem, and the concept of moving hyperplanes, moving polynomials, and moving points.
- [77] arXiv:2605.05796 [pdf, ps, other]
-
Title: The Ciliberto-Di Gennaro conjecture for $d=5$Authors: Remke KloostermanSubjects: Algebraic Geometry (math.AG)
The Ciliberto-Di Gennaro conjecture predicts that a nodal hypersurface of degree $d\geq 3$ with at most $2(d-2)(d-1)$ nodes is either factorial, or contains a plane and has at least $(d-1)^2$ nodes, or contains a quadric surface and has $2(d-2)(d-1)$ nodes. This conjecture is classically known for $d=3,4$. In 2022 the author proved this conjecture for $d\geq 7$ by the author. Kvitko announced a proof for $d=6$ in 2025. In this paper we prove the conjecture for the remaining open value of $d$, namely $d=5$.
- [78] arXiv:2605.05805 [pdf, ps, other]
-
Title: Finitude of Limit Cycles of Linear Piecewise ODEs in the CylinderComments: 26 pagesSubjects: Classical Analysis and ODEs (math.CA)
Let $x'=S(t,x)$ be a differential equation in the cylinder, linear piecewise in $x$ and with trigonometric coefficients in $t$. In this paper, we provide an upper bound on the number of limit cycles in terms of the number of regions of the piecewise equation and the degree of the coefficients, that is, an analogue of Hilbert's 16th problem in this context.
- [79] arXiv:2605.05823 [pdf, ps, other]
-
Title: Blaschke-type models for multimodal circle mapsComments: 24 pages, 2 figuresSubjects: Dynamical Systems (math.DS); Complex Variables (math.CV)
For each integer $m \geq 1$, we construct a finite-dimensional family of rational maps, given by Blaschke-type products, whose restriction to the unit circle consists of $2m$-multimodal maps. We show that every post-critically finite $2m$-multimodal circle map satisfying natural dynamical conditions is topologically conjugate to a map in this family. Moreover, we prove that this realization is unique up to rotation: two maps in the family that are topologically conjugate on the circle differ by a rigid rotation. In particular, the family provides a canonical model realizing all post-critically finite combinatorics in this class. The proofs combine a detailed description of the critical geometry of these Blaschke-type maps with a Thurston-type fixed point argument for a pull-back operator on the parameter space.
- [80] arXiv:2605.05837 [pdf, ps, other]
-
Title: An Additive Approximation Scheme for Generating Dyadic Codings for the Outputs of an LLMSubjects: Information Theory (cs.IT); Data Structures and Algorithms (cs.DS)
We study the problem of approximating a discrete probability distribution, such as the next-token distribution of a large language model, by a dyadic distribution induced by a binary tree under encoding rate constraints. The objective is to partition the support of the distribution and assign dyadic probabilities to minimize total variation distance while achieving a prescribed rate. We formulate this task as a tree-based partitioning problem and develop a polynomial-time additive approximation scheme for the rate-constrained setting in the constant-rate regime. Our results provide provable guarantees for near-optimal dyadic approximations and, as an application, yield a principled framework for LLM-based steganography, where the rate maps to bits of hidden information embedded per token and the total variation bound controls statistical detectability.
- [81] arXiv:2605.05839 [pdf, ps, other]
-
Title: Asymptotic properties of solutions to the characteristic problem for the ultrahyperbolic equationAuthors: Maxim N. DemchenkoSubjects: Analysis of PDEs (math.AP)
The paper concerns the problem for the ultrahyperbolic equation in the Euclidean space with data on a characteristic hyperplane. Smoothness and asymptotics of the solution along characteristic lines transversal to the initial hyperplane are investigated.
- [82] arXiv:2605.05845 [pdf, ps, other]
-
Title: Mathematical and experimental validation of the bifocusing method tailored for bistatic measurementAuthors: Won-Kwang ParkComments: 18 pages, 9 figuresSubjects: Numerical Analysis (math.NA)
In this paper, we design a bifocusing-based imaging strategy for the rapid identification of small penetrable dielectric inhomogeneities within a two-dimensional bistatic measurement setup. To address the applicability and limitation, we carefully explore the mathematical structure of the indicator function by establishing a relationship involving the infinite series of Bessel functions, the material characteristics, and the bistatic angle. Through this theoretical result, we rigorously verify that the imaging resolution degrades as the bistatic angle approaches $\SI{180}{\degree}$, and specifically, that target identification becomes impossible when the bistatic angle is $\SI{180}{\degree}$. Conversely, relatively high-resolution results are obtained when the bistatic angle is close to $\SI{0}{\degree}$. The theoretical findings are validated through numerical simulations using the Fresnel experimental dataset, which confirm the applicability and limitations of the proposed method for both dielectric and metallic objects.
- [83] arXiv:2605.05849 [pdf, ps, other]
-
Title: Spaces of matrices with few eigenvalues (II)Authors: Clément de Seguins PazzisComments: 59 pagesSubjects: Rings and Algebras (math.RA)
Let $F$ be a field, and $\mathcal{M}$ be a linear subspace of $n$-by-$n$ matrices with entries in $F$ that have at most two eigenvalues in $F$ (respectively, at most one non-zero eigenvalue in $F$). In a previous article, we have determined the greatest possible dimension for $\mathcal{M}$ when the characteristic of $F$ is not $2$. In this article and its sequel, we solve this problem for all fields with characteristic $2$.
- [84] arXiv:2605.05860 [pdf, ps, other]
-
Title: A closer target setting approach to boundary problems with the Russell graph measureSubjects: Optimization and Control (math.OC)
A Russell graph measure (RGM) is one of the standard DEA models, but its efficiency measure is not well-defined--or has unacceptable properties--at the boundary of the nonnegative orthant. This is known as a boundary problem. Existing studies have tackled this issue; however, their models may fail to identify an efficient target or fail to satisfy some desirable properties of efficiency measures. In this paper, we incorporate a closer target setting approach into the RGM model with production trade-offs to overcome such issues. We demonstrate that the efficiency measure of the proposed model overcomes the boundary problem and has stronger properties than existing models. We also demonstrate that the efficiency scores of the proposed model can be computed by solving a series of LPs. We conduct a numerical experiment with a real-world dataset to illustrate how targets provided by our model are realistic compared with the existing model, which also suggests the validity of our model in applications.
- [85] arXiv:2605.05864 [pdf, ps, other]
-
Title: Classification and Metrization of Classes of Smooth measuresComments: 36 pagesSubjects: Probability (math.PR); Functional Analysis (math.FA)
We classify the several classes of the set of smooth measures from the perspective of the denseness and the locality, and consider their relationships, in particular, that of the Kato class and Radon measures of finite energy integrals. We also introduce the Miyadera metric on the Dynkin class, and obtain the continuity of the Revuz correspondence.
- [86] arXiv:2605.05869 [pdf, ps, other]
-
Title: Consistency analysis for combined homogenization and shallow water limit of water wavesSubjects: Analysis of PDEs (math.AP)
We consider a shallow water model in a homogenization framework. For periodic topographies, Craig, Lannes and Sulem have established a consistency result under some non-resonance conditions. In the present contribution, we significantly relax the periodicity condition and treat general topographies under minimal assumptions.
- [87] arXiv:2605.05904 [pdf, ps, other]
-
Title: Schrödinger's problem with constraintsSubjects: Probability (math.PR)
Motivated by the connection between the Kyle equilibrium with static private signal and the Brownian bridge, we study a much broader class of bridges that allow one to consider more general equilibrium models, for example ones including trading costs and default risk. We show that such bridges are solutions to problems of the Schr\"odinger-type. Leveraging this connection, we obtain that the equilibria in models with trading costs converge to equilibria in the classical Kyle model.
- [88] arXiv:2605.05939 [pdf, ps, other]
-
Title: Bifurcations of grazing loops of arbitrary tangent multiplicity in piecewise-smooth systemsSubjects: Dynamical Systems (math.DS)
In piecewise-smooth differential systems, a hyperbolic limit cycle of a subsystem loses its structural stability if it grazes the switching manifold at a tangent point. Such a cycle is called a grazing loop and in this paper we investigate its bifurcations for arbitrary tangent multiplicity. For the low-multiplicity tangency, the recurrences are comprehensively captured by a functional perturbation with two parameters in previous publications, where the parameters characterize the recurrences near the tangent point and the limit cycle respectively. However, for high-multiplicity tangency, these parameters fail to capture the recurrences and thus, Poincare return maps can not be defined as usual. To address these challenges, we construct a functional perturbation with functions to clarify the recurrences and simultaneously, propose a localization method to make these two recurrences equivalent. We finally establish a quantitative relationship between the multiplicity of tangency and the numbers of crossing limit cycles, sliding loops bifurcating from the grazing loop and the number of tangent points on these sliding loops.
- [89] arXiv:2605.05943 [pdf, ps, other]
-
Title: A two-step approach to Chow quotientsSubjects: Algebraic Geometry (math.AG)
The Chow quotient of a projective variety by the action of a complex torus is known to have a very complicated geometry, even in the case of simple varieties, such as rational homogeneous varieties. In this paper we propose an approach in which the geometry of the Chow quotient is encoded in a projective toric variety and a finite subgroup of its birational automorphisms. We then illustrate how to apply our strategy in the case of some particular rational homogeneous varieties.
- [90] arXiv:2605.05944 [pdf, ps, other]
-
Title: Universal Adaptive Proximal Gradient Methods via Gradient Mapping AccumulationSubjects: Optimization and Control (math.OC)
We propose an adaptive proximal gradient method for minimizing the sum of two functions, where one is a simple convex function, and the other belongs to one of the three classes: nonconvex smooth, convex nonsmooth, or convex smooth. The key feature of the method is an adaptive step size that accumulates historical gradient mapping norms in the denominator. Without any modification or knowledge of problem parameters, the method converges across all three problem classes under mild bounded-iterates and bounded-variance assumptions, with rates matching those of the proximal gradient method up to logarithmic factors, in both deterministic and stochastic settings. For the convex setting, we further propose an accelerated variant. It retains a similar near-optimal convergence rate for the nonsmooth case and achieves an improved rate of order $\widetilde{O}\big(1/t^2 + \sigma/\sqrt{t}\big)$ for the smooth case, which is optimal up to logarithmic factors. Notably, we develop new techniques for controlling the effect of stochastic noise, which are applicable across all three problem classes in the stochastic setting and enable simplified analysis.
- [91] arXiv:2605.05968 [pdf, ps, other]
-
Title: Martingale Methods for Maximal Large Deviations and Young TowersComments: 21 pagesSubjects: Dynamical Systems (math.DS); Probability (math.PR)
We develop a martingale approximation framework yielding quantitative maximal large deviations estimates for invertible dynamical systems. From suitable decay of correlations, we deduce these estimates and, as an application, we obtain Young structures with matching recurrence tails for partially hyperbolic diffeomorphisms with mostly expanding central direction. In a second application, we prove maximal large deviation estimates for systems modelled by Young towers with subexponential contraction and expansion. Many examples of slowly mixing billiards are covered by this result.
- [92] arXiv:2605.05970 [pdf, ps, other]
-
Title: Isometric solutions to the heterotic $\mathrm{G}_2$-systemComments: 19 pages; comments are welcomeSubjects: Differential Geometry (math.DG)
In this note, we construct new solutions to the heterotic $\mathrm{G}_2$-system with non-abelian gauge group, both compact and non-compact, on certain $2$-step nilmanifolds and $3$-Sasakian manifolds. Our approach is based on an ansatz that allows us to vary both the $\mathrm{G}_2$-structure and the gauge data while keeping the underlying metric and orientation fixed. This leads, in particular, to distinct isometric solutions on the same manifold but with different gauge groups, and in some cases the resulting connection coincides with the characteristic connection of the $\mathrm{G}_2$-structure. We also investigate an $S^1$-invariant construction that yields further isometric solutions and with varying cosmological constant. Our results recover and extend several known examples solving the heterotic $\mathrm{G}_2$-system within a unified framework.
- [93] arXiv:2605.05986 [pdf, ps, other]
-
Title: Convergence rate of the occupation measure of classes of ergodic processes toward their invariant distribution in mean Wasserstein distanceComments: 32 pagesSubjects: Probability (math.PR)
N. Fournier and A. Guillin obtained in their 2015 PTRF paper some bounds of the L^p-mean rate of convergence in Wasserstein distance of empirical distributions for a class of stationary mixing processes. In this paper, we propose to extend their strategy of proof and provide general criterions which allow to keep similar rates for a larger class of processes. These results (which do not require regularization techniques) lead to various applications to occupation measures of ergodic processes which may be not stationary or not Markovian under an assumption of {\em conditional} convergence to equilibrium in Total Variation or Wasserstein distance. We then provide explicit conditions which lead to these rates for Brownian diffusions and additive SDEs driven by fractional Brownian Motions {or by Gaussian processes with stationary increments}.
- [94] arXiv:2605.05988 [pdf, ps, other]
-
Title: Multiscale analysis and homogenization of nonlocal thin filmsSubjects: Analysis of PDEs (math.AP)
In this paper, we introduce a nonlocal, variational model for thin films. We consider convolution-type functionals defined on a thin domain whose thickness is of order $\gamma$, where the effective interactions range between points is of order $\varepsilon$. We study the $\Gamma$-convergence of these energies, as both parameters vanish, to a local integral functional defined on a lower-dimensional domain. In the periodic homogenization setting, the limit energy density is characterized by an asymptotic formula that depends on the interplay between $\varepsilon$ and $\gamma$. Under suitable assumptions, this formula exhibits a separation of scales effect, namely, the limit energy can be obtained by performing two successive $\Gamma$-limits, first letting one parameter tend to zero while keeping the other fixed.
- [95] arXiv:2605.05989 [pdf, ps, other]
-
Title: Verifiable Model-Free Safety Filters via Reinforcement LearningSubjects: Optimization and Control (math.OC)
This paper presents a reinforcement learning approach of a model-free safety filter, drawing inspiration from the framework of model-based Predictive Safety Filters (PSFs). Similar to conventional PSFs, our method adopts a Quadratic Programming (QP) formulation by representing the filter as an unrolled QP solver network. However, unlike existing PSFs that derive QP parameters explicitly from system models, we learn these parameters directly through Deep Reinforcement Learning (DRL), thereby eliminating the dependency on accurate system identification. Furthermore, compared to traditional neural network-based methods, this QP structure allows us to furnish a formal certificate for the persistent safety of the learned filter. Numerical results demonstrate that our method outperforms both conventional model-based PSFs and RL-trained Multi-Layer Perceptron (MLP) baselines in terms of safety guarantees, minimal intervention, and per-step computational load.
- [96] arXiv:2605.05998 [pdf, ps, other]
-
Title: On a generalized Poincaré series of plane valuationsSubjects: Algebraic Geometry (math.AG)
Earlier, there were defined two generalized (``motivic'') versions of the Poincar\'e series of a collection of plane valuations on the algebra ${\mathcal O}_{{\mathbb C}^2,0}$ of germs of holomorphic functions in two variables. One of them was defined as an integral with respect to the generalized Euler characteristic over the projectivization of the extended semigroup of the collection. One has a natural version of it for valuations on the algebra ${\mathcal E}_{{\mathbb K}^2,0}$ of germs of holomorphic functions in two variables whose Taylor coefficients are from a fixed subfield ${\mathbb K}$ of the field ${\mathbb C}$ of complex numbers. In this setting the usual Poincar\'e series were computed for one plane curve or divisorial valuation on ${\mathcal E}_{{\mathbb K}^2,0}$. We give equations for the corresponding generalized Poincar\'e series.
- [97] arXiv:2605.06000 [pdf, ps, other]
-
Title: Deep-Koopman-KANDy: Dictionary Discovery for Deep-Koopman Operators with Kolmogorov-Arnold Networks for DynamicsSubjects: Dynamical Systems (math.DS)
Symbolic library -- or Koopman dictionary -- selection is a fundamental challenge in data-driven dynamical systems. Extended Dynamic Mode Decomposition (EDMD), Sparse Identification of Nonlinear Dynamics (SINDy), and Kolmogorov--Arnold Networks for Dynamics (KANDy) all require the practitioner to commit to a function library at training time; Deep-Koopman Operators avoid this commitment but produce uninterpretable latent observables. We propose Deep-Koopman-KANDy, a structured approach to post-hoc symbolic dictionary readout that combines Deep-Koopman modeling with Kolmogorov-Arnold Networks for Dynamics (KANDy). The encoder and decoder of a Deep-Koopman Operator are replaced with two-layer Kolmogorov--Arnold Networks (KANs), and a level-set construction together with a chain-rule gradient identity exposes the compositional structure of the learned observables in a basis chosen \emph{after} training. We evaluate the method on the Lorenz system, the Chirikov standard map, the Ikeda map, and the Arnold cat map. On Lorenz it recovers the target dictionary $\{x,y,z,xy,xz\}$ with perfect recall and Jaccard score $0.79\pm0.06$; on the standard map it recovers a low-order Fourier basis matching the analytical structure; on Ikeda -- which has no sparse polynomial representation -- a misspecified polynomial readout still recovers the correct foliation coordinate $g\approx x^2+y^2$ together with a nontrivial outer function; and on the Arnold cat map -- used as a negative control because finite-dimensional Koopman closure is provably impossible -- the method fails to find a sparse closure, as expected.
- [98] arXiv:2605.06003 [pdf, ps, other]
-
Title: Implications of an affirmative solution to the Lindenstrauss ProblemAuthors: M. A. SofiComments: 9 pages (accepted)Subjects: Functional Analysis (math.FA)
The question regarding the location of Banach spaces inside their biduals has been investigated and answered reasonably satisfactorily in the linear theory of Banach spaces. Thus, for instance, whereas it is known that a dual Banach space is complemented inside its bidual, the space of all null sequences is not! However, the latter space is a Lipschitz retract of its bidual. In his famous paper of 1964, Lindenstrauss asked if every Banach space is a Lipschitz retract of its bidual.
In this short note, we show how to relate the Lindenstrauss problem (LP) to certain other important and well-known questions that remain open in the Lipschitz theory of Banach spaces and how these latter questions may be settled in the affirmative under the assumption of (LP) having a positive solution. - [99] arXiv:2605.06009 [pdf, ps, other]
-
Title: Exponential mixing for the stochastic Allen--Cahn equation with localized white noiseSubjects: Probability (math.PR); Analysis of PDEs (math.AP); Optimization and Control (math.OC)
This paper studies the 1D stochastic Allen--Cahn equation on a bounded domain driven by localized white noise. We prove that the associated Markov process admits a unique invariant measure and is exponential mixing. The main challenge lies in the interaction between localized nature of the noise and non-trivial global dynamics of the system. To overcome this, our approach relies on two ingredients from PDE control theory: stabilization for the linearized system and global steady-state controllability for the nonlinear equation. The stabilization result is derived using the weak observability and Fenchel--Rockafellar duality, while the global controllability relies on quasi-static deformations combined with global dynamics.
- [100] arXiv:2605.06011 [pdf, ps, other]
-
Title: Distortion-minimized de-homogenization for optimization of cell-size distribution in TPMS structuresSubjects: Optimization and Control (math.OC)
This paper presents a homogenized topology optimization (TO) method for spatially optimizing cell-size distribution of triply-periodic minimal surface (TPMS) structures, with high accuracy in the optimized structural response after de-homogenization. To achieve this, we introduce a novel de-homogenization technique that directly minimizes the difference between the wavenumbers obtained from the target and actual size distributions. This minimization problem is efficiently solved as a typical Poisson's equation utilizing the discrete cosine transform. We first verify the proposed de-homogenization method through numerical examples, showcasing its capability in significantly reducing the known distortion of the de-homogenized TPMS structures from the conventional periodic modulation (PM) method. Then, we apply the proposed method to a stiffness maximization problem, to demonstrate its effectiveness in improving the structural response compared to the PM method. The proposed method successfully reduced the distortion of the de-homogenized structures compared to the PM method, leading to 0.8% difference in the strain energy compared to the homogenized model, as opposed to 63.6% difference in the PM method. The optimized structure from the proposed method shows a significant improvement in the strain energy by 50.1% compared to the uniform case in the FE analysis on the de-homogenized models, while the PM method results in a significant decrease of 45.8%. The experimental validation shows that the effective stiffness of the optimized structure from the proposed method is 54.2% higher than that of the uniform case, while the PM method results in a significant decrease by 77.3%. These results exhibit the proposed method effectively increases the accuracy of the de-homogenization, thereby maximizing the potential of the homogenized TO for the spatial cell-size optimization of TPMS structures.
- [101] arXiv:2605.06015 [pdf, ps, other]
-
Title: Distribution of spin norm along pencils: the $Sp(p, q)$ caseComments: 16 pages, 1 figure, comments are welcomeSubjects: Representation Theory (math.RT)
As a sequel to [2] and Theorem C of [3], this paper shows that for $Sp(p,q)$, the spin norm strictly increases along any Vogan pencil once it goes beyond the unitarily small convex hull.
- [102] arXiv:2605.06016 [pdf, ps, other]
-
Title: A Unified Zeroth-Order Proximal Newton-Type Framework for Composite OptimizationSubjects: Optimization and Control (math.OC)
We propose a unified derivative-free proximal Newton-type algorithm framework for solving composite optimization problems formulated as the sum of a black-box function and a known regularization term. We establish the iteration and oracle complexity bounds for the algorithm to attain an $\epsilon$-optimal solution under both nonconvex and strongly convex settings. We also establish its local R-superlinear convergence based on the Dennis--Mor\'{e} condition, and theoretically address an open problem by showing that the BFGS scheme is more compatible with finite-difference gradient estimators than with smoothing-based ones. Numerical experiments are further presented to demonstrate the efficiency of the proposed method.
- [103] arXiv:2605.06019 [pdf, ps, other]
-
Title: Geometric Means and Lebesgue-type Decomposition of Completely Positive MapsAuthors: Rui OkayasuSubjects: Operator Algebras (math.OA); Information Theory (cs.IT); Mathematical Physics (math-ph); Functional Analysis (math.FA)
We introduce the geometric mean and the parallel sum of completely positive (CP) maps on von Neumann algebras, based on the Pusz--Woronowicz theory of positive sesquilinear forms. We provide a concrete characterization via a block matrix positivity condition and establish their fundamental properties, including the AM--GM--HM inequality with respect to the CP order.
In finite-dimensional settings, our construction is compatible with the Choi--Jamiolkowski correspondence, under which the geometric mean of CP maps corresponds to the Kubo--Ando geometric mean of their Choi matrices. This yields a natural operator-theoretic framework for interpolating quantum channels.
As an application, we obtain index-type inequalities for conditional expectations in subfactor theory.
Finally, we establish a Lebesgue-type decomposition of CP maps via a parallel sum construction, thereby providing a unified framework that simultaneously generalizes Ando's decomposition of bounded positive operators and Kosaki's decomposition of normal positive functionals on von Neumann algebras. - [104] arXiv:2605.06020 [pdf, ps, other]
-
Title: Solving Constrained Affine Heaviside Composite Optimization Problems by a Progressive IP ApproachComments: 55 pages, 9 figuresSubjects: Optimization and Control (math.OC)
This paper discusses the computational resolution and presents numerical results for solving affine combinations of Heaviside composite optimization problems (abbreviated as A-HSCOPs) by a progressive integer programming (abbreviated as PIP) method. The characteristics of these problems are that the Heaviside functions, which appear in the objective and define the constraints, are discontinuous, and their mixed-signed combinations result in the overall objective lacking the matching semicontinuity needed for the optimization and in the feasible set being not necessarily closed. Added to these challenging properties is the nondifferentiability of the inner functions in the composition. In this paper, we propose resolutions to all these challenges by first an approximation to remedy the lack of semicontinuity in the objective and closedness in the constraints, followed by a progressive integer programming approach with successive decomposition to handle the intrinsically discrete nature of the Heaviside function. Convergence to the local optimizers of the given Heaviside optimization problem is established. The effectiveness of the overall solution strategy is supported by extensive computational experiments on the score-based and tree-based multiclass classification problems with precision constraints.
- [105] arXiv:2605.06023 [pdf, ps, other]
-
Title: Concise formulae in groups of non-positive curvatureComments: 21 pages. Comments welcome!Subjects: Group Theory (math.GR); Logic (math.LO)
We show that first-order formulae are concise in acylindrically hyperbolic groups and certain extensions thereof. We study further classes of groups, including Burnside groups, icc groups, groups with the `Big Powers' condition, torus knot groups and more, and prove conciseness for wide classes of formulae. We also explore properties of definable sets in these groups, such as their finiteness, depending on the type of formula considered.
- [106] arXiv:2605.06025 [pdf, ps, other]
-
Title: Fourier coefficients of continuous functions with sparse spectrumSubjects: Classical Analysis and ODEs (math.CA)
Let $(r_k)$ be an increasing sequence and $(w_k)$ a positive sequence. We study the following question: is it true that for every sequence $(a_k)$ satisfying $\sum_{k=0}^\infty |a_k|^2 w_k^2 < \infty$ there exists a function $f\in C(\mathbb{T})$ such that $\hat{f}(2^k) = a_k$ and $\hat{f}(n) = 0$ for $n\notin \cup_k [2^k-r_k,2^k+r_k]$? We show that this is possible if and only if $\sup_{k\in\mathbb{N}}\sum_{n=[\log_2 r_k]}^k w_k^{-2} < \infty$.
- [107] arXiv:2605.06031 [pdf, ps, other]
-
Title: Two-sided eigenvalue bounds for the Euler-Bernoulli beamSubjects: Numerical Analysis (math.NA)
We derive novel guaranteed lower bounds for eigenvalues of the Euler-Bernoulli beam with variable bending stiffness. While the standard finite element Rayleigh-Ritz method automatically yields upper bounds, we obtain lower bounds by employing interpolation error estimates with the explicitly known value of the associated constant. This approach is especially efficient and easy to apply for piecewise constant bending stiffness. For general variable material parameters, we obtain guaranteed lower bounds through an auxiliary beam-bending problem. The first eigenvalue is of primary interest in applications because it represents the critical load that causes buckling of the beam. Our method is, however, suitable also for the higher buckling modes. In addition, it can be applied to the physically more relevant nonlinear Gao beam model with piecewise constant bending stiffness, which has the same first eigenvalue as the classical Euler--Bernoulli beam. The presented numerical experiments illustrate the performance of the proposed eigenvalue bounds, demonstrating their convergence rates.
- [108] arXiv:2605.06034 [pdf, ps, other]
-
Title: Evaluation of eight different families of cubic Euler sumsSubjects: Number Theory (math.NT)
We present a study on cubic Euler sums of degree four, five and six, where three different types of denominators $1/k^n$, $1/((2k-1)^n)$ and $1/(k(2k-1))$ will be considered We demonstrate that for all three orders the complete variety of corresponding nonlinear Euler sums belonging to the eight different families can be explicitly calculated in terms of zeta values and polylogarithmic values $Li_4(1/2)$, $Li_5(1/2)$, $Li_6(1/2)$, $Li_6(-1/2)$ and $Li_6(-1/8)$.
- [109] arXiv:2605.06038 [pdf, ps, other]
-
Title: Standing waves for defocusing nonlinear Schrödinger equations with point interactionComments: 25 pagesSubjects: Analysis of PDEs (math.AP)
We consider standing waves of the nonlinear Schr\"odinger equation $i\partial_t u = -\Delta_\alpha u + |u|^{p-1}u$ in the defocusing case in dimensions $N=2$ and $N=3$. Here, $-\Delta_\alpha$ denotes the Laplacian with a point interaction. This operator is bounded from below by a negative constant; consequently, unlike in the free case, the associated energy functional admits non-trivial minimizers. We establish existence and uniqueness of standing waves, and prove further qualitative properties, including radial symmetry, positivity, and stability. Moreover, we build an appropriate functional space for the zero-mass case and establish sharp decay estimates in this case.
- [110] arXiv:2605.06041 [pdf, ps, other]
-
Title: Poincaré-Hopf Theorem for Isolated Determinantal SingularitiesSubjects: Geometric Topology (math.GT)
Let $X$ be a projective algebraic $d$-variety endowed with isolated determinantal singularities, and let $\omega$ be a $1$-form on $X$ exhibiting a finite number of singularities (in the stratified sense). Under some technical conditions, we use two generalizations of Poincar\'e-Hopf index with the goal of proving a Poincar\'e-Hopf Type Theorem for $X$.
- [111] arXiv:2605.06071 [pdf, ps, other]
-
Title: On the Equal Sum Partition ProblemComments: 27 pages, 1 figureSubjects: Combinatorics (math.CO)
We consider the equal sum partition problem, motivated by distance magic graph labeling: Given $n,k \in \N$ such that $k\, | \sum_{i=1}^ni$ and a partition $p_1+\cdots+p_k=n$, when is it possible to find a partition of the set $\{1,2,\ldots,n\}$ into $k$ subsets of sizes $p_1,\dots,p_k$, such that the element sum in each subset is the same?
A known necessary condition is the \emph{slack condition}, requiring that for all $j$, placing the largest possible elements in the $j$ smallest sets yields a total sum that is at least what is needed. However, this condition is not sufficient, and known counterexamples exist.
This work clarifies the boundary between solvable and unsolvable instances of the problem. We extend the list of unsolvable problem instances satisfying the slack condition by exhibiting infinite families where the $n/k$ ratio is any rational number in the interval $(2,\frac{24}{7})$, and a new criterion for unsolvability. Furthermore, we show that the slack condition is natural, as it is both necessary and sufficient for the fractional relaxation of the problem. Based on this result, we prove that the problem is solvable for the class of linear partitions, where $k$ is fixed, $p_1,\ldots,p_k$ grow linearly with $n$, and where the slack condition holds in a strong sense. We do this by applying a randomized rounding algorithm to a solution of the fractional relaxation of the problem and proving that the algorithm has an exponentially small failure probability. - [112] arXiv:2605.06074 [pdf, ps, other]
-
Title: A comparison theorem with applications to sharp geometric inequalities for submanifoldsComments: 39 pages, comments are welcome!Subjects: Differential Geometry (math.DG)
Inspired by the work of Cordero-Erausquin, McCann and Schmuckenschl\"ager [{\it Invent. Math.,} 2001], we derive an explicit expression for the Jacobian determinant of the normal exponential map on a submanifold, establishing a relationship with its ambient counterpart. This formula leads to a new comparison theorem which is closely related to the comparison theorem of Heintze-Karcher [{\it Ann. Sci. \'Ecole Norm. Sup.,} 1978] and the esitimate of Brendle [{\it Comm. Pure Appl. Math.,} 2023]. As applications, inspired by Wang [{\it Ann. Fac. Sci. Toulouse Math.,} 2023] (and hence also by Heintze-Karcher), we obtain a Fenchel-Borsuk-Chern-Lashof-type inequality and a Willmore-Chen-type inequality on closed submanifolds in complete noncompact manifolds with nonnegative curvature and Euclidean volume growth.
- [113] arXiv:2605.06079 [pdf, ps, other]
-
Title: Accessory Parameter of Confluent Heun Equations, Voros Periods and classical irregular conformal blocksComments: 49 pages, no figuresSubjects: Mathematical Physics (math-ph); Classical Analysis and ODEs (math.CA)
For the Heun differential equation and all of its confluent equations, we derive formal series expansions of the accessory parameters using the Voros periods. We then compare these expansions with the classical conformal blocks recently obtained by Bonelli--Shchechkin--Tanzini, and examine the Zamolodchikov-type conjecture expected to hold between them, allowing for irregular singularities. In particular, as an extension of the previous works of Mironov--Morozov, Piatek--Pietrykowski and Lisovyy--Naidiuk, we provide a detailed prescription for choosing cycles on the spectral curve that yield the Voros period which corresponds to the classical (regular or irregular) conformal blocks through the accessory parameter.
- [114] arXiv:2605.06090 [pdf, ps, other]
-
Title: A Sugawara-Legendre mechanism for the hyperelliptic Heisenberg algebraAuthors: Felipe Albino dos SantosComments: 22 pagesSubjects: Representation Theory (math.RT)
We study the $\varphi$-Verma modules of the Heisenberg subalgebra $\mathcal{H}_m$ of the universal central extension of $\mathfrak{sl}_2 \otimes A_m$, where $A_m$ is the coordinate ring of the superelliptic curve $u^m = P(t)$, and ask how the orthogonal polynomial families that arise in the centre relations are controlled by the module theory of $\mathcal{H}_m$. Our main results are proved unconditionally for the hyperelliptic case $m=2$, $r=1$; corresponding statements for $m \ge 3$ are recorded as conjectures. In the hyperelliptic case we prove three theorems. First, the canonical contravariant (Shapovalov) form on $M(\varphi)$ is diagonal in the polynomial basis $\{\tilde{P}_n\}_{n \ge 0}$ determined by the cocycle, with Legendre squared norms $h_n = 2/(2n+1)$. Second, $M(\varphi)$ is irreducible if and only if $\varphi$ is $p$-admissible, and this is equivalent to non-degeneracy of the Shapovalov form. Third, there is an explicit intertwiner $\Phi \colon M(\varphi) \to \mathbb{C}[x]$ which sends the free-boson Sugawara zero mode $\Omega = -L_0(L_0 + \mathrm{Id}) \in \widetilde{U(\mathcal{H}_m)}$ to the classical Legendre differential operator $L = (1-x^2)\partial_x^2 - 2x\partial_x$, the level-$n$ image of the highest-weight vector to the Legendre polynomial $P_n(x)$, and the Casimir tower $\{\Omega^r\}_{r \ge 1}$ to $\{L^r\}_{r \ge 1}$. As a companion result, $M(\varphi)$ is canonically isomorphic to a bosonic Fock space with the Shapovalov form identified with the Fock inner product.
- [115] arXiv:2605.06091 [pdf, ps, other]
-
Title: Time-Inhomogeneous Preconditioned Langevin DynamicsSubjects: Statistics Theory (math.ST); Machine Learning (cs.LG); Probability (math.PR); Computation (stat.CO)
Langevin sampling from distributions of the form $p(x) \propto \exp(-\Psi(x))$ faces two major challenges: (global) mode coverage and (local) mode exploration. The first challenge is particularly relevant for multi-modal distributions with disjoint modes, whereas the second arises when the potential $\Psi$ exhibits diverse and ill-conditioned local mode geometry. To address these challenges, a common approach is to precondition Langevin dynamics with problem-specific information, such as the sample covariance or the local curvature of $\Psi$. However, existing preconditioner choices inherently involve a trade-off between global mode coverage and local mode exploration, and no prior method resolves both simultaneously. To overcome this limitation, we propose the TIPreL, which introduces a time- and position-dependent preconditioner. This design effectively addresses both challenges mentioned above within a single framework. We establish convergence of the resulting dynamics in the Wasserstein-2 distance both in continuous time and for a tamed Euler discretization. In particular, our analysis extends the existing state of the art by proving convergence under time- and space-dependent diffusion coefficients, and only locally Lipschitz drifts, which has not been covered by prior work. Finally, we experimentally compare TIPreL with competing preconditioning schemes on a two-dimensional, severely ill-posed example and on a Bayesian logistic regression task in higher dimensions, confirming the efficiency of the proposed method.
- [116] arXiv:2605.06099 [pdf, ps, other]
-
Title: Non-relativistic limit of generalized relativistic Pauli operators by Feynman-Kac formulaeAuthors: Soichiro SakamotoComments: 22 pagesSubjects: Mathematical Physics (math-ph)
The non-relativistic limit of a generalized relativistic Pauli operator\[H_c^{S,\alpha}=\left(2c^{\beta}\bigl(\sigma\cdot(-i\nabla-a)\bigr)^2+(mc^\gamma)^{2/\alpha}\right)^{\alpha/2}-mc^\gamma+V\]on $L^2(\mathbb{R}^3;\mathbb{C}^2)$ is investigated under the constraint$2\alpha=\gamma\beta+\gamma^2$.This operator generalizes the relativistic Pauli operator within the framework of Bernstein functions.The associated heat semigroup $e^{-tH_c^{S,\alpha}}$ admits a Feynman--Kac representation involving Brownian motion, a subordinator, and a Poisson process.Using this representation, we prove that the semigroup $e^{-tH_c^{S,\alpha}}$ converges strongly to $e^{-tH^{S,\alpha}}$ as $c\to\infty$, where the limiting generator is given by\[H^{S,\alpha}=\frac{\alpha}{2m^{\frac{2}{\alpha}-1}}\bigl(\sigma\cdot(-i\nabla-a)\bigr)^2+V.\]The non-relativistic limit of a generalized relativistic Schr\"odinger operator is also investigated.
- [117] arXiv:2605.06102 [pdf, ps, other]
-
Title: $s$-harmonic functions in the small order limitComments: 40 pages, comments are welcome!Subjects: Analysis of PDEs (math.AP)
We study families $u_s$ of functions satisfying the equations $(-\Delta)^s u_s=0$, $s \in (0,1)$ in a smooth bounded open set $\Omega \subset \mathbb{R}^N$. The main purpose of this paper is twofold. First, we provide a detailed analysis of the asymptotics of these families in the zero order limit $s \to 0^+$. Second, we study the differentiability of $u_s$ as a function of $s$. Most of our results are devoted to the associated Poisson problem, where the family $u_s$ is determined by the exterior condition $u_s = g$ in $\mathbb{R}^N \setminus \Omega$ for some fixed function $g \in L^\infty(\mathbb{R}^N \setminus \Omega)$. Our results show that both the zero order asymptotics and the differentiability properties of $u_s$ can be expressed in terms of the logarithmic Laplacian of suitable extensions of $g$. This allows to deduce pointwise monotonicity properties of $u_s$ in the order parameter $s$ for a large class of functions $g$.
- [118] arXiv:2605.06103 [pdf, ps, other]
-
Title: Identification for Inverse Gaussian ChannelsAuthors: Mohammad Javad SalariseddighComments: 30 pages, 3 figuresSubjects: Information Theory (cs.IT)
We derive lower and upper bounds on the identification capacity of inverse Gaussian channels, a fundamental model for molecular communications in fluid environments. The analysis considers deterministic encoding schemes under a peak time constraint and characterizes the asymptotic growth of codebook sizes. A central result reveals that, under a mild regularity condition on the noise, i.e., the stochastic first arrival time of an information-carrying molecule propagating via diffusion and drift to the receiver, the identification capacity exhibits super-exponential growth in the codeword length, $n,$ i.e., $\sim 2^{(n \log n)R},$ where $R$ is the coding rate.
- [119] arXiv:2605.06119 [pdf, ps, other]
-
Title: Automorphism groups of direct products of multiplicative monoids of certain ringsComments: 14 pagesSubjects: Rings and Algebras (math.RA)
In this paper, we establish a rigidity result for automorphisms of multiplicative direct products of $D$-rings which are total ring of fraction that have pairwise distinct cardinalities. Under these assumptions, every automorphism acts independently on each factor, so that no interaction between distinct components occurs; in particular, the automorphism group decomposes canonically as the direct product of the automorphism groups of the factors. As a consequence, the automorphism group of the multiplicative monoid of integers modulo $n$ is entirely determined by its $p$-power components.
- [120] arXiv:2605.06120 [pdf, ps, other]
-
Title: The Quasi-linearity problem for Jordan-Banach algebras: a topological characterizationAuthors: Gerardo M. EscolanoSubjects: Operator Algebras (math.OA)
Let $\mathfrak{J}$ be a JB$^*$-algebra with no quotients isomorphic to $S_2(\mathbb{C})$. Let $\mu$ be a local quasi-linear Jordan functional on $\mathfrak{J}_{sa}$. We show that $\mu$ is a linear functional on $\mathfrak{J}_{sa}$ if and only if the restriction of $\mu$ to the closed unit ball of $\mathfrak{J}_{sa}$ is uniformly weakly continuous.
- [121] arXiv:2605.06128 [pdf, ps, other]
-
Title: Uniform small energy regularity for fractional geometric problemsComments: 21 pages. Comments are welcome!Subjects: Analysis of PDEs (math.AP)
We prove small energy regularity for a parabolic boundary reaction Ginzburg-Landau problem in the full range $s\in (0,1)$, answering a question posed by Hyder, Segatti, Sire and Wang. We also obtain a similar small energy regularity result for fractional harmonic maps to spheres. Both results are uniform as $s\to 1$.
- [122] arXiv:2605.06129 [pdf, ps, other]
-
Title: Convergence guarantees for stochastic algorithms solving non-unique problems in metric spacesComments: 35 pagesSubjects: Optimization and Control (math.OC)
We prove a general quantitative theorem on the asymptotic behavior of stochastic quasi-Fej\'er monotone sequences in a broad metric context. Concretely, our result explicitly constructs a rate of convergence for such process, both in mean and almost surely, under an abstract stochastic regularity assumption, derived from previous work of Kohlenbach, L\'opez-Acedo and Nicolae [Isr. J. Math. 232(1), pp. 261-297, 2019] on such notions in a deterministic context. Our notion of regularity extends and unifies many common conditions from the literature, such as generalized contractivity for self maps, weak sharp minima and error bounds for real-valued functions, uniform monotonicity and global metric subregularity for set-valued operators, related Polyak-{\L}ojasiewicz or Kurdyka-{\L}ojasiewicz conditions, as well as expected sharp growth as e.g. studied by Asi and Duchi [SIAM J. Optim. 29(3), pp. 2257-2290, 2019]. The rate is moreover highly uniform, depending only on very few data of the surrounding objects. We also discuss special cases which allow for the construction of fast rates in the form of linear non-asymptotic guarantees. We conclude by presenting three concrete methods from stochastic approximation where our results yield new rates of convergence, including the classical example of the stochastic proximal point method, a randomized variant of the Krasnoselskii-Mann scheme for solving stochastic fixed-point equations, and a Busemann subgradient method recently introduced by Goodwin, Lewis, L\'opez-Acedo and Nicolae [Math. Program., to appear], all of which make use of our metric generality by being formulated over complete geodesic metric spaces of nonpositive curvature.
- [123] arXiv:2605.06155 [pdf, ps, other]
-
Title: On Weakly Contractible Non-Contractible Finite Topological Spaces of Ten PointsSubjects: Algebraic Topology (math.AT)
Cianci and Ottina proved that a homotopically trivial non-contractible finite $T_0$-space cannot have fewer than nine points and classified all such spaces with exactly nine points. The present paper completes the classification for spaces with exactly ten points. No such space exists when the number of middle elements is one or two; this is established by Euler-characteristic arithmetic, beat-point arguments, and an analysis of forced naked edges. For exactly three middle elements there are precisely six spaces up to homeomorphism, forming three explicit types and their order-duals; for exactly four middle elements there are precisely four such spaces. The ten valid spaces are each shown to have a contractible order complex: seven explicit elementary collapse sequences are given, one for each of Types~I through~VII, and the three remaining spaces, the order-duals of Types~I, II, and~III, inherit contractibility from the identity $\mathcal{K}(X^{\mathrm{op}})=\mathcal{K}(X)$ of simplicial complexes, since chains in $X$ and $X^{\mathrm{op}}$ coincide as sets and any collapse sequence for $\mathcal{K}(X)$ is simultaneously one for $\mathcal{K}(X^{\mathrm{op}})$.
- [124] arXiv:2605.06163 [pdf, ps, other]
-
Title: The Normal Subgroup Theorem for lattices on two-dimensional Euclidean buildingsComments: 74 pages, 4 figuresSubjects: Group Theory (math.GR); Dynamical Systems (math.DS)
We prove the normal subgroup property for every group that acts properly and cocompactly on a two-dimensional Euclidean building: every normal subgroup has finite index or is contained in the finite kernel of the action. As a consequence, the non-residually finite lattices constructed by Titz Mite and the second author are virtually simple. They are the first known simple lattices on irreducible Euclidean buildings.
- [125] arXiv:2605.06174 [pdf, ps, other]
-
Title: Heat dispersion laws in smooth compact manifoldsJournal-ref: Bulletin of the London Mathematical Society. Volume 58, Issue 5, 2026Subjects: Differential Geometry (math.DG)
Given a Lipschitz conductor $K$ in the smooth compact Riemannian $2\le n$-manifold $(M,g)$, such a half generic heat dispersion law
$$
{\rm H^d}_{p,\varPhi,\varPsi}(K,M)=2^{-1} {\rm H^d}_{\Delta_p,\varPhi,\varPsi}(K,M) $$ is not only newly-established via Theorem 1.1 but also deeply-explored through not only Proposition 3.1 (a comparison law for the generic heat dispersion) but also Proposition 3.2 (a recycling law for the quasilinear Laplace-Robin eigenvalue). - [126] arXiv:2605.06176 [pdf, ps, other]
-
Title: Stochastic Optimal Control for Jump Diffusion Models with Singular DriftsComments: 30 pages, 3 figuresSubjects: Optimization and Control (math.OC)
We study a stochastic optimal control problem for jump-diffusion systems whose drift coefficient is piecewise Lipschitz continuous and exhibits threshold-induced discontinuities. Such dynamics naturally arise in applications with intervention policies triggered by safety levels, notably in insurance surplus management with dividend payments and capital injections. These features place the problem outside the scope of classical stochastic maximum principle (SMP) results, which rely on global smoothness assumptions. We establish both necessary and sufficient optimality conditions for this class of control problems. Our approach combines a Sobolev-type representation of the first variation process with smooth approximations and Ekeland's variational principle. As application, we study an optimal premium adjustment and reserve management policies for an insurance whose surplus is modelled by threshold-based dividend and capital injection policies.
- [127] arXiv:2605.06180 [pdf, ps, other]
-
Title: A Microlocal Description of Aubert-Zelevinsky Duality on Unipotent $L$-ParametersComments: 48 pagesSubjects: Representation Theory (math.RT)
We give a microlocal description of the Aubert--Zelevinsky involution for all unipotent representations of all inner forms of simple adjoint unramified $p$-adic groups. Via the realization of enhanced $L$-parameters as perverse sheaves, we show that the involution corresponds to the composition of three operations: Fourier transform, the complex conjugation map coming from the compact form of the dual group, and inversion on the compact part of the infinitesimal parameter.
We also show that when the group is not inner to a triality form of $D_4$, this simplifies to the composition of Fourier transform, Chevalley involution, and duality on local systems. This was previously verified in certain special examples by several authors where only the contribution by Chevalley involution and Fourier transform was observed. Duality on local systems is invisible in these examples since they only involve self-dual local systems.
Finally, we prove the microlocal Hiraga conjecture for unipotent $A$-parameters of inner-to-split simple adjoint groups as a consequence of our results.
In order to give a uniform proof of our results we reformulate and clarify several aspects of the construction of the unipotent local Langlands correspondence. This additionally allows us to characterize how various affine and graded Hecke algebras are identified. We prove that there is a `canonical' way to do so by showing that there is a unique isomorphism of graded Hecke algebras compatible with the Kottwitz isomorphism. As an application of this, we show that a simple module of the geometric graded Hecke algebra is uniquely determined by certain composition multiplicities coming from the corresponding representation of the $p$-adic group. This can be understood as a characterization of the unipotent local Langlands correspondence. - [128] arXiv:2605.06182 [pdf, ps, other]
-
Title: Locally Repairable Codes with Availability via Elliptic Function FieldsSubjects: Information Theory (cs.IT)
Locally repairable codes with availability have become essential components in modern large-scale distributed cloud storage systems and numerous other applications. In this paper, we focus on the construction of locally repairable codes with one or two recovering sets via elliptic function fields. Prior pioneering work by Li et al. (IEEE Trans. Inf. Theory, vol. 65, no. 1, 2019) and Ma and Xing (J. Comb. Theory Ser. A., vol. 193, 2023) employed maximal supersingular elliptic curves to obtain several optimal (classical) locally repairable codes. In contrast, we consider ordinary elliptic curves with many rational points. This approach yields several new families of \(q\)-ary optimal locally repairable codes with length \(O(q+2\sqrt{q})\) and flexible locality. Consequently, our work broadens the selection of curves available for the construction of optimal locally repairable codes.
Furthermore, we present a general framework for constructing locally repairable codes with two recovering sets via automorphism groups of elliptic function fields. To realize this framework, we devise a novel construction for determining the functions \(e_i\) in the construction of locally repairable codes. By employing both supersingular and ordinary elliptic curves, we obtain several families of locally repairable codes with two recovering sets. In particular, we construct a family of \(q^2\)-ary locally repairable codes with two recovering sets, achieving length \(O(q^2+2q)\) and Singleton-defect \(O\!\left(\frac{2\ell}{q^2+2q-8\ell}\right)\), where \(\ell \mid\mid q + 2\) with \(4\ell < q\). - [129] arXiv:2605.06217 [pdf, ps, other]
-
Title: Asymmetric bilateral Bailey pairs and Rogers-Ramanujan type identitiesSubjects: Combinatorics (math.CO)
The theory of Bailey's transform provides a systematic method for deriving $q$-identities, the key factor of which is the Bailey pair. The concept of Bailey pair was first extended to bilateral version by Paule. In this paper, following Rogers' work on Fourier series, we derive two asymmetric bilateral Bailey pairs. By inserting them into the bilateral Bailey chains, we obtain several identities of Rogers-Ramanujan type, Andrews-Gordon type and also identities on false theta functions. Furthermore, based on the Bailey lattice due to Dousse, Jouhet and Konan, we get an asymmetric bilateral Bailey lemma which leads to identities on Appell-Lerch series. Moreover, by using the asymmetric bilateral Bailey lemmas due to Andrews and Warnaar, we get some identities on false theta functions and the generalized Hecke-type series.
- [130] arXiv:2605.06243 [pdf, ps, other]
-
Title: A $μ$-distance for semidirected orchard phylogenetic networksSubjects: Combinatorics (math.CO); Populations and Evolution (q-bio.PE)
In evolutionary biology, phylogenetic networks are now widely used to represent the historical relationships between species and population, when this history includes reticulation events such as hybridization, gene flow and admixture between populations. Semidirected phylogenetic networks are appropriate models when the direction of some edges and the root position are not identifiable from data. Comparing semidirected networks is important in many applications. For rooted and directed networks, a $\mu$-representation was originally introduced to distinguish tree-child networks, and has since been extended in two different directions: to the larger class of orchard directed networks by adding an extra component that counts paths to reticulations; and to semidirected networks, through an edge-based variant. However, the latter does not provide a distance between semidirected and orchard networks. We introduce here a new edge-based $\mu$-representation capable of distinguishing distinct orchard binary semidirected networks. For this class, we provide a reconstruction algorithm and therefore obtain a true distance that is computable in polynomial time.
- [131] arXiv:2605.06248 [pdf, ps, other]
-
Title: Double-sum Rogers-Ramanujan type identitiesSubjects: Combinatorics (math.CO)
As the $q$-analog of Chebyshev polynomials, $q$-Hermite polynomials form a cornerstone in the family of $q$-orthogonal polynomials, which play a fundamental role in quantum algebra and mathematical physics. Recently, Andrews obtained a series of Rogers-Ramanujan type identities by constructing Bailey pairs from Chebyshev polynomials. In this paper, by applying the expansion formula of Chebyshev polynomials in terms of $q$-Hermite polynomials and using the orthogonality relations, we derive a series of Rogers-Ramanujan type identities on double sums, which further generalized the known results due to Andrews, Shi, Sun and Yao.
- [132] arXiv:2605.06252 [pdf, ps, other]
-
Title: An explicit formula for the Artin invariant of smooth K3 hypersurfacesComments: 43 pagesSubjects: Algebraic Geometry (math.AG)
We characterize the Artin invariant of a smooth K3 hypersurface in terms of quasi-$F$-splitting. As an application, we obtain an explicit formula for this invariant.
- [133] arXiv:2605.06253 [pdf, ps, other]
-
Title: On Ramsey goodness of $K_{2,n}$ versus cyclesComments: 16 pages, 3 figuresSubjects: Combinatorics (math.CO)
A graph $G$ is called $H$-good if $R(G,H)=(|G|-1)(\chi(H)-1)+\sigma(H)$, where $\sigma(H)$ denotes the size of the smallest color class in a $\chi(H)$-coloring of $H$. In Ramsey theory, it is an interesting problem to study whether a graph $G$ is $H$-good or not. In this article, we study the Ramsey goodness of the pair $(K_{2,n},C_m)$, which naturally lies between the classical star-cycle and book-cycle problems. We prove that \begin{equation*}
R(K_{2,n},C_{\{m,m+1\}})=m+1. \end{equation*} for all $m\ge 2n+1$, and consequently establish that \begin{equation*}
R(K_{2,n},C_{m})=m+1. \end{equation*} for all $m\ge 3n+4$. This proves that $C_m$ is $K_{2,n}$-good in this range and improves a particular case of a result on the Ramsey goodness by Pokrovskiy and Sudakov. Further, we provide a construction of a graph that disproves the $C_{m}$-goodness of $K_{2,n}$ for all even $m$ satisfying $n\geq m+2$. - [134] arXiv:2605.06254 [pdf, ps, other]
-
Title: Geodesic simplices of pseudo-hyperbolic spaceAuthors: Timothé LemistreComments: 19 pagesSubjects: Geometric Topology (math.GT); Differential Geometry (math.DG)
We give a cohomological interpretation of the geodesic simplices of the pseudo-hyperbolic space of signature $(p,q)$ and formulate a necessary and sufficient condition for such a simplex to have finite volume. As a corollary, we obtain that every ideal geodesic polytope in the pseudo-hyperbolic space of signature $(2,2)$ has finite volume.
- [135] arXiv:2605.06275 [pdf, ps, other]
-
Title: Fluid Antenna Systems Enabling 6G HRLLC With Port Switching DelaySubjects: Information Theory (cs.IT)
Fluid antenna systems (FAS) exploit antenna position reconfigurability to unlock massive spatial diversity within compact form factors, making them a promising enabler for 6G user terminals (UTs). However, practical port switching incurs latency and signaling overhead, which can be particularly detrimental to hyper-reliable low-latency communications (HRLLC) under finite blocklength operation. This paper investigates FASenabled HRLLC by explicitly capturing the coupled effects of spatial correlation, port switching delay, and finite blocklength coding. We derive exact closed-form expressions for the average block error rate (BLER) and average achievable rate over spatially correlated fading channels. The resulting analysis reveals a fundamental design trade-off: increasing the number of ports improves diversity but linearly reduces the effective blocklength, thereby intensifying finite-blocklength penalties. A key theoretical contribution is a rigorous proof that reliability, achievable rate, and energy efficiency are strictly unimodal in the port dimension, ensuring a unique optimal port configuration. Furthermore, we characterize an explicit switching-delay threshold that separates regimes where FAS yields net gains over fixed-position antenna (FPA) systems. Numerical results validate the analysis and show that substantial HRLLC performance gains are achievable when the switching latency remains below the derived bound.
- [136] arXiv:2605.06277 [pdf, ps, other]
-
Title: Convexity of the embedding parameter sets of some analytic function spacesAuthors: Benoit F. SehbaComments: 11 pagesSubjects: Classical Analysis and ODEs (math.CA); Complex Variables (math.CV)
In this note, we study the geometric structure of the parameter sets governing continuous embeddings between weighted Bergman-Orlicz spaces. First, for a fixed pair of growth functions, we show that the set of admissible weight exponents $(\alpha, \beta)$ is convex, provided the growth functions satisfy specific log-convexity and log-concavity conditions of the inverses. Second, we consider the dual problem where the weight exponents are fixed. We prove that the collection of growth function pairs that yield such an embedding is log-convex under a natural interpolation of their inverses. We then obtain interpolated embeddings between Bergman-Orlicz spaces.
- [137] arXiv:2605.06325 [pdf, ps, other]
-
Title: $δ$-Badly approximable numbers and ubiquitously losing setsAuthors: Jimmy TsengComments: 76 pagesSubjects: Number Theory (math.NT); Dynamical Systems (math.DS)
We construct a natural filtration $\boldsymbol{\operatorname{Bad}}(\delta) \subset \boldsymbol{\operatorname{Bad}}(\delta')$ for $\delta \geq \delta'>0$ on the set of badly approximable numbers to complement the filtration of the well approximable numbers by the $\tau$-well approximable numbers. We show that the set $\boldsymbol{\operatorname{Bad}}(\delta)$ is a $(1/3, 18 \delta)$-winning set and give a lower bound on its Hausdorff dimension. We introduce the notion of $(\alpha, \beta)$-$\textit{ubiquitously losing sets}$ to the theory of Schmidt games, give an upper bound on the Hausdorff dimension of an $(\alpha, \beta)$-ubiquitously losing set that is strictly less than full Hausdorff dimension, show that $\boldsymbol{\operatorname{Bad}}(\delta)$ is a $(1/2, 18/\delta)$-ubiquitously losing set, and give an upper bound on the Hausdorff dimension of $\boldsymbol{\operatorname{Bad}}(\delta)$ that is strictly less than one. Combined with a finite intersection property and a bilipschitz transfer property, we obtain results for finite intersections of translates of $\boldsymbol{\operatorname{Bad}}(\delta)$.
- [138] arXiv:2605.06328 [pdf, ps, other]
-
Title: FAB: A First-Order AB-based Gradient Algorithm for Distributed Bilevel Optimization over Time-Varying Directed GraphsComments: Accepted at ICML 2026Subjects: Optimization and Control (math.OC)
Distributed optimization over time-varying directed graphs has shown promising performance in addressing challenges posed by complex communication constraints in real-world scenarios. In many practical settings, however, the direct application of distributed optimization algorithms encounters additional difficulties, most notably hyperparameter tuning, which our empirical observations suggest can be effectively mitigated by integrating bilevel optimization. Motivated by these findings, we study distributed bilevel optimization over time-varying directed networks, a problem that remains largely unexplored due to the compounded challenges arising from consensus bias in dynamic unbalanced communication and the nested optimization structure. In this work, we propose a fully first-order distributed gradient-based algorithm that integrates the Push-Pull (also known as AB) communication strategy with a value function-based penalty method and establish its non-asymptotic convergence properties. Notably, a simplified variant of our analysis framework for nonconvex single-level distributed optimization establishes a convergence rate for the Push-Pull algorithm, thereby resolving an open question concerning its convergence over time-varying directed graphs. Empirical evaluations across diverse tasks, including hyperparameter tuning, data hyper-cleaning, and reinforcement learning, validate the effectiveness and efficiency of the proposed algorithm.
- [139] arXiv:2605.06329 [pdf, ps, other]
-
Title: Stabilization and Operator Preconditioning of Bulk--Surface CutFEM via Harmonic ExtensionAuthors: Qing XiaSubjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
We present a cut finite element method (CutFEM) for the Laplace--Beltrami equation on a smooth closed curve $\Gamma\subset\mathbb{R}^2$ coupled to a harmonic bulk problem in $\Omega$ that requires \emph{no explicit stabilization}: no ghost penalty, normal-gradient penalty, or cell agglomeration. The classical ill-conditioning of trace finite element spaces on cut cells arises from basis functions with vanishingly small support on $\Gamma$; our observation is that coupling the surface discretization to a discrete bulk harmonic extension, realized through the lattice Green's function (LGF) on the background Cartesian grid, rigidly constrains the degrees of freedom responsible for this ill-conditioning. The reduced operator, obtained by a congruence transform of the full CutFEM stiffness, inherits symmetry and positive semi-definiteness from the variational form and has a condition number bounded uniformly in the smallest cut-cell ratio. The direct reconstruction has the standard $O(h^{-2})$ mesh conditioning; the single-layer density formulation acts as operator preconditioner and yields $O(1)$ conditioning, which is amenable to iterative solvers; the double-layer density formulation remains cut-independent with $O(h^{-2})$ scaling. We prove optimal $O(h)$/$O(h^2)$ error estimates in $H^1(\Gamma)$/$L^2(\Gamma)$ under standard regularity assumptions, establish the cut-independent conditioning rigorously, and demonstrate both the optimal convergence rate and robustness with respect to small cuts in numerical experiments.
- [140] arXiv:2605.06336 [pdf, ps, other]
-
Title: Nonlinear RMM-GKS for Large-Scale Dynamic and Streaming Inverse Problems with Uncertain Forward OperatorsComments: 34 pages, 11 figures, 4 tablesSubjects: Numerical Analysis (math.NA)
Many practical imaging systems suffer from uncertainty in acquisition geometry -- such as projection angles in computed tomography or sensor positions in photoacoustic tomography -- leading to nonlinear inverse problems that require joint estimation of both the image and the forward model parameters. Standard approaches that assume a known linear forward operator fail to account for these uncertainties, resulting in significant reconstruction artifacts.
We propose a nonlinear recycled majorization-minimization generalized Krylov subspace (NL-RMM-GKS) framework for large-scale inverse problems with uncertain forward operators. The method extends MM-GKS to nonlinear settings by combining majorization-minimization for nonsmooth regularization with Krylov subspace projection and subspace recycling, ensuring bounded memory usage.
Two complementary formulations are developed: an alternating minimization approach that alternates between image updates and Gauss-Newton parameter estimation, and a variable projection approach that eliminates the image variable and optimizes directly over the parameters using inexact inner solves. We further introduce streaming variants that process data sequentially, enabling reconstruction from large or dynamically acquired datasets without storing the full operator. For dynamic problems, we incorporate two temporal regularization strategies -- optical flow and anisotropic total variation -- as plug-in choices within the framework.
We carry out rigorous numerical experiments in fan-beam computed tomography and photoacoustic tomography to demonstrate that our proposed framework achieves high-quality reconstructions with bounded memory requirements, making it suitable for large-scale dynamic imaging problems. - [141] arXiv:2605.06349 [pdf, ps, other]
-
Title: Low-rank kernel methods for American option pricingSubjects: Numerical Analysis (math.NA); Statistics Theory (math.ST)
We propose a scalable and theoretically grounded low-rank conditional expectation model for recursive Monte Carlo optimal stopping problems, in particular American option pricing. Our method reformulates the estimation of continuation values as a learning problem in a reproducing kernel Hilbert space, in which the conditional expectation is represented as a linear operator acting on future payoffs. This perspective yields an offline-online decomposition: the operator is learned once from simulated data and subsequently reused across all exercise dates, eliminating the need to recompute regression models at each step of the backward recursion. We establish convergence guarantees and derive bounds quantifying the approximation errors across exercise dates. Numerical experiments demonstrate the speed and accuracy of the proposed approach relative to extant methods.
- [142] arXiv:2605.06354 [pdf, ps, other]
-
Title: Hölder Stability from Exact Uniqueness for Finite-Dimensional Analytic Inverse ProblemsAuthors: Cătălin I. CârsteaSubjects: Analysis of PDEs (math.AP)
We prove a stability theorem for finite-dimensional analytic inverse problems. Let \(U\subset\R^m\) be an open parameter set, let \(F(p)\) be a boundary measurement operator, and let \(R(p)\) be the finite-dimensional quantity to be recovered. If \(F\) is real analytic and \[
F(p)=F(q)\quad\Longrightarrow\quad R(p)=R(q), \] then \(R\) satisfies a H\"older stability estimate on every compact subset of \(U\). The proof uses a Hilbert--Schmidt scalarization of the operator equation \(F(p)=F(q)\) and the \L{}ojasiewicz distance inequality. We also prove that, after fixing countable dense families of boundary inputs and tests, finitely many scalar matrix elements of the data give the same H\"older recovery on compact parameter sets. This finite-measurement conclusion is qualitative: the proof does not give an effective measurement list, exponent, or constant. The finite-measurement statement follows from finite determinacy of real analytic zero sets. We apply the result to local Neumann-to-Dirichlet data for piecewise constant anisotropic conductivities and to localized Dirichlet-to-Neumann data for piecewise homogeneous anisotropic elasticity. - [143] arXiv:2605.06360 [pdf, ps, other]
-
Title: A multidimensional Szemerédi theorem in integersSubjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA); Combinatorics (math.CO)
For any integer $n \geq 2$, let $(m_{1},\ldots,m_{n})$ be a strictly increasing $n$-tuple of positive integers. We show that any subset $A\subset [N]^n$ of density at least $(\log N)^{-c}$ contains a nontrivial configuration of the form \begin{equation*} \boldsymbol{x},\boldsymbol{x}+r^{m_{1}}\boldsymbol{e_{1}},\ldots,\boldsymbol{x}+r^{m_{n}}\boldsymbol{e_{n}}, \end{equation*} where $c=c(n,m_{1},\ldots,m_{n} )$ is a positive constant. This quantitative multidimensional Szemer\'{e}di theorem extends a recent two-dimensional result of Peluse, Prendiville, and Shao concerning the configuration of the form $(x,y),(x+r,y),\left(x,y+r^{2}\right)$. The theorem is obtained as a consequence of an effective ``popular'' version.
- [144] arXiv:2605.06363 [pdf, ps, other]
-
Title: On algebraic twists with composite moduli, IIComments: 19 pagesSubjects: Number Theory (math.NT)
We study bounds for correlation sums of automorphic coefficients on $\mathrm{GL}_{3,\mathbb{Q}}$ with trace functions of composite moduli. This is a sequel to our previous works with E. Kowalski and W. Sawin.
- [145] arXiv:2605.06369 [pdf, ps, other]
-
Title: On the dimension of the space generated by characteristic vectors of $q$-Steiner systemsSubjects: Combinatorics (math.CO)
Fix a prime power $q$ and parameters $1\leq t\leq k\leq n$, the corresponding Steiner system in the Grassmann scheme, or the $q$-Steiner system, is a collection $\mathfrak{B}$ of $k$-dimensional subspaces of $\mathbb{F}_{q}^n$ such that for each $t$-dimensional subspace $T$, there exists exactly one element of $\mathfrak{B}$ containing $T$. The dimension of Steiner systems in the Grassmann scheme is defined to be the dimension of the $\mathbb{Q}$-vector space spanned by the characteristic vectors of all these $q$-Steiner systems. In this paper, we prove that when a quadruple $(t,k,n,q)$ admits at least one $q$-Steiner system, the corresponding dimension is equal to ${n\brack k}_{q}-{n\brack t}_{q}+1$. This generalizes the 2019 work of Ghodrati \cite{ghodrati2019dimension} on ordinary Steiner systems.
- [146] arXiv:2605.06378 [pdf, ps, other]
-
Title: The maximum number of $k$-cliques of 7-connected 1-planar graphsComments: 7 pagesSubjects: Combinatorics (math.CO)
In 2023, Gollin, Hendrey, Methuku, Tompkins and Zhang determined the maximum number of cliques in general 1-planar graphs with order $n$. Their extremal examples have connectivity at most three, except for a few small orders. At the high-connectivity end, we prove that every $n$-vertex 7-connected 1-planar graph has at most $4n-12$ edges, $4n-16$ triangles, and $n-6$ copies of $K_4$. Hence the total number of cliques is at most $10n-33$. All bounds are sharp for infinitely many values of $n$.
- [147] arXiv:2605.06381 [pdf, ps, other]
-
Title: Orbital Counting in Conjugacy ClassesComments: 28 pagesSubjects: Dynamical Systems (math.DS)
In this article we consider a restricted orbital counting problem for the action of certain discrete groups on suitable spaces. In particular, we present asymptotics for counting those points in an orbit restricted to a single conjugacy class. A classical example would be cocompact actions of a discrete group acting isometrically on a simply connected manifold with pinched negative curvature. More generally, we obtain results for convex cocompact actions on $CAT(-1)$ spaces.
- [148] arXiv:2605.06389 [pdf, ps, other]
-
Title: A solution to Frankl and Kupavskii's conjecture concerning Erdos-Kleitman matching problemSubjects: Combinatorics (math.CO)
For integers $n\ge s\ge2$, let $e(n,s)$ be the maximum size of a family
$\F\subseteq2^{[n]}$ with no $s$ pairwise disjoint members.
The study of determining $e(n,s)$ is closely related to its uniform
counterpart, the well-known Erd\H{o}s matching conjecture.
Frankl and Kupavskii conjectured an exact formula for $e((m+1)s-\ell,s)$ when $1\le \ell\le \lceil s/2\rceil$.
We prove that for every fixed $m\ge3$ and sufficiently large $s$, the extremal families for $e((m+1)s-\ell,s)$ are
\[
P(m,s,\ell;L)\coloneqq\{A\subseteq [n]\colon |A|+|A\cap L|\ge m+1\} \text{ for some $L$ with } |L|=\ell-1
\]
when $1\le \ell\le (\frac{m+1}{2m+1}-o(1))s$.
In particular, this confirms the Frankl--Kupavskii conjecture for every
fixed $m\ge3$ and all sufficiently large $s$.
For $m=3$, we determine the whole range of $\ell$ for which $P(3,s,\ell;L)$ is extremal, generalizing a theorem of Kupavskii and Sokolov. - [149] arXiv:2605.06391 [pdf, ps, other]
-
Title: Unbalanced Optimal Transport and Density Control for Discrete-Time Linear SystemsComments: To appear in the Proceedings of MTNS 2026 (extended abstracts). Submitted on February 15, 2026; accepted on April 20, 2026. A significantly expanded version containing additional theoretical results, complete proofs, and numerical experiments, is available at: arXiv:2605.04246v1Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
This article studies unbalanced optimal transport (UOT) and its dynamical extension, unbalanced density control (UDC), for a class of constrained discrete-time linear systems. UOT compares measures with unequal total mass by balancing transport cost and fidelity to reference measures, while UDC incorporates system dynamics and constraints into this framework. Focusing on Gaussian references and discrete-time linear systems, we show that both problems admit globally optimal convex formulations, analogous to covariance steering. A numerical experiment is provided to illustrate our approach.
- [150] arXiv:2605.06396 [pdf, ps, other]
-
Title: Dynamical cooling driven by self-similar fronts in the 2D nonlinear Schrödinger modelSubjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Fluid Dynamics (physics.flu-dyn); Optics (physics.optics)
We analyze the dynamics towards partial thermalization and subsequent cooling in the defocusing two-dimensional nonlinear Schr\"odinger model, using direct simulations and insights from the wave-kinetic equations (WKE) and a fourth-order differential approximation model (DAM). We show that the evolving WKE spectrum exhibits two distinct similarity ranges--the quasi-thermal core and the ultraviolet tail--whereas in the DAM, an additional range of infrared self-similarity appears. By stretching the quasi-thermal region, the self-similar fronts drive an effective dynamical cooling process towards the formal but ill-defined equilibrium state at vanishing temperature--analogous to an ultraviolet catastrophe in a system of classical waves.
- [151] arXiv:2605.06399 [pdf, ps, other]
-
Title: A polar-factor retraction on the symplectic Stiefel manifold with closed-form inverseAuthors: Ralf ZimmermannComments: 6 pages, 1 figure, submitted to Controlo '26Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph); Differential Geometry (math.DG)
In Riemannian computing applications, it is crucial to map manifold data to a Euclidean domain, where vector space arithmetic is available, and back. Classical manifold theory guarantees the existence of such mappings, called charts and parameterizations, or, collectively, local coordinates. When computational efficiency is of the essence, practitioners usually resort to retraction maps to define local coordinates. Retractions yield first-order approximations of the Riemannian normal coordinates. This work introduces a new retraction on the symplectic Stiefel manifold that features a closed-form inverse. We expose essential features and compare the numerical performance to a selection of existing retractions. To the best of our knowledge, prior to this work, the so-called Cayley retraction was the only retraction on the symplectic Stiefel manifold with known closed-form inverse.
- [152] arXiv:2605.06409 [pdf, ps, other]
-
Title: Entire spacelike radial graphs with prescribed mean curvature in the Lorentz--Minkowski spaceSubjects: Analysis of PDEs (math.AP)
In this paper we address the existence and uniqueness of entire spacelike hypersurfaces in the Lorentz--Minkowski space $\mathbb{L}^{m+1}$ with prescribed mean curvature that are star-shaped with respect to a point and asymptotic to a light cone. We also establish a Willmore-type inequality and prove a non-existence result for spacelike radial graphs asymptotic to the light cone whose mean curvature belongs to $L^p$ for $1 \leq p\leq m$, in particular in the case of compactly supported mean curvature.
- [153] arXiv:2605.06417 [pdf, ps, other]
-
Title: Minimax estimation of Functional Principal Components from noisy discretized functional data: the case of smooth processesSubjects: Statistics Theory (math.ST)
We study the minimax estimation of covariance eigenfunctions and eigenvalues in functional principal component analysis when $n$ trajectories are observed at $p$ common grid points with additive noise. We consider covariance kernels with arbitrary H\"older smoothness and no prescribed parametric decay of the eigenvalues. In this setting, kernel smoothness and local spectral separation play distinct roles: a minimax inconsistency result over the smoothness-only class shows that kernel regularity alone is not sufficient for minimax-consistent eigenfunction estimation. To capture this interplay, we introduce a class of processes that jointly controls the H\"older smoothness of the covariance kernel and a local relative inverse eigengap quantity at the target index $\ell$. Over this class, we derive non-asymptotic minimax lower bounds for eigenfunction estimation that disentangle sampling variability, discretization and spectral effects, revealing rates of order $\delta_\ell n^{-1}+p^{-2\alpha}$, where $\delta_\ell$ quantifies the spectral difficulty. We also obtain non-asymptotic lower bounds for eigenvalue estimation under a relative squared-error loss. We then construct a computable wavelet projection estimator based on Coiflet scaling functions and a quadrature scheme designed to accommodate arbitrary H\"older smoothness. For eigenfunction estimation, this estimator matches the minimax dependence on the sample size and grid resolution, up to the natural spectral factor, for any H\"older index $\alpha>0$. Finally, we show that the proposed framework covers several classical Gaussian processes and Karhunen--Lo\`eve constructions. In particular, a Karhunen--Lo\`eve based criterion links spectral decay, eigenfunction regularity and covariance-kernel smoothness, and yields controlled simulation settings illustrating the predicted phase transitions and least-favourable discretization effects.
- [154] arXiv:2605.06429 [pdf, ps, other]
-
Title: $\mathsf{GL}_N(\mathbb{C})$ Brownian motion and stochastic PDE on entire functionsSubjects: Probability (math.PR); Mathematical Physics (math-ph)
We construct the full edge scaling limit of the singular values of Brownian motion on the general linear group $\mathsf{GL}_N(\mathbb{C})$ starting from general conditions. We show that the limiting paths solve an infinite system of SDE with log-interaction and have a Gibbs resampling property with exponential Brownian bridges. Moreover, we show that the evolution of the limiting rescaled reverse characteristic polynomial solves a stochastic partial differential equation with a non-linear multiplicative noise and linear drift. From a special initial condition the resulting line ensemble coincides, in logarithmic coordinates, with a line ensemble constructed by Ahn which arises as a universal scaling limit of singular values of products of random matrices. We prove some analogous results on the evolution of limiting characteristic polynomials for two models whose stationary measures are given by the Hua-Pickrell and Bessel stochastic zeta functions respectively.
- [155] arXiv:2605.06431 [pdf, ps, other]
-
Title: Second-Order Bilevel Optimization with Accelerated Convergence RatesComments: This paper is accepted by ICML 26Subjects: Optimization and Control (math.OC)
This paper studies second-order methods for nonconvex-strongly-convex bilevel optimization. We propose a novel fully second-order bilevel approximation method (FSBA) that achieves an iteration complexity of $\tilde{\mathcal{O}}(\epsilon^{-1.5})$ for finding the $(\epsilon, \mathcal{O}(\sqrt{\epsilon}))$ second-order stationary point of the hyper-objective function. Our results demonstrate that second-order methods can achieve an accelerated convergence rate than first-order methods in bilevel optimization. To address the heavy computational cost associated with the second-order oracle, we introduce a lazy variant of FSBA, called LFSBA, which reuses second-order information across several iterations. We prove that LFSBA exhibits better computational complexity than FSBA by a factor of $\sqrt{d}$, where $d$ is the dimension of the problem. We also apply a similar idea to nonconvex strongly-concave minimax optimization and propose the lazy minimax cubic-regularized Newton (LMCN) method with better computational complexity compared to existing second-order methods.
- [156] arXiv:2605.06448 [pdf, ps, other]
-
Title: Performance guaranteed MPC Policy Approximation via Cost Guided LearningJournal-ref: IEEE Control Systems Letters, 2024, 8: 346-351Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
Model predictive control (MPC) is widely used in industries but implementing it poses challenges due to hardware or time constraints. A promising solution is to approximate the MPC policy using function approximators like neural networks. Existing methods focus on minimizing the error between the approximators outputs and the MPC optimal control actions on training data, which is called error guided learning approach in this paper. However, the goals of control law design is not to minimize the fitting error but to minimize the operation cost. This paper proposes a novel cost-guided learning approach that utilizes the cost sensitivity information from the MPC problem to directly minimize the loss in closed-loop performance. A theoretical analysis shows cost-guided learning provides tighter guarantees on optimality loss compared to traditional error-guided learning. Experiments on a continuous stirred tank reactor (CSTR) benchmark demonstrate that the proposed technique results in approximate MPC policies that achieve substantially better closed-loop performance. This work makes an important contribution by connecting the fitting errors with operational objectives, overcoming key limitations of existing approximation methods. The core idea could be applied more broadly for data-driven control.
- [157] arXiv:2605.06453 [pdf, ps, other]
-
Title: Formal Stability of Tetrahedral Non-Zonal Flows on the SphereAuthors: Yuri CacchiòSubjects: Analysis of PDEs (math.AP)
We investigate the formal stability of finite-amplitude non-zonal flows bifurcating from the trivial state in the unforced 2D Euler equations on the sphere. To bypass the degeneracy of the spherical Laplacian and filter out the low-frequency Fj{\o}rtoft instabilities, we restrict the functional space to the invariant subspace of the tetrahedral symmetry group. Using Arnold's Energy-Casimir method, we prove that the linearized elliptic operator derived via Liapunov-Schmidt reduction acts as the Hessian of the conserved functional. By tracking the critical eigenvalue along the bifurcating branches via the Crandall-Rabinowitz theorem, we establish a relation between the bifurcation topology and formal stability. Applying this framework to four distinct geophysical profile functions, we demonstrate that subcritical polynomial and supercritical sine-Gordon flows achieve a negative-definite second variation, that is, their formal stability. In contrast, subcritical sinh-Gordon and supercritical Liouville exponential flows generate saddle points, making them unstable. This classification identifies the specific nonlinear interactions required for the persistence of large-scale coherent waves in planetary atmospheres.
- [158] arXiv:2605.06459 [pdf, ps, other]
-
Title: Asymptotic Statistics of Odd Unimodal Sequences: Rank Distributions and Probabilistic StructuresComments: Comments are welcomeSubjects: Number Theory (math.NT)
Integer partitions have fascinated people for centuries, from Ramanujan's groundbreaking congruences to the modern theory of modular forms. This paper investigates the statistical properties of odd unimodal sequences--a natural refinement where sequences rise to a peak and then fall, but with the constraint that all parts must be odd, and develops a comprehensive statistical theory for their rank and shape parameters. We establish the asymptotic distribution of the rank statistic and demonstrate that, when properly normalized, it converges to the hyperbolic secant distribution. Beyond the rank distribution, limiting distributions of the peak, the largest parts on either side of the peak, and the joint behavior of small parts are also proved. These results reveal a rich probabilistic structure that parallels the classical theory of integer partitions while exhibiting distinctive new features arising from the odd-part constraint. The analysis employs a synthesis of modular transformation theory, false theta function asymptotics, and conditioned Boltzmann models. This extends the probabilistic machinery previously developed for unimodal sequences into a more general and analytically demanding setting, offering a unified approach that bridges modular forms and probability.
- [159] arXiv:2605.06463 [pdf, ps, other]
-
Title: The simplified 2D Ericksen-Leslie liquid crystal model interacting with a 1D flexible shellAuthors: Prince Romeo MensahSubjects: Analysis of PDEs (math.AP)
We consider the evolution and interaction of a 2-dimensional nematic liquid crystal of Ericksen-Leslie type within a 1-dimensional flexible viscoelastic structure. This is a fully macroscopic model in which the nematic liquid crystal is modelled by the simplified Ericksen-Leslie system with Ginzburg-Landau approximation. The liquid crystal is contained in a thin viscoelastic shell of arbitrary reference configuration that evolves with respect to the forces exerted by the liquid crystal. Barring any degeneracies in the shell, we construct a global weak solution for the coupled system. We then show that any family of such weak solutions that are parametrized by the Ginzburg-Landau coefficient, converges to a weak solution of the original simplified Ericksen-Leslie system without the Ginzburg-Landau term.
- [160] arXiv:2605.06468 [pdf, ps, other]
-
Title: Equivalence of intrinsic and extrinsic area bounds for minimal surfacesAuthors: Enric Florit-SimonSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
We show that intrinsic and extrinsic area density bounds are equivalent, with matching asymptotic values, for complete, connected, smooth minimal immersions $i:\Sigma^d\to\mathbb{R}^N$ of any dimension and codimension. Combining our results with a recent breakthrough by Bellettini, we extend the Schoen--Simon--Yau curvature estimates for smoothly immersed, two-sided, stable minimal hypersurfaces $i:\Sigma^n\to\mathbb{R}^{n+1}$ with bounded intrinsic area density to the missing case $n=6$, which had remained open since.
- [161] arXiv:2605.06469 [pdf, ps, other]
-
Title: Dynamic Controlled Variables Based Dynamic Self-Optimizing ControlJournal-ref: Journal of Process Control, 2024, 138: 103228Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Systems and Control (eess.SY)
Self-optimizing control is a strategy for selecting controlled variables, where the economic objective guides the selection and design of controlled variables, with the expectation that maintaining the controlled variables at constant values can achieve optimization effects, translating the process optimization problem into a process control problem. Currently, self-optimizing control is widely applied to steady-state optimization problems. However, the development of process systems exhibits a trend towards refinement, highlighting the importance of optimizing dynamic processes such as batch processes and grade transitions. This paper formally introduces the self-optimizing control problem for dynamic optimization, termed the dynamic self-optimizing control problem, extending the original definition of self-optimizing control. A novel concept, "dynamic controlled variables" (DCVs), is proposed, and an implicit control policy is presented based on this concept. The paper theoretically analyzes the advantages and generality of DCVs compared to explicit control strategies and elucidates the relationship between DCVs and traditional controllers. Moreover, this paper puts forth a data-driven approach to designing self-optimizing DCVs, which considers DCV design as a mapping identification problem and employs deep neural networks to parameterize the variables. Three case studies validate the efficacy and superiority of DCVs in approximating multi-valued and discontinuous functions, as well as their application to dynamic optimization problems with non-fixed horizons, which traditional self-optimizing control methods are unable to address.
- [162] arXiv:2605.06471 [pdf, ps, other]
-
Title: Leap generators for composition schemesComments: 37 pagesSubjects: Combinatorics (math.CO); Probability (math.PR)
Leap generators have been introduced in [Duchon et al.'04] for exact-size random generation of structures in a class of the form $\mathcal{C}=\mathrm{Seq}(\mathcal{B})$ (sequence construction), in the supercritical case. We extend these generators to supercritical composition schemes $\mathcal{C}=\mathcal{A}\circ\mathcal{B}$. Compared to the sequence construction, the obtained exact-size random generator for $\mathcal{C}$ still has linear time complexity (under conditions on the sampling complexity in $\mathcal{A}$ and $\mathcal{B}$), but perfect uniformity of the distribution is lost in general. However the distribution on $\mathcal{C}_n$, called leap distribution, is asymptotically uniform, the total variation distance from the uniform distribution being $(c+o(1))n^{-1/2}$ for an explicit constant $c$. These generators are simple to implement and can be applied to several classes of walks and trees, in particular P\'olya trees. Leap generators can also be given for certain critical composition schemes, those relating planar map families, where this time the total variation distance to the uniform distribution is $\sim c\,n^{-1/3}$ for an explicit constant $c$.
- [163] arXiv:2605.06488 [pdf, ps, other]
-
Title: Continuous-state branching processes with Lévy-Khintchine drift-interaction: Laplace duality and Fellerian extensionsComments: 80 pages, 1 figureSubjects: Probability (math.PR)
We investigate the class of continuous-state branching processes with interaction driven by a L\'evy-Khintchine type drift (CBDI). These $[0,\infty]$-valued processes capture both dynamics of branching and density-dependence, allowing for cooperation at low population sizes and competition at high densities. Although the interaction breaks the branching property, the L\'evy--Khintchine form of the drift induces a Laplace duality. This duality expresses the Laplace transform of a CBDI process in terms of that of another CBDI process, in which the branching and drift-interaction mechanisms are exchanged. The process, stopped upon hitting either boundary $0$ or $\infty$, is uniquely characterized in law by these mechanisms. A Fellerian extension is constructed when the drift is non-Lipschitz and sufficiently strong at a boundary, allowing the process to leave this boundary continuously and possibly re-enter it. We identify parameters, defined in terms of the mechanisms and their associated scale function and potential measure, that determine the boundary behavior at $0$ and $\infty$ (entrance, exit or regular). Settings exhibiting all regimes, including regular-for-itself and non-sticky boundaries, arise when the mechanisms are assumed to be regularly varying. Our approach combines Laplace duality, which facilitates the analysis of semigroups and the construction of sharp Lyapunov functions for the associated generators, with comparison principles for a class of stochastic equations that ensure monotonicity and convergence properties of first-passage times.
- [164] arXiv:2605.06493 [pdf, ps, other]
-
Title: Confidentiality of Linear Control Systems with Quadratic Output Under Sensor Attacks [Extended Version]Subjects: Optimization and Control (math.OC)
We study the state estimation problem for linear control systems with quadratic outputs which are locally unobservable at the equilibrium. We show that, despite this inherent lack of observability, an adversary with sensor read and write capability can induce observability by injecting an appropriate signal into the measurement channel. Taking the role of an adversary, we characterize when an injected signal can or cannot induce observability and, in the successful case, construct an observer that achieves local exponential convergence of state estimates to the true states of the system. A simulation study demonstrates our results.
- [165] arXiv:2605.06495 [pdf, ps, other]
-
Title: Global self-optimizing control of batch processesJournal-ref: Journal of Process Control Volume 135, March 2024, 103163Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
This work considers to achieve near-optimal operation for a class of batch processes by employing self-optimizing control (SOC). Comparing with a continuous one, a batch process exhibits stronger nonlinearity with dynamics because of the non-steady operation condition. This necessitates a global version of SOC to achieve satisfactory performance. Meanwhile, it also makes the existing global SOC (gSOC) not directly applicable to batch processes due to the causality amongst variables. Therefore, it is necessary to extend the original gSOC to batch processes. In addition to the nonconvexity challenge of the original gSOC problem, the new extension for batch processes has to face even more challenges. Particularly, the causality due to dynamics of batch processes brings in structural constraints on controlled variables (CVs), making a CV selection problem even more difficult. To address these challenges, the gSOC problem is recast in a vectorized formulation and it is proved that the structural constraints considered are linear in the vectorized formulation. Moreover, a novel shortcut method is proposed to efficiently find sub-optimal but more transparent solutions for this problem. The effectiveness of the new approach is validated through a case study of a fed-batch reactor, where CVs are constructed through a combination matrix with a repetitive structure, resulting in a simple SOC scheme. This simplicity facilitates the implementation of the SOC approach and enhances its practical applicability and robustness.
- [166] arXiv:2605.06499 [pdf, ps, other]
-
Title: A projective resolution of the symplectic Steinberg moduleAuthors: Urshita PalComments: 41 pages. Comments welcome!Subjects: Algebraic Topology (math.AT); Group Theory (math.GR); Geometric Topology (math.GT)
Borel--Serre proved that for a number ring $R$ with fraction field $K$, the symplectic group $\text{Sp}_{2n}(R)$ is a virtual duality group of degree quadratic in $n$, and that the symplectic Steinberg module $\text{St}^\omega_{2n}(K)$ is its dualizing module. We construct a projective resolution of this symplectic Steinberg module as an $\text{Sp}_{2n}(R)$-representation, that is similar in form to a resolution of Lee--Szczarba for the special linear group, but whose construction is more involved. When $R$ is a Euclidean number ring, we use this resolution to compute the top degree cohomology of principal level-$p$ congruence subgroups of $\text{Sp}_{2n}(R)$, for primes $p \in R$ such that the natural map $R^\times \to (R/(p))^\times$ is surjective.
- [167] arXiv:2605.06503 [pdf, ps, other]
-
Title: Sharp local well-posedness for the Hirota-Satsuma systemAuthors: Rafael DeigaComments: 35 pages, 3 figures, 3 tablesSubjects: Analysis of PDEs (math.AP)
We establish sharp local existence results for the Hirota-Satsuma system in $H^k(\mathbb{R}) \times H^s(\mathbb{R})$, depending on the ratio between the dispersion of the components. These theorems significantly generalize previous works, which were restricted to the diagonal case of equal regularity $s=k$. Furthermore, we extend the known global well-posedness theory to the off-diagonal regime. The argument relies on the Fourier restriction norm method coupled with the concept of integrated-by-parts strong solution - a framework that generalizes the classical notion of strong solution.
- [168] arXiv:2605.06504 [pdf, ps, other]
-
Title: Eigenstates with Infinite Position MomentsAuthors: Michal JexSubjects: Mathematical Physics (math-ph)
We prove necessary and sufficient conditions for the Schr\"odinger operators to have zero-energy bound states at the threshold of the essential spectrum such that they have bounded $k$-th moment. This result is the extension of the results published in D. Hundertmark, M. Jex, and M. Lange [Forum Mathematics, Sigma 11(2023)].
- [169] arXiv:2605.06511 [pdf, ps, other]
-
Title: Logarithmic Mixing of Random Walks on Dynamical Random Cluster ModelsComments: 43 pages, 1 figureSubjects: Probability (math.PR); Discrete Mathematics (cs.DM)
We study random walks on dynamically evolving graphs, where the environment is given by a time-dependent subset of the edges of an underlying graph. Concretely, following the recently introduced framework of Lelli and Stauffer, we consider a random walk interacting with a dynamical random-cluster environment, in which edges are updated with rate $\mu>0$ according to Glauber dynamics with parameters $p$ and $q$, and the walker moves at rate 1 but may only traverse edges that are present at the time of the move. This setting introduces strong dependencies between the walk and the environment, as edge-update probabilities depend on the global connectivity structure.
We focus on the case where the underlying graph is a random $d$-regular graph and the parameters lie in the subcritical regime $p < p_{\mathrm{u}}(q, d)$ where it is known that the Glauber dynamics mixes quickly. Our main result is to show that for any $\varepsilon >0$ and all $q \ge 1$, for all $p$ in the subcritical regime, the mixing time of the joint process is $\Theta(\log n)$ (in continuous time) whenever $\mu\geq \varepsilon \log n$. This matches the mixing time of the simple random walk on a static random regular graph, showing that in this regime the evolving environment does not slow down mixing. Our proof is based on a coupling argument that uses path-count techniques to overcome the dependencies in the edge dynamics by controlling the structure of the environment along typical trajectories. - [170] arXiv:2605.06515 [pdf, ps, other]
-
Title: An algebraic model for rational ultracommutative ringsComments: 18 pages, comments welcomeSubjects: Algebraic Topology (math.AT)
Given a global equivariant ultracommutative ring spectrum $E$ and inclusion $H\hookrightarrow G$ of finite groups, one may apply geometric fixed points to the norm $N_H^G E_H \to E_G$ to obtain what we call a \emph{geometric norm} $\Phi^H E \to \Phi^G E$. We prove that, together with inflations, these assemble into a functor $\Phi\colon \mathrm{UCom}_{\mathrm{fin}} \to \mathrm{Fun}(\mathrm{Span}(\mathcal{G},\mathcal{E},\mathcal{O}),\mathrm{CAlg})$, where $\mathrm{Span}(\mathcal{G},\mathcal{E},\mathcal{O})$ is the span category of finite connected groupoids with full backwards maps and faithful forwards maps, and that $\Phi$ restricts to an equivalence between full subcategories of rational objects.
Central to our construction is a refinement of geometric fixed points to a natural transformation $\Phi\colon \mathrm{Sp}_\bullet\to\mathrm{Fun}(\mathrm{Orb}_\bullet^\simeq,\mathrm{Sp})$ which is compatible with restrictions and norms, and which restricts to an equivalence on full subcategories of rational objects. We explain how this may also be used to recover theorems of Barrero--Barthel--Pol--Strickland--Williamson and Wimmer on algebraic models for rational global spectra and normed $G$-commutative ring spectra respectively. - [171] arXiv:2605.06516 [pdf, ps, other]
-
Title: Learning to Cut: Reinforcement Learning for Benders DecompositionSubjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI)
Benders decomposition (BD) is a widely used solution approach for solving two-stage stochastic programs arising in real-world decision-making under uncertainty. However, it often suffers from slow convergence as the master problem grows with an increasing number of cuts. In this paper, we propose Reinforcement Learning for BD (RLBD), a framework that adaptively selects cuts using a neural network-based stochastic policy. The policy is trained using a policy gradient method via the REINFORCE algorithm. We evaluate the proposed approach on a two-stage stochastic electric vehicle charging station location problem and compare it with vanilla BD and LearnBD, a supervised learning approach that classifies cuts using a support vector machine. Numerical results demonstrate that RLBD achieves substantial improvements in computational efficiency and exhibits strong generalization to problems with similar structures but varying data inputs and decision variable dimensions.
- [172] arXiv:2605.06518 [pdf, ps, other]
-
Title: Absolute continuity of generalized Wasserstein barycenters of finitely many measuresAuthors: Jianyu MaSubjects: Differential Geometry (math.DG); Probability (math.PR)
Consider a complete Riemannian manifold $(M, g)$ and optimal transport problems on it with cost functions of the form $c(x,y) = h(d_{{g}}(x,y))$. We study the absolute continuity of the corresponding generalized Wasserstein barycenters of finitely many marginal measures. For general strictly convex profiles $h$ lacking $\mathcal{C}^2$-smoothness, such as $h(d)= d^p / p$ with $1 < p < 2$ that defines the $p$-Wasserstein space, the singularity at $d=0$ prevents the barycenter from inheriting absolute continuity from a single marginal measure as the quadratic case. To overcome this singularity, recent Euclidean results necessitate the absolute continuity of all marginals. Building upon the approximation framework toward absolute continuity in arXiv:2310.13832, we extend the Euclidean advancements to the manifold setting. Stripping away the implicit reliance on flat translational symmetry and local coordinate calculations of their Euclidean proofs, our work handles the singularity in a geometrically transparent way, revealing the precise analytic condition on the cost profile that governs the necessary assumptions.
- [173] arXiv:2605.06521 [pdf, ps, other]
-
Title: Time-sensitive anytime-valid testingSubjects: Statistics Theory (math.ST); Optimization and Control (math.OC)
Anytime-valid tests allow evidence to be checked during data collection: one can either continue testing or stop and reject the null while still controlling type-I error. Yet, in many applications rejection is useful only if it comes soon enough. We introduce a time-sensitive testing-by-betting framework that favours early rejection by assigning rewards to rejection times and maximising their expected value under a given alternative. This encompasses hard deadlines and softer time preferences. The resulting optimal control problem admits a Bellman representation in terms only of time and evidence against the null, rather than the full history. For hard deadlines, the simple-vs-simple case reduces to a finite-horizon Neyman--Pearson problem and identify the corresponding optimal e-process. Furthermore, we show that exponentially decaying rewards admit a stationary approximation, yielding the exponential-decay-optimal (EDO) criterion: a finite-time-scale counterpart to the classical growth-rate-optimal (GRO) viewpoint in anytime-valid statistics, with the GRO criterion recovered in the large-time-scale limit.
- [174] arXiv:2605.06547 [pdf, ps, other]
-
Title: Affine Subcode Ensemble Decoding for Degeneracy-Aware Quantum Error CorrectionAuthors: Leo Wursthorn, Jonathan Mandelbaum, Sisi Miao, Hedongliang Liu, Holger Jäkel, Stergios Koutsioumpas, Laurent SchmalenComments: Submitted to IEEESubjects: Information Theory (cs.IT); Quantum Physics (quant-ph)
Quantum low-density parity-check codes are promising candidates for low-overhead fault-tolerant quantum computing, but degeneracy is known to impair the convergence of belief-propagation (BP) decoding of these codes. In this work, we show that appending linearly independent rows to a check matrix of a stabilizer code can reduce the search space for a valid degenerate solution. Motivated by this, we extend the recently proposed affine subcode ensemble decoding technique from the classical to the quantum setting. Moreover, we employ overcomplete matrices for each decoding path. Monte-Carlo simulations on toric and generalized bicycle codes demonstrate improved convergence and reduced logical error rate.
- [175] arXiv:2605.06549 [pdf, ps, other]
-
Title: Stochastic Non-Smooth Non-Convex Optimization with Decision-Dependent DistributionsSubjects: Optimization and Control (math.OC)
We study stochastic zeroth-order optimization with decision-dependent distributions, where the sampling law depends on the current decision and only noisy function values are available. For the non-smooth non-convex setting, we establish an explicit convergence guarantee for finding a $(\delta,\epsilon)$-Goldstein stationary point with stochastic zeroth-order oracle (SZO) complexity of $\mathcal{O}(d^2\delta^{-3}\epsilon^{-3})$. In addition, we show that the above complexity can be achieved with single SZO feedback per iteration. We further extend the analysis to smooth and Hessian-Lipschitz objectives, obtaining complexities $\mathcal{O}(d^2\epsilon^{-6})$ and $\mathcal{O}(d^2\epsilon^{-9/2})$, respectively. In the Hessian-Lipschitz case, this improves the best-known dependence on $\epsilon$ for decision-dependent zeroth-order methods by a factor of $\epsilon^{-1/2}$.
- [176] arXiv:2605.06556 [pdf, ps, other]
-
Title: Probability of Quota Violations in Divisor Apportionment Methods with Nonzero AllocationsSubjects: Probability (math.PR)
Apportionment assigns indivisible items among groups. By the Balinski-Young theorem, no method can satisfy both house monotonicity and the quota rule. This paper investigates quota violations caused by nonzero allocation constraints, and derives exact probability formulas for their frequency. Such violations occur in systems like the U.S. House of Representatives, where each state is guaranteed at least one seat. We analyze the three-state case, introduce the $\tau$ statistic to parametrize population distributions, and prove an Asymptotic Quota Stabilization theorem: for fixed $\tau$, quota behavior stabilizes as populations grow, yielding probability results for quota violations determined by the set of ultimately violatory $\tau$ values.
Applying this framework to the five classical divisor methods, we derive exact probability formulas. Additionally, we show that as the number of seats $M \to \infty$, these probabilities converge to method-specific constants. These results provide a precise, quantitative foundation for evaluating the fairness and frequency of quota violations in constrained apportionment systems. - [177] arXiv:2605.06565 [pdf, ps, other]
-
Title: Minimal Homotopies in Three Dimensions: A Cable System ApproachComments: 23 pages, 5 figuresSubjects: Geometric Topology (math.GT)
We study null homotopies of immersed spheres in $\mathbb{R}^3$ and the volume they sweep during contraction. For a smooth immersion with finitely many transverse self-intersections, we introduce a cable system that connects each bounded region of the complement to the exterior. From this construction we define the cable index and prove that it agrees with the Brouwer degree on each complementary region. Using this identification, we derive a degree-weighted lower bound for the swept volume of any Lipschitz null homotopy. We show that the bound is attained whenever the homotopy is sense-preserving, meaning the surface moves in a consistent direction, and the index evolves monotonically along the homotopy. In addition, in the case where the immersion arises as the boundary of an immersed ball, we construct an explicit homotopy that realizes this lower bound via a deformation of the ball. Finally, we present a linear-time algorithm that computes all cable indices from a finite cable system, providing a concrete and computable method for evaluating the lower bound.
- [178] arXiv:2605.06569 [pdf, ps, other]
-
Title: Equidistribution of Eigenfunctions of Quantum Cat MapsAuthors: Robert KoiralaComments: 16 pages, 4 figures, comments welcomeSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Dynamical Systems (math.DS); Number Theory (math.NT); Spectral Theory (math.SP)
We prove that the short-period eigenfunctions of quantum cat maps constructed by Kim and the author equidistribute on $\mathbb{T}^2$ in the sense of semiclassical measures. We also show that their logarithmically large $\ell^\infty$-norm is asymptotically concentrated on a bounded number of coordinates. Thus, for this explicit family, strong coordinate localization coexists with semiclassical equidistribution. These results confirm the behavior suggested by earlier numerical evidence of Kim and the author, and contrast with the scarring phenomena for short-period eigenfunctions observed by Faure, Nonnenmacher, and De Bi\`evre.
- [179] arXiv:2605.06573 [pdf, ps, other]
-
Title: Common frequently hypercyclic random vectorsSubjects: Functional Analysis (math.FA)
We study common frequently hypercyclic vectors for countable families of weighted backward shifts acting on $\ell_p$ spaces, $1\leq p<\infty$. Using probabilistic techniques, we develop a general existence criterion, complemented by a non-existence result. These insights are then applied to the specific setting of countable families of polynomials of weighted backward shifts, providing conditions under which they share a common frequently hypercyclic vector.
- [180] arXiv:2605.06580 [pdf, ps, other]
-
Title: Generalized Skew Multivariate Goppa CodesComments: 17 pagesSubjects: Information Theory (cs.IT)
We introduce Generalized Skew Multivariate Goppa codes relying on the theory of multivariate Ore polynomials. These codes contain, as a particular case, the Generalized Skew Goppa codes. By providing a new parity check matrix for the latter, we show that, under some hypotheses, they are subfield subcodes of Generalized Skew Reed--Solomon codes. This result turns out to be helpful to study the parameters of Skew Multivariate Goppa codes, for which we provide bounds on their dimension and minimum distance.
- [181] arXiv:2605.06589 [pdf, ps, other]
-
Title: Master equations with an individual noise on finite state graphsSubjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
We develop a classical well-posedness and regularity theory on a finite connected weighted graph for an extended mean field game system, its associated master equation, and a Hamilton-Jacobi- Bellman equation on the probability simplex, all in the presence of an individual noise operator. The geometric structure is inherited from the logarithmic-mean activation functional of discrete optimal transport, under which the entropic Fokker-Planck equation appears as a gradient flow on the graph and the individual noise operator is a bilinear form in the probability vector and the Wasserstein gradient. A central technical step is a quantitative preservation-of-positivity estimate for the discrete continuity equation, which rules out finite-time boundary degeneracy and yields a classical solution theory for the master equation on the open simplex without imposing any boundary condition. As an application, we recover a Nash equilibrium interpretation of the discrete system in terms of Markov chains on the graph. Our setup is inspired by the computational algorithms for optimal mass transport of [10, 11] and provides a rigorous well-posedness theory for several of the equations derived in [25].
- [182] arXiv:2605.06617 [pdf, ps, other]
-
Title: Connectedness in Codimension One and the Non-$S_2$ LocusAuthors: Likun XieComments: 27 pages, comments welcomeSubjects: Commutative Algebra (math.AC)
We formulate a structural principle for finite $S_2$-objects: coherent $S_2$-sheaves and finitely generated graded $S_2$-modules decompose canonically according to the connected components in codimension $1$ of their support. This gives criteria relating indecomposability of $S_2$-objects to connectedness in codimension $1$ of their supports, and extends the Hochster--Huneke correspondences for complete local rings between connectedness in codimension $1$, indecomposability of canonical modules, and localness of the $S_2$-ifications.
As a consequence, if $A$ is a local ring admitting a canonical module $\omega_A$, there are canonical decompositions of both $\omega_A$ and the $S_2$-ification $\operatorname{End}_A(\omega_A)$ whose indecomposable summands are the canonical modules and $S_2$-ifications of the quotient rings associated to the connected components in codimension $1$. We then apply this viewpoint to the non-$S_2$ locus. For $A$ equidimensional and unmixed, this locus is naturally realized as $\operatorname{Supp}_A C$ via the $S_2$-ification sequence $0 \to A \to \operatorname{End}_A(\omega_A) \to C \to 0$. The natural map between deficiency modules $K^{\dim C+1}(A)\to K^{\dim C}(C)$ identifies the canonical module $K^{\dim C}(C)$ with the $S_2$-hull of $K^{\dim C+1}(A)$. Under suitable conditions, this allows codimension-$1$ connectedness of the non-$S_2$ locus to be detected by the deficiency module $K^{\dim C+1}(A)$. We illustrate the theory with examples and apply it to codimension $2$ lattice ideals, obtaining connectedness-in-codimension-$1$ results for the non-$S_2$ loci of certain toric and lattice rings. - [183] arXiv:2605.06618 [pdf, ps, other]
-
Title: MTRBO: Multiple trust-region based Bayesian optimizationSubjects: Optimization and Control (math.OC)
Bayesian Optimization (BO) is a popular framework for optimizing black-box functions. Despite its effectiveness, BO is often inefficient for high-dimensional problems due to the exponential growth of the search space, heterogeneity of the objective function, and low sampling budget. To overcome these issues, this work proposes a multiple trust region-based Bayesian optimization technique(MTRBO). A trust region is a localized region within which an optimization model is trusted to approximate the objective function accurately. Assuming a Gaussian process (GP) as a prior belief about the objective function and based on the posterior mean and variance functions, the method adaptively exploits near the promising current solution inside a trust region. Also explores the most uncertain region in the search space inside another trust region. The theoretical global convergence property of the proposed method is established. Then the work is benchmarked against other state-of-the-art trust-region-based Bayesian optimization algorithms, demonstrating superior performance on a variety of non-convex and high-dimensional test functions. The proposed method outperforms others in terms of solution quality within the sampling budget (the number of function evaluations). The proposed method is applied to the portfolio optimization problem to verify its applicability in real-world scenarios.
- [184] arXiv:2605.06620 [pdf, ps, other]
-
Title: Bulk-deformations, Floer complex bordism, and Grothendieck-Riemann-RochComments: 81 pages, comments welcome!Subjects: Symplectic Geometry (math.SG); Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
Given a Liouville manifold, we compute a Floer-homotopical invariant -- the complexification of the lift of symplectic cohomology to complex cobordism -- in terms of a classical Floer-theoretic invariant, namely, symplectic cohomology bulk-deformed by the Chern character. We do this by giving an explicit model for the complexified homotopy groups of the MU-module spectrum associated to a complex-oriented flow category and proving a ''homotopy coherent'' version of the classical Grothedieck-Riemann-Roch theorem.
Using the aforementioned relation, we establish a computable cohomological criterion, in terms of the pair-of-pants product and the BV operator on symplectic cohomology, for when this MU lift cannot be obtained via base change from the sphere spectrum; moreover, we give examples where this holds. Finally, we use this non-base change criterion to detect examples of non-trivial higher-dimensional complex cobordism classes of relative Gromov-Witten type moduli spaces in the context of a smooth complex projective variety relative to an ample smooth divisor. - [185] arXiv:2605.06621 [pdf, ps, other]
-
Title: Point sets avoiding near-integer distancesComments: 15 pages, 1 figureSubjects: Combinatorics (math.CO); Metric Geometry (math.MG)
Let $d \in \mathbb{N}$, $\delta \in (0, 1/2)$, and $X > 0$. Denote by $N_d(X, \delta)$ the maximum number of points in a subset of the closed Euclidean ball of radius $X$ in $\mathbb{R}^d$ such that every pairwise distance is at least $\delta$ away from any integer. In the planar case, S\'ark\"ozy proved that for every $\varepsilon > 0$, $N_2(X, \delta) = \Omega_\delta(X^{1/2-\varepsilon})$ as $X \rightarrow \infty$ whenever $\delta$ is sufficiently small in terms of $\varepsilon$, while Konyagin proved the almost matching upper bound $N_2(X,\delta) = O_\delta(X^{1/2})$.
We study this problem in higher dimensions, addressing a question of Erd\H{o}s and S\'ark\"ozy. Extending S\'ark\"ozy's construction, we show that for every $\varepsilon > 0$, $N_3(X, \delta) = \Omega_\delta(X^{1-\varepsilon})$ for $\delta$ sufficiently small in terms of $\varepsilon$. We also provide a lifting lemma from integer distance sets to sets avoiding near-integer distances via bilipschitz embeddings of snowflaked Euclidean spaces. This allows us to prove a linear lower bound $N_4(X,\delta) = \Omega_\delta(X)$ for all sufficiently small $\delta$. Finally, adapting Konyagin's approach, we prove the upper bound $N_d(X, \delta) = O_{d, \delta}(X^{d/2})$ for all $d \in \mathbb{N}$. - [186] arXiv:2605.06622 [pdf, ps, other]
-
Title: On the plasticity of the unit spheres of $\ell_1$, $\ell_{\infty}$, $c$, and Hilbert spacesSubjects: Functional Analysis (math.FA)
This paper demonstrates the expand-contract plasticity of the unit spheres of $\ell_1$, $\ell_{\infty}$, and $c$. Furthermore, it establishes the strong plasticity of the unit spheres of Hilbert spaces.
- [187] arXiv:2605.06626 [pdf, ps, other]
-
Title: Integrable perturbations of polynomial Hamiltonian systemsAuthors: Dmitry TreschevComments: 7 pagesSubjects: Dynamical Systems (math.DS); Mathematical Physics (math-ph)
We consider a Hamiltonian system on the symplectic space $({\mathbb{R}}^{2n}, dy\wedge dx)$ with a real-analytic Hamiltonian $H : {\mathbb{R}}^{2n}\to {\mathbb{R}}$. We assume that the system has a non-degenerate equilibrium position at the origin. Under some nonresonance assumptions we prove the following.
For any positive integer $M$ there exists a real-analytic function $F:{\mathbb{R}}^{2n}\to{\mathbb{R}}$ such that
(1) $F = O\big( (|x|+|y|)^{M+1} \big)$ at the origin,
(2) the system with Hamiltonian $H+F$ is completely integrable in ${\mathbb{R}}^{2n}$. - [188] arXiv:2605.06668 [pdf, ps, other]
-
Title: Rational homology disk degenerations of elliptic surfacesSubjects: Algebraic Geometry (math.AG); General Topology (math.GN); Symplectic Geometry (math.SG)
In this paper, a $\mathbb{Q}$HD singularity is a weighted homogeneous normal surface singularity admitting a rational homology disk ($\mathbb{Q}$HD) smoothing. These singularities are rational but often not log canonical. We classify all $\mathbb{Q}$HD degenerations of nonsingular projective elliptic surfaces, extending Kawamata's classification of the case with only Wahl singularities (i.e., log terminal $\mathbb{Q}$HD singularities). We also realize all $\mathbb{Q}$HD degenerations of Dolgachev surfaces $D_{a,b}$ with one $\mathbb{Q}$HD singularity, for every pair of integers $a,b$. For each such degeneration, we construct a minimal semi log canonical (slc) birational model via a Seifert partial resolution in the sense of Wahl followed by semistable flips. Finally, we prove that these minimal slc models are unobstructed and deform to the recent degenerations of Dolgachev surfaces constructed by D. Lee and Y. Lee.
Cross-lists for Fri, 8 May 26
- [189] arXiv:2506.09126 (cross-list from hep-th) [pdf, ps, other]
-
Title: Chiral interactions of fermions and massive gauge fields in Kaluza-Klein modelsAuthors: Joao BaptistaComments: 43 pages, comments welcome;Journal-ref: JHEP 05 (2026) 008Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Differential Geometry (math.DG)
In Kaluza-Klein theory, gauge fields on $M_4$ arise as components of a higher-dimensional metric defined on $M_4 \times K$. The traditional expectation is that all the gauge fields of the Standard Model are linked to exact Killing vector fields on the internal space. This paper questions that assumption and investigates the properties of 4D gauge fields linked to non-Killing fields on $K$. It is shown that they have massive yet arbitrarily light bosons; they can mix fermions with different masses; and they can have asymmetric couplings to left- and right-handed fermions. None of these properties is easily satisfied by gauge fields linked to internal isometries. So the massive gauge fields produced in this manner circumvent traditional no-go arguments and offer a geometric source of chiral interactions with fermions. This may help to model the weak force within the Kaluza-Klein framework. Technically, the paper uses the language of spin geometry and Riemannian submersions. It studies the higher-dimensional Dirac operator with non-trivial background metrics. The results are derived for a general $K$. They are illustrated explicitly in the simpler cases where $K$ is the two-sphere and the two-torus.
- [190] arXiv:2605.04267 (cross-list from cs.LG) [pdf, ps, other]
-
Title: QUIVER: Cost-Aware Adaptive Preference Querying in Surrogate-Assisted Evolutionary Multi-Objective OptimizationAuthors: Florian A. D. BurnatComments: Accepted at Genetic and Evolutionary Computation Conference (GECCO '26)Subjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)
Interactive multi-objective optimization systems face a budget allocation dilemma: one can spend resources on expensive objective evaluations or on eliciting decision-maker preferences that identify the relevant region of the Pareto set. Moreover, preference elicitation itself spans modalities with different information content and cognitive burden, ranging from cheap, noisy pairwise preference statements (PS) to richer but costlier indifference adjustments (IA).
We study cost-aware optimization under an unknown scalarization and introduce QUIVER (Query-Informed Value Estimation for Regret), a surrogate-assisted evolutionary multi-objective optimizer that adaptively chooses between objective evaluations and heterogeneous preference queries. At each step, QUIVER selects the next action by maximizing the expected decision-quality improvement per unit total cost. Across DTLZ and WFG benchmarks under synthetic decision-maker models, QUIVER achieves the lowest final utility regret on challenging WFG problems (utility regret of 2.14 on WFG4, 2.82 on WFG9: a 25% improvement over baselines), outperforming all single-modality baselines. We analyze how the optimal mix of PS and IA adapts to problem difficulty: on easy problems (DTLZ2), QUIVER selects 80\% PS queries; on hard problems (WFG9), it shifts to 35% IA queries. This adaptive modality selection demonstrates cost-aware preference learning in action. - [191] arXiv:2605.04483 (cross-list from physics.comp-ph) [pdf, ps, other]
-
Title: CDFCI: High-Performance Parallel Software for Many-Body Large-Scale Eigenvalue ProblemsSubjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA); Chemical Physics (physics.chem-ph)
CDFCI is a shared-memory parallel numerical program for computing low-lying eigenpairs of large-scale, non-relativistic fermionic Hamiltonians. The software is designed to handle a broad class of many-body quantum models, including both ab initio electronic structure Hamiltonians and lattice-based Hamiltonians arising in condensed matter physics. CDFCI combines an efficient coordinate-descent-based selected configuration interaction algorithm with dedicated parallelization strategies, achieving high performance on modern multi-core architectures. Benchmark results on representative quantum chemistry and condensed matter test cases demonstrate that CDFCI attains state-of-the-art accuracy with competitive performance compared to established selected configuration interaction (such as CIPSI or SHCI) and DMRG implementations. The software is open-source, extensively documented, and provides a Python interface for seamless integration with PySCF and other many-body simulation workflows.
- [192] arXiv:2605.05208 (cross-list from cs.RO) [pdf, ps, other]
-
Title: A GPU-Accelerated Hybrid Method for a Class of Multi-Depot Vehicle Routing ProblemsSubjects: Robotics (cs.RO); Distributed, Parallel, and Cluster Computing (cs.DC); Optimization and Control (math.OC)
Multi-depot vehicle routing problems (MDVRPs) are prevalent in a variety of practical applications. However, they are computationally challenging to solve due to their inherent complexity. This paper proposes an effective hybrid algorithm for a class of MDVRPs. The algorithm integrates a learning-driven, diversity-controlled route-exchange crossover and a multi-depot-supported feasible-and-infeasible search framework guided by a multi-penalty evaluation function. Two dedicated depot-related local search operators are incorporated to further strengthen the search capability in multi-depot settings. To improve computational efficiency and scalability, an enhanced version of the algorithm is developed that uses a tensor-based GPU acceleration combined with a novel multi-move update strategy. Extensive computational experiments on benchmark instances of three MDVRP variants show that the proposed algorithms are highly competitive with state-of-the-art methods, especially for large-scale instances.
- [193] arXiv:2605.05218 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Horizon-Constrained Rashomon Sets for Chaotic ForecastingJournal-ref: AIP Advances 16, 045208 (2026)Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD)
Predictive multiplicity and chaotic dynamics represent two fundamental challenges in machine learning that have evolved independently despite their conceptual connections. We bridge this gap by introducing horizon-constrained Rashomon sets, a theoretical framework that characterizes how model multiplicity evolves with prediction horizon in chaotic systems. Unlike static prediction tasks where the Rashomon set remains fixed, chaos induces exponential divergence among initially similar models, fundamentally transforming the nature of predictive equivalence. We prove that the effective Rashomon set contracts exponentially with lead time at a rate determined by the maximum Lyapunov exponent and introduce Lyapunov-weighted metrics that provide tighter bounds on predictive disagreement. Leveraging these insights, we develop decision-aligned selection algorithms that choose among near-optimal models based on downstream utility rather than forecast accuracy alone. Extensive experiments on synthetic chaotic systems (Lorenz-96, Kuramoto-Sivashinsky) and real-world applications (wind power, traffic, weather) demonstrate that our framework improves decision quality by 18-34\% while maintaining competitive predictive performance. This work establishes the first rigorous connection between chaos theory and predictive multiplicity, providing principled guidance for deploying machine learning in safety-critical chaotic domains.
- [194] arXiv:2605.05235 (cross-list from cs.CE) [pdf, ps, other]
-
Title: Scenario-driven optimization of passive vehicle suspensions: explaining the effectiveness of asymmetric dampingJournal-ref: Journal of Vibration Engineering & Technologies, 2026Subjects: Computational Engineering, Finance, and Science (cs.CE); Optimization and Control (math.OC)
Asymmetric damping is widely used in passive vehicle suspensions, with rebound damping often recommended to exceed compression damping by a factor of two to three. Despite its prevalence, this guideline remains largely empirical and lacks a systematic derivation based on vehicle dynamics and excitation conditions. This paper presents a scenario-driven optimization framework that provides a principled explanation for the effectiveness of asymmetric damping. A minimal quarter-car model is employed to isolate the key mechanisms governing the trade-off between ride comfort, road holding, and transient response, using standardized ISO~8608 road excitations. Rebound and compression damping ratios are treated as independent design variables, and optimal configurations are identified via a stochastic Cross-Entropy algorithm applied to a non-convex, simulation-based objective function. Performance is assessed through ISO~2631 weighted RMS acceleration, tire--ground contact force variability, and settling time. The results show that symmetric damping is often sufficient under moderate excitation, whereas asymmetric damping becomes necessary under severe conditions, with commonly cited rebound-to-compression ratios emerging as scenario-dependent near-optimal solutions rather than universal constants.
- [195] arXiv:2605.05278 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Expert Routing for Communication-Efficient MoE via Finite Expert BanksSubjects: Machine Learning (cs.LG); Information Theory (cs.IT)
Resource-efficient machine learning increasingly uses sparse Mixture-of-Experts (MoE) architectures, where the gate acts as both a learning component and a routing interface controlling computation, communication, and accuracy. Motivated by finite-rate interpretations of MoE gating, we treat the gate as a stochastic channel and use $I(X;T)$ to quantify the routing information available to the selected expert. To make the associated information quantities tractable beyond synthetic examples, we develop a finite-bank MNIST construction using pretrained CNN experts and a discrete, data-dependent selection rule. Since the selected model belongs to a finite candidate set, the algorithmic mutual information $I(S;W)$ admits a closed-form discrete-entropy estimator from the empirical posterior $q(W|S)$. Sweeping a data-dependence parameter $\alpha$, we observe that $\widehat I(S;W)$ monotonically tracks the generalization gap, while the Xu-Raginsky bound exhibits the expected looseness. We also compare with a uniform union-bound baseline and introduce an empirical estimator of $I(X;T)$ together with a Blahut-Arimoto procedure for tracing an accuracy-rate curve over the expert bank. The proposed framework provides a practical tool for analyzing resource-aware MoE inference systems and for interpreting $I(X;T)$ and $D(R_g)$ as design proxies for efficient expert routing.
- [196] arXiv:2605.05321 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Analytical Angle-Finding and Series Expansions for Quantum Signal Processing via Orthogonal Polynomial TheoryComments: 49 pagesSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
Quantum signal processing is a powerful framework in quantum algorithms, playing a central role in Hamiltonian simulation and related applications. The sequence of polynomials implemented at each step of this protocol provides a polynomial basis for block-encoding any polynomial of a unitary. We characterize the achievable polynomial bases in terms of their orthogonality or biorthogonality with respect to a linear functional admitting an integral representation. Explicit expressions for the quantum signal processing angles are derived for families of polynomial sequences, including Hermite, Jacobi, and Rogers-Szeg\H{o} polynomials. We show that $2n+2$ rotation angles are required to encode a sequence of polynomials in these classes up to degree $n$. We use this result to show that an $\epsilon$-approximation of a smooth function $f$ can be block-encoded using $O(\log(1/\epsilon))$ gates via its Hermite series expansion. The connections established with the theory of orthogonal and biorthogonal polynomials lead to a new method for solving the quantum signal processing angle-finding problem, yielding explicit expressions for the angles. They also provide a complete characterization of the polynomials achievable by $\mathrm{SU}(1,1)$-QSP in terms of their roots. Biorthogonality properties are shown to hold in the bivariate QSP setting, yielding a set of necessary conditions for achievable polynomials.
- [197] arXiv:2605.05322 (cross-list from hep-th) [pdf, ps, other]
-
Title: Automorphic Structures of Heterotic VacuaComments: 26 pages, 1 appendix, 2 figuresSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
We study moduli stabilization in 4D effective field theories with Sp(4,$\mathbb{Z}$) self-duality inspired by heterotic orbifold compactifications with Wilson lines. The target-space duality group of these theories is enhanced from SL$(2,\mathbb{Z})$ to Sp$(4,\mathbb{Z})$, making Siegel modular forms the appropriate language to formulate the effective supergravity action. We construct the corresponding effective theory including moduli-dependent threshold corrections to the gauge kinetic function and nonperturbative effects in the superpotential. The degeneration limit of the Wilson lines distinguishes different sectors and dictates which combination of cusp forms appears in threshold corrections. We compute the resulting scalar potential and prove several general statements about its extrema. In particular, we show that the fixed points of Sp$(4,\mathbb{Z})$ are extrema of the potential, and derive genus-2 analogues of no-go theorems for de Sitter vacua. Finally, we show how positive-energy metastable minima can arise once supersymmetry is broken in the dilaton direction by nonperturbative contributions to the K\"ahler potential.
- [198] arXiv:2605.05333 (cross-list from hep-th) [pdf, ps, other]
-
Title: Towards Wedge Construction of Four-Dimensional Non-Supersymmetric Theories and Torsion ClassesComments: 108 pages, 2 pdf figures, LaTeXSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
Motivated by recent proposals relating non-supersymmetric Type 0A theory to M-theory compactified on a singular wedge geometry, we study an M-theory compactification on a seven-manifold with G_2 structure, realized as a deformed K3 fibration over a compact three-manifold. In the Morrison--Vafa limit, the deformed K3 may be described locally as a non-trivial torus fibration over a base that is itself a pinched circle fibered over an interval. Once the doubled-spectrum decomposition and the local pinched structure are specified, we show that the G_2 torsion classes provide a natural and efficient way to characterize both the torsion of the seven-manifold and the resulting supersymmetry breaking in four dimensions. Reducing the system to ten dimensions in two inequivalent ways leads respectively to Type 0A and Type 0 heterotic theories compactified on two different non-Kahler manifolds, for which the SU(3) torsion classes furnish the appropriate mathematical description. In particular, we argue that the pinching deformation lies in the 27 of G_2, and that under the two reductions it is distributed differently into the W_2 and W_3 torsion classes of the corresponding SU(3) structures. In the supersymmetric limit, and under suitable assumptions, the two resulting theories may become U-dual to one another. Away from that limit, however, we argue that any such duality should be treated with considerable caution.
- [199] arXiv:2605.05339 (cross-list from cs.RO) [pdf, ps, other]
-
Title: Passive Fault Tolerance through Tension-to-Thrust Feed-Forward: Hybrid Input-to-State Stability for Decentralized Multi-UAV Slung-Load Transport under Abrupt Cable SeveranceComments: Submitted for review at IEEE Transactions on Control Systems Technology For the paper and simulation code see: this https URLSubjects: Robotics (cs.RO); Optimization and Control (math.OC)
Abrupt cable severance in multi-UAV slung-load transport redistributes load and changes the active constraint set, leaving limited time for fault diagnosis and reconfiguration. Existing controllers rely on coordinated force allocation, peer-state exchange, or fixed cable topology, and therefore lack a certified decentralized recovery mechanism for unannounced severance. We present a passive architecture that routes each vehicle's measured cable tension directly into its altitude thrust command, $T_i^{\mathrm{ff}}=T_i$, while a surrounding proportional-derivative, anti-swing, and projection cascade preserves local tracking feasibility. The main contribution is a conditional hybrid practical input-to-state-stability certificate that composes a slack-excursion-bounded taut-cable reduction, bounded post-severance Lyapunov jumps, inter-fault decay, and per-fault-cycle contraction $\rho \in (0,1)$ into an explicit recovery envelope under stated actuator, slack, and dwell assumptions. We validate the controller in Drake multibody simulation with five vehicles, a 10 kg payload, Kelvin-Voigt cables, Dryden wind, and single- and dual-severance schedules: the closed loop attains 0.312-0.328 m RMSE, 76.1-95.2 mm peak sag, and recovery within one payload-pendulum period. Disabling the identity inflates cruise error by 34-39% and peak sag by 3.6x-4.0x, identifying local tension feed-forward as the dominant passive recovery mechanism in the tested decentralized cascade.
- [200] arXiv:2605.05341 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Feature Starvation as Geometric Instability in Sparse AutoencodersComments: 26 pages, 3 figures, 5 tablesSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Machine Learning (stat.ML)
Sparse autoencoders (SAEs) are used to disentangle the dense, polysemantic internal representations of large language models (LLMs) into interpretable, monosemantic concepts. However, standard $\ell_1$-regularized SAEs suffer from feature starvation (dead neurons) and shrinkage bias, often requiring computationally expensive heuristic resampling and nondifferentiable hard-masking methods to bypass these challenges. We argue that feature starvation is not merely an empirical artifact of poor data diversity, but a fundamental optimization-geometric pathology of overcomplete dictionaries: the $\ell_1$-induced sparse coding map is unstable and fundamentally misaligned with shallow, amortized encoders. To address this structural instability, we introduce adaptive elastic net SAEs (AEN-SAEs), a fully differentiable architecture grounded in classical sparse regression. AEN-SAEs combine an $\ell_2$ structural term that enforces strong convexity and Lipschitz stability with adaptive $\ell_1$ reweighting that eliminates shrinkage bias and suppresses spurious features, thereby jointly controlling the curvature and interaction structure of the induced polyhedral geometry. Theoretically, we show that AEN-SAEs yield a Lipschitz-continuous sparse coding map and recover the global feature support under mild assumptions. Empirically, across synthetic settings and LLMs (Pythia 70M, Llama 3.1 8B), AEN-SAEs mitigate feature starvation without auxiliary heuristics while maintaining competitive reconstruction abilities.
- [201] arXiv:2605.05385 (cross-list from q-bio.PE) [pdf, ps, other]
-
Title: Chapter 2: Geometry of the Fitness Surface and Trajectory Dynamics of Replicator SystemsSubjects: Populations and Evolution (q-bio.PE); Dynamical Systems (math.DS)
We study the geometry of the mean fitness surface of replicator systems and its relationship to evolutionary trajectory dynamics. Using the symmetric--antisymmetric decomposition of the fitness landscape matrix, we derive an explicit formula for the rate of change of mean fitness and establish necessary conditions for its monotonicity along trajectories. In general, replicator trajectories do not reach the maximum of the fitness surface, even in the presence of a unique asymptotically stable equilibrium. We characterise, in terms of the symmetric and antisymmetric parts of the fitness matrix, the precise conditions under which an equilibrium coincides with a local extremum of the fitness surface. Circulant matrices are identified as a natural and nontrivial class satisfying these conditions. We establish a two-way connection between fitness surface maxima and evolutionarily stable states: evolutionary stability implies a local fitness maximum, and the converse holds under the identified structural conditions. When the unique asymptotically stable equilibrium is a local maximum, it is evolutionarily stable and realises the global maximum of the fitness surface; an unstable equilibrium forces the global maximum to the boundary of the simplex. The framework is extended to general Lotka--Volterra systems, where an analogue of mean fitness is shown to share the same extremal properties. Results are illustrated through six examples spanning autocatalytic and hypercyclic replication, a parametric family exhibiting Andronov--Hopf bifurcation and heteroclinic cycles, and the Eigen quasispecies model.
- [202] arXiv:2605.05387 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Conditional Diffusion Under Linear Constraints: Langevin Mixing and Information-Theoretic GuaranteesSubjects: Machine Learning (cs.LG); Information Theory (cs.IT)
We study zero-shot conditional sampling with pretrained diffusion models for linear inverse problems, including inpainting and super-resolution. In these problems, the observation determines only part of the unknown signal. The remaining degrees of freedom must be sampled according to the correct conditional data distribution. Existing projection-based samplers enforce measurement consistency by correcting the observed component during reverse diffusion. However, measurement consistency alone does not determine how probability mass should be distributed along the feasible set, and this can lead to biased conditional samples.
We analyze this issue through a normal--tangent decomposition of the score function. For Gaussian noising, the observed-direction score is exactly determined by the measurement; only the tangent conditional score is unknown. We prove that the error from replacing this score by the unconditional tangent score is upper bounded by a dimension-free conditional mutual information between observed and unobserved components. This gives an information-theoretic decomposition into initialization and pathwise score-mismatch errors. Motivated by the theory, we propose a projected-Langevin initialization followed by guided reverse denoising, which outperforms a strong projection-based baseline in inpainting and super-resolution experiments. - [203] arXiv:2605.05423 (cross-list from cond-mat.mtrl-sci) [pdf, ps, other]
-
Title: Band Unfolding via the Quadratic PseudospectrumComments: 5 pages, 4 figures, supplemental materialSubjects: Materials Science (cond-mat.mtrl-sci); Other Condensed Matter (cond-mat.other); Mathematical Physics (math-ph)
Band theory provides the foundation for understanding electronic structure in crystalline materials, but its reliance on exact translational symmetry limits its applicability to systems with defects, disorder, incommensurate modulations, or large unit cells. Here, we introduce a band unfolding framework that directly generalizes traditional band theory to systems where exact periodicity is absent, and which remains well-defined for both aperiodic and finite systems. To do so, we employ a pseudospectral approach to identify approximate joint eigenvectors of a system's Hamiltonian and translation operators, thereby yielding an unfolded band structure whose features are directly connected to the manifestation of approximate extended states simultaneously localized in energy and crystalline momentum. To reveal bulk-only spectral phenomena in finite systems, we further show that this pseudospectral framework naturally accommodates additional operators that suppress contributions from boundary-localized states, enabling the systematic isolation of intrinsic bulk behavior. We benchmark the scheme on several representative systems in one and two dimensions, including a Fibonacci chain, where our approach is able to both reveal a dispersive envelope while preserving the underlying hierarchy of spectral gaps. Looking forward, this pseudospectral approach may yield a broad framework for predicting momentum-resolved material responses in aperiodic, disordered, and finite systems where conventional band-theoretic methods are not applicable.
- [204] arXiv:2605.05431 (cross-list from cond-mat.stat-mech) [pdf, ps, other]
-
Title: A transition in the hole probability at finite temperature for free fermions in $d$ dimensionsComments: 8 pages (Main Text) + 48 pages (End Matter + Supplementary Material), 9 figuresSubjects: Statistical Mechanics (cond-mat.stat-mech); Quantum Gases (cond-mat.quant-gas); Mathematical Physics (math-ph); Probability (math.PR)
In a free Fermi gas at temperature $T$ much higher than the Fermi temperature one expects that the fluctuations of the number of particles in a given region has Poissonian/classical statistics. On the other hand at low temperature the Pauli exclusion principle leads to non trivial counting statistics. It is of great interest from a theoretical and experimental point of view to characterize the crossover between these two limits. Here we focus on the hole probability $P(R,T)$, i.e. the probability that a region of size $R$ is devoid of particles, in dimension $d$, and on the case of a spherical region of large radius $R$. We show that at low temperature it takes the scaling form $P(R,T)\sim \exp\big[-(k_F R)^{d+1}\Phi_d(u=2R\,T/k_F)\big],$ where $k_F$ is the Fermi momentum. By mapping the problem to an effective Coulomb gas, we compute exactly the scaling function $\Phi_d(u)$ in any dimension. Remarkably, it exhibits a transition of order $\tfrac{3}{2}(d+1)$ at the universal critical value $u_c=2/\pi$, signaling a sharp change in the mechanism of rare fluctuations, associated with the emergence of a macroscopic gap in the optimal density of the associated Coulomb gas. Our analytical predictions are supported by precise numerical evaluations of the corresponding Fredholm determinants.
- [205] arXiv:2605.05435 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Active Learning for Conditional Generative Compressed SensingComments: 33 pages, 11 figuresSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)
Generative compressed sensing uses the range of a pretrained generator as a nonlinear model for recovering structured signals from limited measurements. We study a conditional version of this problem for image recovery from subsampled Fourier measurements using prompt-conditioned generative models. Our framework separates two roles of conditioning: the prompt used to design the sampling distribution and the prompt used to define the recovery model. For ReLU and Lipschitz conditional generators, we prove stable recovery bounds showing that prompt-matched Christoffel sampling retains the same Christoffel complexity constant as existing near-optimal generative compressed sensing theory, while prompt mismatch incurs an explicit compatibility penalty. Experiments with Stable Diffusion show that prompts meaningfully reshape Christoffel sampling distributions and influence image recovery. Overall, our results suggest that prompts should be treated as design variables with distinct effects on sensing, approximation, and recovery.
- [206] arXiv:2605.05446 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Convexity in Disguise: A Theoretical Framework for Nonconvex Low-Rank Matrix EstimationSubjects: Machine Learning (stat.ML); Information Theory (cs.IT); Machine Learning (cs.LG); Optimization and Control (math.OC)
Nonconvex methods have emerged as a dominant approach for low-rank matrix estimation, a problem that arises widely in machine learning and AI for learning and representing high-dimensional data. Existing analyses for these methods often require additional regularization to mitigate nonconvexity, even though such regularization is often unnecessary in practice. Moreover, most analyses rely on problem-specific arguments that are difficult to generalize to more complex settings. In this paper, we develop a theoretical framework for studying nonconvex procedures across a broad class of low-rank matrix estimation problems. Rather than focusing on a specific model, we reveal a fundamental mechanism that explains why nonconvex procedures can behave well in low-rank estimation. Our key device is a {\it benign regularizer} that does not alter the original update rule, but yields an equivalent locally strongly convex formulation of the algorithm. This perspective uncovers a disguised convexity inherent in the nonconvex procedure and provides a new route to theoretical guarantees for nonconvex low-rank matrix estimation.
- [207] arXiv:2605.05493 (cross-list from stat.ME) [pdf, ps, other]
-
Title: A renormalization-group inspired lattice-based framework for piecewise generalized linear modelsAuthors: Joshua C. ChangComments: Under reviewSubjects: Methodology (stat.ME); Statistical Mechanics (cond-mat.stat-mech); Machine Learning (cs.LG); Statistics Theory (math.ST)
We formally introduce a class of models inspired by renormalization group (RG) theory, built on additive hierarchical expansions analogous to those appearing in functional ANOVA and mixed-effects models. Like ReLU convolutional neural networks, they are almost everywhere locally linear; unlike ReLU networks, their partition structure is explicit, interpretable, and easy to modify or constrain. In these models, one defines a multidimensional lattice partition of the input space and uses it to scaffold variations in regression parameters. Each dimension of the lattice corresponds to an attribute by which the statistics of the problem may vary. The parameters are themselves expressed in the form of an expansion, where each term captures variations relative to a lower (coarser) interaction scale. These models admit multiple equivalent interpretations: as piecewise GLMs, as hierarchical mixed-effects regressions, or as regression trees with structured parameter sharing. Since RG motivates the design of these models, we use techniques from statistical physics -- specifically replica analysis -- to study their generalization properties. Specifically, we analyze the behavior of the Watanabe-Akaike Information Criterion (WAIC) as a proxy for generalization loss. This analysis yields two practical results: (i) guidance on the lattice design as a function of dataset size and predictor dimensionality; and (ii) a principled scaling law for the regularization prior when adding higher-order terms to the expansion so that one can increase model complexity without an expected increase in generalization loss. We evaluate the methodology on public datasets and find performance competitive against both blackbox methods and other intrinsically interpretable approaches.
- [208] arXiv:2605.05521 (cross-list from econ.TH) [pdf, ps, other]
-
Title: An Axiomatic Foundation for Decisions with Counterfactual UtilitySubjects: Theoretical Economics (econ.TH); Computer Science and Game Theory (cs.GT); Statistics Theory (math.ST)
Counterfactual utilities evaluate decisions not only by the realized outcome under a given decision, but also by the counterfactual outcomes that would arise under alternative decisions. By generalizing standard utility frameworks, they allow decision-makers to encode asymmetric criteria, such as avoiding harm and anticipating regret. Recent work, however, has raised fundamental concerns about the coherence and transitivity of counterfactual utilities. We address these concerns by extending the von Neumann-Morgenstern (vNM) framework to preferences defined on the extended space of all potential outcomes rather than realized outcomes alone. We show that expected counterfactual utility satisfies the vNM axioms on this extended domain, thereby admitting a coherent preference representation. We further examine how counterfactual preferences map onto the realized outcome space through menu-dependent and context-dependent projections. This axiomatic framework reconciles apparent inconsistencies highlighted by the Russian roulette example in the statistics literature and resolves the well-known Allais paradox from behavioral economics. We also derive an additional axiom required to reduce counterfactual utilities to standard utilities on the same potential outcome space, and establish an axiomatic foundation for additive counterfactual utilities, which satisfy a necessary and sufficient condition for point identification. Finally, we show that our results hold regardless of whether individual potential outcomes are deterministic or stochastic.
- [209] arXiv:2605.05575 (cross-list from eess.SY) [pdf, ps, other]
-
Title: Maximal Controlled Invariant-MPC: Enhancing Feasibility and Reducing Conservatism through Terminal CBF Constraint in Safety-Critical ControlComments: Under reviewSubjects: Systems and Control (eess.SY); Robotics (cs.RO); Optimization and Control (math.OC)
Optimal control for safety-critical systems is often dependent on the conservativeness of constraints. Control Barrier Functions (CBFs) serve as a medium to represent such constraints, but constructing a minimally conservative CBF is a computationally intractable problem. Therefore, approaches that can guarantee safety while reducing conservatism will help improve the optimality of the system under consideration. Here, we present a Model Predictive Control (MPC) formulation using CBF as a terminal constraint, which is proven to improve feasibility and reachable sets with increasing prediction horizon. The constructive nature of the proofs allows for warm-starting the nonlinear optimization problem, thereby reducing the computational time substantially. Simulations are set up for a simple nonholonomic system to numerically validate the results, and it is observed that the number of infeasible points decreased by a factor of 1.7 to 2.7. The increase in reachable state space was demonstrated by the ability of the system to track trajectories that are entirely inside the unsafe region of the control barrier function.
- [210] arXiv:2605.05589 (cross-list from cond-mat.str-el) [pdf, ps, other]
-
Title: Galois Solvability of Finite-Size Bethe Solutions in the Heisenberg ChainComments: 5 pages, 2 figuresSubjects: Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph)
The spin-1/2 Heisenberg antiferromagnetic chain is the canonical example of an integrable quantum many-body model. Despite its exact solvability, explicit finite-size solutions are typically only accessible via numerical evaluation of the Bethe ansatz equations. Here, we analyse the algebraic structure of the exact, symbolic ground states for chains up to ten sites using the coordinate Bethe ansatz. We show that both the ground state wavefunction and the Bethe-roots rapidly develop algebraic complexity with respect to system size, but at different rates. The Bethe-roots appear to become Galois unsolvable for chains of eight or more sites, whereas the ground state wavefunction coefficients and energy appear to become unsolvable for ten or more sites. This demonstrates a lack of explicit analytic tractability in a quantum integrable model due to algebraic complexity.
- [211] arXiv:2605.05592 (cross-list from cs.LG) [pdf, ps, other]
-
Title: When Can Voting Help, Hurt, or Change Course? Exact Structure of Binary Test-Time AggregationAuthors: Yi LiuSubjects: Machine Learning (cs.LG); Information Theory (cs.IT)
Majority voting is one of the few black-box interventions that can improve a fixed stochastic predictor: repeated access can be cheaper than changing a high-capability model. Classical fixed-competence theory makes this intervention look monotone -- more votes help above the majority threshold and hurt below it. We show that this picture is fundamentally incomplete. Under the de Finetti representation for exchangeable repeated correctness, voting is governed by a latent distribution of per-example correctness probabilities. Even simple latent mixtures can generate sharply different voting curves, including nonmonotone behavior and, in an explicit construction, infinitely many trend changes. The full latent law determines the curve, but the curve does not determine the law. The exact object recovered by voting is a signed voting signature: at each binomial variance scale, it records excess latent mass above rather than below the majority threshold. Our main theorem proves that the complete odd-budget curve and this signature are equivalent: the curve increments are signed Hausdorff moments, and the full curve recovers the signature uniquely. This viewpoint explains shape phenomena, branch-symmetric nonidentifiability, realizability, variation, and endpoint rates. It also separates estimation regimes: direct per-example success-probability information targets the full signature, whereas fixed-depth grouped labels reveal only a finite prefix.
- [212] arXiv:2605.05606 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Variational Smoothing and Inference for SDEs from Sparse Data with Dynamic Neural FlowsComments: Yu Wang and Arnab Ganguly contributed equally to this work. Corresponding to Arnab GangulySubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Probability (math.PR)
Stochastic differential equations (SDEs) provide a flexible framework for modeling temporal dynamics in partially observed systems. A central task is to calibrate such models from data, which requires inferring latent trajectories and parameters from sparse, noisy observations. Classical smoothing methods for this problem are often limited by path degeneracy and poor scalability. In this work, we developed a novel method based on characterization of the posterior SDE in terms of conditional backward-in-time score defined as the gradient of a function solving a Kolmogorov backward equation with multiplicative updates at observation times. We learn this conditional score using neural networks trained to satisfy both the governing PDE and the observation-induced jump conditions, thereby integrating continuous-time dynamics with discrete Bayesian updates. The resulting score induces a posterior SDE with the same diffusion coefficient but a modified drift, enabling efficient posterior trajectory sampling. We further derive a likelihood-based objective for learning the SDE parameters, yielding an evidence lower bound (ELBO) for joint state smoothing and parameter estimation. This leads to a variational EM-style procedure, where the neural conditional score is optimized to approximate the smoothing distribution, followed by a maximization step over the SDE parameters using samples from the induced posterior. Experiments on nonlinear systems demonstrate accurate and stable inference with a very few observations demonstrating significant improved scalability compared to classical MCMC methods.
- [213] arXiv:2605.05618 (cross-list from cs.DS) [pdf, ps, other]
-
Title: Algorithmic Phase Transition for Large Independent Sets in Dense HypergraphsComments: 38 pages plus references; abstract shortened due to arxiv restrictionsSubjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Probability (math.PR)
We study the algorithmic tractability of finding large independent sets in dense random hypergraphs. In the sparse regime, much of the natural algorithms can be formulated within either the local or the low-degree polynomial (LDP) framework, and a rich literature has subsequently identified nearly sharp algorithmic thresholds within these classes by exploiting their stability. In the dense setting, however, the algorithmic paradigms are fundamentally different: they are online and thus need not be stable. Perhaps more crucially, even for the classical Erd\H{o}s-R\'enyi random graph $G(n,p)$, LDPs are conjectured to fail in the 'easy' regime accessible to online algorithms, thereby challenging their viability for dense models.
Our focus is on two models: (i) finding large independent sets in dense $r$-uniform Erd\H{o}s-R\'enyi hypergraphs, and (ii) the more challenging problem of finding large $\gamma$-balanced independent sets in dense $r$-uniform $r$-partite hypergraphs, where the $i$-th coordinate of $\gamma\in\mathbb{Q}^r$ specifies the proportion of vertices from $V_i$ in the independent set. For both models, we pinpoint the size of the largest independent set and design online algorithms that achieve a multiplicative approximation factor of $r^{1/(r-1)}$ in the uniform and $(\max_i \gamma_i)^{-1/(r-1)}$ in the $r$-partite model. Furthermore, we establish matching algorithmic lower bounds, showing that these computational gaps are sharp: no online algorithms can breach these gaps. - [214] arXiv:2605.05660 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Distributionally Robust Multi-Objective OptimizationComments: 47 pagesSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Multi-objective optimization (MOO) has received growing attention in applications that require learning under multiple criteria. However, the existing MOO formulations do not explicitly account for distributional shifts in the data. We introduce distributionally robust multi-objective optimization (DR-MOO), which minimizes multiple objectives under their respective worst-case distributions. We propose Pareto-type solution concepts for DR-MOO and develop multi-gradient descent algorithms (MGDA) with provable guarantees. Leveraging a Lagrangian dual reformulation, we first design a double-loop MGDA that uses an inner loop to estimate dual variables and achieves a total sample complexity $\mathcal{O}(\epsilon^{-12})$ for reaching an $\epsilon$-Pareto-stationary point. To further improve efficiency, we incorporate gradient clipping to handle generalized-smooth and biased gradient estimates, removing the need for double sampling. This yields a single-loop double-clip MGDA with substantially improved sample complexity $\mathcal{O}(\epsilon^{-4})$. Our theory applies to the nonconvex setting and does not require bounded objectives or gradients. Experiments demonstrate that our methods are competitive with state-of-the-art MGDA baselines.
- [215] arXiv:2605.05728 (cross-list from cs.LG) [pdf, ps, other]
-
Title: WARP: A Benchmark for Primal-Dual Warm-Starting of Interior-Point SolversSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Systems and Control (eess.SY); Optimization and Control (math.OC)
Solving AC Optimal Power Flow (AC-OPF) is of central importance in electricity market operations, where interior-point methods (IPMs) such as IPOPT are the standard solvers. A growing body of work uses machine learning to predict primal warm-start iterates, reporting iteration reductions of 30-46\%. We show that these reported gains rest on an inappropriate evaluation baseline: prior methods benchmark against the flat start $V_m = 1, V_a = 0$, whereas the solver's actual default - the variable-bound midpoint $(l+u)/2$ - is near-optimal for log-barrier centrality. Against this corrected baseline, no primal-only warm-start method reduces solver iterations. We trace the failure to a geometric property of interior-point methods: primal prediction accuracy is anticorrelated with convergence speed, and providing the ground-truth optimal solution $x^*$ without dual variables causes the solver to diverge. Oracle experiments establish that the complete primal-dual-barrier state $(x^*, \lambda^*, z^*, \mu^*)$ reduces IPOPT iterations from 23 to 3 - an 85\% reduction that is structurally inaccessible to primal-only methods. To enable rigorous evaluation of warm-start methods on this task, we release a benchmark suite comprising dual-labeled AC-OPF datasets with IPOPT-extracted solutions, a corrected evaluation protocol, and WARP - a topology-conditioned encode-process-decode interaction network that predicts the full interior-point state $(\hat{x}, \hat{\lambda}, \hat{z}, \hat{\mu})$ on the heterogeneous constraint graph. WARP achieves a 76\% reduction in IPOPT iterations while natively accommodating N-1 contingency topology variations without retraining.
- [216] arXiv:2605.05744 (cross-list from stat.ME) [pdf, ps, other]
-
Title: A Stein Characterization-type Omnibus Tests for the Discrete Pareto DistributionComments: 24 pages, 4 tables, 2 figuresSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
The discrete Pareto (or Zeta, Zipf) distribution, arises naturally in modeling rank-frequency data across diverse fields such as linguistics, demography, biology, and computer science. Despite its widespread applicability, goodness-of-fit testing for the discrete Pareto distribution remains underdeveloped, particularly in the presence of heavy tails and infinite support. This article introduces a novel goodness-of-fit test based on a new Stein-type characterization of the discrete Pareto distribution, formulated using its probability generating function. The proposed method is applicable even when the shape parameter is unknown and avoids binning or smoothing techniques. We study the asymptotic properties of the test and assess its empirical size and power through extensive simulation experiments. The results show that the proposed test either outperforms or matches the performance of existing method across various alternatives. Applications to real datasets are provided to demonstrate its practical relevance and robustness.
- [217] arXiv:2605.05764 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Weighted Phase-Space Paths for Exact Wigner DynamicsSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
A quantum state can be written in phase space, but the resulting object is not generally the probability density of a positive stochastic process on ordinary phase space. We spell this out for Wigner dynamics. If a positive phase-space process is required only to reproduce the Born density after integrating over momentum, the requirement fixes only an integrated current; the local drift and diffusion remain underdetermined. If one instead requires all Weyl-ordered expectation values, the phase-space object is fixed to be the Wigner function. For non-quadratic potentials the Wigner--Moyal generator contains higher-order, signed momentum-transfer terms, so it is not the Fokker--Planck generator of a positive Brownian diffusion. The exact Wigner function must therefore be reconstructed, in a stochastic representation, as a weighted empirical measure \[ \FW(\z,t)=\E_{\Pp}[W_t\delta(\z-\z_t)], \qquad \z=(q,p), \] rather than the unweighted density of sampled carrier trajectories. With classical Hamiltonian flow as the carrier, all nonclassical correction beyond classical transport sits in the Moyal residual and can be represented by signed weights or branching events. The same split defines a residual diagnostic that vanishes for quadratic Hamiltonians and measures what classical carrier transport misses in anharmonic dynamics. The formulation also gives a forward--reverse relation for signed Wigner path measures. The ratio of forward and reversed contributions separates into a positive magnitude factor and a sign factor. This sign records the parity of the Wigner interference contribution; it is not a thermodynamic entropy production.
- [218] arXiv:2605.05778 (cross-list from q-bio.QM) [pdf, ps, other]
-
Title: Planar morphometry via functional shape data analysis and quasi-conformal mappingsSubjects: Quantitative Methods (q-bio.QM); Computational Geometry (cs.CG); Numerical Analysis (math.NA)
The study of shapes is one of the most fundamental problems in life sciences. Although numerous methods have been developed for the morphometry of planar biological shapes over the past several decades, most of them focus solely on either the outer silhouettes or the interior features of the shapes without capturing the coupling between them. Moreover, many existing shape mapping techniques are limited to establishing correspondence between planar structures without further allowing for the quantitative analysis or modelling of shape changes. In this work, we introduce FDA-QC, a novel planar morphometry method that combines functional shape data analysis (FDA) techniques and quasi-conformal (QC) mappings, taking both the boundary and interior of the planar shapes into consideration. Specifically, closed planar curves are represented by their square-root velocity functions and registered by elastic matching in the function space. The induced boundary correspondence is then extended to the entire planar domains by a quasi-conformal map, optionally with landmark constraints. Moreover, the proposed FDA-QC method can naturally lead to a unified framework for shape morphing and shape variation quantification. We apply the FDA-QC method to various leaf and insect wing datasets, and the experimental results show that the proposed combined approach captures morphological variation more effectively than purely boundary-based or interior-based descriptions. Altogether, our work paves a new way for understanding the growth and form of planar biological shapes.
- [219] arXiv:2605.05808 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Ratio-based Loss FunctionsSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
Algorithms in machine learning and AI do critically depend on at least three key components: (i) the risk function, which is the expectation of the loss function, (ii) the function space, which is often called the hypothesis space, and (iii) the set of probability measures, which are allowed for the specified algorithm. This paper gives a survey of a certain class of loss functions, which we call ratio-based. In supervised learning, margin-based loss functions for classification tasks depending on the product of the output values $y_i$ and the predictions $f(x_i)$ as well as distance-based loss functions depending on the difference of $y_i$ and $f(x_i)$ for regression are common. Distance-based loss functions are in particular useful, if an additive model assumption seems plausible, i.e. the common signal plus noise assumption. However, in the literature, several loss functions proposed for regression purposes have a multiplicative error structure in mind and pay attention to relative errors, i.e. to the ratio of $y_i$ and $f(x_i)$. In this survey article, we systematically investigate such ratio-based loss functions and propose a few new losses, which may be interesting for future research. We concentrate on investigating general properties of ratio-based loss functions like continuity, Lipschitz-continuity, convexity, and differentiability, because these properties play a central role in most machine learning algorithms. Therefore, we do not focus on some specific machine learning algorithm to derive universal consistency, learning rates, or stability results. Instead, we want to enable future research in this direction.
- [220] arXiv:2605.05844 (cross-list from eess.SP) [pdf, ps, other]
-
Title: TGPP: Trajectory-Guided Plug-and-Play Priors for Sparse Radio Map ReconstructionSubjects: Signal Processing (eess.SP); Information Theory (cs.IT)
Radio map (RM) reconstruction is essential for environment-aware wireless networks, but practical measurements are often collected along mobility trajectories rather than randomly scattered over the target region. Such trajectory-sampled observations induce spatially heterogeneous uncertainty: near-trajectory regions are directly constrained, whereas distant or occluded regions remain weakly observed, leading to degraded reconstruction accuracy in under-constrained areas. To address this problem, we propose Trajectory-Guided Plug-and-Play Priors (TGPP), a general guidance module for sparse RM reconstruction. TGPP learns an explicit guidance map as an interpretable input-space risk prior, and an implicit guide feature that is projected and fused with backbone hidden representations. TGPP can be attached to different reconstruction backbones without changing their original task formulation. We further introduce RadioFlow-LDM, a latent flow-based generative backbone, and apply TGPP to deterministic, adversarial, graph-based, and latent generative reconstruction models. Experiments on RadioMapSeer with five trajectory sampling rates show that trajectory-sampled reconstruction differs substantially from random sparse interpolation. TGPP improves most reconstruction metrics across backbones, achieving up to 43.1% NMSE reduction relative to the corresponding base backbone without trajectory-guided priors.
- [221] arXiv:2605.05873 (cross-list from stat.ML) [pdf, ps, other]
-
Title: CITE: Anytime-Valid Statistical Inference in LLM Self-ConsistencySubjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME)
Large language models often improve reasoning by sampling multiple outputs and aggregating their final answers, but precise and efficient control of error levels remains a challenging task. In particular, deciding when to stop sampling remains difficult when the stopping rule is data-dependent and the set of possible answers is not known in advance. We study anytime-valid certification of a prespecified target answer as the unique mode of the model's response distribution, a guarantee distinct from answer correctness. We propose the Certification by Intersection-union Testing with E-processes (CITE) algorithm, which provably controls false certification at any prescribed level under arbitrary data-driven stopping, without requiring prior knowledge of the answer category set. We also prove an category-set-size-free stopping-time rate, establish matching minimax lower bounds up to constants in the main regime, and extend the construction to confidence-weighted voting. Simulations and LLM self-consistency experiments show empirical error control and improved certification in diffuse-tail settings.
- [222] arXiv:2605.05877 (cross-list from cs.DS) [pdf, ps, other]
-
Title: Discrete Optimal Transport: Rapid Convergence of Simulated Annealing AlgorithmsComments: 67 pages, 1 figureSubjects: Data Structures and Algorithms (cs.DS); Probability (math.PR)
We develop a discrete optimal transport framework for analyzing simulated annealing algorithms on finite state spaces. Building on the discrete Wasserstein metric introduced by Maas (J. Funct. Anal., 2011), we define a generalized discrete Wasserstein-2 distance and the associated notion of \emph{discrete action} for paths of probability measures on graphs. Using these tools, we establish non-asymptotic convergence guarantees for simulated annealing: the KL divergence between the algorithm's output and the target distribution is controlled by the discrete action of the annealing path. This can be viewed as the discrete counterpart of the action-based analysis of annealed Langevin dynamics in continuous spaces by Guo, Tao, and Chen (ICLR 2025).
As applications, we analyze simulated annealing for two fundamental models in statistical physics. For the \emph{mean-field Ising model}, we show that annealed single-site Glauber dynamics achieves $\varepsilon$ error in KL divergence in $O(n^5\beta^2/\varepsilon)$ steps at \emph{any} inverse temperature $\beta \ge 0$. For the \emph{mean-field $q$-state Potts model}, we show that annealed $(q-1)$-block Glauber dynamics achieves $\varepsilon$ error in $\mathrm{poly}(n, \beta, 1/\varepsilon)$ steps for all $\beta \ge \beta_{\mathsf{s}}=q/2$, the regime where the disordered phase has completely lost stability. In both cases, the key technical contribution is a polynomial upper bound on the discrete action, obtained by exploiting the symmetry of the model to reduce the analysis to a low-dimensional projected chain. - [223] arXiv:2605.05889 (cross-list from cs.CV) [pdf, ps, other]
-
Title: DBMSolver: A Training-free Diffusion Bridge Sampler for High-Quality Image-to-Image TranslationComments: Accepted to CVPR 2026. Includes supplementary materialSubjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Numerical Analysis (math.NA)
Diffusion-based image-to-image (I2I) translation excels in high-fidelity generation but suffers from slow sampling in state-of-the-art Diffusion Bridge Models (DBMs), often requiring dozens of function evaluations (NFEs). We introduce DBMSolver, a training-free sampler that exploits the semi-linear structure of DBM's underlying SDE and ODE via exponential integrators, yielding highly-efficient 1st- and 2nd-order solutions. This reduces NFEs by up to 5x while boosting quality (e.g., FID drops 53% on DIODE at 20 NFEs vs. 2nd-order baseline). Experiments on inpainting, stylization, and semantics-to-image tasks across resolutions up to 256x256 show DBMSolver sets new SOTA efficiency-quality tradeoffs, enabling real-world applicability. Our code is publicly available at https://github.com/snumprlab/dbmsolver.
- [224] arXiv:2605.05905 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Quadratic Objective Perturbation: Curvature-Based Differential PrivacySubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Objective perturbation is a standard mechanism in differentially private empirical risk minimization. In particular, Linear Objective Perturbation (LOP) enforces privacy by adding a random linear term, while strong convexity and stability are ensured by an additional deterministic quadratic term. However, this approach requires the strong assumption of bounded gradients of the loss function, which excludes many modern machine learning models. In this work, we introduce Quadratic Objective Perturbation (QOP), which perturbs the objective with a random quadratic form. This perturbation induces strong convexity and enforces stability of the problem through curvature, thereby enabling privacy and allowing sensitivity to be controlled through spectral properties of the perturbation rather than assumptions on the gradients. As a result, we obtain $(\varepsilon, \delta)$-differential privacy under weaker assumptions, in the interpolation regime. Furthermore, we extend the analysis to account for approximate solutions, showing that privacy guarantees are preserved under inexact solves. Additionally, we derive utility guarantees in terms of empirical excess risk, and provide a theoretical and numerical comparison to LOP, highlighting the advantages of curvature-based perturbations. Finally, we discuss algorithmic aspects and show that the resulting problems can be solved efficiently using modern splitting schemes.
- [225] arXiv:2605.05911 (cross-list from cs.AI) [pdf, ps, other]
-
Title: PREFER: Personalized Review Summarization with Online Preference LearningSubjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG); Systems and Control (eess.SY); Optimization and Control (math.OC)
Product reviews significantly influence purchasing decisions on e-commerce platforms. However, the sheer volume of reviews can overwhelm users, obscuring the information most relevant to their specific needs. Current e-commerce summarization systems typically produce generic, static summaries that fail to account for the fact that (i) different users care about different product characteristics, and (ii) these preferences may evolve with interactions. To address the challenge of unknown latent preferences, we propose an online learning framework that generates personalized summaries for each user. Our system iteratively refines its understanding of user preferences by incorporating feedback directly from the generated summaries over time. We provide a case study using the Amazon Reviews'23 dataset, showing in controlled simulations that online preference learning improves alignment with target user interests while maintaining summary quality.
- [226] arXiv:2605.05954 (cross-list from cs.DS) [pdf, ps, other]
-
Title: Label Correcting Algorithms for the Multiobjective Temporal Shortest Path ProblemSubjects: Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)
Given a directed, discrete-time temporal graph $G=(V,R)$, a start node $s\in V$, and $p\geq1$ objectives, the single-source multiobjective temporal shortest path problem asks, for each $v\in V$, for the set of nondominated images of temporal $s$-$v$-paths together with a corresponding efficient path for each image. A recent general label setting algorithm for this problem relies on two properties of the objectives - monotonicity and isotonicity. Monotonicity generalizes the nonnegativity assumption required by label setting methods for the classical additive single-objective shortest path problem on static graphs, while isotonicity ensures that the order of the objective values of two paths is preserved when both are extended by the same arc.
In this paper, we study the problem without assuming monotonicity and/or isotonicity. A key difficulty in this setting is that zero-duration temporal cycles may need to be traversed an arbitrary finite number of times to generate all nondominated images. This motivates the study of a restricted problem variant in which a maximum admissible path length $K$ is imposed, and only paths containing at most $K$ arcs are considered. We develop general label correcting algorithms for this setting and establish several sufficient conditions under which such a bound is not required, implying that the algorithms compute all nondominated images. - [227] arXiv:2605.05967 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Sharper Guarantees for Misspecified Kernelized Bandit OptimizationSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)
Existing guarantees for misspecified kernelized bandit optimization pay for misspecification through kernel complexity: in generic offline bounds, the misspecification level $\varepsilon$ is multiplied by $\sqrt{d_\mathrm{eff}}$, where $d_\mathrm{eff}$ is the kernel effective dimension, while in online regret bounds, the corresponding penalty is $\sqrt{\gamma_n}\,n\varepsilon$, where $\gamma_n$ is the maximum information gain after $n$ rounds of interaction.
In this work, we show that, for a large class of kernels, the misspecification amplification can be reduced to logarithmic or polylogarithmic growth. In the offline setting, we first prove high-probability simple-regret bounds whose misspecification term is governed by a spectral Lebesgue constant. This yields logarithmic amplification for one-dimensional monotone spectra and polylogarithmic amplification for multivariate Fourier-diagonal product kernels. In the online setting, we modify a domain-splitting algorithm and prove a cumulative regret bound of $\widetilde{\mathcal O}(\sqrt{\gamma_n n}+n\varepsilon)$ under mild localized eigendecay assumptions, removing the extra $\sqrt{\gamma_n}$ factor from the misspecification term. The common principle is localization: spectral localization controls the Lebesgue constant of the offline approximation operator, while domain splitting implements the spatial analogue of this mechanism in the online setting, preventing local misspecification errors from being amplified globally. - [228] arXiv:2605.06004 (cross-list from cs.LG) [pdf, ps, other]
-
Title: A Fine-Grained Understanding of Uniform Convergence for HalfspacesSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Statistics Theory (math.ST)
We study the fine-grained uniform convergence behavior of halfspaces beyond worst-case VC bounds. For inhomogeneous halfspaces in $\mathbb{R}^d$ with $d\ge 2$, we show that standard first-order VC bounds are essentially tight: even consistent hypotheses can incur population error $\Theta(d\ln(n/d)/n)$, and in the agnostic setting the deviation scales as $\sqrt{\tau\ln(1/\tau)}$ at true error $\tau$. In contrast, homogeneous halfspaces in $\mathbb{R}^2$ exhibit a markedly different behavior. In the realizable case, every hypothesis consistent with the sample has error $O(1/n)$. In the agnostic case, we prove a bandwise, log-free deviation bound on each dyadic risk band via a critical-wedge localization argument. Unioning over bands incurs only a $\ln\ln n$ overhead, and we establish a matching lower bound showing this overhead is unavoidable. Together, these results give a fine-grained and nearly complete picture of uniform convergence for halfspaces, revealing sharp dimensional and structural thresholds.
- [229] arXiv:2605.06017 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Matrix-Decoupled Concentration for Autoregressive Sequences: Dimension-Free Guarantees for Sparse Long-Context RewardsAuthors: Pei-Sen LiSubjects: Machine Learning (cs.LG); Probability (math.PR)
Sequence-level evaluations in autoregressive Large Language Models (LLMs) rely on highly dependent token generation. Establishing tight concentration bounds for these processes remains a challenge due to two fundamental bottlenecks in existing frameworks: (i) classical inequalities typically separate dependency structures from target sensitivities, leading to a scalar collapse that inflates the variance proxy to a suboptimal $\mathcal{O}(N)$ for sparse terminal rewards; (ii) conversely, while certain spatial methods achieve tighter bounds, they lack the strictly causal filtration required by sequential generation, rendering them inapplicable to the autoregressive setting. To resolve both bottlenecks, we establish a sharp McDiarmid-type inequality for dependent sequences, governed strictly by the exact matrix-vector multiplication of the causal dependency resolvent and the target sensitivity vector. This Matrix-Decoupled Concentration (MDC) framework natively recovers optimal constants for Markov chains and exploits directed $d$-separation to yield order-optimal bounds for causal trees. Crucially, by exactly preserving the coordinate-wise sparsity of rewards within a strictly causal framework, MDC mathematically prevents scalar collapse, guaranteeing a dimension-free $\mathcal{O}(1)$ variance proxy and providing a rigorous mathematical justification for the stability of long-context reasoning.
- [230] arXiv:2605.06026 (cross-list from physics.flu-dyn) [pdf, ps, other]
-
Title: Topology optimization of two-fluid turbulent heat exchangers: A Darcy flow-based multifidelity approachSubjects: Fluid Dynamics (physics.flu-dyn); Optimization and Control (math.OC)
This paper presents a topology optimization method for designing two-fluid heat exchangers under turbulent conditions using a Darcy flow-based low-fidelity (LF) model. The LF model is calibrated against a high-fidelity (HF) model based on the Reynolds-averaged Navier-Stokes (RANS) equations to increase the accuracy of predictions for fluid flow and heat transfer characteristics. Since the discrepancies between the LF and HF models can be significant, particularly for pressure drops, a multifidelity topology optimization framework is adopted to leverage the strengths of both models. Using the calibrated LF model, we perform topology optimization for various inlet velocities in the boundary conditions and trade-off parameters in the objective function to obtain diverse optimized designs. The optimized designs are then evaluated using the HF model to assess their performance with higher accuracy. The results demonstrate that the optimized designs significantly improve overall heat transfer coefficients while maintaining manageable pressure drops, achieving up to a 22% higher performance evaluation criterion (PEC) compared to a reference design enhanced by conventional twisted tape insertion. The improvements are attributed to the optimized configurations that promote enhanced fluid mixing and increased surface area for heat exchange, yet maintain streamlined flow paths to minimize pressure losses. Overall, the proposed topology optimization method using the Darcy flow-based LF model proves effective in designing high-performance double pipe heat exchangers, showcasing the potential of the multifidelity approach in overcoming the challenges of optimizing heat exchangers under turbulent flow conditions.
- [231] arXiv:2605.06061 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Geometry-Aware Simplicial Message PassingSubjects: Machine Learning (cs.LG); Computational Geometry (cs.CG); Algebraic Topology (math.AT)
The Weisfeiler--Lehman (WL) test and its simplicial extension (SWL) characterize the combinatorial expressivity of message passing networks, but they are blind to geometry, i.e., meshes with identical connectivity but different embeddings are indistinguishable. We introduce the Geometric Simplicial Weisfeiler--Lehman (GSWL) test, which incorporates vertex coordinates into color refinement for geometric simplicial complexes. In addition, we show that (i) the expressivity of geometry-aware simplicial message passing schemes is bounded above by GSWL, and (ii) that there exist parameters such that the discriminating power of GSWL is matched by these schemes on any fixed finite family of geometric simplicial complexes. Combined with the Euler Characteristic Transform (ECT), a complete invariant for geometric simplicial complexes, this yields a geometric expressivity characterization together with an approximation framework. Experiments on synthetic and mesh datasets serve to validate our theory, showing a clear hierarchy from combinatorial to geometry-aware models.
- [232] arXiv:2605.06097 (cross-list from eess.SY) [pdf, ps, other]
-
Title: Absolute Stability of Nonlinear Negative Imaginary Systems with Application to Potential Energy ShapingComments: 8 pages, 7 figuresSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper establishes absolute stability conditions for nonlinear negative imaginary (NI) systems interconnected with static nonlinear feedback. We first show that the NI property is preserved when the feedback nonlinearity can be expressed as the gradient of a continuously differentiable function, and the composite storage of the resulting system remains positive definite. This condition provides a direct connection between nonlinear static feedback and storage-function shaping along the measured output channels. Building on this result, conditions are derived for absolute stability of the closed-loop system under mild assumptions. The linear specialization of the results strictly generalizes prior absolute stability results for linear NI systems, allowing coupled nonlinearities not covered by existing slope-restricted or sector-bounded frameworks. Finally, the proposed theory is illustrated through a linear example highlighting this generalization and a nonlinear example that shows the utility of the proposed results in potential energy shaping.
- [233] arXiv:2605.06131 (cross-list from physics.plasm-ph) [pdf, ps, other]
-
Title: Hugoniot Relation for Multi-Temperature Euler Equations of Compressible Plasma FlowsSubjects: Plasma Physics (physics.plasm-ph); Mathematical Physics (math-ph)
Shock solutions for multi-temperature Euler equations are inherently ambiguous due to the loss of microscopic physical detail during model reduction and occurrence of non-conservative terms. This paper presents a detailed analytical study of shock structures in such models. We derive two distinct Hugoniot relations, each corresponding to a physically admissible shock solution: one for the general multi-temperature case and one for two-temperature plasma flows. Through classical analysis \`a la Courant--Friedrichs, we demonstrate that both satisfy admissibility conditions, revealing a fundamental non-uniqueness in shock structures. By relating these solutions to existing numerical schemes, the structure preserving and vanishing viscosity approaches, we provide physically justified references for constructing and evaluating discontinuous numerical approximations. In particular, we emphasize that the Hugoniot relation is not uniquely determined by the macroscopic PDEs alone, but must be supplied from external sources such as experiments or first-principles simulations. This insight demonstrates the essential role of microscopic physics in resolving shock ambiguity and contributes to the theoretical foundation for modeling discontinuous plasma flows.
- [234] arXiv:2605.06152 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Grokking or Glitching? How Low-Precision Drives Slingshot Loss SpikesComments: 28 pages, 13 figuresSubjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Optimization and Control (math.OC); Machine Learning (stat.ML)
Deep neural networks exhibit periodic loss spikes during unregularized long-term training, a phenomenon known as the "Slingshot Mechanism." Existing work usually attributes this to intrinsic optimization dynamics, but its triggering mechanism remains unclear. This paper proves that this phenomenon is a result of floating-point arithmetic precision limits. As training enters a high-confidence stage, the difference between the correct-class logit and the other logits may exceed the absorption-error threshold. Then during backpropagation, the gradient of the correct class is rounded exactly to zero, while the gradients of the incorrect classes remain nonzero. This breaks the zero-sum constraint of gradients across classes and introduces a systematic drift in the parameter update of the classifier layer. We prove that this drift forms a positive feedback loop with the feature, causing the global classifier mean and the global feature mean to grow exponentially. We call this mechanism Numerical Feature Inflation (NFI). This mechanism explains the rapid norm growth before a Slingshot spike, the subsequent reappearance of gradients, and the resulting loss spike. We further show that NFI is not equivalent to an observed loss spike: in more practical tasks, partial absorption may not produce visible spikes, but it can still break the zero-sum constraint and drive rapid growth of parameter norms. Our results reinterpret Slingshot as a numerical dynamic of finite-precision training, and provide a testable explanation for abnormal parameter growth and logit divergence in late-stage training.
- [235] arXiv:2605.06172 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Expressivity of Bi-Lipschitz Normalizing Flows: A Score-Based Diffusion PerspectiveSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Numerical Analysis (math.NA); Probability (math.PR)
Many normalizing flow architectures impose regularity constraints, yet their distributional approximation properties are not fully characterized. We study the expressivity of bi-Lipschitz normalizing flows through the lens of score-based diffusion models. For the probability flow ODE of a variance-preserving diffusion, Lipschitz regularity of the score induces a flow of bi-Lipschitz diffeomorphic transport maps. This ODE bridge allows us to analyze the distributional approximation power of bi-Lipschitz normalizing flows and, conversely, derive deterministic convergence guarantees for diffusion-based transport. Our key idea is to use the probability flow ODE to link regularity of the score to regularity of the induced transport maps. We verify score regularity for broad target densities, including compactly supported densities, Gaussian convolutions of compactly supported measures and finite Gaussian mixtures. We obtain a universal distributional approximation result: Gaussian pullbacks induced by bi-Lipschitz variance-preserving transport maps are $L^1$-dense among all probability densities. For Gaussian convolution targets, we further obtain convergence in Kullback-Leibler divergence without early stopping.
- [236] arXiv:2605.06193 (cross-list from hep-th) [pdf, ps, other]
-
Title: Causal self-dual nonlinear electrodynamics from the Born-Infeld theoryComments: 13 pagesSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
Recently we have proposed a new auxiliary-field formulation for self-dual nonlinear electrodynamics (NLED) which makes use of two building blocks: (i) a seed self-dual theory $L(F_{\mu\nu};g)$, where $F_{\mu \nu}$ is the electromagnetic field strength and $g$ a duality-invariant coupling constant; and (ii) a scalar potential $W(\psi)$. Our formulation is based on the Lagrangian $ \mathfrak{L}(F_{\mu\nu};\psi) = L(F_{\mu\nu};\psi) + W(\psi)$, where $\psi$ is an auxiliary scalar field. Integrating out $\psi$, using its equation of motion, one obtains a $\mathsf{U}(1)$ duality-invariant NLED. Different self-dual NLEDs are derived by choosing different potentials $W(\psi)$. In the case that the seed Lagrangian defines the Born-Infeld theory, in this paper we demonstrate that the resulting models for self-dual NLED are causal and provide a general solution of the self-duality equation. We also elaborate on the procedure to relate our formulation to that developed by Russo and Townsend.
- [237] arXiv:2605.06224 (cross-list from hep-th) [pdf, ps, other]
-
Title: Modular wedge localization, Majorana fields and the Tsirelson limit of the Bell-CHSH inequalityComments: 13 pages, two figuresSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
The massive Majorana field in $1+1$ dimension is employed to investigate the violation of the Bell-CHSH inequality in relativistic Quantum Field Theory. We give an explicit rapidity-space realization of the Summers-Werner modular-localization construction and reduce the vacuum Bell-CHSH correlator to a single spectral weight $h^2(\omega)$ for the modular operator. The resulting analytic families approach the Tsirelson bound in the vacuum state as their spectral weight concentrates near $\omega\approx0$, corresponding to the eigenvalue $\lambda^2 \approx 1$ of the modular operator.
- [238] arXiv:2605.06278 (cross-list from cs.LG) [pdf, ps, other]
-
Title: PACE: Prune-And-Compress Ensemble ModelsSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
Ensemble models achieve state-of-the-art performance on prediction tasks, but usually require aggregating a large number of weak learners. This can hinder deployment, interpretability, and downstream tasks such as robustness verification. Remedies to this issue fall into two main camps: pruning, which discards redundant learners, and compression, which generates new ones from scratch. We introduce PACE, a framework that interleaves these paradigms in a two-phase strategy. First, new learners are actively generated via a theoretically grounded procedure to enhance the diversity of the initial ensemble. When no more relevant learners can be found, a second phase of pruning is performed on this enriched ensemble. During both operations, PACE allows fine control on the faithfulness to the original ensemble. Experiments show that our method outperforms prior pruning and compression methods while offering principled control of faithfulness guarantees.
- [239] arXiv:2605.06281 (cross-list from cs.LG) [pdf, ps, other]
-
Title: INEUS: Iterative Neural Solver for High-Dimensional PIDEsSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA); Computational Finance (q-fin.CP)
In this paper, we introduce INEUS, a meshfree iterative neural solver for partial integro-differential equations (PIDEs). The method replaces the explicit evaluation of nonlocal jump integrals with single-jump sampling and reformulates PIDE solving as a sequence of recursive regression problems. Like Physics-Informed Neural Networks (PINNs), INEUS learns global solutions over the entire space-time domain, yet it offers a more efficient treatment of nonlocal terms and avoids the computationally expensive differentiation of full PIDE residuals. These features make INEUS particularly well suited for high-dimensional PDEs and PIDEs. Supported by a contraction-based convergence proof for linear PIDEs, our numerical experiments show that INEUS delivers accurate and scalable solutions for various high-dimensional linear and nonlinear examples.
- [240] arXiv:2605.06341 (cross-list from cs.NE) [pdf, ps, other]
-
Title: CoupleEvo: Evolving Heuristics for Coupled Optimization Problems Using Large Language ModelsComments: accepted at GECCO 2026, San Jose, Costa Rica, WorkshopSubjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
Many real-world optimization problems consist of multiple tightly coupled subproblems whose solutions must be coordinated to achieve high overall performance. However, existing large language model driven automated heuristic design approaches are limited to single-problem settings. In this paper, we propose CoupleEvo. CoupleEvo proposes three evolutionary coordination strategies to evolve heuristics for coupled optimization problems: the sequential strategy evolves heuristics for one subproblem after the other; the iterative strategy alternates the evolution of heuristics for different subproblems over successive generations; and the integrated strategy evolves heuristics for all problems simultaneously. The approach is evaluated on two representative coupled optimization problems. Experimental results show that decomposition-based strategies (sequential and iterative) provide more stable convergence and higher solution quality, while the integrated evolution strategy suffers from increased search complexity and variability. These findings highlight the importance of coordinating evolutionary search across interdependent subproblems and demonstrate the potential of LLM-driven heuristic design for complex coupled optimization problems. The code is available: https://github.com/tb-git-kit-research/CoupleEvo.
- [241] arXiv:2605.06375 (cross-list from cs.LG) [pdf, ps, other]
-
Title: A Unified Pair-GRPO Family: From Implicit to Explicit Preference Constraints for Stable and General RL AlignmentAuthors: Hao YuSubjects: Machine Learning (cs.LG); Statistics Theory (math.ST)
Large language model (LLM) alignment via reinforcement learning from human preferences (RLHF) suffers from unstable policy updates, ambiguous gradient directions, poor interpretability, and high gradient variance in mainstream pairwise preference learning paradigms. To systematically address these limitations, we establish a unified theoretical framework for preference-based RL optimization centered on the Pair-GRPO family, comprising two tightly coupled variants: Soft-Pair-GRPO and Hard-Pair-GRPO. Soft-Pair-GRPO is a minimal modification of Group Relative Policy Optimization (GRPO) that replaces group-normalized scalar rewards with binary pairwise preference rewards, retaining GRPO's clipped surrogate and KL-regularized structure. We prove a critical gradient equivalence theorem: under first-order Taylor expansion around the current policy, Soft-Pair-GRPO's gradient is a positive scalar multiple of standard GRPO's gradient, explaining its empirical stability despite discarding continuous reward magnitudes. Building on this foundation, we propose Hard-Pair-GRPO, an advanced variant introducing explicit local probability constraints and constrained KL-fitting optimization to further suppress gradient noise and global policy drift. We provide comprehensive theoretical guarantees for both variants--including monotonic policy improvement, deterministic gradient direction, gradient-variance reduction, and dynamic step-size convergence. Extensive experiments on standard LLM alignment benchmarks (HH-RLHF,UltraFeedback) and the MuJoCo continuous control task HalfCheetah-v4 demonstrate that our Pair-GRPO family consistently outperforms state-of-the-art baselines in alignment quality, human preference win rate, training stability, and generalization to general reinforcement learning. Ablation studies validate the critical contributions of each core component.
- [242] arXiv:2605.06379 (cross-list from hep-th) [pdf, ps, other]
-
Title: Systematic Extraction of Exact Yang-Mills Solutions via Algebraic Tensor Ring DecompositionComments: Main 11 pages + SM 12 pages, 5 figuresSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
The non-linear nature of Yang-Mills theory presents a challenge for extracting exact classical solutions, which are useful for understanding non-perturbative vacuum structures. In this paper, an algebraic tensor ring decomposition framework is introduced to systematically map the non-linear partial differential equations (PDEs) of Yang-Mills theory into tractable differential-algebraic systems. By promoting static pure-gauge backgrounds to dynamical variables, the reference state acts as a geometric template whose Maurer-Cartan forms generate the algebraic cross-terms necessary to stabilize non-linear self-interactions. To analytically resolve the resulting differential ideals, specific differential-algebraic quotient rings are employed as evaluation tools, and the solution space is organized by an algebraic bifurcation analysis. Applying this framework, three distinct classes of exact solutions are extracted: (i) relativistic $SU(2)$ color waves evaluated over an elliptic quotient ring, where the differential ideal bifurcates into a Decoupled Branch and two Coupled Branches, the latter exhibiting mass gap generation; (ii) dynamical dyonic flux tubes obtained from a time-dependent helical template, where the Gauss law ideal bifurcates the system into Coulomb, Dyonic, and symmetric Meissner branches. In the Meissner branch, an Artinian asymptotic truncation yields Bessel-type exponential screening, stabilized by a temporal dominance condition; and (iii) dynamical $SU(3)$ configurations where the Gauss law ideal bifurcates the solution space into four distinct phases. The non-trivial branches enforce a kinetic cancellation mechanism that maps the amplitude dynamics onto a generalized $x^2y^2$ chaotic oscillator. Across these settings, the framework provides a methodical approach to characterize the classical solution space of strongly coupled gauge theories.
- [243] arXiv:2605.06386 (cross-list from econ.EM) [pdf, ps, other]
-
Title: Covariate Balancing and Riesz Regression Should Be Guided by the Neyman Orthogonal Score in Debiased Machine LearningAuthors: Masahiro KatoSubjects: Econometrics (econ.EM); Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME); Machine Learning (stat.ML)
This position paper argues that, in debiased machine learning, balancing functions should be derived from the Neyman orthogonal score, not chosen only as functions of covariates. Covariate balancing is effective when the regression error entering the score can be represented by functions of covariates alone, and it is the natural finite-dimensional approximation for targets such as ATT counterfactual means. For ATE estimation under treatment effect heterogeneity, however, the score error generally contains treatment-specific components because the outcome regression is a function of the full regressor $X=(D,Z)$. In that case, balancing common functions of $Z$ can leave the treatment-specific component unbalanced. We therefore advocate regressor balancing, implemented by Riesz regression with basis functions of $X$, as the general balancing principle for DML. The position is not that covariate balancing is invalid, but that covariate balancing should be understood as the special case that is appropriate when the score-relevant regression error is a function of covariates alone.
- [244] arXiv:2605.06424 (cross-list from cond-mat.stat-mech) [pdf, ps, other]
-
Title: Finite-Time Optimal Control by Noisy TrapsComments: 6 pages, 3 figuresSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
The optimal control of passive systems in equilibrium typically favours quasistatic (infinite-time) protocols. We show that a breakdown of quasistatic optimality occurs when the controller itself is dissipative. Concretely, we study a Brownian particle confined by a harmonic trap with stochastically fluctuating stiffness, driven by an external protocol. When these fluctuations violate detailed balance, the probe-controller coupling continuously exchanges work with the system, altering the optimisation landscape. In this regime, optimal protocols are characterised by a finite duration which vanishes above a critical fluctuation strength. This transition can be directly observed in a short-time expansion of the mean work functional. When imposing an endpoint constraint, the transition to zero duration disappears and finite duration protocols remain optimal for all values of the controller fluctuations. These results demonstrate that finite-time optimality can emerge in passive systems under nonequilibrium control.
- [245] arXiv:2605.06425 (cross-list from cond-mat.stat-mech) [pdf, ps, other]
-
Title: Comparative Study of Potts Machine Dynamics and Performance for Max-k-CutComments: 12 pages, 3 figures, supplementary material includedSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph); Adaptation and Self-Organizing Systems (nlin.AO); Cellular Automata and Lattice Gases (nlin.CG); Applied Physics (physics.app-ph)
Combinatorial optimization problems in logistics, finance, energy, and scheduling routinely involve multi-state decision variables. Ising machines (IMs) require binary expansions (e.g., one-hot encoding) to encode such variables, whereas Potts machines (PMs) represent them natively. By doing so, PMs are expected to outperform IMs on multi-state problems. To the best of our knowledge, no systematic study of PM models has yet assessed whether this expectation holds. We therefore benchmark five representative PMs against a reference IM on Max-3-Cut and Max-4-Cut, using 800-vertex GSet graphs and random graphs of up to 50 vertices. Surprisingly, the reference IM still outperforms every PM, and the IM supremacy increases significantly in going from Max-3-Cut to Max-4-Cut. These results provide clear evidence that current PM dynamics underperform relative to binary approaches, even in regimes where they are presumed advantageous. We provide a way forward by quantifying the underperformance of current PMs, as well as by identifying three dynamical properties that correlate strongly with their performance ranking. Our work stresses the need for more systematic assessments of algorithmic performance in order to guide the design of more effective Potts machines.
- [246] arXiv:2605.06452 (cross-list from quant-ph) [pdf, ps, other]
-
Title: Tight Contraction Rates for Primitive Channels under Quantum $f$-DivergencesComments: 6+1 pagesSubjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
Data-processing inequalities capture the phenomenon that two probability distributions can only become less distinguishable under any common post-processing. For more fine-grained inequalities, one turns to strong data-processing inequality (SDPI) constants, which give the strongest inequalities for a given channel and reference state for a fixed measure of distinguishability. These quantities have been used to quantify the rate at which time-homogeneous Markov chains contract towards a fixed point both in the classical and quantum setting. In this work, we establish that quantum $f$-divergences satisfy a local reverse Pinsker inequality, which implies the asymptotic contraction rate of a primitive channel to its stationary state is upper bounded by the SDPI constant of any non-commutative $\chi^2$-divergence. Using quantum-detailed balance, we establish a sufficient condition for these bounds to be tight. Finally, we apply these results to Petz, Matsumoto, and Hirche-Tomamichel $f$-divergences, establishing new and strengthening previously known results.
- [247] arXiv:2605.06462 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Invariant-Based Diagnostics for Graph BenchmarksSubjects: Machine Learning (cs.LG); Combinatorics (math.CO)
Progress on graph foundation models is hindered by benchmark practices that conflate the contributions of node features and graph structure, making it hard to tell whether a model actually learns from connectivity, or whether it even needs to. We propose addressing this using graph invariants, i.e., permutation-invariant, task-agnostic structural descriptors that serve as a diagnostic framework for graph benchmarks. We show that (i) invariants are more expressive than standard GNNs, (ii) invariants characterize structural heterogeneity within and across benchmark datasets, (iii) invariants predict multi-task performance, and (iv) simple invariant-based models are competitive with, and sometimes exceed, transformer and message-passing baselines across 26 datasets. Our results suggest that expressivity is not the main driver of predictive performance, and that on tasks where structure matters, a non-trainable structural proxy often matches trained message-passing models. We thus posit that invariant baselines should become a standard for evaluating whether structure is required for a task and whether a model picks up on it, serving as a stepping stone towards graph foundation models.
- [248] arXiv:2605.06467 (cross-list from cs.LG) [pdf, ps, other]
-
Title: No Triangulation Without Representation: Generalization in Topological Deep LearningSubjects: Machine Learning (cs.LG); Algebraic Topology (math.AT)
Despite an ever-increasing interest in topological deep learning models that target higher-order datasets, there is no consensus on how to evaluate such models. This is exacerbated by the fact that topological objects permit operations, such as structural refinements, that are not appropriate for graph data. In this work, we extend MANTRA, a benchmark dataset containing manifold triangulations, to a larger class of manifolds with more diverse homeomorphism types. We show that, unlike prior claims, both graph neural networks (GNNs) and higher-order message passing (HOMP) methods can saturate the benchmark. However, we find that this is contingent on the right representation and feature assignment, emphasizing their importance in baseline models. We thus provide a novel evaluation protocol based on representational diversity and triangulation refinement. Surprisingly, we find no indication that existing models are capable of generalizing beyond the combinatorial structure of the data. This points towards a research gap in developing models that understand topological structure independent of scale. Our work thus provides the necessary scaffolding to evaluate future models and enable the development of topology-aware inductive biases.
- [249] arXiv:2605.06479 (cross-list from stat.ML) [pdf, ps, other]
-
Title: Risk-Controlled Post-Processing of Decision PoliciesSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
Predictive models are often deployed through existing decision policies that stakeholders are reluctant to change unless a risk constraint requires intervention. We study risk-controlled post-processing: given a deterministic baseline policy, choose a new policy that maximizes agreement with the baseline subject to a chance constraint on a user-specified loss. At the population level, we show that the optimal policy has a threshold structure: it follows the baseline except on contexts where switching to the oracle fallback policy yields a large reduction in conditional violation risk. At the finite-sample level, given a fitted fallback policy and score, we develop a post-processing algorithm that uses calibration data to select a threshold. Leveraging tools from algorithmic stability and stochastic processes, we show that under regularity conditions, in the i.i.d. setting, the expected excess risk of the post-processed policy is $O(\log n/n)$. In the special case when an exact-safe fallback policy is available, the algorithm achieves precise expected risk control under exchangeability. In this setting, we also give high-probability near-optimality guarantees on the post-processed policy. Experiments on a COVID-19 radiograph diagnosis task, an LLM routing problem, and a synthetic multiclass decision task show that targeted post-processing can meet or nearly meet risk budgets while preserving substantially more agreement with the baseline than score-blind random mixing.
- [250] arXiv:2605.06526 (cross-list from physics.flu-dyn) [pdf, ps, other]
-
Title: Reduced-Order Modeling of Parameterized Visco-Plastic Shallow FlowsSubjects: Fluid Dynamics (physics.flu-dyn); Numerical Analysis (math.NA)
We propose a non-intrusive reduced-order modeling framework for parametrized visco-plastic free-surface flows governed by a shallow-water formulation of Herschel--Bulkley fluids. These flows exhibit strong nonlinearities, non-smooth rheology, moving fronts, and yield surfaces, making efficient surrogate modeling particularly challenging. To address this challenge, we employ a tensor-based approach in which the solution manifold is approximated using a low-rank representation obtained via higher-order singular value decomposition of snapshot data over a structured parameter space.
The resulting tensorial reduced-order model (TROM) enables rapid online evaluation by directly reconstructing solution trajectories from the compressed representation, thereby avoiding the need to perform time integration of a reduced dynamical system. The proposed non-intrusive framework can be interpreted as an encoder--decoder architecture with a compressed latent representation and efficient multilinear decoding. Numerical experiments demonstrate that the proposed approach accurately captures key flow features, including front propagation, plug and shear regions, and near-stopping dynamics, while achieving substantial computational speedups relative to full-order simulations. - [251] arXiv:2605.06543 (cross-list from cond-mat.stat-mech) [pdf, ps, other]
-
Title: A Rayleigh criterion for mechanical instability: inducing activity by chemo-mechanical couplingComments: 36 pages, 14 figuresSubjects: Statistical Mechanics (cond-mat.stat-mech); Soft Condensed Matter (cond-mat.soft); Mathematical Physics (math-ph)
Instabilities in thermodynamic systems are often undesirable, as they can lead to loss of control or even catastrophic behavior. Yet, the same mechanisms can also generate rich nonequilibrium behavior and may play a constructive role in living systems. We introduce a theoretical framework, inspired by Rayleigh's analysis of thermoacoustic instabilities, to study the emergence of mechanical activity. In particular, we derive Rayleigh-like criteria governing the onset of activity and the generation of rotational motion in a slow Newtonian probe coupled to driven chemical processes, described by Markov jump processes. These criteria are expressed in terms of the phase relation between entropic and frenetic contributions, providing a transparent condition for when chemical driving results in sustained rotational or active mechanical motion.
- [252] arXiv:2605.06570 (cross-list from cs.LG) [pdf, ps, other]
-
Title: SNAPO: Smooth Neural Adjoint Policy Optimization for Optimal Control via Differentiable SimulationComments: 27 pages, 8 tables. Three domains: natural gas storage, pension fund ALM, pharmaceutical manufacturing. Benchmark code and trained policies available on requestSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Computational Finance (q-fin.CP); Mathematical Finance (q-fin.MF); Risk Management (q-fin.RM)
Many real-world problems require sequential decisions under uncertainty: when to inject or withdraw gas from storage, how to rebalance a pension portfolio each month, what temperature profile to run through a pharmaceutical reactor chain. Dynamic programming solves small instances exactly but scales exponentially in state dimensions. Black-box reinforcement learning handles high-dimensional states but trains slowly and produces no sensitivities. We introduce SNAPO (Smooth Neural Adjoint Policy Optimization), a framework that embeds a neural policy inside a known, differentiable simulator, replaces hard constraints with smooth approximations, and computes exact gradients of the objective with respect to all policy parameters and all inputs in a single adjoint pass. We demonstrate SNAPO on three domains: natural gas storage (training in under a minute, 365 forward curve sensitivities at no additional cost per sensitivity), pension fund asset-liability management (6.5x-200x sensitivity speedup over bump-and-revalue, scaling with the number of risk factors), and pharmaceutical manufacturing (cross-unit sensitivities through a 4-unit process chain, with 20 ICH Q8 regulatory sensitivities from 5 adjoint passes in 74.5 milliseconds). All sensitivities are produced by the same backward pass that trains the policy, at a cost proportional to one reverse pass regardless of how many sensitivities are computed.
- [253] arXiv:2605.06572 (cross-list from cs.CV) [pdf, ps, other]
-
Title: Solving Minimal Problems Without Matrix Inversion Using FFT-Based InterpolationComments: Accepted to CVPR 2026Subjects: Computer Vision and Pattern Recognition (cs.CV); Numerical Analysis (math.NA)
Estimating camera geometry typically involves solving minimal problems formulated as systems of multivariate polynomial equations, which often pose computational challenges when using existing Gr\"obner-basis or resultant-based methods due to matrix inversion needed in the online solver. Here we propose a sampling-based, matrix inversion-free method that constructs the solvers using sparse hidden-variable resultants. The determinant polynomial in the hidden variable is efficiently reconstructed via inverse fast Fourier transform interpolation from sampled evaluations, avoiding symbolic expansion. Solving this polynomial yields the hidden variable, and the remaining unknowns are recovered by identifying rank-1 deficient submatrices and applying Cramer's rule. A greatest common divisor-based criterion ensures robust submatrix identification under noise. Experiments on diverse minimal problems demonstrate that the proposed solver achieves strong numerical stability and competitive runtime, particularly for small-scale problems, providing a practical alternative to traditional Gr\"obner-basis and resultant-based solvers.
- [254] arXiv:2605.06585 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Distributionally-Robust Learning to OptimizeSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
We propose a distributionally robust approach to learning hyperparameters for first-order methods in convex optimization. Given a dataset of problem instances, we minimize a Wasserstein distributionally robust version of the performance estimation problem (PEP) over algorithm parameters such as step sizes. Our framework unifies two extremes: as the robustness radius vanishes, we recover classical learning to optimize (L2O); as it grows, we recover worst-case optimal algorithm design via PEP. We solve the resulting problem with stochastic gradient descent, differentiating through the solution of an inner semidefinite program at each step. We prove high-probability bounds showing that the true risk of the learned algorithm is at most the in-sample L2O optimum plus a slack that shrinks with the sample size, and is no worse than the worst-case PEP bound. On unconstrained quadratic minimization, LASSO, and linear programming benchmarks, our learned algorithms achieve strong out-of-sample performance with certifiable robustness, outperforming both worst-case optimal and vanilla L2O baselines.
- [255] arXiv:2605.06615 (cross-list from cs.LG) [pdf, ps, other]
-
Title: When and Why SignSGD Outperforms SGD: A Theoretical Study Based on $\ell_1$-norm Lower BoundsComments: Code is available at this https URLSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Optimization and Control (math.OC)
Sign-based optimization algorithms, such as SignSGD and Muon, have garnered significant attention for their remarkable performance in training large foundation models. Despite this empirical success, we still lack a theoretical understanding of when and why these sign-based methods outperform vanilla SGD. The core obstacle is that under standard smoothness and finite variance conditions, SGD is known to be minimax optimal for finding stationary points measured by $\ell_2$-norms, thereby fundamentally precluding any complexity gains for sign-based methods in standard settings. To overcome this barrier, we analyze sign-based optimizers leveraging $\ell_1$-norm stationarity, $\ell_\infty$-smoothness, and a separable noise model, which can better capture the coordinate-wise nature of signed updates. Under this distinct problem geometry, we derive matched upper and lower bounds for SignSGD and explicitly characterize the problem class in which SignSGD provably dominates SGD. Specifically, we compare the \emph{upper bound of SignSGD} with the \emph{lower bound of SGD}, illustrating that SignSGD effectively reduces the complexity by a factor of $d$ under \emph{sparse noise}, where $d$ is the problem dimension. Furthermore, we elevate this framework to the matrix domain, providing an equivalent optimal lower bound for the Muon optimizer, proving that extending the sign operator to matrices preserves this optimal scaling with dimensionality. Finally, we bridge our theoretical bounds to practice, demonstrating that the theoretical superiority of SignSGD accurately predicts its faster convergence during the pretraining of a 124M parameter GPT-2 model.
- [256] arXiv:2605.06616 (cross-list from cs.DM) [pdf, ps, other]
-
Title: Adjacency labelling for proper minor-closed graph classesSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
We show that every proper minor-closed class of graphs admits a $(1+o(1))\log_2 n$-bit adjacency labelling scheme. Equivalently, for every proper minor-closed class $\mathcal{G}$ and every positive integer $n$ there exists an $n^{1+o(1)}$-vertex graph $U$ such that every $n$-vertex graph in $\mathcal{G}$ is isomorphic to an induced subgraph of $U$. Both results are optimal up to the lower order term.
- [257] arXiv:2605.06654 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Optimizer-Model Consistency: Full Finetuning with the Same Optimizer as Pretraining Forgets LessSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
Optimizers play an important role in both pretraining and finetuning stages when training large language models (LLMs). In this paper, we present an observation that full finetuning with the same optimizer as in pretraining achieves a better learning-forgetting tradeoff, i.e., forgetting less while achieving the same or better performance on the new task, than other optimizers and, possibly surprisingly, LoRA, during the supervised finetuning (SFT) stage. We term this phenomenon optimizer-model consistency. To better understand it, through controlled experiments and theoretical analysis, we show that: 1) optimizers can shape the models by having regularization effects on the activations, leading to different landscapes around the pretrained checkpoints; 2) in response to this regularization effect, the weight update in SFT should follow some specific structures to lower forgetting of the knowledge learned in pretraining, which can be obtained by using the same optimizer. Moreover, we specifically compare Muon and AdamW when they are employed throughout the pretraining and SFT stages and find that Muon performs worse when finetuned for reasoning tasks. With a synthetic language modeling experiment, we demonstrate that this can come from Muon's strong tendency towards rote memorization, which may hurt pattern acquisition with a small amount of data, as for SFT.
- [258] arXiv:2605.06656 (cross-list from cs.LG) [pdf, ps, other]
-
Title: Why Global LLM Leaderboards Are Misleading: Small Portfolios for Heterogeneous Supervised MLSubjects: Machine Learning (cs.LG); Discrete Mathematics (cs.DM); Emerging Technologies (cs.ET); Optimization and Control (math.OC)
Ranking LLMs via pairwise human feedback underpins current leaderboards for open-ended tasks, such as creative writing and problem-solving. We analyze ~89K comparisons in 116 languages from 52 LLMs from Arena, and show that the best-fit global Bradley-Terry (BT) ranking is misleading. Nearly 2/3 of the decisive votes cancel out, and even the top 50 models according to the global BT ranking are statistically indistinguishable (pairwise win probabilities are at most 0.53 within the top 50 models). We trace this failure to strong, structured heterogeneity of opinions across language, task, and time. Moreover, we find an important characteristic - *language* plays a key role. Grouping by language (and families) increases the agreement of votes massively, resulting in two orders of magnitude higher spread in the ELO scores (i.e., very consistent rankings). What appears as global noise is in fact a mixture of coherent but conflicting subpopulations.
To address such heterogeneity in supervised machine learning, we introduce the framework of $(\lambda, \nu)$-portfolios, which are small sets of models that achieve a prediction error at most $\lambda$, "covering" at least a $\nu$ fraction of users. We formulate this as a variant of the set cover problem and provide guarantees using the VC dimension of the underlying set system. On the Arena data, our algorithms recover just 5 distinct BT rankings that cover over 96% of votes at a modest $\lambda$, compared to the 21% coverage by the global ranking. We also provide a portfolio of 6 LLMs that cover twice as many votes as the top-6 LLMs from a global ranking. We further construct portfolios for a classification problem on the COMPAS dataset using an ensemble of fairness-regularized classification models and show that these portfolios can be used to detect blind spots in the data, which might be of independent interest to policymakers. - [259] arXiv:2605.06661 (cross-list from cond-mat.str-el) [pdf, ps, other]
-
Title: Pro-Tensor NetworkComments: 96 pages, 21 figuresSubjects: Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Category Theory (math.CT); Quantum Algebra (math.QA)
We introduce the pro-tensor network, a categorification of the tensor network, as a fully rigorous yet graphically transparent framework for studying the collection of many many-body theories, which we dub many-many-body theory. We provide a comprehensive toolbox for the graphical calculations using pro-tensor networks. As applications, we recover the Levin-Wen model as a "uniform" pro-tensor network and generalize a result of Kitaev and Kong by characterizing particles as modules over promonads. One can also interpret the string-net pro-tensor network as the space of symmetric tensor networks, thus our framework also applies to the study of generalized symmetry and topological holography. Notably, our generalization dispenses with the assumptions of semisimplicity, finiteness, and rigidity, potentially facilitating the exploration of many-body physics beyond these constraints.
Replacements for Fri, 8 May 26
- [260] arXiv:1803.01931 (replaced) [pdf, ps, other]
-
Title: Structure and generation of crossing-critical graphsComments: 53 pages, 5 figures; v2: extended version of the paper with the same title presented at 34th International Symposium on Computational Geometry (SoCG 2018); v3: minor update of the front pageSubjects: Combinatorics (math.CO); Computational Geometry (cs.CG)
- [261] arXiv:2002.11766 (replaced) [pdf, ps, other]
-
Title: Groups acting on trees with Tits' independence property (P)Comments: With an appendix by Stephan Tornier. Article has appeared (open access) in Mathematische Annalen. This arXiv update is the Author Accepted Version; it is not the Version of Record. The Version of Record is available online at this https URLJournal-ref: Math. Ann. 395, 53 (2026)Subjects: Group Theory (math.GR)
- [262] arXiv:2007.07545 (replaced) [pdf, ps, other]
-
Title: Absence of torsion in orbit spaceAuthors: Sampat SharmaSubjects: Commutative Algebra (math.AC)
- [263] arXiv:2202.10975 (replaced) [pdf, ps, other]
-
Title: Hyperbolic Twisted Torus LinksAuthors: Thiago de PaivaComments: 19 pages, 3 figures. Revised version: minor corrections. Lemma 3.1 has been corrected; the main results are unchanged. Published in Geometriae DedicataSubjects: Geometric Topology (math.GT)
- [264] arXiv:2304.08468 (replaced) [pdf, ps, other]
-
Title: Large deviations for the 3D dimer modelComments: Final version to appear in Asterisque. Section 5 was moved to Section 7, otherwise minor changes. 156 pages, 40 figuresSubjects: Probability (math.PR); Mathematical Physics (math-ph); Combinatorics (math.CO)
- [265] arXiv:2307.08725 (replaced) [pdf, ps, other]
-
Title: Real exponential sums over primes and prime gapsAuthors: Luan Alberto FerreiraComments: 27 pages, submitted to Annals of MathematicsSubjects: Number Theory (math.NT)
- [266] arXiv:2309.04647 (replaced) [pdf, ps, other]
-
Title: On the Regularity of a Weak Formulation of Stochastic Differential Mean-Field GamesComments: 21 pagesSubjects: Optimization and Control (math.OC); Probability (math.PR)
- [267] arXiv:2310.12770 (replaced) [pdf, ps, other]
-
Title: Prismatic cohomology relative to $δ$-ringsComments: Revisions based on referee reports; to appear in Annales scientifiques de l'Ecole normale sup\'erieureSubjects: Algebraic Geometry (math.AG); K-Theory and Homology (math.KT)
- [268] arXiv:2311.17733 (replaced) [pdf, ps, other]
-
Title: Stable Invariants of Words from Random MatricesComments: 55 pages, 5 figures, main paper by Doron Puder and Yotam Shomroni, with an appendix joint with Danielle Ernst-West and Matan Seidel. We fixed an issue with Definition A.2 of the stable K-primitivity rankSubjects: Group Theory (math.GR); Geometric Topology (math.GT); Probability (math.PR); Representation Theory (math.RT)
- [269] arXiv:2312.12196 (replaced) [pdf, ps, other]
-
Title: Inverse problems for semilinear elliptic PDE with a general nonlinearity $a(x,u)$Comments: Final draftSubjects: Analysis of PDEs (math.AP)
- [270] arXiv:2312.13129 (replaced) [pdf, ps, other]
-
Title: Logarithmic prismatic cohomology, motivic sheaves, and comparison theoremsComments: 55 pages, final version. To appear in J. Reine Angew. Math. (Crelle)Subjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); K-Theory and Homology (math.KT); Number Theory (math.NT)
- [271] arXiv:2402.08106 (replaced) [pdf, ps, other]
-
Title: Mirror Descent-Ascent for mean-field min-max problemsComments: 57 pages; substantially revised version with improved presentation, re-worked main theorems, and added numerical experimentsSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Probability (math.PR)
- [272] arXiv:2403.09532 (replaced) [pdf, ps, other]
-
Title: Robust SGLD algorithm for solving non-convex distributionally robust optimisation problemsSubjects: Optimization and Control (math.OC); Probability (math.PR); Mathematical Finance (q-fin.MF)
- [273] arXiv:2404.04166 (replaced) [pdf, ps, other]
-
Title: Even-carry polynomials and cohomology of line bundles on the incidence correspondence in positive characteristicAuthors: Evan M. O'DorneyComments: 15 pages, including 4 tables. Version of record; fixes a few errors caught by the editorsJournal-ref: Experimental Mathematics, 1-14, 2025Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Number Theory (math.NT); Representation Theory (math.RT)
- [274] arXiv:2405.02921 (replaced) [pdf, ps, other]
-
Title: The Extension dimension of syzygy module categoriesSubjects: Representation Theory (math.RT)
- [275] arXiv:2405.03785 (replaced) [pdf, ps, other]
-
Title: On the Model Theory of Second-Order ObjectsComments: to be published in Annals of Pure and Applied LogicSubjects: Logic (math.LO)
- [276] arXiv:2406.20043 (replaced) [pdf, ps, other]
-
Title: Existence of Solutions to the Seiberg-Witten Vortex Equations with Exponential Decay on the PlaneComments: 35 pages, comments are welcome! Fix typos, make revisions. In particular, the previously considered Kazdan-Warner equation is no longer relevant. In its place, we study an existence result for a singular sinh-Gordon equationSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Complex Variables (math.CV); Differential Geometry (math.DG)
- [277] arXiv:2407.10497 (replaced) [pdf, ps, other]
-
Title: Curvature characterization of Hermitian manifolds with Bismut parallel torsionComments: 28 pages. This grows out of the first half of the preprint (arXiv: 2208.03071)Subjects: Differential Geometry (math.DG)
- [278] arXiv:2408.15731 (replaced) [pdf, ps, other]
-
Title: Finite element discretization of the steady, generalized Navier-Stokes equations for small shear stress exponentsComments: 22 pages, 3 tablesSubjects: Numerical Analysis (math.NA)
- [279] arXiv:2409.09842 (replaced) [pdf, ps, other]
-
Title: The search for alternating surgeriesComments: 68 pages, 7 figures, 3 tables; V2: Revisions following a referee report. To appear in the Journal of TopologySubjects: Geometric Topology (math.GT)
- [280] arXiv:2409.15641 (replaced) [pdf, ps, other]
-
Title: A minimal compact description of the diversity index polytopeComments: 31 pages, 5 FiguresSubjects: Optimization and Control (math.OC); Populations and Evolution (q-bio.PE)
- [281] arXiv:2410.13767 (replaced) [pdf, ps, other]
-
Title: Inpatient Overflow Management with Proximal Policy OptimizationComments: 57 pages, 13 figuresSubjects: Optimization and Control (math.OC)
- [282] arXiv:2410.21770 (replaced) [pdf, ps, other]
-
Title: Tensor-based empirical interpolation method and its application in model reductionSubjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)
- [283] arXiv:2411.02156 (replaced) [pdf, ps, other]
-
Title: Martin boundary of a degenerate Reflected Brownian Motion in a wedgeAuthors: Maxence PetitSubjects: Probability (math.PR)
- [284] arXiv:2411.02613 (replaced) [pdf, ps, other]
-
Title: Schatten properties of commutators on metric spacesAuthors: Tuomas HytönenComments: V3: 79 pages, minor update addressing referee comments. Accepted manuscript to appear in J. Funct. Anal. V2: 78 pages, removing Part I of V1 into a new separate paper arXiv:2508.07801. Part I of V2 corresponds to the unnumbered intro part of V1. Parts II and III are the same in both V1 and V2. Some polishing and added clarifications; main result unchangedSubjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA)
- [285] arXiv:2411.12606 (replaced) [pdf, ps, other]
-
Title: Generation of Cycle Permutation Graphs and Permutation SnarksComments: 29 pagesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
- [286] arXiv:2411.13267 (replaced) [pdf, ps, other]
-
Title: ripALM: A Relative-Type Inexact Proximal Augmented Lagrangian Method for Linearly Constrained Convex OptimizationSubjects: Optimization and Control (math.OC)
- [287] arXiv:2411.16628 (replaced) [pdf, ps, other]
-
Title: On linear response for discontinuous perturbations of smooth endomorphismsAuthors: Giovanni CanestrariComments: Comments are welcome!Journal-ref: Advances in Mathematics 497 (2026): 111008Subjects: Dynamical Systems (math.DS)
- [288] arXiv:2411.16660 (replaced) [pdf, ps, other]
-
Title: Revisiting Asymptotic-Type Dimension Bounds through Combinatorial ApproachesComments: 29 pages, updated introduction, improved some argumentsSubjects: Metric Geometry (math.MG); Combinatorics (math.CO)
- [289] arXiv:2412.02783 (replaced) [pdf, ps, other]
-
Title: Monotone representation and measurability of generalized $ψ$-estimatorsComments: 21 pagesSubjects: Statistics Theory (math.ST)
- [290] arXiv:2412.03588 (replaced) [pdf, ps, other]
-
Title: Spectral Networks: Bridging higher-rank Teichmüller theory and BPS statesAuthors: Clarence Kineider, Georgios Kydonakis, Eugen Rogozinnikov, Valdo Tatitscheff, Alexander ThomasComments: 514 pages, 143 figures; v3: final versionJournal-ref: Lecture Notes in Mathematics, vol. 2386, ed. Springer Cham (2026)Subjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Differential Geometry (math.DG); Geometric Topology (math.GT)
- [291] arXiv:2412.06498 (replaced) [pdf, ps, other]
-
Title: Maximal discs of Weil-Petersson class in $\mathbb{A}\mathrm{d}\mathbb{S}^{2,1}$Authors: Jinsung ParkComments: 31 pagesSubjects: Symplectic Geometry (math.SG); Mathematical Physics (math-ph); Differential Geometry (math.DG); Geometric Topology (math.GT)
- [292] arXiv:2412.14817 (replaced) [pdf, ps, other]
-
Title: Corrosion detection by identification of a nonlinear Robin boundary conditionAuthors: David JohanssonComments: Final draftSubjects: Analysis of PDEs (math.AP)
- [293] arXiv:2501.13221 (replaced) [pdf, ps, other]
-
Title: Gamma conjecture I for flag varietiesAuthors: Chi Hong ChowSubjects: Algebraic Geometry (math.AG); Mathematical Physics (math-ph); Representation Theory (math.RT)
- [294] arXiv:2502.06618 (replaced) [pdf, ps, other]
-
Title: On the Reliability of Information Retrieval From MDS Coded Data in DNA StorageAuthors: Serge Kas HannaComments: Accepted for publication in IEEE TMBMCSubjects: Information Theory (cs.IT); Emerging Technologies (cs.ET)
- [295] arXiv:2502.18557 (replaced) [pdf, ps, other]
-
Title: V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric basesAuthors: Rory B. B. Lucyshyn-WrightSubjects: Category Theory (math.CT)
- [296] arXiv:2503.00001 (replaced) [pdf, ps, other]
-
Title: A classification of restrictive polynomial correspondencesComments: 15 pages, Revisions done based on comments from the reviewerJournal-ref: Filomat 40:9 (2026), 3153 to 3168Subjects: General Mathematics (math.GM)
- [297] arXiv:2503.01563 (replaced) [pdf, ps, other]
-
Title: On Coupling Constraints in Pessimistic Linear Bilevel OptimizationSubjects: Optimization and Control (math.OC)
- [298] arXiv:2503.05690 (replaced) [pdf, ps, other]
-
Title: Epstein curves and holography of the Schwarzian actionComments: Updated abstract and introduction, added discussion in Section 1.4. 51 pages, 13 figuresSubjects: Mathematical Physics (math-ph); Complex Variables (math.CV); Differential Geometry (math.DG); Probability (math.PR)
- [299] arXiv:2503.15673 (replaced) [src]
-
Title: Numerical Analysis and Dimension Splitting for A Semi-Lagrangian Discontinuous Finite Element Scheme Based on the Characteristic Galerkin MethodAuthors: Zhengrong XieComments: Due to academic misconduct caused by multiple submissions, this manuscript is hereby withdrawnSubjects: Numerical Analysis (math.NA)
- [300] arXiv:2503.20604 (replaced) [pdf, ps, other]
-
Title: Tilting objects in the extended heart of a $t$-structureSubjects: Representation Theory (math.RT)
- [301] arXiv:2504.02135 (replaced) [pdf, ps, other]
-
Title: Asymptotics of the Hausdorff measure for the Gauss map and its linearized analogueSubjects: Dynamical Systems (math.DS)
- [302] arXiv:2504.11978 (replaced) [pdf, ps, other]
-
Title: On the Intersection and Composition properties of conditional independenceAuthors: Tobias BoegeComments: 21 pages; v3: minor revision and clarificationsSubjects: Information Theory (cs.IT); Statistics Theory (math.ST)
- [303] arXiv:2504.12095 (replaced) [pdf, ps, other]
-
Title: The Gray graph is pseudo 2-factor isomorphicComments: 15 pagesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
- [304] arXiv:2504.12693 (replaced) [pdf, ps, other]
-
Title: Counting degree-constrained orientationsComments: 9 pages. Fixed minor typosSubjects: Combinatorics (math.CO)
- [305] arXiv:2504.14080 (replaced) [pdf, ps, other]
-
Title: On minimal shapes and isoperimetric constants in hyperbolic latticesComments: 21 pages, 21 figuresSubjects: Combinatorics (math.CO); Algebraic Topology (math.AT); Group Theory (math.GR); Number Theory (math.NT); Probability (math.PR)
- [306] arXiv:2504.15000 (replaced) [pdf, ps, other]
-
Title: Quasilinear problems with mixed local-nonlocal operator and concave-critical nonlinearities: Multiplicity of positive solutionsJournal-ref: Discrete and Continuous Dynamical Systems, 2026Subjects: Analysis of PDEs (math.AP)
- [307] arXiv:2505.04289 (replaced) [pdf, ps, other]
-
Title: Micro-macro population dynamics models of benthic algae with long-memory decay and generic growthComments: Updated on May 7, 2026Subjects: Probability (math.PR)
- [308] arXiv:2505.05278 (replaced) [pdf, ps, other]
-
Title: Inverse problems for semilinear elliptic equations with low regularityComments: Final draftSubjects: Analysis of PDEs (math.AP)
- [309] arXiv:2505.05770 (replaced) [pdf, ps, other]
-
Title: On the structure of complex spectra and eigenfunctions of transfer and Koopman operatorsComments: 33 pages, 6 figuresSubjects: Dynamical Systems (math.DS); Probability (math.PR)
- [310] arXiv:2505.08125 (replaced) [pdf, ps, other]
-
Title: Sharp Gaussian approximations for Decentralized Federated LearningComments: Accepted as Spotlight, NeurIPS'25, Main Conference TrackSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
- [311] arXiv:2505.15064 (replaced) [pdf, ps, other]
-
Title: Why and When Deep is Better than Shallow: Implementation-Agnostic State-Transition Model of Deep LearningSubjects: Machine Learning (cs.LG); Dynamical Systems (math.DS); Machine Learning (stat.ML)
- [312] arXiv:2505.18879 (replaced) [pdf, ps, other]
-
Title: Efficient Online Random Sampling via Randomness RecyclingJournal-ref: Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 2473-2511. Society for Industrial and Applied Mathematics, 2026Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Information Theory (cs.IT); Probability (math.PR); Computation (stat.CO)
- [313] arXiv:2505.20628 (replaced) [pdf, ps, other]
-
Title: Position: Adopt Constraints Over Fixed Penalties in Deep LearningComments: Code available at this https URLSubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
- [314] arXiv:2505.22640 (replaced) [pdf, ps, other]
-
Title: Homology of higher categoriesAuthors: Hadrian HeineComments: Second part of arXiv:2505.22640, which got splittedSubjects: Algebraic Topology (math.AT); Category Theory (math.CT); K-Theory and Homology (math.KT)
- [315] arXiv:2505.23974 (replaced) [pdf, ps, other]
-
Title: Representation of Symmetric Shift RegistersAuthors: Jan SørengSubjects: Combinatorics (math.CO); Information Theory (cs.IT)
- [316] arXiv:2506.01155 (replaced) [pdf, ps, other]
-
Title: On the rank of a random symmetric matrix in the large deviation regimeAuthors: Yi HanComments: 49 pages. To appear in JLMSSubjects: Probability (math.PR)
- [317] arXiv:2506.09166 (replaced) [pdf, ps, other]
-
Title: Necessary and sufficient conditions for $\A^1$-contractibility of Koras-Russell type varietiesAuthors: Parnashree GhoshComments: The main result in the previous version is contained in this extended version as a corollarySubjects: Commutative Algebra (math.AC)
- [318] arXiv:2506.13950 (replaced) [pdf, ps, other]
-
Title: Invariant Manifolds of Discrete-time Dynamical Systems with Nonlinear Exosystems via Hybrid Physics-Informed Neural NetworksAuthors: Dimitrios G. Patsatzis, Nikolaos Kazantzis, Ioannis G. Kevrekidis, Lucia Russo, Constantinos SiettosComments: 33 pages (29 pages of main text and Appendix, 4 of Supplement), 7 Figures (5 in the main text and Appendix and 2 in the Supplement)Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG); Dynamical Systems (math.DS)
- [319] arXiv:2507.05774 (replaced) [pdf, ps, other]
-
Title: A nonsmooth extension of the Brezzi-Rappaz-Raviart approximation theorem via metric regularity techniques and applications to nonlinear PDEsSubjects: Numerical Analysis (math.NA)
- [320] arXiv:2507.11350 (replaced) [pdf, ps, other]
-
Title: Robustness Measures in Distributionally Robust OptimizationSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
- [321] arXiv:2507.12068 (replaced) [src]
-
Title: Analyzing the Geometry of Immersions of Co-Dimension One via Shape Operator DynamicsAuthors: Mohammad Javad Habibi Vosta KolaeiComments: The definition of the biharmonic tension field is not working in this case. Also I have been known by my colleagues that the introduced flow is not well-studied enough to being used. By all above, I have decided to withdrawn this manuscript and reconsider the issue to avoid any further misunderstandingSubjects: Differential Geometry (math.DG)
- [322] arXiv:2507.17714 (replaced) [pdf, ps, other]
-
Title: Plateau's Problem for intrinsic graphs in the Heisenberg GroupSubjects: Classical Analysis and ODEs (math.CA); Differential Geometry (math.DG)
- [323] arXiv:2507.21601 (replaced) [pdf, ps, other]
-
Title: Foundations of Relational Quantum Field Theory I: ScalarsComments: 61 pages, 3 figure, 3 appendix sectionsSubjects: Quantum Physics (quant-ph); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
- [324] arXiv:2507.23672 (replaced) [pdf, ps, other]
-
Title: Teleparallel gravity from the principal bundle viewpointComments: v2: revised version with several changes; conclusions unchanged. Accepted for JHEPSubjects: General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
- [325] arXiv:2508.02941 (replaced) [pdf, ps, other]
-
Title: Tropical cluster varieties of type CAuthors: Igor MakhlinSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO)
- [326] arXiv:2508.06233 (replaced) [pdf, ps, other]
-
Title: Mostly nonuniformly sectional expanding systemsComments: 34 pages, 8 figures, constructed several new examples from submission arXiv:2511.18986Subjects: Dynamical Systems (math.DS)
- [327] arXiv:2508.08716 (replaced) [pdf, ps, other]
-
Title: Trudinger's Parabolic EquationSubjects: Analysis of PDEs (math.AP)
- [328] arXiv:2508.11130 (replaced) [pdf, ps, other]
-
Title: Sampling Tree-Weighted Partitions Without Sampling TreesSubjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
- [329] arXiv:2508.12876 (replaced) [pdf, ps, other]
-
Title: Comparison of random field discretizations for high-resolution Bayesian parameter identification in finite element elasticityComments: 26 pages, 14 figuresSubjects: Numerical Analysis (math.NA)
- [330] arXiv:2508.14804 (replaced) [pdf, ps, other]
-
Title: Learning from user's behaviour of some well-known congested traffic networksComments: 30 pages, 8 figures, 7 tablesSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
- [331] arXiv:2509.00525 (replaced) [pdf, ps, other]
-
Title: A Lifting principle of curves under exponential-type mapsComments: This version significantly improves and simplifies the previous oneSubjects: Differential Geometry (math.DG)
- [332] arXiv:2509.01140 (replaced) [pdf, ps, other]
-
Title: Tree decompositions with small width, spread, order and degreeAuthors: David R. WoodComments: v2: Fixed typos, expanded introduction, added appendix describing follow-up work. v3: Removed Section 6 from previous version, which had an errorSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
- [333] arXiv:2509.02177 (replaced) [pdf, ps, other]
-
Title: The ring of $ω$-invariant symmetric functions in characteristic 2Authors: Sebastian ØrstedComments: 18 pages; added an extra chapter about the $\omega$-invariants in the $\mathbb{F}_2$-cohomology of the finite GrassmannianSubjects: Commutative Algebra (math.AC)
- [334] arXiv:2509.03998 (replaced) [pdf, ps, other]
-
Title: Integral Diophantine approximation on varietiesComments: 33 pages, 2 figures, to appear in Algebr. GeomSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
- [335] arXiv:2509.04112 (replaced) [pdf, ps, other]
-
Title: Synthetic Counterfactual Labels for Efficient Conformal Counterfactual InferenceSubjects: Machine Learning (cs.LG); Information Theory (cs.IT)
- [336] arXiv:2509.04540 (replaced) [pdf, ps, other]
-
Title: A Trace-Path Integral Formula over Function FieldsAuthors: Yan Yau ChengComments: 32 pages. Revised version with extra section for examples of the Trace-Path Integral formula in the case of an elliptic curveSubjects: Number Theory (math.NT); Mathematical Physics (math-ph)
- [337] arXiv:2509.18991 (replaced) [src]
-
Title: A Solovay-like model at $\aleph_ω$Comments: There is a flaw in Claim 3.6.2 (page 17, line 12). We say that if two well-orders have the same order type, then they are identical, which is false. This was used to ensure that the posets Q and R in that claim coincideSubjects: Logic (math.LO)
- [338] arXiv:2509.24433 (replaced) [pdf, ps, other]
-
Title: Energy-Efficient Movable Antennas: Mechanical Power Modeling and Performance OptimizationSubjects: Information Theory (cs.IT); Signal Processing (eess.SP)
- [339] arXiv:2510.03033 (replaced) [pdf, ps, other]
-
Title: Non-degenerate mixed maps and contact structuresComments: We reformulate new conditions on the existence of contact structures on mixed links (Theorem 3.9) and exclude the discussion on partial non-degeneracySubjects: Algebraic Geometry (math.AG); Symplectic Geometry (math.SG)
- [340] arXiv:2510.03949 (replaced) [pdf, ps, other]
-
Title: Analysis of kinetic Langevin Monte Carlo under the stochastic exponential Euler discretization from underdamped all the way to overdampedComments: v3: fixed typosSubjects: Computation (stat.CO); Numerical Analysis (math.NA); Probability (math.PR); Machine Learning (stat.ML)
- [341] arXiv:2510.04283 (replaced) [pdf, ps, other]
-
Title: Long-time behaviour of sphalerons in $φ^4$ models with a false vacuumComments: 33 pages, 24 figures; more discussion in Introduction; more motivation of analytical ansatz; discussion of how features of the analytical solution depend on the model parameter; expanded ConclusionsSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Pattern Formation and Solitons (nlin.PS)
- [342] arXiv:2510.07469 (replaced) [pdf, ps, other]
-
Title: Representation theory of mirabolic quantum $\mathfrak{sl}_n$Subjects: Representation Theory (math.RT); Quantum Algebra (math.QA); Rings and Algebras (math.RA)
- [343] arXiv:2510.08539 (replaced) [pdf, ps, other]
- [344] arXiv:2510.11486 (replaced) [pdf, ps, other]
-
Title: 2-Factors in GraphsComments: 2nd version: 17 pages, 1 figure, incorporates comments and suggestions of reviewersSubjects: Combinatorics (math.CO)
- [345] arXiv:2510.12576 (replaced) [pdf, ps, other]
-
Title: Turán density of stars in uniformly dense hypergraphsComments: 20 pagesSubjects: Combinatorics (math.CO)
- [346] arXiv:2510.23254 (replaced) [pdf, ps, other]
-
Title: Optimal In-context Adaptivity and Distributional Robustness of TransformersComments: 47 pages, 4 figuresSubjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
- [347] arXiv:2510.25781 (replaced) [pdf, ps, other]
-
Title: A Practitioner's Guide to Kolmogorov-Arnold NetworksSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Numerical Analysis (math.NA)
- [348] arXiv:2510.27528 (replaced) [pdf, ps, other]
-
Title: Risk-aware stochastic scheduling of multi-market energy storage systemsAuthors: Gabriel D. Patrón, Di Zhang, Lavinia M.P. Ghilardi, Evelin Blom, Maldon Goodridge, Erik Solis, Hamidreza Jahangir, Jorge Angarita, Nandhini Ganesan, Kevin West, Nilay Shah, Calvin TsayComments: 49 pages, 11 figures, 7 tablesSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Risk Management (q-fin.RM)
- [349] arXiv:2510.27687 (replaced) [pdf, ps, other]
-
Title: Quantum waste management: Utilizing residual states in quantum information processingComments: Removed typos, corrected small errors, and improved explanationSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
- [350] arXiv:2511.01630 (replaced) [pdf, ps, other]
-
Title: 2D or not 2D: a "holographic dictionary" for Lowest Landau LevelsComments: 56 pages (28 pages of text, rest appendices and references); 25 figures. (v2) references added; comments about LLM geometries, fuzzy spheres and interacting fermions added in the concluding sectionSubjects: High Energy Physics - Theory (hep-th); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
- [351] arXiv:2511.02224 (replaced) [pdf, ps, other]
-
Title: Computational Hardness of Static Distributionally Robust Markov Decision ProcessesAuthors: Yan LiSubjects: Optimization and Control (math.OC)
- [352] arXiv:2511.04430 (replaced) [pdf, ps, other]
-
Title: Symmetry-enriched topological order and quasifractonic behavior in $\mathbb{Z}_N$ stabilizer codesComments: 22 pages, 7 figures, 1 table. PRB Editors' Suggestions. v2: published versionJournal-ref: Phys. Rev. B 113, 205110 (2026)Subjects: Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph); Quantum Physics (quant-ph)
- [353] arXiv:2511.06454 (replaced) [pdf, ps, other]
-
Title: Feature weighting for data analysis via evolutionary simulationSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
- [354] arXiv:2511.06856 (replaced) [pdf, ps, other]
-
Title: Contact Wasserstein Geodesics for Non-Conservative Schrödinger BridgesComments: 44 pages, 21 figures, ICLR 2026Subjects: Machine Learning (cs.LG); Differential Geometry (math.DG)
- [355] arXiv:2511.08416 (replaced) [pdf, ps, other]
-
Title: Generative AI Meets 6G and Beyond: Diffusion Models for Semantic CommunicationsAuthors: Hai-Long Qin, Jincheng Dai, Guo Lu, Shuo Shao, Sixian Wang, Tongda Xu, Wenjun Zhang, Ping Zhang, Khaled B. LetaiefSubjects: Signal Processing (eess.SP); Information Theory (cs.IT); Machine Learning (cs.LG); Multimedia (cs.MM)
- [356] arXiv:2511.13664 (replaced) [pdf, ps, other]
-
Title: Rate-optimal and computationally efficient nonparametric estimation on the circle and the sphereSubjects: Statistics Theory (math.ST); Applications (stat.AP)
- [357] arXiv:2511.16802 (replaced) [pdf, ps, other]
-
Title: A model for mosquito-borne epidemic outbreaks with information-dependent protective behaviourComments: 54 pages, 15 figuresSubjects: Populations and Evolution (q-bio.PE); Dynamical Systems (math.DS)
- [358] arXiv:2511.19981 (replaced) [pdf, ps, other]
-
Title: On the Fundamental Limit of the Stochastic Gradient Identification Algorithm Under Non-Persistent ExcitationSubjects: Optimization and Control (math.OC)
- [359] arXiv:2511.20350 (replaced) [pdf, ps, other]
-
Title: Dimension Polynomials for Affine Partial Difference Algebraic GroupsAuthors: Orla McGrathComments: 38 pages, to appear in IMRNSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
- [360] arXiv:2511.22882 (replaced) [src]
-
Title: Covering-Space Normalizing Flows: Approximating Pushforwards on Lens SpacesAuthors: William GhanemComments: Errors in textSubjects: Machine Learning (cs.LG); Probability (math.PR)
- [361] arXiv:2511.23022 (replaced) [pdf, ps, other]
-
Title: Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown SystemsSubjects: Systems and Control (eess.SY); Robotics (cs.RO); Optimization and Control (math.OC)
- [362] arXiv:2512.01746 (replaced) [pdf, ps, other]
-
Title: Towards a complete description of multiple D$p$-brane systems: Multiple D$0$ StoryAuthors: Unai D.M. SarragaComments: PhD ThesisSubjects: High Energy Physics - Theory (hep-th); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
- [363] arXiv:2512.08399 (replaced) [pdf, ps, other]
-
Title: The Jordan canonical form of the Fréchet derivative of a matrix function and the bivariate Jordan problemAuthors: Vanni NoferiniSubjects: Rings and Algebras (math.RA)
- [364] arXiv:2512.10843 (replaced) [pdf, ps, other]
-
Title: Analyticity and positivity of Green's functions without LorentzComments: 64 pages, 5 figuresSubjects: High Energy Physics - Theory (hep-th); Statistical Mechanics (cond-mat.stat-mech); Complex Variables (math.CV)
- [365] arXiv:2512.13839 (replaced) [pdf, ps, other]
-
Title: A Möbius function on the centralizer latticeSubjects: Group Theory (math.GR)
- [366] arXiv:2512.16330 (replaced) [pdf, ps, other]
-
Title: Terminal Absoluteness of Collapse ForcingsAuthors: Cesare StraffeliniComments: 12 pages; major corrections and improvements in v2, but still a work in progressSubjects: Logic (math.LO)
- [367] arXiv:2512.21606 (replaced) [pdf, ps, other]
-
Title: Shell formulas for instantons and gauge origamiAuthors: Jiaqun JiangSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
- [368] arXiv:2512.21750 (replaced) [pdf, ps, other]
- [369] arXiv:2601.02052 (replaced) [pdf, ps, other]
-
Title: A series of real networks invariantsAuthors: Mikhail TuzhilinSubjects: Social and Information Networks (cs.SI); Combinatorics (math.CO)
- [370] arXiv:2601.10175 (replaced) [pdf, ps, other]
-
Title: A Low-Complexity Framework for Multi-access Coded Caching Systems with Arbitrary User-cache Access TopologySubjects: Information Theory (cs.IT)
- [371] arXiv:2601.10915 (replaced) [pdf, ps, other]
-
Title: A PAC-Bayesian Analysis of Channel-Induced Degradation in Edge InferenceSubjects: Information Theory (cs.IT); Machine Learning (cs.LG)
- [372] arXiv:2601.11364 (replaced) [pdf, ps, other]
-
Title: Stability of global wave front sets by perturbations of framesSubjects: Functional Analysis (math.FA)
- [373] arXiv:2601.12764 (replaced) [pdf, ps, other]
-
Title: Relativistic Hamiltonian as an emergent structure from information geometryAuthors: Sikarin Yoo-KongComments: 9 pages, 2 figuresSubjects: Mathematical Physics (math-ph); Information Theory (cs.IT); Classical Physics (physics.class-ph)
- [374] arXiv:2601.14419 (replaced) [pdf, ps, other]
-
Title: Weyl elements in isotropic reductive groupsAuthors: Egor VoronetskyComments: Minor fixesSubjects: Representation Theory (math.RT); Group Theory (math.GR)
- [375] arXiv:2601.19633 (replaced) [pdf, ps, other]
-
Title: Computing the density of the Kesten-Stigum limit in supercritical Galton-Watson processesSubjects: Probability (math.PR); Numerical Analysis (math.NA)
- [376] arXiv:2601.19733 (replaced) [pdf, ps, other]
-
Title: On the asymptotic behavior of the Repulsive Pressureless Euler-Poisson SystemAuthors: Nicholas Biglin, Joseph Crachiola, Jack Curtis, Thomas Kunz, Omkar Maralappanavar, Adrian TudorascuComments: 48 pages, 6 figures; To appear in Discrete and Continuous Dynamical Systems Series B; Version 2 features minor corrections adding heuristic remarks, fixing wording and typos, adding clarification, etcSubjects: Analysis of PDEs (math.AP)
- [377] arXiv:2601.21623 (replaced) [pdf, ps, other]
-
Title: LAMP: Look-Ahead Mixed-Precision Inference of Large Language ModelsAuthors: Stanislav Budzinskiy, Marian Gloser, Tolunay Yilmaz, Ying Hong Tham, Yuanyi Lin, Wenyi Fang, Fan Wu, Philipp PetersenComments: Major revisionSubjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)
- [378] arXiv:2602.00581 (replaced) [pdf, ps, other]
-
Title: Gaffney's Inequality and the Closed Range Property of the De Rham Complex in Unbounded DomainsComments: 29 pages, 2 figuresSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
- [379] arXiv:2602.01150 (replaced) [pdf, ps, other]
-
Title: SMI: Statistical Membership Inference for Reliable Unlearned Model AuditingAuthors: Jialong Sun, Zeming Wei, Jiaxuan Zou, Jiacheng Gong, Jie Fu, Chengyang Dong, Heng Xu, Jialong Li, Bo LiuSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Computer Vision and Pattern Recognition (cs.CV); Optimization and Control (math.OC)
- [380] arXiv:2602.08669 (replaced) [pdf, ps, other]
-
Title: Reliable one-bit quantization of bandlimited graph data via single-shot noise shapingSubjects: Information Theory (cs.IT)
- [381] arXiv:2602.08769 (replaced) [pdf, ps, other]
-
Title: The Unseen Species Problem RevisitedAuthors: Edward ErikssonSubjects: Statistics Theory (math.ST)
- [382] arXiv:2602.12212 (replaced) [pdf, ps, other]
-
Title: Quantum-Coherent Thermodynamics: Leaf Typicality via Minimum-Variance FoliationAuthors: Maurizio FagottiComments: 6+8 pages, 2+6 figuresSubjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
- [383] arXiv:2602.14215 (replaced) [pdf, ps, other]
-
Title: Classification of abelian Schur groups IAuthors: Grigory RyabovComments: 40 pagesSubjects: Group Theory (math.GR); Combinatorics (math.CO)
- [384] arXiv:2602.14481 (replaced) [pdf, ps, other]
-
Title: On the Rate-Distortion-Complexity Tradeoff for Semantic CommunicationComments: Accepted at IEEE Internet of Things JournalSubjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI)
- [385] arXiv:2602.16419 (replaced) [pdf, ps, other]
-
Title: Relative uniform convergence and Archimedean property in pre-ordered vector spacesAuthors: Eduard EmelyanovSubjects: Functional Analysis (math.FA)
- [386] arXiv:2602.16924 (replaced) [pdf, ps, other]
-
Title: Overdamped limits for Langevin dynamics with position-dependent coefficients via $L^2$-hypocoercivityAuthors: Noé BlasselComments: 28 pages, 1 figureSubjects: Probability (math.PR); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
- [387] arXiv:2603.06528 (replaced) [pdf, ps, other]
-
Title: Circle packing and Riemann uniformization of random planar maps in an ergodic scale-free environmentComments: 55 pages, 9 figures; Extended from triangulations to general planar maps and removed almost planarity condition from the previous versionSubjects: Probability (math.PR); Complex Variables (math.CV)
- [388] arXiv:2603.08570 (replaced) [pdf, ps, other]
-
Title: Right-tail asymptotics for products of independent normal random variablesSubjects: Probability (math.PR)
- [389] arXiv:2603.09459 (replaced) [pdf, ps, other]
-
Title: Nonlinear Lebesgue spaces: Curves and geometryAuthors: Guillaume Sérieys (MAP5 - UMR 8145)Subjects: Differential Geometry (math.DG); Functional Analysis (math.FA); Metric Geometry (math.MG)
- [390] arXiv:2603.11046 (replaced) [pdf, ps, other]
-
Title: On Utility Maximization under Multivariate Fake Stationary Affine Volterra ModelsAuthors: Emmanuel GnabeyeuComments: 40 pages, 5 figuresSubjects: Optimization and Control (math.OC); Probability (math.PR); Computational Finance (q-fin.CP)
- [391] arXiv:2603.11196 (replaced) [pdf, ps, other]
-
Title: Primitive-Root Ratio over Prime Fields: A Shifted-Prime Distribution of Hausdorff Dimension Zero and Implications for PRIM-LWEAuthors: Vipin Singh SehrawatSubjects: Cryptography and Security (cs.CR); Number Theory (math.NT)
- [392] arXiv:2603.13085 (replaced) [pdf, ps, other]
-
Title: Linearized Attention Cannot Enter the Kernel Regime at Any Practical WidthSubjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Numerical Analysis (math.NA); Machine Learning (stat.ML)
- [393] arXiv:2603.14926 (replaced) [pdf, ps, other]
-
Title: Acceleration of multi-component multiple-precision arithmetic with branch-free algorithms and SIMD vectorizationAuthors: Tomonori KouyaSubjects: Mathematical Software (cs.MS); Numerical Analysis (math.NA)
- [394] arXiv:2603.15626 (replaced) [pdf, ps, other]
-
Title: The Bohlin variant of the Eisenhart liftAuthors: Anton GalajinskyComments: v2: 13 pages, minor improvements, the version to appear in J. Geom. PhysSubjects: Exactly Solvable and Integrable Systems (nlin.SI); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)
- [395] arXiv:2603.16541 (replaced) [pdf, ps, other]
-
Title: Liouville theorem on p-biharmonic map from gradient Ricci solitonAuthors: Xiangzhi CaoSubjects: Differential Geometry (math.DG); Analysis of PDEs (math.AP)
- [396] arXiv:2603.18080 (replaced) [pdf, ps, other]
-
Title: Growing Alphabets in Canonical Shuffle Experiments: Likelihood-Ratio Laws, Estimation Bounds, and Low-Budget Equivariant DesignAuthors: Alex ShvetsComments: 45 pages, no figuresSubjects: Information Theory (cs.IT)
- [397] arXiv:2603.22155 (replaced) [pdf, ps, other]
-
Title: RAMPAGE: RAndomized Mid-Point for debiAsed Gradient ExtrapolationComments: First three authors contributed equallySubjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
- [398] arXiv:2603.23055 (replaced) [pdf, ps, other]
-
Title: Post-Selection Distributional Model EvaluationSubjects: Machine Learning (stat.ML); Information Theory (cs.IT); Machine Learning (cs.LG)
- [399] arXiv:2603.24395 (replaced) [pdf, ps, other]
-
Title: Particle-Hole Pair Localization on the Fermi Surface and its Impact on the Correlation EnergyAuthors: Niels BenedikterComments: v3: improved presentation & typos fixed; 30 pages; contribution to the Proceedings of the Intensive Period Quantum Mathematics @ Polimi 2025 organized by D. Fermi, M. Moscolari, and A. OlgiatiSubjects: Mathematical Physics (math-ph)
- [400] arXiv:2603.24880 (replaced) [pdf, ps, other]
-
Title: The Four Color Theorem with Linearly Many Reducible Configurations and Near-Linear Time ColoringAuthors: Yuta Inoue, Ken-ichi Kawarabayashi, Atsuyuki Miyashita, Bojan Mohar, Carsten Thomassen, Mikkel ThorupComments: Source files are available at Github: this https URLSubjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
- [401] arXiv:2603.27701 (replaced) [pdf, ps, other]
-
Title: On principal eigenpairs for the (p,q)-Laplacian in exterior domainSubjects: Analysis of PDEs (math.AP)
- [402] arXiv:2603.29714 (replaced) [pdf, ps, other]
-
Title: Toward the theory on local cohomologies at the ideals given by simplicial posetsComments: 20 pages. Abstract and Introduction revisedSubjects: Commutative Algebra (math.AC)
- [403] arXiv:2603.29998 (replaced) [pdf, ps, other]
-
Title: Some geometric series for Euler's constantAuthors: Jean-François BurnolComments: 18 pages, 2 figures. v2 substantially extends v1 with a study of the asymptotics of the e_m'sSubjects: Number Theory (math.NT); Combinatorics (math.CO)
- [404] arXiv:2604.02086 (replaced) [pdf, ps, other]
-
Title: On Ramsey number of $K_{2,n}$ versus even cyclesComments: 17 Pages, 3 FiguresSubjects: Combinatorics (math.CO)
- [405] arXiv:2604.02569 (replaced) [pdf, ps, other]
-
Title: RFOX (Rotated-Field Oscillatory eXchange) quantum algorithm: Towards Parameter-Free Quantum OptimizersComments: 20 pages, 14 figuresSubjects: Quantum Physics (quant-ph); Optimization and Control (math.OC)
- [406] arXiv:2604.04162 (replaced) [pdf, ps, other]
-
Title: Laplace measure transitions and ghosts for meromorphic functionsComments: 24 pages, 4 figuresSubjects: Complex Variables (math.CV)
- [407] arXiv:2604.05241 (replaced) [pdf, ps, other]
-
Title: Information Geometry and Asymptotic Theory for SMML EstimatorsSubjects: Statistics Theory (math.ST)
- [408] arXiv:2604.06166 (replaced) [pdf, ps, other]
-
Title: The Galois Alperin weight conjecture for finite category algebrasAuthors: Xin HuangSubjects: Representation Theory (math.RT); Group Theory (math.GR)
- [409] arXiv:2604.08127 (replaced) [pdf, ps, other]
-
Title: Asymptotics of Brownian occupation measures with unusually large intersectionsAuthors: Jiyun ParkComments: 32 pages, minor changesSubjects: Probability (math.PR)
- [410] arXiv:2604.09471 (replaced) [pdf, ps, other]
-
Title: Fundamental fields in the deformed $W$-algebrasAuthors: Hicham AssakafComments: 60 pagesSubjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Representation Theory (math.RT)
- [411] arXiv:2604.10472 (replaced) [pdf, ps, other]
-
Title: On the volume conjecture of the colored Jones invariants with arbitrary colorsAuthors: Shinichiro KakutaComments: 20 pages, 3 figuresSubjects: Geometric Topology (math.GT)
- [412] arXiv:2604.11059 (replaced) [pdf, ps, other]
-
Title: Automorphism-Induced Entanglement Bounds in Many-Body SystemsAuthors: Saikat SurComments: 22 pagesSubjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph)
- [413] arXiv:2604.12423 (replaced) [pdf, ps, other]
-
Title: Norm inflation and low-regularity ill-posedness for the rod equationSubjects: Analysis of PDEs (math.AP)
- [414] arXiv:2604.20568 (replaced) [pdf, ps, other]
-
Title: Amortized Vine Copulas for High-Dimensional Density and Information EstimationAuthors: Houman SafaaiSubjects: Machine Learning (cs.LG); Information Theory (cs.IT); Methodology (stat.ME)
- [415] arXiv:2604.21834 (replaced) [pdf, ps, other]
-
Title: Anti-Ramsey numbers for cancellative configurations in p-graphsSubjects: Combinatorics (math.CO)
- [416] arXiv:2604.22158 (replaced) [pdf, ps, other]
-
Title: Rate-Optimal Regret for the Safe Learning-based Control of the Constrained Linear Quadratic RegulatorSubjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
- [417] arXiv:2604.23889 (replaced) [pdf, ps, other]
-
Title: Learning to Control Stabilization in Column GenerationSubjects: Optimization and Control (math.OC)
- [418] arXiv:2604.24128 (replaced) [pdf, ps, other]
-
Title: Dimension of the motivic Galois group of a 1-motiveAuthors: Cristiana BertolinSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
- [419] arXiv:2604.24593 (replaced) [pdf, ps, other]
-
Title: Classification of SNC-algebras in dimension fiveAuthors: Haruka SugaiComments: 32 pagesSubjects: Differential Geometry (math.DG)
- [420] arXiv:2604.25565 (replaced) [pdf, ps, other]
-
Title: CBARA: Covariate-Balanced-and-Adjusted Response-Adaptive RandomizationSubjects: Methodology (stat.ME); Statistics Theory (math.ST)
- [421] arXiv:2604.25686 (replaced) [pdf, ps, other]
-
Title: Some results on Krylov solvability in Banach space and connections to spectral theoryAuthors: Noe Angelo CarusoSubjects: Functional Analysis (math.FA); Numerical Analysis (math.NA); Spectral Theory (math.SP)
- [422] arXiv:2604.25703 (replaced) [pdf, ps, other]
-
Title: Long-time asymptotics of the Newell equation on the lineSubjects: Mathematical Physics (math-ph)
- [423] arXiv:2604.26101 (replaced) [pdf, ps, other]
-
Title: Counterexamples to an Extremal Conjecture for Random Cycle-FactorsAuthors: Rishikesh GajjalaComments: 12 pagesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Probability (math.PR)
- [424] arXiv:2604.26696 (replaced) [pdf, ps, other]
-
Title: Scalar-flat Kähler surfaces whose Weyl tensor annihilates the Ricci formComments: A minor style correctionSubjects: Differential Geometry (math.DG)
- [425] arXiv:2604.26808 (replaced) [pdf, ps, other]
-
Title: MISES: Minimal Information Sufficiency for Effective ServiceAuthors: Joss ArmstrongSubjects: Computer Science and Game Theory (cs.GT); Information Theory (cs.IT)
- [426] arXiv:2604.26852 (replaced) [pdf, ps, other]
-
Title: Largest eigenvalue and top eigenvector statistics of large Euclidean random matricesComments: 27 pages, 9 figuresSubjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
- [427] arXiv:2604.28046 (replaced) [pdf, ps, other]
-
Title: Hypergraph independence bounds: from maximum degree to average degreeComments: 13 pagesSubjects: Combinatorics (math.CO)
- [428] arXiv:2604.28153 (replaced) [pdf, ps, other]
-
Title: Optimal Transmitter Placement in Realistic Urban EnvironmentsComments: This work has been submitted to the IEEE for possible publicationSubjects: Information Theory (cs.IT)
- [429] arXiv:2605.00328 (replaced) [pdf, ps, other]
-
Title: Spectral decomposition of $(\star, ε)$-palindromic matrix polynomial and its applicationsSubjects: Numerical Analysis (math.NA)
- [430] arXiv:2605.01120 (replaced) [pdf, ps, other]
-
Title: New Bounds for Zarankiewicz Numbers via Reinforced LLM Evolutionary SearchComments: *Jay Bhan and Nicole Nobili contributed equally to this work as first authors, and their order was determined via coin flipSubjects: Artificial Intelligence (cs.AI); Combinatorics (math.CO)
- [431] arXiv:2605.01558 (replaced) [pdf, ps, other]
-
Title: A Measure-Theoretic Formulation of Behavioral SystemsAuthors: Victor M. PreciadoComments: 29 pages, 2 figures. Corrected proofs from previous versionSubjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
- [432] arXiv:2605.02480 (replaced) [src]
-
Title: On the observability of the Schrödinger equation in the torus from open setsComments: There is a gap in the proofs of the main resultsSubjects: Analysis of PDEs (math.AP); Optimization and Control (math.OC)
- [433] arXiv:2605.03355 (replaced) [pdf, ps, other]
-
Title: Optimal error bounds on the exponential wave integrator for nonlinear Schrödinger equations with highly singular potentialComments: 24 pages, 2 figuresSubjects: Numerical Analysis (math.NA)
- [434] arXiv:2605.03695 (replaced) [pdf, ps, other]
-
Title: Error Analysis of Time-Dependent Test Functions in the Semi-Lagrangian Discontinuous Finite Element Scheme Based on the Characteristic Galerkin MethodAuthors: Zhengrong XieComments: Lemma 3.1 & 3.2 and estimate for\int_{\widetilde\Omega_{\mathcal K}^{n+1,n}}|\widehat\psi^n-\psi^n|^2\,d\mathbf x are revisedSubjects: Numerical Analysis (math.NA)
- [435] arXiv:2605.03925 (replaced) [pdf, ps, other]
-
Title: Additive categorification of the monoidal $Λ$-invariantComments: 53 pages. Comments are welcome!Subjects: Representation Theory (math.RT)
- [436] arXiv:2605.04088 (replaced) [pdf, ps, other]
-
Title: Noise-accelerated Kramers Escape and Coherence Resonance in a 5D Neural ManifoldAuthors: Yefan WuComments: 12 pages, 7 figures, revised version with more rigorous stability derivations. Currently under review at Physical Review ESubjects: Neurons and Cognition (q-bio.NC); Probability (math.PR); Chaotic Dynamics (nlin.CD); Biological Physics (physics.bio-ph)
- [437] arXiv:2605.04400 (replaced) [pdf, ps, other]
-
Title: Contextual Memory-Enhanced Source Coding for Low-SNR CommunicationsSubjects: Information Theory (cs.IT); Machine Learning (cs.LG)
- [438] arXiv:2605.04493 (replaced) [pdf, ps, other]
-
Title: The unique, universal entropy for complex systemsAuthors: Kenric P. NelsonComments: 35 pages, 6 figures, 3 tablesSubjects: Statistical Mechanics (cond-mat.stat-mech); Information Theory (cs.IT)
- [439] arXiv:2605.04510 (replaced) [pdf, ps, other]
-
Title: Predictive and Prescriptive AI toward Optimizing Wildfire SuppressionSubjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
- [440] arXiv:2605.04614 (replaced) [pdf, ps, other]
-
Title: Counting Minimal Lagrangians Via Mirzakhani FunctionsComments: 34 pages v2: reference fixedSubjects: Differential Geometry (math.DG); Dynamical Systems (math.DS); Geometric Topology (math.GT)
- [441] arXiv:2605.04783 (replaced) [pdf, ps, other]
-
Title: The maximum number of triangles in graphs without vertex disjoint friendship graphsComments: 24 pagesSubjects: Combinatorics (math.CO)
- [442] arXiv:2605.04918 (replaced) [pdf, ps, other]
-
Title: Neural Discovery of Strichartz ExtremizersComments: 38 pages, 26 figures; v.2: corrected typosSubjects: Analysis of PDEs (math.AP); Machine Learning (cs.LG); Numerical Analysis (math.NA)
- [443] arXiv:2605.05028 (replaced) [pdf, ps, other]
-
Title: Projected Evolutionary Lifting and Well-Posedness of Stationary Hamilton-Jacobi-Bellman Equations in Infinite DimensionsSubjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP)
- [444] arXiv:2605.05047 (replaced) [pdf, ps, other]
-
Title: Local Homophily on Bicolored Graphs is $\mathbf{P}$-completeAuthors: Pablo Concha-VegaSubjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
- [445] arXiv:2605.05160 (replaced) [pdf, ps, other]
-
Title: Private Structured-Subset RetrievalSubjects: Information Theory (cs.IT)
- [446] arXiv:2605.05169 (replaced) [pdf, ps, other]
-
Title: Private Contiguous-Block RetrievalSubjects: Information Theory (cs.IT)
- [447] arXiv:2605.05200 (replaced) [pdf, ps, other]
-
Title: On a polynomial involving quadratic residues modulo primesAuthors: Zhi-Wei SunComments: 8 pages. Add Theorem 1.3Subjects: Number Theory (math.NT)
[ showing up to 2000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2605, contact, help (Access key information)