By Topic

Transformation of Quantum Photonic Circuit Models by Term Rewriting

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
5 Author(s)
Sarma, G. ; Edward L. Ginzton Laboratory, Stanford University, Stanford, CA, USA ; Hamerly, R. ; Tezak, N. ; Pavlichin, D.S.
more authors

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 multidomain physical modeling, which parallels a previously described approach based on VHSIC Hardware Description Language (VHDL).

Published in:

Photonics Journal, IEEE  (Volume:5 ,  Issue: 1 )