Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2007.09713 · Physical Review Research

Optimal verification of stabilizer states

Ninnat Dangniam, Yun-Guang Han, Huangjun Zhu

Published Dec 4, 2020• 43 citations
arXivHTMLPDF

Abstract

Statistical verification of a quantum state aims to certify whether a given unknown state is close to the target state with confidence. So far, sample-optimal verification protocols based on local measurements have been found only for disparate groups of states: bipartite pure states, GHZ states, and antisymmetric basis states. In this work, we investigate systematically optimal verification of entangled stabilizer states using Pauli measurements. First, we provide a lower bound on the sample complexity of any verification protocol based on separable measurements, which is independent of the number of qubits and the specific stabilizer state. Then we propose a simple algorithm for constructing optimal protocols based on Pauli measurements. Our calculations suggest that optimal protocols based on Pauli measurements can saturate the above bound for all entangled stabilizer states, and this claim is verified explicitly for states up to seven qubits. Similar results are derived when each party can choose only two measurement settings, say X and Z. Furthermore, by virtue of the chromatic number, we provide an upper bound for the minimum number of settings required to verify any graph state, which is expected to be tight. For experimentalists, optimal protocols and protocols with the minimum number of settings are explicitly provided for all equivalent classes of stabilizer states up to seven qubits. For theorists, general results on stabilizer states (including graph states in particular) and related structures derived here may be of independent interest beyond quantum state verification.

DOI
10.1103/physrevresearch.2.043323

Related papers

Evaluating Quantum State Verification for d-Level Graph States

Matachan Oupatam, Ninnat Dangniam

Abstract The objective of Quantum State Verification (QSV) is to evaluate whether an unknown quantum state is sufficiently similar to a predetermined target state at a certain confidence level. The required number of identical and independent copies, N, of an unknown state for such a task is inversely proportional to the spectral gap of a verification operator. Stabilizer states form a foundational class of quantum states, extensively utilized in quantum computing. Defined through a group of stabilizer operators constructed from Pauli matrices in qubit systems, their structural properties not only simplify the mathematical representation and simulation of quantum states but also make them particularly suitable for verification protocols that rely on local measurements. Restricting the verification operator to be those that can be achieved by local measurements, previous researches had determined an upper bound for the spectral gap to be 2/3 in the cases of qubit stabilizer states. In this research, we show a similar upper bound of d/(d+1) in the cases of graph states of d-level systems by a technique from [1] but adapted to d-level graph states. In particular, we show that d-level graph states are maximally entangled across any bipartition of the graph, which allows us to reduce the problem to the case of a bipartite maximally entangled d-level systems for which the maximal spectral gap is known.

Journal of Physics Conference Series•Jan 1, 2025•0 citations

Efficient Verification of Hypergraph States

Huangjun Zhu, Masahito Hayashi

Graph states and hypergraph states are of wide interest in quantum information processing and foundational studies. Efficient verification of these states is a key to various applications. Here we propose a simple method for verifying hypergraph states, which requires only two distinct Pauli measurements for each party, yet its efficiency is comparable to the best strategy based on entangling measurements. For a given state, the overhead is bounded by the chromatic number and degree of the underlying hypergraph. Our protocol is dramatically more efficient than all previous protocols based on local measurements, including tomography and direct-fidelity estimation. It enables the verification of hypergraph states and genuine multipartite entanglement of thousands of qubits. The protocol can also be generalized to the adversarial scenario, while achieving almost the same efficiency. This merit is particularly appealing to demonstrating blind measurement-based quantum computation and quantum supremacy.

•Jan 1, 2019•59 citations

Efficient verification of stabilizer code subspaces with local measurements

Congcong Zheng, Xutao Yu, Zaichen Zhang +2 more

Abstract We address the task of verifying whether a quantum computer, designed to be protected by a specific stabilizer code, correctly encodes the corresponding logical qubits. To achieve this, we develop a general framework for subspace verification and explore several practically significant stabilizer code subspaces. First, we present two efficient verification strategies for general stabilizer code subspaces, using measurements of their stabilizer generators and stabilizer groups, respectively. Then, building on the observation that certain tests can be conducted in parallel due to specific structural properties of the subspace, we propose a coloring strategy tailored to graph code subspaces and an XZ strategy for Calderbank–Shor–Steane code subspaces. Compared to stabilizer-based strategies, these new strategies require significantly fewer measurement settings and consume fewer state copies, achieving near-global optimality. Notably, all the strategies employ a limited number of Pauli measurements, are non-adaptive, and work for mixed states, enabling efficient experimental certification of whether quantum states remain within the target code subspace in noisy quantum computers. This work presents the first systematic study of efficient verification of stabilizer code subspaces with local measurements.

