math.CO ↗ arXiv
7121 papers in this category
A refinement of the edge theorem for order and chain polytopes
For a finite poset, we partition the edges of the order polytope and of the chain polytope into classes indexed by the connected convex subsets of the poset, and we establish that corresponding classes have the same cardinality. This yields a closed formula for the common number of edges, and it identifies the bijection of Hibi, Li, Sahara and Shikama, given by them through an explicit formula, as a disjoint union of simple bijections between corresponding classes, which explains why it is a bijection and how it acts on edge directions and lengths. As consequences, the two polytopes have equally many edge directions, with matching multiplicities; the chain polytope has at least as many edges parallel to each coordinate subspace as the order polytope; and the edge lengths of the chain polytope are dominated by those of the order polytope. Strict inequality occurs in the last two comparisons exactly when the poset contains a three-element chain. We discuss implications for linear and convex combinatorial optimization over ideals and antichains. We also express the number of edges in terms of the comparability graph, in a form that extends to stable-set polytopes of arbitrary graphs, give a recursion for series-parallel posets and closed formulas for layered, zigzag and crown posets, characterize the distributive lattices for which the two polytopes are unimodularly equivalent, and demonstrate that, although the two polytopes have the same number of edges, either one can have the larger diameter, by an arbitrary amount; on the other hand, both diameters are bounded by the width of the poset, and they coincide for ordinal sums, series-parallel posets, and zigzag and crown posets.
Near-factorizations in association schemes
We formally initiate the study of $λ$-fold $(s,t)$ near-factorizations in association schemes. Namely, given an association $(X, \mathcal{A})$, we consider the existence of a factorization of $λ(J-I)$ into 01-matrices $S$ and $T$ with the constraint that $S$ and $T$ must belong to the adjacency algebra of $(X, \mathcal{A})$. We establish basic properties of $λ$-fold $(s,t)$ near-factorizations in association schemes and calculate bounds for $λ$, $s$, and $t$ relative to the order of the association scheme. We completely determine all near-factorizations in symmetric and asymmetric 2-class association schemes. Furthermore, we construct near-factorizations in certain Hamming schemes, cyclotomic association schemes, Schurian schemes on small primitive groups, and the folded cube and halved cube association schemes. Finally, we establish that certain Hamming schemes, Johnson schemes, and Grassmann schemes do not admit a $λ$-fold near-factorization.
Property B for random non-uniform hypergraphs
We show that, in random hypergraphs with several permitted edge sizes, non-uniformity affects existential and algorithmic bounds for 2-colorability (Property B) in fundamentally different ways. Assigning weight $2^{-k}$ to each $k$-edge, we obtain upper and lower bounds in terms of the total edge weight that asymptotically match the uniform bounds as the minimum permitted edge size grows, regardless of how edges are distributed among sizes. We also extend the best-known algorithm for 2-coloring random uniform hypergraphs to the non-uniform setting. With weight $\frac{k}{2^k}$ assigned to each $k$-edge, we construct non-uniform instances whose expected total edge weight per vertex is arbitrarily large, yet the algorithm finds a proper coloring asymptotically almost surely. In the uniform setting, the algorithm fails with high probability once this quantity exceeds a constant. Our construction uses sufficiently separated edge sizes, so that edges of different sizes become relevant at well-separated stages of the execution and their effects are essentially independent.
A note on the list chromatic number of two matroids
We study list coloring of common independent sets of two matroids. We construct a graphic matroid $M_1$ and a partition matroid $M_2$ with common chromatic number two and common list chromatic number three, showing that the two parameters need not be equal. This resolves a question raised by Király, later stated as a conjecture by Aharoni, Berger, Guo, and Kotlar. We also show that if two strongly base-orderable matroids are each $2$-colorable, then their intersection is $2$-list-colorable.
Complexes of pattern-avoiding injective words
The complex of injective words is a cell complex that arises in a number of different areas. It has applications to proving homological stability and to the study of group cohomology, and it is closely related to the random-to-random Markov chain. This complex was first studied by Farmer, who proved it has the homology of a wedge of top-dimensional spheres. Later, Björner and Wachs established its shellability, and Reiner and Webb uncovered its $S_n$-module structure, observing in the process that the rank of its top homology group is the $n$th derangement number.
We introduce natural subcomplexes of the complex of injective words by fixing a permutation pattern $σ$ and considering only those injective words in the alphabet $\{1,2,\dots,n\} $ that avoid $σ$. We prove that such pattern-avoiding complexes are shellable if $σ$ begins or ends with its largest or smallest letter, and we construct homology bases for the complexes avoiding such patterns. For patterns of length 3, all of which have this property, we show that the rank of the top homology of the resulting complex is a Riordan number. All but four patterns of length 4 also have this property, and for two of the remaining four patterns, we establish shellability using a different method.
We also introduce a technique to use enumerative combinatorics to prove shellability, and we apply it to the complex of separable injective words, thereby deducing shellability in this case. Along the way, we give a combinatorial formula for all of the $h$-numbers in the full complex of injective words as well as for each of the subcomplexes which we prove are shellable. Going in the other direction, we use shellability of complexes of pattern-avoiding injective words to deduce new refined counting formulas for pattern-avoiding permutations.
Connected Fair Detachments of Hypergraphs II
We study embeddings of factorizations of the $λ$-fold complete $h$-uniform hypergraph $λK_m^h$ in factorizations of $λK_n^h$, where $m<n$ and both the source and target degrees may vary by color. From every embedding one can obtain another that minimizes the number of components in every target color without increasing its multiplicity spread. This change also does not increase the sum of any convex function of the edge multiplicities, simultaneously in all colors.
For $h=2,3$ we give exact existence criteria for every $m<n$. For $h\ge4$, the necessary divisibility and degree-sum conditions are sufficient once $n\ge(h-1)m$, improving the previously known threshold $n\ge hm$ for color-dependent degrees. In this range we also give exact criteria for connected, simple, and equimultiple target factors. The proofs use a system of integer counts recording the number of added edges of each type. Every system satisfying these equations gives an embedding with the minimum multiplicity spread allowed by
Biquandle-Based Invariants of Virtual Knotoids under Connected Sum
In this paper, we study the behavior of biquandle-based invariants of virtual knotoids under their connected sum. We first show that the fundamental biquandle of the connected sum of two virtual knotoids is the pushout of a span in the category of biquandles. By applying the Hom functor to this pushout description, we obtain the correspondence between biquandle colorings of $K_1\# K_2$ and compatible pairs of colorings of summands. This provides a categorical explanation of a known matrix product formula for biquandle counting matrices under connected sum.
We then study the behavior of biquandle virtual bracket invariants under connected sum. We show that, for each coloring of the connected sum $K_1\#K_2$ corresponding to a compatible pair of colorings of the summands $K_1$ and $K_2$, the normalized biquandle virtual bracket value factors as the product of the normalized values of the summands. Building on this, we obtain connected-sum formulas for the normalized multiset invariants defined by utilizing biquandle virtual brackets.
When the coefficient ring is a number ring, the normalized bracket multisets can be encoded by polynomials and matrices with polynomial entries. We introduce a product $\star$ on monomials and an induced matrix product $\odot$. We then show that the normalized biquandle virtual bracket matrices satisfy
\[
\widetilde{\mathcal{M}}_X^β(K_1\#K_2)
=
\widetilde{\mathcal{M}}_X^β(K_1)
\odot
\widetilde{\mathcal{M}}_X^β(K_2).
\]
Cyclic Hamilton Cycle Decompositions of Carousel Tournaments of Order $pq$
Kelly's conjecture asks whether every regular tournament admits a Hamilton cycle decomposition. Motivated by its symmetry-preserving extension, we study cyclic Hamilton decompositions of carousel tournaments. For an odd integer $n$, let \[ T_n=\Cay\left( \mathbb Z_n,\left\{1,2,\ldots,\frac{n-1}{2}\right\} \right) \] be the carousel tournament. We ask whether $T_n$ has a Hamilton decomposition invariant under translation by $1$. Although the answer is immediate when $n$ is prime, composite orders introduce a genuine obstruction: nonunit differences generate short cycles rather than Hamilton cycles. We resolve a general composite-order family by proving that, whenever $n=pq$ for primes $7\le p<q$, the tournament $T_n$ admits a cyclic Hamilton cycle decomposition. The proof combines Hamiltonian difference sequences over prime fields with a matching argument that constructs two base paths with disjoint difference sets in $\mathbb Z_{pq}$. Thus our result gives an infinite family supporting the cyclic, symmetry-preserving extension of the Hamilton decomposition problem for regular tournaments.
Real-rootedness of Kazhdan--Lusztig polynomials of sparse paving matroids
We prove that every nonconstant Kazhdan--Lusztig polynomial of a sparse paving matroid has only simple negative zeros. For each rank $d\ge5$, the Kazhdan--Lusztig polynomial of the uniform matroid of rank $d-2$ on $d$ elements strictly interlaces those of all sparse paving matroids of rank $d$ and corank at least two.
On the structure of uniform Turán densities
Motivated by parallel developments in ordinary and $\ell$-degree Turán problems, we study the set of $(r-2)$-uniform Turán densities of possibly infinite families of $r$-uniform hypergraphs. We prove that, for all sufficiently large $r$, these densities exhibit a phase transition at $4r^{-r}$, from a countable set of algebraic values below this threshold to the full interval $[4r^{-r},1]$. For every $r\ge3$, the densities below the threshold are exactly the finite-palette Lagrangians in that range, and each is realized by a finite forbidden family. Adapting a method of Pikhurko, we show that, for every $r\ge3$, the set of uniform densities omits continuum many of its limit points below the threshold and is therefore not closed.
The compress-with-another threshold of Szykuła's Figure 3 family
We give a self-contained pair-automaton proof of the exact compress-with-another threshold of the corrected Figure 3 family from a recent survey of open problems in synchronizing automata. For every $p \geq 3$, the automaton has $n = 3p$ states and $μ(q_0) = 4p = 4n/3$. The word $(ba)^p(ab)^p$ attains this value. Two entrance potentials and an excluded region yield the lower bound, with the endpoint exception at $p = 3$ treated explicitly. A separate reset construction proves $\operatorname{rt}(A_p) \leq 3p^2 + 4p - 1$ for every parameter. Reproducible computations verify the transition and entrance identities; the all-parameter results follow from the explicit proofs.
Almost Golomb Sequences
Golomb's sequence $(G(n))$ is the unique nondecreasing sequence of positive integers in which each $n$ appears exactly $G(n)$ times. It satisfies the global self-referential rule $G(G(n)+G(n-1)+\cdots+G(1))=n$, grows smoothly like a power of $n$ governed by the golden ratio, and is not $k$-regular for any $k\ge 2$.
We introduce almost Golomb sequences, obtained by truncating the cumulative sum to a fixed size sliding window $r$: $a(a(n)+a(n-1)+\cdots+a(n-r+1))=n$. This finite-memory truncation completely changes the nature of the sequence. The smooth power law gives way to oscillatory linear growth, and the sequence becomes $r$-regular for every $r\ge 2$. For small values of $r$ we establish explicit denesting formulas, prove that $a(n)/n$ does not converge, and reveal the combinatorial structure including a cellular automaton and a palindromic substitution.
When one varies $r$, the Golomb sequence itself reappears. We prove that the first $r$ terms of the order-$r$ sequence form a shifted copy of Golomb's sequence, and that this initial segment controls the maximum multiplicity across the whole family. For $r\ge 5$ in particular, the maximal multiplicity is exactly $G(r-1)$. The sequence that was truncated returns as the law governing the family it generated.
Large corank of dense random regular digraphs
Let $1\le k\le n$ and let $A$ be the adjacency matrix of a uniformly random $d$-regular directed graph on $n$ vertices. Suppose that $λn\le d \le (1-λ)n$ for a fixed $0<λ\le 1/2$. We show that there exists $c_λ>0$ depending only on $λ$ such that $$
\mathbb{P}[\operatorname{rank}(A)\le n-k]\le 2e^{-c_λ kn}. $$ This gives a large corank extension of the exponential singularity bound of Jain, Sah, and Sawhney.
Symmetric Grassmann Formulas: Monotone Dimension-Defect Hierarchies
We study the dimension defect of finitely many subspaces over an arbitrary field. We derive a symmetric, nonrecursive Grassmann-type formula for the dimension of their sum. The formula expresses the total dimension loss through intersections of a distinguished subspace with partial sums of the remaining subspaces, with coefficients determined by the number of subspaces involved. We also show that the formula admits a Shapley-value interpretation for the associated representable polymatroid. Grouping the correction terms by the number of participating subspaces yields a nonnegative dimension-defect profile. We prove that this profile is monotone and identify its successive gaps with the discrete curvatures of the average-rank profile. These gaps give exact remainders in two-sided defect bounds. Equality in either bound holds precisely when the images of the subspaces in the quotient by their common intersection form an internal direct sum. We also give an exact geometric decomposition of the Kinser slack into nonnegative quotient dimensions and characterize equality. Averaging these slacks over permutations and contractions recovers every defect curvature except the final one; additional representability constraints remain in the individual ordered slacks. Weighted and dual formulas accompany the expansion, and entropy analogues express the defect levels and curvatures as averages of mutual and conditional mutual information, respectively.
Isomorphism Criterion of Monomial Digraphs over Prime Fields
For any Galois field $\mathbb{F}_q$ with $q$ elements and any positive integers $m$ and $n$, the directed graph $D(q;m,n)$ has vertex set $\mathbb{F}_q\times\mathbb{F}_q$, and there is an arc from vertex $(x_1,x_2)$ to vertex $(y_1,y_2)$ if and only if $x_2+y_2=x_1^my_1^n$. It was conjectured in earlier work that two digraphs $D(q;m_1,n_1)$ and $D(q;m_2,n_2)$ are isomorphic if and only if there exists an integer $k$ relatively prime to $q-1$ such that $m_2\equiv km_1$ and $n_2 \equiv kn_1$, where both congruences are modulo $q-1$. We prove this conjecture over prime fields and construct an infinite family of counterexamples over extension fields.
A note on the Kővári--Sós--Turán theorem for stable hypergraphs
In this note, we prove a stronger version of the Kővári-Sós-Turán theorem for partition-wise $k$-stable $r$-hypergraphs. More precisely, we show that for every $k,r\in\mathbb{N}_{\geq 2}$ there is $η=η(r,k)>0$ such that if $H=(V;E)$ is a partition-wise $k$-stable $r$-uniform $K^{(r)}_{t,\ldots,t}$-free hypergraph with $|V|=n$, then $|E| = O_{r,k,t}(n^{r-η})$. Crucially, $η$ is independent of $t$. The proof follows the pseudofinite regime used by Chernikov and Starchenko to prove an analogous version of Erdős-Hajnal for stable hypergraphs.
Suciu's Conjecture on hyperplane arrangements
We prove that the resonance of any hyperplane arrangement is separable. Using the main result from arXiv:2512.10160 this proves Suciu's conjecture on the fundamental group of every hyperplane arrangement, in its most effective form.
Enumerating Hamiltonian Paths and Cycles
We prove counting formulae for the number of directed Hamiltonian paths and directed Hamiltonian cycles in any complete multipartite graph. The method is based on a collapsing technique relating general path graphs with coloured vertices to legally coloured path graphs.
Counting Cylinders on Z-covers of Genus 2 Square-tiled Surfaces
We count maximal cylinders on zero holonomy $\mathbb{Z}$-covers of genus $2$ square-tiled surfaces, up to $\mathbb{Z}$-action, obtaining quadratic asymptotics. We also show that the leading term of the asymptotic, called the Siegel-Veech constant, can be recovered via a large-genus approximation by intermediate finite covers. Our work applies to the infinite staircases introduced by P. Hubert and G. Weitze-Schmithüsen. For many members of this family, we explicitly compute the associated Siegel-Veech constants. In particular, we exhibit the first infinite family of examples of zero holonomy $\mathbb{Z}$-cover in which the number of cylinders grows sub-quadratically.
On how many Fibonacci words is the Plancherel measure concentrated
On the set $\mathbb{YF}_n$ of words in $1$ and $2$ with digit sum $n$, we consider the probability distribution $μ_P$, corresponding to the Plancherel measure on paths in the Young--Fibonacci graph. We study the asymptotics as $n$ grows of the entropy of the distribution $μ_P$ and of the minimum number of words on which $μ_P$ is almost entirely concentrated.