Transformation of quantum photonic circuit models by term rewriting

Abstract

The development of practical methods for synthesis and verification of complex photonic circuits presents a grand challenge for the nascent field of quantum engineering. Of course, classical electrical engineering provides essential foundations and serves to illustrate the degree of sophistication that can be achieved in automated circuit design. In this paper we explore the utility of term rewriting approaches to the transformation of quantum circuit models, specifically applying rewrite rules for both reduction/verification and robustness analysis of photonic circuits for autonomous quantum error correction. We outline a workflow for quantum photonic circuit analysis that leverages the Modelica framework for multi-domain physical modeling, which parallels a previously described approach based on VHSIC Hardware Description Language (VHDL).

13 pages, 7 figures. Supplementary Data included

References in corpus (5)

• Quantum Feedback Networks: Hamiltonian Formulation
• Physical model of continuous two-qubit parity measurement in a cavity-QED network
• Specification of photonic circuits using Quantum Hardware Description Language
• Nonlinear interferometry approach to photonic sequential logic
• Commutativity of the adiabatic elimination limit of fast oscillatory components and the instantaneous feedback limit in quantum feedback networks

Cited by in corpus (6)

• Feedback Network Models for Quantum Transport
• Gauge subsystems, separability, and robustness in autonomous quantum memories
• Optical modular arithmetic
• Modular Quantum Memories Using Passive Linear Optics and Coherent Feedback
• Coherent LQG Control, Free-Carrier Oscillations, Optical Ising Machines and Pulsed OPO Dynamics
• Quantum filtering for a two-level atom driven by two counter-propagating photons