Source author record

Ryan R. Martin

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

43works
3topics
4close collaborators

Published work

43 publications

preprint2022arXiv

Accumulation points of the edit distance function

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

preprint2022arXiv

Counting paths, cycles and blow-ups in planar graphs

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

preprint2022arXiv

Induced and non-induced poset saturation problems

A subfamily G⊆F⊆2[n]\mathcal{G}\subseteq \mathcal{F}\subseteq 2^{[n]} of sets is a non-induced (weak) copy of a poset PP in F\mathcal{F} if there exists a bijection i:P→Gi:P\rightarrow \mathcal{G} such that p≤Pqp\le_P q implies i(p)⊆i(q)i(p)\subseteq i(q). In the case where in addition p≤Pqp\le_P q holds if and only if i(p)⊆i(q)i(p)\subseteq i(q), then G\mathcal{G} is an induced (strong) copy of PP in F\mathcal{F}. We consider the minimum number sat(n,P)sat(n,P) [resp.\ sat∗(n,P)sat^*(n,P)] of sets that a family F⊆2[n]\mathcal{F}\subseteq 2^{[n]} can have without containing a non-induced [induced] copy of PP and being maximal with respect to this property, i.e., the addition of any G∈2[n]∖FG\in 2^{[n]}\setminus \mathcal{F} creates a non-induced [induced] copy of PP. We prove for any finite poset PP that sat(n,P)≤2∣P∣−2sat(n,P)\le 2^{|P|-2}, a bound independent of the size nn of the ground set. For induced copies of PP, there is a dichotomy: for any poset PP either sat∗(n,P)≤KPsat^*(n,P)\le K_P for some constant depending only on PP or sat∗(n,P)≥log⁡2nsat^*(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)sat(n,P) and sat∗(n,P)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 PP is given, processing the sets in this order and adding the sets greedily into our family whenever this does not ruin non-induced [induced] PP-freeness, we tend to get a small size non-induced [induced] PP-saturating family.

preprint2020arXiv

On the edit distance function of the random graph

Given a hereditary property of graphs H\mathcal{H} and a p∈[0,1]p\in [0,1], the edit distance function edH(p){\rm ed}_{\mathcal{H}}(p) is asymptotically the maximum proportion of edge-additions plus edge-deletions applied to a graph of edge density pp sufficient to ensure that the resulting graph satisfies H\mathcal{H}. The edit distance function is directly related to other well-studied quantities such as the speed function for H\mathcal{H} and the H\mathcal{H}-chromatic number of a random graph. Let H\mathcal{H} be the property of forbidding an Erdős-Rényi random graph F∼G(n0,p0)F\sim \mathbb{G}(n_0,p_0), and let φφ represent the golden ratio. In this paper, we show that if p0∈[1−1/φ,1/φ]p_0\in [1-1/φ,1/φ], then a.a.s. as n0→∞n_0\to\infty, \begin{align*} {\rm ed}_{\mathcal{H}}(p) = (1+o(1))\,\frac{2\log n_0}{n_0} \cdot\min\left\{ \frac{p}{-\log(1-p_0)}, \frac{1-p}{-\log p_0} \right\}. \end{align*} Moreover, this holds for p∈[1/3,2/3]p\in [1/3,2/3] for any p0∈(0,1)p_0\in (0,1).

preprint2020arXiv

Planar Turán number of the 6-cycle

Let exP(n,T,H){\rm ex}_{\mathcal{P}}(n,T,H) denote the maximum number of copies of TT in an nn-vertex planar graph which does not contain HH as a subgraph. When T=K2T=K_2, exP(n,T,H){\rm ex}_{\mathcal{P}}(n,T,H) is the well studied function, the planar Turán number of HH, denoted by exP(n,H){\rm ex}_{\mathcal{P}}(n,H). The topic of extremal planar graphs was initiated by Dowden (2016). He obtained sharp upper bound for both exP(n,C4){\rm ex}_{\mathcal{P}}(n,C_4) and exP(n,C5){\rm ex}_{\mathcal{P}}(n,C_5). Later on, Y. Lan, et al. continued this topic and proved that exP(n,C6)≤18(n−2)7{\rm ex}_{\mathcal{P}}(n,C_6)\leq \frac{18(n-2)}{7}. In this paper, we give a sharp upper bound exP(n,C6)≤52n−7{\rm ex}_{\mathcal{P}}(n,C_6) \leq \frac{5}{2}n-7, for all n≥18n\geq 18, which improves Lan's result. We also pose a conjecture on exP(n,Ck){\rm ex}_{\mathcal{P}}(n,C_k), for k≥7k\geq 7.

