Searcharxiv⌕ Search

arXiv subjects

Asaf Ferber

Publications and source records attributed to Asaf Ferber.

At least 73 records · Page 4Linked to original sources

Generating random graphs in biased Maker-Breaker games

We present a general approach connecting biased Maker-Breaker games and problems about local resilience in random graphs. We utilize this approach to prove new results and also to derive some known results about biased Maker-Breaker games. In particular, we show that for $b=o\left(\sqrt{n}\right)$, Maker can build a pancyclic graph (that is, a graph that contains cycles of every possible length) while playing a $(1:b)$ game on $E(K_n)$. As another application, we show that for $b=Θ\left(n/\ln n\right)$, playing a $(1:b)$ game on $E(K_n)$, Maker can build a graph which contains copies of all spanning trees having maximum degree $Δ=O(1)$ with a bare path of linear length (a bare path in a tree $T$ is a path with all interior vertices of degree exactly two in $T$).

math.CO↗

Strong games played on random graphs

In a strong game played on the edge set of a graph G there are two players, Red and Blue, alternating turns in claiming previously unclaimed edges of G (with Red playing first). The winner is the first one to claim all the edges of some target structure (such as a clique, a perfect matching, a Hamilton cycle, etc.). It is well known that Red can always ensure at least a draw in any strong game, but finding explicit winning strategies is a difficult and a quite rare task. We consider strong games played on the edge set of a random graph G ~ G(n,p) on n vertices. We prove, for sufficiently large $n$ and a fixed constant 0 < p < 1, that Red can w.h.p win the perfect matching game on a random graph G ~ G(n,p).

cs.DM↗

On a Conjecture of Thomassen

In 1989, Thomassen asked whether there is an integer-valued function f(k) such that every f(k)-connected graph admits a spanning, bipartite $k$-connected subgraph. In this paper we take a first, humble approach, showing the conjecture is true up to a log n factor.

math.CO↗

Rainbow Hamilton cycles in random graphs and hypergraphs

Let $H$ be an edge colored hypergraph. We say that $H$ contains a \emph{rainbow} copy of a hypergraph $S$ if it contains an isomorphic copy of $S$ with all edges of distinct colors. We consider the following setting. A randomly edge colored random hypergraph $H\sim \mathcal H_c^k(n,p)$ is obtained by adding each $k$-subset of $[n]$ with probability $p$, and assigning it a color from $[c]$ uniformly, independently at random. As a first result we show that a typical $H\sim \mathcal H^2_c(n,p)$ (that is, a random edge colored graph) contains a rainbow Hamilton cycle, provided that $c=(1+o(1))n$ and $p=\frac{\log n+\log\log n+ω(1)}{n}$. This is asymptotically best possible with respect to both parameters, and improves a result of Frieze and Loh. Secondly, based on an ingenious coupling idea of McDiarmid, we provide a general tool for tackling problems related to finding "nicely edge colored" structures in random graphs/hypergraphs. We illustrate the generality of this statement by presenting two interesting applications. In one application we show that a typical $H\sim \mathcal H^k_c(n,p)$ contains a rainbow copy of a hypergraph $S$, provided that $c=(1+o(1))|E(S)|$ and $p$ is (up to a multiplicative constant) a threshold function for the property of containment of a copy of $S$. In the second application we show that a typical $G\sim \mathcal H_{c}^2(n,p)$ contains $(1-o(1))np/2$ edge disjoint Hamilton cycles, each of which is rainbow, provided that $c=ω(n)$ and $p=ω(\log n/n)$.

math.CO↗

Counting and packing Hamilton $\ell$-cycles in dense hypergraphs

We consider problems about packing and counting Hamilton $\ell$-cycles in hypergraphs of large minimum degree. Given a hypergraph $\mathcal H$, for a $d$-subset $A\subseteq V(\mathcal H)$, we denote by $d_{\mathcal H}(A)$ the number of distinct \emph{edges} $f\in E(\mathcal H)$ for which $A\subseteq f$, and set $δ_d(\mathcal H)$ to be the minimum $d_{\mathcal H}(A)$ over all $A\subseteq V(\mathcal H)$ of size $d$. We show that if a $k$-uniform hypergraph on $n$ vertices $\mathcal H$ satisfies $δ_{k-1}(\mathcal H)\geq αn$ for some $α>1/2$, then for every $\ell 1/2$, then $\mathcal H$ contains $f(α)n$ edge-disjoint Hamilton $\ell$-cycles for an explicit function $f(α)>0$. For the case where every $(k-1)$-tuple $X\subset V({\mathcal H})$ satisfies $d_{\mathcal H}(X)\in (α\pm o(1))n$, we show that $\mathcal H$ contains edge-disjoint Haimlton $\ell$-cycles which cover all but $o\left(|E(\mathcal H)|\right)$ edges of $\mathcal H$. As a tool we prove the following result which might be of independent interest: For a bipartite graph $G$ with both parts of size $n$, with minimum degree at least $δn$, where $δ>1/2$, and for $p=ω(\log n/n)$ the following holds. If $G$ contains an $r$-factor for $r=Θ(n)$, then by retaining edges of $G$ with probability $p$ independently at random, w.h.p the resulting graph contains a $(1-o(1))rp$-factor.

