arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.25138

On the Complexity of Level-Synchronized Tree Automata for Quantum Circuit Verification

Michael Blondin·Samy Chady Khoumsi-Kasmi·Guillermo A. Pérez·Marnix Suilen
View original source ↗Read source document ↗Export metadata ↓

Abstract

Reliable quantum computation requires methods for verifying quantum circuits. Level-synchronized tree automata (LSTAs) were recently introduced to represent sets of quantum states for this purpose. We study LSTAs along two axes relevant to verification: the complexity of their decision problems and the size of their representations under circuit operations. We prove that acyclic LSTAs have NP-complete nonemptiness and $Π_2^P$-complete language inclusion, and that general language inclusion is EXPSPACE-complete. We further prove inherent quadratic representation growth under individual quantum gates in a fixed qubit order, and give an adjacent-qubit reordering construction that preserves level synchronization. These results clarify the scope of applicability of the automata-theoretic toolbox for quantum circuit verification.

Explore related subjects

quant-phcs.FL

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michael Blondin, Samy Chady Khoumsi-Kasmi, Guillermo A. Pérez, Marnix Suilen. 2026-10-18. On the Complexity of Level-Synchronized Tree Automata for Quantum Circuit Verification. https://arxiv.org/abs/2610.25138

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Quantum superposition of black hole states as a communication resource

The interplay between black holes and quantum information has revealed deep connections between gravity and quantum mechanics. For example, the classical spacetime geometry of a black hole has been shown to degrade quantum entanglement shared by nearby observers, one of whom is in free fall. Here we examine how this picture changes when the black hole's mass degrees of freedom are allowed to exist in a coherent quantum superposition, corresponding to a superposition of distinct spacetime geometries. We show that such quantum coherence can mitigate the loss of entanglement between nearby observers, thereby enhancing the performance of quantum communication protocols operating in the vicinity of the black hole.

quant-ph↗
arXiv2026

Classical simulators as quantum error mitigators via circuit cutting

We introduce a circuit cutting-based error mitigation framework, simulated quantum error mitigation (SQEM), in which an auxiliary error-mitigation subcircuit is simulated classically while the main computation is executed on quantum hardware. For the class of circuits considered here, SQEM can be implemented with polynomial overhead by mitigating one qubit at a time and classically recombining the resulting output distributions. This qubit-wise strategy avoids the exponential overhead of cutting all protected qubits simultaneously, while providing a scalable approximation to joint mitigation. We demonstrate the method using Pauli check sandwiching within VQE hardware-efficient ansätze and obtain ground-state energies close to noiseless ansatz simulations, including chemical accuracy for LiH.

quant-ph↗
arXiv2026

A quantum oscillator interacting with a classical oscillator

We study a quantum oscillator interacting with, and back-reacting on, a classical oscillator. This can be done consistently provided the quantum system decoheres, while the backreaction has a stochastic component which causes the classical system to undergo diffusion. Nonetheless, the state of the quantum oscillator can remain pure conditioned on the trajectory of the classical oscillator. We solve the system using the classical-quantum path integral formulation, and compute the free and bridge correlators of the theory, which we use to find the heating rate. In addition, we explicitly compute the conditioned, and unconditional purity of the system. This serves as a toy model for a number of other systems in which one subsystem can be treated as effectively classical, such as a scalar quantum field interacting with another field undergoing decoherence, or a system emitting radiation, one of which is treated classically.

quant-ph↗