preprint2019arXiv

Ore and Chvátal-type Degree Conditions for Bootstrap Percolation from Small Sets

Bootstrap percolation is a deterministic cellular automaton in which vertices of a graph~GG begin in one of two states, "dormant" or "active". Given a fixed integer rr, a dormant vertex becomes active if at any stage it has at least rr active neighbors, and it remains active for the duration of the process. Given an initial set of active vertices AA, we say that GG rr-percolates (from AA) if every vertex in GG becomes active after some number of steps. Let m(G,r)m(G,r) denote the minimum size of a set AA such that GG rr-percolates from AA. Bootstrap percolation has been studied in a number of settings, and has applications to both statistical physics and discrete epidemiology. Here, we are concerned with degree-based density conditions that ensure m(G,2)=2m(G,2)=2. In particular, we give an Ore-type degree sum result that states that if a graph GG satisfies σ2(G)≥n−2σ_2(G)\ge n-2, then either m(G,2)=2m(G,2)=2 or GG is in one of a small number of classes of exceptional graphs. We also give a Chvátal-type degree condition: If GG is a graph with degree sequence d1≤d2≤⋯≤dnd_1\le d_2\le\dots\le d_n such that di≥i+1d_i \geq i+1 or dn−i≥n−i−1d_{n-i} \geq n-i-1 for all 1≤i<n21 \leq i < \frac{n}{2}, then m(G,2)=2m(G,2)=2 or GG falls into one of several specific exceptional classes of graphs. Both of these results are inspired by, and extend, an Ore-type result in [D. Freund, M. Poloczek, and D. Reichman, Contagious sets in dense graphs, to appear in European J. Combin.]

preprint2018arXiv

On difference graphs and the local dimension of posets

The dimension of a partially-ordered set (poset), introduced by Dushnik and Miller (1941), has been studied extensively in the literature. Recently, Ueckerdt (2016) proposed a variation called local dimension which makes use of partial linear extensions. While local dimension is bounded above by dimension, they can be arbitrarily far apart as the dimension of the standard example is nn while its local dimension is only 33. Hiraguchi (1955) proved that the maximum dimension of a poset of order nn is n/2n/2. However, we find a very different result for local dimension, proving a bound of Θ(n/log⁡n)Θ(n/\log n). This follows from connections with covering graphs using difference graphs which are bipartite graphs whose vertices in a single class have nested neighborhoods. We also prove that the local dimension of the nn-dimensional Boolean lattice is Ω(n/log⁡n)Ω(n/\log n) and make progress toward resolving a version of the removable pair conjecture for local dimension.

preprint2018arXiv

Polychromatic Colorings on the Integers

We show that for any set S⊆ZS\subseteq \mathbb{Z}, ∣S∣=4|S|=4 there exists a 3-coloring of Z\mathbb{Z} in which every translate of SS receives all three colors. This implies that SS has a codensity of at most 1/31/3, proving a conjecture of Newman [D. J. Newman, Complements of finite sets of integers, Michigan Math. J. 14 (1967) 481--486]. We also consider related questions in Zd\mathbb{Z}^d, d≥2d\geq 2.

preprint2016arXiv

Q2Q_2-free families in the Boolean lattice

For a family F\mathcal{F} of subsets of [n]=\{1, 2, ..., n} ordered by inclusion, and a partially ordered set P, we say that F\mathcal{F} is P-free if it does not contain a subposet isomorphic to P. Let ex(n,P)ex(n, P) be the largest size of a P-free family of subsets of [n]. Let Q2Q_2 be the poset with distinct elements a, b, c, d, a<b, c<d; i.e., the 2-dimensional Boolean lattice. We show that 2N−o(N)≤ex(n,Q2)≤2.283261N+o(N),2N -o(N) \leq ex(n, Q_2)\leq 2.283261N +o(N), where N=(n⌊n/2⌋)N = \binom{n}{\lfloor n/2 \rfloor}. We also prove that the largest Q2Q_2-free family of subsets of [n] having at most three different sizes has at most 2.20711N members.

