math.CO ↗ arXiv
7121 papers in this category
A solution to Ditor's problem
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.
Logarithmic convergence of finite projective planes
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.
All minimum $C_4$-saturated multipartite graphs
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 $.
The heat-kernel master field on $\mathbb{Z}^d$ at strong coupling
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}.
Powers of matrices with all principal minors equal to 1
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$.
Impartial Combinatorial Games and the Nuclear Escalation Ladder
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.
An Explication of Optimal Equidistant Codes
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$.
Classification of Boolean Cubic Forms in Ten Variables
We classify Boolean cubic forms in ten variables up to GL(10,2)-equivalence. The catalog contains all 3691560 nonzero orbits. For every orbit we provide a representative with small monomial count, the stabilizer order, and the alternating rank together with an explicit decomposition. The classification is obtained by rank-stratified enumeration. We verify completeness by the Burnside orbit count and independently by the orbit--stabilizer identity. We also provide a fast, complete GL(10,2)-invariant. By polarization, this gives the first complete classification of alternating trilinear forms in dimension 10 over GF(2).
Extremal ranks of unlabeled multifurcating rooted trees in a bijective encoding by the positive integers
Maranca and Rosenberg (2024) devised a ranking scheme for unlabeled multifurcating rooted trees, in which the trees are bijectively associated with the positive integers. Here, generalizing earlier results for bifurcating trees, we determine, for trees with a fixed number of leaves, which multifurcating trees obtain the maximal and minimal ranks. We identify these maximizing and minimizing trees for each of two sets of unlabeled multifurcating rooted trees: strictly $k$-furcating trees, in which each internal node possesses exactly $k$ descendants, and at-most-$k$-furcating trees, in which internal nodes possess at least 2 and at most $k$ descendants. In both scenarios, we find that a tree that can be regarded as maximally balanced attains the minimal rank, and a minimally balanced tree attains the maximal rank. We deduce recurrences for the maximal and minimal rank for trees with fixed numbers of leaves in both the strictly $k$-furcating and at-most-$k$-furcating cases. The maximal rank on $(n-1)(k-1)+1$ leaves grows with $(k!)^{\frac{1}{k-1}} β_k^{(k^n)}$ in the strictly $k$-furcating case, and the maximal rank on $n$ leaves grows with $(k!)^{\frac{1}{k-1}} γ_k^{(k^n)}$ in the at-most-$k$-furcating case, where $β_k > 1$ and $γ_k > 1$ are constants that depend on the value of $k$. We show that $β_k$ decreases as the value of $k$ increases, and that $γ_k > β_k$ for $k \geq 3$. The results contribute to the use of tree encodings for empirical characterization of phylogenies and measurement of tree balance.
Algorithms for the Maximum Edge Open Packing Problem
Packing problems form a central theme in graph theory, owing to their relevance in
modeling conflict-free resource allocation, network design, and communication
constraints. Motivated by applications in wireless networks where each device can
participate in at most one communication at a time and simultaneous links must
avoid interference we consider a generalization of induced matching known as
\emph{edge open packing}. Two edges of a graph are said to conflict if a third
edge connects one endpoint of each; an \emph{edge open packing set} is a set of
edges containing no such conflicting pair. The largest cardinality of such a set
is the \emph{edge open packing number} of a graph.
In this work, we study the computational complexity of the Maximum Edge Open
Packing Problem. We give a polynomial-time algorithm for the problem in
\emph{distance-hereditary graphs}, exploiting their canonical decomposition via
twin-set interactions. We further show that the problem remains polynomial-time
solvable on \emph{biconvex bipartite graphs}, thereby identifying a tractable
subclass within bipartite graphs, in contrast to the known NP-hardness of the
problem on Eulerian bipartite graphs. Finally, we initiate the parameterized
complexity study of the problem and present a fixed-parameter tractable algorithm
for \emph{chordal graphs}, parameterized by the clique number $ω$, running
in $O(2^ω\cdot\mathrm{poly}(n))$ time.
On a conjecture on $k$-antichains in the unit $n$-cube
Let $[0, 1]^{n} \subseteq \mathbb{R}^{n}$ be endowed with its pointwise order, and let $k$ be a positive integer. A subset $A$ of $[0, 1]^{n}$ is said to be a \emph{$k$-antichain} if $\operatorname{card}(A \cap C) \leq k$ for each chain $C \subseteq [0, 1]^{n}$. Letting $\mathcal{H}^{m}$ denote the $m$-dimensional Hausdorff outer measure, Pelekis and Vlasák [Publ.\ Math.\ Debrecen, 2020] conjectured that there exists a $k$-antichain $A \subseteq [0, 1]^{n}$ satisfying $\mathcal{H}^{n-1}(A) = k n$, and proved the special case of this conjecture for $n = 2$, whereas Janzer [Mathematika, 2020] proved the $k = 1$ case of Pelekis and Vlasák's conjecture. This conjecture is motivated by a result due to Erdős on $k$-antichains in $\{ 0, 1 \}^{n}$. We prove Pelekis and Vlasák's conjecture in full generality, thus establishing that their upper bound $\mathcal{H}^{n-1}(A) \leq k n$ is sharp for $k$-antichains $A$ in $[0, 1]^{n}$.
Chordality, syzygies, and shellability for hypergraphic analogues of interval graphs
Interval graphs are a special class of chordal graphs, and hence have connections to commutative algebra via Fröberg's theorem that characterizes linear resolutions of squarefree quadratic ideals. In recent years, several hypergraphic analogues of interval and chordal graphs have been proposed, in part as an effort to extend Fröberg's theorem to ideals generated in higher degree. In this paper, we study two such classes from the literature, cointerval hypergraphs and underclosed complexes, and show that they are in fact equivalent up to complementation. We then consider their place in the broader theory of higher-dimensional chordality, proving that an underclosed clutter is chordal in the sense of Woodroofe. As a consequence, we answer a question of Dochtermann and Engström by showing that the associated Alexander dual complexes are vertex decomposable, implying that the corresponding circuit ideals have linear quotients. We furthermore show that these dual complexes have shellings induced by their underclosed vertex orders.
Structure of Cayley Codes
Cayley codes, introduced by Kaufman and Wigderson, are linear codes constructed from a Cayley graph and a smaller linear code. We explore general properties of the class of Cayley codes for finite groups. In particular we give a reduction to Cayley codes for connected Cayley graphs that maintains code properties such as rate, minimum distance and symmetry. Also, for a given Cayley code, we identify a family of symmetric Cayley codes, each associated with a normal edge-transitive Cayley graph, such that the given Cayley code embeds into the direct sum of the symmetric Cayley codes. We analyse several families of examples, in particular studying the behaviour of the Cayley code construction under forming direct products and cartesian products of Cayley graphs, and we pose a number of open questions.
A reduced planar body with area greater than $πΔ^2/4$
We construct a reduced planar convex body $R$ with thickness $Δ(R)=1$ and \[\operatorname{area}(R)=0.786215\ldots>0.785398\ldots=\fracπ{4}.\] Thus $R$ is a counterexample to Lassak's conjectured upper bound $\operatorname{area}\le(π/4)Δ^2$ for planar reduced bodies. The construction is given by an explicit support function, and the proofs use only elementary support-function, width, area, and contact-point computations.
The Andersen-Hoffman Theorem for Equitable Rectangles
More than forty years ago, Andersen and Hoffman independently proved that every symmetric Latin rectangle can be extended to a symmetric Latin square with prescribed diagonal entries. We generalize this theorem as follows. Let $k\leq n^2$, and let $M$ be an $n\times n$ array whose top-left $r\times r$ subarray is filled with symbols from $\{1,2,\ldots,k\}$. Suppose that, for each $i\in\{1,\ldots,r\}$ and each symbol, the number of occurrences of that symbol in row $i$ equals its number of occurrences in column $i$, and that each remaining diagonal entry is either empty or already contains a symbol from $\{1,\ldots,k\}$. We establish necessary and sufficient conditions for completing $M$ so that the resulting array is symmetric off the prescribed $r\times r$ subarray, each symbol occurs a specified total number of times in $M$, and, for every symbol, its numbers of occurrences in any two rows (respectively, columns) differ by at most one.
Restricted to symmetric arrays, our theorem generalizes results of Cruse (1974), Goldwasser et al. (2015), and Bahmanian and Hilton (2025). It also extends Baranyai's theorem for complete graphs (1973) by characterizing when a partial coloring of $K_r$ with a loop on every vertex can be extended to an almost regular coloring of $K_n$ with a loop on every vertex, where $n\geq r$.
The Thickness of Infinite Sidon Sets
Let $γ\ge 1$. A set $A$ of nonnegative integers is a Sidon set if for each $d>0$ there is at most one pair $(a,b) \in A \times A$ with $d=a-b$. If there are at most $γ$ pairs, then $A$ is a $γ$-Golomb ruler. We prove that if $A$ is a $γ$-Golomb ruler, then \[\liminf_{n\to\infty} \frac{|A\cap[0,n)|}{\sqrt{n/\log n}} \le \frac{2}{\sqrt{\log 2}} \sqrtγ.\] There is a $γ$-Golomb ruler $G$ with \[ \limsup_{n\to\infty} \frac{|G\cap[0,n)|}{\sqrt n} \ge \frac{1}{\sqrt2} \sqrtγ.\]
Linkage problem on optimal $1$-planar graphs
Enami and Maezawa give a complete characterization of $(s_1, s_2, \ldots, s_k)$-linked planar graphs for any $k$-tuple of positive integers. In this paper, we investigate linkage problems for optimal 1-planar graphs. In particular, we show that every optimal 1-planar graph with connectivity $6$ is $(5, 5)$-linked. Moreover, for an optimal $1$-planar graph $G$ that is not $(2,2,1)$-linked, we characterize disjoint vertex subsets $S_1, S_2, S_3$ in $G$ with $|S_1|=|S_2|=2$ and $|S_3|=1$ such that $G$ is not $\{S_1,S_2,S_3\}$-linked.
Separable integer partition classes and Slater's list -- II
Slater's list of Rogers-Ramanujan type identities remains a central source of striking series-product formulas in the theory of partitions and basic hypergeometric series. Although many of these identities admit elegant analytic proofs through Bailey pairs, Bailey chains, or transformations of basic hypergeometric series, the partition-theoretic meaning of their series sides is often much less apparent. In this paper, which continues the program initiated in arXiv:2603.14179, we apply Andrews' theory of separable integer partition classes to further identities from Slater's list. We construct a strict overpartition class and two families of overpartitions with positional gap conditions, in which overlining is permitted only at alternating positions. Their multivariate generating functions give natural refinements of the series sides of Slater's identities (12), (28), (29), (47), (48), (50), and (51). We then use Heine-type transformations, a limiting form of Heine's transformations, Watson's $q$-analogue of Whipple's theorem, and classical theta-product identities to obtain alternative series representations and recover the associated products. In addition, we derive a new companion identity to a Slater identity and a signed companion formula. Our results further demonstrate that SIP classes provide a flexible framework for converting basic hypergeometric series into structured partition generating functions, while simultaneously producing refinements, transformations, and new Rogers-Ramanujan type identities.
Another proof of the result on rotation compatible planar covers
Negami's Planar Cover Conjecture asserts that a connected graph has a finite planar cover if and only if it can be embedded on the projective plane. While this statement has already been proven for rotation compatible planar covers, namely covers equipped with a certain condition on the rotation system, the existing proof relies on advanced algebraic and topological methods. In this paper, we provide another proof of this result, focusing primarily on combinatorial arguments based on a structural analysis with respect to a spanning tree in the base graph.
The Existence of Diagonal Quantum Latin Squares with Maximum Cardinality
A quantum Latin square of order \(n\), denoted by \(\operatorname{QLS}(n)\), is an \(n \times n\) square whose entries are unit column vectors in the \(n\)-dimensional Hilbert space \(\mathcal{H}_n\), such that each row and each column forms an orthonormal basis of \(\mathcal{H}_n\). The cardinality of a QLS($n$) is the number of distinct vectors up to a global phase in the array. A \(\mathrm{QLS}(n)\) whose main diagonal and anti-diagonal each forms an orthonormal basis of \(\mathcal{H}_n\) is called a diagonal quantum Latin square (\(\mathrm{DQLS}(n)\)). In this paper, we focus on the existence of the \(\mathrm{DQLS}(n)\) with maximum cardinality ($\mathrm{MCDQLS}(n)$). By employing direct constructions based on row-quantum Latin rectangle and special complete mapping, together with the recursive techniques such as the singular direct product construction, We have almost completely determined the existence of \(\mathrm{MCDQLS}(n)\), except for a few exceptional cases. This result is based on the study of the existence of idempotent \(\mathrm{QLS}(n)\) with maximum cardinality (\(\mathrm{MCQLS}(n)\)), and implies an existence result for pandiagonal quantum Latin squares with maximum cardinality (\(\mathrm{MCPQLS}(n)\)).