Combinatorics
See recent articles
Showing new listings for Friday, 3 July 2026
- [1] arXiv:2607.01259 [pdf, html, other]
-
Title: From orthoposets to orthomodular posetsSubjects: Combinatorics (math.CO); Mathematical Physics (math-ph); Category Theory (math.CT); Quantum Physics (quant-ph)
We show that the category of orthomodular posets is a full coreflective subcategory of the category of strong orthoposets, those orthoposets in which any two orthogonal elements have a join. This coreflection is obtained by building from a strong orthoposet $P$, an orthomodular poset with the same underlying set and same orthocomplementation as $P$, but with modified order. This coreflector restricts to a functor from the category of ortholattices to the category of orthomodular posets, and this functor is right adjoint.
- [2] arXiv:2607.01273 [pdf, html, other]
-
Title: On Deranged Unit-Interval Parking Functions and the Deranged Bell NumbersSubjects: Combinatorics (math.CO)
Unit-interval parking functions of length $n$ are enumerated by the Fubini numbers $F_n$ and are in explicit bijection with the ordered set partitions of $[n]$. We use this bijection to single out the unit-interval parking functions whose associated ordered set partition is \emph{deranged} in the sense of Belbachir, Djemmada, and Németh -- no block occupies the position indexed by its minimum element -- and call them the \emph{deranged unit-interval parking functions} $\DUPF_n$. Since the bijection restricts to the deranged objects, $|\DUPF_n| = \tilde F_n$, the $n$-th deranged Bell number. We give an intrinsic, coordinate-wise characterization of the deranged condition through the lucky cars (equivalently, the block leaders) of a parking function, and we refine the enumeration by total displacement, obtaining $d_m\Stir{n}{m}$ deranged unit-interval parking functions with $m$ blocks. We derive the exponential generating function $e^{1-e^x}/(2-e^x)$ by the symbolic method, prove a fixed-block convolution relating $F_n$, the Bell numbers, and $\tilde F_n$, refine the count by singleton blocks via $2$-associated Stirling numbers, and describe an $r$-start extension together with a deranged Cayley-permutation model. Worked examples and a table of values are included.
- [3] arXiv:2607.01294 [pdf, html, other]
-
Title: Constructive Winning Breaker Strategies in the Maker-Breaker $C_k$-GameSubjects: Combinatorics (math.CO)
Maker-Breaker subgraph games are among the most famous combinatorial games. For $n,q\in\mathbb{N}$ and a fixed subgraph $C$ of the complete graph $K_n$, the two players, called Maker and Breaker, alternately claim edges of $K_n$. Maker claims one unclaimed edge per round and Breaker may claim up to $q$ edges per round. If Maker is able to claim all edges of a copy of $C$, he wins the game. Otherwise Breaker wins. Bednarska and Łuczak (2000) determined in a landmark work the asymptotics of the treshold bias as $\Theta(n^{1/m(C)})$ where $m(C)$ is the 2-density of $C$, analysing random strategies. Since then it has been a major open problem to determine the treshhold bias, if it exists, with corresponding strategies, leading to sharp constants in the $\Theta$-notion. A famous case is the triangle game ($C=C_3$), studied by Chvatal and Erd"os (1978), who showed Maker wins if $q\le \sqrt{2n}$ and Breaker wins if $q\ge2\sqrt{n}$. Glazik and Srivastav (2022) improved this via a potential method, showing Breaker wins already for $q\ge\sqrt{8/3}\sqrt{n}$. Spencer (2019) conjectured generalizability to arbitrary subgraphs $C$. We confirm this conjecture, presenting a general winning strategy for Breaker if the potential function fullfils conditions depending on $C$. With this result we give the first constructive (polynomial-time) strategies for Breaker in the $k$-cycle Maker-Breaker game for arbitrary, but fixed $k \geq 4$: Breaker wins if $q>\sqrt[k-1]{(k-1)\big(\frac{2(k-1)}{k}\big)^{k-2}n^{k-2}}$. By Bednarska and Łuczak (2000) our bound is asymptotically optimal. However, our constants are better than those arising from their random strategies. More recently, Sowa and Srivastav (2025) gave the first constructive Maker strategy for $C_4$. Our work may motivate study of Maker strategies for $C_k, k \ge 5$, narrowing the gap towards the Breaker bounds presented.
- [4] arXiv:2607.01438 [pdf, html, other]
-
Title: Annihilation, Independence, and Residue: Sharp Matching Bounds for the Annihilation Gap and a TxGraffiti ApplicationComments: 46 pagesSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
Let $G$ be a finite simple graph. The annihilation number $a(G)$ is an efficiently computable upper bound on the independence number $\alpha(G)$. We develop a sharp matching-number theory for the gap $a(G)-\alpha(G)$. The strongest general theorem is the exact closed form \[a(G)-\alpha(G)\leq 2\mu(G)+1- \lceil \sqrt{6 \mu(G)} \rceil \qquad(\mu(G)\geq 1), \] and the bound is attained for every prescribed matching number. We also prove sharp matching-dependent bounds for forests, bipartite graphs, and König-Egerváry graphs, with equality constructions, equality certificates, and equality criteria. Finally, we treat a TxGraffiti output as a machine-conjecture case study. Using annihilating decompositions together with the classical Havel-Hakimi residue inequality $res(G)\leq \alpha(G)$, we give an independent proof of the TxGraffiti annihilation-residue inequality \[ \alpha(G)\geq \frac{a(G)+res(G)}{\Delta(G)} \] for every connected graph $G$ of order at least three, show that both hypotheses are necessary, and compare this proof with a recent Caro-Wei approach. We also refine the Caro-Wei annihilation estimate by an explicit nonnegative slack term, identify its equality cases in degree-sequence form, and combine the refinement with our exact matching-number bound to obtain a combined computable bracket for the independence number and a Gupta-residue bound for the annihilation gap.
- [5] arXiv:2607.01458 [pdf, html, other]
-
Title: Sharp Lower Bounds for Sumsets in HypercubesComments: 21 pages, 3 figuresSubjects: Combinatorics (math.CO); Classical Analysis and ODEs (math.CA); Metric Geometry (math.MG)
We prove a sharp lower bound for the cardinality of sumsets of subsets of $\mathbb{Z}^d$ confined to a hypercube, resolving in strong form a conjecture that was made explicit by Becker, Ivanisvili, Krachun and Madrid and had circulated in the folklore of the field for some time. Specifically, for sets $A_j\subseteq \{0,1,2,\dots,m\}^d$ we show that
\[|A_1+\dots+A_n|\;\geq\; (|A_1|\cdots|A_n|)^{1/p},\qquad p=\frac{n\log(m+1)}{\log(nm+1)},\] with the exponent best possible. The only previously known sharp cases were $A_j\subseteq \{0,1\}^d$, for all $n\ge1$, and $A_j\subseteq \{0,1,2\}^d$ for $n=2$. We also prove a sharp inequality in the case when $A_j\subseteq\{0,1,\dots,m_j\}^d$ for different $m_j$. We obtain the above inequality as a corollary of a stronger result on sup-convolution of functions on $\mathbb{Z}^d$, whose proof is based on a novel mixed volume representation of a lattice path norm, together with a sharp one-dimensional functional inequality. - [6] arXiv:2607.01572 [pdf, html, other]
-
Title: The Narayana transformationComments: 12 pagesSubjects: Combinatorics (math.CO)
For $m\in\mathbb{Z}_{\geq 0}$, let \[ N_{n,m}(x)={}_2F_1(-n,-n-m;m+1;x), \] which specializes to the Narayana polynomials of types $B$ and $A$ for $m=0$ and $m=1$, respectively. We prove that the associated basis transformation \[ T_{N_m}\left(\sum_{k=0}^n a_kx^k\right)=\sum_{k=0}^n a_kN_{k,m}(x) \] maps every real-rooted polynomial with nonnegative coefficients to a real-rooted polynomial. The proof is based on the rectangular additive convolution of polynomials. We then apply this result to products of lower triangular matrices and obtain a general criterion ensuring that their row generating functions remain real-rooted. As consequences, we recover this property for powers and products of several classical triangular matrices, including Pascal's triangle, the Stirling triangles, and the Narayana triangles of types $A$ and $B$. We conclude with conjectures concerning the squares of the Eulerian and Delannoy triangles.
- [7] arXiv:2607.01577 [pdf, html, other]
-
Title: Total positivity of transformation matrices for uniform subdivisionsComments: 21 pages, 2 figuresSubjects: Combinatorics (math.CO)
The transformation of the $h$-vector of a finite simplicial complex under an $\mathcal{F}$-uniform subdivision is encoded by a transformation matrix. Mu and Welker conjectured that the transformation matrix of the barycentric subdivision is totally positive. In this paper, we give a new combinatorial proof of this conjecture. We also prove the total positivity of the transformation matrix of the interval subdivision. In addition, we establish a sufficient condition for the transformation matrix of a uniform subdivision to be totally positive of order $2$ (TP$_2$), thereby partially answering a question of Mu and Welker. As an application, we show that the transformation matrix of the $r$-colored barycentric subdivision is TP$_2$.
- [8] arXiv:2607.01582 [pdf, html, other]
-
Title: The analytic properties of Hoggatt trianglesComments: 20 pgaesSubjects: Combinatorics (math.CO)
The $d$-Hoggatt triangle is a lower triangular matrix whose entries are given by specific minors of Pascal's triangle formed by consecutive $d$ rows and $d$ columns. The cases $d=1,2,3$ correspond to Pascal's triangle, the Narayana triangle, and the Baxter triangle, respectively. In this paper, we present the infinite log-concavity of the row and column sequences, the log-concavity of the sequences along transversals, and the eventual log-convexity of the sequences along rays of the $d$-Hoggatt triangle. In addition, we prove the asymptotic normality of the row sequences and total positivity of the $d$-Hoggatt triangle.
- [9] arXiv:2607.01632 [pdf, other]
-
Title: Categorification of some Penrose polynomialsComments: 34 pages, many figures, comments welcomeSubjects: Combinatorics (math.CO); Geometric Topology (math.GT)
We construct doubly- and triply-graded Penrose-type homologies for ribbon graphs. The construction is a TQFT-valued cube of resolutions built from two-dimensional cobordisms, which may be nonorientable. Their Euler characteristics recover specializations of some Penrose polynomials; in particular, the four color case comes with a refinement of the classical Penrose criterion.
- [10] arXiv:2607.01680 [pdf, html, other]
-
Title: On the generalized Turán number of the complete bipartite graph $K_{3,b+1}$Comments: 15pagesSubjects: Combinatorics (math.CO)
For graphs $F$ and $H$, let $\mathrm{ex}(n,H,F)$ denote the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. Very recently, Janzer, Longbrake, and Yepremyan proved that for $3<a\leq b$ and sufficiently large $t$, \begin{equation*} \mathrm{ex}(n,K_{a,b},K_{3,t})=\Theta_{a,b,t}(n^3). \end{equation*} Later, Hou, Hu, and Wang made this threshold explicit by showing that the conclusion holds for all $t\geq 2\max\{3,\lceil b/2\rceil\}+1$. In particular, for every even $b\geq 6$, this matches the necessary threshold $t=b+1$. In this paper, we resolve the remaining case where $b$ is odd. More precisely, we prove that for all fixed integers $b\geq 5$ and $3<a\leq b$, \begin{equation*} \mathrm{ex}(n,K_{a,b},K_{3,b+1})=\Theta_{a,b}(n^3). \end{equation*}
Our construction uses a finite-field point set in $\mathrm{PG}(5,q)$ together with an orthogonal polarity. The key new ingredient is the polynomial splitting lemma due to Andrade, Bary-Soroker, and Rudnick, which produces many planes whose intersections with the point set and their polar planes both have size $b$. This gives a $K_{3,b+1}$-free incidence graph while preserving $\Omega_{a,b}(n^3)$ copies of $K_{a,b}$. - [11] arXiv:2607.01716 [pdf, html, other]
-
Title: A global girth obstruction for Garg--Mineyev taiko product structuresComments: 44 pages, 2 figures; includes an exact finite certificateSubjects: Combinatorics (math.CO); Group Theory (math.GR)
Mineyev's taiko construction, in Garg--Mineyev's finite support-size formulation, gives a concrete route from finite support data to zero divisors and units in group rings of torsion-free CAT(0) groups over $\mathbb{F}_2$. We prove that this triple-girth product-structure route is globally closed: no product structure, even or odd, with support sizes $m,n\ge2$ admits a coherent orientation for which the no-fold and triple-girth conditions both hold. Consequently the Garg--Mineyev triple-girth product-structure assembly route produces neither zero-divisor nor unit counterexamples over $\mathbb{F}_2$ for any such support-size pair.
The obstruction is structural, not a bounded-search artifact. High middle-link girth forces signed colors into a balanced near-disjoint rectangle decomposition of the board, with the single odd defect omitted. The product identity, pressure inequalities, Fisher inequalities, and a dual Fisher bound force the middle link to have girth $4$ or $6$; in the girth-six case, the minimum of the two horizontal-link girths is at most $5$. This dichotomy rules out every triple-girth branch. A weighted dual Fisher inequality and an exact finite certificate sharpen the frontier: if the middle link has girth $6$, the horizontal girth is at most $4$, and characteristic-two affine-plane constructions attain equality. Thus the Garg--Mineyev finite failures reflect a structural barrier in the taiko geometry itself. The finite certificate is used only for this sharper frontier, not for the no-$T_4$ obstruction. - [12] arXiv:2607.01738 [pdf, html, other]
-
Title: A note on long nontrivial cycle in Hamiltonian graphsComments: 11 pagesSubjects: Combinatorics (math.CO)
Let $G$ be an $n$-vertex graph containing a Hamiltonian cycle and with minimum degree at least $3$. Girão, Kittipassorn and Narayanan (Israel J. Math., 2019) proved that $G$ contains another cycle of length at least $n-O(n^{4/5})$. In this paper, we improve their bound to $n-O(n^{2/3})$. Our proof is combined with a constructive method, which is based on a poset result, and a nonconstructive method. And the bound is best possible under these two methods.
- [13] arXiv:2607.01761 [pdf, html, other]
-
Title: Spherical Designs with Infinite Harmonic StrengthSubjects: Combinatorics (math.CO)
In this paper, we study the existence problem for spherical \(T\)-designs on the \(d\)-dimensional sphere, where \(T\) is an infinite subset of \(\mathbb N\). We show that, if \(d\ge 2\), then a finite subset of \(S^d\) has infinite harmonic strength if and only if it is antipodal. For \(d=1\), we show that infinite strength spherical designs are exactly cyclotomic designs, and we characterize their existence in terms of certain \(0\)-\(1\) polynomials. We also prove that the harmonic strength of every infinite strength spherical design has the weak GCD property. Finally, for a given infinite subset \(T\subset \mathbb N\) with the weak GCD property, we give a finite procedure to decide whether there exists \(X\subset S^1\) such that \(\operatorname{Hst}(X)=T\), and apply this criterion to concrete existence and non-existence examples.
- [14] arXiv:2607.01839 [pdf, html, other]
-
Title: A Shifted $t$-Schur Weight from the Modified Odd OperatorSubjects: Combinatorics (math.CO)
We study the one-time weight on strict partitions obtained from the modified odd Greaves--Jing--Zhu operator. The shifted $t$-Schur functions generated by this operator are obtained from the classical Schur $Q$-functions by the plethystic substitution $X\mapsto X-tX$. Thus the corresponding weight \[
\lambda \longmapsto \mathcal Q_\lambda(X;t)P_\lambda(Y) \] is a shifted Schur weight with a virtual first alphabet. We give its normalization, its Pfaffian correlation kernel, its Fredholm Pfaffian for the largest part, and its size cumulants. For $t=-q$ with $q\geq 0$ the virtual alphabet becomes the positive alphabet $X+qX$, giving a genuine probability measure. This positive specialization is the one-time marginal of the two-color lift considered in a companion note. - [15] arXiv:2607.01979 [pdf, other]
-
Title: AVD Total Coloring of Central Graphs, Subdivision Graphs, and the Join of GraphsComments: Presented the main results of this paper in ICGTA-2026 (International Conference on Graph Theory and its Applications-2026)Subjects: Combinatorics (math.CO)
In 2020, Panda, Verma, and Keerti asked whether the central graph of every graph satisfies the AVD-total coloring conjecture. In this paper, we verify the conjecture for central graphs of regular graphs, complete bipartite graphs, graphs that can be expressed as the join of two graphs of the same order, and several other graph classes, thereby providing partial progress towards this open problem. We further determine the AVD-total chromatic number of subdivision graphs and establish new results on the AVD-total coloring of joins of graphs.
- [16] arXiv:2607.01995 [pdf, html, other]
-
Title: Double-scaled SYK from boundary metrics of planar mapsComments: 28 pages, 8 figuresSubjects: Combinatorics (math.CO); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Probability (math.PR)
The enumeration of planar maps with control on the boundary metric, i.e. the pseudometric induced on the outer face of the map by its bulk graph distance metric, is a difficult problem in general. However, we show that for a family of bipartite planar map models with special q-deformed face weights that arise in the physics context of the double-scaled Sachdev-Ye-Kitaev model (DSSYK) the enumeration admits a very simple answer. Encoding the boundary metric of a bipartite planar map by its so-called geodesic chord diagram, we prove that the weighted enumeration depends only on the crossing number of the chord diagram. At fixed perimeter, the induced law of the geodesic chord diagram in these planar map models coincides exactly with the chord diagram representation of the DSSYK model.
- [17] arXiv:2607.02035 [pdf, html, other]
-
Title: On Orthogonal Graphs and their AutomorphismsSubjects: Combinatorics (math.CO)
We provide a characterization of the connected subgraphs of the graphs with vertex set the non-isotropic points in a quadratic space $(V,Q)$, two points adjacent if and only if they span a tangent line. Here $(V,Q)$ is a quadratic space $V$ over a finite field $\mathbb{F}_q$ of order $q$, where $q>3$ is odd, equipped with a non-degenerate quadratic form $Q$. The local structure of the graph (i.e. the graph induced on the neighbors of a point) determines the structure of the full graph. This characterization helps to determine the automorphism group of these graphs.
- [18] arXiv:2607.02085 [pdf, html, other]
-
Title: A Snail Race ProblemComments: 12 pagesSubjects: Combinatorics (math.CO)
Inspired by Problem 17 from the 2024 American Mathematics Competition (AMC) 10B, this work focuses on enumerating the distinct outcomes of a snail race with specified number of ties of a certain type. We begin by developing a recurrence relation and subsequently derive a closed-form formula for the number of possible outcomes using the exponential generating function method. Two special cases of the problem are considered in detail. Our analysis also explores the connections between the solution to this problem and the ordered Bell numbers, Stirling numbers of the second kind, and partial Bell polynomials.
- [19] arXiv:2607.02098 [pdf, html, other]
-
Title: Separating Geodesic Structure and Product StructureComments: An extended abstract of this paper appears in the proceedings of the 34th Annual European Symposium on Algorithms (ESA 2026)Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
The geodesic treewidth of a graph $ G $ is the smallest $k$ for which there is a partition $\mathcal{P}$ into geodesics such that $G/\mathcal{P}$ has treewidth $k$, where $G/\mathcal{P}$ is obtained from $ G $ by contracting each part of $ \mathcal{P} $. Based on this notion, row treewidth was developed and is defined for a graph $ G $ as the smallest $ k $ such that $ G \subseteq H \boxtimes P $ for some graph $ H $ of treewidth $ k $ and a path $ P $. Equivalently, the row treewidth of a graph $ G $ is the smallest $ k $ for which there is a partition $ \mathcal{P} $ into disjoint unions of geodesics that are aligned with respect to some layering such that $ G/\mathcal{P} $ has treewidth $ k $.
We separate the two notions by showing that bounded row treewidth does not imply bounded geodesic treewidth and by presenting a polynomial-time algorithm to decide whether a graph of treewidth 2 has geodesic treewidth 1, which is known to be NP-hard for row treewidth [Biedl, Eppstein, Ueckerdt, 2025]. More generally, we provide an algorithm to decide whether a given graph has geodesic treewidth at most $ d $ that is XP in the treewidth, whereas there is no such algorithm for row treewidth, unless P = NP [Biedl, Eppstein, Ueckerdt, 2025]. On the other hand, we show that computing the geodesic treewidth is NP-hard and that every graph with geodesic treewidth 1 has bounded row treewidth. Moreover, we improve the best known lower bound on the geodesic treewidth of planar graphs to 5. - [20] arXiv:2607.02132 [pdf, html, other]
-
Title: The universal zero-sum invariant and weighted zero-sum for infinite abelian groups IIComments: 17 pagesSubjects: Combinatorics (math.CO); Number Theory (math.NT)
Let $G$ be an abelian group, and let $\mathcal F (G)$ be the free commutative monoid with basis $G$, and $\mathcal A (G)$ the set consisting of all minimal zero-sum subsequences over $G$. For any subset $\Omega \subset \mathcal F (G)$, we define the universal zero-sum invariant ${\mathsf d}_{\Omega}(G)$ as the minimal positive integer $\ell$ such that every sequence $T$ over $G$ of length $\ell$ contains a subsequence lying in $\Omega$. The classical Davenport constant ${\rm D}(G)$ for $G$ can also be written as ${\mathsf d}_{\mathcal A (G)}(G)$. We give a complete classification of all finite abelian groups for which $\mathcal A(G)$ is a minimal set to represent the Davenport constant.
We also investigate the weighted Davenport constant over abelian groups (which may be infinite). Let $F$ and $G$ be abelian groups, and let $\Psi \subseteq \mathrm{Hom}(F,G)$ denote a weight set. We reinterpret the weighted Davenport constant $D_{\Psi}(G)$ in terms of coverings of Cartesian powers $F^n$ by kernels of induced homomorphisms arising from tuples in $\Psi^n$; these homomorphisms are naturally linked to coproducts in the category of abelian groups. This motivates the notion of kernel-cover compactness, a property characterizing when such kernel coverings admit finite subcovers. We establish a correspondence between weighted zero-sum invariants and kernel-cover structures, where the bound $D_{\Psi}(G)\le n$ is equivalent to a canonical kernel-cover property on $F^n$. We further study finite reduction phenomena for infinite weight sets and provide sufficient conditions ensuring uniform kernel-cover compactness. The present work constitutes a follow-up to [G. Wang, Comm. Algebra, 2025]. - [21] arXiv:2607.02159 [pdf, other]
-
Title: 3-Colouring Graphs Excluding a Fixed MinorComments: 19 pages, 0 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We show that, for every fixed graph $H$, every $n$-vertex graph $G$ that excludes $H$ as a minor is $3$-colourable with clustering $O_H(n^{4/9})$. That is, there exists a function $f$ such that for every graph $H$, every $n\ge 1$, every $n$-vertex graph $G$ that excludes $H$ as a minor has a vertex colouring with $3$ colours in which each monochromatic component has size at most $f(H)\cdot n^{4/9}$. This generalizes a recent result of Dujmović, Morin, Norin, and Wood (\textit{arXiv}:2507.03163) from planar graphs to all proper minor-closed graph classes and is the first improvement on clustered $3$-colouring of proper minor-closed graph classes since the upper bound of $O_H(\sqrt{n})$ due to Linial, Matoušek, Sheffet, and Tardos (\textit{Comb. Prob. Comput.}, \textbf{17}(4):577--589, 2008).
- [22] arXiv:2607.02208 [pdf, html, other]
-
Title: Counterexamples to two conjectures about matroidsSubjects: Combinatorics (math.CO)
We give counterexamples to two well-known conjectures about matroids: White's conjecture on the generation of the toric ideal by symmetric exchange binomials, and a conjecture of Mason on the log-concavity of the counts of flats of a given rank.
- [23] arXiv:2607.02226 [pdf, html, other]
-
Title: One-Weight Colorings, the Symmetric Class, and Lower Bounds for Hales--Jewett NumbersComments: 19 pages; ancillary file anc/verify.py re-derives every displayed certificate by direct enumerationSubjects: Combinatorics (math.CO)
A coloring of the Hales--Jewett cube $[t]^n$ is symmetric if it is invariant under all coordinate permutations, and one-weight if it reads only an integer-weighted count of the letters. We prove that the two classes coincide -- a radix weight realizes every symmetric coloring -- so the symmetric lower-bound problem for the Hales--Jewett numbers is exactly a one-dimensional coloring problem about homothetic copies of a $t$-point set, the case $d=1$ of Gallai's theorem. Optimizing the weight yields $\mathrm{HJ}(3,3)\ge22$ and $\mathrm{HJ}(4,2)\ge14$, the latter in closed form from the new Gallai homothety numbers $G_2(\{0,2,3,5\})=67$ and $G_2(\{0,1,5,6\})=80$; new values at three colors -- $G_3(\{0,1,3\})=42$, $G_3(\{0,1,4\})=57$ and $G_3(\{0,2,5\})\ge77$ -- give $\mathrm{HJ}(3,3)\ge16$ from a one-line certificate. An anatomy of the $(4,2)$ palette locates the source of its compression: it is an extremal object of the bracket regime plus a single boundary scale. An exhaustive census shows how thin the class is: of the $1644$ line-free $2$-colorings of $[3]^3$, exactly $36$ are symmetric. For lines with at most $K$ active coordinates the same machinery gives infinite bracket numbers, $\mathrm{HJ}^{[12]}(3,3)=\mathrm{HJ}^{[12]}(4,2)=\infty$, strictly beyond the sum-type ceilings $\kappa_{\mathrm{sum}}(3,3)=11$ and $\kappa_{\mathrm{sum}}(4,2)=10$; for lines whose active set is an interval the machinery is provably blind, the interval ceiling $\lambda(3,r)$ is settled for every $r$ by assembling the known bounds, and a SAT computation gives the exact value $\mathrm{HJ}^{(1)}(3)=5>4=\mathrm{HJ}(3)$. We close with the Collapse, diagonal-only, and symmetric-extremality conjectures and with open problems on optimal weights. Every certificate displayed in this note has been re-verified by direct enumeration, independently of any solver.
- [24] arXiv:2607.02231 [pdf, html, other]
-
Title: Characterizing finite posets whose probabilistic powerdomain are RB-domainsSubjects: Combinatorics (math.CO); General Topology (math.GN)
We classify the finite posets whose probabilistic powerdomain is an RB-domain. For a finite nonempty poset \(P\), let \(\Vone(P)\) be the probability powerdomain of $P$, which is the probability simplex ordered by the stochastic order. We prove that \(\Vone(P)\) is an RB-domain if and only if \(P\) has a least element and the undirected Hasse graph of \(P\) is a tree. Consequently, the probabilistic powerdomain does not preserve RB-domains; the four-point diamond gives a finite counterexample. The proof separates two obstructions. First, if \(P\) has no least element, then the face of probability measures supported on the minimal points must be fixed pointwise by every deflation below the identity. Secondly, once a least element exists, the Hasse graph is connected, and a cycle in it makes the local stochastic cone non-simplicial. A Euclidean finite-step cone argument then rules out the finite-valued monotone approximations supplied by the RB property.
- [25] arXiv:2607.02260 [pdf, html, other]
-
Title: Tensor Amplification and Spectral Transfer for Sidorenko-Type InequalitiesSubjects: Combinatorics (math.CO)
We develop a tensor-amplification framework for Sidorenko-type inequalities in graphon classes. The framework applies to any admissible class, meaning a class closed under tensor powers and normalized principal restrictions. These two closure properties isolate the structural input needed for the amplification arguments, while preserving natural positivity constraints such as the doubly nonnegative constraint.
For every admissible class $\mathcal{C}$, we prove two transfer principles. First, equality cases regularize optimally: if a non-matching graph $H$ is $\mathcal{C}$-Sidorenko, then every equality case $t(H,W)=p(W)^{e(H)}$ with $W\in\mathcal{C}$ is regular. Consequently, relative forcing is equivalent to relative regular-forcing for every non-matching $\mathcal{C}$-Sidorenko graph. Second, in the range $v(H)\le e(H)$, ordinary $\mathcal{C}$-Sidorenko is equivalent, as a universal property over $\mathcal{C}$, to the spectral inequality $t(H,W)\ge \rho(W)^{2e(H)-v(H)}p(W)^{v(H)-e(H)}$ for every non-zero $W\in\mathcal{C}$. The spectral transfer is obtained from a Perron-biased tensor regularization theorem detecting the Perron spectral radius on the exponential scale.
We also prove quantitative near-equality variants and apply the framework to doubly nonnegative graphons and bounded doubly nonnegative kernels. This yields spectral equivalences for Sidorenko-good graphs in the range $v(F)\le e(F)$, and identifies Sidorenko-good forcing with regular-KNRS forcing for non-matching Sidorenko-good graphs. - [26] arXiv:2607.02270 [pdf, html, other]
-
Title: Towards the Overfull Conjecture IISubjects: Combinatorics (math.CO)
Let $G$ be a simple graph with maximum degree $\Delta(G)$. A subgraph $H\subseteq G$ is $\Delta(G)$-overfull if $|E(H)|>\Delta(G)\left\lfloor |V(H)|/2\right\rfloor$. In any edge coloring of $G$, each color class restricted to $H$ is a matching of size at most $\left\lfloor |V(H)|/2\right\rfloor$. Thus, if $G$ contains a $\Delta(G)$-overfull subgraph, then $G$ cannot be edge-colored with only $\Delta(G)$ colors. By Vizing's Theorem, $\chi'(G)\le \Delta(G)+1$, and hence $G$ is class $2$. In 1986, Chetwynd and Hilton conjectured that whenever $\Delta(G)>|V(G)|/3$, the converse also holds: every class $2$ graph $G$ contains a $\Delta(G)$-overfull subgraph. This statement, commonly known as the Overfull Conjecture, is one of the most influential conjectures in graph edge coloring. It would imply a polynomial-time algorithm for determining the chromatic index of graphs $G$ with $\Delta(G)>|V(G)|/3$, and would also imply several other longstanding conjectures in the area, including the Just-overfull Conjecture and the Vertex-splitting Conjecture. In previous work, the third author verified the conjecture for large graphs $G$ with maximum degree at least $13|V(G)|/14$. In this paper, we confirm the conjecture for robust expanders satisfying certain density constraints. As a consequence, for every $0<\varepsilon<1$, the conjecture holds for all sufficiently large graphs $G$ with maximum degree at least $(1+\varepsilon)|V(G)|/2$.
- [27] arXiv:2607.02297 [pdf, html, other]
-
Title: An extremal theorem for positive curvature of graphsSubjects: Combinatorics (math.CO); Differential Geometry (math.DG)
We prove an extremal theorem for positive Ollivier/Lin--Lu--Yau curvature: every graph of order \(n\geq 8\) with more than \[
T(n)=\frac{n^2-3n}{2}-\left\lceil\frac{n}{2}\right\rceil+2 \] edges has positive Ollivier/Lin--Lu--Yau curvature, and this threshold is optimal. Moreover, for even $n\geq 12$, there exists a unique graph with $T(n)$ edges that has an edge with non-positive curvature. For $n=8,10$ and odd $n\geq 9$, the extremal graphs are not unique. This suggests a new class of extremal graph-theoretic problems arising from discrete curvature notions. - [28] arXiv:2607.02419 [pdf, html, other]
-
Title: Characterisations of strong $Δ$-matroidsComments: 16 pages. Comments welcome!Subjects: Combinatorics (math.CO)
We study characterisations of strong $\Delta$-matroids, compiling a list of five equivalent descriptions. We show a variant of Wenzel's exchange property and the hyperplane exchange property of Borovik-Gelfand-White are equivalent. We also introduce two novel characterisations in terms of 'peerless' and 'isolated' antipodes within the system of feasible sets, banning certain configurations of antipodes either globally or locally. As a corollary, we obtain new 'local' exchange axioms for matroids and $\Delta$-matroids. We give algebraic motivation for these new characterisations by introducing the peerless antipode equations, tropical equations that govern whether a $\Delta$-matroid has no peerless antipodes. We show that these arise as the tropicalisation of a specific basis of quadratics cutting out the orthogonal Grassmannian.
- [29] arXiv:2607.02424 [pdf, html, other]
-
Title: Symmetric edge polytopes are not gamma-positiveComments: 6 pages, 1 Figure. Comments welcome!Subjects: Combinatorics (math.CO)
A conjecture posed by Ohsugi and Tsuchiya (2019) postulates that the Ehrhart $h^*$-polynomials of symmetric edge polytopes are $\gamma$-positive. We disprove this conjecture by exhibiting an infinite family of counterexamples. The smallest example provided by our construction is a $36$-dimensional symmetric edge polytope.
- [30] arXiv:2607.02483 [pdf, html, other]
-
Title: Robustness and hyperstability for the Erdős-Gallai theoremComments: 21 pages, 7 pages appendixSubjects: Combinatorics (math.CO)
The Erdős-Gallai theorem states that every graph of average degree $d$ contains a cycle of length at least $d$. We prove the following robust extension of the Erdős-Gallai theorem: For every $c>0$ there exists $K$ such that for all $d\geq K$, $p\geq K/d$ and every graph $G$ with average degree $d$, the random graph $G_p$ obtained by independently percolating each edge of $G$ with probability $p$ contains a cycle of length $(1-c)d$ asymptotically almost surely as $|V(G)|\to \infty$. With related methods, we prove the following hyperstability version of the Erdős-Gallai theorem: any graph $G$ without a cycle of length at least $d$ is at most $c dn$ edge deletions away from a graph all of whose connected components have a vertex-cover of size $(1+c)d$.
At the core of our argument lies a very general structure theorem about graphs that originates from results of Pokrovskiy concerning the hyperstability of bounded-degree trees. - [31] arXiv:2607.02500 [pdf, html, other]
-
Title: The structure of FAC posets and the Aharoni--Korman conjectureComments: 51 pages, 2 figures. The content here used to be part of 2411.16844 (which now contains just the counterexample), and has been substantially rewrittenSubjects: Combinatorics (math.CO)
A poset $P$ is said to satisfy the finite antichain condition, or FAC for short, if it has no infinite antichain. Such posets exhibit rich and complex structure, and it was conjectured by Aharoni and Korman in 1992 that any FAC poset $P$ possesses a chain $C$ and a partition into antichains such that $C$ meets every antichain of the partition. While this conjecture is now known to be false, in this paper we prove that the conjecture does hold true for a broad class of posets. In particular, we prove that the Aharoni--Korman conjecture holds for countable posets containing no saturated chain $D$ such that either $D$ or its reverse $D^*$ is of the form $\bigoplus_{x\in\omega} D_x$, where each $D_x$ is infinite and co-wellfounded.
In pursuit of this goal, we prove several structural results, the foremost of which demonstrates how a countable FAC poset may be broken up into a collection of scattered posets which reflect the structure of the poset as a whole.
New submissions (showing 31 of 31 entries)
- [32] arXiv:2607.01349 (cross-list from math.GT) [pdf, html, other]
-
Title: Alexander's conjecture for infinite simplicial complexesComments: 10 pages, 5 figuresSubjects: Geometric Topology (math.GT); Combinatorics (math.CO)
Alexander's conjecture states that for every two finite triangulations of the same topological space, if they have a common subdivision, then they have a common stellar subdivision. We generalize the recent result of Adiprasito and Pak, who resolved Alexander's conjecture for finite simplicial complexes, to infinite simplicial complexes.
- [33] arXiv:2607.01544 (cross-list from math.NT) [pdf, html, other]
-
Title: Formalized $q$-series: The Rogers-Ramanujan Identities and BeyondComments: 36 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO); Logic (math.LO)
The theory of $q$-series and basic hypergeometric series plays a crucial role at the intersection of combinatorics, number theory, and representation theory. From the classical partition identities of Euler and Jacobi to modern developments in class field theory, vertex operator algebras, and the Monstrous Moonshine conjecture, $q$-series provide the analytic framework for a wide range of profound applications. In this paper, we discuss the formalization of this theory in the Lean proof assistant, a process that requires careful design of scalable and versatile structures to reconcile formal algebraic identities with analytic convergence properties. We address these foundational challenges by focusing on the construction of $q$-Pochhammer symbols, $q$-binomial coefficients, Bailey's Lemma and similar primitives. To demonstrate the utility of this work, we provide fully verified proofs of the Jacobi Triple Product formula and the celebrated Rogers-Ramanujan identities, which serve as both historical and technical benchmarks for the field. This work establishes a rigorous computational foundation for the future formalization of mock theta functions, modular forms, and the diverse algebraic structures that underpin their applications across mathematics and physics.
- [34] arXiv:2607.01782 (cross-list from math.RT) [pdf, html, other]
-
Title: Euler characters for general linear Lie superalgebraSubjects: Representation Theory (math.RT); Combinatorics (math.CO)
M. Gorelik and Th. Heidersdors in the papers \cite{GH} investigated Euler characters for Lie superalgebra $\frak{gl}(m,n)$ and $\frak{osp}(m.2n)$. In the present paper we also investigate Euler characters for Lie superalgebra $\frak{gl}(m,n)$ but we use a different approach and our results are formulated in different terms.
- [35] arXiv:2607.01967 (cross-list from physics.soc-ph) [pdf, html, other]
-
Title: The ring wants to be brokenComments: 5 pages, 1 figureSubjects: Physics and Society (physics.soc-ph); Disordered Systems and Neural Networks (cond-mat.dis-nn); Combinatorics (math.CO)
The Ramsey community number $r_\kappa$ is the minimum network size at which a graph's connectivity is better described by a partition into communities than by no partition, under a prescribed community-detection rule. It was introduced through numerical simulations of networks grown by local rules, which suggested that community structure can emerge without any node heterogeneity. Here I compute $r_\kappa$ analytically for the simplest homogeneous, locally wired graph: the circulant ring lattice $C_n(1,\dots,c)$. Using a Bernoulli stochastic block model with symmetric $\mathrm{Beta}$ priors as the detection rule, the Bayesian evidence for a balanced two-community partition and for the unpartitioned network are both obtained in closed form, so the transition between them can be located exactly. The result is a sharp dependence on the interaction range: the plain cycle ($c=1$) is never partitioned, its two-community posterior decaying as $n^{-(2\alpha+3)}$, so $r_\kappa=\infty$; but the next-nearest-neighbour ring ($c=2$) acquires a finite $r_\kappa\simeq 35$ nodes, above which the partition is preferred with a log-evidence growing as $(\ln 2)\,n$. This provides an exactly solvable instance of community emergence in a network with no built-in communities, and shows that a minimal amount of local connectivity is enough to break the ring.
- [36] arXiv:2607.01985 (cross-list from math.AG) [pdf, html, other]
-
Title: A nine-line counterexample to a conjecture on the minimal degree of Jacobian relationsComments: 7 pagesSubjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Combinatorics (math.CO)
We construct two arrangements of nine lines in the complex projective plane with isomorphic intersection lattices but with different minimal degrees of Jacobian relations. The common weak combinatorics is \[ (n_2,n_3,n_4)=(9,7,1), \] so the example is not the classical Ziegler-Yuzvinsky pair, whose weak combinatorics is $(n_{2},n_{3}) = (18,6)$. For the two defining equations $f$ and $g$ we prove \[ {\rm mdr}(f)=4,\qquad {\rm mdr}(g)=5. \] Since the degree is $d=9$, the first equality gives ${\rm mdr}(f)<d/2$. Hence the pair gives a counterexample to the Generalized Terao Conjecture.
- [37] arXiv:2607.02400 (cross-list from cs.CG) [pdf, html, other]
-
Title: From Ham-Sandwich to Centerpoints: Semialgebraic Algorithms for Cutting Polytopal MeasuresSubjects: Computational Geometry (cs.CG); Combinatorics (math.CO); Metric Geometry (math.MG)
We design exact algorithms for the ham-sandwich and centerpoint theorems for polytopal measures. Our key observation is that the cap-volume function of such a measure, i.e., the volume cut off by a halfspace, is piecewise rational on a natural decomposition of the space of oriented hyperplanes. This lets us recast prescribed-proportion cutting problems as semialgebraic feasibility problems. For fixed ambient dimension, this yields polynomial-time algorithms to decide the existence of cuts, describe the full solution set, and sample or enumerate solutions. We extend this framework to the center transversal theorem, showing that spaces of deep affine flats are semialgebraic, which holds for centerpoints. We further show that the set of centerpoints of a convex polytope coincides with its floating body at level $1/(d+1)$, a useful semialgebraic description.
- [38] arXiv:2607.02410 (cross-list from math.PR) [pdf, html, other]
-
Title: Polynomial mixing for polygonal side matchingsComments: 23 pages, 19 figures. Comments welcome!Subjects: Probability (math.PR); Combinatorics (math.CO)
We introduce a natural Markov chain on chord diagrams, which, at every step, selects two random chords and swaps them if doing so preserves the diagram's genus. This generalizes the chord swap chain on the Catalan structure of non-intersecting chord diagrams. We show that for fixed genus, the chain mixes in polynomial time.
- [39] arXiv:2607.02433 (cross-list from math.RT) [pdf, html, other]
-
Title: Part bounds for the Sylow permutation characters of $S_n$Subjects: Representation Theory (math.RT); Combinatorics (math.CO); Group Theory (math.GR)
We study the Sylow permutation character of the symmetric group at the prime 2 and prove some new bounds on the number of parts of partitions corresponding to its constituents.
Cross submissions (showing 8 of 8 entries)
- [40] arXiv:2209.08308 (replaced) [pdf, other]
-
Title: The Lemmens-Seidel conjecture for base size $5$Comments: 11 pagesSubjects: Combinatorics (math.CO)
In 2020, Lin and Yu claimed to prove the so-called Lemmens--Seidel conjecture for base size $5$. However, their proof has a gap. In this paper, we prove the conjecture for base size $5$ using the pillar method. We also show that the sets of $57$ equiangular lines with common angle $\arccos(1/5)$ in dimension $18$ found by Greaves et~al. \ in 2021 are indeed counterexamples to one of Lin and Yu's this http URL prove this by answering the question posed by Greaves et~al. \ in 2021 in the this http URL asked whether these sets are contained in the unique set of $276$ equiangular lines with common angle $\arccos(1/5)$ in dimension $23$. Furthermore, we show that these sets are strongly maximal. This gives a negative answer to the question posed by Cao et~al.\ in 2021. They asked whether the unique set of $276$ equiangular lines with common angle $\arccos(1/5)$ in dimension $23$ is the unique strongly maximal set of equiangular lines with common angle $\arccos(1/5)$.
- [41] arXiv:2411.16218 (replaced) [pdf, html, other]
-
Title: Canonical Ramsey numbers for partite hypergraphsComments: 11 pages, second version addresses minor changes arising from the referee reportsSubjects: Combinatorics (math.CO)
We show that canonical Ramsey numbers for partite hypergraphs grow single exponentially for any fixed uniformity.
- [42] arXiv:2411.16844 (replaced) [pdf, html, other]
-
Title: The Aharoni--Korman conjecture is falseComments: 10 pages, 2 figures. This now only contains the counterexample, and positive results have been spun off into their own paperSubjects: Combinatorics (math.CO)
A poset $P$ is said to satisfy the finite antichain condition, or FAC, if it has no infinite antichain. It was conjectured by Aharoni and Korman in 1992 that any FAC poset $P$ possesses a chain $C$ and a partition into antichains such that $C$ meets every antichain of the partition. In this work we provide a counterexample to this conjecture, demonstrating that it is false. We also discuss variations of the conjecture which may yet be true.
- [43] arXiv:2508.08119 (replaced) [pdf, html, other]
-
Title: Coloring Graphs With No Totally Odd Clique ImmersionSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We prove that graphs that do not contain a totally odd immersion of $K_t$ are $\mathcal{O}(t)$-colorable. In particular, we show that any graph with no totally odd immersion of $K_t$ is the union of a bipartite graph and a graph which forbids an immersion of $K_{\mathcal{O}(t)}$. Our results are algorithmic, and we give a fixed-parameter tractable algorithm (in $t$) to find such a decomposition.
- [44] arXiv:2509.14300 (replaced) [pdf, html, other]
-
Title: Computing fault-tolerant metric dimension of graphs using their primary subgraphsJournal-ref: Journal of Parallel and Distributed Computing 216 (2026) Paper 105306Subjects: Combinatorics (math.CO)
The metric dimension of a graph is the cardinality of a minimum resolving set, which is the set of vertices such that the distance representations of every vertex with respect to that set are unique. A fault-tolerant metric basis is a resolving set with a minimum cardinality that continues to resolve the graph even after the removal of any one of its vertices. The fault-tolerant metric dimension is the cardinality of such a fault-tolerant metric basis. In this article, we investigate the fault-tolerant metric dimension of graphs formed through the point-attaching process of primary subgraphs. This process involves connecting smaller subgraphs to specific vertices of a base graph, resulting in a more complex structure. By analyzing the distance properties and connectivity patterns, we establish explicit formulae for the fault-tolerant resolving sets of these composite graphs. Furthermore, we extend our results to specific graph products, such as rooted products. For these products, we determine the fault-tolerant metric dimension in terms of the fault-tolerant metric dimension of the primary subgraphs. Our findings demonstrate how the fault-tolerant dimension is influenced by the structural characteristics of the primary subgraphs and the attaching vertices. These results have potential applications in network design, error correction, and distributed systems, where robustness against vertex failures is crucial.
- [45] arXiv:2512.10838 (replaced) [pdf, other]
-
Title: The Coboundary Quasi-Polynomials of Hyperplane Arrangements over Residually Finite Dedekind DomainsComments: 17 pages, Proof of Lemma 2.6 is simplifiedSubjects: Combinatorics (math.CO)
The characteristic polynomial plays an important role in study of hyperplane arrangements. There are several refinements of the characteristic polynomial. One of them is the coboundary polynomial defined by Crapo. Another refinement is the characteristic quasi-polynomial for an integral arrangement defined by Kamiya, Takemura, and Terao. Recently, the first and third authors introduced the characteristic quasi-polynomial for arrangement defined over a residually finite Dedekind domain. In this article, we introduce the common refinement of the coboundary polynomial and characteristic quasi-polynomial for an arrangement over a residually finite Dedekind domain.
- [46] arXiv:2601.03778 (replaced) [pdf, html, other]
-
Title: On perfect matchings, edge-colourings and eigenvalues of cubic graphsSubjects: Combinatorics (math.CO)
We discuss the question whether the existence of perfect matchings in a cubic graph can be seen from the spectrum of its adjacency matrix. For regular graphs in general and for three edge-disjoint perfect matchings in a cubic graph (that is, an edge colouring with three colors) the answer is known to be negative. In the latter case, a few counter examples (found by computer) are known. Here we show that these counter examples can be extended to an infinite family by use of truncation. Thus we obtain infinitely many pairs of cospectral cubic graphs with different edge-chromatic number. For all these pairs both graphs have a perfect matching, and the mentioned question is still open. But we do find a new sufficient condition for a perfect matching in a cubic graphs in terms of its spectrum. In addition we obtain a few more results concerning spectral characterizations of cubic graphs.
- [47] arXiv:2603.04644 (replaced) [pdf, html, other]
-
Title: Metric embeddings of cubes into dense subsets of cubesComments: 32 pagesSubjects: Combinatorics (math.CO); Metric Geometry (math.MG)
Fix $k \in \mathbb{N}, 0 < \delta < 1$. We study how large $N$ must be so that every $\delta$-dense subset $\mathcal{D} \subset \{0,1\}^N$ (meaning $|\mathcal{D}|\geq \delta 2^N$) contains the image of a metric embedding $f: \{0,1\}^k \to \mathcal{D}$. We study $3$ variants: For a $(1+\varepsilon)$-bi-Lipschitz map $f$ for a fixed $\varepsilon>0$, we show that $N = O(\varepsilon^{-2}\log(1/\delta) k^3)$. For an isometric map $f$ with arbitrary rescaling (i.e. undistorted), we show that $N = \log(1/\delta) e^{\Omega(k)}$. For an isometric map $f$ with bounded rescaling we show that $N = \exp{[\log(1/\delta)e^{\Theta(k)}]}$.
Regarding the path space, we prove the density analog of a coloring theorem of Rödl--Sales. We give bounds for $(1+\varepsilon)$-bi-Lipschitz embeddings of the path $[k] = \{1,...,k\}$ into dense subsets of the path $[N] = \{1,...,N\}$, improving a bound of Dumitrescu. We prove similar bounds for the binary tree space, using the tree replicas theorem of Pach--Solymosi--Tardos.
As a geometric application we obtain a non-positive Alexandrov curvature counterpart to the work of Bartal--Linial--Mendel--Naor on the nonlinear Dvoretzky problem who showed that any $\mathcal{D} \subset \{0,1\}^N$ that embeds with bi-Lipschitz distortion $<\alpha$ into a metric space of non-negative Alexandrov curvature must be small, namely, necessarily $|\mathcal{D}| \lesssim 2^{N(1-\Omega(\alpha^{-2}))}$. We prove that for every $N\gtrsim \alpha^{6}\ge 1$, any $\mathcal{D} \subset \{0,1\}^N$ that embeds with distortion $<\alpha$ into some metric space of non-positive Alexandrov curvature must satisfy $|\mathcal{D}| \lesssim 2^{N(1-\Omega(\alpha^{-4}))}$ via an approach which is entirely different from that of Bartal--Linial--Mendel--Naor. We also show that nontrivial metric type and non-universality are preserved by taking finite unions of subspaces. - [48] arXiv:2605.14010 (replaced) [pdf, html, other]
-
Title: On the computations of the Cullis' determinantSubjects: Combinatorics (math.CO)
The Cullis' determinant is a generalization of the ordinary determinant for rectangular matrices. It is defined as the alternating sum of maximal minors of a given matrix. In this paper we express the Cullis' determinant of a matrix $X$ as the Pfaffian of the matrix obtained from $X$ by matrix multiplication and transposition.
Relying on this result, we present an efficient polynomial-time division-free algorithm for calculating the Cullis' determinant of a given matrix with entries belonging to the commutative ring. We provide an asymptotical analysis of its arithmetical complexity in comparison to the definition-based algorithm.
In addition, we derive formulas for horizontal expansion of the Cullis' determinant which complements the existing formula for Laplace expansion along the columns of a matrix. - [49] arXiv:2605.15773 (replaced) [pdf, html, other]
-
Title: Arc-disjoint Steiner Cycles in DigraphsSubjects: Combinatorics (math.CO)
Let $D=(V(D), A(D))$ be a digraph of order $n$ and let $S\subseteq V(D)$ with $2\leq |S|\leq n$. A directed cycle $C$ of $D$ is called a directed $S$-Steiner cycle (or, an $S$-cycle for short) if $S\subseteq V(C)$. Steiner cycles have applications in reliable designs for telecommunication and transportation networks. Two $S$-cycles are called arc-disjoint if they have no common arcs. We use $\lambda_{S}^{c}(D)$ to denote the maximum number of pairwise arc-disjoint $S$-cycles in $D$. The directed cycle $k$-arc-connectivity of $D$ is defined as $$\lambda_{k}^{c} (D)=\min\left \{ \lambda _{S}^{c}(D)\mid S\subseteq V(D),\left | S \right | =k,2\le k\le n \right \}.$$
In this paper, we determine the complexity for $\lambda_{S}^{c} (D)$ on Eulerian digraphs, planar digraphs and symmetric digraphs. We also obtain exact values of $\lambda_{k}^{c} (D)$ on complete digraphs, complete bipartite digraphs and complete regular multipartite digraphs. - [50] arXiv:2605.25843 (replaced) [pdf, html, other]
-
Title: Sharper Ramsey lower bounds from refined Gaussian estimatesComments: 20 pagesSubjects: Combinatorics (math.CO)
Recently, Ma, Shen and Xie broke the Erdős barrier for off-diagonal Ramsey numbers $R(\ell,C\ell)$, achieving the first exponential improvement over the classical lower bound for every $C>1$ and sufficiently large $\ell$. Hunter, Milojević, and Sudakov later gave a simplified proof using Gaussian random graphs and obtained better quantitative bounds. In this paper we prove a further improvement, and show that the exponent in the Ramsey lower bound can be increased by a strictly positive amount for every fixed $C>1$; as $C\to\infty$, the gain is asymptotically $\Theta(p_C^{-1/2}/\log C)$. The improvement is achieved by replacing the subgaussian estimate for truncated Gaussians with a sharp cumulant generating function bound.
- [51] arXiv:2606.03228 (replaced) [pdf, other]
-
Title: Cassini's identity for k-bonacci numbersComments: 17 pages, 4 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Number Theory (math.NT)
Efforts have been made to extend Cassini's identity (also known as Simson's identity) to the k-step or k-bonacci numbers for decades. These efforts have lacked both completeness of result and simplicity of proof, and this question remains open and relevant. In this note, we offer a definitive solution as well as the generalization of both Catalan's and Vajda's identities.
- [52] arXiv:2606.14974 (replaced) [pdf, html, other]
-
Title: Coarse Balanced Separators in Biclique-Induced-Minor-Free GraphsSubjects: Combinatorics (math.CO)
It is a classical theorem of Robertson and Seymour (1986) that the treewidth of a graph is linearly related to its separation number: the smallest integer $k$ such that, for every weight function on the vertices, the graph admits a balanced separator of size at most $k$. Motivated by recent progress on coarse treewidth, Abrishami, Czyżewska, Kluk, Pilipczuk, Pilipczuk, and Rzażewski (2025) conjectured the following coarse analogue: for every $r\in \mathbb{N}$ there exists an $r'\in \mathbb{N}$ such that every graph that admits balanced separators that can be covered by a bounded number of balls of bounded radius $r$ admits a tree decomposition where every bag can be covered by a bounded number of balls of radius $r'$. We verify a stronger variant of this conjecture for all $r \in \mathbb{N}$ for the hereditary class of $K_{t,t}$-induced-minor-free graphs of bounded clique number. A key step in the proof is the following result, which we expect to be of independent interest. In $K_{t,t}$-induced-minor-free graphs with clique number bounded by $s$, given a large subset of vertices $Y \subseteq V(G)$, there is a set $Z$ whose size is bounded by a function polynomial in $s$, such that no ball of radius $r$ in $G- Z$ covers a large proportion of $Y$.
- [53] arXiv:2606.16800 (replaced) [pdf, html, other]
-
Title: The maximum number of cycles of a given length in a nonhamiltonian graphComments: 11pagesSubjects: Combinatorics (math.CO)
In 2026, Li and Zhan characterized the nonhamiltonian graphs of order $n$ with the maximum number of paths of length $k$, where $n$ and $k$ are integers satisfying $1\leq k\leq n-1$. This work solves and generalizes a problem proposed by Erdős in 1980. In this paper, we further determine the nonhamiltonian graphs of order $n$ attaining the maximum number of cycles of length $k$ for given integers $n$ and $k$ with $3\leq k\leq n-1$. As a corollary, we determine the generalized Turán number $\mathrm{ex}(n,C_k,C_n)$ for every $3\leq k\leq n-1$.
- [54] arXiv:2606.21393 (replaced) [pdf, html, other]
-
Title: Ask zeta functions of central hyperplane arrangementsComments: 19 pages, 1 figureSubjects: Combinatorics (math.CO); Rings and Algebras (math.RA)
Given a central hyperplane arrangement $\mathcal{A}$ defined over a field of characteristic zero, we construct matrices of linear forms whose local ask zeta functions are recovered by the Igusa local zeta function of the cone over $\mathcal{A}$. Our construction extends a previously established connection between ask zeta function of hypergraphs and the Igusa local zeta function of Boolean arrangements. From a combinatorial standpoint, we introduce the truncated flag Hilbert-Poincaré series of $\mathcal{A}$, obtained as a rank specialisation of the flag Hilbert-Poincaré series of the cone over $\mathcal{A}$. Whenever $\mathcal{A}$ admits good reduction over the finite field $\mathbb{F}_q$, suitable substitutions of the variables of its truncated flag Hilbert-Poincaré series recover the local ask zeta functions associated with $\mathcal{A}$. Such formulae provide a means to study the analytic properties of the ask zeta functions considered, as well as to derive their reduced and topological relatives.
- [55] arXiv:2606.29216 (replaced) [pdf, html, other]
-
Title: On Zero-sum Ramsey numbers of complete bipartite graphsSubjects: Combinatorics (math.CO)
For an integer $q\ge 2$ and a graph $F$ satisfying $q\mid e(F)$, the zero-sum Ramsey number $R(F,\mathbb Z_q)$ is the least integer $n$ such that every edge-labeling $w\colon E(K_n)\to \mathbb Z_q$ contains a copy of $F$ whose edge-label sum is zero in $\mathbb Z_q$. Write $K_{s,t}$ for the complete bipartite graph with $s$ vertices on one side and $t$ vertices on the other side.
We prove that for every $q\ge2$, there is an explicit threshold $S(q)$ such that $R(K_{s,qk},\mathbb Z_q)=s+qk$ for all $s\ge S(q)$ and all $k\ge1$. We also determine the zero-sum Ramsey number of $K_{s,3k}$ over $\mathbb Z_3$ for all $s\ge2$ and $k\ge1$. We prove that $R(K_{s,3k},\mathbb Z_3)=s+3k$, except when $s=2$ and $k\ge1$, or when $s\in\{3,4,5,7\}$ and $k=1$. In these exceptional cases, $R(K_{s,3k},\mathbb Z_3)=s+3k+1$. In particular, this shows that the threshold $S(q)$ is best possible for \(q=3\). - [56] arXiv:2606.30282 (replaced) [pdf, html, other]
-
Title: List $3$-coloring $C_4$-free graphs of diameter-$2$ in polynomial-timeComments: 15 pages, 3 figuresSubjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
We show that list $3$-coloring a~$C_4$-free graph of diameter-$2$ can be done in polynomial-time. Our algorithm is based on a structural characterization showing that many such graphs are not~$3$-colorable. In particular, we show that~$C_4$-free graphs of diameter-$2$ without universal vertices, where the maximum degree is at least~$17$, are not~$3$-colorable.
- [57] arXiv:2606.30767 (replaced) [pdf, html, other]
-
Title: Linear equations and chromatic thresholds in $B_h$ setsComments: 22 pages; prime order assumptions removed and constructions updatedSubjects: Combinatorics (math.CO); Number Theory (math.NT)
We derive sparse analogs of several Roth-type results, showing that they hold in $B_h$ sets of near-maximum size. It is shown that if a $B_h$ set is free of pairwise distinct solutions to a linear equation with more than $2h$ variables then it must be a constant factor smaller than the best-known upper bound on the size of any $B_h$ set. As a key input, it is established that extremal $B_h$ sets are Fourier pseudorandom. If the forbidden equation has a certain subdivision structure, an asymptotic saving is obtained. The case of Sidon sets ($h=2$) was previously studied by Conlon, Fox, Sudakov, and Zhao as well as Prendiville.
When forbidding a non-translation-invariant equation $E$ from a Sidon set, it is shown that if $E$ has a zero-sum subcollection of at least five coefficients then the Sidon set must either be very small or generate a Cayley graph with bounded chromatic number. On the other hand, large Sidon sets are constructed that generate Cayley graphs with unbounded chromatic number and are also free of multiple equations with zero-sum subcollections of four coefficients. This can be viewed as a sparse analog of a result of Liu, Wu, Yang, and Zhang characterizing linear equations with vanishing chromatic threshold. - [58] arXiv:2606.31640 (replaced) [pdf, html, other]
-
Title: A Counterexample to Ziegler's Cross-Polytope Conjecture for Simplicial 0/1-PolytopesComments: fixed typoSubjects: Combinatorics (math.CO); Optimization and Control (math.OC)
Ziegler proved that every simplicial $d$-dimensional $0/1$-polytope has at most $2d$ vertices, and asked whether equality forces the polytope to be centrally symmetric and hence, equivalently, a $0/1$-realization of the $d$-dimensional cross polytope. In this note, we give a negative answer, exhibiting an explicit set of $14$ vertices in $\{0,1\}^7$ whose convex hull is a simplicial $7$-polytope and is not centrally symmetric. Moreover, via exhaustive enumeration we show that up to the symmetries of the cube, there are precisely five such polytopes in dimension $7$ (of two combinatorial types) that are not centrally symmetric.
- [59] arXiv:2607.00770 (replaced) [pdf, html, other]
-
Title: Further Results on the maximun number of stars in graphs with forbidden propertiesComments: 9 pages, comments welcome!Subjects: Combinatorics (math.CO)
A graph $G$ is called $k$-edge hamiltonian if every linear forest (i.e., a disjoint union of paths) with at most $k$ edges is contained in a Hamilton cycle of $G$. In 2018, Füredi, Kostochka and Luo determined the maximum number of $t$-stars in nonhamiltonian graphs, thereby extending an earlier result of Erdős. Recently, Berikkyzy, Hogenson, Kirsch and McDonald extended this line of research by determining the maximum number of $t$-stars in graphs that are not $k$-edge hamiltonian (as well as related notions such as traceability, hamiltonian-connectedness, and $k$-hamiltonicity). For sufficiently large $t$, they also characterized the extremal graphs, while for smaller values of $t$, they proposed a conjecture. In this paper, we investigate this conjecture.
- [60] arXiv:2607.01109 (replaced) [pdf, other]
-
Title: An improved constant for Vizing's conjectureComments: Algebraic mistakeSubjects: Combinatorics (math.CO)
For any graph $G = (V,E)$, a subset $S {\subseteq} V$ dominates $G$ if $N[S] = V$. The minimum cardinality over all such $S$ is called the domination number, written ${\gamma}(G)$. The classical conjecture of V.G. Vizing states that ${\gamma}(G{\square} H) {\ge} {\gamma}(G){\gamma}(H)$ where ${\square}$ stands for the Cartesian product of graphs. In this paper, we apply well-known results to prove the Vizing-type inequality ${\gamma}(G{\square} H) {\ge} .5809 {\gamma}(G){\gamma}(H)$.
- [61] arXiv:2512.02218 (replaced) [pdf, html, other]
-
Title: Dominance regions for affine cluster algebrasComments: 54 pages, 4 figures, 1 table. Version 2: Small expository changes, mostly in the introduction, and some typos correctedSubjects: Representation Theory (math.RT); Combinatorics (math.CO)
We determine dominance regions associated to cluster algebras of affine type. In the most interesting cases, the dominance region is a line segment, which we describe explicitly. Motivations for this work include a project to determine all pointed bases for cluster algebras of affine type and a separate application that determines all theta functions in the affine case. The proofs draw on known results from the doubled Cambrian fan and almost-positive roots models, as well as a new tool that we develop: a detailed description of neighboring seeds of affine type (seeds that are, in some sense, as close as possible to the boundary of the g-vector fan).
- [62] arXiv:2606.02263 (replaced) [pdf, html, other]
-
Title: Exact Sampling of Permutations with a Fixed Longest Increasing SubsequenceSubjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
We study exact uniform sampling of permutations of length $n$ whose longest increasing subsequence (LIS) has prescribed length $k$. Our main result is, to the best of our knowledge, the first polynomial-time exact sampler for this problem, valid for every $1\le k\le n$. Via the Robinson--Schensted correspondence the problem reduces to sampling a Young diagram with first row of length $k$ from the hook-length-squared (conditioned Plancherel) law. We sample this shape one coordinate at a time, where each conditional weight, a sum over exponentially many completions, collapses, through the Cauchy--Binet formula, to a single coefficient of the determinant of a small polynomial matrix. A direct implementation runs in expected $\tilde O(n^4k^5)$ time in the word-RAM model. Exploiting the Hankel structure of the evaluated matrices reduces this to $\tilde O(n^3k^4)$. In the linear regime $k\in\Theta(n)$ we give a direct rejection sampler running in expected $O(n\log\log n)$ time, matching, up to constants, the cost of computing the LIS of one permutation. For the relaxed constraint $LIS(\pi)\le k$, plain rejection sampling gives expected $O(n\log\log n)$ time for every $k\ge4\sqrt n$, and so the worst case over all $k$ improves to $\tilde O(n^5)$.
- [63] arXiv:2606.18234 (replaced) [pdf, html, other]
-
Title: On zero-sum problems of new typesComments: 19 pages. For changes, see the current Theorems 1.3 and 1.4Subjects: Number Theory (math.NT); Combinatorics (math.CO)
In this paper, we investigate zero-sum problems of new types. For example, given $2n-1$ integers $a_1,\ldots,a_{2n-1}$ not divisible by an integer $n>1$, we prove that for some nonempty $I\subseteq\{1,\ldots,2n-1\}$ with $|I|\leqslant n$, the sum $\sum_{i\in I}a_i$ is divisible by $n$ but not divisible by $n^2$. We also pose several conjectures for further research.
- [64] arXiv:2606.25866 (replaced) [pdf, html, other]
-
Title: Proofs of four conjectural identities on modular rank four Nahm sumsComments: 15 pagesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
Nahm sums and Rogers-Ramanujan type identities have attracted considerable attention in recent years. In this paper, we provide analytic proofs of four conjectural identities on modular rank four Nahm sums that were proposed by Cao and Wang. Moreover, we reveal that the conjectures of Shi-Wang and Cao-Wang are closely related.
- [65] arXiv:2606.31821 (replaced) [pdf, html, other]
-
Title: A generalization of partition identities of Göllnitz-Gordon, Rogers-Ramanujan and NandiComments: 8 pagesSubjects: Representation Theory (math.RT); Combinatorics (math.CO); Number Theory (math.NT)
We propose Andrews-Gordon type series for certain level 2 standard modules of type $A^{(2)}_{\textrm{odd}}$, and prove the corresponding sum-product identities except for $A^{(2)}_{6n+3}$. These identities generalize the identities of Göllnitz-Gordon (mod 8), Rogers-Ramanujan (mod 5) and (partially) Nandi (mod 14).
- [66] arXiv:2607.00825 (replaced) [pdf, html, other]
-
Title: The Minimal Absolute Value of Sums of Fifth Roots of UnitySubjects: Number Theory (math.NT); Combinatorics (math.CO)
We determine the minimal absolute value of a non-vanishing sum of $n$ fifth roots of unity chosen with repetition, and characterize the corresponding sums. As a function of $n$, the minimal absolute value is monotone non-increasing over congruence classes of $n$ modulo $5$ and its only jumps occur when $n=5F_m$, $n=L_m$, or $n=2L_m$, where $F_m$ and $L_m$ denote the $m$-th Fibonacci and Lucas numbers respectively. To prove our results we reduce the problem to a series of inequalities involving rational approximations of the golden ratio $\varphi=(1+\sqrt{5})/2$, the solutions of which can be characterized using the theory of continued fractions.