arxiv: 2604.24092 · v2 · submitted 2026-04-27 · 🪐 quant-ph

Recognition: 2 theorem links

· Lean Theorem

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

Miao-Miao Yi , Guo-Jian Qiao , Xin Yue , C. P. Sun

Authors on Pith no claims yet

Pith reviewed 2026-05-12 00:51 UTC · model grok-4.3

classification 🪐 quant-ph

keywords third quantizationsuperconducting order parametercircuit QEDBCS superconductivitytransmission line resonatorsphase quantizationeffective Hamiltonian

0 comments

The pith

The quantum behavior of transmission-line resonators follows from third quantization of the local superconducting order parameter.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper starts from the microscopic BCS pairing Hamiltonian to derive an effective description of a superconducting transmission line in a circuit-QED setup. It extends the third quantization of the order parameter from the global phase to the spatially varying local phase. After projecting onto the low-energy subspace, the local phase acquires the status of a quantum operator obeying canonical commutation relations with the conjugate charge. This shows that the familiar quantum LC oscillator model for resonators arises naturally rather than being imposed by hand at the circuit level. Such a derivation matters because it supplies a first-principles justification for the quantum treatment of macroscopic superconducting elements and unifies the origin of capacitive and inductive behavior.

Core claim

Starting from the microscopic pairing Hamiltonian underlying BCS superconductivity, the low-energy effective Hamiltonian of a circuit-QED architecture containing a superconducting transmission line is derived. Quantitative relations are established between macroscopic observables, including current and voltage, and the spatially local superconducting phase together with microscopic electron-phonon parameters. The third quantization of the superconducting order parameter is extended to the local case, yielding a macroscopic field quantization of the phase. Upon restriction to the low-energy excitation subspace the local superconducting phase becomes a genuine quantum dynamical variable. Thus,

What carries the argument

The third quantization applied to the spatially local superconducting phase field, which converts the phase into a quantum operator whose dynamics are determined by the effective Hamiltonian obtained from the BCS pairing interaction.

If this is right

The macroscopic charge and flux of the resonator obey quantum commutation relations as a direct consequence of the microscopic theory.
Capacitive and inductive elements in the circuit share a common microscopic origin in the superconducting order parameter.
The effective Hamiltonian reproduces the standard circuit-QED architecture from first principles.
Distributed elements in the transmission line lead to the familiar resonator modes without additional assumptions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This derivation suggests that similar first-principles quantization could be applied to other superconducting devices such as qubits or couplers.
Future work might examine how corrections beyond the low-energy subspace affect the predicted quantum behavior.
Experimental verification could involve precise spectroscopy of resonators while varying microscopic parameters like the gap or density of states.

Load-bearing premise

That the low-energy subspace restriction suffices to promote the local phase to a quantum dynamical variable while the effective Hamiltonian remains accurate without major uncontrolled approximations from the microscopic pairing Hamiltonian.

What would settle it

An experiment that measures the resonator spectrum or noise properties using independently determined microscopic parameters and finds systematic deviations from the predictions of the derived effective Hamiltonian would falsify the central claim.

Figures

Figures reproduced from arXiv: 2604.24092 by C. P. Sun, Guo-Jian Qiao, Miao-Miao Yi, Xin Yue.

**Figure 1.** Figure 1: Starting from a uniform global phase ϕ established in the ground state, fluctuations ϕix emerge at each lattice site, followed by the continuum limit to obtain the continuous phase field ϕ(x). We now clarify the relation between the local order parameter phase ϕix and the Nambu-Goldstone mode. When ϕix varies slowly from site to site, i.e., δϕix ≪ 1, the excitation energy relative to the ground state is ∆E… view at source ↗

**Figure 2.** Figure 2: Simplified schematic of superconducting transmission line order parameter phase and the microscopic parameters of the superconductor. In this way, the macroscopic quantum behavior of superconducting transmission-line resonators, especially the non-commutativity of macroscopic variables, is not an independent postulation in quantum mechanics, but instead emerges naturally in the low-energy effective theory … view at source ↗

**Figure 3.** Figure 3: Correspondence between representative superconducting circuit elements, the effective Hilbert spaces in which they are described, the commutation relations emerging in third quantization, and the associated macroscopic observables. where ωj = jω1 are the eigen-frequencies, and the fundamental frequency ω1 is related to microscopic parameters by ω1 = π Lx √ lc = eπ Lx ( 2dnx Lyϵm ) 1/2 . (46) The explicit m… view at source ↗

read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Extending third quantization locally derives circuit quantization from BCS, but the low-energy subspace step is the one to watch.

read the letter

