arXiv++ Combinatorics

We investigate the realizations of Coxeter permutahedra which are also Coxeter matroid polytopes; these are polytopes of the form $\mathrm{conv}(W \cdot \mathbf{a})$ where $W$ is a finite Coxeter group acting on $\mathbb{R}^n$ and $\mathbf{a}$ is generic. Our main focus is how the geometric properties of $\mathrm{conv}(W \cdot \mathbf{a})$ change as $\mathbf{a}$ changes, with particular attention to persistent simplices, triangulations, and subdivisions.

We consider the encoding of graph problems as Quadratic Unconstrained Binary Optimization (QUBO) problems, which are solvable by either quantum or classical annealers. Yet, the class of problems encoded as QUBO problems has not previously included nowhere-zero flows. Nowhere-zero flows are related to Tutte's $5$-flow conjecture and appear in many contexts in graph theory. We provide an encoding of nowhere-zero flows as a QUBO Hamiltonian and prove the correctness of the construction. Our construction yields a Hamiltonian $H_{\mathrm{mod},k}$ whose ground state has zero energy if and only if the graph $G$ has a nowhere-zero $\mathbb Z_k$-flow. By Tutte's equivalence theorem, zero ground energy is equivalent to $\varphi(G)\le k$, and the zero-energy degeneracy is given by the flow polynomial $F(G;k)$. In particular, when the ground-state energy is zero, this is also the ground-state degeneracy. The construction uses one-hot variables to represent the edge flow residues modulo $k$ and auxiliary variables to represent the per-vertex modular quotient. We prove that the correctness of the construction is independent of the choice of orientation, root vertex, and positive penalty weights. We verify the construction on $59$ examples of graphs and values of $k$ that include both yes-instances and no-instances. We exhaustively sweep orientations and root choices on selected robustness instances and test a finite suite of positive penalty weights. The resulting Hamiltonian is implemented using the dimod.BinaryQuadraticModel class, which is compatible with the D-Wave Ocean SDK. Quantum-hardware runs and claims about potential speedup using these devices are left to follow-up work.

We extend the notion of discrete homotopy groups of graphs to arbitrary cubical sets, and show that the discrete homotopy groups of quasisymmetric cubical sets are naturally isomorphic to the homotopy groups of their geometric realizations. Here, quasisymmetric cubical sets are cubical sets equipped with coordinate permutation symmetries that are compatible with faces and degeneracies, but not necessarily with connections. We give a purely combinatorial construction of the left adjoint of the forgetful functor from the category of quasisymmetric cubical sets to the category of cubical sets, and prove that the unit of this adjunction is an objectwise weak equivalence. As a consequence, we obtain a purely combinatorial description of the homotopy groups of the geometric realizations of arbitrary cubical sets. As an application, we establish the Hurewicz theorem for the discrete homotopy groups of quasisymmetric cubical sets.

Let $T(x)=\prod_{k=0}^{\infty}(1-x^{2^k})$ be the generating function of the Thue--Morse sequence, and write $T(x)^m=\sum_{n\geq 0}t_m(n)x^n$. We prove exact formulas for the $2$-adic valuations of the coefficients $t_5(n)$ and $t_9(n)$: \[ ν_2\bigl(t_5(4n+j)\bigr) =4\Bigl\lceil\tfrac{ν_2(n+1)}{2}\Bigr\rceil-\bigl(ν_2(n+1)\bmod 2\bigr), \quad j\in\{0,1,2,3\}, \] \[ ν_2\bigl(t_9(8n+j)\bigr) =5\Bigl\lceil\tfrac{ν_2(n+1)}{2}\Bigr\rceil-2\bigl(ν_2(n+1)\bmod 2\bigr), \quad j\in\{0,1,\ldots,7\}. \] These formulas confirm Conjecture~5.2 of Gawron--Miska--Ulas~\cite{ga} for $m=5$ and $m=9$, and imply that $t_5(n)\neq 0$ and $t_9(n)\neq 0$ for every $n\geq 0$. A key structural ingredient is a closed-form formula for the determinant of a family of matrices with binomial-coefficient entries.

