Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Chow polynomials of uniform matroids are real-rooted
June Huh and Matthew Stevens conjectured that the Hilbert-Poincaré series of the Chow ring of any matroid is a polynomial with only real zeros. We prove this conjecture for the class of uniform matroids. We also prove that the Chow polynomial and the augmented Chow polynomial of any maximally ranked poset has only real zeros.
Stable Set Polytopes with Rank $|V(G)|/3$ for the Lovász--Schrijver SDP Operator
We study the lift-and-project rank of the stable set polytope of graphs with respect to the Lovász--Schrijver SDP operator $\text{LS}_+$ applied to the fractional stable set polytope. In particular, we show that for every positive integer $\ell$, the smallest possible graph with $\text{LS}_+$-rank $\ell$ contains $3\ell$ vertices. This result is sharp and settles a conjecture posed by Lipták and the second author in 2003, as well as answers a generalization of a problem posed by Knuth in 1994. We also show that for every positive integer $\ell$ there exists a vertex-transitive graph on $4\ell+12$ vertices with $\text{LS}_+$-rank at least $\ell$.
A coin flip game and generalizations of Fibonacci numbers
We study a game in which one keeps flipping a coin until a given finite string of heads and tails occurs. We find the expected number of coin flips to end the game when the ending string consists of at most four maximal runs of heads or tails or alternates between heads and tails. This leads to some summation identities involving certain generalizations of the Fibonacci numbers.
Strengthened upper bound on the third eigenvalue of graphs
Let $G$ be a graph on $n \ge 3$ vertices, whose adjacency matrix has eigenvalues $λ_1 \ge λ_2 \ge \dots \ge λ_n$. The problem of bounding $λ_k$ in terms of $n$ was first proposed by Hong and was studied by Nikiforov, who demonstrated strong upper and lower bounds for arbitrary $k$. Nikiforov also claimed a strengthened upper bound for $k \ge 3$, namely that $\frac{λ_k}{n} < \frac{1}{2\sqrt{k-1}} - \varepsilon_k$ for some positive $\varepsilon_k$, but omitted the proof due to its length. In this paper, we give a proof of this bound for $k = 3$. We achieve this by instead looking at $λ_{n-1} + λ_n$ and introducing a new graph operation which provides structure to minimising graphs, including $ω\le 3$ and $χ\le 4$. Then we reduce the hypothetical worst case to a graph that is $n/2$-regular and invariant under said operation. By considering a series of inequalities on the restricted eigenvector components, we prove that a sequence of graphs with $\frac{λ_{n-1} + λ_n}{n}$ converging to $-\frac{\sqrt{2}}{2}$ cannot exist.
3D-grids are not transducible from planar graphs
We prove that the class of 3D-grids is cannot be transduced from planar graphs, and more generally, from any class of graphs of bounded Euler genus. To prove our result, we introduce a new structural tool called slice decompositions, and show that every graph class transducible from a class of graphs of bounded Euler genus is a perturbation of a graph class that admits slice decompositions.
Symmetry of ascent and descent distributions on rectangular and staircase tableaux
We give direct bijective proofs of the symmetry of the distributions of the number of ascents and descents over standard Young tableaux of shape $λ$, where $λ$ is a rectangle $(n,n,\dots,n)$ or a truncated staircase $(n,n-1,\dots,n-k+1)$. These can be viewed as instances of the more general symmetry of the distribution of descents over linear extensions of graded posets, for which previous proofs by Stanley and Farley were based on the theory of $P$-partitions and the involution principle, respectively. In the case of two-row rectangles $(n,n)$, our bijection is equivalent to the Lalanne--Kreweras involution on Dyck paths, which bijectively proves the symmetry of the Narayana numbers.
Our bijections are defined in terms of certain arrow encodings of standard Young tableaux. This setup allows us to construct other statistic-preserving involutions on tableaux of rectangular shape, providing a simple proof of the fact that ascents and descents are equidistributed up to a shift, and proving a conjecture of Sulanke about certain statistics in the case of three rows. Finally, we use our bijections to define a possible notion of rowmotion on standard Young tableaux of rectangular shape, and to give a bijective proof of the symmetry of the number of descents on canon permutations, which have been recently studied as a variation of Stirling and quasi-Stirling permutations.
A rainbow Dirac theorem for loose Hamilton cycles in hypergraphs
Published
• View Publication
• BIB
A meta-conjecture of Coulson, Keevash, Perarnau and Yepremyan states that above the extremal threshold for a given spanning structure in a (hyper-)graph, one can find a rainbow version of that spanning structure in any suitably bounded colouring of the host (hyper-)graph. We solve one of the most pertinent outstanding cases of this conjecture, by showing that for any $1\leq j\leq k-1$, if $G$ is a $k$-uniform hypergraph above the $j$-degree threshold for a loose Hamilton cycle, then any globally bounded colouring of $G$ contains a rainbow loose Hamilton cycle.
Generalized Euler numbers and ordered set partitions
The Euler numbers have been widely studied. A signed version of the Euler numbers of even subscript are given by the coefficients of the exponential generating function 1/(1+x^2/2!+x^4/4!+...). Leeming and MacLeod introduced a generalization of the Euler numbers depending on an integer parameter d where one takes the coefficients of the expansion of 1/(1+x^d/d!+x^{2d}/(2d)!+...). These numbers have been shown to have many interesting properties despite being much less studied. And the techniques used have been mainly algebraic. We propose a combinatorial model for them as signed sums over ordered partitions. We show that this approach can be used to prove a number of old and new results including a recursion, integrality, and various congruences. Our methods include sign-reversing involutions and Möbius inversion over partially ordered sets.
Circle graphs and the automorphism group of the circle
We prove that $Aut({\mathbb S}^1)$ coincides with the automorphism group of the \emph{circle graph} $\mathcal{C}$, i.e. the intersection graph of the family of chords of ${\mathbb S}^1$.
We prove that the countable subgraph of $\mathcal{C}$ induced by the rational chords is a strongly universal element of the family of circle graphs, and that it is invariant under local complementation. The only other known connected graphs that have the latter property are $K_2$ and the Rado graph.
Loose elements in binary and ternary matroids
We call a matroid element "loose" if it is contained in no circuits of size less than the rank of the matroid. A matroid in which all elements are loose is a paving matroid. Acketa determined all binary paving matroids, while Oxley specified all ternary paving matroids. We characterize the binary matroids that contain a loose element. For ternary matroids with a loose element, we show that their size is linear in terms of their rank. Moreover, for a prime power $q$, we give a partial characterization of $GF(q)$-representable matroids that have two or more loose elements; we note Rajpal's partial characterization of $GF(q)$-representable paving matroids as a consequence.
Matching adjacent cards
Published in Mathematics Magazine 97 (2024) 471-483
• View Publication
• BIB
In a well-shuffled deck of cards, what is the probability that somewhere in the deck there are adjacent cards of the same rank? What is the average number of adjacent matches? What is the probability distribution for the number of matches? We answer these and related questions for both the standard $52$-card deck with four suits and $13$ ranks and for generalized decks with $k$ suits and $n$ ranks. We also determine the limiting distribution as $n$ goes to infinity with $k$ fixed.
Chip-Firing on Infinite $k$-ary Trees
We use an infinite $k$-ary tree with a self-loop at the root as our underlying graph. We consider a chip-firing process starting with $N$ chips at the root. We describe the stable configurations. We calculate the number of fires for each vertex and the total number of fires. We study a sequence of the number of root fires for a given $k$ as a function of $N$ and study its properties. We do the same for the total number of fires.
A combinatorial simplicial cone decomposition
This paper introduces an algebraic combinatorial approach to simplicial cone decompositions, a key step in solving inhomogeneous linear Diophantine systems and counting lattice points in polytopes. We use constant term manipulation on the system \( Aα= \mathbf{b} \), where \( A \) is an \( r \times n \) integral matrix and \( \mathbf{b} \) is an integral vector. We establish a relationship between special constant terms and shifted simplicial cones. This leads to the \texttt{SimpCone[S]} algorithm, which efficiently decomposes polyhedra into simplicial cones. Unlike traditional geometric triangulation methods, this algorithm is versatile for many choices of the strategy \( \texttt{S} \) and can also be applied to parametric polyhedra. The algorithm is useful for efficient volume computation of polytopes and can be applied to address various new research projects. Additionally, we apply our framework to unimodular cone decompositions. This extends the effectiveness of the newly developed \texttt{DecDenu} algorithm from denumerant cones to general simplicial cones.
A note on the maximum diversity of intersecting families in the symmetric group
Published in European Journal of Combinatorics Volume 134, April 2026, 104331
• View Publication
• BIB
Let $\mathcal{S}_n$ be the symmetric group on the set $[n]:=\{1,2,\ldots,n\}$. A family $\mathcal{F}\subset \mathcal{S}_n$ is called intersecting if for every $σ,π\in \mathcal{F}$ there exists some $i\in [n]$ such that $σ(i)=π(i)$. Deza and Frankl proved that the largest intersecting family of permutations is the full star, that is, the collection of all permutations with a fixed position. The diversity of an intersecting family $\mathcal{F}$ is defined as the minimum number of permutations in $\mathcal{F}$, whose deletion results in a star. In the present paper, by applying the spread approximation method developed recently by Kupavskii and Zakharov, we prove that for $n\geq 500$ the diversity of an intersecting subfamily of $\mathcal{S}_n$ is at most $(n-3)(n-3)!$, which is best possible.
Notes on Laver Tables
We present some new lower bound estimates for certain numbers in Laver table theory and introduce several related structures of interest.
The Rainbow Saturation Number of Cycles
An edge-coloring of a graph $H$ is a function $\mathcal{C}: E(H) \rightarrow \mathbb{N}$. We say that $H$ is rainbow if all edges of $H$ have different colors. Given a graph $F$, an edge-colored graph $G$ is $F$-rainbow saturated if $G$ does not contain a rainbow copy of $F$, but the addition of any nonedge with any color on it would create a rainbow copy of $F$. The rainbow saturation number $rsat(n,F)$ is the minimum number of edges in an $F$-rainbow saturated graph with order $n$. In this paper we proved several results on cycle rainbow saturation. For $n \geq 5$, we determined the exact value of $rsat(n,C_4)$. For $ n \geq 15$, we proved that $\frac{3}{2}n-\frac{5}{2} \leq rsat(n,C_{5}) \leq 2n-6$. For $r \geq 6$ and $n \geq r+3$, we showed that $ \frac{6}{5}n \leq rsat(n,C_r) \leq 2n+O(r^2)$. Moreover, we establish better lower bound on $C_r$-rainbow saturated graph $G$ while $G$ is rainbow.
On Generalized Kissing Numbers of Convex Bodies (II)
In 1694, Gregory and Newton discussed the problem to determine the kissing number of a rigid material ball. This problem and its higher dimensional generalization have been studied by many mathematicians, including Minkowski, van der Waerden, Hadwiger, Swinnerton-Dyer, Watson, Levenshtein, Odlyzko, Sloane and Musin. Recently, Li and Zong introduced and studied the generalized kissing numbers of convex bodies. As a continuation of this project, in this paper we obtain the exact generalized kissing numbers $κ_α^*(B^n)$ of the $n$-dimensional balls for $3\le n\le 8$ and $α=2\sqrt{3}-2$. Furthermore, the lattice kissing number of a four-dimensional cross-polytope is determined.
Branching Ratios of Input Trees for Directed Multigraphs
We define the branching ratio of the input tree of a node in a finite directed multigraph, prove that it exists for every node, and show that it is equal to the largest eigenvalue of the adjacency matrix of the induced subgraph determined by all upstream nodes. This real eigenvalue exists by the Perron-Frobenius Theorem for non-negative matrices. We motivate our analysis with simple examples, obtain information about the asymptotics for the limit growth of the input tree, and establish other basic properties of the branching ratio.
Strong Ramsey game on two boards
The strong Ramsey game $R(\mathcal{B}, H)$ is a two-player game played on a graph $\mathcal{B}$, referred to as the board, with a target graph $H$. In this game, two players, $P_1$ and $P_2$, alternately claim unclaimed edges of $\mathcal{B}$, starting with $P_1$. The goal is to claim a subgraph isomorphic to $H$, with the first player achieving this declared the winner. A fundamental open question, persisting for over three decades, asks whether there exists a graph $H$ such that in the game $R(K_n, H)$, $P_1$ does not have a winning strategy in a bounded number of moves as $n \to \infty$.
In this paper, we shift the focus to the variant $R(K_n \sqcup K_n, H)$, introduced by David, Hartarsky, and Tiba, where the board $K_n \sqcup K_n$ consists of two disjoint copies of $K_n$. We prove that there exist infinitely many graphs $H$ such that $P_1$ cannot win in $R(K_n \sqcup K_n, H)$ within a bounded number of moves through a concise proof. This perhaps provides evidence for the existence of examples to the above longstanding open problem.
Relative Turán densities of ordered graphs
We introduce a modification of the Turán density of ordered graphs and investigate this graph parameter.