random
7100 papers tagged with this keyword
Entanglement-assisted zero-error source-channel coding
Published in IEEE Transactions of Information Theory, vol 61, no 2, pp 1124-1138, 2015
• View Publication
• BIB
We study the use of quantum entanglement in the zero-error source-channel coding problem. Here, Alice and Bob are connected by a noisy classical one-way channel, and are given correlated inputs from a random source. Their goal is for Bob to learn Alice's input while using the channel as little as possible. In the zero-error regime, the optimal rates of source codes and channel codes are given by graph parameters known as the Witsenhausen rate and Shannon capacity, respectively. The Lovász theta number, a graph parameter defined by a semidefinite program, gives the best efficiently-computable upper bound on the Shannon capacity and it also upper bounds its entanglement-assisted counterpart. At the same time it was recently shown that the Shannon capacity can be increased if Alice and Bob may use entanglement.
Here we partially extend these results to the source-coding problem and to the more general source-channel coding problem. We prove a lower bound on the rate of entanglement-assisted source-codes in terms Szegedy's number (a strengthening of the theta number). This result implies that the theta number lower bounds the entangled variant of the Witsenhausen rate. We also show that entanglement can allow for an unbounded improvement of the asymptotic rate of both classical source codes and classical source-channel codes. Our separation results use low-degree polynomials due to Barrington, Beigel and Rudich, Hadamard matrices due to Xia and Liu and a new application of remote state preparation.
On the chromatic number of random regular graphs
Published
• View Publication
• BIB
Let G(n,d) be the random d-regular graph on n vertices. For any integer k exceeding a certain constant k_0 we identify a number d_{k-col} such that G(n,d) is k-colorable w.h.p. if d<d_{k-col} and non-k-colorable w.h.p. if d>d_{k-col}.
Limits of Boolean Functions on F_p^n
Published
• View Publication
• BIB
We study sequences of functions of the form F_p^n -> {0,1} for varying n, and define a notion of convergence based on the induced distributions from restricting the functions to a random affine subspace. Using a decomposition theorem and a recently proven equi-distribution theorem from higher order Fourier analysis, we prove that the limits of such convergent sequences can be represented by certain measurable functions. We are also able to show that every such limit object arises as the limit of some sequence of functions. These results are in the spirit of similar results which have been developed for limits of graph sequences. A more general, albeit substantially more sophisticated, limit object was recently constructed by Szegedy in [Sze10].
Turan Problems and Shadows I: Paths and Cycles
Published
• View Publication
• BIB
A $k$-path is a hypergraph P_k = e_1,e_2,...,e_k such that |e_i \cap e_j| = 1 if |j - i| = 1 and e_i \cap e_j is empty otherwise. A k-cycle is a hypergraph C_k = e_1,e_2,.. ,e_k obtained from a (k-1)-path e_1,e_2,...,e_{k-1} by adding an edge e_k that shares one vertex with e_1, another vertex with e_{k-1} and is disjoint from the other edges.
Let ex_r(n,G) be the maximum number of edges in an r-graph with n vertices not containing a given r-graph G. We determine ex_r(n, P_k) and ex_r(n, C_k) exactly for all k \ge 4 and r \ge 3 and $n$ sufficiently large and also characterize the extremal examples. The case k = 3 was settled by Frankl and Füredi.
This work is the next step in a long line of research beginning with conjectures of Erd\H os and Sós from the early 1970's. In particular, we extend the work (and settle a recent conjecture) of Füredi, Jiang and Seiver who solved this problem for P_k when r \ge 4 and of Füredi and Jiang who solved it for C_k when r \ge 5. They used the delta system method, while we use a novel approach which involves random sampling from the shadow of an r-graph.
Bounded quotients of the fundamental group of a random 2-complex
Let D denote the (n-1)-dimensional simplex. Let Y be a random 2-dimensional subcomplex of D obtained by starting with the full 1-skeleton of D and then adding each 2-simplex independently with probability p. For a fixed c>0 it is shown that if p=\frac{(6+7c) \log n}{n} then a.a.s. the fundamental group π(Y) does not have a nontrivial quotient of order at most n^c.
The number of edges of the edge polytope of a finite simple graph
Published in ARS Mathematica Contemporanea 10 (2016) 323-332
• View Publication
• BIB
Let $d \geq 3$ be an integer. It is known that the number of edges of the edge polytope of the complete graph with $d$ vertices is $d(d-1)(d-2)/2$. In this paper, we study the maximum possible number $μ_d$ of edges of the edge polytope arising from finite simple graphs with $d$ vertices. We show that $μ_{d}=d(d-1)(d-2)/2$ if and only if $3 \leq d \leq 14$. In addition, we study the asymptotic behavior of $μ_d$. Tran--Ziegler gave a lower bound for $μ_d$ by constructing a random graph. We succeeded in improving this bound by constructing both a non-random graph and a random graph whose complement is bipartite.
A note on the random greedy independent set algorithm
Published
• View Publication
• BIB
Let $r\ge 3$ be a fixed constant and let $ {\mathcal H}$ be an $r$-uniform, $D$-regular hypergraph on $N$ vertices. Assume further that $ D > N^\varepsilon $ for some $ \varepsilon>0 $. Consider the random greedy algorithm for forming an independent set in $ \mathcal{H}$. An independent set is chosen at random by iteratively choosing vertices at random to be in the independent set. At each step we chose a vertex uniformly at random from the collection of vertices that could be added to the independent set (i.e. the collection of vertices $v$ with the property that $v$ is not in the current independent set $I$ and $ I \cup \{v\}$ contains no edge in $ \mathcal{H}$). Note that this process terminates at a maximal subset of vertices with the property that this set contains no edge of $ \mathcal{H} $; that is, the process terminates at a maximal independent set.
We prove that if $ \mathcal{H}$ satisfies certain degree and codegree conditions then there are $ Ω\left( N \cdot ( (\log N) / D )^{\frac{1}{r-1}} \right) $ vertices in the independent set produced by the random greedy algorithm with high probability. This result generalizes a lower bound on the number of steps in the $ H$-free process due to Bohman and Keevash and produces objects of interest in additive combinatorics.
Vertex-pursuit in random directed acyclic graphs
Published
• View Publication
• BIB
We examine a dynamic model for the disruption of information flow in hierarchical social networks by considering the vertex-pursuit game Seepage played in directed acyclic graphs (DAGs). In Seepage, agents attempt to block the movement of an intruder who moves downward from the source node to a sink. The minimum number of such agents required to block the intruder is called the green number. We propose a generalized stochastic model for DAGs with given expected total degree sequence. Seepage and the green number is analyzed in stochastic DAGs in both the cases of a regular and power law degree sequence. For each such sequence, we give asymptotic bounds (and in certain instances, precise values) for the green number.
Nonlinearity measures of random Boolean functions
Published
• View Publication
• BIB
The r-th order nonlinearity of a Boolean function is the minimum number of elements that have to be changed in its truth table to arrive at a Boolean function of degree at most r. It is shown that the (suitably normalised) r-th order nonlinearity of a random Boolean function converges strongly for all r\ge 1. This extends results by Rodier for r=1 and by Dib for r=2. The methods in the present paper are mostly of elementary combinatorial nature and also lead to simpler proofs in the cases that r=1 or 2.
Long cycles in random subgraphs of graphs with large minimum degree
Published in Random Structures Algorithms 45 (2014), no. 4, 762--765
• View Publication
• BIB
Let $G$ be any graph of minimum degree at least $k$, and let $G_p$ be the random subgraph of $G$ obtained by keeping each edge independently with probability $p$. Recently, Krivelevich, Lee and Sudakov showed that if $pk\to\infty$ then with probability tending to 1 $G_p$ contains a cycle of length at least $(1-o(1))k$. We give a much shorter proof of this result, also based on depth-first search.
Geometric approach to string analysis: deviation from linearity and its use for biosequence classification
Published
• View Publication
• BIB
Tools that effectively analyze and compare sequences are of great importance in various areas of applied computational research, especially in the framework of molecular biology. In the present paper, we introduce simple geometric criteria based on the notion of string linearity and use them to compare DNA sequences of various organisms, as well as to distinguish them from random sequences. Our experiments reveal a significant difference between biosequences and random sequences - the former having much higher deviation from linearity than the latter - as well as a general trend of increasing deviation from linearity between primitive and biologically complex organisms.
From directed path to linear order - the best choice problem for powers of directed path
Published
• View Publication
• BIB
We examine the evolution of the best choice algorithm and the probability of its success from a directed path to the linear order of the same cardinality through $k$th powers of a directed path, $1 \leq k < n$. The vertices of a $k$th power of a directed path of a known length $n$ are exposed one by one to a selector in some random order. At any time the selector can see the graph induced by the vertices that have already come. The selector's aim is to choose online the maximal vertex (i.e. the vertex with no outgoing edges). It is shown that the probability of success $p_n$ for the optimal algorithm for the $k$th power of a directed path satisfies $p_n = Θ(n^{-1/(k+1)})$. We also consider the case when the selector knows the distance in the underlying path between each two vertices that are joined by an edge in the induced graph. An optimal algorithm for this choice problem is presented. The exact probability of success when using this algorithm is given.
Partially observed Boolean sequences and noise sensitivity
Published in Combinator. Probab. Comp. 23 (2014) 317-330
• View Publication
• BIB
Let $\mathcal{H}$ denote a collection of subsets of $\{1,2,\ldots,n\}$, and assign independent random variables uniformly distributed over $[0,1]$ to the $n$ elements. Declare an element $p$-present if its corresponding value is at most $p$. In this paper, we quantify how much the observation of the $r$-present ($r>p$) set of elements affects the probability that the set of $p$-present elements is contained in $\mathcal{H}$. In the context of percolation, we find that this question is closely linked to the near-critical regime. As a consequence, we show that for every $r>1/2$, bond percolation on the subgraph of the square lattice given by the set of $r$-present edges is almost surely noise sensitive at criticality, thus generalizing a result due to Benjamini, Kalai and Schramm.
Rotor-routing and spanning trees on planar graphs
Published in International Mathematics Research Notices 2015 (2015) 11, 3225-3244
• View Publication
• BIB
The sandpile group Pic^0(G) of a finite graph G is a discrete analogue of the Jacobian of a Riemann surface which was rediscovered several times in the contexts of arithmetic geometry, self-organized criticality, random walks, and algorithms. Given a ribbon graph G, Holroyd et al. used the "rotor-routing" model to define a free and transitive action of Pic^0(G) on the set of spanning trees of G. However, their construction depends a priori on a choice of basepoint vertex. Ellenberg asked whether this action does in fact depend on the choice of basepoint. We answer this question by proving that the action of Pic^0(G) is independent of the basepoint if and only if G is a planar ribbon graph.
On the chromatic number of random Cayley graphs
Published
• View Publication
• BIB
Let G be an abelian group of cardinality N, where (N,6) = 1, and let A be a random subset of G. Form a graph Gamma_A on vertex set G by joining x to y if and only if x + y is in A. Then, almost surely as N tends to infinity, the chromatic number chi(Gamma_A) is at most (1 + o(1))N/2 log_2 N. This is asymptotically sharp when G = Z/NZ, N prime.
Presented at the conference in honour of Bela Bollobas on his 70th birthday, Cambridge August 2013.
On Sharp Thresholds in Random Geometric Graphs
Published
• View Publication
• BIB
We give a characterization of vertex-monotone properties with sharp thresholds in a Poisson random geometric graph or hypergraph. As an application we show that a geometric model of random k-SAT exhibits a sharp threshold for satisfiability.
Local algorithms, regular graphs of large girth, and random regular graphs
Published
• View Publication
• BIB
We introduce a general class of algorithms and supply a number of general results useful for analysing these algorithms when applied to regular graphs of large girth. As a result, we can transfer a number of results proved for random regular graphs into (deterministic) results about all regular graphs with sufficiently large girth. This is an uncommon direction of transfer of results, which is usually from the deterministic setting to the random one. In particular, this approach enables, for the first time, the achievement of results equivalent to those obtained on random regular graphs by a powerful class of algorithms which contain prioritised actions. As examples, we obtain new upper or lower bounds on the size of maximum independent sets, minimum dominating sets, maximum and minimum bisection, maximum $k$-independent sets, minimum $k$-dominating sets and minimum connected and weakly-connected dominating sets in $r$-regular graphs with large girth.
Association schemes, non-commutative polynomial concentration, and sum-of-squares lower bounds for planted clique
Finding cliques in random graphs and the closely related "planted" clique variant, where a clique of size t is planted in a random G(n,1/2) graph, have been the focus of substantial study in algorithm design. Despite much effort, the best known polynomial-time algorithms only solve the problem for t = Theta(sqrt(n)). Here we show that beating sqrt(n) would require substantially new algorithmic ideas, by proving a lower bound for the problem in the sum-of-squares (or Lasserre) hierarchy, the most powerful class of semi-definite programming algorithms we know of: r rounds of the sum-of-squares hierarchy can only solve the planted clique for t > sqrt(n)/(C log n)^(r^2). Previously, no nontrivial lower bounds were known. Our proof is formulated as a degree lower bound in the Positivstellensatz algebraic proof system, which is equivalent to the sum-of-squares hierarchy. The heart of our (average-case) lower bound is a proof that a certain random matrix derived from the input graph is (with high probability) positive semidefinite. Two ingredients play an important role in this proof. The first is the classical theory of association schemes, applied to the average and variance of that random matrix. The second is a new large deviation inequality for matrix-valued polynomials. Our new tail estimate seems to be of independent interest and may find other applications, as it generalizes both the estimates on real-valued polynomials and on sums of independent random matrices.
On the threshold for rainbow connection number r in random graphs
Published in Graphs and Combinatorics 32 (2016), Issue 1, pp 161-174
• View Publication
• BIB
We call an edge colouring of a graph G a rainbow colouring if every pair of vertices is joined by a rainbow path, i.e., a path where no two edges have the same colour. The minimum number of colours required for a rainbow colouring of the edges of G is called the rainbow connection number (or rainbow connectivity) rc(G) of G. We investigate sharp thresholds in the Erdős-Rényi random graph for the property "rc(G) <= r" where r is a fixed integer. It is known that for r=2, rainbow connection number 2 and diameter 2 happen essentially at the same time in random graphs. For r >= 3, we conjecture that this is not the case, propose an alternative threshold, and prove that this is an upper bound for the threshold for rainbow connection number r.
On active and passive testing
Published in Combinator. Probab. Comp. 25 (2016) 1-20
• View Publication
• BIB
Given a property of Boolean functions, what is the minimum number of queries required to determine with high probability if an input function satisfies this property or is "far" from satisfying it? This is a fundamental question in Property Testing, where traditionally the testing algorithm is allowed to pick its queries among the entire set of inputs. Balcan, Blais, Blum and Yang have recently suggested to restrict the tester to take its queries from a smaller random subset of polynomial size of the inputs. This model is called active testing, and in the extreme case when the size of the set we can query from is exactly the number of queries performed it is known as passive testing.
We prove that passive or active testing of k-linear functions (that is, sums of k variables among n over Z_2) requires Theta(k*log n) queries, assuming k is not too large. This extends the case k=1, (that is, dictator functions), analyzed by Balcan et. al.
We also consider other classes of functions including low degree polynomials, juntas, and partially symmetric functions. Our methods combine algebraic, combinatorial, and probabilistic techniques, including the Talagrand concentration inequality and the Erdos--Rado theorem on Delta-systems.