157 research outputs found
Classical simulation of measurement-based quantum computation on higher-genus surface-code states
We consider the efficiency of classically simulating measurement-based
quantum computation on surface-code states. We devise a method for calculating
the elements of the probability distribution for the classical output of the
quantum computation. The operational cost of this method is polynomial in the
size of the surface-code state, but in the worst case scales as in the
genus of the surface embedding the code. However, there are states in the
code space for which the simulation becomes efficient. In general, the
simulation cost is exponential in the entanglement contained in a certain
effective state, capturing the encoded state, the encoding and the local
post-measurement states. The same efficiencies hold, with additional
assumptions on the temporal order of measurements and on the tessellations of
the code surfaces, for the harder task of sampling from the distribution of the
computational output.Comment: 21 pages, 13 figure
Noise-Resilient Group Testing: Limitations and Constructions
We study combinatorial group testing schemes for learning -sparse Boolean
vectors using highly unreliable disjunctive measurements. We consider an
adversarial noise model that only limits the number of false observations, and
show that any noise-resilient scheme in this model can only approximately
reconstruct the sparse vector. On the positive side, we take this barrier to
our advantage and show that approximate reconstruction (within a satisfactory
degree of approximation) allows us to break the information theoretic lower
bound of that is known for exact reconstruction of
-sparse vectors of length via non-adaptive measurements, by a
multiplicative factor .
Specifically, we give simple randomized constructions of non-adaptive
measurement schemes, with measurements, that allow efficient
reconstruction of -sparse vectors up to false positives even in the
presence of false positives and false negatives within the
measurement outcomes, for any constant . We show that, information
theoretically, none of these parameters can be substantially improved without
dramatically affecting the others. Furthermore, we obtain several explicit
constructions, in particular one matching the randomized trade-off but using measurements. We also obtain explicit constructions
that allow fast reconstruction in time \poly(m), which would be sublinear in
for sufficiently sparse vectors. The main tool used in our construction is
the list-decoding view of randomness condensers and extractors.Comment: Full version. A preliminary summary of this work appears (under the
same title) in proceedings of the 17th International Symposium on
Fundamentals of Computation Theory (FCT 2009
On Coloring Resilient Graphs
We introduce a new notion of resilience for constraint satisfaction problems,
with the goal of more precisely determining the boundary between NP-hardness
and the existence of efficient algorithms for resilient instances. In
particular, we study -resiliently -colorable graphs, which are those
-colorable graphs that remain -colorable even after the addition of any
new edges. We prove lower bounds on the NP-hardness of coloring resiliently
colorable graphs, and provide an algorithm that colors sufficiently resilient
graphs. We also analyze the corresponding notion of resilience for -SAT.
This notion of resilience suggests an array of open questions for graph
coloring and other combinatorial problems.Comment: Appearing in MFCS 201
Compact Labelings For Efficient First-Order Model-Checking
We consider graph properties that can be checked from labels, i.e., bit
sequences, of logarithmic length attached to vertices. We prove that there
exists such a labeling for checking a first-order formula with free set
variables in the graphs of every class that is \emph{nicely locally
cwd-decomposable}. This notion generalizes that of a \emph{nicely locally
tree-decomposable} class. The graphs of such classes can be covered by graphs
of bounded \emph{clique-width} with limited overlaps. We also consider such
labelings for \emph{bounded} first-order formulas on graph classes of
\emph{bounded expansion}. Some of these results are extended to counting
queries
Spotting Trees with Few Leaves
We show two results related to the Hamiltonicity and -Path algorithms in
undirected graphs by Bj\"orklund [FOCS'10], and Bj\"orklund et al., [arXiv'10].
First, we demonstrate that the technique used can be generalized to finding
some -vertex tree with leaves in an -vertex undirected graph in
time. It can be applied as a subroutine to solve the
-Internal Spanning Tree (-IST) problem in
time using polynomial space, improving upon previous algorithms for this
problem. In particular, for the first time we break the natural barrier of
. Second, we show that the iterated random bipartition employed by
the algorithm can be improved whenever the host graph admits a vertex coloring
with few colors; it can be an ordinary proper vertex coloring, a fractional
vertex coloring, or a vector coloring. In effect, we show improved bounds for
-Path and Hamiltonicity in any graph of maximum degree
or with vector chromatic number at most 8
Measurement of the vector analyzing power in elastic electron-proton scattering as a probe of double photon exchange amplitudes
We report the first measurement of the vector analyzing power in inclusive
transversely polarized elastic electron-proton scattering at Q^2 = 0.1
(GeV/c)^2 and large scattering angles. This quantity should vanish in the
single virtual photon exchange, plane wave impulse approximation for this
reaction, and can therefore provide information on double photon exchange
amplitudes for electromagnetic interactions with hadronic systems. We find a
non-zero value of A=-15.4+/-5.4 ppm. No calculations of this observable for
nuclei other than spin 0 have been carried out in these kinematics, and the
calculation using the spin orbit interaction from a charged point nucleus of
spin 0 cannot describe these data.Comment: 4 pages, 2 figures, submitted to Phys. Rev. Let
Algebraic synchronization criterion and computing reset words
We refine a uniform algebraic approach for deriving upper bounds on reset
thresholds of synchronizing automata. We express the condition that an
automaton is synchronizing in terms of linear algebra, and obtain upper bounds
for the reset thresholds of automata with a short word of a small rank. The
results are applied to make several improvements in the area.
We improve the best general upper bound for reset thresholds of finite prefix
codes (Huffman codes): we show that an -state synchronizing decoder has a
reset word of length at most . In addition to that, we prove
that the expected reset threshold of a uniformly random synchronizing binary
-state decoder is at most . We also show that for any non-unary
alphabet there exist decoders whose reset threshold is in .
We prove the \v{C}ern\'{y} conjecture for -state automata with a letter of
rank at most . In another corollary, based on the recent
results of Nicaud, we show that the probability that the \v{C}ern\'y conjecture
does not hold for a random synchronizing binary automaton is exponentially
small in terms of the number of states, and also that the expected value of the
reset threshold of an -state random synchronizing binary automaton is at
most .
Moreover, reset words of lengths within all of our bounds are computable in
polynomial time. We present suitable algorithms for this task for various
classes of automata, such as (quasi-)one-cluster and (quasi-)Eulerian automata,
for which our results can be applied.Comment: 18 pages, 2 figure
On plexus representation of dissimilarities
Correspondence analysis has found widespread application in analysing vegetation gradients. However, it is not clear how it is robust to situations where structures other than a simple gradient exist. The introduction of instrumental variables in canonical correspondence analysis does not avoid these difficulties. In this paper I propose to examine some simple methods based on the notion of the plexus (sensu McIntosh) where graphs or networks are used to display some of the structure of the data so that an informed choice of models is possible. I showthat two different classes of plexus model are available. These classes are distinguished by the use in one case of a global Euclidean model to obtain well-separated pair decomposition (WSPD) of a set of points which implicitly involves all dissimilarities, while in the other a Riemannian view is taken and emphasis is placed locally, i.e., on small dissimilarities. I showan example of each of these classes applied to vegetation data
- âŠ