The main point is that this paper extends the third quantization of the superconducting order parameter to the local case and uses it to derive the quantization of transmission-line resonators directly from the BCS pairing Hamiltonian. They construct the low-energy effective Hamiltonian for a circuit-QED architecture with distributed elements, derive relations connecting macroscopic current and voltage to the local phase and microscopic parameters, and then apply the local third quantization. Restricting to the low-energy subspace makes the phase a quantum dynamical variable, so the resonator behavior emerges rather than being assumed. This is new in the local extension and the micro-macro connections. It does well in offering a unified microscopic picture for why both capacitive and inductive elements behave as they do in these circuits. The soft spot is the low-energy restriction itself. It is the step that promotes the phase to a genuine quantum variable, but without the full derivation it is difficult to see if this cut is natural or if it requires tuning to recover the standard results. The handling of spatial locality in the third quantization also needs verification to ensure it matches the distributed transmission line without hidden approximations. This work is for specialists in superconducting quantum circuits and condensed matter theory who are interested in foundational derivations of quantization. A reader focused on circuit QED would find the quantitative relations potentially useful for connecting theory to device parameters. It deserves a serious referee because the claim addresses a conceptual question in the field and the approach is laid out systematically. I recommend sending it for peer review so the details can be checked.

Referee Report

2 major / 2 minor

Summary. The paper starts from the microscopic BCS pairing Hamiltonian for a superconducting transmission line with distributed capacitive and inductive elements in a circuit-QED architecture. It derives a low-energy effective Hamiltonian, establishes quantitative relations between macroscopic current/voltage observables and the local superconducting phase plus microscopic electron-phonon parameters, and extends the third-quantization procedure of Paper (I) to the spatially local order-parameter field. After projection onto the low-energy excitation subspace, the local phase is shown to behave as a genuine quantum dynamical variable whose dynamics reproduce the standard quantized LC-resonator description, thereby deriving rather than postulating the quantum behavior of transmission-line resonators.

Significance. If the central derivation is sound, the work supplies a microscopic origin for the canonical commutation relations imposed on macroscopic flux and charge variables in superconducting circuits. The claimed quantitative links between circuit observables and BCS parameters, together with the unified treatment of capacitive and inductive elements, would constitute a non-trivial advance in the foundations of circuit QED. The absence of free parameters in the final effective theory (once the low-energy subspace is fixed) is a notable strength.

major comments (2)

[§4 and the paragraph following Eq. (local-phase commutator)] The central claim that restriction to the low-energy excitation subspace promotes the local superconducting phase to a genuine quantum dynamical variable (abstract and §4) rests on an unquantified projection. No error bound or norm estimate is supplied showing that the projected commutators remain canonical to the required accuracy, nor is it demonstrated that the discarded high-energy components do not re-enter at the same perturbative order as the retained terms.
[§3, Eqs. (effective-H) through (macroscopic-current)] The derivation of the effective low-energy Hamiltonian from the microscopic pairing Hamiltonian (beginning of §3) invokes a sequence of approximations whose validity range is stated only qualitatively. In particular, the spatial averaging that converts the local order parameter into distributed circuit elements lacks an explicit control parameter (e.g., ratio of coherence length to resonator wavelength) that would guarantee the error remains smaller than the retained inductive and capacitive terms.

minor comments (2)

[§2] Notation for the local phase field and its conjugate momentum is introduced without an explicit comparison table to the global-phase variables of Paper (I), making it difficult to track which commutation relations are inherited versus newly derived.
[Figure 2] Figure 2 (schematic of the transmission-line discretization) would benefit from an inset showing the mapping between the discrete capacitive/inductive elements and the continuum limit of the third-quantized field.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive major comments. We respond to each point below, indicating where revisions will be made to strengthen the presentation while preserving the core derivations.

read point-by-point responses

Referee: [§4 and the paragraph following Eq. (local-phase commutator)] The central claim that restriction to the low-energy excitation subspace promotes the local superconducting phase to a genuine quantum dynamical variable (abstract and §4) rests on an unquantified projection. No error bound or norm estimate is supplied showing that the projected commutators remain canonical to the required accuracy, nor is it demonstrated that the discarded high-energy components do not re-enter at the same perturbative order as the retained terms.

