arXiv:2609.28374v1 Announce Type: new
Abstract: A sequence of integers $1=a_0
m^{0.9}$. Moreover, denoting by $G(m,r)$ the number of \emph{distinct} addition chains of length $m+r$ leading to an integer $n\in [2^m, 2^{m+1})$, we show that there exist positive constants $K_3$ and $K_4$ such that $$ K_3^r \left(\frac{m^2}{r}\right)^r\le G\left(m,r\right)\le K_4^r \left(\frac{m^2}{r} \right)^r $$ provided $m^{0.9}
Field independence of the first seven Betti numbers of flag complexes
oai:arXiv.org:2609.28376v1
arXiv:2609.28376v1 Announce Type: new
Abstract: In 2006, Katzman showed that the first six Betti numbers of the Stanley--Reisner ring of a flag complex are field independent. He also found flag complexes on eleven vertices whose eighth Betti number depends on the field, and asked whether the seventh is always field independent. We answer this affirmatively by proving a stronger, purely topological result. Let $\tau(d)$ be the least number of vertices of a flag complex whose $d$-th reduced integral homology has torsion. We prove that $\tau(d)\geq d+10$ for every $d\ge0$. This bound yields the field independence of the seventh Betti number. Equivalently, combining our result with Katzman's, for every finite simple graph $G$, the first seven Betti numbers of the edge ideal $I(G)$ are field independent.
Shortest closed geodesics on three-dimensional isospectral manifolds
oai:arXiv.org:2609.28380v1
arXiv:2609.28380v1 Announce Type: new
Abstract: We prove that the spectrum of a smooth closed three-manifold gives a positive lower bound for the length of its shortest nonconstant closed geodesic. The argument uses three curvature heat coefficients and the first positive singularity of the retarded wave trace. The heat coefficients yield a curvature--length dichotomy: sufficiently large maximum curvature forces a closed geodesic shorter than the curvature scale. We then show that a shortest closed geodesic lying below the conjugate radius produces a singularity of the sine trace. Combining these estimates gives a lower bound depending only on the common spectrum. The compactness theorem of Anderson then implies smooth compactness of the full isospectral family modulo diffeomorphisms.
From a Gap in the Lyapunov Spectrum to Dominated Splittings
oai:arXiv.org:2609.28384v1
arXiv:2609.28384v1 Announce Type: new
Abstract: Let $A$ be an $\alpha$-H\"older cocycle over a transitive two-sided subshift of finite type, and assume that $A$ is strongly bunched. We prove that if there exist $k\in\{1,\ldots,d-1\}$ and $c>0$ such that \[
\lambda_k(p)-\lambda_{k+1}(p)\ge c \] for every periodic point $p$, then $A$ admits a dominated splitting of index $k$. Thus, under strong bunching, a uniform asymptotic gap in the Lyapunov spectrum of periodic measures implies a uniform geometric splitting along all orbit segments. This extends the periodic-gap criterion of Kassel--Potrie from locally constant cocycles to H\"older cocycles in arbitrary dimension, and extends the two-dimensional fiber-bunched result of Velozo to higher dimensions under the stronger bunching assumption.
Blow-up for a semilinear Tricomi equation in the oscillatory regime at the critical Strauss-type exponent
oai:arXiv.org:2609.28389v1
arXiv:2609.28389v1 Announce Type: new
Abstract: We study finite-time blow-up for a semilinear shifted Tricomi equation with decreasing propagation speed and an oscillatory scale-invariant mass. We focus on the Strauss-type critical regime and prove that every weak solution with finite speed of propagation, arising from nonnegative nontrivial energy data satisfying a suitable localization condition, blows up in finite time. For sufficiently small initial data, we also obtain the corresponding critical exponential upper bound for the lifespan. The proof relies on a positive self-similar solution of the homogeneous adjoint equation represented by the Gauss hypergeometric function. Combined with a previously established lower bound for the nonlinear term and new estimates adapted to the critical case, this construction reduces the PDE problem to a nonlinear differential inequality. An ODE comparison argument then yields both finite-time blow-up and the lifespan estimate.
Sylow synchronization in finite groups: the good case
oai:arXiv.org:2609.28403v1
arXiv:2609.28403v1 Announce Type: new
Abstract: Let $G$ be a finite solvable group such that, for any prime $p$ and any quotient $Q$ of $G$, there are two Sylow $p$-subgroups of $Q$ intersecting in $O_p(Q)$. Then, for every family $(P_i)_{i=1}^n$ of Sylow subgroups of $G$ for distinct primes $p_1,\ldots,p_n$, there exists $x \in G$ such that $P_i \cap P_i^x = O_{p_i}(G)$ for all $i$. This covers groups of odd order, partially settling a conjecture of the second and fourth authors and unifying old results of Bialostocki and Mann on the intersection of nilpotent subgroups. We also prove a result for all symmetric and alternating groups, completing the proof of the conjecture for simple groups as initiated by Burness and the first author.
Chv\'atal's conjecture: a proof from The Book
oai:arXiv.org:2609.28404v1
arXiv:2609.28404v1 Announce Type: new
Abstract: Chv\'atal conjectured that every downset has a maximum-size intersecting family which is a star, that is, consists of all members of the family containing a fixed element.
Recently, Chang, Liu and Liu gave a proof of this conjecture, which follows as a corollary of more general results such as Kleitman's conjecture and a version of Kahn's conjecture (which they also prove). We give a short, direct (spectral) proof of Chv\'atal's conjecture, and also prove a strengthening concerning the projection packing number. We also propose two spectral Chv\'atal conjectures which are motivated by extensive numerical experiments.
Existence of disks with prescribed mean curvature and contact angle in arbitrary codimension
oai:arXiv.org:2609.28410v1
arXiv:2609.28410v1 Announce Type: new
Abstract: Under suitable relative homotopy and boundary admissibility assumptions, we establish a min-max theory in arbitrary codimension that produces nonconstant branched immersed disks or spheres in closed Riemannian manifolds, with controlled Morse index, where the prescribed mean curvature type tensor and the nonorthogonal, nonconstant contact angle condition of disks along a supporting submanifold are determined by the same differential 2-form. In Euclidean space, under suitable topological and convex barrier assumptions, we obtain such disks with free boundary on a closed supporting hypersurface and a Morse index bound depending only on the ambient dimension.
The J-equation at the birational minimal slope
oai:arXiv.org:2609.28411v1
arXiv:2609.28411v1 Announce Type: new
Abstract: We prove the existence, uniqueness, and partial regularity outside a proper analytic subset for the K\"ahler current solving the $J$-equation at the birational minimal slope. This confirms Datar--Mete--Song's conjecture 1.5 in \cite{DMS26}. We introduce an analytic threshold, and prove its equivalence to the birational threshold introduced by Datar--Mete--Song. One of the key tools is the approximation of subsolution by Bergman's kernels, which is motivated by the work of Demailly on the approximation of plurisubharmonic functions with analytic singularities. As an application of the Bergman kernel approximation, we combine the results of Fang--Ma \cite{FM26} to give an analytic characterization of the $J$-null locus of a semistable pair $(\alpha,\beta)$. This removes the technical assumptions in \cite{L26b}.
A second-order structure- and positivity-preserving convex limiting method for the Vlasov equations
oai:arXiv.org:2609.28412v1
arXiv:2609.28412v1 Announce Type: new
Abstract: In this paper, we introduce a novel second-order, positivity-preserving finite element method for the Vlasov equations using a convex limiting algorithm. The method employs strong-stability-preserving (SSP) Runge-Kutta time integration and a tensor-product construction of the phase-space mesh for efficient high-dimensional implementations. The convex limiting algorithm combines the robust first-order positivity-preserving graph viscosity approach with high-order residual-based viscosity stabilization to obtain a high-order positivity-preserving scheme. Both novel first-order and high-order methods applicable to high-dimensional problems such as the Vlasov system are presented. In addition, we propose a divergence-cleaning technique for Maxwell's equations to ensure that the divergence constraints of the electromagnetic fields are satisfied. Numerical experiments are provided to demonstrate the accuracy and robustness of the proposed methods.
Ehrhart polynomials of cyclic polytopes as averages of zonotope Ehrhart polynomials
oai:arXiv.org:2609.28417v1
arXiv:2609.28417v1 Announce Type: new
Abstract: We prove an averaging formula for the Ehrhart polynomial of a cyclic polytope whose vertices are given by integer parameters on the moment curve. More precisely, its Ehrhart polynomial is the average of the Ehrhart polynomials of an explicitly constructed family of lattice zonotopes. Since lattice zonotopes are magic positive, this formula implies magic positivity for these cyclic polytopes. Consequently, their $h^\ast$-polynomials are real-rooted, and their $h^\ast$-vectors are log-concave and unimodal.
Dualisable categories in noncommutative geometry
oai:arXiv.org:2609.28433v1
arXiv:2609.28433v1 Announce Type: new
Abstract: In this exposition based on a lecture series at the CIMPA School on Operator Algebras and K-theory, 2025, we highlight modern perspectives on noncommutative geometry using dualisable categories. To this end, we show that several categories naturally arising in functional analysis (derived categories of bornological and condensed modules), operator algebras (E-theory) and stable categories (noncommutative motives) are dualisable. This in particular leads to a definition of algebraic K-theory for analytic spaces. Furthermore, the dualisability of E-theory and motives leads us to pursue an analogy between topological and algebraic K-theory, inspired by assembly map (Baum-Connes and Farrell-Jones) conjectures.
Formal weakly enriched category theory
oai:arXiv.org:2609.28435v1
arXiv:2609.28435v1 Announce Type: new
Abstract: A formal category theory is constructed (in the form of a proarrow equipment), encoding weak coherent enrichment over a monoidal model category $\mV$. We describe how basic categorical concepts formulated via the equipment translate back to enriched categories. We characterize Dwyer-Kan equivalences of enriched categories as $2$-categorical equivalences.
Specializing to either the Kan-Quillen model structure on simplicial sets, or the Quillen-Serre model structure on topological spaces, we prove that the resulting formal category theory is equivalent to the one associated with the $\infty$-cosmos of quasicategories, thereby extending the formal approach to $(\infty,1)$-categories in the sense of Riehl-Verity to encompass both simplicial and topological categories.
A notion of classifying object, formulated internally to the equipment of $\mV$-categories, leads to enriched versions of Quillen's Theorem A.
A counterexample to Fuchs's conjecture
oai:arXiv.org:2609.28443v1
arXiv:2609.28443v1 Announce Type: new
Abstract: For every $\rho$ in (0, 1/2), we construct an entire function F of order $\rho$ whose logarithmic derivative has zero as a deficient value. This disproves an old conjecture of W. H. J. Fuchs.
Convergence of a fully discrete finite element method for the Beris-Edwards system of liquid crystal dynamics
oai:arXiv.org:2609.28444v1
arXiv:2609.28444v1 Announce Type: new
Abstract: We propose and analyze a fully discrete finite element scheme for the Beris-Edwards system of nematic liquid crystal dynamics, in which the incompressible Navier-Stokes equations are coupled to a gradient flow for the Landau-de Gennes Q-tensor. The scheme combines a linearly implicit formally second-order accurate backward differentiation formula in time with an incremental Chorin projection step for the incompressibility constraint, conforming finite elements in space, and the invariant energy quadratization approach with mass lumping for the nonlinear bulk potential. Each time step requires the solution of one linear system and one Poisson problem. We show that the scheme is uniquely solvable, that it preserves the symmetry and trace-free structure of the discrete Q-tensor and molecular field, and that it satisfies a discrete energy law without any restriction on the time step. Our main result is that, as the mesh size $h$ and the time step $\Delta t$ tend to zero subject to $h^{2} = o(\Delta t)$, the approximations converge along a subsequence to a weak solution of the Beris-Edwards system. The convergence proof addresses two difficulties: the projection method produces two velocity approximations, only one of which is uniformly bounded in $L^2(0,T;H^1_0(\Omega))$, and the coupling term $\mathcal{H}\nabla Q$ requires strong convergence of $\nabla Q$, which we obtain from the structure of the equation for $\mathcal{H}$ rather than from any discrete $H^2$-bound. Numerical experiments in two dimensions exhibit approximately second-order convergence in space and time, and reproduce the splitting of a $+1$ point defect into two $+1/2$ defects and the transport and deformation of a skyrmion induced by a constant pressure gradient.
A Spectral Proof of Khachiyan's Ellipsoid Conjecture
oai:arXiv.org:2609.28447v1
arXiv:2609.28447v1 Announce Type: new
Abstract: For a convex body $K\subset\mathbb{R}^n$, let $w(K)$ denote the volume of its maximum-volume inscribed ellipsoid. We prove that every closed halfspace $H$ whose boundary passes through the center of the maximizing ellipsoid satisfies \[
w(K\cap H)\le\frac{\sqrt e}{2}\,w(K). \] The constant is optimal uniformly over all dimensions, as witnessed by a family of circular cones, thereby establishing Khachiyan's conjecture.
The proof converts containment, maximality, and the central-cut condition into algebraic constraints on positive definite matrices. Two complementary spectral bounds from a diagonal model extend to arbitrary center displacements through a directional rank-one estimate for fractional trace powers. Concavity determines their joint optimum. We also derive finite-dimensional bounds and a necessary condition for near equality, with self-contained supporting proofs and an alternative resolvent argument. An AI language model discovered the proof in a human-directed research process. Lean 4 with mathlib verifies the main theorem, sharpness, and supporting results.
Inter-Temporal Price Constraints in Dynamic Pricing: Performance Guarantees Under Price Monotonicity and Promotion Fatigue
oai:arXiv.org:2609.28451v1
arXiv:2609.28451v1 Announce Type: new
Abstract: We study dynamic pricing problems under inter-temporal price constraints. We have resources with limited capacities. At each time period, we decide which products to make available and what prices to charge for the available products. The sale probability for a product depends on its price. If we make a sale for a product, then we collect a revenue reflecting the price and consume the capacities of a combination of resources. We work with two types of inter-temporal constraints. In price monotonicity, the prices charged for a product at different time periods have to be monotone. In promotion fatigue, we can discount a product at most once over each time interval of a fixed length. Computing the optimal policy is intractable. We use fluid approximations to construct policies. Traditionally, policies from fluid approximations make randomized decisions at each time period by following an optimal solution to the fluid approximation, but such randomized decisions easily violate price monotonicity or promotion fatigue constraints. We develop policies that sample price paths according to an optimal solution to the fluid approximation, while satisfying the inter-temporal constraints. Letting $c_{\min}$ be the smallest initial capacity of a resource and $L$ be the maximum number of resources used by a product, our policies have a performance guarantee of $\max\Big\{ \frac{1}{8L}, \, \frac{1}{2} - \sqrt{\frac{\log c_{\min}}{2 \,c_{\min}}} - \frac{L}{c_{\min}}\Big\}$. Thus, under large resource capacities, our policies are guaranteed to obtain at least half of the optimal total expected revenue. The latter performance guarantee is tight in the sense that no policy can, in general, obtain more than half of the optimal objective value of the fluid approximation even under large resource capacities. We unify our approach to open the path for extensions to other inter-temporal price constraints.
Stochastic Domination of Gaussian Maxima by the Regular Simplex
oai:arXiv.org:2609.28452v1
arXiv:2609.28452v1 Announce Type: new
Abstract: Let $n\ge2$, and let $X=(X_1,\ldots,X_n)$ be a centered Gaussian vector with $\mathrm{Var}(X_i)=1$ for every $i$. Let $Z_1,\ldots,Z_n$ be independent standard Gaussians, and put $\overline{Z}=(Z_1+\cdots+Z_n)/n$. We prove $\mathbb{P}\{\max_i X_i\le t\}\ge\mathbb{P}\{\sqrt{n/(n-1)}\,\max_i(Z_i-\overline{Z})\le t\}$ for every $t\in\mathbb{R}$, and for each fixed $t>0$ equality holds only when $\mathrm{Cov}(X_i,X_j)=-1/(n-1)$ for all $i\ne j$. The right side is the distribution function of the maximum of the regular simplex vector. Equivalently, among all simplices containing a given centered ball, the regular simplex circumscribed about the ball has the least standard Gaussian measure, as conjectured by Balitskiy, Karasev, and Tsigler. In our preceding paper we proved this comparison after both maxima are smoothed by independent Gaussian noise of variance $1/(n-1)$, which suffices for the Weak Simplex Conjecture; here we remove the smoothing, which is what probabilities at a single threshold require. As an application we consider $n$ equally likely signals of equal energy in Gaussian noise, where the transmitter may also send nothing. At every positive false-alarm level, and for every law of a common nonnegative random amplitude not concentrated at zero, the regular simplex uniquely maximizes the average probability of correct identification whenever the signal dimension is at least $n-1$. A Lean formalization is available at https://github.com/abhmul/full-simplex-conjecture-lean.
Global well-posedness and scattering for mass-critical Hartree equation
oai:arXiv.org:2609.28454v1
arXiv:2609.28454v1 Announce Type: new
Abstract: In this paper, we prove that the defocusing mass-critical Hartree equation is global well-posed and scatters for any initial data $u_0\in L^2$, and prove the analogous result in the focusing case, provided the mass of $u_0$ is strictly less than that of the ground state $Q$. This result removes the radial restriction from [C. Miao, G. Xu and L. Zhao, J. Math. Pures Appl. (9), 91(2009), 49-79.], thereby proving the scattering conjecture for the Hartree equation at the scaling-critical regularity.
On the multicolour Ramsey numbers $R(3,3,k)$
oai:arXiv.org:2609.28455v1
arXiv:2609.28455v1 Announce Type: new
Abstract: In this paper we determine the Ramsey number $R(3,3,k)$ up to a constant factor, showing that $$R(3,3,k) = \Theta\bigg( \frac{k^3}{(\log k)^2} \bigg).$$ The proof of the lower bound combines the Hefty-Horn-King-Pfender construction for $R(3,k)$ with the method of Alon and R\"odl. Using the same proof, we also determine the $r$-colour Ramsey numbers $R_r(3,\ldots,3,k)$ up to a constant factor for every fixed $r \geqslant 3$.
The Spectra of the Henze-Zirkler and Henze-Wagner Operators for BHEP Tests
oai:arXiv.org:2609.28464v1
arXiv:2609.28464v1 Announce Type: new
Abstract: The Baringhaus-Henze-Epps-Pulley (BHEP) tests for multivariate normality are affine-invariant goodness-of-fit tests based on a Gaussian-weighted $L^2$ distance between empirical and Gaussian characteristic functions. In 1990, Henze and Zirkler expressed the limiting null distribution through the eigenvalues of an integral operator on the standard Gaussian space. In 1997, Henze and Wagner obtained a simpler covariance kernel and raised the problem of calculating the eigenvalues of the resulting operator on a Gaussian-weighted space. Although subsequent work treated the univariate case and numerical approximations in a few low dimensions, the complete all-dimensional spectral problem remained open. This paper determines both complete spectra for every dimension $d \in \mathbb{N}$ and every smoothing parameter $\beta > 0$. The two operators are shown to have the forms $\mathcal{X}_{\beta,d}^*\mathcal{X}_{\beta,d}$ and $\mathcal{X}_{\beta,d}\mathcal{X}_{\beta,d}^*$ for the same Hilbert-Schmidt operator $\mathcal{X}_{\beta,d}$. Consequently, their nonzero eigenvalues agree, including multiplicities, while the null space of the Henze-Zirkler operator is identified exactly. The Gaussian integral operator in the Henze-Wagner decomposition is diagonalized by Mehler's formula, and rotational symmetry confines the finite-rank correction to the sectors associated with spherical harmonics of degrees $0$, $1$, and $2$. The degree-$1$ and degree-$2$ eigenvalues are characterized by scalar transcendental equations, and the radial eigenvalues by an explicit pole-safe Fredholm determinant. The paper establishes nonnegativity, multiplicities, eigenfunction reconstruction, completeness, the trace identity, and a complete characterization of all exceptional pole cases.
Constructing Rational Curves via Jets on Projective Varieties with Non-Nef Canonical Bundle
oai:arXiv.org:2609.28465v1
arXiv:2609.28465v1 Announce Type: new
Abstract: We give an algebraic proof in characteristic zero of the Miyaoka--Mori criterion: every point of a curve of negative canonical degree on a smooth projective variety lies on a rational curve. Our jet technique gives, in addition, an effective numerical decomposition of the original curve class. For each prescribed point, the decomposition contains a rational curve through that point, with a positive coefficient independent of the point and with anticanonical degree at most $\dim X+1$. Together with BDPP cone duality, this recovers the projective uniruledness criterion over $\mathbb C$.
The main result of this paper was obtained using the Pharos system. A detailed report on the use of Pharos and on the Lean~4 formalization of the main arguments is given in the Appendix B, written by Bin Dong, Guoxiong Gao, Zeming Sun, and Bin Wu.
Hutch#: Optimal non-adaptive Frobenius norm estimation
oai:arXiv.org:2609.28472v1
arXiv:2609.28472v1 Announce Type: new
Abstract: The Girard--Hutchinson estimator provides an extremely simple randomized estimate of the Frobenius norm of a matrix $A$ that can only be accessed implicitly via matrix-vector products. In particular, if $\Omega$ is a random Gaussian matrix with $r = O(1/\varepsilon^2)$ columns, than $\frac{1}{r}\|A\Omega\|_F^2$ provides a $(1\pm \varepsilon)$ multiplicative approximation to $\|A\|_F^2$ with high probability.
In this work, we introduce a closely related estimator, given by \begin{align*}
{\frac{1}{r}\|A\Omega\|_F^2 + \frac{1}{r}\|\Psi^T A\|_F^2 - \frac{1}{r^2}\|\Psi^T A\Omega\|_F^2}, \end{align*} where $\Psi$ is a second, independent random Gaussian matrix with $r$ columns. We prove that this estimator yields a $(1\pm\varepsilon)$ multiplicative approximation to $\|A\|_F^2$ when $r = O(1/\varepsilon)$, a quadratic improvement over Girard--Hutchinson. This dependence on $\varepsilon$ is optimal. Our method, which we call Hutch# (pronounced ``Hutch sharp''), matches the complexity of the Hutch++ algorithm [Meyer, Musco, Musco, Woodruff, 2021]. However, unlike Hutch++, Hutch# uses only \textit{non-adaptive} matrix-vector products with $A$ and $A^T$ and requires no orthogonalization or other adaptive linear algebra steps. Thus, Hutch# combines the simplicity of the Girard--Hutchinson estimator and the optimal query complexity of Hutch++.
Ramond from Random: Weil-Petersson Volumes for Super-Riemann surfaces with NS Boundaries and R Punctures
oai:arXiv.org:2606.09990v1
arXiv:2606.09990v1 Announce Type: cross
Abstract: The Weil-Petersson (WP) volumes of the (compactified) moduli space of ${N}=1$ supersymmetric Riemann surfaces with Neveu-Schwarz (NS) boundaries are frequently discussed in the literature. Such surfaces can also have marked points called Ramond (R) punctures, where the superconformal structure degenerates. Computing the volumes when these R punctures are included is more challenging for the usual differential and algebraic geometry approaches, and they are therefore less well explored. In particular, the spectral curve describing the inclusion of R punctures is apparently unknown, so far. However, the right random matrix model approach can handle the NS and~R sectors on an equal footing. Such a construction is presented, showing how to use a recently developed technique to readily compute many closed-form formulae for $V^{(2m)}_{g,n}(\{b_i\})$, the WP volumes for genus $g$ with $n$ NS-boundaries of geodesic lengths $b_i$ ($i{=}1,\ldots,n$), and $2m$ R-punctures. Several striking relations between volumes (and subsectors thereof) emerge naturally in this approach. Moreover, the hitherto missing spectral curve is presented, and its use for (re-)deriving the $V^{(2m)}_{g,n}(\{b_i\})$ is demonstrated by using topological recursion.
$N=1$ Supersymmetry, Weil-Petersson Volume Recursion, and a Spectral Curve
oai:arXiv.org:2606.20796v1
arXiv:2606.20796v1 Announce Type: cross
Abstract: The Stanford-Witten-Norbury generalization of Mirzakhani's volume recursion computes $V^{(2m)}_{g,n}(\{b_i\})$, the Weil-Petersson volumes of the moduli space of $N=1$ supersymmetric Riemann surfaces of genus $g$ with $n$ Neveu-Schwarz boundaries of geodesic lengths $b_i$ ($i{=}1,\ldots,n$), and $2m$ Ramond punctures. Recently, a spectral curve has been derived that allows their Laplace transforms $W^{(2m)}_{g,n}(\{{\hat z}_i\})$ to be computed using topological recursion. We prove that the Stanford-Witten-Norbury volume recursion is directly derivable from the spectral curve. An alternative volume recursion can also be derived from it. The difference comes from whether the Ramond information is in the initial data, or in the volume recursion's kernels. The latter invites a geometrical understanding.
Coloring sparse random Cayley graphs
oai:arXiv.org:2606.23762v2
arXiv:2606.23762v2 Announce Type: cross
Abstract: It is shown that there exists $c > 0$ so that the Cayley graph over any finite abelian group $Z$ generated by $c \log |Z|$ random elements is properly 3-colorable with high probability (as $|Z| \to \infty$). This is asymptotically tight and improves the best-known bound due to Alon of $\frac{1}{4}\log \log |Z|$ elements. It also settles the abelian case of Alon's suggestion that a bound of $c \log |G|$ may hold for any finite solvable group $G$.
A boundary-addition identity for Weil-Petersson volumes and their supersymmetric generalizations
oai:arXiv.org:2609.21030v1
arXiv:2609.21030v1 Announce Type: cross
Abstract: We consider $V_{g,n}(\{b_i\})$, the Weil-Petersson volumes of the moduli space of Riemann surfaces of genus $g$ with $n$ geodesic boundaries of lengths $b_i$, $(i=1,...,n)$, and various ${ N}{\geq}1$ supersymmetric generalizations of them, using a framework within which they are specializations of a larger family of quantities naturally governed by the integrable KdV hierarchy. An exact boundary-addition identity is derived that directly relates $V_{g,n+1}(\{b_1,b_2,...,b_n,b\})$, for any $b$, to the corresponding $n$-boundary KdV data underlying $V_{g,n}(\{b_1,b_2,...,b_n\})$. For ordinary Weil-Petersson volumes, expansion about the special removable-cone value $b=2\pi i$ reproduces three known results of Do and Norbury, organizing them as the first levels of a complete hierarchy. The higher levels are naturally built from additional KdV data, which we interpret geometrically in intersection theory as a tower of $\kappa$-decorated volumes. Several other recursive relations in the literature are illuminated by the identity, and various new ones are derived. The cases with ${ N}=1,2$ and (small) ${N}=4$ supersymmetry are also covered by the identity, and we exhibit some of the striking special features and results arising in each case. Among many applications presented, we use the identity to uncover the intersection theory descriptions of ${N}=2$ and small ${ N}=4$ Weil-Petersson volumes.
A non-robust quantum correlation self-test
oai:arXiv.org:2609.25117v1
arXiv:2609.25117v1 Announce Type: cross
Abstract: We show that exact self-testing of a quantum correlation does not imply robust self-testing. Man\v{c}inska and Schmidt previously established such a separation for non-local games, but their obstruction to robustness arises from two distinct optimal correlations, with the self-tested one remaining robust. We establish the separation for a single correlation.
Our proof is operator-algebraic. The main technical contribution is a general construction that associates a synchronous binary correlation to any finitely presented C*-algebra with unitary generators and real-coefficient relations. The implementing states of the correlation correspond exactly to the tracial states on the algebra. We apply this construction to an algebra with a unique finite-dimensional tracial state and a distinct amenable tracial state. By a characterization established by Zhao and independently by Kar, the resulting correlation is a self-test but not a robust self-test.
Gabriel Spectrum of Persistence Categories
oai:arXiv.org:2609.25761v1
arXiv:2609.25761v1 Announce Type: cross
Abstract: We determine the Gabriel spectrum of a category of sheaves of vector spaces in purely topological terms. For every topological space $X$, we prove that the Gabriel spectrum of ${\mathbf{Sh}}(X)$ is homeomorphic to ${\mathrm{Sk}}({\mathrm{Sob}}(X))$, where ${\mathrm{Sob}}(X)$ denotes the sobrification of $X$ and ${\mathrm{Sk}}$ indicates passage to the Skula topology. The proof is based on a classification of indecomposable injective sheaves and a characterization of localizing subcategories in terms of Skula-open subsets. We show that the Gabriel spectrum is always Hausdorff, zero-dimensional, and totally disconnected, and that it is compact if and only if $X$ is Noetherian. This leads to computations of Gabriel spectra arising in persistence theory. In particular, the Gabriel spectrum of the category of persistence modules over ${\mathbb R}^n$ is homeomorphic to the space of ideals of ${\mathbb R}^n$ with a natural topology.
A multiplicative universal property for real algebraic $K$-theory
oai:arXiv.org:2609.26741v1
arXiv:2609.26741v1 Announce Type: cross
Abstract: We prove that the real $K$-theory functor is lax symmetric monoidal. Moreover, it is initial among those real functors $\mathsf{Wald}_\infty^\mathrm{gd}\to\mathsf{Sp}^{C_2}$ that are additive and lax symmetric monoidal.
A New Method that can Generate Ramsey Colourings for Eight and Thirteen Colours
oai:arXiv.org:2609.26851v1
arXiv:2609.26851v1 Announce Type: cross
Abstract: We study representations for relation algebras corresponding to certain edge colourings of complete graphs. Previously suitable colourings were obtained for the number of colours $n$ up to $2000$, with two exceptions: $n = 8$ and $n = 13$. Using a method that we have called the FBF (Fusion Beautiful Fusions) method, we find colourings for $8$ and $13$ colours. Our method is a new guess-and-check approach that we describe as an adaptation of Comer's finite-field method. Using FBF we construct novel colourings that are non-isomorphic to existing published colourings for 5, 6, 7, 9, 10, 11 and 12 colours.
Sustained growth of quantum circuit complexity in many-body Hamiltonian dynamics
oai:arXiv.org:2609.26885v1
arXiv:2609.26885v1 Announce Type: cross
Abstract: The quantum circuit complexity of an evolving many-body quantum system is believed to exhibit a sustained growth, maintained for timescales much longer than the onset of thermalization. Most previous works have focused on models which violate energy conservation, such as random unitary circuits. Here we study generic, local time-independent Hamiltonian dynamics. We unconditionally prove that for generic local Hamiltonians and typical initial product states at high effective temperature, the robust quantum circuit complexity must grow over a very long period of time, attaining an exponentially large value at late times. Our approach relies on two structural properties that we prove rigorously: (i) generic local Hamiltonians satisfy generalized spectral no-resonance conditions of arbitrary order, and (ii) typical high-temperature product states are effectively supported in exponentially many energy eigenstates. These properties have been widely assumed without proof in prior works. As corollaries of this result, we show the late-time state displays robust volume-law entanglement that is irremovable by polynomial-size circuits, and we establish a no fast-forwarding result for generic local Hamiltonians. We also lower bound the complexity of preparing sufficiently large subsystems with local quantum channels, in contrast with sufficiently small thermalizing regions which we show retain low complexity at late times.
Scalar halos and conical matching for finite-width vortices at a wormhole throat
oai:arXiv.org:2609.26901v1
arXiv:2609.26901v1 Announce Type: cross
Abstract: We study the static matter constraint associated with a conical deficit that varies along a string near a wormhole throat. A positive scalar-dependent factor multiplying the complete Abelian-Higgs Lagrangian couples a finite-width vortex to a canonical kink. At critical coupling, we obtain the leading longitudinally varying vortex tension. The flat-kink fluctuation operator has an even translational mode and an odd shape mode of mass $\sqrt{3}/L_\chi$. Reflection symmetry excludes the translational mode from the leading sourced response. We formulate the response with nonzero dressed-string boundary conditions at the longitudinal ends and derive a finite-range transverse halo. In the overlap $w\ll\rho\ll L_\chi$, its mixed stress satisfies $2\pi C\,\delta T^{\chi\,\rho}{}_l=\partial_l\mu_v^{(0)}$ to leading order, where $2\pi C$ is the azimuthal circumference. Together with the local weak-gravity deficit relation, this supplies the leading mixed Einstein constraint of a restricted varying cone. At fixed longitudinal position the sourced halo instead decays beyond $L_\chi$. Consequently, it cannot sustain that restricted cone throughout an outer overlap unless another source contributes the missing mixed stress. This obstruction is conditional on the response of the wormhole-supporting sector and is not a no-go result for general axisymmetric metrics. A finite-width calculation checks the linear-response crossover. We specify the perturbative domain and explain why a rotating extension requires an independent solution of Gauss's law. No complete backreacted wormhole solution or stability result is claimed.
Impact-Time Guidance via Normal Contraction to a Time-to-Go Isochron
oai:arXiv.org:2609.26906v1
arXiv:2609.26906v1 Announce Type: cross
Abstract: We develop a contraction-based perspective on impact-time guidance that augments a baseline homing command with a timing bias. The proposed perspective treats the prescribed schedule as a moving time-to-go isochron and regulates motion normal to that set through velocity-normal lateral acceleration while the interceptor's speed remains constant. We derive a transport equation that characterizes homing-compatible time-to-go coordinates and define a predictor defect that quantifies the mismatch of approximate maps. We show that the scalar timing channel induces a coordinate-invariant rank-one metric on the normal quotient. To account for bounded lateral acceleration, we formulate a robust scalar filter and derive a necessary and sufficient condition for pointwise feasibility. We then show that terminal calibration and funnel invariance establish first interception at the prescribed time under the stated assumptions. We also develop a preterminal alignment and homing handover that avoids singular inversion as lateral timing authority vanishes near collision-course alignment. The proposed perspective accommodates analytic, numerical, and learned time-to-go maps that satisfy the required calibration and regularity conditions.
Maximal Total Quantum Dimension at Bounded Rank in Dijkgraaf-Witten Theories
oai:arXiv.org:2609.26914v1
arXiv:2609.26914v1 Announce Type: cross
Abstract: We investigate the maximal total quantum dimension at a bounded categorical rank cutoff $R$ in three-dimensional Dijkgraaf--Witten theories. This optimization problem physically governs the maximal state-optimized torus topological entanglement entropy at a fixed torus ground-state degeneracy, while providing a quantitative constraint on the search space required to classify these topological order phases. We analyze how topological twists (3-cocycles) and gauge-group structures independently govern this trade-off. For elementary-Abelian gauge groups at a fixed prime $p$, we prove that introducing cocycle twists elevates the maximum total quantum dimension from square-root growth $\Theta_p(R^{1/2})$ to linear growth $\Theta_p(R)$ in the rank cutoff, driven by the geometric protection of cyclic holonomies. For untwisted theories, we establish sharp envelopes for symmetric and alternating gauge groups, and derive group-theoretic bounds across almost-simple, solvable, and radical-free families. In particular, almost-simple groups and their direct products obey a quadratic-logarithmic upper envelope: $\log\mathcal{D} = O((\log R)^2)$. Finally, we compare these scales against WZW models and discuss the status of the general quadratic-logarithmic envelope conjecture.
Robustness of mKdV Breathers: A Numerical Perspective
oai:arXiv.org:2609.27080v1
arXiv:2609.27080v1 Announce Type: cross
Abstract: We systematically investigate breather solutions in the modified Korteweg-de Vries (mKdV) equation via numerical simulations. We show that the breather solutions are stable under a variety of perturbations, including amplitude changes, modifications of internal parameters, and perturbations of the nonlinearity of the equation. Our results are not only consistent with the known analytical studies on the stability of breathers in integrable systems, extending them further, but also provide numerical evidence that such breather-type structures can persist and remain stable over the simulated time scales in some non-integrable settings with symmetric potentials.
Quantum-Enhanced Sampling of Schr\"odinger Bridges
oai:arXiv.org:2609.27103v1
arXiv:2609.27103v1 Announce Type: cross
Abstract: We consider the dynamic Schr\"odinger bridge problem on a finite state space and exploit its Markov structure to decompose the problem into an endpoint coupling and a collection of conditional Markov bridges. To sample from the conditional bridges, we develop a quantum Gibbs sampler based on quantum walks on the bridge path space. Under uniformly positive transition probabilities, we derive a spectral-gap bound and provide an explicit procedure for preparing the initial state. Compared with the update bounds of the corresponding classical Gibbs sampler, our quantum walk-query complexity improves the dependence on the time horizon $T$ from quadratic to linear. For the endpoint coupling, we adapt a quantum box-constrained Newton method to compute the Schr\"odinger potentials, improving the matrix-scaling complexity, at fixed accuracy, from quadratic to $N^{3/2}$ in the state-space size $N$. Finally, we show that exponential reweighting extends both the Schr\"odinger bridge formulation and the Gibbs spectral-gap estimate to models with additive running costs.
Active Portfolio Management in Concentrated Equity Markets
oai:arXiv.org:2609.27113v1
arXiv:2609.27113v1 Announce Type: cross
Abstract: The equal-weighted portfolio is a passive, rule-based strategy that has historically been difficult to outperform, delivering higher returns than the capitalization-weighted "market" benchmark across many markets and periods. Stochastic portfolio theory (SPT) reveals that this relative performance is regime dependent, with the equal-weighted portfolio underperforming during periods of increasing market concentration and high correlations, particularly market bubbles. These observations have motivated us to formulate and solve a stochastic control problem in which an investor actively allocates between the equal-weighted and market portfolios. The investor bases their allocation decisions on forecasts made under a flexible stochastic diversity--dispersion (SDD) model. Using a quadratic surrogate for implementation frictions, we characterize the optimal allocation through a linear forward--backward SDE and obtain an explicit "aiming in front of a moving target'' representation of the optimal trading rate, in the spirit of G\^arleanu and Pedersen. The penalty parameters are calibrated in sample to match the cumulative wealth effect of proportional transaction costs, while out-of-sample performance is evaluated with those costs deducted directly from portfolio wealth. Using historical S&P 500 data, we show that a mean-reverting SDD specification reproduces several empirical features of market diversity and dispersion. In out-of-sample backtests from 1995 to 2024, the resulting strategies deliver higher cumulative net returns than both the equal-weighted and market portfolios, and higher information ratios than the equal-weighted portfolio after 15-basis-point proportional transaction costs.
Dual Boundary Condition Inference: A Two-Boundary Product Rule and Its Implications
oai:arXiv.org:2609.27120v1
arXiv:2609.27120v1 Announce Type: cross
Abstract: Many inference problems are constrained from two sides: forward information and a second constraint on outcomes. Dual Boundary Condition Inference (DBCI) multiplies them and renormalises. The rule is not new: it is the product-of-experts form and the unit-exponent member of the logarithmic-pooling family. The paper contributes a classification and reducibility characterisation. The algebra does not fix the exponent at which the inputs combine: given the statistic log p_fwd + log p_bwd, which already builds in the product form, maximum entropy supplies the family (p_fwd p_bwd)^lambda and selects no member. If the inputs are read as two equally weighted opinions, three requirements select lambda = 1/2: unanimity preservation, consistency under a common Bayesian update, and minimal symmetric Kullback-Leibler divergence. If they are read as separately applied factors, two requirements select lambda = 1: a neutral second input must leave the first unchanged, and an update to one input must pass through unchanged. For a rank-one intermediate projective measurement, the Aharonov-Bergmann-Lebowitz (ABL) rule realises this form with no extra parameter. Every positive exponent orders outcomes identically, so the choice is invisible to picking the likeliest outcome, but not to scoring a class by total mass. Under the relevant identifications, the same product form gives Bayes' rule, while a final effect proportional to the identity returns the ordinary forward Born probabilities. The second result is a Two-Boundary Reducibility Criterion: DBCI factors through the forward boundary exactly when the effective backward boundary, up to positive rescaling, does. So a fixed prior or model-fixed structural constraint adds no distinctions between cases sharing the same forward boundary, though it may encode substantial information and still materially affect the result.
Percolation in the Stochastic Block Model
oai:arXiv.org:2609.27141v1
arXiv:2609.27141v1 Announce Type: 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.
Emergent Prethermal Symmetries for Scalable Hamiltonian Learning
oai:arXiv.org:2609.27181v1
arXiv:2609.27181v1 Announce Type: cross
Abstract: Learning an interacting many-body Hamiltonian at the Heisenberg limit generally requires control that preserves local information for evolution times of order $1/\varepsilon$ to attain $\varepsilon$ precision. To achieve this, existing protocols often rely on trusted many-qubit operations or increasingly rapid control pulses, creating a precision barrier when gates involve unknown multi-qubit interaction or have finite duration. We show that neither resource is necessary for geometrically local Hamiltonians. Our protocol applies only static single-qubit fields, whose strength is independent of system size and grows polylogarithmically with $1/\varepsilon$. These fields generate emergent prethermal symmetries that suppress thermalization for the entire learning experiment while retaining informative symmetry-preserving dynamics. On a $d$-dimensional lattice of $n$ qubits, this enables learning every coefficient to accuracy $\varepsilon$, with failure probability at most $\delta$, using total evolution time $\mathcal{O}(\log^d(1/\varepsilon)\log^2(n/\delta)/\varepsilon).$ Thus, our learning protocol attains the information-theoretically optimal \(1/\varepsilon\) dependence up to polylogarithmic factors using product-state preparation, single-qubit measurements, and non-adaptive experiments. More broadly, our results establish emergent prethermal symmetries as a resource for quantum learning, opening a route to Heisenberg-limited characterization of many-body systems where fast or trusted many-qubit control is unavailable.
Model Specification Test for Stationary Functional Time Series
oai:arXiv.org:2609.27182v1
arXiv:2609.27182v1 Announce Type: cross
Abstract: We develop a general framework for model specification testing in stationary functional time series. The approach is based on an autoregressive approximation that represents a broad class of stationary functional processes through coefficient kernels whose dimension and autoregressive order may increase with the sample size. Different model assumptions induce different structural restrictions on these kernels, and our tests are constructed by measuring deviations from the corresponding restrictions. We illustrate this principle for three problems: testing a prescribed order of a functional autoregressive model, testing a functional autoregressive moving-average specification, and testing separability of autoregressive coefficient kernels. The resulting statistics are based on weighted $\mathcal{L}^2$-distances, and the critical values are obtained by a multiplier bootstrap. We establish a quantitative bootstrap approximation that is uniform over a class of weight functions and prove asymptotic validity and consistency of the proposed tests. The methodology allows for data-adaptive weighting and is illustrated by simulations and a data example.
ZO-COSMO: Index-Free One-Hop Mixing for Decentralized Zeroth-Order Optimization
oai:arXiv.org:2609.27199v1
arXiv:2609.27199v1 Announce Type: cross
Abstract: Sparse communication in decentralized zeroth-order learning requires compatible peer-state coordinates. We characterize this one-hop condition and develop \textsf{ZO-COSMO}, coupling two-query estimation with average-preserving masked consensus using $q$ values per active link. Global supports serve all-neighbor mixing; matching updates require agreement only within each pair. We derive a sharp contraction-per-scalar bound within the matching class and convergence guarantees for the core and sparse-momentum updates. At fixed matching, exact moment identities characterize how shared directions preserve gradient-heterogeneity cancellation and redistribute estimation error and disagreement. Mechanism experiments cover unequal curvatures, noise, and sparse momentum. Further tests span $64$ synthetic agents and eight logical Qwen LoRA workers. At matched payload budgets, Qwen2-7B QNLI gains $3.65$ accuracy points over explicit-index Rand-$k$; edge-local updates gain $3.42$ and $2.53$ points over all-neighbor mixing on eight-worker complete and ring graphs. A matched-first-step ablation gives a $3.92$-point momentum benefit. Seed-aware and same-matching controls distinguish encoding, scheduling, and query correlation.
KATOsuper: Surrogate-accelerated neural topology optimization with sensitivity-consistent Fourier neural operators
oai:arXiv.org:2609.27216v1
arXiv:2609.27216v1 Announce Type: cross
Abstract: Topology optimization (TO) remains computationally intensive due to repeated finite element analysis (FEA) evaluations required at each iteration. While neural network-based surrogates offer potential acceleration, existing approaches often suffer from gradient inconsistency between predicted objectives and sensitivities, leading to optimization instability. This work presents KATOsuper, an objective-agnostic framework that couples neural-reparameterized topology optimization with a Sensitivity-Consistent Fourier Neural Operator (SC-FNO). The framework employs the forward_split architecture, which derives deployed sensitivities via automatic differentiation through the predicted objective field and thereby preserves consistency between the predicted objective and the gradient used for optimization. The case studies include three 2D benchmark problems and three 3D structures considering compliance or stress minimization. A physics-informed multi-channel input encoding with Fourier position embedding enables resolution-invariant learning, supporting zero-shot extrapolation beyond the training resolution, with useful performance at moderate scaling factors and topology-preserving exploration at up to 64x without retraining. The framework extends to 3D through KATO3D, featuring novel KANConv3D blocks with learnable B-spline activations. KATOsuper demonstrates 15--110x deployment-time speedup over MATLAB baselines while maintaining competitive optimality, with the clearest gains observed in complex 3D and stress-optimization cases. The insight that sensitivity direction matters more than magnitude enables robust optimization even with approximate physics evaluation, extensible to other differentiable physics-driven design objectives.
On the Sample Complexity of Active Learning with Membership Queries
oai:arXiv.org:2609.27241v1
arXiv:2609.27241v1 Announce Type: cross
Abstract: This work revisits a fundamental question in active learning: how powerful is the ability to synthesize arbitrary queries? Compared to pool-based active learning, where the learner only selects queries from a given unlabeled pool, we find that this seemingly mild change in query ability may dramatically alter the difficulty of statistical learning. In particular, some hypothesis classes that are inherently slow to learn in the pool-based setting, achieving only polynomial error decay in the number of samples, become exponentially learnable once synthesized queries are allowed. This striking gap suggests that membership query synthesis induces a fundamentally different mode of learning, one that is not adequately captured by existing active learning theory and calls for new analytical tools to characterize its complexity. Motivated by this phenomenon, we develop several sufficient conditions, present intriguing examples, and propose a conjectural perspective toward understanding which hypothesis classes admit efficient learning through synthesized queries.
What Converges in the Platonic Representation Hypothesis? Structure over Geometry
oai:arXiv.org:2609.27252v1
arXiv:2609.27252v1 Announce Type: cross
Abstract: The Platonic Representation Hypothesis suggests that increasingly capable models converge toward shared representations. Recent work narrows this claim to shared local neighborhood relationships, finding that capacity-dependent trends in several global similarity measures largely disappear after calibration. We challenge this interpretation by showing that prior local-global comparisons confound structural scale (local versus global) with what is compared: relational structure, defined by which samples are related, versus metric geometry, characterized by quantitative relations such as distances, similarities, or correlations. To disentangle these factors, we construct a controlled $2\times2$ framework that evaluates both relational structure and metric geometry at local and global scales. We introduce $H_0$ skeleton overlap as a global counterpart to mutual $k$-nearest neighbors, together with matched distance-aware variants. Across vision-language models, relational structure exhibits robust representational convergence at both scales after calibration, whereas increasingly stringent distance agreement substantially weakens alignment and progressively flattens the capacity-dependent trend. We further extend the analysis beyond ambient Euclidean geometry by evaluating distance agreement under a Riemannian metric approximation and recover the same structure-geometry pattern. The pattern is also reproduced in video-text representations. Together, these results show that relational convergence extends beyond local neighborhoods to global spanning structure, whereas metric geometry exhibits substantially weaker convergence.
Sparse-Observation Atmospheric Thermal Forecasting with Physics-Informed Neural Networks for Climate-Aware Digital Twins
oai:arXiv.org:2609.27290v1
arXiv:2609.27290v1 Announce Type: cross
Abstract: Short-horizon forecasts of atmospheric temperature are needed to support climate-aware digital-twin systems, but such forecasts must be produced where thermal observations are incomplete. This study evaluates a physics-informed neural network for potential-temperature forecasting, constrained by a pressure-coordinate thermodynamic advection-source equation and a diabatic-source closure fit from the preceding 12-hour period and frozen before future-time training. Using hourly ERA5 reanalysis at three pressure levels, the model is evaluated as a conditional hindcast at lead times of one, two and three hours against persistence, local-trend, and two matched neural-network baselines, one of which receives the same future meteorological forcing as the PINN, helping distinguish the physical constraint from access to future forcing. In an Oklahoma development case, mean RMSE improvement over the strongest baseline grew from 8.1\% at one hour to 23.8\% at three hours; under an observation-density sweep down to 5\% of candidate locations, this 3-hour advantage remained 14.6--16.9\%, with no evidence that lower density improves performance. Under a fixed protocol transferred to an Alabama heat event with three virtual-observation layouts, three-hour improvement ranged 19.7-24.4\% with consistent origin-level wins. A parallel Montana stress test, in which fixed pressure levels intersected complex terrain, produced a three-hour degradation of roughly 17.5\%, identifying a terrain-related applicability limit of the formulation. Together, these results indicate that the physics constraint's benefit grows with forecast horizon, persists under severe observation sparsity, and transfers across regions, but is bounded by the validity of a fixed vertical-coordinate representation over complex terrain, evidence relevant to physics-constrained components of climate-aware forecasting and digital-twin systems.
Minimal representations of topology-preserving quantum-like states
oai:arXiv.org:2609.27318v1
arXiv:2609.27318v1 Announce Type: cross
Abstract: We provide an equitable partition that gives an exact, minimal representation for the graph Cartesian product formed from quantum-like bits that preserves the relevant spectral and topological properties. We show that this result follows from the fact that the operations of taking the Cartesian product of graphs and constructing equitable partition of the graphs commute. Numerical simulations illustrate the preserved emergent eigenstates in the reduced structures. Additionally, we provide a construction of the minimal structure without passing through the Cartesian product. Finally, we frame quantum-like structures in the language of topology and fibrations.
Mobility-Gap Robustness and St\v{r}eda-Hall Separation in Disordered Axion Pumping
oai:arXiv.org:2609.27324v1
arXiv:2609.27324v1 Announce Type: cross
Abstract: We show that the noncommutative second Chern number of a $(3+1)$D disordered axion pump remains quantized beyond global spectral gap closure at $W_g \approx 14.5$. Large-scale computation of the second Chern number and finite-size scaling demonstrate convergence of $\mathrm{Ch}_2$ toward $-1$ well into the mobility-gap regime ($W \lesssim 16.5$), while the St\v{r}eda-Hall response $\partial_\phi \mathrm{Ch}_{0,3}$ departs rapidly after global spectral gap closure, serving as an internal control that distinguishes bulk mobility-gap protection from finite-size artifacts. Level statistics identify a 3D unitary Anderson transition at each pump slice and locate the mobility-edge bottleneck at $\tau=0$, with critical disorder $W_c \approx 18$.
A Sample-Based Approach for Hierarchical Information-Theoretic Compression of Probabilistic Occupancy Grids
oai:arXiv.org:2609.27330v1
arXiv:2609.27330v1 Announce Type: cross
Abstract: We develop a sample-based framework for constructing information-driven hierarchical multi-resolution representations of probabilistic occupancy grids. Recent methods compute information-optimal abstractions via dynamic-programming-based exhaustive recursions, which become computationally prohibitive for large-scale grids and are ill-suited to robotics applications. To address this limitation, we introduce a sample-based strategy inspired by Monte Carlo Tree Search (MCTS) that incrementally constructs hierarchical abstractions through statistical estimation rather than exhaustive enumeration. The proposed method is anytime in nature, allowing computation to be terminated at any stage to produce a valid compressed representation. We compare our approach with the information-optimal Q-tree search algorithm and demonstrate its effectiveness in rapidly generating abstractions of large real-world probabilistic occupancy grids.
Sampling Line-Graph Colorings with Constant Extra Colors
oai:arXiv.org:2609.27440v1
arXiv:2609.27440v1 Announce Type: cross
Abstract: Let $G$ be the line graph of a finite simple graph, with $n\geq1$ vertices and maximum degree $\Delta$. We prove that single-site Glauber dynamics for uniform proper $q$-colorings mixes in $O_\Delta(n\log(n/\varepsilon))$ steps for every integer $q\geq\Delta+5$. Our proof uses the Bochner framework of Chen and Liu (2026).
Pooling Sequential Evidence Across Hypotheses: Rate-Optimal Multiple Testing at a Fixed Horizon
oai:arXiv.org:2609.27465v1
arXiv:2609.27465v1 Announce Type: cross
Abstract: We study sequential testing of a fixed family of hypotheses when observations are costly and a sampling horizon is specified in advance. The challenge is to pool evidence for earlier decisions when the number and identities of false hypotheses are unknown, while controlling the probability of any false rejection at level $\alpha$. Existing merges attain the pooled growth rate at a single number of false hypotheses: averaging when one is false, multiplying when all are. Under an independent-stream model with common simple null and alternative distributions, we test each intersection with a prior-weighted mixture of products of marginal likelihood ratios. Closed testing combines these elementary-symmetric-polynomial mixtures to identify individual false hypotheses. Design-specific boundary calibration gives finite-horizon family-wise error control, with exact finite-state guarantees or a confidence qualification for Monte Carlo calibration. The prior-matched mixture uniquely maximizes expected log evidence at each horizon. Mixtures assigning positive weight to every nonempty subset of streams attain log-growth rate $lD$ when $l$ streams follow the alternative. Here $D$ is the mean log likelihood ratio per alternative observation, and a round supplies one observation per stream. This rate attains the first-order intersection-delay lower bound as $\alpha\downarrow0$ at fixed dimension, configuration, weights, and a long enough horizon. Power for an individual hypothesis cannot exceed the best single-stream power at a given deadline, but closure removes the multiplicity penalty when all are false. Gaussian, basket-trial, language-model and advertising studies illustrate both. The primary basket boundaries are 40-52% below $1/\alpha$. Across 41 simulated configurations, the median reduction in capped mean patient outcomes relative to prespecified interim-look Bonferroni tests is 31%.
Optimal low-rank compression of quantum dynamics
oai:arXiv.org:2609.27497v1
arXiv:2609.27497v1 Announce Type: cross
Abstract: Local quantum interactions generate dynamics in an exponentially large Hilbert space, yet locality and entanglement restrict the information that can spread and accumulate. Bounds on propagation and entanglement growth, together with tensor networks, exploit these restrictions to discard information unnecessary for describing the evolution. This leads to a sharper question: how much information must any low-rank representation retain? Here we determine these limits, up to logarithmic factors, for short-range interactions. For time-independent evolution, the optimal rank obeys $\log D=\widetilde O(t+\sqrt{\log(1/\epsilon)})$, with matching lower bounds fixing the accuracy exponent $1/2$; for arbitrary driving, matching fixed-time bounds instead give $2/3$. Correspondingly, the corresponding dynamical entanglement spectra exhibit distinct small-$\alpha$ R\'enyi laws, $\alpha^{-1}$ and $\alpha^{-2}$. In one dimension, the static limit is constructively attained by an explicit MPO algorithm, with an analogous extension to Liouvillian dynamics. Together, these results determine the irreducible information required to represent local quantum evolution and uncover distinct entanglement structures in static and driven dynamics.
Concentration of Stationary Measures onto Large Scales in the Fast-Advection Limit of the Stochastically Forced Two-Dimensional Navier-Stokes Equations
oai:arXiv.org:2609.27512v1
arXiv:2609.27512v1 Announce Type: cross
Abstract: We investigate the fast-advection limit ($\varepsilon \to 0$) of the stochastically forced two-dimensional incompressible Navier-Stokes equations on the torus. Numerical simulations are performed at resolution $N = 128$ for four different forcing shells on both the square torus and a thin torus, with the advection parameter $\varepsilon$ varied over approximately one decade. We find that the stationary distributions become increasingly concentrated on the lowest Fourier modes as $\varepsilon \to 0$, with the energy-to-enstrophy ratio $E/\Omega$ and the fraction $R$ of enstrophy in the lowest modes both increasing monotonically. At finite $\varepsilon$ the degree of concentration depends on the forcing shell through the effective spectral value $B_1/B_0$, in agreement with the condensation bound of Sznitman and Widmayer. Linear extrapolation to $\varepsilon = 0$ suggests that the limiting values may be forcing-independent, with $B_1/B_0$ governing only the rate of convergence. The same qualitative behaviour persists on the thin torus.
Optimal Trajectory Generation for Improved Magnetic Navigation
oai:arXiv.org:2609.27553v1
arXiv:2609.27553v1 Announce Type: cross
Abstract: Magnetic navigation has emerged as a promising alternative for navigation in Global Positioning System (GPS)-denied environments, leveraging geomagnetic field maps in conjunction with onboard magnetometer measurements. However, its performance is highly sensitive to trajectory-dependent observability, which limits its practical effectiveness under conventional flight paths. This paper proposes an optimal trajectory design framework for magnetic navigation that maximizes information content along the flight path. The trajectory generation problem is formulated as an optimal control problem that minimizes the posterior Cram\'{e}r--Rao lower bound on the position estimation error, subject to a penalty on path length. The resulting trajectories are non-intuitive and significantly enhance the observability of the navigation system. Simulation results demonstrate that the proposed optimal trajectories yield substantial reductions in estimation error compared to conventional straight-line trajectories, highlighting the critical role of trajectory design in enabling high-accuracy magnetic navigation. These findings suggest that trajectory optimization can substantially improve the viability of magnetic navigation as a robust alternative for aerospace applications in GPS-denied environments.
Action-Directed Information for Distributed Control and Agentic Interaction
oai:arXiv.org:2609.27580v1
arXiv:2609.27580v1 Announce Type: cross
Abstract: Distributed intelligence concerns systems in which semi-autonomous components with local dynamics and partial observations coordinate through information exchange to maintain a shared function. This paper proposes an operational way to study such systems: measure information at the interface where a message changes a receiving action, then connect that measure to function by intervention and disturbance evaluation. We instantiate this proposal in DI-Walker, a two-dimensional four-limb embodied plant controlled by frozen Cross-Entropy-Method policies. We compare a controller using each limb's own realized-force sensor with one using the realized-force sensors of peer limbs. Under limb loss, limb slip, and weak central-control dropout, Peer-Sensor has lower late tracking error in several conditions. A corrected finite-history action-predictive estimator shows a substantially larger peer-message gain under compound failure. A future scalar functional-prediction estimator does not show the same stable advantage. We interpret this discrepancy as a methodological result: information useful for an intermediate control action can be hidden by later plant dynamics, redundancy, and context. The paper relates this result to Predictive Information, Transfer Entropy, Directed Information, information-to-go/IT-PAC ideas, empowerment, and the robust control data-rate perspective, while explicitly distinguishing operational predictive gains from exact Directed Information, channel capacity, and a formal data-rate theorem.
Limiting-Kernel Q($\lambda$): Bridging Short and Long Horizons
oai:arXiv.org:2609.27741v1
arXiv:2609.27741v1 Announce Type: cross
Abstract: In value-based reinforcement learning, improving the accuracy of policy evaluation has been shown to improve downstream policy optimization performance. The widely adopted family of approximations relying on $n$-step truncation yields computationally efficient value estimators but is inherently limited to a short evaluation horizon. In contrast, methods that exploit the global structure of the transition dynamics can accelerate policy evaluation, but their memory and computational requirements often limit scalability to large or continuous state spaces. To reconcile these limitations, we introduce Limiting-Kernel Q($\lambda$) (LKQL), an off-policy value estimator that combines $n$-step truncation with a long-horizon approximation based on the limiting kernel (LK). LKQL has the same order of complexity as $n$-step estimators and integrates directly into both on- and off-policy actor-critic algorithms. We prove that, under aperiodicity and in the near-on-policy regime, the operator underlying LKQL improves the policy evaluation convergence rate over its truncated counterpart for sufficiently large $n$, and that LKQL itself converges almost surely to the optimal values in finite Markov decision processes (MDPs) under a fixed behavior policy. On the MuJoCo continuous-control benchmark, we show that LKQL improves over $n$-step baselines in most settings, particularly on long-horizon tasks.
Feasible Multi-Asset Optimal Execution under Cash Constraints
oai:arXiv.org:2609.27786v1
arXiv:2609.27786v1 Announce Type: cross
Abstract: Optimal execution (OE) in multi-asset settings involves complex interactions across assets, particularly through shared capital constraints during portfolio rebalancing. While existing models capture cross-impact and portfolio-level dynamics, they largely overlook the role of explicit cash constraints along the execution trajectory. As a result, the feasibility of execution strategies under limited capital remains poorly understood. In this paper, we extend the classical Almgren-Chriss framework to incorporate intertemporal constraints on expected cash consumption, requiring that the expected cumulative cash spent does not exceed a prescribed budget at every trading period. We show that the resulting multi-asset OE problem can be equivalently formulated as a quadratically constrained quadratic program (QCQP), and further establish that it admits a convex representation under mild conditions. This provides a tractable framework for analyzing execution strategies under dynamic capital constraints. Through controlled synthetic experiments, we show that the proposed cash constraints qualitatively alter OE schedules toward cash-feasible sell-first executions as the constraints become tighter. Furthermore, evaluations in an out-of-sample agent-based market simulator demonstrate that our method substantially reduces peak cash drawdown while maintaining implementation shortfall comparable to existing execution strategies. Our results highlight the importance of explicitly modeling financial feasibility in multi-asset execution and provide a foundation for bridging theoretical OE models with practical capital constraints.
Improved lower bound for the two-way-assisted quantum capacity of the bosonic thermal-loss channel
oai:arXiv.org:2609.27792v1
arXiv:2609.27792v1 Announce Type: cross
Abstract: The bosonic thermal-loss channel is a fundamental model for quantum communication. This Gaussian channel models the transmission of bosonic systems subject to both loss and thermal noise. It describes many practical systems, including optical fibers, waveguides and free-space links, where background thermal noise is significant. Determining the channel's two-way-assisted quantum capacity, the maximum rate at which quantum information can be transmitted reliably through the channel with two-way classical assistance, remains an open problem. Here, we improve upon the best known lower bound for this capacity for a wide range of channel parameters. We achieve this by combining an improved qubit-bosonic distribution technique with a recently introduced technique for discovering entanglement distillation protocols.
Improved Transversal Non-Clifford Gates from Cup Products
oai:arXiv.org:2609.27801v1
arXiv:2609.27801v1 Announce Type: cross
Abstract: It is a major challenge in quantum fault-tolerance to obtain low-overhead protocols for performing non-Clifford gates. In this vein, we construct quantum codes with low-weight stabilizers that support transversal (i.e. low-depth) implementations of the non-Clifford $C^{r-1}Z$ gate, for every constant $r\geq 3$. In particular, we obtain length-$n$ quantum LDPC codes (with constant-weight stabilizers) of polynomial distance $d\geq n^{(1-\epsilon)/r}$ supporting transversal $C^{r-1}Z$ gates on a close-to-linear number $k\geq n^{1-\epsilon}$ of disjoint tuples of logical qubits, for arbitrarily small $\epsilon>0$. Our construction is the first with constant-weight stabilizers that obtains $dk\gg n$, and as a consequence achieves arbitrarily small magic state overhead exponent $\gamma=\log(n/k)/\log(d)>0$. Comparable prior constructions instead required at least polylogarithmic stabilizer weight. We also show how to obtain linearly many $k=\Omega(n)$ logical $C^{r-1}Z$ gates, though with stabilizer weight and physical circuit depth $n^\epsilon$. We show that our transversal gates also support addressing (i.e. targeting) of specific logical qubits.
To obtain our codes, we develop a general transformation based on cup products that maps classical codes satisfying a multiplication property to quantum codes with transversal $C^{r-1}Z$. We apply this transformation to a new family of classical Tanner codes that we construct from punctured tensor products of algebraic codes.
Theoretical Study on the Evidential Learning-based Variational Autoencoder
oai:arXiv.org:2609.27853v1
arXiv:2609.27853v1 Announce Type: cross
Abstract: A normal--inverse-gamma (NIG) latent hierarchy has four parameters, but its induced latent law does not identify all four. For $\sigma^2\sim\mathrm{InvGamma}(\alpha,\beta)$, $\mu\mid\sigma^2\sim\mathcal{N}(\gamma,\sigma^2/\nu)$, and $z\mid\mu,\sigma^2\sim\mathcal{N}(\mu,\sigma^2)$, the marginal law of $z$ depends on $(\nu,\beta)$ only through $c=\beta(1+1/\nu)$. Hence the reconstruction-visible parameter space is the three-dimensional quotient $(\gamma,\alpha,c)$, with a one-dimensional fiber degree of freedom. For a fixed hierarchical variational objective, exact partial minimization of the forward KL divergence to a complete NIG prior selects a unique prior-relative representative on each fiber, yielding an exact three-coordinate reduction with the same optimum as the four-coordinate objective. Writing $\rho_0=2\beta_0/\nu_0$ and $T=c/\{\alpha[(\gamma-\gamma_0)^2+\rho_0]\}$, we show that inverse canonical allocation $1/\nu_{\rm can}$ is an explicit strictly increasing function of $T$. For $\alpha>1$, the ratio $u_{\rm epi}/u_{\rm var}=1/\nu_{\rm can}$ is therefore determined by the quotient state and prior; for rank-only use under a common calibration, $T$ contains the same coordinatewise ordinal information. The residual prior gauge is characterized rather than eliminated: $(\gamma_0,\rho_0)$ govern ordinal dependence, while $(\nu_0,\alpha_0)$ determine numerical calibration and the analytic ceiling of $1/\nu_{\rm can}$.
Spectral Fractional Bosonic Strings: Exact Polyakov Measure and the Critical Dimension
oai:arXiv.org:2609.27873v1
arXiv:2609.27873v1 Announce Type: cross
Abstract: Fractional Laplacians encode anomalous scaling and covariant nonlocal response in quantum matter and holographic boundary systems. We place the corresponding scalar spectral theory on a dynamical closed worldsheet. A metric-dependent intertwiner maps the fractional quadratic form to that of $D$ free bosons, while its zeta Jacobian changes the matter determinant weight from $D$ to $sD$. The prime-determinant transformation includes the zero-mode area factor and determines both the moduli density and the Weyl coefficient $c_{\rm det}=sD$. Weyl cancellation therefore selects $D_\ast=26/s$. On the integer critical locus $1\leq D\leq26$, $N=26-D$ spectator bosons turn the residual determinant into a local critical CFT. Its fixed-area genus-$g$ vacuum measure is that of 26 free bosons, its torus trace is modular invariant, its plumbing channels are state resolved, and its BRST charge is nilpotent. The $D$ distinguished coordinates remain spectral composites; their pullback yields the Koba--Nielsen amplitudes and massless vertex conditions. Target backgrounds coupled to this distinguished sector retain the ordinary one-loop tensor beta functions, with dilaton deficit $sD-26$ and the corresponding string-frame action. Worldsheet gravity thus turns the fractional exponent into a quantum-geometric consistency parameter.
Resilient Monitoring of Social Dynamical Systems through Collaborative Multi-Agent Networks under Latency
oai:arXiv.org:2609.27902v1
arXiv:2609.27902v1 Announce Type: cross
Abstract: Social dynamical networks significantly influence contemporary digital landscapes, affecting realms from social activism to public policy formulation. This paper investigates the use of multi-agent systems (MAS) to monitor and analyze these networks. Firstly, we propose a single-time-scale distributed inference model designed to effectively manage challenges such as latency and agent failure. Secondly, we provide sufficient conditions that ensure the stability of the proposed scheme. Notably, the observer gain design remains effective regardless of time delays. Thirdly, we develop a computationally efficient recovery mechanism for agent failures that relies on employing graph-theoretic approaches to restore network observability by replacing failed agents (due to sensing failure or unbounded delays, i.e., packet drops) by implementing computationally efficient graph-theoretic methods to assign observationally equivalent agent counterparts. Lastly, we illustrate the proposed scheme through a pedagogical example and real-world network applications.
A sharp norm inequality for entanglement-breaking channels
oai:arXiv.org:2609.27906v1
arXiv:2609.27906v1 Announce Type: cross
Abstract: For a channel $\Phi$ on $M_d$ written in the generalised Bloch parameterisation $r \mapsto Ar+c$, we prove that entanglement breaking implies $\|A\|_*^2 + \frac{d(d-1)}{2}|c|^2 \le (d-1)^2$, where $\|\cdot\|_*$ denotes the nuclear norm. The bound is attained in every dimension by the completely dephasing channel, and at $d=2$ by an explicit family with $c\neq0$. The qubit case reads $\|A\|_*^2+|c|^2\le1$ and extends to full rank a rank-two condition of Ruskai. The proof sharpens Ruskai's bound $\|A\|_*\le1$ by retaining the POVM completeness relation $\sum_k f_k=0$, which her argument discards; this recentres $A$ from a second moment into a cross-covariance, and is the entire content of the improvement.
The quantum lifetime of a future-referential feedback loop: certified index, architecture floor, and thermal bonus
oai:arXiv.org:2609.27908v1
arXiv:2609.27908v1 Announce Type: cross
Abstract: A quantum feedback loop that returns information from a forward simulation to an earlier internal time induces a completely positive trace-preserving map on a message register; iterating that map eventually destroys its ability to carry entanglement. The entanglement-breaking index N = n_EB(Phi), the round at which this happens, is studied here along two axes: the interaction and the bath. On the interaction axis we prove that strict contraction onto a full-rank fixed point forces N finite in every dimension, via an explicit separable ball around the limiting Choi state; the qubit closed form overshoots the exact answer by the factor ln(2 sqrt 3) / ln 3 = 1.1309... on isotropic unital channels, and across 3997 sampled channels index and stability gap are one clock, N [1 - rho(A)] in [0.60, 1.50]. On the bath axis, replacing the zero-temperature ancilla by a thermal one at polarisation p = tanh(hbar omega / 2 k_B T) makes every channel quantity an exact quadratic polynomial in p, and the same one-sided certificates (no eigensolver) establish N = 3 at the reference circuit at every temperature, uniformly on a parameter box. The infinite-temperature index is an architecture floor with closed form and exact measure (46.427% of circuits break entanglement in one round however hot the bath). The floor is not a bound: certified circuits dip below it in interior temperature windows, unit-quantised in depth; over 4.1 million circuits their rate follows a Gaussian cutoff in epsilon = 1 - ||A||_2 with exponent 2.02 [1.90, 2.16], and 12 million more certified circuits show valleys surviving to epsilon = 0.125. Certified endpoints make comparisons exact: temperature moves the index by at most 21/14 = 3/2; the interaction moves it by 1213/3.
Spread and Scale: What Determines Whether Test-Time Budget Allocation Pays
oai:arXiv.org:2609.27917v1
arXiv:2609.27917v1 Announce Type: cross
Abstract: Neural combinatorial optimization solvers generate many candidate solutions per instance and report the best one found, using the same sample budget for every instance regardless of difficulty. A companion study showed that reallocating a fixed budget toward harder instances can improve solution quality, but that the standard way of measuring this improvement is biased: deciding an allocation and evaluating it on the same data can manufacture an apparent gain even when none exists. This left open what property of a workload determines whether reallocation is worth doing, and whether a policy that spends part of the budget to decide how to allocate the rest still pays once that cost is counted.
This paper answers both questions through pre-registered confirmatory experiments -- analysis and verdict criteria fixed before data collection -- across three independently trained solvers and two ways of constructing harder workloads on the traveling salesman problem. Within the workloads we study, the deciding property is how varied the instances within a workload are in difficulty, not how difficult the workload is on average: a uniformly easy or uniformly hard workload offers little room for reallocation, while a mixed workload offers substantial room. A budget-aware policy that pays for its own information about instance difficulty recovers most, though not all, of the improvement available when that information is assumed free.
Every experiment was independently recomputed from its written specification, and every correction to an earlier version -- including two that weakened the paper's own claims -- is reported with the direction it moved the conclusion. The paper offers a specific empirical answer and a template for verifying that answer is not an artifact of how it was measured.
Dirichlet Process Mixtures of Trees with Gaussian Process Splits: A Bayesian Nonparametric Framework with Posterior Contraction Rate
oai:arXiv.org:2609.27930v1
arXiv:2609.27930v1 Announce Type: cross
Abstract: We propose a Bayesian nonparametric mixture of regression trees with a Dirichlet process prior over tree-parameter pairs, enabling data-driven selection of ensemble size and unifying CART, BART, random forests, and boosting. A novel splitting rule driven by the posterior predictive of a Gaussian process within each terminal node generates flexible, smooth decision boundaries; remarkably, the GP density cancels exactly in the Metropolis--Hastings ratio for GROW/PRUNE moves, ensuring computational feasibility. An exact Gibbs sampler for posterior predictive inference propagates uncertainty through random tree traversal. A parallel MPI implementation distributes independent tree updates across processors, achieving adequate speedups. We prove posterior consistency at rate $n^{-1/4}$ in Hellinger distance under only continuity of the true regression function, allowing misspecification, via the identity $h(\Theta)=0$. Simulations on Friedman benchmark show near-nominal coverage (0.94 Gaussian, 0.92 Cauchy), robust to high-dimensional noise and heavy tails, outperforming BART and bagged CART. Applications to QSAR toxicity, crime, riboflavin, wheat genomics, and air quality confirm reliable credible intervals and automatic sparsity. The DP mixture offers a principled, robust, theoretically justified alternative for challenging regression with honest uncertainty quantification.
Movable seams in root-of-unity XXZ chains: Relative flux classes and antiunitary spectral pairing
oai:arXiv.org:2609.27940v1
arXiv:2609.27940v1 Announce Type: cross
Abstract: Starting from the cyclic duality tensors introduced by Vernier, Miao, and Yamazaki (VMY), whose endpoint-traced matrix-product operators obey $\mathbb Z_N$ Tambara--Yamagami fusion and realize topological defect lines of the compactified-boson conformal field theory, we retain the virtual endpoint as an $N$-state dynamical degree of freedom and construct an exactly movable seam in the spin-$\tfrac12$ XXZ chain at $q=\mathrm e^{\mathrm i\pi M/N}$ with $\gcd(M,N)=1$. The local movement identity holds for any unitary $q$-Weyl pair; in the finite cyclic realization, all output phases are locally gauge equivalent and share the same four seam eigenvalues. On a ring, the output gauge becomes a directed twist on a single bond, while endpoint conjugacy reduces the $2N$ labels to two relative $\mathbb Z_2$ flux classes. An explicit antiunitary symmetry protects the class $\eta\equiv M-1\pmod 2$: for even $N$ it pairs distinct charge sectors isospectrally, whereas for odd $N$ it fixes one sector and squares to $-I$ there. Hence every many-body energy eigenspace in the protected class has even multiplicity. The source value $\eta_{\rm VMY}=1-M$ satisfies this condition for every coprime root, whereas the ungauged value $\eta=0$ does so only for odd $M$. Exact finite-size controls show that the opposite class can contain simple levels, so a global flux invisible to local gauge equivalence distinguishes the two classes spectrally.
Riemannian Structure and Optimization for a Class of Low-Parametric Orthogonal Matrices
oai:arXiv.org:2609.27982v1
arXiv:2609.27982v1 Announce Type: cross
Abstract: In this paper, we are concerned with matrices formed by block-diagonal factors interleaved with fixed permutations -- a flexible family of structured matrices. This class has recently drawn interest in deep learning architectures for its balanced expressivity-efficiency trade-off, yet efficient computational strategies for working with it remain to be found. We approach this problem through Riemannian geometry and examine under what conditions this class admits a smooth manifold structure. For the practically important case of orthogonal two-factor matrices, we derive the essential Riemannian tools and propose efficient algorithms for their implementation. The algorithms leverage automatic differentiation, support parameter sharing within each factor, and avoid explicit dense matrix construction. We test them within the Riemannian optimization framework on the best matrix approximation problem and for parameter-efficient fine-tuning of large language models. Beyond the two-factor setting, we study the geometric and matrix-theoretic properties of factorizations with a larger number of block-diagonal factors.
When Gigawatts of Computational Load Disappear: Cycle-Space Certificates for Grid Synchronization and Transient Stability
oai:arXiv.org:2609.27989v1
arXiv:2609.27989v1 Announce Type: cross
Abstract: Rapid growth of data centers and artificial-intelligence services is producing computational loads at scales once associated mainly with largest power plants. Recent grid events show that a routine transmission disturbance can cause several gigawatts of data-center demand to disconnect or transfer to backup nearly at once. This article revisits the classical synchronization and transient-stability theory needed to reason about such events. We organize four lines of work---graph-based synchronization conditions, winding-number descriptions of nonlinear power flow, separable convex network optimization, and direct energy methods---into a single cycle-space certificate framework for the lossless fixed-voltage model. The static layer gives an exact strict-cohesion test within a prescribed winding cell and reveals the widely used D\"orfler--Chertkov--Bullo test as a quadratic surrogate of the same convex problem. The dynamic layer converts the critical-energy calculation into a finite family of convex boundary problems. Standard MATPOWER benchmarks illustrate both what the stronger static test gains and where it gains nothing: the 118-bus case admits $16.2\%$ more loading than the sufficient screen, while the 39-bus case is bridge-limited and the thresholds coincide. A stylized $2.7$-GW 39-bus event further shows that transient margin can change by about a factor of two depending on where balancing power is supplied, even when every final balanced operating point remains statically feasible. The result is a tutorial synthesis and an extensible deterministic certificate for emerging gigawatt-scale computational-load contingencies.
Spectral Gap of the Hexagonal AKLT Model via Boundary-State Factorization
oai:arXiv.org:2609.27993v1
arXiv:2609.27993v1 Announce Type: cross
Abstract: We establish a sufficient condition under which overlapping PEPS boundary states satisfy the approximate factorization criterion for a spectral gap. The condition is formulated in terms of the boundary response induced by cutting bonds through the center of a rectangular region. We decompose this response into a contribution common to all four associated regions and a remainder measured in the instantaneous boundary metric. A single linear transport absorbs the common contribution and yields compatible factorization operators, with an error controlled solely by the remainder.
We apply this framework to Ising PEPS and to the spin-3/2 AKLT model on the hexagonal lattice. For Ising PEPS, the required boundary-response estimate reduces to a Dobrushin-Shlosman-type condition. For the hexagonal AKLT model, a rooted expansion in paths and loops isolates the common response, while a local comparison of boundary states together with a scalar Koteck\'y-Preiss estimate controls the remaining terms. In both cases, the factorization error decays exponentially with the overlap width, up to a prefactor proportional to the cut length. For AKLT, we establish the corresponding physical projector estimate and obtain a uniform spectral gap. For Ising PEPS, the gap implication additionally requires compatible injective regional contractions, as specified in the paper. More generally, the method provides a systematic route from locality of PEPS boundary response to spectral gaps of two-dimensional parent Hamiltonians.
Optimal Bias Potentials via Ergodic Optimal Control and Generator Learning
oai:arXiv.org:2609.28010v1
arXiv:2609.28010v1 Announce Type: cross
Abstract: We investigate the computation of optimal bias potentials for accelerating transitions between metastable states and for computation of equilibrium properties in molecular dynamics simulations. We formulate optimal biasing as an ergodic optimal control problem (OCP), which can be recast as a linear eigenvalue problem for the infinitesimal generator of the unbiased dynamics. We demonstrate that data-driven learning methods for the generator enable reliable solution of the OCP, computation of biasing potentials, extraction of equilibrium properties, and acceleration of state transitions. We also explore the relation of the control problem to coarse grained representations and learning of coarse grained dynamics.
Improving Ensemble Filters with Flow Matching
oai:arXiv.org:2609.28015v1
arXiv:2609.28015v1 Announce Type: cross
Abstract: Data assimilation estimates a dynamical state from partial and noisy observations. Classical ensemble filters are efficient but restrict analysis updates through finite sample covariance and affine Gaussian distribution. We introduce the Flow Ensemble Filter (FlowEF), which uses conditional flow matching to transport the forecast ensemble from a classical baseline filter to an analysis ensemble. FlowEF uses a localized Gaussian source during training, transports forecast ensemble members from a baseline filter at deployment, and conditions its velocity field on ensembles from that baseline filter and the observation. The proposed model therefore learns a nonlinear update while mapping each baseline ensemble independently. For sparsely observed dynamical systems, FlowEF improves both deterministic and probabilistic metrics over all four classical ensemble filters. It also achieves the best performance among the state-of-the-art generative data assimilation models.
Exact Average Consensus under Noisy Communication Links: A Decentralized Gradient Perspective
oai:arXiv.org:2609.28082v1
arXiv:2609.28082v1 Announce Type: cross
Abstract: We study the distributed average consensus problem under persistent link-level disturbances modeled as a martingale difference sequence with uniformly bounded conditional second moments. Under such disturbances, the standard stochastic-approximation-based linear iteration with diminishing stepsizes drives the network to consensus on an unbiased random variable with non-vanishing variance instead of the exact initial average. To understand and resolve this limitation, we develop an anchoring-based mechanism derived from a decentralized gradient descent formulation and study the effect of incorporating a decaying anchoring term that continuously pulls each agent state toward its initial value. This perspective provides an intuitive interpretation of how state anchoring counteracts disturbance accumulation. Under standard summability conditions, we prove that the resulting algorithm achieves exact average consensus almost surely. Furthermore, this decentralized gradient perspective offers a unifying framework for several related methods and an interpretable design principle for exact average consensus under persistent disturbances.
Homological Trimming and Regularity of Filtrations via Local Obstruction Modules
oai:arXiv.org:2609.28160v1
arXiv:2609.28160v1 Announce Type: cross
Abstract: Existing link-based combinatorial preprocessing methods speed up the computation of persistent homology by removing a vertex or edge only when its link remains a cone. We replace this condition with a quantitative homological certificate. The reduced homology of the filtered link of a generator (a vertex or edge) defines a local obstruction module whose future part describes the effect of deleting that generator. Its barcode certifies either exact deletion or an explicit bound on the bottleneck error, and a conflict colouring extends this guarantee to families of generators. Our implementation, HomTrim, removes an additional 13% to 41% of the input edges beyond domination-only preprocessing and reduces backend persistence time by factors ranging from 1.55 to 4.61 on weighted flag filtrations. The same module also yields regularity diagrams that measure how far a generator can move before becoming visible to homology, together with a multiscale stability result.
Rank-One Signal Recovery in Sparse Wishart Noise
oai:arXiv.org:2609.28163v1
arXiv:2609.28163v1 Announce Type: cross
Abstract: We study the high-dimensional recovery of a signal vector $\mathbf{x}$ in the presence of sparse Wishart-like noise. We define an $N \times N$ matrix $A = J+(\theta/N)\mathbf{xx}^{\top}$, where $\mathbf{xx}^{\top}$ is the rank-one deformation of the random noise matrix $J$. We consider a Wishart-like matrix $J={X}^{\top} X$, where $X$ is a sparse $M \times N$ random matrix with entries $X_{ij} = c_{ij}W_{ij}$, with $c_{ij}$ regulating the density of non-zero elements, and $W_{ij}$ the bond weights. Using the replica method, we compute analytically the top eigenpair statistics of $A$, and their dependence on the signal strength $\theta$, the rectangularity ratio $\alpha=\sqrt{M/N}$, and the average connectivity of the noise. The spectral observables are expressed in terms of a system of Recursive Distributional Equations, which are efficiently solved via a Population Dynamics algorithm. They allow us to compute the average largest eigenvalue $\langle\lambda_1\rangle_{A}$, the average top eigenvector component density, and the average overlap between the top eigenvector of $A$ and $\mathbf{x}$. We identify a critical threshold $\theta_{\mathrm{crit}}$--depending on the average connectivity of the noise--that marks a BBP-like phase transition: below this value, $\langle\lambda_1\rangle_{A}$ is unaffected by the signal, and the overlap vanishes. Thus, the signal is not recoverable from the top eigenvector of $A$. For $\theta>\theta_{\mathrm{crit}}$, the signal-related outlier eigenvalue becomes $\langle\lambda_1\rangle_{A}$ and the overlap is nonzero, allowing for recovery of the signal. The results are in excellent agreement with numerical diagonalisation. We show that in the dense limit, the recovery threshold and eigen-statistics converge to the results predicted by the classical BBP transition for additive rank-one deformations of dense Wishart matrices.
Personalised versus Posted Pricing from Samples
oai:arXiv.org:2609.28181v1
arXiv:2609.28181v1 Announce Type: cross
Abstract: Personalised pricing maximises expected revenue from a market but requires detailed information about individual customers. How much of this revenue can be recovered using a simple posted price based on a finite number of samples from the underlying value distribution? We answer this question by maximising the worst-case ratio between the expected revenues of posted and personalised pricing over the fundamental class of $\lambda$-regular value distributions.
Our results reveal a structural transition as a function of $\lambda$. For the class of monotone hazard rate (MHR) distributions, corresponding to $\lambda = 0$, the sample mean is an optimal statistic: the entire sample can be compressed into its average without any loss of revenue. Beyond the MHR class, corresponding to $\lambda > 0$, this property disappears. We show that the sample mean is no longer optimal, revealing that optimal sample-based pricing rules become substantially more intricate. Nevertheless, we show that a remarkably simple order-statistic based pricing rule is asymptotically optimal as the number of samples $n$ grows, achieving the optimal approximation ratio up to a tight error of order $1/n$.
Our analysis combines techniques from probability, approximation theory and optimization, including doubly infinite linear programming, hypergeometric functions, and combinatorial identities involving incomplete Beta functions.
Pimp my fixpoint: sofic realization of multidimensional substitution-based shift spaces
oai:arXiv.org:2609.28207v1
arXiv:2609.28207v1 Announce Type: cross
Abstract: In symbolic dynamics, the fixed-point construction from arXiv:0910.2415 defines shift spaces of finite type whose configurations embed infinite hierarchies of tilings. This article provides a "black box" abstraction of this method phrased in terms of substitutions and $S$-adic limit spaces operating over sequences of increasingly large alphabets. By quantifying the amount of information computed by the substitutions at each level, and using a suitable parallel model of computation, we provide a simple positive criterion of multidimensional soficity that generalizes classical examples from the literature.
Geometries of Quantum Field Theories
oai:arXiv.org:2609.28210v1
arXiv:2609.28210v1 Announce Type: cross
Abstract: This is an English translation of a book originally published in Japanese by Saiensu-sha in 2015. The book is an introduction to the 3d-3d correspondence, the relation between 3d $\mathcal{N}=2$ supersymmetric gauge theories and the geometry of 3-manifolds, which arises from the compactification of the 6d $\mathcal{N}=(2,0)$ theory. The presentation is bottom-up rather than top-down: instead of starting from the 6d theory, we begin by asking what a quantum field theory is, and let the geometry emerge on its own. Along the way we discuss renormalization and low-energy effective theories, gauging as an operation which glues field theories together, the resulting $Sp(2n, \mathbb{Z})$-action on 3d theories, 3d $\mathcal{N}=2$ supersymmetric theories and their dualities, the squashed three-sphere partition function and supersymmetric localization, duality domain walls of 4d $\mathcal{N}=2$ theories, quantum Teichmuller theory, complex Chern-Simons theory and the quantization of the moduli space of flat $SL(2, \mathbb{C})$-connections on 3-manifolds, with quantum dilogarithm functions as a recurring thread. The emphasis throughout is on geometric and algebraic structures which are invisible in a single field theory, and appear only in the theory space of quantum field theories. Appendices summarize supersymmetry in various dimensions, classical and quantum dilogarithm functions, and cluster algebras. Exercises with difficulty ratings are included in each chapter.
Resource-Adaptive Stochastic Gradient Descent for Online Linear Programming without Re-solving
oai:arXiv.org:2609.28263v1
arXiv:2609.28263v1 Announce Type: cross
Abstract: The growth of large language model (LLM) inference and search services increases the scale of online linear programming problems, motivating computationally efficient algorithms. We develop resource-adaptive stochastic gradient descent (RASGD) for stochastic online linear programming. The algorithm uses one request and current inventory to update resource prices, requiring O(m) operations for m resources and memory per arrival and no LP or sample-average optimization. The central idea is to express the current-resource pricing logic of re-solving through a first-order SGD update: each arrival refreshes the remaining-inventory allowance in the dual objective, while the stepsize decreases for early learning and increases later to match the speed of inventory adjustment. Under standard non-degeneracy conditions, our algorithm is feasible on every sample path and achieves O(\log T) expected regret against the realized fractional hindsight optimum, which matches the lower bound, even for policies that know the distribution and have unrestricted computation. The analysis converts curvature around the fixed reference price into inventory stability without tracking optimal prices at changing resource levels. Numerical experiments show that RASGD achieves regret competitive with per-arrival LP re-solving and improves upon the tested first-order baselines, while retaining the computational efficiency of first-order methods. These results establish RASGD as a computationally efficient approach to achieving high allocation quality in large-scale OLP.
Improved convergence radius of the Fer expansion for Hermitian generators
oai:arXiv.org:2609.28302v1
arXiv:2609.28302v1 Announce Type: cross
Abstract: The Dyson series expands the propagator of a time-dependent Hamiltonian in powers of the Hamiltonian, but its truncations are in general not unitary. The Fer expansion writes the same propagator as an infinite product of matrix exponentials, each of them unitary, and its remainder decays doubly exponentially with the number of factors. Convergence, however, is guaranteed only within a finite radius: the time integral of the norm of the Hamiltonian must be smaller than $2$. This is the best value known to date. Here we improve it by about $30\%$, raising it to about $2.6058$.
Long-Term Tail Modeling in Survival Analysis via Extended Generalized Pareto Distributions
oai:arXiv.org:2609.28321v1
arXiv:2609.28321v1 Announce Type: cross
Abstract: We propose a class of extended generalized Pareto models for right-censored survival data, with particular emphasis on tail inference and long-term extrapolation. Our framework integrates extreme value theory and survival analysis, combining a generalized Pareto distribution with a flexible perturbation distribution on the unit interval. We consider three perturbation specifications: a parametric Beta model, a Bernstein polynomial estimator, and a histogram-based estimator. To facilitate direct comparison, all three models are fitted using a unified iterative procedure adapted to right censoring through Kaplan-Meier-based pseudo-observations. A Monte Carlo study evaluates finite-sample performance across different tail indices, censoring levels, sample sizes, and model complexities. The results reveal a trade-off between flexibility and stability: the Beta specification generally performs best for tail-index estimation, whereas the histogram estimator performs particularly well for scale estimation under low censoring. The Bernstein estimator shows intermediate performance and greater sensitivity to sample size and censoring. Applications to bladder cancer recurrence and heart-failure survival data show that models with very similar in-sample fits can nevertheless produce markedly different tail-index estimates and long-term extrapolations. These findings emphasize the importance of perturbation specification when extended generalized Pareto models are used for survival extrapolation under censoring.
LEAP-CBF: A Safety Filter for Uncertain Systems with Least-Effort Adversarial Potentials
oai:arXiv.org:2609.28364v1
arXiv:2609.28364v1 Announce Type: cross
Abstract: Control barrier functions (CBF) are a popular safety filter to ensure safety for nonlinear dynamical systems. However, when the system is subject to uncertainties and disturbances, this requires the use of robust variants of CBFs, which can be difficult to construct and can be overly conservative, especially for high-dimensional systems under input constraints. In this work, we propose a new approach to solve these challenges by introducing Least-Effort Adversarial Potentials (LEAP), a certificate that quantifies the robustness of a given state against disturbances in terms of the effort required by the disturbance to cause failure. We show that LEAP is a CBF for the undisturbed system, but can also be used to construct a safety filter that is robust to disturbances whose cumulative effort is bounded. We propose a method for constructing LEAPs with on-policy deep reinforcement learning. Next, we demonstrate LEAPs in simulation on a variety of multi-agent systems with disturbances and uncertainties. Finally, hardware experiments on a quadruped and quadrotors validate that LEAPs are well suited to tackle the disturbances and uncertainties from real-world robotic systems.
Memory-Conditioned Diffusion Model for Generalized Langevin Dynamics
oai:arXiv.org:2609.28371v1
arXiv:2609.28371v1 Announce Type: cross
Abstract: Generalized Langevin equations describe non-Markovian dynamics in which the evolution of resolved variables depends on their past. We propose a memory-conditioned diffusion method for learning stochastic flow maps of these dynamics from observed trajectories, without identifying a memory kernel or reconstructing unresolved variables. A compact, recursively updated bank of exponential filters enables the flow map to retain predictive history over multiple time scales without conditioning on long observation windows. The next-step distribution is conditioned on the current observation and this memory state, whose storage and update costs are independent of the history length for a fixed bank size. Predictive criteria guide the memory budget, with reference-assisted selection in the vector benchmark, and an optional linear projection further reduces the conditioning dimension. A kernel-based score estimator generates conditional samples without training a score network, and these samples are used to train a neural flow map for autoregressive simulation. Three numerical examples assess long-memory retention at small conditioning dimension, predictive compression in coupled vector dynamics, and non-Gaussian conditional distributions and intermittent events. The non-Gaussian example reproduces conditional asymmetry and burst statistics in a stochastic model of the plasma scrape-off layer.
Optimal Guidance with Terminal Intercept-Angle Constraints and Acceleration Bounds
oai:arXiv.org:2609.28381v1
arXiv:2609.28381v1 Announce Type: cross
Abstract: Terminal intercept-angle control against a maneuvering target can substantially increase the required missile acceleration, potentially leading to saturation and interception failure unless acceleration limits are explicitly addressed. The engagement is therefore formulated as a linear-quadratic optimal-control problem with bounded acceleration commands. Polynomial approximations of the line-of-sight projection coefficients are used to better represent the nonlinear engagement geometry and estimate the time-to-go. The bounded optimal command is derived over saturated and unsaturated arcs, whose switching times are computed at each guidance step. The guidance law is derived for arbitrary linear missile dynamics and implemented for zero-order missile dynamics. For the zero-order model, the conditions under which the terminal demands can be met are derived in closed form, yielding the minimum and maximum reachable commanded terminal intercept angles. Performance is evaluated in nonlinear simulations. Compared with its unconstrained counterparts, the bounded formulation yields substantially smaller miss distances and terminal-angle errors when saturation is encountered. Unlike corresponding bounded miss-only guidance laws, the proposed law does not reduce to its unconstrained counterpart for minimum-phase missile dynamics because the acceleration command can saturate near the end of challenging engagements. The bounded law anticipates this saturation and compensates through earlier maneuvers.
Even Sharper Bounds for Transductive Learning and Its Applications
oai:arXiv.org:2609.28459v1
arXiv:2609.28459v1 Announce Type: cross
Abstract: We introduce Sharper Transductive Local Complexity (STLC), a localized complexity method for transductive learning under uniform sampling without replacement. The construction starts from a Bernstein-type concentration inequality for the supremum of the test--train empirical process. Its proof uses the modified log-Sobolev inequality for the swap walk and a two-parameter entropy closure. A peeling argument with a surrogate localization functional then gives excess-risk bounds with the same fixed-point and confidence terms as the classical inductive local Rademacher-complexity bounds, without the additional logarithmic confidence factor in earlier transductive results. For realizable learning over a binary class of VC dimension $\dVC$, with training size $m$, test size $u$, and $u\ge m\ge\dVC$, STLC yields $\cO\{\dVC\log(me/\dVC)/m\}$. This matches the standard inductive rate and, when $m\ge9$, is within a logarithmic factor of the transductive minimax lower bound of order $\dVC/m$. For transductive kernel learning, STLC gives a spectrum-adaptive excess-risk bound without the multiplicative imbalance factors appearing in the earlier local-complexity bound.
A Modulus-Squared Dirichlet Boundary Condition for Time-Dependent Complex Partial Differential Equations and its Application to the Nonlinear Schr\"odinger Equation
oai:arXiv.org:1110.0569v2
arXiv:1110.0569v2 Announce Type: replace
Abstract: An easy to implement modulus-squared Dirichlet (MSD) boundary condition is formulated for numerical simulations of time-dependent complex partial differential equations in multidimensional settings. The MSD boundary condition approximates a constant modulus-square value of the solution at the boundaries and is defined as \[ \left.\dfrac{\partial \Psi}{\partial t}\right|_b \approx i\,\mbox{Im} \left[ \dfrac{1}{\Psi_{b-1}} \left.\dfrac{\partial \Psi}{\partial t}\right|_{b-1} \right]\,\Psi_b, \] where $\Psi$ is the complex field and the subscripts $b$ and $b-1$ refer to a boundary point and the closest interior point to the boundary respectively. Application of the MSD boundary condition to simulations of the nonlinear Schr\"odinger equation is shown, and numerical simulations are performed to demonstrate its usefulness and advantages over other simple boundary conditions.
Toric Differential Inclusions and a Proof of the Global Attractor Conjecture
oai:arXiv.org:1501.02860v3
arXiv:1501.02860v3 Announce Type: replace
Abstract: The global attractor conjecture says that toric dynamical systems have a globally attracting point (up to linear conservation relations), or equivalently, complex balanced systems have a globally attracting point within each stoichiometric compatibility class. A proof of this conjecture implies that a large class of nonlinear dynamical systems on the positive orthant have very simple and stable dynamics. The conjecture originates from the 1972 breakthrough work by Fritz Horn and Roy Jackson, and was formulated in its current form by Horn in 1974.
Toric dynamical systems can be embedded into toric differential inclusions. We show that each bounded positive solution of a toric differential inclusion is contained in an invariant region that prevents it from approaching the boundary of the positive orthant. We use this result to prove the global attractor conjecture. In particular, it follows that all detailed balanced mass action systems and all deficiency zero weakly reversible systems have the global attractor property.
Upper and lower limits of scales and the interchange of quantifiers
oai:arXiv.org:1901.09276v4
arXiv:1901.09276v4 Announce Type: replace
Abstract: We define lower and upper limits for a family of structured subobjects of a fixed ambient object, as the direct limit of the meets over tails and the inverse limit of the joins over tails, and construct the canonical comparison morphism between them. The family need not be a diagram: its members are related only through the ambient object. We distinguish two senses in which the comparison may be invertible, before and after forgetting the structure, and prove that they coincide exactly when the forgetful functor reflects isomorphisms; they therefore agree for sets, for vector spaces and for Banach spaces, and separate for locally convex spaces. For countable scales of Banach spaces the separation cannot occur when the upper limit is ultrabornological, so under those hypotheses the obstruction is localised in the topology of that limit. Intermediate conditions correspond to factorisations of the forgetful functor, of which bornological convergence is one. In the cases that matter the comparison is an interchange of quantifiers: membership in the lower limit means that one value of the second index serves every value of the first, and membership in the upper limit that every value of the first is served by some value of the second. We exhibit this for spaces of test functions, for weighted Sobolev spaces, for Laurent series and for the adeles, and discuss three further conditions that suggest themselves.
Short Axiomatization of Stratified Comprehension
oai:arXiv.org:2009.03185v4
arXiv:2009.03185v4 Announce Type: replace
Abstract: Several finite axiomatizations of stratified comprehension are known. This paper gives five set existence principles which, in the presence of Extensionality, yield the fourteen set-construction principles used in the finite basis recorded by Holmes. In addition, a direct unordered proof is given showing that the same five principles, together with extensionality only for nonempty sets, already imply every stratified comprehension instance, without passing through the Holmes ordered-pair machinery. The displayed reductions for unordered products, Cartesian products, and ordered relative products have been corrected. The original Holmes-basis reduction and the new direct weak-extensionality development have been checked by the Lean 4 kernel; the complete Lean source is supplied with this version.
Birational Equivalences for Kac--Moody Borel Enveloping Algebras
oai:arXiv.org:2105.11360v4
arXiv:2105.11360v4 Announce Type: replace
Abstract: A Coxeter ordering of the simple roots of a finite-rank Kac--Moody algebra determines a finite family of commuting real-root vectors. We prove that $U^{\geq0}(\mathfrak g)$ is birationally equivalent to $Z\otimes\mathbb A_n$, where $Z$ is the residual Coxeter centralizer, by identifying the Coxeter localization $U^{\geq0}(\mathfrak g)[\mathbf X^{-1}]$ with $Z\otimes\mathbb A_n[\mathbf x^{-1}]$. For symmetrizable Cartan matrices the residual algebra is generated by finite Coxeter windows and is finitely presented. For the generic quantum Borel with torus dual to the root lattice, we prove the analogous birational equivalence.
On vector valued automorphic forms for the Weil representation
oai:arXiv.org:2108.06544v4
arXiv:2108.06544v4 Announce Type: replace
Abstract: We develop a theory of vector valued automorphic forms associated to the Weil representation $\omega_f$ and corresponding to vector valued modular forms transforming with the ``finite'' Weil representation $\rho_L$. For each prime $p$ we determine the structure of a vector valued spherical Hecke algebra depending on $\omega_f$, which acts on the space of automorphic forms.
The Brauer-Manin obstruction for stacky curves
oai:arXiv.org:2210.17184v4
arXiv:2210.17184v4 Announce Type: replace
Abstract: We show that the Brauer-Manin obstruction is the only obstruction to strong approximation for all stacky curves over global fields with finite abelian fundamental groups. This includes all stacky curves of genus $g = \frac{1}{2}$, thus explaining a recent counterexample to the Hasse principle of Bhargava-Poonen. We will furthermore show that the elementary obstruction is the only obstruction to the integral Hasse principle for smooth proper integral models of stacky curves of genus $g < 1$. We then compute the Brauer-Manin obstruction for smooth proper integral models of stacky curves of genus $\frac{1}{2}$.
The mod 2 Seiberg-Witten invariants of spin structures and spin families
oai:arXiv.org:2303.06883v3
arXiv:2303.06883v3 Announce Type: replace
Abstract: We completely determine the mod $2$ Seiberg-Witten invariants for any spin structure on any closed, oriented, smooth $4$-manifold $X$. Our computation confirms the validity of the simple type conjecture mod $2$ for spin structures. Our proof also works for families of spin $4$-manifolds and thus computes the mod $2$ Seiberg-Witten invariants for spin families. The proof of our main result uses $Pin(2)$-symmetry to define an enhancement of the mod $2$ Seiberg-Witten invariants. We prove a connected sum formula for the enhanced invariant using localisation in equivariant cohomology. Unlike the usual Seiberg-Witten invariant, the enhanced invariant does not vanish on taking connected sums and by exploiting this property, we are able to compute the enhanced invariant.
On Pareto Equilibria for Some Bi-Objective Optimal Control Problems
oai:arXiv.org:2307.04845v2
arXiv:2307.04845v2 Announce Type: replace
Abstract: We investigate Pareto equilibria for bi-objective optimal control problems. Our framework comprises the situation in which an agent acts with a distributed control in a portion of a given domain, and aims to achieve two distinct (possibly conflicting) targets. We analyze systems governed by linear and semilinear heat equations and also systems with multiplicative controls. We develop numerical methods relying on a combination of finite elements and finite differences. We illustrate the computational methods we develop via numerous experiments.
Distribution-uniform strong laws of large numbers
oai:arXiv.org:2402.00713v3
arXiv:2402.00713v3 Announce Type: replace
Abstract: We revisit the question of whether the strong law of large numbers (SLLN) holds uniformly in a rich family of distributions, culminating in a distribution-uniform generalization of the Marcinkiewicz-Zygmund SLLN. These results can be viewed as extensions of Chung's distribution-uniform SLLN to random variables with uniformly integrable $q^\text{th}$ absolute central moments for $0 < q < 2$. Furthermore, we show that uniform integrability of the $q^\text{th}$ moment is both sufficient and necessary for the SLLN to hold uniformly at the Marcinkiewicz-Zygmund rate of $n^{1/q - 1}$. These proofs centrally rely on novel distribution-uniform analogues of some familiar almost sure convergence results including the Khintchine-Kolmogorov convergence theorem, Kolmogorov's three-series theorem, a stochastic generalization of Kronecker's lemma, and the Borel-Cantelli lemmas. We also consider the non-identically distributed case.
Malliavin Calculus for rough stochastic differential equations
oai:arXiv.org:2402.12056v2
arXiv:2402.12056v2 Announce Type: replace
Abstract: In this work we show that rough stochastic differential equations (RSDEs), as introduced by Friz, Hocquet, and L\^e (2021), are Malliavin differentiable. We use this to prove existence of a density when the diffusion coefficients satisfies standard ellipticity assumptions. Moreover, when the coefficients are smooth and the diffusion coefficients satisfies a H\"ormander condition, the density is shown to be smooth. The key ingredient is to develop a comprehensive theory of linear rough stochastic differential equations, which could be of independent interest.
The Riemannian Convex Bundle Method
oai:arXiv.org:2402.13670v4
arXiv:2402.13670v4 Announce Type: replace
Abstract: We introduce the convex bundle method to solve convex, non-smooth optimization problems on Riemannian manifolds of bounded sectional curvature. Each step of our method is based on a model that involves the convex hull of previously collected subgradients, parallelly transported into the current serious iterate. This approach generalizes the dual form of classical bundle subproblems in Euclidean space. We prove that, under mild conditions, the convex bundle method converges to a minimizer. Several numerical examples implemented using Manopt$.$jl illustrate the performance of the proposed method and compare it to the subgradient method, the cyclic proximal point algorithm, as well as the proximal bundle method.
$E$-theory is compactly assembled
oai:arXiv.org:2402.18228v4
arXiv:2402.18228v4 Announce Type: replace
Abstract: We show that the equivariant $E$-theory category $\mathrm{E}_{\mathrm{sep}}^{G}$ for separable $C^{*}$-algebras is a compactly assembled stable $\infty$-category. We derive this result as a consequence of the shape theory for $C^{*}$-algebras developed by Blackadar and Dardarlat and a new construction of $\mathrm{E}_{\mathrm{sep}}^{G}$. As an application we investigate a topological enrichment of the homotopy category of a compactly assembled $\infty$-category in general and argue that the results of Carri\'on and Schafhauser on the enrichment of the classical $E$-theory category can be derived by specialization.
On the Wasserstein distance between a hyperuniform point process and its mean
oai:arXiv.org:2404.09549v4
arXiv:2404.09549v4 Announce Type: replace
Abstract: We study the existence of bounds on the expected $p$-Wasserstein distance between a random measure and its mean under the assumption that the $p$-th centered moments of the counting statistics are controlled uniformly in space. The average Wasserstein transport cost is shown to be bounded from above and from below by some multiples of the number of points. $D$-dimensional versions of those results are also obtained. As a corollary, we prove that for any value of $p\geq 1$ the Ginibre point process can be seen as a perturbed lattice with identically distributed perturbations with a finite $p$-th moment.
A Course on Lie algebras and Chevalley groups
oai:arXiv.org:2404.11472v4
arXiv:2404.11472v4 Announce Type: replace
Abstract: These are expanded notes from graduate courses about Lie algebras and Chevalley groups held at the University of Stuttgart. In the 1950s Chevalley showed how linear groups over arbitrary fields could be obtained~ -- ~by a uniform procedure~ -- ~from the simple Lie algebras over $\C$ occurring in the Cartan--Killing classification. Together with subsequent variations, Chevalley's work had a profound and long-lasting impact on group theory and Lie theory in general. Classical, and widely used references are the lectures notes by Steinberg (1967) and the monograph by Carter (1972). Our aim here is to present a self-contained introduction to the theory of Chevalley groups, based on recent simplifications arising from Lusztig's fundamental theory of ``canonical bases''. A further feature of our text is that we explicitly incorporate algorithmic methods in our treatment, both for the handling of substantial examples and regarding some aspects of the general theory. Eventually, this may turn into a book project.
Estimation of the invariant measure of a multidimensional diffusion from noisy observations
oai:arXiv.org:2404.12181v2
arXiv:2404.12181v2 Announce Type: replace
Abstract: We introduce a new approach for estimating the invariant density of a multidimensional diffusion when dealing with high-frequency observations blurred by independent noise. We consider the intermediate regime, where observations occur at discrete time instances $k\Delta_n$ for $k=0,\dots,n$, under the conditions $\Delta_n\to 0$ and $n\Delta_n\to\infty$. We construct a kernel density estimator based on preaveraged observations to reduce the effect of the noise and involves a two-step bias-correction procedure to appropriately account for the bias introduced by the pre-averaging. The rate of convergence of our estimator depends on both the anisotropic regularity of the density and the intensity of the noise. We establish conditions on the intensity of the noise that ensure the recovery of convergence rates similar to those achievable without any noise. Furthermore, we prove a Bernstein concentration inequality for our estimator, from which we derive an adaptive procedure for the kernel bandwidth selection.
Hilbert's tenth problem for families of $ \mathbb{Z}_p $-extensions of imaginary quadratic fields
oai:arXiv.org:2406.01443v2
arXiv:2406.01443v2 Announce Type: replace
Abstract: Via a novel application of Iwasawa theory, we study Hilbert's tenth problem for number fields occurring in $\mathbb{Z}_p$-towers of imaginary quadratic fields $K$. For a odd prime $p$, the lines $(a,b) \in \mathbb{P}^1(\mathbb{Z}_p)$ are identified with $\mathbb{Z}_p$-extensions $ K_{a,b}/K $. Under certain conditions on $ K $ that involve explicit elliptic curves, we identify a line $(a_0,b_0) \in \mathbb{P}^1(\mathbb{Z}/p\mathbb{Z})$ such that for all $(a,b) \in \mathbb{P}^1(\mathbb{Z}_p)$ with $(a, b)\not\equiv (a_0, b_0)\pmod{p}$, Hilbert's tenth problem has a negative answer in all finite layers of $ K_{a,b} $. Using results of Bhargava et al., we prove unconditionally that a positive proportion of imaginary quadratic fields meet our criterion when $p=3$. For $p=11,13,31,37$, the analogous conclusions obtained from the rank-zero twist families of Kriz--Li are conditional on the vanishing of the $p$-primary Tate--Shafarevich groups for a positive relative proportion of those twists.
Variance Reduction for Independent Metropolis
oai:arXiv.org:2406.17699v3
arXiv:2406.17699v3 Announce Type: replace
Abstract: Assume that we would like to estimate the expected value of a function $F$ with respect to an intractable density $\pi$, which is specified up to some unknown normalising constant. We prove that if $\pi$ is close enough under KL divergence to another density $q$, an independent Metropolis sampler estimator that obtains samples from $\pi$ with proposal density $q$, enriched with a variance reduction computational strategy based on control variates, achieves smaller asymptotic variance than i.i.d. sampling from $\pi$. The control variates construction requires no extra computational effort but assumes that the expected value of $F$ under $q$ is analytically available. We illustrate this result by calculating the marginal likelihood in a linear regression model with prior-likelihood conflict and a non-conjugate prior. Furthermore, we propose an adaptive independent Metropolis algorithm that adapts the proposal density such that its KL divergence with the target is being reduced. We demonstrate its applicability in a Bayesian logistic and Gaussian process regression problems and we rigorously justify our asymptotic arguments under easily verifiable and essentially minimal conditions.
$L^{p}$-convergence of Kantorovich-type Max-Min Neural Network Operators
oai:arXiv.org:2407.03329v2
arXiv:2407.03329v2 Announce Type: replace
Abstract: In this work, we study the Kantorovich variant of max-min neural network operators, in which the operator kernel is defined in terms of sigmoidal functions. Our main aim is to demonstrate the $L^{p}$-convergence of these nonlinear operators for $1\leq p<\infty$, which makes it possible to obtain approximation results for functions that are not necessarily continuous. In addition, we will derive quantitative estimates for the rate of approximation in the $L^{p}$-norm. We will provide some explicit examples, studying the approximation of discontinuous functions with the max-min operator, and varying additionally the underlying sigmoidal function of the kernel. Further, we numerically compare the $L^{p}$-approximation error with the respective error of the Kantorovich variants of other popular neural network operators. As a final application, we show that the Kantorovich variant has advantages compared to the sampling variant of the max-min operator and Kantorovich variant of the max-product operator when it comes to approximate noisy functions as for instance biomedical ECG signals.
Scissors automorphism groups I: Homological stability and K-theory
oai:arXiv.org:2408.08081v3
arXiv:2408.08081v3 Announce Type: replace
Abstract: In any category with a reasonable notion of cover, each object has a group of scissors automorphisms. We prove that under mild conditions, the homology of this group is independent of the object, and can be expressed in terms of the scissors congruence K-theory spectrum defined by Zakharevich. We therefore obtain both a group-theoretic interpretation of Zakharevich's higher scissors congruence K-theory, as well as a method to compute the homology of scissors automorphism groups. In the classical case of scissors congruence of polytopes, this leads to calculations and structural results on the homology of the scissors automorphism group. In two sequels, we show that more generally our approach leads to homology calculations for various families of groups appearing in group theory and dynamics, recovering results of Szymik-Wahl, Li, and Tanner.
Harmonic extension technique: probabilistic and analytic perspectives
oai:arXiv.org:2409.19118v3
arXiv:2409.19118v3 Announce Type: replace
Abstract: Consider a path of the reflected Brownian motion in the half-plane $\{y \ge 0\}$, and erase its part contained in the interior $\{y > 0\}$. What is left is, in an appropriate sense, a path of a jump-type stochastic process on the line $\{y = 0\}$ -- the boundary trace of the reflected Brownian motion. It is well known that this process is in fact the 1-stable L\'evy process, also known as the Cauchy process.
The PDE interpretation of the above fact is the following. Consider a bounded harmonic function $u$ in the half-plane $\{y > 0\}$, with sufficiently smooth boundary values $f$. Let $g$ denote the normal derivative of $u$ at the boundary. The mapping $f \mapsto g$ is known as the Dirichlet-to-Neumann operator, and it is again well known that this operator coincides with the square root of the 1-D Laplace operator $-\Delta$. Thus, the Dirichlet-to-Neumann operator coincides with the generator of the boundary trace process.
Molchanov and Ostrovskii proved that isotropic stable L\'evy processes are boundary traces of appropriate diffusions in half-spaces. Caffarelli and Silvestre gave a PDE counterpart of this result: the fractional Laplace operator is the Dirichlet-to-Neumann operator for an appropriate second-order elliptic equation in the half-space. Again, the Dirichlet-to-Neumann operator turns out to be the generator of the boundary trace process.
During my talk I will discuss boundary trace processes and Dirichlet-to-Neumann operators in a more general context. My main goal will be to explain the connections between probabilistic and analytical results. Along the way, I will introduce the necessary machinery: Brownian local times and additive functionals, Krein's spectral theory of strings, and Fourier transform methods.
The standard $L$-function attached to a vector valued modular form
oai:arXiv.org:2411.01620v2
arXiv:2411.01620v2 Announce Type: replace
Abstract: We define two $L$-functions associated to a common vector valued eigenform $f$ transforming with the ``finite'' Weil representation. The first one can be seen as a standard zeta function defined by the eigenvalues of $f$. The second one can be interpreted as standard $L$-function defined as an Euler product where each $p$-factor is a rational function in terms of two unramified characters of the $p$-adic field $\Q_p$. We show that both $L$-functions are related and prove further that they both can be continued meromorphically to the whole complex $s$-plane.
Matching Complexes of Outerplanar Graphs
oai:arXiv.org:2411.04601v2
arXiv:2411.04601v2 Announce Type: replace
Abstract: An outerplanar graph is a planar graph that has a planar drawing with all vertices on the unbounded face. The matching complex of a graph is the simplicial complex whose faces are subsets of disjoint edges of the graph. In this paper we prove that the matching complexes of outerplanar graphs are contractible or homotopy equivalent to a wedge of spheres. This extends known results about trees and polygonal line tilings.
Rudin-Shapiro function along irreducible polynomials over finite fields
oai:arXiv.org:2411.19012v3
arXiv:2411.19012v3 Announce Type: replace
Abstract: Let $q$ be an odd prime power and $\mathbb{F}_q$ be the finite field of $q$ elements. We define the Rudin-Shapiro function $R$ on monic polynomials $f=t^n+f_{n-1}t^{n-1}+\dots + f_0\in\mathbb{F}_q[t]$ over $\mathbb{F}_q$ by
$$ R(f)=\sum_{i=1}^{n-1}f_if_{i-1}.
$$
We investigate the distribution of the Rudin-Shapiro function along irreducible polynomials. We show that the number of irreducible polynomials $f$ with $R(f)=\gamma$ for any $\gamma\in\mathbb{F}_q$ is asymptotically $q^{n-1}/n$ as $n\rightarrow\infty$.
Around the Quantum Lenard-Balescu equation
oai:arXiv.org:2501.06544v4
arXiv:2501.06544v4 Announce Type: replace
Abstract: In the mean-field regime, a gas of quantum particles with Boltzmann statistics can be described by the Hartree-Fock equation. This dynamics becomes trivial if the initial distribution of particle is invariant by translation. However, the first correction is given on time of order $O(N)$ by the quantum Lenard--Balescu equation. In the first part of the present article, we justify this equation until time of order $O((\log N)^{1-\delta})$ (for any $\delta\in(0,1)$).
A similar phenomenon exists in the classical setting (with a similar validity time obtained by Duerinckx \cite{Duerinckx}). In a second time, we prove the convergence for dimension $d\geq 2$ of the solutions of the quantum Lenard--Balescu equation to the solutions of its classical counterpart in the semi-classical limit. This problem can be interpreted as a grazing collision limit: the quantum Lenard--Balescu equation looks like a cut-off Boltzmann equation, when the classical one looks like the Landau equation.
On the semi-classical limit for the Landau-Fermi-Dirac equation
oai:arXiv.org:2501.13800v2
arXiv:2501.13800v2 Announce Type: replace
Abstract: We study sequences of solutions to the inhomogeneous Landau-Fermi-Dirac equation with Coulomb potential in which the quantum parameter converges to zero. Our main result establishes the compactness of these sequences, which allows us to show that, up to a subsequence, these solutions converge to a renormalized solution of the classical Landau equation with a defect measure, as defined by Villani.
To do this, we work in the class of solutions that are obtained through approximation procedures. For these solutions, we were able to show compactness in the vanishing quantum parameter limit through a diagonal argument, which combines techniques from the study of Cauchy problems for both the classical Landau and the Landau-Fermi-Dirac equations.
Totally Bounded Elements in W*-probability Spaces
oai:arXiv.org:2501.14153v2
arXiv:2501.14153v2 Announce Type: replace
Abstract: We introduce the notion of a totally ($K$-) bounded element of a $W^*$-probability space $(M, \varphi)$ and, borrowing ideas of Kadison, give an intrinsic characterization of the $^*$-subalgebra $M_{\operatorname{tb}}$ of totally bounded elements. Namely, we show that $M_{\operatorname{tb}}$ is the unique strongly dense $^*$-subalgebra $M_0$ of totally bounded elements of $M$ for which the collection of totally $1$-bounded elements of $M_0$ is complete with respect to the $\|\cdot\|_\varphi^\#$-norm and for which $M_0$ is closed under all operators $h_a(\log(\Delta))$ for $a \in \mathbb{N}$, where $\Delta$ is the modular operator and $h_a(t):=1/\cosh(t-a)$ (see Theorem 4.3).
We also prove that totally $K$-bounded elements of an Ocneanu ultraproduct admit representatives with the same total bound using a careful effective estimate of the distance of a given totally bounded element to the totally 1-bounded elements. An alternative proof in the appendix uses an isometric $H^\infty$-lifting theorem for the Ocneanu multiplier quotient, derived from a metric $H^\infty$-lifting theorem for $C^*$-quotients and a $C^*$-algebraic Schur parametrization. We combine these results with Rieffel and Van Daele's bounded operator approach to modular theory to arrive at a new language and axiomatization of $W^*$-probability spaces as metric structures. Previous work of Dabrowski had axiomatized $W^*$-probability spaces using a smeared version of multiplication, but the subalgebra $M_{\operatorname{tb}}$ allows us to give an axiomatization in terms of the original algebra operations. Finally, we prove the (non-)axiomatizability of several classes of $W^*$-probability spaces.
Mesoscopic Edge Universality of Orthogonal Polynomial Ensembles
oai:arXiv.org:2501.14422v3
arXiv:2501.14422v3 Announce Type: replace
Abstract: In this paper, we study the mesoscopic fluctuations at edges of orthogonal polynomial ensembles with both continuous and discrete measures. Our main result is a Central Limit Theorem (CLT) for linear statistics at mesoscopic scales. We show that if the recurrence coefficients for the associated orthogonal polynomials are slowly varying, a universal CLT holds. Our primary tool is the resolvent for the truncated Jacobi matrices associated with the orthogonal polynomials. While the Combes-Thomas estimate has been successful in obtaining bulk mesoscopic fluctuations in the literature, it is too rough at the edges. Instead, we prove an estimate for the resolvent of Jacobi matrices with slowly varying entries. Particular examples to which our CLT applies are Jacobi, Laguerre and Gaussian unitary ensembles, as well as discrete ensembles from random tilings.
Nonasymptotic and distribution-uniform Koml\'os-Major-Tusn\'ady approximation
oai:arXiv.org:2502.06188v3
arXiv:2502.06188v3 Announce Type: replace
Abstract: We present nonasymptotic concentration inequalities for sums of independent and identically distributed random variables that yield asymptotic strong Gaussian approximations of Koml\'os, Major, and Tusn\'ady (KMT) [1975,1976]. The constants appearing in our inequalities are either universal or explicit, and thus as corollaries, they imply distribution-uniform generalizations of the aforementioned KMT approximations. In particular, it is shown that uniform integrability of a random variable's $q^{\text{th}}$ moment is both necessary and sufficient for the KMT approximations to hold uniformly at the rate of $o(n^{1/q})$ for $q > 2$ and that having a uniformly lower bounded Sakhanenko parameter -- equivalently, a uniformly upper-bounded Bernstein parameter -- is both necessary and sufficient for the KMT approximations to hold uniformly at the rate of $O(\log n)$. Instantiating these uniform results for a single probability space yields the analogous results of KMT exactly.
Some remarks on singular capillary cones with free boundary
oai:arXiv.org:2502.07697v2
arXiv:2502.07697v2 Announce Type: replace
Abstract: We study singular minimizing capillary cones with free boundary. We provide a stability criterion $\`a$ Jerison-Savin and use it to prove that a minimizing capillary cone is flat when its free boundary mean curvature is non-negative and $n\leq 4$, or non-positive and $n\leq 6$.
We also show that minimizing cones with axially symmetric free boundary are flat in dimensions up to $6$, and derive improved regularity results for graphical minimizing capillary hypersurfaces.
The proofs rely on Simons-type inequalities for convex, homogeneous, symmetric functions of the principal curvatures, coupled with a boundary identity intrinsic to the capillary setting.
Dirac operators twisted by ramified Euclidean line bundles
oai:arXiv.org:2503.01392v4
arXiv:2503.01392v4 Announce Type: replace
Abstract: This article is concerned with the analysis of Dirac operators $D$ twisted by ramified Euclidean line bundles $(Z,\mathfrak{l})$-motivated by their relation with harmonic $\mathbf{Z}/2\mathbf{Z}$ spinors, which have appeared in various context in gauge theory and calibrated geometry. The closed extensions of $D$ are described in terms of the Gelfand-Robbin quotient $\check{\mathbf{H}}$. Assuming that the branching locus $Z$ is a closed cooriented codimension two submanifold, a geometric realisation of $\check{\mathbf{H}}$ is constructed. This, in turn, leads to an $L^2$ regularity theory.
Upper tail bounds for irregular graphs
oai:arXiv.org:2503.05311v4
arXiv:2503.05311v4 Announce Type: replace
Abstract: We consider the upper tail large deviations of subgraph counts for irregular graphs $\mathrm{H}$ in $\mathbb{G}(n,p)$, the sparse Erd\H{o}s-R\'enyi graph on $n$ vertices with edge connectivity probability $p \in (0,1)$. For $n^{-1/\Delta} \ll p \ll 1$, where $\Delta$ is the maximum degree of $\mathrm{H}$, we derive the upper tail large deviations for any irregular graph $\mathrm{H}$. On the other hand, we show that for $p$ such that $1 \ll n^{v_{\mathrm{H}}} p^{e_{\mathrm{H}}} \ll (\log n)^{\alpha^{*}_{\mathrm{H}}/\left(\alpha^{*}_{\mathrm{H}}-1\right)}$, where $v_{\mathrm{H}}$ and $e_{\mathrm{H}}$ denote the number of vertices and edges of $\mathrm{H}$, and $\alpha^*_{\mathrm{H}}$ denotes the fractional independence number, the upper tail large deviations of the number of unlabelled copies of $\mathrm{H}$ in $\mathbb{G}(n,p)$ is given by that of a sequence of Poisson random variables with diverging mean, for any strictly balanced graph $\mathrm{H}$. Restricting to the $r$-armed star graph we further prove a localized behavior in the intermediate range of $p$ (left open by the above two results) and show that the mean-field approximation is asymptotically tight for the logarithm of the upper tail probability. This work further identifies the typical structures of $\mathbb{G}(n,p)$ conditioned on upper tail rare events in the localized regime.
The new Fermat-type factorization algorithm
oai:arXiv.org:2503.07151v4
arXiv:2503.07151v4 Announce Type: replace
Abstract: Let n be any odd natural number other than a perfect square. We show that the new factorization algorithm, presented in this paper and which we call DFM-1 (where DFM stands for Detto's Factorization Method), is much more efficient than the implementation technique of Fermat's Factorization Algorithm (FFA) called FFA-1, which, among the implementation techniques of Fermat's Factorization Algorithm (FFA), is the one that requires the fewest iterations to identify the non-trivial and trivial factors of n (excluding the cases in which the two factors of the pair of non-trivial or trivial factors of n are so close to each other that they can be identified at the 1st iteration with each of such implementation techniques). Indeed, by the way in which Euler's totient function of any n that is a semiprime is applied to FFA-1, we arrive at the new factorization algorithm (DFM-1), which halves (possibly rounding up to the next integer) the number of iterations required by FFA-1. Furthermore, in this paper, we present the hypothetical scenario according to which the number of iterations could possibly be further reduced. Finally, and still in relation to this new factorization algorithm, in this paper we present the limit number of iterations, which is less than the number of iterations required by DFM-1 to reach the condition x - y = 1 which characterizes the pair of trivial factors of n, beyond which it is no longer possible for pairs of non-trivial factors of n to occur.
Revisiting Strong Duality, Hidden Convexity, and Gradient Dominance in the Linear Quadratic Regulator
oai:arXiv.org:2503.10964v2
arXiv:2503.10964v2 Announce Type: replace
Abstract: The Linear Quadratic Regulator (LQR) is a cornerstone of optimal control theory, widely studied in both model-based and model-free approaches. Despite its well-established nature, certain foundational aspects remain subtle. In this paper, we revisit three key properties of policy optimization in LQR: (i) strong duality in the nonconvex policy optimization formulation, (ii) the gradient dominance property, examining when it holds and when it fails, and (iii) the global optimality of linear static policies. Using primal-dual analysis and convex reformulation, we refine and clarify existing results by leveraging Riccati equations/inequalities, semidefinite programming (SDP) duality, and a recent framework of Extended Convex Lifting (ECL). Our analysis confirms that LQR 1) behaves almost like a convex problem (e.g., strong duality) under the standard assumptions of stabilizability and detectability and 2) exhibits strong convexity-like properties (e.g., gradient dominance) under slightly stronger conditions. In particular, we establish a broader characterization under which gradient dominance holds using ECL and the notion of Cauchy directions. By clarifying and refining these theoretical insights, we hope this work contributes to a deeper understanding of LQR and may inspire further developments beyond LQR.
A Monotonicity Formula for the Extrinsic Biharmonic Map Heat Flow
oai:arXiv.org:2504.06089v2
arXiv:2504.06089v2 Announce Type: replace
Abstract: We explore novel properties of the biharmonic heat kernel on Euclidean space and derive an entropy type quantity for the extrinsic biharmonic map heat flow which exhibits monotonicity behaviors for $n\leq 4$.
A broken-FEEC framework for structure-preserving discretizations of polar domains with tensor-product splines
oai:arXiv.org:2505.15996v2
arXiv:2505.15996v2 Announce Type: replace
Abstract: We propose a novel projection-based approach to derive structure-preserving Finite Element Exterior Calculus (FEEC) discretizations using standard tensor-product splines on domains with a polar singularity. This approach follows the main lines of broken-FEEC schemes which define stable and structure-preserving operators in non-conforming discretizations of the de Rham complex. Here, we devise a polar broken-FEEC framework that enables the use of standard tensor-product spline spaces while ensuring stability and smoothness for the solutions, as well as the preservation of the de Rham structure. A benefit of this approach is the ability to reuse codes that implement standard splines on smooth parametric domains, and efficient solvers such as Kronecker-product spline interpolation. Our construction is based on two pillars: the first one is an explicit characterization of smooth polar spline spaces within the tensor-product splines ones, which are either discontinuous or non square-integrable as a result of the singular polar pushforward operators. The second pillar consists of local, explicit and matrix-free conforming projection operators that map general tensor-product splines onto smooth polar splines, and that commute with the differential operators of the de Rham complex.
Geometric Duality Between Constraints and Gauge Fields: Mirror Realization and Reduction Geometry on Principal Bundles
oai:arXiv.org:2506.00728v3
arXiv:2506.00728v3 Announce Type: replace
Abstract: A connection and a nonzero parallel adjoint field determine an invariant hyperplane constraint on a principal bundle. Its sign mirror preserves the hyperplane and reverses its coorientation; global gauge realization is controlled by a twisted stabilizer reduction. For regular fields we identify the normalizing gauge extension as a pushout of the torus-normalizer extension, giving exact lift orders and simultaneous-splitting criteria. In singular rank-two block families, reductions on a fixed trivial bundle form an affine second-Chern lattice whose Weyl stabilizers and finite-order lift spectra detect topology invisible to paired curvature. The reduction framework also determines the structure group and second cohomology of the matched-flag diagonalization space of Friedman and Park, and gives a first- and second-Chern criterion for normal matrices with fixed separated spectrum on four-complexes; every integral solution of their three-eigenline equation on $S^2\times S^2$ is realized. For moving reductions, the projected circle curvature differs from the ambient paired curvature by a covariant-derivative term. Full fatness on a closed four-manifold forces a nontrivial sign-mirror obstruction for every circle reduction; hyperbolic self-dual-form bundles also provide circle reductions in the $y$-fat setting of Florit and Ziller. Contact transgression, bundle automorphism twists, and the natural first-jet Spencer operator complete the geometric picture.
Pinched Arnol'd tongues for Families of circle maps
oai:arXiv.org:2506.02988v2
arXiv:2506.02988v2 Announce Type: replace
Abstract: We prove that generically for a family of circle maps \begin{equation*} f_{b, \omega} (x) = x + \omega + b\, \phi(x) \end{equation*} with $\phi$ a piecewise linear forcing with $k>2$ breakpoints there is no pinching in any of its Arnol'd tongues. This is in contrast to a theorem of Campbell, Galeeva, Tresser, and Uherka who showed that with two break points there are always multiple pinchpoints in its rational tongues. We also prove that the absence of pinching is generic for Lipschitz and $C^r$ ($r>0$) forcing. The family $f_{b, \omega}$ is used as a simple model for a periodically forced oscillator. The rational tongue $T_{p/q}$ represents parameter values where the system is mode-locked into a $p/q$-periodic response. The pinching of the tongues to a point represents parameter values where the system's periodic response is unstable to all perturbations in the frequency parameter $\omega$. The theorems in this paper show that typically this type of instability does not occur in the families under consideration.
The Legendrian Hopf Link has exactly two Lagrangian fillings
oai:arXiv.org:2506.15111v2
arXiv:2506.15111v2 Announce Type: replace
Abstract: We prove that there are precisely two embedded exact Lagrangian fillings of the standard Legendrian Hopf link, up to compactly supported Hamiltonian isotopy. It was known that the standard Legendrian Hopf link admitted at least two such Lagrangian fillings: we show these are all. Specifically, we use a type of neck-stretching procedure to construct a pseudoholomorphic conic fibration that makes a given arbitrary exact Lagrangian filling fiber over a real curve, under a global pseudoholomorphic Lefschetz fibration. This then allows for an explicit Hamiltonian isotopy to be constructed from any given Lagrangian filling to one of two known standard fillings.
Macroscopic fluctuation theory from a Lagrangian viewpoint and the Schr\"odinger problem
oai:arXiv.org:2506.22085v2
arXiv:2506.22085v2 Announce Type: replace
Abstract: We formulate the Schr\"odinger problem for interacting particle systems in the hydrodynamical regime thus extending the standard setting of independent particles. This involves the large deviations rate function for the empirical measure which is in fact a richer observable than the hydrodynamic observables density and current. In the case in which the constraints are the initial and final density, we characterize the optimal measure for the Schr\"odinger problem. We also introduce versions of the Schr\"odinger problem in which the constraints are related to the current and analyze the corresponding optimal measures.
Omega-Limit Sets and Input-to-State Stability in Power Grids With Switching Equilibria
oai:arXiv.org:2507.00240v2
arXiv:2507.00240v2 Announce Type: replace
Abstract: This paper studies a power transmission system with both conventional generators (CGs) and distributed energy assets (DEAs) providing frequency control. We consider an operating condition with demand aggregating two dynamic components: one that switches between different values on a finite set, and one that varies smoothly over time. Such dynamic operating conditions may result from protection scheme activations, external cyber-attacks, or due to the integration of dynamic loads, such as data centers. Mathematically, the dynamics of the resulting system are captured by a system that switches between a finite number of vector fields -- or modes--, with each mode having a distinct equilibrium point induced by the demand aggregation. To analyze the stability properties of the resulting switching system, we leverage tools from hybrid dynamic inclusions and the concept of $\Omega$-limit sets from sets. Specifically, we characterize a compact set that is semi-globally practically asymptotically stable under the assumption that the switching frequency and load variation rate are sufficiently slow. For arbitrarily fast variations of the load, we use a level-set argument with multiple Lyapunov functions to establish input-to-state stability of a larger set and with respect to the rate of change of the loads. The theoretical results are illustrated via numerical simulations on the IEEE 39-bus test system.
A modified Fermi Golden Rule at threshold for 3D magnetic Schr\"odinger operators
oai:arXiv.org:2507.09162v2
arXiv:2507.09162v2 Announce Type: replace
Abstract: In this paper we consider three-dimensional Schr\"odinger operators with a simple threshold eigenvalue. We show, under certain assumptions, that when a small magnetic field is introduced, this eigenvalue turns into a resonance in the time-dependent sense. We find the leading term in the asymptotic expansion of the imaginary part of the resonance and discuss the principal differences with respect to resonances induced by weak electric fields obtained previously in the literature.
Edgeworth corrections for the spiked eigenvalues of non-Gaussian sample covariance matrices with applications
oai:arXiv.org:2507.09584v3
arXiv:2507.09584v3 Announce Type: replace
Abstract: Yang and Johnstone (2018) established an Edgeworth correction for the largest sample eigenvalue in a spiked covariance model under the assumption of Gaussian observations, leaving the extension to non-Gaussian settings as an open problem. In this paper, we address this issue by establishing first-order Edgeworth expansions for spiked eigenvalues in both single-spike and multi-spike scenarios with non-Gaussian data. Leveraging these expansions, we construct more accurate confidence intervals for the population spiked eigenvalues and propose a novel estimator for the number of spikes. Simulation studies demonstrate that our proposed methodology outperforms existing approaches in both robustness and accuracy across a wide range of settings, particularly in low-dimensional cases.
Nonlinear rough Fokker-Planck equations
oai:arXiv.org:2507.17469v2
arXiv:2507.17469v2 Announce Type: replace
Abstract: McKean-Vlasov SDEs describe systems where the dynamics depend on the law of the process. The corresponding Fokker-Planck equation is a nonlinear, nonlocal PDE for the corresponding measure flow. In the presence of common noise and conditional law dependence, the evolution becomes random and is governed by a stochastic Fokker-Planck equation; that is, a nonlinear, nonlocal SPDE in the space of measures. (Such equations constitute an important ingredient in the theory of mean-field games with common noise.) Well-posedness of such SPDEs is a difficult problem, the best result to date due to Coghi-Gess (2019), which however comes with dimension-dependent regularity assumptions. In the present work, we show how rough path techniques can circumvent these entirely. Hence, and somewhat contrarily to common belief, the use of rough paths leads to substantially less regularity demands on the coefficients than methods rooted in classical stochastic analysis methods.
An integral comparison of crystalline and de Rham cohomology
oai:arXiv.org:2507.17631v2
arXiv:2507.17631v2 Announce Type: replace
Abstract: Let $\mathcal{O}_K$ be a mixed characteristic complete DVR with perfect residue field $k$ and fraction field $K$. It is a celebrated result of Berthelot and Ogus that for a smooth proper formal scheme $X/\mathcal{O}_K$ there exists a comparison between the de Rham cohomology groups $\mathrm{H}^i_\mathrm{dR}(X/\mathcal{O}_K)$ and the crystalline cohomology groups $\mathrm{H}^i_\mathrm{crys}(X_k/W(k))$ of the special fibre, after tensoring with $K$. In this article, we use the stacky perspective on prismatic cohomology, due to Drinfeld and Bhatt--Lurie, to give a version of this comparison result with coefficients in a perfect complex of prismatic $F$-crystals on $X$. Our method is of an integral nature and suggests new tools to understand the relationship between torsion in de Rham and crystalline cohomology.
Algebraic invariants of special fiber rings of ladder determinantal modules
oai:arXiv.org:2507.22167v2
arXiv:2507.22167v2 Announce Type: replace
Abstract: We provide explicit formulas for key invariants of special fiber rings of ladder determinantal modules, that is, modules that are direct sums of ideals of maximal minors of a ladder matrix. Our results are given in terms of the combinatorial data of the associated ladder matrix. In particular, we compute its dimension, regularity, $a$-invariant, and multiplicity, which via \textsc{Sagbi} degeneration coincide with those of Hibi rings associated to a distributive lattice. Then, via Gr\"{o}bner degeneration these calculations are reduced to those of quotients of polynomial rings by monomial ideals. Our formula for the multiplicity of the special fiber ring of these ladder determinantal modules is obtained by counting the number of standard skew Young tableaux associated to a certain skew partition, and so provides a natural generalization of the classical formula for the degree of the Grassmannian.
On the Stability of Bass and Betti Numbers under Ideal Perturbations in a Local Ring
oai:arXiv.org:2507.22364v2
arXiv:2507.22364v2 Announce Type: replace
Abstract: Let $(R,\mathfrak{m})$ be a Noetherian local ring, and let $J$ be an arbitrary ideal of $R$. Suppose $M$ is a finitely generated $R$-module. Let $x_1,\ldots,x_r$ be a $J$-filter regular sequence on $M$. We provide an explicit number $N$ such that the Bass and Betti numbers of $M/(x_1, \ldots, x_r)M$ are preserved when we perturb the sequence $x_1, \ldots,x_r$ by $\varepsilon_1, \ldots, \varepsilon_r \in \mathfrak{m}^N$.
Schoenflies problem for area-preserving biLipschitz mappings
oai:arXiv.org:2508.00184v2
arXiv:2508.00184v2 Announce Type: replace
Abstract: We prove that any biLipschitz mapping of the boundary of the unit disk onto the boundary of the domain of the same area can be extended to a biLipschitz mapping of the whole plane which preserves the area of any measurable subset.
Positivity of Second-Order Nearly Linearly Recurrent Sequences
oai:arXiv.org:2508.00944v4
arXiv:2508.00944v4 Announce Type: replace
Abstract: Nearly linear recurrences generalise linear recurrences and can be represented as special cases of both linear time-invariant systems in control theory and linear-constraint loops in program analysis. We formulate the Positivity Problem for such recurrences: given a recurrence and initial values, decide whether every sequence satisfying the recurrence is termwise nonnegative. This problem generalises the Positivity Problem for linear recurrence sequences and is a special case of halfspace non-reachability for linear time-invariant systems. Our main result is a decision procedure for order-2 recurrences. The termination of our procedure relies on a transcendence theorem of independent interest: we prove that certain convergent series obtained by summing the absolute values of terms of algebraic linear recurrence sequences are transcendental.
Almost Periodic Solutions of The Cubic Defocusing Nonlinear Schr\"odinger Equation
oai:arXiv.org:2508.01132v2
arXiv:2508.01132v2 Announce Type: replace
Abstract: This paper addresses the Cauchy problem for the cubic defocusing nonlinear Schr\"odinger equation (NLS) with almost periodic initial data. We prove that for small analytic quasiperiodic initial data satisfying Diophantine frequency conditions, the Cauchy problem admits a solution that is almost periodic in both space and time, and that this solution is unique among solutions locally bounded in a suitable sense. The analysis combines direct and inverse spectral theory.
In the inverse spectral theory part, we prove existence, almost periodicity, and uniqueness for solutions with initial data whose associated Dirac operator has purely a.c.\ spectrum that is not too thin. This resolves novel challenges presented by the NLS hierarchy, such as an additional degree of freedom and an additional commuting flow.
In the direct spectral theory part, for Dirac operators with small analytic quasiperiodic potentials with Diophantine frequency conditions, we prove pure a.c.\ spectrum, exponentially decaying spectral gaps, and spectral thickness conditions (homogeneity and Craig-type conditions).
Mostly nonuniformly sectional expanding systems
oai:arXiv.org:2508.06233v5
arXiv:2508.06233v5 Announce Type: replace
Abstract: We introduce the notion of \emph{mostly nonuniform sectional expanding} (MNUSE) for singular flows which encompasses the notions of sectional hyperbolicity, asymptotically sectional and multisingular hyperbolicity. We construct examples of a vector field of class $C^r, r \ge 1$, whose flow exhibits a nonuniformly sectional hyperbolic set satisfying MNUSE, which is neither sectional hyperbolic nor asymptotically sectional hyperbolic.
We obtain sufficient conditions for the existence of physical/SRB measures for asymptotically sectionally hyperbolic attracting sets with any finite codimension, extending the codimension two case.
We provide examples of such attractors, either with non-sectional hyperbolic equilibria, or with sectional hyperbolic equilibria of mixed type, i.e., with a Lorenz-like singularity together with a Rovella-like singularity in a transitive set. These are higher-dimensional versions of contracting Lorenz-like attractors (also known as Rovella-like attractors) to which we apply our criteria to obtain a physical/SRB measure with full ergodic basin.
We also adapt the previous examples to obtain higher codimensional (i.e. with central direction of dimension greater than $2$) nonuniformly sectional expanding attractors.
Isotopy versus equivariant isotopy in dimensions three and higher
oai:arXiv.org:2508.11104v3
arXiv:2508.11104v3 Announce Type: replace
Abstract: Given a finite group action on a smooth manifold, we study the following question: if two equivariant diffeomorphisms are isotopic, must they be equivariantly isotopic? Birman-Hilden and Maclachlan-Harvey proved the answer is "yes" for most surfaces. By contrast, we give a general criterion in higher dimensions under which there are many equivariant diffeomorphisms which are isotopic but not equivariantly isotopic. Examples satisfying this criterion include branched covers of split links and "stabilized" branched covers. We prove the result by constructing an invariant valued in the homology of a certain infinite cover of the manifold. We give applications to outer automorphism groups of free products and to group actions on manifolds which fiber over the circle.
Darboux's Theorem in $p$-adic symplectic geometry
oai:arXiv.org:2508.15443v5
arXiv:2508.15443v5 Announce Type: replace
Abstract: We prove a non Archimedean Darboux's Theorem: any two symplectic forms on a $p$-adic analytic manifold are locally isomorphic. Understanding local problems such as the existence of flows or the normalization of singularities in the theory of integrable systems, is essential to understand the physics behind these systems. Our result tells us that the phase space defined by a $p$-adic manifold is locally standard, allowing us to concentrate on the equations defining the dynamics rather than on the space itself. Our proof uses a non Archimedean version of Moser's Path Method to push one symplectic form onto another one by a flow. A central technical contribution of the paper is the proof that the flow is given by a power series with non zero radius of convergence, which requires geometric analytic estimates and does not follow from algebraic considerations. The main difficulty of the paper is analytic: an ODE will not have a long-time solution even in a neighborhood of a fixed point but we are able to find a condition for a long-time solution to exist, which allows us to tweak the ODE in Moser's Path Method so that it satifies the condition. As a global application, we derive a classification of second-countable $p$-adic analytic symplectic manifolds in terms of $p$-adic volume, which generalizes a classical theorem of J-P. Serre.
Exponential decay for the random connection model using asymptotic transitivity
oai:arXiv.org:2509.02310v2
arXiv:2509.02310v2 Announce Type: replace
Abstract: We prove that the probability the cluster of the origin in a subcritical Poisson random connection model (RCM) has size at least $n$ decays exponentially as $n$ increases, under minimal assumptions.
We extend a recent method of Vanneuville (arXiv:2304.12110) from Bernoulli percolation on vertex-transitive graphs to the RCM. The key idea is that the subcritical RCM can be constructed by site percolation on a very high-intensity RCM. The latter RCM becomes ``almost vertex-transitive'' in a certain sense at very high intensities, which is a new method that we expect to be useful for other problems.
We obtain the result for connection functions with unbounded support, a setting in which it was not previously known.
Capacity in high dimensional percolation
oai:arXiv.org:2509.21253v2
arXiv:2509.21253v2 Announce Type: replace
Abstract: We introduce a notion of capacity for high dimensional critical percolation by showing that for any finite set $A$, the suitably rescaled probability that the cluster of $z$ intersects $A$ converges as $\|z\|\to\infty$. This can be viewed as a generalisation of the asymptotic of the two point function and we call the limit the p-capacity of $A$. We next show that the probability that the Incipient Infinite Cluster of $z$ intersects the set $A$ appropriately normalised is also of order the p-capacity of $A$ as $\|z\|\to\infty$. We conjecture that the p-capacity is of the same order as the $(d-4)$-Bessel-Riesz capacity and in support of this we estimate the p-capacity of balls. As a byproduct of our techniques we give a simpler proof of the one-arm exponent of Kozma and Nachmias for dimensions 8 and higher and as long as the two point function asymptotic holds. Our proofs make use of a new large deviations bound on the pioneers, that is the number of points on the boundary of a box which are part of the cluster of the origin restricted to this box.
Very effective algebraic and hermitian K-theory of the cyclic group of order two
oai:arXiv.org:2509.25006v2
arXiv:2509.25006v2 Announce Type: replace
Abstract: We compute the $2$-completed integral motivic homology, effective algebraic K-theory, and very effective hermitian K-theory of the geometric classifying space of the cyclic group of order two over algebraically closed fields, the real numbers, and finite fields.
Measures of Dependence based on Wasserstein distances
oai:arXiv.org:2510.06034v2
arXiv:2510.06034v2 Announce Type: replace
Abstract: Measuring dependence between random variables is a fundamental problem in Statistics, with applications across diverse fields. While classical measures such as Pearson's correlation have been widely used for over a century, they have notable limitations, particularly in capturing nonlinear relationships and extending to general metric spaces. In recent years, the theory of Optimal Transport and Wasserstein distances has provided new tools to define measures of dependence that generalize beyond Euclidean settings. This survey explores recent proposals, outlining two main approaches: one based on the distance between the joint distribution and the product of marginals, and another leveraging conditional distributions. We discuss key properties, including characterization of independence, normalization, invariances, robustness, sample, and computational complexity. Additionally, we propose an alternative perspective that measures deviation from maximal dependence rather than independence, leading to new insights and potential extensions. Our work highlights recent advances in the field and suggests directions for further research in the measurement of dependence using Optimal Transport.
Tropicalization of super Gromov-Witten invariants
oai:arXiv.org:2510.17400v2
arXiv:2510.17400v2 Announce Type: replace
Abstract: We show that genus-0, $n$ Neveu-Schwarz marked, super Gromov-Witten invariants of a convex, toric variety $X$ can be defined and computed using tropical geometry. When $X$ is a point, the tropical, super Gromov-Witten invariants of $X$ are descendant invariants on the moduli space of tropical curves. When $X$ is a general convex, toric variety, we define a procedure that computes the tropical, inverse Euler class of the SUSY normal bundle $\overline{N}_{n, \beta} \rightarrow \overline{\mathcal{M}}_{0,n}(X, \beta)$, under the assumption that $\overline{N}_{n, \beta}$ is in some sense locally tropicalizable. We define the tropical, genus-0, $n$ Neveu-Schwarz marked, super Gromov-Witten invariants of $X$, and show that the definition recovers the tropical, super Gromov-Witten invariants of a point. We compute a tropical, super Gromov-Witten invariant of $\mathbb{P}^1$.
Cellular flow control design for mixing based on the least action principle
oai:arXiv.org:2510.22703v3
arXiv:2510.22703v3 Announce Type: replace
Abstract: We consider a novel approach for the enhancement of fluid mixing via pure stirring strategies building upon the Least Action Principle (LAP) for incompressible flows. The LAP is formally analogous to the Benamou--Brenier formulation of optimal transport, but imposes an incompressibility constraint. Our objective is to find a velocity field, generated by Hamiltonian flows, that minimizes the kinetic energy while ensuring that the initial scalar distribution reaches a prescribed degree of mixedness by a finite time. This formulation leads to a ``point-to-set" type of optimization problem which relaxes the requirement on controllability of the system compared to the classic LAP framework. In particular, we assume that the velocity field is induced by a finite set of cellular flows that can be controlled in time. To establish finite time feasibility, we introduce an operator-theoretic switching argument that combines the long-time cellular flow mixing result with the von Neumann alternating-projection theorem. We then leverage the direct method to establish the existence of an optimal solution. Finally, we derive the corresponding optimality conditions for the time-dependent control problem and conduct numerical experiments demonstrating the effectiveness of the proposed control design.
GPU-Accelerated First-Order Method with Randomized Sampling for Binary Integer Programs
oai:arXiv.org:2510.27117v2
arXiv:2510.27117v2 Announce Type: replace
Abstract: We present a scalable, GPU-accelerated algorithmic framework for large binary integer programs that operates end-to-end with minimal synchronization overhead. The proposed method combines a first-order routine that guides search in the continuous relaxation with a randomized, feasibility-aware sampling module that generates batched binary candidates. We establish a residual convergence guarantee for the first-order component in the convex setting and a finite-horizon primal-dual residual estimate in the general nonconvex setting, together with probabilistic bounds on the feasibility and solution quality of sampled candidates, without providing global optimality certificates. A key modeling consideration under this framework concerns the treatment of equality constraints to enhance sampling effectiveness. We address this through total-unimodular reformulations and tailored sampling schemes designed to improve feasibility rates. We evaluate the framework on standard benchmark classes, including set cover, knapsack, max-cut, three-dimensional assignment, and facility location. On small- to medium-scale instances, state-of-the-art exact solvers remain stronger overall; nevertheless, our method produces high-quality incumbents within short runtimes. On larger instances, the proposed approach achieves substantially shorter runtimes while often delivering solution quality comparable to exact solvers under the same time limit. Overall, the framework complements exact methods by enabling scalable, parallel search in domains where problem size and response time are primary considerations.
An unrestricted notion of the finite factorization property
oai:arXiv.org:2511.00691v2
arXiv:2511.00691v2 Announce Type: replace
Abstract: A nonzero element of an integral domain (or an element of a commutative cancellative monoid) is called atomic if it is a unit or can be written as a finite product of irreducible elements (also called atoms). In this paper, we introduce and investigate an unrestricted version of the finite factorization property, extending the work on unrestricted UFDs carried out by Coykendall and Zafrullah in 2004. An integral domain is said to have the unrestricted finite factorization (U-FF) property if every atomic element has only finitely many factorizations, or equivalently, if its atomic submonoid has the finite factorization (FF) property. We position the U-FF property within the hierarchy of classical finiteness conditions, showing that every IDF domain is a U-FFD but not conversely. Then we analyze the behavior of the U-FF property under standard constructions, including localization, polynomial extensions, and the $D+M$ construction: in each case, we find sufficient conditions under which the U-FF property is inherited by the construction. We also prove that, as it is the case with the IDF property, the U-FF property does not ascend to polynomial extensions. Then we extend the known characterization of FFDs as atomic IDF domains by arguing that the FF property and the U-FF property are equivalent over the class of nearly atomic domains (i.e., integral domains having a nonzero principal ideal whose nonzero elements are atomic). These results demonstrate that the U-FF property behaves in many ways analogously to the IDF property. We conclude taking a look at the class of all unrestricted UFDs.
Index theory for singular Lagrangian systems and Bessel-type differential operators
oai:arXiv.org:2511.00948v3
arXiv:2511.00948v3 Announce Type: replace
Abstract: The aim of the present manuscript is to develop an index theory for singular Lagrangian systems, with a particular focus on the important class of singular operators given by Bessel-type differential operators. The main motivation is to address several challenges posed by singular operators, which appear in a wide range of applications: celestial mechanics (for instance, perturbations in planetary motion), oscillatory systems with time-dependent forcing, electromagnetism (such as wave equations in nonuniform media), and quantum mechanics (notably certain Schrodinger equations with periodic potentials).
We pursue two principal objectives. First, we establish a spectral flow formula and a Morse Index Theorem for gap-continuous paths of singular Sturm-Liouville operators. By means of these index formulas, we construct a Morse index theory for a broad class of Bessel-type differential operators and apply it to a family of asymptotic solutions of the gravitational \(N\)-body problem.
Finally, our new index theory provides new insight into a phenomenon first observed by Rellich concerning the spectrum of one-parameter families of Sturm-Liouville operators with varying domains.
Awesome graph parameters
oai:arXiv.org:2511.05285v3
arXiv:2511.05285v3 Announce Type: replace
Abstract: For a graph $G$, we denote by $\alpha(G)$ the size of a maximum independent set and by $\omega(G)$ the size of a maximum clique in $G$. Our paper lies on the edge of two lines of research, related to $\alpha$ and $\omega$, respectively. One of them studies $\alpha$-variants of graph parameters, such as $\alpha$-treewidth or $\alpha$-degeneracy. The second line deals with graph classes where some parameters are bounded by a function of $\omega(G)$. A famous example of this type is the family of $\chi$-bounded classes, where the chromatic number $\chi(G)$ is bounded by a function of $\omega(G)$.
A Ramsey-type argument implies that if the $\alpha$-variant of a graph parameter $\rho$ is bounded by a constant in a hereditary class $\mathcal{G}$, then $\rho$ is bounded by a function of $\omega$ in $\mathcal{G}$. If the reverse implication also holds, we say that $\rho$ is awesome. Otherwise, we say that $\rho$ is awful. In the present paper, we identify a number of awesome and awful graph parameters, derive some algorithmic applications of awesomeness, and propose a number of open problems related to these notions.
On the detection of knots by their traces in high dimensions
oai:arXiv.org:2511.07251v2
arXiv:2511.07251v2 Announce Type: replace
Abstract: For every $n \geq 4$, we demonstrate the existence of non-isotopic, smooth $(n-2)$-knots in $S^n$ with diffeomorphic traces. We give two proofs: the first by generalising the RBG link construction to all dimensions, and the second as an application of work of Plotnick. Conversely, we prove that for every $n \geq 4$, the unknot in $S^n$ is detected by the diffeomorphism type of its surgery and hence of its trace.
Set System Approximation for Binary Integer Programs: Reformulations and Applications
oai:arXiv.org:2511.12437v2
arXiv:2511.12437v2 Announce Type: replace
Abstract: Covering and elimination inequalities are central to combinatorial optimization, yet their role has largely been studied in problem-specific settings or via no-good cuts. This paper introduces a unified perspective that treats these inequalities as primitives for set system approximation in binary integer programs (BIPs). We show that arbitrary set systems admit tight inner and outer monotone approximations, exactly corresponding to covering and elimination inequalities. Building on this, we develop a toolkit that both identifies classical structural correspondences (e.g., paths vs. cuts, spanning trees vs. cycles) and extends polyhedral tools from set covering to general BIPs, including facet conditions and strengthened valid inequalities. We also propose new reformulation techniques for nonlinear and latent monotone systems, such as auxiliary-variable-free bilinear linearization, bimonotone cuts, and interval decompositions. Computational experiments on bilinear supplier--region selection and distributionally robust network site selection show how these tools produce exact reformulations, strengthen root relaxations, and support efficient cut generation. Overall, this unified view clarifies inner/outer approximation criteria, extends classical polyhedral analysis, and provides broadly applicable reformulation strategies for nonlinear BIPs.
Beyond the "G" Frontier: A Time Traveler's Century-Long Vision for Wireless Intelligence
oai:arXiv.org:2511.14906v2
arXiv:2511.14906v2 Announce Type: replace
Abstract: This article travels one century into the future--from 2025 to 2125--through the analytical lens of the Information--Curvature Efficiency Law (ICEL), an organizing ansatz that reframes wireless capacity around the curvature of the information manifold. It contends that wireless evolution will not proceed through incremental generations such as 6G or 7G, but through a curvature-managed integration of electromagnetics, biology, and thermodynamics. The technical instantiation of ICEL for phase-coded continuous apertures--where curvature is realized as the affine-quotient second derivative of the aperture phase, with a compact synthesis operator and a Fredholm-determinant capacity--is developed rigorously in a companion theory paper and stress-tested against SVD, Fourier, Zernike-like, matched-focus, and RIS baselines in a companion benchmark paper. The present essay supplies the physical intuition, the century-scale narrative, and a set of cross-domain extensions (biology, thermodynamics, ecology) that are explicitly labeled as illustrative extrapolations, not independent derivations.
BOCO: Bayesian Online Contextual Optimization for Decision-Focused Online Learning
oai:arXiv.org:2511.20413v2
arXiv:2511.20413v2 Announce Type: replace
Abstract: \emph{Decision-focused learning} (DFL) trains predictive models to optimize downstream decisions rather than prediction accuracy alone. While recent studies have extended this paradigm to online settings with streaming data, existing online DFL methods generally maintain a point estimate, while their gradient-based updates require either a differentiable optimization layer or a problem-specific surrogate loss. Consequently, they can be unstable under limited data and difficult to apply across heterogeneous optimization problems. We introduce Bayesian Online Contextual Optimization (\texttt{BOCO}), a framework that maintains a decision-focused posterior over model parameters. \texttt{BOCO} aggregates the resulting predictions when prescribing decisions, thereby accounting for parameter uncertainty. To track this posterior in evolving environments, we develop two particle-based inference algorithms: a sequential Monte Carlo sampler for nondifferentiable problems and a function-space Stein variational gradient descent algorithm for differentiable problems. Across both real-world tasks, \texttt{BOCO} reduces running mean regret and temporal regret variability relative to two frequentist online DFL baselines. At the full horizon, relative to the best frequentist baseline, BOCO reduces running mean regret and temporal regret variability by 6.9\% and 6.3\% on knapsack and by 49.3\% and 38.1\% on energy scheduling, respectively. The gains are larger early in the data stream, a pattern consistent with a benefit from accounting for parameter uncertainty when data are limited.
Instantaneous Sobolev Regularization for Dissipative Bosonic Dynamics
oai:arXiv.org:2512.04066v2
arXiv:2512.04066v2 Announce Type: replace
Abstract: We investigate quantum Markov semigroups on bosonic Fock space and identify a broad class of infinite-dimensional dissipative evolutions that exhibit instantaneous Sobolev regularization. Motivated by stability problems in quantum computation, we show that for certain Lindblad operators that are polynomials of creation and annihilation operators, the resulting dynamics immediately transform any initial state into one with finite expectation in all powers of the number operator. A key application is in the bosonic cat code, where we obtain explicit estimates in the trace norm for the speed of convergence. These estimates sharpen existing perturbative bounds at both short and long times, offering new analytic tools for assessing stability and error suppression in bosonic quantum information processing. For example, we improve the strong exponential convergence of the (shifted) $2$-photon dissipation to its asymptotic channel to the uniform topology. For multi-mode systems, a generation theorem in concentrated single-sandwich norms supplies the domain properties required for the regularization argument.
Optimal bounds for local volumes of threefold singularities
oai:arXiv.org:2512.05429v2
arXiv:2512.05429v2 Announce Type: replace
Abstract: We establish an optimal upper bound for local volumes of Gorenstein canonical non-hypersurface threefold singularities. Specifically, we show that a klt threefold singularity with local volume at least $9$ is either a hypersurface singularity or a quotient singularity. As applications, we obtain new restrictions on the singularities of members in K-moduli spaces of Fano threefolds, and we establish a sharp inequality between local volumes and minimal log discrepancies for threefold singularities.
An Ehresmann-Schein-Nambooripad-type theorem for left restriction semigroupoids
oai:arXiv.org:2512.09881v2
arXiv:2512.09881v2 Announce Type: replace
Abstract: We introduce the concept of locally inductive constellations and establish isomorphisms between the categories of left restriction semigroupoids and locally inductive constellations. This construction offers an alternative to the celebrated Ehresmann-Schein-Nambooripad (ESN) Theorem and, in particular, generalizes results for one-sided restriction semigroups. We also obtain ESN-type theorems for one-sided restriction categories and inverse semigroupoids.
Stratification of the Helffer-Nourrigat Cone
oai:arXiv.org:2512.11434v2
arXiv:2512.11434v2 Announce Type: replace
Abstract: Given a singular filtration on a manifold, e.g., a sub-Riemannian setting, one can understand the regularity problems through the Androulidakis-Mohsen-Yuncken pseudodifferential calculus. The principal symbol in this calculus involves the unitary representations of a family of graded nilpotent groups. Not all the irreducible representations of these groups have to be taken into account, however, the ones that should be considered form the Helffer-Nourrigat cone. This space thus plays the role of a phase space in sub-Riemannian geometry. Its topology is however very singular, preventing any kind of geometry on it. We propose a way to desingularize it. The unitary spectrum of a nilpotent group can be stratified into strata that are locally compact Hausdorff, following Puk\'anszky and Pedersen. We show how this stratification extends to the whole Helffer-Nourrigat cone. As a byproduct, we show that the $C^*$-algebra of principal symbols and the one of pseudodifferential operators of order 0 are solvable with explicit subquotients.
De Rham affineness of the Nygaard filtered prismatization in positive characteristic
oai:arXiv.org:2512.19348v3
arXiv:2512.19348v3 Announce Type: replace
Abstract: Let $k$ be a perfect ring of characteristic $p>0$, and let $R$ be an animated $k$-algebra. This note aims to show that the Nygaard filtered prismatization $R^{\mathrm{Nyg}}$ of $R$ is naturally isomorphic, as a stack over $k^{\mathrm{Nyg}}$, to the relative spectrum over $k^{\mathrm{Nyg}}$ of the Rees algebra of the Nygaard filtered prismatic cohomology of $R$ relative to $W(k)$. In doing so, we axiomatise the functorial affineness property displayed by the relative Nygaard filtered prismatization, and dub it de Rham affineness after the fundamental example of the functor sending an animated ring to its relative de Rham stack. While we treat this concept as an organising tool for the author's forthcoming work on the syntomification of Frobenius liftable schemes, we are able to frame some questions based on a structural result of independent interest: a functor to stacks which is de Rham affine often arises via ring stacks through transmutation.
On Borel sets in ideal topologies
oai:arXiv.org:2512.21140v3
arXiv:2512.21140v3 Announce Type: replace
Abstract: We study the Borel and analytic subsets of the spaces ${}^{\kappa}\kappa$ and ${}^{\kappa}2$ endowed with ideal topologies, where $\kappa$ is a regular uncountable cardinal, thereby addressing some open problems of the literature. We provide a systematic analysis of the Borel hierarchy for an arbitrary ideal topology. In particular, we formulate a sufficient condition ensuring that the hierarchy does not collapse, demonstrate that every Borel set in such a topology is analytic, and establish the existence of a set that is not Borel. We show that, when the underlying ideal contains an unbounded subset, the collection of analytic sets coincides with the full power set of the ambient space. Finally, we prove that the Approximation Lemma holds in the setting of ideal topologies.
Hadamard-type formulas for real eigenvalues of canonically symplectic operators
oai:arXiv.org:2601.00520v4
arXiv:2601.00520v4 Announce Type: replace
Abstract: We give first-order asymptotic expansions for the resolvent and Hadamard-type formulas for the eigenvalue curves of one-parameter families of canonically symplectic operators. We allow for parameter dependence in the boundary conditions, bounded perturbations and trace operators associated with each off-diagonal operator, and give formulas for derivatives of eigenvalue curves emanating from the discrete eigenvalue of the unperturbed operator in terms of Maslov crossing forms. We derive the Hadamard-type formulas using two different methods: via a symplectic resolvent difference formula and asymptotic expansions of the resolvent, and using Lyapunov-Schmidt reduction and the implicit function theorem. The latter approach facilitates derivative formulas when the eigenvalue curves are viewed as functions of the spectral parameter. We apply our abstract results to derive a spectral index theorem for the linearised operator associated with a standing wave in the nonlinear Schr\"odinger equation on a compact star graph.
Norm attaining dual truncated Toeplitz operators
oai:arXiv.org:2601.09375v2
arXiv:2601.09375v2 Announce Type: replace
Abstract: In this paper, we investigate norm attainment for dual truncated Toeplitz operators $D_\vp$ acting on $\clk_u^\perp=uH^2\oplus H^2_{-}$, where $u$ is a nonconstant inner function and $\vp\in L^\infty(\T)$. Our main focus is the structure of extremal vectors and the distinction between global and componentwise norm attainment.
For arbitrary $\vp\in L^\infty(\T)$, we establish an exact norm-defect identity and characterize the extremal space in terms of the essential maximum set $E_\vp=\{\zeta\in\T:|\vp(\zeta)|=\|\vp\|_\infty\}$. As a consequence, when $u$ is a finite Blaschke product, \[ D_\vp\in\mathcal{NA}\quad\Longleftrightarrow\quad m(E_\vp)>0. \] In this case, whenever $D_\vp$ is norm attaining, its extremal space is infinite-dimensional. We further show that the sets of symbols generating norm attaining and non-norm attaining DTTOs are both norm dense in $L^\infty(\T)$. Consequently, both the norm attaining and the non-norm attaining DTTOs are operator-norm dense in the class of all DTTOs associated with $u$.
For unimodular symbols, we characterize extremality by the condition $M_\vp f\in\clk_u^\perp$ and equivalently by a truncated Hankel kernel condition. For mixed extremal vectors $f=x\oplus y$, we derive the identity \[ \|D_\vp x\|^2-\|x\|^2=\|D_\vp y\|^2-\|y\|^2=-\langle D_\vp x,D_\vp y\rangle, \] which yields a phase-rotation criterion and coupled Toeplitz--Hankel relations. We also show that global norm attainment may occur even when neither the analytic nor the coanalytic component contains a nonzero extremal vector. Under additional Hardy-space hypotheses, we obtain factorization criteria for componentwise extremals, construct explicit extremal families for quotient-inner symbols, and relate norm attainment of Toeplitz operators to that of dual truncated Toeplitz operators.
Automating Idealness Proofs for Binary Programs with Application to Rectangle Packing
oai:arXiv.org:2601.15252v3
arXiv:2601.15252v3 Announce Type: replace
Abstract: An integer program is called ideal if its continuous relaxation coincides with its convex hull allowing the problem to be solved as a continuous program and offering substantial computational advantages. Proving idealness analytically can be extraordinarily tedious -- even for small formulations -- such proofs often span many pages of intricate case analysis which motivates the development of automated verification methods. We develop a general-purpose framework for certifying idealness in Mixed Binary Linear Programs (MBLPs), formulating the verification problem as a linear program when the data is fixed and as a nonconvex quadratic program when the data is parametric. We apply this framework to study several formulations of the rectangle packing problem that are conjectured to be pairwise-ideal, obtaining computational proofs where analytic proofs were previously unknown or impractical. As our second contribution, we introduce and model a novel generalization of the rectangle packing problem that enforces edge clearances between selected rectangles. We present both existing and novel MBLP formulations which arise from different encodings of the underlying disjunctive constraints. We perform some computational experiments on these formulations under a strip-packing objective to determine the importance of pairwise-idealness in practice.
New Solutions to the $G_2$ Hull-Strominger System via torus fibrations over $K3$ orbifolds
oai:arXiv.org:2601.20813v2
arXiv:2601.20813v2 Announce Type: replace
Abstract: Using torus fibrations over K3 orbisurfaces, we construct new smooth solutions to the $G_2$ Hull-Strominger system. These manifolds arise as total spaces of principal $T^3$ (orbi)bundles over singular K3 surfaces. Our construction is based on the choice of three divisors on a singular K3 surface that are primitive with respect to a particular K\"ahlermetric. The stable bundle is obtained via an adaptation of the Serre construction to the singular setting.
Quotient geometry of tensor ring decomposition
oai:arXiv.org:2601.21874v2
arXiv:2601.21874v2 Announce Type: replace
Abstract: Differential geometries derived from tensor decompositions have been extensively studied and provided the foundations for a variety of efficient numerical methods. Despite the practical success of the tensor ring (TR) decomposition, its intrinsic geometry remains less understood, primarily due to the underlying ring structure and the resulting nontrivial gauge invariance. We establish the quotient geometry and immersed-submanifold structure of TR decomposition by imposing full-rank conditions on all unfolding matrices of the core tensors and capturing the gauge invariance. The intrinsic ring structure of TR leads to an analysis that is substantially different from other tensor formats. Additionally, for the uniform TR decomposition, where all core tensors are identical and the manifold structure is known, we derive explicit parameterizations for the vertical and horizontal spaces, which enable Riemannian optimization. Numerical experiments validate the developed geometries via tensor ring completion tasks.
Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups
oai:arXiv.org:2602.01810v2
arXiv:2602.01810v2 Announce Type: replace
Abstract: Let $M_0$ denote either the field of $p$-adic numbers $\mathbb{Q}_p$ or an $o$-minimal expansion of the real field $\mathbb{R}$. We study the minimal flows and Ellis groups of groups definable over $M_0$ from the viewpoint of definable topological dynamics. The computation of Ellis groups, together with the closely related Newelski conjecture, has so far been available only under restrictive hypotheses: in the $p$-adic setting, the results of \cite{BY-APAL} apply to reductive algebraic groups, while in the $o$-minimal setting the known computations rely on a compact-torsion-free (Iwasawa) decomposition. In this paper we remove both restrictions.
We show that every definable group $G$ has a definably amenable radical $D$, with quotient map $\pi:G\to A$ onto a centreless semisimple group $A$. In $A$, a definably amenable component $V$ is selected: a maximal definably amenable subgroup containing a maximal definably solvable subgroup. Its preimage $B=\pi^{-1}(V)$ is a definably amenable component of $G$, contains $D$, and is the carrier for the computation of the Ellis group.
Our main result is that, for every $M\succ M_0$, the Ellis group of the universal definable flow of $G$ over $M$ is isomorphic to that of $B$ over $M$, and hence to $B/B^{00}$. In particular, the Ellis groups of $G$ are model-independent. As a consequence, when $G$ is definable over a $p$-adically closed field, Newelski's conjecture holds for $G$ if and only if $G$ is definably amenable. The amenable direction is the known result of \cite{CS-Definably-Amenable-NIP-Groups}, while the converse is new.
Nearly Gorenstein normal graded rings
oai:arXiv.org:2602.04222v2
arXiv:2602.04222v2 Announce Type: replace
Abstract: We investigate nearly Gorenstein property for a normal graded ring $R = \bigoplus_{n\ge 0}R_n$ finitely generated over a field. For that purpose, we investigate ${K_R}^{-1}$, the inverse of $K_R$ (the canonical module of $R$) and introduce a new invariant $b(R)$ of $R$. We investigate nearly Gorenstein property of $R$ using $a(R)$ and $b(R)$ and $m(R)$, the initial degree of $R$. If $b(R)<0$, (and if $R$ is $\mathbb Q$-Gorenstein), then we believe that $R$ is log-terminal -- this is proved if $\dim R=2$ or $R$ is F-pure (or $F$-pure type).
Then we determine the condition for a $2$-dimensional cone singularity over a smooth curve of genus $g\le 3$ to be nearly Gorenstein. We observe that ``almost Gorenstein" property and nearly Gorenstein property are drastically different for such rings.
Boundary elements for clamped Kirchhoff--Love plates
oai:arXiv.org:2602.09265v2
arXiv:2602.09265v2 Announce Type: replace
Abstract: We present a Galerkin boundary element method for clamped Kirchhoff--Love plates with piecewise smooth boundary. It is a direct method based on the representation formula and requires the inversion of the single-layer operator, an application of the double-layer operator to the Dirichlet data, and, in the presence of a vertical load, an application of the Dirichlet trace of the Newton potential to that load. We present trace approximation spaces of arbitrary order, required for both the Dirichlet data and the unknown Neumann trace. Our boundary element method is quasi-optimal with respect to the natural trace norm and achieves optimal convergence order under minimal regularity assumptions. We provide explicit representations of all three integral operators and discuss the implementation of the appearing integrals. Numerical experiments for smooth and non-smooth domains confirm predicted convergence rates.
Clifford algebras, meson algebras and higher order generalisations
oai:arXiv.org:2602.09603v3
arXiv:2602.09603v3 Announce Type: replace
Abstract: We analyse the homogeneous parts of Clifford and meson algebras and point out that for the Clifford algebra it is related to fermionic statistics, that is, to fermionic parastatistics of order 1 while for the meson algebra it is related to fermionic parastatistics of order 2. We extend these homogeneous algebras into corresponding algebras related to fermionic parastatistics of all orders. We then define correspondingly higher order generalizations of Clifford and meson algebras.
Bicovariant Codifferential Calculi
oai:arXiv.org:2602.12493v4
arXiv:2602.12493v4 Announce Type: replace
Abstract: We develop a technique for studying first-order codifferential calculi (FOCCs) initiated by Doi and Quillen in the context of cyclic cohomology. Their classification, for a given coalgebra, reduces to the classification of subbicomodules in the universal bicomodule. For completing this task, the role of one-dimensional generating spaces (a.k.a. singletons) is found to be useful. We are particularly interested in classifying bicovariant codifferential calculi, which we define over Hopf algebras. This, in turn, can be reduced to classifying Yetter-Drinfeld (Y-D) submodules. In fact, there are two, mutually dual, Y-D structures on arbitrary Hopf algebra: one used by Woronowicz for constructing bicovariant differential calculi, and the another used here for FOCCs and shown to be related with Woronowicz construction of quantum tangent space. This argues that such codifferential calculi are better suited to Drinfeld-Jimbo type quantized enveloping algebras, as they are dual to Woronowicz' bicovariant calculi over matrix quantum groups. Relations with quantum Lie algebras and quantum vector fields are also shown. Some classification results are presented in numerous examples.
Hypercontractivity for a family of quantum Ornstein-Uhlenbeck semigroups
oai:arXiv.org:2602.16329v2
arXiv:2602.16329v2 Announce Type: replace
Abstract: We show that a family of quantum Ornstein-Uhlenbeck semigroups is hypercontractive. We also obtain the optimal order of the optimal time up to a constant. The main ingredient of our proof is Meixner polynomials. The goal of this paper is twofold: to provide more examples of hypercontractive quantum Markov semigourps on non-tracial von Neumann algebras, and to determine the optimal order of the optimal time for quantum Ornstein-Uhlenbeck semigroups.
A Generalization of the Ehresmann-Schein-Nambooripad Theorem to Two-Sided Ehresmann Semigroupoids
oai:arXiv.org:2602.16879v2
arXiv:2602.16879v2 Announce Type: replace
Abstract: We introduce the notion of two-sided Ehresmann semigroupoids and show that they are in correspondence with a specific class of categories, which we call local biordered Ehresmann categories. This correspondence provides a unified generalization of the Ehresmann-Schein-Nambooripad Theorem for both inverse semigroupoids and Ehresmann semigroups. In particular, two-sided restriction semigroupoids form a distinguished subclass of two-sided Ehresmann semigroupoids, and for this case we describe the associated class of categories, extending earlier results for restriction semigroups.
Annhilators of local cohomology modules over modular invariant rings and Dickson polynomials
oai:arXiv.org:2603.16491v2
arXiv:2603.16491v2 Announce Type: replace
Abstract: Let $\mathbb{F}_q$ be a finite field with $q = p^s$ elements. Let $V$ be a $d$ dimensional vector space over $\mathbb{F}_q$ and let $G$ be a subgroup of $GL(V)$. Let $R = \mathbb{F}_q[V] = \text{Sym}_{\mathbb{F}_q}(V^*)$ and let $G$ act naturally on $R$. Set $S = R^G$. Let $\mathbf{d}_{d,0}, \mathbf{d}_{d, 1}, \ldots, \mathbf{d}_{d, d-1} \in S$ be the Dickson polynomials with $\deg \mathbf{d}_{d,i} = q^d - q^i$. Let $I$ be a homogeneous ideal of $S$ and let $H^i_I(S)$ be the $i^{th}$-local cohomology module of $S$ with respect to $I$. Let $J_i = \sqrt{\text{ann} H^i_I(S)}$. Assume $J_i \neq 0$ and $\dim S/J_i = d - g$. Then we show that $\mathbf{d}_{d,0}, \ldots, \mathbf{d}_{d, d - g + 1} \in J_i$. We give several applications of our results. An application is a considerably simpler proof of Landweber-Stong conjecture.
On vector-valued multisymplectic forms
oai:arXiv.org:2603.17252v2
arXiv:2603.17252v2 Announce Type: replace
Abstract: We obtain a standard local presentation for a vector-valued multisymplectic form on a smooth manifold, generalizing the known proof for polysymplectic forms. We show that vector-valued multisymplectic forms on a finite-dimensional real vector space form a non-unital operad. We prove an entropy inequality for partial compositions.
An Adaptive Machine Learning Framework for Fluid Flow in Dual-Network Porous Media
oai:arXiv.org:2603.19561v2
arXiv:2603.19561v2 Announce Type: replace
Abstract: Porous materials -- natural or engineered -- often exhibit dual pore-network structures that govern processes such as mineral exploration and hydrocarbon recovery from tight shales. Double porosity/permeability (DPP) mathematical models describe incompressible fluid flow through two interacting pore networks with inter-network mass exchange. Despite significant advances in numerical methods, there remains a need for computational frameworks that enable rapid forecasting, data assimilation, and reliable inverse analysis. To address this, we present a physics-informed neural network (PINN) framework for forward and inverse modeling of DPP systems. The proposed approach encodes the governing equations in mixed form, along with boundary conditions, directly into the loss function, with adaptive weighting strategies to balance their contributions. Key features of the framework include adaptive weight tuning, dynamic collocation point selection, and the use of shared trunk neural architectures to efficiently capture the coupled behavior of the dual pore networks. It is inherently mesh-free, making it well-suited for complex geometries typical of porous media. It accurately captures discontinuities in solution fields across layered domains without introducing spurious oscillations commonly observed in classical finite element formulations. Importantly, the framework is well-suited for inverse analysis, enabling robust parameter identification in scenarios where key physical quantities -- such as the mass transfer coefficient in DPP models -- are difficult to measure directly. In addition, a systematic convergence analysis is provided to rigorously assess the stability, accuracy, and reliability of the method. The effectiveness and computational advantages of the approach are demonstrated through a series of representative numerical experiments.
Large-Amplitude Steady Solitary Water Waves with General Vorticity
oai:arXiv.org:2603.19699v4
arXiv:2603.19699v4 Announce Type: replace
Abstract: We study two-dimensional steady solitary gravity water waves with general vorticity, allowing for overhanging free-surface profiles. The main challenges arise from the free boundary, the unbounded fluid domain, and the inherent complexity of the general vorticity setting. To address these, we introduce a conformal reformulation that reduces the problem to an equivalent system on a fixed strip, consisting of an overdetermined elliptic problem coupled with an elliptic boundary-value problem. This framework enables a local analysis without imposing restrictive assumptions on the vorticity. Using the center-manifold construction of Chen, Walsh and Wheeler \cite{chennonlinearity}, we first establish the existence of small-amplitude solitary waves for such non-trivial vorticity distributions. Subsequently, via a global analytic bifurcation argument, we prove the existence of continuous branches of large-amplitude solitary waves for analytic vorticity functions. Along these global solution curves, the free surfaces may develop overhanging profiles and need not remain graphs over the horizontal coordinate. Our results provide a new constructive framework for large-amplitude solitary waves with general vorticity, extending the existing theory beyond the classical settings of constant vorticity \cite{susannaarma} and non-overhanging profiles \cite{milesjma}.
Mean field control with stopping
oai:arXiv.org:2603.21204v2
arXiv:2603.21204v2 Announce Type: replace
Abstract: We study a high-dimensional stochastic optimization problem which features both control and stopping. In particular, a central planner steers a large population of particles, and can also remove particles at any time by paying a penalty. In the limit, we obtain a mean field control problem with discontinuous dynamics, in the sense that the controlled Fokker-Planck equation can have jumps. The value of the N-particle problem is characterized by a hierarchy of non-linear obstacle problems. The value of the limiting problem, meanwhile, solves an infinite-dimensional quasi-variational inequality (QVI). We introduce a notion of viscosity solution for this QVI, and obtain a comparison principle. Together with various regularity estimates, this comparison principle allows us to characterize the mean field value function as the unique viscosity solution of the QVI, and to establish the convergence of the N-particle value functions to the mean field value function.
Assortment Optimization under Logit-Based Multi-Purchase Choice Models
oai:arXiv.org:2603.26056v2
arXiv:2603.26056v2 Announce Type: replace
Abstract: Problem definition: We study assortment optimization under logit-based multi-purchase choice models. Because customers frequently purchase multiple distinct products together in a single transaction, incorporating such behavior into assortment decisions can unlock additional revenue opportunities. However, doing so is computationally challenging because the offered assortment induces a combinatorial set of feasible bundles that compete nonlinearly for customer demand. Methodology/results: We develop an exact assortment optimization framework for general multi-purchase patterns. We first introduce a hypergraph representation of Logit-MP models that unifies several models in the literature, including BundleMVL-K and Multivariate-MNL, and can be estimated from transaction data using a sparsity-based procedure. Building on this representation, we develop strong mixed-integer programming formulations that leverage recent advances from multilinear optimization and a perspective reformulation. The resulting formulations provide tighter linear programming relaxations than the prevalent Big-M approach. We further characterize classes of multi-purchase patterns, represented by different hypergraph structures, under which the formulations reduce to linear programs. Computational experiments demonstrate substantial improvements in both solution quality and scalability. Managerial implications: Using real transaction data, we show that a sparse hypergraph captures the dominant multi-purchase patterns while generating higher revenues. We also show that our formulations extend to heterogeneous customer populations and remain computationally viable, making the framework practical for large-scale retail assortment planning.
Beyond the Laurent phenomenon
oai:arXiv.org:2603.29073v2
arXiv:2603.29073v2 Announce Type: replace
Abstract: In a cluster algebra, a subset of initial cluster variables can be specialised in such a way that all elements of the resulting algebra become polynomial in the remaining variables. This allows obtaining any tame integral frieze pattern of type $A_n$ by specialisation of initial cluster variables, including specialisation to zero.
Dissolution of carbonate stones caused by CO2 pollutant: Numerical modelling of erosion scenarios
oai:arXiv.org:2603.29696v2
arXiv:2603.29696v2 Announce Type: replace
Abstract: In this paper, we introduce a mathematical model of carbonate-stone erosion driven by the penetration of CO2-derived acidity into the water-filled pore network. The model couples transport of the reactive aqueous species, calcite dissolution and porosity evolution, thereby representing the feedback by which dissolution increases porosity and modifies subsequent transport. Such model is formulated as nonlinear reaction-transport system in porous media governed by Darcy flow. We propose a numerical algorithm based on finite difference approximation that relies on level-set method at the boundaries and we show numerical tests that are in accordance with the literature in terms of the advancement of the erosion front.
On the p-part of the conductor of a generalised character
oai:arXiv.org:2604.01351v2
arXiv:2604.01351v2 Announce Type: replace
Abstract: We show that the $p$-part of the conductor of a generalised character of a finite group is equal to the conductor of its generalised decomposition numbers. We use this to show that $p$-parts of conductors of irreducible characters are preserved under isotypies and perfect isometries that arise in the context of stable equivalences of Morita type with endopermutation source.
We apply this to blocks with abelian defect and Frobenius inertial quotient.
On the triviality of inhomogeneous deformations of $\mathfrak{osp}(1|2n)$
oai:arXiv.org:2604.05252v2
arXiv:2604.05252v2 Announce Type: replace
Abstract: We specify a symmetrized mixed-oscillator deformation family of $B(0,n)=\operatorname{osp}(1|2n)$, with even mixed coefficients and one odd square-zero parameter. For every $n\geq1$, we derive its bracket from a faithful oscillator realization and exhibit an odd cochain whose coboundary is the recovered deformation coefficient. The resulting even change of generators is an exact isomorphism over the exterior parameter algebra. For $n=1$, the cochain agrees with the normalization of Bakalov-Sullivan. We give the source relations and the even-central specialization explicitly, together with a Lean 4 formalization.
Value Mirror Descent for Reinforcement Learning
oai:arXiv.org:2604.06039v2
arXiv:2604.06039v2 Announce Type: replace
Abstract: Value iteration-type methods have been extensively studied for computing a nearly optimal value function in reinforcement learning (RL). Under a generative sampling model, these methods can achieve sharper sample complexity than policy optimization approaches, particularly in their dependence on the discount factor. In practice, they are often employed for offline training. In this paper, we consider discounted Markov decision processes with state space S, action space A, discount factor $\gamma\in(0,1)$ and costs in $[0,1]$. We introduce a novel value optimization method, termed value mirror descent (VMD), which integrates mirror descent from convex optimization into the classical value iteration framework. In the deterministic setting with known transition kernels, we show that VMD converges linearly. For the stochastic setting with a generative model, we develop a stochastic variant, SVMD, which incorporates variance reduction commonly used in stochastic value iteration-type methods. For RL problems with general convex regularizers, SVMD attains a near-optimal sample complexity of $\tilde{O}(|S||A|(1-\gamma)^{-3}\epsilon^{-2})$. Moreover, we establish that the Bregman divergence between the generated and optimal policies remains bounded throughout the iterations, even under the presence of model misspecification. This property is absent in existing stochastic value iteration-type methods but is important for enabling effective online (continual) learning following offline training. Under a strongly convex regularizer, SVMD achieves sample complexity of $\tilde{O}(|S||A|(1-\gamma)^{-5}\epsilon^{-1})$, improving performance in the high-accuracy regime. Furthermore, we prove convergence of the generated policy to the optimal policy. Overall, the proposed method, its analysis, and the resulting guarantees, constitute new contributions to the RL and optimization literature.
Linearly Solvable Continuous-Time General-Sum Stochastic Differential Games
oai:arXiv.org:2604.07479v2
arXiv:2604.07479v2 Announce Type: replace
Abstract: This paper introduces a class of continuous-time, finite-player stochastic general-sum differential games that admit solutions through an exact linear PDE system. We formulate a distribution planning game utilizing the cross-log-likelihood ratio to naturally model multi-agent spatial conflicts, such as congestion avoidance. By applying a generalized multivariate Cole-Hopf transformation, we decouple the associated non-linear Hamilton-Jacobi-Bellman (HJB) equations into a system of linear partial differential equations. This reduction enables the efficient, grid-free computation of feedback Nash equilibrium strategies via the Feynman-Kac path integral method, effectively overcoming the curse of dimensionality.
A Local Characterization of Unique Equilibrium States
oai:arXiv.org:2604.10225v2
arXiv:2604.10225v2 Announce Type: replace
Abstract: We study when a prescribed ergodic measure is the unique equilibrium state of a continuous potential. For continuous actions of countably infinite discrete amenable groups on compact metric spaces with finite topological entropy, we characterize this property by a local condition on entropy differences. Fixing an ergodic measure $\mu$, we extend $h(\nu)-h(\mu)$ to the cone generated by the differences $\nu-\mu$, scaling the entropy difference by the same factor. We prove that $\mu$ is uniquely attainable if and only if this entropy difference function is weak\nobreakdash-$*$ upper semicontinuous at the zero measure.
Upper semicontinuity of entropy at $\mu$ alone does not suffice. In fact, we construct a shift space over a compact alphabet for which entropy is upper semicontinuous at every ergodic measure and continuous at a measure supported on a fixed point, but this measure is not an equilibrium state of any continuous potential.
Lindbladian Homotopy Analysis Method to Solve Nonlinear Partial Differential Equations
oai:arXiv.org:2604.18924v3
arXiv:2604.18924v3 Announce Type: replace
Abstract: Quantum scientific computing is to solve engineering and science problems such as simulation and optimization on quantum computers. Solving ordinary and partial differential equations (PDEs) is essential in simulations. However, existing quantum approaches to solve nonlinear PDEs suffer from the issues of curse of dimensionality and convergence during the linearization process. In this paper, a Lindbladian homotopy analysis method (LHAM) is proposed as a quantum differential equation solver to simulate nonlinear and nonunitary dynamics. The original nonlinear problem is first converted to a recursive sequence of linear PDEs with the homotopy analysis method and reformulated as a higher-dimensional lower block triangular linear homogeneous autonomous system. The solution is then embedded in the density matrix and obtained through the Lindblad dynamics simulation. Compared to other methods such as Carleman linearization and the Koopman-von Neumann approach where the dimension of Hilbert space increases polynomially with the inverse of truncation error, the Hilbert space dimension in LHAM increases only logarithmically. LHAM is demonstrated with nonlinear PDEs including Burgers' equation and reduced magnetohydrodynamics equations.
Perfect matchings and $A_{\alpha}$-spectral radius in 1-binding graphs
oai:arXiv.org:2604.24241v2
arXiv:2604.24241v2 Announce Type: replace
Abstract: Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$. For $\alpha\in[0,1)$, we use $A_{\alpha}(G)$ and $\rho_{\alpha}(G)$ to denote the $A_{\alpha}$-matrix and the $A_{\alpha}$-spectral radius of $G$, respectively. The binding number $\mbox{bind}(G)$ of $G$ is defined by $\mbox{bind}(G)=\min\left\{\frac{|N_G(X)|}{|X|}:\emptyset\neq X\subseteq V(G),N_G(X)\neq V(G)\right\}$. If $\mbox{bind}(G)\geq1$, then $G$ is called 1-binding. A perfect matching in $G$ is a set of nonadjacent edges covering every vertex of $G$. Tutte proved that a graph $G$ of even order has a perfect matching if and only if $o(G-S)\leq|S|$ holds for every $S\subseteq V(G)$ [W. Tutte, The factorization of linear graphs, J. Lond. Math. Soc. 22 (1947) 107--111]. In this paper, we use Tutte's result to prove that a connected 1-binding graph $G$ of even order $n$ with $n\geq n(\alpha)$ has a perfect matching unless $G=K_1\vee(K_{n-5}\cup K_3\cup K_1)$ if $\rho_{\alpha}(G)\geq\rho_{\alpha}(K_1\vee(K_{n-5}\cup K_3\cup K_1))$, where $n(\alpha)$ is defined as follows: $n(\alpha)=\max\{18,\frac{2+8\alpha}{1-2\alpha}\}$ if $\alpha\in[0,\frac{1}{2})$, and $n(\alpha)=18$ if $\alpha=\frac{1}{2}$.
Cyclicity of centers on center manifolds in a 3D chaotic system with a four-wing attractor
oai:arXiv.org:2605.08929v2
arXiv:2605.08929v2 Announce Type: replace
Abstract: In this work, we investigate the conditions that guarantee the existence of centers on the center manifold, arising from Hopf points, in the new three-dimensional quadratic chaotic system introduced by B. Khaled et al. in 2024 in the Int. J. Data Netw. Sci. For some of the Hopf points of the system, we solve the center-focus problem on the center manifold, analyzing both its isochronicity and cyclicity. Our results significantly improve the previously known lower bound on the number of limit cycles bifurcating from Hopf points in this system, as established by B. M. Mohammed in 2025 in the Int. J. Bifurc. Chaos Appl. Sci. Eng.
Concurrent enforcement of polyconvexity and true-stress-true-strain monotonicity in incompressible isotropic hyperelasticity: application to neural network constitutive models
oai:arXiv.org:2605.20031v2
arXiv:2605.20031v2 Announce Type: replace
Abstract: The design of physics-augmented neural networks (PANNs) for the purposes of constitutive modeling has received considerable attention as of late for a variety of material behaviors. Here, we revisit the classical framework of isotropic incompressible hyperelasticity in light of recent advances in the study of constitutive inequalities. We show that polyconvexity implies true-stress-true-strain monotonicity for a large class of incompressible strain-energy functions. The resulting elastic law obeys the physically reasonable Legendre-Hadamard (or ellipticity) condition as well as the notion of increasing stress with increasing strain. These results then inform the architecture of four distinct PANNs which are subsequently calibrated to three different sets of experimental data each. We show that different PANN parametrizations - satisfying the same constitutive constraints a priori - have varying approximation power for the description of material behavior. Moreover, even when distinct parametrizations perform comparatively well within the calibration regime, they show pronounced differences in extrapolation. This observation motivates a critical discussion about the predictive power of PANNs which also has implications for the modeling of more complex material behavior by virtue of neural networks.
Improving depth-resolution, in-plane contrast, and reducing non-uniformity artifacts for wide-angle DBT
oai:arXiv.org:2605.29133v2
arXiv:2605.29133v2 Announce Type: replace
Abstract: Purpose: This work aims to develop an image reconstruction algorithm for wide-angle digital breast tomosynthesis (DBT) that has improved depth resolution and in-plane contrast while reducing non-uniformity artifacts. Approach: The image reconstruction algorithm is an extension of our prior work on sparsity-regularized iterative image reconstruction. The algorithm is performed in two stages as explained in a prior work. The first stage consists of a low-resolution reconstruction that exploits sparsity for quantitative accuracy. In this work, this first stage is augmented with a formulation that includes the estimation of a "background" image, which absorbs low-frequency artifacts that cause image non-uniformity. Results: The new algorithm is demonstrated on three patient cases for which the data are acquired on a wide-angle DBT system. Conclusion: The results on the shown cases indicate that the algorithm design goals have been met, but additional empirical results and task-based assessment are needed to strengthen this conclusion.
Microwave Linear Analog Computer (MiLAC) for Simultaneous Active and Passive Beamforming
oai:arXiv.org:2605.31549v2
arXiv:2605.31549v2 Announce Type: replace
Abstract: Microwave linear analog computers (MiLACs) have recently emerged to enable high-performance and efficient beamforming in the analog domain. In this paper, we introduce a dual-functionality framework for MiLAC-aided transceivers. Beyond analog-domain precoding/combining (active beamforming), a MiLAC and its antenna array can simultaneously act as a reconfigurable intelligent surface (RIS) (passive beamforming). This allows the MiLAC to execute beamforming for transmission/reception while reflecting external incident signals. We provide an optimal reconfiguration strategy for this dual-functional MiLAC, and characterize the fundamental limits on the trade-off between active and passive rate, namely the capacity region bounds and the sum-rate capacity.
Simultaneous recovery of multiple parameters in nonlocal diffusion equations from internal measurements
oai:arXiv.org:2606.08699v2
arXiv:2606.08699v2 Announce Type: replace
Abstract: This paper is devoted to simultaneously recovering multiple parameters from internal measurements for nonlocal diffusion equations. The uniqueness of the inverse problem is established by employing the asymptotic behavior of solutions, analytic continuation, the Laplace transform, and properties of analytic functions. For numerical reconstruction, we apply the Levenberg-Marquardt method to obtain a stable approximate solution of the inverse problem. Numerical examples are provided to demonstrate the efficiency of the proposed algorithm and to validate our theoretical findings.
Weil's quadratic form via the screw function
oai:arXiv.org:2606.09096v3
arXiv:2606.09096v3 Announce Type: replace
Abstract: We establish a unified operator-theoretic framework for understanding the results on the Weil quadratic form obtained by Yoshida (1992), Bombieri (2001, 2003), Connes--Consani (2023), and Connes--Consani--Moscovici (2025+) from the perspective of the screw function introduced in Suzuki (2023). An advantage of the approach via the screw function is that it provides a method to study the Weil quadratic form, which is originally defined in terms of distributions, by means of continuous functions and brings the theory of de Branges spaces into the analysis of the Weil quadratic form via the Fourier transform. Based on this framework, we formulate a conjecture stating that a self-adjoint operator whose eigenvalues are the imaginary parts of the nontrivial zeros of the Riemann zeta function can be obtained as the limit, as $a \to \infty$, of self-adjoint operators arising from nonlocal realizations of the first-order differential operator on the finite interval $[-a,a]$. All these results are obtained without assuming the Riemann Hypothesis. This conjecture may be compared with the limit formula for the Riemann zeta function expressed in terms of zeta-regularized products proposed by Connes, Consani, and Moscovici, and it sheds new light on the spectral-theoretic interpretation of the nontrivial zeros of the Riemann zeta function.
Linear Stability of the Lamb-Chaplygin Dipole
oai:arXiv.org:2606.09775v2
arXiv:2606.09775v2 Announce Type: replace
Abstract: We describe the linearized dynamics near the Lamb-Chaplygin dipole, a classical traveling solution of the two-dimensional Euler equations. Exploiting the Hamiltonian structure of the system together with its symmetries, we identify all possible sources of linear instability. For general perturbations in $L^1\cap L^p$, $p>2$, growth can occur through two explicit mechanisms triggered by: {\rm (i)} a nonzero circulation on the core of the dipole, and {\rm (ii)} a nontrivial component along the generalized eigenvectors associated with the eigenvalue $0$. In particular, we completely classify the spectrum and the Jordan chains of the operator associated with the linear dynamics. Both mechanisms hint for a nonlinear dynamics that may drift along the symmetry-generated family of traveling dipoles without moving away from it.
Lower bounds for discrete moments in a conjecture of Ng
oai:arXiv.org:2606.12376v2
arXiv:2606.12376v2 Announce Type: replace
Abstract: Assuming the Riemann Hypothesis and the simplicity of the non-trivial zeros of the Riemann zeta function $\zeta(s)$, we prove lower bounds for the discrete moments $\sum_{0<\gamma\le T}|\zeta(2\rho)/\zeta'(\rho)|^{2k}$ for every fixed rational $k\ge1$, and for every fixed real $k\ge1$. At $k=1$ we give a new proof of the explicit bound, half of the main term conjectured by Ng.
Starter-Iterator Neural Operator: A Unified Architecture for High-Fidelity Forward and Inverse PDE Problems
oai:arXiv.org:2606.18305v2
arXiv:2606.18305v2 Announce Type: replace
Abstract: Operator learning is an emerging field at the intersection of machine learning and scientific computing. By learning mappings between function spaces, neural operators provide data-driven surrogate models for families of partial differential equations (PDEs). Once trained, these models can evaluate solution operators efficiently, making them suitable for many-query applications such as real-time prediction and parameter sweeps. However, maintaining high approximation accuracy and stable long-term predictions remains challenging for complex forward and inverse problems. To address these challenges, we propose the Starter-Iterator Neural Operator (SINO), which incorporates the initialization and residual-correction structures of classical iterative solvers into neural operator learning. The frequency-domain Starter captures dominant global spectral features and provides an informed initial approximation, while the latent-space Iterator applies successive residual-based corrections to refine local and multiscale solution structures. Experiments on representative time-dependent PDEs, including the Navier-Stokes and acoustic wave equations, together with applications to image super-resolution and weather forecasting, show that SINO achieves competitive accuracy and stable performance across the benchmarks considered in this work.
Perfect Sphere Packing In The Boolean Space
oai:arXiv.org:2606.18718v2
arXiv:2606.18718v2 Announce Type: replace
Abstract: Perfect sphere packing in the Boolean space is a fundamental and complex problem with significant implications for coding theory, cryptography, and discrete mathematics. The classical solution to the perfect sphere packing problem was provided by Hamming via his well-known perfect codes. However, a major limitation of the traditional Hamming metric is its strict applicability, as it allows perfect partitioning only for spaces with specific, highly constrained dimensions. To address this structural limitation, this article introduces a novel distance metric specifically designed for Boolean hypercubes. The proposed metric modifies the topological properties of the space, making it mathematically viable to partition a Boolean space of any arbitrary dimension into disjoint, perfect spheres. We rigorously define the algebraic properties of this new distance function and demonstrate its consistency across various dimensions. Furthermore, we explore the structural characteristics of the resulting packings. This approach bypasses the classical dimensional constraints of Hamming codes, potentially opening new avenues for designing error-correcting codes and cryptographic primitives in non-traditional dimensions.
Restart and Adaptive Acceleration in Stochastic Gradient Methods
oai:arXiv.org:2606.21354v2
arXiv:2606.21354v2 Announce Type: replace
Abstract: We study restart schemes in stochastic optimization problems for non-smooth and weakly convex functions that satisfy a Kurdyka-\L ojasiewicz (K{\L}) inequality. Using restarts allows us to leverage K{\L} inequalities to achieve optimal convergence rates, with acceleration depending explicitly on the K{\L} exponent. Furthermore, for stochastic gradient descent (SGD), optimal restart schedules correspond to piecewise constant (step decay) step sizes. While regularity constants such as the K{\L} exponent are typically unknown in practice, we prove that restart schemes are robust to significant misspecification of these constants, hence nearly adaptive. We detail numerical experiments on a number of problems where the K{\L} exponent is controlled.
Pascal-like Sprugnoli arrays
oai:arXiv.org:2606.22070v3
arXiv:2606.22070v3 Announce Type: replace
Abstract: In this note, we look at the structure and properties of palindromic or Pascal-like Sprugnoli arrays. We show that there are two closely related families of these arrays. We give closed form expressions for the elements of these families, and in each case, we describe the form of the inverse arrays. Finally, we consider the arrays modulo $2$ and the resulting arithmetic sequences.
Structured Spectral Step-Sizes and Rebound-Aware Ordering for Gradient Methods
oai:arXiv.org:2606.25311v3
arXiv:2606.25311v3 Announce Type: replace
Abstract: The performance of gradient methods depends critically on step-size selection. Spectral step-size design involves constructing candidates from finite history and ordering them during iteration. We address both through a finite-moment spectral framework. For candidate construction, we relate Huang--Dai--Liu determinant pencils, limited-memory steepest-descent Krylov--Ritz extraction, pseudo-memory moment realization, and Gu--Du recovery of spectral nodes and component weights. The framework distinguishes generalized-eigenvalue recoverability, finite-window implementability, and component-weight interpretability. Under explicit positivity, rank-one, regularity, and exact-recovery assumptions, these properties become compatible in a common finite-moment regime, with the long, short, and mean LMSD constructions as representatives. For ordering, we identify spectral rebound: a step targeting a lower spectral scale may reactivate previously reduced high-frequency components. Idealized one-target, block, and recomputed memory-\(m\) models yield phase-count recurrences motivating a high-frequency-first strategy with spectral refreshes. We propose a rebound-aware spectral gradient method (RASG) that ranks Ritz candidates by frequency and estimated strength, and sets phase duration via a Ritz-uncertainty estimator. Two variants, RASG-KT and RASG-LMSD, use a Kato--Temple-inspired estimator and a long/short LMSD discrepancy. For strictly convex quadratics, global \(R\)-linear convergence holds under an admissibility safeguard. Experiments on ill-conditioned quadratic problems and two large-scale convex problems illustrate the behavior.
Almost Lipschitz regularity for solutions of elliptic equations with discontinuous coefficients
oai:arXiv.org:2606.26642v2
arXiv:2606.26642v2 Announce Type: replace
Abstract: We are interested in the local higher integrability of solutions to elliptic equations with linear growth of the form
$$-\text{ div}A(x,Du)=f(x). $$ Under a Besov regularity on the partial map $x \mapsto A(x,\xi)$ and a summability condition on the datum $f$ in the scale of Lebesgue spaces, we prove that the solutions are almost Lipschitz continuous, i.e. their gradients belong locally to $L^q$, for any finite exponent $q$. In turn, solutions are locally $\gamma$-H\"older continuous, for every $\gamma \in (0,1)$. The difficulty arising from the lack of an explicit second variation for the problem is overcome by testing the equation with a function proportional to a power of the finite difference quotient of the solution. To the best of our knowledge, this technique is used in this context for the first time. We also provide an example showing the sharpness of our result in the scale of Lebesgue spaces.
The Conway knot has infinite concordance order
oai:arXiv.org:2606.30422v2
arXiv:2606.30422v2 Announce Type: replace
Abstract: We examine how the Rasmussen invariant, satellite operations, and null-homologous twists can be used to establish infinite order of knots in the smooth concordance group. As an application, we show that the Conway knot has infinite concordance order.
Bridgeland-Enriques general K3 surfaces
oai:arXiv.org:2607.02281v2
arXiv:2607.02281v2 Announce Type: replace
Abstract: This article introduces a notion of Bridgeland-Enriques general K3 surfaces motivated by the study of Enriques categories over K3 surfaces and the invariant Bridgeland stability conditions. The family of Bridgeland-Enriques general K3 surfaces of degree 10 detects a categorical degeneration of special Gushel-Mukai threefolds. Also, the families of Bridgeland-Enriques general K3 surfaces with higher degrees are closely related to Hodge-special Gushel-Mukai fourfolds and double EPW sextics.
An Equivalence result for sketched Anderson Acceleration and sketched GMRES
oai:arXiv.org:2607.04904v2
arXiv:2607.04904v2 Announce Type: replace
Abstract: In this paper we present an equivalence result between a randomized version of Anderson Acceleration and of randomized GMRES for linear problems. Namely, we extend the classical result of Walker and Ni (2011) to the case in which the least-squares problem in Anderson Acceleration is solved in a sketched space defined by a random projection. This equivalence suggests potential avenues for further research in the design and analysis of randomized acceleration methods.
Tur\'an number of a matching and a Berge triangle
oai:arXiv.org:2607.12300v2
arXiv:2607.12300v2 Announce Type: replace
Abstract: For a fixed graph $G$, an $r$-uniform hypergraph is said to contain a Berge-$G$ if there exists a bijection $f\colon E(G)\to E(\mathcal{H})$ for some subhypergraph $\mathcal{H}$ such that $e\subseteq f(e)$ for every $e\in E(G)$. Motivated by Alon and Frankl's study of Tur\'an problems under bounded matching constraints, we investigate the maximum number of edges in $r$-uniform Berge-$K_3$-free hypergraphs with matching number at most~$s$. We determine the exact Tur\'an numbers for the cases $r=3$ and $r=4$. For $r=3$ and $n \geq 3 s$, we prove that every $n$-vertex Berge- $K_3$-free 3-graph with matching number $s$ has at most $s(n-2 s)$ edges, and we characterize the unique extremal hypergraph attaining equality. For $r=4$ and $n \geq 4 s$, the maximum number of edges is $s\lfloor(n-2 s) / 2\rfloor$, except for the exceptional case $s=1$ and $n \equiv 1(\bmod 4)$, in which the bound is $(n-1) / 2$. As a corollary, our results recover the classical theorem of Gy\H{o}ri on Berge-$K_3$-free hypergraphs.
Parity families and signed spectra: kernel averaging, near-Ramanujan bounds, and exact circulant models
oai:arXiv.org:2607.17343v2
arXiv:2607.17343v2 Announce Type: replace
Abstract: We develop an affine $\mathbb F_2$ framework for structured signings of regular graphs. A family-averaging identity converts even spectral moments into parity-weighted closed-walk counts supported on the span of prescribed short even cycles, while a kernel-averaged Ihara identity gives the corresponding decomposition at the non-backtracking level. We give a finite-scale bounded-rank counting estimate and a conditioning corollary showing that, on bicycle-free graph sequences, any parity family of uniformly bounded codimension contains near-Ramanujan signings whenever the corresponding random-signing theorem applies. The latter is a transfer statement rather than a new concentration theorem. Finally, on $C_n(1,2)$ for even $n\ge10$, the quadrilateral-unbalanced family has exactly four switching classes and its twisted classes attain $\rho_-(n)=2\sqrt{\cos^2(\pi/n)+\cos^2(2\pi/n)}$; a period-$8$ signing has spectral radius $r_*=2.793604493334841\ldots$ for every positive multiple of $8$. Thus for $n=8m\ge32$ the constrained minimum is strictly larger than a value attained by an unrestricted signing, while equality of $r_*$ with the unrestricted minimum remains conjectural.
Signed circulants at the Ramanujan bound
oai:arXiv.org:2607.18334v2
arXiv:2607.18334v2 Announce Type: replace
Abstract: For the circulant graph $C_n(1,2)$ with $n\ge10$ even, the $\F_2$ system requiring every quadrilateral to be unbalanced is consistent and its solutions form exactly four switching classes. We show that the class containing the signing which is $+1$ on step-$1$ edges and $(-1)^i$ on step-$2$ edges has spectrum $\{\pm2\sqrt{\cos^2\theta_k+\cos^2 2\theta_k}\}$ and spectral radius exactly $2\sqrt2$, well below the Kesten bound $2\sqrt3$; that the quadrilateral system is equivalent to alternating triangle fluxes, so that the four classes are coordinatized by $(\tau_0,\alpha)$ and the spectral radius depends only on the Hamilton-cycle holonomy $\alpha$; and that the two twisted classes attain $\rho_-(n)=2\sqrt{\cos^2(\pi/n)+\cos^2(2\pi/n)}<2\sqrt2$. Exhaustive enumeration of all $2^{n+1}$ switching classes for $n\in\{8,10,12,14,16,18\}$ shows that $\rho_-(n)$ is the global minimum in every case, and we conjecture this for all even $n$; the lower bound is a flux-minimization statement in the sense of Lieb's flux-phase theorem. For odd $n$ the quadrilateral system is inconsistent.
Imaging through rough interfaces: The shower curtain effect
oai:arXiv.org:2607.18947v2
arXiv:2607.18947v2 Announce Type: replace
Abstract: The quality of an image observed through a scattering layer, such as a shower curtain, depends strongly on the relative position of the scattering layer between the object and the observer. This well-known phenomenon is commonly referred to as the shower curtain effect. When the scattering layer is placed close to the observer, the image is strongly degraded, whereas if it is located close to the object, the object may still be observed with relatively high resolution. Previous analyses of the shower curtain effect have primarily modeled the scattering layer as a section of a random medium. In this work, we present a new analysis in which the scattering layer is modeled instead as a rough interface, a description that arises naturally in many physical configurations. Within this framework, we derive explicit characterizations of both the image resolution and the signal-to-noise ratio, and determine how these quantities depend on the statistical properties of the rough interface and on its relative location between the object and the observer.
Nuancing the uniqueness of $q$-rationals
oai:arXiv.org:2607.22308v2
arXiv:2607.22308v2 Announce Type: replace
Abstract: We prove uniqueness of $q$-rational numbers up to conjugacy, using character varieties. Despite the uniqueness, we exhibit a two-parameter family of deformations of rationals with a modular symmetry. We prove that there are exactly two deformations which deliver the usual $q$-integers: the original $q$-rationals defined by Morier-Genoud and Ovsienko, and another new one. Although the new family can be obtained by conjugacy from the old one, new positivity properties appear. In addition, this new family provides a direct computation of the Jones polynomial of rational knots.
Ramanujan-Type Series of Signature 2: Analytical Evaluation via Degree-2 Transformations and Associated Harmonic Expansions
oai:arXiv.org:2607.24867v4
arXiv:2607.24867v4 Announce Type: replace
Abstract: We provide an explicit analytical evaluation of the known rational Ramanujan-type series for the theory of signature 2. Focusing on the singular moduli $k_r$ for $r \in \{2, 3, 4, 7\}$, we demonstrate that the underlying elliptic identities can be established through modular transformations of degree 2. In particular, we showcase a family of rational harmonic Ramanujan-type series for $1/\pi$ involving higher-degree polynomials
Puncture-Forgetting Maps for Measured Foliations and Applications in Teichm\"uller Space and Complex Dynamics
oai:arXiv.org:2607.27552v2
arXiv:2607.27552v2 Announce Type: replace
Abstract: We introduce puncture-forgetting maps for measured foliations and investigate their relations with mapping class groups, Teichm\"uller spaces, and extremal length. To this end, we develop the notions of cube complexes of pre-homotopic multicurves and tree coordinate systems on CAT(0) cube complexes. As an application to the dynamics of post-critically finite rational maps on the Riemann sphere, we obtain a partial result toward the finite curve attractor conjecture posed by Kevin Pilgrim. We also apply these methods to uncover a relation between horospheres and geodesic flows in the universal curve over Teichm\"uller space.
A MATLAB Tool for the Stable Generation of Matrix Polynomial Evaluation Schemes with Two-Product Savings
oai:arXiv.org:2607.28286v4
arXiv:2607.28286v4 Announce Type: replace
Abstract: Computing numerical approximations of matrix functions frequently relies on the efficient evaluation of high-degree matrix polynomials. Although computational bounds are historically governed by the Paterson--Stockmeyer (PS) method, recent theoretical developments have demonstrated the viability of evaluation schemes that eliminate two matrix products ($2M$). Existing literature documents stable instances of this $2M$ reduction only for isolated cases, such as specific degrees of Taylor approximations for the matrix exponential and the matrix logarithm. However, a generalized approach for arbitrary polynomials remains unestablished. To address this limitation, this work presents a software-driven procedure that extends these computational savings to polynomials of degrees $m \in \{18, 21, 24, 26, 27, 28\}$ and all $m \ge 30$, requiring primarily a non-zero leading coefficient. Since the underlying evaluation coefficients must be determined by solving systems of nonlinear equations (SNEs), selecting a numerically stable solution set is critical. We introduce an automated verification routine designed to filter and validate robust coefficient sets for floating-point execution. The primary contribution is a MATLAB implementation leveraging variable precision arithmetic to handle the underlying SNEs, verify stability, and project precision bounds. Numerical experiments involving various matrix functions verify that the developed implementation preserves or, in some instances, enhances the numerical accuracy of the classic PS method, while systematically achieving the theoretical reduction of $2M$.
Hard unknots are often easy from a different perspective
oai:arXiv.org:2607.28772v2
arXiv:2607.28772v2 Announce Type: replace
Abstract: Recent attempts to train AI models to recognize knots have produced millions of ``hard'' unknot diagrams resistant to simplification by Reidemeister moves, pass moves, or random walks on the Reidemeister graph. Most are easy for the methods based on triangulations of the knot complement found in Regina and SnapPy, but more difficult for simplifiers based on diagrammatic moves. We present ReAPR (Re-embedding And Pass Rerouting), a semi-diagrammatic simplifier which alternates pass-move reduction on a knot diagram with a geometric re-embedding step. The re-embedding minimizes the total variation of a height function on the diagram subject to crossing constraints. We show that for an n-crossing diagram, the minimum total variation is 2(n-k), where k is the least number of crossings one must virtualize to make the diagram virtually alternating; this is a combinatorial invariant of the diagram. Reprojecting the resulting embedding from a new viewpoint reveals previously hidden simplifications. ReAPR successfully simplifies every published hard-unknot example we are aware of, as well as several new collections (~2.6 million examples in total) in under 30 seconds of total CPU time, making it as effective as the best non-diagrammatic unknot recognition method (SnapPy) and about 60x faster. ReAPR is just as effective at simplifying diagrams of random knots, where it is regularly used to simplify diagrams with tens of millions of crossings.
Recovery of a Null Form in the Wave Equation from Scattering Data
oai:arXiv.org:2607.28917v3
arXiv:2607.28917v3 Announce Type: replace
Abstract: We use highly oscillatory geometric optics solutions to solve the inverse problem for the system
$$
\square \begin{bmatrix} u^{(1)}\\ u^{(2)}\\ \vdots\\ u^{(n)}\end{bmatrix} = \sum_{k\geq l=1}^n \left(Q_0(u^{(k)},u^{(l)}) \begin{bmatrix} q_{1kl}\\q_{2kl}\\\vdots\\q_{nkl} \end{bmatrix} + \sum_{i>j=1}^d Q_{ij}(u^{(k)},u^{(l)})\begin{bmatrix} p_{1ijkl} \\ p_{2ijkl} \\ \vdots \\ p_{nijkl} \end{bmatrix}\right),
$$
where $Q_0$ and $Q_{ij}$ are the symmetric and anti-symmetric bilinear null forms. We present solutions in both the linear and weakly nonlinear regimes. In the linear regime, we show that the coefficients of order $h^3$ determine an injective light-ray transform of a vector field which depends on the coefficients $q_{rkl}, p_{rijkl}$. In the weakly nonlinear regime, we see that the coefficients of order $h$ determine the non-abelian light ray transform for matrices associated with the coefficients. While we do not have an injectivity result for this case, we do have one if we assume the coefficients do not depend on the time variable $x_0$, as our coefficients instead determine an injective non-abelian X-ray transform.
P\'{o}lya's conjecture for higher-dimensional Neumann balls
oai:arXiv.org:2607.29305v2
arXiv:2607.29305v2 Announce Type: replace
Abstract: We prove P\'olya's conjecture for the Neumann eigenvalues of the Laplacian on Euclidean balls in dimensions three and higher. The proof further develops the approach introduced in our earlier work on the two-dimensional case and on Dirichlet eigenvalues in arbitrary dimensions. The main difficulty in the higher dimensional Neumann case is that one has to estimate zeros of the derivatives of ultraspherical Bessel functions, rather than of the usual Bessel functions. For low-lying eigenvalues, we use variational estimates involving dimension-dependent test functions, which is a novel ingredient allowing us to control a larger dimension-scaled frequency range. Other components of the proof include phase-function bounds, lattice-point counting techniques, and computer-assisted arguments.
From Eigenvalues/Eigenvectors of Hypermatrices to Canonical Form of Tensors
oai:arXiv.org:2608.00728v2
arXiv:2608.00728v2 Announce Type: replace
Abstract: The rings of non-square matrices based on the dimension-keeping (DK-) semi-tensor product (STP) are considered, where a virtual identity is introduced to make each ring possess an identity element. Using this ring structure, four kinds of eigenvalues/eigenvectors (EEs) of hypermatrices, namely, the ordinary EE (OEE), the universal EE (UEE), the diagonal EE (DEE), and the horizontal diagonal EE (HDEE), are proposed with respect to preassigned matricizings. The Kronecker canonical form (KCF) of non-square pencils is used to calculate the OEEs; the monic decomposition algorithm (MDA) is then applied to extract the UEEs, DEEs, and HDEEs from them. Finally, the KCF of non-square pencils is further used to construct the KCF of a tensor, which reveals all the EEs of the tensor. The KCF of a tensor not only shares the main properties of the Jordan canonical form of matrices but also includes the latter as a special case. Consequently, all the EEs of a hypermatrix are straightforwardly computable via its KCF.
Chevalley-Eilenberg cohomology of linearly reductive Lie algebras in the Verlinde category
oai:arXiv.org:2608.01576v2
arXiv:2608.01576v2 Announce Type: replace
Abstract: Let $k$ be an algebraically closed field of characteristic $p\geq 5$, and let $\mathrm{Ver}_p^+$ be the even part of the Verlinde fusion category $\mathrm{Ver}_p$, the semisimplification of $\mathrm{Rep}_k(\mathbb Z/p)$. Let $\mathfrak g$ be a linearly reductive Lie algebra in $\mathrm{Ver}_p^+$, i.e., one whose finite-dimensional representations are semisimple. A basic class of examples is obtained by semisimplifying a simple Lie algebra over $k$ equipped with the action of $\mathbb Z/p$ by a principal unipotent element, when $p$ exceeds its Coxeter number. We prove that $\mathfrak g$ is invariantless, i.e., that the unit object is not a summand of $\mathfrak g$. For odd $m$ with $3\leq m\leq p-2$, set $\mathfrak{g}_m:=\operatorname{Hom}_{\mathrm{Ver}_p^+}(L_m,\mathfrak g)$ and $E_{\mathfrak g}:=\bigoplus_{3\leq m\leq p-2,\ m\ {\rm odd}}\mathfrak g_m^{(1)}[m]$, where $(1)$ denotes Frobenius twist. Our main result is an isomorphism of graded algebras $H^\bullet_{\mathrm{CE}}(\mathfrak g)\cong\bigwedge^\bullet E_{\mathfrak g}^*$. We also identify this algebra with the de Rham cohomology $H^\bullet_{\mathrm{dR}}(G)$ of the group scheme $G=\exp(\mathfrak g)$ and show that the induced graded Hopf algebra structure agrees with the standard one on the exterior algebra. Moreover, if $V$ is a simple $\mathfrak g$-module on which $\mathfrak g$ acts nontrivially, then $H^\bullet_{\mathrm{CE}}(\mathfrak g,V)=0$. Hence for every finite-dimensional $\mathfrak g$-module $V$ one has $H^\bullet_{\mathrm{CE}}(\mathfrak g,V)\cong\bigwedge^\bullet E_{\mathfrak g}^*\otimes V^{\mathfrak g}$. This recovers the theorem of Borel and Chevalley on the cohomology of complex semisimple Lie algebras and its analogue in sufficiently large positive characteristic. We also prove similar results for relative cohomology.
On a question by G. Navarro on the character field generation of odd-degree characters
oai:arXiv.org:2608.02266v2
arXiv:2608.02266v2 Announce Type: replace
Abstract: In [Publ. Mat. 67 (2023), no. 1, 173-198], G. Navarro asked whether the character field of an odd-degree character of a finite group is generated by a single character value. We show by explicit examples that the answer is negative in general.
Barbell twists are natural
oai:arXiv.org:2608.02801v2
arXiv:2608.02801v2 Announce Type: replace
Abstract: For any oriented smooth $4$--manifold $X$ diffeomorphic to $(S^2\times D^2)^{\natural n}$ ($n\geq0$), the author establishes a natural isomorphism of abelian groups: $$\mathrm{Mod}(X,\partial X)\cong \mathrm{Mod}(D^4,\partial D^4)\times\wedge^2H_2(X;\mathbb{Z}),$$ concerning the (smooth) boundary-fixing mapping class group of $X$. For $n=2$, the Budney--Gabai barbell twist $\varphi\in\mathrm{Mod}(\mathcal{N},\partial\mathcal{N})$ is identified with a generator of the factor subgroup $\wedge^2H_2(\mathcal{N};\mathbb{Z})\cong\mathbb{Z}$. Up to boundary-fixing diffeotopy, the barbell spines of $\mathcal{N}$ are completely classified by the bases of $H_2(\mathcal{N};\mathbb{Z})\cong\mathbb{Z}^2$, forming a homogeneous set modeled on the group $\mathrm{GL}(H_2(\mathcal{N};\mathbb{Z}))\cong\mathrm{GL}(2,\mathbb{Z})$. Any barbell spine of $\mathcal{N}$ gives rise to an implanted barbell twist equal to $\varphi$ or $\varphi^{-1}$ in $\mathrm{Mod}(\mathcal{N},\partial \mathcal{N})$, according to the sign of the homological basis orientation.
Liouville Rigidity and Universal Spacelikeness Estimates for a Lorentzian Prescribed Mean Curvature Equation
oai:arXiv.org:2608.07231v3
arXiv:2608.07231v3 Announce Type: replace
Abstract: We prove a Liouville theorem for nonnegative entire strictly spacelike solutions of \[ \operatorname{div}\left(\frac{\nabla u}{\sqrt{1-|\nabla u|^2}}\right)+u^p=0 \qquad\text{in }\mathbb R^n. \] If $n=2$ and $p\geqslant1$, or if $n\geqslant3$ and $1\leqslant p\leqslant\frac{n+2}{n-2}$, every nonnegative $C^2$ solution satisfying $|\nabla u|<1$ vanishes identically. This resolves, in the classical strictly spacelike setting, the nonexistence conjecture of Byeon, Ikoma, Malchiodi, and Mari, including the critical endpoint. No symmetry, decay, integrability, or uniform spacelike gap is assumed. A key ingredient is a universal bound, valid for every $n\geqslant2$ and $p\geqslant1$, for both the height $u$ and the Lorentz factor $(1-|\nabla u|^2)^{-1/2}$. Then a weighted trace-free tensor identity from the invariant-tensor approach, combined with a common cutoff estimate, a core-counting argument and Souplet-type feedback inequality, yields a unified proof in the subcritical and critical ranges. The upper endpoint is sharp for $n\geqslant3$, as supercritical radial solutions exist. The theorem also gives half-space rigidity for complete spacelike hypersurfaces, including at the critical exponent.
Superharmonicity of the fractional ground state
oai:arXiv.org:2608.11686v2
arXiv:2608.11686v2 Announce Type: replace
Abstract: We prove that the positive ground state $u$ of the fractional Laplacian $(-\Delta)^s$, $s\in (0,1)$, on an arbitrary open set $\Omega$ satisfies $-\Delta u>\lambda_s(\Omega)^{1/s}u$ in $\Omega$. In one dimension, this yields strong concavity and settles a conjecture of Ba\~{n}uelos, Kulczycki, and M\'{e}ndez-Hern\'{a}ndez. We establish a hierarchy of pointwise inequalities comparing different powers of the Laplacian. In balls, these inequalities give a quantitative Hessian estimate for $\log u$, and hence log-concavity in every dimension. By contrast, we show that log-concavity fails in general convex domains by constructing counterexamples in sufficiently thin ellipsoids. We also extend the superharmonicity principle to ground states of $\psi(-\Delta)$ for complete Bernstein functions $\psi$.
Computing Jet Differentials and the Green-Griffiths-Lang Conjecture for Complements of Smooth Plane Curves
oai:arXiv.org:2608.20479v2
arXiv:2608.20479v2 Announce Type: replace
Abstract: We study the Green-Griffiths-Lang Conjecture for complements of smooth plane curves. We develop an effective method for computing a family of negatively twisted invariant logarithmic 2-jet differentials. By realizing the first logarithmic jet space as a hypersurface in $\mathbb{P}^2 \times \mathbb{P}^2$, we encode these jet differentials in a finitely generated bigraded module that can be computed explicitly. We use this description to give a computational criterion for the Green-Griffiths-Lang Conjecture and verify it for several families of smooth plane curves. In examples with sufficiently many independent jet differentials, we determine the exceptional locus explicitly.
Almost sure upper bound for sums of random multiplicative functions and critical chaos
oai:arXiv.org:2608.21354v2
arXiv:2608.21354v2 Announce Type: replace
Abstract: Let $f$ be a Steinhaus or Rademacher random multiplicative function. We use methods from the theory of critical chaos to improve on the best known upper bound for partial sums of random multiplicative functions. In particular, our results imply that for any $\varepsilon>0$, almost surely $$ \Big|\sum_{n\le x}f(n)\Big|
\ll_{\varepsilon}\sqrt{x}(\log_2x)^{1/4}(\log_3x)^{1+\varepsilon}. $$ This proves in a strong form a conjecture of Harper on large fluctuations of partial sums of random multiplicative functions, and determines the exact corresponding logarithmic exponent.
A Note on the Measure of Vector and Pythagorean Theorem
oai:arXiv.org:2608.24943v2
arXiv:2608.24943v2 Announce Type: replace
Abstract: Why the square? We present a geometry-axiom-free derivation of the Pythagorean theorem and the square at its core, establishing their algebraic origin from within the bare vector-space framework. Such concepts as the (right) angle, rotation, inner product, orthogonality etc also emerge as a logical construct rather than taken as given. They are necessitated by the square, and the ensuing theory, in turn, $\textit{canonically}$ stems from a $\textit{single}$ definitional primitive $-$ the ($\mathbb R^{\vcenter{\hbox{$\scriptscriptstyle+$}}}\!$-quantitative) invariant $\mathcal Q$-measure of a vector. This provides the core of an algebraic justification for Euclidean geometry. Equally important, these findings account (also canonically) for the complex modulus-squared $p = |\mathfrak a|^2$ $-$ the quantum Born rule $-$ and point out what is even admissible for being quantitatively interpreted. The linear structure and its endomorphisms are rigid in the sense that the $\textit{well-defined}$ interpretable turns out to be, up to gauge $\mathcal Q {\,\to\,} \mathrm{const} {\,\vcenter{\hbox{$\scriptstyle\times$}}\,} \mathcal Q$, the unique gauge-invariant measure $\mathcal Q=|\hspace{-0.18em}| {\cdot}{\cdot}{\cdot} |\hspace{-0.18em}|^2$; independently of the field $\mathbb R$ or $\mathbb C$.
Discrete dynamics of Eratosthenes sieve
oai:arXiv.org:2608.26384v3
arXiv:2608.26384v3 Announce Type: replace
Abstract: We study Eratosthenes sieve as a discrete dynamic system. At each stage of the sieve there is a cycle of gaps ${\mathcal G}(p^\#)$ of length $\phi(p^\#)$ and span $p^\#$. There is a recursion ${\mathcal G}(p_k^\#)\longrightarrow {\mathcal G}(p_{k+1}^\#)$ that creates the next cycle from the current one.
If we take initial conditions from the cycle ${\mathcal G}(p_0^\#)$, then for all constellations of span $|s| < 2p_1$, including gaps $g < 2p_1$, the driving terms of various lengths form Markov chains. These yield {\it exact} models for the populations $n_s(p_k^\#)$ for all further stages of the sieve.
If $s$ is an admissible constellation of length $J$, then its population $n_{s,J}(p^\#)$ grows as $\Theta \left( \prod (q-J-1)\right)$. So we factor out the superexponential growth to obtain the exact model for the relative population $w_s(p_k^\#)$ of the constellation $s$ across all further stages of the sieve. $$ w_{s,J}(p_k^\#) \; = \; n_{s,J}(p_k^\#) \, / \, \prod_{J+1 < p \le p_k} (p-J-1) $$ The asymptotic value of the relative population is a constant ${w_{s,J}(\infty) \ge 1}$ that depends only on the odd prime factors that divide a span in $s$.
Assuming that the instances of a constellation $s$ are approximately uniformly distributed in ${\mathcal G}(p_k^\#)$, we develop first-order estimates of the number of instances $s$ that would occur in the interval of survival $\Delta H(p_k) = (p_k^2, p_{k+1}^2]$. We define a statistic $\eta_s(p_k)$, the quadratic density of the constellation $s$ over the interval $\Delta H(p_k)$. We show that the first-order estimates $\widehat{\eta_g}(p)$ for prime gaps agree with samples up to $5.677\,E14$.
Conformal Prediction Through the Lens of Hypothesis Testing: Universality, Impossibility, and Optimality
oai:arXiv.org:2608.27310v2
arXiv:2608.27310v2 Announce Type: replace
Abstract: The connections between conformal prediction and permutation tests are already widely-known in the literature. Some authors motivate conformal prediction by saying that it computes a permutation p-value for the hypothesis $H_0 : Y_{n+1} = y$, and then inverts this to form a prediction set for $Y_{n+1}$ (i.e., accepts all values $y$ into the prediction set for which the p-value is large). In this paper, we examine an alternative view, which is less well-known: we again cast conformal prediction via the inversion of a permutation test, but for the null of exchangeability of the joint distribution of the $n+1$ samples. This change in perspective, while simple, adheres more closely to traditional formalization in hypothesis testing, which offers several benefits. First, we use the duality between conformal sets and testing to show that foundational universality and impossibility results in the conformal prediction literature can be reproduced directly using classical hypothesis testing theory (due to Neyman, Lehmann, Scheff{\'e}, Kraft, Le Cam, and others). Furthermore, we show that an optimality result for conformal prediction can be derived using standard Neyman-Pearson theory: for any joint distribution of the covariates and response $X,Y$, and any sample size, the optimal method for prediction sets---delivering the most efficient set among all methods with valid coverage for exchangeable distributions---is a conformal predictor whose score is the inverse conditional density of $Y|X$.
Entropy and domination for quasi-Hitchin representations
oai:arXiv.org:2608.27939v2
arXiv:2608.27939v2 Announce Type: replace
Abstract: Let $S$ be a closed oriented surface of genus $g\geq 2$. We consider an $n$-pleated representation $\rho: \pi_1(S) \to \mathrm{PSL}_n(\mathbb{C})$ obtained by bending a Hitchin representation $\rho_0:\pi_1(S) \to \mathrm{PSL}_n(\mathbb{R})$ along a maximal geodesic lamination. The space of such $n$-pleated representations was recently introduced by Maloni-Martone-Mazzoli-Zhang who provided a parametrization via shear-bend cocycles. Our main result is that $\rho_0$ dominates $\rho$ in the Hilbert length spectrum and the translation-length spectrum, with a strict domination for $\textit{most}$ curves, that we call $\textit{statistical}$ domination. Using this, we prove some entropy rigidity results: namely, the Hilbert entropy of any quasi-Hitchin representation in the bending fiber is strictly greater than that of $\rho_0$, the same for the translation length entropy when $\rho_0$ is $n$-Fuchsian, and in the latter case a new proof that for hyperconvex representations the Hausdorff dimension of the full limit set increases. The proof involves analyzing the weighted planar networks for finite approximants of the monodromy matrix, and establishing a strict matrix domination for generic monodromy using the equidistribution of closed geodesics in the unit tangent bundle of $S$.
Parameter-uniform Robin uniqueness on large dilations
oai:arXiv.org:2608.30211v2
arXiv:2608.30211v2 Announce Type: replace
Abstract: Berestycki and Graham proved large-dilation uniqueness for bounded positive solutions of \[ -\Delta u=f(u)\quad\hbox{in }\kappa\Omega, \qquad u+\alpha\partial_\nu u=0\quad\hbox{on }\partial(\kappa\Omega),\] when $\alpha$ is fixed, and remarked that the dilation threshold should not depend on $\alpha$. We show that it does not, including at the Dirichlet and Neumann endpoints, for possibly unbounded uniformly $C^{2,\gamma}$ domains. The half-space linearizations have a common positive spectral gap over the compactified boundary parameter. The Dirichlet end requires a separate compactness argument because the Robin coefficient diverges there. After rescaling by its inverse, the equation has a harmonic half-space limit. A Liouville lemma rules out a nonzero limiting trace, and the resulting endpoint compactness, together with the half-space gap and localization, yields the uniform uniqueness statement. When $\partial\Omega\neq\varnothing$, we further obtain convergence of the spectral bottom to its half-space value with error $O(\kappa^{-1/2})$. For bounded $C^{4,\gamma}$ domains the boundary layer also has a first mean-curvature correction, with remainder $O(\kappa^{-1-\gamma}+\kappa^{-2})$ on each fixed boundary strip.
Inverse Semiclassical Scattering at Fixed Energy
oai:arXiv.org:2609.02175v2
arXiv:2609.02175v2 Announce Type: replace
Abstract: We investigate inverse scattering at a fixed energy for semiclassical
Schr\"odinger operators with smooth potentials. For compactly supported
potentials satisfying a natural virial condition, we prove that
$
\liminf_{h\to0}
\|S_1(\lambda,h)-S_2(\lambda,h)\|<\sqrt{2}
$
implies $V_1=V_2$, provided the fixed energy $\lambda$ lies above both
potentials. We then consider radial short-range repulsive potentials.
Under a monotonicity assumption on the radial force, we show that the
semiclassical differential cross section at a single fixed energy, up
to $o(1)$ as $h\to0$, determines the potential throughout the
classically accessible region. Finally, we obtain an analogous rigidity
result for nontrapping compactly supported perturbations of the Euclidean
metric under a strict convexity assumption.
On the counting function of square-full numbers
oai:arXiv.org:2609.02327v2
arXiv:2609.02327v2 Announce Type: replace
Abstract: We study the distribution of square-full numbers under the assumptions of Riemann hypothesis and that the zeros of $\zeta(s)$ are simple. Thus the error term is improved to a considerable extent with an extra main term.
Viscosity Supersolution Barriers to a Non-local Free Boundary Problem
oai:arXiv.org:2609.02381v2
arXiv:2609.02381v2 Announce Type: replace
Abstract: We study a parabolic obstacle partial integro-differential equation (PIDE) with a dynamically moving bilateral free boundary. This type of problem arises in the mathematical modeling of speculative asset bubbles with L\'evy jump processes. We investigate the existence of viscosity supersolution barriers within the class of functions exhibiting linear asymptotic growth ($O(|g|)$ at infinity) across three distinct parametric regimes. Our intention is to determine when such a barrier can be constructed by analyzing the balance between the stabilizing local drift, defined by the discount rate $r$ and mean-reversion $\rho$, and the non-local jump dispersion, characterized by the large-jump intensity $\lambda$ and Lipschitz constant $L_\gamma$. First, when $r+\rho > \sqrt{\lambda}L_\gamma$, we prove the global existence of non-negative viscosity supersolutions. Second, in the deficit regime ($r+\rho < \sqrt{\lambda}L_\gamma$), we construct non-negative supersolutions for every finite horizon $T>0$. However, by utilizing an asymptotic slope envelope, we prove that these barriers cannot be bounded by a fixed, pre-determined linear growth ceiling $C_{\max}$ across arbitrarily large horizons; rather, the required linear growth constant must inflate exponentially as the horizon length increases. Finally, at the exact critical boundary ($r+\rho = \sqrt{\lambda}L_\gamma$), we show the existence of a supersolution with a uniform spatial growth bound, provided an additional spatial no-crossing condition holds on the negative tail.
The universal moduli space of non-degenerate $\mathbb{Z}/2\mathbb{Z}$ harmonic spinors
oai:arXiv.org:2609.02848v2
arXiv:2609.02848v2 Announce Type: replace
Abstract: This article equips the universal moduli spaces of non-degenerate $\mathbb{Z}/2\mathbb{Z}$ harmonic spinors and eigenspinors with tame Fr\'echet manifold structures and proves that their natural projections to the corresponding parameter spaces are uniformly Fredholm. A unified construction yields the deformation theories of harmonic spinors and eigenspinors in dimension three and of chiral harmonic spinors in dimension four, recovering earlier work of Donaldson, Parker, and Takahashi. As an application, a deformation theory for non-degenerate $\mathbb{Z}/2\mathbb{Z}$ harmonic self-dual $2$-forms in dimension four is established.
Learning Informative Prior with Infinite-Dimensional Continuous Normalizing Flow for Bayesian Inverse Problem
oai:arXiv.org:2609.03343v2
arXiv:2609.03343v2 Announce Type: replace
Abstract: This paper addresses infinite-dimensional Bayesian inference for inverse problem of partial differential equations with model parameters in infinite-dimensional Hilbert space. To effectively incorporate prior information, we propose a novel continuous normalizing flows based infinite-dimensional model. Specifically, by introducing a well-defined neural ordinary differential equation in infinite-dimensional space, a simple reference measure can be transformed into a more complex measure which encodes the prior information. A corresponding theoretical framework is established to ensure the well-posedness of our proposed Bayesian prior in infinite-dimensional space. We also provide training methods of the prior for two distinct data settings, along with two sampling algorithms for the resulting Bayesian posterior. The proposed framework is applied to three representative inverse problems: the simple smooth inverse problem, inverse scattering problem, and the inverse heat conduction problem. Numerical experiments support the theoretical analysis and demonstrate the efficiency of the proposed algorithms.
Real-rootedness and interlacing for parking functions and Chow polynomials
oai:arXiv.org:2609.05131v2
arXiv:2609.05131v2 Announce Type: replace
Abstract: We prove real-rootedness for the Chow polynomials of the noncrossing partition lattices by transferring tieless parking functions to finite-alphabet Smirnov words and applying an interlacing-preserving transition of M.~Leander. We also derive a triangular recurrence for peaks and ties and identify the peakless-tieless descent polynomial as the Narayana polynomial. For the toric $g$-contributions of Ehrenborg--Hetyei--Readdy, we exhibit a fixed-row common interlacer and establish real-rootedness of all nonnegative row sums. Individual real-rootedness follows in particular; Q.~Xiao also proved it by a different differential recurrence. We also give a second proof of the individual statement, by finite Schur--Szeg\H{o} convolution, that does not use the common interlacer. These results prove Conjecture~4.2 of Xiao and Conjecture~11.2 of Ehrenborg--Hetyei--Readdy, with consequences for weakly 123-avoiding parking functions. We also prove real-rootedness for the image-size polynomial on all parking functions and for the ascent and descent polynomials of four two-pattern-avoiding classes.
Lonely Runner Relations
oai:arXiv.org:2609.06259v2
arXiv:2609.06259v2 Announce Type: replace
Abstract: We study the Lonely Runner Conjecture (LRC), conceived by J\"org M. Wills in the 1960's: Given positive integers $n_1, n_2, \dots, n_k$, there exists a positive real number $t$ such that for all $1 \le j \le k$ the distance of $t \,n_j$ to the nearest integer is at least $\frac{ 1 }{ k+1 }$. We prove that for any counterexample or tight instance $\mathbf{n}$ of LRC, $\mathbf{m} \cdot \mathbf{n} = 0$ for some $\mathbf{m} \in \mathbb{Z}^k$ with $0 < \| \mathbf{m} \|_1 \le \min(2k+3, \ \frac{ k+1 }{ k-1 } \mathrm{flt}(k))$ where $\mathrm{flt}(k)$ denotes Khinchin's (1948) flatness constant limiting the lattice width of a $k$-dimensional convex body without interior integer points. In other words, potential counterexamples to LRC lie on a finite set of hyperplanes in the parameter space. Our proofs use Fourier analysis and a geometric reformulation of LRC, and our results generalize to the situation of shifted lonely runners of varying measures of loneliness. Our results imply and generalize a theorem of Czerwi\'nski (2012) that when we choose $\mathbf{n}$ at random then, with probability tending to 1, the measure of loneliness $\frac{1}{ k+1 }$ can be replaced by $\frac 1 2 - \epsilon$.
On the Roots of Connected Domination Polynomials
oai:arXiv.org:2609.06569v5
arXiv:2609.06569v5 Announce Type: replace
Abstract: We determine the closure of the connected domination roots. The main tool is a substitution formula for the lexicographic product with a complete graph, $D_c(G[K_n],x)=D_c(G,(x+1)^n-1)$, proved in Theorem~\ref{thm:cd}. Combined with two explicit families of seed roots---the real roots of the cycles $C_n$ and the real roots of the joins $C_m\vee C_n$ lying in $(-1,0)$---this formula gives the two main results: the closure of the real connected domination roots is $(-\infty,0]$, and the closure of all connected domination roots is the whole complex plane. These are the connected domination analogues of the root-density theorems of Brown and Tufts and of Brown and Beaton for the ordinary domination polynomial.
The maximum relaxation time of a random walk on regular graphs
oai:arXiv.org:2609.06818v2
arXiv:2609.06818v2 Announce Type: replace
Abstract: We establish sharp quadratic bounds on the relaxation time of simple random walk on connected regular graphs, with leading constants $3/(2\pi^2)$ and $1/\pi^2$ for even and odd orders, respectively. This resolves a longstanding conjecture known as Aldous--Fill spectral gap conjecture (2002). We also prove uniqueness and stability theorems for the corresponding cubic and quartic chains, and settle the quartic uniqueness conjecture posed by Abdi, Ghorbani, and Imrich (2021) and by Abdi and Ghorbani (2023). We establish sharp bounds on algebraic connectivity under minimum-degree and regularity constraints and prove the conjectured chain structure of the minimisers, identifying their repeating blocks. This resolves a longstanding conjecture of Guiduli and Mohar (1996) and a structural conjecture of Abdi and Ghorbani (2024). Our quantitative stability theorem shows that nearly minimum algebraic connectivity forces nearly maximum diameter, proving their diameter conjecture. We further obtain sharp relaxation-time bounds in terms of edge-connectivity. For nonregular graphs, we establish sharp bounds for the gap between maximum degree and adjacency spectral radius, confirming a conjecture of Liu (2024). As applications, we prove the sharp bounds on hitting and commute times conjectured by Aldous and Fill (2002) for regular graphs.
$\vec M$ Versions of Andrews-Gordon Identities Revisited
oai:arXiv.org:2609.07490v2
arXiv:2609.07490v2 Announce Type: replace
Abstract: In this paper, we revisit the work of Berkovich and Paule on variants of the Andrews-Gordon identities. We find a generalization of their principal polynomial identity and, as a consequence, obtain new $\vec M$ versions of the Andrews-Gordon identities. More precisely, for non-negative integers $M_1\ge M_2\ge M_3\ge\ldots\ge M_\nu$, we show that a broad class of multi-sums of the form $$ \sum\limits_{\mathbf n} \frac{ q^{ N_1^2+\cdots+N_\nu^2 - M_1N_1 - M_2N_2 - \cdots - M_\nu N_\nu } }{ (q)_{n_1}(q)_{n_2}\cdots(q)_{n_\nu} } $$ can be expressed as a sum of products. Above, we use standard notations for $q$-Pochhammer symbols and $N_i = \sum\limits_{k=i}^{\nu}n_k$ for $1\le i\le \nu$.
High-Dimensional Families of Minimal Surfaces of Arbitrary Genus in Round Spheres
oai:arXiv.org:2609.09016v2
arXiv:2609.09016v2 Announce Type: replace
Abstract: We prove the existence of arbitrarily high-dimensional families of minimal surfaces of any prescribed genus and conformal structure in even-dimensional round spheres. More precisely, let $n\geq2$ and let $\Sigma$ be any closed Riemann surface of genus $g$. We construct a sequence of degrees $d_\ell\to+\infty$ such that, for every $\ell$, there exists a complex manifold of complex dimension $2d_\ell+n^2(1-g)$ consisting of linearly full branched superminimal immersions of $\Sigma$ into $\mathbb S^{2n}$ of degree $d_\ell$. In particular, this yields parametrized families of linearly full branched minimal immersions whose dimensions tend to infinity.
New Generalizations of Two Ramanujan Series for $1/\pi$
oai:arXiv.org:2609.09209v4
arXiv:2609.09209v4 Announce Type: replace
Abstract: By utilizing two hypergeometric summation identities we extend two well-known Ramanujan series for $1/\pi$ by making each of them a member of an infinite family of series. We also find the corresponding families involving harmonic numbers and odd harmonic numbers.To further illustrate our method we derive families of Ramanujan-like series associated with a hypergeometric series derived by Lavoie and two hypergeometric series from Bailey's book.
An approximate counterexample to the Barker--Larman problem in dimension $4$
oai:arXiv.org:2609.10257v2
arXiv:2609.10257v2 Announce Type: replace
Abstract: The Barker--Larman problem asks if a convex body $K \subseteq \mathbb R^n$ containing the Euclidean ball $\mathbb B_n$, such that all the sections of $K$ by hyperplanes tangent to $\mathbb B_n$ have constant $(n-1)$-dimensional volume, must necessarily be a Euclidean ball.
In this paper we show a result pointing to a negative answer in dimension $4$.
Taking $\lambda_0 = 4 \sqrt{3}\pi$ and any $N \in \mathbb N$, we obtain the existence of a family of convex bodies $K_{\lambda,N}$ with $\lambda \in (\lambda_0-r_N, \lambda_0 + r_N)$, such that the sections of $K_{\lambda,N}$ by hyperplanes tangent to the Euclidean ball, have area within $c |\lambda - \lambda_0|^{N+1}$ of $\lambda$, while the difference between outradius and inradius of $K_{\lambda,N}$ is larger than $C |\lambda - \lambda_0|$.
The bodies $K_{\lambda,N}$ are constructed via radial functions as
\[\rho_{K_{\lambda,N}}(t) = \cos\left( \sum_{n=0}^N \frac{(\lambda-\lambda_0)^n}{n!} \varphi_n(t) \right)^{-1},\]
where $t \in [0,2\pi), \lambda \in \mathbb R$ and $\varphi_n$ are trigonometric polynomials that can be computed explicitly.
The convergence of the inner power series when $N \to \infty$ (which is left open) would imply a negative answer to the Barker--Larman problem in dimension $4$.
As an example we obtain a convex body whose outradius and inradius differ by more than $0.176$, and the area of the sections oscillate by less than $3 \times 10^{-7}$.
$\mathrm{L}^p$-extrapolation via non-local decay estimates: theory and applications to the generalized Stokes operator with rough coefficients
oai:arXiv.org:2609.10427v2
arXiv:2609.10427v2 Announce Type: replace
Abstract: In this article, we establish $\mathrm{L}^p$-mapping properties for the generalized Stokes operator with bounded measurable coefficients on the full range of exponents that is known to be sharp for elliptic systems with rough coefficients. These include $\mathrm{L}^p$-estimates for the corresponding semigroup, its gradient and the $\mathrm{H}^\infty$-calculus, as well as $\mathrm{L}^q$-$\mathrm{L}^p$ smoothing estimates. As a key ingredient, we develop a non-local framework for $\mathrm{L}^p$-extrapolation that captures the relationship between hypercontractivity, non-local decay estimates and uniform $\L^p$-bounds.
The uniform Tur\'an density of the tetrahedron
oai:arXiv.org:2609.11802v2
arXiv:2609.11802v2 Announce Type: replace
Abstract: We prove that the uniform Tur\'an density of $K_4^{(3)}$ is equal to $1/2$. Kielak, Kr\'al', Lamaison, Liu, Shu, and Wu have recently proved the same result using combinatorial methods, while our proof is Fourier-analytic. This result answers a question of Erd\H{o}s and S\'os from the founding 1982 paper on this topic.
Classification of torsion of elliptic curves over quintic fields
oai:arXiv.org:2609.12846v2
arXiv:2609.12846v2 Announce Type: replace
Abstract: We determine all the groups that appear as the torsion group of an elliptic curve over a quintic number field. Apart from the groups that already occur infinitely often, which were determined by Derickx and Sutherland, exactly three groups occur: $\mathbb{Z}/28\mathbb{Z}$, $\mathbb{Z}/30\mathbb{Z}$ and $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/18\mathbb{Z}$. Up to isomorphism of the pair $(K,E)$, the first and the third are each realised by a single elliptic curve and the second by two curves, which are $2$-isogenous over a common quintic field. The curves realising $\mathbb{Z}/28\mathbb{Z}$ and $\mathbb{Z}/30\mathbb{Z}$ were found by van Hoeij, while the group $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/18\mathbb{Z}$ is new, and $5$ is the smallest degree in which a non-cyclic sporadic torsion group occurs. The methods improve on those developed by Derickx and Najman, and are based on Hecke sieves and the arithmetic of cuspidal divisor classes.
A note on the diameter of graphs of two-dimensional simplex codes
oai:arXiv.org:2609.13574v3
arXiv:2609.13574v3 Announce Type: replace
Abstract: Let $\Gamma^s(2,q)$ be the graph induced in the Grassmann graph by the $q$-ary simplex codes of dimension 2. For $q=4$, this graph is known to have diameter 3. We prove that the same diameter occurs for every prime power $q\geq5$. Together with the elementary cases $q=2,3$, this gives diam$\Gamma^s(2,q)=0,2,3$ for $q=2$, $q=3$, and $q\geq4$, respectively. The upper bound is obtained from a consequence of a theorem of Marshall Hall on finite abelian groups. For $q\geq5$ an explicit diagonal pair of simplex lines gives the matching lower bound; we give two proofs, one using moments and one using products. For $q\geq7 we also retain an independent counting proof. The case $q=4$ is handled separately.
The edge spectral extremal problem for odd wheels in nonzero residue classes
oai:arXiv.org:2609.13666v2
arXiv:2609.13666v2 Announce Type: replace
Abstract: For a fixed integer $k\ge 2$, let $W_{2k+1}=K_1\vee C_{2k}$ be an odd wheel graph. The fixed-size spectral extremal problem aims to determine \[
\operatorname{spex}(m,W_{2k+1}):=\max\{\rho(G): e(G)=m,\ G \text{ is } W_{2k+1}\text{-free}\}, \] where $\rho(G)$ denotes the adjacency spectral radius. Based on this problem, Yu, Li, and Peng~\cite{YLP} proposed the following conjecture: When $m-\binom{k}{2}$ is divisible by $k$ and $m$ is large, every $W_{2k+1}$-free graph of size $m$ satisfies \(
\rho(G)^2-(k-1)\rho(G)\le m-\binom{k}{2} \) with equality precisely for $K_k\vee qK_1$. Very recently, Fang, Zhai and Zhang~\cite{FangZhaiZhang} confirmed the Yu--Li--Peng conjecture for $k\ge 3$. When $m$ is large, $k\ge 3$ and $m-\binom{k}{2}$ is not divisible by $k$, the above exact problem is still open. Regarding this problem, Yu, Zhang, and Zhang~\cite{YZZ} proposed the following conjecture: Let $r$ be a nonzero remainder when $m-\binom{k}{2}$ is divided by $k$. Then $S_{k,m}$ is the unique graph among $W_{2k+1}$-free graphs of size $m$ having maximum spectral radius, where $S_{m,k}$ is obtained from $K_k\vee qK_1$ by adding a vertex $z$ and joining it to exactly $r$ vertices of the $K_k$. In this paper we address this problem in each nonzero residue class. Our result completely settles the Yu-Zhang-Zhang conjecture for $k\ge 3$. The proof is developed by some new techniques and methods such as dense-core reduction, edge-spectral stability, Perron localization, and discrete defect quantization.
Exact admissibility radii for the lattice topological charge of quantum spin textures
oai:arXiv.org:2609.14172v2
arXiv:2609.14172v2 Announce Type: replace
Abstract: How much can a magnetic field change before a quantum spin texture loses its skyrmion charge? For a triangulated spin-$s$ texture on $N$ quantum sites, we determine the smallest change in its local moments that makes the reconstructed topological charge ill-defined, allowing unequal error bounds and fixed boundary moments. Combined with spectral perturbation theory, this geometric threshold yields explicit magnetic-field intervals that preserve the ground-state charge, scaling as $1/N$ when the gap and geometric margin have positive limits. We apply the bounds to finite spin-$1/2$ systems with exchange and Dzyaloshinskii-Moriya interactions. In a rigorously verified seven-spin example the charge changes at a single certified field, while the excitation gap and all local spin polarizations remain bounded away from zero; there the geometric margin vanishes linearly.
Nagata's conjecture on a polynomial automorphism in positive characteristic
oai:arXiv.org:2609.14611v2
arXiv:2609.14611v2 Announce Type: replace
Abstract: An automorphism of the polynomial ring $k[x_1,\ldots ,x_n]$ over a field $k$ is said to be $\mathit{tame}$ if it can be obtained by composing affine automorphisms and elementary automorphisms, and $\mathit{wild}$ otherwise. Jung and van der Kulk showed that every automorphism of $k[x_1,x_2]$ is tame. In 1972, Nagata conjectured that a certain automorphism of $k[x_1,x_2,x_3]$ is wild. In 2003, Shestakov and Umirbaev proved this conjecture for $\mathop{\mathrm{char}}\nolimits k=0$. The purpose of this paper is to prove the conjecture for $\mathop{\mathrm{char}}\nolimits k\ge 7$. This is the first time that the existence of a wild automorphism has been confirmed in positive characteristic.
Generating hypotheses along the motivic deformation
oai:arXiv.org:2609.15253v2
arXiv:2609.15253v2 Announce Type: replace
Abstract: At every prime $p$, we disprove the algebraic generating hypothesis for compact objects in Hovey's stable category of $BP_*BP$-comodules and its local analog at every positive height, answering questions of Barthel and Heard. In both settings, for every $r,n\geq1$, we construct a ghost whose first $n$ composition powers are all nonzero and have exact additive order $p^r$. The same construction applies to the stable category of $E_*E$-comodules for even $p$-local Landweber exact theories $E$ that are not rational.
Through the motivic deformation of Gheorghe--Wang--Xu, these examples give $C\tau$-linear counterexamples to the cellular $\mathbb{C}$-motivic generating hypothesis, with the same order and composition properties. We also construct nonzero non-$C\tau$-linear ghosts between $C\tau$-modules and a nonzero ghost on a motivic spectrum with noncontractible Betti realization.
Strict comparison and selflessness
oai:arXiv.org:2609.15776v2
arXiv:2609.15776v2 Announce Type: replace
Abstract: It is shown that an infinite dimensional, simple, unital, monotracial C*-algebra with strict comparison with respect to its trace is selfless.
Symmetry, monotonicity, and asymptotics of singular solutions to semilinear elliptic equations
oai:arXiv.org:2609.16516v2
arXiv:2609.16516v2 Announce Type: replace
Abstract: In this paper, we study singular positive solutions to the semilinear elliptic equation $$ - \Delta u = f(u) ~~~~~~ \textmd{in} ~ \Omega \setminus \Gamma, $$ where $\Omega \subset \R^n$ is a bounded or unbounded domain, and $\Gamma \subset \Omega$ is a singular closed set with zero Newtonian capacity. When $\Omega = \R^n$ and $\Gamma \subset \{ x_1 = 0 \}$, we establish the symmetry of singular solutions with respect to the hyperplane $\{ x_1 = 0 \}$ and their monotonicity in the $x_1$-direction. For the case where $\Omega \subset \R^n$ and $\Gamma$ is a smooth closed manifold of dimension $\leq n - 2$, we show the asymptotic symmetry of singular solutions with respect to the normal direction of $\Gamma$. These results significantly improve those of Chen-Lin (Duke Math. J. 1995; Ann. Scuola Norm. Sup. Pisa Cl. Sci. 2001), Li (Invent. Math. 1996) and Sciunzi (J. Math. Pures Appl. 2017). Unlike their proofs, we employ an improved version of the moving sphere method, which also simplifies the analysis and extends its applicability.
On the Integrated Density of States of Fractional Random Schr\"odinger Operators
oai:arXiv.org:2609.17075v2
arXiv:2609.17075v2 Announce Type: replace
Abstract: We proof the existence of the Integrated Density of States (IDS) for fractional random Schr\"odinger operators with Gaussian potential based on the theory of isotropic $\alpha$-stable L\'evy processes. Further we show that the IDS exhibits Lifshitz tails and determine its asymptotics at the right end of the spectrum. Isotropic$\alpha$-stable L\'evy processes are self-similar but not continuous. Thus self-similarity is a fundamental concept for these quantum operators.
Surjectivity of the Enots Wolley Sequence
oai:arXiv.org:2609.18054v3
arXiv:2609.18054v3 Announce Type: replace
Abstract: We prove that the Enots Wolley sequence contains every positive integer with at least two distinct prime divisors. Suppose, toward a contradiction, that some eligible integer is omitted, and consider its finite set of prime divisors. The local rules then severely restrict how terms involving these primes can occur: after a finite initial segment, terms divisible by some but not all of them can outnumber terms divisible by all of them by at most a fixed constant. A prime-exchange construction gives the opposite conclusion at large scales. From almost every term divisible by all of the chosen primes, it produces enough smaller earlier terms divisible by only some of them; a weighted double count makes this excess quantitative and yields a contradiction. It follows that any omission would force every sufficiently late term to have a prime divisor in one fixed finite set. Prime recurrence and a disjoint-cover argument rule out such a finite obstruction, proving surjectivity. The only analytic number-theoretic inputs are the prime number theorem and Mertens' estimate for reciprocal primes.
A Robust Perceptron Cycling Theorem and Applications
oai:arXiv.org:2609.18342v2
arXiv:2609.18342v2 Announce Type: replace
Abstract: The classical perceptron cycling theorem of Block and Levin \cite{BlockLevin1970} bounds correction sequences whose selected updates come from a finite set and have nonpositive inner product with the current state. We prove a robust variant for additive trajectories $z_{k+1}=z_k+u_k$, for all integers $k\geq0$, with increments in a finite set $U\subset E$, where $E$ is a finite-dimensional real inner-product space and $0\in\conv U$. Let $A\colon E\to E$ have positive-definite symmetric part, without requiring symmetry, and let $B\geq0$. If each $u_k$ is a $B$-approximate minimizer of $u\mapsto\ip{Az_k}{u}$ over $U$, then $\sup_{k\geq0}\norm{z_k}\leq C(1+\norm{z_0}+B)$, with $C=C(E,U,A)$ independent of the initial state, $B$, and all admissible update choices. We derive two algorithmic consequences. The first is an $O(k^{-1})$ last-iterate norm bound for harmonic vertex-returning Frank--Wolfe for affine strongly monotone variational inequalities on polytopes with relatively interior solutions. It extends the quadratic Frank--Wolfe/herding guarantee of Bach, Lacoste-Julien, and Obozinski \cite[Section~4.2]{BachEtAl2012} to nonsymmetric affine operators. The second consequence concerns oblique relaxation for linear inequalities. Greedy corrections through a fixed matrix with positive-definite symmetric part remain bounded even for inconsistent systems. In particular, for a square matrix $G$ with positive-definite symmetric part, repeatedly increasing the coordinate corresponding to a most-violated inequality of $Gx\geq b$ terminates at an exactly feasible point after finitely many unit corrections. This remains true under bounded additive selection errors, provided the stopping test uses the true inequalities.
Tunnell-type criteria for variants of the congruent number problem
oai:arXiv.org:2609.19085v2
arXiv:2609.19085v2 Announce Type: replace
Abstract: We study the $\theta$-congruent number problem for $\cos\theta=\pm3/5$ and $\pm4/5$ using the generalized theta series construction of Sirolli--Tornar\'ia. We describe its specialization to newforms of weight $2$ over $\mathbb Q$ with nontrivial square-free odd part of the level, and explain the reduction of quadratic twists to odd fundamental discriminants. The same construction gives an effective procedure for every $\theta$-congruent number problem with nonzero rational cosine. For the four angles, we construct explicit forms of weight $3/2$ whose Fourier coefficients determine the central $L$-values of the associated elliptic curves. This gives Tunnell-type criteria for every positive square-free integer: a nonzero coefficient implies non-$\theta$-congruence unconditionally, and the converse holds assuming the Birch--Swinnerton-Dyer conjecture. We also prove unconditional non-$\theta$-congruence for primes in explicit arithmetic progressions.
Complete Self-Shrinkers in Arbitrary Codimension with Positive Constant Scalar Curvature and $S\le 1$
oai:arXiv.org:2609.19464v2
arXiv:2609.19464v2 Announce Type: replace
Abstract: Let \(X:M^n\to\mathbb R^{n+p}\) be an \(n\)-dimensional complete self-shrinker in arbitrary codimension \(p\ge 1\). Suppose that the scalar curvature \(R\) is a positive constant and that the squared norm \(S\) of the second fundamental form satisfies \(S\le 1\). We prove that \(S\equiv 1\) and that \(X\) is isometric to either the round sphere \(S^n(\sqrt n)\) or the standard generalized cylinder \(S^k(\sqrt k)\times\mathbb R^{n-k}\), \(2\le k\le n-1\). In particular, no new higher-codimension examples occur under these assumptions. The proof uses an algebraic lemma which yields a uniform positive lower bound for the Bakry--\'Emery Ricci curvature, together with the comparison theorem of Wei--Wylie, the equivalence of finite Gaussian volume and polynomial volume growth due to Cheng--Zhou, and the gap theorem of Cao--Li.
Contact discontinuities for 3-D axisymmetric flows with nonzero swirl
oai:arXiv.org:2609.19821v2
arXiv:2609.19821v2 Announce Type: replace
Abstract: In this paper, we prove the existence and far-field behavior of an axisymmetric solution $(\rho,\mathbf{u},p)$ to the steady Euler system in an infinitely long cylindrical nozzle with a perturbed wall $r=R(x_1)$, containing a contact discontinuity $r=g_D(x_1)$. The background flow carries a nonzero swirl component $\beta_0\mathbf{e}_\theta$, where $\beta_0$ is not necessarily small. Consequently, the background entropy, Bernoulli function, and angular momentum density depend on the radial variable, and their radial derivatives are not necessarily small.
SIPHy: Sparse identification of port-Hamiltonian systems from noisy data
oai:arXiv.org:2609.20399v2
arXiv:2609.20399v2 Announce Type: replace
Abstract: We propose sparse identification of port-Hamiltonian systems (SIPHy), enabling structure-preserving symbolic regression from noisy trajectory observations. The method applies to port-Hamiltonian systems, which provide a general framework for describing dynamical systems in terms of energy exchange, dissipation and control. Our algorithm can jointly identify the Hamiltonian as well as the dissipation and input matrices. Furthermore, we introduce Hamiltonian flow splines to better approximate derivatives of trajectory data corrupted by noise or with missing time points, a major challenge of system identification for differential equations. This method assembles flows of piecewise polynomial Hamiltonians to produce a smooth, differentiable trajectory necessary for sparse regression. Combining flow splines with SIPHy yields interpretable, physically grounded models from noisy and incomplete trajectory data. Because the Hamiltonian, dissipation, and input matrices are identified as separate components, the resulting models can be simulated under control inputs and dissipation regimes never observed during training, thus improving the robustness and generalization capabilities of model discovery methods.
Approximation Theorems for High-Dimensional Canonical U-Statistics: Gaussian Chaos and Phase Transition
oai:arXiv.org:2609.20529v2
arXiv:2609.20529v2 Announce Type: replace
Abstract: We study simultaneous inference for maxima of canonical order-two $U$-statistics in high dimension. Degeneracy makes quadratic fluctuations leading, so ordinary Gaussian calibration can fail even after exact variance normalization. We show that the appropriate general target is a joint signed Gaussian quadratic chaos and establish a general approximation result that permits indefinite kernels. The general anti-concentration bound is too crude for high-dimensional inference, and we obtain sharper bounds under additional spectral structure. We also identify a phase transition from a non-Gaussian signed-chaos maximum to its covariance-matched Gaussian counterpart driven by the effective rank. For feasible inference, we propose a Gaussian multiplier bootstrap that avoid estimating eigensystems, and establish its validity. Two applications and extensive numerical simulations further illustrate the scope and practical performance of the proposed framework.
Every compact operator is a commutator of compact operators
oai:arXiv.org:2609.20672v2
arXiv:2609.20672v2 Announce Type: replace
Abstract: We prove that every compact operator $T$ on a separable infinite-dimensional complex Hilbert space is a commutator of two compact operators, thereby answering a question of Pearcy and Topping. Moreover, the compact factors $A$ and $B$ can be chosen such that $[A, B] = T$ and $\max\{\Vert{}A\Vert{},\Vert{}B\Vert{}\}\leq c\Vert{}T\Vert{}^{1/2}$ for a universal constant $c$.
An ergodic approach to equations of the form $x+y=\lfloor\alpha(n)\rfloor$
oai:arXiv.org:2609.20727v2
arXiv:2609.20727v2 Announce Type: replace
Abstract: Motivated by questions and results of Erd\H{o}s, S\'ark\"ozy and S\'os (1989), and Khalfalah and Szemer\'edi (2006), we introduce an ergodic approach to additive problems concerning solutions of equations of the form \[ x+y=\lfloor\alpha(n)\rfloor,\quad x,y\in A,n\in\mathbb{N} \] where $\alpha(t)$ is a sufficiently regular function, such as a polynomial or a logarithmico-exponential function of polynomial growth (e.g. $\alpha(t)=t^{5/2}+t^2\log t$), and $A$ is either a given set of positive upper density, or a cell of a prescribed finite partition of $\mathbb{N}$. We give a complete description of the Hardy field functions of polynomial growth for which these partition and density problems are always solvable.
The ergodic approach also applies to the more general problem of finding $x\in A_1,y\in A_2$, where $A_1,A_2$ are two given sets of positive density. This in turn allows us to treat equations of the form $kx+ly=\lfloor\alpha(n)\rfloor$, where $k,l\in\mathbb{Z}$.
Some of our results also hold true when $A$ is a subset of the primes with positive relative upper density.
An elementary proof of the Koml\'os conjecture
oai:arXiv.org:2609.20979v2
arXiv:2609.20979v2 Announce Type: replace
Abstract: We give an elementary proof of the Koml\'os conjecture by simplifying the recent proof of Guo, Fang, and Lu. We show that any vectors $v_1,\ldots,v_n\in\mathbb{R}^d$ with $\|v_i\|_2\le1$ admit signs $\varepsilon_i\in\{-1,1\}$ such that $\|\sum_{i=1}^n\varepsilon_i v_i\|_\infty\le36$. The proof uses only elementary combinatorial and probabilistic arguments and basic calculus.
New lower bounds for kissing numbers in dimensions $25$--$31$
oai:arXiv.org:2609.21591v2
arXiv:2609.21591v2 Announce Type: replace
Abstract: The kissing number in dimension $d$ is the largest number of non-overlapping congruent spheres that can simultaneously touch a central sphere of the same size. We study dimensions $25$-$31$, where the best previous constructions are based on Leech lifting from the optimal kissing configuration in dimension $24$. Our method exploits the absence of contacts between the unlifted bulk and the block consisting of lifted and auxiliary vectors. Rotating this block while keeping the bulk fixed creates room for two antipodal points in dimensions $26$, $27$, and $28$, and one point in dimension $29$.
Three further modifications yield improvements in dimensions $25$, $30$ and $31$: (a) a nonorthogonal diagonal linear deformation of the lifted block admits two antipodal points in dimension $25$; (b) rotating the additional coordinates of the lifted vectors and then applying a small orthogonal transformation to the resulting lifted block as a whole admits two antipodal points in dimension $30$; (c) rotating only the additional coordinates of the lifted vectors admits four nonantipodal points in dimension $31$. Together, these constructions yield the new lower bounds $\tau_{25}\geq 197058$, $\tau_{26}\geq 198552$, $\tau_{27}\geq 200046$, $\tau_{28}\geq 204522$, $\tau_{29}\geq 209497$, $\tau_{30}\ge 220442$, and $\tau_{31}\geq 238354$.
A Note On Certain Minimal Excludants Over Overpartitions
oai:arXiv.org:2609.21649v2
arXiv:2609.21649v2 Announce Type: replace
Abstract: Let $\sigma\mathrm{Mex}(n)$ and $\sigma_e\mathrm{Mex}(n)$ denote the sum of minimal excludants and sum of even minimal excludants over all overpartitions, respectively. In this work, we study these two combinatorial objects from an arithmetic perspective. We prove that, for $n\geq 0$, $\sigma_e\mathrm{Mex}(n)\equiv\sigma\mathrm{Mex}(n)-\bar{p}_{\geq 2}(n)\pmod{2^2}$, where $\bar{p}_{\geq 2}(n)$ denotes the number of overpartitions of $n$ with all parts at least $2$, and obtain relation with basic hypergeometric series. Furthermore, we prove the asymptotic behavior of $\sigma\mathrm{Mex}(n)$, $\sigma_e\mathrm{Mex}(n)$, and $\bar{p}_{\geq 2}(n)$ as $n\to\infty$. In particular, we prove that $\sigma\mathrm{Mex}(n)\sim 2\,\sigma_e\mathrm{Mex}(n).$
Minimum distances of primitive narrow-sense BCH codes via good zero-sets
oai:arXiv.org:2609.21994v2
arXiv:2609.21994v2 Announce Type: replace
Abstract: Determining the exact minimum distances of BCH codes remains a open problem. We establish the minimum distances of several families of primitive narrow-sense BCH codes, showing that they attain their designed distances. Our approach centers on $\mathbb{F}_q$-good zero-sets, which we introduce through a derivative condition on their vanishing polynomials. We show that a $q$-ary primitive narrow-sense BCH code of length $q^m-1$ and designed distance $2\leq\delta\leq q^m-1$ has minimum distance $\delta$ if and only if there exists an $\mathbb{F}_q$-good zero-set of cardinality $\delta+1$ in the finite field $\mathbb{F}_{q^m}$ with $q^m$ elements. To construct $\mathbb{F}_q$-good zero-sets, we develop several methods based on polynomial substitutions, power maps, and shifted inverses, as well as direct constructions using polynomials of special forms. Together with suitable initial $\mathbb{F}_q$-good zero-sets, including those arising from known minimum-distance results, these methods yield new good zero-sets of various cardinalities and hence families of primitive narrow-sense BCH codes whose minimum distances equal their designed distances. These families cover a broad range of designed distances, with several known minimum-distance results recovered as special cases.
Update to: Spectral sets: Numerical range and beyond
oai:arXiv.org:2609.22460v2
arXiv:2609.22460v2 Announce Type: replace
Abstract: We use the results of Lorist and Schwenninger, {\em A solution to Crouzeix's conjecture}, arXiv:2608.03841v2, https://arxiv.org/abs/2608.03841, to update the 2019 paper of Crouzeix and Greenbaum, {\em Spectral sets: Numerical range and beyond}, SIAM J.~Matrix Anal.~Appl., 40(3):1087-1101. For all regions considered in the 2019 paper, we are able to show that the region is a $K$-spectral set with a bound on $K$ that is smaller than that established in the 2019 paper. In particular, we show that various annular regions are $2$-spectral sets and that a more general convex region with a circular hole or cutout is a $4$-spectral set.
Maximal singular curves over finite fields from elliptic and hyperelliptic curves
oai:arXiv.org:2609.22557v2
arXiv:2609.22557v2 Announce Type: replace
Abstract: We construct explicit families of maximal singular curves over finite fields. A maximal singular curve is a curve that attains the Aubry-Perret bound, which is the natural extension of the Hasse-Weil-Serre bound on the maximum number of rational points on a smooth curve over a finite field. Starting from a smooth elliptic or hyperelliptic curve $\tilde{C}$ over $\mathbb{F}_{q}$ ($q$ odd), we generate singular curves $C$ with non-split nodes or cusps. In our approach we use linear projections of geometric embeddings, and we apply St\"ohr's embedding of hyperelliptic Gorenstein curves and the Rosa-St\"ohr theory of trigonal Gorenstein curves. The construction is applied to the Tafazolian and Tafazolian-Torres smooth maximal curves. Finally, we also determine the gonality of all obtained curves.
Hamiltonian Monte Carlo for Vector Perturbation Precoding in MU-MIMO via Continuous Relaxation
oai:arXiv.org:2609.23011v2
arXiv:2609.23011v2 Announce Type: replace
Abstract: Multi-user multiple-input multiple-output (MU-MIMO) is a key technology that improves wireless capacity through multiple antennas. In MU-MIMO downlink precoding, vector perturbation (VP) is a representative nonlinear method that achieves high performance. However, its search for the integer perturbation vector reduces to a closest vector problem, whose complexity grows rapidly as the number of users increases. We propose a method that relaxes the discrete structure of the integer perturbation into a continuous mixture of $t$-distributions, enabling efficient search via gradient-based Hamiltonian Monte Carlo (HMC). Complexity analysis and numerical experiments demonstrate the effectiveness of the proposed method. Its search complexity scales as O(N^2) in the number of users N. At a symbol error rate of 10^-3, it performs within 2.4 dB of a hypersphere approximation benchmark, which approximates the performance limit of VP. This paper reframes the VP perturbation search as a probabilistic inference problem, providing a general formulation for handling high-dimensional discrete search in a continuous space.
Wave Numbers: Discrete Sequence Algebras, Sieve Projectors, and Dynamical Geometry
oai:arXiv.org:2609.23233v2
arXiv:2609.23233v2 Announce Type: replace
Abstract: We establish a comprehensive algebraic, geometric, and physical classification of the wave closure space generated from primitive plane wave sequences on the discrete spatial lattice $\mathbb{Z}$. Resolving lattice degeneracies via unwrapped phase spaces, we prove that the linear wave group $\mathcal{G}$ under pointwise product, inversion, and root extraction is an infinite divisible abelian torsion group isomorphic to $(\mathbb{Q}/\mathbb{Z}) \times (\mathbb{Q}/\mathbb{Z})$, with canonical decomposition into Pr\"{u}fer $p$-groups and maximal cyclotomic value field $\mathbb{Q}^{\mathrm{ab}}$. Extending to coordinate powers yields the polynomial phase group $\mathcal{G}_{\mathrm{poly}}$, classified by integer-valued polynomials $\operatorname{Int}(\mathbb{Z})$. Adjoining addition yields the group algebra $\mathbb{C}[\mathcal{G}_{\mathrm{poly}}]$, for which we establish the Permutation-Symmetric Phasor Superposition Theorem, factoring superpositions into collective barycentric carriers and closed Born probability envelopes. Using algebraic sieves over roots of unity, we construct idempotent projectors and complementary Not-sieve notch filters, achieving exact algebraic synthesis of both momentum and localized Kronecker position bases. Generalizing to non-abelian quaternions $\mathcal{V}_\mathbb{H}$, we prove a polar decomposition into scalar envelopes and $\mathrm{SU}(2)$ spinor rotors. Identifying coordinate advance with time, biquaternion determinants intrinsically yield Minkowski spacetime $s^2 = c^2 t^2 - \|\mathbf{x}\|^2$ and the Lorentz group $\mathrm{SO}^+(1,3)$. We demonstrate emergent vacuum zero-point jitter, topological selection of rational frequencies, and correspondences with discrete qudits.
Quantum Satake in Type A: The General and Generic Case
oai:arXiv.org:2609.23253v2
arXiv:2609.23253v2 Announce Type: replace
Abstract: In work of the first author, the geometric Satake equivalence was (non-rigorously) reinterpreted as an equivalence between two algebraically-defined $2$-categories, one built from representations of a Lie algebra, and one built using singular Soergel bimodules. It was then explained how to $q$-deform this equivalence in type $A$, replacing the special linear Lie algebra with its quantum group, and using singular Soergel bimodules for a deformed reflection representation. Both the algebraic reformulation and its $q$-deformation were only proven in types $A_1$ and $A_2$. In this paper, we prove the result in type $A_{n-1}$ for $n \ge 4$, while working generically: more precisely, we work over a field of characteristic zero, where $q$ is not a root of unity, and having adjoined an $n$-th root of $q$. Along the way we generalize certain results in the literature (e.g. the Soergel-Williamson categorification theorem, the Soergel conjecture for spherical elements, various symmetries) to the deformed reflection representation.
Counterexamples to the Mu--Welker recursive decomposition in every degree
oai:arXiv.org:2609.23694v2
arXiv:2609.23694v2 Announce Type: replace
Abstract: The well-known open problem of Bell and Skandera asks whether a real-rooted polynomial $f(t)$ with positive integer coefficients and constant term one is the $f$-polynomial of a simplicial complex. Mu and Welker proved that if the recursive decomposition $f(t)=g(t)+th(t)$ satisfies the corresponding coefficient inequality $h_i
Linear Independence of Random Boolean Tensor Powers at the Dimension Threshold
oai:arXiv.org:2609.23858v2
arXiv:2609.23858v2 Announce Type: replace
Abstract: Let $d \geq 1$ be fixed and let
\[
D(n,d) := \sum_{j=0}^{d} \binom{n-1}{j}.
\]
We show that if $x^{(1)}, \dots, x^{(m)}$ are independent uniform points of $\{\pm 1\}^n$ then uniformly for $m \leq D(n,d)$, there exists a constant $C_d > 0$ such that
\[
\mathbb{P}((x^{(1)})^{\otimes d}, \dots, (x^{(m)})^{\otimes d} \text{ are linearly independent}) = 1 - O_d\left(\frac{\log^{C_d} n}{n^{1/2}} \right).
\]
This achieves the exact dimensional threshold and answers a question asked by Baldi and Vershynin.
Sobriety of Scott topologies under countability conditions
oai:arXiv.org:2609.24001v2
arXiv:2609.24001v2 Announce Type: replace
Abstract: In this paper, we focus on the sobriety of the Scott topology in countable case. Specifically, we show that: (1) every meet-continuous core-compact countable dcpo is sober with respect to the Scott topology; (2)every countable locally compact dcpo is sober endowed with the Scott topology; (3) the lattice of all open sets for the rational numbers space Q equipped with the Scott topology is not sober.
Compactness of Toeplitz Operators on the Bergman Space
oai:arXiv.org:2609.24614v3
arXiv:2609.24614v3 Announce Type: replace
Abstract: Let $\varphi\in L^\infty(\D)$. We study compactness criteria for \(T_\varphi\) on the Bergman space $A^2(\D)$. Axler and Zheng~\cite{AZ1998} established a necessary and sufficient condition for compactness in terms of the Berezin transform. For a general bounded measurable function $\varphi$, however, its Berezin transform $\tilde{\varphi}$ does not readily reveal the intrinsic properties of $\varphi$. Motivated by a characterization in terms of the symbol itself, Zhu~\cite{ZhuSlides} proposed a conjecture on compact Toeplitz operators. In this paper, we characterize compactness of $T_\varphi$ on the unweighted Bergman space in terms of local averages of the symbol. We prove that compactness is equivalent to the vanishing of averages over Bergman disks of any prescribed fixed radius. We also establish an equivalent criterion in terms of Carleson box averages that tend to zero uniformly in the angular variable. Finally, we construct a nonnegative bounded symbol whose Carleson box averages tend to zero at every fixed angle, although the associated Toeplitz operator is not compact.
Edge-based Katz centralities for spatio-temporal multiplex networks
oai:arXiv.org:2609.24638v2
arXiv:2609.24638v2 Announce Type: replace
Abstract: Katz centrality is a well-established measure to identify and rank the most important nodes in complex networks by means of a linear system solve. Recent works have developed notions of Katz centrality for temporal, i.e., time-evolving networks. Their drawback is that small changes in the network structure may drastically change centralities across large parts of the network. Moreover, an unproportional effort in the network science community has been devoted to the study of node-based quantities while edge-based measures are far less explored. In this manuscript, we introduce a novel failure-aware temporal multiplex network model for computing edge-based Katz centralities for spatial networks. This class of networks admits the use of the line graph as network representation. We use a block-triangular and -banded supra-adjacency matrix representation, modeling inter-layer connections as low-rank matrices, which assigns a spatially constrained emphasis on up- or downdated edges. These could represent, e.g., breakages of water/gas pipes or obstructions in street networks in real-time infrastructure monitoring applications. We analyze the structure of the of the block matrix inverse with respect to entry decay in the blocks above the block-diagonal. This gives rise to two truncation approaches that allow drastic computational runtime reductions at the cost of introducing a controlled truncation error. Numerical experiments on a range of real-world spatio-temporal networks of size up to $2\cdot 10^8$ illustrate accuracy and efficiency with runtime gains of up to a factor of $679$.
A translation of Maehara's "Eine Darstellung der Intuitionistischen Logik in der Klassischen"
oai:arXiv.org:2609.24673v2
arXiv:2609.24673v2 Announce Type: replace
Abstract: A key motivation for Heyting's intuitionistic logic was to gain a formal notion of Brouwer's idea of mathematics as a "construction of the mind". One might thus argue that Heyting's Calculus should also correspond to a notion of provability. Inspired by this idea, G\"odel formalised this connection via an embedding into a modal calculus, which is now known as the modal logic S4. While in his original publication, he only proved soundness for the embedding from intuitionistic propositional logic into S4, the converse was proved fifteen years later by McKinsey and Tarski. Although, it was later discovered that G\"odel also had obtained a proof of the faithfulness of his embedding in unpublished notes in 1941. Rasioa and Sikorski later extended G\"odel's embedding to first-order intuitionistic logic. In 1954, Maehara independently obtained the same results using proof-theoretic methods, even extending the embedding to one from intuitionistic first-order logic into intuitionistic first-order modal logic. This document presents a faithful English translation of Maehara's 1954 paper.
Low-Twist Matrix Covariants of Exterior Powers: Vanishing and Modular Phenomena
oai:arXiv.org:2609.25029v2
arXiv:2609.25029v2 Announce Type: replace
Abstract: We study morphisms from symmetric powers of exterior powers to determinant-twisted endomorphism representations of general linear groups. At the minimal positive determinant twist, we prove vanishing over every field of characteristic different from two: if the exterior degree r >= 3 is odd, the symmetric degree satisfies d >= 3, and the underlying space has dimension rd, then the corresponding equivariant Hom space is zero. The proof uses a block-exchange sign and a universal root-subgroup identity, so it also applies in small odd characteristics without semisimplicity. We then determine the second-twist spaces for trivectors in characteristic zero. In dimension 3m and degree 2m, they are scalar and one-dimensional for m = 2, and zero for m >= 3. Plethystic conjugation reduces the latter vanishing to an elementary weight-support bound for exterior powers of the ten-dimensional space of ternary cubics. Finally, over fields of characteristic zero or odd characteristic, an exact computer-assisted classification in dimension nine gives a one-dimensional scalar Hom space in characteristic five and zero in characteristic zero and in every odd characteristic other than five.
Stationary Common Neighbors and Partition Hypotheses
oai:arXiv.org:2609.25092v2
arXiv:2609.25092v2 Announce Type: replace
Abstract: Collapsing a $T^{\kappa^+}_{\omega_1}$-Ramsey cardinal $\kappa$ to $\omega_2$ gives, for every countable coloring of $[\omega_2]^2$, a stationary set $X$ and a color $i$ such that every finite subset of $X$ has stationarily many color-$i$ common neighbors in $X$. The color-$i$ graph on $X$ has diameter at most two after any nonstationary deletion, answering a question of Hru\v{s}\'ak--Shelah--Zhang. Collapsing a weakly compact cardinal gives $\operatorname{PH}_1(\omega_2)$ and, together with the known lower bound, determines its exact consistency strength. Both results use local seed ideals. We also prove that $\operatorname{PH}_n(Q,\lambda)\Rightarrow\operatorname{PH}_n(P,\lambda)$ whenever $P\leq_TQ$ are nonempty directed quasi-orders, for every $n<\omega$ and cardinal $\lambda$, answering the Tukey-transfer question of Bannister--Bergfalk--Moore--Todorcevic. Finally, for each pair of integers $a\geq2$ and $b\geq a+3$, a product lemma gives, from two weakly compact cardinals, the consistency of $\operatorname{PH}_1(P)$ for every nonempty directed quasi-order $P\leq_T\omega_a\times\omega_b$.
Critical homogenization of the Navier--Stokes--Cahn--Hilliard system in perforated domains
oai:arXiv.org:2609.25119v2
arXiv:2609.25119v2 Announce Type: replace
Abstract: We consider the three-dimensional incompressible Navier--Stokes--Cahn--Hilliard (NSCH) system in domains perforated by no-slip obstacles of diameter of order \(\varepsilon^3\) separated by distances of order \(\varepsilon\). Both viscosity and mobility may depend on the phase variable. At this critical Stokes-capacity scale, the limiting velocity \(\boldsymbol u\) and phase field \(\phi\) satisfy an NSCH system with the additional Brinkman resistance \(\nu(\phi)\mathbf B\boldsymbol u\), where \(\mathbf B\) is determined by the exterior Stokes capacity of the reference obstacle. The principal analytical difficulty is the interaction between the phase-dependent viscosity and the order-one energy concentration of the critical Stokes correctors. The variational chemical-potential identity yields, after scalar extension, strong convergence of the phase in \(L^2(0,T;H^1(\Omega))\), and hence strong convergence of the phase-dependent viscosity in the same topology. Combined with a cellwise Hardy multiplier estimate, this compactness can be transferred through the concentrated corrector layer. The resulting weighted-capacity statement applies to uniformly positive and bounded coefficient sequences converging strongly in \(L^2(0,T;H^1(\Omega))\) and simultaneously identifies the effective Brinkman force and the corresponding viscous dissipation lower bound. We also investigate a vanishing capillary coefficient \(\lambda_\varepsilon\to0\). After the natural velocity scaling, the limit is an unsteady Stokes--Brinkman equation coupled to an unadvected Cahn--Hilliard equation.
Margulis-Soifer theorem for one-relator groups
oai:arXiv.org:2609.25125v2
arXiv:2609.25125v2 Announce Type: replace
Abstract: We establish the Margulis-Soifer dichotomy for one-relator groups: every one-relator group is either virtually solvable or has a maximal subgroup of infinite index. We also present examples of one-relator groups with and without free maximal subgroups of infinite index, as well as examples that possess both free and non-free infinite index maximal subgroups. Triviality of the Frattini subgroup is also shown for all non-solvable one-relator groups. We close the paper with a short list of questions.
A colorful quantitative Helly theorem for volume
oai:arXiv.org:2609.25671v2
arXiv:2609.25671v2 Announce Type: replace
Abstract: We prove a colorful quantitative Helly theorem for volume with the optimal number $2d$ of colors. If every rainbow intersection from $2d$ finite families of convex sets in $\R^d$ has volume at least one, then the intersection of one family has volume at least $d^{-O(d^2)}$. We also prove a colorful quantitative Steinitz theorem for origin-centered ellipsoids of different shapes. The proof uses a common normalization of positive operators and a lift that produces two rainbow bases with large determinants.
Positive Bidiagonal Factorizations: Combinatorial Structure, Spectral Theory, and Matrix Continued Fractions
oai:arXiv.org:2609.26066v2
arXiv:2609.26066v2 Announce Type: replace
Abstract: Prescribed positive bidiagonal factorizations of semi-infinite banded matrices reveal spectral, approximation, and integrable structures for arbitrary lower and upper bandwidths. Every cyclic permutation of the factors admits a normalized lower--upper positive factorization. Under suitable degree conditions, factor transfers induce matrix Christoffel transformations, linking the cyclic Darboux orbit to mixed-type Favard theory.
Christoffel words determine minimum-height positive refactorizations and the cyclic products that reach them. The associated matrices have two block displacements, reducing to two diagonals for coprime bandwidths. Their finite nonzero spectra lie on a star, and planar networks yield positive radial Stieltjes moment sequences. In the compact radial case star-supported representing measures are characterized by conditions at the origin and negative fractional moments. For coprime bandwidths, a radial moment deformation gives determinant solutions of a sparse Lax hierarchy and synchronizes the cyclic Toda flows.
Retaining the prescribed factor order yields matrix continued fractions with explicit Pad\'e-type contact, denominator factorizations, backward evaluation, and error bounds. For bounded nonnegative factors, the convergents are monotone and converge to the least nonnegative solution in the admissible domain. Under the Favard identification, they approximate the mixed-type Weyl matrix. Unbounded factorizations retain the formal approximation; analytic convergence requires a closed realization and stability hypotheses, with an additional identification for measure-defined Weyl matrices. Pi\~neiro and Jacobi-like systems give applications, including global positive coefficientwise integrable solutions under the stated positivity and AT hypotheses.
Global Existence of Classical Solutions to the Relativistic Quantum Hydrodynamic System with Small Initial Data
oai:arXiv.org:2609.26418v2
arXiv:2609.26418v2 Announce Type: replace
Abstract: We establish global existence, decay, and scattering for sufficiently small, smooth, and localized perturbations of a constant non-vacuum equilibrium of a relativistic quantum hydrodynamic system in three space dimensions. In logarithmic-amplitude and phase variables, the equations form a semilinear system of coupled wave equations. The skew-symmetric coupling between the time derivatives cancels in the energy identity, yielding a natural derivative energy. The linearized system has two dispersion branches. At low frequencies, the slow branch exhibits Schr\"odinger-type dispersion, while the fast branch has a spectral gap; at high frequencies, both branches are wave-like. The main nonlinear difficulty arises from quadratic interactions with nontrivial time and space-time resonances. We show that the symbol of every active quadratic interaction contains the corresponding interaction phase as an exact factor. This structural cancellation removes the resonant denominator and allows us to eliminate the quadratic terms by a nonsingular normal-form transformation. Combining this transformation with dispersive and energy estimates, we obtain uniform-in-time bounds for the derivative energy and $\langle t\rangle^{-3/2}$ decay of the first derivatives in $L^\infty$. We further prove that the nonlinear solution scatters to a solution of the linearized system in the high-order derivative energy norm.
Fast Karhunen-Lo\`eve Expansions via FFT-Accelerated Toeplitz Operators
oai:arXiv.org:2609.26459v2
arXiv:2609.26459v2 Announce Type: replace
Abstract: Gaussian random fields are a versatile tool used in the fields of stochastic PDEs, uncertainty quantification, and geostatistical simulation. One way to obtain them is to use a truncated Karhunen-Lo\`eve expansion (KLE). Computing the expansion requires the leading eigenpairs of an $N \times N$ covariance matrix, where $N$ is the total number of grid cells. These are usually computed with a Krylov eigensolver, which relies on the covariance operator only within matrix-vector products. Stored densely, the matrix takes $\mathcal{O}(N^{2})$ memory and each product $\mathcal{O}(N^{2})$ time. For a stationary kernel on an equispaced grid, the covariance matrix becomes (block-) Toeplitz and the product evaluates in $\mathcal{O}(N\log N)$ time using FFT-based circulant embedding, without the need to assemble the dense matrix. In a matched single-threaded comparison, the median speedup of the eigensolve grows from $18 \times$ at $N = 4096$ to $183 \times$ at $N = 2^{15}$. This makes it possible to compute discretized fields that would otherwise be infeasible to compute in the standard formulation. We show that the same construction carries over to non-separable kernels as well as $d$ dimensions, using block-Toeplitz matrices. We extend it to piecewise-constant fields on arbitrary domains given as subsets of a tensor grid. Computational savings grow with problem size, and storage drops from $\mathcal{O}(N^{2})$ to $\mathcal{O}(2^{d}N)$.
Compactness via Consistency Properties
oai:arXiv.org:2609.26509v2
arXiv:2609.26509v2 Announce Type: replace
Abstract: We will use consistency properties to characterize strongly compact cardinals, first showing an adequate Model Existence Theorem for larger fragments.
Scalar curvature growth on nonnegatively curved three-manifolds
oai:arXiv.org:2609.26717v2
arXiv:2609.26717v2 Announce Type: replace
Abstract: Let $(M^3,g)$ be a complete, connected, noncompact Riemannian three-manifold without boundary and with nonnegative sectional curvature. We prove that its scalar-curvature integral over geodesic balls, divided by the radius, has a limit. In the one-ended case, \[
\lim_{r\to\infty}\frac1r\int_{B_p(r)}\operatorname{Scal}\,d V
=8\pi\bigl(\chi(M)-V_M\bigr)\le8\pi(1-V_M), \] where $V_M$ is the asymptotic volume ratio. In the one-ended case, we show that $\chi(M)\in\{0,1\}$. Thus positive asymptotic volume ratio gives the value $8\pi(1-V_M)$, while in the collapsed case the value is determined by the topology of the end. No pole or scalar-curvature bound is assumed. The proof combines separate smooth approximations of the Busemann and distance functions, integrable negative curvature errors, and a determinant estimate on the level surfaces. An averaged boundary estimate then gives convergence of the integrated extrinsic curvature. In the two-ended case, the splitting theorem gives the exact limit $8\pi\chi(N)$ for the compact surface factor $N$. The one-ended upper bound is attained for every prescribed asymptotic volume ratio in $[0,1]$, and the two-ended bound is also sharp.
Random Polytope Descriptors
oai:arXiv.org:2009.13987v3
arXiv:2009.13987v3 Announce Type: replace-cross
Abstract: We introduce a class of random polytopes which simultaneously generalizes several known constructions. While being fairly general, these polytopes are also computationally exceptionally benign. We indicate how these properties can be exploited for classification and clustering tasks in data analysis. Crucially, our construction lets users smoothly trade off between a tighter description of the data and faster computation.
Path Regularization: A Near-Complete and Optimal Nonasymptotic Generalization Theory for Multilayer Neural Networks and Double Descent Phenomenon
oai:arXiv.org:2503.02129v3
arXiv:2503.02129v3 Announce Type: replace-cross
Abstract: Path regularization has shown to be a very effective regularization to train neural networks, leading to a better generalization property than common regularizations i.e. weight decay, etc. We propose a first near-complete (as will be made explicit in the main text) nonasymptotic generalization theory for multilayer neural networks with path regularizations for general learning problems. In particular, it does not require the boundedness of the loss function, as is commonly assumed in the literature. Our theory goes beyond the bias-variance tradeoff and aligns with phenomena typically encountered in deep learning. It is therefore sharply different from other existing nonasymptotic generalization error bounds. More explicitly, we propose an explicit generalization error upper bound for multilayer neural networks with $\sigma(0)=0$ and sufficiently broad Lipschitz loss functions, without requiring the width, depth, or other hyperparameters of the neural network to approach infinity, a specific neural network architecture (e.g., sparsity), or boundedness of the loss function, while also taking approximation error into consideration. In particular, we solve an open problem proposed by Weinan E et. al. in 2020 regarding the approximation rates in generalized Barron spaces. Furthermore, we show the near-minimax optimality of our theory for regression problems with ReLU activations. Notably, our upper bound exhibits the famous double descent phenomenon for such networks, which is the most distinguished characteristic compared with other existing results. Our subsequent work will prove the matching lower bounds in the minimax sense, meaning that it is highly possible that our theory reveals the true underlying mechanism of the double descent phenomenon. We can also explain scaling law from this theory.
Localized Diffusion Models
oai:arXiv.org:2505.04417v3
arXiv:2505.04417v3 Announce Type: replace-cross
Abstract: Diffusion models are state-of-the-art tools for various generative tasks. Yet training these models involves estimating high-dimensional score functions, a task that in principle suffers from the curse of dimensionality. It is therefore important to understand how low-dimensional structure in the target distribution can be exploited in these models. Here we consider locality structure, which describes certain sparse conditional dependencies among the target random variables. Given some locality structure, the score function is effectively low-dimensional, so that it can be estimated by a localized neural network with significantly reduced sample complexity. This observation motivates the localized diffusion model, where a localized score matching loss is used to train the score function within a localized hypothesis space. We prove that such localization enables diffusion models to circumvent the curse of dimensionality with dimension-independent error bounds, at the price of additional localization error. Under realistic sample size scaling, we then show both theoretically and numerically that a moderate localization radius can balance the statistical and localization errors, yielding better overall performance. Locality structure also facilitates parallel training, making localized diffusion models potentially more efficient for large-scale applications.
Rough Bergomi turns grey
oai:arXiv.org:2505.08623v2
arXiv:2505.08623v2 Announce Type: replace-cross
Abstract: We propose a tractable extension of the rough Bergomi model, replacing the fractional Brownian motion with a generalised grey Brownian motion, which we show to be reminiscent of models with stochastic volatility of volatility. This extension breaks away from the log-Normal assumption of rough Bergomi, thereby making it a viable suggestion for the Equity Holy Grail -- the joint SPX/VIX options calibration. For this new (class of) model(s), we provide semi-closed and asymptotic formulae for SPX and VIX options and show numerically its potential advantages as well as calibration results.
Upgrading survival models with CARE
oai:arXiv.org:2506.23870v3
arXiv:2506.23870v3 Announce Type: replace-cross
Abstract: Clinical risk prediction models are regularly updated as new data, often with additional covariates, become available. We propose CARE (Convex Aggregation of relative Risk Estimators) as a general approach for combining existing "external" estimates with a new data set in a time-to-event survival analysis setting. Our method initially employs the new data to fit a flexible family of reproducing kernel estimators via penalised partial likelihood maximisation. The final relative risk estimator is then constructed as a convex combination of the kernel and external estimators, with the regularisation parameters and convex combination coefficients selected using cross-validation. We establish high-probability bounds for the $L_2$-error of our proposed aggregated estimator, showing that it achieves a rate of convergence that is at least as good as both the optimal kernel estimator and the best existing external model. Empirical results from simulation studies align with the theoretical results, and we illustrate the improvements our methods provide for cardiovascular disease risk modelling. Our methodology is implemented in the Python package care-survival.
$c_{\rm eff}$ from Surgery and Modularity
oai:arXiv.org:2508.10087v3
arXiv:2508.10087v3 Announce Type: replace-cross
Abstract: $\widehat{Z}$ invariants, rigorously defined for negative definite plumbed 3-manifolds, are expected - on physical grounds - to exist for every closed, oriented 3-manifold (Gukov et al., 2020). Several prescriptions have been proposed to extend their definition to generic plumbings by reversing the orientation of a negative definite plumbing, thus turning it into a positive definite one (Cheng et al., 2019). Two existing proposals are relevant for this paper: (i) the regularized $+1/r$-surgery conjecture combined with the false-mock modular conjecture (Park, 2021 and Cheng et al., 2024), and (ii) a construction based on resurgence and a false theta function duality (Costin et al., 2023). In this note, we compare these proposals on the class of Brieskorn homology spheres $\overline{\Sigma(s,t,rst\pm1)}$ and find that they are incompatible in general. Our diagnostic is the effective central charge, $c_{\rm eff}$, which governs the asymptotic growth of coefficients of $\widehat{Z}$ (Gukov and Jagadale, 2024). First, we prove that the upper bound on $c_{\rm eff}$ from prescription (i) is governed by the Ramanujan theta function, which regularizes the surgery formula. Second, we develop numerical and modular tools that deliver the lower bounds as well as exact values via mixed mock-modular analysis. Complementing this, we also study $c_{\rm eff}$ for negative definite plumbed 3-manifolds which allow for a better comparison of pairs of 3-manifolds related by orientation reversal. As a result, we find that for some Brieskorn spheres the surgery and false-mock prescriptions violate the expected relation between $c_{\rm eff}$, Chern-Simons invariants and non-abelian flat connections.These findings underscore $c_{\rm eff}$ as a sensitive probe of the ''positive side'' of $\widehat{Z}$-theory.
Adaptive double-phase Rudin--Osher--Fatemi denoising model
oai:arXiv.org:2510.04382v3
arXiv:2510.04382v3 Announce Type: replace-cross
Abstract: Even though more than 30 years have passed since the seminal Rudin--Osher--Fatemi (ROF) paper on total variation (TV) denoising, it remains relevant due to its simplicity, robustness and interpretability. However, it is known to suffer from artifacts such as the staircasing effect. Many variants of the model have been proposed with the aim of countering this. Recently, against the backdrop of immense research output on double-phase problems in the mathematical analysis community, a double-phase type integral functional, comprising of TV and a weighted term of quadratic growth, was suggested as a regularizer for image restoration.
Here, we propose an adaptive variant of the ROF denoising model based on that regularizer. Variable growth of the double-phase functional allows for qualitatively different behavior at image contours, which are captured by an initial ROF reconstruction step. The model is designed to reduce staircasing with respect to the classical ROF model, while preserving the edges of the image in a similar fashion. We derive a closed-form resolvent formula and adapt the primal-dual Chambolle--Pock scheme for the numerical solution of the model. We also propose a practical noise-dependent parameter prescription and evaluate its performance on synthetic and natural images over a range of noise levels. Compared to established models with similar interpretability, we observe an improved or similar performance in terms of similarity metrics SSIM, PSNR, and LPIPS, while the staircasing effect is visibly reduced.
MIRANDA: short signatures from a leakage-free full-domain-hash scheme
oai:arXiv.org:2510.07479v3
arXiv:2510.07479v3 Announce Type: replace-cross
Abstract: We present $\mathsf{Miranda}$, the first family of full-domain-hash signatures based on matrix codes. This signature scheme fulfils the paradigm of Gentry, Peikert and Vaikuntanathan ($\mathsf{GPV}$), which gives strong security guarantees. Our trapdoor is very simple and generic: if we propose it with matrix codes, it can actually be instantiated in many other ways since it only involves a subcode of a decodable code (or lattice) in a unique decoding regime of parameters. Though $\mathsf{Miranda}$ signing algorithm relies on a decoding task where there is exactly one solution, there are many possible signatures given a message to sign and we ensure that signatures are not leaking information on their underlying trapdoor by means of a very simple procedure involving the drawing of a small number of uniform bits. In particular $\mathsf{Miranda}$ does not use a rejection sampling procedure which makes its implementation a very simple task contrary to other $\mathsf{GPV}$-like signatures schemes such as $\mathsf{Falcon}$ or even $\mathsf{Wave}$. We instantiate $\mathsf{Miranda}$ with the famous family of Gabidulin codes represented as spaces of matrices and we study thoroughly its security (in the EUF-CMA security model). For~$128$ bits of classical security, the signature sizes are as low as~$90$ bytes and the public key sizes are in the order of~$2.6$ megabytes.
Families of Hitchin Systems in Type-D
oai:arXiv.org:2510.27199v2
arXiv:2510.27199v2 Announce Type: replace-cross
Abstract: The Coulomb branch geometry of a 4d $\mathcal{N}=2$ SCFT is encoded in the data of a complex integrable system. In class-S, this is the Hitchin System (of ADE type) on the punctured curves $C$ on which we compactified from 6d to 4d. As we vary the complex structure of $C$, these fit together to form a (nontrivial!) bundle of Hitchin systems over the moduli space of complex structures of $C$ (the ``conformal manifold'' of the family of SCFTs). We carry out that construction for type-D. Compared to the type-A case, the construction is much more complicated because of local constraints at the punctures. Those local constraints were studied in [1]. Here, we work out their implications for the global bundle of spectral (Seiberg-Witten) curves.
Constant-Depth Clifford-Hierarchy Gates via Non-Abelian Surface Codes
oai:arXiv.org:2512.13777v4
arXiv:2512.13777v4 Announce Type: replace-cross
Abstract: We present an entirely 2D constant-depth realization of topologically protected phase gates at any level of the Clifford hierarchy, and beyond, using non-Abelian surface codes. Our construction encodes a logical qubit in the quantum double $D(G)$ of a non-Abelian group $G$ on a triangular spatial patch. The logical gate is implemented by a constant-depth circuit constructed from stacking on the spatial region a symmetry-protected topological (SPT) phase specified by a group 2-cocycle and boundary counter-terms. The Bravyi-K\"onig theorem limits the unitary gates implementable by constant-depth quantum circuits on Pauli stabilizer codes in $D$ dimensions to the $D$-th level of the Clifford hierarchy. We bypass this limitation, by constructing constant-depth unitary gates at arbitrary levels of the Clifford hierarchy purely in 2D, without sacrificing locality or fault tolerance, at the cost of using the quantum double of a non-Abelian group $G$. Specifically, for $G = D_{4N}$, the dihedral group of order $8N$, we realize the phase gate $T^{1/N} = \mathrm{diag}(1, e^{i\pi/(4N)})$ in the logical $\overline{Z}$ basis. In this context, we propose a non-abelian stabilizer group formalism, which we work out for dihedral groups. For $8N = 2^n$, the logical gate lies at the $n$-th level of the Clifford hierarchy and, importantly, has a qubit-only realization: we show that it can be constructed in terms of Clifford-hierarchy stabilizers for a code with $n$ physical qubits on each edge of the lattice. We also discuss code-switching to the double surface-code $D(\mathbb{Z}_2\times\mathbb{Z}_2)$, to complete a universal gate-set in this setup.
GlyRAG: Context-Aware Retrieval-Augmented Framework for Blood Glucose Forecasting
oai:arXiv.org:2601.05353v3
arXiv:2601.05353v3 Announce Type: replace-cross
Abstract: Accurate blood glucose forecasting using continuous glucose monitoring (CGM) data can support the early prediction of dysglycemic risk. However, current neural-network-based forecasting models treat CGM data as a purely numerical sequence without integrating the contextual information contained in CGM signal morphology. Recently, large language models (LLMs) have shown promise for time-series forecasting, yet their role as agentic context extractors in diabetes care remains largely unexplored. In this study, we bridge glucose forecasting and LLM-based contextualization by developing GlyRAG, a context-aware, retrieval-augmented forecasting framework that uses an LLM as a contextualization agent to summarize glucose morphology directly from a timed CGM window. The generated CGM-only narrative is embedded and fused with patch-based glucose representations, while a retrieval module incorporates similar historical training episodes through cross-attention. We evaluate GlyRAG on the OhioT1DM and AZT1D datasets for 5-, 30-, and 60-minute forecasting horizons. Compared with strong CGM-only baselines, GPT-4 GlyRAG significantly improves long-horizon root mean square error (RMSE) over PatchTST on both datasets. For example, RMSE decreases from 13.8 to 10.6 at 30 minutes and from 23.1 to 20.2 at 60 minutes on OhioT1DM. LLaMA 3.1 produces smaller but significant long-horizon gains, suggesting that the contextualization pipeline is not limited to GPT-4. Clinical error-grid analyses further show that approximately 85 percent of predictions fall within the clinically acceptable Clarke Error Grid Zones A and B. These results suggest that CGM-derived linguistic context and case-based retrieval can improve long-horizon glucose forecasting without requiring additional sensing modalities.
Paraxial diffusion-field retrieval. II. Fokker-Planck generalization of the transport-of-intensity equation
oai:arXiv.org:2601.14645v3
arXiv:2601.14645v3 Announce Type: replace-cross
Abstract: The transport-of-intensity equation (TIE), namely the continuity equation associated with a coherent paraxial optical wavefield, is widely used for phase retrieval. It is a second-order partial differential equation which may be solved for the phase of a coherent paraxial field such as a monochromatic scalar optical beam, given the intensity and longitudinal intensity derivative in a plane perpendicular to the optical axis. We show how the coherent flow associated with the TIE may be augmented by a diffusive flow associated with a scalar or tensor diffusion field. Such diffusive flow can arise via scattering from unresolved spatially random microstructure in an illuminated sample, blurring effects of an extended chaotic source that illuminates the sample, the resolution-reducing effect of shot noise in detected intensity images of the sample, and the sharpening effect (negative diffusion) associated with scattering from sharp sample edges. Augmenting the TIE's modeling of coherent flow with a diffuse-flow channel leads to a Fokker-Planck extension to this equation. Two different augmentations are obtained, using several complementary derivations. The inverse problems of phase retrieval and diffusion-field retrieval are then considered, for defocus-based imaging and mask-based imaging. When symmetric overfocus and underfocus images are used for phase retrieval, the diffusive term drops out and our Fokker-Planck formalism implies that any ensuing TIE-based phase-retrieval method needs no modification in light of our formalism. However, the same focal-series dataset---typically an infocus image, a weakly overfocused image, and a weakly underfocused image---may also be employed to access the additional channel of information associated with the Fokker-Planck diffusion field. Our formalism is applicable to visible light, x-ray, electron, and neutron imaging.
Advances in Diffusion-Based Generative Compression
oai:arXiv.org:2601.18932v2
arXiv:2601.18932v2 Announce Type: replace-cross
Abstract: Popularized by their strong image generation performance, diffusion and related methods for generative modeling have found widespread success in visual media applications. In particular, diffusion methods have enabled new approaches to data compression, where realistic reconstructions can be generated at extremely low bit-rates. This article provides a unifying review of recent diffusion-based methods for generative lossy compression, with a focus on image compression. These methods generally encode the source into an embedding and use a diffusion model to iteratively refine it during decoding, so that the reconstruction approximately follows the true data distribution. The embedding can take various forms and is typically transmitted via an auxiliary entropy model, and recent methods also explore the use of diffusion models themselves for information transmission via channel simulation. We review representative approaches through the lens of rate-distortion-perception theory, highlighting the role of common randomness and connections to inverse problems, and identify open challenges.
Optimal investment under capital gains taxes
oai:arXiv.org:2602.15177v2
arXiv:2602.15177v2 Announce Type: replace-cross
Abstract: We generalize classical existence results for expected utility maximization in discrete time frictionless market models to models with capital gains taxes. We consider the realistic but mathematically challenging rule that losses do not trigger negative taxes but can only be offset against potential gains in the future. Central to the analysis is a well-known phenomenon from arbitrage-free markets with proportional transaction costs that does not exist in arbitrage-free frictionless markets: an investment in specific quantities of stocks that is completely riskless but may provide an advantage over holding money in the bank account. As a result of this phenomenon, on an infinite probability space, no-arbitrage does not imply that the set of attainable terminal wealth is closed in probability. We provide simple sufficient conditions for closedness. Then, we characterize the closure of the set of attainable terminal wealth, thereby identifying precisely the source of non-closedness.
As a by-product, we obtain a new construction for an integrable majorant that dominates the utilities of all nonnegative terminal wealth attainable from a given initial capital in a frictionless market and that works directly in multiperiod models.
Contextual Information Allocation in Shared-State Cognitive Models: An Information-Theoretic Bound
oai:arXiv.org:2602.16716v4
arXiv:2602.16716v4 Announce Type: replace-cross
Abstract: Context-sensitive behavior can be modeled by enriching an internal state, by allowing a response rule to access context directly, or by preserving a shared state while introducing an auxiliary criterion or control variable. This paper isolates an information-theoretic constraint on the third architecture. Let $C$ denote context, $S$ a candidate internal or latent state, $O$ an observable response, and $M$ an auxiliary variable such that $O\perp C\mid(S,M)$. Then \[ I(C;O\mid S)\le I(C;M\mid S)\le H(M\mid S). \] Once a shared state has been specified, residual context dependence in behavior therefore lower-bounds both the context information and the conditional entropy that an auxiliary context-mediating mechanism must carry. The bound is representation-relative rather than a measure of state-space size or a universal contextuality measure. A worked recognition-memory example shows how the quantity can be computed for payoff-induced criterion shifts and compared across alternative representational allocations. Ontological contextuality and quantum probability are treated as a separate specialization rather than as prerequisites for the cognitive interpretation. More broadly, the framework provides a basis for analyzing context-memory-control trade-offs in cognitive models and artificial agents that must maintain coherent behavior across changing contexts under bounded internal representations.
Analysis of Quartic Potential Problems Using Fredholm Integral Operators with Airy Functions
oai:arXiv.org:2603.02374v4
arXiv:2603.02374v4 Announce Type: replace-cross
Abstract: Fredholm integral operators that commute with the Hamiltonians of certain quantum mechanical problems with quartic potentials are introduced in closed analytical form. The operators are expressed in terms of an Airy function, and their eigenvalues fall off exponentially fast. Using these operators we obtain an exact dual description in terms of infinite one-dimensional chains. The systems discussed include the anharmonic quartic oscillator as well as multivariable potentials and higher dimensional systems. We compute a few moments of the Fredholm operators, using matrix models in the higher dimensional case, and we show how those can be used to approximate the energy spectrum and obtain estimates on the asymptotic behavior of the wavefunctions.
Softmax gradient policy for variance minimization and risk-averse multi armed bandits
oai:arXiv.org:2604.00241v2
arXiv:2604.00241v2 Announce Type: replace-cross
Abstract: Algorithms for the Multi-Armed Bandit (MAB) problem play a central role in sequential decision-making and have been extensively explored both theoretically and numerically. While most classical approaches aim to identify the arm with the highest expected reward, we focus on a risk-aware setting where the goal is to select the arm with the lowest variance, favoring stability over potentially high but uncertain returns. To model the decision process, we consider a softmax parameterization of the policy; we propose a new algorithm to select the minimal variance (or minimal risk) arm and prove its convergence under natural conditions. The algorithm constructs an unbiased estimate of the objective by using two independent draws from the selected arm's distribution. We provide numerical experiments that illustrate the practical behavior of these algorithms and offer guidance on implementation choices. The setting also covers general risk-aware problems where there is a trade-off between maximizing the average reward and minimizing its variance.
Min-Max Grassmannian Optimization for Online Subspace Tracking
oai:arXiv.org:2604.00825v2
arXiv:2604.00825v2 Announce Type: replace-cross
Abstract: We propose GeRoST (Geometrically Robust Subspace Tracking), an online subspace tracking algorithm that models uncertainty in a subspace using a Grassmannian ball. We derive an exact scalar dual for the worst-case subspace problem, establish conditions for a unique worst-case subspace and a Riemannian gradient, and characterize the minimum radius needed to cover a dimensional extension of the target subspace. Each update uses either a spectral direction computed in a reduced subspace or the gradient of the window reconstruction loss. Our numerical experiments show that GeRoST achieves lower mean post-fault prediction error than GREAT in system identification. In video separation, it achieves higher precision and a better precision--recall balance, as measured by the F$_1$ score, than both GREAT and GRASTA at the reported thresholds, with lower recall and longer runtime.
Safe learning-based control via function-based uncertainty quantification
oai:arXiv.org:2604.01173v2
arXiv:2604.01173v2 Announce Type: replace-cross
Abstract: Uncertainty quantification is essential when deploying learning-based control methods in safety-critical systems. This is commonly realized by constructing uncertainty tubes that enclose the unknown function of interest, e.g., the reward and constraint functions or the underlying dynamics model, with high probability. However, existing approaches for uncertainty quantification typically rely on restrictive assumptions that encode smoothness properties of the unknown function, such as a known norm in a function space. Moreover, these methods usually struggle with discontinuities. In this paper, we model the unknown function as a random function from which independent and identically distributed realizations can be generated. We then construct uncertainty tubes via the scenario approach that hold with high probability. Our uncertainty tubes rely solely on sampled realizations and can therefore accommodate discontinuities represented by the sampling model. We integrate these uncertainty tubes into a safe Bayesian optimization algorithm with which we safely tune control parameters on a real Furuta pendulum.
Joint Interference Detection and Identification via Adversarial Multi-task Learning
oai:arXiv.org:2604.08607v2
arXiv:2604.08607v2 Announce Type: replace-cross
Abstract: Precise interference detection and identification are crucial for enhancing the survivability of communication systems in non-cooperative wireless environments. While deep learning (DL) has advanced this field, existing single-task learning (STL) approaches neglect inherent task correlations. Furthermore, emerging multi-task learning (MTL) methods often lack a theoretical foundation for quantifying and modeling task relationships. To bridge this gap, we establish a theoretically grounded MTL framework for joint interference detection, modulation identification, and interference identification. First, we derive an upper bound for the weighted expected loss in MTL frameworks. This bound explicitly connects MTL performance to task similarity, quantified by the Wasserstein distance and learnable task relation coefficients. Guided by this theory, we present the adversarial multi-task interference detection and identification network (AMTIDIN), which integrates adversarial training to minimize distributional discrepancies across tasks and uses adaptive coefficients to model task correlations dynamically. Crucially, we conducted a quantitative analysis of task similarity to reveal intrinsic task relationships, specifically that modulation identification and interference identification share a substantial feature overlap distinct from interference detection. Experiments demonstrate that AMTIDIN outperforms its independently trained single-task counterparts and MTL baselines under the evaluated conditions of limited training data, short signal lengths, and low signal-to-noise ratios (SNRs)
On singular solitons of the KP equation and the Go-diagrams
oai:arXiv.org:2606.04663v2
arXiv:2606.04663v2 Announce Type: replace-cross
Abstract: It has been proven that real and regular soliton solutions of the KP equation are classified in terms of the totally nonnegative Grassmannian. It is well known that vertex operators can be used to construct soliton solutions. In this paper, we consider several regular soliton solutions and study their combinations through products of vertex operators. In general, the resulting solutions become singular. Totally nonnegative elements are parametrized by the Le-diagrams introduced by Postnikov. We show that the resulting singular solutions can be parametrized by Go-diagrams, which extend Le-diagrams and arise in the Deodhar decomposition of the Grassmannian.
On spherically symmetric Berwald vacuum solutions in Finsler gravity
oai:arXiv.org:2606.05427v2
arXiv:2606.05427v2 Announce Type: replace-cross
Abstract: Berwald-Finsler spacetimes are Finsler spacetimes that are closest to pseudo-Riemannian geometry, as their canonical nonlinear connection defines an affine connection on spacetime. In this paper, we find the first exact, non-Ricci flat, $SO(3)$-symmetric Berwald solutions to the Finsler gravity vacuum equation. To this aim, we first select from all spherically symmetric Berwald spacetimes, the only class that admits flat Finsler spacetime structures, making it particularly suitable for future investigations of asymptotic flatness. Then, for this class, we completely solve the Finsler gravity vacuum equation, and find three families of solutions. In particular, we show that in Finsler geometry there exist $SO(3)$-symmetric, vacuum solutions that are not Ricci-flat. These solutions are promising candidates to model the gravitational field around compact objects, beyond their Riemannian description.
Proof of Stake economy under centralized exchanges--a mean field model
oai:arXiv.org:2606.09003v2
arXiv:2606.09003v2 Announce Type: replace-cross
Abstract: We consider the interaction between centralized trading and decentralized Proof of Stake (PoS) blockchain ecosystems. Motivated by the increasing dominance of centralized exchanges and the institutionalization of crypto markets, we study how trading activities on centralized exchanges affect staking behavior, token allocation, and decentralization within a PoS blockchain. We formulate a continuous-time mean field model, where the miners simultaneously act as validators in the PoS protocol and traders in a centralized market with price impact. Under suitable assumptions, we establish the local well-posedness of the mean field system, and derive a semi-explicit characterization of the equilibrium trading strategy. Numerical results suggest that centralized trading activities may enhance staking participation, and promote decentralization of the staking distribution through market incentives. We also study the effects of transaction costs and token supply mechanisms on the equilibrium staking ratio and concentration profile. These results illustrate how market microstructure and centralized liquidity provision can exert significant influence on decentralized blockchain protocols.
Universality in the Transition from Inspiral to Plunge for Extreme-Mass-Ratio-Inspirals: High-Accuracy Analytic Solutions and Catastrophe Theory
oai:arXiv.org:2606.13786v2
arXiv:2606.13786v2 Announce Type: replace-cross
Abstract: We revisit the transition from inspiral to plunge for extreme mass-ratio inspirals on quasi-circular, inclined orbits in Kerr spacetime from the perspective of catastrophe theory. Our goal is to uncover the mathematical structures underlying the universality of the transition dynamics, which remains governed by the same Painlev\'e I differential equation as for equatorial inspirals despite the additional complexity. We first analyze the solution of the Painlev\'e I equation selected by the physical boundary conditions of slowly evolving quasi-circular inspiral at early times. We argue that these conditions uniquely select the tritronqu\'ee solution of Painlev\'e I. We then compare existing high-accuracy analytic approximations of the tritronqu\'ee solution with direct numerical integrations of the Painlev\'e I equation, finding comparable accuracy and improved stability under differentiation and integration for the analytic solution. In the second part of this work, we show that the equilibrium structure of the Kerr radial effective potential admits a natural interpretation in terms of catastrophe theory. Equatorial orbits are associated with the fold catastrophe, while inclined orbits are described by the cusp catastrophe. In both cases, the transition to plunge corresponds to slow evolution across fold lines of the catastrophe manifold, providing a geometric explanation for the universal appearance of the Painlev\'e I equation in the transition dynamics.
An FPT algorithm for cycle rank on semi-complete digraphs
oai:arXiv.org:2606.29336v2
arXiv:2606.29336v2 Announce Type: replace-cross
Abstract: Cycle rank is a depth parameter for digraphs introduced by Eggan in 1963. Gruber (DMTCS 2012) and Giannopoulou, Hunter, and Thilikos (DAM 2012) asked whether the problem of determining if a given digraph has cycle rank at most $w$ is fixed-parameter tractable parameterized by $w$. We provide such algorithms for semi-complete digraphs, and for digraphs of bounded directed clique-width. Specifically, we show that given an $n$-vertex semi-complete digraph~$G$ and an integer $w$, one can in time $2^{\mathcal{O}((w+1)4^{w})} n^2$ determine whether $G$ has cycle rank at most~$w$. The proof is reduced to the case of bounded directed clique-width, and we then show that given an $n$-vertex digraph $G$ with a directed clique-width $k$-expression and an integer $w$, one can in time $2^{\mathcal{O}((w+1)4^k)}n$ determine whether $G$ has cycle rank at most $w$. Additionally, we consider the \textsc{Minimum Feedback Arc Set} problem on semi-complete digraphs, and show that it can be solved in time $n^{\mathcal{O}(w)}$, when a cycle rank decomposition of depth $w\ge 1$ is given.
Bootstrapping autoregressive duration models
oai:arXiv.org:2607.28294v2
arXiv:2607.28294v2 Announce Type: replace-cross
Abstract: This paper develops bootstrap methods for likelihood-based inference in autoregressive conditional duration (ACD) models, where the sample size is endogenously determined by durations observed over a fixed time span. This feature fundamentally shapes the asymptotic framework, particularly so when the durations do not have finite expectation. Building on recent limit theory for heavy-tailed and integrated ACD processes, we analyze recursive bootstrap schemes that either fix the time span (yielding a random sample size) or fix the number of durations (yielding a random time span). We establish a bootstrap theory for ACD models that links naturally to renewal theory with random sample sizes. For the fixedcount bootstrap, we prove first-order validity in the finite-mean and boundary cases and characterize the random limiting bootstrap distribution in the infinite-mean case. Although classical bootstrap consistency can fail when the durations have infinite expectation, we argue that the bootstrap remains valid and yields asymptotically normal t-statistics. Monte Carlo evidence shows that the proposed methods have good finite-sample properties in both finite- and infinite-mean settings, and are robust to distributional misspecification relative to the exponential likelihood. We conclude with an empirical application to cryptocurrency ETFs.
Near-Optimal Mixedness Testing with Pauli Measurements
oai:arXiv.org:2608.18839v3
arXiv:2608.18839v3 Announce Type: replace-cross
Abstract: We consider a fundamental problem of \emph{mixedness testing}: Given $n$ copies of an $N$-qubit state $\rho$, determine whether $\rho = \mathbb{I}_d/d$ or $\|\rho-\mathbb{I}_d/d\|_1 \geq \varepsilon$ with high probability, where $d = 2^N$. In particular, we focus on performing this task in the practical setting of single-qubit measurements, where measurements are prepared independently on each qubit. We provide a nearly complete picture of single-qubit mixedness tesing by showing $n = \tilde{\Theta}\left(\sqrt{10}^N/\varepsilon^2\right)$. To establish our lower bound, we introduce a measurement-dependent lower bound framework for adaptive single-copy state certification. For the upper bound, we present a randomized Pauli basis measurement protocol, which relies on a new primitive for computationally efficient uniformity testing of correlation-concentrated distributions on the Boolean hypercube. In conjunction, we provide lower and upper bounds for mixedness testing with fixed Pauli measurement protocols.
Torus Berry Data Determine All-Genus Abelian Topological Orders
oai:arXiv.org:2608.20330v2
arXiv:2608.20330v2 Announce Type: replace-cross
Abstract: We show that for Abelian Chern-Simons topological orders, torus Berry matrices determine the all-genus extended TQFT. We identify the topological part of the projective Berry holonomy under metric deformations with the mapping-class-group representation of the Abelian Chern-Simons TQFT and prove that the normalized torus data reconstruct its finite quadratic module (G,q). Recent work showed that (G,q) classifies the extended theory up to symmetric monoidal natural isomorphism, and that the associated Abelian defect extension is determined by the pointed modular category C(G,q) arising from the same finite quadratic-module data. Therefore genus-one Berry data determine not only the all-genus bulk theory but also its associated defect structures without choosing a K-matrix presentation. We also prove that, for normalized character row errors $\delta$<21.96%, nearest-row decoding recovers the Abelian fusion algebra independently of the number of anyons. The result applies to Abelian fractional quantum Hall and spin-liquid phases described by even-lattice Chern-Simons theories.
Locally Private Inference for Riemannian Stochastic Optimization
oai:arXiv.org:2609.22642v2
arXiv:2609.22642v2 Announce Type: replace-cross
Abstract: We develop inference for manifold-valued population minimizers when each observation belongs to a different participant and only locally private messages reach the analyst. The method releases randomized tangent gradients and combines them through Riemannian stochastic approximation and Polyak-Ruppert averaging. Directly inserting a private data surrogate into a nonlinear loss can shift its population target, whereas conditional centring of the released gradient preserves the first-order equation. We introduce symmetric-pair regression (SPR) to estimate the asymptotic variance from the same private messages used for point estimation, without holding out participants or requesting a second release. We prove the central limit theorem and consistency of the fully transcript-based sandwich covariance and intrinsic Wald region under local differential privacy. Simulations across various statistical problems and manifolds support the predicted decrease in estimation error and near-nominal coverage under moderate privacy. An application to NHANES anthropometric data illustrates private estimation of a leading body-size direction and its uncertainty.
Dual-GNN Multilevel Coarsening for Maximum Independent Set
oai:arXiv.org:2609.25149v2
arXiv:2609.25149v2 Announce Type: replace-cross
Abstract: The maximum independent set (MIS) problem is a fundamental NP-hard combinatorial optimization problem with applications in scheduling, resource allocation, and network analysis. Exact solvers can provide high-quality solutions or optimality certificates, but their computational cost grows rapidly with graph size, while hand-crafted heuristics improve scalability at the expense of guarantees. Learning-based methods offer an alternative by exploiting structural patterns across graph instances, yet directly predicting independent sets can make global coordination difficult on large graphs. We instead use learning to guide multilevel graph coarsening while retaining combinatorial search for final decision making. Our Dual-GNN Multilevel Coarsening framework uses a Partition GNN to score candidate contractions and a Representative GNN to select top-k local independent-set states for each final cluster. Experiments on Erd\H{o}s--R\'enyi graphs with up to 2,000 vertices demonstrate a favorable quality--runtime trade-off. On 500-vertex instances with certified optima, our method achieves an average independent-set size of 19.20, corresponding to 99.5\% of the optimal value of 19.30, while reducing the mean wall-clock time from 643.57 seconds for exact solving to 3.41 seconds, yielding an approximately 189$\times$ speedup. On larger graphs with 1,000 and 2,000 vertices, our method achieves the best mean solution quality among all evaluated methods. Moreover, although trained only on Erd\H{o}s--R\'enyi graphs with edge probability $p=0.35$, the learned coarsening policy generalizes effectively across both unseen graph densities and structurally different graph families.
An $\widetilde{O}\left(n^2 \right)$-Time Sampler for Zero-Field Ferromagnetic Ising Models
oai:arXiv.org:2609.26197v2
arXiv:2609.26197v2 Announce Type: replace-cross
Abstract: We give an approximate sampler for ferromagnetic Ising models with no field on arbitrary graphs that runs in time $\widetilde O(m+n)+\widetilde O_\beta(n^2\log^2 (1 / \varepsilon))$, where $n$ and $m$ are the numbers of vertices and edges, respectively, and $\varepsilon$ is the approximation error. Our approach combines Bencz\'ur--Karger cut sparsification with a new mixing time analysis of the Glauber dynamics for the random-cluster model. The mixing time analysis features a new monotone edge-count Poincar\'e inequality.
Transversal non-Clifford gates on good quantum locally testable codes
oai:arXiv.org:2609.26691v2
arXiv:2609.26691v2 Announce Type: replace-cross
Abstract: We achieve nontrivial transversal logical multi-controlled-$Z$ gates with asymptotically optimal parameters simultaneously on quantum low-density parity check codes and quantum locally testable codes, by applying the gate framework of [arXiv:2604.01874] to the recent good qLTC construction of [arXiv:2609.20780]. To this end, we use the covering space method to construct a nonzero cup product pairing on a finite arithmetic cubical complex. This differs from the previous construction of almost-good codes, whose base space is a hypergraph product. We express the pairing as a coefficient in a product of Moore determinants and prove polynomial nonvanishing by a bipartite multigraph specialization. We then construct covering spaces to obtain an asymptotic family of good qLTCs on which the pulled-back pairing induces the desired nontrivial transversal logical action. We further establish polynomial lower bounds on the logical tensor subrank, yielding polynomially many independent logical non-Clifford gates and enabling sublogarithmic-overhead magic state distillation with good qLTCs.