math.CO↗

Closing gaps in problems related to Hamilton cycles in random graphs and hypergraphs

We show how to adjust a very nice coupling argument due to McDiarmid in order to prove/reprove in a novel way results concerning Hamilton cycles in various models of random graph and hypergraphs. In particular, we firstly show that for $k\geq 3$, if $pn^{k-1}/\log n$ tends to infinity, then a random $k$-uniform hypergraph on $n$ vertices, with edge probability $p$, with high probability (w.h.p.) contains a loose Hamilton cycle, provided that $(k-1)|n$. This generalizes results of Frieze, Dudek and Frieze, and reproves a result of Dudek, Frieze, Loh and Speiss. Secondly, we show that there exists $K>0$ such for every $p\geq (K\log n)/n$ the following holds: Let $G_{n,p}$ be a random graph on $n$ vertices with edge probability $p$, and suppose that its edges are being colored with $n$ colors uniformly at random. Then, w.h.p\ the resulting graph contains a Hamilton cycle with for which all the colors appear (a rainbow Hamilton cycle). Lastly, we show that for $p=(1+o(1))(\log n)/n$, if we randomly color the edge set of a random directed graph $D_{n,p}$ with $(1+o(1))n$ colors, then w.h.p.\ one can find a rainbow Hamilton cycle where all the edges are directed in the same way.

math.CO↗

Packing a randomly edge-colored random graph with rainbow $k$-outs

Let $G$ be a graph on $n$ vertices and let $k$ be a fixed positive integer. We denote by $\mathcal G_{\text{$k$-out}}(G)$ the probability space consisting of subgraphs of $G$ where each vertex $v\in V(G)$ randomly picks $k$ neighbors from $G$, independently from all other vertices. We show that if $δ(G)=ω(\log n)$ and $k\geq 2$, then the following holds for every $p=ω(\log n/δ(G))$. Let $H$ be a random graph obtained by keeping each $e\in E(G)$ with probability $p$ independently at random and then coloring its edges independently and uniformly at random with elements from the set $[kn]$. Then, w.h.p. $H$ contains $t:=(1-o(1))δ(G)p/(2k)$ edge-disjoint graphs $H_1,...,H_t$ such that each of the $H_i$ is \emph{rainbow} (that is, all the edges are colored with distinct colors), and such that for every monotone increasing property of graphs $\mathcal P$ and for every $1\leq i\leq t$ we have $\Pr[\mathcal G_{\text{$k$-out}}(G)\models \mathcal P]\leq \Pr[H_i\models \mathcal P]+n^{-ω(1)}$. Note that since (in this case) a typical member of $\mathcal G_{\text{$k$-out}}(G)$ has average degree roughly $2k$, this result is asymptotically best possible. We present several applications of this; for example, we use this result to prove that for $p=ω(\log n/n)$ and $c=23n$, a graph $H\sim \mathcal G_{c}(K_n,p)$ w.h.p. contains $(1-o(1))np/46$ edge-disjoint rainbow Hamilton cycles. More generally, using a recent result of Frieze and Johansson, the same method allows us to prove that if $G$ has minimum degree $δ(G)\geq (1+\varepsilon)n/2$, then there exist functions $c=O(n)$ and $t=Θ(np)$ (depending on $\varepsilon$) such that the random subgraph $H\sim \mathcal G_{c}(G,p)$ w.h.p. contains $t$ edge-disjoint rainbow Hamilton cycles.

math.CO↗

Robust hamiltonicity of random directed graphs

