2,623 research outputs found
Six-qubit permutation-based decoherence-free orthogonal basis
There is a natural orthogonal basis of the 6-qubit decoherence-free (DF)
space robust against collective noise. Interestingly, most of the basis states
can be obtained from one another just permuting qubits. This property: (a) is
useful for encoding qubits in DF subspaces, (b) allows the implementation of
the Bennett-Brassard 1984 (BB84) protocol in DF subspaces just permuting
qubits, which completes a the method for quantum key distribution using DF
states proposed by Boileau et al. [Phys. Rev. Lett. 92, 017901 (2004)], and (c)
points out that there is only one 6-qubit DF state which is essentially new
(not obtained by permutations) and therefore constitutes an interesting
experimental challenge.Comment: REVTeX4, 5 page
Implications of quantum automata for contextuality
We construct zero-error quantum finite automata (QFAs) for promise problems
which cannot be solved by bounded-error probabilistic finite automata (PFAs).
Here is a summary of our results:
- There is a promise problem solvable by an exact two-way QFA in exponential
expected time, but not by any bounded-error sublogarithmic space probabilistic
Turing machine (PTM).
- There is a promise problem solvable by an exact two-way QFA in quadratic
expected time, but not by any bounded-error -space PTMs in
polynomial expected time. The same problem can be solvable by a one-way Las
Vegas (or exact two-way) QFA with quantum head in linear (expected) time.
- There is a promise problem solvable by a Las Vegas realtime QFA, but not by
any bounded-error realtime PFA. The same problem can be solvable by an exact
two-way QFA in linear expected time but not by any exact two-way PFA.
- There is a family of promise problems such that each promise problem can be
solvable by a two-state exact realtime QFAs, but, there is no such bound on the
number of states of realtime bounded-error PFAs solving the members this
family.
Our results imply that there exist zero-error quantum computational devices
with a \emph{single qubit} of memory that cannot be simulated by any finite
memory classical computational model. This provides a computational perspective
on results regarding ontological theories of quantum mechanics \cite{Hardy04},
\cite{Montina08}. As a consequence we find that classical automata based
simulation models \cite{Kleinmann11}, \cite{Blasiak13} are not sufficiently
powerful to simulate quantum contextuality. We conclude by highlighting the
interplay between results from automata models and their application to
developing a general framework for quantum contextuality.Comment: 22 page
Recommended from our members
Minimum Cell Connection in Line Segment Arrangements
We study the complexity of the following cell connection problems in segment arrangements. Given a set of straight-line segments in the plane and two points a and b in different cells of the induced arrangement:
[(i)] compute the minimum number of segments one needs to remove so that there is a path connecting a to b that does not intersect any of the remaining segments; [(ii)] compute the minimum number of segments one needs to remove so that the arrangement induced by the remaining segments has a single cell.
We show that problems (i) and (ii) are NP-hard and discuss some special, tractable cases. Most notably, we provide a near-linear-time algorithm for a variant of problem (i) where the path connecting a
to b must stay inside a given polygon P with a constant number of holes, the segments are contained in P, and the endpoints of the segments are on the boundary of P. The approach for this latter result uses homotopy of paths to group the segments into clusters with the property that either all segments in a cluster or none participate in an optimal solution
Reproductive biology of lesser spotted dogfish Scyliorhinus canicula (L., 1758) in the Cantabrian Sea
This paper examines sexual maturity of the female lesser spotted dogfish Scyliorhinus canicula (L., 1758) in the Cantabrian Sea (north of Spain). Analyses made using data collected from commercial trawlers during 1994 and 1995 showed that females reach sexual maturity at a length of 54.2 cm, and the mean egg-laying size is 56.4 ± 0.94 cm. At least one in six adult female dogfish carried egg-capsules during the study period. Sex-ratio by depth strata indicates a larger proportion of females in deeper waters. Mature and spawning females were found at depths ranging from 100 m to more than 400 m, with their proportion being larger in the deeper strata.No disponibl
The Complexity of Separating Points in the Plane
We study the following separation problem: given n connected curves and two points s and t in the plane, compute the minimum number of curves one needs to retain so that any path connecting s to t intersects some of the retained curves. We give the first polynomial (O(n3)) time algorithm for the problem, assuming that the curves have reasonable computational properties. The algorithm is based on considering the intersection graph of the curves, defining an appropriate family of closed walks in the intersection graph that satisfies the 3-path-condition, and arguing that a shortest cycle in the family gives an optimal solution. The 3-path-condition has been used mainly in topological graph theory, and thus its use here makes the connection to topology clear. We also show that the generalized version, where several input points are to be separated, is NP-hard for natural families of curves, like segments in two directions or unit circles
State-independent quantum violation of noncontextuality in four dimensional space using five observables and two settings
Recently, a striking experimental demonstration [G. Kirchmair \emph{et al.},
Nature, \textbf{460}, 494(2009)] of the state-independent quantum mechanical
violation of non-contextual realist models has been reported for any two-qubit
state using suitable choices of \emph{nine} product observables and \emph{six}
different measurement setups. In this report, a considerable simplification of
such a demonstration is achieved by formulating a scheme that requires only
\emph{five} product observables and \emph{two} different measurement setups. It
is also pointed out that the relevant empirical data already available in the
experiment by Kirchmair \emph{et al.} corroborate the violation of the NCR
models in accordance with our proof
Two-player quantum pseudo-telepathy based on recent all-versus-nothing violations of local realism
We introduce two two-player quantum pseudo-telepathy games based on two
recently proposed all-versus-nothing (AVN) proofs of Bell's theorem [A.
Cabello, Phys. Rev. Lett. 95, 210401 (2005); Phys. Rev. A 72, 050101(R)
(2005)]. These games prove that Broadbent and Methot's claim that these AVN
proofs do not rule out local-hidden-variable theories in which it is possible
to exchange unlimited information inside the same light-cone (quant-ph/0511047)
is incorrect.Comment: REVTeX4, 5 page
Straight-line Drawability of a Planar Graph Plus an Edge
We investigate straight-line drawings of topological graphs that consist of a
planar graph plus one edge, also called almost-planar graphs. We present a
characterization of such graphs that admit a straight-line drawing. The
characterization enables a linear-time testing algorithm to determine whether
an almost-planar graph admits a straight-line drawing, and a linear-time
drawing algorithm that constructs such a drawing, if it exists. We also show
that some almost-planar graphs require exponential area for a straight-line
drawing
- …