2026-04-17 | | Total: 224
Erdős asked whether every $n$-point set in Euclidean space whose $\binom{n}{2}$ pairwise distances are mutually at least $1$ apart must have diameter at least $(1+o(1))n^2$. We disprove this statement by constructing for every prime power $q$ a set $\mathcal X_q\subset \mathbb R^{q^2+q}$ of $n=q+1$ points such that all pairwise distances in $\mathcal X_q$ are mutually at least $1$ apart, while $$\operatorname{diam}(\mathcal X_q)\le\Bigl(1-\frac{1}{π^2}+o(1)\Bigr)n^2.$$ The proof is fully formalized in Lean 4.
We prove a strong general-purpose bound for the diameter of a finite group depending only on the diameters of its composition factors and the maximal exponent of a normal abelian section. There are a number of notable applications: (1) if $G$ is a finite soluble group of exponent $e$, $\mathrm{diam}(G) \ll e (\log |G|)^8$, (2) anabelian groups with bounded-rank composition factors have polylogarithmic diameter, (3) transitive soluble subgroups of $S_n$ have diameter $\ll n^5$, and (4) Grigorchuk's gap conjecture holds for any finitely generated group acting faithfully on a bounded-degree rooted tree. Additionally, conditional on Babai's conjecture, (5) any transitive permutation group of degree $n$ has diameter bounded by a polynomial in $n$ (a folkloric conjecture), and (6) Grigorchuk's gap conjecture holds for residually finite groups, and thus the conjecture reduces to the simple case.
We study reliable communication over finite-state channels (FSCs) using Reed--Muller (RM) codes. Building on recent symmetry-based analyses for memoryless channels, we show that a sequence of binary RM codes (with some random scrambling) can achieve the symmetric capacity (or uniform-input information rate) of a binary-input indecomposable FSC. Our approach has three components. First, we establish a capacity-via-symmetry theorem for doubly-transitive group codes on discrete memoryless channels (DMCs) with non-binary inputs, under some symmetry and puncturing conditions. Then, we reduce a binary-input FSC to an almost memoryless non-binary channel by grouping adjacent input bits into blocks and interleaving non-binary codes onto the channel. Finally, we show that the interleaved non-binary codes can be constructed from a single binary RM code.
For each $d \in {1,2,3,7,11}$, let $T_d$ be the nearest-integer complex continued fraction map associated with the Euclidean ring $\mathcal{O}*d$, and let $(a_n)$ be its digit sequence. We prove two metric results for this five-system family. First, for every sequence $(u_n)*{n\ge 1}$ with $u_n \ge 1$, the set of points for which $|a_n| \ge u_n$ for infinitely many $n$ has full or zero normalized Lebesgue measure according as $\sum_{n=1}^\infty u_n^{-2}$ diverges or converges. This gives a unified Borel--Bernstein theorem, extending the Hurwitz case $d=1$ to all five Euclidean imaginary quadratic fields. Second, for any infinite set $S \subset \mathcal{O}_d$, if $τ(S)$ denotes its convergence exponent, then the digit-restricted set $F_d(S)={z:\ a_n(z)\in S\ \text{for all } n,\ |a_n(z)|\to\infty}$ satisfies $\dim_H F_d(S)=τ(S)/2$. More generally, for any cutoff function $f(n)\to\infty$, the set $F_d(S,f)={z\in F_d(S):\ |a_n(z)|\le f(n)\ \text{for all } n}$ is either empty or has the same Hausdorff dimension $τ(S)/2$. The proof combines quantitative ergodic properties of the nearest-integer systems with a large-digit conformal iterated function subsystem that is $2$-decaying. We also obtain applications to sparse patterns, shrinking targets, and almost-sure $L'evy$- and Khinchine-type laws.
Pearl's front-door criterion provides a set of sufficient conditions for estimating the total causal effect from observational data in the presence of latent confounding, using the functional P(y | do(x := x*)) = \sum_z P(z | x*) \sum_x P(y | x, z) P(x). An open question is whether these conditions can be generalized to be both necessary and sufficient for the validity of this functional, similar to the generalization achieved for the back-door adjustment criterion by Shpitser. In this paper, we present a new, weakened set of graph-based conditions sufficient for the front-door formula to estimate the total causal effect, expanding the scope of problems amenable to front-door identification.
We investigate the problem asking when any square matrix whose entries lie in a finite field of characteristic 2 is decomposable into the sum of a diagonalizable matrix and a nilpotent matrix with index of nilpotency at most 2 and, as a result, we completely resolve this question in the affirmative for any finite field of characteristic 2 having strictly more than three elements. Our main theorem of that type, combined with results from our recent publication in Linear Algebra & Appl. (2026) (see [7]), totally settle this problem for all finite fields different from $\mathbb{F}_2$ and $\mathbb{F}_3$. However, in this paper we also prove that each matrix over $\mathbb{F}_2$ is expressible as the sum of a potent matrix with index of potency not exceeding 4 and a nilpotent matrix with index of nilpotency not exceeding 2, thus substantiating recent examples due to Šter in Linear Algebra & Appl. (2018) and Shitov in Indag. Math. (2019) (see, respectively, [9] and [8]).
Recent studies have shown that distributed storage systems can achieve significant space savings by adapting redundancy levels to varying disk failure rates. This adaptation is performed via code conversion, wherein data encoded under an initial code are transformed to data encoded under a final code. While this process is typically resource-intensive, convertible codes are designed to enable these transformations efficiently while preserving desirable decodability constraints such as repair degree, or the number of nodes accessed during node repair. In this work, we focus on the bandwidth cost of conversion, or the total amount of data transferred during the conversion process. We study fundamental limits on the bandwidth cost of conversion between systematic optimal-distance Locally Repairable Codes (LRCs). We restrict our focus to the global merge regime, in which multiple initial codewords are combined to form a single final codeword while preserving information locality. We focus on stable convertible codes, wherein the number of unchanged nodes is maximized during conversion. We generalize an information-theoretic approach for modeling code conversion to the LRC setting, and derive the first non-trivial lower bounds on the bandwidth cost of conversion in this regime. Notably, our bounds do not rely on any linearity assumptions. Consequently, we show that the constructions of Maturana and Rashmi are bandwidth-optimal across a broad range of parameters in the global merge regime.
Determining whether two graphs are isomorphic is a fundamental problem with practical applications in areas such as molecular chemistry or social network analysis, yet it remains a challenging task, with exact solutions often being computationally expensive. We address this task using persistent homology built on motif-based filtrations of graphs, a method from topological data analysis that summarizes the shape of data by tracking the persistence of structural features along filtrations. Specifically, we use edge-weighting schemes based on the densities of triangles, chordless squares, and chordless pentagons, which have been shown to be effective for detecting network dimensionality. Our cycle-density filtrations distinguish non-isomorphic graphs perfectly or nearly perfectly across four demanding graph families, many of which exhibit symmetries. We outperform curvature-based, degree-based, and Vietoris--Rips filtrations, and match or exceed the accuracy of egonet-distance methods while incurring a lower computational cost. The expressive power of our filtrations goes beyond isomorphism testing: because they capture rich structural information from graphs, they consistently achieve top performance on property prediction tasks using real-world data, and exhibit high sensitivity to edge rewiring and removal. Together, these findings establish cycle-density filtrations as an effective and computationally tractable framework for graph comparison and characterization, bridging topological data analysis and network science.
We develop a framework for detecting regime transitions in dynamical systems using the Mixup Euler Characteristic Profile (Mixup ECP) -- the Euler characteristic of the geometric intersection of ball unions around adjacent delay-embedded trajectory segments, viewed as a function of filtration scale. The Mixup ECP provides a detection statistic with a built-in null and guaranteed stability. We formalize regime detection as a low-side-permutation test, establish its validity and consistency, and introduce a multi-delay extension that automatically selects the most informative dynamical timescale. Complementing the topological signal with Complexity Variance, Higuchi fractal dimension, and a rolling mean baseline, the four-signal combined method achieves $9.50$ days MAE on Indian monsoon onset (Nepal target) -- a $32\%$ improvement over the rolling mean baseline and $9\%$ over CUSUM. Validated on the Lorenz system, logistic map, and three monsoon systems spanning both hemispheres (Indian/Nepal, Indian/Kerala, Western North Pacific), plus ENSO and a synthetic EEG dataset, the framework adds value precisely when the transition is gradual or obscured by noise.
These notes are a detailed, self-contained introductory course on convexity and concavity in Banach lattices, suitable for both experts and beginners. We revisit, from a modern perspective, the classical notions of $(p,q)$-convexity, $(p,q)$-concavity and upper and lower $p$-estimates, and the main relations between these properties, integrating more recent developments in the area. We explain in full detail the $p$-convexification and $p$-concavification techniques and how they can be used to build renormings of Banach lattices that improve the convexity and concavity constants. We also provide a comprehensive exposition of the main factorization results for $(p,q)$-convex and $(p,q)$-concave operators, including well-known results from Krivine, Maurey--Nikishin, Pietsch and Pisier, and their applications to the representation of convex and concave Banach lattices.
Brion's Formula realizes the Laurent polynomial of lattice points in a lattice polytope P as the sum of rational functions associated to the vertices of P. In this paper, we consider the special case where P is a generalized permutohedron. We introduce a modification of the rational functions associated to the vertices of P depending on a given matroid M. Upon summing these rational functions, we show that the resulting Laurent polynomial Q_M(P) behaves in certain ways like the lattice points of P, exhibiting natural recursive and reciprocity behaviors. Furthermore, upon evaluating Q_M(P) at 1, we recover the matroid Euler characteristic of Larson, Li, Payne, and Proudfoot, thereby providing a refined approach to studying these quantities.
We investigate numerically the blocking of two-dimensional bistable reaction diffusion fronts by geometric obstacles. Our goal is to derive quantitative criteria for front propagation in the presence of spatial heterogeneities. Using a conservation law approach, we show that the integral of the reaction term acts as an effective driving force for the front. Combining this insight with the exact one-dimensional traveling wave solution, we construct a reduced analytical model that predicts blocking thresholds. In particular, we obtain explicit conditions for front propagation in a waveguide connected to a conical region of angle theta, valid for widths w less than 4. The model captures the influence of both geometry and nonlinearity, and shows good agreement with numerical simulations. Finally, we extend the analysis to more complex geometries, including checkerboard-like obstacles, and derive simple heuristic rules governing front propagation. ~
Given a group $G$ and an integer $n \geq 0$, let $\mathcal{F}_n$ denote the family of all virtually abelian subgroups of $G$ of rank at most $n$. In this article, we show that for each $n \geq 1$, the minimal dimension of a model for the classifying space $E_{\mathcal{F}_n}G$ for the pure braid group of a surface of non-negative Euler characteristic with at least one boundary component or one puncture is equal to the virtual cohomological dimension of $G$ plus $n$. We prove an analogous result for the full braid group of the sphere. As an application, we compute the minimal dimension of a model for the classifying space associated to the family of amenable subgroups of pure surface braid groups.
``Behind every limit theorem, there is an inequality'' said Kolmogorov. We say ``for every inequality, there is an approximate inequality under approximate regularity conditions.'' Suppose $X, X'$ are independent and identically distributed random variables. Then $X \le X'$ with a probability of at least $1/2$, irrespective of the underlying (common) distribution. One can ask what happens to the probability if $X, X'$ are independent but not identically distributed. It should be approximately $1/2$ if the distributions are approximately equal. Similarly, what if the random variables are dependent? It should, again, be approximately $1/2$ if the random variables are approximately independent. We explore an extension of this probability inequality involving order statistics and develop approximate versions of such an inequality under violations of independence and identical distribution assumptions. We further show that this inequality can be used as a basis to prove asymptotic validity of bootstrap/subsampling, finite-sample validity of conformal prediction, permutation tests, and asymptotic validity of rank tests without group invariance. Specifically, in the context of resampling inference, our results can be seen as a finite-sample instantiation of some results by Peter Hall and yield an alternative ``cheap bootstrap'' that applies to high-dimensional data.
Optimized charging of electric vehicles (EVs) at public locations consists of two decisions: how much energy to deliver at what times, which is continuous, and where to plug in, which is binary. This makes optimizing EV charging a mixed-integer linear program (MILP). This discreteness undermines traditional marginal pricing methods. In this paper, we develop the first marginal-price-based mechanism for pricing EV charging with binary station access constraints. Using the result of Burer (2009), we express the EV charging as a completely positive program (CPP), whose dual is a copositive program (COP). This convex dual admits valid shadow prices even though the original allocation problem is discrete and nonconvex. By interpreting the COP dual variables as marginal prices, we construct a pricing mechanism that captures EV supply equipment (EVSE) congestion as well as charging-capacity limits. We prove that the resulting mechanism is revenue-adequate for the operator and individually rational for every EV user, in the strong sense that each user maximizes their own welfare by accepting their assigned charging plan rather than deviating to any alternative option. We further develop problem-specific inner-approximation and dimension-reduction techniques that substantially improve the computational tractability of solving the COP in our setting. Numerical experiments on both small and large scale charging instances demonstrate that our pricing mechanism captures discrete congestion effects and aligns user incentives with the system-optimal assignment, outperforming time-of-use (TOU) and convex relaxation benchmarks.
In this paper, we prove existence and uniqueness of energy solutions for nonlinear Schrödinger equations with a multiplicative white noise on $R^d$ with $d\le3$. We rely on an exponential trans-form and conserved quantities for existence of energy solutions. Using paracontrolled calculus, we prove Strichartz inequalities which encode the dispersive properties of the solutions. This allows to obtain local well-posedness for low regularity solutions and uniqueness of energy solutions for various equations. In particular, our results are the first results of propagation without loss of both regularity and localization for such equations in full space as well as the first results on $R^3$ for such singular dispersive SPDEs. We are also obtain local well-posedness in two dimensions for deterministic initial data.
We present a mathematical model of a market with $m$ shares traded across $n$ investor groups, each one with similar motivations and trading strategies. The market of each asset consists of a fixed amount of cash and shares (no additions are allowed over time, so the system is closed), and the trading groups are influenced by trend and valuation motivations when buying or selling each asset, but follow a strategy where the purchase of one asset depends on the price of another, while the sale does not. Using these assumptions and basic microeconomic principles, the mathematical model is derived using a dynamic systems approach. We analyze the stability of the model's equilibrium points and determine the parameter conditions for such stability. First, we show that all equilibria are stable in the absence of a clear emphasis on trend-based valuation for each share. Secondly, for systems where the trading group prioritizes the valuation of each stock and the trend of the other for trading purposes, we establish stability conditions and demonstrate with numerical examples that when instability occurs, it manifests as price oscillations in the stocks. Furthermore, we argue for the existence of periodic solutions via a Hopf bifurcation, taking the momentum coefficient as the bifurcation parameter. Finally, we present examples and numerical simulations to support and expand upon the analytical results. One finding in economics and finance is the existence of cyclical behavior in the absence of exogenous factors, as determined by the momentum coefficient. In particular, a stable equilibrium price becomes unstable as trend-based trading increases.
The subspace design property for additive codes is a higher-dimensional generalization of the minimum distance property. As shown recently by Brakensiek, Chen, Dhar and Zhang, it implies that the code has similar performance as random linear codes with respect to all "local properties". Explicit algebraic codes, such as folded Reed-Solomon and multiplicity codes, are known to have the subspace design property, but they need alphabet sizes that grow as a large polynomial in the block length. Constructing explicit constant-alphabet subspace design codes was subsequently posed as an open question in Brakensiek, Chen, Dhar and Zhang. In this work, we answer their question and give explicit constructions of subspace design codes over constant-sized alphabets, using the expander-based Alon-Edmonds-Luby (AEL) framework. This generalizes the recent work of Jeronimo and Shagrithaya, which showed that such codes share local properties of random linear codes. Our work obtains this consequence in a unified manner via the subspace design property. In addition, our approach yields some improvements in parameters for list-recovery.
The study of Sobolev and Poincaré inequalities for differential forms in Carnot groups and in the more general sub-Riemannian setting is still an open problem in its full generality. One may conjecture that, for general Carnot groups, these inequalities are expressed in terms of suitable graded Lebesgue norms. In recent years, many results have been obtained, both in the Euclidean setting and in the Heisenberg groups, as well as for contact manifolds with bounded geometry. There are also some results for general Carnot groups; however, these do not cover the problem in its full generality. In this paper, we consider a particular Carnot group, the so-called Cartan group (a free Carnot group, of step $3$ with $2$ generators), which provides a natural testing ground for these questions, since its step-three structure already exhibits several phenomena that do not occur in the Heisenberg groups. In this setting, we are able to prove global Poincaré and Sobolev-Gaffney inequalities for differential forms. With the aim of obtaining sharp estimates, we replace the de Rham complex of differential forms with the Rumin complex. The case $p>1$ is carried out after establishing an $L^p$-Hodge decomposition with homogeneous Sobolev classes. We are able to consider also the endpoint case $p=1$; however, as in Euclidean setting, when $p=1$, the operator we deal with provides only weak-type estimates which do not yield a Hodge decomposition analogous to the case $p>1$. Therefore, in this situation the proof follows a different approach, relying on a recent result proved in \cite{BT}.
Let $S\subset \mathbb{R}^d$ $(d\geq 2)$. A set $S$ is said to be $m$-point convex, if for every $m$ distinct points in $S$, at least one of the line-segments determined by them lies in $S$. We also say that $S$ has property $P_m$. Let ${x,y,z}\in \mathbb{R}^{d}$. If $\mathrm{conv}\{x,y,z\}$ is a right triangle, then $\{x,y,z\}$ is called a {\it right triple}. A set $S$ is said to have the right-$3$-point property,if, for every right triple of $S$, at least one of the line-segments determined by them belongs to $S$. In particular, it has the double right-$3$-point property, if, for every right triple in $S$, at least two of the line-segments determined by them belong to $S$. In this paper, we further investigate $m$-point convex sets and establish the relationship between the sets with the double right-$3$-point property and convex sets in $\mathbb{R}^d$.
We study the question of whether a sequence of non-instanton Yang-Mills connections can limit to a bubbling configuration composed only of instantons. In the case that the Uhlenbeck limit and the bubbles are of opposite charge, we determine an obstruction coming from deformations of the Uhlenbeck limit. As an application, we prove that instantons are the only solutions of the $\mathrm{SU}(2)$ Yang-Mills equation on $\mathbb{R}^4$ with energy less than $4π^2 \left( |κ| + 2 \right) + \varepsilon_κ,$ where $κ$ is the charge. We also prove discreteness of the energy spectrum on the trivial $\mathrm{SU}(2)$-bundle in the range $\left[ 0, 16 π^2 \right).$
We provide a comparatively simple proof of the dynamical stability of Ricci flow near a linearly stable Ricci-flat ALE metric with integrable deformations. Our proof relies on the equivalence between integrability and an "almost-orthogonality" property of the Ricci-DeTurck tensor, allowing us to analyze the latter directly. We obtain our main results in weighted Holder spaces and then show how to recover the $L^p$-stability theorems of Deruelle-Kroncke and Kroncke-Petersen.
We define and study the rational analytic syntomification $X^{\mathrm{Syn}}$ of a partially proper rigid-analytic variety $X$ over $\mathbb{Q}_p$. We establish Poincaré duality and a theory of first Chern classes for the resulting cohomology theory, identify vector bundles on $X^{\mathrm{Syn}}$ with de Rham bundles on the Fargues--Fontaine curve of $X^{\diamondsuit}$ and recover several classical comparison theorems in $p$-adic Hodge theory. We also develop analogues of our results and constructions over $\mathbb{C}_p$.
Symplectic and complex toric quasifolds are a generalization of toric manifolds and orbifolds to the nonrational case. In this paper, we reframe these notions from the viewpoint of algebraic geometry.
In this paper, we explore quantitative stability of multi-marginal Schrödinger bridges with respect to the marginal constraints. We focus on the case where the number of marginal constraints is large (i.e. ``many-marginals"). When this number increases, we show that the Kullback--Leibler (KL) divergence between two multi-marginal Schrödinger bridges, as measures on the path space, can be asymptotically bounded by the terminal marginal KL divergence and a time-integrated squared discrepancy {that combines} Wasserstein-2 geodesic velocity fields with a log-density gradient term. Our stability upper bound is also asymptotically tight: it converges to zero as the number of marginal constraints increases with unperturbed marginal constraints. To the best of our knowledge, this is the first such stability result that addresses the many-marginal regime, giving error estimates that are asymptotically independent of the number of marginals. To achieve our result, the key step is to derive an asymptotic expansion (of order $k\ge 2$) of Schrödinger potentials with respect to a diminishing regularization coefficient. This result can also be applied to deriving asymptotic expansions of entropic Brenier maps in entropic optimal self-transport problems. As byproducts of our analyses, we also establish the asymptotic expansion of entropic optimal transport cost with respect to the diminishing regularization coefficient when two marginal constraints are sufficiently close. We also prove a stability property of the Schrödinger functional.