preprint2016arXiv

A note on GG-intersecting families

Consider a graph GG and a kk-uniform hypergraph H\mathcal{H} on common vertex set [n][n]. We say that H\mathcal{H} is GG-intersecting if for every pair of edges in X,Y∈HX,Y \in \mathcal{H} there are vertices x∈Xx \in X and y∈Yy \in Y such that x=yx = y or xx and yy are joined by an edge in GG. This notion was introduced by Bohman, Frieze, Ruszinkó and Thoma who proved a natural generalization of the Erdős-Ko-Rado Theorem for GG-intersecting kk-uniform hypergraphs for GG sparse and k=O(n1/4)k = O( n^{1/4} ). In this note, we extend this result to k=O(n)k = O\left( \sqrt{n} \right).

preprint2016arXiv

A note on short cycles in a hypercube

How many edges can a quadrilateral-free subgraph of a hypercube have? This question was raised by Paul Erdős about 2727 years ago. His conjecture that such a subgraph asymptotically has at most half the edges of a hypercube is still unresolved. Let f(n,Cl)f(n,C_l) be the largest number of edges in a subgraph of a hypercube QnQ_n containing no cycle of length ll. It is known that f(n,Cl)=o(∣E(Qn)∣)f(n, C_l) = o(|E(Q_n)|), when l=4kl= 4k, k≥2k\geq 2 and that f(n,C6)≥13∣E(Qn)∣f(n, C_6) \geq \frac{1}{3} |E(Q_n)|. It is an open question to determine f(n,Cl)f(n, C_l) for l=4k+2l=4k+2, k≥2k\geq 2. Here, we give a general upper bound for f(n,Cl)f(n,C_l) when l=4k+2l=4k+2 and provide a coloring of E(Qn)E(Q_n) by 44 colors containing no induced monochromatic C10C_{10}.

preprint2016arXiv

A version of Szemerédi's regularity lemma for multicolored graphs and directed graphs that is suitable for induced graphs

In this manuscript we develop a version of Szemerédi's regularity lemma that is suitable for analyzing multicolorings of complete graphs and directed graphs. In this, we follow the proof of Alon, Fischer, Krivelevich and M. Szegedy [Combinatorica, 20(4) (2000), 451--476] who prove a similar result for graphs. The purpose is to extend classical results on dense hereditary properties, such as the speed of the property or edit distance, to the above-mentioned combinatorial objects.

preprint2016arXiv

Avoiding patterns in matrices via a small number of changes

Let A={A1,…,Ar}{\cal A}=\{A_1,\ldots, A_r\} be a partition of a set {1,…,m}×{1,…,n}\{1,\ldots,m\}\times\{1,\ldots, n\} into rr nonempty subsets, and A=(aij)A=(a_{ij}) be an m×nm\times n matrix. We say that AA has a pattern A{\cal A} provided that aij=ai′j′a_{ij}=a_{i'j'} if and only if (i,j),(i′,j′)∈At(i,j),(i',j')\in A_t for some t∈{1,…,r}t\in\{1,\ldots,r\}. In this note we study the following function ff defined on the set of all m×nm\times n matrices MM with ss distinct entries: f(M;A)f(M; {\cal A}) is the smallest number of positions where the entries of MM need to be changed such that the resulting matrix does not have any submatrix with pattern A{\cal A}. We give an asymptotically tight value for $$ f(m,n; s, {\cal A}) = \max\{f(M; {\cal A}): M \mbox{ is an } m\times n\mbox{ matrix with at most } s \mbox{ distinct entries}\} . $$

preprint2016arXiv

Edit distance and its computation

