arXiv Science⌕ Search

arXiv subjects

Ryan R. Martin

Publications and source records attributed to Ryan R. Martin.

At least 19 recordsLinked to original sources
arXiv2026

On graphs embeddable in a layer of a hypercube and their extremal numbers

A graph is cubical if it is a subgraph of a hypercube. For a cubical graph $H$ and a hypercube $Q_n$, $ex(Q_n, H)$ is the largest number of edges in an $H$-free subgraph of $Q_n$. If $ex(Q_n, H)$ is equal to a positive proportion of the number of edges in $Q_n$, $H$ is said to have positive Turán density in a hypercube; otherwise it has zero Turán density. Determining $ex(Q_n, H)$ and even identifying whether $H$ has positive or zero Turán density remains a widely open question for general $H$. In this paper we focus on layered graphs, i.e., graphs that are contained in an edge-layer of some hypercube. Graphs $H$ that are not layered have positive Turán density because one can form an $H$-free subgraph of $Q_n$ consisting of edges of every other layer. For example, a $4$-cycle is not layered and has positive Turán density. However, in general it is not obvious what properties layered graphs have. We give a characterisation of layered graphs in terms of edge-colorings. We show that most non-trivial subdivisions have zero Turán density, extending known results on zero Turán density of even cycles of length at least $12$ and of length $8$. However, we prove that there are cubical graphs of girth $8$ that are not layered and thus having positive Turán density. The cycle of length $10$ remains the only cycle for which it is not known whether its Turán density is positive or not. We prove that $ex(Q_n, C_{10})= Ω(n2^n/ \log^a n)$, for a constant $a$, showing that the extremal number for a $10$-cycle behaves differently from any other cycle of zero Turán density.

math.CO↗
arXiv2026

Ramsey numbers of multiple copies of a graph and the random Ramsey theorem

A well-known result of Burr, Erdős and Spencer [Transactions of the American Mathematical Society, 1975] determines the $2$-colour Ramsey number for any sufficiently large collection of vertex-disjoint copies of a fixed graph $H$ without isolated vertices. A focus of this paper is to give analogous results for the corresponding $r$-colour Ramsey problem. More precisely we determine, up to an additive constant, this Ramsey number in the case when $r=3$ and also in the case when the chromatic number of $H$ is at least $r$. In these cases our results depend on a parameter which, roughly speaking, describes the corresponding class of potential extremal colourings of the complete graph. Our proofs rely on our notion of $(H,r)$-gadgets, which is crucial to obtain results that are best-possible up to additive constant terms. We exploit this notion using linear programming and the Poincaré-Miranda theorem. We also determine, up to a linear error term, the corresponding $r$-colour Ramsey number in the case when $H$ is a complete bipartite graph. Here, the corresponding class of potential extremal examples exhibits a connection with the well-known clique-edge-covering problem. We also prove random versions of some of our results. In particular, we prove a random version of the Burr-Erdős-Spencer theorem, thereby generalising the random Ramsey theorem of Rödl and Ruciński [Journal of the American Mathematical Society, 1995]. Our proofs make use of coloured versions of the (sparse) regularity lemma and the KLR conjecture for random graphs.

math.CO↗
arXiv2026

The edit distance of word-representable and comparability graphs

In this paper, we establish that the maximum edit distance of an $n$-vertex graph from the hereditary property of word-representable graphs is $n^2/8-o(n^2)$. In addition, we establish that the maximum edit distance of an $n$-vertex graph from the hereditary property of poset comparability graphs is $5n^2/32-o(n^2)$. In fact, we determine the edit distance function over all edge densities $p\in [0,1]$ for the property of word-representable graphs, for the property of $k$-word-representable graphs for each $k\geq 2$, and for the property comparability graphs. The latter has a peculiar structure that requires an infinite sequence of colored regularity graphs.

math.CO↗
arXiv2025

B-colorings of planar and outerplanar graphs

A coloring of the edges of a graph $G$ in which every $K_{1,2}$ is totally multicolored is known as a proper coloring and a coloring of the edges of $G$ in which every $K_{1,2}$ and every $K_{2,2}$ is totally multicolored is called a B-coloring. In this paper, we establish that a planar graph with maximum degree $Δ$ can be B-colored with $\max\{2Δ,32\}$ colors. This is best-possible for large $Δ$ because $K_{2,Δ}$ requires $2Δ$ colors. In addition, there is an example with $Δ=4$ that requires $12$ colors. We also establish that an outerplanar graph with maximum degree $Δ$ can be B-colored with $\max\{Δ,6\}$ colors. This is almost best-possible because $Δ$ colors are necessary and there is an example with $Δ=4$ that requires $5$ colors.

