We present a systematic canonical quantization procedure for lumped-element superconducting networks by using a redundant configuration-space description. The algorithm is based on an original, explicit, and constructive implementation of the symplectic diagonalization of positive semidefinite Hamiltonian matrices, a particular instance of Williamson's theorem. With it, we derive canonically quantized discrete-variable descriptions of passive causal systems. We exemplify the algorithm with representative singular electrical networks, a nonreciprocal extension for the black-box quantization method, as well as an archetypal Landau quantization problem.

• Received 12 April 2022
• Accepted 30 June 2022

DOI:https://doi.org/10.1103/PhysRevB.106.024510