• Corpus ID: 117817594

Computation with Unitaries and One Pure Qubit

@article{Shepherd2006ComputationWU,
  title={Computation with Unitaries and One Pure Qubit},
  author={Dan J. Shepherd},
  journal={arXiv: Quantum Physics},
  year={2006}
}
  • D. Shepherd
  • Published 17 August 2006
  • Mathematics
  • arXiv: Quantum Physics
We define a semantic complexity class based on the model of quantum computing with just one pure qubit (as introduced by Knill and Laflamme) and discuss its computational power in terms of the problem of estimating the trace of a large unitary matrix. We show that this problem is complete for the complexity class, and derive some further fundamental features of the class. We conclude with a discussion of some associated open conjectures and new oracle separations between classes. 
Blindness and Verification of Quantum Computation with One Pure Qubit
TLDR
This paper presents the adaptation of Encoding via blindness to the one pure qubit model, and presents the first feasible scheme for the verification of delegated one purequbit model of quantum computing.
Verified Delegated Quantum Computing with One Pure Qubit
TLDR
This paper presents the adaptation of this approach to the one pure qubit model, and presents the rst feasible scheme for the verication of delegated one purequbit model of quantum computing.
Normalizer Circuits and Quantum Computation
TLDR
An efficient formalism for simulating families of quantum circuits, that are non-universal but comprise important quantum gates such as QFT or CNOT, is developed and used to design new algorithms that provide quantum speedups.
Power of Quantum Computation with Few Clean Qubits
TLDR
It is proved that the TRACE ESTIMATION problem defined with fixed constant threshold parameters is complete for the classes of problems solvable by polynomial-time quantum computations with completeness 2/3 and soundness 1/3 using logarithmically many clean qubits and just one clean qubit.
Estimating Jones polynomials is a complete problem for one clean qubit
TLDR
It is shown that evaluating a certain approximation to the Jones polynomial at a fifth root of unity for the trace closure of a braid is a complete problem for the one clean qubit complexity class.
The Quantum Complexity of Computing Schatten $p$-norms
TLDR
It is shown that the problem of approximating $\text{Tr}\, (|A|^p)$ for a log-local $n$-qubit Hamiltonian $A$ and $p=\text{poly}(n)$, up to a suitable level of accuracy, is contained in DQC1; and that approximating this quantityup to a somewhat higherlevel of accuracy is D QC1-hard.
Approximating the Turaev-Viro Invariant of Mapping Tori is Complete for One Clean Qubit
TLDR
It is shown that the problem of estimating the Fibonacci version of the Turaev-Viro invariant of a mapping torus is a complete problem for the one clean qubit complexity class (DQC1).
Quantum Computation Beyond the
The quantum circuit model is the most widely used model of quantum computation. It provides both a framework for formulating quantum algorithms and an architecture for the physical construction of
Quantum computation beyond the circuit model
The quantum circuit model is the most widely used model of quantum computation. It provides both a framework for formulating quantum algorithms and an architecture for the physical construction of
Studies on the Role of Entanglement in Mixed-state Quantum Computation
In this thesis, I look at the role of quantum entanglement in mixed-state quantum computation. The model we consider is the DQC1 or `power of one qubit' model. I show that there is minimal bipartite
...
1
2
...

References

SHOWING 1-4 OF 4 REFERENCES
Power of One Bit of Quantum Information
In standard quantum computation, the initial state is pure and the answer is determined by making a measurement of some of the bits in the computational basis. What can be accomplished if the initial
Adaptive quantum computation, constant depth quantum circuits and arthur-merlin games
TLDR
It is proved that if one can simulate these circuits classically efficiently then BQP ⊆ AM is possible.
Improved Simulation of Stabilizer Circuits
TLDR
The Gottesman-Knill theorem, which says that a stabilizer circuit, a quantum circuit consisting solely of controlled-NOT, Hadamard, and phase gates can be simulated efficiently on a classical computer, is improved in several directions.
Quantum Computation and Quantum Information
TLDR
This chapter discusses quantum information theory, public-key cryptography and the RSA cryptosystem, and the proof of Lieb's theorem.