math.CO↗
arXiv2025

Proper edge colorings of planar graphs with rainbow $C_4$-s

We call a proper edge coloring of a graph $G$ a B-coloring if every 4-cycle of $G$ is colored with four different colors. Let $q_B(G)$ denote the smallest number of colors needed for a B-coloring of $G$. Motivated by earlier papers on B-colorings, here we consider $q_B(G)$ for planar and outerplanar graphs in terms of the maximum degree $Δ= Δ(G)$. We prove that $q_B(G)\le 2Δ+8$ for planar graphs, $q_B(G)\le 2Δ$ for bipartite planar graphs and $q_B(G)\le Δ+1$ for outerplanar graphs with $Δ\ge 4$. We conjecture that, for $Δ$ sufficiently large, $q_B(G)\le 2Δ(G)$ for planar $G$ and $q_B(G)\le Δ(G)$ for outerplanar $G$.

math.CO↗
arXiv2025

Tiling randomly perturbed multipartite graphs

A perfect $K_r$-tiling in a graph $G$ is a collection of vertex-disjoint copies of the graph $K_r$ in $G$ that covers all vertices of $G$. In this paper, we prove that the threshold for the existence of a perfect $K_{r}$-tiling of a randomly perturbed balanced $r$-partite graph on $rn$ vertices is $n^{-2/r}$. This result is a multipartite analog of a theorem of Balogh, Treglown, and Wagner and extends our previous result, which was limited to the bipartite setting.

math.CO↗
arXiv2025

Splits with forbidden subgraphs

In this note, we fix a graph $H$ and ask into how many vertices can each vertex of a clique of size $n$ can be "split" such that the resulting graph is $H$-free. Formally: A graph is an $(n,k)$-graph if its vertex sets is a pairwise disjoint union of $n$ parts of size at most $k$ each such that there is an edge between any two distinct parts. Let $$ f(n,H) = \min \{k \in \mathbb N : \mbox{there is an $(n,k)$-graph $G$ such that $H\not\subseteq G$}\} . $$ Barbanera and Ueckerdt observed that $f(n, H)=2$ for any graph $H$ that is not bipartite. If a graph $H$ is bipartite and has a well-defined Turán exponent, i.e., ${\rm ex}(n, H) = Θ(n^r)$ for some $r$, we show that $Ω(n^{2/r -1}) = f(n, H) = O (n^{2/r-1} \log ^{1/r} n)$. We extend this result to all bipartite graphs for which an upper and a lower Turán exponents do not differ by much. In addition, we prove that $f(n, K_{2,t}) =Θ(n^{1/3})$ for any fixed $t$.

math.CO↗
arXiv2024

Tiling randomly perturbed bipartite graphs

A perfect $H$-tiling in a graph $G$ is a collection of vertex-disjoint copies of a graph $H$ in $G$ that covers all vertices of $G$. Motivated by papers of Bush and Zhao and of Balogh, Treglown, and Wagner, we determine the threshold for the existence of a perfect $K_{h,h}$-tiling of a randomly perturbed bipartite graph with linear minimum degree.

math.CO↗
arXiv2024

On the proper rainbow saturation numbers of cliques, paths, and odd cycles

Given a graph $H$, we say a graph $G$ is properly rainbow $H$-saturated if there is a proper edge-coloring of $G$ which contains no rainbow copy of $H$, but adding any edge to $G$ makes such an edge-coloring impossible. The proper rainbow saturation number, denoted $\text{sat}^*(n,H)$, is the minimum number of edges in an $n$-vertex rainbow $H$-saturated graph. We determine the proper rainbow saturation number for paths up to an additive constant and asymptotically determine $\text{sat}^*(n,K_4)$. In addition, we bound $\text{sat}^*(n,H)$ when $H$ is a larger clique, tree of diameter at least 4, or odd cycle.

math.CO↗
arXiv2024

A note on the Erdős Matching Conjecture