In this paper, we provide a method for determining the asymptotic value of the maximum edit distance from a given hereditary property. This method permits the edit distance to be computed without using Szemerédi's Regularity Lemma directly. Using this new method, we are able to compute the edit distance from hereditary properties for which it was previously unknown. For some graphs HH, the edit distance from Forb(H){\rm Forb}(H) is computed, where forb(H){\rm forb}(H) is the class of graphs which contain no induced copy of graph HH. Those graphs for which we determine the edit distance asymptotically are H=Ka+EbH=K_a+E_b, an aa-clique with bb isolated vertices, and H=K3,3H=K_{3,3}, a complete bipartite graph. We also provide a graph, the first such construction, for which the edit distance cannot be determined just by considering partitions of the vertex set into cliques and cocliques. In the process, we develop weighted generalizations of Turán's theorem, which may be of independent interest.

preprint2016arXiv

Expected values of parameters associated with the minimum rank of a graph

We investigate the expected value of various graph parameters associated with the minimum rank of a graph, including minimum rank/maximum nullity and related Colin de Verdière-type parameters. Let G(v,p)G(v,p) denote the usual Erdős-Rényi random graph on vv vertices with edge probability pp. We obtain bounds for the expected value of the random variables mr(G(v,p)){\rm mr}(G(v,p)), M(G(v,p)){\rm M}(G(v,p)), ν(G(v,p))ν(G(v,p)) and ξ(G(v,p))ξ(G(v,p)), which yield bounds on the average values of these parameters over all labeled graphs of order vv.

preprint2016arXiv

How many random edges make a dense graph hamiltonian?

This paper investigates the number of random edges required to add to an arbitrary dense graph in order to make the resulting graph hamiltonian with high probability. Adding Θ(n)Θ(n) random edges is both necessary and sufficient to ensure this for all such dense graphs. If, however, the original graph contains no large independent set, then many fewer random edges are required. We prove a similar result for directed graphs.

preprint2016arXiv

Multicolor and directed edit distance

The editing of a combinatorial object is the alteration of some of its elements such that the resulting object satisfies a certain fixed property. The edit problem for graphs, when the edges are added or deleted, was first studied independently by the authors and Kézdy [J. Graph Theory (2008), 58(2), 123--138] and by Alon and Stav [Random Structures Algorithms (2008), 33(1), 87--104]. In this paper, a generalization of graph editing is considered for multicolorings of the complete graph as well as for directed graphs. Specifically, the number of edge-recolorings sufficient to be performed on any edge-colored complete graph to satisfy a given hereditary property is investigated. The theory for computing the edit distance is extended using random structures and so-called types or colored homomorphisms of graphs.

preprint2016arXiv

On Avoider-Enforcer games

In the Avoider-Enforcer game on the complete graph KnK_n, the players (Avoider and Enforcer) each take an edge in turn. Given a graph property P\mathcal{P}, Enforcer wins the game if Avoider's graph has the property P\mathcal{P}. An important parameter is τE(P)τ_E({\cal P}), the smallest integer tt such that Enforcer can win the game against any opponent in tt rounds. In this paper, let F\mathcal{F} be an arbitrary family of graphs and P\mathcal{P} be the property that a member of F\mathcal{F} is a subgraph or is an induced subgraph. We determine the asymptotic value of τE(P)τ_E(\mathcal{P}) when F\mathcal{F} contains no bipartite graph and establish that τE(P)=o(n2)τ_E(\mathcal{P})=o(n^2) if F\mathcal{F} contains a bipartite graph. The proof uses the game of JumbleG and the Szemerédi Regularity Lemma.

preprint2016arXiv

On randomly generated intersecting hypergraphs II

Let cc be a positive constant. Suppose that r=o(n5/12)r=o(n^{5/12}) and the members of ([n]r)\binom{[n]}{r} are chosen sequentially at random to form an intersecting hypergraph H\mathcal{H}. We show that whp H\mathcal{H} consists of a simple hypergraph S\mathcal{S} of size Θ(r/n1/3)Θ(r/n^{1/3}), a distinguished vertex vv and all rr-sets which contain vv and meet every edge of S\mathcal{S}. This is a continuation of the study of such random intersecting systems started in [Electron. J. Combin, (2003) R29] where the case r=O(n1/3)r=O(n^{1/3}) was considered. To obtain the stated result we continue to investigate this question in the range ω(n1/3)≤r≤o(n5/12)ω(n^{1/3})\le r \le o(n^{5/12}).

preprint2016arXiv

On the complexity of Chooser-Picker positional games

