Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2208.11767

Consistent Quantization of Nearly Singular Superconducting Circuits

Martin Rymarz, David Peter Divincenzo

Published Aug 24, 2022• 0 citations
arXivHTMLPDF

Abstract

The theory of circuit quantum electrodynamics has successfully analyzed superconducting circuits on the basis of the classical Lagrangian, and the corresponding quantized Hamiltonian, describing these circuits. In many simplified versions of these networks, the modeling involves a Lagrangian that is singular, describing an inherently constrained system. In this work, we demonstrate the failure of the Dirac-Bergmann theory for the quantization of realistic, nearly singular superconducting circuits, both reciprocal and nonreciprocal. The correct treatment of nearly singular systems involves a perturbative Born-Oppenheimer analysis. We rigorously prove the validity of the corresponding perturbation theory using Kato-Rellich theory. We find that the singular limit of this regularized analysis is, in many cases, completely unlike the singular theory. Dirac-Bergmann, which uses the Kirchhoff's (and Tellegen's) laws to deal with constraints, predicts dynamics that depend on the detailed parameters of nonlinear circuit elements, e.g., Josephson inductances. By contrast, the limiting behavior of the low-energy dynamics obtained from the regularized Born-Oppenheimer approach exhibits a fixed point structure, flowing to one of a few universal fixed points as parasitic capacitance values go to zero.

DOI
10.48550/arxiv.2208.11767

Related papers

Consistent Quantization of Nearly Singular Superconducting Circuits

Martin Rymarz, David Peter Divincenzo

The theory of circuit quantum electrodynamics has successfully analyzed superconducting circuits on the basis of the classical Lagrangian, and the corresponding quantized Hamiltonian describing these circuits.In many simplified versions of these networks, the modeling involves a singular Lagrangian that employs Kirchhoff's laws to eliminate inherent constraints of the system.In this work, we demonstrate the failure of such singular theories for the quantization of realistic, nearly singular superconducting circuits.Instead, we rigorously prove the validity of a perturbative analysis within the Born-Oppenheimer approximation.In particular, we find that the limiting behavior of the low-energy dynamics obtained from the regularized approach exhibits a fixed-point structure flowing to one of a few universal fixed points as parasitic capacitance values go to zero.This singular limit of the regularized analysis is, in many cases, completely unlike the singular theory.Consequently, we conclude that classical network synthesis techniques which build on Kirchhoff's laws must be critically examined prior to applying circuit quantization.

Physical Review X•May 1, 2023•24 citations

Canonical Quantization of Superconducting Circuits

A. Parra-Rodriguez

In the quest to produce quantum technology, superconducting networks, working at temperatures just above absolute zero, have arisen as one of the most promising physical implementations. The precise analysis and synthesis of such circuits have required merging the fields of physics, engineering, and mathematics. In this dissertation, we develop mathematically consistent and precise Hamiltonian models to describe ideal superconducting networks made of an arbitrary number of lumped elements, such as capacitors, inductors, Josephson and phase-slip junctions, gyrators, etc., and distributed ones like transmission lines. We give formal proofs for the decoupling at high and low frequencies of lumped degrees of freedom from infinite-dimensional systems in different coupling configurations in models based on the effective Kirchhoff's laws. We extend the standard theory to quantize circuits that include ideal nonreciprocal elements all the way to their Hamiltonian descriptions in a systematic way. Finally, we pave the way on how to quantize general frequency-dependent gyrators and circulators coupled to both transmission lines and other lumped-element networks. We have explicitly shown, that these models, albeit ideal, are finite and present no divergence issues. We explain and dispel misunderstandings from the previous literature. Furthermore, we have demonstrated the usefulness of a redundant basis for performing separation of variables of the transmission line (1D) fields in the presence of point-like (lumped-element) couplings by time-reversal symmetry-breaking terms, i.e. nonreciprocal elements.

