On the size of k-irreducible triangulations

2026-03-20T15:16:58Z

A triangulation of a surface is k-irreducible if every non-contractible curve has length at least k and any edge contraction breaks this property. Equivalently, every edge belongs to a non-contractible curve of length k and there are no shorter non-contractible curves. We prove that a k-irreducible triangulation of a surface of genus g has $O(k^2g)$ triangles, which is optimal. This is an improvement over the previous best bound $k^{O(k)} g^2$ of Gao, Richter and Seymour [Journal of Combinatorial Theory, Series B, 1996].

A new lower bound for the kissing number in 19 dimensions

2026-03-20T14:48:27Z

We prove that the kissing number in 19 dimensions is at least 11948, improving the bound of Cohn and Li by 256. By the odd-sign construction of Cohn and Li, it is enough to find a binary code of length 19 and minimum distance 5 inside the ambient 5-punctured extended binary Golay code. We construct such a code explicitly, of size 1280. The construction is organized around a chain of linear codes $M\le K\le D$, $|M|=64$, $|K/M|=16$, and $|D/K|=4$. The 21 words of $D$ of weight 3 or 4 lie in exactly five nonzero $M$-cosets inside $K$. Those five cosets define a Cayley graph on $K/M\cong\mathbb F_2^4$ with connection set $\{e_1,e_2,e_3,e_4,e_1+e_2+e_3+e_4\}$, hence the Clebsch graph. A 5-coclique in that quotient lifts first to a 320-word code in $K$ and then, by taking all four cosets of $K$ in $D$, to the desired 1280-word code.

Integrals of stable envelopes for cotangent bundles to Grassmannians

2026-03-20T14:30:39Z

We consider cohomological stable envelopes for a natural torus action $\mathsf{T}$ on $X=T^*Gr(k,n)$, introduced by Maulik-Okounkov. We define the $\mathbb{C}^*_\hbar$-equivariant integral of the stable envelope using equivariant localization over the subtorus $\mathbb{C}^*_\hbar\subset\mathsf{T}$, and compute the integral as a non-equivariant limit of the localization over the full torus, $\mathsf{T}$. The integral of such a class is an integer times a power of $\hbar$, and the main result of this paper is a combinatorial formula for these integers. In 3d mirror symmetry, these non-equivariant limits are expected to reflect some curve counting phenomena on the 3d mirror dual, $X^\vee$. When $k=1$, we obtain the binomial coefficients, and we study some of the combinatorics of the integers for higher $k$, which haven't appeared in the literature before. We give some conjectures and interpretations on extending this phenomena to type A quiver and bow varieties.

Combinatorics of the Cosmohedron

2026-03-20T14:21:50Z

The cosmohedron was recently proposed as a polytope underlying the cosmological wavefunction for $\text{Tr}(Φ^3)$ theory. Its faces were conjectured to be in bijection with Matryoshkas, which are obtained from a subdivision of a polygon by sequentially wrapping groups of polygons into larger polygons. In this paper we prove the correctness of this construction, and elucidate its combinatorial structure. Cosmohedra generalize to a wider class of $\mathcal{X}$ in $Y$ polytopes, where we chisel a polytope from the family $\mathcal{X}$ at each vertex of a polytope $Y$. We sketch a new application of these chiseled polytopes to the physics of ultraviolet divergences in loop-integrated Feynman amplitudes.

A kernel for the maximum agreement forest problem on multiple binary phylogenetic trees

2026-03-20T14:14:37Z

The maximum agreement forest (MAF) problem in phylogenetics takes as input a set t >= 2 of binary phylogenetic trees T on the same set of taxa X. It asks for a partition of X into the smallest number of blocks such that the subtrees induced by these blocks are disjoint and have common topology across all the trees in T. We produce a modified version of the well-known chain reduction rule in order to prove that after exhaustive application of reduction rules each tree has O( t * r * k ) leaves, where k is the natural parameter (the number of blocks) and r=min{max{k,3},t+1}}. We prove this bound for both the unrooted and rooted version of the problem, and demonstrate that the bound r, the length to which common chains are truncated, is tight. Our results constitute the first kernels for MAF in the t>2 regime.

Fault Tolerant Zero Forcing

2026-03-20T13:19:31Z

