arXiv subjects

Lior Gishboliner

Publications and source records attributed to Lior Gishboliner.

61 records · Page 4Linked to original sources

arXiv2019

The Minrank of Random Graphs over Arbitrary Fields

The minrank of a graph $G$ on the set of vertices $[n]$ over a field $\mathbb{F}$ is the minimum possible rank of a matrix $M\in\mathbb{F}^{n\times n}$ with nonzero diagonal entries such that $M_{i,j}=0$ whenever $i$ and $j$ are distinct nonadjacent vertices of $G$. This notion, over the real field, arises in the study of the Lovász theta function of a graph. We obtain tight bounds for the typical minrank of the binomial random graph $G(n,p)$ over any finite or infinite field, showing that for every field $\mathbb{F}=\mathbb F(n)$ and every $p=p(n)$ satisfying $n^{-1} \leq p \leq 1-n^{-0.99}$, the minrank of $G=G(n,p)$ over $\mathbb{F}$ is $Θ(\frac{n \log (1/p)}{\log n})$ with high probability. The result for the real field settles a problem raised by Knuth in 1994. The proof combines a recent argument of Golovnev, Regev, and Weinstein, who proved the above result for finite fields of size at most $n^{O(1)}$, with tools from linear algebra, including an estimate of Rónyai, Babai, and Ganapathy for the number of zero-patterns of a sequence of polynomials.

math.CO↗

arXiv2017

A Generalized Turán Problem and its Applications

The investigation of conditions guaranteeing the appearance of cycles of certain lengths is one of the most well-studied topics in graph theory. In this paper we consider a problem of this type which asks, for fixed integers ${\ell}$ and $k$, how many copies of the $k$-cycle guarantee the appearance of an $\ell$-cycle? Extending previous results of Bollobás--Győri--Li and Alon--Shikhelman, we fully resolve this problem by giving tight (or nearly tight) bounds for all values of $\ell$ and $k$. We also present a somewhat surprising application of the above mentioned estimates to the study of the graph removal lemma. Prior to this work, all bounds for removal lemmas were either polynomial or there was a tower-type gap between the best known upper and lower bounds. We fill this gap by showing that for every super-polynomial function $f(\varepsilon)$, there is a family of graphs ${\cal F}$, such that the bounds for the ${\cal F}$ removal lemma are precisely given by $f(\varepsilon)$. We thus obtain the first examples of removal lemmas with tight super-polynomial bounds. A special case of this result resolves a problem of Alon and the second author, while another special case partially resolves a problem of Goldreich.

math.CO↗

arXiv2017

The Removal Lemma for Tournaments

Suppose one needs to change the direction of at least $εn^2$ edges of an $n$-vertex tournament $T$, in order to make it $H$-free. A standard application of the regularity method shows that in this case $T$ contains at least $f^*_H(ε)n^h$ copies of $H$, where $f^*_H$ is some tower-type function. It has long been observed that many graph/digraph problems become easier when assuming that the host graph is a tournament. It is thus natural to ask if the removal lemma becomes easier if we assume that the digraph $G$ is a tournament. Our main result here is a precise characterization of the tournaments $H$ for which $f^*_H(ε)$ is polynomial in $ε$, stating that such a bound is attainable if and only if $H$'s vertex set can be partitioned into two sets, each spanning an acyclic directed graph. The proof of this characterization relies, among other things, on a novel application of a regularity lemma for matrices due to Alon, Fischer and Newman, and on probabilistic variants of Ruzsa-Szemerédi graphs. We finally show that even when restricted to tournaments, deciding if $H$ satisfies the condition of our characterization is an NP-hard problem.

math.CO↗

arXiv2017

Efficient Removal without Efficient Regularity

