math.CO ↗ arXiv
7121 papers in this category
A Classification of Positive-Curvature Discrete Einstein Metrics on Trees
For a weighted tree, the Lin--Lu--Yau Ricci curvature admits an explicit formula in terms of the edge weights. Consequently, the constant-curvature equation is equivalent to an eigenvalue problem for an edge-indexed Ricci matrix $R_T$. Building on the spectral characterization of discrete Einstein metrics on trees, we classify all finite trees whose discrete Einstein metric has positive curvature, equivalently all trees satisfying $λ_{\max}(R_T)<0$. For caterpillars with spine order $m\ge 12$, this occurs precisely for the endpoint families $T_m(a,0,\ldots,0,b)$ with $1\le a,b\le 3$ and $(a,b)\ne(3,3)$. The remaining cases $3\le m\le 11$ are settled by an exact finite verification using rational characteristic polynomials and Sturm root counts. We also determine the zero level set $λ_{\max}(R_T)=0$: among caterpillars, it consists of the stable family $(3,0,\ldots,0,3)$ together with nine exceptional short-spine caterpillars, while $S_3^2$ is the unique non-caterpillar zero example.
Navigating Posets with Few Maps
We study two new parameters for finite posets motivated by the problem of efficiently determining the set of successors of a given element. A plane map of a poset $P=(X,\leq)$ is an injective mapping of $X$ into the Cartesian plane $\mathbb{R}^2$. Given two different points $a$ and $b$ in the plane, we say that $b$ dominates $a$ if $a<b$ coordinatewise. We say that an element $x$ of $P$ is tight in a plane map $μ$ if the following holds: $x<y$ in $P$ if and only if $μ(y)$ dominates $μ(x)$. Note that, by definition, every 2-dimensional poset admits a map such that every element of the poset is tight. For any poset $P$, we define the mapability of $P$, $\mathrm{dmap}(P)$, to be the maximum number of elements that are tight in a single map, and we define the atlas thickness of $P$, $\mathrm{at}(P)$, to be the size of the smallest collection of maps such that every element is tight in at least one map of the collection.
We relate these parameters to the classical notions of dimension and width: for every poset $P$, we show that $\mathrm{dim}(P) \le 2\mathrm{at}(P) \le \mathrm{width}(P)+1$. On the other hand, there exists a sequence of posets $(P_n)_{n \ge 1}$ such that the atlas thickness of $P_n$ is doubly exponential in the dimension of $P_n$.
On the computational side, we prove that it is NP-complete, for a given poset $P$, to compute the mapability of $P$ and to decide whether $\mathrm{at}(P) \le 2$. In contrast to the latter, we show that computing the mapability of a poset is fixed-parameter tractable with respect to the natural parameter.
The extra slow Tamari lattice
We introduce the extra slow Tamari lattices, a new family of lattices defined on faithfully balanced tableaux. These tableaux arise naturally from the representation theory of type \( A \) quivers, and our construction extends the classical Tamari lattice and the slow Tamari lattice.
We explicitly describe meets and joins in the extra slow Tamari lattices, and then prove that they are lattices. We then show that they are semidistributive, trim, polygonal, and congruence uniform. Their join-irreducible elements are described in terms of a three-color analogue of the positive roots of type \( A \), which leads to descriptions of their spines and congruence lattices. We also obtain several enumerative results for the extra slow Tamari lattices and their associated structures. Finally, we derive new structural and enumerative results for the slow Tamari lattices.
Horizontal miniatures and normal-sized miniatures of convex lattice polytopes
Let $d$ be a nonnegative integer, and let $P \subset \mathbb R^d$ be a $d$-dimensional convex lattice polytope. In this article, we prove that the ratio of the volume of a normal-sized miniature of $P$ to that of $P$ is $1:\binom{2d+1}{d},$ which generalizes the known results for the unit hypercube and lattice simplices provided by the author. This theorem is proven by establishing that the number of horizontal miniatures of $P$ with resolution $t$ is a polynomial of degree $d+1$ in $t$ whose leading coefficient is $\mathrm{vol}\,(P)/(d+1),$ which is derived from Ehrhart theory.
Rational Weyl group elements of odd type D
Voloshyn introduced rational Weyl group elements in connection with rational normal forms on complex reductive groups and conjectured that, in type $D_r$ with $r$ odd, their number is $2^r-1$. We prove a stronger structural statement. For $r\geq 5$ odd, the rational Weyl group elements in $W(D_r)$ are exactly the longest element $w_0$ together with two explicitly described signed cyclic elements $c_I$ and $d_I$ for every non-empty subset $I\subseteq\{1,\ldots,r-1\}$. Consequently the rationality graph $Γ(D_r)$ is two explicitly labelled Boolean-type halves glued at $w_0$, its number of vertices is $2^r-1$, and its only vertices of valency one are $c_{\{1\}}$ and $d_{\{1\}}$. The proof combines an acyclic two-level description of the rationality graphs $Γ(c_I)$ with a rigidity argument for all one-step rational descents from $w_0$. The latter uses Voloshyn's descent lemma, while all type-$D$ exclusions are given by explicit loops or two-cycles in the root-poset rationality graph.
A note on hypergraphs with asymmetric Ramsey properties
Let $r,\ell\geq2$ be integers. Given $r$-graphs $G$ and $F_1,\dots,F_\ell$, we write $G\to(F_1,\dots,F_\ell)$ if every $\ell$-edge-coloring of $G$ yields a monochromatic copy of $F_i$ in the $i$th color for some $1\leq i\leq\ell$, otherwise we write $G\not\to(F_1,\dots,F_\ell)$. The Ramsey number $R(F_1,\dots,F_\ell)$ is the minimum number of vertices in an $r$-graph $G$ satisfying $G\to(F_1,\dots,F_\ell)$. In this note we prove that for any integers $t_1\geq\dots\geq t_\ell>r$, there exists an $r$-graph $G$ such that $G\not\to(K^{(r)}_{t_1},\dots,K^{(r)}_{t_\ell})$ but $G\to(K^{(r)}_s,K^{(r)}_{t_\ell-1})$, where $s=R(K^{(r)}_{t_1},\dots,K^{(r)}_{t_\ell})-1$. This extends recent work by Mendonça, Miralaei, and Mota, who established the statement for $r=2$.
Corrigendum and Addendum to "Fraïssé's Conjecture and big Ramsey degrees of structures admitting finite monomorphic decomposition''
In Section 6 of the paper ``Fraïssé's Conjecture and big Ramsey degrees of structures admitting finite monomorphic decomposition'', we applied the methods developed in earlier sections to show that a certain reduct of the generic permutation has finite big Ramsey degrees. Unfortunately, this reduct was incorrectly identified as the generic partial order. We are grateful to Jan Hubička for bringing this error to our attention.
In this note we correct the statements that rely on this misidentification and demonstrate that the reduct in question is in fact the generic 2-dimensional partial order. We emphasize that the arguments presented in Section 6 remain valid, with the sole exception of the Claim in the proof of Theorem 6.4, whose role was to (incorrectly) identify the reduct of the generic permutation as the generic partial order.
This correction has an unexpected positive consequence. Rather than reproving a well-known result whose existing proof is already notably elegant, this note demonstrates that our general framework can be used to establish that a previously unexplored class of generic relational structures has finite big Ramsey degrees. This observation opens a potentially new direction for further research in the thriving area of big Ramsey combinatorics.
In the addendum, we combine a recent result by Oudrar and Pouzet with our analysis of finite big Ramsey degrees for structures admitting finite monomorphic decomposition to characterize the existence of finite Big Ramsey degrees for all countable relational structures whose language has a linear order and age has polynomial growth.
Schur positivity of the nabla operator on two-column modified Hall--Littlewood polynomials
In this paper, we investigate the Schur positivity of modified Hall--Littlewood polynomials indexed by two-column partitions under the action of the $\nabla$ operator. Specifically, we resolve two conjectures posed by Bergeron, Garsia, Haiman, and Tesler in the two-column case. Furthermore, our approach demonstrates that these results can be extended to arbitrary powers $\nabla^k$ for all integers $k\geq 1$.
On the Complexity of Hop Domination and 2-Step Domination in Graph Classes
The domination problem is a well-studied problem in graph theory. In this paper, we study two natural variants: the hop domination problem and the $2$-step domination problem. Let $G$ be a graph with vertex set $V$ and edge set $E$. For a graph $G$, a subset $S \subseteq V(G)$ is called an \emph{hop dominating set} if every vertex not in $S$ lies at distance of exactly $2$ from at least one vertex in $S$. For $v\in V(G)$, let $N(v,2)$ denote the set of vertices in $V(G)$ that are at distance exactly $2$ from $v$. For a graph $G$, a subset $S \subseteq V(G)$ is called an \emph{$2$-step dominating set} if every vertex $v\in V(G)$ lies at a distance of exactly $2$ from at least one vertex in $S$. The \textsc{Hop Domination} (HD) problem and the \textsc{$2$-Step Domination} ($2$SD) problems ask whether a graph contains a hop domination set or a $2$-step domination set of size at most $k$, respectively. We study the computational complexity of these problems, and show that both are NP-complete, even when restricted to $d$-regular graphs for every $d\geq 3$, claw-free graphs and also unit disk graphs.
Treewidth of the $n \times n$ toroidal grid
In this paper, we show that the treewidth of the $n \times n$ toroidal grid is $2n-1$ for all $n \ge 5$. This closes the gap between the previously known upper bound of $2n-1$ (Ellis and Warren, DAM 2008) and the lower bound of $2n-2$ (Kiyomi, Okamoto, and Otachi, DAM 2016). To establish the matching lower bound, we construct a bramble of maximum order by utilizing maximum components obtained after removing $2n-1$ vertices. Our construction relies on the vertex-isoperimetric properties of the infinite grid to establish tight lower bounds on neighborhood sizes, combined with a careful analysis of balls of radius $n/2-1$ and their boundaries to overcome structural obstructions when $n$ is even.
A geometric proof of the Brenti--Welker identity
We construct a hypersimplicial subdivision of the $r$-dilation of the $i$-th hypersimplex of dimension $d$ that provides a geometric proof of the Brenti--Welker identity.
A probabilistic bijection between twenty-vertex configurations with a free west boundary and Gelfand-Tsetlin patterns avoiding three equal entries in a row
We study a coincidence between two enumerations governed by the same product formula, reminiscent of the Robbins numbers: the unweighted enumeration of twenty-vertex configurations on quadrangular domains with fixed west boundary, and the weighted enumeration of Gelfand-Tsetlin patterns avoiding three equal entries in a row. This coincidence naturally raises the question of whether there is a combinatorial explanation relating these two enumerations. In this paper, we provide such an explanation by constructing a probabilistic bijection between twenty-vertex configurations on quadrangular domains and Gelfand-Tsetlin patterns avoiding three equal entries in a row. Under this probabilistic bijection, the west boundary of a twenty-vertex configuration corresponds to the bottom row of Gelfand-Tsetlin patterns; in particular, the fixed boundary case corresponds to Gelfand-Tsetlin patterns with bottom row $(1, 2, \ldots, n)$. Combining this correspondence with an enumeration formula of Fischer and Schreier-Aigner for Gelfand-Tsetlin pattern avoiding three equal entries in a row with bounded entries, we obtain an enumeration formula for twenty-vertex configurations with a free west boundary.
On a conjecture of Amdeberhan, Andrews and Ballantine for double Lambert series
In this note, we prove a recent conjecture of Amdeberhan, Andrews and Ballantine concerning a double Lambert series. More precisely, they conjectured that \[ \coeff{q^{N2^a}} \sum_{m,k\geq 1} \frac{q^{mk2^a}}{(1+q^{k2^{a-1}})(1-q^{2m-1})} =σ_1(N), \] where $σ_1(N)$ is the sum of all the positive divisors of $N$. The main idea of the proof is to first transform a double Lambert series on the left-hand side into a single sum. This leads us to derive a new representation of quasi-modular forms $E_2(q)$.
On $k$-connected vertex-pancyclic graphs without pancyclic edges
An edge of a graph of order $n$ is pancyclic if it lies in a cycle of every length $3,\ldots,n$. A graph of order $n$ is vertex-pancyclic if every vertex lies in a cycle of every length $3,\ldots,n$. Recently, Li and Zhan proved that every $2$-connected $[4,2]$-graph of order at least seven contains a pancyclic edge. Zhan asked whether there exists a positive integer $k$ such that every $k$-connected vertex-pancyclic graph contains a pancyclic edge. We answer this question by showing that for every positive integer $k$, there is a $k$-connected vertex-pancyclic graph containing no pancyclic edge.
On degree bounds of $k$-uniform hypergraphs with bounded matching number
We study the connection between the degree sequence of a $k$-uniform hypergraph and the size of its largest matching. Let $\mathcal{F}$ be a $k$-uniform hypergraph on $n$ vertices and let $d_1 \ge d_2 \ge \dots \ge d_n$ be the vertex degrees arranged in non-increasing order. For integers $k\ge 2$, $s\ge 2$ and $n > 2sk$, we prove that if the $(2sk+1)$-th largest degree satisfies $d_{2sk+1} > \binom{n-1}{k-1} - \binom{n-s}{k-1},$ then $\mathcal{F}$ contains a matching of size at least $s$. This can be viewed as a generalization of theorems by Lu, Guo, and Jiang (2023) and Huang and Rao (2026). Moreover, by relaxing the range of $n$, we obtain the same bound for the $(k+2s-2)$-th largest degree vertex. Note that the number $k+2s-2$ is optimal.
For a $k$-set of vertices $S \subseteq [n]$, the degree of $S$ is defined as $\mathrm{deg}(S) = \sum_{v \in S} \mathrm{deg}(v)$, and the minimum of $\mathrm{deg}(S)$ over all non-edge $k$-subsets $S \notin E(\mathcal{F})$ of $V(\mathcal{F})$ is the Ore-degree of $\mathcal{F}$, denoted by $σ_k(\mathcal{F})$. Balogh, Palmer and Raeisi proved: for $s \ge 2$ and $n \ge 3k^2(s-1)$, if $σ_k(\mathcal{F}) > k\left(\binom{n-1}{k-1} - \binom{n-s}{k-1}\right),$ then $\mathcal{F}$ contains a matching of size $s$. They also conjectured that the result holds when $n > sk$. As a corollary, we prove that the bound on $n$ can be taken to be linear in $sk$ ($ n \geq 3sk $).
The generating function of A348410 in OEIS using the diagonal method
$a_n=[x^n](1-x)^{-n}(1-x^2)^{-n}$ is the sequence A348410 in the Encyclopedia of Integer Sequences. Using a method from Hautus and Klarner from 1971 and the software \textsf{Gfun} we find an algebraic equation for the generating function $g(z)=\sum_na_nz^n$.
Tverberg cores and Kalai's cascade conjecture
We study topological analogues of Kalai's cascade conjecture. Given a continuous map from an $n$-simplex to $\mathbb R^d$, let $T_r(f)$ be the set of points contained in the images of $r$ pairwise disjoint faces. We prove that if $r$ is a prime power and $\dim T_r(f)\le k$, then there exists a point that remains an $r$-Tverberg point after any $t$ vertices are deleted, provided $n=(r-1)(d+1)+t(k+1)$. For $t=1$, this gives a topological analogue of a standard consequence of Kalai's cascade conjecture. We also confirm the cascade conjecture for finite point sets whose Radon set is $0$-dimensional.
Ramsey properties for tilings in random graphs
Let $mH$ be the graph formed by $m$ vertex-disjoint copies of a graph $H$. Let $G \to (H)_r$ denote that, in any $r$-colouring of the edges of $G$, there exists a monochromatic copy of $H$. In 1975, Burr, Erdős, and Spencer showed that if $H$ is a graph on $k$ vertices whose independence number is $α$, then $K_n \to (mH)_2$, where $m\sim n/(2k-α)$, and that the $1/(2k-α)$ factor is best possible. In the 1990s, Rödl and Ruciński proved that, for all but a few graphs~$H$, the threshold for the property $\mathbb{G}(n,p) \to (H)_r$ is $n^{-1/m_2(H)}$. In this paper, generalizing the result of Burr, Erdős, and Spencer, we prove that $n^{-1/\max\{m_2(H),1\}}$ is the threshold for the property $\mathbb{G}(n,p) \to (mH)_2$, where $m\sim n/(2k-α)$. This threshold matches the one found by Rödl and Ruciński for most graphs $H$, extending their result in the case $r=2$.
Thresholds for geometric graphs
A metric probability space $M$ admits thresholds if the random geometric graph on $M$ has a threshold for every monotone graph property. We connect the existence of thresholds to the uniform expansion of $M$ and prove that all standard tori, spheres, and cubes admit thresholds.
On the number of finite additive 2-bases
The number of finite additive 2-bases is known to grow exponentially. While this fact has been established by Marzuola and Miller (2010) using complex analytic techniques embedded in the study of numerical sets, we provide a direct, short proof using elementary probabilistic arguments.