273 research outputs found
On the complexity of solving linear congruences and computing nullspaces modulo a constant
We consider the problems of determining the feasibility of a linear
congruence, producing a solution to a linear congruence, and finding a spanning
set for the nullspace of an integer matrix, where each problem is considered
modulo an arbitrary constant k>1. These problems are known to be complete for
the logspace modular counting classes {Mod_k L} = {coMod_k L} in special case
that k is prime (Buntrock et al, 1992). By considering variants of standard
logspace function classes --- related to #L and functions computable by UL
machines, but which only characterize the number of accepting paths modulo k
--- we show that these problems of linear algebra are also complete for
{coMod_k L} for any constant k>1.
Our results are obtained by defining a class of functions FUL_k which are low
for {Mod_k L} and {coMod_k L} for k>1, using ideas similar to those used in the
case of k prime in (Buntrock et al, 1992) to show closure of Mod_k L under NC^1
reductions (including {Mod_k L} oracle reductions). In addition to the results
above, we briefly consider the relationship of the class FUL_k for arbitrary
moduli k to the class {F.coMod_k L} of functions whose output symbols are
verifiable by {coMod_k L} algorithms; and consider what consequences such a
comparison may have for oracle closure results of the form {Mod_k L}^{Mod_k L}
= {Mod_k L} for composite k.Comment: 17 pages, one Appendix; minor corrections and revisions to
presentation, new observations regarding the prospect of oracle closures.
Comments welcom
A linearized stabilizer formalism for systems of finite dimension
The stabilizer formalism is a scheme, generalizing well-known techniques
developed by Gottesman [quant-ph/9705052] in the case of qubits, to efficiently
simulate a class of transformations ("stabilizer circuits", which include the
quantum Fourier transform and highly entangling operations) on standard basis
states of d-dimensional qudits. To determine the state of a simulated system,
existing treatments involve the computation of cumulative phase factors which
involve quadratic dependencies. We present a simple formalism in which Pauli
operators are represented using displacement operators in discrete phase space,
expressing the evolution of the state via linear transformations modulo D <=
2d. We thus obtain a simple proof that simulating stabilizer circuits on n
qudits, involving any constant number of measurement rounds, is complete for
the complexity class coMod_{d}L and may be simulated by O(log(n)^2)-depth
boolean circuits for any constant d >= 2.Comment: 25 pages, 3 figures. Reorganized to collect complexity results; some
corrections and elaborations of technical results. Differs slightly from the
version to be published (fixed typos, changes of wording to accommodate page
breaks for a different article format). To appear as QIC vol 13 (2013),
pp.73--11
Quantum linear network coding as one-way quantum computation
Network coding is a technique to maximize communication rates within a
network, in communication protocols for simultaneous multi-party transmission
of information. Linear network codes are examples of such protocols in which
the local computations performed at the nodes in the network are limited to
linear transformations of their input data (represented as elements of a ring,
such as the integers modulo 2). The quantum linear network coding protocols of
Kobayashi et al [arXiv:0908.1457 and arXiv:1012.4583] coherently simulate
classical linear network codes, using supplemental classical communication. We
demonstrate that these protocols correspond in a natural way to
measurement-based quantum computations with graph states over over qudits
[arXiv:quant-ph/0301052, arXiv:quant-ph/0603226, and arXiv:0704.1263] having a
structure directly related to the network.Comment: 17 pages, 6 figures. Updated to correct an incorrect (albeit
hilarious) reference in the arXiv version of the abstrac
Finding flows in the one-way measurement model
The one-way measurement model is a framework for universal quantum
computation, in which algorithms are partially described by a graph G of
entanglement relations on a collection of qubits. A sufficient condition for an
algorithm to perform a unitary embedding between two Hilbert spaces is for the
graph G, together with input/output vertices I, O \subset V(G), to have a flow
in the sense introduced by Danos and Kashefi [quant-ph/0506062]. For the
special case of |I| = |O|, using a graph-theoretic characterization, I show
that such flows are unique when they exist. This leads to an efficient
algorithm for finding flows, by a reduction to solved problems in graph theory.Comment: 8 pages, 3 figures: somewhat condensed and updated version, to appear
in PR
Finding Optimal Flows Efficiently
Among the models of quantum computation, the One-way Quantum Computer is one
of the most promising proposals of physical realization, and opens new
perspectives for parallelization by taking advantage of quantum entanglement.
Since a one-way quantum computation is based on quantum measurement, which is a
fundamentally nondeterministic evolution, a sufficient condition of global
determinism has been introduced as the existence of a causal flow in a graph
that underlies the computation. A O(n^3)-algorithm has been introduced for
finding such a causal flow when the numbers of output and input vertices in the
graph are equal, otherwise no polynomial time algorithm was known for deciding
whether a graph has a causal flow or not. Our main contribution is to introduce
a O(n^2)-algorithm for finding a causal flow, if any, whatever the numbers of
input and output vertices are. This answers the open question stated by Danos
and Kashefi and by de Beaudrap. Moreover, we prove that our algorithm produces
an optimal flow (flow of minimal depth.)
Whereas the existence of a causal flow is a sufficient condition for
determinism, it is not a necessary condition. A weaker version of the causal
flow, called gflow (generalized flow) has been introduced and has been proved
to be a necessary and sufficient condition for a family of deterministic
computations. Moreover the depth of the quantum computation is upper bounded by
the depth of the gflow. However, the existence of a polynomial time algorithm
that finds a gflow has been stated as an open question. In this paper we answer
this positively with a polynomial time algorithm that outputs an optimal gflow
of a given graph and thus finds an optimal correction strategy to the
nondeterministic evolution due to measurements.Comment: 10 pages, 3 figure
- …