Two new versions of the so-called Maker-Breaker Positional Games are defined by József Beck in [{\em Combinatorica} {\bf 22}(2) (2002) 169--216]. He defines two players, Picker and Chooser. In each round, Picker takes a pair of elements not already selected and Chooser keeps one and returns the other to Picker. In the Picker-Chooser version Picker plays as Maker and Chooser plays as Breaker, while the roles are swapped in the Chooser-Picker version. The outcome of these games is sometimes very similar to that of the traditional Maker-Breaker games. Here we show that both Picker-Chooser and Chooser-Picker games are NP-hard, which gives support to the paradigm that the games behave similarly while being quite different in definition. We also investigate the pairing strategies for Maker-Breaker games, and apply these results to the game called "Snaky."

preprint2016arXiv

On the computation of edit distance functions

The edit distance between two graphs on the same labeled vertex set is the size of the symmetric difference of the edge sets. The edit distance function of the hereditary property, H\mathcal{H}, is a function of p∈[0,1]p\in[0,1] and is the limit of the maximum normalized distance between a graph of density pp and H\mathcal{H}. This paper uses the symmetrization method of Sidorenko in order to compute the edit distance function of various hereditary properties. For any graph HH, Forb(H){\rm Forb}(H) denotes the property of not having an induced copy of HH. We compute the edit distance function for Forb(H){\rm Forb}(H), where HH is any split graph, and the graph H9H_9, a graph first used to describe the difficulties in computing the edit distance function.

preprint2016arXiv

On the editing distance of graphs

An edge-operation on a graph GG is defined to be either the deletion of an existing edge or the addition of a nonexisting edge. Given a family of graphs G\mathcal{G}, the editing distance from GG to G\mathcal{G} is the smallest number of edge-operations needed to modify GG into a graph from G\mathcal{G}. In this paper, we fix a graph HH and consider Forb(n,H){\rm Forb}(n,H), the set of all graphs on nn vertices that have no induced copy of HH. We provide bounds for the maximum over all nn-vertex graphs GG of the editing distance from GG to Forb(n,H){\rm Forb}(n,H), using an invariant we call the {\it binary chromatic number} of the graph HH. We give asymptotically tight bounds for that distance when HH is self-complementary and exact results for several small graphs HH.

preprint2016arXiv

On the path separation number of graphs

A path separator of a graph GG is a set of paths P={P1,…,Pt}\mathcal{P}=\{P_1,\ldots,P_t\} such that for every pair of edges e,f∈E(G)e,f\in E(G), there exist paths Pe,Pf∈PP_e,P_f\in\mathcal{P} such that e∈E(Pe)e\in E(P_e), f∉E(Pe)f\not\in E(P_e), e∉E(Pf)e\not\in E(P_f) and f∈E(Pf)f\in E(P_f). The path separation number of GG, denoted psn(G){\rm psn}(G), is the smallest number of paths in a path separator. We shall estimate the path separation number of several graph families, including complete graphs, random graph, the hypercube, and discuss general graphs as well.

preprint2016arXiv

On the strong chromatic number of graphs

The strong chromatic number, χS(G)χ_S(G), of an nn-vertex graph GG is the smallest number kk such that after adding k⌈n/k⌉−nk\lceil n/k\rceil-n isolated vertices to GG and considering {\bf any} partition of the vertices of the resulting graph into disjoint subsets V1,…,V⌈n/k⌉V_1, \ldots, V_{\lceil n/k\rceil} of size kk each, one can find a proper kk-vertex-coloring of the graph such that each part ViV_i, i=1,…,⌈n/k⌉i=1, \ldots, \lceil n/k\rceil, contains exactly one vertex of each color. For any graph GG with maximum degree ΔΔ, it is easy to see that χS(G)≥Δ+1χ_S(G)\geqΔ+1. Recently, Haxell proved that χS(G)≤3Δ−1χ_S(G) \leq 3Δ-1. In this paper, we improve this bound for graphs with large maximum degree. We show that χS(G)≤2Δχ_S(G)\leq 2Δ if Δ≥n/6Δ\geq n/6 and prove that this bound is sharp.

preprint2016arXiv

Rainbow arithmetic progressions