Authors: We agree that the current manuscript presents the projection without an explicit quantitative error bound. The low-energy subspace is defined by the BCS gap Δ, which is parametrically larger than the circuit mode energies ħω (typically Δ/ħω ≳ 10^3–10^4). Within this subspace the commutator [φ_local, n_local] = i is preserved exactly by construction of the third-quantized phase operator. High-energy quasiparticle contributions are suppressed by at least one power of ħω/Δ and do not re-enter at the order kept in the effective Hamiltonian. We will add a short paragraph immediately after the local-phase commutator equation that states this scale separation and supplies the leading-order error estimate O(ħω/Δ). A fully rigorous operator-norm bound on the projection would require additional technical machinery beyond the scope of the present work. revision: partial
Referee: [§3, Eqs. (effective-H) through (macroscopic-current)] The derivation of the effective low-energy Hamiltonian from the microscopic pairing Hamiltonian (beginning of §3) invokes a sequence of approximations whose validity range is stated only qualitatively. In particular, the spatial averaging that converts the local order parameter into distributed circuit elements lacks an explicit control parameter (e.g., ratio of coherence length to resonator wavelength) that would guarantee the error remains smaller than the retained inductive and capacitive terms.

Authors: The spatial averaging step is controlled by the dimensionless ratio ξ/λ, where ξ is the superconducting coherence length and λ the wavelength of the resonator mode. For the parameters relevant to circuit QED, ξ ≈ 100 nm while λ ≈ 1 cm at GHz frequencies, so ξ/λ ≪ 1. The error incurred by replacing the local order-parameter field by its spatially averaged value is O((ξ/λ)^2) and is therefore negligible compared with the retained inductive and capacitive energies. We will revise the text in §3 to introduce ξ/λ explicitly as the control parameter, state the regime ξ/λ ≪ 1, and include a one-sentence error estimate. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified in derivation chain

full rationale

The paper explicitly starts from the external microscopic BCS pairing Hamiltonian as its foundational input and derives the low-energy effective Hamiltonian for the circuit-QED system, including quantitative relations between macroscopic observables (current, voltage) and the local superconducting phase plus microscopic electron-phonon parameters. The extension of third quantization to the local case references Paper (I) as a prior methodological framework but does not reduce the present central claim (that low-energy subspace restriction promotes the phase to a dynamical quantum variable) to a tautology or fitted input by construction. No equations in the provided abstract or summary exhibit self-definition, renaming of known results, or load-bearing self-citation chains that force the outcome; the derivation remains self-contained against the BCS starting point and external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

The central claim relies on the BCS theory as standard, the extension of third quantization from Paper (I), and the restriction to low-energy subspace. Without full text, specific free parameters like coupling strengths or cutoffs are not identifiable from the abstract.

axioms (3)

domain assumption The BCS pairing Hamiltonian describes the superconducting state
The paper starts from the microscopic pairing Hamiltonian underlying BCS superconductivity.
domain assumption The low-energy effective Hamiltonian can be derived for the circuit-QED architecture
Used to connect microscopic parameters to macroscopic observables like current and voltage.
ad hoc to paper Restriction to the low-energy excitation subspace makes the local phase a quantum dynamical variable
This step is invoked to establish the quantum behavior of the resonators.

invented entities (1)

Local third quantization of the superconducting order parameter no independent evidence
purpose: To treat the spatially varying order parameter as a quantum field leading to macroscopic quantization
Extended from Paper (I) to the local case; no independent evidence provided in the abstract.

pith-pipeline@v0.9.0 · 5542 in / 1619 out tokens · 85076 ms · 2026-05-12T00:51:30.551396+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