arXiv:2104.09410•Apr 19, 2021•0 citations

Solving superconducting quantum circuits in Dirac's constraint analysis framework*

Akshat Pandey, Subir Ghosh

Abstract In this work we exploit Dirac's Constraint Analysis (DCA) in Hamiltonian formalism to study different types of Superconducting Quantum Circuits (SQC) in a unified way. The Lagrangian of a SQC reveals the constraints, that are classified in a Hamiltonian framework, such that redundant variables can be removed to isolate the canonical degrees of freedom for subsequent quantization of the Dirac Brackets via a generalized Correspondence Principle. This purely algebraic approach makes the application of concepts such as graph theory, null vector, loop charge, etc that are in vogue, (each for a specific type of circuit), completely redundant. The universal validity of DCA scheme in SQC, proposed by us, is demonstrated by correctly re-deriving existing results for different SQCs, obtained previously exploiting different formalisms each applicable for a specific SQC. Furthermore, we have also analysed and predicted new results for a generic form of SQC - it will be interesting to see its validation in an explicit circuit implementation.

arXiv:2308.10611•Physica Scripta•Oct 17, 2024•2 citations

Comment on “Consistent Quantization of Nearly Singular Superconducting Circuits”

I. L. Egusquiza, A. Parra-Rodriguez

The analysis conducted by Rymarz and DiVincenzo (Phys. Rev. X 13, 021017 (2023)) regarding quantization of superconducting circuits is insufficient to justify their general conclusions, most importantly the need to discard Kirchhoff's laws to effect variable reductions. Amongst a variety of reasons, one source of several disagreements with experimental and theoretical results is the long-standing dispute between extended vs compact variables in the presence of Josephson junctions.

arXiv:2408.05174•Physical Review X•May 15, 2025•1 citation

Exact Quantization of Nonreciprocal Quasilumped Electrical Networks

A. Parra-Rodriguez, I. L. Egusquiza

Following a consistent geometrical description previously introduced [], we present an exact method for obtaining canonically quantizable Hamiltonian descriptions of nonlinear, nonreciprocal quasilumped electrical networks. We identify and classify singularities arising in the quest for Hamiltonian descriptions of general quasilumped element networks via the Faddeev-Jackiw technique. We offer systematic solutions to cases previously considered singular—a major challenge in the context of canonical circuit quantization. The solution relies on the correct identification of the reduced classical circuit-state manifold, i.e., a mix of flux and charge fields and functions. Starting from the geometrical description of the transmission line, we provide a complete program including lines coupled to one-port lumped-element networks, as well as multiple lines connected to multiport nonreciprocal lumped-element networks, with intrinsic ultraviolet cutoff. On the way, we naturally extend the canonical quantization of transmission lines coupled through frequency-dependent, nonreciprocal linear systems, such as practical circulators. Additionally, we demonstrate how our method seamlessly facilitates the characterization of general nonreciprocal, dissipative linear environments. This is achieved by extending the Caldeira-Leggett formalism, using continuous limits of series of immittance matrices. We provide a tool in the analysis and design of electrical circuits and of special interest in the context of canonical quantization of superconducting networks. For instance, this work provides a solid ground for a precise nondivergent input-output theory in the presence of nonreciprocal devices, e.g., within (chiral) waveguide QED platforms.

arXiv:2401.09120•Physical Review X•Mar 28, 2025•7 citations

Third Quantization for Order Parameters (II): Local Field Quantization in Superconducting Quantum Circuits

Miao-Miao Yi, Guo-Jian Qiao, Xin Yue +1 more