In this paper, we investigate the anti-Ramsey (more precisely, anti-van der Waerden) properties of arithmetic progressions. For positive integers nn and kk, the expression aw([n],k)aw([n],k) denotes the smallest number of colors with which the integers {1,…,n}\{1,\ldots,n\} can be colored and still guarantee there is a rainbow arithmetic progression of length kk. We establish that aw([n],3)=Θ(log⁡n)aw([n],3)=Θ(\log n) and aw([n],k)=n1−o(1)aw([n],k)=n^{1-o(1)} for k≥4k\geq 4. For positive integers nn and kk, the expression aw(Zn,k)aw(Z_n,k) denotes the smallest number of colors with which elements of the cyclic group of order nn can be colored and still guarantee there is a rainbow arithmetic progression of length kk. In this setting, arithmetic progressions can "wrap around," and aw(Zn,3)aw(Z_n,3) behaves quite differently from aw([n],3)aw([n],3), depending on the divisibility of nn. As shown in [Jungić et al., \textit{Combin. Probab. Comput.}, 2003], aw(Z2m,3)=3aw(Z_{2^m},3) = 3 for any positive integer mm. We establish that aw(Zn,3)aw(Z_n,3) can be computed from knowledge of aw(Zp,3)aw(Z_p,3) for all of the prime factors pp of nn. However, for k≥4k\geq 4, the behavior is similar to the previous case, that is, aw(Zn,k)=n1−o(1)aw(Z_n,k)=n^{1-o(1)}.

preprint2016arXiv

Regular colorings and factors of regular graphs

An (r−1,1)(r-1,1)-coloring of an rr-regular graph GG is an edge coloring such that each vertex is incident to r−1r-1 edges of one color and 11 edge of a different color. In this paper, we completely characterize all 44-regular pseudographs (graphs that may contain parallel edges and loops) which do not have a (3,1)(3,1)-coloring. An {r−1,1}\{r-1,1\}-factor of an rr-regular graph is a spanning subgraph in which each vertex has degree either r−1r-1 or 11. We prove various conditions that that must hold for any vertex-minimal 55-regular pseudographs without (4,1)(4,1)-colorings or without {4,1}\{4,1\}-factors. Finally, for each r≥6r\geq 6 we construct graphs that are not (r−1,1)(r-1,1)-colorable and, more generally, are not (r−t,t)(r-t,t)-colorable for small tt.

preprint2016arXiv

Sub-Ramsey numbers for arithmetic progressions

Let the integers 1,…,n1,\ldots,n be assigned colors. Szemerédi's theorem implies that if there is a dense color class then there is an arithmetic progression of length three in that color. We study the conditions on the color classes forcing totally multicolored arithmetic progressions of length 3. Let f(n)f(n) be the smallest integer kk such that there is a coloring of {1,…,n}\{1, \ldots, n\} without totally multicolored arithmetic progressions of length three and such that each color appears on at most kk integers. We provide an exact value for f(n)f(n) when nn is sufficiently large, and all extremal colorings. In particular, we show that f(n)=8n/17+O(1)f(n)= 8n/17 + O(1). This completely answers a question of Alon, Caro and Tuza.

preprint2016arXiv

The diameter game

A large class of Positional Games are defined on the complete graph on nn vertices. The players, Maker and Breaker, take the edges of the graph in turns, and Maker wins iff his subgraph has a given -- usually monotone -- property. Here we introduce the dd-diameter game, which means that Maker wins iff the diameter of his subgraph is at most dd. We investigate the biased version of the game; i.e., when the players may take more than one, and not necessarily the same number of edges, in a turn. Our main result is that we proved that the 22-diameter game has the following surprising property: Breaker wins the game in which each player chooses one edge per turn, but Maker wins as long as he is permitted to choose 22 edges in each turn whereas Breaker can choose as many as (1/9)n1/8/(ln⁡n)3/8(1/9)n^{1/8}/(\ln n)^{3/8}. In addition, we investigate dd-diameter games for d≥3d\ge 3. The diameter games are strongly related to the degree games. Thus, we also provide a generalization of the fair degree game for the biased case.

preprint2016arXiv

The edit distance function and symmetrization

