20,793 research outputs found
H-Colouring Bipartite Graphs
For graphs G and H, an H-colouring of G (or homomorphism from G to H) is a function from the vertices of G to the vertices of H that preserves adjacency. H-colourings generalize such graph theory notions as proper colourings and independent sets. For a given H, k∈V(H) and G we consider the proportion of vertices of G that get mapped to k in a uniformly chosen H-colouring of G. Our main result concerns this quantity when G is regular and bipartite. We find numbers 0⩽a−(k)⩽a+(k)⩽1 with the property that for all such G, with high probability the proportion is between a−(k) and a+(k), and we give examples where these extremes are achieved. For many H we have a−(k)=a+(k) for all k and so in these cases we obtain a quite precise description of the almost sure appearance of a randomly chosen H-colouring. As a corollary, we show that in a uniform proper q-colouring of a regular bipartite graph, if q is even then with high probability every colour appears on a proportion close to 1/q of the vertices, while if q is odd then with high probability every colour appears on at least a proportion close to 1/(q+1) of the vertices and at most a proportion close to 1/(q−1) of the vertices. Our results generalize to natural models of weighted H-colourings, and also to bipartite graphs which are sufficiently close to regular. As an application of this latter extension we describe the typical structure of H-colourings of graphs which are obtained from n-regular bipartite graphs by percolation, and we show that p=1/n is a threshold function across which the typical structure changes. The approach is through entropy, and extends work of J. Kahn, who considered the size of a randomly chosen independent set of a regular bipartite graph
Fourier Analysis of Signals on Directed Acyclic Graphs (DAG) Using Graph Zero-Padding
Directed acyclic graphs (DAGs) are used for modeling causal relationships,
dependencies, and flows in various systems. However, spectral analysis becomes
impractical in this setting because the eigen-decomposition of the adjacency
matrix yields all eigenvalues equal to zero. This inherent property of DAGs
results in an inability to differentiate between frequency components of
signals on such graphs. This problem can be addressed by alternating the
Fourier basis or adding edges in a DAG. However, these approaches change the
physics of the considered problem. To address this limitation, we propose a
graph zero-padding approach. This approach involves augmenting the original DAG
with additional vertices that are connected to the existing structure. The
added vertices are characterized by signal values set to zero. The proposed
technique enables the spectral evaluation of system outputs on DAGs (in almost
all cases), that is the computation of vertex-domain convolution without the
adverse effects of aliasing due to changes in a graph structure, with the
ultimate goal of preserving the output of the system on a graph as if the
changes in the graph structure were not done.Comment: 10 pages, 12 figure
Adjacency labeling schemes and induced-universal graphs
We describe a way of assigning labels to the vertices of any undirected graph
on up to vertices, each composed of bits, such that given the
labels of two vertices, and no other information regarding the graph, it is
possible to decide whether or not the vertices are adjacent in the graph. This
is optimal, up to an additive constant, and constitutes the first improvement
in almost 50 years of an bound of Moon. As a consequence, we
obtain an induced-universal graph for -vertex graphs containing only
vertices, which is optimal up to a multiplicative constant,
solving an open problem of Vizing from 1968. We obtain similar tight results
for directed graphs, tournaments and bipartite graphs
Testing Small Set Expansion in General Graphs
We consider the problem of testing small set expansion for general graphs. A
graph is a -expander if every subset of volume at most has
conductance at least . Small set expansion has recently received
significant attention due to its close connection to the unique games
conjecture, the local graph partitioning algorithms and locally testable codes.
We give testers with two-sided error and one-sided error in the adjacency
list model that allows degree and neighbor queries to the oracle of the input
graph. The testers take as input an -vertex graph , a volume bound ,
an expansion bound and a distance parameter . For the
two-sided error tester, with probability at least , it accepts the graph
if it is a -expander and rejects the graph if it is -far
from any -expander, where and
. The
query complexity and running time of the tester are
, where is the number of
edges of the graph. For the one-sided error tester, it accepts every
-expander, and with probability at least , rejects every graph
that is -far from -expander, where
and for any . The query
complexity and running time of this tester are
.
We also give a two-sided error tester with smaller gap between and
in the rotation map model that allows (neighbor, index) queries and
degree queries.Comment: 23 pages; STACS 201
Perfect State Transfer in Laplacian Quantum Walk
For a graph and a related symmetric matrix , the continuous-time
quantum walk on relative to is defined as the unitary matrix , where varies over the reals. Perfect state transfer occurs
between vertices and at time if the -entry of
has unit magnitude. This paper studies quantum walks relative to graph
Laplacians. Some main observations include the following closure properties for
perfect state transfer:
(1) If a -vertex graph has perfect state transfer at time relative
to the Laplacian, then so does its complement if is an integer multiple
of . As a corollary, the double cone over any -vertex graph has
perfect state transfer relative to the Laplacian if and only if . This was previously known for a double cone over a clique (S. Bose,
A. Casaccino, S. Mancini, S. Severini, Int. J. Quant. Inf., 7:11, 2009).
(2) If a graph has perfect state transfer at time relative to the
normalized Laplacian, then so does the weak product if for any
normalized Laplacian eigenvalues of and of , we have
is an integer multiple of . As a corollary, a weak
product of with an even clique or an odd cube has perfect state
transfer relative to the normalized Laplacian. It was known earlier that a weak
product of a circulant with odd integer eigenvalues and an even cube or a
Cartesian power of has perfect state transfer relative to the adjacency
matrix.
As for negative results, no path with four vertices or more has antipodal
perfect state transfer relative to the normalized Laplacian. This almost
matches the state of affairs under the adjacency matrix (C. Godsil, Discrete
Math., 312:1, 2011).Comment: 26 pages, 5 figures, 1 tabl
Vertices cannot be hidden from quantum spatial search for almost all random graphs
In this paper we show that all nodes can be found optimally for almost all
random Erd\H{o}s-R\'enyi graphs using continuous-time
quantum spatial search procedure. This works for both adjacency and Laplacian
matrices, though under different conditions. The first one requires
, while the seconds requires , where . The proof was made by analyzing the convergence
of eigenvectors corresponding to outlying eigenvalues in the norm. At the same time for , the property does
not hold for any matrix, due to the connectivity issues. Hence, our derivation
concerning Laplacian matrix is tight.Comment: 18 pages, 3 figur
Efficient and Robust Compressed Sensing Using Optimized Expander Graphs
Expander graphs have been recently proposed to construct efficient compressed sensing algorithms. In particular, it has been shown that any n-dimensional vector that is k-sparse can be fully recovered using O(klog n) measurements and only O(klog n) simple recovery iterations. In this paper, we improve upon this result by considering expander graphs with expansion coefficient beyond 3/4 and show that, with the same number of measurements, only O(k) recovery iterations are required, which is a significant improvement when n is large. In fact, full recovery can be accomplished by at most 2k very simple iterations. The number of iterations can be reduced arbitrarily close to k, and the recovery algorithm can be implemented very efficiently using a simple priority queue with total recovery time O(nlog(n/k))). We also show that by tolerating a small penal- ty on the number of measurements, and not on the number of recovery iterations, one can use the efficient construction of a family of expander graphs to come up with explicit measurement matrices for this method. We compare our result with other recently developed expander-graph-based methods and argue that it compares favorably both in terms of the number of required measurements and in terms of the time complexity and the simplicity of recovery. Finally, we will show how our analysis extends to give a robust algorithm that finds the position and sign of the k significant elements of an almost k-sparse signal and then, using very simple optimization techniques, finds a k-sparse signal which is close to the best k-term approximation of the original signal
- …