Stabilizer Tensor Networks: Universal Quantum Simulator on a Basis of Stabilizer States

Area of Science:

• Quantum Computing
• Computational Physics

Background:

• Efficient simulation of quantum computers is crucial for understanding quantum states.
• Tensor networks and tableau formalism are key methods for simulating quantum states and stabilizer states, respectively.

Purpose of the Study:

• To integrate tensor networks and tableau formalism for a generalized quantum circuit simulation.
• To enable universal circuit simulation by updating the tableau formalism.

Main Methods:

• Generalizing the tableau formalism to integrate tensor network properties.
• Developing methods to update the formalism with Clifford gates, non-Clifford gates, and measurements.
• Conducting simulations to support the framework's efficiency and capabilities.

Main Results:

• A generalized tableau formalism enabling universal quantum circuit simulation.
• The framework efficiently simulates a broader range of quantum states.
• New insights into the representational power of tensor networks and quantum resources like entanglement and magic.

Conclusions:

• The integrated approach provides a powerful tool for quantum computation simulation.
• The generalized formalism advances the understanding of quantum state representation and simulation efficiency.
• This work opens avenues for exploring quantum resources and their role in computation.