Verification of hypergraph states

Hypergraph states are generalizations of graph states where controlled-$Z$ gates on edges are replaced with generalized controlled-$Z$ gates on hyperedges. Hypergraph states have several advantages over graph states. For example, certain hypergraph states, such as the Union Jack states, are universal resource states for measurement-based quantum computing with only Pauli measurements, while graph state measurement-based quantum computing needs non-Clifford basis measurements. Furthermore, it is impossible to classically efficiently sample measurement results on hypergraph states with a constant $L$1-norm error unless the polynomial hierarchy collapses to the third level. Although several protocols have been proposed to verify graph states with only sequential single-qubit Pauli measurements, there was no verification method for hypergraph states. In this paper, we propose a method for verifying hypergraph states with only sequential single-qubit Pauli measurements. As applications, we consider verified blind quantum computing with hypergraph states, and quantum supremacy demonstrations with hypergraph states.

[1]  Akimasa Miyake,et al.  Quantum supremacy in constant-time measurement-based computation: A unified architecture for sampling and verification , 2017, 1703.11002.

[2]  E. Kashefi,et al.  Unconditionally verifiable blind quantum computation , 2012, 1203.5217.

[3]  Keisuke Fujii,et al.  Power of Quantum Computation with Few Clean Qubits , 2015, ICALP.

[4]  Otfried Gühne,et al.  Extreme Violation of Local Realism in Quantum Hypergraph States. , 2015, Physical review letters.

[5]  Ashley Montanaro,et al.  Average-case complexity versus approximate simulation of commuting quantum computations , 2015, Physical review letters.

[6]  Matthew McKague,et al.  Interactive Proofs for BQP via Self-Tested Graph States , 2013, Theory Comput..

[7]  Tomoyuki Morimae,et al.  Quantum proofs can be verified using only single qubit measurements , 2015, ArXiv.

[8]  Akimasa Miyake,et al.  Hierarchy of universal entanglement in 2D measurement-based quantum computation , 2015, npj Quantum Information.

[9]  Masahito Hayashi,et al.  Verifiable Measurement-Only Blind Quantum Computing with Stabilizer Testing. , 2015, Physical review letters.

[10]  Akimasa Miyake,et al.  Resource quality of a symmetry-protected topologically ordered phase for quantum computation. , 2014, Physical review letters.

[11]  Graeme Smith,et al.  Quantum de Finetti Theorem under Fully-One-Way Adaptive Measurements. , 2014, Physical review letters.

[12]  David W. Lyons,et al.  Local unitary symmetries of hypergraph states , 2014, 1410.3904.

[13]  Lei Wang,et al.  Locally inequivalent four-qubit hypergraph states , 2014 .

[14]  C. Macchiavello,et al.  Entanglement and nonclassical properties of hypergraph states , 2014, 1404.6492.

[15]  藤井 啓祐,et al.  Quantum Commuting Circuits and Complexity of Ising Partition Functions (コンピュテーション) , 2014 .

[16]  Keisuke Fujii,et al.  On the hardness of classically simulating the one clean qubit model , 2013, Physical review letters.

[17]  T. Ralph,et al.  Boson sampling from a Gaussian state. , 2013, Physical review letters.

[18]  Keisuke Fujii,et al.  Commuting quantum circuits and complexity of Ising partition functions , 2013, ArXiv.

[19]  Umesh V. Vazirani,et al.  Classical command of quantum systems , 2013, Nature.

[20]  C. Macchiavello,et al.  Quantum hypergraph states , 2012, 1211.5554.

[21]  Yoshifumi Nakata,et al.  Measurement-based quantum computation on symmetry breaking thermal States. , 2012, Physical review letters.

[22]  T. Morimae,et al.  Blind quantum computation protocol in which Alice only makes measurements , 2012, 1201.3966.

[23]  Stephen D Bartlett,et al.  Symmetry-protected phases for measurement-based quantum computation. , 2012, Physical review letters.

[24]  Tomoyuki Morimae,et al.  Topologically protected measurement-based quantum computation on the thermal state of a nearest-neighbor two-body Hamiltonian with spin-3/2 particles , 2011, 1111.0919.

[25]  Andrew S. Darmawan,et al.  Measurement-based quantum computation in a two-dimensional phase of matter , 2011, 1108.4741.

[26]  Tzu-Chieh Wei,et al.  Thermal states as universal resources for quantum computation with always-on interactions. , 2011, Physical review letters.

[27]  Tzu-Chieh Wei,et al.  Affleck-Kennedy-Lieb-Tasaki state on a honeycomb lattice is a universal quantum computational resource. , 2011, Physical review letters.

[28]  Scott Aaronson,et al.  The computational complexity of linear optics , 2010, STOC '11.

[29]  A. Miyake.  Quantum computational capability of a 2D valence bond solid phase , 2010, 1009.3491.

[30]  Tzu-Chieh Wei,et al.  The 2D AKLT state is a universal quantum computational resource , 2010 .

[31]  R. Jozsa,et al.  Classical simulation of commuting quantum computations implies collapse of the polynomial hierarchy , 2010, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[32]  H. Briegel,et al.  Universal quantum computer from a quantum magnet , 2010, 1004.1907.

[33]  Akimasa Miyake,et al.  Quantum computation on the edge of a symmetry-protected topological order. , 2010, Physical review letters.

[34]  T. Rudolph,et al.  Quantum computation via measurements on the low-temperature state of a many-body system , 2009, 0906.3553.

[35]  W Dür,et al.  Quantum computation in correlation space and extremal entanglement. , 2009, Physical review letters.

[36]  Elham Kashefi,et al.  Universal Blind Quantum Computation , 2008, 2009 50th Annual IEEE Symposium on Foundations of Computer Science.

[37]  Stephen D Bartlett,et al.  Identifying phases of quantum many-body systems that are universal for quantum computation. , 2008, Physical review letters.

[38]  Spin lattices with two-body Hamiltonians for which the ground state encodes a cluster state , 2008, 0805.2980.

[39]  A. Miyake,et al.  Measurement-based quantum computer in the gapped ground state of a two-body Hamiltonian. , 2008, Physical review letters.

[40]  D. Gross,et al.  Novel schemes for measurement-based quantum computation. , 2006, Physical review letters.

[41]  R Raussendorf,et al.  A one-way quantum computer. , 2001, Physical review letters.