Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.06142

When Equivalent Quantum Circuits Lose Synthesis Choices

Boshuai Ye·Peng Liang·Arif Ali Khan
View original source ↗Read source document ↗Export metadata ↓

Abstract

Quantum compilers synthesize high-level operations, such as the quantum Fourier transform and multi-controlled X gates, into gate-level circuits. Across compilation stages, a circuit may be serialized, exchanged as OpenQASM, converted between compilers, or lowered to gates. These representation changes can preserve computation while removing the high-level operation itself, leaving the receiving compiler unable to apply a requested synthesis method. We call this loss synthesis availability. We study synthesis availability in Qiskit, TKET, and Cirq through controlled experiments, repository analysis, circuits captured from project tests, and a Munich Quantum Toolkit pipeline. Synthesis availability survives serialization when deserialization restores the high-level operation and survives compiler conversion only when the receiving compiler supports that operation. It does not survive the evaluated OpenQASM routes. After a direct OpenQASM 3 round trip, requested synthesis has no effect in all 360 delivered conditions even though compilation succeeds. In the MQT pipeline, OpenQASM 2 interchange increases the two-qubit gate count by 37.2 percent for an eight-qubit Grover circuit. We also introduce Verified, which records high-level operations before a representation change and reconstructs them only when a check confirms that the record still matches the delivered circuit. Verified restores requested synthesis in all 830 recovery runs, with median verification times from 2.0 to 638 ms per operation family. The check rejects every stale record but also some valid records. These results show that preserving functional equivalence alone is insufficient when later synthesis choices depend on retained high-level structure.

Explore related subjects

quant-phcs.SE

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Boshuai Ye, Peng Liang, Arif Ali Khan. 2026-10-05. When Equivalent Quantum Circuits Lose Synthesis Choices. https://arxiv.org/abs/2610.06142

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

KEEP EXPLORING

Related papers

arXiv2026

The Concept of Entropic Time: A Preliminary Discussion

The deep connection between entropy and information is discussed in terms of both classical and quantum physics. The mechanism of information transfer between systems via entanglement is explored in the context of decoherence theory. The concept of entropic time is then introduced on the basis of information acquisition, which is argued to be effectively irreversible and consistent with both the Second Law of Thermodynamics and our psychological perception of time. This is distinguished from the notion of parametric time, which serves as the temporal parameter for the unitary evolution of a physical state in non-relativistic quantum mechanics. The interpretation of these ideas in terms of both subjective and objective collapse models is also discussed. It is shown that energy is conserved under subjective collapse schemes whereas, in general, under objective collapse it is not. This is consistent with the fact that the latter is inherently non-unitary and that energy conservation arises out of time symmetry in the first place.

quant-ph↗
arXiv2026

Tunable spectral correlations of highly multimode visible light via broadband quantum frequency conversion

Multimode squeezed states of light are a resource for achieving quantum advantage in computing and sensing, where spatial or temporal modes have been the experimental norm. In our experiments, we generated highly frequency-multimode infrared quantum light, and show how adiabatic frequency conversion can be used to convert the quantum state to visible wavelengths, while concurrently manipulating the joint spectrum by realizing a configurable many-port frequency-domain-beamsplitter unitary transformation. We report near-unity-efficiency quantum frequency conversion over a bandwidth >45 THz, which allowed us to measure the state with an electron-multiplying CCD (EMCCD) camera-based spectrometer, at non-cryogenic temperatures. The parametric amplification and conversion of >400 frequency modes yielded an overall mean of approximately 700 visible photons per shot, and photon statistics consistent with squeezing. Our work shows how many-mode quantum states of light can be generated, manipulated, and measured with efficient use of hardware resources, motivating the use of frequency encoding in quantum optics.

quant-ph↗
arXiv2026

Quantum convolutional neural networks for jet images classification

Recently, interest in quantum computing has significantly increased, driven by its potential advantages over classical techniques. Quantum machine learning (QML) exemplifies one of the important quantum computing applications that are expected to surpass classical machine learning in a wide range of instances. This paper addresses the performance of QML in the context of high-energy physics (HEP). As an example, we focus on the top-quark tagging, for which classical convolutional neural networks (CNNs) have been effective but fall short in accuracy when dealing with highly energetic jet images. In this paper, we use a quantum convolutional neural network (QCNN) for this task and compare its performance with CNN using a classical noiseless simulator. We compare various setups for the QCNN, varying the convolutional circuit, type of encoding, loss function, and batch sizes. For every quantum setup, we design a similar setup to the corresponding classical model for a fair comparison. Our results indicate that, using a classical simulator, QCNN with proper setups tend to perform better than their CNN counterparts, especially when the convolution block has a lower number of parameters. For the higher parameter regime, the QCNN circuit was adjusted according to the dimensional expressivity analysis (DEA) to lower the parameter count while preserving its optimal structure. The DEA circuit demonstrated improved results over the comparable classical CNN model.

quant-ph↗