arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2026-09-08
Planarity and number of crossings in general models of random geometric graphs
Consider a random geometric graph with vertices given by a Poisson point process, and whose edges depend on independent marks corresponding to the vertices and pairs of vertices. In this paper, we study two related questions on this general model: the number of edge crossings in a projection of this graph, and its graph-theoretical planarity. We focus on models with heavy-tailed mark distributions, in particular with polynomial tails with arbitrary exponents. We show that the asymptotic behaviour varies significantly depending on this exponent.
2026-09-08
$J$-ascent sets in parabolic quotients of Coxeter groups
Let $(W,S)$ be a Coxeter system and let $J\subseteq S$. The right $J$-ascent set $$ A_R^J(w)=\{s\in S\mid ws\in{}^JW,\ \ell(ws)=\ell(w)+1\} $$ is a natural refinement of the classical ascent set adapted to the parabolic quotient ${}^JW$. We establish a local transition formula describing the behaviour of $J$-ascent sets under right multiplication by a simple reflection. As a consequence, for every $w\in{}^JW$ and every $s\in A_R^J(w)$, we prove that $$ \Bigl||A_R^J(w)|-|A_R^J(ws)|\Bigr| \leq \max\{1,\text{deg}(s)-1\}. $$
2026-09-08
Sequence b-colorings in graphs
We introduce and begin the study of sequence b-colorings, a natural generalization of the classical notion of b-colorings introduced by Irving and Manlove in 1999. In a sequence b-coloring, each color class is required to contain a prescribed minimum number of color-dominating vertices (CDVs). We establish several fundamental properties of the associated parameters, prove that every sequence is realizable, and show that the problem of deciding whether a particular graph realizes a particular sequence is NP-complete. We also characterize the sequences realized by cycles, obtain results on regular graphs with prescribed girth, and investigate colorings requiring one additional CDV, including a characterization of connected graphs with chromatic number $3$ for which no such coloring exists.
2026-09-08
On Exceptional CR-Quadrics: Further Developments
Exceptional CR-quadrics are studied. An example of an exceptional (4,4)-quadric is constructed; it realizes the minimum exceptional type with respect to both n and k. Its graded Lie algebra is described. The available information on exceptional types is summarized, and the lattice of CR-types is decomposed into the disjoint union of three sets: A, the types for which exceptional quadrics are impossible; B, the types for which examples of exceptional quadrics are known; and C, the types whose status is currently unknown (neither an example nor a nonexistence proof is known). Several questions are posed.
Fundamentals of the cocyclic development of Hadamard matrices over loops
This paper establishes a formal framework for the cocyclic development of Hadamard matrices over loops based on a novel cohomology theory with associativity obstructions. In this context, we formalize the notion of a loop-cocyclic Hadamard matrix, so that both the classical cocyclic Hadamard matrices over groups and the recently introduced pseudococyclic Hadamard matrices over loops are naturally embedded within this broader algebraic architecture. To validate the computational viability of this framework, we prove the existence of four new Hadamard equivalence classes of order 24 and eight new classes of order 28 that are strictly non-cocyclic over any finite group, arising uniquely as loop-cocyclic developments over Moufang and right Bol loops.
Matchings and shape-Wilf-Equivalence of sets of patterns of length three I: Triples
Permutation pattern avoidance on Ferrers boards has become a central topic in enumerative combinatorics with important connections to matchings, set partitions, and other combinatorial structures as it allows one to build families of Wilf-equivalent patterns. While shape-Wilf-equivalence classes have been completely determined for individual patterns and pairs of patterns of length three, the corresponding classification for larger pattern sets has remained open. In this paper, we provide a complete classification of the shape-Wilf-equivalence classes of triples of patterns of length three. Our proofs use a bijective encoding of pattern avoiding transversals to establish all equivalence classes. As an application, we enumerate matchings avoiding triples of patterns of length three for all but two equivalence classes, extending previous results of Bloom and Elizalde. These enumerative results identify additional families of combinatorial objects counted by the Fuss-Catalan numbers and by other integer sequences appearing in the OEIS.
2026-09-08
A Fano framework for binary delta-matroids
Dunshee and Ellingham recently showed that seven natural properties of a cellularly embedded graph form a Fano-plane framework. We establish an analogous framework for binary delta-matroids. For a binary delta-matroid $D$ and $τ$, let $Z_3(D,τ)$ denote its associated binary tight $3$-matroid. The six outer points are represented by evenness or bipartiteness of $D$ and its global vertex-flip transforms. For the seventh point, we call $D$ $Z_3$-bipartite when every circuit of $Z_3(D,τ)$ has even cardinality. We show that the satisfied properties are precisely the nonzero vectors of a subspace of $\Ftwo^3$. For ribbon-graphic delta-matroids, $Z_3$-bipartiteness is equivalent to bipartiteness of the medial graph, so the construction recovers the Fano-plane framework for embedded graphs.
2026-09-08
A Chvátal-type codegree condition for Hamiltonian cycles in $k$-uniform hypergraphs
We prove an asymptotic Chvátal-type codegree criterion for tight Hamiltonian cycles in $k$-uniform hypergraphs for every fixed $k\ge3$. The criterion allows small degrees to be compensated by large degrees in the link graphs of $(k-2)$-tuples. It strengthens the asymptotic Dirac-type theorem by Rödl, Ruciński and Szemerédi and implies a Pósa-type criterion conjectured by Schülke.
2026-09-08
Latin Squares with Few Transversals
Let $t(n)$ denote the minimum number of transversals in a Latin square of odd order $n$. Improving upon a recent bound of Dai, Divoux and Kelly, we prove that for every $n$ such that $n \equiv 3 \pmod 6$, \[ t(n) \leq \left( \left(1+o(1)\right) \frac{2n}{3e^2}\right)^n . \] Our proof is based on a family of $3 \times 3$ block Latin squares whose transversals are constrained to either lie entirely in the diagonal blocks or avoid them altogether.
2026-09-08
Monotone Diameters of Lattice Polytopes
An influential 1989 result of Naddef shows that the diameters of $0/1$-polytopes are at most their dimension. This was extended shortly after by Kleinschmidt and Onn to any lattice polytope in $[0,k]^{d}$, where they showed a bound of at most $dk$. Naddef's argument easily extends to the monotone setting motivated by the simplex method, where one requires paths to increase with respect to a linear objective function. However, the Kleinschmidt-Onn argument does not. In fact, no argument in the 30 years since has managed to fill that gap. Prior to this work, it remained open whether the monotone diameter is bounded by a polynomial in $d$ and $k$ with no lower bounds suggesting any separation between the worst-case diameter and worst-case monotone diameter. Linear upper bounds hold for $k=1$ and $k=2$. However, we exhibit a sharp threshold for this question at $k = 3$ by constructing for each $d \geq 1$ a lattice polytope in $[0,3]^{6d}$ with monotone diameter at least $2^{d}-1$. In particular, the polynomial bound does not hold. Furthermore, we show that Naddef's result does not extend to the unbounded setting by exhibiting a family of unbounded polyhedra with $0/1$-vertices and diameter exponential in their dimension.
2026-09-08
Cayley Tournaments Simultaneously Critical for the Clique and Dichromatic Numbers
For a tournament $T$, let $ω(T)$ be the minimum clique number among the backedge graphs of $T$, and let $χ(T)$ be its dichromatic number. We give a template-lifting construction. It turns a $k$-template into a regular, vertex-transitive Cayley tournament that is simultaneously $(k+1)$-$ω$-critical and $(k+1)$-$χ$-critical. The output is also a $(k+1)$-template. Iterating the construction, we prove that for every $k\geq3$, there is a positive even integer $m_k$ with the following property. Every $N>1$ with $N\equiv1\pmod{m_k}$ is the order of a regular, vertex-transitive Cayley tournament that is simultaneously $k$-$ω$-critical and $k$-$χ$-critical. This proves a conjecture of Aboulker, Aubian, Charbit, and Lopes and gives a negative answer to their bounded-certificate question when the hypothesis is $ω(T)\geq k$. We also find the clique number of a cyclic substitution when each block satisfies $ω=χ$. We then describe exactly when this substitution is $ω$-critical if the blocks are $χ$-critical and satisfy $ω=χ$.
2026-09-08
Matchings and Clusters on Plabic Fences
Fix two positive braid words $β_+,β_-$, and let $\text{Conf}(β_+,β_-)$ be the corresponding (type A) double Bott-Samelson variety. Let $β$ be a double braid word containing $β_+,β_-$ as the top, bottom words. We consider the open cluster torus $T(C_β)$ associated to a triangulation $C_β$ in $\text{Conf}(β_+,β_-)$ from arXiv:1904.07992, and we identify these with weighted plabic fences, where the usual local moves on planar bipartite graphs naturally correspond to change of torus coordinates in double Bott-Samelson variety. Moreover, $T(C_β)$ can be parametrized explicitly by certain matrix products, and also has monomial coordinates given by the cluster variables, which are matrix minors. We interpret these minors as a generalized notion of perfect matchings on weighted plabic fences, which may not be reduced plabic graphs. Using this interpretation, we show that the cluster variables are given by "generalized minimal matchings", extending the minimal matchings from arXiv:1606.08383. Lastly, we derive a Chamber Ansatz formula for double Bott-Samelson varieties via face alternating products from dimer theory. In general, plabic fences are not reduced plabic graphs, yet we are able to extend and apply the standard tools such as local moves on plabic graphs, trips, and minimal matchings to them.
2026-09-08
Coloring Small $K_t$-Minor-Free Graphs
Delcourt and Postle proved that every $K_t$-minor-free graph is $O(t\log\log t)$-colorable and reduced the Linear Hadwiger Conjecture to coloring $K_t$-minor-free graphs on $O(t\log^4 t)$ vertices. In this paper, we use the star contraction technique to improve their bound for small graphs and use their reduction to extend this improvement to all $K_t$-minor-free graphs. Thus we improve their $O(t\log\log t)$ bound to $O(t\sqrt{\log\log t})$.
Orthogonal signed graphs of degree 5
An orthogonal signed graph is a connected signed graph whose signed adjacency matrix has pairwise orthogonal rows. They are closely related to Hadamard matrices, maximal arrangements of equiangular lines, bipartite Ramanujan graphs, and the remarkable resolution of the Sensitivity Conjecture. Orthogonal signed graphs of degree at most 4 have been completely classified, and partial results were known for degree 5. We complete the classification of orthogonal signed graphs of maximum degree 5. We also provide several new infinite families of 6- and 8-regular orthogonal signed graphs.
2026-09-08
Partial $F$-invariants and cluster categorifications
The $F$-invariant in cluster algebras is a combinatorial invariant that unifies the $E$-invariant from additive categorification and the $\mathfrak{d}$-invariant from monoidal categorification. In this paper, we study its refinement, the partial $F$-invariant, and establish its mutation formula under changes of the initial seed. As an application, we prove a conjecture of Reading, which asserts that the non-compatible cluster variables can be separated by sign-coherence of $g$-vectors upon varying the initial seed. We further show that, for cluster monomials, the partial $F$-invariants coincide with both the partial $E$-invariants for reachable decorated representations of quivers with potentials and the pole orders of normalized $R$-matrices (or partial $\mathfrak{d}$-invariants) for finite-dimensional reachable simple modules over quantum affine algebras. As consequences, we obtain a combinatorial formula for the pole orders for reachable simple modules in terms of $q$-characters; we verify the conjectural explicit formula for the pole orders between Kirillov--Reshetikhin modules.
2026-09-08
The Vámos Matroid Has No Second Symmetric Power
Symmetric powers of matroids were introduced by Lovász and Mason. The subject has recently attracted renewed interest through its connection with the realizability of tropical linear spaces by tropical ideals. Anderson proved that the tropical linear space associated with a matroid $M$ is the variety of a tropical ideal if and only if $M$ has a $d$th symmetric power for every positive integer $d$. He also asked whether the Vámos matroid $V_8$ has a second symmetric power. We answer this question in the negative by proving that $V_8$ has no second symmetric power. By Anderson's characterization, the associated tropical linear space cannot be realized as the variety of a tropical ideal.
A study of $m$-ary partitions whose conjugates are $q$-ary
Published in Journal of Algebra Combinatorics Discrete Structures and Applications (2026), 13(3), 385-407 • View Publication • BIB
While people have studied $m$-ary partitions of an integer $n$ and studied conjugation of partitions of $n$, these topics are rarely mixed because the $m$-ary property is almost always lost after conjugation. In a previous work, Flowers and Lockard investigated $m$-ary partitions of $n$ whose conjugates were also $m$-ary. We generalize that previous work by studying $m$-ary partitions whose conjugates are $q$-ary, where $m$ and $q$ may be distinct. We provide a family of operators on these partitions that can be used to generate all such partitions uniquely and associate a unique polynomial with each partition based on the sequence of operators used to generate it. Using the generating operators and modular arithmetic we explore many examples and families of $m$-ary partitions whose conjugates are $q$-ary.
A graph reconstruction problem involving common neighbors
Given a simple graph $G = (V, E)$ on $v$ vertices and two distinct vertices $x, y \in V$, the co-degree $c_{x,y}$ associated to the pair $\{x, y\}$ is the number of their common neighbors in the graph $G$. The co-degree sequence of $G$, denoted by $γ(G)$, is the list of all the co-degrees associated to all the possible pairs of distinct vertices, arranged in non-increasing order. In this paper we consider the following problem, which can be viewed as a generalization of a result by Erdős and Gallai as well as of the Erdős, Rényi and Sós' friendship theorem: given an integer $v\geqslant 2$ and a sequence $γ$ of nonnegative integers arranged in non-increasing order, establish if there exists a simple graph on $v$ vertices having $γ$ as its co-degree sequence and, in case of positive answer, provide such a graph. We provide a full answer to this problem for the class of planar $C_4$-free graphs.
2026-09-08
The modulo 9 Kanade--Russell identities and their Nahm-sum duals
Kanade and Russell initiated a family of conjectural Rogers--Ramanujan type identities of moduli $9$ and $12$, which ultimately comprised five modulo $9$ identities and eleven modulo $12$ identities. The eleven modulo $12$ conjectures were subsequently settled through the work of Bringmann, Jennings-Shaffer, and Mahlburg and of Rosengren. In this paper, we prove all five modulo $9$ Kanade--Russell sum-product identities, four individual generalized Nahm-sum dual identities, and a product formula for the natural dual companion of the fifth Kanade--Russell identity, which is expressed as a linear combination of two negative-mixed-term generalized Nahm sums. The first three individual dual identities settle Conjecture~3.6 of Wang and Wang, while the fourth proves the corresponding conjecture of Li and Wang. Our results also connect directly with the recent Dynkin-diagram framework of Sun and Wang for generalized Nahm sums. They identified the rank-two pairs $(T_1,G_2)$ and $(G_2,T_1)$ as unresolved cases whose modularity would follow, respectively, from the first modulo $9$ Kanade--Russell identity and its Wang-Wang dual. The present results prove precisely these two required identities and hence establish the corresponding modularity statements unconditionally.
2026-09-08
The range and omitted values of a certain sequence involving the partition function
Let \(p(n)\) denote the ordinary partition function. Motivated by analogous questions concerning Euler's totient function and its complementary counting function, we study the range of the partition-derived sequence \(p(n)-n\). We give combinatorial interpretations of this sequence and investigate both the attained and omitted positive integers. We obtain exact and asymptotic information about the gaps between consecutive attained values and show that the range is remarkably sparse: its counting function has order \((\log x)^2\), and consequently the range has natural density zero. We also extend the discussion to partitions whose Durfee square has side at least a fixed positive integer.