arXiv:2610.27025v1 Announce Type: cross
Abstract: There are many types of path between nodes of a Directed acyclic graph (DAG), including the shortest and longest paths. Here, we ask whether the choice of path used in any analysis reflects the geometry of the latent space in which the DAG is embedded. To do this we define L_p-cube spacetimes, a family of continuous ordered spaces in which a single parameter p determines whether the ordered distance satisfies the ordered triangle identity when p>1, or the reverse ordered triangle identity when 0
1, where the ordered triangle identity holds, the shortest paths provide the closest approximation to the continuum ordered geodesic while for 0
Hilbert-Scale Stability of Posterior Diffusion Priors for Ill-Posed Signal Recovery
oai:arXiv.org:2610.27030v1
arXiv:2610.27030v1 Announce Type: cross
Abstract: Indirect and noisy observations are difficult to invert when the forward operator smooths out the unknown signal. In this case, the unstable modes are precisely the modes that the data reveals least, thus the success of any reconstruction method depends on how prior information interacts with the geometry of the operator across regularity scales. Diffusion priors have become ubiquitous for such problems; however, the current theory still does not determine when a learned score remains informative under ill-posed forward operators. In this paper, we study posterior diffusion for linear inverse problems on Hilbert scales and derive a stability theory under an explicit score-amplification condition. Under a smoothing condition on the forward map, a source condition on the truth, and weak-norm control of score error, we derive non-asymptotic recovery bounds in \(\Hs^s\) that separate observation noise, score approximation, and reverse-time discretization. These bounds give a recoverable regularity threshold determined jointly by operator smoothing, truth regularity, score regularity, and the posterior correction. The threshold specifies the Hilbert-scale norms \(\Hs^s\) in which weak-norm score error remains controlled after propagation through the posterior reverse dynamics. For larger regularity indices \(s\), the inverse geometry magnifies the same error, and the Hilbert-scale recovery estimate no longer gives uniform stability. We also prove that a posterior correction adapted to the forward operator improves stability relative to isotropic guidance in the regularity ranges where the smoothing action of the forward map matters most. The recovery estimates give a regularity-sensitive theory of posterior diffusion and show how learned score error, operator smoothing, and reconstruction norm jointly determine the stable range predicted by the analysis.
Flux Vacua, Asymptotic Periods, and Relatively Anosov Representations
oai:arXiv.org:2610.27077v1
arXiv:2610.27077v1 Announce Type: cross
Abstract: We develop a topological method to detect classical flux vacua of M-theory on Calabi-Yau fourfolds with a single complex structure modulus using only asymptotic period data and monodromy information. To this end, we express the index of the F-term of the flux superpotential as a winding number along the boundary of the universal cover of the complex structure moduli space. The index evaluates to a sum over zeros and poles of a suitably normalized boundary F-term, where local contributions can be computed algebraically on a dense set of boundary points. Assuming a conjectured bound on the remaining contributions, sufficiently many sign changes of the boundary F-term guarantee a flux vacuum in the interior. We illustrate the method on the mirror Fermat sextic with explicit examples and a systematic flux scan.
A main technical ingredient in our construction is a continuity result for projective period maps: we prove that the non-holomorphic (3,1)-period map extends continuously to the boundary of the covering space if the monodromy representation is relatively Anosov. In general, this property does not hold for holomorphic (4,0)-periods.
Mapping AdS$_4$ quantum gravity via the Bethe Ansatz formula
oai:arXiv.org:2610.27097v1
arXiv:2610.27097v1 Announce Type: cross
Abstract: The topologically twisted index of 3d ADHM theory can be written as a sum over solutions to the Bethe Ansatz Equations (BAEs) of the XXZ-type model constructed from quantum toroidal $\mathfrak{g}\mathfrak{l}_1$. Via a novel numerical algorithm, we solve for all $p(N)$ physical solutions at $N\leq 21$, where $p(N)$ denotes the number of integer partitions of $N$. Surveying these solutions, we find that in addition to the known "1-cut" solution dual to dyonic black holes, where the gauge holonomies are distributed along a single curve in the complex plane, there are "dressed" 1-cut solutions dual to combined configurations of the black hole and M2-branes, $m$-cut solutions dual to $\mathbb{Z}_m$ orbifolds of the black hole, a discrete family of solutions interpolating between the 1-cut and 3-cut solutions, together with other exotic solutions, at each value of $N$. The free energy of the interpolating solutions cannot be matched with the on-shell action of any known bulk solution. The $1,2,3$-cut solutions and interpolating solutions all have a well-defined large $N$ limit, and their leading order distribution of gauge holonomies can be computed analytically. Whenever possible, we fit the contributions of the solutions to the index to all orders in the $1/N$ expansion with high-precision numerics, and extract the leading non-perturbative correction. With exceptions, these are matched with the results of equivariant localization in the bulk, and the action of wrapped M2-branes respectively.
Short Point Lists for CNFs and Stronger Constant-Depth Circuit Hardness
oai:arXiv.org:2610.27127v1
arXiv:2610.27127v1 Announce Type: cross
Abstract: We give a short-description decomposition of bounded-width CNFs. For every fixed $\varepsilon>0$, every width-$b$ CNF on $m$ variables is an exact disjoint union of at most $2^{\varepsilon m}$ width-$b$ CNFs, each determined by $2^{O_\varepsilon(b)}\log(m+1)$ satisfying assignments.
For every fixed $d\ge3$, we prove a worst-case size lower bound of $2^{\Omega_d((n\log n)^{1/(d-1)})}$ against depth-at-most-$d$ unbounded-fan-in AND/OR circuits with input negations for three polynomial-time Boolean families: inverse trace over binary fields, the Goldreich--Tal trilinear function, and OpenAI's polynomial evaluator with its original parameters. All parameter bits count as inputs. For inverse trace, every such circuit of size at most $S$, where $n\le S\le2^{c_dn^{1/(d-1)}}$, has uniform sign correlation at most $2^{-\eta_dn\log\log S/(\log S)^{d-1}}$. Here $c_d,\eta_d>0$ depend only on $d$. This improves on the classical parity correlation bound. The lower bounds combine the decomposition with restriction arguments; the correlation bound additionally uses common partial decision trees.
We also construct exact nonuniform AND/OR circuits for inverse trace of size $2^{O(n^{2/3})}$ at depth eight and $2^{O(\sqrt n\log n)}$ at depth nine. For every fixed integer $h\ge2$, the construction gives depth-$(4h+1)$ circuits of size $2^{O_h(n^{1/h}\log n)}$. The upper bounds implement finite-field evaluation and interpolation using circuits that enumerate intermediate states.
A Short Note on Algorithms For The Noisy $k$-XOR Problem
oai:arXiv.org:2610.27147v1
arXiv:2610.27147v1 Announce Type: cross
Abstract: This mostly expository note studies the sample-noise regimes in which the testing problem for noisy $k$-XOR in dimension $n$ can be efficiently solved. Concretely, we ask what pairs $(\beta, \delta)$ admit algorithms running in time $n^{O(k)}$ where $m = n^\beta, \beta \in [0,k]$ is the number of samples and $\mathsf{Bern}(n^{-\delta}),\delta \in (0,+\infty)$ is the noise distribution. The current state-of-the-art algorithms are: I. A folklore algorithm when $\beta > 1, \delta>1$ based on Gaussian elimination; II. A folklore algorithm when $\beta\ge k/2$ based on the birthday paradox; III. A recent algorithm in the regime $\beta > \delta + k(1-\delta), \delta \in (0,1)$ based on a reduction to the first algorithm [DJ24,CSZ24]. IV. Extending [AF09], we strictly improve the last regime to $\beta > \delta + (k-1)(1-\delta), \delta \in (0,1).$ These algorithms correspond to efficiently finding short cycles in uniform hypergraphs and can be equivalently phrased as algorithmic Moore bounds.
Exact spectral integrability of a finite-channel random Schr\"odinger operator: from fermionization of the Dyson--Riccati gas to Kontsevich integral
oai:arXiv.org:2610.27154v1
arXiv:2610.27154v1 Announce Type: cross
Abstract: We solve exactly, for arbitrary finite channel number $N$, the Riccati dynamics of a quasi-one-dimensional random matrix Schr\"odinger operator with Hermitian white-noise potential in the $\beta=2$ unitary symmetry class. The associated Dyson--Riccati eigenvalue gas admits an exact free-fermion representation at any sample length $L$, which in the limit $L\to \infty$ expresses the density of states and the total Lyapunov growth rate exactly through a single Airy Hankel $\tau$-function providing multichannel generalization of $N=1$ Halperin--Thouless formulas. The $\tau-$function further admits an outgoing-contour Kontsevich matrix Airy integral representation. Its saddle-point and double-scaling analyses give, in a unified way, the finite-channel density Lifshitz tail, and the large-$N$ spectral edge. In particular, for $N\gg 1$ the sharp $N=\infty$ edge is softened within an $N^{-4/5}$ spectral window, with its profile governed by the tritronqu\'ee solution of Painlev\'e I. We conjecture universality of this quasi-one-dimensional scaling edge profile for a broad class of $\beta=2$ random band matrices.
Quantum Fluctuations and Wigner Dynamics of a Carbon Nanotube Oscillator Driven by an Atomic Force Microscope
oai:arXiv.org:2610.27167v1
arXiv:2610.27167v1 Announce Type: cross
Abstract: Suspended carbon nanotubes provide a useful platform for studying controlled nanomechanical motion in regimes where environmental fluctuations, memory effects, and quantum coherence can all influence the dynamics. We model the fundamental flexural mode of a carbon nanotube driven by an atomic force microscope as a harmonic quantum Brownian oscillator subject to a prescribed classical force and coupled linearly to a thermal environment. Starting from the generalized Langevin equation, we formulate the reduced dynamics directly in phase space, where the Wigner function evolves through a Gaussian propagator determined by dissipative linear transport, a deterministic force-induced displacement, and bath-induced fluctuations. For a Drude memory kernel, the retarded response is expressed through the three roots of a characteristic cubic equation. In the classical-noise limit, the three independent entries of the finite-time covariance matrix reduce to explicit finite sums over these response poles, eliminating numerical double-time covariance integration. We extend the construction to the full quantum fluctuation spectrum, obtaining a thermal frequency series representation that retains zero-point and low-temperature fluctuations. For an initial two-packet superposition, we examine interference attenuation and the integrated negative part of the Wigner function, which provides a phase space measure of nonclassicality. These results provide an explicit analytical framework for finite-memory quantum Brownian motion of bound oscillators and a tractable phase space description of driven carbon nanotube dynamics relevant to future quantum state preparation and quantum tomography experiments.
Soft elasticity of soft shells
oai:arXiv.org:2610.27263v1
arXiv:2610.27263v1 Announce Type: cross
Abstract: Soft modes of a shell are one-parameter families of non-trivial deformations that preserve the elastic energy. We identify all soft modes of the soft shells described by the variational theory of put forward by Sonnet and Virga (2025). They are seen to be strictly connected with the Bonnet families, a special class of solutions to the problem posited by Bonnet, who asked whether there exist non-trivial isometries that preserve the mean curvature. Differential geometry deems as equivalent all surfaces in one and the same Bonnet family, but continuum mechanics is interested more specifically in soft deformation modes and the shapes they traverse, as they may describe ways to ignite fluctuations of soft shells that ideally require no energy to be activated. We give a general criterion for the existence of soft modes and a method to construct them based on a cascade of path integrations. We apply both criterion and method to some exemplary cases.
Solving the Ho--Nguyen Conjecture for Gaussian Mixtures: Applications to Mixtures of Experts
oai:arXiv.org:2610.27265v1
arXiv:2610.27265v1 Announce Type: cross
Abstract: Over-fitted Gaussian mixtures can contain many parameter configurations with nearly the same density, making the order of density cancellation central to their parameter-learning rates. Ho and Nguyen encoded these cancellations in a polynomial system and conjectured its exact order as a function of cluster size. The key to resolving the conjecture is a common positive-variance shift that turns the coefficient equations into Gaussian moment matching. For every cluster size $\Mhn\ge2$, we prove that the real, nonzero-weight system has order $2\Mhn$: a sharp sign-change bound forces rigidity at that order, while positive Gauss--Hermite quadrature constructs a non-trivial solution through order $2\Mhn-1$. Population-density calculations at 110-digit working precision recover the predicted leading term for two to six components; finite multistart searches recover the same observed powers for two to five components, with smaller finite-scale constants for three to five components. For parameter learning, the exact order gives an explicit pointwise maximum-likelihood exponent and an exact local minimax order on specified shrinking neighbourhoods of a fixed known mixing measure. The same coefficient viewpoint separates high-order cancellation from exact parameter symmetries in mixtures of experts. Synchronized replication preserves the conditional density while keeping the corresponding parameter losses positive in two broad standard-softmax classes, showing why statistical rate arguments must account for exact parameter symmetries.
Simple Strategy-Iteration with Dantzig's Rule is not Strongly Polynomial on Turn-Based Deterministic Games
oai:arXiv.org:2610.27386v1
arXiv:2610.27386v1 Announce Type: cross
Abstract: We study turn-based deterministic zero-sum games with discounted and long-run average costs. For discounted costs, we establish exponential and superpolynomial iteration lower bounds for the simple strategy-iteration method with Dantzig's rule under unrestricted costs and unit weights, respectively. To the best of our knowledge, this shows for the first time that the method is not strongly polynomial even when all action costs belong to $\{-1,0,1\}$. For long-run average costs, we establish an exponential iteration lower bound for termination of a Dantzig counterpart with unrestricted costs and prove that it admits a strongly polynomial implementation with unit weights.
Pfaffian solutions to the Ernst equation
oai:arXiv.org:2610.27420v1
arXiv:2610.27420v1 Announce Type: cross
Abstract: We show that the Yamazaki-Hori solution to the Ernst equation can be represented in the Pfaffian form. We also discuss the consequences of this result for Nakamura's conjecture on the relation between the Ernst equation and the 2D Toda model.
Beyond exponential tilting: sharp asymptotics and improved importance sampling for rare events
oai:arXiv.org:2610.27434v1
arXiv:2610.27434v1 Announce Type: cross
Abstract: A classical approach for importance sampling (IS) of a rare event is to tilt the measure using its large deviation minimizer, thereby shifting the proposal mean towards the event set. While this tilt is log-efficient, we show that the coefficient of variation of the resulting estimator still grows like $\varepsilon^{-1/4}$ in the small-noise limit $\varepsilon\downarrow0$. Motivated by sharp large deviation asymptotics and the local geometry of the event set at the minimizer, we propose improvements using a control variate or an anisotropic, non-Gaussian proposal. We prove, up to truncations that hold with high probability, and confirm empirically in high-dimensional examples, that the former bounds the coefficient of variation and the latter makes it vanish, so that a bounded number of samples suffices. Our analysis addresses both the coefficient of variation of the different proposals and their necessary and sufficient sample size based on the Kullback--Leibler divergence of the IS target from the proposal; both yield the same rates in $\varepsilon$. We demonstrate the resulting samplers, including a variant that blends the classical and the new proposal across noise levels, for a stochastic Korteweg--de Vries equation with thousands of random inputs.
Geometry-informed importance sampling for rare events
oai:arXiv.org:2610.27442v1
arXiv:2610.27442v1 Announce Type: cross
Abstract: We propose GeoIS, a new importance sampling method for estimating rare event probabilities for an underlying Gaussian distribution that exploits asymptotic theory and local event geometry. The proposal distribution is a mixture of two components. The first component draws a Gaussian along the boundary near the instanton and adds to it an exponentially distributed shift into the rare event. This component is derived from the known asymptotic approximation to the optimal zero-variance proposal distribution. The second mixture component is designed to cover missing event mass due to boundary-approximation mismatch, thereby preserving unbiasedness. We rigorously analyze this sampling strategy's performance as a function of event geometry, dimension, rarity level, and number $N$ of importance samples. Under explicit and relatively mild conditions on the former three features, we prove that the squared relative error of GeoIS is bounded by $c/N$ with high probability, for an absolute constant $c$. We implement our method numerically in several examples, including a diffusion PDE problem. The numerical experiments exhibit the qualitative dependence on geometry, dimension, rarity and sample size predicted by the theory, and show that GeoIS markedly outperforms importance sampling methods that use a fully Gaussian proposal distribution.
Theoretical Foundations of Sequential Dynamic Programming
oai:arXiv.org:2610.27449v1
arXiv:2610.27449v1 Announce Type: cross
Abstract: Many economic problems have several controls per period, whose joint choice is subject to the curse of dimensionality. Solving them in stages is computationally cheaper, but no general result says when staging is exact. I develop a separability theory, discrete choices and non-concave objectives included: staging is exact if utility, transitions, and constraints depend on earlier decisions only through a state passed forward. For each ordering the smallest such state exists and is unique up to relabeling. Any state that keeps staging exact for all preferences over later decisions and the future must carry everything the smallest one carries for the transition. For affine primitives, the smallest state consists of the linear combinations, such as cash-on-hand, on which later outcomes depend. Its dimensions pick the order whose largest stage is smallest. In a six-choice household model, each stage chooses one variable on a three-dimensional state, the joint problem all six.
Data-Driven Minimum Energy Control for Stochastic Linear Systems with Finite Sample Guarantees
oai:arXiv.org:2610.27599v1
arXiv:2610.27599v1 Announce Type: cross
Abstract: The open-loop minimum-energy control (MEC) problem asks for control inputs that minimize the control energy while ensuring the terminal state reaches a desired value. In this paper, we study the open-loop MEC problem for stochastic linear time-invariant systems. We consider a variety of stochastic constraints that enforce the terminal error to be \emph{small}, and show that Stochastic MEC (SMEC) problem can be formulated as a QCQP. We obtain the optimal solution for SMEC and show that it generalizes the well-known Deterministic MEC problem by introducing novel stochastic variants of controllability and Gramian matrices and show that there exists a fundamental lower bound on the optimal control energy which cannot be overcome by increasing the time horizon of the problem. We then extend the formulation to systems with unknown dynamics using maximum-likelihood estimation and conformal calibration, and compare these approaches with direct sample-based estimation that do not incorporate structural information of SMEC problem into account. Further, with the help of bias-variance analysis, we show when incorporating structural information proves to be better than direct sample based approach. Finally, we establish finite-sample high-probability upper bounds on optimal-cost sub-optimality and original constraint-violation probability under the data-driven controller, quantifying their dependence on the number of experiments, number of samples per experiment, system dimension, input sequence dimension, and noise-to-signal ratio. Using simulations, we validate the theoretical results numerically.
Big Secrets Small Shares: Revisiting Secure Multi-Party Computation
oai:arXiv.org:2610.27609v1
arXiv:2610.27609v1 Announce Type: cross
Abstract: At CRYPTO 2007, Damg{\aa}rd and Nielsen introduced a preprocessing approach to multi-party computation (MPC) to achieve linear communication complexity. Another approach to reduce communication complexity was proposed by Cramer, Damg{\aa}rd, and de Haan at EUROCRYPT 2007, which involved using ramp-secret sharing schemes to jointly share base-field components of secrets from the extension field. In this paper, we combine these two ideas to achieve a non-asymptotic reduction of communication cost in a multi-phase MPC setup. We introduce a new modification of the ramp secret sharing scheme, called compact sharing, and tailor the MPC protocol to accommodate this modification. Compact sharing masks the polynomial coefficients that would otherwise leak during degree reduction. The protocol provides perfect security against static semi-honest adversaries under an explicit tradeoff between the corruption threshold and the extension degree. When the extension degree scales linearly with the number of parties, the gate-evaluation core achieves constant communication overhead relative to an extension-field element, amortized over full preprocessing batches; input and output communication is counted separately.
Minimum-Time Escape from the Conic Field of View of a Reeds-Shepp Pursuer: Classification and Game Value for a Slower or Equally Fast Evader
oai:arXiv.org:2610.27629v1
arXiv:2610.27629v1 Announce Type: cross
Abstract: We study minimum-time escape of an omnidirectional evader from the forward conic field of view of a Reeds-Shepp pursuer with minimum turning radius $r$. For speed ratio $\nu$ and cone half-angle $0<\alpha<\pi/2$, we prove a global escape/holding classification: straight reversal holds the whole cone for $\nu\le\sin\alpha$, escape is confined to a barrier-bounded dart for $\sin\alpha<\nu\le1$, and escape is possible from every state for $\nu>1$. For the slower or equally fast evader, $\sin\alpha<\nu\le1$, we construct the solution with Isaacs' characteristics and verify it in feedback form, using a Filippov pursuer relay and a one-sided evader branch. The finite escape time is the first root of one scalar equation, and the holding region is bounded by the nonusable parts of the rays and a barrier that closes with a convex corner on the front axis. Sample-and-hold counter-controls show that this escape time is the value of the game in nonanticipative strategies at every state except the corner. There the two strategy values differ: the pursuer's is infinite, whereas an evader that chooses which barrier branch to cross from the initial germ of the pursuer's control escapes before the barrier time $\tau_I$, which is the evader's exact strategy value. An independent level-set solver, refined on fixed comparison points, agrees with the closed-form escape time and reproduces the holding region at the tested parameters.
Learning the open string spectrum with neural networks
oai:arXiv.org:2610.27667v1
arXiv:2610.27667v1 Announce Type: cross
Abstract: The tree-level open superstring has an integer mass-squared spectrum on linear Regge trajectories. To what extent is this fixed by consistency conditions: locality, analyticity, crossing, unitarity together with the requirement that $2\to2$ scattering minimize the entanglement it generates? Using the local two-channel crossing symmetric dispersion relation with one-parameter ambiguity ($\lambda$-CSDR) we set up a bootstrap treating both the mass-squared spectrum and the partial-wave coefficients as unknowns which lets the machine learning algorithm to learn the mass-squared spectrum and partial-wave coefficients simultaneously, going beyond earlier work in which the spectrum was fixed. Using the local three-channel crossing symmetric dispersion relation with one-parameter ambiguity we obtain, within the class of amplitudes with soft Regge behavior and infinite higher-spin tower, a bound on the leading Wilson coefficients that we compare with existing bounds and trace to spin-0 dominance. We locate the Virasoro-Shapiro amplitude in the allowed region of the Wilson coefficients space. For amplitudes with two-channel crossing symmetry we find that a Non-dual amplitude exhibits a Polchinski-Strassler type transition from Regge to power-law behavior.
Anytime-Valid Runtime Monitoring of Learned Barrier Certificates
oai:arXiv.org:2610.27726v1
arXiv:2610.27726v1 Announce Type: cross
Abstract: Learned barrier certificates provide a principled mechanism for establishing safety of stochastic systems, but their validity may deteriorate during deployment when the underlying dynamics differ from those used for training. We propose an anytime-valid runtime monitor that audits a learned barrier certificate using observed closed-loop trajectories. The monitor is intended to detect loss of statistical support for the deployed barrier condition; it does not by itself guarantee detection before unsafe entry or safety of a subsequent intervention. Specifically, the conditional barrier-drift condition is formulated as an episode-wise sequential hypothesis test, and observed barrier increments are transformed into a nonnegative test supermartingale, yielding finite-sample false-alarm control under arbitrary stopping times. Inspired by finite-horizon safety verification, we further introduce a deterministic temporal shaping of the monitoring boundary, making the monitor more conservative early in a prescribed deployment horizon while preserving anytime-validity. The monitor is designed to detect statistical evidence that the safety certificate is no longer consistent with the observed dynamics, rather than to predict unsafe entry. To assess the monitor empirically, we evaluate empirical alarm behavior under valid and invalid certificates. Code and data are available at https://github.com/FormalCert-AI/runtime-barrier-monitor.
Constant Step Sizes for Muon-Type Spectral Optimizers on Strongly Convex Quadratics
oai:arXiv.org:2610.27747v1
arXiv:2610.27747v1 Announce Type: cross
Abstract: Muon and related optimizers update a weight matrix with a spectrally transformed gradient. In this work, we study such spectral optimizers with a constant step size on strongly convex matrix quadratics, which isolate the effect of the update from the confounds of nonconvexity, noise, and step size schedules. We analyze an update using two quantities: the gain, which is the factor by which it amplifies the gradient along each singular direction, and the length, which is the norm of the update. These two quantities place the popular spectral updates in three regimes with different behavior: (i) with a bounded gain, the iterates behave like preconditioned gradient descent and converge for step sizes set by the largest curvature; (ii) with an unbounded gain but a vanishing length, they still converge, with the admissible step sizes set by the total curvature instead; and (iii) with a non-vanishing length, they do not converge for almost every initialization. Interestingly, the practical variants of Muon fall in all three regimes, depending only on how the update is normalized and scaled and not on the polynomial that approximates the polar factor. Experiments validate these findings.
5D Runge-Lenz Vector from Symplectic Reduction of 8D Harmonic Oscillator
oai:arXiv.org:2610.27750v1
arXiv:2610.27750v1 Announce Type: cross
Abstract: We derive the Runge-Lenz vector of the five-dimensional Kepler problem from the eight-dimensional harmonic oscillator through symplectic reduction. By rewriting the moment maps of the harmonic oscillator in terms of five-dimensional gamma matrices and the $\mathfrak{su}(2)$ generators associated with the symplectic reduction, we identify the moment map expected to yield the Runge-Lenz vector. We then perform the reduction with respect to the SU(2) symmetry, derive the five-dimensional Kepler Hamiltonian, and show explicitly that the identified moment map reduces to the Runge-Lenz vector.
Free-field realizations of $\mathcal{N} = 1$ supersymmetric $\mathcal{W}$-algebras associated with Lie superalgebras $B (n - 1 , n)$ and $B (n , n)$
oai:arXiv.org:2610.27853v1
arXiv:2610.27853v1 Announce Type: cross
Abstract: We extend the recursive construction of free-field realizations proposed by Ide, Ito, and Miyazaki to the $\mathcal{N} = 1$ supersymmetric $\mathcal{W}$-algebras $\mathcal{SW} B (n - 1 , n)$ and $\mathcal{SW} B (n , n)$, associated with the Lie superalgebras $B (n - 1 , n)$ and $B (n , n)$, respectively. We obtain explicit free-field realizations of $\mathcal{SW} B (0 , 1)$, $\mathcal{SW} B (1 , 1)$, $\mathcal{SW} B (1 , 2)$, and $\mathcal{SW} B (2 , 2)$. In particular, the realizations of $\mathcal{SW} B (1 , 2)$ and $\mathcal{SW} B (2 , 2)$ are new. Using these realizations, we compute central charges, conformal weights, and eigenvalues of the generating currents on free-field highest-weight states, and construct the local integrals of motion $I_1$, $I_3$, and $I_5$.
Computing excited states of dipolar Bose--Einstein condensates by constrained gentlest ascent dynamics
oai:arXiv.org:2610.27878v1
arXiv:2610.27878v1 Announce Type: cross
Abstract: Dipolar Bose--Einstein condensates (BECs), i.e., BECs with long-range dipole-dipole interactions (DDI), exhibit extraordinarily rich physics and serve as a versatile experimental platform for exploring exotic quantum states of matter. Within the mean-field framework, a dipolar BEC can be described by the Gross--Pitaevskii (GP) model with a DDI term. Its stationary states consist of the ground state, which minimizes the GP energy functional under the normalization constraint, and excited states, which are higher-energy critical points that typically correspond to constrained saddle points. Excited states encode collective excitation modes and play a key role in the dynamical stability and quantum phase transitions of cold-atom systems. However, in contrast to the extensively studied ground state, they remain far less explored numerically, especially in dipolar systems. In this work, we develop a numerical method based on the constrained gentlest ascent dynamics (CGAD) that systematically computes excited states of dipolar BECs by stably targeting constrained saddle points with any prescribed Morse index. Specifically, a semi-implicit sine-pseudospectral discretization with an orthonormalization correction step is adopted, and the nonlocal DDI terms are evaluated efficiently and accurately via the nonuniform fast Fourier transform (NUFFT). The resulting scheme is applied to one-, two-, and three-dimensional dipolar BECs, enabling a detailed numerical investigation of their excited states. Remarkably, our simulations reveal that excited states can persist even in regimes where the ground state of the condensate becomes mean-field unstable. This work provides a computational framework for studying excited states in dipolar quantum gases and offers insights for future theoretical and experimental investigations.
Automatic Differentiation with Constraints in Forward and Inverse Problems
oai:arXiv.org:2610.27888v1
arXiv:2610.27888v1 Announce Type: cross
Abstract: Approximate solutions of partial differential equations (PDEs) on unstructured grids can be represented on a graph. Numerical optimization involving stiff evolutionary and static PDEs often requires solving a large system of equations, which can be treated as a constraint. In this work, we present a fully differentiable graph-based implicit solver that incorporates this constraint. We evaluate its performance across four key tasks: a) linear and nonlinear forward modeling of evolutionary and static problems, b) solving inverse problems to estimate equation coefficients, c) solving inverse problems to estimate the right-hand side, and d) learnable graph coarsening to accelerate forward modeling. The stability and differentiability of our solver enable significant reductions in the complexity of forward modeling while efficiently addressing related inverse problems. These capabilities make it a powerful tool for different physics and engineering applications, in particular for geophysics, where inverse problems are commonly solved in order to reduce the model uncertainty.
DeHNSSo-v2: A compressible, curvilinear, and efficient extension of the Delft Harmonic Navier-Stokes Solver
oai:arXiv.org:2610.27906v1
arXiv:2610.27906v1 Announce Type: cross
Abstract: We present DeHNSSo-v2, a major update of DeHNSSo-v1 (Westerbeek et al., Comput. Phys. Commun. 302, 2024), the open-source Delft Harmonic Navier-Stokes Solver for nonlinear stability analysis of shear flows. The new release adds a compressible formulation on general two-dimensional body-fitted geometries, automatic grid generation, linear-cost sparse assembly, reusable per-mode factorizations, and Newton pseudo-arclength continuation for high-amplitude nonlinear solutions. The curvilinear formulation preserves the fourth-order accuracy of the discretization on strongly distorted grids, and the compressible solver is confirmed to reproduce DeHNSSo-v1 in the incompressible limit. Validation spans published benchmarks for linear instability of compressible flat-plate boundary layers from $\mathrm{Ma}=0.5$ to $\mathrm{Ma}=4.5$, nonlinear oblique-mode breakdown at $\mathrm{Ma}=1.6$, nonlinear swept-wing crossflow compared with direct numerical simulations, and linear Tollmien-Schlichting wave interaction with a modeled surface-embedded Helmholtz resonator compared with experimentally validated linearized Navier-Stokes simulations. On the nonlinear test cases of DeHNSSo-v1, the computational developments result in a speed-up of approximately one order of magnitude. By broadening the scope and reducing the cost of DeHNSSo-v1, DeHNSSo-v2 provides the boundary-layer-transition and flow-control community with an accessible tool for studying receptivity, nonlinear disturbance evolution, and instability interactions with complex surface geometry and metamaterials across compressibility regimes.
The Fer expansion of a driven spin under $\mathfrak{su}(2)$ operations cannot terminate beyond first order
oai:arXiv.org:2610.27979v1
arXiv:2610.27979v1 Announce Type: cross
Abstract: The Fer expansion writes the propagator of a driven quantum system as an ordered product of exponentials, each generated by the time integral of an effective Hamiltonian that governs the evolution left over by the previous factors. It can be stopped after finitely many factors whenever this leftover evolution is known in closed form, for instance when the effective Hamiltonian commutes with itself at all times, or precesses about a fixed axis with constant angular velocity. For $\mathfrak{su}(2)$, in any representation, from a qubit to a spin of any size, we resum the Fer recursion into a closed map on curves in $\mathbb{R}^3$. We prove that, for a real-analytic drive, in both cases the expansion stops beyond the first factor only trivially, when the first exponential is already exact.
Annealed correlation and quenched noise sensitivity in biased deep neural networks
oai:arXiv.org:2610.27983v1
arXiv:2610.27983v1 Announce Type: cross
Abstract: In earlier work by Jonasson, Steif and Zetterqvist (2023), fully connected deep neural networks with layers of width $n$, i.i.d.\ standard Gaussian weights, sign activations and no bias terms were shown to be annealed and quenched noise sensitive with respect to any joint probability distribution $\mathbb{Q}^{(n)}$ on the input $\boldsymbol{\omega}$ and its perturbation $\boldsymbol{\eta}$ satisfying a mild positive-correlation condition and $\mathbb{Q}^{(n)}(\boldsymbol{\eta} \in \{\boldsymbol{\omega},-\boldsymbol{\omega}\}) \to 0$. Here we add independent Gaussian biases of the natural order and show that quenched noise sensitivity is retained over a broad range of depths, indeed under the slightly weaker assumption that $\mathbb{Q}^{(n)}(\boldsymbol{\omega} = \boldsymbol{\eta}) \to 0$. Thus, subject to the positive-correlation condition, quenched noise sensitivity holds under the minimal requirement that the perturbed input is asymptotically unlikely to coincide with the original input. At the same time, the annealed covariance remains bounded away from zero and is entirely accounted for by fluctuations in the network-dependent output means.
When Momentum Helps Polyak--Ruppert Averaging
oai:arXiv.org:2610.27990v1
arXiv:2610.27990v1 Announce Type: cross
Abstract: Polyak--Ruppert averaging gives SGD and momentum methods the same asymptotic covariance. We characterize how fast finite runs reach it and how far they can be parallelized. For strongly convex quadratics with additive noise, we prove an online--offline bridge: the empirical risk minimizer on the samples of a tail average is one Newton step from the tail-averaged query point of any online procedure. For SGD, heavy ball, and Nesterov's method with constant momentum, this step is a boundary term at the two ends of the tail and splits the gap to the offline estimator into center, covariance, and shape errors. Necessary and sufficient conditions show that, on the least curved direction, the center error sets the pace: SGD needs $m\gg\kappa^2$ rounds but momentum only $m\gg\kappa$, where $\kappa$ is the condition number, so at sample size $N$ the critical batch size grows from $\Theta(\sqrt{N}/\kappa)$ to $\Theta(\sqrt{N/\kappa})$. The covariance error separates the momentum methods: heavy ball has relative variance excess $\Theta(\kappa^{3/2}/m)$ along the stiffest direction, whereas Nesterov has relative error $O(\sqrt{\kappa}/m)$ in every direction. The shape error is method-independent by a Berry--Esseen bound uniform in $\kappa$ and batch size, so confidence intervals are valid when the other two errors vanish. We further examine how the conclusions change under heavy-tailed or state-dependent noise and clipping, and establish a first-order comparison with ERM for nonlinear Nesterov averaging under explicit conditions.
The ABC-equation revisited: missed (quasi) integrable cases. Part II: extensions and actions
oai:arXiv.org:2610.28009v1
arXiv:2610.28009v1 Announce Type: cross
Abstract: We continue here the study of the \textsc{ABC}-equation
$Au_xu_{yt} + Bu_yu_{xt} + Cu_tu_{xy} = 0$, $A$, $B$, $C\in\mathbb{R}$ and
using the results obtained in the first part construct new quasi-integrable
structures and compute their actions on symmetries and cosymmetries.
Nonparametric In-Context Learning and Inference via Measure-Indexed Kernel Ridge Regression
oai:arXiv.org:2610.28056v1
arXiv:2610.28056v1 Announce Type: cross
Abstract: In-Context learning enables an estimator, trained across multiple tasks, to adapt to a new unseen task solely through its in-context samples, without any parameter refitting. Despite growing interest in the statistical foundations of in-context learning, two gaps still remain. First, existing convergence results do not characterize the distributional behavior of the in-context learning estimators. Second, classical nonparametric methods are not designed to handle the measure-valued inputs that in-context learning naturally produces. We address both gaps by developing a measure-indexed reproducing kernel Hilbert space framework, in which the adaptivity of the estimator is captured through the dependence of a mean functional on the empirical measure of the context. Within this framework, we propose a measure-indexed kernel ridge regression estimator computed from multiple independent tasks and establish its minimax-optimal convergence rate. We further prove that the proposed estimator is pointwise asymptotically normal, enabling the construction of confidence intervals for the mean and prediction intervals for the response on an unseen task. Notably, the estimator achieves valid uncertainty quantification without any refitting when adapting to a new task. As a special case, our framework recovers classical distributed nonparametric regression when all tasks share the same underlying function. The proposed framework is illustrated through a latent Gaussian process example.
Surface defects on lens space and transfer matrices
oai:arXiv.org:2610.28165v1
arXiv:2610.28165v1 Announce Type: cross
Abstract: We study surface defects in four-dimensional $\mathcal{N}=2$ theories of class $\mathcal{S}$ and $\mathcal{N}=1$ theories of class $\mathcal{S}_k$ placed on $L(r,1)\times S^1$. The lens space index depends on the fugacities $p$ and $q$, and the effect of the defects on it is captured by difference operators acting on the fugacities and holonomies of flavor symmetries. For theories of type $A_1$ we determine in closed form the difference operators for the basic defects, labeled by $p^r$, $q^r$ and $pq$, and show that for odd $r$ there exist additional elementary defects, whose operators shift the holonomy by one half modulo $r$. All the operators commute, and the elementary operators generate the others. For even $r$ the same holds once the holonomy is extended to a twisted sector. We show that the elementary operators are traces of $L$-operators whose entries generate a Sklyanin algebra, with nome $q^r$ and shift $pq$. The lens space enters only through the parameters of the algebra and through its representation, which is realized on a doubled holonomy label. The $p$- and $q$-type algebras form a lens space version of the elliptic modular double. For class $\mathcal{S}_k$ theories we propose, and test in several ways, that the defect operators are transfer matrices of inhomogeneous spin chains built from these $L$-operators. Throughout, we use the TQFT structure of the lens space index, which follows from S-duality, both to fix and to check the operators.
From Market Signals to Maintenance Decisions: Grid-Informed Maintenance Optimization in Offshore Wind Farms
oai:arXiv.org:2610.28167v1
arXiv:2610.28167v1 Announce Type: cross
Abstract: The reliable and cost-effective integration of large-scale offshore wind farms into power systems is largely influenced by maintenance operations. To date, power producers primarily rely on farm-level information (e.g., health signals, power generation, weather conditions) for maintenance planning of wind turbine fleets. We propose to consider additional grid-level information in maintenance operations, such as generation curtailment and market pricing. Periods of high generation curtailment or negative electricity pricing can be viewed as opportunities for preventive maintenance, since assets are fully or partially shut down due to grid-imposed constraints. We first analytically establish that access to market information has non-negative economic value for maintenance scheduling under a stylized setting, providing a theoretical foundation for treating market and grid information as a maintenance opportunity. We then formulate a grid-informed opportunistic maintenance scheduling model as a receding-horizon mixed integer linear program that jointly leverages both farm- and grid-level signals under realistic conditions to determine a maintenance plan for offshore wind turbines. Considering a 600-MW offshore wind farm in the United States, our proposed method reduces annual maintenance costs by up to 10%, while enhancing asset availability and resource utilization, relative to advanced maintenance models that solely rely on farm-level information.
Painlev\'e II connection problem revisited
oai:arXiv.org:2610.28227v1
arXiv:2610.28227v1 Announce Type: cross
Abstract: We study the inhomogeneous Painlev\'e II equation for generic monodromy data. Using Kapaev's asymptotic formulas, the parameters of Zak transform representations of the Painlev\'e II tau function on six special rays $\arg t=\frac{\pi p}{3}$ ($p=0,\ldots,5$) in the complex time plane are expressed in terms of Stokes parameters of the associated linear system. We then solve the connection problem for the tau function between these special rays, and provide analytical and numerical checks of our result.
A twisted Marchenko lemma and applications
oai:arXiv.org:2610.28233v1
arXiv:2610.28233v1 Announce Type: cross
Abstract: We develop a twisted Marchenko lemma with applications into non-commutative two-component integrable systems. Starting from a twisted differential equation, we introduce the corresponding two-component Wronski matrix $W_{n,m}(\boldsymbol\phi,\boldsymbol\psi)$. Under the Marchenko lemma conditions, the logarithmic derivative $(\partial W_{n,m})W_{n,m}^{-1}$ satisfies nonlinear equations, whose two-component projections yield a non-commutative two-component KP equation, while a single-component reduction recovers the non-commutative Burgers equation, KP equation and DS equation. A direct approach based on two-component quasi-Wronskians is developed, from which a higher-order non-commutative two-component KP equation is generated with matrix-valued solutions. Reductions of the seed functions of the non-commutative two-component KP hierarchy yield the one-component counterpart, while a stepwise reduction of those for the two-component KP equation gives the non-commutative DS and NLS equations.
Likelihood-Based Confidence Curves for Bounded Parameters
oai:arXiv.org:2610.28235v1
arXiv:2610.28235v1 Announce Type: cross
Abstract: When a parameter is bounded, the likelihood ratio statistic does not generally follow the chi-square limit distribution of Wilks' theorem. In fact, its asymptotic null distribution depends on the distance from the null value to the boundary, interpolating between the chi-bar-square law on the boundary and the chi-square law in the deep interior of the parameter space. We derive this distribution and use it to construct confidence curves, which are nested collections of two-sided confidence intervals or regions, for bounded parameters. We extend the existing result for the scalar parameter to a two-dimensional parameter with one or both components bounded. As the bivariate distributions are integrals of normal distributions, which are not reducible to standard statistical functions, we also give a simpler approximated distribution obtained by moment-matching. We illustrate the methods on a canonical analysis from high-energy physics, namely the Poisson signal-plus-background experiment.
Timing and Reliability Limits of Position-Assisted UWB Multicast Audio
oai:arXiv.org:2610.28245v1
arXiv:2610.28245v1 Announce Type: cross
Abstract: One-to-many ultra-wideband (UWB) transport can disseminate shared audio blocks without replicating a downlink stream for every receiver. Yet common reception does not ensure aligned electrical playback, coincident acoustic arrival, or delivery to an entire receiver group. This paper develops a unified feasibility analysis of position-assisted UWB multicast audio that separates clock and actuation error, age-dependent acoustic propagation compensation, correlated block erasures, and reserved communication resources. We derive a conditional bound on one-listener arrival spread, a stationary expression for all-receiver block delivery under common and receiver-local losses, and complementary bounds for reliability-constrained admission. Reproducible Monte Carlo experiments examine 4,590 policy--run records across clock, localization, channel, and slot configurations. For eight receivers, affine clock correction produces a mean run-level 95th-percentile electronic span of $21.19\us$, while position assistance reduces the corresponding one-listener acoustic arrival span from $21.95\ms$ to $419.43\us$. Under the stated $30\us$ timing criterion, 98.86\% of compensated events still exceed the threshold. For 64 receivers, three block copies attain an all-receiver delivery probability of approximately 0.97478 under the modeled correlated channel. The analysis exposes the distinct failure mechanisms of position age, shared fades, retransmission limits, and schedule saturation, and establishes joint criteria for interpreting synchronous multicast audio performance.
Proliferation Transitions for Quantum Doubles of Groups
oai:arXiv.org:2610.28253v1
arXiv:2610.28253v1 Announce Type: cross
Abstract: Proliferation transitions are phase transitions between a 2+1d topological order $\mathcal{T}$ and another $\mathcal{T}/\mathcal{A}$, obtained by condensing anyons in an algebra $\mathcal{A}\subset \mathcal{T}$. We consider such transitions in quantum doubles of groups, $\mathcal{T}=D(G, \omega)$, for finite groups $G$ possibly with three-cocycle $\omega$, for which condensable algebras are fully classified. Given a condensable algebra $\mathcal{A}$, we represent $\mathcal{T}$ in terms of a Symmetry Topological Field Theory (SymTFT), that is tailored to the $\mathcal{A}$ proliferation transition. The SymTFT bulk is constructed from the M\"uger center of the subcategory generated by the algebra, i.e. the category of transparent lines, which can be bosons or fermions. Properties of the transition can then be inferred directly from the algebra classification data. For gauged Landau-Ginzburg (LG*) type transitions, we show that they do not only depend on the anyons in $\mathcal{A}$ through their field content, but the cubic interactions are fixed in terms of the multiplication structure of $\mathcal{A}$. Applied to twin algebras, which have the same anyon content but different multiplication structures, we show that twins result in distinct proliferation transitions.
Local Work, Global Progress: A Convergence Theory of AI Agent Collaboration
oai:arXiv.org:2610.28286v1
arXiv:2610.28286v1 Announce Type: cross
Abstract: Teams of large language model (LLM) agents are increasingly applied to complex tasks, but their collaboration protocols are mostly designed empirically, without convergence guarantees. We formalize collaborative problem solving as block optimization: each agent improves one part of a shared solution, guided by its local objective plus a correction for how its changes affect the other parts. A coordinator checks every proposal against the global objective and merges proposals that do not interfere with each other. We prove linear convergence up to an error floor that vanishes when the corrections are exact. Interfering proposals can also be merged once their combination has been checked; the rate then depends on how well the proposals actually combine, not on worst-case interactions. With GPT-OSS-120B agents on robot routing, a three-agent team finds collision-free plans in every run, better than those of a single agent that controls all robots. On a larger routing task, a six-agent team completes its search about twice as fast as the single agent (in median). Merging the best checked combination of proposals, rather than only proposals that do not interfere, cuts the team's search time by about 30%. With constants measured on the runs, our convergence bound holds in every round and follows the observed progress. We also test the theory on query planning in SQLite and on a synthetic task.
Learning Normal Coordinates on Riemannian Manifolds with Flow Charts
oai:arXiv.org:2610.28302v1
arXiv:2610.28302v1 Announce Type: cross
Abstract: Riemannian manifolds are powerful models for problems with non-Euclidean structure. Recent work in geometric machine learning has focused on training deep neural networks to learn Riemannian metrics from high-dimensional data. However, many geometric algorithms require repeated evaluations of the exponential and logarithmic maps, whose high computational cost restricts the utility of learned Riemannian manifolds in practice. We propose to address this cost by training a conditional invertible neural network, called a flow chart, to approximate normal coordinates around points on a given Riemannian manifold. With this approach, the exponential and logarithmic maps can be approximated by fast Euclidean operations in the model's learned coordinate space. Our main contribution is an efficient loss function for training flow charts that is nonnegative and, under suitable domain assumptions, is zero precisely when the chart is normal. Across sixteen synthetic and data-derived geometries, flow charts are competitive with a specialized neural geodesic interpolator for logarithmic map estimation, while also being able to estimate the exponential map. When pretrained, flow charts provide a median speedup of 60-70x over numerical baselines at comparable logarithmic map estimation error, and their learned coordinates improve the accuracy of a numerical geodesic solver.
Confessions of a Masked MDP
oai:arXiv.org:2610.28360v1
arXiv:2610.28360v1 Announce Type: cross
Abstract: In reinforcement learning, one presumes the action set to be known ahead of time, and, thus, one must know if any state-action pairs are not permissible
ahead of computations. In some applications, determining this action mask is the main computational bottleneck. Isolating this problem to highlight its core
properties, we study how to combine the search for an optimal policy with the learning of the mask itself, under a linear MDP model in which each attempted
action reveals the exact value of a linear score determining its validity. In this framework, we first construct an algorithm based on deterministic
optimistic optimization and show that it is minimax optimal, which we show is also computationally efficient. However, it is sub-optimal on non-degenerate
instances, as we show. We propose an alternative, which is also computationally efficient, which plans its exploration strategy. This algorithm admits a
formal interpretation as an analogue of information-directed-sampling for deterministic feedback, which may be of independent interest. Finally, we study an
application of this framework to transfer learning, where the invalid action set changes over time.
A General Construction of Strict Models in HoTT
oai:arXiv.org:2610.28370v1
arXiv:2610.28370v1 Announce Type: cross
Abstract: Homotopy type theory (HoTT) provides a natural setting for studying the metatheory of type theory, as it comes with additional extensionality principles compared to ordinary Martin-L\"of type theory. In particular, it is especially suitable for developing semantics of type theory, where one distinguishes two kinds of models: strict models, which give us sound interpretations, and pseudomodels. Pseudomodels are useful as they occur prevalently and can be turned into strict models by constructions called strictifications. However, the commonly used strictifications do not translate well to HoTT, as they require assumptions that are generally not satisfied by concrete examples of models.
We show how to carry out the universe model construction, due to Voevodsky, in HoTT. Under this construction, every pseudomodel together with a universe type closed under enough type formers gives rise to a strict model. We also show how to interpret type formers in the resulting model assuming that the universe is closed under them. Finally, we demonstrate that this construction generalises existing instances of strict set models in the literature, and we apply it to more examples, yielding presheaf models and assembly models of type theory in HoTT. Our results are formalised in Rocq using the UniMath library.
Budgeted Admission from Timestamped Capacity Records in Shared Clusters
oai:arXiv.org:2610.28392v1
arXiv:2610.28392v1 Announce Type: cross
Abstract: A cluster admission gate can receive a capacity record that no longer matches current schedulability. We study one exogenous binary schedulability unit under a bound on the joint probability of admission and unavailability. For a symmetric Markov state, we derive the stationary admission frontier for a fixed observation delay and apply finite likelihood allocation to a delay-tagged delivered record. A one-sided exact binomial endpoint calibrates each fitted policy, and exact enumeration confirms the per-policy confidence target in every tested parameter cell. A separate deterministic guard charges every unresolved admission against the realized allowance and bounds unavailable-state admissions at every prefix under truthful outcome feedback. An executable admission procedure composes the allocation and guard. The controlled system binds source sampling, NATS delivery, randomized admission, Kubernetes objects, and API-derived outcomes in one append-only record. Independent audit finds no missing event, identity mismatch, or state mismatch in the completed functional block. A separate CPU request-accounting check preserves Job and Pod identity across an unschedulable-to-complete transition.
Do Neural Models Prefer Their Submodels?
oai:arXiv.org:2610.28439v1
arXiv:2610.28439v1 Announce Type: cross
Abstract: A neural model is the set of functions that can be expressed by a given neural network architecture. Neural models contain natural submodels, such as those obtained by setting some neurons to be inactive. We study the geometry of neural models and ask whether they prefer their submodels. By this we mean whether local minimizers of the loss function lie in a given submodel. We introduce a geometric framework to determine if this occurs. For shallow multilayer perceptrons, we show that subnetworks with inactive hidden neurons are never preferred. For deep multilayer perceptrons, we give conditions under which subnetworks with inactive hidden neurons are not preferred. For lightning self-attention, lower-rank submodels are usually not preferred, but we identify examples where they are because they lie on a boundary of the model. Our results show that, aside from a few exceptions, preference for submodels cannot be explained by the geometry of the neural model, and must instead come from other sources such as training dynamics.
Linear Axiomatization of Linear Differential Equations
oai:arXiv.org:2610.28460v1
arXiv:2610.28460v1 Announce Type: cross
Abstract: This article presents an axiomatization of linear differential equations that is complete for topologically open properties with compact initial conditions and time horizons by proving them deductively via a sound reduction to formulas of linear real arithmetic. Indeed, linearity is preserved: linear differential invariants are complete for open properties of linear differential equations and reduce with a linear number of Lie derivatives (per atom) to linear real arithmetic. In particular, this article shows that the linear fragment of differential dynamic logic (dL), a modal extension of standard first-order logic over the reals satisfies these completeness properties. By establishing completeness within decidable linear real arithmetic, the need for proving sophisticated nonlinear formulas of real arithmetic is circumvented. Furthermore, this article establishes generalizations to the nonlinear fragment of dL that enable the practical certification of reachability computations, validating the output of external computations in dL with machine-checkable proofs.
Claims of emergence in AI should be grounded in information decomposition
oai:arXiv.org:2610.28479v1
arXiv:2610.28479v1 Announce Type: cross
Abstract: When a language model develops capabilities not traceable to its individual components, when a multi-agent AI system outperforms each agent on its own, or when a human-AI pair succeeds where either fails in isolation, AI researchers describe it as a case of ``synergy'' or ``emergence''. However, these are usually informal assessments not supported by a theoretical framework, making these claims impossible to compare or even meaningfully dispute. Here we argue that \emph{information decomposition can serve as a unifying formal framework to operationalize assessments about synergy in AI systems}. Information decomposition provides a way to distinguish qualitatively different \emph{types} of information, including unique information available from individual components, redundant information shared across multiple components, and synergistic information accessible only from parts taken together. This gives claims of emergence a precise, falsifiable criterion: a system's behavior is emergent only if it carries synergistic information about task-relevant outcomes. We apply this lens to attention heads, autonomous agents, and human-AI teams, showing how it organizes existing knowledge across scales and substrates, while also generating cross-level conjectures that siloed fields would miss.
Geometry-Agnostic Data-Driven Discovery of Extreme Scenarios
oai:arXiv.org:2610.28487v1
arXiv:2610.28487v1 Announce Type: cross
Abstract: We introduce a two-stage data-driven neural framework for discovering dynamically admissible extreme scenarios. Rather than assuming prior knowledge of the governing equations, the first stage infers the effective dynamical constraints directly from observational data. When the underlying physical system possesses suitable symmetries, the learned dynamics can be represented in a geometry-agnostic form, independent of any fixed grid, coordinate system, dimensionality, and intrinsic curvature. In the second stage, a physics-informed neural-search uses this learned dynamics to uncover rare, high-impact coherent structures that may not have appeared in the original observations. We demonstrate this framework through representative examples of increasing dimensionality and geometric complexity. Starting from a traditionally learned Duffing dynamics, we find a homoclinic pulse as a plausible localized extreme scenario. Next, since the same equation also appears in the stationary nonlinear Schrodinger system, with the coordinate interpreted as space instead of time, this pulse becomes a standing soliton. We then retrain the first stage using a geometry-agnostic neural representation, enabling the learned dynamics to be lifted to higher-dimensional space to obtain higher-dimensional solitary profile, known as Townes soliton. Finally, with a Liouville system, we demonstrate that dynamics learned from data on a (1+1)-dimensional Lorentzian quasi-manifold can be transferred to a (2+0)-dimensional Euclidean manifold to identify an instanton. Our approach can be applied to other coherent spatiotemporal structures, including kinks, rogue waves, compactons, peakons, and potentially even singularities, with applications in risk analysis, nonlinear forecasting, and anomaly detection.
Toda chain solves large BKP
oai:arXiv.org:2610.28492v1
arXiv:2610.28492v1 Announce Type: cross
Abstract: We prove that any solution of the Toda chain hierarchy (the 1D reduction of the 2D Toda lattice) is a solution of the large BKP hierarchy. This is a difference analogue of Alexandrov's result that KdV solves (small) BKP.
Efficient Ground-State Manifold Amplification for Rydberg Atom Arrays via Houdayer Cluster Updates
oai:arXiv.org:2610.28528v1
arXiv:2610.28528v1 Announce Type: cross
Abstract: We demonstrate a hybrid quantum-classical approach for exploring ground-state manifolds of maximum independent set problems, in which quantum hardware supplies the initial solutions and an entirely classical post-processing algorithm expands them, increasing the solution diversity of quantum hardware measurements by up to several orders of magnitude. Quantum optimization devices, while capable of generating high-quality solutions, can suffer from fundamental sampling limitations. This is particularly problematic for applications that strongly depend on a large variety of uncorrelated optimal solutions. We apply the Houdayer cluster update algorithm to systematically expand quantum-generated solution sets through classical post-processing. We validate our approach on a test bed of 43 problem instances from QuEra's Aquila analog annealing device, achieving diversity amplification factors, defined as the increase in the number of distinct solutions at a given set size, of up to 11923x with a median of 24.3x across different problem scales and hardness parameters. Because exact ground-state degeneracies are known for these instances, the recovered fraction of the manifold can be measured rather than bounded: post-processing recovers a median of 21% of the ground-state manifold, and provably all of it for six instances. We also demonstrate that, in some cases, the classical post-processing can discover independent sets larger than those found by the quantum hardware, thus improving on solution quality and not just diversity. While the method is non-ergodic and cannot guarantee complete manifold coverage, it consistently discovers a larger number of high-quality, and in some cases strictly better, configurations than quantum sampling alone. This work demonstrates how simple classical post-processing can enhance the utility of quantum optimization results.
Towards differential expansion for generic representations
oai:arXiv.org:2610.28531v1
arXiv:2610.28531v1 Announce Type: cross
Abstract: We report the first results of phenomenological analysis, based on extended set of explicitly calculated colored HOMFLY-PT polynomials in \cite{knotebook}. They concern differential expansion (DE), which separates the dependencies on the knot ${\cal K}$ and the representation $R$. %of colored HOMFLY-PT polynomials. DE is well understood for symmetric and rectangular representations, while for non-rectangular $R$ even the knot-independent basis $Z_R^X$ of DE is not known. We concentrate on two issues: the possible derivation of DE and on improved characteristic of its defect. We discuss how evolution families -- twist knots, double braids and 3-pretzels -- can be used to find DE by a peculiar triangular transformation of evolution coefficients. Once $Z^R_X$ are found for particular family, they are expected to stay basically the same for arbitrary knots -- modulo controllable reductions, characterized by the defect of DE, which puts knots into different universality classes. Contrary to original expectation, these classes appear labeled not by a single number $\delta^{\cal K}$, but by a whole non-decreasing sequence $\{k_j\}$, which is squeezed between two staircases, ${\rm entier}\left(\frac{j-1}{\delta+1}\right)\leq k_j\leq{\rm entier}\left(\frac{j-1}{{\rm deg}\,\Delta}\right)$, where the upper bound involves Alexander polynomial $\Delta(q^2)$ and follows from the continuation of the Melvin--Morton--Rozansky-Kashaev limit to $A=q^{-m}$ with $m>0$, when the limit gives a {\it positive} power of Alexander. The old assumption $\delta+1={\rm deg}\,\Delta$ is oversimplified and fails for 19 non-alternating knots with 11 and 12 crossings. Last, we list the differences of non-rectangularly colored HOMFLY for various mutant pairs to demonstrate their universality (knot-independence) and nice consistency with the spirit of DE.
Beamfocusing Versus Airy Beams: Does Antenna Blockage Require Beam Bending?
oai:arXiv.org:2610.28557v1
arXiv:2610.28557v1 Announce Type: cross
Abstract: Airy beams are often proposed in array beamforming to bend beams around obstacles. We prove that, for a single-antenna receiver, conventional beamfocusing maximizes the received power regardless of how many antennas are blocked and, in expectation, even with phase errors in the channel state information. This also holds for multi-antenna receivers under a phase-separability condition that is satisfied in rank-one channels. Numerical results confirm that unmodified beamfocusing is optimal for physically small receivers (i.e., those that fit within the beamwidth) when an obstacle is present. For physically larger receivers, the optimal precoding deviates from beamfocusing to better illuminate the receiver's unobstructed parts, but will not become Airy beams. While Airy beams can be configured to perform well, their ability to follow a bent trajectory in front of an obstacle does not maximize the received power behind it.
Convergence of stochastic gradient descent for learning linear neural networks
oai:arXiv.org:2610.28561v1
arXiv:2610.28561v1 Announce Type: cross
Abstract: Stochastic gradient descent (SGD) is the cornerstone of modern deep learning, yet its theoretical convergence properties remain poorly understood in non-convex settings. To address this gap, we study SGD dynamics in deep linear neural networks - simplified models that retain key non-convex characteristics while remaining analytically tractable. Building on recent results for gradient descent, we extend convergence guarantees to SGD under regularized squared loss. We establish almost sure boundedness of SGD iterates. Using the framework of asymptotic pseudotrajectories from stochastic approximation theory, our analysis establishes then, for both deterministic and adaptive step-size choices, convergence of SGD to the set of critical points under mild conditions (without relying on Lipschitz properties or whitened data). To our knowledge, this is the first work providing almost sure convergence guarantees for SGD in deep linear networks, bridging the gap between theoretical optimization and practical stochastic training.
OptScientist: Automated Discovery of Optimization Laws
oai:arXiv.org:2610.28562v1
arXiv:2610.28562v1 Announce Type: cross
Abstract: Many scientific phenomena are best understood as outcomes of underlying optimization problems, yet automated scientific discovery has largely focused on recovering equations that describe observed input-output patterns. We introduce OptScientist, a novel automated framework for discovering compact symbolic optimization laws directly from data. OptScientist comprises (i) a model that infers symbolic optimization problems by first learning to represent data as an optimization problem and then extracting its symbolic form, and (ii) an LLM agentic system embedding the model in a discovery process that integrates theoretical priors from scientific literature, discovers candidate laws, abstracts their underlying mechanisms, and suggests new data to collect. We first evaluate OptScientist on OptFeynman, a novel benchmark of 99 physics-derived optimization problems, where OptScientist recovers ground-truth laws for over 80% of the problems and remains robust to noisy contextual information, while substantially outperforming machine-learning, symbolic, and LLM-based model-discovery baselines. On human risky choice and central-bank monetary policy, OptScientist discovers compact symbolic optimization laws that achieve held-out predictive performance competitive with leading baselines, while using few parameters and substantially fewer tokens than LLM baselines. Overall, OptScientist extends automated scientific discovery to uncovering optimization laws that generate observed phenomena, enabling automated theory building across the physical, biological, behavioral, and social sciences.
The Dynamics of Collapse and Recovery in Clustered Federated Learning
oai:arXiv.org:2610.28565v1
arXiv:2610.28565v1 Announce Type: cross
Abstract: Clustered federated learning (CFL) can suffer from cluster collapse. In particular, under unfavorable initialization, early client assignments concentrate heterogeneous groups on one cluster model, which is then trained toward a pooled compromise, while another model receives no updates. Since the current models determine client routing and routing determines subsequent model updates, we formulate clustered federated learning as control of an unknown dynamical system, with cluster models as the evolving state, client routing patterns as the control input, and routing interventions as state dependent controllers. In a two group linear model, we identify an initialization region in which greedy routing makes collapse self reinforcing. We then derive finite horizon error dynamics showing how routing interventions can reverse collapse by repeatedly training the starved model, primarily with updates from its compatible group. Motivated by this condition, each client uses blocked EXP3 to choose between greedy routing and interventions that redirect updates toward unused models. Experiments show that with simpler predictors and faster specialist formation, autonomous controller selection recovers usable specialists from unfavorable starts that trap standard CFL baselines. In transformed FEMNIST, the synchronized-entry configuration with persistent commitment recovers usable specialists in settings where the autonomous controller configuration often does not. Code and scripts for reproducing the experiments and figures are available at https://github.com/prsinha1/FedRecover.
Continuous-Time Policy Gradient from Discrete Data: Convergence Analysis and Model-Free Algorithms
oai:arXiv.org:2610.28580v1
arXiv:2610.28580v1 Announce Type: cross
Abstract: Continuous-time reinforcement learning seeks an optimal policy under unknown dynamics driven by stochastic differential equations using observations collected at discrete times. We develop a policy gradient framework that combines rigorous convergence analysis with learning from discrete data. We first establish a performance difference lemma and derive policy gradient formulas for randomized and parametrized policies. We then prove exponential convergence of an entropy-regularized policy flow to the regularized optimum. For discrete parametrized updates, we derive a convergence bound that explicitly separates the contributions of critic error, policy-regression error, and the learning step size. To enable learning under unknown dynamics, we integrate this framework with PhiBE, which constructs a continuous-time surrogate generator from discrete transition data. The resulting on-policy and off-policy model-free actor-critic algorithms preserve the continuous-time structure of the control problem. Numerical experiments on an entropy-regularized linear-quadratic regulator and a nonlinear wheeled robot demonstrate the performance and stability of the proposed methods with both known and data-driven dynamics.
Complete Modified Logarithmic Sobolev Inequalities for one-dimensional quantum Spin Chain
oai:arXiv.org:2610.28600v1
arXiv:2610.28600v1 Announce Type: cross
Abstract: We prove a complete modified logarithmic Sobolev inequality with a system-size-independent constant for Chen--Kastoryano--Gily\'en Gibbs samplers on one-dimensional spin chain at every fixed positive temperature. The result holds for Hamiltonians with bounded finite-range interactions, including noncommuting and spatially nonuniform interactions. It yields trace and diamond mixing times of order $O(\log N+\log(1/\epsilon))$. The proof establishes complete spatial entropy factorization and absorbs quasi-local errors as conditional relative entropy at the original joint state and reference. The static estimate also yields a system-size-independent CMLSI for the single-site Petz heat-bath and regularised heat-bath dynamics.
The theory of F-rational signature
oai:arXiv.org:1911.02642v4
arXiv:1911.02642v4 Announce Type: replace
Abstract: F-signature is an important numeric invariant of singularities in positive characteristic that can be used to detect strong F-regularity. One would like to have a variant that rather detects F-rationality, and there are two theories that aim to fill this gap: F-rational signature of Hochster and Yao and dual F-signature of Sannai. Unfortunately, several important properties of the original F-signature are unknown for these invariants.
We give a modification of the Hochster-Yao definition that agrees with Sannai's dual F-signature and push further the united theory to achieve a complete generalization of F-signature.
Testing for genetic interactions in complex disease with distance correlation
oai:arXiv.org:2012.05285v3
arXiv:2012.05285v3 Announce Type: replace
Abstract: Understanding epistasis (genetic interaction) may shed some light on the genomic basis of common diseases, including disorders of maximum interest due to their high socioeconomic burden, like schizophrenia. Distance correlation is an association measure that characterizes general statistical independence between random variables, not only the linear one. Here, we propose distance correlation as a novel tool for the detection of epistasis from case-control data of single-nucleotide polymorphisms. On the methodological side, we highlight the derivation of the explicit asymptotic null distribution of the test statistic. We show that this is the only way to obtain enough computational speed for the method to be used in practice, in a scenario where the resampling techniques found in the literature are impractical. Our simulations show satisfactory calibration of significance, as well as comparable or better power than existing methodology. We conclude with the application of our technique to a schizophrenia genetics dataset, obtaining biologically sound insights.
Lower bounds for self-adjoint Sturm-Liouville operators
oai:arXiv.org:2212.09837v2
arXiv:2212.09837v2 Announce Type: replace
Abstract: In this note we provide estimates for the lower bound of the self-adjoint operator associated with the three-coefficient Sturm-Liouville differential expression $$ \frac{1}{r} \left(-\frac{\mathrm d}{\mathrm dx} p \frac{\mathrm d}{\mathrm dx} + q\right) $$ in the weighted $L^2$-Hilbert space $L^2(\mathbb R; rdx)$.
A skew approach to enrichment for Gray-categories
oai:arXiv.org:2212.12358v4
arXiv:2212.12358v4 Announce Type: replace
Abstract: It is well known that the category of Gray-categories does not admit a monoidal biclosed structure that models weak higher-dimensional transformations. In this paper, the first of a series on the topic, we describe several skew monoidal closed structures on the category of Gray-categories, one of which captures higher lax transformations, and another which models higher pseudo-transformations.
Representing Vineyard Modules
oai:arXiv.org:2307.06020v2
arXiv:2307.06020v2 Announce Type: replace
Abstract: Time-series of persistence diagrams, more commonly known as vineyards, are a useful way to capture how multi-scale topological features vary over time. However, we do lose significant information in how the persistent homology at different time stamps relate to each other. A natural algebraic version of vineyards is a time series of persistence modules equipped with interleaving maps between the persistence modules at different time stamps. We call this a vineyard module. In this paper we will set up the framework for representing a vineyard module via an indexed set of vines alongside a collection of matrices. We outline an algorithmic way to transform the bases of the persistence modules at each time step within the vineyard module to make the matrices within this representation as simple as possible. With some reasonable assumptions on the vineyard modules, this simplified representation can be completely described (up to isomorphism) by the associated vineyard and a vector of finite length. While this vineyard and vector representation is not necessarily unique we can prove that the vector will always be the zero vector when the vineyard module is isomorphic to the direct sum of vine modules. We also show uniqueness when the vineyard module contains two vines (over field $\mathbb{F}_2$) and can characterise and count which are realisable, giving a complete account of isomorphism classes of vineyard modules with two vines. To define and analyse this approach we first must set up a lot of preliminary results about changes of bases for pairs of persistence modules where we are given $\varepsilon$-interleaving maps for sufficiently close $\varepsilon$. This new perspective on vineyards also provides a new approach to the study of multi-parameter persistence modules.
Twisted Post-Groups and Skew Trusses
oai:arXiv.org:2307.10535v4
arXiv:2307.10535v4 Announce Type: replace
Abstract: To understand the origin of post-groups introduced by Bai, Guo, Sheng, and Tang from the perspective of rings, we introduce the notion of (weak) twisted post-groups. First, we show that every element of a twisted post-group belongs to a unique group, and that a twisted post-group can be viewed as the disjoint union of such groups. Next, we prove that the category of weak twisted post-groups is isomorphic to the category of skew trusses, and that every two-sided twisted post-group admits the structure of a two-sided skew brace. It follows that every abelian two-sided twisted post-group gives rise to a radical ring. We then introduce twisted post-Lie algebras and investigate their algebraic properties, showing that differentiating a twisted post-Lie group yields a twisted post-Lie algebra. Finally, we consider the linearization of (weak) twisted post-groups and propose the notion of (weak) twisted post-Hopf algebras. We show that every twisted post-Hopf algebra gives rise to another Hopf algebra, called the sub-adjacent Hopf algebra.
Apollonian carpets and the boundary of the Kahler cone of a hyperkahler manifold
oai:arXiv.org:2402.11697v3
arXiv:2402.11697v3 Announce Type: replace
Abstract: The ample cone of a compact Kahler $n$-manifold $M$ is the intersection of its Kahler cone and the real subspace generated by integer (1,1)-classes. Its isotropic boundary is the set of all points $\eta$ on its boundary such that $\int_M \eta^n=0$. We are interested in the relation between the shape of the isotropic boundary of the ample cone of a hyperkahler manifold and the dynamics of its holomorphic automorphism group $G$. In this case, the projectivization of the ample cone is realized as an open, locally polyhedral subset in a hyperbolic space $H$. The isotropic boundary $S$ is realized as a subset of the hyperbolic boundary (the absolute) $A$ of $H$, which is naturally identified with a Euclidean sphere. It is clear that the isotropic boundary $S$ contains the limit set of $G$ acting on its ample cone. We prove that, conversely, all irrational points on $S$ belong to the limit set. Using a result of N. Shah about limiting distributions of curves under geodesic flow on hyperbolic manifolds, we prove that every real analytic curve in $S$ is contained in a geodesic sphere in $S$,and in presence of such curves the limit set is the closure of the union of these geodesic spheres. We study the geometry of such fractal sets, called Apollonian carpets, and establish the link between the Apollonian carpet and the structure of the automorphism group.
Dimension formula for harmonic measures in invariant random graphs on Gromov hyperbolic spaces
oai:arXiv.org:2403.11406v2
arXiv:2403.11406v2 Announce Type: replace
Abstract: For random walks in various group-invariant random graphs on Gromov hyperbolic spaces, we show that the associated harmonic measures are exact dimensional and their Hausdorff dimensions are equal to the entropy over the speed, Our method is inspired by cluster relations introduced by Gaboriau and applies to percolation clusters on hyperbolic groups and Poisson--Voronoi tessellations on rank one Riemannian symmetric spaces.
Revisiting Gamma conjecture I: counterexamples and modifications
oai:arXiv.org:2405.16979v4
arXiv:2405.16979v4 Announce Type: replace
Abstract: We continue investigation of asymptotics of quantum differential equation for Fano manifolds, with a special regard to Gamma conjecture I and its underlying Conjecture $\mathcal{O}$. We introduce the A-model conifold value, a symplectic invariant of a Fano manifold, and propose modifications for Gamma conjecture I based on this new definition. We discuss an interplay of birational transformations with an extension of Gamma conjecture I over the K\"ahler moduli space. These heuristics are applied to rigorously identify the principal asymptotic class in the case of $\mathbb{P}^1$-bundles $X_n=\mathbb{P}_{\mathbb{P}^{n}}(\mathcal{O}\oplus\mathcal{O}(n))$. We observe, in particular, that for $X_n$ of dimension at least four, the Conjecture $\mathcal{O}$ holds just for even values of $n$, and in these cases we falsify the original non-modified Gamma conjecture I.
A third order dynamical system for generalized monotone equation
oai:arXiv.org:2406.00705v2
arXiv:2406.00705v2 Announce Type: replace
Abstract: We propose a third order dynamical system for solving a nonlinear equation in Hilbert spaces where the operator is cocoercive with respect to the solutions set. Under mild conditions on the parameters, we establish the existence and uniqueness of the generated trajectories as well as its asymptotic convergence to a solution of the equation. When the operator is strongly monotone with respect to the solutions set, we deliver an exponential convergence rate of $e^{-2t}$, which is significantly faster than the known results of second order dynamical systems. In particular, for convex optimization problems, the proposed dynamical system provides a fast convergence rate of {\bf $\mathcal{O}(\frac{1}{t^3})$} for the objective values. In addition, we discuss the applications of the proposed dynamical system to several splitting monotone inclusion problems.
Explicit Steady-State Approximations for Parallel Server Systems with Heterogeneous Servers
oai:arXiv.org:2406.04203v3
arXiv:2406.04203v3 Announce Type: replace
Abstract: We study the steady-state performance of parallel-server systems under an immediate routing architecture with two sources of heterogeneity: server types and job classes, often subject to compatibility constraints. We focus on the weighted-workload-task-allocation (WWTA) routing policy, a load-balancing scheme known to be throughput-optimal for such systems. Under a relaxed complete-resource-pooling (CRP) condition, we prove a strong form of state-space collapse in heavy traffic and that the scaled server workloads jointly converge in distribution to a deterministic vector multiplied by an exponential random variable, whose mean is explicitly given by system primitives. Our analysis yields three main insights. First, the conventional heavy-traffic assumption of a unique static allocation plan can be dropped; a relaxed CRP condition suffices. Second, the limiting workload distribution is shown to be independent of the local scheduling policies at the servers, allowing substantial flexibility. Third, the inefficient (non-basic) activities identified by the static allocation problem are proved to receive an asymptotically negligible fraction of routed jobs and service effort, even though WWTA has no prior knowledge of which activities are non-basic, highlighting its robustness to changing arrival rates.
Adjusted Connections I: Differential Cocycles for Principal Groupoid Bundles with Connection
oai:arXiv.org:2406.16755v4
arXiv:2406.16755v4 Announce Type: replace
Abstract: We develop a new perspective on principal bundles with connection as morphisms from the tangent bundle of the underlying manifold to a classifying dg-Lie groupoid. This groupoid can be identified with a lift of the inner homomorphisms groupoid arising in \v{S}evera's differentiation procedure of Lie quasi-groupoids. Our new perspective readily extends to principal groupoid bundles, but requires an adjustment, an additional datum familiar from higher gauge theory. We show that for Lie groupoids, the additional adjustment data amounts to a Cartan connection. The resulting adjusted connections naturally provide a global formulation of the kinematical data of curved Yang-Mills-Higgs theories as described by Kotov-Strobl (arXiv:1510.07654) and Fischer (arXiv:2104.02175).
On the Maslov-type index for general paths of symplectic matrices
oai:arXiv.org:2407.08433v4
arXiv:2407.08433v4 Announce Type: replace
Abstract: In this article, we define an index of Maslov type for general symplectic paths which have two arbitrary end points. This Maslov-type index is a partial generalization of the Conley-Zehnder-Long index in the sense that the degenerate set of symplectic matrices is larger. The method of constructing the index is direct without taking advantage of Maslov index of Lagrangian paths and consistent no matter whether the starting point of the path is identity or not, which is different from the ones for Long's Maslov-type index and Liu's $L_0$-index. Some natural properties for the index are verified. We review other versions of Maslov indices and compare them with our definition. In particular, this Maslov-type index can be regarded as a partial realization of Cappell-Lee-Miller index for a pair of Lagrangian paths from the point of view of index for symplectic paths.
Hurwitz existence problem and fiber products
oai:arXiv.org:2408.10874v3
arXiv:2408.10874v3 Announce Type: replace
Abstract: With each holomorphic map $f:R\to\mathbb C\mathbb P^1$, where $R$ is a compact Riemann surface, one can associate a combinatorial datum consisting of the genus $g$ of $R$, the degree $n$ of $f$, the number $r$ of critical values of $f$, and the $r$ partitions of $n$ given by the local degrees of $f$ over these critical values. These quantities are related by the Riemann-Hurwitz formula, and the Hurwitz existence problem asks whether a combinatorial datum that fits this formula actually corresponds to some map $f$. In this paper, we use fiber products of holomorphic maps between compact Riemann surfaces to establish general criteria for the non-realizability of branch data. We also deduce from our results the theorem of Halphen, proven in 1880, concerning polynomial solutions of the equation $A(z)^a+B(z)^b=C(z)^c$, where $a,b,c$ are integers greater than one.
Paired kernels and truncated Toeplitz operators
oai:arXiv.org:2409.02563v3
arXiv:2409.02563v3 Announce Type: replace
Abstract: This paper considers paired operators in the context of the Lebesgue Hilbert space $L^2$ on the unit circle and its subspace, the Hardy space $H^2$. The kernels of such operators, together with their analytic projections, which are generalizations of Toeplitz kernels, are studied. Inclusion relations between such kernels are considered in detail, and the results are applied to describing the kernels of finite-rank asymmetric truncated Toeplitz operators.
Statistical inference for a multiscale stochastic model of enzyme kinetics via propagation of chaos
oai:arXiv.org:2409.06565v5
arXiv:2409.06565v5 Announce Type: replace
Abstract: We study a class of Stochastic Differential Equations (SDEs) with jumps modeling multistage Michaelis--Menten enzyme kinetics, in which a substrate is sequentially transformed into a product via a cascade of intermediate complexes. These networks are typically high-dimensional and exhibit multiscale behavior with a strong coupling between different components, posing substantial analytical and computational challenges. In particular, the problem of statistical inference of reaction rates is significantly difficult and becomes even more intricate when direct observations of system states are unavailable and only a random sample of product formation times is observed. We address this problem in two stages. First, in a suitable scaling regime consistent with the Quasi-Steady State Approximation (QSSA), we rigorously establish a stochastic averaging principle yielding a reduced model for the product-substrate dynamics. Guided by the reduced-order dynamics, we next construct a novel Interacting Particle System (IPS) that approximates the product-substrate process at the particle level. This IPS plays a pivotal role in the inference methodology, and we prove several non-asymptotic bounds and limiting results for this system. These results facilitate the construction of an estimator based on a product-form approximate likelihood requiring only a random sample of product formation times. This approach does not need access to the system states, and we rigorously prove consistency of the estimator.
Dipole Formation in the Two-Component Plasma
oai:arXiv.org:2410.01025v3
arXiv:2410.01025v3 Announce Type: replace
Abstract: We consider the two-dimensional two-component plasma, or Coulomb gas, consisting of $N$ positive and $N$ negative charges with logarithmic interaction. We introduce a suitable regularization of the interaction by smearing the charges over a small length scale $\lambda$, which allows us to give meaning to the system in the continuum at any temperature. We provide an expansion of the free energy for each inverse temperature $\beta\ge2$, as $N \to \infty$ and $\lambda \to 0$. Doing so allows us to show that, for $\beta \geq 2$, the charges (for the most part) pair into neutral dipoles of very small size as $\lambda \to 0$. This complements the prior work of Lebl\'e, Zeitouni, and the second author, which proved that this does not happen for $\beta < 2$, thereby implying a transition at $\beta = 2$ from free charges to dipole pairs. Moreover, we obtain an estimate on the size of linear statistics.
The description in terms of dipoles is made via a decomposition into nearest-neighbor graphs of the point configurations, \`a la Gunson-Panta. This is combined with new energy estimates obtained via an electric reformulation of the interaction energy and a ball-growth method, which are expressed in terms of the nearest-neighbor graph distances only. In this way, the model is compared to a reduced nearest-neighbor interaction model, by showing the relative smallness of the dipole-dipole interactions.
A quantitative Borg-Levinson theorem for a large class of unbounded potentials
oai:arXiv.org:2410.01346v5
arXiv:2410.01346v5 Announce Type: replace
Abstract: We prove a quantitative Borg-Levinson theorem for a broad class of unbounded potentials when the spatial dimension is five or greater. In the final section, we outline the modifications required to extend the main result to the anisotropic case.
Equivariant aspects of de-completing cyclic homology
oai:arXiv.org:2410.05994v4
arXiv:2410.05994v4 Announce Type: replace
Abstract: Derived de Rham cohomology turns out to be important in $p$-adic geometry, following Bhatt's discovery [Bha12] of conjugate filtration in char $p$, de-Hodge-completing results in [Bei12]. In [Kal18], Kaledin introduced an analogous de-completion of the periodic cyclic homology, called the polynomial periodic cyclic homology, equipped with a conjugate filtration in char $p$, and expected to be related to derived de Rham cohomology. In this article, using genuine equivariant homotopy structure on Hochschild homology as in [ABG+18, BHM22], we give an equivariant description of Kaledin's polynomial periodic cyclic homology. This leads to Morita invariance without any Noetherianness assumption as in [Kal18], and the comparison to derived de Rham cohomology becomes transparent. Moreover, this description adapts directly to "topological" analogues, which gives rise to a de-Nygaard-completion of the topological periodic cyclic homology, which admits an extension to linear categories over truncated Brown--Peterson spectra. As an application, we establish a noncommutative crystalline--de Rham comparison, which decompletes the result in [PV19], and extends it to prime $p=2$. We also compare polynomial periodic cyclic homology to topological Hochschild homology over $\mathbb F_p$, and produce a conjugate filtration in char p from our description.
Exploring chordal sparsity in semidefinite programming with sparse plus low-rank data matrices
oai:arXiv.org:2410.23849v2
arXiv:2410.23849v2 Announce Type: replace
Abstract: Semidefinite programming (SDP) problems are challenging to solve because of their high dimensionality. However, solving sparse SDP problems with small tree-width are known to be relatively easier because: (1) they can be decomposed into smaller multi-block SDP problems through chordal conversion; (2) they have low-rank optimal solutions. In this paper, we study more general SDP problems whose coefficient matrices have sparse plus low-rank (SPLR) structure. We develop a unified framework to convert such problems into sparse SDP problems with bounded tree-width. Based on this, we derive rank bounds for SDP problems with SPLR structure, which are tight in the worst case.
Type IIA String Theory and tmf with Level Structure
oai:arXiv.org:2411.07299v3
arXiv:2411.07299v3 Announce Type: replace
Abstract: We look at a new string$^h$ tangential structure first introduced by Devalapurkar and relate it to the $W_7=0$ condition of Diaconescu-Moore-Witten for type IIA string theory and M-theory. We show that a string$^h$ structure on the target space automatically satisfies the $W_7=0$ condition and we also explain when the $W_7=0$ condition gives rise to a string$^h$ structure. Devalapurkar initially constructed $MString^h$ in such a way that it orients $tmf_1(3)$; we extend Devalapurkar's result, showing that $MString^h$ orients $tmf_1(n)$. We compute the homotopy groups of $MString^h$ in the dimensions relevant for physical applications, and apply them to anomaly cancellation applications for certain compactifications of type IIA string theory.
Persistent (Co)Homology in Matrix Multiplication Time
oai:arXiv.org:2412.02591v3
arXiv:2412.02591v3 Announce Type: replace
Abstract: Most algorithms for computing persistent homology do so by tracking cycles that represent homology classes. There are many choices of such cycles, and specific choices have found different uses in applications. Although it is known that persistence diagrams can be computed in matrix multiplication time [8] for the more general case of zigzag persistent homology, it is not clear how to extract cycle representatives, especially if specific representatives are desired. In this paper, we provide the same matrix multiplication bound for computing representatives for the two choices common in applications in the case of ordinary persistent (co)homology. We first provide a fast version of the reduction algorithm, which is simpler than the algorithm in [8], but returns a different set of representatives than the standard algorithm [6] We then give a fast version of a different variant called the row algorithm [4], which returns the same representatives as the standard algorithm.
Well-posedness of kinetic McKean-Vlasov equations
oai:arXiv.org:2501.10987v5
arXiv:2501.10987v5 Announce Type: replace
Abstract: We consider the McKean-Vlasov equation $dX_t = b(t, X_t, [X_t])dt + \sigma(t, X_t, [X_t])dW_t$ where $[X_t]$ is the law of $X_t$. We specifically consider the kinetic case, where the equation is degenerate because the dimension of the Brownian motion $W$ is strictly smaller than that of the solution $X$, as commonly required in classical models of collisional kinetic theory. Assuming H\"older continuous coefficients and a weak H\"ormander condition, we prove the well-posedness of the equation. This result advances the existing literature by filling a crucial gap: it addresses the previously unexplored case where the diffusion coefficient $\sigma$ depends on the law $[X_t]$. Notably, our proof employs a simplified and direct argument eliminating the need for PDEs involving derivatives with respect to the measure argument. A critical ingredient is the sub-Riemannian metric structure induced by the corresponding Fokker-Planck operator.
Assortment optimization given basket shopping behavior using the Ising model
oai:arXiv.org:2502.16260v3
arXiv:2502.16260v3 Announce Type: replace
Abstract: In markets where customers tend to purchase baskets of products rather than single products, assortment optimization is a major challenge for retailers. Removing a product from a retailer's assortment can result in a severe drop in aggregate demand if this product is a complement to other products. Therefore, accounting for the complementarity effect is essential when making assortment decisions. In this paper, we develop an analytical framework designed to address this problem. We model customers' choices using the binary Ising model, which is a special case of a Markov random field. This model captures pairwise demand dependencies as well as the individual attractiveness of each product, with binary variables indicating whether products are included in the purchased basket. For estimation, we utilize existing methods developed for the spin formulation of the Ising model and then apply a parameter transformation to express the fitted model in the binary form used for assortment optimization. We show that the assortment optimization problem under the Ising model is NP-hard. We also provide multiple theoretical insights into the structure of the optimal assortments based on the graphical representation of the Ising model, and propose several heuristic algorithms that can be used to obtain high-quality solutions to the assortment optimization problem. Our numerical analysis demonstrates that the developed simulated annealing procedure leads to an expected profit gain of 15% compared to offering an unoptimized assortment (where all products are included) and around 5% compared to using a revenue-ordered heuristic algorithm.
On the dispersive estimates for the discrete Schr\"odinger equation on a honeycomb lattice
oai:arXiv.org:2503.08996v2
arXiv:2503.08996v2 Announce Type: replace
Abstract: The discrete Schr\"odinger equation on a two-dimensional honeycomb lattice is a fundamental tight-binding approximation model that describes the propagation of waves on graphene. For free evolution, we first show that the degenerate frequencies of the dispersion relation are completely characterized by three symmetric periodic curves (Theorem 2.1), and that the three curves meet at Dirac points where conical singularities appear (see Figure 2.1). Based on this observation, we prove the $L^1\to L^\infty$ dispersion estimates for the linear flow depending on the frequency localization (Theorem 2.3). Collecting all, we obtain the dispersion estimate with $O(|t|^{-2/3})$ decay as well as Strichartz estimates. As an application, we prove small data scattering for a nonlinear model (Theorem 2.10). The proof of the key dispersion estimates is based on the associated oscillatory integral estimates with degenerate phases and conical singularities at Dirac points. Our proof is direct and uses only elementary methods.
Cut loci of Berger type Lorentzian structures
oai:arXiv.org:2505.03514v2
arXiv:2505.03514v2 Announce Type: replace
Abstract: Consider the deformation of the standard Lorentzian metric on the anti de-Sitter space along the fibers of the Hopf fibration. We study the universal covering of this Lorentzian manifold to exclude a priori presence of time-like cycles. We describe the sets attainable by admissible curves and study the question of the existence of the longest arcs. Next, we investigate Lorentzian geodesics for optimality: we find the cut time and the cut locus. As a geometric application we compute the injectivity radius of the corresponding Lorentzian manifold.
Superconnections and Bott-Chern valued Riemann-Roch-Grothendieck for complex orbifolds, I
oai:arXiv.org:2505.13912v3
arXiv:2505.13912v3 Announce Type: replace
Abstract: We use flat antiholomorphic superconnections to study orbifold Chern character following the method introduced by Bismut, Shen, and Wei on general complex orbifolds. We show the uniqueness of orbifold Chern character by proving a Riemann-Roch-Grothendieck theorem for orbifold embeddings.
On some connections between Kobayashi geometry and pluripotential theory
oai:arXiv.org:2505.16949v3
arXiv:2505.16949v3 Announce Type: replace
Abstract: In this paper, we explore some connections between Kobayashi geometry and the Dirichlet problem for the complex Monge--Amp\`ere equation. Among the results we obtain through these connections are: $(i)$~a theorem on the continuous extension up to $\partial{D}$ of a proper holomorphic map $F: D\longrightarrow \Omega$ between domains with $\dim_{\mathbb{C}}(D) < \dim_{\mathbb{C}}(\Omega)$, and $(ii)$~a result that establishes the existence of bounded domains with ``nice'' boundary geometry on which H\"older regularity of the solutions to the complex Monge--Amp\`ere equation fails. The first, a result in Kobayashi geometry, relies upon an auxiliary construction that involves solving the complex Monge--Amp\`ere equation with H\"older estimates. The second result relies crucially on a bound for the Kobayashi metric.
Asymptotic behavior of solutions to critical Hartree equations with isolated singularities
oai:arXiv.org:2505.19021v3
arXiv:2505.19021v3 Announce Type: replace
Abstract: We investigate the qualitative properties of positive classical solutions $u$ to critical Hartree equations on punctured domains, assuming that $u(x)\to+\infty$ as $x\to0$. For the global problem set in $\mathbb R^n\setminus\{0\}$, we prove that such solutions are radial and nonincreasing in $|x|$. For the local problem in $B_R\setminus\{0\}$, we establish the upper bound $u(x)\leqslant C|x|^{-(n-2)/2}$ near the origin and the asymptotic radial symmetry estimate
\begin{equation*}
u(x)=\bar u(|x|)\bigl(1+\mathcal O(|x|)\bigr)\qquad\text{as }x\to0,
\end{equation*}
where $\bar u$ is the spherical average of $u$. Our approach combines integral representations, blow-up analysis, and the method of moving spheres. A main difficulty is controlling the nonlocal Hartree potential under Kelvin inversion and in the blow-up limit. We also give an alternative proof of the classification of positive entire classical solutions in $\mathbb{R}^{n}$, which is used to identify the blow-up profile.
The Chow Ring of the 2-Sylow Subgroup of $\mathrm{GL}(4,2)$
oai:arXiv.org:2506.06512v2
arXiv:2506.06512v2 Announce Type: replace
Abstract: This paper provides a computation of the mod 2 Chow ring of the motivic \'etale classifying space of the finite group $\mathrm{Syl}_2(\mathrm{GL}(4,2))$. It outlines a general computation strategy, adapted from work by Burt Totaro, that has been largely automated by the author. This strategy can be used to compute more examples of Chow rings of motivic \'etale classifying spaces quickly.
Finite Combinatorics and Fragments of Arithmetic
oai:arXiv.org:2506.17943v2
arXiv:2506.17943v2 Announce Type: replace
Abstract: In fragments of first order arithmetic, definable maps on finite domains could behave very differently from finite maps. Here combinatorial properties of $\Sigma_{n+1}$-definable maps on finite domains are compared in the absence of $B\Sigma_{n+1}$. It is shown that $\mathrm{GPHP}(\Sigma_{n+1})$ (the $\Sigma_{n+1}$-instance of Kaye's General Pigeonhole Principle) lies strictly between $\mathrm{CARD}(\Sigma_{n+1})$ and $\mathrm{WPHP}(\Sigma_{n+1})$ (Weak Pigeonhole Principle for $\Sigma_{n+1}$-maps), and also that $\mathrm{FRT}(\Sigma_{n+1})$ (Finite Ramsey's Theorem for $\Sigma_{n+1}$-maps) does not imply $\mathrm{WPHP}(\Sigma_{n+1})$.
Modeling Group Actions on Stacks (Especially the Lubin-Tate Action)
oai:arXiv.org:2507.00309v2
arXiv:2507.00309v2 Announce Type: replace
Abstract: Suppose we are given a profinite group G acting on a formal moduli stack M, and we want to understand the group action, and compute cohomology related to this group action. How can we do it? This prolegomenon conveys two methods of pinning down such an action: geometric modeling and the two-tower method. We highlight their use on a specific action -- the automorphisms of a formal group acting on its deformation space, called the Lubin-Tate action.
We provide the toolkit that these two methods run on. The pieces of the kit are standard in their own subjects, but the Lubin-Tate action requires us to sew them together and ask more of them than their usual statements give, and several are set down here in that stronger form: equivariantly, in families, and with the grading kept. The tools are put to work in the two sequels, which build geometric models at height p-1 and at the heights p^{k-1}(p-1) above it; the two-tower material is a companion to the proof of the coheight one weak chromatic splitting conjecture.
Infinitesimal Torelli problems for special Gushel-Mukai and related Fano threefolds: Hodge theoretical and categorical perspectives
oai:arXiv.org:2507.06995v2
arXiv:2507.06995v2 Announce Type: replace
Abstract: A hyperelliptic curve is the classical example of a variety for which the global Torelli theorem holds while the differential of the period map has a kernel, forced by the extra involution. We study the analogous phenomenon for Fano threefolds that are double covers of rigid Fano threefolds branched along a K3 surface, mainly special Gushel--Mukai threefolds. We prove that the part of the infinitesimal period map invariant under the covering involution is injective, so that the kernel is exactly the three-dimensional space of anti-invariant deformations, one more than for ordinary Gushel--Mukai threefolds. We give a Hodge-theoretic proof, which reduces to a twisted infinitesimal Torelli theorem for the branch K3 surface, and a categorical proof, based on Kuznetsov's normal Hochschild cohomology, which also applies in genus eight and identifies the kernel with the tangent space to a distinguished point of a Bridgeland moduli space. The two descriptions of the kernel are related directly through the Pl\"ucker net and the conic of special lines of the quintic del Pezzo threefold. Finally, ordinary Verra threefolds satisfy the infinitesimal Torelli theorem, while special ones have a one-dimensional kernel; in both cases the kernel agrees with that of the categorical period map of a Clifford component, and it is the tangent space to the deformations of a canonical spinor bundle, which is rigid in the ordinary case and obstructed at second order in the special case.
A Lie Bracket on the Space of (Right) Biderivations of a Lie Algebra
oai:arXiv.org:2507.12089v2
arXiv:2507.12089v2 Announce Type: replace
Abstract: Derivations of a Lie algebra form a Lie algebra under the commutator bracket. Motivated by this property, we investigate Lie algebra structures on spaces of biderivations. We introduce right and left biderivations and show that their spaces admit natural Lie brackets induced by pointwise commutators of derivations. We describe these structures in terms of current Lie algebras and establish a cohomological characterisation of classical biderivations, with applications to semisimple and Heisenberg Lie algebras. We also examine the relation between the right and left brackets for symmetric and skew-symmetric biderivations. Finally, we discuss the pointwise integration of right biderivations into families of Lie group automorphisms.
One-weight codes in the sum-rank metric
oai:arXiv.org:2508.04262v3
arXiv:2508.04262v3 Announce Type: replace
Abstract: One-weight codes, in which all nonzero codewords share the same weight, form a highly structured class of linear codes with deep connections to finite geometry. While their classification is well understood in the Hamming and rank metrics - being equivalent to (direct sums of) simplex codes - the sum-rank metric presents a far more intricate landscape. In this work, we explore the geometry of one-weight sum-rank metric codes, focusing on three distinct classes. First, we introduce and classify \emph{constant rank-list} sum-rank codes, where each nonzero codeword has the same tuple of ranks, extending results from the rank-metric setting. Next, we investigate the more general \emph{constant rank-profile} codes, where, up to reordering, each nonzero codeword has the same tuple of ranks. Although a complete classification remains elusive, we present the first examples and partial structural results for this class. Finally, we consider one-weight codes that are also MSRD (Maximum Sum-Rank Distance) codes. For dimension two, constructions arise from partitions of scattered linear sets on projective lines. For dimension three, we connect their existence to that of special $2$-fold blocking sets in the projective plane, leading to new bounds and nonexistence results over certain fields.
Relative mirror symmetry, theta functions and the Gamma conjecture
oai:arXiv.org:2508.06750v2
arXiv:2508.06750v2 Announce Type: replace
Abstract: Let $X$ be a Fano variety, and $D\subset X$ be an snc anticanonical divisor. We study relative mirror symmetry for the log Calabi--Yau pair $(X,D)$. (1) We prove a relative mirror theorem for snc pairs without assuming the divisors are nef. (2) We study theta functions associated with the pair $(X,D)$. (3) We introduce functions on the mirror that are obtained from the higher-degree part of the big relative quantum cohomology. As an application, we use these new ingredients in relative mirror symmetry to prove a version of the mirror symmetric Gamma conjecture for $X$ for $\mathcal O_X$ and $\mathcal O_{\operatorname{pt}}$ in this setting, where the Landau--Ginzburg potential is defined as a sum of theta functions.
Descent problem for certificate of non-negativity on semi-algebraic sets
oai:arXiv.org:2508.07060v2
arXiv:2508.07060v2 Announce Type: replace
Abstract: Let $F$ be a subfield of $\mathbb R$ and let $K$ be a basic closed semi-algebraic set in $\mathbb R$ with $\partial K\subset F$. Let $\mathcal N$ be the natural choice of generators of $K$. We show that if $f\in F[x]$ is $\geq 0$ on $K$, then $f$ can be written as $$f=\sum_{e\in\{0,1\}^s } a_e\sigma_e g^e $$ where $a_e\in F_{\geq 0}$, $\sigma_e\in \sum F[x]^2$ and $g^{e}=g_1^{e_1} \cdots g_s^{e_s}$. In other words, the preordering $T_{\mathcal N}$ of $F[x]$ is saturated. In case $F=\mathbb R$, this result is due to Kuhlmann and Marshall. As an application, we prove that if $K$ is compact, then $M_{\mathcal N}=T_{\mathcal N}=Pos(K)$. In other words, the quadratic module $M_{\mathcal N}$ of $F[x]$ is saturated.
Upper bound on heat kernels of finite particle systems of Keller-Segel type
oai:arXiv.org:2508.10892v4
arXiv:2508.10892v4 Announce Type: replace
Abstract: We obtain an upper bound on the heat kernel of the finite particle approximation of the Keller-Segel model of chemotaxis. The proof exploits a connection with certain non-local operators. We also obtain upper heat kernel bounds for related systems of interacting Brownian and stable particles that exhibit similar local blow-up effects.
A cluster criterion for potential degeneracy of superelliptic curves
oai:arXiv.org:2508.15974v2
arXiv:2508.15974v2 Announce Type: replace
Abstract: Let $K$ be a field with a discrete valuation; let $p$ be a prime; and let $C$ be the curve defined by an equation of the form $y^p = f(x)$. We show that the curve $C$ has a model over an algebraic extension of $K$ whose special fiber consists of genus-$0$ components and has at worst nodal singularities if and only if the cluster data of the roots of $f$ satisfies a certain criterion, and when these hold, we show explicitly how to build the minimal regular model of $C$. We develop an interpretation of cluster data in terms of a convex hull in the Berkovich projective line and express the above results directly in terms of this convex hull.
Convexity of mean convex asymptotically conical self-expanders to the mean curvature flow
oai:arXiv.org:2509.01023v2
arXiv:2509.01023v2 Announce Type: replace
Abstract: In this paper, we prove that any $n$-dimensional complete mean convex self-expander of mean curvature flow in $\mathbb{R}^{n+1}$, $n\geq3$, asymptotic to weakly convex cones is strictly convex. As a consequence, each connected component of such a self-expander is properly embedded as an entire graph over a hyperplane, with bounded gradient. We also establish an elliptic positivity criterion for mean convex self-similar solutions, with an application to curvature pinching for asymptotically conical self-expanders.
On Isolated Geometric Triangulations
oai:arXiv.org:2509.01627v2
arXiv:2509.01627v2 Announce Type: replace
Abstract: Work of Kalelkar, Schleimer, and Segerman shows that, with some exceptions, the set of essential ideal triangulations of an orientable cusped hyperbolic 3-manifold is connected via 2-3 and 3-2 moves. It is natural to ask if the subgraph consisting of only those triangulations that are geometric is connected. Hoffman gives the first two examples of geometric triangulations with the property that no 2-3 or 3-2 move results in a geometric triangulation. In this paper, we introduce these as isolated geometric triangulations and show that this is not a property of small manifolds by exhibiting an infinite family of once-punctured torus bundles whose monodromy ideal triangulation is isolated.
Optimizing a Worldwide-Scale Shipper Transportation Planning in a Carmaker Inbound Supply Chain
oai:arXiv.org:2509.07576v4
arXiv:2509.07576v4 Announce Type: replace
Abstract: We study the shipper-side design of large-scale inbound transportation networks, motivated by the global supply chain of the carmaker Renault. We formalize the Shipper Transportation Planning Problem (STPP), which integrates discrete flow consolidation via explicit bin-packing, time-expanded routing, and operational regularity constraints. To solve this high-complexity combinatorial problem at an industrial scale, we propose a tailored Iterated Local Search (ILS) metaheuristic. The algorithm combines large-neighborhood search with MILP-based perturbations and leverages bundle-specific decompositions to obtain effective search guidance. Computational experiments on real industrial data involving more than 700,000 commodities and 1.2 million arcs demonstrate that the ILS achieves an average gap of 7.9% to the best available lower bound. The results reveal a 23.2% cost-reduction potential compared to legacy planning benchmarks. Most significantly, the proposed framework is currently deployed in production at Renault, where it supports weekly strategic decisions. Internal evaluations indicates realizable cost savings estimated at approximately 20 million euros per year. Our analysis yields key managerial insights: we demonstrate that explicit 1D bin-packing is a critical step forward for realistic consolidation modeling, that transport regularity offers a robust balance between cost and stability, and that high-volume global networks benefit significantly from in-house strategic planning over third-party outsourcing. To the best of our knowledge, this is the first work to successfully solve a shipper-side transportation design problem at this magnitude.
Convergence of pivoted Cholesky for Lipschitz kernels
oai:arXiv.org:2509.13582v3
arXiv:2509.13582v3 Announce Type: replace
Abstract: We investigate the continuous analogue of the Cholesky factorization, namely the pivoted Cholesky algorithm. Our analysis establishes quantitative convergence guarantees for kernels of minimal smoothness. We prove that for a symmetric positive definite Lipschitz continuous kernel $K:\Omega\times \Omega \rightarrow \mathbb{R}$ on a compact domain $\Omega\subset\mathbb{R}^d$, the residual of the Cholesky algorithm with complete pivoting (where the maximum value of the diagonal of the residual is selected as the next pivot) is uniformly bounded above by a constant multiple of the separation distance of the pivots, which implies the convergence rate $\|R_n\|_\infty=\mathcal{O}(n^{-1/d})$, where $R_n$ is the residual after $n$ Cholesky steps and $\|\cdot\|_\infty$ is the supremum norm. Along the way, we show that for any pivoting strategy, $\|R_n\|_\infty$ is bounded by a constant multiple of the fill distance of the pivots. Moreover, if $K$ is differentiable in both variables with a Lipschitz derivative and $\Omega$ is convex, our convergence rate improves to $\mathcal{O}(n^{-2/d})$. Our result closes a gap between theory and practice as previous analyses required $K$ to be $C^2$-regular or translation invariant to establish convergence, whereas empirical evidence indicated robust performance even for non-differentiable kernels. We further prove a connection between the Cholesky algorithm and the P-greedy interpolation method, as well as downstream applications to Gaussian process regression and matrix Cholesky factorization.
Bellman Optimality of Average-Reward Robust Markov Decision Processes with a Constant Gain
oai:arXiv.org:2509.14203v4
arXiv:2509.14203v4 Announce Type: replace
Abstract: Learning and optimal control under robust Markov decision processes (MDPs) have received increasing attention, yet most existing theory, algorithms, and applications focus on finite-horizon or discounted models. Long-run average-reward formulations, while natural in many operations research and management contexts, remain underexplored. This is primarily because the dynamic programming foundations are technically challenging and only partially understood, with several fundamental questions remaining open. This paper steps toward a general framework for average-reward robust MDPs by analyzing the constant-gain setting. We study the average-reward robust control problem with possible information asymmetries between the controller and an S-rectangular adversary. Our analysis centers on the constant-gain robust Bellman equation, examining both the existence of solutions and their relationship to the optimal average reward. Specifically, we identify when solutions to the robust Bellman equation characterize the optimal average reward and stationary policies, and we provide one-sided weak communication conditions ensuring solutions' existence. These findings expand the dynamic programming theory for average-reward robust MDPs and lay a foundation for robust dynamic decision making under long-run average criteria in operational environments.
Non-degenerate mixed maps and contact structures
oai:arXiv.org:2510.03033v4
arXiv:2510.03033v4 Announce Type: replace
Abstract: We develop a theory of mixed isolated complete intersection singularities: real analytic maps $(\mathbb C^n,0)\to(\mathbb C^k,0)$ in the variables $z$ and $\bar z$ that are submersions along their punctured zero fiber. We give a Newton non-degeneracy criterion for this property and three sources of examples: Siegel maps arising from linear actions, mixed coverings, and mixed Hamm maps. For maps built from blocks of polar degree one that satisfy a weighted positivity condition, the punctured zero fiber is symplectic and every spherical link is contact, with the polar action as Reeb flow. Conversely, contact links of polar weighted maps force symplectic zero fibers, whereas the zero fibers of Siegel maps are coisotropic. Along the deformation of a mixed Hamm map to its holomorphic counterpart we prove exact symplectic rigidity: the punctured zero fibers are identified by equivariant maps that preserve the weighted Liouville form, the radius and every coordinate stratum. Hence all their links are strictly contactomorphic to the holomorphic Hamm link with its canonical contact structure, and the strict contact type depends only on the polar exponents and the dimensions. At each fixed radius these identifications extend to contact isotopies of the ambient weighted sphere. We also construct adapted open books, show that the ambient open books of mixed Hamm functions support the standard contact sphere, and deduce positive-stabilization equivalence in dimension three from Giroux's correspondence. Finally, we prove contact stability under higher-order perturbations of a radially homogeneous principal part.
Extremal monomials of $q$-characters
oai:arXiv.org:2510.08103v2
arXiv:2510.08103v2 Announce Type: replace
Abstract: In this short paper, we prove a conjecture of Frenkel-Hernandez, which states that $q$-characters of finite-dimensional simple modules of the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ are bounded by the Weyl group orbit of the leading monomial under Chari's braid group action. This can be regarded as a (partial) quantum affine generalization of the Weyl group invariance of characters of finite-dimensional representations of $\mathfrak{g}$.
Isolation of non-triangle cycles in graphs
oai:arXiv.org:2510.08361v2
arXiv:2510.08361v2 Announce Type: replace
Abstract: Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $\iota(G, \mathcal{F})$, is the size of a smallest set $D$ of vertices of $G$ such that the closed neighbourhood $N[D]$ of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G-N[D]$ contains no $\mathcal{F}$-graph). Let $\mathcal{C}$ be the set of cycles, and let $\mathcal{C}'$ be the set of non-triangle cycles (that is, cycles of length at least $4$). Let $G$ be a connected graph having exactly $n$ vertices and $m$ edges. The first author proved that $\iota(G,\mathcal{C}) \leq n/4$ if $G$ is not a triangle. Bartolo and the authors determined a set $\mathcal{E}_4$ of nine graphs such that $\iota(G,\{C_4\}) \leq n/5$ if $G$ is not an $\mathcal{E}_4$-graph. Chen and Cui recently strengthened this result by proving that $\iota(G, \mathcal{C}') \leq n/5$ if $G$ is not an $\mathcal{E}_4$-graph. This had been proved by Zhang and Wu for the case where $G$ contains no triangle. Various authors proved that $\iota(G,\mathcal{C}) \leq (m+1)/5$ if $G$ is not a triangle. We prove that $\iota(G,\mathcal{C}') \leq (m+1)/6$ if $G$ is not a $4$-cycle. Zhang and Wu established this for the case where $G$ contains no triangle. Our result yields the inequality $\iota(G,\{C_4\}) \leq (m+1)/6$ of Wei, Zhang and Zhao. These bounds are attained by infinitely many (non-isomorphic) graphs. The proof of our inequality hinges on also determining the graphs attaining the bound.
Mixed local-nonlocal equations with critical nonlinearity on $\mathbb{R}^N$: Non-existence, Existence, and Multiplicity of positive solutions
oai:arXiv.org:2510.15507v5
arXiv:2510.15507v5 Announce Type: replace
Abstract: We consider the following quasilinear critical problem involving the mixed local-nonlocal operator: \begin{equation}\label{main_prob_abstract_1}\tag{$\mathcal{P}_p$}
-\Delta_p u+(-\Delta_p)^s u=|u|^{p^*-2}u+f \text{ in }\mathbb{R}^N, \end{equation} where $s \in (0,1), p \in (1, \infty), N>p$, $p^*=\frac{Np}{N-p}$, and $f$ is a nonnegative functional in the dual space of the ambient solution space. If $f \equiv0$, then we show that \eqref{main_prob_abstract_1} does not admit any nontrivial weak solution. This phenomenon stands in contrast to the purely local and purely nonlocal cases. On the other hand, if $f$ is a nontrivial nonnegative functional, we establish the existence of a positive weak solution to \eqref{main_prob_abstract_1} provided $\|f\|$ is small. For this purpose we prove the concentration compactness principle for the mixed operator $-\Delta_p +(-\Delta_p)^s$ in $\mathbb{R}^N$. We also discuss the multiplicity of positive weak solutions to \eqref{main_prob_abstract_1}.
On well-posedness of stable-driven McKean-Vlasov stochastic differential equations with Besov interaction kernel of negative regularity
oai:arXiv.org:2510.16452v2
arXiv:2510.16452v2 Announce Type: replace
Abstract: We prove well-posedness results for time-inhomogeneous stable-driven McKean-Vlasov stochastic differential equations with a convolution drift where the interaction kernel belongs to some Lebesgue-Besov space. The novelty of this work is that we manage to go below -1 in space regularity for such a kernel. This is achieved under additional smoothness conditions on the initial data and divergence conditions on the kernel. The proof heavily relies on a suitable product rule in Besov space. We prove smoothing properties of the law, which allow us to have the drift in a Lebesgue-Besov space of non-positive regularity.
Ranges of Extremal Processes and Heavy-Tailed Random Walks in Spaces of Growing Dimension
oai:arXiv.org:2510.18780v5
arXiv:2510.18780v5 Announce Type: replace
Abstract: We consider extremal processes and random walks generated by heavy-tailed random vectors taking values in ${\mathbb R}^d$ endowed with the $\ell_p$ metric. We establish limit theorems for the ranges of associated paths in the triangular array setting when both the number of steps $n$ and the dimension $d$ grow to infinity. It is shown that it is possible to transform the paths by suitable linear isometric embeddings of $\ell_p$ such that the transformed paths converge in distribution and to identify the limit in terms of a Poisson cluster process. These results also imply the convergence in distribution of the paths viewed as finite metric spaces in the space of metric spaces equipped with the Gromov--Hausdorff metric. Furthermore, we prove convergence in distribution of the transformed paths in the space of counting measures on the line equipped with a Hausdorff metric induced by a suitable $\ell_p$-type distance between counting measures.
Effective existence of primitive k-normal elements via affine spaces
oai:arXiv.org:2510.26972v2
arXiv:2510.26972v2 Announce Type: replace
Abstract: Let $\mathbb{F}_{q^n}$ be the finite field with $q^n$ elements. An element $\alpha \in \mathbb{F}_{q^n}$ is $k$-normal over $\mathbb{F}_q$ if $\alpha$ and its conjugates span an $\mathbb{F}_q$-subspace of dimension $n-k$. It is known that, for $q$ sufficiently large, a primitive $k$-normal element exists if and only if there exists a $k$-normal element free of binomials, but the lower bound on $q$ is not explicit. We count the $k$-normal elements in specific affine subspaces of $\mathbb{F}_{q^n}$ and show that, in some of them, all but at most one element is $k$-normal. Combining this with character sum estimates over affine spaces and a sieve, we obtain an explicit lower bound on $q$ above which a primitive $k$-normal element exists, provided there is a $k$-normal element free of binomials whose $\mathbb{F}_q$-order has a linear factor or is irreducible. As an application, we compute these bounds for $5 \le n \le 8$ and give a complete characterization of the existence of primitive $k$-normal elements in $\mathbb{F}_{q^6}$ over $\mathbb{F}_q$.
Spectral and Schr\"odinger estimates restricted to submanifolds
oai:arXiv.org:2511.02012v2
arXiv:2511.02012v2 Announce Type: replace
Abstract: Let $M$ be a complete Riemannian manifold with nonpositive sectional curvature and smooth bounded geometry. We prove logarithmic spectral projection estimates restricted to uniformly embedded submanifolds. On surfaces with pinched negative curvature, we also prove frequency-independent $L^2\to L^3$ Schr\"odinger restriction estimates on compact geodesic segments for times $c\lambda^{-1}\log\lambda$. If such a surface is even asymptotically hyperbolic, the $L^2\to L^q$ spectral estimates on complete nontrapped geodesics, for $q>2$, gain the square root of the window width. The high-frequency Schr\"odinger estimate holds for all times on these surfaces, both on compact segments and on complete nontrapped geodesics. Under a regularity assumption at the spectral threshold, the all-time estimate holds on the absolutely continuous spectral subspace.
Generalized mKdV Equation and Genus Two Jacobi Type Hyperelliptic Differential Equation
oai:arXiv.org:2511.02621v4
arXiv:2511.02621v4 Announce Type: replace
Abstract: We generalized the mKdV equation in order that the static equations include ${\rm sn}$ differential equation. As a result, a good correspondence was obtained between the KdV equation and the mKdV equation.For general genus two hyperelliptic curves, we obtained differential equations for Weierstrass type and Jacobi type hyperelliptic functions. Considering the special case of $\lambda_6=0, \lambda_0=0$, Weierstrass type and Jacobi type hyperelliptic functions are different solutions to the same hyperelliptic differential equations. Then these solutions are connected by the special ${\rm Sp(4, {\bf R})}$ Lie group transformation.
Geometries for Groups
oai:arXiv.org:2511.03887v2
arXiv:2511.03887v2 Announce Type: replace
Abstract: We prove a "continuous converse" to the Milnor-Schwarz lemma. Given any topological group $G$ and any left-invariant, large scale geodesic pseudometric $d$ giving an identity neighborhood finite diameter (for example, the word metric with respect to an open generating set), we construct a geodesic metric space $X$ equipped with a continuous, isometric, cobounded action of $G$ such that $(G,d)$ and $X$ are quasi-isometric via any orbit map.
Properties of Holomorphic $p$-Contact Manifolds
oai:arXiv.org:2511.10818v2
arXiv:2511.10818v2 Announce Type: replace
Abstract: We continue the study of compact holomorphic $p$-contact manifolds $X$ that we introduced recently by expanding the discussion to include non-K\"ahler hyperbolicity issues and a differential calculus based on what we call the Lie derivative with respect to a $(0,\,q)$-form with values in the holomorphic tangent bundle of $X$. We also propose the notion of $p$-contact deformations for which we prove a Bogomolov-Tian-Todorov-type unobstructedness theorem to order two. This kind of small deformations of the complex structure is related to the essential horizontal deformations that we introduced in our previous work and forms part of a wider on-going project aimed at developing a non-K\"ahler mirror symmetry theory that was first tested on the Iwasawa manifold and subsequently on Calabi-Yau page-$1$-$\partial\bar\partial$-manifolds.
Subgame Perfect Methods in Nonsmooth Convex Optimization
oai:arXiv.org:2511.13639v2
arXiv:2511.13639v2 Announce Type: replace
Abstract: This paper considers nonsmooth convex optimization with either a subgradient or proximal operator oracle. In both settings, we identify algorithms that achieve the recently introduced game-theoretic optimality notion for algorithms known as subgame perfection. Subgame perfect algorithms meet a more stringent requirement than just minimax optimality. Not only must they provide optimal uniform guarantees on the entire problem class, but also on any subclass determined by information revealed during the execution of the algorithm. In the setting of nonsmooth convex optimization with a subgradient oracle, we show that the Kelley cutting-plane-Like Method due to~\cite{drori2016Kelley} is subgame perfect. For nonsmooth convex optimization with a proximal operator oracle, we develop a new algorithm, the Subgame Perfect Proximal Point Algorithm (SPPPA), and establish that it is subgame perfect. Both of these methods solve a history-aware second-order cone program within each iteration, independent of the ambient problem dimension, to plan their next steps. This yields performance guarantees that are never worse than the minimax optimal guarantees and often substantially better. Preliminary numerical experiments with these methods, especially SPPPA, show strong performance with limited memory and inexact implementations.
Integral quasi-strongly regular Cayley graphs
oai:arXiv.org:2511.14496v2
arXiv:2511.14496v2 Announce Type: replace
Abstract: Quasi-strongly regular graphs form a significant generalization of strongly regular graphs. We study the eigenvalues of a family of such graphs, $\Gamma_H(G)$, constructed from a finite group $G$ and a subgroup $H$. Our main results include a sufficient condition for $\Gamma_H(G)$ to be integral and an explicit computation of its entire spectrum when $H$ is normal, revealing that the spectrum in this case depends only on $|G|$ and the index $[G:H]$.
Affine diagram categories, algebras and monoids
oai:arXiv.org:2512.05510v3
arXiv:2512.05510v3 Announce Type: replace
Abstract: We introduce and study several affine (=annular in this paper) versions of the classical diagram algebras such as Temperley-Lieb, partition, Brauer, Motzkin, rook Brauer, rook, planar partition, and planar rook algebras. We give generators and relation presentation for them and their associated categories, study their representation theory, and the asymptotic behavior of tensor products of their representations in the monoid case. Under a mild hypothesis, we also prove a previous conjecture concerning the asymptotic growth of the number of indecomposable summands in the tensor powers of representations for finite monoids.
Notes on the multiplier systems of $\eta(\tau)$ and $\theta(\tau)$
oai:arXiv.org:2512.08187v2
arXiv:2512.08187v2 Announce Type: replace
Abstract: The multiplier systems of $\eta^{2k}(\tau)$ and $\theta^{2k}(\tau)$ $(k\in\mathbb{Z})$ are characters. In this paper, we determine their kernels, Ker$\,\nu_{\eta^{2k}}$ and Ker$\,\nu_{ \theta^{2k} } $.
Explicit correlation functions for the six-vertex model in the free-fermion regime
oai:arXiv.org:2512.10199v3
arXiv:2512.10199v3 Announce Type: replace
Abstract: In this article, we show that, in the free-fermion regime of the six-vertex model, all $k$-point correlation functions of vertex types admit a determinantal representation: \begin{align*} \mathbb{P}\Bigg( \bigcap_{p=1}^k \{ \text{vertex at } v^p \text{ has type } t_p \} \Bigg) = \left( \prod_{p=1}^k a_{t_p} \right)
\det\big[ L(x^i,y^j) \big]_{i,j=1}^{2k}, \end{align*} where $t_1,\ldots,t_k \in \{1,\ldots,6\}$ label the six possible vertex types, and $\{a_t : 1 \leq t \leq 6\}$ are the corresponding six-vertex weights. For each $1 \leq p \leq k$, the four points $x^{2p-1}, x^{2p}, y^{2p-1}, y^{2p} \in (\mathbb{Z}/2)^2$ are $t_p$-dependent choices among the midpoints of the edges incident to $v^p$. The correlation kernel $L$ has the contour integral representation \begin{align*} L(x,y) = \oint_{|w_1|=1} \oint_{|w_2|=1}
\frac{dw_1}{2\pi i\, w_1}\,
\frac{dw_2}{2\pi i\, w_2}\,
w_1^{\,y_1 - x_1}\, w_2^{\,y_2 - x_2}\,
h\big(c(x),c(y);w_1,w_2\big), \end{align*} where $h\big(c(x),c(y);w_1,w_2\big)$ is a simple rational function of $(w_1,w_2)$ that depends on $x$ and $y$ only through their orientations $c(x)$ and $c(y)$.
As applications of our formula, we obtain a new expression for the frequency of vertices of each type and calculate the fine pairwise correlations of local vertex events in the free-fermion regime, showing that they decay quadratically with the distance between the vertices, in line with the quadratic decay known for related observables in the statistical-physics literature.
Our proof is self-contained: we construct a determinantal point process on $\mathbb{Z}^2$ and identify the six-vertex model as its pushforward under an explicit mapping.
A deterministic particle approximation for a fourth-order equation
oai:arXiv.org:2512.11441v2
arXiv:2512.11441v2 Announce Type: replace
Abstract: We provide a deterministic particle approximation to a fourth order equation with applications in cell-cell adhesion. In order to do that, first we show that the equation can be asymptotically obtained as a limit from a class of well-posed nonlocal partial differential equations. These latter have the advantage that the particles' empirical measure naturally satisfies the equation. Afterwards, we obtain stability of the 2-Wasserstein gradient flow of this family of nonlocal equations that we use in order to recover a deterministic particle approximation of the fourth order equation. Up to our knowledge, in this manuscript we derive the first deterministic particle approximation for a fourth-order partial differential equation. Finally, we give some numerical simulations of the model at the particles level.
Quantization in polarization via transverse Poincar\'e-Birkhoff-Witt theorem
oai:arXiv.org:2512.15060v2
arXiv:2512.15060v2 Announce Type: replace
Abstract: We construct, for every prequantizable symplectic manifold $(M,\omega,L)$ equipped with a nonsingular polarization, a deformation quantization $(C_M^\infty[[\hbar]],\star)$ together with a filtered sheaf of subalgebras $C_{M,\hbar}^{(<\infty)}$ that admits an exact action on polarized sections of $L^{\otimes k}$ for each $k\in\mathbb Z^+$. This extends the Kostant--Souriau action of polarization-preserving functions.
The main geometric ingredient is a transverse PBW theory associated with a Nirenberg integrable distribution $P$. For any locally free $P$-modules $E$ and $E'$, we construct a PBW isomorphism for the bundle of transverse differential operators from $E$ to $E'$. This extends the PBW theorem for Lie pairs of Laurent-Gengoux--Sti\'enon--Xu to the setting of $P$-modules.
After specializing $\hbar= \tfrac{\sqrt{-1}}{k}$, we obtain a sheaf $O_k^{(<\infty)}$ of level-$k$ quantizable functions and prove that its action identifies $O_k^{(<\infty)}$ with the sheaf of transverse differential operators on $L^{\otimes k}$. In the K\"ahler case, this recovers the construction of Chan--Leung--Li.
Finally, for standard symplectic tori with real polarizations, we compare our construction with Toeplitz-type operators and obtain their semiclassical asymptotic expansions.
Four Function Theorems Through Optimal Transport and Entropic Analogs
oai:arXiv.org:2512.19003v2
arXiv:2512.19003v2 Announce Type: replace
Abstract: We study entropic versions of four-function inequalities and give transport proofs of the Euclidean Ahlswede-Daykin theorem and a four-function version of the Prekopa-Leindler inequality due to Cordero-Erausquin and Maurey. One of our main results shows that the sharp range for the four-function inequality for equally weighted power means of finite orders \(\alpha,\beta\) is \(0\leq\alpha+\beta\leq2\), with the Ahlswede-Daykin min-max inequality obtained as a limit. En route, we prove corresponding entropy inequalities under the quadratic optimal transport coupling, including an entropy power inequality for the minimum and maximum in Euclidean space. We also study the stability of four-function inequalities under convolution with log-concave product densities, recovering the preservation of log-supermodularity established by Karlin and Rinott, and explain its application to a conditional entropy power inequality for log-supermodular random variables.
Cartier duality for gerbes of vector bundles
oai:arXiv.org:2512.24967v3
arXiv:2512.24967v3 Announce Type: replace
Abstract: We prove a Cartier duality for gerbes of algebraic and analytic vector bundles as an anti-equivalence of Hopf algebras in the category of kernels of analytic stacks. As an application, we prove that the category of solid quasi-coherent sheaves on the Hodge-Tate stack of a smooth rigid variety over an algebraically closed field $C$ of mixed characteristic $(0,p)$ is equivalent to the category of weight $1$ sheaves on Bhatt-Zhang's Simpson gerbe.
Fractional Besov-Sobolev Spaces on Chord-arc Curves
oai:arXiv.org:2601.01348v3
arXiv:2601.01348v3 Announce Type: replace
Abstract: Let $\Gamma$ be a bounded rectifiable Jordan curve, with complementary domains $\Omega_i$ and $\Omega_e$. For $1
4$, this principle fails on a suitable radial-Lipschitz domain, showing that the upper bound $4$ cannot be increased uniformly over this class.
Separation properties of a hybrid point process with determinantal radii and uniform arguments
oai:arXiv.org:2601.01474v2
arXiv:2601.01474v2 Announce Type: replace
Abstract: We recently characterized the almost sure separation of determinantal point processes $\Lambda_\phi$ in the plane associated with Fock spaces $\mathcal F_\phi$ with doubling weights $\phi$. We also showed that, as expected, a more restrictive condition is required to characterize the almost surely separated Poisson processes with the same first intensity as $\Lambda_\phi$. To gain further insight into this difference in behavior, we focus on radial weights $\phi$ and introduce a hybrid process $\Lambda_\phi^M=\{r_j e^{i\theta_j}\}_{j}$, where the moduli $r_j$ are taken from $\Lambda_\phi$, while the arguments $\theta_j$ are chosen independently and uniformly in $[0,2\pi)$, independently of the radii. Our main result is that the hybrid process is almost surely separated under exactly the same condition as the corresponding Poisson process. Thus, despite preserving the joint radial distribution of the determinantal process, independent angular randomization destroys its improved separation properties.
Efficient total facial coloring of combinatorial maps
oai:arXiv.org:2601.12514v4
arXiv:2601.12514v4 Announce Type: replace
Abstract: Let $1
The distinguishing number of complete bipartite and crown graphs
oai:arXiv.org:2601.15913v2
arXiv:2601.15913v2 Announce Type: replace
Abstract: The distinguishing number of a permutation group $G\leqslant\Sym(\Omega)$ is the minimum number of colours needed to colour $\Omega$ in such a way that the only colour preserving element of $G$ is the identity. The distinguishing number of a graph is the distinguishing number of its automorphism group (as a permutation group on vertices). We determine the distinguishing number of the complete bipartite graphs $K_{n,n}$ and the crown graphs $K_{n,n}-nK_2$, as well as the distinguishing number of some `large' subgroups of their automorphism groups, that is, the subgroups that are vertex- and edge-transitive and such that the induced action on each bipart is $\Alt(n)$ or $\Sym(n)$. We show that, if $G$ is a `large' group of automorphisms of $K_{n,n}$, then $n-1\leqslant D(G) \leqslant n+1$. Similarly, if $G$ is a `large' group of automorphisms of a crown graph, then $\lceil \sqrt{n-1}\rceil \leqslant D(G)\leqslant \lfloor \sqrt{n}\rfloor+1$.
\smallskip
\textit{Keywords:} complete bipartite graph; crown graph; distinguishing number; symmetric group; alternating group
On the structural properties of Lie algebras via associated labeled directed graphs
oai:arXiv.org:2601.16161v2
arXiv:2601.16161v2 Announce Type: replace
Abstract: We present a method for associating labeled directed graphs to finite-dimensional Lie algebras that are $graph$-$admissible$. The proposed framework enables visual identification of key structural algebraic features. We first formalize this approach and establish several classes of Lie algebras that admit the categorization as graph-admissible Lie algebras, and then investigate suitable valid graphs for this approach by translating the antisymmetry of the Lie bracket and the Jacobi identity into rules that such graphs must satisfy. Furthermore, based on these foundations, we provide graph-theoretic criteria for solvability, nilpotency, presence of ideals, simplicity, semisimplicity, and reductiveness of an algebra. We also present practical algorithms for constructing such graphs and those associated with the lower central series and derived series via iterative pruning procedures. We further cover specific examples, such as the Schr\"odinger and Lorentz algebras, which illustrate the applicability of the developed tools to physically relevant cases. Moreover, we explore applications in physics, where the method facilitates computation of similarity transformations essential for determining quantum mechanical time evolution via the Lie-algebraic factorization method. We also discuss a possible generalization of the framework based on magma-gradings of Lie algebras and formulate related open questions. Our approach bridges algebraic and combinatorial perspectives, offering theoretical tools for this area of mathematical physics.
$\Gamma$-convergence of free discontinuity problems for circle-valued maps in the linear regime
oai:arXiv.org:2601.20612v2
arXiv:2601.20612v2 Announce Type: replace
Abstract: We investigate the $\Gamma$-convergence of Ambrosio-Tortorelli type-functionals for circle valued functions, in the case of volume terms with linear growth. We show the emergence of a non-local $\Gamma$-limit, which is due to the topological structure of the target space, and discuss compactness of minimal liftings. Our results extend the analysis of a previous work on the quadratic case. Applications to the area functional are given.
Computational techniques for sheaf cohomology of locally profinite sets
oai:arXiv.org:2602.02976v3
arXiv:2602.02976v3 Announce Type: replace
Abstract: We compute the sheaf cohomology with constant $\mathbb{Z}_2$ coefficients of a concrete class of locally profinite sets of independent interest. We introduce $k$-sheer partitions to aid in constructions. It is also shown that questions of intermediate cohomology degrees can be reduced to questions about top cohomology degrees by exhibiting nontrivial top cocycles as pointwise limits of coboundaries.
On the Genericity of the Spectrum Intervalization for Multi-Frequency Quasiperiodic Schr\"{o}dinger Operators
oai:arXiv.org:2602.07445v4
arXiv:2602.07445v4 Announce Type: replace
Abstract: This paper proves a genericity conjecture by Goldstein, Schlag, and Voda[Invent. Math.\textbf{217}(2019)] for multi-frequency quasiperiodic Schr\"{o}dinger operators. Specifically, we show that for almost all coefficients of real trigonometric polynomial potentials, the spectrum forms a single interval under strong coupling conditions. This confirms a long-standing intuition by Chulaevky and Sinai[Comm.Math.Phys.\textbf{125}(1989)] that the spectrum typically intervals for generic potentials, and extends the existence results of Goldstein et al. to a full measure setting. Our proof relies on tools from differential topology, measure theory, and analytic function theory.
Damping of phonons in Bose gas at low temperatures
oai:arXiv.org:2602.07701v3
arXiv:2602.07701v3 Announce Type: replace
Abstract: We consider a homogeneous Bose gas in a large cubic box with periodic boundary conditions interacting with a small potential with a positive Fourier transform. We compute the imaginary part of the phononic excitation spectrum in the lowest order of perturbation theory in the thermodynamic limit at low temperatures and low momentum. Our analysis is based on perturbation theory of the standard Liouvillean. We use two approaches: the first, motivated by the standard representation of operator algebras, examines resonances near zero; the second analyzes the 2-point correlation function in the energy-momentum space.
On the distribution of shapes of octic Kummer extensions
oai:arXiv.org:2602.12621v2
arXiv:2602.12621v2 Announce Type: replace
Abstract: The shape of a number field $K$ of degree $n$ is defined as the equivalence class of the lattice of integers under linear operations generated by rotations, reflections, and positive scalar dilations. It may be viewed as a point in the space of shapes $\mathscr{S}_{n-1} = \mathrm{GL}_{n-1}(\mathbb{Z})\backslash \mathrm{GL}_{n-1}(\mathbb{R})/\mathrm{GO}_{n-1}(\mathbb{R})$. In this paper, we study the distribution of shapes of octic Kummer extensions $L=\mathbb{Q}(i,\sqrt[4]{m})$, where $m\in\mathbb{Z}[i]$ is fourth-power-free. We parametrize these shapes by explicit invariants known as shape parameters and establish an asymptotic formula for their joint distribution ordered by absolute discriminant. The limiting distribution is given by an explicit measure that factors as the product of a continuous measure and a discrete measure arising from local arithmetic conditions.
Quantitative Landis-type result for Dirac operators
oai:arXiv.org:2602.16049v2
arXiv:2602.16049v2 Announce Type: replace
Abstract: We study quantitative unique continuation at infinity for Dirac equations with bounded matrix-valued potentials. For the massless Dirac operator $\mathcal{D}_n$ in $\mathbb{R}^n$, we establish a Landis-type estimate showing that the vanishing order of any nontrivial bounded solution of $( \mathcal{D}_n + \mathbb{V} ) \varphi = 0$ satisfies a lower bound of order $\exp(-\kappa R^{2} (\log R)^{2})$ as $|x|=R\to \infty$; the quadratic growth in the exponent is sharp, in view of previous known results. Our proof follows a Bourgain--Kenig type approach based on a Carleman inequality for Dirac operators which relies on a local H\"older regularity result, which we also prove. In two dimension, we obtain improved quantitative estimates under symmetry assumptions on the potential $\mathbb{V}$ and for real-valued solutions. Finally, we also derive qualitative Landis-type results for Dirac equations with decaying potentials, including critical decay rates.
Anderson localization for 1-d quasi-periodic Schr\"odinger operators with degenerate weights
oai:arXiv.org:2602.17141v2
arXiv:2602.17141v2 Announce Type: replace
Abstract: We establish Anderson localization for 1-d discrete Schr\"odinger operators with positive weights. The distinctive feature of this work lies in the degeneracy of the weights, with both the potentials and weights assumed to be analytic and quasi-periodic. Operators of this kind originate from distinct mathematical physics problems, which include the Frenkel-Kontorova model with impurities, the discretization of singular Sturm-Liouville operators, and the Fisher-KPP lattice equation in heterogeneous media.
Insertion Correcting Capability for Quantum Deletion-Correcting Codes
oai:arXiv.org:2602.20635v4
arXiv:2602.20635v4 Announce Type: replace
Abstract: It is conjectured that a quantum code $C$ corrects $t$ deletion errors if and only if $C$ corrects a total of $t$ insertion and deletion errors. Although this conjecture has been proved only under certain conditions, it has not been proved in general. In this paper, we prove this conjecture for general quantum codes. Specifically, we show that a quantum state after an insertion error is represented as a product state of the original multi-qudit system and the inserted quantum state. Then, we prove this conjecture by combining the previous results and this property. In addition, we define generalized insertion errors by removing the quantum channel requirement from insertion errors and present their properties.
Canonical forms for boundary conditions of self-adjoint odd-order differential operators
oai:arXiv.org:2602.21234v2
arXiv:2602.21234v2 Announce Type: replace
Abstract: It is useful to have canonical forms of boundary conditions in the study of the eigenvalues of boundary value problems and associated numerical applications. In [J. Appl. Anal. Comput., 2024, 14(4), {1854--1868}], a canonical form is given for self-adjoint differential operators of even order, with eigenvalue parameter dependent boundary conditions. In this article, we derive canonical forms for the remaining case, namely: for self-adjoint $(2n+1)$-th order differential operators with eigenvalue parameter dependent boundary conditions.
Analogue of the theta group $\Gamma_{\theta}$
oai:arXiv.org:2602.22471v2
arXiv:2602.22471v2 Announce Type: replace
Abstract: In this paper, we introduce higher level versions of the theta group $\Gamma_{\theta}.$ In particular, we treat level 3 and 4 versions of the theta group, $\Gamma_{\theta,3}$ and $\Gamma_{\theta,4}$ and prove that $\displaystyle F(\tau)=\eta \left(\frac{\tau-1}{3} \right) \eta\left(\frac{\tau+1}{3} \right)$ and $\displaystyle G(\tau)=\eta \left(\frac{\tau-1}{4} \right) \eta\left(\frac{\tau+1}{4} \right)$ are modular forms on $\Gamma_{\theta,3}$ and $\Gamma_{\theta,4}$ respectively. Moreover we compute their multiplier systems, $\nu_{F}$ and $\nu_{G}$.
Towards realizable free material optimization via energy bound hierarchy
oai:arXiv.org:2602.23180v2
arXiv:2602.23180v2 Announce Type: replace
Abstract: We study free orthotropic material optimization for two-dimensional plane-stress compliance minimization with two well-ordered isotropic phases. To connect free material optimization and composite realizability, we construct a hierarchy of admissible sets using zeroth-order, Voigt, and Hashin--Shtrikman energy bounds. The zeroth-order and Voigt models are convex, with admissible sets that coincide at global volume-budget endpoints and satisfy strict inclusion at intermediate volume budgets. The Voigt model reduces to isotropic variable-thickness-sheet optimization, while the single-loadcase continuum zeroth-order problem admits an orthotropic optimum. The classical Hashin--Shtrikman bounds yield a tighter admissible set that is nonconvex jointly in the elasticity tensor and volume fraction and whose convex hull equals the Voigt set. We derive reduced formulations by explicitly characterizing the minimum volume fraction compatible with these bounds. For orthotropic tensors, this volume-fraction estimator reduces to a one-dimensional search over the strain trace. In the single-loadcase continuum setting, the Hashin--Shtrikman-constrained optimal value equals that of the classical Allaire--Kohn relaxation, attained by a homogenized design with sequential-laminate effective tensors. For multiple loadcases, the bounds remain necessary but are generally insufficient for realizability. Numerical results illustrate the compliance hierarchy and close agreement with single-loadcase laminate references.
Distributed Parallel Structure-Aware Presolving for Arrowhead Linear Programs
oai:arXiv.org:2603.03498v2
arXiv:2603.03498v2 Announce Type: replace
Abstract: We present a structure-aware parallel presolve framework for arrowhead linear programs (AHLPs) in high-performance computing (HPC) environments, integrated into the parallel interior point solver PIPS-IPM++. Large-scale LPs arising from automated model generation frequently contain redundancies and numerical pathologies that necessitate effective presolve, yet existing presolve techniques are primarily serial or structure-agnostic. Our presolve works on the distributed data of PIPS-IPM++, communicates only information on the linking parts of the problem, and preserves the arrowhead structure. Already on a single compute node with 64 processes, it outperforms PaPILO by a factor of 19 and Gurobi's presolve by a factor of 6 (shifted geometric mean), while removing a few percentage points fewer nonzeros. On large instances with small linking parts, multiple compute nodes make it 20 to 115 times faster than Gurobi's presolve. Presolve raises the number of instances solved by PIPS-IPM++ from 37 to 48. External presolve works with the modeler's annotation carried over, but it is slower, especially on large models, and breaks the distributed workflow. With automatic re-annotation, PIPS-IPM++ solves at most 21 instances.
The exact Erd\H{o}s-Ko-Rado Theorem for 3-wise $t$-intersecting uniform families
oai:arXiv.org:2603.07991v2
arXiv:2603.07991v2 Announce Type: replace
Abstract: One of the central problems in extremal set theory is the determination of the maximum size of an $r$-wise $t$-intersecting $k$-graph on $n$ vertices. For $r=2$ after decades of effort, a complete solution was given by the Complete Intersection Theorem (\cite{AK0}). However the case $r\geq 3$ remains wide open. The $t$-star consisting of all $k$-sets containing a fixed $t$-set provides a lower bound. For $r=3$ and $k\geq t+2\geq44$, we determine the exact threshold for which it is optimal for $n>k$. The condition is essentially $n\geq \sqrt{t}k$. For $k\geq t+2\geq47$ and $n\geq\frac{\sqrt{4t+9}-1}{2}k$, we also establish the corresponding Hilton-Milner-type stability result.
Perturbed saddle-point problems in $\mathrm{L}^p$ with non-regular loads
oai:arXiv.org:2603.10532v2
arXiv:2603.10532v2 Announce Type: replace
Abstract: In this work, we develop the continuous and discrete solvability analysis for perturbed saddle-point problems in Banach spaces with forcing terms regularised by means of a projector constructed using the adjoint of a weighted Cl\'ement quasi-interpolation. We take as driving example the linearised Poisson--Boltzmann equation (an advection-diffusion-reaction problem) in mixed form. We use perturbation arguments on the continuous and discrete levels and then derive a priori estimates that remain valid when the load that appears on the right-hand side of the "second" equation is in $\mathrm{H}^{-1}$. Further, we show a supercloseness result and {analyse convergence} of an adequate adaptation of Stenberg postprocessing for mixed advection equations with non-regular data. We provide numerical results that illustrate the convergence of the proposed scheme.
Simultaneous Reconstruction of Shuffled Histograms from a Retained Statistic: Exact leading coefficients for finite hypothesis families
oai:arXiv.org:2603.13407v2
arXiv:2603.13407v2 Announce Type: replace
Abstract: Le Cam deficiency is the largest increase in Bayes risk caused by retaining a statistic, over all priors and decision problems with losses in $[0,1]$. We compute its exact leading term for finite hypothesis families in growing shuffle models. For a bounded correlated message bundle in an iid categorical background with an observed finite tag, the coefficient is a convex program over exposed faces with Gaussian-polynomial scores; its order is set by the first differing conditional factorial-moment degree. Tag-preserving kernels can be suboptimal, and an exact example has family coefficient $4/3$ times the largest pairwise coefficient. For a critical rare-event channel along $m+1$ consecutive compositions, retaining a distinguished-symbol count has loss $n^{-1/2}\kappa\varphi(0)\mathcal V_m(\mu)+o(n^{-1/2})$, where $\mu=\theta\lambda$, $\kappa^2=\chi^2(q\|p)/(1-\theta)>0$, and $\varphi$ is the standard normal density. We evaluate $\mathcal V_2$ for all $\mu>0$. For every $m\ge2$, the full-chain value $e^{-\mu}(1-1/\sum_{k=0}^m\mu^k)$ is exact if and only if $\sum_{k=2}^{m+1}\mu^k\le2$; an explicit large-mean regime is attained by the endpoint pair. Exact-arithmetic computer-assisted certificates give the complete four-composition phase diagram. At $\mu=\sqrt2$, the ratio to the largest pairwise coefficient is strictly below two for every finite window and tends to two as $m\to\infty$. A universal upper bound of two and Hypothesis P, which asserts that admissible vertex paths attain every window coefficient, remain open outside the proved regimes. The comparison principle is classical; the contributions are the model-specific scores, exact coefficients, and certificates.
Analogue of the theta group $\Gamma_{\theta},$ II
oai:arXiv.org:2603.16109v2
arXiv:2603.16109v2 Announce Type: replace
Abstract: In this series of papers, we introduce higher level versions of the theta group $\Gamma_{\theta}.$ In this paper, we treat the theta group of level $5$, $\Gamma_{\theta,5},$ and construct modular forms on $\Gamma_{\theta,5}$. Moreover we compute their multiplier systems. For this purpose, we derive transformation formula of theta function with characteristics.
Nonlinear Information Theory: Characterizing Distributional Uncertainty in Communication Models with Sublinear Expectation
oai:arXiv.org:2603.16700v2
arXiv:2603.16700v2 Announce Type: replace
Abstract: A mathematical framework for information-theoretic analysis is established, with a new viewpoint of describing transmitted messages and communication channels by the nonlinear expectation theory, beyond classical probability framework. Based on nonlinear expectation theory, in this paper we define several fundamental concepts, such as nonlinear information entropy, nonlinear joint entropy, and nonlinear mutual information, and establish their basic properties. By using strong law of large numbers under sublinear expectations, we propose a nonlinear source coding theorem, which shows that nonlinear entropy is a sufficient achievability threshold for the achievable coding rate of uncertain-distribution sources under the maximum error probability criterion, and determines a cluster point of the achievable coding rate under the minimum error probability criterion. We also propose a nonlinear channel coding theorem, providing explicit expressions of the upper bound and a cluster point under the maximum and minimum error probability criterion, respectively, for the achievable coding rate of uncertain-distribution channels. Additionally, we propose a nonlinear rate-distortion source coding theorem, proving that the rate-distortion function based on nonlinear mutual information is a cluster point of the lossy compression performance of uncertain-distribution sources under the minimum expected distortion criterion. Finally, we show some examples and simulations to consolidate our theoretic study.
A quadratic Grassmann manifold optimization problem arising from quantum embedding methods
oai:arXiv.org:2603.17080v2
arXiv:2603.17080v2 Announce Type: replace
Abstract: This article presents a mathematical analysis and numerical strategies for solving the optimization problem of minimizing the quadratic function $J(P) = \text{Tr}(BP)- \frac{1}{2} \text{Tr}(A P A P)$, where $A,B \in \mathbb R^{M \times M}_{\rm sym}$, with $A \succeq 0$, over the Grassmann manifold ${\rm Gr}(m,\mathbb R^M)$. While this problem is non-convex and typically admits non-global local minima - posing challenges for Riemannian optimization and self-consistent field (SCF) algorithms - we identify cases where the global minimizer can be obtained by solving an auxiliary convex problem. When this approach is not directly applicable, the solution to the auxiliary problem still serves as an effective initialization for Riemannian optimization methods and SCF algorithms, significantly improving their performance. This work is motivated by applications in quantum embedding methods, particularly in the construction of bath orbitals, where such optimization problems naturally arise.
Born-Preconditioned Learning for Iterative Neural PDE Solvers
oai:arXiv.org:2603.18527v5
arXiv:2603.18527v5 Announce Type: replace
Abstract: Simulating high-frequency waves in spatially varying media remains challenging for both classical iterative methods and neural PDE solvers. We propose Neural Preconditioned Born Series (NPBS), a framework for learning iterative neural PDE solvers. Our guiding idea is to use a simple reference preconditioner to help learn a more effective neural preconditioner. Building on the Convergent Born Series (CBS), NPBS feeds a preconditioned residual to a neural network that predicts a solution update. We train the network to reduce the preconditioned residual after each update. The same reference preconditioner is used for the network input and the loss, giving a metric-matched training objective. Experiments on heterogeneous Helmholtz problems show reduced iteration counts across neural architectures and larger gains at higher wavenumbers. Within a Krylov solver, NPBS achieves the lowest wall-clock time in the evaluated solver comparison. The framework also extends naturally to three-dimensional problems. The same metric-matched formulation also improves convergence on convection-diffusion-reaction systems and Newton linear systems for nonlinear PDEs, indicating that NPBS provides a general framework for learning neural preconditioners.
Quantitative unique continuation for elliptic equations with H\"older continuous potentials
oai:arXiv.org:2603.21392v2
arXiv:2603.21392v2 Announce Type: replace
Abstract: We study quantitative unique continuation for second order elliptic equations with lower-order terms of H\"older regularity via a weighted frequency function method. We establish quantitative three-ball inequalities and corresponding vanishing-order bounds for Schr\"odinger equations with H\"older potentials and H\"older gradient terms, and corresponding results for elliptic equations with variable leading coefficients. Our results are quantitative with explicit dependence of H\"older norms in the three-ball inequalities. These fill in the gap for quantitative unique continuation between bounded potentials and $C^1$ potentials.
Regularization of singular time-dependent Lagrangian systems
oai:arXiv.org:2603.24308v2
arXiv:2603.24308v2 Announce Type: replace
Abstract: One approach to studying the dynamics of a singular Lagrangian system is to attempt to regularize it, that is, to find an equivalent and regular system. In the case of time-independent singular Lagrangians, an approach due to \textit{A. Ibort} and \textit{J. Mar\'in-Solano} is to use the coisotropic embedding theorem proved by \textit{M.J. Gotay} which states that any pre-symplectic manifold can be coisotropically embedded in a symplectic manifold. In this paper, we revisit these results and provide an alternative approach, also based on the coisotropic embedding theorem, that employs the Tulczyjew isomorphism and almost product structures, and allows for a slight generalization of the construction. In this revision, we also prove uniqueness of the Lagrangian regularization to first order. Furthermore, we extend our methodology to the case of time-dependent singular Lagrangians.
Detection Is Harder Than Estimation in Certain Regimes: Inference for Moment and Cumulant Tensors
oai:arXiv.org:2603.26029v3
arXiv:2603.26029v3 Announce Type: replace
Abstract: We study estimation and detection of high-order cumulant tensors from $n$ i.i.d. observations of a $p$-dimensional random vector, with performance measured in the tensor spectral norm. Under sub-Gaussianity, we show that the minimax rate for estimating the order-$d$ cumulant tensor is $\sqrt{p/n}\wedge 1$. In contrast to covariance estimation, the natural plug-in estimator obtained by replacing population moments in the moment--cumulant formula with sample moments, which we call the sample cumulant tensor, is generally not rate-optimal for $d\ge 3$, and we construct an estimator that attains the minimax rate. On the computational side, we study testing whether the $d$-th order cumulant tensor vanishes after whitening. We provide evidence, under a model-specific low-degree conjecture, that detection is computationally hard when $n\ll p^{d/2}$. At the same time, we identify a regime in which an efficiently computable estimator achieves error smaller than the separation at which polynomial-time tests can reliably distinguish the null from the alternative under the same conjecture. This reveals an unusual reverse detection--estimation gap: computationally efficient detection can be harder than computationally efficient estimation. The underlying reason is that the relevant loss, tensor spectral norm, is itself NP-hard to compute, creating a new form of computational--statistical gap.
A Concentration of Measure Phenomenon in the Principal Chiral Model
oai:arXiv.org:2603.27700v2
arXiv:2603.27700v2 Announce Type: replace
Abstract: We utilize the concentration of measure phenomenon to study the double limit (large-$N$ and continuum) of the $O(N)$ principal chiral model, where the large-$N$ limit is performed before the continuum one. The partition function in this double limit is demonstrated to be that of a free massive theory. The result depends crucially on the order in which the limits are taken.
Modeling of point charges with distributions, regularizations, and generalized functions
oai:arXiv.org:2604.01004v5
arXiv:2604.01004v5 Announce Type: replace
Abstract: We apply regularization and generalized function techniques to the classical electromagnetic field of a point-charge, following a strategy by the physicist A. Gsponer 2007-2009, thereby extending it and adding rigor.. We show how the Li\'{e}nard-Wiechert potential emerges essentially from the basic geometry of Minkowski space, namely by action of the d'Alembertian on a generating vector field, which is defined via a spacetime interval between an observer and the point-charge at retarded proper time. Furthermore, for a charged particle in its rest frame, we discuss generalized functions aspects of the electric monopole, magnetic dipole, electron singularity, and self-energy, where infinitely large generalized numbers occur whose concrete representations can be applied in field renormalization.
A note on complex Lie Algebras isomorphic to their conjugate
oai:arXiv.org:2604.06979v3
arXiv:2604.06979v3 Announce Type: replace
Abstract: A real Lie algebra defines by extension of scalars a complex Lie algebra that is isomorphic to its Galois conjugate. In this paper, we are interested in the converse property: given a complex Lie algebra that is isomorphic to its conjugate, is it defined over the real numbers? We prove the existence of a $10$-dimensional nilpotent complex Lie algebra for which the answer is negative, disproving a recent conjecture by Der\'e. In addition, we compute the generic obstruction to this descent problem in terms of Brauer groups.
An inversion formula for the 2-body interaction given the correlation functions
oai:arXiv.org:2604.14681v2
arXiv:2604.14681v2 Announce Type: replace
Abstract: Given a classical gas described by the truncated correlation functions of all orders, we prove convergence of an expansion of the pair interaction part of the (unknown) potential in terms of the truncated correlation functions of all orders, at infinite volume.
Ergodic properties of the harmonic process
oai:arXiv.org:2604.17469v2
arXiv:2604.17469v2 Announce Type: replace
Abstract: In this paper we study detailed fluctuation results for a class of non-equilibrium steady states. The main example is the boundary driven harmonic model \cite{frassek2022exact}. In this model, the non-equilibrium steady state (NESS) is a mixture of products of geometric distributions, of which the local parameters are in turn distributed as uniform order statistics. For such a NESS, we prove law of large numbers, central limit theorem and large deviation results for fields of a general local functions (generalizing the density field). We also obtain quantitative results on the deviation from local equilibrium.
Widely degenerate anisotropic diffusion: local boundedness and semicontinuity
oai:arXiv.org:2604.20597v2
arXiv:2604.20597v2 Announce Type: replace
Abstract: We investigate the regularity of local weak solutions to evolution equations of the form \[ \partial_{t}u\,=\,\sum_{i=1}^{n}\,\partial_{x_{i}}\left[a_{i}(x,t)\,(\vert\partial_{x_{i}}u\vert-\delta_{i})_{+}^{p_{i}-1}\,\frac{\partial_{x_{i}}u}{\vert\partial_{x_{i}}u\vert}\right]\,\,\,\,\,\,\,\,\,\,\mathrm{in}\,\,\,\Omega_{T}\,=\,\Omega\times(0,T)\,, \] where $\Omega$ is a bounded domain in $\mathbb{R}^{n}$ with $n\geq2$, the coefficients $a_{i}$ are measurable and bounded, $p_{i}>1$ and $\delta_{i}\geq0$ are fixed parameters. Under suitable assumptions on the exponents $p_{i}$, we first show that the local boundedness of weak solutions follows from their membership in an appropriate non-homogeneous parabolic De Giorgi class. We then establish the existence of semicontinuous representatives for local weak sub(super)-solutions. Our analysis extends analogous results available for less degenerate operators and generalizes the local boundedness results obtained in [7] to fully anisotropic, widely degenerate parabolic PDEs with non-smooth coefficients depending additionally on the space-time variables $(x,t)$, whose growth is governed by a family of exponents $p_{i}$ rather than by a single exponent.
Rigorous High-Order Hausdorff Dimension Estimation of Limit Sets of Continued Fraction Iterated Function Systems via B-Splines
oai:arXiv.org:2604.20812v2
arXiv:2604.20812v2 Announce Type: replace
Abstract: We develop a method for the rigorous estimation of Hausdorff dimensions of limit sets produced by continued fraction iterated function systems. Our method is based on the approximation of a Perron-Frobenius operator using the finite element method with B-splines as the choice of basis functions. This choice provides key numerical advantages including higher-order convergence and computational flexibility. We prove an analogue of Falk and Nussbaum's result on ``hidden positivity" for B-spline quasi-interpolants to give rigorous upper and lower bounds for the Hausdorff dimensions of various limit sets. We provide numerical results for degree 4 B-spline interpolants in one and two dimensions.
Flexible GMRES converges in two phases
oai:arXiv.org:2604.27971v2
arXiv:2604.27971v2 Announce Type: replace
Abstract: We derive a sharp upper bound on the residuals produced by the flexible GMRES (FGMRES) method. The bound shows that FGMRES exhibits two phases of convergence depending on the residual tolerance of the inner preconditioner. For small tolerances, the convergence of FGMRES is practically geometric with a constant rate throughout, while for looser tolerances the two-phase behavior becomes more pronounced. We also show that the derived bound cannot be improved and construct an example for which it becomes an equality.
Convergence guarantees for stochastic algorithms solving non-unique problems in metric spaces
oai:arXiv.org:2605.06129v2
arXiv:2605.06129v2 Announce Type: replace
Abstract: 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.
Equisingularity in families of double point curves
oai:arXiv.org:2605.08507v2
arXiv:2605.08507v2 Announce Type: replace
Abstract: In this paper, we provide a systematic comparison between the equisingularity of a 1-parameter unfolding $F = (f_t, t)$ of a finitely determined map germ $f: (\mathbb{C}^2, 0) \to (\mathbb{C}^3, 0)$ and the equisingularity of its associated families of double point curves: $D(F)$, $F(D(F))$, $D^2(F)$, and $D^2(F)/S_2$. We also construct explicit counterexamples to several natural questions concerning the equisingularity of these loci. As a key application, we introduce new families of complete intersection curves -- referred to as Henry--type families -- which are topologically trivial but fail to satisfy the Whitney equisingularity conditions. Finally, we generalize classical formulas for double point curves, originally established for map germs from $(\mathbb{C}^2, 0)$ to $(\mathbb{C}^3, 0)$, to the higher-dimensional setting of map germs from $(\mathbb{C}^n, 0)$ to $(\mathbb{C}^{2n-1}, 0)$ for $n \geq 3$, thereby endowing the associated curves with a convenient analytic structure.
Learning Generative Dynamics with Soft Path-Law Constraints: A McKean-Vlasov FBSDE Approach
oai:arXiv.org:2605.08928v2
arXiv:2605.08928v2 Announce Type: replace
Abstract: We introduce a unified framework for learning stochastic dynamics from distributional observations and discretely observed trajectories. The key contribution is to combine soft law constraints, which regularize fitting to empirical distributions, with path-dependent supervision, which captures temporal structure that marginal distributions alone cannot identify. We formulate the problem as a discrete path-dependent McKean-Vlasov control problem, penalizing endpoint, intermediate marginal, and joint sampled-path laws within a single objective. Its optimality system takes the form of a McKean-Vlasov forward-backward stochastic differential equation (FBSDE), in which the marginal terms act continuously in time while the path-law term instead induces conditional adjoint jumps at the observation dates. We derive the reduced FBSDE for quadratic control cost and constant diffusion, establish local well-posedness for a Maximum Mean Discrepancy (MMD) path-law formulation, and develop a sample-based neural solver with causal representations. Experiments on synthetic transport, latent face transport, and human motion validate the framework. In particular, a two-state AMASS experiment under path-law supervision captures both low-to-high and high-to-low transitions, which marginal supervision alone cannot distinguish.
Normality Criteria for Quasimeromorphic Mappings: Avoidance and Sharing
oai:arXiv.org:2605.11791v2
arXiv:2605.11791v2 Announce Type: replace
Abstract: We establish normality criteria for families of quasimeromorphic mappings in \(\mathbb{R}^n\), \(n\geq 2\), based on the avoidance and sharing of continuous functions. We first establish a rescaling principle for sequences of continuous functions and use it to derive a higher-dimensional analogue of Lappan's avoidance criterion. We then obtain normality criteria based on the sharing of continuous functions. In particular, we prove that a family of \(K\)-quasimeromorphic mappings sharing \(q_0(n,K)+1\) mutually disjoint continuous functions is normal, where \(q_0(n,K)\) is the corresponding quasiregular Picard constant. We further consider sequences of quasimeromorphic mappings sharing sequences of continuous functions with a normal comparison sequence and establish a corresponding normality criterion, together with an improved bound under an additional separation condition on the limiting functions. Finally, we derive applications to normal quasiregular mappings into \(\mathbb{S}^n\).
Adams filtrations and secondary coherence for fibers of Steenrod operations
oai:arXiv.org:2605.18906v3
arXiv:2605.18906v3 Announce Type: replace
Abstract: Let $f:Y\to\prod_\lambda\Sigma^{d_\lambda}H\mathbb F_2$ be a locally finite family of positive-degree stable operations, where $Y=H\mathbb F_2$ or $H\mathbb Z$; in the integral case assume $d_\lambda\geq2$. We determine the Adams filtration of its fiber from the minimal generators of $\operatorname{im}(f^*)$ as a left Steenrod module. An explicit target automorphism separates a minimal subfamily from the redundant coordinates and gives a noncanonical stable splitting. Combining this reduction with the Bruner--Rognes two-extension theorem and an acyclic cancellation gives $E_3=E_\infty$. In positive homotopy degrees, the filtration-one subgroup is the image of the dual of the induced map on minimal-generator quotients, and the redundant coordinates account for filtration zero. We also specify the zero-stem filtration and its possible cyclic extension of order four. A terminating Adem recursion realizes the splitting for the full positive even-square family and its finite truncations. Separately, for a crossed bimodule and fixed lifts of the differentials of a free primary complex, we construct a class in the third cohomology of an explicit Hom complex. Its vanishing is equivalent to the existence of coherent null-composite tracks with those fixed differential lifts.
Root of the generic cubic as a power series in the discriminant
oai:arXiv.org:2605.25992v4
arXiv:2605.25992v4 Announce Type: replace
Abstract: An observation of J-P.~Serre implies that the generic monic cubic polynomial, unique among generic monic polynomials of degree at least two, has a root that is a power series in the discriminant; Serre asked for a formula. We give formulas that work over any field with an absolute value and in every characteristic. Over a complete non-archimedean field we identify the root intrinsically: it is the isolated root, the one farthest from the others. We also answer the next case of Serre's question, computing explicitly the distinguished ramified quadratic factor of the generic monic quartic. The methods combine Hensel's lemma, identities for generalized binomial series, and elementary non-archimedean analysis.
Kubo-Ando Means of Finite Order over Real Division Algebras
oai:arXiv.org:2605.27707v3
arXiv:2605.27707v3 Announce Type: replace
Abstract: In this paper, we study Kubo-Ando means of finite order over the real division algebras $\mathbb{R}$, $\mathbb{C}$, and $\mathbb{H}$. We establish an explicit bijection between Kubo-Ando means of order $n$ and normalized positive functions $f$ such that both $f$ and its transpose $f^{\top}(t)=tf(t^{-1})$ are matrix monotone of order $n$. We also prove that matrix monotonicity of a fixed order is independent of the underlying division algebra. We then investigate finite-order Kubo-Ando means under the canonical embeddings relating quaternionic, complex, and real positive definite matrices. These embeddings preserve functional calculus and the Loewner order, inducing natural correspondences between means on the original and embedded cones. We characterize their extensions to the ambient cones and study the geometry of the embeddings with respect to the Log-Euclidean metric.
As an application, we obtain explicit affine formulas for Kubo-Ando means of order $2$ on $\mathscr{P}_{2}(\mathbb{D})$ and transfer them to the associated embedded cones of $4\times4$ positive definite matrices. In particular, we derive trace-determinant formulas for the geometric mean and show that they do not, in general, extend to the full ambient cones.
Enumeration and Monotonicity of Linear Codes with Prescribed Hull Dimensions
oai:arXiv.org:2605.29204v2
arXiv:2605.29204v2 Announce Type: replace
Abstract: The hull of a linear code is the intersection of the code with its dual and depends on the choice of inner product. We study how the numbers of linear codes with prescribed Euclidean, Hermitian, and symplectic hull dimensions vary with the hull dimension. Building on closed enumeration formulae, we derive exact ratio decompositions for the Hermitian and symplectic cases, determine the parameter ranges in which monotonicity holds, and identify the exceptional families. We also compare the three inner products and complement the theoretical analysis with computational classification results for quaternary codes.
A solution to the Yau-Tian-Donaldson Conjecture through Special Fujita Approximations
oai:arXiv.org:2605.30063v3
arXiv:2605.30063v3 Announce Type: replace
Abstract: We show that any big line bundle on a smooth projective variety admits a special Fujita approximation: the volume and the first Riemann-Roch coefficient are both approximated by those of ample $\mathbb{Q}$-line bundles on higher models. Exploiting previous works by Boucksom, Jonsson and Li, we solve the Boucksom-Jonsson Regularization Conjecture on the Non-Archimedean entropy functional. As a main consequence, we obtain a solution to the (uniform version of the) Yau-Tian-Donaldson Conjecture: a polarized smooth projective variety $(X,L)$ admits a cscK metric if and only if it is $\mathrm{Aut}^\circ(X,L)$-uniformly $K$-stable. This extends the known Yau-Tian-Donaldson correspondence for smooth Fano varieties.
The Continuum Limit Analysis of Causal Fermion Systems for Curved Spacetimes
oai:arXiv.org:2605.30199v2
arXiv:2605.30199v2 Announce Type: replace
Abstract: We construct the causal fermion system for globally hyperbolic spacetimes starting in the framework of algebraic quantum field theory. The fermionic projector is identified with the one-particle density operator of a quasi-free Hadamard state. The ultraviolet regularization is built into the fermionic projector via a chart-independent $i\varepsilon$-regularization scheme. The continuum limit analysis is developed in globally hyperbolic spacetimes. It is shown that the Euler-Lagrange equations of the causal action principle are satisfied in this setup if and only if the coupled Einstein-Dirac equations hold.
The span-squares adjunction
oai:arXiv.org:2606.10052v2
arXiv:2606.10052v2 Announce Type: replace
Abstract: We show a universal property of the span $\infty$-category that yields a description of functors defined on this category. For this, we view the span construction as a functor from double $\infty$-categories to $\infty$-categories, and show that this functor admits a right adjoint defined by the double $\infty$-categories of squares. As an application, we obtain a model for the localization of an $\infty$-category in terms of a span $\infty$-category and also give another proof of the model given by the relative nerve. Moreover, using the span-squares adjunction, we obtain new proofs of the equivalences between different models of algebraic $K$-theory, given by the $\Q$-, the $\oS$-, the cobordism model, and the squares construction.
Well-posedness and Stability of Thermoelastic Suspension Bridges with Cattaneo Heat Conduction: The Role of Viscoelastic Memory
oai:arXiv.org:2606.12786v2
arXiv:2606.12786v2 Announce Type: replace
Abstract: Thermoelastic suspension bridges operate under strong thermo-mechanical coupling, and the classical Fourier law fails to capture the finite speed of thermal propagation observed in low-conductivity materials such as concrete. This paper investigates a suspension bridge model in which the heat flux is governed by the Cattaneo law with relaxation time $\tau$, and in which the bridge deck may or may not possess viscoelastic memory. Using operator semigroup theory, we establish well-posedness and derive sharp decay rates for both regimes. For the memoryless system ($\delta=0$), we show that the semigroup is polynomially stable with rate $t^{-1/2}$ when the structural parameters satisfy $\frac{\rho_1}{\kappa} = \frac{\rho_2}{b}$, and that the rate deteriorates to $t^{-1/4}$ otherwise; moreover, exponential stability fails whenever $\chi_0 \neq 0$, or $\chi_0 = 0$ and $\chi_1 = 0$, where $\chi_0$ and $\chi_1$ are parameter-dependent coefficients. In sharp contrast, when viscoelastic memory is present ($\delta=1$), the semigroup becomes exponentially stable, regardless of the structural parameter ratio. This reveals a regularizing role of viscoelastic memory: it converts polynomial decay into exponential decay and removes the parameter-ratio obstruction. The results provide a theoretical basis for exploiting inherent viscoelasticity in long-span bridges and for optimizing deck parameters in memoryless structures.
Robust mixed methods for coupled Darcy--Forchheimer--transport problems
oai:arXiv.org:2606.14630v2
arXiv:2606.14630v2 Announce Type: replace
Abstract: We adapt the recent theory for unique solvability of perturbed saddle-point problems in Banach spaces to the case of parameter-independent stability bounds. This also constitutes an extension to the Brezzi--Braess theory for parameter-robust stability of perturbed saddle-point problems from the Hilbert to the Banach setting. We apply the new abstract result to the mixed formulation of the advection-diffusion-reaction equation and tackle also its coupling with the Darcy--Forchheimer equations. The complete system is shown to be stable irrespective of the model parameters of permeability, Forchheimer coefficient, and reaction modulation. We discretise the problem with mixed finite element methods and show convergence in appropriately parameter-weighted norms. We also design operator-based preconditioners for the full system, utilising weighted norms that provide robustness with respect to some model parameters. We also present a few numerical examples that show the convergence and robustness of the proposed method in some regimes of practical interest.
Service-Induced Congestion in Memory-Constrained LLM Serving
oai:arXiv.org:2606.15555v3
arXiv:2606.15555v3 Announce Type: replace
Abstract: In large language model (LLM) serving, each request accumulates persistent graphics processing unit (GPU) memory during service as its key-value cache grows with every generated token. Under high concurrency, aggregate memory usage therefore increases endogenously over time: the service process itself creates future capacity pressure. When memory capacity is exceeded, systems evict active requests, discarding cached state and restarting them later, which wastes computation and reduces throughput. We develop a discrete-time dynamical model of memory-constrained LLM inference that captures admission, memory growth, and eviction under continuous batching. In the saturated-input regime, the system admits both eviction-free fixed points and limit cycles with evictions. For homogeneous workloads, we show that the eviction-free equilibrium is unstable and that, except for a Lebesgue-measure-zero exact-capture set, the system converges to a unique worst-case limit cycle that is asymptotically stable outside this exceptional set, with throughput losses as large as 50%. For heterogeneous workloads, we prove a stability criterion in the two-class common-input setting and explain how the survival-polynomial mechanism generalizes to multiple classes and heterogeneous-input lengths. Under an input-dominated scaling regime, coprime decoding lengths stabilize the eviction-free equilibrium, while non-coprime lengths create synchronized modes that drive instability. These results characterize when workload heterogeneity desynchronizes completions and helps stabilize memory-constrained serving. More broadly, we identify service-induced congestion as a structural instability mechanism and derive scheduling design principles for sustaining high throughput.
Counting connected multitype graphs with prescribed edge counts
oai:arXiv.org:2606.17912v2
arXiv:2606.17912v2 Announce Type: replace
Abstract: We determine the exponential asymptotics of the number of connected labelled graphs with finitely many vertex types, prescribed numbers of vertices of each type, and prescribed edge counts between each pair of types. Under an irreducibility and strict surplus condition, we express the count for linear surplus of edges as the unrestricted count multiplied by an explicit exponential connectivity factor, up to a multiplicative error \(\exp\{o(n)\}\). The factor is characterized by a finite-dimensional nonlinear system whose solution exists and is unique. We use a probabilistic method, exploiting large-deviation principles and asymptotic estimates for connectedness probabilities to relate the counting problem to the emergence of giant components in suitably tuned supercritical random graphs. For connected bipartite graphs, we determine the exponential rate throughout the regime of positive linear excess and fixed positive limiting proportions of the two vertex classes. In the parameter ranges where the existing upper and lower bounds apply, this identifies the exponential rate left undetermined by those estimates.
Transposed Poisson structure on the Witt-type algebra $\mathcal{W}(a,-1)$: Derivations, Automorphisms, and Rota--Baxter operators
oai:arXiv.org:2606.20584v3
arXiv:2606.20584v3 Announce Type: replace
Abstract: In this paper, we provide a comprehensive study of the structural properties of the transposed Poisson algebra $\mathcal{W}(a,-1)$. We classify several types of linear maps, including derivations, local derivations, quasi-derivations, and $\delta$-derivations, showing that non-trivial $\delta$-derivations exist only for $\delta=1$ and $\delta=\frac{1}{2}$. Furthermore, we describe the groups of automorphisms, local automorphisms, 2-local automorphisms, and quasi-automorphisms.
We also investigate Rota--Baxter operators of weight $1$ on $\mathcal{W}(a,-1)$. Specifically, we classify operators that are homogeneous with respect to both the standard $\mathbf{Z}$-grading and a $\mathbf{Z}_2$-grading, establishing a rigidity result for the latter case. Finally, we classify all $\mathbf{W}$-compatible Novikov--Poisson structures, demonstrating that the associative product on the Witt algebra is universally compatible with its known Novikov structures.
PhiBE-Q-Learning: Bridging Off-Policy Reinforcement Learning and Continuous-Time Control
oai:arXiv.org:2606.21925v2
arXiv:2606.21925v2 Announce Type: replace
Abstract: In this paper, we develop an off-policy method for continuous-time reinforcement learning (CTRL), where the system dynamics are governed by an unknown stochastic differential equation (SDE) and only discrete-time trajectory data are available. A central challenge is that the classical discrete-time state--action value function loses its action-dependent signal in the continuous-time limit (Baird, 1994; Jia and Zhou, 2023; Tallec et al., 2019). On the other hand, continuous-time control provides local notions such as the instantaneous advantage function $q(s,a)$, but these typically rely on state value function $V(s)$. To obtain a formulation with a single unknown function, we introduce a new definition of the state--action value function $Q(s,a)$ in CTRL and derive its governing equation.
Building on the PhiBE approximation (Zhu, 2024; Zhu et al., 2025), we propose iterative algorithms to approximate the optimal $Q$-function in both model-based and model-free settings using only discrete-time off-policy data. Under linear function approximation, we establish error bounds and explicit convergence rates for the algorithm in the popoluation level. The finite-data algorithm is evaluated numerically.
Why Hadamard states?
oai:arXiv.org:2606.22767v2
arXiv:2606.22767v2 Announce Type: replace
Abstract: In QFT on curved spacetime, the Hadamard condition is often presented as a necessary condition on 'physically reasonable' states of the quantum field, and plays a central role in many theoretical and foundational applications - ranging from proofs of the renormalizability of Wick polynomials to derivations of the Hawking temperature. Yet despite this, the philosophical and foundational underpinnings of the Hadamard condition remain murky. I critically discuss existing motivations for the Hadamard condition in the literature, before arguing in favour of an alternative motivation for the Hadamard condition, according to which it is best understood as a necessary and sufficient condition for the existence of a well-defined operator product of a certain form on a sufficiently large space of observables of the quantum field, satisfying a variety of further conditions. This clarifies the role and status of the Hadamard condition, including its relationship to the equivalence principle, to well-definedness of physical quantities such as Wick polynomials and the expectation value of the stress-energy operator, and the sense in which Hadamard states are 'vacuum-like'.
A mass-type invariant for smooth metric measure spaces and its relation with the fractional Yamabe problem
oai:arXiv.org:2606.23248v2
arXiv:2606.23248v2 Announce Type: replace
Abstract: On asymptotically Schwarzschild smooth metric measure spaces modeled on the Euclidean half-space, we define a new mass-type invariant analogous to the ADM mass of an asymptotically flat manifold. We prove that this invariant is independent of the choice of admissible asymptotic coordinates. We further show that it fits into a very general framework for mass-type invariants and we also isolate static equations for smooth metric measure spaces under natural boundary conditions. For smooth metric measure spaces obtained through a generalized stereographic projection using the Green's function associated with the fractional Yamabe problem, we identify the mass with the constant term in the asymptotic expansion of the Green's function. This identification gives a geometric interpretation of the constant appearing in the fractional Yamabe problem and recasts its conjectured positivity as a positive-mass-type question.
Beyond Mutual Information: Extension Profiles and Shape Functions of Random Variable Pairs
oai:arXiv.org:2606.23849v2
arXiv:2606.23849v2 Announce Type: replace
Abstract: We study the extension profile of a pair of jointly distributed finite-valued random variables $(X,Y)$, defined as the set of all triples of numbers \[ ( H(X|W), H(Y|W), I(X:Y|W) ) \] obtained by extending the pair with an auxiliary random variable $W$. This object captures structural properties of a joint distribution that are not determined by the entropies of $X$ and $Y$ and their mutual information.
We associate with the extension profile its \emph{shape function} defined in terms of the Legendre--Fenchel transform of the profile's lower boundary. We establish upper and lower bounds on the shape function in terms of classical information-theoretic quantities. For random pairs $(X,Y)$ whose joint distribution is uniform on its support, we relate the shape function to combinatorial and spectral properties of the associated bipartite support graph. We show that for random pairs uniformly distributed on the edges of balanced expander graphs, the shape function is within $O(\log H(XY))$ of the pointwise infimum over all pairs, which proves the conjecture stated in [MR26].
These results connect the extension profile with non-Shannon-type information inequalities, G\'acs--K\"orner common information, and spectral graph theory. We apply these techniques to study an approximate version of a question posed by Zhen Zhang ([Zha03]) concerning the characterization of pairs with maximally non-extractable mutual information.
A Littlewood-Richardson Rule for Forest Polynomials
oai:arXiv.org:2606.23876v2
arXiv:2606.23876v2 Announce Type: replace
Abstract: The forest polynomials $\mathfrak{P}_a$ of Nadeau-Tewari form a $\mathbb{Z}$-basis of $\mathbb{Z}[x_1,x_2,\ldots]$ whose role for the cohomology of the quasisymmetric flag variety parallels that of Schubert polynomials for the classical flag variety. Nonnegativity of the structure constants $\beta_{a,b}^c$ in $\mathfrak{P}_a \mathfrak{P}_b = \sum_c \beta_{a,b}^c \mathfrak{P}_c$ is known, but no Littlewood-Richardson-style enumerative rule has been available. We give such a rule: $\beta_{a,b}^c$ counts pairs of forest RC graphs of forest-codes $a$ and $b$ whose lift product lands on a forest RC graph of forest-code and weight both equal to $c$. The same rule descends to the cup product on $H^\bullet(\mathrm{QFl}_n)$. The proof introduces a squash product $\boxtimes$ on RC graphs, which on full Grassmannian RC graphs of a fixed height recovers the plactic monoid, a multiplactic algebra $\mathcal{M}_n$ that models Schubert polynomial multiplication, and a lift product $*$ on RC graphs whose quasi-crystal structure, in the framework of Cain-Guilherme-Malheiro, transports the Nadeau-Tewari forest equivalence through the computation. The row-decomposition machinery on RC graphs that underlies these constructions is developed in a companion paper.
A Riemann-Hilbert approach to the computation of transform pairs
oai:arXiv.org:2606.25252v2
arXiv:2606.25252v2 Announce Type: replace
Abstract: We develop a unified methodology that integrates spectral theory, Riemann-Hilbert problems, and inverse scattering theory for the construction and numerical evaluation of transform pairs associated with linear variable-coefficient partial differential equations. The approach combines analytical formulae with numerical methods for ordinary differential equations and Riemann-Hilbert problems, yielding a hybrid analytical-numerical strategy for working with these transforms. Results are presented for transforms arising in the Dirac equation, demonstrating accurate computations, even in the presence of discontinuous coefficients.
Noise Sensitivity Governed by Continuous-Time Random Walks on the Symmetric Group
oai:arXiv.org:2606.29829v2
arXiv:2606.29829v2 Announce Type: replace
Abstract: We study the noise sensitivity of Boolean functions on the symmetric group $S_n$, where noise is induced by running a continuous-time Markov chain on $S_n$. We investigate the noise sensitivity of several fundamental functions, including the parity function and analogues of the dictator function. We focus, in particular, on the case where the underlying Markov chain is an interchange process on the complete graph. We establish comparison results between noise sensitivity with respect to the interchange process on the complete graph and the weighted interchange process on any connected graph. We also show that the indicator function of long cycles is noise sensitive under the interchange process on each of these graphs. Finally, using the fact that the interchange process on the complete graph $K_n$ is the continuous-time random walk generated by all transpositions, we prove that noise sensitivity is preserved when the noise source is changed to the continuous-time random walk generated by all $s$-cycles, where $s$ is even and $2
Debiased parametric inference for regime-switching jump diffusions with infinite variation jumps
oai:arXiv.org:2606.31057v3
arXiv:2606.31057v3 Announce Type: replace
Abstract: We study high-frequency inference for an ergodic regime-switching jump diffusion with locally stable infinite-variation jumps. The state and the finite-state regime are observed on the same grid. The mesh satisfies \(h_n\to0\), while the horizon satisfies \(T_n=nh_n\to\infty\). We estimate structural drift and diffusion parameters in the presence of unknown regime-specific L\'evy measures. For a common activity index \(1<\beta<8/5\), we remove two leading jump biases from each regime's truncated variation. We then combine the diffusion estimator with estimated signed tail means in an adaptive drift contrast. We prove joint asymptotic normality at rates \(\sqrt{T_n}\) and \(\sqrt n\), together with feasible studentization. The growing horizon requires uniform control of the debiasing remainders and random denominators over increasing regime exposures. It also produces an explicit L\'evy-measure term in the drift covariance. A fixed-grid median stabilizes the two-step correction without changing its first-order limit. We study finite-sample behavior by simulation and apply the method to 127.5 hours of cattle sensor data. In the application, jaw-activity labels are recorded by a device separate from the sensor that measures the state process.
On the range of competing random walks
oai:arXiv.org:2607.02406v2
arXiv:2607.02406v2 Announce Type: replace
Abstract: We consider $N$ independent random walks $X^1,\dots,X^N$ in the lattice $\mathbb{Z}^d$ and prove limit theorems for the competitive range $\mathcal{R}_n^k$ of the $k$-th random walk $X^k$, which corresponds to the number of distinct sites that it has discovered before any of the other $X^\ell$, $\ell\ne k$, up to time $n$. This is a natural object to study foraging mechanisms in population ecology, in which context it is also natural to ask how the effect of competition for the access to resources affects the number of resources consumed by each individual. We work with random walks in the domain of attraction of a $\beta$-stable law and focus on the regime $d/\beta\in[1,3/2)$, in which classical results for the range show that the fluctuations are described by the renormalized self-intersection local time of the limiting process. We establish a central limit theorem in which a competition term emerges, thus answering the two previous questions we asked. We end the paper with a brief discussion on the remaining regimes $d/\beta\ge3/2$, in which the fluctuations are Gaussian and are not affected by the competition, and $d/\beta<1$ in which no strong law of large numbers holds and we expect the effect of the competition to strongly affect the first-order asymptotics.
On algebraic and arithmetic properties of monoids of product-$K$ sequences
oai:arXiv.org:2607.03020v2
arXiv:2607.03020v2 Announce Type: replace
Abstract: Let $G$ be a group and $K$ be a normal subgroup of $G$. A sequence over $G$ is a finite collection of terms from $G$, where repetition is allowed, and the order is disregarded. A product-$K$ sequence is a sequence whose terms can be ordered such that their product in $G$ belongs to $K$. The set $\mathcal B_K (G)$ of all product-$K$ sequences over $G$ forms a monoid, called the monoid of product-$K$ sequences, under the operation of sequence concatenation. In this paper, we investigate the algebraic and arithmetic properties of the monoid $\mathcal B_K (G)$. Among our main results, we provide precise characterizations of when $\mathcal B_K (G)$ satisfies key properties, namely being (transfer) Krull, a (seminormal) C-monoid, or (half-)factorial. After that, we study the Isomorphism Problem for monoids of product-$K$ sequences. Our results generalize existing frameworks, making them applicable to both the classical abelian and the more recently developed non-abelian settings.
A category of locally convex Lie algebroids
oai:arXiv.org:2607.07672v2
arXiv:2607.07672v2 Announce Type: replace
Abstract: We study first-order locally convex Lie algebroids in the setting of Bastiani calculus. The first-order condition is automatic in finite rank, but is an additional regularity hypothesis for general locally convex vector bundles. We define sheaves of scalar-valued and vector-valued Lie algebroid forms as fiberwise continuous alternating maps with smooth local representatives. Morphisms are defined by requiring the induced pullback on inverse-image sheaves of scalar-valued forms to commute with the Lie algebroid differentials. We prove that these algebroids form a category, study representations and cohomology sheaves, and show that the Lie algebroids and morphisms of locally convex Lie groupoids belong to this category. We also give two applications. For a compact manifold $K$, the current algebroid $C^\infty(K,A)\to C^\infty(K,M)$ of a first-order Banach Lie algebroid $A\to M$ is a first-order Fr\'echet Lie algebroid, provided $M$ admits local addition. Finally, we prove a Banach Lie II theorem: a morphism from the Lie algebroid of a locally convex Lie groupoid to that of a Banach-Lie groupoid, both with Hausdorff source fibers, integrates uniquely to a groupoid morphism when the source groupoid is source-connected and source-simply connected.
Isometries between C$^*$-algebras with finite corank
oai:arXiv.org:2607.13367v2
arXiv:2607.13367v2 Announce Type: replace
Abstract: We give a characterization of linear isometries with finite corank between two arbitrary unital C$^*$-algebras in terms of Jordan $^*$-homomorphisms and ``finite-dimensional remainders''. Also, the corresponding results are given for linear isometries and linear order embeddings between self-adjoint parts of C$^*$-algebras. In the finite-dimensional case, we give new examples of linear isometries between matrix algebras.
A complete curve of genus 5 in the moduli space of curves of genus 3 and related questions
oai:arXiv.org:2607.13486v3
arXiv:2607.13486v3 Announce Type: replace
Abstract: Let M_3 be the coarse moduli space of smooth complex projective curves of genus 3. Through a general point of M_3, we construct a smooth complete curve of genus 21 and gonality 7, and a singular complete curve whose normalization has genus 19 and gonality 6. We also construct a Hodge-generic complete trigonal curve of geometric genus 5 in M_3.
Sharp Riesz and reverse Riesz inequalities for degenerate elliptic operators of Grushin type
oai:arXiv.org:2607.15599v2
arXiv:2607.15599v2 Announce Type: replace
Abstract: We determine the sharp $L^p$ ranges of the Riesz transform and the reverse Riesz inequality for a class of power-degenerate elliptic operators of Grushin type. When the degenerate variable has dimension at least two, the Riesz transform is bounded throughout the reflexive range. In dimension one, a capacity-driven transition occurs: weak degeneracy produces a sharp finite upper endpoint, whereas strong degeneracy separates the two half-lines and restores the full range. The reverse inequality displays a different sharp phenomenon. In the weakly degenerate one-dimensional regime it holds throughout the reflexive range except at a single Hardy-critical exponent, while in all remaining regimes it holds for every $1
Finite Group Reduction of the DR/DZ Hierarchies
oai:arXiv.org:2607.16607v3
arXiv:2607.16607v3 Announce Type: replace
Abstract: We show that the finite group reduction of the Dubrovin-Zhang/Double Ramification hierarchy associated with a semisimple CohFT preserves its bihamiltonian structure and its tau structure. By applying this result to the orbifold Gromov-Witten theory with the target $\mathbb{P}^1_{2,2,2,2}$, we obtain two non-equivalent integrable hierarchies which can be associated with the Frobenius manifold structure on the Hurwitz space $M_{1;1}$, and we show that one of them is equivalent to the genus one topological recursion.
$H^2(\Omega)$ A Priori Error Bounds for Boundary-Adapted PINNs Solving Elliptic Dirichlet Problems
oai:arXiv.org:2607.19167v2
arXiv:2607.19167v2 Announce Type: replace
Abstract: We study the numerical resolution of uniformly elliptic Dirichlet boundary value problems (BVPs) by minimization of the PDE residual over a hypothesis space of Neural Networks made to satisfy exactly the boundary conditions through multiplication by a user-defined \emph{distance-to-boundary approximation} $\rho$. While an $L^2(\partial\Omega)$ boundary penalty cannot generally guarantee $H^2(\Omega)$ error control, we show that exact enforcement can, provided $\rho$ is chosen appropriately. More precisely, we identify a sharp sufficient condition on $\rho$ preserving the regularity needed for $H^2(\Omega)$ error control, provide practical constructions of such $\rho$ for general smooth domains $\Omega$, and refer to the resulting networks as \emph{boundary-adapted}. For boundary-adapted Rectified Quadratic Unit (ReQU) and hyperbolic tangent (tanh) networks, we then derive explicit high-probability $H^2(\Omega)$ convergence rates by combining approximation-theoretic and statistical-learning arguments, making explicit the dependence on $\rho$. Numerical experiments support our theoretical results, showing that appropriate choices of $\rho$ improve accuracy and convergence, while poorly chosen distance functions can substantially degrade the solution. Our proof also yields new VC-dimension bounds for hypothesis spaces of higher-order derivatives of ReQU and tanh networks, together with new approximation bounds for shallow ReQU networks in higher-order Sobolev norms, all of which are of important independent interest.
Self-Similar Solutions of the Two-Dimensional Incompressible Euler Equation from Large Initial Data
oai:arXiv.org:2607.19700v3
arXiv:2607.19700v3 Announce Type: replace
Abstract: Given $0
Skeleton Chordalities
oai:arXiv.org:2607.21166v3
arXiv:2607.21166v3 Announce Type: replace
Abstract: We study new higher-dimensional analogs of graph chordality and review the existing ones. Our main results for simplicial complexes are:
(1) $\Delta$ skeleton-E-chordal $\Rightarrow$ $\Delta^\vee$ vertex-decomposable $\Rightarrow$ $\Delta$ skeleton-clique-chordal. Moreover, for subflag complexes, $\Delta$ skeleton-E-chordal $\Longleftrightarrow$ $\Delta^\vee$ vertex-decomposable. (For $d=1$ this boils down to ``$G$ chordal $\Longleftrightarrow$ $G^\vee$ vertex-decomposable'', a result closely related to Fr\"oberg's theorem.)
(2) For subflag complexes, $\Delta$ is skeleton-E-chordal $\Longleftrightarrow$ it splits as $\Delta = \Delta_1 \cup \Delta_2$, with each $\Delta_i$ a skeleton-E-chordal induced subcomplex of $\Delta$, and with $\Delta_1 \cap \Delta_2$ a complex whose $1$-skeleton is a clique. (This generalizes ``$G$ chordal $\Longleftrightarrow$ $G$ splits as a union of chordal graphs that intersect in a common clique'').
(3) $\Delta$ skeleton-E-chordal $\Longleftrightarrow$ every nonempty induced subcomplex of $\Delta$ has a skeleton-E-simplicial vertex. (Generalizes ``$G$ chordal $\Leftrightarrow$ every nonempty induced subgraph has a simplicial vertex''.)
(4) $\Delta$ underclosed $\Rightarrow$ $\Delta$ skeleton-weakly-chordal and weakly-closed. (Generalizes ``$G$ interval $\Rightarrow$ $G$ chordal and co-comparability''.)
(5) All pure E-chordal complexes are vertex-chordal; all pure mid-chordal complexes are weakly-vertex-chordal; all pure very-weakly-chordal complexes are weakly-ridge-chordal. (This expands Bigdeli, Yazdan-Pour and Zaare-Nahandi's work on ridge-chordality.)
An infinite family of counterexamples to the Polycirculant Conjecture
oai:arXiv.org:2607.23423v2
arXiv:2607.23423v2 Announce Type: replace
Abstract: We disprove the Polycirculant Conjecture, which states that every transitive 2-closed permutation group is non-elusive, i.e. contains a derangement of prime order. In fact, we prove a stronger result, answering a long-standing question of Maru\v{s}i\v{c} and Jordan: there exists a vertex-transitive graph admitting no semiregular automorphism. To do so, we employ recently developed methods of Chen et al. for constructing elusive groups via non-split extensions, allowing us to construct an elusive group $7^6.\mathrm{PSU}_3(3)$ of degree 16,464. We show that this group is the full automorphism group of seven of its orbital graphs and hence is 2-closed. Our example extends to infinitely many counterexamples of the Polycirculant Conjecture, and infinitely many vertex-transitive graphs admitting no semiregular automorphism.
Computable Quantification in Reflective Grounded Arithmetic
oai:arXiv.org:2607.25533v2
arXiv:2607.25533v2 Announce Type: replace
Abstract: Informal statements of G\"odel's incompleteness theorems often run: "any consistent formal system with arithmetic has true but unprovable statements." That reading assumes a classical notion of truth, under which a universal statement is true as soon as each of its numeral instances is. This paper presents reflective grounded arithmetic (RGA), in which truth is grounded in computation and universal quantification is grounded reflectively: a universal statement is true when the system's own proof search certifies its schematic instance, and false when the system refutes one numeral instance. RGA allows recursive definitions without restriction and proves addition, multiplication and Ackermann's function total as theorems quantified inside the system. RGA is consistent, and it is complete for its own, grounded notion of truth: every well-formed statement that evaluates to true is provable. G\"odel's theorems still hold for RGA, as a companion paper shows. The statements that classical reasoning calls true but unprovable have every numeral instance provable but no certified schematic instance, so they are ungrounded in RGA; read instance by instance, in an $\omega$-semantics for which RGA is also sound, they are true. All results are machine-checked in Isabelle/HOL: soundness and consistency; completeness for grounded truth, open statements included; $\omega$-soundness and $\omega$-consistency; that grounded truth is recursively enumerable and RGA represents exactly the recursively enumerable sets; and $\omega$-incompleteness. The logic is neither classical nor intuitionistic: double negation is eliminable as an entailment, excluded middle fails wherever a statement has no boolean value, RGA has the disjunction and witness properties, and the deduction theorem holds exactly at provably decided hypotheses.
Jacobi polynomials on the simplex of Hermitian matrices and zonal spherical functions on partial flag manifolds
oai:arXiv.org:2607.25760v2
arXiv:2607.25760v2 Announce Type: replace
Abstract: We introduce the radial part of the Laplace-Beltrami operator on partial flag manifolds and study its eigenfunctions, the elementary zonal spherical functions. These eigenfunctions can be related to orthogonal polynomials on the simplex of Hermitian matrices invariant under simultaneous conjugation by unitary matrices with respect to the complex matrix-variate Dirichlet distribution. Using a matrix-variate version of Koornwinder's method for constructing orthogonal polynomials in multiple variables from orthogonal polynomials in one variable, we construct a family of pairwise orthogonal polynomials in terms of Hermitian Jacobi polynomials and conjecture that some of these are elementary zonal spherical functions. Furthermore, we recall the definition of multivariate Schur polynomials and show how they can be used to obtain information about elementary zonal spherical functions. In particular, we give some partial results in the direction that the radial part of the Laplace-Beltrami operator on partial flag manifolds is strongly triangular with respect to the multivariate Schur polynomials. The elementary zonal spherical functions can then be constructed by applying the Gram-Schmidt orthogonalisation process to the multivariate Schur functions.
Near full groups of bounded type, II
oai:arXiv.org:2607.26572v3
arXiv:2607.26572v3 Announce Type: replace
Abstract: We study when a finitely generated group of bounded type contains the AF alternating group of the tail groupoid of its defining Bratteli diagram. This containment is an input to the full group completion theorem of Part I. We give sufficient conditions for this containment, in which selectors separate inherited diagonal actions, and an exact criterion for finite regular coverings. In the covering case, the intersection with the AF alternating group is the centralizer of the deck transformations commuting with the adjoined AF permutations. The formula classifies all subgroups between the canonical lift of the base AF alternating group and the AF alternating group of the covering. In particular, the lift is maximal exactly when the deck group has prime order, and cyclic coverings yield finitely generated groups whose intersections with the AF alternating group of the covering realize these subgroups. We identify fragmentations that produce the required selectors. For periodic fragmentations of the directed generator in the modified Fabrykowski--Gupta group, surjectivity of the activity subspace onto each pair of consecutive coordinates gives containment with absorption delay at most two. A five-periodic example also satisfies this condition, although its activity subspace has dual distance two. The original four-periodic fragmentation group has index four in its topological full group.
Geometric Methods for Stochastic Dynamical Systems: A Concise Introduction
oai:arXiv.org:2607.27237v3
arXiv:2607.27237v3 Announce Type: replace
Abstract: There is growing interest in stochastic dynamics in the applied mathematics, interdis-ciplinary science, and artificial intelligence communities. This book is written primarilyfor applied mathematicians and scientists who may not have the necessary backgroundto go directly to advanced reference books or research literature in geometric methodsfor stochastic dynamics.
Our goal is to present a few selected geometric methods for understanding solutionsof stochastic differential equations. Some necessary background is reviewed, while moreadvanced materials are referred to relevant literature. It is our hope that this book willprovide a guide to the reader in accessing advanced monographs and research literaturein stochastic dynamics. We have tried to strike a balance between mathematical precisionand accessibility for the readers of this book. For example, some proofs are presented,whereas some are outlined and others are directed to references. Some definitions arepresented in separate paragraphs starting with Definition, but others are introduced lessformally as they occur in the body of the text.
This book may be used as a textbook or a reference for advanced doctoral students, postdoctoral fellows, researchers and practitioners in applied mathematics, machinelearning, artificial intelligence, engineering and applied science.
The Follow-the-Leader scheme with non-monotone velocity
oai:arXiv.org:2607.28195v2
arXiv:2607.28195v2 Announce Type: replace
Abstract: This paper addresses the approximation of entropy solutions to a one-dimensional scalar conservation law via the so-called Follow-the-Leader particle scheme in case the velocity map is \emph{non monotone}. The result is based on a discrete maximum principle, on $BV$ estimates of the approximated density, and on the characterization of the limit as entropy solution in the sense of Kru\v zkov.
Kalton-Peck space is not isomorphic to its hyperplanes
oai:arXiv.org:2608.02126v2
arXiv:2608.02126v2 Announce Type: replace
Abstract: Let $Z_2$ denote the real Kalton-Peck space. No hyperplane of $Z_2$ admits a complex structure, and $Z_2$ is even in the sense of Ferenczi-Galego. Therefore, $Z_2$ is not linearly isomorphic to its hyperplanes, solving a long-standing conjecture in Banach space theory. The argument uses the Kalton-Swanson symplectic form on $Z_2$, the Castillo-Gonz\'alez-Pino Fredholm theorem in $Z_2$, and a special case of a mod-$2$ theorem of Li-Zhu on skew-adjoint Fredholm relations in symplectic spaces, for which a self-contained proof is included.
Two-Sided Dimension Bounds for the Peterson Hit Problem via Projections and Matrix Minors
oai:arXiv.org:2608.02623v4
arXiv:2608.02623v4 Announce Type: replace
Abstract: Let $\mathcal P_k=\mathbb F_2[x_1,\ldots,x_k]$ be the polynomial algebra over the prime field $\mathbb F_2$, viewed as an unstable module over the mod-$2$ Steenrod algebra $\mathcal A$. The well-known Peterson hit problem asks for a minimal set of generators for the $\mathcal A$-module $\mathcal P_k$. This is equivalent to determining the dimension of the cohit space $(Q\mathcal P_k)_d=(\mathcal P_k/\mathcal A^{+}\mathcal P_k)_d$, where $\mathcal A^{+}$ denotes the augmentation ideal of $\mathcal A$, for every $k\geq1$ and positive degree $d$. Although solved in every degree for at most four variables, it remains a difficult open problem in general. Furthermore, given the limitations of current tools, explicitly determining the dimension of $(Q\mathcal P_k)_d$ in the general case appears out of reach. Motivated by these limitations, we establish explicit upper and lower bounds for this dimension for arbitrary positive integers $k$ and $d.$ Our method combines binary combinatorics, linear algebra, and graph and simplicial structures associated with the generating Steenrod squares. We characterize zero rows, count zero columns, and refine rank estimates using Adem relations. Minors and zero rows of the resulting smaller matrix yield further two-sided cohit bounds without determining a complete basis or computing the full hit rank.
A point-free theory of quantitative homogenization
oai:arXiv.org:2608.05077v3
arXiv:2608.05077v3 Announce Type: replace
Abstract: We introduce a purely operator-theoretic framework for quantitative
homogenization that bypasses the traditional reliance on large-scale
spatial regularity and probabilistic assumptions. Inspired by
Tartar's vision of a \emph{point-free} theory, we derive explicit
norm resolvent estimates using only the algebraic structure of
multiscale operators and the abstract geometry of Hilbert spaces. In
this framework, the effective macroscopic dynamics and the abstract
corrector emerge naturally from an orthogonal decomposition of the
state space, governed algebraically by a Schur complement. To
quantify the convergence rate, we introduce a frequency-splitting
technique and solve a generalized Sylvester equation that controls
the commutator between the differential structure and the highly
oscillatory material properties.
This abstract perspective unifies stationary, non-stationary,
periodic, quasi-periodic, and stochastic homogenization. We
demonstrate that the physical distinctions between these media--and
their respective convergence rates--are entirely captured by the
behavior of the spectral measures of the microscopic and macroscopic
derivative operators near zero frequency.
Finite-Rank Lie Algebroids for Singular Foliations of Prescribed Vanishing Order
oai:arXiv.org:2608.07351v2
arXiv:2608.07351v2 Announce Type: replace
Abstract: We construct a family of finite-rank Lie algebroids realizing, through their anchor maps, the singular foliations of vector fields vanishing to a prescribed order at the origin. The construction is obtained from the sub-adjacent Lie algebroids of a class of left-symmetric algebroids.
Electrostatics as a Stress Theory in $\mathbb R^3$ : Free and Bound Charge, Gauge Invariance, and Mechanical Interactions
oai:arXiv.org:2608.12900v2
arXiv:2608.12900v2 Announce Type: replace
Abstract: We formulate electrostatics in \rthree as the simplest instance of the theory of stresses: the virtual velocity field of continuum mechanics is simply replaced by a scalar potential field. A charge distribution is then a linear functional on potential fields whose value is the potential energy, and it is represented by a volume charge density and by surface charge densities on the boundaries of subbodies. Cauchy's theorem gives a vector field $\boldsymbol P$, the analog of the traction stress, and a scalar field $r$, so that the energy is $\int(r\varphi+\boldsymbol P\cdot\nabla\varphi)dV$. The pair $(r,\boldsymbol P)$, the analog of a variational stress, splits every charge distribution uniquely into free charge, with density $r$, and a dipole distribution, with density $\boldsymbol P$, which carries the bound charges $-\nabla\cdot\boldsymbol P$ and $\boldsymbol P\cdot\boldsymbol{\nu}$; the fields $r$ and $\boldsymbol P$ are the densities of charge and of dipole moment. We do not impose gauge invariance of the energy. Instead, we show that it is the analog of the balance of forces on every subbody, and that it singles out the neutral charge distributions. For charges embedded in matter, the forces exerted by the electric field are derived. They are shown to be gauge invariant for every charge distribution, and they include an asymmetric active stress $\boldsymbol E\boldsymbol\otimes\boldsymbol P$ whose skew-symmetric part is the couple density $\boldsymbol P\times\boldsymbol E$.
The distribution of $k$-free ideals in ray class groups
oai:arXiv.org:2608.13509v2
arXiv:2608.13509v2 Announce Type: replace
Abstract: In this paper, we extend the classical problem of studying the distribution of $k$-free integers in arithmetic progressions to the setting of arbitrary number fields. Using the language of ray class groups, we establish asymptotic formulas, together with error terms, for the number of $k$-free ideals of bounded norm lying in a given ray class. In particular, our results show that $k$-free ideals are equidistributed among ray classes. We also obtain improved error estimates in the cases of ideal class groups and narrow class groups by using sharper ideal counting asymptotics due to Landau. Our results recover the classical formulas of Gegenbauer and Cohen--Robinson over $\mathbb{Q}$ and extend previous work of Benkowski, Nymann, and Sittinger to the setting of ray class groups. We also present explicit computational examples that illustrate the asymptotic formulas and the equidistribution of $k$-free ideals among ray classes.
Shimura curves of discriminant 14 and 15 and associated Heun Functions
oai:arXiv.org:2608.14495v2
arXiv:2608.14495v2 Announce Type: replace
Abstract: We study the Shimura curves $X_D^*(1)$ of discriminant $D$ for $D=14, 15$ relating specific weight $4$ modular forms on these Shimura curves to the associated Heun functions for the quadrilateral group. We also discuss how the Picard-Fuchs equation of the associated family of abelian surfaces has solutions coming from modular forms on $X^*_{D}(1)$. We determine the rational exceptional sets of the associated Heun functions, and the algebraic values attained by the Heun function at these points. For example,
$${\rm He}\left( 81, \frac{1}{2}; \frac{1}{3}, \frac{1}{6}, \frac{1}{2}, \frac{1}{2};-\frac{729}{112}\right)= \left( \frac{2^2 \cdot 3^3 \cdot 5^3}{7^5} \right)^{\frac{1}{6}} $$.
Scaled boundary cubature scheme in higher dimensions: integration over polytopes and curved regions
oai:arXiv.org:2608.15563v2
arXiv:2608.15563v2 Announce Type: replace
Abstract: We extend the scaled boundary cubature (SBC) scheme from planar regions to higher-dimensional regions described by oriented boundary patches. The resulting parametrization transforms integrals over compact regions in $\mathbb{R}^d$ into sums of integrals over the boundary-patch parameter domains and a radial coordinate. In three dimensions, this yields a direct volume-integration rule for solids bounded by affine faces, triangular or tensor-product surface patches, B-spline patches, NURBS patches, and combinations of curved and affine boundary representations. For affine polytopes, recursive application of the scaled boundary map yields nested tensor-product rules over simplex sectors; in three dimensions, these reduce to tetrahedral-sector rules that apply equally to convex and nonconvex oriented polyhedra. We also develop transformations for weakly singular integrands. Placing the scaling center at a point singularity exposes the radial power cancelled by the Jacobian, while generalized radial scalings and Gauss--Jacobi quadrature handle fractional powers. A transverse scaled-boundary map provides the analogous construction for affine singular sets, with straight-line examples in three dimensions. Numerical examples verify polynomial exactness on affine polyhedra and a four-dimensional tesseract, rapid convergence on curved B-spline and NURBS solids, and the expected convergence improvements for point and line singularities. Near-boundary singularity tests also identify when additional patch subdivision or patch-parameter transformations are required.
The Geometric Function Atlas: Using What We Know About Radius Problems to Solve New Ones
oai:arXiv.org:2608.15697v2
arXiv:2608.15697v2 Announce Type: replace
Abstract: Usually, radius problems between Ma--Minda classes are solved one pair at a time, by fitting a disk inside the target region, providing a sufficient but not always the sharp radius. The same class appearing under different names makes comparison of results harder, with mistakes and duplication eluding detection. The Geometric Function Atlas catalogs radius problems using exact generators and a direction (source $\to$ target), ensuring unique identification. For each problem, we then compute the radius numerically, together with the point where the image first meets the target boundary. This helps us identify the sharp estimate which guides the proof we write. With this system, we were able to refine two earlier stated estimates, the disk radius for the sine $\to$ modified sigmoid and sine $\to$ rational cases from $\operatorname{arsinh} c$ to $\arcsin c$, and correct earlier stated values for the crescent and exponential classes: the sharp radius is $\sin 1$ from crescent to exponential, and $\log(1+\sqrt2)$ from exponential to crescent. All four proofs follow a common strategy: an estimate that is exact at the contact point, followed by the standard extremal function. Applying the method, we derive fifteen further sharp radii, four of them known.
An alternating Mizuno formula, modified gamma functions, and double sine special values
oai:arXiv.org:2608.17545v3
arXiv:2608.17545v3 Announce Type: replace
Abstract: For $n\ge1$ and $\operatorname{Re}(x_j)>0$, we prove an alternating analogue of Mizuno's product formula: \begin{equation*} \prod\nolimits_{m=0}^{\infty} \left(\prod_{j=1}^{n}(m+x_j)\right)^{(-1)^m} = \frac{(\sqrt{\pi/2})^n} {\prod_{j=1}^{n}\widetilde{\Gamma}(x_j)}, \end{equation*} where $\widetilde{\Gamma}$ is the modified gamma function associated with the alternating Hurwitz zeta function. The polynomial factors are regularized using factorwise logarithms, and the formula establishes compatibility between this regularization and polynomial factorization. Applications include Gaussian and cyclotomic (Kurokawa--Wakayama type) evaluations; the single-factor case recovers the alternating Lerch formula, and a normalized ratio yields Wallis' product.
A second group of results concerns an alternating double sine-type function. At nonexceptional positive periods, its positive-integer special values admit finite tangent-product representations. These products define locally meromorphic continuations $F_m$ in the period parameter. For $m\ge2$ and nonzero algebraic parameters, the continued values belong to $\mathbb P^1(\overline{\mathbb Q})$ at rational parameters and are finite, nonzero, and transcendental at nonrational parameters. We determine their orders at rational parameters and distinguish parameter continuation from fixed-period specialization at exceptional parameters.
Additional results include Barnes factorizations of multiple alternating gamma functions, a Glaisher--Kinkelin special value, finite-product Stirling-type asymptotics, a symmetric two-parameter form of the known odd-integer multiplication formula, and an odd-scaling distribution relation for the alternating double sine-type function.
Levine Equivalence in Aura Topological Spaces: Reachability, Alexandrov Structure, and Quotient Frames
oai:arXiv.org:2608.18269v2
arXiv:2608.18269v2 Announce Type: replace
Abstract: In this paper, we study Levine equivalence in aura topological spaces. We show that the aura topology is determined by the reachability preorder induced by the scope function and is therefore an Alexandrov topology. We prove that the aura-Levine hull has the explicit representation $K_{\mathfrak a}(A)=\uparrow_{\mathfrak a}A=S_{\mathfrak a}^{\infty}(A)$, and hence two subsets are aura-Levine equivalent if and only if they have the same eventual forward spread. We also describe the quotient structure of the equivalence classes, characterize separation properties through the reachability preorder, classify scope functions that induce the same Levine equivalence, and examine preservation under aura-continuous mappings. For finite aura spaces, we provide an explicit procedure for deciding aura-Levine equivalence using the reflexive-transitive closure of the scope relation.
A problem for isolated singularities of surfaces
oai:arXiv.org:2608.19452v3
arXiv:2608.19452v3 Announce Type: replace
Abstract: Let $E\subset\mathbf R^n$ be a set of dimension $2$ with an isolated singular point $0$, such that $E-\{0\}$ is an orientable $\mathcal C^2$ submanifold of $\mathbf R^n$ of dimension $2$, and hence a Riemann surface with the conformal structure induced by the ambient metric. We study the extension of its conformal structure across $0$, under hypotheses that are metric rather than analytic. The main result (1989) is that the isolated singularity $0$ is $\mathit{conformally \ point-like}$ (conformal to a punctured disc) whenever it is $\mathit{$M$-regular}$ : the pair $(E-\{0\},\{0\})$ satisfies a Whitney condition, and the length of the spherical slice $S(0,r)\cap E$ (a curve), where $S(0,r)$ is the sphere of radius $r$ centred at $0$, is bounded above by a linear function of $r$, a condition described as ''metric decay''. This is proven using an argument based on the modulus of rings (extremal length), which generalizes the classical planar technique to $2$-dimensional submanifolds of $\mathbb{R}^n$. Two classes of examples are examined: surfaces of revolution generated by a 1-dimensional curve and subanalytic sets of dimension 2 ---for which $M$-regularity is proven directly from Hironaka's structure theory---leading to the corollary that every isolated singularity of a $2$-dimensional orientable subanalytic set is conformally point-like. In this case the metric decay condition is obtained from a direct estimate of the volume of the slices $S(0,r)\cap E$ (Lemma 7.5), based on Hironaka's Whitney theorem and Stasica's decomposition into $L$-analytic pieces. A further original result is a $C^\infty$ counterexample showing that a strict Whitney condition alone does $\mathit{not}$ imply the linear length bound: the two hypotheses in the definition of $M$-regularity are independent.
The Parafree Conjecture for Lie rings and associative algebras
oai:arXiv.org:2608.20570v2
arXiv:2608.20570v2 Announce Type: replace
Abstract: We construct a finitely generated parafree Lie ring with nonzero second homology and, over every nonzero commutative ring, a finitely generated parafree augmented associative algebra with nonzero second homology. These examples disprove the analogues of the Parafree Conjecture for Lie rings and for augmented associative algebras. Our constructions also provide finitely generated parafree examples that are not finitely presented, both in the Lie-ring and augmented-algebra settings.
Ramification ideals for products of pure subgroups
oai:arXiv.org:2608.21210v2
arXiv:2608.21210v2 Announce Type: replace
Abstract: We study ramification ideals of finite Galois extensions of henselian valued fields whose Galois groups are products of pure subgroups. We give a criterion showing that the ideals supplied by the factors need not exhaust all subgroup ideals, and construct $C_p^2$-counterexamples of rank one with each defect $1,p,p^2$. For ramification-adapted families, whose intersections generate each ramification group, every subgroup ideal is represented by a cyclic subgroup of one member; when the members are pure, this gives a description in terms of distance sets. Such adapted decompositions always exist for elementary abelian groups. We also characterize principality of ramification ideals through defectlessness of the pure adapted factors. Kuhlmann's example shows that these conditions do not imply defectlessness of the full extension.
Optimal Selling of Defaultable Assets using the Distribution Builder
oai:arXiv.org:2608.21716v2
arXiv:2608.21716v2 Announce Type: replace
Abstract: We consider the problem of when it is best to sell a risky asset in the \textit{distribution builder} framework under the consideration of potential ruin. This approach allows investors to express their preferences directly as a desired target distribution without first specifying a risk aversion or utility function. Mathematically, the problem is closely related to the Skorokhod embedding problem of attaining a given distribution by stopping a diffusion process. We work in a general framework of one-dimensional diffusion processes and extend existing results to include the possibility of ruin. We first provide a full characterization of the set of distributions that can be attained before ruin occurs. Then, we formulate two optimization problems that tackle the issue of what to do if the originally specified distribution is either not attainable or not optimal: finding the attainable distribution closest to an unattainable distribution and selecting an optimal attainable distribution under first-order stochastic dominance constraints if the originally specified distribution is attainable, but not optimal. We provide sufficient conditions for the existence and uniqueness of solutions to these constrained convex optimization problems in an extended \(f\)-divergence framework, provide an analytic characterization of the solutions, and present numerical examples.
Point Counts of Cluster Varieties of Marked Surfaces Over Finite Fields
oai:arXiv.org:2608.22208v2
arXiv:2608.22208v2 Announce Type: replace
Abstract: We establish formulae for point counts of cluster varieties of cluster algebras of marked surfaces, possibly with punctures. We then establish formulae for the number of non-deep points in these cluster varieties over $\mathbb{F}_2$, which gives us the number of algebraic tori necessary to cover the cluster manifold over $\mathbb{F}_2$. We also show that these formulae satisfy certain recurrence relations.
Sign Propagation of Principal Minors in Fully Semimonotone Matrices and Stone's Conjecture
oai:arXiv.org:2608.22829v3
arXiv:2608.22829v3 Announce Type: replace
Abstract: Stone conjectured in 1981 that every fully semimonotone $\mathbf{Q}_0$-matrix is a $\mathbf{P}_0$-matrix; Murthy and Parthasarathy (1995) proved this for orders up to $4$ and for several special classes. We study the principal minors of fully semimonotone matrices $A\in\Ezerof$ without using $\Qzero$. Let $\G(A)$ be the graph whose vertices are the index sets $\alpha$ with $\det A_{\alpha\alpha}\neq 0$ (including $\alpha=\emptyset$), two vertices being adjacent when they differ in exactly one index. We prove that the sign of the principal minor is constant on every connected component of $\G(A)$, and positive on the component of $\emptyset$. Consequences: an $\Ezerof$-matrix with no vanishing principal minor is a $\mathbf{P}$-matrix, and any $\Ezerof$-matrix satisfying a simple ``descending'' condition on its nonvanishing minors is a $\mathbf{P}_0$-matrix. We show that a sign change across two steps through vanishing minors forces strictly positive coupling in the corresponding principal pivotal transform, and that a principal submatrix of minimal order with negative determinant is an almost-$\mathbf{P}_0$ matrix whose inverse lies in $\Ezerof\cap\Nzero$ and has zero diagonal. Explicit examples show that the component structure can contain negative components, that $\det A>0$ does not force $A\in\Pzero$ in $\Ezerof$, that $\Ezerof$ is not invariant under $A\mapsto A+\varepsilon I$, and that $\Ezerof\cap\Pzero$ contains matrices with $\det A>0$ outside $\Qzero$. Stone's conjecture itself remains open.
Serial Depth of Adaptive Parallel Sampling: Lower Bounds and Schedules for Masked Diffusion Models
oai:arXiv.org:2608.25505v2
arXiv:2608.25505v2 Announce Type: replace
Abstract: Masked diffusion models generate sequences in rounds, predicting several masked positions at once. Fewer rounds can accelerate decoding, but sampling positions independently can lose their dependence and bias the output. How few rounds suffice for a prescribed error budget? Beyond error bounds for individual decoding rules, we study sharp lower bounds on the number of rounds required for a given target distribution. We introduce serial depth: the minimum number of rounds, averaged over target sequences, needed to meet a forward Kullback-Leibler error budget. With exact conditional probabilities, we prove these bounds for all deterministic rules that may adapt to generated values and construct matching schedules for several distribution families, with depths ranging from $\log\log n$ to linear in sequence length $n$. To narrow the gap to trained models, we show that these lower bounds remain valid for learned predictors and give sufficient accuracy conditions on visited contexts for schedules to retain their error guarantees. On two pretrained models across five text domains, a schedule suggested by the theory achieves higher average log-likelihood on held-out text in five rounds than random selection in eight. A preregistered confirmation study certifies a relative improvement on independent dialogue data.
Dilator-based analysis of KP
oai:arXiv.org:2608.29157v2
arXiv:2608.29157v2 Announce Type: replace
Abstract: Proof theorists developed various frameworks to analyze impredicative systems like $\Pi^1_1\text{-}\mathsf{CA}_0$ or $\mathsf{KP}$; One is an operator-controlled derivation system, and the other is Girard's dilator-based $\beta$-logic. In this paper, we provide a functorial formulation of operator-controlled analysis of $\mathsf{KP}$, thereby unifying the two approaches into a single framework. As an application, a new proof of Girard's boundedness theorem is also provided, which states that every $\Sigma_1$-over-$L_{\omega_1^{\mathsf{CK}}}$-definable function $\omega_1^\mathsf{CK}\to \omega_1^\mathsf{CK}$ is bounded by a recursive dilator.
Macroscopic scalar curvature bounds on surfaces
oai:arXiv.org:2609.00186v2
arXiv:2609.00186v2 Announce Type: replace
Abstract: We prove the generalized Geroch conjecture, and the corresponding hyperbolic conjecture, in dimension two.
A counterexample to the stable forking conjecture
oai:arXiv.org:2609.00436v2
arXiv:2609.00436v2 Announce Type: replace
Abstract: Using ChatGPT 5.6, we find a counterexample to the stable forking conjecture. This answers a long-standing open question of Hart, Kim and Pillay (1996).
Sharp Threshold for Universality of Rational Canonical Forms over a Finite Field
oai:arXiv.org:2609.01413v2
arXiv:2609.01413v2 Announce Type: replace
Abstract: We study the rational canonical form of sparse random matrices over a finite field. Suppose $A_n\in\mathrm{Mat}_n(\mathbb{F}_p)$ has independent and $\alpha_n$-balanced entries. We prove that if $n\alpha_n-\log n\to+\infty$, then, for every fixed collection of distinct monic irreducible polynomials over $\mathbb{F}_p$, the corresponding primary partitions of $A_n$ converge jointly to the same asymptotically independent Cohen-Lenstra distributions as in the uniform random matrix model. This strengthens the finite-field cokernel universality theorem of Lee (arXiv:2511.13070), which assumes $\alpha_n=c\log n/n$ for a fixed $c>1$, by resolving the additive endpoint case explicitly left open in his work. Moreover, our result extends universality from ordinary cokernels to the full rational canonical form. The condition is optimal for universality uniformly over fixed irreducible polynomials.
Our proof uses the surjection moment method developed by Sawin and Wood (arXiv:2210.06279) over $\mathbb{F}_p[t]$, together with a refinement of Lee's Fourier estimates that retains the full leading-order decay. We also construct degree-$d$ critical sparse obstructions, suggesting a polynomial-dependent threshold of $1/d$ for irreducible polynomials of minimal degree $d$.
On lifting representations and actions on curves of the metacyclic groups $C_{p^s}\rtimes C_m$
oai:arXiv.org:2609.03191v3
arXiv:2609.03191v3 Announce Type: replace
Abstract: For a prime $p$, a pair $(s,m)\in\mathbb{N}^2$ with $m$ relatively prime to $p$, a homomorphism $\chi:C_m\rightarrow\operatorname{Aut}(C_{p^s})$, and an algebraically closed field $k$ of characteristic $p$, we consider the semidirect product $G=C_{p^s}\rtimes_{\chi} C_m$, the $p$-Sylow subgroup $H\cong C_{p^s}$ of $G$, and a $k[G]$-module $V$. Let $R$ be a complete discrete valuation ring of residue field $k$ and mixed characteristic $(0,p)$ that contains a primitive $p^s$-th root of unity. If $\chi$ is injective, we present two necessary and sufficient criteria for lifting $V$ to an $R[G]$-module $\widetilde{V}$ which is a free $R$-module: (i) when no extra requirement is made on $\widetilde{V}$ and (ii) when we require $\widetilde{V}^H=\{0\}$. The criteria correct several results in the literature and we use them to prove that, if $\chi$ is injective and $G$ acts faithfully on a connected smooth projective curve $X$ over $k$, then, under mild hypotheses satisfied if $X\rightarrow X/G$ is a Harbater--Katz--Gabber cover, the $k[G]$-module $H^0(X,\Omega_X)$ has a lift $\widetilde{V}$ to $R$ with $\widetilde{V}^H=\{0\}$. Also, with $B:=R[\frac{1}{p}]$, we prove the following obstruction when $p$ is odd, $m$ is even, $\chi$ is injective, and $X/C_{p^s}\cong\mathbb{P}^1_k$: if no such lift $\widetilde{V}$ exists with the $B[H]$-module $\widetilde{V}\otimes_R B$ defined over $\mathbb{Q}$, then the action of $G$ on $X$ does not lift to $R$.
Symmetries and Causality: Causal Effect Identification Beyond IID Data
oai:arXiv.org:2609.03697v2
arXiv:2609.03697v2 Announce Type: replace
Abstract: We develop theory for the identification of complex causal queries from non-IID data. We propose a formal description of stochastic systems based on symmetries in data leaving causal mechanisms invariant. These symmetries become the source of statistical repetition for identification and mandate knowledge-transfer from observations to queries. The result is an abstract, simple and very general language for causal reasoning. We give descriptions of models and queries, and the formal infrastructure for their mathematically rigorous identification. The proposed structure enables a number of simplifying principles: A shared description of mechanisms and interventions, a duality of observed and queried structure, and the sub-division of the identification task into three steps - extraction, computation and query-expression. Our approach reproduces and matches standard theoretical results on IID data and transport of experimental and non-experimental data. By design, it additionally applies beyond IID data and captures complex causal queries not expressible via do- or soft-interventions.
Lifting curved Kakeya sets to linear Kakeya sets
oai:arXiv.org:2609.06299v2
arXiv:2609.06299v2 Announce Type: replace
Abstract: We prove that many curved Kakeya problems, originally motivated by H\"ormander's oscillatory integral problem, lift to the classical Kakeya problem in higher dimensions.
As a consequence, if the classical Kakeya set conjecture were true in all dimensions, the families of curves whose curved Kakeya sets have full dimension are dense among H\"ormander-type families. This is in contrast to the nowhere dense Bourgain's condition, which is a necessary condition for best-case curved Kakeya maximal function estimates. Furthermore the linear Kakeya set conjecture would imply a fairly complete understanding of Kakeya sets of quadratic curves, as first studied systematically by Wisewell. These results give a better understanding of a question posed by Guo--Guth--Nadjimzadah--Shen--Zhang, and they more generally show that the classical Kakeya conjecture in high dimensions rests on a broad range of curved Kakeya problems in lower dimensions.
A polynomial criterion for Jordan elements in a free associative algebra
oai:arXiv.org:2609.08314v2
arXiv:2609.08314v2 Announce Type: replace
Abstract: Let $J$ be the Jordan subalgebra of the free associative algebra $\Q\langle X\rangle$ generated by $X$ and $1$ under $a\cdot b=\tfrac12(ab+ba)$. We give a polynomial criterion for an associative polynomial to belong to $J$. For every $n\ge1$, Robbins' recursion gives a family of operators $T_\alpha\in\Q[S_n]$, indexed by compositions of $n$ into parts $1$ and $2$. We prove that right multiplication by $U_n=\sum_\alpha T_\alpha^\dagger T_\alpha$ has image $\SJ(n)$, the space of multilinear Jordan elements. If its characteristic polynomial is $t^{e_n}q_n(t)$, where $q_n(0)\ne0$, then $\Pi_n=I-q_n(U_n)/q_n(0)$ is an idempotent and $f\in\SJ(n)$ if and only if $fq_n(U_n)=0$, or equivalently $f\Pi_n=f$. The same operators give the criterion for arbitrary homogeneous polynomials of degree $n$. We also prove $\SJ(n)\cong\bigoplus_{\lambda\vdash n}r_\lambda S^\lambda$, where $r_\lambda=\rank\rho_\lambda(U_n)$. Thus $\dim\SJ(n)=\sum_\lambda d_\lambda r_\lambda$ and $e_n=\sum_\lambda d_\lambda(d_\lambda-r_\lambda)$, with $d_\lambda=\dim S^\lambda$. We give a recursion for the corresponding row spaces and use it to compute the multiplicities over $\Q$ through degree $12$. Exact block characteristic polynomials through degree $7$ and direct computations in small degrees illustrate the criterion.
Positive solutions for an indefinite-weight Minkowski mean curvature Neumann problem: multiplicity and asymptotic behaviour
oai:arXiv.org:2609.09894v2
arXiv:2609.09894v2 Announce Type: replace
Abstract: We study the Neumann boundary value problem $$ -\operatorname{div}\left(\frac{\nabla u}{\sqrt{1-|\nabla u|^2}}\right) = \lambda a(x)g(u) \quad \text{in } \Omega, \qquad \frac{\nabla u}{\sqrt{1-|\nabla u|^2}}\cdot \mathbf n = 0 \quad \text{on } \partial\Omega, $$ where $\Omega \subset \mathbb R^N$ is a bounded convex domain, $a\in L^\infty(\Omega)$ is an indefinite weight with $\int_\Omega a(x) \, dx< 0$, and $g$ is a nonlinearity. Under suitable assumptions on $g$, we prove the existence of two positive solutions for sufficiently large $\lambda>0$, using Szulkin's theory for nonsmooth functionals: a global minimizer $u_\lambda^{(l)}$ with negative energy, and a mountain-pass critical point $u_\lambda^{(s)}$ with positive energy. Furthermore, we study the asymptotic behaviour as $\lambda\to+\infty$ of both families of solutions. For the ground states we prove that, up to a subsequence, $u_\lambda^{(l)}\to u_\infty$ uniformly, where $u_\infty$ satisfies $\|\nabla u_\infty\|_{L^\infty(\Omega)}=1$ and is characterized by being a maximizer of $\int_\Omega a(x) G(u) \, dx$ and a minimizer of the kinetic energy among all such maximizers. In the model case $g(u)=|u|^{p-2}u$, $p>2$, we also show that the mountain-pass energy level satisfies the upper bound $c_\lambda=O(\lambda^{-2/(p-2)})$, and that $u_\lambda^{(s)}\to0$ in $C(\overline\Omega)$.
Vanishing boundary geometry and critical pressure compactness for the three-dimensional Navier--Stokes equations
oai:arXiv.org:2609.13223v2
arXiv:2609.13223v2 Announce Type: replace
Abstract: We prove boundary partial regularity for the three-dimensional nonstationary Navier--Stokes equations in bounded domains with fractional Sobolev boundary graphs whose integrability exponent is greater than three. Within the fractional Sobolev graph setting, this lowers the boundary threshold from fifteen quarters to three. We work in Breit's boundary suitable weak-solution framework, with the mixed maximal-regularity pair $(5/3,15/14)$ explicitly included in the solution assumptions. The main difficulty is to recover pressure compactness without imposing higher regularity on the rough boundary coefficients. After a rigid rotation to the tangent plane and parabolic rescaling, we show that each boundary graph becomes small in both Sobolev multiplier classes needed for the local energy inequality and the critical Stokes estimate. Geometry and fluid excess enter a contradiction argument as independent small parameters, so the limiting problem is the standard flat Stokes system. A localized pressure decomposition separates the vanishing nonlinear and coefficient errors from the forced and homogeneous flat pressures. The error pressure converges strongly at the critical mixed integrability pair, whereas higher spatial integrability is used only for the flat problems. These estimates yield a one-step excess decay bound with a constant independent of the contraction radius. A physical-scale iteration, followed by interior--boundary Campanato patching, gives local parabolic H\"older continuity of the velocity at every regular boundary point when the force has integrability exponent greater than five halves. The boundary singular set is relatively closed and has zero parabolic Hausdorff measure in dimension five thirds. The geometric decay determines a uniform starting scale and does not restrict the final regularity exponent.
Shape calculus and automatic differentiation for multi-phase level-set topology optimisation with unfitted finite elements
oai:arXiv.org:2609.15084v2
arXiv:2609.15084v2 Announce Type: replace
Abstract: We present shape calculus techniques and a scalable automatic shape differentiation framework for multi-phase topology optimisation on unfitted discretisations defined by several level-set functions. First we establish general, exact shape calculus expressions in the discrete case for multi-phase systems by leveraging concepts from convex geometry. To complement this theoretical foundation, we introduce an open-source multi-phase automatic shape differentiation framework based on polytopal cutting. This computational framework is validated against both finite differences and our established exact expressions, matching the latter to near machine precision. Furthermore, the proposed automatic shape differentiation is scalable across distributed computing environments, demonstrating near ideal weak scaling up to 1.65 billion finite elements across 13,824 computer cores. We demonstrate our implementation by solving unfitted multi-phase topology optimisation problems for anisotropic diffusion, linear elasticity, and fluid--structure interaction. Together, these theoretical and computational contributions provide a robust and accessible foundation for advancing multi-phase topology optimisation using unfitted finite element methods. In particular, the methods enable the solution of topology optimisation problems involving multi-phase and multi-physics systems with non-trivial boundary conditions. The open-source software is available at https://github.com/zjwegert/GridapTopOpt.jl.
Global Sobolev Convergence of Howard Iteration for Finite-Horizon Controlled Diffusions
oai:arXiv.org:2609.15607v2
arXiv:2609.15607v2 Announce Type: replace
Abstract: We study Howard policy iteration for finite-horizon stochastic control problems in which the control enters the diffusion coefficient. Each iteration selects a policy by maximizing the Hamiltonian and evaluates it through a linear parabolic equation. Since the improvement depends on the Hessian, even smooth data can produce discontinuous evaluation coefficients. We prove global convergence in the full parabolic Sobolev space under assumptions that allow this loss of regularity. In one space dimension, bounded measurable coefficients and uniform ellipticity suffice, without a large discount, a short horizon, small diffusion variation, or regularity assumptions on the improving policies. Multidimensional extensions hold under structural conditions on the diffusion matrix. The proof combines monotonicity with a parabolic growth estimate to show that the Bellman residual vanishes in measure. Uniform higher integrability then yields strong convergence of the values, gradients, Hessians, and time derivatives, and constructs the unique strong solution. We also establish residual error bounds, extend the argument to entropy regularization and zero-temperature limits, and obtain quadratic convergence for special one-dimensional models.
Monodromy Eigenvectors for Difference Equations with Root-of-Unity Step
oai:arXiv.org:2609.17742v2
arXiv:2609.17742v2 Announce Type: replace
Abstract: A qKZ-type discrete flat connection with multiplicative step $p$ has monodromy operators when $p$ is a root of unity. The monodromy operators are commuting endomorphisms of the connection. We construct their eigensections and eigenvalues. The construction is based on the presentation of the discrete flat connection as a discrete Gauss-Manin connection.
A parity obstruction to completeness of object cotorsion pairs
oai:arXiv.org:2609.18681v4
arXiv:2609.18681v4 Announce Type: replace
Abstract: Fu, Guil Asensio, Herzog and Torrecillas asked whether a complete ideal cotorsion pair of object ideals in an exact category always induces a complete cotorsion pair of objects. We show that it need not, even in a Hom-finite, weakly idempotent complete Frobenius exact category. Our example consists of bounded complexes of finite-dimensional vector spaces with even total cohomology dimension. We characterize special object approximations by parity and identify the obstruction as a non-split idempotent in the stable category. For cohereditary pairs, a criterion of Saor\'{\i}n and \v{S}\v{t}ov\'{\i}\v{c}ek gives an affirmative answer when the stable category is idempotent complete.
A Universal Law of Large Numbers for Extreme Cycles in Random \v{C}ech Complexes
oai:arXiv.org:2609.19474v2
arXiv:2609.19474v2 Announce Type: replace
Abstract: We study the maximal multiplicative persistence of $k$-cycles in random \v{C}ech complexes. Let $f:\mathbb{R}^d\to\mathbb{R}$ be a probability density function, let ${P}_n$ be a Poisson process with intensity $nf$, and let $\Pi_{k,n}$ denote the largest death-to-birth ratio among all non-essential $k$-cycles ($1\le k \le d-1$). For the uniform distribution in the unit hypercube, it was proved in [9] that $\Pi_{k,n} = \Theta\left( \left(\frac{\log n}{\log\log n}\right)^{1/k}\right)$. In this paper we sharpen and extend this result to a law of large numbers, for a broad class of distributions. Most significantly, we show that the limiting constant depends only on $d$ and $k$, and not on the probability density $f$. Thus the extreme value of multiplicative persistence exhibits a universality phenomenon. We show that the limiting constant is determined by the asymptotic covering density of the $k$-dimensional sphere. Our proof identifies the geometric mechanism underlying maximal cycles, a persistent isoperimetric inequality, which gives sharp bounds on the number of points needed to generate a highly persistent cycle. By combining covering-density estimates with isoperimetric inequalities, we show that this minimum is asymptotically attained by efficient coverings of a $k$-sphere. A key ingredient is a geometric measure theory argument that uses compactness to relate discrete covering counts to the volume of a limiting cycle.
Peeling sequences: a directional method for the three-block construction
oai:arXiv.org:2609.19540v2
arXiv:2609.19540v2 Announce Type: replace
Abstract: A peeling sequence of a finite planar point set is an ordering of its points, such that when the points get removed in this order,
each removed point is a vertex of the current convex hull of the set. Write $g(S)$ for the number of such sequences, and $g(n)$ for the minimum of $g(S)$ over $n$-point sets in general position. We present a method which can be used to prove better upper bounds on the previously analysed recursive 3-block constructions $S_n$. In fact, we prove $g(n)\leq g(S_n)=O(6.57^n)$, using directional restrictions and a weighted prefix-tree form of the Kraft--McMillan inequality. From the other direction, we show that the same construction cannot attain the current best known lower bound of $c\cdot3^n$. In fact, $g(S_n)\geq 5.22^n$ when $n$ is a large enough power of $3$. Improving the general lower bound on $g(n)$ is still an open question.
Sharp spectral norm concentration and regularization of sparse random tensors
oai:arXiv.org:2609.20520v2
arXiv:2609.20520v2 Announce Type: replace
Abstract: We prove sharp spectral-norm bounds and construct a mean-fitting regularization procedure for sparse random tensors of fixed order $k$. For an $n\times\cdots\times n$ tensor with independentBernoulli$(p)$ entries, the centered norm is $O(\sqrt{np})$ with polynomially high probability whenever $np\ge c\log n$. This removes the logarithmic loss in Zhou and Zhu (2021). We also determine the expected centered norm at every sparsity level: for every $0
Extremal numbers of acyclic matrices
oai:arXiv.org:2609.20726v2
arXiv:2609.20726v2 Announce Type: replace
Abstract: For a zero-one matrix $P$, let $\operatorname{Ex}(n,P)$ denote the maximum number of ones in an $n\times n$ zero-one matrix avoiding $P$. We prove that
$$\operatorname{Ex}(n,P) \leq n^{1+O_P(1/\log\log n)}$$ for every acyclic $P$, settling the weak form of the Pach-Tardos conjecture.
Eigenvectors of $p$-Curvature for Geometric Difference Equations
oai:arXiv.org:2609.21090v2
arXiv:2609.21090v2 Announce Type: replace
Abstract: A qKZ-type additive discrete flat connection in characteristic $p$ has $p$-curvature operators. They are commuting automorphisms of the connection. We present a Bethe-ansatz-type construction of eigensections and eigenvalues of the $p$-curvature operators. An eigensection of $p$-curvature operators is a discrete hypergeometric sum over the finite lattice $\mathbb{Z}^r/p\mathbb{Z}^r$. Thus, the $p$-curvature eigensections are constructed by a finite, discrete analogue of a hypergeometric integral.
Continuous sonic-supersonic flows in two-dimensional infinitely long divergent nozzles
oai:arXiv.org:2609.23415v2
arXiv:2609.23415v2 Announce Type: replace
Abstract: This paper concerns continuous sonic-supersonic flows in a two-dimensional infinitely long divergent nozzle with straight solid walls. For a given inlet that is a small perturbation of an arc centered at the vertex of the nozzle, we establish the global existence and uniqueness of a continuous sonic-supersonic potential flow which is close to the radially symmetric sonic-supersonic flow. The flow is sonic at the inlet, with its velocity along the normal direction, and becomes supersonic in the nozzle. Such a sonic-supersonic model is governed by a quasilinear nonstrictly hyperbolic equation with degeneracy at the inlet, and the degeneracy is weak in the sense that there exist exactly two distinct characteristics from each sonic point, except for those at the walls, pointing into the supersonic region. One of the crucial ingredients of the analysis is to obtain the precise asymptotic behavior near the sonic inlet by the method of characteristics, which is essential for establishing the local existence of continuous sonic-supersonic flows. Another one is to extend the local solution globally and derive uniform estimates in the supersonic region.
Eigenvectors and Eigenvalues of $p$-Curvature Operators for KZ--type Differential Connections
oai:arXiv.org:2609.25269v2
arXiv:2609.25269v2 Announce Type: replace
Abstract: A KZ-type connection in characteristic $p$ has $p$-curvature operators. These operators are commuting endomorphisms of the connection. We present a Bethe-ansatz-type construction of their eigenvectors and eigenvalues. The eigenvector is constructed as the value of a characteristic $p$ hypergeometric integral and extends to a flat eigensection over the Frobenius neighborhood of the corresponding Bethe point.
Light rays of Lorentzian graphs and the Born-Infeld model
oai:arXiv.org:2609.25449v2
arXiv:2609.25449v2 Announce Type: replace
Abstract: Following a program outlined by Bartnik, and also employing nonlinear potential techniques we developed in the last years, we study lightlike singularities of variational solutions to the prescribed Lorentzian mean curvature equation with possibly unbounded (rough) curvature. This corresponds to allowing for unbounded charges in the Born-Infeld model.
A minimization problem for a cooperative system with a degenerate Bernoulli weight
oai:arXiv.org:2609.25544v2
arXiv:2609.25544v2 Announce Type: replace
Abstract: In this paper, we study local minimizers of the energy functional$J(\mathbf{u}) = \int_D (|\nabla \mathbf{u}|^2 + Q^2(x)\chi_{\Omega_{\mathbf{u}}})\,dx$ which give rise to a singular cooperative system. Here \(\mathbf{u}=(u_1,\dots,u_m): D\to\R_+^m\) is a vector-valued unknown function, \(\Omega_{\mathbf{u}}:=\{|\mathbf{u}|>0\}\) is the positive set, \(\chi_{\Omega_{\mathbf{u}}}\) is the characteristic function of the positive set \(\Omega_{\mathbf{u}}\), and \(Q(x)\) is the Bernoulli weight function. This problem was first introduced by Caffarelli, Shahgholian, and Yeressian in the poineer work ({\it Duke Math. J.} \textbf{167}(10), 2018), where the regularity theory for minimizers and for the free boundary \(\partial\Omega_{\mathbf{u}}\) was established for nondegenerate Bernoulli weights, i.e., \(Q(x)\ge Q_{\rm min}>0\). The present paper studies the same free boundary problem but for a degenerate Bernoulli weight. The main difficulty lies in the coupling between the degeneracy of \(Q(x)\) and the vector-valued nature of the problem.
We show that the the free boundary set \(\partial\Omega_{\mathbf{u}}\cap\{Q(x)=0\}\) decomposes into a nondegenerate part and a degenerate part. Nondegenerate points admit nontrivial blow-up limits; degenerate points have zero weighted density. We classify nondegenerate points into single-phase, multi-phase non-branching, and multi-phase branching points, analyzing their geometric structure. The branching-point singular structure for multi-phase points is purely vectorial and new in this setting.
Finally, following Naber--Valtorta (Ann. Math. 185, 2017) and Edelen--Engelstein (Trans. Amer. Math. Soc. 371, 2019), we prove the nondegenerate set has locally finite $\mathcal{H}^{n-2}$-measure and is countably $(n-2)$-rectifiable.
Exact Ehrhart Series of Birkhoff Polytopes via Constant Terms and Finite-Field Evaluation
oai:arXiv.org:2609.25863v2
arXiv:2609.25863v2 Announce Type: replace
Abstract: The Ehrhart series of the $n$th Birkhoff polytope is $\sum_{r\geq0}H_n(r)z^r$, where $H_n(r)$ counts nonnegative integer $n\times n$ matrices whose row and column sums all equal $r$. We present an exact method for computing this series using constant terms and finite fields. A root filter expresses $H_n(r)$ as a weighted sum of the values $h_r(M)^n$, where $h_r$ is the complete homogeneous symmetric polynomial and $M$ ranges over multisets of $m$th roots of unity with $m=r+1$. Constant-term cancellation reduces the evaluation of $h_r(M)$ to a sum over repeated elements $a$ of $M$. For a particular $a$ of multiplicity $\mu_a$, the computation uses a generalized Todd coefficient of degree $\mu_a-2$. Sums of $h_r(M)^n$ over selected multiplicity classes are handled using symmetric function techniques. Together with the remaining individual evaluations, this gives $O_n(m^{n-5}+m^4)$ field operations for each admissible prime and fixed $n\geq5$. An explicit bound and the Chinese remainder theorem recover the integer counts, and Ehrhart symmetry determines the full series. The same method applies to the World Cup problem, which counts the same matrices with diagonal entries required to be $0$. We prove correctness and compute complete series for both families through order $13$. The Birkhoff series for orders $10$--$13$ and the World Cup series for orders $9$--$13$ are tabulated in the appendices.
Coarse rigidity in von Neumann algebras via derivations
oai:arXiv.org:2609.26496v2
arXiv:2609.26496v2 Announce Type: replace
Abstract: Motivated by the interaction between amenability and first cohomology into tempered representations of groups, we propose a notion of relative coarse rigidity for $\sigma$-finite von Neumann algebras through modular derivations and their associated GNS-symmetric quantum Markov semigroups. This extends Peterson's framework of $L^2$-rigidity to the nontracial setting. Our main result shows that the absence of relatively amenable summands forces the associated deformations to converge on relative commutants in ultrapowers. For diffuse von Neumann algebras with separable predual, this yields a dichotomy between the presence of an amenable summand and rigidity in terms of central sequences. Combining this principle with mixing and compactness, we provide a novel unified approach for proving indecomposability properties such as fullness, primeness and stable solidity. Applications yield new examples of relatively $\omega$-solid and relatively stably solid type III von Neumann algebras arising from amalgamated free products, operator-valued free Araki-Woods constructions, cocycle crossed products, and twisted nonsingular discrete measured groupoids.
Norms of the Hilbert Matrix Operator on Some Analytic Function Spaces
oai:arXiv.org:2609.27812v2
arXiv:2609.27812v2 Announce Type: replace
Abstract: For $\mathcal H:\mathcal B^\alpha\to\mathcal B^\alpha$ with $1<\alpha<2$, we obtain an exact norm representation. In particular, the norm is given by an explicit Gamma-function formula for $1<\alpha\leq3/2$, whereas for $3/2<\alpha<2$ it strictly exceeds the corresponding Gamma-function expression. For $\mathcal H:\mathcal B^\alpha\to\mathcal B^\alpha_{\log}$, we determine the exact norm: it is equal to $3/2$ for $1<\alpha\leq4/3$ and is given by an explicit Gamma-function formula for $4/3<\alpha<2$. We also determine the exact norm of $\mathcal H:H^1\to H^1_{\log}$ and show that it is equal to $\pi$. Finally, for $0<\alpha<1$, we determine the exact norm of $\mathcal H:H^\infty_\alpha\to\mathcal B^{\alpha+1}$, which is given by an explicit Gamma-function formula.
Matching Upper and Lower Bounds for Higher-Order Nonconvex Finite-Sum Optimization
oai:arXiv.org:2609.28202v2
arXiv:2609.28202v2 Announce Type: replace
Abstract: We establish tight randomized higher-order oracle complexity for finding first-order stationary points of nonconvex finite sums. Let $n$ be the number of components, $\Delta>0$ the initial objective-gap bound, $L_p>0$ an individual $p$-th derivative Lipschitz bound, and $\epsilon>0$ the target gradient norm. For every fixed integer $p\ge 2$, the minimax number of exact component queries returning the value and all derivatives through order $p$, with success probability at least $2/3$, is \[ \Theta_p\!\left( n+\Delta L_p^{1/p}n^{1-1/(2p)} \epsilon^{-(p+1)/p} \right), \] where the constants depend only on $p$ and the worst case ranges over all finite dimensions. The lower bound holds for unrestricted randomized adaptive algorithms and closes the $\sqrt{n}$ gap between the previously known general-order upper and lower bounds in their dependence on $n$. We extend dense weak hiding to complete higher-order replies while keeping each component's regularity independent of the chain length. The matching upper bound retains the known finite-sum exponent, requires only mean-squared $p$-th derivative increments, and removes the fixed-confidence logarithmic loss by verifying entire recursive-estimation epochs with exact function values. The characterization includes the additive $n$ term for every positive parameter regime; it counts oracle calls with unrestricted internal computation.
Localization near the edge for the lattice Anderson-Bernoulli model on general dimension
oai:arXiv.org:2609.30209v2
arXiv:2609.30209v2 Announce Type: replace
Abstract: The Anderson tight-binding model is a fundamental model of quantum transport and localization in disordered media. Solving a problem left open by Bourgain and Kenig, this paper proves Anderson localization near the bottom of the spectrum for the lattice Anderson model with Bernoulli potential, in any dimension $d\ge 2$. The proof uses the multiscale framework of Fr\"ohlich-Spencer and Bourgain-Kenig, and the main new ingredient is a probabilistic discrete unique continuation principle (PDUC) for the discrete Schr\"odinger equation. This PDUC is established via a bootstrap argument and a key probabilistic lemma proved by adaptively revealing the random potential.
Moment Ambiguity and the Limits of Robust Stochastic Optimization
oai:arXiv.org:2609.31090v2
arXiv:2609.31090v2 Announce Type: replace
Abstract: We study fundamental information-theoretic limits of robust stochastic optimization when the distribution is known only through its exact moment sequence. We develop a unified framework that produces families of distinct distributions sharing all moments yet inducing radically different optimal decisions, thereby establishing strong impossibility results for a range of decision problems under moment ambiguity.
Our binary and $N$-way moment-matching constructions separate quantiles, threshold regions, and online selection opportunities while preserving every moment. For the newsvendor problem, moment equivalence causes quantile ambiguity, inducing any fixed or randomized order quantity to fail arbitrarily badly. For revenue maximization, no deterministic or randomized posted pricing scheme can secure a nontrivial approximation relative to the full-information benchmark.
For the secretary problem with cardinal observations, the optimal robust success probability under exact moment disclosure is the classical finite-horizon value $s_m$, even for i.i.d. observations. This value converges to $1/e$, compared with the full-information limit of approximately $0.5801$ due to Gilbert and Mosteller (J. Am. Stat. Assoc., 1966).
We also recover and expand upon the recent impossibility result of Correa et al. (STOC, 2026) for prophet inequalities with moment knowledge. For every fixed $r\ge1$, exact moment knowledge can yield at best a $\Theta(1/\log m)$ competitive ratio, even when competing against relaxed benchmarks based on expected $r$-th order statistics or when the algorithm is allowed to select $r$ items.
A classification of zero $p$-rank curves with large automorphism groups in odd characteristic
oai:arXiv.org:2609.33185v2
arXiv:2609.33185v2 Announce Type: replace
Abstract: Let $\cX$ be a curve of genus $g\ge2$ and $p$-rank zero over an algebraically closed field of odd characteristic $p$, and let $G\le\Aut(\cX)$ satisfy $|G|>24g(g-1)$. We prove that $G$ fixes a point unless $(\cX,G)$ belongs to an explicit list. For $g\ge4$, the curve is a cyclic quotient of a Hermitian curve, of a Giulietti--Korchm\'aros curve, or of Skabelund's cover of a Ree curve. We determine the equations and all the groups $G$ that occur, including their central kernels. The exceptional $A_7$ action in characteristic $5$ is on the Hermitian curve of degree $6$; genera $2$ and $3$ are treated separately. The equations are recovered from the group action by two rigidity lemmas for equivariant one-point $p$-group covers of the affine line. If $G$ has no common fixed point and its Sylow $p$-subgroups are noncyclic, then, unless $G$ induces ${}^2G_2(3)$ on the orbit of Sylow fixed points, the bound $|G|>\max\{84(g-1),2g^2\}$ gives a rational quotient with exactly one wild and one tame short orbit, and a rational Sylow quotient.
Satellites and invariants of links
oai:arXiv.org:2609.33309v3
arXiv:2609.33309v3 Announce Type: replace
Abstract: An invariant $v$ of $m$-component links is called "cableable" if there exists a $k$ such that whenever a link $L'$ is obtained from a link $L=(K_1,\dots,K_m)$ by replacing each knot $K_i$ with its $(p_i,q_i)$-cable for some $p_i$ and $q_i$, we have $v(L')=(p_1\cdots p_m)^kv(L)$.
The following problem is implicit in a number of papers by P. M. Akhmetiev and originates from the Arnold-Moffatt program for finding topological lower bounds for the energy of a magnetic field: Does there exist a cableable finite type invariant of links in $S^3$ which is not a function of the pairwise linking numbers? According to Akhmetiev, he solved this problem himself, with the desired invariant being defined for $3$-component links as an analytic expression involving a magnetic field modeled on the given link. We offer a different solution, with the desired invariant for $m$-component links, $m\ge 3$, being a function of the coefficients of the Conway polynomial of the link and its sublinks; the function is given explicitly when $m=3$. Moreover, we show that the cables can be replaced by arbitrary satellites. Much of the proof is a study of low degree coefficients of the Conway potential function $\Omega_L(x_1,\dots,x_n)$ expanded as a formal power series in Conway's variables $z_i=x_i-x_i^{-1}$.
We also discuss type $n$ invariants which are "cableable up to an invariant of type $n-1$", some cableable invariants which are not of finite type (particularly a certain modification of Milnor's $\bar\mu$-invariants), and applications to links of solenoids.
Jackson and Bernstein Inequalities with Explicit Weight Dependence for Band-Limited Wavelet Approximation in Weighted Besov Spaces
oai:arXiv.org:2609.35520v2
arXiv:2609.35520v2 Announce Type: replace
Abstract: We prove direct and inverse estimates for band-limited biorthogonal wavelet systems in weighted Besov spaces with Muckenhoupt weights. On functions recovered from their wavelet expansion along the dyadic tree of the unit cube, the error of approximation by a prescribed number of terms decays at a rate set by the smoothness-to-dimension ratio, and this exponent cannot be increased. Under a multiresolution condition, Bernstein inequalities hold at a single scale and on every multiresolution subspace, and the linear approximation spaces are identified with weighted Lebesgue--Besov intersections. All constants are explicit; the weight enters only through displayed powers of the Muckenhoupt characteristic.
Failure of local extension of semipositive metrics in a smooth projective family
oai:arXiv.org:2609.36410v2
arXiv:2609.36410v2 Announce Type: replace
Abstract: We construct a smooth projective family of rational surfaces and an effective line bundle on its total space that give a negative answer to P\u{a}un's metric-extension question. The restricted bundle on the central fibre carries a semipositively curved singular Hermitian metric with analytic and minimal singularities, but this metric admits no semipositive extension to any neighbourhood of the whole fibre, even up to singularity type. The construction uses four-point blow-ups of the plane, with three centres becoming collinear on the central fibre. This change produces a nonzero integrable adjoint section on the central fibre, whereas the corresponding adjoint systems vanish on nearby noncentral fibres. If a metric extension existed, an $L^2$ extension theorem would extend that section, contradicting this vanishing.
There is no $8$-regular $K_3$-irregular graph
oai:arXiv.org:2609.37978v3
arXiv:2609.37978v3 Announce Type: replace
Abstract: A graph is $K_3$-irregular if its vertices belong to pairwise distinct numbers of triangles. We prove that no $8$-regular $K_3$-irregular graph exists, settling the last unresolved case. Following the initial discovery of such graphs for regularities $r \in \{10,11,12\}$ (Stevanovi\'c et al., 2024), our previous work (Hak et al., 2025) showed that no such graphs exist for $r \le 7$, provided the first example for $r=9$, and proved that any $8$-regular candidate must have between $17$ and $22$ vertices. We exclude these possible orders for $r=8$ by combining careful analysis of triangle degrees with integer linear programming techniques. Meanwhile, a recent construction (Zhang, 2026) established that regular $K_3$-irregular graphs do exist for all $r \ge 9$. Together with our results, this establishes that an $r$-regular $K_3$-irregular graph exists if and only if $r\geq 9$.
Supersingular Tate conjecture for irreducible symplectic varieties of known types: I
oai:arXiv.org:2609.38801v2
arXiv:2609.38801v2 Announce Type: replace
Abstract: We prove that for a supersingular irreducible symplectic variety admitting suitable lifting to characteristic zero has Tate Chow motive if it is of deformation type $K3^{[n]}$, OG6 (with Artin invariant $\neq$ 4), or OG10 (with Artin invariant $\neq$ 12), and has supersingular abelian Chow motive if it is of $\mathrm{Kum}^n$-type (with Artin invariant $\neq$ 3). In particular, any product of those irreducible symplectic varieties satisfies the supersingular Tate conjecture for the whole $\ell$-adic or crystalline cohomology ring.
Transcendence of dendric beta-expansions with pure discrete spectrum
oai:arXiv.org:2610.00856v2
arXiv:2610.00856v2 Announce Type: replace
Abstract: We prove the transcendence of numbers that have $\beta$-expansions (in algebraic bases $\beta$) belonging to dendric shifts with pure discrete spectrum, under combinatorial conditions on their directive sequences of substitutions. This includes Arnoux-Rauzy sequences on arbitrary alphabets and Cassaigne-Selmer sequences. The proof uses Rauzy fractals and the subspace theorem.
Weak type $(1,1)$ bounds for rough oscillatory singular integrals
oai:arXiv.org:2610.02789v3
arXiv:2610.02789v3 Announce Type: replace
Abstract: In their seminal work, F. Ricci and E. M. Stein [Proc. Nat. Acad. Sci. USA 83, 1--3 (1986)] introduced the oscillatory singular integral \[ T_Pf(x)=\mathrm{p.v.}\int_{\mathbb{R}^n} e^{iP(x,y)}\frac{\Omega(x-y)}{|x-y|^n}f(y)\,dy, \] and S. Chanillo and M. Christ [Duke Math. J. 55, 141--155 (1987)] established its weak-type $(1,1)$ inequality for smooth $\Omega$. For the rough variant, however, the weak-type $(1,1)$ inequality remained a long-standing open question. In the present paper, we settle this problem: specifically, we prove that the rough oscillatory singular integral is of weak type $(1,1)$ with $\Omega\in L\log^+L(\mathbb{S}^{n-1})$. Moreover, we establish weak-type $(1,1)$ bounds for the rough maximal oscillatory operator associated with $T_P$, a result of independent interest.
Idempotence in Carmichael and Giuga numbers and its application to the Agoh-Giuga conjecture
oai:arXiv.org:2610.09129v2
arXiv:2610.09129v2 Announce Type: replace
Abstract: This article analyzes the idempotence of Giuga numbers and Carmichael numbers. The first sections will lead us to define an arithmetic function through which we will find a new characterization of Giuga numbers. The following sections will lead us to generalize Carmichael numbers, finding numbers that are Fermat pseudoprimes in certain specific cases, and to formulate various statements and open questions regarding their properties. Finally, we will find a new alternative condition, based on idempotence, that a number must satisfy to be a counterexample to the Agoh-Giuga conjecture and which, therefore, presumably, no number will ever satisfy. We will almost always work under the premise that n is square-free, since both numbers always have that property, but in certain situations we will extend some of the results to the general case.
On a Digital Signature Based on Matrix Decomposition and the MinRank Problem
oai:arXiv.org:2610.09140v2
arXiv:2610.09140v2 Announce Type: replace
Abstract: The following article attempts to define a new digital signature scheme based on a variant of the MinRank problem under appropriate parameters. First, the key generation process will be defined, followed by the message signing and verification processes. The speed of signing and verification will be analyzed, and finally, the signature will be evaluated in terms of security and robustness against known attacks, which will lead to a set of requirements that we will consider when selecting certain parameters related to the size and number of variables. It should be noted that this signature, although simple in design, can serve as the foundation for an entire family of digital signatures based on the central idea that inspired its creation.
Classification of bipartite observables I: stable and uniformly stable observables
oai:arXiv.org:2610.11002v5
arXiv:2610.11002v5 Announce Type: replace
Abstract: This is the first of a series of three papers that bring model theory to quantum information. The dividing lines of Shelah's classification theory, which separate the tame first-order theories from the wild ones, become properties of bipartite observables: properties of the expectation values obtained when two independently prepared quantum systems are idealized one after the other. In this paper we focus on stability. An observable is stable when the order in which the two systems are idealized never changes its expectation value, and this is Shelah's stability. Its classical characterizations, in model theory and in analysis, acquire a physical meaning: idealized preparations are simulated by finite mixtures of actual ones, and adaptive probes can tell apart only polynomially many preparations.
The rank of 3x3 matrix multiplication over F2 is 23
oai:arXiv.org:2610.11823v3
arXiv:2610.11823v3 Announce Type: replace
Abstract: The rank of the tensor of $3\times 3$ matrix multiplication over the field with two elements is at most $23$ by Laderman's algorithm, and Rudich and Rousseau recently proved that it is at least $22$. We prove that it equals $23$. Hence Laderman's algorithm uses the fewest multiplications among all bilinear algorithms over $\mathbb{F}_2$ and among all bilinear algorithms with integer coefficients. The proof uses the substitution method in the form developed by D'Ambrosio, Wang and Yang et al., which bounds the number of first factors of a decomposition that lie in a given subspace of the space of first factors. We sharpen these bounds for $111$ of Wang's $496$ classes of subspaces, constrain the ranks of the first factors through a $27\times 27$ flattening of the tensor, and list, up to symmetry, all sets of $22$ first factors that satisfy these constraints. An exact completion search shows that none of them is the set of first factors of a decomposition. The computation emits certificates, which are checked in the Lean 4 proof assistant. In one formal proof the largest checks are evaluated as compiled code, and in a second one the kernel evaluates every check, so that its final theorem depends only on the three standard axioms of Lean. The Lean proofs build on the formalization of Rudich and Rousseau and import their table of bounds and their reduction for block algorithms.
Compact Quasi-Metric Spaces Are Expand-Contract Plastic
oai:arXiv.org:2610.14301v2
arXiv:2610.14301v2 Announce Type: replace
Abstract: On a totally bounded metric space every non-contractive self-map is an isometry. For quasi-metric spaces, taken T_1 throughout, this fails: Zavarzina gave a hereditarily precompact counterexample and asked whether bijectivity restores rigidity; the toll spiral shows that it does not. We prove that compactness does: every compact quasi-metric space is expand-contract plastic, that is, each of its bijective non-contractive self-maps is an isometry. Countable compactness suffices, as does compactness of the conjugate topology. Bijectivity cannot be dropped: a compact, hereditarily precompact quasi-metric on the natural numbers makes the shift non-contractive and not an isometry. For arbitrary non-contractive self-maps we prove rigidity when the space is hereditarily precompact and its conjugate topology is sequentially compact, in particular when it is hereditarily precompact and Yoneda complete; neither hypothesis can be dropped. In both theorems the T_1 axiom can be weakened to R_0, with hereditary precompactness read sequentially, but not to T_0: we construct a T_0 space with all the remaining hypotheses of both theorems, carrying a bijective non-contractive self-map that is not an isometry. Under R_0 the two-sided case reduces to the metric theorem; the one-sided theorems do not, and plasticity does not pass to the symmetrization even for compact spaces. In finite dimension the unit ball of a T_1 asymmetric normed space, forward or symmetric, and its sphere are rigid for every non-contractive self-map; without T_1 the forward ball need not be; in infinite dimension the symmetric ball and sphere are not plastic in general, and the forward versions carry the quasi-metric form of the unit-ball question of Cascales, Kadets, Orihuela and Wingler, which is posed. The two theorems are machine-checked in Lean, and so are the counterexamples, apart from a few statements listed at the end.
On infinite knot families with the same HOMFLYPT polynomial
oai:arXiv.org:2610.16017v2
arXiv:2610.16017v2 Announce Type: replace
Abstract: In this paper, we focus on the examples constructed by Kanenobu and provide new family knots with the same HOMFLYPT polynomial invariants, which are distinguished by the Kauffman polynomial.
Generalizing Green's Syzygy Theorems to Symmetric Products of Curves
oai:arXiv.org:2610.16350v2
arXiv:2610.16350v2 Announce Type: replace
Abstract: Let $C$ be a smooth projective curve of genus $g$, and let $T_{n,L}$ denote the tautological line bundle on its $n$-th symmetric product $C_n$. We prove effective vanishing criteria for Koszul cohomology $K_{p,q}(C_n,T_{n,B};T_{n,L})$, extending two classical theorems of Mark Green. The main ingredient is a weight-one vanishing theorem proved by induction on $n$, using a filtration of the kernel bundle of $T_{n,L}$ to reduce the required cohomological vanishings to lower symmetric products. As a consequence, when $g\geq1$ and $n\geq2$, $T_{n,L}$ satisfies property $(N_p)$ for $\mathrm{deg}(L)\geq(n+1)g+p$. This bound is sharp for elliptic symmetric squares and also gives evidence for a folklore conjecture on adjoint syzygies.
Multiple-Function Approximated Coded Computing: Constructions and Error Bounds
oai:arXiv.org:2610.16549v2
arXiv:2610.16549v2 Announce Type: replace
Abstract: Coded computing mitigates stragglers in distributed computation. While Lagrange coded computing (LCC) enables exact polynomial computation over finite fields, Berrut approximated coded computing (BACC) enables approximate computation of arbitrary, including non-polynomial, functions in the analog domain. In applications such as multi-task learning and inference, multiple functions must be evaluated over different subsets of a common dataset, making single-round computation desirable to reduce communication overhead. An existing LCC approach addresses this requirement but is restricted to polynomial functions over finite fields, leaving single-round multi-function computation in the analog domain an open problem. In this work, we develop a single-round construction for computing multiple arbitrary functions using BACC. We first extend the existing multi-function computation approach in LCC to the BACC setting and derive an approximation-error bound. Building on this, we propose a construction based on Berrut basis functions for computing multiple arbitrary functions and derive its approximation-error bound. We analyze the scaling of both bounds with the number of functions and the number of data points per function, and numerically compare the two constructions over a wide range of arbitrary functions. The results demonstrate that the proposed construction achieves lower relative errors than the existing approach in the tested settings.
On the foundations of logic and probability, II. Modal probability spaces
oai:arXiv.org:2610.17049v2
arXiv:2610.17049v2 Announce Type: replace
Abstract: A class of models which brings to the fore the inner logic of the calculus of probability instead of assigning probabilities to sentences is introduced and investigated.
The Singular Fibration of Collapsing RCD Spaces with Reifenberg Local Covers
oai:arXiv.org:2610.17229v2
arXiv:2610.17229v2 Announce Type: replace
Abstract: Let compact $\mathrm{RCD}(\kappa,N)$ spaces converge in the measured Gromov--Hausdorff sense, and suppose that they have $(\delta,\rho)$-Reifenberg local covers for one fixed $\rho>0$, with $|\kappa|\rho^2\le1$ and $\delta$ small. We prove that, along a subsequence, the spaces are singular fibrations over the limit: their canonical frame spaces converge to a topological manifold with a locally linear action of $O(n)$ whose quotient is the limit; for large indices the frame spaces fibre over this manifold, by maps that commute with $O(n)$, with fibres homeomorphic to nilmanifolds; and the induced maps to the limit are, near every point, quotients of products by the isotropy group, with fibres homeomorphic to infranilmanifolds. As applications, we extend a fibration theorem of Honda and Zhang to non-smooth RCD spaces whose local covers have injectivity radius bounded below, and we show that for aspherical spaces the isotropy groups are finite, the fibre groups inject into the fundamental groups, and the limit is the quotient of a contractible manifold by a proper cocompact action; under Rong's condition $A_s$ it is a closed aspherical manifold. Three appendices treat smooth manifolds with $\mathrm{Ric}\ge-(n-1)$ and small local rewinding Reifenberg error: a uniform short-time Ricci flow with $|\mathrm{Rm}|\le\alpha/t$, also for complete non-compact data, where it is unique among complete flows with curvature at most $A/t$; a second construction with affine nilmanifold bundles; and, conditional on Nifa's construction, examples showing that rewinding volume control alone does not give continuous Gromov--Hausdorff approximations with small error.
Norm properties of quantum uniformity measures
oai:arXiv.org:2610.17454v2
arXiv:2610.17454v2 Announce Type: replace
Abstract: We give a complete classification of the norm properties of quantum uniformity measures, introduced by Bu, Gu, and Jaffe to analytically characterize the Clifford hierarchy. Resolving an open question they posed, we show that quantum uniformity measures define norms precisely for $k=2,3,4$. In particular, we establish the triangle inequality for $k=4$, whereas for every $k\geq5$ it fails in some dimension. The higher-order result is proved using the structure theory of norming systems of linear equations over finite fields. We also study the geometry of quantum uniformity measures, establishing explicit bounds on the modulus of convexity whenever they define norms. Finally, we give a complete classification of the norm properties of matrix-valued Gowers uniformity functionals, showing that only $k=2$ defines a norm.
Functional Projection and Complexity Reduction
oai:arXiv.org:2610.17455v2
arXiv:2610.17455v2 Announce Type: replace
Abstract: T\"ornquist (arXiv:1310.3250) proved that if there exists a $\boldsymbol{\Sigma}^1_2$ maximal almost disjoint (MAD) family, then there exists a $\boldsymbol{\Pi}^1_1$ MAD family. Since then, several other "complexity reduction" proofs have been found for other combinatorial objects, such as maximal independent families or ultrafilters. All of these proofs have relied on $\boldsymbol{\Pi}^1_1$-uniformization, so they did not easily lift to higher projective levels.
In this paper, we introduce a principle weaker than Uniformization which we call "Functional Projection", and show that this principle is sufficient for most complexity reduction proofs. On the other hand, we prove that in $L[U]$, the canonical inner model for a measurable cardinal, Functional Projection holds for $\boldsymbol{\Pi}^1_2$ relations. As an immediate corollary, we obtain that in $L[U]$ there are $\boldsymbol{\Pi}^1_2$ witnesses for many combinatorial families.
Restriction estimates using multilinear Kakeya
oai:arXiv.org:2610.17752v2
arXiv:2610.17752v2 Announce Type: replace
Abstract: We use multilinear Kakeya estimates to establish restriction estimates in higher dimensions. For sufficiently large dimensions, our approach yields better exponents than those obtained by a direct application of polynomial partitioning.
Theoretical and Computational Advances in Birkhoff Pseudospectral Transcription for Aerospace Optimal Control
oai:arXiv.org:2610.17842v3
arXiv:2610.17842v3 Announce Type: replace
Abstract: Birkhoff pseudospectral methods replace the differentiation matrices of classical transcriptions with integration operators whose conditioning does not deteriorate with polynomial order. This paper presents theoretical and computational advancements toward their practical use in aerospace optimal control. The initial-point-anchored Birkhoff integration operator is constructed explicitly for flipped Legendre-Gauss-Radau grids and related exactly to the corresponding Lagrange differentiation matrix and, through a reflection, to the standard Radau Birkhoff operator, whose conditioning properties it inherits. Rate constraints on nonlinear functions of states and controls are enforced directly through the pseudospectral operators and, for control-rate limits, shown to be primal and dual equivalent to state augmentation. Non-affine time mappings concentrate the nodes around localized trajectory features, and composing affine scaling and equilibration transformations provides a systematic way to construct scaling strategies. The methods are implemented in the open-source MATLAB framework RAPTOR and tested across a range of challenging optimal control problems, including a dense-grid orbit-raising problem, a rate-limited landing scenario, a Space Shuttle entry problem, and a five-phase reusable-launch-vehicle mission.
Integral trace duality and the Witt filtration on Lubin--Tate space
oai:arXiv.org:2610.18246v2
arXiv:2610.18246v2 Announce Type: replace
Abstract: Let $\mathcal O$ be the Lubin--Tate deformation ring of a one-dimensional commutative formal group of finite height $n\geq1$ over a perfect field $k$ of characteristic $p$. We identify Rezk's Witt filtration $\{I_d\}$ with the divisibility filtration of integral trace pairings on subgroup algebras of fixed source lifts. This gives the geometric recursion \[
I_{d+1}=pI_d+J_{d,z}\qquad(d\geq0), \] where $J_{d,z}$ defines the targets of order-$p^d$ quotient isogenies from a $W(k)$-valued lift $z$ of the closed point. The corrected ideal is independent of $z$.
We also compute the cokernel of the universal source trace pairing over $\mathcal O$: it is $\bigoplus_{j=1}^d(\mathcal O/p^j)^{r_j-r_{j-1}}$, where $r_j$ counts order-$p^j$ subgroups of $(\mathbf Q_p/\mathbf Z_p)^n$. The same duality extends the generic trace along two-step isogeny flags to an integral surjection, even when the flag-forgetting map is not flat. This computes composition in the subring of weighted trace operations. Applications include sharp projector denominators and congruence fibre products for full-torsion loci.
Remarks on Lattice Actions Corresponding to Automorphism Groups of Smooth Cubic Fourfolds
oai:arXiv.org:2610.19161v3
arXiv:2610.19161v3 Announce Type: replace
Abstract: The automorphism groups of smooth cubic fourfolds over the complex numbers, together with actions on defining equations, are classified in previous works. In this paper, we complete the calculation of group actions on the primitive integral cohomology lattice for all of the $156$ families in the classification. We distinguish similar families, determine the remaining action-maximal cases, and use restriction to complete the list. We also determine the generic algebraic lattices for each family. The calculation depends mainly on OSCAR.
Continuous Narayana Interpolations: Hankel Total Positivity and Log-Convexity Preservation
oai:arXiv.org:2610.19548v3
arXiv:2610.19548v3 Announce Type: replace
Abstract: We study a continuous interpolation between the type $B$ and shifted type $A$ Narayana triangles. Using a direct Gegenbauer-moment proof and a continuant comparison criterion, we show that the row polynomials form a coefficientwise Hankel-totally positive sequence for every real $\theta\ge0$, and establish the same property for the moment sequences associated with all tails of the corresponding Jacobi matrix. Their $\gamma$-expansion, real-rootedness and Stieltjes moment representation are explicit, as are the exact orders of vanishing and extreme coefficients of arbitrary Hankel minors. This confirms and strengthens Rodelet--Causse--Tevlin's log-convexity conjecture for super Narayana polynomials. We further extend Wang--Yang's total positivity of the type~$A$ and $B$ Narayana triangles and strict total positivity of the associated squares to every real $\theta>-1$, using P\'olya-frequency sequences and a gamma-product moment representation. We also prove that the continuous Narayana transformations preserve strong $t$-log-convexity for every $\theta\ge0$, and that every $d$-Hoggatt transformation has the same property for integers $d\ge1$. The preservation proofs employ the Zhu--Sun criterion and a mixed-minor one-sign-change argument based on a hypergeometric hitting-probability inequality.
The Density and Quantitative Upper Bound of Integers Not Expressible as the Sum of a Prime and a Zumkeller Number
oai:arXiv.org:2610.19574v2
arXiv:2610.19574v2 Announce Type: replace
Abstract: A Zumkeller number is a positive integer whose set of positive divisors can be partitioned into two disjoint subsets of equal sums. In this paper, we investigate the additive properties of these numbers in conjunction with prime numbers. Specifically, we study the natural density of the exceptional set \(\mathcal{E}\) consisting of all positive integers not expressible as the sum of a prime and a Zumkeller number. Let $\alpha(x) = \#\{n \le x : n \in \mathcal{E}\}$ denote its counting function. We establish a quantitative upper bound for $\alpha(x)$, demonstrating that $\alpha(x) \ll x(\log \log x)^{-A}$, where $A = \log_2\left(\frac{2\pi^2}{2\pi^2-3}\right) \approx 0.2378$, thereby proving that the natural density of this exceptional set is $0$.
Elliptic theory and dimension drop for operators with divergence-free form-bounded drifts in one-sided chord-arc domains
oai:arXiv.org:2610.19983v2
arXiv:2610.19983v2 Announce Type: replace
Abstract: We develop a boundary value and potential theory for elliptic operators \[ L=-\Div(A\nabla)+\B\cdot\nabla \] with form-bounded drift in one-sided chord-arc domains. Assuming that the positive part of $\Div\B$ has sufficiently small form bound, we establish local regularity estimates and solvability of the Dirichlet problem, and construct the associated harmonic measure. Under the additional assumption $\Div\B\le0$, we construct a Green's function and prove pointwise and gradient estimates. For the characteristic distributional identity with a Dirac mass at the pole to hold, we will additionally assume either $\Div\B=0$ or $\B\in L^{n,1}_{\textup{loc}}(\Omega)$. Moreover, in the divergence-free case, we obtain a local lower bound for the Green's function, CFMS estimates, doubling of harmonic measure, a comparison principle for nonnegative solutions with zero trace, and a change of pole formula. Finally, using AI, we construct, in the upper half-space, an operator of the form $-\Delta+\B\cdot\nabla$ with $\B$ form-bounded and divergence-free, whose harmonic measure exhibits dimension drop.
Reciprocal Dynamics in Polynomial Congruence Jumping: Integral Orbits and Valuation Cones
oai:arXiv.org:2610.20176v2
arXiv:2610.20176v2 Announce Type: replace
Abstract: Alternating reciprocal transformations of polynomial divisibility systems couple an orbit of integer points to a rational dynamical system on polynomial coefficients. For fixed positive degrees $n,m$, we prove universal four-step return to rational gauge classes. Weighted primitive representatives preserve integral continuation through nondegenerate jumps using only exact division and coefficient gcds; the stronger requirement of monic integral representatives is governed by endpoint $p$-adic valuation defects. After one integral block, constant-term valuations evolve by an explicit unimodular matrix whose trace depends only on $nm$. This gives finite-order behavior for $nm<4$, parabolic dilations for $nm=4$, and hyperbolic dynamics for $nm>4$. In the hyperbolic case, invariant thresholds, irrational eigencones, and discrete valley formulas give finite criteria for forward and bi-infinite integral coefficient orbits, although failure can be delayed arbitrarily long.
Every positive-constant canonical monic coefficient chain admits an explicit positive rational four-phase gauge. At $nm=4$, geometric gauges reduce nondegenerate compatible rational point orbits to two-periodic affine recurrences, hence to sequences satisfying linear recurrences with constant coefficients. Polynomial identities of degree at most $h$ on each invariant conic admit certificates from $2h+1$ initial phase states, while integral unimodular recurrence models yield periodic modular obstructions. For $nm>4$, eventually positive normalized point orbits tending to infinity have hyperbolic logarithmic growth and cannot satisfy such linear recurrences. Finally, separated auxiliary-relation transport reduces rational rank to at most one after two alternating jumps; quadratic specialization gives exact local saturation criteria and persistence results across periodic, parabolic, and hyperbolic orbits.
Chow groups of symmetric products of projective spaces
oai:arXiv.org:2610.20239v3
arXiv:2610.20239v3 Announce Type: replace
Abstract: Let $\operatorname{SP}^{d}(\mathbb{P}^{n})$ denote the $d$-th symmetric product of complex projective space. We prove that its integral cycle class map is split injective and has finite cokernel annihilated by $d!$. We also compute the ranks of its Chow groups. By constructing compatible integral retractions on Chow groups and singular homology, we prove that addition of a fixed point induces an isomorphism on the Chow group of $q$-dimensional cycles whenever $d\geq q$. For $n\geq 3$ and $d\geq 6$, we construct a nonalgebraic class of order two in codimension two. Its image generates a direct summand of the cycle class cokernel and remains nonalgebraic after addition of fixed points. Consequently, integral surjectivity fails both at certain finite stages with $q\leq d$ and in the infinite symmetric product. We further identify the codimension two cokernel with third unramified cohomology of the smooth configuration space. Finally, we provide an example where multiplication by an even integer annihilates a nonzero Chow class of order two.
Benign Degeneracy for First-Order Methods in Exact Boolean Moment-SOS Relaxations
oai:arXiv.org:2610.20270v2
arXiv:2610.20270v2 Announce Type: replace
Abstract: Pseudo-Boolean optimization -- minimizing a polynomial over $\{\pm 1\}^n$ -- includes MAX-CUT, binary quadratic optimization, and Ising models. The moment-sum-of-squares (Moment-SOS) hierarchy provides certified semidefinite relaxations that are often empirically exact at low order. We ask: once a relaxation is exact, how difficult is the resulting semidefinite program (SDP) to solve with first-order methods?
Exactness does not imply regularity. At every order $d \ge 2$, a unique rank-one moment optimum is primal degenerate; moreover, if one optimal SOS certificate is strictly complementary, then the certificate set is positive-dimensional and contains singular boundary points. Thus first-order methods may converge to such singular points, around which pointwise analyses that assume regularity at the limit cannot establish a local linear convergence rate.
We show that, for exact Boolean Moment-SOS relaxations in their canonical quotient form, this degeneracy is nevertheless benign. We develop an abstract mechanism, which we call residual-field rigidity, that propagates regularity from the relative interior of the optimal set to its singular boundary. It requires neither the primal nor the dual optimal solution to be unique, and it is equivalent to the first-order stall directions of the residual coinciding with the tangent directions of the optimal set. For Boolean Moment-SOS, unique rank-one exactness and the existence of one strictly complementary certificate suffice to trigger this mechanism, yielding a uniform error bound around the entire optimal set. Consequently, ADMM, sGS-ADMM, and PDHG converge eventually linearly from every initialization, even when their limiting certificate is singular. Finally, outside a lower-dimensional semialgebraic exceptional set of Boolean objectives, these hypotheses hold simultaneously at every uniquely rank-one exact order.
Commutative rings with square-difference factor absorbing factorization
oai:arXiv.org:2610.20884v2
arXiv:2610.20884v2 Announce Type: replace
Abstract: We introduce and study sdf-absorbing factorization rings (SAF-rings), in which every regular ideal is a finite product of square-difference factor absorbing ideals. We investigate their behavior under direct products, localizations, factor rings, and module idealizations, and establish connections with SP-rings, Dedekind rings, and N-rings. We also introduce strongly sdf-absorbing factorization rings (SSAF-rings), relate them to SSP-rings and almost multiplication rings, and prove that the Noetherian SSAF-rings are precisely the ZPI-rings. Applications to module idealizations and monoid rings are also presented.
A Simple Proof of I. Chowla's Theorem on Addition of Residue Classes
oai:arXiv.org:2610.22427v2
arXiv:2610.22427v2 Announce Type: replace
Abstract: We present a brief, elementary proof of a striking theorem by I. Chowla on the addition of residue classes (1937) which generalizes the famous result of Cauchy and Davenport to residue classes modulo a composite.
Universal operators: topology and consequences of ISP failure
oai:arXiv.org:2610.22694v2
arXiv:2610.22694v2 Announce Type: replace
Abstract: Assuming a negative answer to the invariant subspace problem for separable complex Hilbert spaces, we prove that every universal operator has a continuum of minimal infinite-dimensional invariant subspaces with pairwise trivial intersections. These subspaces can be chosen so that the restrictions are invertible and their powers decay at any prescribed geometric rate. For an affine composition operator on the Hardy space $H^2(\mathbb{D})$, we derive restrictions on the zeros, inner factors and Hardy regularity of generators, and construct minimal models with radial vanishing of any prescribed finite order. Independently of the invariant subspace problem, we identify the norm interior, closure and boundary of the universal operator class. Its interior is the Caradus--Pozzi class, its closure is the complement of the upper semi-Fredholm class, and its boundary consists of the operators that are neither upper nor lower semi-Fredholm.
Type I estimates for the K\"ahler-Ricci flow II
oai:arXiv.org:2610.22941v2
arXiv:2610.22941v2 Announce Type: replace
Abstract: In this paper, we establish geometric consequences of our Type I scalar curvature estimate for finite-time solutions of the K\"ahler-Ricci flow on compact K\"ahler manifolds. We prove a uniform global diameter bound and a Type I diameter bound for every fibre of finite time holomorphic contraction. These estimates yield Gromov-Hausdorff convergence to a unique compact metric space homeomorphic to the normal K\"ahler space determined by the limiting cohomology class. We also establish a local partial $C^0$ estimate for the normalized flow and show that the tangent shrinkers are normal complex analytic varieties with log terminal singularities.
Certifiably Correct Fr\'echet Means in Orbit Spaces
oai:arXiv.org:2610.24191v2
arXiv:2610.24191v2 Announce Type: replace
Abstract: We study Fr\'echet means in orbit spaces of finite orthogonal group actions. Since computing these means is NP-hard in general, we take inspiration from group synchronization to develop tractable spectral and semidefinite relaxations. Pairwise alignment certifies global optimality and we develop a semidefinite certificate that can extend beyond this condition. For Gaussian data modulo sign, we prove that our certificate succeeds in a high-noise regime where alignment fails. Numerical experiments evaluate these methods in various settings, including summarizing ensembles of districting plans and clustering time series
Erd\H{o}s-Hajnal for excluding paths
oai:arXiv.org:2610.24887v2
arXiv:2610.24887v2 Announce Type: replace
Abstract: We prove the Erd\H{o}s-Hajnal conjecture for excluding an arbitrary path. A major step in our proof is a novel Gy\'arf\'as path argument based on the ideas of bookkeeping blockades and splitting paths, which may be of independent interest.
Non-geometric ideal triangulations with all edge valences at least six
oai:arXiv.org:2610.25217v2
arXiv:2610.25217v2 Announce Type: replace
Abstract: Costantino, Frigerio, Martelli and Petronio conjectured that an ideal triangulation in which every edge has valence at least six can be realized by hyperbolic partially truncated tetrahedra on the compact 3-manifold it defines. We show that this is false. Starting from the figure-eight knot complement, we construct an ideal triangulation with $2688$ tetrahedra and edge valences six and eighteen whose manifold is hyperbolic with totally geodesic boundary, but which admits no such realization. The obstruction is a critical point of the covolume energy of Luo and Yang at which three tetrahedra have collapsed: convexity then excludes every geometric competitor, an Euler characteristic count excludes edges of length zero, and the critical point itself is located by a finite certificate in exact integer arithmetic. The obstruction persists in every finite cover, while a complementary theorem shows that no counterexample can have only two edge lengths or only two orbits of edges.
Volume-dependent geometry and symmetry transitions of torsion optimizers in infinite cylinders
oai:arXiv.org:2610.25267v2
arXiv:2610.25267v2 Announce Type: replace
Abstract: We study relative torsional rigidity in infinite cylinders, addressing two geometric questions raised by Caldiroli, Iacopetti and Pacella on the shape of volume-constrained optimizers. The torsion problem has Dirichlet conditions on the free boundary and Neumann conditions on the fixed lateral wall. At small volumes we establish a two-term expansion of the optimal energy, curvature selection, and quantitative convergence of optimizers to boundary half-balls. We also obtain a uniform expansion for the exact torsion states on the explicit curved half-ball comparison domains. At sufficiently large volumes, every optimizer is exactly a finite cylinder, without convexity of the cross-section or an a priori free-boundary regularity assumption. The normalized optimal value is strictly decreasing up to a finite global transition threshold and constant thereafter. We distinguish this threshold from the local spectral stability threshold and prove coexistence of cylindrical and noncylindrical optimizers when the thresholds are separated. Exact one-sided derivative formulas identify nondifferentiability with the range of transverse energies among optimal states. Strict separation holds for all rectangular cross-sections and for sufficiently close smooth convex inner approximations of any rectangle, with no aspect-ratio restriction. These smooth examples exhibit both curvature-dependent small-volume concentration and a global symmetry transition.
A coupling normal form for reversible center-center Hamiltonians with application to the restricted three-body problem
oai:arXiv.org:2610.25355v2
arXiv:2610.25355v2 Announce Type: replace
Abstract: Near a reversible center-center equilibrium, the Birkhoff normal form does not describe the families bifurcating from the continued tori, which resonant normal forms capture through a reduced system.With a reflection symmetry, we develop a coupling normal form in which the bifurcating families also appear as tori of action normal forms. Along a selected coupling direction, the first harmonic in the angle difference is absorbed into an action-dependent counterterm. We prove that the coupled recursion determines unique counterterm coefficients, a formal action normal form, and an exact counterterm factorization. The factorization gives a recovery constraint, whose trivial factor corresponds to the Birkhoff normal form. At every finite order, a symmetric pair of bifurcating branches leaves the trivial branch at a critical curve, carrying approximately invariant tori and circles with residual estimates. In the spatial circular restricted three-body problem, these give approximate halo orbits and quasi-halo tori.
Big Ramsey degrees and structures in relational languages
oai:arXiv.org:2610.25715v2
arXiv:2610.25715v2 Announce Type: replace
Abstract: We establish a precompact transfer theorem for big Ramsey structures and a uniform envelope theorem for valuation hypergraphs. These yield big Ramsey structures for generic injective relational structures in languages with finitely many symbols of each positive arity, answering the existence part of Problem~6.3.2 of Balko et al.\ [M.~Balko et al., J.~Eur.~Math.~Soc.\ 28, 2101--2150 (2026)], and refute Conjecture~4.7 of Braunfeld et al.\ [S.~Braunfeld et al., Adv.~Comb., Paper No.~4 (2024)]. We also construct a finitely constrained free amalgamation class in a finite language of maximum arity three whose Fra\"iss\'e limit has infinite singleton big Ramsey degree, giving a negative answer to the existence question in Problem~6.3.3 of Balko et al.
Constant mixed Chern curvature on complete type-A flag manifolds
oai:arXiv.org:2610.25864v2
arXiv:2610.25864v2 Announce Type: replace
Abstract: We prove that the complete flag manifold SU(m)/T m-1, with m >= 3 and its standard complex structure, admits no invariant Hermitian metric with constant mixed Chern curvature when the coefficient of the holomorphic sectional curvature is nonzero. This extends the preceding nonexistence result for a particular Wallach metric on SU(3)/T2 to all invariant Hermitian metrics and to complete type-A flags of arbitrary dimension. Curvature evaluations on holomorphic root spheres contradict a necessary trace identity, covering both Kahler and non-Kahler invariant metrics and excluding both zero and nonzero curvature constants.
Non-planar contact structures with Calabi-Yau Fillings and topological quantum computation
oai:arXiv.org:2610.25878v2
arXiv:2610.25878v2 Announce Type: replace
Abstract: This paper is a non-planar counterpart of the author's earlier work on planar contact structures and topological quantum computation. On a planar page every branch point is paired by a liftable arc, and the pairing matches the Ising representation exactly, in that fixing the channels of the pairs already fixes the state. Here the page has genus g and connected binding, presented as a simple degree-three cover of the disk. Every maximal system of disjoint liftable arcs then has exactly g members and leaves two branch points unused, and the half-twist interchanging the two points is not liftable, although its cube is and lifts to the identity. Ising fusion does not see that leftover pair, determining its channel from the other g and acting there only by scalars, whereas Fibonacci fusion can leave the channel undetermined. The powers of the cube then act by ten distinct relative phases on a single joint eigenspace, while the Calabi-Yau Stein filling stays fixed. An integral residue criterion supplies the Calabi-Yau test, a factorization localized on a contact connected sum is automatically Calabi-Yau, and, unlike in the planar case, a Calabi-Yau factorization need not be the shortest.
Simple-shifted monoidal derived equivalences for tensor categories
oai:arXiv.org:2610.26196v2
arXiv:2610.26196v2 Announce Type: replace
Abstract: In this paper, we investigate monoidal derived equivalences between tensor categories with infinitely many isomorphism classes of simple objects. We introduce the notion of a simple-shifted monoidal derived equivalence and prove that a simple-shifted monoidal derived equivalence gives rise to a tensor equivalence. In addition, we investigate which tensor categories have the property that every monoidal derived equivalence between them is necessarily simple-shifted, and we establish some sufficient conditions for this property. As a corollary, we show that a monoidal derived equivalence between pointed tensor categories implies a tensor equivalence between them.
The e-positivity of $\mathrm{rowDiv}_k(e_\mu)$
oai:arXiv.org:2610.26303v2
arXiv:2610.26303v2 Announce Type: replace
Abstract: We prove that the partition division operator $\mathrm{rowDiv}_k$ preserves e-positivity, resolving a conjecture of Alexandersson and Dai. For $\mu\vdash kn$ and $\nu\vdash n$, we express the coefficient of $e_\nu$ in $\mathrm{rowDiv}_k(e_\mu)$ as a normalized sum of positive rational weights over closed walks on a finite directed graph of $k$-restricted partitions. The proof combines the Pieri rule and a root of unity factorization for Macdonald polynomials.
As a corollary, we recover the h-positivity of the symmetric functions $A_{n,k}$ of Amdeberhan, Shareshian, and Stanley.
Sign bias in hyperbolic double cosets
oai:arXiv.org:2610.26462v2
arXiv:2610.26462v2 Announce Type: replace
Abstract: We study sign bias between hyperbolic double cosets with $ad>0$ and $ad<0$ in appropriate cocompact Fuchsian groups. We prove that an eventual bias can only favour $ad<0$, and show that such a bias occurs within every cocompact Fuchsian commensurability class. When the normal-derivative periods of all nonconstant eigenfunctions with eigenvalue at most $1/4$ vanish, we prove an $\Omega_\pm(X^{1/2})$ result and show that the counting difference takes both signs in every sufficiently large interval $[X,CX]$, for some fixed $C>1$.
Narrow escape problems beyond spherical holes: slits and tubes
oai:arXiv.org:2610.26514v2
arXiv:2610.26514v2 Announce Type: replace
Abstract: The narrow escape problem consists in characterizing the exit event of a Brownian motion trapped inside a domain with reflecting boundary and small absorbing holes. Using recent advances in the quasi-stationary distribution approach, we first give an explicit set of hypotheses that allows one to derive the asymptotics of the exit time and of the exit hole distribution. We then apply it in dimension three to several hole shapes: spherical holes, thin spheroidal holes shrinking to curves on the boundary (slits), and holes located at the end of thin tubes attached to the domain. We illustrate the accuracy of the results with numerical simulations, and extend them to higher dimensions.
On multilinear forms for mod $p$ representations of $\operatorname{GL}_2$ over a $p$-adic field
oai:arXiv.org:2610.26541v2
arXiv:2610.26541v2 Announce Type: replace
Abstract: Let $F$ be a finite extension of $\mathbb Q_p$, for any prime $p$, and let $L/F$ be a ramified quadratic extension. We compute the spaces of $\mathcal O_L^\times$-equivariant linear forms on the representation $\operatorname{ind}^G_{KZ}\sigma/(\Phi-\lambda)$. The only nonzero cases arise from one-dimensional quotients. Consequently, the restriction of an infinite-dimensional irreducible smooth mod $p$ representation of $\operatorname{GL}_2(F)$ with a central character to $\mathcal O_L^\times$ has no character quotient. We apply this vanishing result to show that a finite tensor product of smooth mod $p$ representations of $\operatorname{GL}_2(F)$ admits no nonzero invariant linear form whenever at least one factor is infinite-dimensional and irreducible with a central character.
Kernel-based collocation methods for Heath-Jarrow-Morton models with Musiela parametrization
oai:arXiv.org:1809.05643v5
arXiv:1809.05643v5 Announce Type: replace-cross
Abstract: We study kernel-based collocation methods for numerical solutions of Heath-Jarrow-Morton models in Musiela parametrization. The methods are Euler-Maruyama approximations of finite-dimensional stochastic differential equations and can be used with standard Monte Carlo procedures for derivative pricing. We give a conditional mean-square error estimate under explicit stability assumptions on the differentiated cardinal basis over the full evaluation region required by the volatility functional. The estimate uses the spatial-radius exponent dictated by the squared-error calculation. Two finite-resolution examples illustrate the method for a Vasicek model and for caplet pricing.
Quantum entanglement and contextuality with complexifications of $E_8$ root system
oai:arXiv.org:2210.15338v4
arXiv:2210.15338v4 Announce Type: replace-cross
Abstract: The Witting configuration with 40 complex rays was suggested as a possible reformulation of Penrose model with two spin-3/2 systems based on geometry of dodecahedron and used for analysis of nonlocality and contextuality in quantum mechanics. Yet another configuration with 120 quantum states is considered in presented work. Despite of different number of states both configurations can be derived from complexification of 240 minimal vectors of 8D real lattice corresponding to root system of Lie algebra $E_8$. An analysis of properties of suggested configuration of quantum states is provided using many analogies with properties of Witting configuration.
Quasi-Score Matching Estimation for Spatial Autoregressive Model with Random Weights Matrix and Regressors
oai:arXiv.org:2305.19721v3
arXiv:2305.19721v3 Announce Type: replace-cross
Abstract: With the rapid advancements in technology for data collection, the application of the spatial autoregressive (SAR) model has become increasingly prevalent in real-world analysis, particularly when dealing with large datasets. However, the commonly used quasi-maximum likelihood estimation (QMLE) for the SAR model is not computationally scalable to handle the data with a large size. In addition, when establishing the asymptotic properties of the parameter estimators of the SAR model, both weights matrix and regressors are assumed to be nonstochastic in classical spatial econometrics, which is perhaps not realistic in real applications. Motivated by the machine learning literature, this paper proposes quasi-score matching estimation for the SAR model. This new estimation approach is developed based on the likelihood, but significantly reduces the computational complexity of the QMLE. The asymptotic properties of parameter estimators under the random weights matrix and regressors are established, which provides a new theoretical framework for the asymptotic inference of the SAR-type models. The usefulness of the quasi-score matching estimation and its asymptotic inference is illustrated via extensive simulation studies and a case study of an anti-conflict social network experiment for middle school students.
Jacobian Descent for Multi-Objective Optimization
oai:arXiv.org:2406.16232v4
arXiv:2406.16232v4 Announce Type: replace-cross
Abstract: Many optimization problems require balancing multiple conflicting objectives. To generalize gradient descent, which is limited to single-objective optimization, we introduce Jacobian descent (JD) and its stochastic variants. This algorithm iteratively updates parameters using the Jacobian matrix of a vector-valued objective function, in which each row is the gradient of an individual objective. While several methods to combine gradients already exist in the literature, they generally struggle when the objectives conflict. In contrast, we propose projecting gradients to fully resolve conflict. We prove convergence to the Pareto front in the smooth convex case with this approach, a stronger guarantee than the usual convergence to a weakly Pareto stationary point. Our method also enables instance-wise risk minimization (IWRM), a novel learning paradigm in which the loss of each training example is considered a separate objective. Early experimentation on image classification shows promising results for IWRM. Lastly, we provide an efficient implementation of JD using the Gramian of the Jacobian matrix to drastically reduce memory requirements.
Optimal Guarantees for Online Selection Over Time
oai:arXiv.org:2408.11224v2
arXiv:2408.11224v2 Announce Type: replace-cross
Abstract: Prophet inequalities are a cornerstone in optimal stopping and online decision-making. Traditionally, they involve the sequential observation of $n$ non-negative independent random variables and face irrevocable accept-or-reject choices. The goal is to provide policies that provide a good competitive ratio against the optimal offline solution that can access all the values upfront---the so-called prophet value. In the \emph{prophet inequality over time problem} (POT), the decision-maker can commit to an accepted value for $\tau$ units of time, during which no new values can be accepted. This creates a trade-off between the duration of commitment and the opportunity to capture potentially higher future values.
In this work, we provide best possible worst-case competitive ratios in the IID setting of POT for single-threshold algorithms and the optimal dynamic programming policy. We show a single-threshold algorithm that achieves a competitive ratio of $(1+e^{-2})/2\approx 0.567$, and we prove that no single-threshold algorithm can surpass this guarantee. With our techniques, we can analyze simple algorithms using $k$ thresholds and show that with $k=3$ it is possible to get a competitive ratio larger than $\approx 0.602$. Then, for each $n$, we prove it is possible to compute the tight worst-case competitive ratio of the optimal dynamic programming policy for instances with $n$ values by solving a convex optimization program. A limit analysis of the first-order optimality conditions yields a nonlinear differential equation showing that the optimal policy's asymptotic worst-case competitive ratio is $\approx 0.609$.
Help Me Help You: The Aggregate Value of Source and Target Data in Transfer Learning
oai:arXiv.org:2408.16189v4
arXiv:2408.16189v4 Announce Type: replace-cross
Abstract: Transfer learning, in regression or classification, concerns problems where one aims to use imperfect data from a source distribution P to improve prediction w.r.t. a target distribution Q. While there is now much theoretical understanding of the unsupervised setting of this problem (where no labeled target data is available), the supervised setting with labeled target data remains under-studied.
We identify and characterize an interesting dichotomy in the rates achievable in the supervised setting: there is a weak transfer regime where optimal rates are determined by information in either the source or target dataset but not both, and a strong transfer regime where much faster target rates are achievable, accounting for complementary information in source and target data. Furthermore, while previous theoretical tools for the unsupervised setting can be extended to capture the weak transfer regime, we argue that they cannot capture the strong regime due to limitations inherent in the various notions of relatedness they rely on. Instead, we provide an appropriate refinement of relatedness notions---termed weak and strong moduli of transfer---that reveal the two regimes and lead to a nontrivial characterization of which pairs of distributions P and Q adhere to which regime.
Finally, the above dichotomy reveals a new categorization of existing algorithmic approaches in terms of their optimality or lack-thereof across supervised regimes, and we provide a generic approach that remains nearly optimal in all regimes without prior distributional knowledge.
Direct Inversion for Chi-Square Sampling, the Squared Bessel Process, and Applications
oai:arXiv.org:2412.16655v2
arXiv:2412.16655v2 Announce Type: replace-cross
Abstract: In this paper we derive a new direct inversion method to simulate squared Bessel processes. Since the transition probability of these processes can be represented by a non-central chi-square distribution, we construct an efficient and accurate algorithm to simulate non-central chi-square variables. In this method, the dimension of the squared Bessel process, equivalently the degrees of freedom of the chi-square distribution, is treated as a variable. We therefore use a two-dimensional Chebyshev expansion to approximate the inverse function of the central chi-square distribution with one variable being the degrees of freedom. The method is accurate and efficient for any value of degrees of freedom including the computationally challenging case of small values. One advantage of the method is that noncentral chi-square samples can be generated for a whole range of values of degrees of freedom using the same Chebyshev coefficients. This property is especially useful in model calibration. The squared Bessel process is a building block for the well-known Cox-Ingersoll-Ross (CIR) processes, which can be generated from squared Bessel processes through time change and linear transformation. Our direct inversion method thus allows the efficient and accurate simulation of these processes, which are used as models in a wide variety of applications.
Accelerating Optimization via Differentiable Stopping Time
oai:arXiv.org:2505.22509v2
arXiv:2505.22509v2 Announce Type: replace-cross
Abstract: Optimization is an important module of modern machine learning applications. Tremendous efforts have been made to accelerate optimization algorithms. A common formulation is achieving a lower loss at a given time. This enables a differentiable framework with respect to the algorithm hyperparameters. In contrast, its dual, minimizing the time to reach a target loss, is believed to be non-differentiable, as the time is not differentiable. As a result, it usually serves as a conceptual framework or is optimized using zeroth-order methods. To address this limitation, we propose a differentiable stopping time and theoretically justify it based on differential equations. An efficient algorithm is designed to backpropagate through it. As a result, the proposed differentiable stopping time enables a new differentiable formulation for accelerating algorithms. We further discuss its applications, such as online hyperparameter tuning and learning to optimize. Our proposed methods show superior performance in comprehensive experiments across various problems, which confirms their effectiveness.
Inference of Hierarchical Core-Periphery Structure in Temporal Networks
oai:arXiv.org:2506.10135v3
arXiv:2506.10135v3 Announce Type: replace-cross
Abstract: Networks can have various types of mesoscale structures. One such structure is core--periphery structure, which consists of sets of densely-connected core nodes and sets of sparsely-connected peripheral nodes. Core nodes are connected densely to other core nodes and are potentially connected densely to peripheral nodes, which are connected sparsely to other nodes. There has been much research on core--periphery structure in time-independent networks, but few core--periphery detection methods have been developed for time-dependent (i.e., ``temporal") networks. Using a multilayer-network representation of temporal networks and an inference approach that employs stochastic block models, we generalize a recent method for detecting hierarchical core--periphery structure \cite{Polanco23} from time-independent networks to temporal networks. In contrast to ``onion-like'' nested core--periphery structures (where each node is assigned to a group according to how deeply it is nested in a network's core), hierarchical core--periphery structures encompass networks with nested structures, tree-like structures (where any two groups must either be disjoint or have one group as a strict subset of the other group), and general non-nested mesoscale structures (where the group assignments of nodes do not have to be nested in any way). To perform statistical inference and thereby identify hierarchical core--periphery structure, we use a Markov-chain Monte Carlo (MCMC) approach. We illustrate our method for detecting hierarchical core--periphery structure in one synthetic temporal network and two real-world temporal networks, and we discuss the structures that we identify in these networks.
Gradient Descent on Logistic Regression: Do Large Step-Sizes Work with Data on the Sphere?
oai:arXiv.org:2507.11228v2
arXiv:2507.11228v2 Announce Type: replace-cross
Abstract: Gradient descent on logistic regression has many fascinating properties not fully captured by classical analyses. For linearly separable data, the iterates converge in direction to the maximum-margin separator regardless of how large the step size is. For non-separable data, however, cycles may occur even for step sizes below the local stability threshold of $2/\lambda^*$, where $\lambda^*$ is the largest eigenvalue of the Hessian at the solution. We ask whether requiring all examples to have equal norm is a sufficient condition for global convergence below this threshold. We prove that this is indeed true in one dimension. In higher dimensions, even equal-norm datasets can produce cycles, although global convergence holds for the population loss when the examples are uniformly distributed on the sphere. Finally, in one dimension, we relax the equal-norm assumption to an annulus condition that ensures global convergence below the stability threshold, suggesting a path towards analogous sufficient conditions in higher dimensions.
Weak Factor Analysis via Temporally Weighted PCA
oai:arXiv.org:2508.15675v2
arXiv:2508.15675v2 Announce Type: replace-cross
Abstract: Principal component analysis (PCA) is arguably the most widely used approach for large-dimensional factor analysis. While it is effective when the factors are sufficiently strong, it can be inconsistent when the factors are weak and/or the noise has complex dependence structure. We argue that the inconsistency often stems from bias and introduce a general approach to restore consistency. Specifically, we propose a general weighting scheme for PCA and show that suitable weights can restore consistency for much weaker factors under the dependent-noise structures allowed by our model. Under the stronger signal-to-noise conditions needed for inference, we also establish asymptotic normality of the loading and factor estimators. While an oracle weighting matrix may require knowledge about the factors and covariance of the idiosyncratic noise that are not known a priori, we develop an agnostic approach to adaptively choose from a large class of weighting matrices that can be viewed as PCA for weighted linear combinations of auto-covariances among the observations. Theoretical and numerical results demonstrate the merits of our methodology over the usual PCA and other recently developed techniques for large-dimensional approximate factor models.
On the hardness of approximating minimum distances of quantum codes
oai:arXiv.org:2509.21469v3
arXiv:2509.21469v3 Announce Type: replace-cross
Abstract: The problem of computing distances of error-correcting codes is fundamental in both the classical and quantum settings. While hardness for the classical version of these problems has been known for some time (in both the exact and approximate settings), it was only recently that Kapshikar and Kundu showed the hardness of these problems for non-degenerate quantum codes. As our first main result, we get a direct reduction to CSS codes, the most commonly used type of quantum code, from the minimum distance problem for classical linear codes. In particular, our proof uses arguably simpler constructions based on hypergraph product codes.
Our second set of results considers the distance of a graph state, which is a key parameter for quantum codes obtained via the codeword stabilized formalism. We show that it is NP-hard to compute/approximate the distance of a graph state, which is a degenerate quantum code, when the adjacency matrix of the graph is the input. This establishes hardness for even degenerate quantum codes, which was not known before. Furthermore, we show this is true even if we only consider X-type errors of a graph state. Our techniques, moreover, imply an interesting classical consequence: the hardness of computing or approximating the distance of classical codes with rate equal to 1/2.
One of the main motivations of the present work is a question raised by Kapshikar and Kundu concerning the NP-hardness of approximation when there is an additive error proportional to a quantum code's length. We show that no such hardness can hold for hypergraph product codes. These observations suggest the possibility of a new kind of square root barrier.
Wasserstein Robust Classification Error: Surrogate Loss Misalignment and Distributional Attacks
oai:arXiv.org:2510.10000v3
arXiv:2510.10000v3 Announce Type: replace-cross
Abstract: Wasserstein distributionally robust optimization (WDRO) provides a framework for evaluating model robustness through the worst-case expectation in the Wasserstein ball around a reference distribution. We prove that ordering hypotheses by increasing WDRO risk is equivalent to ordering them by decreasing robust accuracy if and only if the loss function is a positive multiple of the zero-one loss plus a label-dependent offset. For a class of loss functions including cross-entropy, we show that a hypothesis with perfect robust accuracy can conversely have a higher WDRO risk than another hypothesis with near zero robust accuracy. To evaluate robust accuracy directly, we develop Wasserstein distributional attacks (WDA), which add a weight generation stage after candidate support search to optimize the allocation of empirical mass under the Wasserstein constraint, rather than assigning each data point's full mass to one returned attack point as existing methods do. We further introduce a support-search algorithm for WDA that finds nearby misclassified inputs. On CIFAR-10, CIFAR-100, and ImageNet, WDA using our search algorithm achieves the lowest adversarial accuracy in most tested settings. Our code is available at https://github.com/OLab-Repo/WDA.
A Route to Quantum-Coherent Thermodynamics
oai:arXiv.org:2602.12212v4
arXiv:2602.12212v4 Announce Type: replace-cross
Abstract: Equilibrium thermodynamics emerges because a vast number of microscopic states become indistinguishable at the level of local observables. We start from the observation that a nonequilibrium quantum state can also be represented by an ensemble of pure states that minimizes the average energy variance. We show that varying the statistical weights within this optimal family organizes state space into ``minimum-variance leaves'', which generalize the space of stationary states underlying equilibrium. We observe thermodynamic compression on the leaves, which in the simplest scenario manifests itself in the indistinguishability of states with the same energy density. We call this ``leaf typicality''; at equilibrium it reduces to eigenstate thermalization or its generalizations. Numerical tests support leaf typicality on some leaves and indicate a breakdown of its stronger forms on others, suggesting a rich thermodynamic organization beyond equilibrium. These results open a route to a unified statistical mechanics of equilibrium and nonequilibrium quantum states.
Combining e-values using demi-supermartingales
oai:arXiv.org:2603.10329v4
arXiv:2603.10329v4 Announce Type: replace-cross
Abstract: We present a new method for combining e-variables through demi-supermartingales, which settles an old conjecture in the literature on nonparametric mean testing. It also provides an explicit concentration bound for a certain Kullback--Leibler-type statistic arising in the stochastic multi-armed bandit literature. All of these combination results hold for independent e-variables as well as for the class of co-valid e-variables, whose dependence structure lies somewhere between independence and sequential validity. The results are further generalized to compound e-variables. The proofs proceed by analyzing elementary symmetric polynomials and their behavior as nonnegative demi-supermartingales.
Tight Quantum Speed Limit for Ergotropy Charging in the N-Qubit Dicke Battery
oai:arXiv.org:2603.10415v3
arXiv:2603.10415v3 Announce Type: replace-cross
Abstract: We derive a quantum speed limit for ergotropy charging in the $N$-qubit Dicke battery. With the qubits initially in their ground state and the charger in a coherent state of mean photon number $\bar{n}$, the charging time to a target fraction $\varepsilon$ of the maximum extractable work obeys, in the classical-field limit, $\Gamma_N \tau^{*}(\varepsilon) \geq \arcsin\sqrt{\varepsilon}$, where $\Gamma_N = 2\lambda\sqrt{\bar{n}/N}$ is a single rate combining the light-matter coupling, the charger amplitude and the system size. The bound is geometric: although the ergotropy is defined by an optimisation over unitaries, it reduces to a fixed function of the angle swept by the collective spin on the Bloch sphere, and the drive bounds the rate at which that angle can grow, so the charging time is at least the required arc divided by the maximum angular velocity. The reduction rests on an exact statement about work extraction: only the coherent component of the drive delivers extractable work, while its vacuum fluctuations deposit energy that remains locked in the passive state. This makes the short-time coefficient independent of the charger occupation, and it is what separates a bound on extractable work from a bound on stored energy, which no instantaneous-power argument can supply. At finite charger occupation the inequality is tested rather than proved: numerical integration of the full Dicke Hamiltonian, with a dynamical charger and a mixed battery state, finds the bound respected at every admitted charging time for two to five qubits, and approached most closely in the limit of small target work. The familiar square-root estimate is the chord to this arc, recovered in the small-angle limit and weaker whenever a large fraction of the maximum work is required.
Non-Stationarity Breaks Permutation Surrogates in Multi-Agent Reinforcement Learning: Diagnosis and Remedies
oai:arXiv.org:2604.23716v5
arXiv:2604.23716v5 Announce Type: replace-cross
Abstract: Reporting guidance for information-theoretic measures is rarely tested against ground truth. We test one guardrail in two multi-agent reinforcement learning games, a social dilemma and a coordination race, where directed influence between selected agent pairs is zero by construction, over 100 seeds. Omitting one precondition, exclusion of the non-stationary training transient, gives false-positive rates of 100.00% and 99.95%: agents annealing exploration independently, in runs that never met, are flagged as influencing one another. Excluding the transient reaches 3.05% in the social dilemma but 11.8% in the coordination game, so the non-stationarity must be treated and exclusion is neither the only way nor sufficient. What we recommend instead changes the null model. Series, statistic and estimand are left untouched: permuting the source within blocks of training time reaches 5.25% and 5.50%, the only one of the three at or below the size of the test in both games. The construction is not new, being a restricted permutation local to blocks of training time; the measurement is. A third null control, four learners in the social dilemma, defeats all three, and there conditioning costs three times what ours does, 15.20 points against 4.55. Titrating injected links separates it from conditioning on identical pairs, 82.5% against 58.0%, while the ablated test reports a positive with or without a link, so its apparent sensitivity is uninformative. Five block counts spanning 16 to 256 land in the nominal region. Code and data are released.
Just Previsions
oai:arXiv.org:2605.10173v3
arXiv:2605.10173v3 Announce Type: replace-cross
Abstract: Previsions are positively homogeneous functionals, and are generalized forms of integration functionals. We investigate previsions -- just previsions, not sublinear or superlinear previsions as in previous work. We show that every prevision can be expressed as an infimum of sublinear previsions, and as a supremum of superlinear previsions under mild conditions. This extends to homeomorphisms between spaces of previsions and certain hyperspaces over spaces of sublinear or superlinear previsions, which can also be characterized in terms of orthogonality relations, making the construction a variant of a double powerspace construction.
Learning-Based Spectrum Cartography in Low Earth Orbit Satellite Networks: A Survey
oai:arXiv.org:2605.10359v2
arXiv:2605.10359v2 Announce Type: replace-cross
Abstract: Low earth orbit (LEO) satellite networks are emerging as important infrastructure for global connectivity and space-based sensing, while their rapidly varying geometry, heterogeneous measurements, and dynamic propagation environments create challenges for acquiring and exploiting spatial radio information. Spectrum cartography provides a framework for constructing and updating spatial representations of radio conditions from sparse observations. This survey reviews learning-based spectrum cartography for LEO satellite networks from an integrated inference--decision perspective. We organize the literature around three representative task categories: radio map reconstruction, localization and state estimation, and map-informed resource allocation. We further examine the progression from classical interpolation, statistical estimation, and structured optimization toward learning-based approaches that exploit environmental context, relational structure, generative modeling, and adaptive information fusion. Particular attention is given to attention mechanisms for learning query- and context-dependent interactions among irregular observations, while distinguishing learned relevance from calibrated measurement reliability. Representative formulations and illustrative examples clarify these modeling principles. Finally, we synthesize cross-cutting lessons and identify open challenges in uncertainty modeling, generalization, dynamic map updating, scalable inference, realistic evaluation, and tighter coupling between radio-map inference and network decision making.
BERS: Locally Optimal Continuous Algorithm for Maritime Weather Routing with Just-in-Time Arrival
oai:arXiv.org:2605.31533v2
arXiv:2605.31533v2 Announce Type: replace-cross
Abstract: Maritime weather routing must optimize route geometry under dynamic wind-wave conditions, obstacle constraints, and fixed-arrival requirements. We present B\'ezier Evolve and Refine Strategy (BERS), a two-stage framework that combines global evolutionary search (CMA-ES) with local variational refinement (FMS). Routes are parametrized as B\'ezier curves and evaluated with dense along-path sampling, enabling smooth trajectories while preserving practical feasibility constraints and accounting for mid-segment effects. We evaluate BERS on synthetic benchmarks designed to stress seven operational criteria: continuity, obstacle avoidance, dynamic adaptation, flexible objective design, constant-load feasibility, just-in-time arrival, and local optimality. Across these tests, BERS matches or improves published baselines while maintaining robust convergence under challenging flow fields and land geometries. We then validate the method on real ocean data using hourly ERA5 forcing over 366 daily departures in 2024 for two trans-oceanic corridors (Atlantic and Pacific), with a physics-based model of an 88m cargo vessel with optional rigid wingsails. In real-ocean experiments, route optimization alone reduces mean propulsive energy by 23--59\% versus great-circle baselines of the same propulsion mode. Combined with wind-assisted propulsion, total savings reach up to 75\%. These results show that BERS provides a practical and scalable foundation for just-in-time, energy-efficient weather routing in maritime decarbonization workflows.
Finite-Dimensional Type I von Neumann Algebras in PyTorch: A GPU-Accelerated Framework for Random Block-Diagonal Operators
oai:arXiv.org:2606.15882v2
arXiv:2606.15882v2 Announce Type: replace-cross
Abstract: torch_vn_algebra is a PyTorch library for numerical work with finite-dimensional von Neumann algebras, i.e. direct sums of matrix algebras. These algebras are central to operator algebra theory and, via commutants of symmetries, describe quantum systems with conserved charges or superselection rules. To our knowledge, no numerical software treats them as a data type with their centre, family of traces, conditional expectations, inclusions and functional calculus.
The library fills the gap between computer algebra (exact but small-scale) and quantum simulators (large-scale but limited to Hilbert-space matrices): it handles batches of operators on CPUs and GPUs with automatic differentiation, and converts operators, states and channels.
Key features:
Compact tensor representation: 4D tensor (B, C, kmax, kmax), where B is batch size (e.g. Monte Carlo samples), C is the number of summands, and kmax is the max block size, enabling batched GPU processing.
Lazy evaluation: matrix data materialized only on access, avoiding memory waste.
Random operator generation: custom eigenvalue distributions; Haar, SU(n), COE, CSE unitary ensembles.
Functional calculus and spectral methods: matrix absolute value, square root, inverse, entropy via SVD; automatic switch between exact diagonalization (block size up to 256) and power iteration for extreme eigenvalues.
Three trace functionals: Tr_blunt (sum of block traces), Tr_norm (dimension-normalized), tau_vN (faithful normal tracial state).
Performance: on a Tesla P100 GPU, processing 20,000 samples of 100x100 operators yields up to 30x speedup over traditional CPU workflows.
Availability: open-source at https://gitlab.com/a.hobukob/von_neumann_type_i/
Federated learning with heavy-tailed gradient noise and communication noise: a variance-reduction based algorithm
oai:arXiv.org:2606.22466v2
arXiv:2606.22466v2 Announce Type: replace-cross
Abstract: Federated learning (FL) is an emerging distributed machine learning paradigm that enables local devices to jointly train a global model while keeping data decentralized and private. We propose a variance-reduction based algorithm, VRA-FedSGD, for FL in the presence of heavy-tailed gradient noise and communication noise, where these noises are prevalent in large-scale machine learning over wireless networks and Internet of Things deployments. VRA-FedSGD employs a momentum variance reduction technique together with a nonlinear mapping to mitigate heavy-tailed gradient noise, and uses a variance-reduced aggregation mechanism to suppress heavy-tailed communication noise. In the mean sense, VRA-FedSGD achieves a convergence rate of {\small$\mathcal{O}\left(K^{-(p-1)/(2p-1)}\right)$} for nonconvex objective functions, where $p$ is the tail index of heavy-tailed noise. In the almost sure sense, VRA-FedSGD achieves a convergence rate of $\tilde{\mathcal{O}}\left(K^{-(1-1/(p-\epsilon))}\right)$ for strongly convex objective functions, where $\epsilon$ is an arbitrarily small constant. Simulated experiments on a logistic regression problem with real-world data verify the effectiveness of VRA-FedSGD.
Temperature Beyond Equilibrium in Isolated Quantum Many-Body Systems and Their Subsystems
oai:arXiv.org:2607.08655v3
arXiv:2607.08655v3 Announce Type: replace-cross
Abstract: Temperature is one of the central concepts of thermodynamics, yet its meaning far from equilibrium remains unclear. The problem is especially challenging in isolated quantum many-body systems, whose states evolve unitarily, may remain far from equilibrium, and retain energy coherence, a genuinely quantum feature with no direct classical counterpart. Specifically, energy fluctuations in a nonstationary quantum state have two distinct origins. Part of these fluctuations comes from uncertainty in the energy populations and has the usual thermodynamic meaning. The rest comes from quantum coherence between energy sectors and is responsible for the state's time dependence. We propose that, even away from equilibrium, temperature identifies the state within the family of regular states sharing the same energy-coherence structure. The resulting inverse temperature is obtained from a principle of minimum discrimination information, which selects the least distinguishable state compatible with the prescribed energy and coherence structure. This replaces the usual maximum-entropy principle, which, applied naively, can yield a biased estimator of the inverse temperature. We also lay the groundwork for an extension of the construction to subsystems and show that, although the inverse temperature of a subsystem is not determined by its reduced state alone, under an alignment assumption, its instantaneous rate of change is a local quantity for sufficiently large subsystems.
Extreme First-Passage Time of Many Interacting Particles
oai:arXiv.org:2607.22528v2
arXiv:2607.22528v2 Announce Type: replace-cross
Abstract: Extreme first-passage events are broadly relevant to biological, chemical, and physical processes in which the first successful arrival determines the outcome. Existing theories are largely confined to noninteracting searchers. Interacting extreme-statistics problems are notoriously difficult because correlations destroy probability factorization. We establish a general framework for interacting extreme search. A no-go theorem shows that broad classes of short-range interactions cannot beat the $1/\ln N$ extreme timescale of $N$ independent Brownian searchers, and complementary upper bounds prove that this scale is exact for repulsive interactions. We then identify three sharp mechanisms beyond the logarithmic class and derive a unified interaction-driven acceleration limit. In particular, deterministic pairwise interaction can at most reduce the extreme search time to order $1/N$, while stochastic pairwise forcing attains $1/(N\ln N)$. Our results separate acceleration due to statistical redundancy from that generated by coherent many-body transport or amplified fluctuations, deepening our understanding of interacting many-body systems.
Nonlinear Exchange Dynamics for Independent Sets
oai:arXiv.org:2607.29016v2
arXiv:2607.29016v2 Announce Type: replace-cross
Abstract: In recent years, nonlinear dynamics derived from kinetic theory have gained attention in the context of sampling configurations of spin systems such as the Ising model. We focus on nonlinear dynamics for the hard-core model, a canonical spin system with hard constraints that specifies a distribution over independent sets in a graph, weighted by their sizes. We explore two distinct types of nonlinear dynamics: the mean-field dynamics, which preserves the density (or average size) of independent sets, and the single-site dynamics, which preserves the marginal vector (i.e., the occupancy probabilities of the vertices). These dynamics are natural stochastic processes for sampling from the hard-core model with a specified density or marginal vector, respectively, both of which are canonical instances of maximum entropy distributions that have been studied in various contexts.
In contrast to linear Markov chains, there is a significant lack of a fundamental theoretical framework for nonlinear dynamics. We develop foundational theoretical tools for analyzing nonlinear dynamics within the context of the hard-core model. We establish almost linear convergence of both the mean-field and single-site dynamics at sufficiently low density through novel coupling arguments. We also establish exponential decay of relative entropy for the mean-field dynamics all the way up to the critical density. Additionally, we design new algorithms for sampling from the hard-core distribution with either a specified density or a specified marginal vector. These algorithms are based on a related linear Markov chain, called the particle-system dynamics and inspired by the so-called Kac's program, that approximates the associated nonlinear dynamics. As we demonstrate in the paper, they are comparable in time complexity, but simpler to implement, than traditional approaches based on learning parameter values.
Ising-machine-like Driving Condition Restrictions in SSBM and Additional Pseudo-annealing- Driving Method for SSBM that Achieves Best Cut Value Search -
oai:arXiv.org:2608.12545v3
arXiv:2608.12545v3 Announce Type: replace-cross
Abstract: In our previous work, we proposed and experimentally demonstrated a physics-based simulator for combinatorial optimization problems (SSBM), which exploits a distinctive spontaneous symmetry breaking (SSB) phenomenon identified in a dissipative system exhibiting robust causality described by an iterative equation. We further conducted numerical simulations in which initial fluctuations of distinct patterns were applied to large-scale benchmark problems, and reported that the SSBM exhibits a unique behavior absent in conventional Ising machines: under specific conditions, pseudo-spin patterns progressively converge during the solution-search process and ultimately coalesce into a single pattern, with the cut value of the converged solution reaching 99.7% of the best-known cut value. In the present paper, we elucidate the conditions under which the SSBM can be configured to emulate the behavior of a continuous-variable Ising machine. We further demonstrate that by additionally incorporating an effect analogous to physical annealing into these conditions, the SSBM becomes capable of identifying the best-known cut value for the K_2000 benchmark instance.
Readiness Barrier Functions: Forward-Invariant Control Authority for Overactuated Multirotor Allocation
oai:arXiv.org:2608.16335v2
arXiv:2608.16335v2 Announce Type: replace-cross
Abstract: Allocation schemes that greedily maximize a readiness metric over the actuator fiber bundle of an overactuated multirotor produce commands that jump between disconnected optimal strata, demanding actuator rates no motor can deliver; effort-minimizing schemes are continuous but cannot guarantee that wrench-rate authority stays above any certified level. We reconcile the two by treating authority as a forward-invariant quantity: a control barrier function on the log-determinant of the drag-aware actuator-authority co-metric, enforced at torque level by a quadratic program in the allocation null space. A single design inequality renders the certified set compact and strictly interior to the actuator box, with the readiness cost of any rotor deactivation given in closed form as $\ln(n/(n{-}m))$ for symmetric designs. An explicit alignment ratio states when tracking can stay exact, otherwise the wrench error is bounded by $\mathcal{O}(\rho^{-1/2})$, and a robust variant handles motor-parameter uncertainty with a closed-form floor shift independent of the airframe matrix. On a hexarotor and a fully-actuated octorotor the closed-form gap matches simulation to machine precision. Over $300$ randomized missions, greedy maximization violates the certified floor in up to $51\%$ of authority-scarce missions, while the proposed filter never leaves the certified set and, in the hardest moment reversal, commits a $79\times$ smaller wrench error. The robust variant holds the floor on all $150$ perturbed plants. A high-fidelity simulation with measured propeller and motor data shows that the floor holds under unmodeled aerodynamics, electrical limits, and delay, and where it stops applying.
Robust Model Order Selection via Dithered Differential Step-Down Thresholding
oai:arXiv.org:2608.29868v2
arXiv:2608.29868v2 Announce Type: replace-cross
Abstract: We propose a differential step-down thresholding algorithm with randomized grid dithering for robust model order selection. It detects the value clustering of noise extrema. Our algorithm asymptotically achieves exact order recovery and prevents false alarms even under lowered detection thresholds.
The Indefinite Summation Problem for the Laurent Ring
oai:arXiv.org:2609.00824v2
arXiv:2609.00824v2 Announce Type: replace-cross
Abstract: This article solves the Indefinite Summation Problem (ISP) for the difference ring $(A, \alpha)$, where $A$ is the Laurent ring of shift operators on the lattice $\Z^n$, and $\alpha$ is any ring automorphism of $A$ of finite order. The space of summable elements in $(A, \alpha)$ is infinite dimensional, and it is possible to write down an explicit basis for it. The solution translates to a finite procedure involving a matrix multiplication, where the size of the matrix can be estimated. It follows that the arithmetic complexity of the solution can also be determined. These results extend to a solution of the ISP for the ring of functions on $\Z^n$, on which $\alpha$ acts by duality.
The article also points out that the solution to the ISP amounts to calculating the group cohomologies $H^i([\alpha], A), i = 0, 1$, where $[\alpha]$ is the cyclic group generated by $\alpha$.
Computing Lewis Weights to High Precision by Fixed-Point Iteration
oai:arXiv.org:2609.04338v2
arXiv:2609.04338v2 Announce Type: replace-cross
Abstract: The $\ell_p$-Lewis weights of a matrix are defined by a fixed-point equation. For $p<4$, Cohen and Peng [CP15] showed that iterating an equivalent rearrangement of this equation computes Lewis weights to high precision; for $p\geq4$, prior high-precision methods instead use optimization-based approaches. We show that the direct Lewis fixed-point iteration, appearing in the thesis of Lee [Lee16], computes Lewis weights to high precision for every $p>2$.
For a matrix $\mathbf{A}\in\mathbb{R}^{m\times n}$ partitioned into row blocks $\mathbf{A}_{[1]},\ldots,\mathbf{A}_{[k]}$, we compute, for $p>2$, coordinatewise $\varepsilon$-approximate $\ell_p$ block Lewis weights in $O\left(p\log\frac{p\sqrt{\sum_{i=1}^k\operatorname{rank}(\mathbf{A}_{[i]})}}{\varepsilon}\right)$ rounds of exact leverage-score-vector computations. For ordinary Lewis weights, this becomes $O\left(p\log\frac{p\sqrt{m}}{\varepsilon}\right)$, improving the $O\left(p^2\log(m/\varepsilon)\right)$ bound of Gribling, Sidford, and Zhang [GSZ26] for $p\geq4$. Our guarantees also extend to approximate leverage-score computations.
Our main observation is that each direct Lewis update contracts the KL divergence to the true weights by a factor of $1-\frac{2}{p}$. We also give an alternate explanation of this contraction through volume sampling and entropic independence. Synthetic experiments closely match our predicted local contraction rates and iteration counts grow approximately linearly with $p$; real-data experiments illustrate the information-concentration tradeoff of finite-$p$ block Lewis designs.
The Complexity of Weak Partition Connectivity in Hedgegraphs
oai:arXiv.org:2609.14932v2
arXiv:2609.14932v2 Announce Type: replace-cross
Abstract: We prove that deciding whether the weak partition connectivity (WPC) of an unweighted hedgegraph is at most a given integer is NP-complete, resolving an open question about its computational complexity. Hardness holds even for connected full-support split systems, where each hedge consists of two nonempty, vertex-disjoint hyperedges covering all vertices. We also obtain hardness on connected edge-colored simple graphs in which each color class is a spanning forest with exactly two nontrivial trees. On both classes, exact computation of fractional WPC is NP-hard, whereas hedge connectivity is computable exactly in polynomial time. A binary matrix formulation yields the reduction and a deterministic polynomial-time exact algorithm under a linear intersection condition on row supports after normalization and column compression. In particular, both integer and fractional WPC are computable in polynomial time when these supports have size at most two, whereas NP-hardness holds already when their size is bounded by three. For every fixed $b$, we give deterministic and randomized efficient polynomial-time approximation schemes on hedgegraphs in which each hedge has at most $b$ connected components, counting isolated vertices. Both schemes return one partition that simultaneously approximates integer and fractional WPC. Unless $\mathrm P=\mathrm{NP}$, neither objective admits a deterministic FPTAS, even on the two hard instance classes.
A General Kernel Framework for Non-CND Distance Measures Using |D|-Dimensional Sparse Landmark Embeddings
oai:arXiv.org:2609.19083v2
arXiv:2609.19083v2 Announce Type: replace-cross
Abstract: Kernel methods, and Gaussian Processes (GPs) in particular, require a Hilbertian distance measure---one whose square is conditionally negative definite (CND)---to guarantee positive semi-definiteness (PSD) of the kernel matrix; a condition that fails for many natural input spaces, including smooth manifolds and spaces of probability distributions. We propose the Sparse Landmark Embedding (SLE) kernel, which eliminates this requirement entirely. Each input is embedded into a sparse feature vector via compactly supported bump functions centered at all |D| training points; applying any standard PSD kernel in this embedding space yields a kernel that is provably PSD for arbitrary distance measures. The compact support automatically controls embedding sparsity, keeping kernel matrices well-conditioned and computationally tractable despite the high ambient dimension. We provide theoretical guarantees on PSD, sparsity, stability, and universal approximation, and show that the SLE kernel matches or substantially exceeds domain-specific baselines in both predictive accuracy and uncertainty quantification using geodesic and Wasserstein distances.
Oracle high-dimensional $M$-estimation using smooth reparameterization for sparsity
oai:arXiv.org:2609.19558v3
arXiv:2609.19558v3 Announce Type: replace-cross
Abstract: This paper establishes a unified non-linear regularization framework for high-dimensional $M$-estimation, encompassing both linear regression and Cox's proportional hazards models. Rather than relying on traditional additive non-convex penalties, the proposed paradigm embeds sparsity directly into the parameter mapping using a smooth ($C^2$) component-wise ReParametrization map for Sparsity (RePS). This geometric formulation dynamically adapts to local parameter scales, successfully suppressing high-dimensional noise and recovering unbiased oracle asymptotic normality under the large-sample limit. Through the Primal-Dual Witness method, we establish a unified oracle equivalence for both model classes under a liberated micro-penalty scaling regime $\lambda \ll n^{-1/2}$, effectively accommodating model-specific structures such as the shift-invariance in survival analysis. Extensive Monte Carlo simulations demonstrate that the RePS framework consistently achieves near-perfect false-positive control and optimal 95\% confidence interval coverage, outperforming conventional non-convex regularizers (SCAD and MCP) which suffer from severe variance inflation and under-coverage due to post-selection noise leakage.
AURA: Angular Update Rate Adaptation for training complex-valued neural networks
oai:arXiv.org:2609.25914v2
arXiv:2609.25914v2 Announce Type: replace-cross
Abstract: Complex-valued neural networks (CVNNs) are increasingly adopted for complex-valued data; however, they are often trained with first-order optimizers inherited from the real-valued case. The efficiency of these methods depends largely on the step size, and their step-size rules ignore the angular information available in the complex plane. We address step-size adaptation in the complex domain by introducing AURA (Angular Update Rate Adaptation), a per-parameter step-size adaptation that can be added on top of any first-order optimizer, and removed from it, without altering its update direction. AURA measures the agreement between consecutive updates of each complex parameter, in length, alignment, and sense of rotation, and enlarges the step when they are consistent and reduces it when they are not. It requires no additional gradient evaluations and only inexpensive vector operations per step. We combine AURA with Adam and Muon and compare the resulting methods with well-known first-order optimizers on four test cases of increasing complexity, ranging from the approximation of scalar complex functions to physics-informed training. Fully connected neural networks are used throughout this work. All hyperparameters other than the step size are held fixed across test cases; for one case, we also tune the hyperparameters of each optimizer under the same budget. Our empirical tests show that AURA improves the convergence of its base optimizer in most cases with a small per-step overhead, and we identify the conditions under which it fails to do so.
Percolation in the Stochastic Block Model
oai:arXiv.org:2609.27141v2
arXiv:2609.27141v2 Announce Type: replace-cross
Abstract: The stochastic block model is a paradigmatic model of networks with community structure. Yet percolation in the model has been studied primarily in cases with a fixed block structure, even though in real networks, the community structure may evolve as the network grows. Here we study percolation in sequences of stochastic block models in which the numbers and sizes of communities, as well as the intra- and intercommunity connection probabilities may all change with the network size. We analyze five such sequences using two methods: linearized self-consistent equations for the locally tree-like models and a branching process at the community scale for the models with nonvanishing clustering. We find that the critical average degree is not generally equal to $1$, even in locally tree-like sequences, because the transition depends on how connections are distributed across the evolving community structure. We also show that the community-scale branching process accurately predicts the transition when intercommunity connections are sufficiently sparse, even in the presence of nonvanishing clustering, while a geometric stochastic block model sequence demonstrates the limitations of this method when correlations between intercommunity connections cannot be neglected. These results extend percolation studies in the stochastic block model to more realistic scenarios with evolving community structure, and may provide new methods to derive the upper and lower bounds for the percolation threshold in geometric long-range percolation.
Near-Optimal Quantum Algorithm and Complexity Analysis for Riccati Problems
oai:arXiv.org:2609.37207v2
arXiv:2609.37207v2 Announce Type: replace-cross
Abstract: We develop quantum algorithms that construct block-encodings of solution matrices for continuous- and discrete-time algebraic Riccati equations (CAREs and DAREs), differential Riccati equations (DREs), and finite Riccati recursions. The Quantum Weighted Riesz Method, unifying four kinds of Riccati problems, constructs projectors onto the solution graphs using weighted Riesz branching operators and recovers the solution matrices. Under the stated access and normalization assumptions, our algorithms for CAREs and DAREs have near-optimal query complexity $\Theta(\mathcal R\alpha)$ up to logarithmic factors, with the generalized singularity factor $\mathcal R$ that reflects spectral separation, and the output normalization $\alpha$. For DREs and finite-horizon problems, the query complexity has an additional initialization conditioning factor $\kappa_{\rm init}$. We establish product query lower bounds for specified input-oracle families, demonstrating necessary joint dependence on spectral separation and initialization or output scale. We also prove that selected-value promise problems are BQP-complete on explicit circuit-generated families of single-control discrete-time algebraic and zero-terminal differential Riccati equations. Applications include classical feedback evaluation for linear-quadratic control, a query-complexity comparison for stable random-phase approximation Riccati equations in quantum chemistry, and heated boundary control with numerical validation.
Generalized Fiducial Inference for Hybrid Discrete-Continuous Count Data: Theory and Application
oai:arXiv.org:2609.38611v2
arXiv:2609.38611v2 Announce Type: replace-cross
Abstract: High-frequency athlete-tracking data can be summarized as quantile cubes (Thomas and Hannig, 2026): counts of time spent in bins of velocity, acceleration, and movement angle. In our application, each athlete-match session has 100 such bins, with counts ranging from under a hundred to several thousand. Whether a bin's negative binomial distribution is well approximated by a normal distribution depends on its shape parameter, the product of its mean and dispersion, rather than on the count alone. We develop a hybrid generalized fiducial framework that uses exact negative binomial structural equations where the estimated shape is small and moment-matched normal approximations where it is large. This approach provides uncertainty quantification for hundreds of regression and dispersion parameters without specifying a prior distribution. Only the normal components contribute to the fiducial Jacobian, which has a closed-form block-diagonal structure, and we prove a Bernstein-von Mises theorem for the correctly specified hybrid model. Simulations show near-nominal coverage, agreement with a flat-prior Bayesian analysis, and the importance of partitioning by estimated shape rather than by the mean or observed responses. In 216 sessions from 17 professional women's soccer athletes, the estimated position effects concentrate at the velocity extremes, while the estimated age effects follow an acceleration gradient. However, an athlete-level permutation check indicates that these patterns are not distinguishable from those obtained under athlete-label permutations.
An Analytic 0.48-Approximation for Non-Monotone k-Submodular Maximization under a Matroid Constraint
oai:arXiv.org:2610.20140v2
arXiv:2610.20140v2 Announce Type: replace-cross
Abstract: We give a randomized polynomial-time $0.48$-approximation for maximizing a nonnegative non-monotone $k$-submodular function under a matroid constraint, for every $k\ge2$. The algorithm combines a top-two label rule with a nested-chain potential and maximum-weight matroid bases. Its analysis reduces the approximation guarantee to a one-dimensional time allocation: a uniform local lower bound leads to a linear differential equation, concavity closes the remaining interval, and two elementary budgets complete the proof. A strict saving in the time budget absorbs sampling and discretization errors, yielding the exact $0.48$ guarantee in the value-oracle model.
A mechanism for collective foraging: percolating recruitment cascades coupled to a maximum-entropy
oai:arXiv.org:2610.24865v2
arXiv:2610.24865v2 Announce Type: replace-cross
Abstract: Foraging recruitment is a contagion: an agent that finds a resource triggers a linear-threshold cascade, the model built for rumour and adoption spread on social networks, now embedded in space. Because activation is degree-normalized, the same rule that spreads the cascade also stifles it as neighbourhoods crowd, so the swarm aggregates on a resource and then releases to explore again. The cascade runs on the communication network, but acting on it moves agents in physical space, and that motion rewires the network: network and space are one coupled system, and this feedback, not any tuning, makes the coordination self-limiting. Because recruitment chains along the graph rather than reaching near neighbours alone, whether a discovery stays local or spans the swarm is a question of percolation. The swarm holds itself in a cascade window that is locally near-critical though globally subcritical, a self-organized, self-limiting drive-release cycle, sandpile-like but non-conservative. Nothing is tuned, yet behaviours that foraging biology documents separately emerge together: recruitment to discoveries, marginal-value patch-leaving, and Levy search with a switch to local exploitation. These follow from one least-committal principle, the resource field and the search both as maximum entropy, with Levy search matched to the field's sparsity and recruitment to its clustering, so active-matter order and optimal foraging appear as one system seen in two domains. The gains are real but conditional: up to 7.6x the harvest of solitary search when resources are sparse and clustered, shrinking to nothing when search is already easy. That sparse, clustered field is also the generic one, because resources almost inevitably aggregate, so one untuned rule should recur widely.
Constrained modularity maximization in complex networks via branch-and-price
oai:arXiv.org:2610.26562v2
arXiv:2610.26562v2 Announce Type: replace-cross
Abstract: Modularity maximization is widely used to identify community structure in complex networks. In many applications, however, community detection must also incorporate prior knowledge and domain-specific requirements beyond network topology. We study constrained modularity maximization with restrictions on the number of communities, must-link and cannot-link relations, and general resource constraints. While fast heuristics can provide high-quality solutions, they generally lack optimality guarantees, whereas exact mathematical-programming approaches can become computationally demanding as the network size and constraint complexity increase. We develop a unified optimization framework offering complementary heuristic and exact solution methods. These include a constrained Louvain heuristic for feasible solution generation, a column-generation heuristic with graph-partitioning-based pricing, and exact branch-and-price algorithms using mixed-integer linear programming and sparse mixed-integer quadratic programming formulations for the pricing subproblem. We develop a cutting-plane procedure providing independent upper bounds to assess solution quality when exact optimization cannot be completed. Experiments on 11 unconstrained networks with up to 1,005 nodes and 30 constrained instances with up to 379 nodes demonstrate the complementary roles of these methods. The column-generation heuristic rapidly improves the constrained Louvain solutions across the tested constraint classes, while branch-and-price using the sparse quadratic formulation solves 29 of the 30 constrained instances to optimality within a one-hour time limit. This formulation becomes particularly effective on larger, sparse, undirected networks by substantially reducing the size of the exact pricing model. Overall, the framework guides method selection to balance computational time, solution quality, and optimality guarantees.