For a strict partition $λ$, let $\mathcal Q_λ(X;t)=Q_λ[X-tX]$ be the shifted $t$-Schur function arising from the modified Greaves--Jing--Zhu operator on the odd power-sum ring. We study transition matrices between the shifted bases with parameters $t$ and $s$. The relative scaling operator is diagonal in the odd power-sum basis, leading to explicit spectral data, determinant and trace formulas, weighted symmetry, a spin-character formula, and a transition Cauchy identity. For the cyclotomic specialization $C_{λμ}^{[M]}(t)=C_{λμ}(t^M,t)$, the relative operator becomes plethystic substitution by $1+t+\cdots+t^{M-1}$. We prove Schur $Q$-positivity and reciprocity, derive factorization and root-of-unity rank formulas, and give an exact computation method. For $M=2$, all one-row transitions are computed explicitly, and the nonzero coefficients are unimodal.

A graph $G$ is said to be $F$-semi-saturated if the addition of any nonedge $e \not \in E(G)$ would create a new copy of $F$ in $G+e$. The semi-saturation number $ssat(n,F)$ is the minimum number of edges in an $F$-semi-saturated graph of order $n$. In this paper we investigate the semi-saturation number of $K_r$ on $n$ vertices with maximal degree at most $Δ$, denoted by $ssat^Δ(n,K_r)$. This investigation was suggested by Erd\H os, Rényi and Sós, who in 1966 considered the graph of diameter 2 with degree restrictions, equivalently $ssat^Δ(n,K_3)$. The following are some of our results. For arbitrary $r \geq 4$, we show that the limit $ \lim_{n \rightarrow \infty} ssat^{cn}(n,K_r)/n$ exists for all $0 < c \leq 1$, except for some sparse values of $c$ contained in a countable and rational sequence $c_i \rightarrow 0$. Moreover, we establish the asymptotic behaviour of this limit for $\frac{r}{r+2} < c <1$ and determine the exact value of $ssat^Δ(n,K_r)$ for some specific $Δ$. As an application, we determine the relation between the saturation number of the join graph $K_r \vee F$ and that of $F$ for a large class of pairs $(r,F)$.

The Bilu-Linial conjecture asserts that every $d$-regular graph admits a signing $σ$ such that the spectral radius of the signed adjacency matrix $A_σ$ satisfies $ρ(A_σ)\le 2\sqrt{d-1}$. Bilu and Linial also proved the weaker bound $O(\sqrt{d\log^3 d})$ for graphs of maximum degree $d$. Marcus, Spielman, and Srivastava confirmed the conjecture in the case of $d$-regular bipartite graphs. In this paper, we prove that every graph of maximum degree $d$ has a signing $σ$ such that $$ρ(A_σ)\le 2\sqrt{3(d-1)}.$$ This removes the polylogarithmic factor from the estimate of Bilu and Linial and gives an explicit $2\sqrt{3(d-1)}$ two-sided spectral bound. The proof builds on the method of interlacing polynomials introduced by Marcus, Spielman, and Srivastava, together with results on mixed characteristic polynomials established by Marcus, Spielman, and Srivastava and by Bownik.

We settle the long-standing open question whether there exists a $3$-ladder of cardinality $\aleph_2$. Given a positive integer $n$, an $n$-ladder is a lower finite lattice whose elements have at most $n$ lower covers. In 1984, Ditor proved that every $n$-ladder has cardinality at most $\aleph_{n-1}$, and that this cardinal bound is sharp for $n = 1,2$. He then raised the question of whether the bound is attained for $n\ge 3$ as well. An affirmative answer is known to be consistent with $\mathsf{ZFC}$. We prove, relative to the consistency of a Mahlo cardinal, that the question is independent of $\mathsf{ZFC}$. More precisely, we show that the nonexistence of a $3$-ladder of cardinality $\aleph_2$ is equiconsistent with a Mahlo cardinal.

In this paper, we study the so-called log-convergence of graphs defined by Balázs Szegedy (arXiv:1504.00858). We answer his Question 4 affirmatively: the sequence of incidence graphs of projective planes over finite fields log-converges, and the limit coincides with that of a particular random graph model.