arXiv:2409.19699•Quantum Science and Technology•May 22, 2026•2 citations

Optimal Verification of Greenberger-Horne-Zeilinger States

Zihao Li, Yun-Guang Han, Huangjun Zhu

We construct optimal protocols for verifying qubit and qudit Greenberger-Horne-Zeilinger (GHZ) states using local projective measurements. When the local dimension is a prime, an optimal protocol is constructed from Pauli measurements only. Our protocols provide a highly efficient way to estimate the fidelity and to certify genuine multipartite entanglement. In particular, they enable the certification of genuine multipartite entanglement using only one test when the local dimension is sufficiently large. By virtue of adaptive local projective measurements, we then construct protocols for verifying GHZ-like states that are optimal over all protocols based on one-way communication. The efficiency can be improved further if additional communications are allowed. Finally, we construct optimal protocols for verifying GHZ states and nearly optimal protocols for GHZ-like states in the adversarial scenario.

arXiv:1909.08979•Physical Review Applied•May 1, 2020•48 citations

Minimum number of experimental settings required to verify bipartite pure states and unitaries

Yunting Li, Haoyu Zhang, Zihao Li +1 more

Efficient verification of quantum states and gates is crucial to the development of quantum technologies. Although the sample complexities of quantum state verification and quantum gate verification have been studied by many researchers, the number of experimental settings has received little attention and is poorly understood. In this work we study systematically quantum state verification and quantum gate verification with a focus on the number of experimental settings. We show that any bipartite pure state can be verified by only two measurement settings based on local projective measurements. Any bipartite unitary in dimension $d$ can be verified by $2d$ experimental settings based on local operations. In addition, we introduce the concept of entanglement-free verification and clarify its connection with minimal-setting verification. Finally, we show that any two-qubit unitary can be verified with at most five experimental settings; moreover, a generic two-qubit unitary (except for a set of measure zero) can be verified by an entanglement-free protocol based on four settings. In the course of study we clarify the properties of Schmidt coefficients of two-qubit unitaries, which are of independent interest.

arXiv:2112.13638•Physical Review A•Dec 27, 2021•6 citations

Design and experimental performance of local entanglement witness operators

David Amaro, Markus Müller

Entanglement is a central concept in quantum information and a key resource for many quantum protocols. In this work we propose and analyze a class of entanglement witnesses that detect the presence of entanglement in subsystems of experimental multiqubit stabilizer states. The witnesses we propose can be decomposed into sums of Pauli operators and can be efficiently evaluated by either two measurement settings only or at most a number of measurements that only depends on the size of the subsystem of interest. We provide two constructive methods to design the local witness operators, the first one based on the local unitary equivalence between graph and stabilizer states, and the second one based on sufficient and necessary conditions that the respective set of constituent Pauli operators needs to fulfill. We theoretically establish the noise tolerance of the proposed witnesses and benchmark their practical performance by analyzing the local entanglement structure of an experimental seven-qubit quantum error correction code.

