arXiv++ Combinatorics

In their work on sphere packing and the conformal bootstrap, Afkhami-Jeddi, Cohn, Hartman, de Laat, and Tajdini conjectured the exact high-dimensional exponent of the Cohn--Elkies sphere-packing linear program. OpenAI's Chapter 1 subsequently proved their conjecture by establishing that both Fourier sign-uncertainty radii are $(1/π+o(1))\sqrt d$. We prove the binary coding analogue: the half-rate point of the asymptotic binary Delsarte linear program is $1/2-1/π$; equivalently, \[ R_D\!\left(\frac12-\frac1π\right)=\frac12. \] We also formulate the two Krawtchouk sign-uncertainty problems and determine both of their asymptotics. If $A^{\mathrm K}_{\pm}(n)$ denotes the first radial layer after which an origin-vanishing Krawtchouk $(\pm1)$-eigenfunction can be nonnegative, then \[ \frac{A^{\mathrm K}_{\pm}(n)}n\longrightarrow \frac12-\frac1π. \] The common lower bound is the Hamming space counterpart of the mass-concentration principle in the Chapter 1 proof. The upper bound has a different source. It is the binary-code counterpart of the final spherical-code construction in OpenAI's Chapter 2. Gay, Jeronimo, and Liu improved the resulting binary bound and suggested the functional $Φ$ used here, but explicitly evaluated only a few low levels of the corresponding hierarchy. We construct and evaluate compatible binary certificates at every level, attaining the upper bound in the limit. The construction uses an $N$-qubit generalization of the pure-state channel of Alrabiah and Guruswami.

The moduli space $Δ_{g,w}$ of tropical $w$-weighted stable curves of volume $1$ is naturally identified with the dual complex of the divisor of singular curves in Hassett's spaces of $w$-weighted stable curves. If at least two of the weights are $1$, we prove that $Δ_{0,w}$ is homotopic to a wedge sum of spheres, possibly of varying dimensions. Under additional natural hypotheses on the weight vector, we establish explicit formulas for the Betti numbers of the spaces. We exhibit infinite families of weights for which the space $Δ_{0,w}$ is disconnected and for which the fundamental group of $Δ_{0,w}$ has torsion. In the latter case, the universal cover is shown to have a natural modular interpretation. This places the weighted variant of the space in stark contrast to the heavy/light cases studied previously by Vogtmann and Cavalieri-Hampe-Markwig-Ranganathan. Finally, we prove a structural result relating the spaces of weighted stable curves in genus $0$ and $1$, and leverage this to extend several of our genus $0$ results to the spaces $Δ_{1,w}$.

In 1986, Janson showed that the number of edges in the union of $k$ random spanning trees in the complete graph $K_n$ is a shifted Poisson distribution. Using results from the theory of electrical networks, we provide a new proof of this result, and we obtain an explicit rate of convergence. This rate of convergence allows us to show a new upper tail bound on the number of trees in $G(n,p)$, for $p$ a constant not depending on $n$. The number of edges in the union of $k$ random trees is related to moments of the number of spanning trees in $G(n, p)$. As an application, we prove the law of the iterated logarithm for the number of spanning trees in $G(n,p)$. More precisely, consider the infinite random graph $G(\mathbb{N}, p)$, with vertex set $\mathbb{N}$ and where each edge appears independently with constant probability $p$. By restricting to $\{1, 2, \dotsc, n\}$, we obtain a series of nested Erdös-Réyni random graphs $G(n,p)$. We show that a scaled version of the number of spanning trees satisfies the law of the iterated logarithm.

Let $\mathrm{ch}(G)$ denote the choice number of a graph $G$, and let $K_{s*k}$ be the complete $k$-partite graph with $s$ vertices in each part. Erdős, Rubin, and Taylor showed that $\mathrm{ch}( K_{2*k})=k$, and suggested the problem of determining the choice number of $K_{s*k}.$ The first author established $\mathrm{ch}( K_{3*k})=\left\lceil \frac{4k-1}{3}\right\rceil$. Here we prove $\mathrm{ch} (K_{4*k})=\left\lceil \frac{3k-1}{2}\right\rceil$.