2026-07-30 | | Total: 274
For a finite nonempty subset $A$ of an abelian group, let $σ(A)=|A+A|/|A|$ and $δ(A)=|A-A|/|A|$. The classical sum-difference inequalities state that $$σ(A)^{1/2}\leqδ(A)\leqσ(A)^2.$$ The exponent $2$ in the second inequality is known to be optimal, whereas it has remained open whether the exponent $1/2$ in the first inequality can be improved. We settle this question by constructing an explicit family of finite sets $A_K\subset\mathbb{Z}$ such that $$\frac{\logσ(A_K)}{\logδ(A_K)}\longrightarrow 2,$$ hence the exponent $1/2$ in the first inequality is also optimal. The construction and its proof were developed with the assistance of Hyra, an AI research agent based on the open-weights Hy3 model.
We prove a conjecture of Regts and Sevenster: a complex-valued graph parameter $f$ with $f(\varnothing)=1$ has exponentially bounded edge-connection rank if and only if it is a mixed partition function; moreover, the model may be chosen with its numbers of even and odd colours explicitly bounded in terms of the rank bound. From $f$ we construct a connection category, a rigid symmetric $\mathbb{C}$-linear monoidal category whose morphism spaces have the connection ranks as dimensions and whose trace pairings are nondegenerate. The rank hypothesis forces moderate tensor growth, and a recent theorem of Etingof and Penneys then shows that every nilpotent endomorphism has trace zero; together with the nondegeneracy of the trace pairing, this makes the category semisimple, and a theorem of Deligne provides a faithful symmetric tensor functor to finite-dimensional super vector spaces. We then identify the resulting super tensor network with the Regts-Sevenster model exactly, viz. with its Eulerian-subgraph expansion and its sign of $-1$ for every fermionic circuit. An appendix gives an independent and direct proof of the nilpotent-trace step, showing that in a rigid symmetric $\mathbb{C}$-linear category with $\mathrm{End}(\mathbf{1})=\mathbb{C}$, exponentially bounded endomorphism growth makes the trace zeta function of every endomorphism rational, with explicit degree bounds.
The Stanley--Gasharov conjecture asserts that the chromatic symmetric function of every claw-free graph is Schur-positive. Prajapati, and independently Matherne and Morales, found counterexamples, and the latter asked for an infinite family of counterexamples. Combining Prajapati's complete census through order~$12$ with an exact census of the $144{,}492$ previously untreated connected claw-free graphs on~$n$ vertices and~$m$ edges with $13\le n\le 21$ and $n-1\le m\le 20$, we show that their counterexample graph~$G_2$ with $12$ vertices and $21$ edges is the unique minimum counterexample under the edge-first, vertex-second order. We also construct an infinite family of connected line graphs whose chromatic symmetric functions are not Schur-positive. This yields an infinite family of counterexamples to the Stanley--Gasharov conjecture.
Consider a material point in finite dimensions moving under the influence of a potential force according to Newton's laws. Suppose the potential energy function is a generalized well, strictly convex transverse to a smooth submanifold $M$ on which it is minimal. If the potential is steep, one expects the particle will oscillate rapidly about this submanifold and, if the initial displacement is not too great, should approximately move along $M$ as if it were ideally constrained (e.g. geodesic). This expectation is true if the initial conditions are very well prepared but may fail otherwise - additional potential forces determined by how the Hessian of the potential varies along $M$ may be present. The origin of this force is that the transversal motion acts as a simple harmonic oscillator with a slowly varying frequency, which approximately conserves action, not energy. In this work, we regard continuum mechanical systems such as the elastic thread or compressible fluid as material points moving in an infinite dimensional space according to Newton's laws for appropriate potential energy functionals. We show how to arrive at ideally constrained systems such as the inextensible thread and incompressible fluid as a limit of a strong potential force, computing also corrections to the naive predictions when the data is not very well prepared. For example, for the thread we find a resistance to bending emerge from a strong resistance to compression/expansion. For the fluid, the effective incompressible dynamics may be driven by a remnant acoustical wavefield. Both of these emergent features are nonlinear and non-local. Finally, we give examples of some limits for which the naive models robustly hold because the additional force is trivial. These include the homogeneous incompressible Euler, anelastic Euler, as well as the lake and great lake equations.
Let $G=(V,E)$ be a possibly infinite, locally finite graph with non-negative Ollivier--Ricci curvature and degrees bounded by $d<\infty$. We prove that there exists a constant $C_d$ such that the continuous-time random walk displacement and log-volume growth satisfy \[ \mathbb{E}_x \mathrm{dist}(x,X_t)^2 \le t \exp\left[C_d \sqrt{\log t \log\log t}\right], \] \[ \log \mathrm{Vol}(B(x,r)) \le \exp\left[C_d \sqrt{\log r \log\log r}\right], \] for every $x\in V$ and all $r,t \ge e^e$.
These notes provide a self-consistent summary of the stochastic approach to anomalous diffusion based on Continuous Time Random Walks (CTRWs) and their scaling limits. An introduction to CTRWs and their relationship to the theory of semi-Markov processes is provided. A general technique to study scaling limits of CTRWs is then described, and the semi-Markov property of the limiting processes is discussed. With this at hand, the connection of limit processes with non-local (fractional-type) equations is introduced, and the most recent (and general) contributions, going far beyond fractional equations, are also described. Indeed, the theory presented here includes very general non-local evolution equations as abstract Cauchy problems as well as pointwise non-local fractional diffusion equations in bounded domains.
In this paper, we establish asymptotic formulas for the first and second twisted moments of $r$-th order Hecke $L$-functions over global fields that contain the $2r$-th roots of unity, for $r\ge 3$. We focus primarily on algebraic number fields. As a consequence, we establish a positive proportion of non-vanishing central values for these $L$-functions, specifically for families of both square-free and $r$-th power-free ideals. Our approach is based on the machinery of multiple Dirichlet series.
In the theory of spectral algebraic geometry, few objects receive as much study as the spectrum of topological modular forms. In this paper, we compute the strict units of topological modular forms, defined as the connective cover of the mapping spectrum from $\mathbb{Z}$ to the units spectrum.
We develop a global differential calculus on the $L^2$-Wasserstein space over a closed Riemannian manifold, based on derivations of cylinder functions rather than on the standard pointwise approach. Within this framework we define some fundamental geometric tools. In particular, we show that the Levi-Civita connection on the base manifold lifts to the unique torsion-free connection compatible with the 'extended' Otto metric. The corresponding Riemann tensor is exactly the lift of the base Riemann tensor, which shows that - in this framework - the correction terms of the classical gradient formalism are not intrinsic curvature terms, but arise from the projection onto the measure-dependent gradient distribution. This allows us to revisit with a global and purely differential approach the smooth computations by J. Lott, Comm. Math. Phys., 277(2):423-437, 2007, reaching partially different conclusions.
Let $Ω\subset\mathbb H^2$ be a bounded smooth horoconvex domain and let $ψ_1>0$ be its first Dirichlet eigenfunction. We prove that \[ \operatorname{Hess}_{\mathbb H^2}(-\logψ_1)>0 \] throughout $Ω$, with no restriction on the diameter or the first eigenvalue. The proof is by contradiction. A degenerate Hessian would yield a shifted translation Killing derivative with a singular interior zero. Then the boundary-zero theorem of Grossi and Provenzano shows that the shifted Killing derivative has exactly two zeros on the boundary. A nodal-domain argument on the surface rules this out.
We obtain novel integral representations, expressed as contour integrals in the complex Fourier plane, for the solution of fully nonhomogeneous initial-boundary-value as well as interface problems for the Barenblatt-Zheltov-Kochina pseudo-parabolic equation of Sobolev-Galpern type formulated on the real line, half-line and finite interval. This fundamental partial differential equation (PDE) of mathematical physics emerges in a wide variety of natural phenomena and applied sciences including continuum mechanics, thermodynamics, chemical engineering, solid-state electronics, semi-conductor devices, battery research, and nanotechnology. A suitable implementation of a modern methodology, known as Unified Transform Method, is in force throughout this study, with particular challenges arising due to the higher-order mixed-derivative term of the PDE and the generality of the problems under consideration altogether. The boundary and interface conditions appear to be non-standard but are naturally dictated by the structure of the PDE itself. Our explicit analytical formulae directly lend themselves to future explorations of the solutions' qualitative properties such as asymptotic behavior, spatio-temporal dynamics, regularity and well-posedness. This work is expected to be of utility also in the investigation of nonlinear counterparts as well as towards the study of phase-transition phenomena and free-boundary problems, where the interface evolves dynamically according to energy balance laws.
In this paper, we show the $L^2$ contraction property of the planar oscillatory or monotone dispersive shock profiles of the dissipative Kadomtsev-Petviashvili (KP) equation modelling water waves and the multi-dimensional Korteweg-de Vries (KdV) Burgers equation under arbitrarily large perturbations in two space dimensions, up to Lipschitz time-dependent shifts. This stability result extends the results of two recent papers by Chen, Eun, Kang, and Shen on $L^2$ contraction for the KdV-Burgers equation.
We consider the $k$-generalized Korteweg-de Vries equation \begin{equation*} \partial_{t}v+\partial_{x}^{3}v +\partial_{x}(v^{k+1})=0, \qquad (t,x)\in\mathbb R\times\mathbb R, \qquad k\in\mathbb Z_{+}, \end{equation*} emphasizing the modified case $k=2$ and the cubic case $k=3$. We prove that solutions from low-regularity, possibly singular, data $u_{0}$ become real analytic in $(t,x)$ for all $t\neq0$, whenever $u_0$ satisfies a Nelson-type condition \begin{equation*} \sum_{k=0}^{\infty}\frac{α^{k}}{k!}\,\big\|(x\partial_x)^{k}u_0\big\|_{X}<\infty, \end{equation*} for some $α>0$. For the cubic equation, this includes data such as $u_0=x_{+}^λ$, singular at the origin; for mKdV even discontinuous data yield analytic solutions \emph{e.g} $u_{0}(x)=\sgn(x)e^{-x^{2}}$.For mKdV we work in the sharp well-posedness space $X=\widehat H^{r}_{s}(\mathbb R)$, $r\in(1,2]$, $s\geq\frac12-\frac1{2r}$, with $r=2$ recovering analyticity on $H^s(\mathbb R)$, $s\geq\frac14$, the best mKdV space in the sense of Kato; for the cubic equation we work in $X=H^{s}(\mathbb R)$, $s>-\frac16$, approaching the critical exponent $s=-\frac16$ from above. Analyticity thus holds on the largest known data class for which mKdV is well-posed, and on data approaching the corresponding threshold for the cubic equation, extending a known smoothing effect for KdV ($k=1$) to the modified and cubic nonlinearities and to a broader class of singular profiles, avoiding pseudo-differential calculus via Lorentz-space refinements replacing Bourgain-space localization. The mechanism is dispersive: analyticity is generated by the flow, symmetrically in time, and singular profiles become instantaneously analytic for $t\neq0$.
We resolve a conjecture of Guy David and Svitlana Mayboroda. We show that if $Ω\subset \mathbb{R}^n$ is a uniform domain with $(n-1)$-dimensional Ahlfors David regular boundary $E = \partial Ω$, and if $E$ satisfies the Weak Geometric Lemma, then $E$ satisfies the Bilateral Weak Geometric Lemma. In particular, $E$ is uniformly rectifiable.
Most existing seizure detection algorithms require extensive pre-processing of the data and rely on heuristic or currently unexplainable machine learning approaches. These approaches often struggle with balancing detection sensitivity and specificity in the presence of variable seizure morphologies, interictal epileptiform discharges, and artefacts. Here, we consider an alternative approach: our seizure detection algorithm, which is based on the concept of critical transitions and overcomes the aforementioned limitations. Specifically, we perform a receiver-operating-characteristic analysis to quantify the performance of our algorithm in terms of its agreement with expert annotations of seizure onset and offset times in the voltage recordings of seizure activity in epileptic rodents with different seizure morphologies. We demonstrate how performance depends on algorithm parameters and varies across different rodent recording sessions. We determine the optimal set of algorithm parameters for each recording session, with near expert-level performance achieved in most cases. Finally, we derive a single general set of algorithm parameters applicable across all recording sessions. The algorithm maintains its high performance in this general setting, demonstrating its versatility, robustness across varying seizure morphologies, and potential to complement machine learning algorithms.
In this work, we propose a general discretization strategy for solving the London equation for type-II superconductors in the whole space $\mathbb{R}^3$. To compute the magnetic field $H_0$, we reformulate the problem for the magnetic potential as a transmission problem and discretize it through a nonstandard FEM-BEM coupling. This formulation accounts for both the bounded interior domain and the unbounded exterior domain without introducing an artificial truncation. We then compute the vector field $B_0$, which arises from the Helmholtz-Hodge decomposition of the magnetic potential in the superconducting sample. This field enters the isoflux problem, which identifies the curves along which vortex nucleation first becomes energetically favorable in the Ginzburg--Landau model of superconductivity. We recast the equations for $B_0$ using the mixed formulation of Kikuchi, in which the divergence-free constraint is imposed weakly, and discretize the resulting problem using a classical $H(\operatorname{curl})$-conforming finite element discretization. We validate our discretization strategy through convergence tests and conclude with an application to the isoflux problem. For a ball under a constant applied magnetic field, the unique maximizer is the diameter aligned with the field. For ellipsoids under a constant applied magnetic field aligned with their major axis, our computations provide numerical evidence of a different behavior in sufficiently elongated, cigar-shaped geometries: off-axis competitors reminiscent of U-shaped vortex configurations attain a larger isoflux ratio than the major axis. Since the major axis is therefore not a maximizer, any off-axis maximizer generates, by rotational symmetry, a continuous family of equivalent configurations, implying non-uniqueness and the presence of a degenerate rotational direction in the isoflux problem.
This paper investigates the relationship between coding theory and extremal combinatorics by representing codes in general metric spaces as independent sets in proximity graphs. We provide a generalized framework for the Gilbert-Varshamov (GV) bound applicable to codes over any finite metric space and explore the conditions under which global combinatorial parameters can force the existence of codes exceeding this bound. Central to our analysis is the introduction of Ramsey-Sidorenko and independence-forcing graphs. We establish density thresholds for various graph families and utilize the Karush--Kuhn--Tucker conditions to analyze entropy optimization in the Hamming case. Furthermore, we derive upper bounds on code sizes using fractional packings in vertex-transitive and nonedge-transitive graphs. Our findings demonstrate that local subgraph statistics alone are insufficient to surpass the GV bound in the Hamming case, suggesting that improvements must stem from large-scale structural properties of the space.
For a cone $K\subseteq \mathbb{R}^n$, a real symmetric matrix $A$ is called $K$-copositive if $x^\top A x\geq 0$ for every $x\in K.$ This class of matrices plays a central role in copositive optimization and linear complementarity problems. However, a complete characterization of linear maps that preserve the $K$-copositive cone is unknown, even for $K:=\mathbb{R}^n_+$. In this paper, we develop a new approach to copositivity preservers that uses only order-theoretic arguments. We consider a smaller class of copositivity preservers, called Riesz* homomorphisms, and develop a general technique to deduce the structure of these preservers directly from a representation theorem of Riesz* homomorphisms on $S_n$. Following are the main outcomes of this paper: 1) We obtain a representation theorem for Riesz* homomorphisms on the partially ordered vector space of all real symmetric matrices endowed with the cone of all $K$-copositive matrices. 2) As a corollary of our representation theorem, we recover the main results of [Shitov, Proc. Amer. Math. Soc., 2021] and [Gowda et al., Linear Alg. Appl., 2013], providing a unified framework for studying cone automorphisms. 3) We introduce the notion of a $(K_1,K_2)$-unisigned matrix $P\in M_{m\times n}$, defined by the algebraic condition $P[K_1]\subseteq K_2\cup (-K_2)$, for cones $K_1\subseteq \mathbb{R}^n$ and $K_2\subseteq \mathbb{R}^m$. We also provide a characterization of such matrices. 4) We prove that a linear map of the standard form ($A\mapsto P^\top AP$; for $P\in M_{m\times n}$) preserves copositivity if and only if $P$ is $(K_2,K_1)$-unisigned, correcting a recent characterization of such maps preserving the $\mathbb{R}^n_+$-copositivity.
Quantum locally recoverable codes (qLRCs) allow a single qudit erasure to be corrected by accessing only a small number of other qudits. Standard CSS and Hermitian constructions, however, impose dual-containing or self-orthogonal constraints on the underlying classical codes, thereby restricting the well-structured classical LRCs (cLRCs) that can be used to construct qLRCs. To relax these constraints, we introduce entanglement-assisted quantum locally recoverable codes (EAQLRCs) by assuming that halves of the pre-shared maximally entangled pairs are noiseless. We characterize sufficient support conditions on extended stabilizers under which entanglement-assisted stabilizer codes have locality $r$ and derive a CSS-like construction from two classical codes without imposing the ordinary dual-containing condition. We further establish an upper bound on locality and a Singleton-like bound for arbitrary CSS-like EAQLRCs, and characterize the pure codes attaining equality in the latter bound. These results yield a general framework for constructing optimal pure EAQLRCs from pairs of cLRCs. Applying this framework to $\ell$-intersection pairs of MDS codes and block parity-check matrices, we obtain two families of optimal pure CSS-like EAQLRCs with flexible parameters and nontrivial localities. To the best of our knowledge, these represent the first explicit families of EAQLRCs.
We study the skew product systems $T: \mathbb{S}^1\times\mathbb{R}^d \to \mathbb{S}^1 \times\mathbb{R}^d$, \begin{equation*} T(x,y)=(\ell x, A y+φ(x)), \end{equation*} where $\ell\geq 2,$ $A \in GL_d(\mathbb{R})$ with $ρ(A)<1$, and $φ\in C^r(\mathbb{S}^1, \mathbb{R}^d)$. We allow the fibers to have any dimension and $A$ to be non-conformal. We show that: when $|\det(A)|\ell<1$, for almost every $φ$, the Hausdorff dimension of the solenoid attractor and the SRB measure equals the affinity dimension; when $|\det(A)|\ell>1$, for almost every $φ$, the SRB measure is absolutely continuous. We introduce a derivative dispersion condition, replacing the usual transversality condition.
We study an interval-activation frog model on \(\mathbb Z\) with i.i.d.\ initial numbers of frogs \((η_x)_{x\in\mathbb Z}\), satisfying \(0<\mathbb{E}[η_0]<\infty\). Frogs at the origin are initially active and all others are sleeping. Each frog performs a symmetric integer-valued random walk and has a random lifetime \(L\) determined by an i.i.d.\ survival parameter \(π\in(0,1)\), with \(\mathbb{P}(L\ge k\mid π=p)=p^k\). Every jump activates all sleeping frogs at the integer sites between its endpoints. Let \(D^\to\) denote the maximal rightward displacement of a single frog before death. We derive survival and extinction criteria from the tail behavior of \(D^\to\). If \(\mathbb{P}(|ξ_1|\ge n)\sim n^{-α}L_ξ(n)\), with \(L_ξ\) slowly varying, then survival holds with positive probability for \(0<α<1\), while for \(α=1\) both survival and almost sure extinction may occur. For \(1<α<2\), assume \(\mathbb{P}(|ξ_1|>n)\sim c_ξn^{-α}\); in the finite-variance case assume \(\mathbb{E}[ξ_1]=0\) and \(\operatorname{Var}(ξ_1)=σ^2\in(0,\infty)\). Setting \(r=α\) in the stable case and \(r=2\) in the finite-variance case, if the law of \(π\) has density \(f_π(u)\sim(1-u)^{β-1}\ell((1-u)^{-1})\) as \(u\uparrow1\), then, for \(0<β<1\), \(n\mathbb{P}(D^\to\ge n)\sim C_βn^{1-rβ}\ell(n^r)\), with explicit \(C_β\). Hence the sharp off-critical threshold is \(β_c=1/r\): survival holds for \(β<1/r\), extinction holds almost surely for \(β>1/r\), and explicit sufficient conditions on the critical line leave a factor-four gap.
We study singularity formation for the heat flow of harmonic maps from $\R^d$ into $\mathbb{S}^d$ in supercritical dimensions $d \in \{3,4,5,6\}$. It is well known that in each of these dimensions there exist infinitely many self-similar solutions that provide examples of loss of regularity in finite time. In this paper, we extend the results of \cite{BieDon18}, \cite{BieDonSch17} for $d=3$ to higher space dimensions $d \in \{4,5,6\}$ and prove the existence of a monotonically increasing self-similar profile $f_0$, which is asymptotically stable under small corotational perturbations. To construct the solution and resolve the spectral problem, we use rigorous computer assistance. As a byproduct of our stability analysis, we also obtain finite-codimension stability of arbitrary self-similar profiles within the corotational class.
We study the asymptotic expansion of p-Green functions and their derivatives near the pole. In the Euclidean setting, we strengthen a theorem from [arXiv:2203.01206] by establishing improved integrability properties and estimates for the first and second derivatives. In the more general Riemannian setting, we derive a refined asymptotic expansion of the p-Green function near its pole, thereby improving the corresponding result proved in [arXiv:2512.14591].
In 1967 Efron showed that the Kaplan--Meier estimator can be defined as a fixed point of a certain mapping, calling this property ``self-consistency''. He also proposed an iterative algorithm for approximating this fixed point and suggested its convergence. The purpose of the present note is to prove this fact.
Let $C$ and $W$ be two integer sets. If $C+W=\mathbb{Z}$, then we say that $C$ is an additive complement to $W$. If no proper subset of $C$ is an additive complement to $W$, then we say that $C$ is a minimal additive complement to $W$. In this paper, we give an affirmative answer to one problem of Ma and Chen [On a problem of minimal additive complements of integers, J. Number Theory 284(2026), 178-187.]