The quantization of superconducting transmission-line resonators is usually introduced phenomenologically by modeling the resonator as an effective LC circuit and imposing canonical commutation relations on macroscopic variables such as charge and flux. Although this approach is highly successful, it leaves open why these macroscopic variables should obey quantum commutation relations and how this behavior emerges from the superconducting state. In this work, starting from the microscopic pairing Hamiltonian underlying BCS superconductivity, we derive the low-energy effective Hamiltonian of a circuit-QED architecture containing a superconducting transmission line with distributed capacitive and inductive elements. We establish quantitative relations between macroscopic observables, including current and voltage, and the spatially local superconducting phase, as well as the microscopic parameters of the electron-phonon system. We then extend the third quantization of the superconducting order parameter, introduced in Paper (I) for the global phase, to the spatially local case. This gives a macroscopic field quantization of the superconducting phase. We show that, after restriction to the low-energy excitation subspace, the local superconducting phase becomes a genuine quantum dynamical variable. Thus, the quantum behavior of transmission-line resonators need not be postulated at the macroscopic level, but follows from the third quantization of the superconducting order parameter. These results suggest that capacitive and inductive superconducting circuit elements share the same microscopic origin, providing a unified framework for superconducting circuit quantization.

quant-pharXiv:2604.24092•Apr 28, 2026•0 citations
The theory of circuit quantum electrodynamics has successfully analyzed superconducting circuits on the basis of the classical Lagrangian, and the corresponding quantized Hamiltonian, describing these circuits. In many simplified versions of these networks, the modeling involves a Lagrangian that is singular, describing an inherently constrained system. In this work, we demonstrate the failure of the Dirac-Bergmann theory for the quantization of realistic, nearly singular superconducting circuits, both reciprocal and nonreciprocal. The correct treatment of nearly singular systems involves a perturbative Born-Oppenheimer analysis. We rigorously prove the validity of the corresponding perturbation theory using Kato-Rellich theory. We find that the singular limit of this regularized analysis is, in many cases, completely unlike the singular theory. Dirac-Bergmann, which uses the Kirchhoff's (and Tellegen's) laws to deal with constraints, predicts dynamics that depend on the detailed parameters of nonlinear circuit elements, e.g., Josephson inductances. By contrast, the limiting behavior of the low-energy dynamics obtained from the regularized Born-Oppenheimer approach exhibits a fixed point structure, flowing to one of a few universal fixed points as parasitic capacitance values go to zero.
The theory of circuit quantum electrodynamics has successfully analyzed superconducting circuits on the basis of the classical Lagrangian, and the corresponding quantized Hamiltonian describing these circuits.In many simplified versions of these networks, the modeling involves a singular Lagrangian that employs Kirchhoff's laws to eliminate inherent constraints of the system.In this work, we demonstrate the failure of such singular theories for the quantization of realistic, nearly singular superconducting circuits.Instead, we rigorously prove the validity of a perturbative analysis within the Born-Oppenheimer approximation.In particular, we find that the limiting behavior of the low-energy dynamics obtained from the regularized approach exhibits a fixed-point structure flowing to one of a few universal fixed points as parasitic capacitance values go to zero.This singular limit of the regularized analysis is, in many cases, completely unlike the singular theory.Consequently, we conclude that classical network synthesis techniques which build on Kirchhoff's laws must be critically examined prior to applying circuit quantization.
In the quest to produce quantum technology, superconducting networks, working at temperatures just above absolute zero, have arisen as one of the most promising physical implementations. The precise analysis and synthesis of such circuits have required merging the fields of physics, engineering, and mathematics. In this dissertation, we develop mathematically consistent and precise Hamiltonian models to describe ideal superconducting networks made of an arbitrary number of lumped elements, such as capacitors, inductors, Josephson and phase-slip junctions, gyrators, etc., and distributed ones like transmission lines. We give formal proofs for the decoupling at high and low frequencies of lumped degrees of freedom from infinite-dimensional systems in different coupling configurations in models based on the effective Kirchhoff's laws. We extend the standard theory to quantize circuits that include ideal nonreciprocal elements all the way to their Hamiltonian descriptions in a systematic way. Finally, we pave the way on how to quantize general frequency-dependent gyrators and circulators coupled to both transmission lines and other lumped-element networks. We have explicitly shown, that these models, albeit ideal, are finite and present no divergence issues. We explain and dispel misunderstandings from the previous literature. Furthermore, we have demonstrated the usefulness of a redundant basis for performing separation of variables of the transmission line (1D) fields in the presence of point-like (lumped-element) couplings by time-reversal symmetry-breaking terms, i.e. nonreciprocal elements.
Abstract In this work we exploit Dirac's Constraint Analysis (DCA) in Hamiltonian formalism to study different types of Superconducting Quantum Circuits (SQC) in a unified way. The Lagrangian of a SQC reveals the constraints, that are classified in a Hamiltonian framework, such that redundant variables can be removed to isolate the canonical degrees of freedom for subsequent quantization of the Dirac Brackets via a generalized Correspondence Principle. This purely algebraic approach makes the application of concepts such as graph theory, null vector, loop charge, etc that are in vogue, (each for a specific type of circuit), completely redundant. The universal validity of DCA scheme in SQC, proposed by us, is demonstrated by correctly re-deriving existing results for different SQCs, obtained previously exploiting different formalisms each applicable for a specific SQC. Furthermore, we have also analysed and predicted new results for a generic form of SQC - it will be interesting to see its validation in an explicit circuit implementation.
Following a consistent geometrical description previously introduced [], we present an exact method for obtaining canonically quantizable Hamiltonian descriptions of nonlinear, nonreciprocal quasilumped electrical networks. We identify and classify singularities arising in the quest for Hamiltonian descriptions of general quasilumped element networks via the Faddeev-Jackiw technique. We offer systematic solutions to cases previously considered singular—a major challenge in the context of canonical circuit quantization. The solution relies on the correct identification of the reduced classical circuit-state manifold, i.e., a mix of flux and charge fields and functions. Starting from the geometrical description of the transmission line, we provide a complete program including lines coupled to one-port lumped-element networks, as well as multiple lines connected to multiport nonreciprocal lumped-element networks, with intrinsic ultraviolet cutoff. On the way, we naturally extend the canonical quantization of transmission lines coupled through frequency-dependent, nonreciprocal linear systems, such as practical circulators. Additionally, we demonstrate how our method seamlessly facilitates the characterization of general nonreciprocal, dissipative linear environments. This is achieved by extending the Caldeira-Leggett formalism, using continuous limits of series of immittance matrices. We provide a tool in the analysis and design of electrical circuits and of special interest in the context of canonical quantization of superconducting networks. For instance, this work provides a solid ground for a precise nondivergent input-output theory in the presence of nonreciprocal devices, e.g., within (chiral) waveguide QED platforms.
The quantization of superconducting transmission-line resonators is usually introduced phenomenologically by modeling the resonator as an effective LC circuit and imposing canonical commutation relations on macroscopic variables such as charge and flux. Although this approach is highly successful, it leaves open why these macroscopic variables should obey quantum commutation relations and how this behavior emerges from the superconducting state. In this work, starting from the microscopic pairing Hamiltonian underlying BCS superconductivity, we derive the low-energy effective Hamiltonian of a circuit-QED architecture containing a superconducting transmission line with distributed capacitive and inductive elements. We establish quantitative relations between macroscopic observables, including current and voltage, and the spatially local superconducting phase, as well as the microscopic parameters of the electron-phonon system. We then extend the third quantization of the superconducting order parameter, introduced in Paper (I) for the global phase, to the spatially local case. This gives a macroscopic field quantization of the superconducting phase. We show that, after restriction to the low-energy excitation subspace, the local superconducting phase becomes a genuine quantum dynamical variable. Thus, the quantum behavior of transmission-line resonators need not be postulated at the macroscopic level, but follows from the third quantization of the superconducting order parameter. These results suggest that capacitive and inductive superconducting circuit elements share the same microscopic origin, providing a unified framework for superconducting circuit quantization.