In his seminal paper from 1952 Dirac showed that the complete graph on $n\geq 3$ vertices remains Hamiltonian even if we allow an adversary to remove $\lfloor n/2\rfloor$ edges touching each vertex. In 1960 Ghouila-Houri obtained an analogue statement for digraphs by showing that every directed graph on $n\geq 3$ vertices with minimum in- and out-degree at least $n/2$ contains a directed Hamilton cycle. Both statements quantify the robustness of complete graphs (digraphs) with respect to the property of containing a Hamilton cycle. A natural way to generalize such results to arbitrary graphs (digraphs) is using the notion of \emph{local resilience}. The local resilience of a graph (digraph) $G$ with respect to a property $\mathcal{P}$ is the maximum number $r$ such that $G$ has the property $\mathcal{P}$ even if we allow an adversary to remove an $r$-fraction of (in- and out-going) edges touching each vertex. The theorems of Dirac and Ghouila-Houri state that the local resilience of the complete graph and digraph with respect to Hamiltonicity is $1/2$. Recently, this statements have been generalized to random settings. Lee and Sudakov (2012) proved that the local resilience of a random graph with edge probability $p=ω(\log n /n)$ with respect to Hamiltonicity is $1/2\pm o(1)$. For random directed graphs, Hefetz, Steger and Sudakov (2014+) proved an analogue statement, but only for edge probability $p=ω(\log n/\sqrt{n})$. In this paper we significantly improve their result to $p=ω(\log^8 n/ n)$, which is optimal up to the polylogarithmic factor.

math.CO↗

Universality of random graphs and rainbow embedding

In this paper we show how to use simple partitioning lemmas in order to embed spanning graphs in a typical member of $G(n,p)$. Let the \emph{maximum density} of a graph $H$ be the maximum average degree of all the subgraphs of $H$. First, we show that for $p=ω(Δ^{12} n^{-1/2d}\log^3n)$, a graph $G\sim G(n,p)$ w.h.p.\ contains copies of all spanning graphs $H$ with maximum degree at most $Δ$ and maximum density at most $d$. For $d<Δ/2$, this improves a result of Dellamonica, Kohayakawa, Rödl and Rucińcki. Next, we show that if we additionally restrict the spanning graphs to have girth at least 7 then the random graph contains w.h.p.\ all such graphs for $p=ω(Δ^{12} n^{-1/d}\log^3n)$. In particular, if $p=ω(Δ^{12} n^{-1/2}\log^3 n)$, the random graph therefore contains w.h.p.\ every spanning tree with maximum degree bounded by $Δ$. This improves a result of Johannsen, Krivelevich and Samotij. Finally, in the same spirit, we show that for any spanning graph $H$ with constant maximum degree, and for suitable $p$, if we randomly color the edges of a graph $G\sim G(n,p)$ with $(1 + o(1))|E(H)|$ colors, then w.h.p.\ there exists a \emph{rainbow} copy of $H$ in $G$ (that is, a copy of $H$ with all edges colored with distinct colors).

math.CO↗

Efficient winning strategies in random-turn Maker-Breaker games

We consider random-turn positional games, introduced by Peres, Schramm, Sheffield and Wilson in 2007. A $p$-random-turn positional game is a two-player game, played the same as an ordinary positional game, except that instead of alternating turns, a coin is being tossed before each turn to decide the identity of the next player to move (the probability of Player I to move is $p$). We analyze the random-turn version of several classical Maker-Breaker games such as the game Box (introduced by Chvátal and Erd\H os in 1987), the Hamilton cycle game and the $k$-vertex-connectivity game (both played on the edge set of $K_n$). For each of these games we provide each of the players with a (randomized) efficient strategy which typically ensures his win in the asymptotic order of the minimum value of $p$ for which he typically wins the game, assuming optimal strategies of both players.

math.CO↗

Avoider-Enforcer games played on edge disjoint hypergraphs

We analyze Avoider-Enforcer games played on edge disjoint hypergraphs, providing an analog of the classic and well known game $Box$, due to Chvátal and Erdős. We consider both strict and monotone versions of Avoider-Enforcer games, and for each version we give a sufficient condition to win for each player. We also present applications of our results to several general Avoider-Enforcer games.

math.CO↗

Building spanning trees quickly in Maker-Breaker games

For a tree T on n vertices, we study the Maker-Breaker game, played on the edge set of the complete graph on n vertices, which Maker wins as soon as the graph she builds contains a copy of T. We prove that if T has bounded maximum degree, then Maker can win this game within n+1 moves. Moreover, we prove that Maker can build almost every tree on n vertices in n-1 moves and provide non-trivial examples of families of trees which Maker cannot build in n-1 moves.

math.CO↗

The biased odd cycle game

In this paper we consider biased Maker-Breaker games played on the edge set of a given graph $G$. We prove that for every $δ>0$ and large enough $n$, there exists a constant $k$ for which if $δ(G)\geq δn$ and $χ(G)\geq k$, then Maker can build an odd cycle in the $(1:b)$ game for $b=O(\frac{n}{\log^2 n})$. We also consider the analogous game where Maker and Breaker claim vertices instead of edges. This is a special case of the following well known and notoriously difficult problem due to Duffus, Łuczak and Rödl: is it true that for any positive constants $t$ and $b$, there exists an integer $k$ such that for every graph $G$, if $χ(G)\geq k$, then Maker can build a graph which is not $t$-colorable, in the $(1:b)$ Maker-Breaker game played on the vertices of $G$?

