-
Meyniel Extremal Families of Abelian Cayley Graphs
Authors:
Fatemeh Hasiri,
Igor Shinkar
Abstract:
We study the game of Cops and Robbers, where cops try to capture a robber on the vertices of a graph. Meyniel's conjecture states that for every connected graph $G$ on $n$ vertices, the cop number of $G$ is upper bounded by $O(\sqrt{n})$, i.e., that $O(\sqrt{n})$ suffice to catch the robber. We present several families of abelian Cayley graphs that are Meyniel extremal, i.e., graphs whose cop numb…
▽ More
We study the game of Cops and Robbers, where cops try to capture a robber on the vertices of a graph. Meyniel's conjecture states that for every connected graph $G$ on $n$ vertices, the cop number of $G$ is upper bounded by $O(\sqrt{n})$, i.e., that $O(\sqrt{n})$ suffice to catch the robber. We present several families of abelian Cayley graphs that are Meyniel extremal, i.e., graphs whose cop number is $O(\sqrt{n})$. This proves that the $O(\sqrt{n})$ upper bound for Cayley graphs proved by Bradshaw is tight up to a multiplicative constant. In particular, this shows that Meyniel's conjecture, if true, is tight to a multiplicative constant even for abelian Cayley graphs.
In order to prove the result, we construct Cayley graphs on $n$ vertices with $Ω(\sqrt{n})$ generators that are $K_{2,3}$-free. This shows that the Kövári, Sós, and Turán theorem, stating that any $K_{2,3}$-free graph of $n$ vertices has at most $O(n^{3/2})$ edges, is tight up to a multiplicative constant even for abelian Cayley graphs.
△ Less
Submitted 6 September, 2019;
originally announced September 2019.
-
On Mappings on the Hypercube with Small Average Stretch
Authors:
Lucas Boczkowski,
Igor Shinkar
Abstract:
Let $A \subseteq \{0,1\}^n$ be a set of size $2^{n-1}$, and let $φ\colon \{0,1\}^{n-1} \to A$ be a bijection. We define the average stretch of $φ$ as ${\sf avgStretch}(φ) = {\mathbb E}[{\sf dist}(φ(x),φ(x'))]$, where the expectation is taken over uniformly random $x,x' \in \{0,1\}^{n-1}$ that differ in exactly one coordinate. In this paper we continue the line of research studying mappings on the…
▽ More
Let $A \subseteq \{0,1\}^n$ be a set of size $2^{n-1}$, and let $φ\colon \{0,1\}^{n-1} \to A$ be a bijection. We define the average stretch of $φ$ as ${\sf avgStretch}(φ) = {\mathbb E}[{\sf dist}(φ(x),φ(x'))]$, where the expectation is taken over uniformly random $x,x' \in \{0,1\}^{n-1}$ that differ in exactly one coordinate. In this paper we continue the line of research studying mappings on the discrete hypercube with small average stretch. We prove the following results.
(1) For any set $A \subseteq \{0,1\}^n$ of density $1/2$ there exists a bijection $φ_A \colon \{0,1\}^{n-1} \to A$ such that ${\sf avgstretch}(φ_A) = O(\sqrt{n})$.
(2) For $n = 3^k$ let $A_{{\sf rec\text{-}maj}} = \{x \in \{0,1\}^n : {\sf rec\text{-}maj}(x) = 1\}$, where ${\sf rec\text{-}maj} : \{0,1\}^n \to \{0,1\}$ is the function recursive majority of 3's. There exists a bijection $φ_{{\sf rec\text{-}maj}} \colon \{0,1\}^{n-1} \to A_{\sf rec\text{-}maj}$ such that ${\sf avgstretch}(φ_{\sf rec\text{-}maj}) = O(1)$.
(3) Let $A_{\sf tribes} = \{x \in \{0,1\}^n : {\sf tribes}(x) = 1\}$. There exists a bijection $φ_{\sf tribes} \colon \{0,1\}^{n-1} \to A_{\sf tribes}$ such that ${\sf avgstretch}(φ_{\sf tribes}) = O(\log(n))$.
These results answer the questions raised by Benjamini et al.\ (FOCS 2014).
△ Less
Submitted 16 May, 2022; v1 submitted 27 May, 2019;
originally announced May 2019.
-
On Coloring Random Subgraphs of a Fixed Graph
Authors:
Igor Shinkar
Abstract:
Given an arbitrary graph $G$ we study the chromatic number of a random subgraph $G_{1/2}$ obtained from $G$ by removing each edge independently with probability $1/2$. Studying $χ(G_{1/2})$ has been suggested by Bukh~\cite{Bukh}, who asked whether $\mathbb{E}[χ(G_{1/2})] \geq Ω( χ(G)/\log(χ(G)))$ holds for all graphs $G$. In this paper we show that for any graph $G$ with chromatic number…
▽ More
Given an arbitrary graph $G$ we study the chromatic number of a random subgraph $G_{1/2}$ obtained from $G$ by removing each edge independently with probability $1/2$. Studying $χ(G_{1/2})$ has been suggested by Bukh~\cite{Bukh}, who asked whether $\mathbb{E}[χ(G_{1/2})] \geq Ω( χ(G)/\log(χ(G)))$ holds for all graphs $G$. In this paper we show that for any graph $G$ with chromatic number $k = χ(G)$ and for all $d \leq k^{1/3}$ it holds that $\Pr[χ(G_{1/2}) \leq d] < \exp \left(- Ω\left(\frac{k(k-d^3)}{d^3}\right)\right)$. In particular, $\Pr[G_{1/2} \text{ is bipartite}] < \exp \left(- Ω\left(k^2 \right)\right)$. The later bound is tight up to a constant in $Ω(\cdot)$, and is attained when $G$ is the complete graph on $k$ vertices.
As a technical lemma, that may be of independent interest, we prove that if in \emph{any} $d^3$ coloring of the vertices of $G$ there are at least $t$ monochromatic edges, then $\Pr[χ(G_{1/2}) \leq d] < e^{- Ω\left(t\right)}$.
We also prove that for any graph $G$ with chromatic number $k = χ(G)$ and independence number $α(G) \leq O(n/k)$ it holds that $\mathbb{E}[χ(G_{1/2})] \geq Ω\left( k/\log(k) \right)$. This gives a positive answer to the question of Bukh for a large family of graphs.
△ Less
Submitted 1 May, 2018; v1 submitted 13 December, 2016;
originally announced December 2016.
-
A Counterexample to Monotonicity of Relative Mass in Random Walks
Authors:
Oded Regev,
Igor Shinkar
Abstract:
For a finite undirected graph $G = (V,E)$, let $p_{u,v}(t)$ denote the probability that a continuous-time random walk starting at vertex $u$ is in $v$ at time $t$. In this note we give an example of a Cayley graph $G$ and two vertices $u,v \in G$ for which the function \[ r_{u,v}(t) = \frac{p_{u,v}(t)}{p_{u,u}(t)} \qquad t \geq 0 \] is not monotonically non-decreasing. This answers a question aske…
▽ More
For a finite undirected graph $G = (V,E)$, let $p_{u,v}(t)$ denote the probability that a continuous-time random walk starting at vertex $u$ is in $v$ at time $t$. In this note we give an example of a Cayley graph $G$ and two vertices $u,v \in G$ for which the function \[ r_{u,v}(t) = \frac{p_{u,v}(t)}{p_{u,u}(t)} \qquad t \geq 0 \] is not monotonically non-decreasing. This answers a question asked by Peres in 2013.
△ Less
Submitted 12 December, 2015; v1 submitted 29 June, 2015;
originally announced June 2015.
-
On Lipschitz Bijections between Boolean Functions
Authors:
Shravas Rao,
Igor Shinkar
Abstract:
For two functions $f,g:\{0,1\}^n\to\{0,1\}$ a mapping $ψ:\{0,1\}^n\to\{0,1\}^n$ is said to be a $\textit{mapping from $f$ to $g$}$ if it is a bijection and $f(z)=g(ψ(z))$ for every $z\in\{0,1\}^n$. In this paper we study Lipschitz mappings between boolean functions.
Our first result gives a construction of a $C$-Lipschitz mapping from the ${\sf Majority}$ function to the ${\sf Dictator}$ functio…
▽ More
For two functions $f,g:\{0,1\}^n\to\{0,1\}$ a mapping $ψ:\{0,1\}^n\to\{0,1\}^n$ is said to be a $\textit{mapping from $f$ to $g$}$ if it is a bijection and $f(z)=g(ψ(z))$ for every $z\in\{0,1\}^n$. In this paper we study Lipschitz mappings between boolean functions.
Our first result gives a construction of a $C$-Lipschitz mapping from the ${\sf Majority}$ function to the ${\sf Dictator}$ function for some universal constant $C$. On the other hand, there is no $n/2$-Lipschitz mapping in the other direction, namely from the ${\sf Dictator}$ function to the ${\sf Majority}$ function. This answers an open problem posed by Daniel Varga in the paper of Benjamini et al. (FOCS 2014).
We also show a mapping from ${\sf Dictator}$ to ${\sf XOR}$ that is 3-local, 2-Lipschitz, and its inverse is $O(\log(n))$-Lipschitz, where by $L$-local mapping we mean that each of its output bits depends on at most $L$ input bits.
Next, we consider the problem of finding functions such that any mapping between them must have large \emph{average stretch}, where the average stretch of a mapping $φ$ is defined as ${\sf avgStretch}(φ) = {\mathbb E}_{x,i}[dist(φ(x),φ(x+e_i)]$. We show that any mapping $φ$ from ${\sf XOR}$ to ${\sf Majority}$ must satisfy ${\sf avgStretch}(φ) \geq Ω(\sqrt{n})$. In some sense, this gives a "function analogue" to the question of Benjamini et al. (FOCS 2014), who asked whether there exists a set $A \subset \{0,1\}^n$ of density 0.5 such that any bijection from $\{0,1\}^{n-1}$ to $A$ has large average stretch.
Finally, we show that for a random balanced function $f:\{0,1\}^n\to\{0,1\}^n$ with high probability there is a mapping $φ$ from ${\sf Dictator}$ to $f$ such that both $φ$ and $φ^{-1}$ have constant average stretch. In particular, this implies that one cannot obtain lower bounds on average stretch by taking uniformly random functions.
△ Less
Submitted 13 January, 2015;
originally announced January 2015.
-
Excited random walk with periodic cookies
Authors:
Gady Kozma,
Tal Orenshtein,
Igor Shinkar
Abstract:
In this paper we consider an excited random walk on $\mathbb{Z}$ in identically piled periodic environment. This is a discrete time process on $\mathbb{Z}$ defined by parameters $(p_1,\dots p_M) \in [0,1]^M$ for some positive integer $M$, where the walker upon the $i$-th visit to $z \in \mathbb{Z}$ moves to $z+1$ with probability $p_{i\pmod M}$, and moves to $z-1$ with probability…
▽ More
In this paper we consider an excited random walk on $\mathbb{Z}$ in identically piled periodic environment. This is a discrete time process on $\mathbb{Z}$ defined by parameters $(p_1,\dots p_M) \in [0,1]^M$ for some positive integer $M$, where the walker upon the $i$-th visit to $z \in \mathbb{Z}$ moves to $z+1$ with probability $p_{i\pmod M}$, and moves to $z-1$ with probability $1-p_{i \pmod M}$. We give an explicit formula in terms of the parameters $(p_1,\dots,p_M)$ which determines whether the walk is recurrent, transient to the left, or transient to the right. In particular, in the case that $\frac{1}{M}\sum_{i=1}^{M}p_{i}=\frac {1}{2}$ all behaviors are possible, and may depend on the order of the $p_i$. Our framework allows us to reprove some known results on ERW with no additional effort.
△ Less
Submitted 20 December, 2014; v1 submitted 28 November, 2013;
originally announced November 2013.
-
Bi-Lipschitz Bijection between the Boolean Cube and the Hamming Ball
Authors:
Itai Benjamini,
Gil Cohen,
Igor Shinkar
Abstract:
We construct a bi-Lipschitz bijection from the Boolean cube to the Hamming ball of equal volume. More precisely, we show that for all even n there exists an explicit bijection f from the n-dimensional Boolean cube to the Hamming ball of equal volume embedded in (n+1)-dimensional Boolean cube, such that for all x and y it holds that distance(x,y) / 5 <= distance(f(x),f(y)) <= 4 distance(x,y) where…
▽ More
We construct a bi-Lipschitz bijection from the Boolean cube to the Hamming ball of equal volume. More precisely, we show that for all even n there exists an explicit bijection f from the n-dimensional Boolean cube to the Hamming ball of equal volume embedded in (n+1)-dimensional Boolean cube, such that for all x and y it holds that distance(x,y) / 5 <= distance(f(x),f(y)) <= 4 distance(x,y) where distance(,) denotes the Hamming distance. In particular, this implies that the Hamming ball is bi-Lipschitz transitive.
This result gives a strong negative answer to an open problem of Lovett and Viola [CC 2012], who raised the question in the context of sampling distributions in low-level complexity classes. The conceptual implication is that the problem of proving lower bounds in the context of sampling distributions will require some new ideas beyond the sensitivity-based structural results of Boppana [IPL 97].
We study the mapping f further and show that it (and its inverse) are computable in DLOGTIME-uniform TC0, but not in AC0. Moreover, we prove that f is "approximately local" in the sense that all but the last output bit of f are essentially determined by a single input bit.
△ Less
Submitted 8 October, 2013;
originally announced October 2013.
-
A Tight Upper Bound on Acquaintance Time of Graphs
Authors:
Omer Angel,
Igor Shinkar
Abstract:
In this note we confirm a conjecture raised by Benjamini et al. \cite{BST} on the acquaintance time of graphs, proving that for all graphs $G$ with $n$ vertices it holds that $\AC(G) = O(n^{3/2})$, which is tight up to a multiplicative constant. This is done by proving that for all graphs $G$ with $n$ vertices and maximal degree $Δ$ it holds that $\AC(G) \leq 20 Δn$. Combining this with the bound…
▽ More
In this note we confirm a conjecture raised by Benjamini et al. \cite{BST} on the acquaintance time of graphs, proving that for all graphs $G$ with $n$ vertices it holds that $\AC(G) = O(n^{3/2})$, which is tight up to a multiplicative constant. This is done by proving that for all graphs $G$ with $n$ vertices and maximal degree $Δ$ it holds that $\AC(G) \leq 20 Δn$. Combining this with the bound $\AC(G) \leq O(n^2/Δ)$ from \cite{BST} gives the foregoing uniform upper bound of all $n$-vertex graphs.
We also prove that for the $n$-vertex path $P_n$ it holds that $\AC(P_n)=n-2$. In addition we show that the barbell graph $B_n$ consisting of two cliques of sizes $\ceil{n/2}$ and $\floor{n/2}$ connected by a single edge also has $\AC(B_n) = n-2$. This shows that it is possible to add $Ω(n^2)$ edges to $P_n$ without changing the $\AC$ value of the graph.
△ Less
Submitted 23 July, 2013;
originally announced July 2013.
-
Acquaintance Time of a Graph
Authors:
Itai Benjamini,
Igor Shinkar,
Gilad Tsur
Abstract:
We define the following parameter of connected graphs. For a given graph $G$ we place one agent in each vertex of $G$. Every pair of agents sharing a common edge is declared to be acquainted. In each round we choose some matching of $G$ (not necessarily a maximal matching), and for each edge in the matching the agents on this edge swap places. After the swap, again, every pair of agents sharing a…
▽ More
We define the following parameter of connected graphs. For a given graph $G$ we place one agent in each vertex of $G$. Every pair of agents sharing a common edge is declared to be acquainted. In each round we choose some matching of $G$ (not necessarily a maximal matching), and for each edge in the matching the agents on this edge swap places. After the swap, again, every pair of agents sharing a common edge become acquainted, and the process continues. We define the \emph{acquaintance time} of a graph $G$, denoted by $AC(G)$, to be the minimal number of rounds required until every two agents are acquainted.
We first study the acquaintance time for some natural families of graphs including the path, expanders, the binary tree, and the complete bipartite graph. We also show that for all positive integers $n$ and $k \leq n^{1.5}$ there exists an $n$-vertex graph $G$ such that $AC(G) =Θ(k)$. We also prove that for all $n$-vertex connected graphs $G$ we have $AC(G) = O\left(\frac{n^2}{\log(n)/\log\log(n)}\right)$, improving the $O(n^2)$ trivial upper bound achieved by sequentially letting each agent perform depth-first search along a spanning tree of $G$.
Studying the computational complexity of this problem, we prove that for any constant $t \geq 1$ the problem of deciding that a given graph $G$ has $AC(G) \leq t$ or $AC(G) \geq 2t$ is $\mathcal{NP}$-complete. That is, $AC(G)$ is $\mathcal{NP}$-hard to approximate within multiplicative factor of 2, as well as within any additive constant factor.
On the algorithmic side, we give a deterministic algorithm that given a graph $G$ with $AC(G)=1$ finds a ${\lceil n/c\rceil}$-rounds strategy for acquaintance in time $n^{c+O(1)}$. We also design a randomized polynomial time algorithm that given a graph $G$ with $AC(G)=1$ finds with high probability an $O(\log(n))$-rounds strategy for acquaintance.
△ Less
Submitted 13 March, 2014; v1 submitted 12 February, 2013;
originally announced February 2013.
-
Greedy Random Walk
Authors:
Tal Orenshtein,
Igor Shinkar
Abstract:
We study a discrete time self interacting random process on graphs, which we call Greedy Random Walk. The walker is located initially at some vertex. As time evolves, each vertex maintains the set of adjacent edges touching it that have not been crossed yet by the walker. At each step, the walker being at some vertex, picks an adjacent edge among the edges that have not traversed thus far accordin…
▽ More
We study a discrete time self interacting random process on graphs, which we call Greedy Random Walk. The walker is located initially at some vertex. As time evolves, each vertex maintains the set of adjacent edges touching it that have not been crossed yet by the walker. At each step, the walker being at some vertex, picks an adjacent edge among the edges that have not traversed thus far according to some (deterministic or randomized) rule. If all the adjacent edges have already been traversed, then an adjacent edge is chosen uniformly at random. After picking an edge the walk jumps along it to the neighboring vertex. We show that the expected edge cover time of the greedy random walk is linear in the number of edges for certain natural families of graphs. Examples of such graphs include the complete graph, even degree expanders of logarithmic girth, and the hypercube graph. We also show that GRW is transient in $\Z^d$ for all $d \geq 3$.
△ Less
Submitted 7 June, 2012; v1 submitted 29 January, 2011;
originally announced January 2011.