A subgraph $H$ of $G$ is said to be $F$-saturated relative to $G$, if $H$ does not contain any copy of $F$, but the addition of any edge $e$ in $E(G)\backslash E(H)$ would create a copy of $F$. The minimum size of an $F$-saturated graph relative to $G$ is denoted by $sat(G,F)$. Let $K_k^n$ be the complete $k$-partite graph with $n$ vertices in each part. In this paper, we determine $sat(K_4^n,C_4)$ for all $ n \geq 2$. Moreover, we determine all extremal configurations of $sat(K_k^n,C_4)$ for all $n\ge 2$ and $k\ge 4 $.

We solve large-$N$ Yang--Mills theory on $\mathbb{Z}^d$, for every $d\geq2$, at strong coupling, for structure group $\mathrm{U}(N)$ and for the heat-kernel action. More precisely, we prove that normalized Wilson loop expectations have infinite-volume large-$N$ limits, factorize at leading order, and admit an all-order $1/N$-expansion with exponentially local coefficients, whose leading order characterizes the master field. We also prove an area-law upper bound for the heat-kernel master field, with a stronger coefficientwise version. The proof is based on a rooted heat-kernel master loop equation. Unlike the Wilson-action equation or the two-dimensional Makeenko--Migdal equation, this equation does not close on Wilson loop observables alone; it closes on an extended space of loop observables coupled to compactly supported plaquette decorations. We prove a strong-coupling, order-truncated rooted trajectory expansion and then identify its leading term with the master field. The main inputs are the universal finite-$N$ duality formulas developed in the companion paper \cite{Lem26a} and large-$N$ heat-kernel estimates from \cite{LemMai25,LM2}.

Consider a square matrix $A$ whose all principal minors are equal to $1$. Over a field, this property is inherited by any power of $A$, but this is not the case over an arbitrary commutative ring. We show that it is the case over any regular ring, and also over the ring $\mathbb{Z} / d$ for any integer $d$, and in some other settings (quotients of Prüfer domains and principal quotients of normal domains). This generalizes Problem B5 of the 2021 Putnam contest. Over arbitrary commutative rings, we identify a stronger property that is always inherited by powers: We say that a matrix $A = \left(a_{i,j}\right)_{i,j\in\left[n\right]}$ is strongly $1$-principled if all its diagonal entries are $1$ and if all the cyclic products $a_{i_1, i_2} a_{i_2, i_3} \cdots a_{i_k, i_1}$ with $k>1$ vanish. We show that the latter products are always integral over the ideal generated by the principal minors of $A$ minus $1$.

We model Herman Kahn's escalation ladder as an impartial combinatorial game. Reindexing each rung by its distance to the nuclear threshold turns the ladder into a subtraction game, the most tractable class in combinatorial game theory, and the doctrinal fact that no side wishes to fire first selects the misere convention. We prove that single-ladder stability is governed by a congruence (Theorem 4.1) and derive a ladder-design corollary that makes the burden of first escalation a function of ladder length and escalation granularity (Corollary 4.2). For simultaneous theaters we show, under normal play, that joint stability is the Nim-sum of the theater-wise escalation distances (Theorem 5.2), a condition that is neither additive nor dominated by the most dangerous theater. We then show the Nim-sum reduction fails under misere play, introduce the misere quotient as its replacement, and prove by exhaustive backward induction that for two-step escalation the quotient is the order-six monoid with generators a, b satisfying a^2=1 and b^3=b, with loss set {a,b^2} (Theorem 6.3). To our knowledge, impartial combinatorial game theory has not previously been applied to nuclear escalation ladders; the existing game-theoretic literature on escalation is classical and payoff-based.

We discuss the problem of characterizing equidistant binary codes of a given length $n$ having largest possible distance and the maximum number of codewords. Such characterizations have been studied by several authors over the years and they involve symmetric BIBDs with certain parameters. In this primarily expository paper, we investigate the history of this problem and give a unified presentation of the main results. Perhaps surprisingly, researchers on this problem were unaware of early relevant work by Marrero and Butson from 1973. Also, it turns out that published results on characterizations of equidistant binary codes have missed one of the possible subcases when $n \equiv 2 \bmod 4$.