2026-09-30 | | Total: 480
In a deviation event, the empirical measure of $n$ independent draws lands in a set of distributions. The exponent of its probability splits, at every $n$, into two nonnegative terms. The first is the rate: $n$ times the relative entropy, from the population, of the distribution of a typical draw under the event. The second is the dependence that conditioning induces among the draws, measured by their total correlation. Their relative sizes depend on the geometry of the set. This paper focuses on this exact split and on the geometry that the interplay of its two terms reveals. The dependence vanishes exactly when the event confines every draw to a single set, and the classical rate of that constraint is exact. On a set invariant under a compact group that fixes the population and leaves no invariant set of intermediate probability, the rate vanishes; uniform convergence over a hypothesis class that such a group permutes is one. On a half-space whose threshold sits a fixed number of standard errors above the mean, the fraction of the exponent that is dependence tends to a function of the event's probability alone. On a set split into pieces, the dependence is the pieces' average plus $n$ times the Jensen-Shannon divergence of their marginals, minus the entropy of their weights. The split extends to a general reference law. When the information projection is such a law, the split gives the exact value of the expectation in the exponential change of measure to the projection.
We propose a general goodness-of-fit framework for distributions on separable metric spaces. Under suitable identifiability conditions, probability distributions are characterized by distance profiles, which motivates their use in goodness-of-fit testing, for simple and composite null hypotheses. For composite null hypotheses, parameter estimation is incorporated via a Bahadur-type expansion, and the asymptotic distribution of the empirical process for distance profiles is obtained under the null. We define test statistics based on this empirical process and derive their asymptotic null distributions. We further study the behavior of the proposed tests under fixed and local alternatives, establishing consistency results. Multiplier bootstrap procedures are developed, and their conditional asymptotic validity is established under both simple and composite null hypotheses. The methodology is illustrated with simulation studies and real-data applications for data on the sphere, hyperboloid, and simplex.
The Maker Breaker Triangle Game involves two players, Maker and Breaker, who alternately claim 1 and $q$ edges of $K_n$, respectively. Maker's goal is to claim all three edges of any triangle, whereas Breaker's goal is to prevent this. The threshold bias, i.e. the minimum $q$ such that Breaker wins, is known to lie between $\big\lceil\sqrt{2n-2}-\frac{3}{2}\big\rceil$ and $\big(\sqrt{8/3}+o(1)\big)\sqrt{n}$. Determining its exact value is a longstanding open problem. In this paper, we introduce a novel version of the game in which Breaker may claim fewer than $q$ edges per round to build up a budget that he can spend in later rounds. With this additional power for Breaker, we determine the threshold bias to be precisely $\big\lceil\sqrt{2n-2}-\frac{3}{2}\big\rceil$ for all $n$, matching the known lower bound. This is the first version of the Maker Breaker Triangle Game for which the exact threshold bias is known. Even if Breaker is not allowed to use the budget for threats, we prove that the threshold bias is still $\big(\sqrt{2}+o(1)\big)\sqrt{n}$. Furthermore, we study the budget version of other Maker Breaker Games. Specifically, for the $K_4$-Game, we prove the first explicit lower and upper bounds on the threshold bias in both the original and the budget version of the game.
The celebrated conjecture of Lovász from 1969 asks whether every connected vertex-transitive graph has a Hamiltonian path. Bucić, Christoph, Pokrovskiy and Steiner recently proved that every such graph on $n$ vertices contains a cycle of length $n^{2/3-o(1)}$. In this paper, we improve this bound to $n^{1-o(1)}$. Our proof uses a structure theorem of Tessera and Tointon to first obtain a partition of the vertex set into sets of small diameter in the original graph. When the parts are large, we repeatedly traverse a spanning tree of maximum degree at most three in the quotient graph, and use the Lovász local lemma to join random short paths along this traversal and extract a long path in the original graph. When the parts are small, we apply Babai's contraction lemma to reduce the problem to finding a long path in a connected Cayley graph of a nilpotent group with boundedly many generators and bounded nilpotency class, and then show that such a Cayley graph on $m$ vertices contains a path on $m^{1-o(1)}$ vertices.
We study Ore extensions $R[t;σ,δ]$ of rings graded by an arbitrary group $Γ$. The grading of $R$ extends to a grading with $t$ homogeneous of degree $γ$ if and only if $σ$ and $δ$ are compatible with conjugation and translation by $γ$, and this grading is then unique. For nonabelian $Γ$ the degree of $t$ need not centralize the support of $R$; this twist can be removed by a change of variable when $R_γ$ contains a unit, but not in general. The graded forms of the classical necessary conditions for simplicity are not sufficient, as the quantized Weyl algebra shows. If $R$ is graded-simple and $σ$ is an automorphism, then $R[t;σ,δ]$ is graded-simple if and only if it contains no homogeneous normal element that is monic of positive $t$-degree. For Ore extensions of group algebras, an affine action of the group on the line describes all graded ideals; in characteristic zero, graded simplicity is equivalent to the nonvanishing of a class in $H^1(G,k_χ)$, and simplicity forces the group to be metabelian.
We prove that the exotic smooth $8$-sphere and both oriented homotopy $10$-spheres representing elements of order three admit Riemannian metrics with strictly positive sectional curvature. The construction combines Sperança's special $S^3$-$S^3$ bundle models with the compatible-disk construction of He, Liu and Yau. We show that the relevant bundles admit equivariant polar normal forms, with transition functions that are constant along meridians and conjugation-equivariant. We also show that the representation-dependent part of the He--Liu--Yau construction requires only a uniform bound on the infinitesimal action fields. Sperança's $8$- and $10$-dimensional examples satisfy this bound. The resulting northern and southern metrics have matching boundary metrics and compatible second fundamental forms, so the Reiser--Wraith gluing theorem gives the required positively curved metrics.
In this article, we analyze plane-symmetric solutions to the relativistic Euler equations on spatially flat spacetimes with decelerated expansion. We consider a linear equation of state $p(ρ)=Kρ$ and power law inflation $a(t)=t^α$, where $0<K<\frac{1}{3}$ and $0\leqα<1$. Previous results imply nonlinear stability of the homogeneous and isotropic solution above an expansion threshold $α_\text{crit}=\frac{2}{3(1-K)}$. We prove that at and below this critical expansion rate there exist arbitrarily small data that exhibit finite-time singularity formation of the shock type, i.e., gradient blowup while the solution stays bounded. For this type of data, we establish lifespan estimates that are polynomial below and exponential at the critical threshold. In addition, we prove a theorem based on energy estimates that provides lower bounds on the lifespan of plane-symmetric solutions generated from small initial data and generalizes to solutions without symmetry in $3+1$-dimensions.
In [OS05] the authors proved an exact triangle for the Heegaard Floer homology of the double branched covers associated to a skein sequence of links, and constructed a spectral sequence from the reduced Khovanov homology to the Heegaard Floer homology of the double branched cover of a link. For $L \subset S^3$ a link and $Σ(L)$ its double branched cover, the invariant $HF(Σ(L))$ doesn't capture the information of the natural involution on $Σ(L)$. In this paper we study the equivariant version of $HF(Σ(L))$ and prove that similar exact triangle and spectral sequence hold for this equivariant version.
The Brown--Erdős--Sós problem is a fundamental problem in sparse hypergraph Turán theory. For integers $r,k\ge 2$ and $s\ge r$, the problem asks for the maximum number $f^{(r)}(n;s,k)$ of edges in an $n$-vertex $r$-uniform hypergraph containing no $k$ distinct edges spanning at most $s$ vertices. In 1971, Brown, Erdős, and Sós proved that $f^{(r)}\bigl(n;(r-t)k+t,k\bigr)=Θ(n^t)$ for all $r>t\ge 2$ and $k\ge 2$. However, the existence and the value of the leading coefficient have remained largely open. We determine the coefficient $π(r,t,k):=\lim_{n\to\infty}n^{-t}f^{(r)}\bigl(n;(r-t)k+t,k\bigr)$ for every such $r,t,k$, except when $(r,t)=(3,2)$ and $k\ge 4$ is even. In particular, \[ π(r,t,k) = \begin{cases} \frac{2}{t!\bigl(2\binom{r}{t}-1\bigr)}, & \text{if $k$ is odd},\\ \frac{1}{t!\binom{r}{t}}, & \text{if $k$ is even and $r\ge4$}. \end{cases} \] Surprisingly, for $r\ge4$, the limit $π(r,t,k)$ depends on $k$ only through its parity, not its value. For the remaining case, we prove that $π(3,2,k)>1/6$ for all even $k\ge 4$, showing that the natural packing construction is never asymptotically optimal. As an application, we extend a connection of Bennett, Cushman, and Dudek to arbitrary uniformity to resolve several cases of the Erdős--Gyárfás--Shelah generalized Ramsey problem.
We study local systems on line arrangements for which no admissibility conditions are satisfied. In doing so we demonstrate the existence of these anti-admissible objects in both the finite and infinite setting and discuss their relation to the combinatorial data of arrangements. We also observe the connection between anti-admissibility and smooth branched coverings and how this connection is related to the branch set being minimal in one sense and maximal in another.
We develop a rich theory of dyadic-probabilistic multiresolution methods in the context of flag type singular integrals. We apply these methods to prove a full $T1$ theorem, even a representation theorem, for bi-parameter flag singular integrals. This is the first time a complete $T1$ theorem appears in a multi-parameter setting with an entangled nature; even the related recent advances with Zygmund dilations have been in the cancellative $T1 = 0$ or convolution situations. This theorem comes with a non-trivial necessity argument related to the flag type product $\mathrm{BMO}$ assumption on $T1$. We also present a version of our theorem in the cancellative tri-parameter flag setting showing that our methods are perfectly adaptable to general multi-parameter flag settings. Importantly, our $T1$ representation theorem implies weighted estimates for every flag $A_p$ weight, showing that our dyadic multiresolutions carefully retain the flag invariance of the original singular integrals. Our multiresolution methods also yield flag style paraproduct decompositions of products of functions and lead to a general and efficient method for proving commutator estimates in various flag settings.
Unit interval graphs admit a classical Catalan encoding by area sequences, or equivalently by Dyck paths. We introduce a new statistic on these graphs, called peak-nesting, defined as the largest number of peak-cliques containing a common vertex. Through the correspondence with area sequences, peak-nesting also defines a new statistic on Dyck paths. We construct a bijection between Dyck paths and bicolored Motzkin paths which simultaneously records peak-nesting and the number of peaks. This yields a refinement of Touchard's identity, coefficient formulas involving Dyck paths of given height, and new combinatorial interpretations for several sequences recorded in the OEIS. We study the peak and peak-nesting polynomials over all unit interval graphs and over the subclasses of connected, Abelian, $2$-nested, and reduced unit interval graphs. For these families we obtain closed formulas, recurrences, and, for the symmetric cases, nonnegative expansions in the gamma-basis with explicit combinatorial interpretations. We also investigate questions regarding the location of zeros and the log-concavity of the corresponding coefficient sequences: some of the polynomial families form generalized Sturm sequences, whereas others fail to be real-rooted but appear nevertheless to have log-concave coefficients. Finally, we relate the peak-clique presentation of a unit interval graph to lattice path matroids.
We study the deterministic query complexity of finding approximate Goldstein stationary points of globally Lipschitz functions that may be nonsmooth and nonconvex. Under prescribed bounds on the Lipschitz constant and on the difference between the initial function value and the infimum, we prove a lower bound on the worst-case number of oracle calls that is exponential in the dimension at fixed sufficiently small accuracy parameters. The result holds for a local oracle and gives explicit dependence on the accuracy parameters. A complementary deterministic algorithm using only function values gives an exponential upper bound, establishing the exponential order in the dimension in this regime. For a coarser stationarity requirement, we also give a deterministic first-order algorithm with a dimension-free query bound. Thus, the dimension dependence differs between the two accuracy regimes.
Given integers $k,\ell \geq 2$, define the Erdős--Selfridge curve \begin{align*} \mathcal{C}_{k,\ell} : y^\ell = x(x+1)\cdots (x+k-1). \end{align*} Bennett and Siksek proved that if $(x,y)$ is a rational point on $\mathcal{C}_{k,\ell}$ with $\ell$ a prime and $y \neq 0$, then $\ell$ is bounded (doubly-exponentially) in terms of $k$. We improve this bound on $\ell$ when $k$ is sufficiently large. Our method uses combinatorial and sieve-theoretic arguments, as well as results on solutions to generalized Fermat equations.
We review mathematical results about the spectrum of spin-$s$ chains with a nearest neighbor interaction given by the projection onto the singlet state of two spin-$s$ degrees of freedom. Up to normalization, these interaction terms generate a Temperley-Lieb algebra at loop parameter $d=2s+1$. We also present several new results. First, we prove a ferromagnetic ordering of energy levels across symmetry sectors of the model, thus generalizing a previous result of Nachtergaele, Spitzer and Starr (2004) for the spin-$\tfrac12$ $XXZ$ chain. This enables us to determine a uniform lower bound on the finite volume spectral gap for these spin chains. By combining a variational estimate with Knabe's finite size criterion, we show that the exact spectral gap of the GNS Hamiltonian of the fully polarized state is $1-2/d$. Furthermore, this value serves as a lower bound for the gap of the maximally mixed ground state. Finally, we show that the ground state projectors on open chains satisfy the Jones-Wenzl recursion, thereby recovering a known result that the degeneracies are the quantum integers $[L+1]_q$ for $q+q^{-1}=d$. We discuss how the high degeneracy of the ground states allows the model to break a continuous symmetry while remaining gapped, and renders that gap unstable.
We propose a continuous-time algorithm for zeroth-order global optimization of smooth functions on compact manifolds that synthesizes Riemannian gradient dynamics using only objective measurements, without evaluating gradients. The algorithm is formulated as an ordinary differential equation driven by piecewise-smooth McShane-type approximations of the Wiener process, with a geometric compensation term that depends only on the actuation frame and not on the objective function. Our main result establishes infinite-horizon practical probabilistic guarantees for fixed approximation parameters. To this end, we show that the algorithm's trajectories approximate, in the mean-square sense, a Riemannian Langevin diffusion whose unique invariant Gibbs measure concentrates on the set of global minimizers. We exploit this approximation to establish finite-horizon probabilistic convergence guarantees and directly analyze the algorithm's long-time behavior to obtain the infinite-horizon result.
We classify the deep points of cluster varieties of cluster algebras of punctured marked surfaces with boundary.
We are interested in the molecule reduction algorithm used by Deng, Hani and Ma. This algorithm allows them to establish a rigidity theorem, which plays a central role in the long-time derivation of the Boltzmann equation using the hard-sphere dynamics. In the present article, we show that this algorithm is a graph traversal algorithm of Kruskal type, and we prove that it constructs a Kruskal spanning tree of the input molecule.
We study generalized learning dynamics in multi-agent systems whose joint state evolves on a manifold and whose agents act through state-dependent, potentially nonholonomic vector fields. Under a bundle-splitting condition, we show that these dynamics admit an intrinsic representation as projected Riemannian gradients, giving rise to a class of \emph{nonholonomic gradient play} dynamics. We characterize the local stability of its equilibria through an intrinsic linearization that explicitly captures the effects of the Riemannian connection and the nonholonomy of the actuation frame. The framework recovers classical gradient play on Euclidean spaces and manifolds as special cases while accommodating nonholonomic actuation. We then develop a geometric theory of deception under asymmetric information, whereby an agent exploits privileged knowledge of other agents' learning rules to manipulate the emerging equilibrium. We show that deception effectively \emph{tilts the Riemannian geometry} perceived by the oblivious agents, distorting their projected gradient directions. We establish persistence of exponentially stable equilibria over an open set of deception parameters and derive an explicit first-order characterization of the resulting equilibrium displacement. Analytical and numerical examples illustrate the framework and its implications for equilibrium manipulation in games.
Beke, Csáji, Csikvári, and Pituk showed that the Merino--Welsh quotient $Φ(M)=T_M(1,1)^2/(T_M(2,0)T_M(0,2))$ can be arbitrarily large, so the multiplicative Merino-Welsh inequality fails for matroids in general. We show that $Φ$ is uniformly bounded on the class of matroids whose cyclic-flat lattice avoids any fixed finite poset $P$ as an induced subposet. We further prove $Φ(M)\leq1$ for matroids of cyclic width at most $7$, cyclic height at most $6$, and for loop- and coloop-free $4$-paving or $4$-copaving matroids.
We prove a sharp Santaló-type inequality for the product of $V(\varphi)$ and $V$ of the Legendre transform of $\varphi$, where $\varphi$ is an even geometric convex function on $\mathbb{R}^n$ and $V(\varphi)=\int(1+\varphi)^{-(n+1)}$. For this size functional, the Legendre transform and functional polarity give the same volume, so the same inequality holds for both dualities. Through a projective correspondence, the problem is equivalent to a new Santaló-type inequality with respect to standard volume and standard polarity, on a class of not necessarily centered convex bodies. This class consists of convex bodies $K\subset\mathbb R^n\times[-1,1]$ containing $\{0\}\times[-1,1]$, for which every horizontal section is centrally symmetric about the distinguished vertical axis. We determine the sharp upper bound for $\operatorname{vol}_{n+1}(K)\operatorname{vol}_{n+1}(K^\circ)$ in this class and classify all equality cases. When $n=1$, the extremizers are the disk and its horizontal linear images. When $n\ge 2$, the ball is no longer a maximizer, and the extremizer is unique up to horizontal linear transformations and the reflection $t\mapsto -t$. The symmetric Santaló inequality applied to horizontal sections, together with monotone transport, reduces the problem to a maximization problem for increasing curves in the square $[-1,1]^2$. We solve this problem using a global potential when $n=1$ and two Hamilton-Jacobi branches when $n\ge 2$. Finally, in dimension one we provide a sharp family of functional Santaló inequalities for the Legendre duality, interpolating between the volume $V$ and the exponential volume $\int \exp(-\varphi)$, with centered quadratics as the only equality cases.
For real codimension two smooth foliations, we study the transversely complex structures, transversely complex projective structures and transverse opers associated to the foliation. We prove a uniqueness theorem for the transversely holomorphic ${\mathbb C}{\mathbb P}^1$--bundle naturally associated with a transversely complex projective structures. A similar uniqueness theorem is proved for the transversely holomorphic filtered ${\mathbb C}{\mathbb P}^{r-1}$--bundle naturally associated to a transverse ${\rm PGL}(r,{\mathbb C})$--oper.
We give an explicit solution to the five expert prediction with expert advice partial differential equation (PDE) in the finite-time horizon setting. The solution formula establishes that the adversary's rank strategy $(1,0,1,0,0)$ is globally optimal, and the COMB strategy $(1,0,1,0,1)$ is optimal exactly on the set where $x_1=x_2$ and $x_3=x_4$. The formula is derived from the solution of the geometric-stopping problem given in our companion paper through the transform principle of Bayraktar, Ekren and Zhang, which links the two problems by a Laplace transform. Inverting the transform term by term expresses the solution through a series of Gaussian and complementary error function kernels. The optimality of $(1,0,1,0,0)$ is reduced to the signs of $41$ one-variable Gaussian series, which are certified with computer assistance by Poisson summation, first-mode domination and interval arithmetic on $1616$ rational cells. The proofs of our main theorems, certificates included, are also formalized in the Lean proof assistant.
We prove a conjecture proposed by the first-named author in 1998. Let $f\colon\mathbb{C}\to\mathbb{P}^n$ be a transcendental linearly non-degenerate holomorphic curve of finite lower order. If the counting function $N_1(r,f)$ of its Wronskian zeros satisfies $N_1(r,f)=o(T(r,f))$, then its order and lower order coincide and belong to $\{1+k/q:k\in\mathbb{Z}_{\geq 0},\ 2\le q\le n+1\}$, and its characteristic is regularly varying. Every order in this set occurs. We also prove the sharp inequality $\limsup_{r\to\infty}N_1(r,f)/T(r,f)\geq 1$ for transcendental linearly non-degenerate curves of order zero.
We prove weak solvability for a two dimensional nonlinear Boussinesq type groundwaterflow problem motivated by the Moche CHAVIMOCHIC aquifer in northern Peru. The model couples state dependent storage and transmissivity with a boundary decomposition into Dirichlet, Neumann, and nonlinear Robin parts dictated by the hydrogeological geometry. In contrast with much of the groundwater Boussinesq literature, which is devoted to exact, similarity, perturbative, semi-analytical, or linearized solutions for special geometries and boundary data, our objective is a variational existence result for a genuinely two-dimensional mixed-boundary problem. Because the physical transmissivity is proportional to the saturated thickness, the equation degenerates at local depletion. We therefore isolate a physically admissible saturated range and construct uniformly positive extensions of the constitutive laws. For the resulting uniformly parabolic problem, existence of a weak solution is obtained through an implicit Euler Rothe scheme, a nonlinear energy adapted to the storage law, uniform estimates for the discrete derivative of the storage potential, discrete compactness, and strong convergence of boundary traces. We then give a precise consistency statement showing when the abstract solution solves the original Moche model and identify the fully depleted regime as a distinct porous medium type problem.