starting from the microscopic pairing Hamiltonian underlying BCS superconductivity, we derive the low-energy effective Hamiltonian... extend the third quantization of the superconducting order parameter... [nc(x), ϕ(x')] = i δ(x-x')
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

H1 ≃ ∫ dx (1/2) l I²(x) with l = m/(nx e²); H2 ≃ ∫ dx (1/2) c (e n(x))² with c = Ly ε/(2d)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Berry-Phase-Induced Chirality in Thermodynamics
quant-ph 2026-05 unverdicted novelty 7.0

Berry-phase-induced chiral work difference survives decoherence, evolving from an interferometric Aharonov-Bohm-like effect in unitary systems to a fringe-free signal in dissipative regimes.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages · cited by 1 Pith paper

[1]

Blais A, Huang R S, Wallraff A, Girvin S M and Schoelkopf R J 2004Phys. Rev. A69(6) 062320 URLhttps://link.aps.org/doi/10.1103/PhysRevA.69.062320

work page doi:10.1103/physreva.69.062320
[2]

Blais A, Grimsmo A L, Girvin S M and Wallraff A 2021Rev. Mod. Phys.93(2) 025005 URL https://link.aps.org/doi/10.1103/RevModPhys.93.025005

work page doi:10.1103/revmodphys.93.025005
[3]

Zhang P, Wang Z D, Sun J D and Sun C P 2005Phys. Rev. A71(4) 042301 URL https://link.aps.org/doi/10.1103/PhysRevA.71.042301

work page doi:10.1103/physreva.71.042301
[4]

Wang Y D, Wang Z D and Sun C P 2005Phys. Rev. B72(17) 172507 URL https://link.aps.org/doi/10.1103/PhysRevB.72.172507

work page doi:10.1103/physrevb.72.172507
[5]

Makhlin Y, Sch¨ on G and Shnirman A 2001Rev. Mod. Phys.73(2) 357–400 URL https://link.aps.org/doi/10.1103/RevModPhys.73.357

work page doi:10.1103/revmodphys.73.357
[6]

Louisell W H 1973Quantum Statistical Properties of RadiationPure and Applied Optics Series (New York: John Wiley & Sons) ISBN 0471547859 a Wiley-Interscience Publication

work page
[7]

Wallraff A, Schuster D I, Blais A, Frunzio L, Huang R S, Majer J, Kumar S, Girvin S M and Schoelkopf R J 2004Nature431162–167 URLhttps://doi.org/10.1038/nature02851

work page doi:10.1038/nature02851
[8]

Majer J, Chow J, Gambetta J, Koch J, Johnson B, Schreier J, Frunzio L, Schuster D, Houck A A, Wallraff Aet al.2007Nature449443–447 URL https://doi.org/10.1038/nature06184

work page doi:10.1038/nature06184
[9]

Mooij J E, Orlando T P, Levitov L, Tian L, van der Wal C H and Lloyd S 1999Science285 1036–1039 URLhttps://www.science.org/doi/abs/10.1126/science.285.5430.1036

work page doi:10.1126/science.285.5430.1036
[10]

Nakamura Y, Pashkin Y A and Tsai J 1999nature398786–788 URL https://doi.org/10.1038/19718 11 IOP PublishingJournalvv(yyyy) aaaaaa Authoret al

work page doi:10.1038/19718
[11]

Orlando T P, Mooij J E, Tian L, van der Wal C H, Levitov L S, Lloyd S and Mazo J J 1999 Phys. Rev. B60(22) 15398–15413 URL https://link.aps.org/doi/10.1103/PhysRevB.60.15398

work page doi:10.1103/physrevb.60.15398 1999
[12]

Robaszkiewicz S, Micnas R and Chao K A 1981Phys. Rev. B24(7) 4018–4024 URL https://link.aps.org/doi/10.1103/PhysRevB.24.4018

work page doi:10.1103/physrevb.24.4018
[13]

Micnas R, Ranninger J and Robaszkiewicz S 1990Rev. Mod. Phys.62(1) 113–171 URL https://link.aps.org/doi/10.1103/RevModPhys.62.113

work page doi:10.1103/revmodphys.62.113
[14]

Zhu J X 2016Bogoliubov-de Gennes method and its applicationsvol 924 (Springer)

work page
[15]

Thouless D 1960Nuclear Physics21225–232 ISSN 0029-5582 URL https://www.sciencedirect.com/science/article/pii/0029558260900481

work page arXiv
[16]

Sala P, Shi T, K¨ uhn S, Ba˜ nuls M C, Demler E and Cirac J I 2018Phys. Rev. D98(3) 034505 URLhttps://link.aps.org/doi/10.1103/PhysRevD.98.034505

work page doi:10.1103/physrevd.98.034505
[17]

Rev.127(3) 965–970 URL https://link.aps.org/doi/10.1103/PhysRev.127.965

Goldstone J, Salam A and Weinberg S 1962Phys. Rev.127(3) 965–970 URL https://link.aps.org/doi/10.1103/PhysRev.127.965

work page doi:10.1103/physrev.127.965
[18]

Rev.117(3) 648–663 URL https://link.aps.org/doi/10.1103/PhysRev.117.648

Nambu Y 1960Phys. Rev.117(3) 648–663 URL https://link.aps.org/doi/10.1103/PhysRev.117.648

work page doi:10.1103/physrev.117.648
[19]

De Gennes P G 2018Superconductivity of metals and alloys(CRC press)

work page
[20]

Tinkham M 2004Introduction to superconductivity(Courier Corporation)

work page
[21]

Zhang Z L, Qiao G J and Sun C 2025Phys. Lett. A529130063 ISSN 0375-9601 URL https://www.sciencedirect.com/science/article/pii/S0375960124007576

work page
[22]

Caldeira A and Leggett A 1983Annals of Physics149374–456 ISSN 0003-4916 URL https://www.sciencedirect.com/science/article/pii/0003491683902026

work page arXiv
[23]

Yu L H and Sun C P 1994Phys. Rev. A49(1) 592–595 URL https://link.aps.org/doi/10.1103/PhysRevA.49.592

work page doi:10.1103/physreva.49.592
[24]

Sun C P and Yu L H 1995Phys. Rev. A51(3) 1845–1853 URL https://link.aps.org/doi/10.1103/PhysRevA.51.1845 12

work page doi:10.1103/physreva.51.1845