Circuit synthesis Archives - IEEE Transactions on Quantum Engineering

Grover Adaptive Search Based Hybrid Benders Decomposition for Mixed-Integer Linear Programs

April 6, 2026Xiaodong Zheng, Ding Lin, Haoyong ChenEarly Access, Open AccessCircuit synthesis, Circuits, Circuits and systems, Communication systems, Electronic mail, Quantum circuit, Quantum communication, Radio access networks, Regional area networks

Abstract: Mixed-integer linear programs are widely used to model optimization problems involving both discrete and continuous variables, but remain computationally challenging due to the combinatorial complexity. To exploit the potential advantages of quantum computing in tackling the combinatorial optimization part, recent efforts have explored hybrid quantum-classical Benders decomposition frameworks, which delegate the discrete master problem […]

Robust Design Under Uncertainty in Quantum Error Mitigation

April 3, 2026Maksym Prodius, Piotr Czarnik, Michael McKerns, Andrew T. Sornborger, Lukasz CincioOpen AccessCircuit synthesis, Circuits, Circuits and systems, Communication systems, Protocols, Quantum circuit, Quantum communication, Radio access networks, Regional area networks

Abstract: Error mitigation techniques are crucial to achieving near-term quantum advantage. Classical post-processing of quantum computation outcomes is a popular approach for error mitigation, which includes methods such as Zero Noise Extrapolation, Virtual Distillation, and learning-based error mitigation. However, these techniques have limitations due to the propagation of uncertainty resulting from the finite shot number […]

Robust Quantum Walk Search on Complete Multipartite Graph with Multiple Marked Vertices

April 1, 2026Ningxiang Chen, Meng Li, Xiaoming SunOpen AccessCircuit synthesis, Circuits, Circuits and systems, Electronic mail, Filtering, Filters, Oscillators, Quantum circuit, Quantum communication

Abstract: Quantum walks are a potent technique for building quantum algorithms. This paper examines the quantum walk search algorithm on complete multipartite graphs with multiple marked vertices, which has not been explored before. We employ the coined quantum walk model and achieve quadratic speedup with a constant probability of finding a marked vertex in two […]

Feynman Meets Turing: Computability Aspects of Exact Circuit Synthesis, Gate Efficiency, and the Spectral Gap Conjecture

November 24, 2025Yannik N. Boeck, Holger Boche, Frank H.P. Fitzek,Quantum Computing6G mobile communication, Approximation algorithms, Circuit synthesis, Computational modeling, Hardware, Integrated circuit modeling, Logic gates, Quantum circuit, Quantum mechanics, Vectors

Abstract: We consider exact quantum circuit synthesis, quantum gate efficiency, and the spectral gap conjecture from the perspective of computable analysis. Circuit synthesis, in both its exact and its approximate variant, is fundamental to the circuit model of quantum computing. As an engineering problem, however, the practical and theoretical aspects of quantum circuit synthesis are […]

Logical Clifford Synthesis for Stabilizer Codes

September 11, 2020Narayanan Rengaswamy; Robert Calderbank; Swanand Kadhe; Henry D. PfisterOpen Access, Quantum Computer Architecture, Quantum InformationCircuit synthesis, Hardware, Logic gates, Measurement, Optimization, Quantum computing, Reliability

Quantum error-correcting codes are used to protect qubits involved in quantum computation. This process requires logical operators to be translated into physical operators acting on physical quantum states. In this article, we propose a mathematical framework for synthesizing physical circuits that implement logical Clifford operators for stabilizer codes. Circuit synthesis is enabled by representing the […]