Transformation of quantum photonic circuit models by term rewriting

IEEE Photonics Journal

Volumn 5, Issue 1, 2013, Pages

  Sarma, Gopal ^a   Hamerly, Ryan ^a   Tezak, Nikolas ^a   Pavlichin, Dmitri S ^a   Mabuchi, Hideo ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

Integrated nanophotonic systems; open quantum systems; quantum error correction; quantum feedback control; technologies for computing

Indexed keywords

AUTOMATED CIRCUIT DESIGNS; GRAND CHALLENGE; INTEGRATED NANOPHOTONIC SYSTEMS; MODELICA; MULTI DOMAINS; NASCENT FIELD; OPEN QUANTUM SYSTEMS; PHOTONIC CIRCUITS; PHYSICAL MODELING; PRACTICAL METHOD; QUANTUM CIRCUIT; QUANTUM ENGINEERING; QUANTUM ERROR CORRECTIONS; QUANTUM FEEDBACK CONTROL; QUANTUM PHOTONICS; REWRITE RULES; ROBUSTNESS ANALYSIS; TERM REWRITING; VHSIC HARDWARE DESCRIPTION LANGUAGES;

COMPUTER HARDWARE DESCRIPTION LANGUAGES; ELECTRIC NETWORK ANALYSIS; ELECTRICAL ENGINEERING; ERROR CORRECTION; NANOPHOTONICS; QUANTUM ELECTRONICS; QUANTUM OPTICS;

MODELS;

EID: 84874597276     PISSN: 19430655     EISSN: None     Source Type: Journal    
DOI: 10.1109/JPHOT.2013.2243721     Document Type: Article

References (27)

1. See, for example, the 2011 Focus Issue on Integrated Quantum Optics and the 2011 Focus Issue on Diamond-Based Photonics and Spintronics of New, J. Phys.
2. N. Tezak, A. Niederberger, D. S. Pavlichi, G. Sarma, and H. Mabuchi, BSpecification of photonic circuit models with quantum hardware description language, Philos. Trans. Roy. Soc. London A, Math. Phys. Sci., vol. 370, no. 1979, pp. 5270-5290, Nov. 2012.
3. N. Thomas-Peter, N. K. Langford, A. Datta, L. Zhang, B. J. Smith, J. B. Spring, B. J. Metcalf, H. B. Coldenstrodt-Ronge, M. Hu, J. Nunn, and I. A. Walmsley, BIntegrated photonic sensing, New J. Phys., vol. 13, no. 5, p. 055024, May 2011.
4. H. Mabuchi, BNonlinear interferometry approach to photonic sequential logic, Appl. Phys. Lett., vol. 99, no. 15, pp. 153103-1-153103-3, Oct. 2011.
5. M. A. Hall, J. B. Altepeter, and P. Kumar, BAll-optical switching of photonic entanglement, New J. Phys., vol. 13, no. 10, p. 105 004, Oct. 2011.
6. R. L. Hudson and K. R. Parthasarathy, BQuantum Ito's formula and stochastic evolutions, Commun. Math. Phys., vol. 93, no. 3, pp. 301-323, Sep. 1984.
7. A. Barchielli, Open Quantum Systems III: Recent Developments, S. Attal, A. Joye, and C. A. Pillet, Eds. Berlin, Germany: Springer-Verlag, 2006, p. 207.
8. J. Gough and M. R. James, BThe series product and its applications to quantum feedforward and feedback networks, IEEE Trans Autom. Control, vol. 54, no. 22, pp. 2530-2544, Nov. 2009.
9. H. J. Carmichael, BQuantum trajectory theory for cascaded open systems, Phys. Rev. Lett., vol. 70, no. 11, pp. 2273-2544, Apr. 1993.
10. C. W. Gardiner, BDriving a quantum system with the output field from another driven quantum system, Phys. Rev. Lett., vol. 70, no. 15, pp. 2269-2272, Apr. 1993.
11. J. Gough and M. R. James, BQuantum feedback networks: Hamiltonian formulation, Commun. Math. Phys., vol. 287, no. 3, pp. 1109-1132, May 2009.
12. J. E. Gough, H. I. Nurdin, and S. Wildfeuer, BCommutativity of the adiabatic elimination limit of fast oscillatory components and the instantaneous feedback limit in quantum feedback networks, J. Math. Phys., vol. 51, no. 12, p. 123518, Dec. 2010.
13. C. W. Gardiner and P. Zoller, Quantum Noise: A Handbook of Markovian and Non-Markovian Quantum Stochastic Methods with Applications to Quantum Optics. Berlin, Germany: Springer-Verlag, 2004.
14. H. M. Wiseman and G. J. Milburn, Quantum Measurement and Control. Cambridge, U.K.: Cambridge Univ. Press, 2010.
15. V. A. Pedroni, Circuit Design and Simulation With VHDL. Cambridge, MA, USA: MIT Press, 2004.
16. D. E. Thomas and P. R. Moorby, The Verilog Hardware Description Language. Berlin, Germany: Springer-Verlag, 2001.
17. P. Fritzson, Principles of Object-Oriented Modeling and Simulation With Modelica. Piscataway, NJ, USA: IEEE Press, 2004.
18. Wolfram Res. Inc., Mathematica, Ver. 8.0., Champaign, IL, USA, 2010.
19. C. J. Van Rijsbergen, Ed., TeReSe 2004 Term Rewriting Systems, vol. 55. Cambridge, U.K.: Cambridge Univ. Press, 2003, ser. Cambridge Tracts in Theoretical Computer Science.
20. Arvind and X. Shen, BUsing term rewriting systems to design and verify processors, IEEE Micro, vol. 36, no. 3, pp. 36-46, May/Jun. 1999.
21. J. Kerckhoff, H. I. Nurdin, D. S. Pavlichin, and H. Mabuchi, BDesigning quantum memories with embedded control: Photonic circuits for autonomous quantum error correction, Phys. Rev. Lett., vol. 105, no. 4, pp. 040502-1-040502-4, Jul. 2010.
22. J. Kerckhoff, D. S. Pavlichin, H. Chalabi, and H. Mabuchi, BDesign of nanophotonic circuits for autonomous subsystem quantum error correction, New J. Phys., vol. 13, no. 5, p. 055022, May 2011.
23. J. Kerckhoff, L. Bouten, A. Silberfarb, and H. Mabuchi, BPhysical model of a continuous two-qubit party measurement, Phys. Rev. A, At., Mol., Opt. Phys., vol. 79, no. 2, pp. 024305-1-024305-4, Feb. 2009.
24. L. Bouten, R. Van. Handel, and A. Silberfarb, BApproximation and limit theorems for quantum stochastic models with unbounded coefficients, J. Funct. Anal., vol. 254, no. 12, pp. 3123-3147, Jun. 2008.
25. A. Yakovlev, L. Lavagno, and A. Sangiovanni-Vincentelli, BA unified signal transition graph model for asynchronous control circuit synthesis, in Proc. IEEE/ACM ICCAD, 1992, pp. 104-111. (Pubitemid 23615693)
26. J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev, BPetrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers, IEICE Trans. Inform. Syst., vol. E80-D, no. 3, pp. 315-325, Mar. 1997. (Pubitemid 127757728)
27. H. Mabuchi, BCavity-QED models of switches for attojoule-scale nanophotonic logic, Phys. Rev. A, At., Mol., Opt. Phys., vol. 80, no. 4, pp. 045802-1-045802-4, Oct. 2009.