Zero forcing is an iterative graph coloring process studied for its wide array of applications. In this process, the vertices of the graph are initially designated as blue or white, and a zero forcing set is a set of initially blue vertices that results in all vertices becoming blue after repeated application of a color change rule. The zero forcing number of a graph is the minimum cardinality of a zero forcing set. The zero forcing number has motivated the introduction of a host of variants motivated by linear-algebraic or graph-theoretic contexts. We define a variant we term the $k$-fault tolerant zero forcing number, which is the minimum cardinality of a set $B$ such that every subset of $B$ of cardinality $|B|-k$ is a zero forcing set. We study the values of this parameter on various graph families, the behavior under several graph operations, and characterize the 1-fault tolerant zero forcing number of trees.

On the irrationality exponent of real numbers with low complexity expansion

2026-03-20T13:18:13Z

Let $ξ$ be a real number and $b \ge 2$ an integer. We study the relationship between the irrationality exponent of $ξ$ and the subword complexity $p(n, \mathbf{x})$ of the $b$-ary expansion $\mathbf{x}$ of $ξ$, where $p(n, \mathbf{x})$ counts the number of distinct blocks of length $n$ in $\mathbf{x}$, for $n \ge 1$. If the irrationality exponent of $ξ$ is equal to $2$, which is the case for almost all real numbers $ξ$, we show that the limit superior of the sequence $(p(n, \mathbf{x}) / n)_{n \ge 1}$ is at least equal to 4/3. The proof is based on a careful study of the evolution of the Rauzy graphs of infinite words of low complexity.

Tree embeddings and nonuniqueness in site percolation

2026-03-20T13:13:23Z

