Stabilizer Tensor Networks: universal quantum simulator on a basis of stabilizer states

Sergi Masot-Llima,Artur Garcia-Saez

2024-04-09

Abstract:Efficient simulation of quantum computers relies on understanding and exploiting the properties of quantum states. This is the case for methods such as tensor networks, based on entanglement, and the tableau formalism, which represents stabilizer states. In this work, we integrate these two approaches to present a generalization of the tableau formalism used for Clifford circuit simulation. We explicitly prove how to update our formalism with Clifford gates, non-Clifford gates, and measurements, enabling universal circuit simulation. We also discuss how the framework allows for efficient simulation of more states, raising some interesting questions on the representation power of tensor networks and the quantum properties of resources such as entanglement and magic, and support our claims with simulations.

Quantum Physics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to efficiently simulate quantum computers, especially by combining the methods of Tensor Networks (TN) and Stabilizer Formalism to achieve this goal. Specifically, the paper proposes a new framework - Stabilizer Tensor Networks, which can effectively simulate arbitrary quantum circuits and shows advantages when dealing with states of low entanglement and low stabilizer rank.

### Main Problems and Solutions

1. **Efficient Simulation of Quantum Computers**:
- **Background**: The simulation of quantum computers is crucial for promoting scientific research (such as condensed - matter physics and quantum chemistry) and testing claims of quantum supremacy. However, due to the exponential growth of quantum states, traditional simulation methods face challenges when dealing with large - scale quantum systems.
- **Solution**: The paper proposes a new simulation framework - Stabilizer Tensor Networks, which combines the advantages of Tensor Networks and Stabilizer Formalism and can simulate a wider range of quantum states while maintaining computational efficiency.

2. **Unifying Different Resource Theories**:
- **Background**: Different resource theories (such as entanglement and non - stabilizerness) have their own advantages in describing the simulability of quantum states, but lack a unified framework.
- **Solution**: By introducing Stabilizer Tensor Networks, the paper combines these two resource theories and provides a unified simulation strategy. This can not only efficiently simulate states of low entanglement, but also handle states with high non - stabilizerness.

### Specific Technical Details

1. **Stabilizer Formalism**:
- Stabilizer Formalism is an effective method for simulating quantum circuits that only contain Clifford gates. By using the stabilizer set \( S \) and the anti - stabilizer generators \( D \), quantum states can be efficiently represented and updated.
- Formula representation:
\[
|ψ⟩=\sum_{i = 0}^{2^n}ν_i\hat{d}_i|ψ_S⟩
\]
where \( \hat{d}_i \) is a combination of anti - stabilizer generators \( d_i \), and \( |ψ_S⟩ \) is the stabilizer state.

2. **Tensor Networks**:
- Tensor Networks are a method for efficiently representing high - dimensional tensors, especially suitable for dealing with locally entangled states. By encoding the amplitudes of quantum states into Matrix Product States (MPS), the computational complexity can be effectively reduced.
- Formula representation:
\[
T_{i_1i_2\ldots i_n}=\sum_{k_1k_2\ldots k_{n - 1}}(T_1)_{i_1k_1}(T_2)_{i_2k_1k_2}(T_3)_{i_3k_2k_3}\ldots(T_N)_{i_nk_{n - 1}}
\]

3. **Combining Stabilizer Formalism and Tensor Networks**:
- By combining the basis state \( |ψ_S⟩ \) and the anti - stabilizer generators \( \hat{d}_i \) in Stabilizer Formalism with Tensor Networks, the paper proposes a new representation method that can efficiently simulate arbitrary quantum circuits.
- Update rules:
- **Clifford gates**: Update the stabilizer basis \( B(S, D) \) and keep the coefficient state \( |ν⟩ \) unchanged.
- **Non - Clifford gates**: Find the decomposition \( U=\sum_iϕ_i\hat{δ}_i\hat{s}_i \) and modify \( |ψ⟩ \).
- **Measurement**: Find the decomposition of the observable \( O \) and update the stabilizer basis \( B(S, D) \) and the coefficient state \( |ν⟩ \) according to the measurement results.

### Conclusion

The paper, by introducing stabilizers...