arXiv:1911.01144•Physical Review A•Jan 13, 2020•22 citations
Statistical verification of a quantum state aims to certify whether a given unknown state is close to the target state with confidence. So far, sample-optimal verification protocols based on local measurements have been found only for disparate groups of states: bipartite pure states, GHZ states, and antisymmetric basis states. In this work, we investigate systematically optimal verification of entangled stabilizer states using Pauli measurements. First, we provide a lower bound on the sample complexity of any verification protocol based on separable measurements, which is independent of the number of qubits and the specific stabilizer state. Then we propose a simple algorithm for constructing optimal protocols based on Pauli measurements. Our calculations suggest that optimal protocols based on Pauli measurements can saturate the above bound for all entangled stabilizer states, and this claim is verified explicitly for states up to seven qubits. Similar results are derived when each party can choose only two measurement settings, say X and Z. Furthermore, by virtue of the chromatic number, we provide an upper bound for the minimum number of settings required to verify any graph state, which is expected to be tight. For experimentalists, optimal protocols and protocols with the minimum number of settings are explicitly provided for all equivalent classes of stabilizer states up to seven qubits. For theorists, general results on stabilizer states (including graph states in particular) and related structures derived here may be of independent interest beyond quantum state verification.
Abstract The objective of Quantum State Verification (QSV) is to evaluate whether an unknown quantum state is sufficiently similar to a predetermined target state at a certain confidence level. The required number of identical and independent copies, N, of an unknown state for such a task is inversely proportional to the spectral gap of a verification operator. Stabilizer states form a foundational class of quantum states, extensively utilized in quantum computing. Defined through a group of stabilizer operators constructed from Pauli matrices in qubit systems, their structural properties not only simplify the mathematical representation and simulation of quantum states but also make them particularly suitable for verification protocols that rely on local measurements. Restricting the verification operator to be those that can be achieved by local measurements, previous researches had determined an upper bound for the spectral gap to be 2/3 in the cases of qubit stabilizer states. In this research, we show a similar upper bound of d/(d+1) in the cases of graph states of d-level systems by a technique from [1] but adapted to d-level graph states. In particular, we show that d-level graph states are maximally entangled across any bipartition of the graph, which allows us to reduce the problem to the case of a bipartite maximally entangled d-level systems for which the maximal spectral gap is known.
Graph states and hypergraph states are of wide interest in quantum information processing and foundational studies. Efficient verification of these states is a key to various applications. Here we propose a simple method for verifying hypergraph states, which requires only two distinct Pauli measurements for each party, yet its efficiency is comparable to the best strategy based on entangling measurements. For a given state, the overhead is bounded by the chromatic number and degree of the underlying hypergraph. Our protocol is dramatically more efficient than all previous protocols based on local measurements, including tomography and direct-fidelity estimation. It enables the verification of hypergraph states and genuine multipartite entanglement of thousands of qubits. The protocol can also be generalized to the adversarial scenario, while achieving almost the same efficiency. This merit is particularly appealing to demonstrating blind measurement-based quantum computation and quantum supremacy.
Abstract We address the task of verifying whether a quantum computer, designed to be protected by a specific stabilizer code, correctly encodes the corresponding logical qubits. To achieve this, we develop a general framework for subspace verification and explore several practically significant stabilizer code subspaces. First, we present two efficient verification strategies for general stabilizer code subspaces, using measurements of their stabilizer generators and stabilizer groups, respectively. Then, building on the observation that certain tests can be conducted in parallel due to specific structural properties of the subspace, we propose a coloring strategy tailored to graph code subspaces and an XZ strategy for Calderbank–Shor–Steane code subspaces. Compared to stabilizer-based strategies, these new strategies require significantly fewer measurement settings and consume fewer state copies, achieving near-global optimality. Notably, all the strategies employ a limited number of Pauli measurements, are non-adaptive, and work for mixed states, enabling efficient experimental certification of whether quantum states remain within the target code subspace in noisy quantum computers. This work presents the first systematic study of efficient verification of stabilizer code subspaces with local measurements.
We construct optimal protocols for verifying qubit and qudit Greenberger-Horne-Zeilinger (GHZ) states using local projective measurements. When the local dimension is a prime, an optimal protocol is constructed from Pauli measurements only. Our protocols provide a highly efficient way to estimate the fidelity and to certify genuine multipartite entanglement. In particular, they enable the certification of genuine multipartite entanglement using only one test when the local dimension is sufficiently large. By virtue of adaptive local projective measurements, we then construct protocols for verifying GHZ-like states that are optimal over all protocols based on one-way communication. The efficiency can be improved further if additional communications are allowed. Finally, we construct optimal protocols for verifying GHZ states and nearly optimal protocols for GHZ-like states in the adversarial scenario.
Efficient verification of quantum states and gates is crucial to the development of quantum technologies. Although the sample complexities of quantum state verification and quantum gate verification have been studied by many researchers, the number of experimental settings has received little attention and is poorly understood. In this work we study systematically quantum state verification and quantum gate verification with a focus on the number of experimental settings. We show that any bipartite pure state can be verified by only two measurement settings based on local projective measurements. Any bipartite unitary in dimension ddd can be verified by 2d2d2d experimental settings based on local operations. In addition, we introduce the concept of entanglement-free verification and clarify its connection with minimal-setting verification. Finally, we show that any two-qubit unitary can be verified with at most five experimental settings; moreover, a generic two-qubit unitary (except for a set of measure zero) can be verified by an entanglement-free protocol based on four settings. In the course of study we clarify the properties of Schmidt coefficients of two-qubit unitaries, which are of independent interest.
Entanglement is a central concept in quantum information and a key resource for many quantum protocols. In this work we propose and analyze a class of entanglement witnesses that detect the presence of entanglement in subsystems of experimental multiqubit stabilizer states. The witnesses we propose can be decomposed into sums of Pauli operators and can be efficiently evaluated by either two measurement settings only or at most a number of measurements that only depends on the size of the subsystem of interest. We provide two constructive methods to design the local witness operators, the first one based on the local unitary equivalence between graph and stabilizer states, and the second one based on sufficient and necessary conditions that the respective set of constituent Pauli operators needs to fulfill. We theoretically establish the noise tolerance of the proposed witnesses and benchmark their practical performance by analyzing the local entanglement structure of an experimental seven-qubit quantum error correction code.