We prove a nonuniqueness theorem for Bernoulli site percolation on properly embedded planar graphs, and we obtain a general connectivity principle beyond planarity. Let $G$ be an infinite connected graph properly embedded in $\RR^2$ with minimum degree at least $7$. Then \[ p_c^{\mathrm{site}}(G)<\tfrac12, \] and for every \[ p\in \bigl(p_c^{\mathrm{site}}(G),\,1-p_c^{\mathrm{site}}(G)\bigr), \] Bernoulli$(p)$ site percolation on $G$ has almost surely infinitely many infinite open clusters. In particular, this verifies a conjecture of Benjamini and Schramm for properly embedded planar graphs. The core new ingredient is an explicit embedded-tree separation mechanism for planar nonuniqueness. We construct embedded trees and an embedded forest whose separation properties yield exponential decay of two-point connection probabilities in the matching graph. To treat the high-density regime, we introduce a binary-tree version of uniform percolation and prove stability of infinite clusters under edge additions, without any bounded-degree assumption. Beyond the planar theorem, we prove a general lower bound on two-point connectivity under uniqueness for arbitrary infinite locally finite graphs. As a consequence, if \[ p_c^{\mathrm{site}}(G)

Minimal obstructions to $C_5$-coloring in hereditary graph classes

2026-03-20T13:09:41Z

For graphs $G$ and $H$, an $H$-coloring of $G$ is an edge-preserving mapping from $V(G)$ to $V(H)$. Note that if $H$ is the triangle, then $H$-colorings are equivalent to $3$-colorings. In this paper we are interested in the case that $H$ is the five-vertex cycle $C_5$. A minimal obstruction to $C_5$-coloring is a graph that does not have a $C_5$-coloring, but every proper induced subgraph thereof has a $C_5$-coloring. In this paper we are interested in minimal obstructions to $C_5$-coloring in $F$-free graphs, i.e., graphs that exclude some fixed graph $F$ as an induced subgraph. Let $P_t$ denote the path on $t$ vertices, and let $S_{a,b,c}$ denote the graph obtained from paths $P_{a+1},P_{b+1},P_{c+1}$ by identifying one of their endvertices. We show that there is only a finite number of minimal obstructions to $C_5$-coloring among $F$-free graphs, where $F \in \{ P_8, S_{2,2,1}, S_{3,1,1}\}$ and explicitly determine all such obstructions. This extends the results of Kamiński and Pstrucha [Discr. Appl. Math. 261, 2019] who proved that there is only a finite number of $P_7$-free minimal obstructions to $C_5$-coloring, and of Dębski et al. [ISAAC 2022 Proc.] who showed that the triangle is the unique $S_{2,1,1}$-free minimal obstruction to $C_5$-coloring. We complement our results with a construction of an infinite family of minimal obstructions to $C_5$-coloring, which are simultaneously $P_{13}$-free and $S_{2,2,2}$-free. We also discuss infinite families of $F$-free minimal obstructions to $H$-coloring for other graphs $H$.

On a sequence of Kimberling and its relationship to the Tribonacci word

2026-03-20T12:22:55Z

In 2017, Clark Kimberling defined an interesting sequence ${\bf B} = 0100101100 \cdots$ of $0$'s and $1$'s by certain inflation rules, and he made a number of conjectures about this sequence and some related ones. In this note we prove his conjectures using, in part, the Walnut theorem-prover. We show how his word is related to the infinite Tribonacci word, and we determine both the subword complexity and critical exponent of $\bf B$.

On S-Packing Coloring of Subcubic Graphs

2026-03-20T12:08:31Z

Given a sequence $ S = (s_1, s_2, \ldots, s_k) $ of positive integers satisfying $ s_1 \leq s_2 \leq \dots \leq s_k $, an $ S $-packing coloring of a graph $ G $ is a partition of $ V(G) $ into $ k $ subsets $ V_1, V_2, \dots, V_k $ such that, for each $ 1 \leq i \leq k $, the distance between any two distinct vertices $ x, y \in V_i $ is at least $ s_i + 1 $. Yang and Wu established that every $3$-irregular subcubic graph admits a $ (1,1,3) $-packing coloring. Later, Mortada and Togni introduced the concept of an $ i $-saturated subcubic graph, defined as a subcubic graph in which every vertex of degree three has at most $ i $ neighbors of degree three for $ 0 \leq i \leq 3 $. They further demonstrated that all $1$-saturated subcubic graphs are $ (1,1,2) $-packing colorable. In this paper, we present new concise proofs of these results using a novel tool.

On continuous 2-frieze patterns

2026-03-20T11:38:25Z

We define and study a continuous version of 2-frieze patterns, a combinatorial structure closely related with frieze patterns of Coxeter and Conway. We describe the relation of continuous 2-friezes with the moduli space of projective curves and relate the (pre)symplectic structure on the space of closed 2-friezes, considered as a cluster variety, with the Adler-Gelfand-Dikii bracket on the space of 3rd order differential operators.

Unit distance graphs with few crossings per edge

2026-03-20T10:59:09Z

A graph is called a $k$-planar unit distance graph if it can be drawn in the plane such that every edge is a unit line segment and is involved in at most $k$ crossings. We investigate $u_k(n)$, the maximum number of edges of such graphs on $n$ vertices. For $k=1$, we improve the best known upper bound, by showing that $u_1(n) \leq 3n - c\sqrt{n}$ for some constant $c>0$. This bound is tight up to the value of the constant $c$. For $k=2$, we establish the first non-trivial upper bound by proving that $u_2(n) \leq 4n - 8$. Regarding lower bounds we give a construction for $k=2$ that shows $u_2(n) \geq u_0(n) + c\sqrt{n}$ if $n$ is sufficiently large.

The anti-concentration phenomenon with respect to random permutations

2026-03-20T10:45:32Z

The anti-concentration phenomenon in probability theory has been intensively studied in recent years, with applications across many areas of mathematics. In most existing works, the ambient probability space is a product space generated by independent random variables. In this paper, we initiate a systematic study of anti-concentration when the ambient space is the symmetric group, equipped with the uniform measure. Concretely, we focus on the random sum $S_π = \sum_{i=1}^{n} w_i\, v_{π(i)}$, where $w=(w_1,\dots,w_n)$ and $v=(v_1,\dots,v_n)$ are fixed vectors and $π$ is a uniformly random permutation. The paper contains several new results, addressing both discrete and continuous anti-concentration phenomena. On the discrete side, we establish a near-optimal structural characterization of the vectors $w$ and $v$ under the assumption that the concentration probability $\sup_x P(S_π=x)$ is polynomially large. On the continuous side, we study the small-ball event $|S_π-L|\le δ$. Our results exhibit sub-gaussian decay in $L$. Our results have applications in various areas. First, we use our inverse theorems to derive and strengthen a number of previous anti-concentration bounds. In particular, we show that if both $w$ and $v$ have distinct entries, then $\sup_x P(S_π=x) \le n^{-5/2+o(1)}$. Next, we apply our new results to study random polynomials, and prove that the number of extremal points of random permutation polynomials is bounded by $O(\log n)$, extending results of S{ö}ze~\cite{Soze1, Soze2}. In the final application, we prove that random matrices whose rows are independent random permutations of a fixed non-degenerate vector are nonsingular with high probability.

Distribution for nonsymmetric V-monotone position operators

2026-03-20T10:38:46Z

We investigate the vacuum distribution of a family of partial sums of nonsymmetric position operators, depending on a real parameter $λ$, and acting on the discrete Fock space in the framework of V-monotone independence. We analyze the combinatorics of the moments of this distribution, and using its Cauchy--Stieltjes transform, we determine its exact form, consisting of a unique atom and an absolutely continuous part. Finally, we present computer-generated graphs that illustrate the distribution for several values of the intensity parameter $λ$.