math.CO↗

A construction of almost Steiner systems

Let $n$, $k$, and $t$ be integers satisfying $n>k>t\ge2$. A Steiner system with parameters $t$, $k$, and $n$ is a $k$-uniform hypergraph on $n$ vertices in which every set of $t$ distinct vertices is contained in exactly one edge. An outstanding problem in Design Theory is to determine whether a nontrivial Steiner system exists for $t\geq6$. In this note we prove that for every $k>t\ge2$ and sufficiently large $n$, there exists an almost Steiner system with parameters $t$, $k$, and $n$; that is, there exists a $k$-uniform hypergraph on $n$ vertices such that every set of $t$ distinct vertices is covered by either one or two edges.

math.CO↗

Biased Games On Random Boards

In this paper we analyze biased Maker-Breaker games and Avoider-Enforcer games, both played on the edge set of a random board $G\sim \gnp$. In Maker-Breaker games there are two players, denoted by Maker and Breaker. In each round, Maker claims one previously unclaimed edge of $G$ and Breaker responds by claiming $b$ previously unclaimed edges. We consider the Hamiltonicity game, the perfect matching game and the $k$-vertex-connectivity game, where Maker's goal is to build a graph which possesses the relevant property. Avoider-Enforcer games are the reverse analogue of Maker-Breaker games with a slight modification, where the two players claim at least 1 and at least $b$ previously unclaimed edges per move, respectively, and Avoider aims to avoid building a graph which possesses the relevant property. Maker-Breaker games are known to be "bias-monotone", that is, if Maker wins the $(1,b)$ game, he also wins the $(1,b-1)$ game. Therefore, it makes sense to define the critical bias of a game, $b^*$, to be the "breaking point" of the game. That is, Maker wins the $(1,b)$ game whenever $b\leq b^*$ and loses otherwise. An analogous definition of the critical bias exists for Avoider-Enforcer games: here, the critical bias of a game $b^*$ is such that Avoider wins the $(1,b)$ game for every $b > b^*$, and loses otherwise. We prove that, for every $p=ω(\frac{\ln n}{n})$, $G\sim\gnp$ is typically such that the critical bias for all the aforementioned Maker-Breaker games is asymptotically $b^*=\frac{np}{\ln n}$. We also prove that in the case $p=Θ(\frac{\ln n}{n})$, the critical bias is $b^*=Θ(\frac{np}{\ln n})$. These results settle a conjecture of Stojaković and Szabó. For Avoider-Enforcer games, we prove that for $p=Ω(\frac{\ln n}{n})$, the critical bias for all the aforementioned games is $b^*=Θ(\frac{np}{\ln n})$.

math.CO↗

Fast strategies in Maker-Breaker games played on random boards

In this paper we analyze classical Maker-Breaker games played on the edge set of a sparse random board $G\sim \gnp$. We consider the Hamiltonicity game, the perfect matching game and the $k$-connectivity game. We prove that for $p(n)\geq \text{polylog}(n)/n$, the board $G\sim \gnp$ is typically such that Maker can win these games asymptotically as fast as possible, i.e. within $n+o(n)$, $n/2+o(n)$ and $kn/2+o(n)$ moves respectively.

math.CO↗

Weak and Strong k-connectivity games

For a positive integer $k$ we consider the $k$-vertex-connectivity game, played on the edge set of $K_n$, the complete graph on $n$ vertices. We first study the Maker-Breaker version of this game and prove that, for any integer $k \geq 2$ and sufficiently large $n$, Maker has a strategy for winning this game within $\lfloor k n/2 \rfloor + 1$ moves, which is clearly best possible. This answers a question of Hefetz, Krivelevich, Stojaković and Szabó. We then consider the strong $k$-vertex-connectivity game. For every positive integer $k$ and sufficiently large $n$, we describe an explicit first player's winning strategy for this game.

math.CO↗

Fast embedding of spanning trees in biased Maker-Breaker games

Given a tree $T=(V,E)$ on $n$ vertices, we consider the $(1 : q)$ Maker-Breaker tree embedding game ${\mathcal T}_n$. The board of this game is the edge set of the complete graph on $n$ vertices. Maker wins ${\mathcal T}_n$ if and only if he is able to claim all edges of a copy of $T$. We prove that there exist real numbers $α, ε> 0$ such that, for sufficiently large $n$ and for every tree $T$ on $n$ vertices with maximum degree at most $n^ε$, Maker has a winning strategy for the $(1 : q)$ game ${\mathcal T}_n$, for every $q \leq n^α$. Moreover, we prove that Maker can win this game within $n + o(n)$ moves which is clearly asymptotically optimal.

math.CO↗