118,084 research outputs found
Some Ulam's reconstruction problems for quantum states
Provided a complete set of putative -body reductions of a multipartite
quantum state, can one determine if a joint state exists? We derive necessary
conditions for this to be true. In contrast to what is known as the quantum
marginal problem, we consider a setting where the labeling of the subsystems is
unknown. The problem can be seen in analogy to Ulam's reconstruction conjecture
in graph theory. The conjecture - still unsolved - claims that every graph on
at least three vertices can uniquely be reconstructed from the set of its
vertex-deleted subgraphs. When considering quantum states, we demonstrate that
the non-existence of joint states can, in some cases, already be inferred from
a set of marginals having the size of just more than half of the parties. We
apply these methods to graph states, where many constraints can be evaluated by
knowing the number of stabilizer elements of certain weights that appear in the
reductions. This perspective links with constraints that were derived in the
context of quantum error-correcting codes and polynomial invariants. Some of
these constraints can be interpreted as monogamy-like relations that limit the
correlations arising from quantum states. Lastly, we provide an answer to
Ulam's reconstruction problem for generic quantum states.Comment: 22 pages, 3 figures, v2: significantly revised final versio
Modular Decomposition and the Reconstruction Conjecture
We prove that a large family of graphs which are decomposable with respect to
the modular decomposition can be reconstructed from their collection of
vertex-deleted subgraphs.Comment: 9 pages, 2 figure
Broadcasting on Random Directed Acyclic Graphs
We study a generalization of the well-known model of broadcasting on trees.
Consider a directed acyclic graph (DAG) with a unique source vertex , and
suppose all other vertices have indegree . Let the vertices at
distance from be called layer . At layer , is given a random
bit. At layer , each vertex receives bits from its parents in
layer , which are transmitted along independent binary symmetric channel
edges, and combines them using a -ary Boolean processing function. The goal
is to reconstruct with probability of error bounded away from using
the values of all vertices at an arbitrarily deep layer. This question is
closely related to models of reliable computation and storage, and information
flow in biological networks.
In this paper, we analyze randomly constructed DAGs, for which we show that
broadcasting is only possible if the noise level is below a certain degree and
function dependent critical threshold. For , and random DAGs with
layer sizes and majority processing functions, we identify the
critical threshold. For , we establish a similar result for NAND
processing functions. We also prove a partial converse for odd
illustrating that the identified thresholds are impossible to improve by
selecting different processing functions if the decoder is restricted to using
a single vertex.
Finally, for any noise level, we construct explicit DAGs (using expander
graphs) with bounded degree and layer sizes admitting
reconstruction. In particular, we show that such DAGs can be generated in
deterministic quasi-polynomial time or randomized polylogarithmic time in the
depth. These results portray a doubly-exponential advantage for storing a bit
in DAGs compared to trees, where but layer sizes must grow exponentially
with depth in order to enable broadcasting.Comment: 33 pages, double column format. arXiv admin note: text overlap with
arXiv:1803.0752
An algebraic formulation of the graph reconstruction conjecture
The graph reconstruction conjecture asserts that every finite simple graph on
at least three vertices can be reconstructed up to isomorphism from its deck -
the collection of its vertex-deleted subgraphs. Kocay's Lemma is an important
tool in graph reconstruction. Roughly speaking, given the deck of a graph
and any finite sequence of graphs, it gives a linear constraint that every
reconstruction of must satisfy.
Let be the number of distinct (mutually non-isomorphic) graphs on
vertices, and let be the number of distinct decks that can be
constructed from these graphs. Then the difference measures
how many graphs cannot be reconstructed from their decks. In particular, the
graph reconstruction conjecture is true for -vertex graphs if and only if
.
We give a framework based on Kocay's lemma to study this discrepancy. We
prove that if is a matrix of covering numbers of graphs by sequences of
graphs, then . In particular, all
-vertex graphs are reconstructible if one such matrix has rank . To
complement this result, we prove that it is possible to choose a family of
sequences of graphs such that the corresponding matrix of covering numbers
satisfies .Comment: 12 pages, 2 figure
Quiet Planting in the Locked Constraint Satisfaction Problems
We study the planted ensemble of locked constraint satisfaction problems. We
describe the connection between the random and planted ensembles. The use of
the cavity method is combined with arguments from reconstruction on trees and
first and second moment considerations; in particular the connection with the
reconstruction on trees appears to be crucial. Our main result is the location
of the hard region in the planted ensemble. In a part of that hard region
instances have with high probability a single satisfying assignment.Comment: 21 pages, revised versio
- …