The Erd\H os Matching Conjecture states that the maximum size $f(n,k,s)$ of a family $\mathcal{F}\subseteq \binom{[n]}{k}$ that does not contain $s$ pairwise disjoint sets is $\max\{|\mathcal{A}_{k,s}|,|\mathcal{B}_{n,k,s}|\}$, where $\mathcal{A}_{k,s}=\binom{[sk-1]}{k}$ and $\mathcal{B}_{n,k,s}=\{B\in \binom{[n]}{k}:B\cap [s-1]\neq \emptyset\}$. The case $s=2$ is simply the Erdős-Ko-Rado theorem on intersecting families and is well understood. The case $n=sk$ was settled by Kleitman and the uniqueness of the extremal construction was obtained by Frankl. Most results in this area show that if $k,s$ are fixed and $n$ is large enough, then the conjecture holds true. Exceptions are due to Frankl who proved the conjecture and considered variants for $n\in [sk,sk+c_{s,k}]$ if $s$ is large enough compared to $k$. A recent manuscript by Guo and Lu considers non-trivial families with matching number at most $s$ in a similar range of parameters. In this short note, we are concerned with the case $s\ge 3$ fixed, $k$ tending to infinity and $n\in\{sk,sk+1\}$. For $n=sk$, we show the stability of the unique extremal construction of size $\binom{sk-1}{k}=\frac{s-1}{s}\binom{sk}{k}$ with respect to minimal degree. As a consequence we derive $\lim\limits_{k\rightarrow \infty}\frac{f(sk+1,k,s)}{\binom{sk+1}{k}}<\frac{s-1}{s}-\varepsilon_s$ for some positive constant $\varepsilon_s$ which depends only on $s$.

math.CO↗
arXiv2024

On a generalization of a result of Kleitman

A classical result of Kleitman determines the maximum number $f(n,s)$ of subsets in a family $\mathcal{F}\subseteq 2^{[n]}$ of sets that do not contain distinct sets $F_1,F_2,\dots,F_s$ that are pairwise disjoint in the case $n\equiv 0,-1$ (mod $s$). Katona and Nagy determined the maximum size of a family of subsets of an $n$-element set that does not contain $A_1,A_2,\dots,A_t,B_1,B_2,\dots,B_t$ with $\bigcup_{i=1}^t A_i$ and $\bigcup_{i=1}^t B_i$ being disjoint. In this paper, we consider the problem of finding the maximum number $vex(n,K_{s\times t})$ in a family $\mathcal{F}\subseteq 2^{[n]}$ without sets $F^1_1,\dots,F^1_t,\dots,F^s_1,\dots,F^s_t$ such that $G_j=\bigcup_{i=1}^tF^j_i$ $j=1,2,\dots,s$ are pairwise disjoint. We determine the asymptotics of $2^n-vex(n,K_{s\times t})$ if $n\equiv -1$ (mod $s$) for all $t$, and if $n\equiv 0$ (mod $s$), $t\ge 3$ and show that in this latter case the asymptotics of the $t=2$ subcase is different from both the $t=1$ and $t\ge 3$ subcases.

math.CO↗
arXiv2024

Saturation of $k$-chains in the Boolean lattice

Given a set $X$, a collection $\mathcal{F} \subset \mathcal{P}(X)$ is said to be $k$-Sperner if it does not contain a chain of length $k+1$ under set inclusion and it is saturated if it is maximal with respect to this probability. Gerbner et al. proved that the smallest saturated $k$-Sperner system contains at least $2^{k/2-1}$ elements, and later, Morrison, Noel, and Scott showed that the smallest such set contains no more than $2^{0.976723k}$ elements. We improve both the upper and lower bounds, showing that the size of the smallest saturated $k$-Sperner system lies between $\sqrt{k}2^{k/2}$ and $2^{0.961471k}$.

math.CO↗
arXiv2023

The maximum number of odd cycles in a planar graph

How many copies of a fixed odd cycle, $C_{2m+1}$, can a planar graph contain? We answer this question asymptotically for $m\in\{2,3,4\}$ and prove a bound which is tight up to a factor of $3/2$ for all other values of $m$. This extends the prior results of Cox--Martin and Lv et al. on the analogous question for even cycles. Our bounds result from a reduction to the following maximum likelihood question: which probability mass $μ$ on the edges of some clique maximizes the probability that $m$ edges sampled independently from $μ$ form either a cycle or a path?

math.CO↗
arXiv2023

On the rainbow planar Turán number of paths

