-
Quantification and manipulation of magic states
Authors:
Mehdi Ahmadi,
Hoan Bui Dang,
Gilad Gour,
Barry C. Sanders
Abstract:
Magic states can be used as a resource to circumvent the restrictions due to stabilizer-preserving operations, and magic-state conversion has not been studied in the single-copy regime thus far. Here we solve the question of whether a stabilizer-preserving quantum operation exists that can convert between two given magic states in the single-shot regime. We first phrase this question as a feasibil…
▽ More
Magic states can be used as a resource to circumvent the restrictions due to stabilizer-preserving operations, and magic-state conversion has not been studied in the single-copy regime thus far. Here we solve the question of whether a stabilizer-preserving quantum operation exists that can convert between two given magic states in the single-shot regime. We first phrase this question as a feasibility problem for a semi-definite program (SDP), which provides a procedure for constructing a stabilizer-preserving quantum operation (free channel) if it exists. Then we employ a variant of the Farkas Lemma to derive necessary and sufficient conditions for existence, and this method is used to construct a complete set of magic monotones.
△ Less
Submitted 20 June, 2018; v1 submitted 12 June, 2017;
originally announced June 2017.
-
Studies of symmetries that give special quantum states the "right to exist"
Authors:
Hoan Bui Dang
Abstract:
In this thesis we study symmetric structures in Hilbert spaces known as symmetric informationally complete positive operator-valued measures (SIC-POVMs), mutually unbiased bases (MUBs), and MUB-balanced states. Our tools include symmetries such as the Weyl-Heisenberg (WH) group symmetry, Clifford unitaries, Zauner symmetry, and Galois-unitaries (g-unitaries), which are non-linear operators defined…
▽ More
In this thesis we study symmetric structures in Hilbert spaces known as symmetric informationally complete positive operator-valued measures (SIC-POVMs), mutually unbiased bases (MUBs), and MUB-balanced states. Our tools include symmetries such as the Weyl-Heisenberg (WH) group symmetry, Clifford unitaries, Zauner symmetry, and Galois-unitaries (g-unitaries), which are non-linear operators defined to generalize the notion of anti-unitaries.
△ Less
Submitted 11 August, 2015;
originally announced August 2015.
-
States that are far from being stabilizer states
Authors:
David Andersson,
Ingemar Bengtsson,
Kate Blanchfield,
Hoan Bui Dang
Abstract:
Stabilizer states are eigenvectors of maximal commuting sets of operators in a finite Heisenberg group. States that are far from being stabilizer states include magic states in quantum computation, MUB-balanced states, and SIC vectors. In prime dimensions the latter two fall under the umbrella of Minimum Uncertainty States (MUS) in the sense of Wootters and Sussman. We study the correlation betwee…
▽ More
Stabilizer states are eigenvectors of maximal commuting sets of operators in a finite Heisenberg group. States that are far from being stabilizer states include magic states in quantum computation, MUB-balanced states, and SIC vectors. In prime dimensions the latter two fall under the umbrella of Minimum Uncertainty States (MUS) in the sense of Wootters and Sussman. We study the correlation between two ways in which the notion of "far from being a stabilizer state" can be quantified, and give detailed results for low dimensions. In dimension 7 we identify the MUB-balanced states as being antipodal to the SIC vectors within the set of MUS, in a sense that we make definite. In dimension 4 we show that the states that come closest to being MUS with respect to all the six stabilizer MUBs are the fiducial vectors for Alltop MUBs.
△ Less
Submitted 28 December, 2014;
originally announced December 2014.
-
Galois Unitaries, Mutually Unbiased Bases, and MUB-balanced states
Authors:
D. M. Appleby,
Ingemar Bengtsson,
Hoan Bui Dang
Abstract:
A Galois unitary is a generalization of the notion of anti-unitary operators. They act only on those vectors in Hilbert space whose entries belong to some chosen number field. For Mutually Unbiased Bases the relevant number field is a cyclotomic field. By including Galois unitaries we are able to remove a mismatch between the finite projective group acting on the bases on the one hand, and the set…
▽ More
A Galois unitary is a generalization of the notion of anti-unitary operators. They act only on those vectors in Hilbert space whose entries belong to some chosen number field. For Mutually Unbiased Bases the relevant number field is a cyclotomic field. By including Galois unitaries we are able to remove a mismatch between the finite projective group acting on the bases on the one hand, and the set of those permutations of the bases that can be implemented as transformations in Hilbert space on the other hand. In particular we show that there exist transformations that cycle through all the bases in every dimension which is an odd power of an odd prime. (For even primes unitary MUB-cyclers exist.) These transformations have eigenvectors, which are MUB-balanced states (i.e. rotationally symmetric states in the original terminology of Wootters and Sussman) if and only if d = 3 modulo 4. We conjecture that this construction yields all such states in odd prime power dimension.
△ Less
Submitted 31 October, 2014; v1 submitted 28 September, 2014;
originally announced September 2014.
-
Linear Dependencies in Weyl-Heisenberg Orbits
Authors:
Hoan Bui Dang,
Kate Blanchfield,
Ingemar Bengtsson,
D. M. Appleby
Abstract:
Five years ago, Lane Hughston showed that some of the symmetric informationally complete positive operator valued measures (SICs) in dimension 3 coincide with the Hesse configuration (a structure well known to algebraic geometers, which arises from the torsion points of a certain elliptic curve). This connection with elliptic curves is signalled by the presence of linear dependencies among the SIC…
▽ More
Five years ago, Lane Hughston showed that some of the symmetric informationally complete positive operator valued measures (SICs) in dimension 3 coincide with the Hesse configuration (a structure well known to algebraic geometers, which arises from the torsion points of a certain elliptic curve). This connection with elliptic curves is signalled by the presence of linear dependencies among the SIC vectors. Here we look for analogous connections between SICs and algebraic geometry by performing computer searches for linear dependencies in higher dimensional SICs. We prove that linear dependencies will always emerge in Weyl-Heisenberg orbits when the fiducial vector lies in a certain subspace of an order 3 unitary matrix. This includes SICs when the dimension is divisible by 3 or equal to 8 mod 9. We examine the linear dependencies in dimension 6 in detail and show that smaller dimensional SICs are contained within this structure, potentially impacting the SIC existence problem. We extend our results to look for linear dependencies in orbits when the fiducial vector lies in an eigenspace of other elements of the Clifford group that are not order 3. Finally, we align our work with recent studies on representations of the Clifford group.
△ Less
Submitted 13 September, 2013; v1 submitted 1 November, 2012;
originally announced November 2012.
-
Symmetric Informationally-Complete Quantum States as Analogues to Orthonormal Bases and Minimum-Uncertainty States
Authors:
D. M. Appleby,
Hoan Bui Dang,
Christopher A. Fuchs
Abstract:
Since Renes et al. [J. Math. Phys. 45, 2171 (2004)], there has been much effort in the quantum information community to prove (or disprove) the existence of symmetric informationally complete (SIC) sets of quantum states in arbitrary finite dimension. This paper strengthens the urgency of this question by showing that if SIC-sets exist: 1) by a natural measure of orthonormality, they are as close…
▽ More
Since Renes et al. [J. Math. Phys. 45, 2171 (2004)], there has been much effort in the quantum information community to prove (or disprove) the existence of symmetric informationally complete (SIC) sets of quantum states in arbitrary finite dimension. This paper strengthens the urgency of this question by showing that if SIC-sets exist: 1) by a natural measure of orthonormality, they are as close to being an orthonormal basis for the space of density operators as possible, and 2) in prime dimensions, the standard construction for complete sets of mutually unbiased bases and Weyl-Heisenberg covariant SIC-sets are intimately related: The latter represent minimum uncertainty states for the former in the sense of Wootters and Sussman. Finally, we contribute to the question of existence by conjecturing a quadratic redundancy in the equations for Weyl-Heisenberg SIC-sets.
△ Less
Submitted 28 June, 2010; v1 submitted 13 July, 2007;
originally announced July 2007.