Abstract:Bipartite and multipartite entangled states are of central interest in quantum information processing and foundational studies. Efficient verification of these states, especially in the adversarial scenario, is a key to various applications, including quantum computation, quantum simulation, and quantum networks. However, little is known about this topic in the adversarial scenario. Here we initiate a systematic study of pure-state verification in the adversarial scenario. In particular, we introduce a general method for determining the minimal number of tests required by a given strategy to achieve a given precision. In the case of homogeneous strategies, we can even derive an analytical formula. Furthermore, we propose a general recipe to verifying pure quantum states in the adversarial scenario by virtue of protocols for the nonadversarial scenario. Thanks to this recipe, the resource cost for verifying an arbitrary pure state in the adversarial scenario is comparable to the counterpart for the nonadversarial scenario, and the overhead is at most three times for high-precision verification. Our recipe can readily be applied to efficiently verify bipartite pure states, stabilizer states, hypergraph states, weighted graph states, and Dicke states in the adversarial scenario, even if only local projective measurements are accessible. This paper is an extended version of the companion paper Zhu and Hayashi, Phys. Rev. Lett. 123, 260504 (2019).

Verification of Phased Dicke States

Efficient Verification of Dicke States

Exact Solvability, Non-Integrability, and Genuine Multipartite Entanglement Dynamics of the Dicke Model

Analytical Exact Solutions to the Finite-Size Dicke Model: Extended Coherent States Approaches

Entanglement Detection in the Vicinity of Arbitrary Dicke States

Efficient Verification of Bipartite Pure States

Precise Detection of Multipartite Entanglement in Fourqubit Greenberger–Horne–Zeilinger Diagonal States

Verifying Genuine High-Order Entanglement

Efficient preparation of Dicke states

Optimal Verification of Greenberger-Horne-Zeilinger States

Short-Depth Circuits for Dicke State Preparation

Efficient Verification of Hypergraph States

Optimized Detection of High-Dimensional Entanglement

Efficient Deterministic Secure Quantum Communication protocols using multipartite entangled states

General Framework for Verifying Pure Quantum States in the Adversarial Scenario

Efficient quantum algorithm to construct arbitrary Dicke states

Generation And Discrimination Of Greenberger-Horne-Zeilinger States Using Dipole-Induced Transparency In A Cavity-Waveguide System

Efficient State Preparation for Metrology and Quantum Error Correction with Global Control

Efficient Dicke state generation in a network of lossy channels

Generalized Weyl-Heisenberg Algebra, Qudit Systems and Entanglement Measure of Symmetric States via Spin Coherent States

Entropy Cones and Entanglement Evolution for Dicke States