arXiv++ Combinatorics

Browse math.CO papers from arXiv

Papers by David Lewis

5 paper(s) by this author · All BibTeX
2020-05-25
Local $t$-dimension
In this note, we introduce a new poset parameter called local $t$-dimension. We also discuss the fractional variants of this and other dimension-like parameters.
2020-01-23 v2
The order dimension of divisibility
Published in Journal of Combinatorial Theory, Series A. Vol 179 (2021) 105391 • View PublicationBIB
The Dushnik-Miller dimension of a partially-ordered set $P$ is the smallest $d$ such that one can embed $P$ into a product of $d$ linear orders. We prove that the dimension of the divisibility order on the interval $\{1, \dotsc, n\}$, is equal to ${(\log n)^2}(\log\log n)^{-Θ(1)}$ as $n$ goes to infinity. We prove similar bounds for the $2$-dimension of divisibility in $\{1, \dotsc, n\}$, where the $2$-dimension of a poset $P$ is the smallest $d$ such that $P$ is isomorphic to a suborder of the subset lattice of $[d]$. We also prove an upper bound for the $2$-dimension of posets of bounded degree and show that the $2$-dimension of the divisibility poset on the set $(αn, n]$ is $Θ_α(\log n)$ for $α\in (0,1)$. At the end we pose several problems.
2020-01-23 v2
The local dimension of suborders of the Boolean lattice
We prove upper and lower bounds on the local dimension of any pair of layers of the Boolean lattice, and show that the local dimension of the first and middle layers of the $n$-dimensional Boolean lattice is asymptotically $\frac{n}{\log_2 n}$ as $n\to\infty$. Previously, all that was known was a lower bound of $Ω(n/\log n)$ and an upper bound of $n$. Improving a result of Kim, Martin, Masařík, Shull, Smith, Uzzell, and Wang, we also prove that that the maximum local dimension of an $n$-element poset is at least $\left(\frac{1}{4}-o(1)\right)\frac{n}{\log_2 n}$.
On Covering Numbers, Young Diagrams, and the Local Dimension of Posets
We study covering numbers and local covering numbers with respect to difference graphs and complete bipartite graphs. In particular we show that in every cover of a Young diagram with $\binom{2k}{k}$ steps with generalized rectangles there is a row or a column in the diagram that is used by at least $k+1$ rectangles, and prove that this is best-possible. This answers two questions by Kim, Martin, Masa{ř}{\'ı}k, Shull, Smith, Uzzell, and Wang (Europ. J. Comb. 2020), namely: - What is the local complete bipartite cover number of a difference graph? - Is there a sequence of graphs with constant local difference graph cover number and unbounded local complete bipartite cover number? We add to the study of these local covering numbers with a lower bound construction and some examples. Following Kim \emph{et al.}, we use the results on local covering numbers to provide lower and upper bounds for the local dimension of partially ordered sets of height~2. We discuss the local dimension of some posets related to Boolean lattices and show that the poset induced by the first two layers of the Boolean lattice has local dimension $(1 + o(1))\log_2\log_2 n$. We conclude with some remarks on covering numbers for digraphs and Ferrers dimension.
2017-10-22 v2
Rainbow saturation of graphs
In this paper we study the following problem proposed by Barrus, Ferrara, Vandenbussche, and Wenger. Given a graph $H$ and an integer $t$, what is $\operatorname{sat}_{t}\left(n, \mathfrak{R}{(H)}\right)$, the minimum number of edges in a $t$-edge-coloured graph $G$ on $n$ vertices such that $G$ does not contain a rainbow copy of $H$, but adding to $G$ a new edge in any colour from $\{1,2,\ldots,t\}$ creates a rainbow copy of $H$? Here, we completely characterize the growth rates of $\operatorname{sat}_{t}\left(n, \mathfrak{R}{(H)}\right)$ as a function of $n$, for any graph $H$ belonging to a large class of connected graphs and for any $t\geq e(H)$. This classification includes all connected graphs of minimum degree $2$. In particular, we prove that $\operatorname{sat}_{t}\left(n, \mathfrak{R}{(K_r)}\right)=Θ(n\log n)$, for any $r\geq 3$ and $t\geq {r \choose 2}$, thus resolving a conjecture of Barrus, Ferrara, Vandenbussche, and Wenger. We also pose several new problems and conjectures.