Source author record

Kevin G. Milans

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

8works
2topics
4close collaborators

Published work

8 publications

preprint2026arXiv

Tight paths in fully directed hypergraphs

It is well-known that every tournament has a spanning path. We consider hypergraph analogues. In an \emph{rr-uniform fully directed hypergraph}, or \emph{rr-digraph}, every edge is a list or rr distinct vertices. An (r,k)(r,k)-tournament is an rr-digraph GG such that for every rr-set SS of vertices in GG, exactly kk of the orderings of SS are edges in GG. A \emph{directed tight path} is an rr-digraph GG whose vertices can be ordered so that the intervals of size rr are the edges in GG. Let f(n,r,k)f(n,r,k) be the maximum ss such that every nn-vertex (r,k)(r,k)-tournament contains a tight path on ss vertices. Since every tournament has a spanning path, we have f(n,2,1)=nf(n,2,1)=n. In this paper, we show that the minimum kk such that f(n,r,k)f(n,r,k) tends to infinity with nn is in the interval [(1−1r−O(log⁡rr2log⁡log⁡r))r!, (1−1r−φ(r)−1r!)r!]\left[\left(1-\frac{1}{r}-O(\frac{\log r}{r^2\log\log r})\right)r!, ~\left(1-\frac{1}{r} - \frac{φ(r)-1}{r!}\right)r!\right] where φ(r)φ(r) is the Euler Totient Function, and we find the exact value when r≤5r\le 5. We also show that Ω(log⁡n/log⁡log⁡n)≤f(n,3,3)≤O(log⁡n)Ω(\sqrt{\log n/\log \log n}) \le f(n,3,3) \le O(\log n) and f(n,3,4)≥Ω(n1/5)f(n,3,4)\ge Ω(n^{1/5}).

preprint2016arXiv

The 2-Ranking Numbers of Graphs

In a graph whose vertices are assigned integer ranks, a path is well-ranked if the endpoints have distinct ranks or some interior point has a higher rank than the endpoints. A ranking is an assignment of ranks such that all nontrivial paths are well-ranked. A kk-ranking is a relaxation in which all nontrivial paths of length at most kk are well-ranked. The kk-ranking number of a graph GG is the minimum tt such that there is a kk-ranking of GG using ranks in {1,…,t}\{1,\ldots,t\}. We prove that the 22-ranking number of the nn-dimensional hypercube QnQ_n is n+1n+1. As a corollary, we improve the bounds on the star chromatic number of products of cycles when each cycle has length divisible by 44. For m≤nm\le n, we show that the 22-ranking number of Km□KnK_m \mathop\square K_n is Ω(nlog⁡m)Ω(n\log m) and O(nmlog⁡2(3)−1)O(nm^{\log_2(3)-1}) with an asymptotic result when mm is constant and an exact result when m!m! divides nn. We prove that every subcubic graph has 22-ranking number at most 77, and we also prove the existence of a graph with maximum degree kk and 22-ranking number Ω(k2/log⁡(k))Ω(k^2/\log(k)).

preprint2015arXiv

Monotone Paths in Dense Edge-Ordered Graphs

The altitude of a graph GG, denoted f(G)f(G), is the largest integer kk such that under each ordering of E(G)E(G), there exists a path of length kk which traverses edges in increasing order. In 1971, Chvátal and Komlós asked for f(Kn)f(K_n), where KnK_n is the complete graph on nn vertices. In 1973, Graham and Kleitman proved that f(Kn)≥n−3/4−1/2f(K_n) \ge \sqrt{n - 3/4} - 1/2 and in 1984, Calderbank, Chung, and Sturtevant proved that f(Kn)≤(12+o(1))nf(K_n) \le (\frac{1}{2} + o(1))n. We show that f(Kn)≥(120−o(1))(n/lg⁡n)2/3f(K_n) \ge (\frac{1}{20} - o(1))(n/\lg n)^{2/3}.

preprint2014arXiv

Set families with forbidden subposets

Let FF be a family of subsets of {1,…,n}\{1,\ldots,n\}. We say that FF is PP-free if the inclusion order on FF does not contain PP as an induced subposet. The \emph{Turán function} of PP, denoted π∗(n,P)π^*(n,P), is the maximum size of a PP-free family of subsets of {1,…,n}\{1,\ldots,n\}. We show that π∗(n,P)≤(4r+O(r))(nn/2)π^*(n,P) \le (4r + O(\sqrt{r}))\binom{n}{n/2} if PP is an rr-element poset of height at most 22. We also show that π∗(n,Sr)=(r+O(r))(nn/2)π^*(n,S_r) = (r+O(\sqrt{r}))\binom{n}{n/2} where SrS_r is the standard example on 2r2r elements, and that π∗(n,B2)≤(2.583+o(1))(nn/2)π^*(n,B_2) \le (2.583+o(1))\binom{n}{n/2}, where B2B_2 is the 22-dimensional Boolean lattice.

preprint2013arXiv

Boolean algebras and Lubell functions

Let 2[n]2^{[n]} denote the power set of [n]:={1,2,...,n}[n]:=\{1,2,..., n\}. A collection $\B\subset 2^{[n]}$ forms a dd-dimensional {\em Boolean algebra} if there exist pairwise disjoint sets X0,X1,...,Xd⊆[n]X_0, X_1,..., X_d \subseteq [n], all non-empty with perhaps the exception of X0X_0, so that $\B={X_0\cup \bigcup_{i\in I} X_i\colon I\subseteq [d]}$. Let b(n,d)b(n,d) be the maximum cardinality of a family $\F\subset 2^X$ that does not contain a dd-dimensional Boolean algebra. Gunderson, Rödl, and Sidorenko proved that b(n,d)≤cdn−1/2d⋅2nb(n,d) \leq c_d n^{-1/2^d} \cdot 2^n where cd=10d2−21−ddd−2−dc_d= 10^d 2^{-2^{1-d}}d^{d-2^{-d}}. In this paper, we use the Lubell function as a new measurement for large families instead of cardinality. The Lubell value of a family of sets $\F$ with $\F\subseteq \tsupn$ is defined by $h_n(\F):=\sum_{F\in \F}1/{n\choose |F|}$. We prove the following Turán type theorem. If $\F\subseteq 2^{[n]}$ contains no dd-dimensional Boolean algebra, then $h_n(\F)\leq 2(n+1)^{1-2^{1-d}}$ for sufficiently large nn. This results implies b(n,d)≤Cn−1/2d⋅2nb(n,d) \leq C n^{-1/2^d} \cdot 2^n, where CC is an absolute constant independent of nn and dd. As a consequence, we improve several Ramsey-type bounds on Boolean algebras. We also prove a canonical Ramsey theorem for Boolean algebras.

preprint2011arXiv

Chain-making games in grid-like posets

We study the Maker-Breaker game on the hypergraph of chains of fixed size in a poset. In a product of chains, the maximum size of a chain that Maker can guarantee building is k−⌊r/2⌋k-\lfloor r/2\rfloor, where kk is the maximum size of a chain in the product, and rr is the maximum size of a factor chain. We also study a variant in which Maker must follow the chain in order, called the {\it Walker-Blocker game}. In the poset consisting of the bottom kk levels of the product of dd arbitrarily long chains, Walker can guarantee a chain that hits all levels if d≥14d\ge14; this result uses a solution to Conway's Angel-Devil game. When d=2, the maximum that Walker can guarantee is only 2/3 of the levels, and 2/3 is asymptotically achievable in the product of two equal chains.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.