The edit distance between two graphs on the same labeled vertex set is the size of the symmetric difference of the edge sets. The distance between a graph, GG, and a hereditary property, H{\cal H}, is the minimum of the distance between GG and each G′∈HG'\in{\cal H}. The edit distance function of H{\cal H} is a function of p∈[0,1]p\in[0,1] and is the limit of the maximum normalized distance between a graph of density pp and H{\cal H}. This paper develops a method, called localization, for computing the edit distance function of various hereditary properties. For any graph HH, Forb(H){\rm Forb}(H) denotes the property of not having an induced copy of HH. This paper gives some results regarding estimation of the function for an arbitrary hereditary property. This paper also gives the edit distance function for Forb(H){\rm Forb}(H), where HH is a cycle on 9 or fewer vertices.

preprint2016arXiv

The emergence of a giant component in random subgraphs of pseudo-random graphs

Let GG be a dd-regular graph GG on nn vertices. Suppose that the adjacency matrix of GG is such that the eigenvalue λλ which is second largest in absolute value satisfies λ=o(d)λ=o(d). Let GpG_p with p=αdp=\fracα{d} be obtained from GG by including each edge of GG independently with probability pp. We show that if α<1α<1 then whp the maximum component size of GpG_p is O(log⁡n)O(\log n) and if α>1α>1 then GpG_p contains a unique giant component of size Ω(n)Ω(n), with all other components of size O(log⁡n)O(\log n).

preprint2016arXiv

Tiling tripartite graphs with 3-colorable graphs

For a fixed integer h>=1, let G be a tripartite graph with N vertices in each vertex class, N divisible by 6h, such that every vertex is adjacent to at least 2N/3+h-1 vertices in each of the other classes. We show that if N is sufficiently large, then G can be tiled perfectly by copies of K_{h,h,h}. This extends the work in [19] and also gives a sufficient condition for tiling by any (fixed) 3-colorable graph. Furthermore, we show that this minimum-degree condition is best possible and provide very tight bounds when N is divisible by h but not by 6h.

preprint2015arXiv

On the Edit Distance of Powers of Cycles

The edit distance between two graphs on the same labeled vertex set is defined to be the size of the symmetric difference of the edge sets. The edit distance function of a hereditary property H\mathcal{H} is a function of p∈[0,1]p\in [0,1] that measures, in the limit, the maximum normalized edit distance between a graph of density pp and H\mathcal{H}. In this paper, we address the edit distance function for $\mbox{Forb}(H)$, where H=ChtH=C_h^t, the ttht^{\rm th} power of the cycle of length hh. For h≥2t(t+1)+1h\geq 2t(t+1)+1 and hh not divisible by t+1t+1, we determine the function for all values of pp. For h≥2t(t+1)+1h\geq 2t(t+1)+1 and hh divisible by t+1t+1, the function is obtained for all but small values of pp. We also obtain some results for smaller values of hh.

preprint2014arXiv

On the edit distance from K2,tK_{2,t}-free graphs (Extended Version)

The edit distance between two graphs on the same vertex set is defined to be the size of the symmetric difference of their edge sets. The edit distance function of a hereditary property, H\mathcal{H}, is a function of pp, and measures, asymptotically, the furthest graph of edge density pp from H\mathcal{H} under this metric. In this paper, we address the hereditary property $\forb(K_{2,t})$, the property of having no induced copy of the complete bipartite graph with 2 vertices in one class and tt in the other. Employing an assortment of techniques and colored regularity graph constructions, we are able to determine the edit distance function over the entire domain p∈[0,1]p\in [0,1] when t=3,4t=3,4 and extend the interval over which the edit distance function for $\forb(K_{2,t})$ is known for all values of tt, determining its maximum value for all odd tt. We also prove that the function for odd tt has a nontrivial interval on which it achieves its maximum. These are the only known principal hereditary properties for which this occurs. In the process of studying this class of functions, we encounter some surprising connections to extremal graph theory problems, such as strongly regular graphs and the problem of Zarankiewicz. This is an extended version of a paper with the same name now published in the Journal of Graph Theory \cite{jgt_version}. In particular, this version contains Appendix A, which has tables and graphs pertaining to the hereditary property $\forb(K_{2,t})$ for small tt, and Appendix B, which has the proofs of Lemma 31, Proposition 32, Proposition 33, and Lemma 34.