An edge-colored graph is said to contain a rainbow-$F$ if it contains $F$ as a subgraph and every edge of $F$ is a distinct color. The problem of maximizing edges among $n$-vertex properly edge-colored graphs not containing a rainbow-$F$, known as the rainbow Turán problem, was initiated by Keevash, Mubayi, Sudakov and Verstraëte. We investigate a variation of this problem with the additional restriction that the graph is planar, and we denote the corresponding extremal number by $\ex_{\p}^*(n,F)$. In particular, we determine $\ex_{\p}^*(n,P_5)$, where $P_5$ denotes the $5$-vertex path.

math.CO↗
arXiv2022

Induced and non-induced poset saturation problems

A subfamily $\mathcal{G}\subseteq \mathcal{F}\subseteq 2^{[n]}$ of sets is a non-induced (weak) copy of a poset $P$ in $\mathcal{F}$ if there exists a bijection $i:P\rightarrow \mathcal{G}$ such that $p\le_P q$ implies $i(p)\subseteq i(q)$. In the case where in addition $p\le_P q$ holds if and only if $i(p)\subseteq i(q)$, then $\mathcal{G}$ is an induced (strong) copy of $P$ in $\mathcal{F}$. We consider the minimum number $sat(n,P)$ [resp.\ $sat^*(n,P)$] of sets that a family $\mathcal{F}\subseteq 2^{[n]}$ can have without containing a non-induced [induced] copy of $P$ and being maximal with respect to this property, i.e., the addition of any $G\in 2^{[n]}\setminus \mathcal{F}$ creates a non-induced [induced] copy of $P$. We prove for any finite poset $P$ that $sat(n,P)\le 2^{|P|-2}$, a bound independent of the size $n$ of the ground set. For induced copies of $P$, there is a dichotomy: for any poset $P$ either $sat^*(n,P)\le K_P$ for some constant depending only on $P$ or $sat^*(n,P)\ge \log_2 n$. We classify several posets according to this dichotomy, and also show better upper and lower bounds on $sat(n,P)$ and $sat^*(n,P)$ for specific classes of posets. Our main new tool is a special ordering of the sets based on the colexicographic order. It turns out that if $P$ is given, processing the sets in this order and adding the sets greedily into our family whenever this does not ruin non-induced [induced] $P$-freeness, we tend to get a small size non-induced [induced] $P$-saturating family.

math.CO↗
arXiv2022

Counting paths, cycles and blow-ups in planar graphs

For a planar graph $H$, let $\operatorname{\mathbf{N}}_{\mathcal P}(n,H)$ denote the maximum number of copies of $H$ in an $n$-vertex planar graph. In this paper, we prove that $\operatorname{\mathbf{N}}_{\mathcal P}(n,P_7)\sim{4\over 27}n^4$, $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_6)\sim(n/3)^3$, $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_8)\sim(n/4)^4$ and $\operatorname{\mathbf{N}}_{\mathcal P}(n,K_4\{1\})\sim(n/6)^6$, where $K_4\{1\}$ is the $1$-subdivision of $K_4$. In addition, we obtain significantly improved upper bounds on $\operatorname{\mathbf{N}}_{\mathcal P}(n,P_{2m+1})$ and $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_{2m})$ for $m\geq 4$. For a wide class of graphs $H$, the key technique developed in this paper allows us to bound $\operatorname{\mathbf{N}}_{\mathcal P}(n,H)$ in terms of an optimization problem over weighted graphs.

math.CO↗
arXiv2022

Accumulation points of the edit distance function

Given a hereditary property $\mathcal H$ of graphs and some $p\in[0,1]$, the edit distance function $\operatorname{ed}_{\mathcal H}(p)$ is (asymptotically) the maximum proportion of "edits" (edge-additions plus edge-deletions) necessary to transform any graph of density $p$ into a member of $\mathcal H$. For any fixed $p\in[0,1]$, $\operatorname{ed}_{\mathcal H}(p)$ can be computed from an object known as a colored regularity graph (CRG). This paper is concerned with those points $p\in[0,1]$ for which infinitely many CRGs are required to compute $\operatorname{ed}_{\mathcal H}$ on any open interval containing $p$; such a $p$ is called an accumulation point. We show that, as expected, $p=0$ and $p=1$ are indeed accumulation points for some hereditary properties; we additionally determine the slope of $\operatorname{ed}_{\mathcal H}$ at these two extreme points. Unexpectedly, we construct a hereditary property with an accumulation point at $p=1/4$. Finally, we derive a significant structural property about those CRGs which occur at accumulation points.

math.CO↗