Obtaining an efficient bound for the triangle removal lemma is one of the most outstanding open problems of extremal combinatorics. Perhaps the main bottleneck for achieving this goal is that triangle-free graphs can be highly unstructured. For example, triangle-free graphs might have only regular partitions (in the sense of Szemerédi) of tower-type size. And indeed, essentially all the graph properties ${\cal P}$ for which removal lemmas with reasonable bounds were obtained, are such that every graph satisfying ${\cal P}$ has a small regular partition. So in some sense, a barrier for obtaining an efficient removal lemma for property ${\cal P}$ was having an efficient regularity lemma for graphs satisfying ${\cal P}$. In this paper we consider the property of being induced $C_4$-free, which also suffers from the fact that a graph might satisfy this property but still have only regular partitions of tower-type size. By developing a new approach for this problem we manage to overcome this barrier and thus obtain a merely exponential bound for the induced $C_4$ removal lemma. We thus obtain the first efficient removal lemma that does not rely on an efficient version of the regularity lemma. This is the first substantial progress on a problem raised by Alon in 2001, and more recently by Alon, Conlon and Fox.

math.CO↗

arXiv2017

On MAXCUT in strictly supercritical random graphs, and coloring of random graphs and random tournaments

We use a theorem by Ding, Lubetzky and Peres describing the structure of the giant component of random graphs in the strictly supercritical regime, in order to determine the typical size of MAXCUT of $G\sim G\left(n,\frac {1+\varepsilon}n\right)$ in terms of $\varepsilon$. We then apply this result to prove the following conjecture by Frieze and Pegden. For every $\varepsilon>0$ there exists $\ell_\varepsilon$ such that \whp $G\sim G(n,\frac {1+\varepsilon}n)$ is not homomorphic to the cycle on $2\ell_\varepsilon+1$ vertices. We also consider the coloring properties of biased random tournaments. A $p$-random tournament on $n$ vertices is obtained from the transitive tournament by reversing each edge independently with probability $p$. We show that for $p=Θ(\frac 1n)$ the chromatic number of a $p$-random tournament behaves similarly to that of a random graph with the same edge probability. To treat the case $p=\frac {1+\varepsilon}n$ we use the aforementioned result on MAXCUT.

math.CO↗

arXiv2016

Removal Lemmas with Polynomial Bounds

A common theme in many extremal problems in graph theory is the relation between local and global properties of graphs. One of the most celebrated results of this type is the Ruzsa-Szemerédi triangle removal lemma, which states that if a graph is $\varepsilon$-far from being triangle free, then most subsets of vertices of size $C(\varepsilon)$ are not triangle free. Unfortunately, the best known upper bound on $C(\varepsilon)$ is given by a tower-type function, and it is known that $C(\varepsilon)$ is not polynomial in $\varepsilon^{-1}$. The triangle removal lemma has been extended to many other graph properties, and for some of them the corresponding function $C(\varepsilon)$ is polynomial. This raised the natural question, posed by Goldreich in 2005 and more recently by Alon and Fox, of characterizing the properties for which one can prove removal lemmas with polynomial bounds. Our main results in this paper are new sufficient and necessary criteria for guaranteeing that a graph property admits a removal lemma with a polynomial bound. Although both are simple combinatorial criteria, they imply almost all prior positive and negative results of this type. Moreover, our new sufficient conditions allow us to obtain polynomially bounded removal lemmas for many properties for which the previously known bounds were of tower-type. In particular, we show that every {\em semi-algebraic} graph property admits a polynomially bounded removal lemma. This confirms a conjecture of Alon.

math.CO↗

arXiv2013

Deterministic vs Non-deterministic Graph Property Testing

A graph property P is said to be testable if one can check if a graph is close or far from satisfying P using few random local inspections. Property P is said to be non-deterministically testable if one can supply a "certificate" to the fact that a graph satisfies P so that once the certificate is given its correctness can be tested. The notion of non-deterministic testing of graph properties was recently introduced by Lovasz and Vesztergombi, who proved that (somewhat surprisingly) a graph property is testable if and only if it is non-deterministically testable. Their proof used graph limits, and so it did not supply any explicit bounds. They thus asked if one can obtain a proof of their result which will supply such bounds. We answer their question positively by proving their result using Szemeredi's regularity lemma. An interesting aspect of our proof is that it highlights the fact that the regularity lemma can be interpreted as saying that all graphs can be approximated by finitely many "template" graphs.

math.CO↗