preprint2013arXiv

On the approximate shape of degree sequences that are not potentially HH-graphic

A sequence of nonnegative integers ππ is {\it graphic} if it is the degree sequence of some graph GG. In this case we say that GG is a \textit{realization} of ππ, and we write π=π(G)π=π(G). A graphic sequence ππ is {\it potentially HH-graphic} if there is a realization of ππ that contains HH as a subgraph. Given nonincreasing graphic sequences π1=(d1,…,dn)π_1=(d_1,\ldots,d_n) and π2=(s1,…,sn)π_2 = (s_1,\ldots,s_n), we say that π1π_1 {\it majorizes} π2π_2 if di≥sid_i \geq s_i for all ii, 1≤i≤n1 \leq i \leq n. In 1970, Erdős showed that for any Kr+1K_{r+1}-free graph HH, there exists an rr-partite graph GG such that π(G)π(G) majorizes π(H)π(H). In 2005, Pikhurko and Taraz generalized this notion and showed that for any graph FF with chromatic number r+1r+1, the degree sequence of an FF-free graph is, in an appropriate sense, nearly majorized by the degree sequence of an rr-partite graph. In this paper, we give similar results for degree sequences that are not potentially HH-graphic. In particular, there is a graphic sequence π∗(H)π^*(H) such that if ππ is a graphic sequence that is not potentially HH-graphic, then ππ is close to being majorized by π∗(H)π^*(H). Similar to the role played by complete multipartite graphs in the traditional extremal setting, the sequence π∗(H)π^*(H) asymptotically gives the maximum possible sum of a graphic sequence ππ that is not potentially HH-graphic.

preprint2013arXiv

Twins in graphs

A basic pigeonhole principle insures an existence of two objects of the same type if the number of objects is larger than the number of types. Can such a principle be extended to a more complex combinatorial structure? Here, we address such a question for graphs. We call two disjoint subsets A,BA, B of vertices \emph{\textbf{twins}} if they have the same cardinality and induce subgraphs of the same size. Let t(G)t(G) be the largest kk such that GG has twins on kk vertices each. We provide the bounds on t(G)t(G) in terms of the number of edges and vertices using discrepancy results for induced subgraphs. In addition, we give conditions under which t(G)=∣V(G)∣/2t(G)= |V(G)|/2 and show that if GG is a forest then t(G)≥∣V(G)∣/2−1t(G) \geq |V(G)|/2 - 1.

preprint2012arXiv

Induced Saturation Number

In this paper, we discuss a generalization of the notion of saturation in graphs in order to deal with induced structures. In particular, we define indsat(n,H){\rm indsat}(n,H), which is the fewest number of gray edges in a trigraph so that no realization of that trigraph has an induced copy of HH, but changing any white or black edge to gray results in some realization that does have an induced copy of HH. We give some general and basic results and then prove that indsat(n,P4)=⌈(n+1)/3⌉{\rm indsat}(n,P_4)=\lceil (n+1)/3\rceil for n≥4n\geq 4 where P4P_4 is the path on 4 vertices. We also show how induced saturation in this setting extends to a natural notion of saturation in the context of general Boolean formulas.

preprint2012arXiv

On diamond-free subposets of the Boolean lattice

The Boolean lattice of dimension two, also known as the diamond, consists of four distinct elements with the following property: A⊂B,C⊂DA\subset B,C\subset D. A diamond-free family in the nn-dimensional Boolean lattice is a subposet such that no four elements form a diamond. Note that elements BB and CC may or may not be related. There is a diamond-free family in the nn-dimensional Boolean lattice of size (2−o(1))(n⌊n/2⌋)(2-o(1)){n\choose\lfloor n/2\rfloor}. In this paper, we prove that any diamond-free family in the nn-dimensional Boolean lattice has size at most (2.25+o(1))(n⌊n/2⌋)(2.25+o(1)){n\choose\lfloor n/2\rfloor}. Furthermore, we show that the so-called Lubell function of a diamond-free family in the nn-dimensional Boolean lattice is at most 2.25+o(1)2.25+o(1), which is asymptotically best possible.

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.