Renormalized and iterative formalism of the Andreev levels within large multi-parametric space

Xian-Peng Zhang Department of Physics, Hong Kong University of Science and Technology, Clear Water Bay, Hong Kong, China Centre for Quantum Physics, Key Laboratory of Advanced Optoelectronic Quantum Architecture and Measurement (MOE), School of Physics, Bei**g Institute of Technology, Bei**g, 100081, China
Abstract

We attain a renormalized and iterative expression of the Andreev level in a quantum-dot Josephson junction, which is bound to have significant implications due to several significant advantages. The renormalized form of the Andreev level not only allows us to extend beyond the limitations of small tunnel coupling, quantum dot energy, magnetic field, and mean-field Coulomb interaction but also enables the capturing of subgap levels that leak out of the superconducting gap into the continuous spectrum. These leaked subgap levels are highly tunable by gate, phase, and field parameters and play a significant role in the novel phenomena and remarkable properties of the superconductor. Furthermore, the iterative form of the Andreev level provides an intuitive understanding of the spin-split and superconducting proximity effects of the superconducting leads. We find a singlet-doublet quantum phase transition (QPT) in the ground state due to the intricate competition between the superconducting and spin-split proximity effects, that differs from the typical QPT arising from the competition between the superconducting proximity effect (favoring singlet phase) and the quantum dot Coulomb interaction (favoring doublet phase). This QPT has a diverse phase diagram owing to the spin-split proximity effects which favors the doublet phase akin to the quantum-dot Coulomb interaction but can be also enhanced by the tunneling coupling like the superconducting proximity effect. Unlike the typical QPT, where tunnel coupling prefers singlet ground state, this novel QPT enables strong tunnel coupling to suppress the singlet ground state via the spin-split proximity effect, allowing a singlet-doublet-singlet transition with increasing tunnel coupling. Our renormalized and iterative formalism of the Andreev level is crucial for the electrostatic gate, external flux, and magnetic field modulations of the Andreev qubits.

I Introduction

The Andreev qubit, featuring with the remarkable scalability of superconducting circuits and the compact footprint of quantum dots, is currently a subject of particular interest [1, 2, 3, 4, 5, 6, 7, 8]. Depending on the occupation of Andreev levels, the even- and odd-parity Andreev states are responsible for the Andreev level qubit [1, 2, 3, 4] and the Andreev spin qubit [5, 6, 7, 8], respectively. The occupations of the Andreev levels depend on the competition between the superconducting proximity effect and quantum-dot Coulomb interaction [9, 10, 11]. The former privileges a Bogoliubov-like singlet |Sket𝑆|S\rangle| italic_S ⟩ – a superposition of the empty and doubly occupied states (fermionic even parity) [12], while the latter favors a one-by-one electron filling (fermionic odd parity), that is, doublet |Dket𝐷|D\rangle| italic_D ⟩ [13, 14, 15], whose degeneracy can be lifted by applying a Zeeman magnetic field. Thus, with the lower-energy doublet crossing the lower-energy singlet at a critical magnetic field, the ground state can evolve a singlet-doublet quantum phase transition (QPT) in superconductors coupled to various types of semiconducting quantum dots [16, 17, 18, 19]. Alternatively, the competition between the Kondo correlation and superconductivity has been known to drive a singlet-doublet QPT in a quantum-dot Josephson junctions [20]. Here, we exploit the ample additional tuning possibilities afforded by the spin-split proximity effect of superconducting lead, which favors the doublet phase akin to the quantum-dot Coulomb interaction but can be enhanced by the tunneling coupling like the superconducting proximity effect. We highlight the singlet-doublet QPT due to the intricate competition between superconducting and spin-split proximity effects of superconducting leads in the absence of the quantum-dot Coulomb interaction. This QPT differs from the typical QPT due to the competition between the superconducting proximity effect and quantum-dot Coulomb interaction and should be paid attention in various types of superconducting and magnetized quantum dot [21, 22, 23].

Refer to caption
Figure 1: (a) The Andreev levels Es±subscript𝐸limit-from𝑠plus-or-minusE_{s\pm}italic_E start_POSTSUBSCRIPT italic_s ± end_POSTSUBSCRIPT as a function of ϕitalic-ϕ\phiitalic_ϕ. (b) The ground-state supercurrent IGsubscript𝐼𝐺I_{G}italic_I start_POSTSUBSCRIPT italic_G end_POSTSUBSCRIPT as a function of ϕitalic-ϕ\phiitalic_ϕ. The blue and magenta lines correspond to the subgap supercurrent ϕE/I0subscriptitalic-ϕsubscript𝐸absentsubscript𝐼0\partial_{\phi}E_{\uparrow-}/I_{0}∂ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT ↑ - end_POSTSUBSCRIPT / italic_I start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and ϕE/I0subscriptitalic-ϕsubscript𝐸absentsubscript𝐼0\partial_{\phi}E_{\downarrow-}/I_{0}∂ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT ↓ - end_POSTSUBSCRIPT / italic_I start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, respectively. The sharp drop of total supercurrent [black line in 2(c)] happens when the a pair of Andreev levels dual to each other cross zero [2(b)] and reveals the fermionic parity change in the ground state.

Microscopic theories of the singlet-doublet QPT rely on the superconducting Anderson model [24]. However, studying the evolution of the Andreev level within a realistic multi-parametric space often necessitates prohibitively expensive numerical methods for instance the numerical renormalization group [25] and quantum Monte Carlo techniques [26]. To tackle this challenge, controlled analytic approximations have been developed, including mean-field approaches [27, 28, 29], functional renormalization group techniques [30, 31], and perturbation expansions [13, 12] within small tunnel coupling, quantum dot energy, magnetic field, and Coulomb interaction limits, where superconductors can be integrated out to generate an effective pair potential on quantum dot [12, 32, 24, 33, 34, 35]. As a result, the integration of superconductor degree of freedom overlooks the entanglement and hybridization between the quantum dot and the superconductors. Additionally, as the tunnel coupling, quantum dot energy, magnetic field, and Coulomb interaction increase, the outer subgap levels leak out of the superconducting gap into the continuous part of the superconducting spectrum [36, 37, 38]. Notably, these leaked subgap levels are highly gate-, phase-, and field-tunable (see Appendix A) and thus play a crucial role in the novel phenomena and remarkable properties of the superconductor, for example, the supercurrent arising from the phase-tunable leaked subgap levels. Therefore, an analytical expression of Andreev levels within larger multi-parametric space is highly desirable and proves valuable for dominating the various properties of the low-energy superconducting condensate.

By directly diagonalizing an infinite system, we derive a renormalized and iterative expression for the Andreev level in the presence of Zeeman magnetic fields and mean-field Coulomb interaction. Notably, the renormalized formalism of the Andreev level not only overcomes the limitations of small tunnel coupling, quantum dot energy, magnetic field, and Coulomb interaction, but also enables the capture of gate-, flux-, and field-tunable subgap levels that leak out of the superconducting gap into the continuous spectrum. Moreover, the iterative formalism of the Andreev level provides an intuitive understanding of the spin-split and superconducting proximity effects of the superconducting leads. We underline the singlet-doublet QPT in the ground state due to the intricate competition between the superconducting and spin-split proximity effects. This QPT has a diverse phase diagram owing to the spin-split proximity effects, which favors doublet phase akin to the quantum-dot Coulomb interaction but can be also enhanced by the tunneling coupling like the superconducting proximity effect (favoring singlet phase). Unlike the typical QPT, where tunnel coupling prefers singlet ground state, this novel QPT enables strong tunnel coupling to suppress the singlet ground state via the spin-split proximity effect, allowing a singlet-doublet-singlet transition with increasing tunnel coupling.

The paper is organized as follows. In Sec. II, we present our model and theory. Section III presents our results and discussions, including superconducting and spin-split proximity effects (Sec. III.1), QPT in the absence of Coulomb interaction (Sec. III.2), as well as QPT in the presence of Coulomb interaction (Sec. III.3). Our paper ends with conclusion and acknowledgement in Sec. IV and Sec. V. Finally, Appendix A, and Appendix B present the microscopic derivations of Andreev levels in the absence and presence of the quantum-dot Coulomb interaction, respectively.

II Model and theory

We study the hybrid quantum dot and superconducting lead system containing Zeeman magnetic fields. The dynamics of the hybrid system can be captured by the following Hamiltonian [39, 17, 40]

H=HL+HD+HT.𝐻subscript𝐻𝐿subscript𝐻𝐷subscript𝐻𝑇\displaystyle H=H_{L}+H_{D}+H_{T}.italic_H = italic_H start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT + italic_H start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT . (1)

The quantum dot Hamiltonian, in the presence of on-site Coulomb interaction U𝑈Uitalic_U, is given by

HD=s=,(ϵD+shD)ns+Unn.subscript𝐻𝐷subscript𝑠subscriptitalic-ϵ𝐷𝑠subscript𝐷subscript𝑛𝑠𝑈subscript𝑛subscript𝑛\displaystyle H_{D}=\sum_{s=\uparrow,\downarrow}(\epsilon_{D}+sh_{D})n_{s}+Un_% {\uparrow}n_{\downarrow}.italic_H start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_s = ↑ , ↓ end_POSTSUBSCRIPT ( italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ) italic_n start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT + italic_U italic_n start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT . (2)

Here, ns=dsdssubscript𝑛𝑠subscriptsuperscript𝑑𝑠subscript𝑑𝑠n_{s}=d^{\dagger}_{s}d_{s}italic_n start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = italic_d start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT is number operator with spin s𝑠sitalic_s, and dssuperscriptsubscript𝑑𝑠d_{s}^{\dagger}italic_d start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT is the creation operator of the electron with spin s𝑠sitalic_s and energy ϵD+shDsubscriptitalic-ϵ𝐷𝑠subscript𝐷\epsilon_{D}+sh_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT. ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and hDsubscript𝐷h_{D}italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT are the energy level and Zeeman energy in the quantum dot, respectively. The leads are conventional singlet s𝑠sitalic_s-wave superconductors and represented by the Bardeen-Cooper-Schrieffer Hamiltonian

HLsubscript𝐻𝐿\displaystyle H_{L}italic_H start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT =jn𝒌s(ϵjn𝒌+shL)cjn𝒌scjn𝒌sabsentsubscript𝑗𝑛𝒌𝑠subscriptitalic-ϵ𝑗𝑛𝒌𝑠subscript𝐿subscriptsuperscript𝑐𝑗𝑛𝒌𝑠subscript𝑐𝑗𝑛𝒌𝑠\displaystyle=\sum_{jn\boldsymbol{k}s}(\epsilon_{jn\boldsymbol{k}}+sh_{L})c^{% \dagger}_{jn\boldsymbol{k}s}c_{jn\boldsymbol{k}s}= ∑ start_POSTSUBSCRIPT italic_j italic_n bold_italic_k italic_s end_POSTSUBSCRIPT ( italic_ϵ start_POSTSUBSCRIPT italic_j italic_n bold_italic_k end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_n bold_italic_k italic_s end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_j italic_n bold_italic_k italic_s end_POSTSUBSCRIPT (3)
+j𝒌(Δjcjn𝒌cjn𝒌+h.c),\displaystyle+\sum_{j\boldsymbol{k}}\left(\Delta_{j}c^{\dagger}_{jn\boldsymbol% {k}\uparrow}c^{\dagger}_{jn-\boldsymbol{k}\downarrow}+h.c\right),+ ∑ start_POSTSUBSCRIPT italic_j bold_italic_k end_POSTSUBSCRIPT ( roman_Δ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_n bold_italic_k ↑ end_POSTSUBSCRIPT italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_n - bold_italic_k ↓ end_POSTSUBSCRIPT + italic_h . italic_c ) ,

where cjn𝒌ssubscript𝑐𝑗𝑛𝒌𝑠c_{jn\boldsymbol{k}s}italic_c start_POSTSUBSCRIPT italic_j italic_n bold_italic_k italic_s end_POSTSUBSCRIPT is the annihilation operator of superconductor j=1,2𝑗12j=1,2italic_j = 1 , 2 with band n𝑛nitalic_n, spin s𝑠sitalic_s, wave vector 𝒌𝒌\boldsymbol{k}bold_italic_k, and energy ϵjn𝒌ssubscriptitalic-ϵ𝑗𝑛𝒌𝑠\epsilon_{jn\boldsymbol{k}s}italic_ϵ start_POSTSUBSCRIPT italic_j italic_n bold_italic_k italic_s end_POSTSUBSCRIPT, where ϵjn𝒌subscriptitalic-ϵ𝑗𝑛𝒌\epsilon_{jn\boldsymbol{k}}italic_ϵ start_POSTSUBSCRIPT italic_j italic_n bold_italic_k end_POSTSUBSCRIPT and hLsubscript𝐿h_{L}italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT are the energy spectrum and Zeeman energy in superconductor j𝑗jitalic_j, respectively. The pair potentials of two superconductors, ΔeiϕjΔsuperscript𝑒𝑖subscriptitalic-ϕ𝑗\Delta e^{i\phi_{j}}roman_Δ italic_e start_POSTSUPERSCRIPT italic_i italic_ϕ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT have a phase difference ϕ=ϕ1ϕ2italic-ϕsubscriptitalic-ϕ1subscriptitalic-ϕ2\phi=\phi_{1}-\phi_{2}italic_ϕ = italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. The leads and the dots are tunnel-coupled as follows

HT=jn𝒌s(tjcjn𝒌sds+h.c.).\displaystyle H_{T}=\sum_{jn\boldsymbol{k}s}\left(t_{j}c^{\dagger}_{jn% \boldsymbol{k}s}d_{s}+h.c.\right).italic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_j italic_n bold_italic_k italic_s end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_n bold_italic_k italic_s end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT + italic_h . italic_c . ) . (4)

Assumed to be real and spin-, band-, and momentum-independent, the tunnel coupling amplitude tjsubscript𝑡𝑗t_{j}italic_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is generated by the overlap between the wave functions in the nanowire and quantum dot [41].

Strictly speaking, for a large enough field, the pair potential has to be determined self-consistently, and striking phenomena, such as the inhomogeneous superconducting phase [42, 43], might appear. The situation becomes simpler when superconductivity and magnetism arise from the proximity effects without any self-consistent calculation [44]. Thus, we study the situation in which a nanowire is in contact with superconductors and ferromagnetic insulators [21, 22, 23], where ferromagnetic proximity effect can extend into the nanowire proximitized by superconductors for a superconducting coherence length and thin enough nanowire becomes uniformly magnetized [44, 45]. Hereafter, we still call the nanowire proximitized by superconductors as superconducting leads for briefness. Besides, we consider the collinear but distinguishable Zeeman magnetic fields in quantum dot (hDsubscript𝐷h_{D}italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT) and superconducting leads (hLsubscript𝐿h_{L}italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT), and the global chemical potential is set to be zero for briefness. We describe the tunneling between the quantum dot and superconductor j𝑗jitalic_j with Γj=πνFtj2subscriptΓ𝑗𝜋subscript𝜈𝐹subscriptsuperscript𝑡2𝑗\Gamma_{j}=\pi\nu_{F}t^{2}_{j}roman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = italic_π italic_ν start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, where νFsubscript𝜈𝐹\nu_{F}italic_ν start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT is the density of state of the superconductors.

Treating Coulomb interaction in a mean-field way, the quadratic Hamiltonian (1) of the hybrid system is exactly solvable [46, 47]

H𝐻\displaystyle Hitalic_H =12l=1Ns=/η=+/Elsηγlsηγlsη+.absent12subscriptsuperscript𝑁𝑙1subscript𝑠absentsubscript𝜂absentsubscript𝐸𝑙𝑠𝜂superscriptsubscript𝛾𝑙𝑠𝜂subscript𝛾𝑙𝑠𝜂\displaystyle=\frac{1}{2}\sum^{N}_{l=1}\sum_{s=\uparrow/\downarrow}\sum_{\eta=% +/-}E_{ls\eta}\gamma_{ls\eta}^{\dagger}\gamma_{ls\eta}+\mathcal{E}.= divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l = 1 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_s = ↑ / ↓ end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_η = + / - end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_γ start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT + caligraphic_E . (5)

Here, s=/s=\uparrow/\downarrowitalic_s = ↑ / ↓ is for spin-up and -down in the absence of the spin-flip from spin-orbit coupling and spin-dependent tunneling. The additional index η=+/\eta=+/-italic_η = + / - labels the high/low energy levels of each spin species which satisfy Els+>Elssubscript𝐸limit-from𝑙𝑠subscript𝐸limit-from𝑙𝑠E_{ls+}>E_{ls-}italic_E start_POSTSUBSCRIPT italic_l italic_s + end_POSTSUBSCRIPT > italic_E start_POSTSUBSCRIPT italic_l italic_s - end_POSTSUBSCRIPT and Elη>Elηsubscript𝐸𝑙𝜂subscript𝐸𝑙𝜂E_{l\uparrow\eta}>E_{l\downarrow\eta}italic_E start_POSTSUBSCRIPT italic_l ↑ italic_η end_POSTSUBSCRIPT > italic_E start_POSTSUBSCRIPT italic_l ↓ italic_η end_POSTSUBSCRIPT. \mathcal{E}caligraphic_E is constant energy. The quasiparticle operator γlsηsubscript𝛾𝑙𝑠𝜂\gamma_{ls\eta}italic_γ start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT with energy Elsηsubscript𝐸𝑙𝑠𝜂E_{ls\eta}italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT is a unit vector in Nambu space of the hybrid system

γlsη=k[(usη)lkcks+(vsη)lk(scks)].subscript𝛾𝑙𝑠𝜂subscript𝑘delimited-[]subscriptsubscript𝑢𝑠𝜂𝑙𝑘subscript𝑐𝑘𝑠subscriptsubscript𝑣𝑠𝜂𝑙𝑘𝑠subscriptsuperscript𝑐𝑘𝑠\displaystyle\gamma_{ls\eta}=\sum_{k}\left[(u_{s\eta})_{lk}c_{ks}+(v_{s\eta})_% {lk}(-sc^{\dagger}_{k-s})\right].italic_γ start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT [ ( italic_u start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_l italic_k end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_k italic_s end_POSTSUBSCRIPT + ( italic_v start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_l italic_k end_POSTSUBSCRIPT ( - italic_s italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - italic_s end_POSTSUBSCRIPT ) ] . (6)

Here, we denote ckssubscript𝑐𝑘𝑠c_{ks}italic_c start_POSTSUBSCRIPT italic_k italic_s end_POSTSUBSCRIPT such that c1s=dssubscript𝑐1𝑠subscript𝑑𝑠c_{1s}=d_{s}italic_c start_POSTSUBSCRIPT 1 italic_s end_POSTSUBSCRIPT = italic_d start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT and cks=cj𝒌ssubscript𝑐𝑘𝑠subscript𝑐𝑗𝒌𝑠c_{ks}=c_{j\boldsymbol{k}s}italic_c start_POSTSUBSCRIPT italic_k italic_s end_POSTSUBSCRIPT = italic_c start_POSTSUBSCRIPT italic_j bold_italic_k italic_s end_POSTSUBSCRIPT for all k>1𝑘1k>1italic_k > 1. (usη)lksubscriptsubscript𝑢𝑠𝜂𝑙𝑘(u_{s\eta})_{lk}( italic_u start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_l italic_k end_POSTSUBSCRIPT and (vsη)lksubscriptsubscript𝑣𝑠𝜂𝑙𝑘(v_{s\eta})_{lk}( italic_v start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_l italic_k end_POSTSUBSCRIPT describe the electron and hole distributions of quasiparticles (γlsη)subscript𝛾𝑙𝑠𝜂(\gamma_{ls\eta})( italic_γ start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT ), respectively.

Note that {γlsη}subscript𝛾𝑙𝑠𝜂\{\gamma_{ls\eta}\}{ italic_γ start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT } for all l𝑙litalic_l, s𝑠sitalic_s, and η𝜂\etaitalic_η is an overcomplete basis set including two orthonormal basis sets dual to each other and the quasiparticle states satisfy conjugate relation γlsη=γlsηsubscriptsuperscript𝛾𝑙𝑠𝜂subscript𝛾𝑙𝑠𝜂\gamma^{\dagger}_{ls\eta}=\gamma_{l-s-\eta}italic_γ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT = italic_γ start_POSTSUBSCRIPT italic_l - italic_s - italic_η end_POSTSUBSCRIPT and particle-hole symmetry Elsη=Elsηsubscript𝐸𝑙𝑠𝜂subscript𝐸𝑙𝑠𝜂E_{ls\eta}=-E_{l-s-\eta}italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT = - italic_E start_POSTSUBSCRIPT italic_l - italic_s - italic_η end_POSTSUBSCRIPT. Next, we divide the overcomplete basis set into two orthonormal basis sets dual to each other – {γls+}subscript𝛾limit-from𝑙𝑠\{\gamma_{ls+}\}{ italic_γ start_POSTSUBSCRIPT italic_l italic_s + end_POSTSUBSCRIPT } for all l𝑙litalic_l and s𝑠sitalic_s as well as {γls}subscript𝛾limit-from𝑙𝑠\{\gamma_{ls-}\}{ italic_γ start_POSTSUBSCRIPT italic_l italic_s - end_POSTSUBSCRIPT } for all l𝑙litalic_l and s𝑠sitalic_s. Defined as γlsη|Vη=0subscript𝛾𝑙𝑠𝜂subscriptket𝑉𝜂0\gamma_{ls\eta}|V\rangle_{\eta}=0italic_γ start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT | italic_V ⟩ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT = 0 for all l𝑙litalic_l and s𝑠sitalic_s, the effective vacuum states can be rewritten to the Bogoliubov-like singlet form

|Vη=1Nη1/2k=1N(1+𝒜kηakηakη)|0,subscriptket𝑉𝜂1subscriptsuperscript𝑁12𝜂subscriptsuperscriptproduct𝑁𝑘11subscriptsuperscript𝒜𝜂𝑘subscriptsuperscript𝑎𝑘𝜂subscriptsuperscript𝑎𝑘𝜂ket0|V\rangle_{\eta}=\frac{1}{N^{1/2}_{\eta}}\prod^{N}_{k=1}\left(1+\mathcal{A}^{% \eta}_{k}a^{\dagger}_{k\uparrow\eta}a^{\dagger}_{k\downarrow\eta}\right)|0\rangle,| italic_V ⟩ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT end_ARG ∏ start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT ( 1 + caligraphic_A start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k ↑ italic_η end_POSTSUBSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k ↓ italic_η end_POSTSUBSCRIPT ) | 0 ⟩ , (7)

where Nη=k(1+|𝒜kkη|2)subscript𝑁𝜂subscriptproduct𝑘1superscriptsubscriptsuperscript𝒜𝜂𝑘𝑘2N_{\eta}=\prod_{k}\left(1+|\mathcal{A}^{\eta}_{kk}|^{2}\right)italic_N start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT = ∏ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( 1 + | caligraphic_A start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k italic_k end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ). The expressions of Andreev coefficients 𝒜kηsubscriptsuperscript𝒜𝜂𝑘\mathcal{A}^{\eta}_{k}caligraphic_A start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT and superconducting spin clouds aksηsubscript𝑎𝑘𝑠𝜂a_{ks\eta}italic_a start_POSTSUBSCRIPT italic_k italic_s italic_η end_POSTSUBSCRIPT are given in Ref. [47]. The ground state is the filled Fermi sea of all the negative quasiparticles in the η=+𝜂\eta=+italic_η = + orthonormal basis set starting from the effective vacuum state |V+subscriptket𝑉|V\rangle_{+}| italic_V ⟩ start_POSTSUBSCRIPT + end_POSTSUBSCRIPT. The same applies to the η=𝜂\eta=-italic_η = - orthonormal basis set. Therefore, we reach

|G=(Els+<0γls+)|V+=(Els<0γls)|V,ket𝐺subscriptproductsubscript𝐸limit-from𝑙𝑠0subscriptsuperscript𝛾limit-from𝑙𝑠subscriptket𝑉subscriptproductsubscript𝐸limit-from𝑙𝑠0subscriptsuperscript𝛾limit-from𝑙𝑠subscriptket𝑉\displaystyle|G\rangle=\left(\prod_{E_{ls+}<0}\gamma^{\dagger}_{ls+}\right)|V% \rangle_{+}=\left(\prod_{E_{ls-}<0}\gamma^{\dagger}_{ls-}\right)|V\rangle_{-},| italic_G ⟩ = ( ∏ start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_l italic_s + end_POSTSUBSCRIPT < 0 end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l italic_s + end_POSTSUBSCRIPT ) | italic_V ⟩ start_POSTSUBSCRIPT + end_POSTSUBSCRIPT = ( ∏ start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_l italic_s - end_POSTSUBSCRIPT < 0 end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l italic_s - end_POSTSUBSCRIPT ) | italic_V ⟩ start_POSTSUBSCRIPT - end_POSTSUBSCRIPT , (8)

whose ground-state energy is given by

G=++Els+<0Els+=+Els<0Els.subscript𝐺subscriptsubscriptsubscript𝐸limit-from𝑙𝑠0subscript𝐸limit-from𝑙𝑠subscriptsubscriptsubscript𝐸limit-from𝑙𝑠0subscript𝐸limit-from𝑙𝑠\displaystyle\mathcal{E}_{G}=\mathcal{E}_{+}+\sum_{E_{ls+}<0}E_{ls+}=\mathcal{% E}_{-}+\sum_{E_{ls-}<0}E_{ls-}.caligraphic_E start_POSTSUBSCRIPT italic_G end_POSTSUBSCRIPT = caligraphic_E start_POSTSUBSCRIPT + end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_l italic_s + end_POSTSUBSCRIPT < 0 end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_l italic_s + end_POSTSUBSCRIPT = caligraphic_E start_POSTSUBSCRIPT - end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_l italic_s - end_POSTSUBSCRIPT < 0 end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_l italic_s - end_POSTSUBSCRIPT . (9)

Here, η=+ηη12Elsηsubscript𝜂subscriptsuperscript𝜂𝜂12subscript𝐸𝑙𝑠superscript𝜂\mathcal{E}_{\eta}=\mathcal{E}+\sum_{\eta^{\prime}\neq\eta}\frac{1}{2}E_{ls% \eta^{\prime}}caligraphic_E start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT = caligraphic_E + ∑ start_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≠ italic_η end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT is the effective vacuum state energy of the corresponding orthonormal basis set. Note that superconducting spin clouds aksηsubscript𝑎𝑘𝑠𝜂a_{ks\eta}italic_a start_POSTSUBSCRIPT italic_k italic_s italic_η end_POSTSUBSCRIPT include both quantum dot and superconducting degrees of freedom [47], and therefore our ground state (8) and effective vacuum state (7) capture the entanglement and hybridization between the quantum dot and the superconductors. Therefore, we demonstrate the singlet-doublet QPT from wave-function perspective.

III Results and discussions

III.1 Superconducting and spin-split proximity effects

Hereafter, we mainly focus on Andreev space – the low-energy subgap space of the hybrid system [l=1𝑙1l=1italic_l = 1 of Eq. (5)], described by the Andreev levels, Esη=E1sηsubscript𝐸𝑠𝜂subscript𝐸1𝑠𝜂E_{s\eta}=E_{1s\eta}italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT = italic_E start_POSTSUBSCRIPT 1 italic_s italic_η end_POSTSUBSCRIPT, which can be obtained from the implicit equation (see detailed derivations in Appendix A)

Esη=shD+Γ~s(Esη)hL1+Γ~s(Esη)+ηϵD2+Δ2cos2(ϕ2)Γ~s2(Esη)1+Γ~s(Esη),subscript𝐸𝑠𝜂𝑠subscript𝐷subscript~Γ𝑠subscript𝐸𝑠𝜂subscript𝐿1subscript~Γ𝑠subscript𝐸𝑠𝜂𝜂superscriptsubscriptitalic-ϵ𝐷2superscriptΔ2superscript2italic-ϕ2subscriptsuperscript~Γ2𝑠subscript𝐸𝑠𝜂1subscript~Γ𝑠subscript𝐸𝑠𝜂E_{s\eta}=s\frac{h_{D}+\tilde{\Gamma}_{s}(E_{s\eta})h_{L}}{1+\tilde{\Gamma}_{s% }(E_{s\eta})}+\eta\frac{\sqrt{\epsilon_{D}^{2}+\Delta^{2}\cos^{2}(\frac{\phi}{% 2})\tilde{\Gamma}^{2}_{s}(E_{s\eta})}}{1+\tilde{\Gamma}_{s}(E_{s\eta})},italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT = italic_s divide start_ARG italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG + italic_η divide start_ARG square-root start_ARG italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_ϕ end_ARG start_ARG 2 end_ARG ) over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG , (10)

iteratively, with Γ~s(Esη)=2Γ/Δ2(EsηshL)2subscript~Γ𝑠subscript𝐸𝑠𝜂2ΓsuperscriptΔ2superscriptsubscript𝐸𝑠𝜂𝑠subscript𝐿2\tilde{\Gamma}_{s}(E_{s\eta})=2\Gamma/\sqrt{\Delta^{2}-(E_{s\eta}-sh_{L})^{2}}over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) = 2 roman_Γ / square-root start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT - italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG. Here, we have assumed Γj=ΓsubscriptΓ𝑗Γ\Gamma_{j}=\Gammaroman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = roman_Γ for briefness. Γ~s(Esη)hLsubscript~Γ𝑠subscript𝐸𝑠𝜂subscript𝐿\tilde{\Gamma}_{s}(E_{s\eta})h_{L}over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT and Γ~s(Esη)Δcos(ϕ2)subscript~Γ𝑠subscript𝐸𝑠𝜂Δitalic-ϕ2\tilde{\Gamma}_{s}(E_{s\eta})\Delta\cos(\frac{\phi}{2})over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) roman_Δ roman_cos ( divide start_ARG italic_ϕ end_ARG start_ARG 2 end_ARG ) correspond to the spin-split and superconducting proximity effects, respectively. The detailed gate, phase, and field dependence of the Andreev levels (10) is plotted in Appendix A, where we show a perfect matching in analytical and numerical Andreev levels and simplified expressions is given in several parameter regimes. Intuitively showing the spin-split and superconducting proximity effects, our iterative expression of the Andreev level (10) simplifies the calculation of the critical conditions of the QPT where the implicit equation become explicit after setting Esη=0subscript𝐸𝑠𝜂0E_{s\eta}=0italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT = 0 [see Eq. (11)]. Importantly, the Andreev levels (10) are renormalized by 1/[1+Γ~s(Esη)]1delimited-[]1subscript~Γ𝑠subscript𝐸𝑠𝜂1/[1+\tilde{\Gamma}_{s}(E_{s\eta})]1 / [ 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) ], making it possible to go beyond small tunnel coupling, quantum dot energy and magnetic field limits. Noting that Γ~s(Esη)subscript~Γ𝑠subscript𝐸𝑠𝜂\tilde{\Gamma}_{s}(E_{s\eta})over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) becomes large when Andreev level approaches gap edges, the renormalization effect always forces the Andreev levels Es+subscript𝐸limit-from𝑠E_{s+}italic_E start_POSTSUBSCRIPT italic_s + end_POSTSUBSCRIPT and Essubscript𝐸limit-from𝑠E_{s-}italic_E start_POSTSUBSCRIPT italic_s - end_POSTSUBSCRIPT inside (shLΔ,shL+Δ)𝑠subscript𝐿Δ𝑠subscript𝐿Δ(sh_{L}-\Delta,sh_{L}+\Delta)( italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - roman_Δ , italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT + roman_Δ ), as shown by Eq. (56) in Appendix A. Moreover, the renormalization effect makes it works when Andreev levels leak out of the superconducting gap [Δ+hL,+ΔhL]Δsubscript𝐿Δsubscript𝐿[-\Delta+h_{L},+\Delta-h_{L}][ - roman_Δ + italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT , + roman_Δ - italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ] into the continuous part of the superconducting spectrum (hLΔ,Δ+hL)subscript𝐿ΔΔsubscript𝐿(-h_{L}-\Delta,-\Delta+h_{L})( - italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - roman_Δ , - roman_Δ + italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) and (+ΔhL,+hL+Δ)Δsubscript𝐿subscript𝐿Δ(+\Delta-h_{L},+h_{L}+\Delta)( + roman_Δ - italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT , + italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT + roman_Δ ). These leaked Andreev levels are highly gate-, phase-, and field-tunable (see Fig. 5 in Appendix A), and hence play a significant role in novel phenomena and remarkable properties of the superconductor. Moreover, as an elegant generalization of the conventional subgap level at zero magnetic field Eη=ηΔA1τAsin2(ϕ/2)subscript𝐸𝜂𝜂subscriptΔA1subscript𝜏Asuperscript2italic-ϕ2E_{\eta}=\eta\Delta_{\text{A}}\sqrt{1-\tau_{\text{A}}\sin^{2}(\phi/2)}italic_E start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT = italic_η roman_Δ start_POSTSUBSCRIPT A end_POSTSUBSCRIPT square-root start_ARG 1 - italic_τ start_POSTSUBSCRIPT A end_POSTSUBSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_ϕ / 2 ) end_ARG [2, 3], we can find the microscopic expressions of transmission probability τA=Δ2Γ~2(Eη)ϵD2+Δ2Γ~2(Eη)subscript𝜏AsuperscriptΔ2superscript~Γ2subscript𝐸𝜂superscriptsubscriptitalic-ϵ𝐷2superscriptΔ2superscript~Γ2subscript𝐸𝜂\tau_{\text{A}}=\frac{\Delta^{2}\tilde{\Gamma}^{2}(E_{\eta})}{\epsilon_{D}^{2}% +\Delta^{2}\tilde{\Gamma}^{2}(E_{\eta})}italic_τ start_POSTSUBSCRIPT A end_POSTSUBSCRIPT = divide start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_E start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT ) end_ARG start_ARG italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_E start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT ) end_ARG and induced minigap ΔA=ϵD2+Δ2Γ~2(Eη)1+Γ~(Eη)subscriptΔAsuperscriptsubscriptitalic-ϵ𝐷2superscriptΔ2superscript~Γ2subscript𝐸𝜂1~Γsubscript𝐸𝜂\Delta_{\text{A}}=\frac{\sqrt{\epsilon_{D}^{2}+\Delta^{2}\tilde{\Gamma}^{2}(E_% {\eta})}}{1+\tilde{\Gamma}(E_{\eta})}roman_Δ start_POSTSUBSCRIPT A end_POSTSUBSCRIPT = divide start_ARG square-root start_ARG italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_E start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT ) end_ARG end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG ( italic_E start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT ) end_ARG, clearly showing the interaction between dot energy ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and superconducting proximity effect ΔΓ~(Eη)Δ~Γsubscript𝐸𝜂\Delta\tilde{\Gamma}(E_{\eta})roman_Δ over~ start_ARG roman_Γ end_ARG ( italic_E start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT ). Besides, both contain the renormalization factor and hence work in the strong tunnel coupling, quantum dot energy and magnetic field limits.

Refer to caption
Figure 2: The gate-, phase-, and field- tunable singlet-doublet QPT in the absence of Coulomb interaction. (a-d) The phase diagram as a function of ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and (a,b) ΓΓ\Gammaroman_Γ [(c,d) ϕitalic-ϕ\phiitalic_ϕ], in the absence of Coulomb interaction [Eq. (11)], where the singlet (|Sket𝑆|S\rangle| italic_S ⟩) and doublet (|Dket𝐷|D\rangle| italic_D ⟩) sectors are separated by the zero-energy contour E+(ϵD,Γ)=0subscript𝐸absentsubscriptitalic-ϵ𝐷Γ0E_{\downarrow+}(\epsilon_{D},\Gamma)=0italic_E start_POSTSUBSCRIPT ↓ + end_POSTSUBSCRIPT ( italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT , roman_Γ ) = 0 [E+(ϵD,ϕ)=0subscript𝐸absentsubscriptitalic-ϵ𝐷italic-ϕ0E_{\downarrow+}(\epsilon_{D},\phi)=0italic_E start_POSTSUBSCRIPT ↓ + end_POSTSUBSCRIPT ( italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT , italic_ϕ ) = 0], respectively. The superconducting [spin-split] proximity effect, parameterized by Γ~(0)Δcos(ϕ2)~Γ0Δitalic-ϕ2\tilde{\Gamma}(0)\Delta\cos(\frac{\phi}{2})over~ start_ARG roman_Γ end_ARG ( 0 ) roman_Δ roman_cos ( divide start_ARG italic_ϕ end_ARG start_ARG 2 end_ARG ) [Γ~(0)hL~Γ0subscript𝐿\tilde{\Gamma}(0)h_{L}over~ start_ARG roman_Γ end_ARG ( 0 ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT], enhances the singlet [doublet] ground state [panels (a) and (b)]. At ϕ=πitalic-ϕ𝜋\phi=\piitalic_ϕ = italic_π, the superconducting proximity effects from two superconductors interfere destructively [Eq. (11)], while the spin-split proximity effect, increasing with both hLsubscript𝐿h_{L}italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT and ΓΓ\Gammaroman_Γ, enhances the doublet ground state [panels (c) and (d)].

III.2 QPT in the absence of Coulomb interaction

We study the singlet-doublet QPT resulting from the intricate competition between superconducting and spin-split proximity effects. The later promotes the doublet ground state akin to the quantum dot Coulomb repulsion. Note that an Andreev bound state of Esηsubscript𝐸𝑠𝜂E_{s\eta}italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT contributes to the supercurrent an amount Isη=2eϕEsηsubscript𝐼𝑠𝜂2𝑒Planck-constant-over-2-pisubscriptitalic-ϕsubscript𝐸𝑠𝜂I_{s\eta}=\frac{2e}{\hbar}\partial_{\phi}E_{s\eta}italic_I start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT = divide start_ARG 2 italic_e end_ARG start_ARG roman_ℏ end_ARG ∂ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT, where e𝑒eitalic_e is the charge of the electron and Planck-constant-over-2-pi\hbarroman_ℏ is the reduced Plank constant. Therefore, the underlying QPT manifests itself by a sudden change of the ground-state supercurrent IG=2eϕGsubscript𝐼𝐺2𝑒Planck-constant-over-2-pisubscriptitalic-ϕsubscript𝐺I_{G}=\frac{2e}{\hbar}\partial_{\phi}\mathcal{E}_{G}italic_I start_POSTSUBSCRIPT italic_G end_POSTSUBSCRIPT = divide start_ARG 2 italic_e end_ARG start_ARG roman_ℏ end_ARG ∂ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT caligraphic_E start_POSTSUBSCRIPT italic_G end_POSTSUBSCRIPT [47, 48]. Figure 1(b) depicts the ground-state supercurrent IGsubscript𝐼𝐺I_{G}italic_I start_POSTSUBSCRIPT italic_G end_POSTSUBSCRIPT as a function of ϕitalic-ϕ\phiitalic_ϕ. The sharp drop in the ground-state supercurrent occurs when a pair of Andreev levels cross zero [Fig. 1(a)]. The difference between solid and dashed curves of Fig. 1(b) unveils the unignorable contributions of continuous spectrum and hence it is necessary to include the continuous and subgap levels in the ground-state energy (9) to guarantee the uniqueness of the ground-state supercurrent. By following the logical framework based on an overcomplete basis set including both positive and negative orthonormal basis sets [47], we can either add the negative E+subscript𝐸absentE_{\downarrow+}italic_E start_POSTSUBSCRIPT ↓ + end_POSTSUBSCRIPT quasiparticle (cyan box) or remove the positive E+subscript𝐸absentE_{\downarrow+}italic_E start_POSTSUBSCRIPT ↓ + end_POSTSUBSCRIPT quasiparticle (black box) which switches fermionic parity [Eq. (8)] (see another explanation in Ref. [49]). However, we cannot do both (red box) because it violates the Pauli exclusion principle, i.e., γ+γ=γ+γ+=0subscriptsuperscript𝛾absentsubscript𝛾absentsubscriptsuperscript𝛾absentsubscriptsuperscript𝛾absent0\gamma^{\dagger}_{\downarrow+}\gamma_{\uparrow-}=\gamma^{\dagger}_{\downarrow+% }\gamma^{\dagger}_{\downarrow+}=0italic_γ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ↓ + end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT ↑ - end_POSTSUBSCRIPT = italic_γ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ↓ + end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ↓ + end_POSTSUBSCRIPT = 0. Quantitatively, the fermionic parity of the ground state changes in the presence of negative Els+subscript𝐸limit-from𝑙𝑠E_{ls+}italic_E start_POSTSUBSCRIPT italic_l italic_s + end_POSTSUBSCRIPT, as shown in Eq. (8). The first available negative Els+subscript𝐸limit-from𝑙𝑠E_{ls+}italic_E start_POSTSUBSCRIPT italic_l italic_s + end_POSTSUBSCRIPT, if present, is the Andreev level (10), whose iterative form simplifies the derivation of the critical conditions of the QPT, for example, critical dot energy

ϵDc,±=±[hD+Γ~(0)hL]2Δ2Γ~2(0)cos2(ϕ2),subscriptsuperscriptitalic-ϵ𝑐plus-or-minus𝐷plus-or-minussuperscriptdelimited-[]subscript𝐷~Γ0subscript𝐿2superscriptΔ2superscript~Γ20superscript2italic-ϕ2\epsilon^{c,\pm}_{D}=\pm\sqrt{[h_{D}+\tilde{\Gamma}(0)h_{L}]^{2}-\Delta^{2}% \tilde{\Gamma}^{2}(0)\cos^{2}\left(\frac{\phi}{2}\right)},italic_ϵ start_POSTSUPERSCRIPT italic_c , ± end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = ± square-root start_ARG [ italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG ( 0 ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 0 ) roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_ϕ end_ARG start_ARG 2 end_ARG ) end_ARG , (11)

where Γ~(0)=2Γ/Δ2hL2~Γ02ΓsuperscriptΔ2superscriptsubscript𝐿2\tilde{\Gamma}(0)=2\Gamma/\sqrt{\Delta^{2}-h_{L}^{2}}over~ start_ARG roman_Γ end_ARG ( 0 ) = 2 roman_Γ / square-root start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG. For hL=hDsubscript𝐿subscript𝐷h_{L}=h_{D}italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT, we obtain the critical magnetic field hc,±=ϵD2+Δ2cos2(ϕ2)Γ~s2(0)1+Γ~s(0)superscript𝑐plus-or-minussuperscriptsubscriptitalic-ϵ𝐷2superscriptΔ2superscript2italic-ϕ2subscriptsuperscript~Γ2𝑠01subscript~Γ𝑠0h^{c,\pm}=\frac{\sqrt{\epsilon_{D}^{2}+\Delta^{2}\cos^{2}(\frac{\phi}{2})% \tilde{\Gamma}^{2}_{s}(0)}}{1+\tilde{\Gamma}_{s}(0)}italic_h start_POSTSUPERSCRIPT italic_c , ± end_POSTSUPERSCRIPT = divide start_ARG square-root start_ARG italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_ϕ end_ARG start_ARG 2 end_ARG ) over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( 0 ) end_ARG end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( 0 ) end_ARG, whose renormalization effect distinguishes with the critical magnetic field of Ref. [9]. Figure 2 plots the phase diagram as a function of ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and (a,b) ΓΓ\Gammaroman_Γ [(c,d) ϕitalic-ϕ\phiitalic_ϕ]. The critical dot energy (11) reduces to ϵDc,±±hD24Γ2cos2(ϕ/2)similar-to-or-equalssubscriptsuperscriptitalic-ϵ𝑐plus-or-minus𝐷plus-or-minussubscriptsuperscript2𝐷4superscriptΓ2superscript2italic-ϕ2\epsilon^{c,\pm}_{D}\simeq\pm\sqrt{h^{2}_{D}-4\Gamma^{2}\cos^{2}(\phi/2)}italic_ϵ start_POSTSUPERSCRIPT italic_c , ± end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ≃ ± square-root start_ARG italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - 4 roman_Γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_ϕ / 2 ) end_ARG at zero spin-split proximity effect (hL=0subscript𝐿0h_{L}=0italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = 0), where increasing ΓΓ\Gammaroman_Γ always enhances the singlet phase and there is not doublet ground state anymore for ΓΓ\Gammaroman_Γ larger than Γc=|hD/[2cos(ϕ/2)]|subscriptΓ𝑐subscript𝐷delimited-[]2italic-ϕ2\Gamma_{c}=|h_{D}/[2\cos(\phi/2)]|roman_Γ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = | italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT / [ 2 roman_cos ( italic_ϕ / 2 ) ] | [circle in 2(a)]. Notably, we obtain the typical semicircle phase diagram [12, 13, 24], but in our case Coulomb interaction is not necessary. With increasing hLsubscript𝐿h_{L}italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT, we find larger ΓcsubscriptΓ𝑐\Gamma_{c}roman_Γ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT [black arrow in 2(b)]. At ϕ=πitalic-ϕ𝜋\phi=\piitalic_ϕ = italic_π, the superconducting proximity effects from two superconductors interfere destructively [Eq. (11)], while the spin-split proximity effect, surviving at ϕ=πitalic-ϕ𝜋\phi=\piitalic_ϕ = italic_π, causes renormalization of the dot field. Then, Eq. (11) reduces to ϵDc,±=±|hD+Γ~(0)hL|subscriptsuperscriptitalic-ϵ𝑐plus-or-minus𝐷plus-or-minussubscript𝐷~Γ0subscript𝐿\epsilon^{c,\pm}_{D}=\pm|h_{D}+\tilde{\Gamma}(0)h_{L}|italic_ϵ start_POSTSUPERSCRIPT italic_c , ± end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = ± | italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG ( 0 ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT | (triangles), which increases with hLsubscript𝐿h_{L}italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT and ΓΓ\Gammaroman_Γ [red arrows in 2(c) and 2(d)]. The latter implies we can even enhance the doublet ground state by increasing ΓΓ\Gammaroman_Γ for ϕitalic-ϕ\phiitalic_ϕ around π𝜋\piitalic_π [2(d)] which is opposite to the typical singlet-doublet QPT based on the quantum dot Coulomb interaction where strong tunnel coupling favors the singlet ground state. Moreover, this enhancement even happens at maximum superconducting proximity effect (ϕ=0italic-ϕ0\phi=0italic_ϕ = 0) owing to the strong spin-split proximity effect [black and magenta lines in 2(b)]. Our novel phase diagram, going beyond the typical phase diagram, allows a |S|D|Sket𝑆ket𝐷ket𝑆|S\rangle-|D\rangle-|S\rangle| italic_S ⟩ - | italic_D ⟩ - | italic_S ⟩ transition with increasing tunnel coupling [black stars in 2(b)]. Moreover, our iterative formalism allows for precise control of the ground-state phase. For example, we achieve pure doublet ground state for all ϕitalic-ϕ\phiitalic_ϕ [2(c) and 2(d)], which is crucial for the flux-tunable Andreev spin qubit.

III.3 QPT in the presence of Coulomb interaction

Though we obtain the semicircle phase diagram without Coulomb interaction [Fig. 2(a)], an unavoidable question is how to distinguish it with the typical semicircle phase diagram from Coulomb interaction in realistic experiments. Next, we include a quantum dot Coulomb interaction U𝑈Uitalic_U and study the Yu-Shiba-Rusinov case within the Hartree-Fock-Bogoliubov approximation [9, 18, 13]. The expressions of Andreev levels are given by the iterative form (see detailed derivations in Appendix B)

Esηsubscript𝐸𝑠𝜂\displaystyle E_{s\eta}italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT =shDr+Γ~s(Esη)hL1+Γ~s(Esη)absent𝑠subscriptsuperscript𝑟𝐷subscript~Γ𝑠subscript𝐸𝑠𝜂subscript𝐿1subscript~Γ𝑠subscript𝐸𝑠𝜂\displaystyle=s\frac{h^{r}_{D}+\tilde{\Gamma}_{s}(E_{s\eta})h_{L}}{1+\tilde{% \Gamma}_{s}(E_{s\eta})}= italic_s divide start_ARG italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG (12)
+η(ϵDr)2+[ΔDrΔcos(ϕ2)Γ~s(Esη)]21+Γ~s(Esη).𝜂superscriptsubscriptsuperscriptitalic-ϵ𝑟𝐷2superscriptdelimited-[]subscriptsuperscriptΔ𝑟𝐷Δitalic-ϕ2subscript~Γ𝑠subscript𝐸𝑠𝜂21subscript~Γ𝑠subscript𝐸𝑠𝜂\displaystyle+\eta\frac{\sqrt{\left(\epsilon^{r}_{D}\right)^{2}+\left[\Delta^{% r}_{D}-\Delta\cos(\frac{\phi}{2})\tilde{\Gamma}_{s}(E_{s\eta})\right]^{2}}}{1+% \tilde{\Gamma}_{s}(E_{s\eta})}.+ italic_η divide start_ARG square-root start_ARG ( italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + [ roman_Δ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - roman_Δ roman_cos ( divide start_ARG italic_ϕ end_ARG start_ARG 2 end_ARG ) over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG .

The Coulomb interaction leads to the corrections in dot energy ϵDr=ϵD+U2+U2lηf(Elsη)ϵDrElsηsubscriptsuperscriptitalic-ϵ𝑟𝐷subscriptitalic-ϵ𝐷𝑈2𝑈2subscript𝑙𝜂𝑓subscript𝐸𝑙𝑠𝜂subscriptsuperscriptitalic-ϵ𝑟𝐷subscript𝐸𝑙𝑠𝜂\epsilon^{r}_{D}=\epsilon_{D}+\frac{U}{2}+\frac{U}{2}\sum_{l\eta}f\left(E_{ls% \eta}\right)\frac{\partial}{\partial\epsilon^{r}_{D}}E_{ls\eta}italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + divide start_ARG italic_U end_ARG start_ARG 2 end_ARG + divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_l italic_η end_POSTSUBSCRIPT italic_f ( italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT ) divide start_ARG ∂ end_ARG start_ARG ∂ italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT, dot field hDr=hD+sU2U2lηf(Elsη)hDrElsηsubscriptsuperscript𝑟𝐷subscript𝐷𝑠𝑈2𝑈2subscript𝑙𝜂𝑓subscript𝐸𝑙𝑠𝜂subscriptsuperscript𝑟𝐷subscript𝐸𝑙𝑠𝜂h^{r}_{D}=h_{D}+s\frac{U}{2}-\frac{U}{2}\sum_{l\eta}f\left(E_{ls\eta}\right)% \frac{\partial}{\partial h^{r}_{D}}E_{ls\eta}italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_s divide start_ARG italic_U end_ARG start_ARG 2 end_ARG - divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_l italic_η end_POSTSUBSCRIPT italic_f ( italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT ) divide start_ARG ∂ end_ARG start_ARG ∂ italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT, and dot pair potential ΔDr=U2lηf(Elsη)ΔDrElsηsubscriptsuperscriptΔ𝑟𝐷𝑈2subscript𝑙𝜂𝑓subscript𝐸𝑙𝑠𝜂subscriptsuperscriptΔ𝑟𝐷subscript𝐸𝑙𝑠𝜂\Delta^{r}_{D}=-\frac{U}{2}\sum_{l\eta}f\left(E_{ls\eta}\right)\frac{\partial}% {\partial\Delta^{r}_{D}}E_{ls\eta}roman_Δ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = - divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_l italic_η end_POSTSUBSCRIPT italic_f ( italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT ) divide start_ARG ∂ end_ARG start_ARG ∂ roman_Δ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT. Here, f(E)=1/(1+eE/kBT)𝑓𝐸11superscript𝑒𝐸subscript𝑘𝐵𝑇f(E)=1/(1+e^{E/k_{B}T})italic_f ( italic_E ) = 1 / ( 1 + italic_e start_POSTSUPERSCRIPT italic_E / italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_T end_POSTSUPERSCRIPT ) is the Fermi–Dirac distribution at temperature T𝑇Titalic_T, where kBsubscript𝑘𝐵k_{B}italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT is the Boltzmann constant.

Refer to caption
Figure 3: The gate-, phase-, and field- tunable singlet-doublet QPT in the presence of Coulomb interaction. (a,b) Andreev levels (65) as a function (a) ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and (b) ϕitalic-ϕ\phiitalic_ϕ for different Coulomb interactions. Here, we set the temperature to zero. (e,f) The phase diagram as a function of ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and ϕitalic-ϕ\phiitalic_ϕ for (e) hL/Δ=0.0subscript𝐿Δ0.0h_{L}/\Delta=0.0italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT / roman_Δ = 0.0 and (f) hL/Δ=0.2subscript𝐿Δ0.2h_{L}/\Delta=0.2italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT / roman_Δ = 0.2, respectively, in the presence of Coulomb interaction [Eq. (13)]. The Coulomb interaction, preferring doublet occupancy, enhances the region of the doublet ground state. Furthermore, we find that the positive critical dot energy (13) is almost independent of U𝑈Uitalic_U at ϕ=πitalic-ϕ𝜋\phi=\piitalic_ϕ = italic_π and T0𝑇0T\rightarrow 0italic_T → 0K (red boxes), while the negative critical dot energy (13) is shifted by Coulomb interaction (black boxes).

Figures 3 (a) and (b), respectively, plot the Andreev levels as a function of ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and ϕitalic-ϕ\phiitalic_ϕ. We see a clear zero-energy shift (green arrows) due to the Coulomb interaction preferring doublet ground state. This shift enhances the region of the doublet ground state as shown in Fig. 3 (c), which is further enhanced by the spin-split proximity effect (hL0subscript𝐿0h_{L}\neq 0italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ≠ 0) [Fig. 3 (d)]. Moreover, we find the Coulomb enhancement of the doublet ground state relies on the phase difference. Take ϕ=πitalic-ϕ𝜋\phi=\piitalic_ϕ = italic_π as an example, where the superconducting proximity effects from two superconductors interfere destructively. We attain critical dot energy in small tunnel coupling, quantum dot energy, magnetic field, and Coulomb interaction limits (see detailed derivations in Appendix B)

ϵDc,±±[hD+Γ~(0)hLUf(E+)hDrE+]δ±U.similar-to-or-equalssubscriptsuperscriptitalic-ϵ𝑐plus-or-minus𝐷plus-or-minusdelimited-[]subscript𝐷~Γ0subscript𝐿𝑈𝑓subscript𝐸absentsubscriptsuperscript𝑟𝐷subscript𝐸absentsubscriptsuperscript𝛿plus-or-minus𝑈\epsilon^{c,\pm}_{D}\simeq\pm\left[h_{D}+\tilde{\Gamma}(0)h_{L}-Uf(E_{\uparrow% +})\frac{\partial}{\partial h^{r}_{D}}E_{\uparrow+}\right]-\delta^{-}_{\pm}U.italic_ϵ start_POSTSUPERSCRIPT italic_c , ± end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ≃ ± [ italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG ( 0 ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_U italic_f ( italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT ) divide start_ARG ∂ end_ARG start_ARG ∂ italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT ] - italic_δ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT italic_U . (13)

Equation (13) at zero temperature reduces to ϵDc,±±(hD+Γ~(0)hL)δ±Usimilar-to-or-equalssubscriptsuperscriptitalic-ϵ𝑐plus-or-minus𝐷plus-or-minussubscript𝐷~Γ0subscript𝐿subscriptsuperscript𝛿plus-or-minus𝑈\epsilon^{c,\pm}_{D}\simeq\pm(h_{D}+\tilde{\Gamma}(0)h_{L})-\delta^{-}_{\pm}Uitalic_ϵ start_POSTSUPERSCRIPT italic_c , ± end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ≃ ± ( italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG ( 0 ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) - italic_δ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT italic_U, where the positive critical dot energy ϵDc,+hD+Γ~(0)hLsimilar-to-or-equalssubscriptsuperscriptitalic-ϵ𝑐𝐷subscript𝐷~Γ0subscript𝐿\epsilon^{c,+}_{D}\simeq h_{D}+\tilde{\Gamma}(0)h_{L}italic_ϵ start_POSTSUPERSCRIPT italic_c , + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ≃ italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG ( 0 ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT is almost independent of Coulomb interaction (red boxes), while the negative critical dot energy ϵDc,hDΓ~(0)hLUsimilar-to-or-equalssubscriptsuperscriptitalic-ϵ𝑐𝐷subscript𝐷~Γ0subscript𝐿𝑈\epsilon^{c,-}_{D}\simeq-h_{D}-\tilde{\Gamma}(0)h_{L}-Uitalic_ϵ start_POSTSUPERSCRIPT italic_c , - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ≃ - italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - over~ start_ARG roman_Γ end_ARG ( 0 ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_U is shifted by Coulomb interaction (black boxes). Therefore, this QPT features with asymmetric behavior with dot energy ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT, i.e., Esη(ϵD)Esη(ϵD)subscript𝐸𝑠𝜂subscriptitalic-ϵ𝐷subscript𝐸𝑠𝜂subscriptitalic-ϵ𝐷E_{s\eta}(-\epsilon_{D})\neq E_{s\eta}(-\epsilon_{D})italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ( - italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ) ≠ italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ( - italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ), enabling distinguish it from the symmetric QPT due to the interplay of superconducting and spin-split proximity effects (Fig. 2). Though this asymmetry can be artificially removed by redefining dot energy ϵ~D=ϵD+U/2subscript~italic-ϵ𝐷subscriptitalic-ϵ𝐷𝑈2\tilde{\epsilon}_{D}=\epsilon_{D}+U/2over~ start_ARG italic_ϵ end_ARG start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_U / 2, i.e., Esη(ϵ~D)=Esη(ϵ~D)subscript𝐸𝑠𝜂subscript~italic-ϵ𝐷subscript𝐸𝑠𝜂subscript~italic-ϵ𝐷E_{s\eta}(-\tilde{\epsilon}_{D})=E_{s\eta}(-\tilde{\epsilon}_{D})italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ( - over~ start_ARG italic_ϵ end_ARG start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ) = italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ( - over~ start_ARG italic_ϵ end_ARG start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ), we can still use this effect in the experiments where the exact value of ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT is known and controllable. For example, the asymmetry of the QPT with ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT, in principle, offers an estimation of the quantum dot Coulomb interaction. The gate [50, 17, 11]-, field [18, 51]-, phase [35, 52]-tunable QPT has been observed in recent experiments. Though the experimental data are well explained by the Coulomb blockade, our theory might provide a more exhaustive illustration.

IV Conclusion

We highlight a renormalized and iterative expression of the Andreev level in a quantum-dot Josephson junction, which is bound to have significant implications due to several significant advantages as follows. Firstly, the iterative form of the Andreev level provides an intuitive understanding of the spin-split and superconducting proximity effects of the superconducting leads, while also effectively incorporating corrections for the effective quantum dot energy, magnetic field, and pair potential resulting from the quantum dot Coulomb interaction. Importantly, our iterative form of the Andreev level simplifies the analytical calculation of the critical conditions of the singlet-doublet QPT. Secondly, the renormalized form of the Andreev level not only allows us to extend beyond the limits of small tunnel coupling, quantum dot energy level, magnetic field, and Coulomb interaction but also enables the capture of subgap resonances that leak out of the superconducting gap into the continuous spectrum. These leaked subgap resonances are highly tunable by gate, phase, and field parameters and therefore play a significant role in the novel phenomena and remarkable properties of the superconductor. Last but not least, we derive the microscopic expressions for the transmission probability and the induced gap, which clearly shows the interaction between dot energy and superconducting proximity effect and works in the strong tunnel coupling, dot energy, and dot field limits.

V Acknowledgement

We sincerely thank Yugui Yao, Jose Carlos Egues, Junwei Liu, Gao Min Tang, Chuan Chang Zeng and Chun Yu Wan for helpful and sightful discussions. This work is supported by the National Natural Science Foundation of China (Grant Nos. 12234003, 12061131002), the National Key R&D Program of China (Grant No. 2020YFA0308800).

Appendix A Derivation of Andreev levels Eq. (5)

In this section, we diagonalize the hybrid quantum dot-superconducting lead system to obtain the compact expressions for the Andreev level energies given in Eq. (10) in the main text. Moreover, we show in detail the gate, phase, and field dependence of the Andreev levels.

We rewrite the total Hamiltonian (1) in overcomplete basis – the Nambu space of the hybrid quantum dot-superconductor system

Ψ=[ddd+d]𝒌jn[cjn𝒌cjn𝒌cjn𝒌+cjn𝒌],Ψmatrixsubscript𝑑subscriptsuperscript𝑑subscript𝑑subscriptsuperscript𝑑subscriptdirect-sum𝒌𝑗𝑛matrixsubscript𝑐𝑗𝑛𝒌absentsubscriptsuperscript𝑐𝑗𝑛𝒌absentsubscript𝑐𝑗𝑛𝒌absentsubscriptsuperscript𝑐𝑗𝑛𝒌absent\displaystyle\Psi=\begin{bmatrix}d_{\uparrow}\\ -d^{\dagger}_{\downarrow}\\ d_{\downarrow}\\ +d^{\dagger}_{\uparrow}\end{bmatrix}\bigoplus_{\boldsymbol{k}jn}\begin{bmatrix% }c_{jn\boldsymbol{k}\uparrow}\\ -c^{\dagger}_{jn-\boldsymbol{k}\downarrow}\\ c_{jn\boldsymbol{k}\downarrow}\\ +c^{\dagger}_{jn-\boldsymbol{k}\uparrow}\end{bmatrix},roman_Ψ = [ start_ARG start_ROW start_CELL italic_d start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - italic_d start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_d start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL + italic_d start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] ⨁ start_POSTSUBSCRIPT bold_italic_k italic_j italic_n end_POSTSUBSCRIPT [ start_ARG start_ROW start_CELL italic_c start_POSTSUBSCRIPT italic_j italic_n bold_italic_k ↑ end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_n - bold_italic_k ↓ end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_c start_POSTSUBSCRIPT italic_j italic_n bold_italic_k ↓ end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL + italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_n - bold_italic_k ↑ end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] , (14)

where 𝒌jnX𝒌jnsubscriptdirect-sum𝒌𝑗𝑛subscript𝑋𝒌𝑗𝑛\bigoplus_{\boldsymbol{k}jn}X_{\boldsymbol{k}jn}⨁ start_POSTSUBSCRIPT bold_italic_k italic_j italic_n end_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT bold_italic_k italic_j italic_n end_POSTSUBSCRIPT concatenates X𝒌jnsubscript𝑋𝒌𝑗𝑛X_{\boldsymbol{k}jn}italic_X start_POSTSUBSCRIPT bold_italic_k italic_j italic_n end_POSTSUBSCRIPT vertically. Thus, the total Hamiltonian (1) can be rewritten into the Bogoliubov–de Gennes (BdG) Hamiltonian in quadratic form

H=12ΨBdGΨ+,𝐻12superscriptΨsubscriptBdGΨ\displaystyle H=\frac{1}{2}\Psi^{\dagger}\mathcal{H}_{\text{BdG}}\Psi+\mathcal% {E},italic_H = divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT caligraphic_H start_POSTSUBSCRIPT BdG end_POSTSUBSCRIPT roman_Ψ + caligraphic_E , (15)

with

BdG=[00].subscriptBdGdelimited-[]subscript0missing-subexpressionmissing-subexpression0subscriptmissing-subexpressionmissing-subexpression\displaystyle\mathcal{H}_{\text{BdG}}=\left[\begin{array}[]{cccc}\mathcal{H}_{% \uparrow}&0\\ 0&\mathcal{H}_{\downarrow}\end{array}\right].caligraphic_H start_POSTSUBSCRIPT BdG end_POSTSUBSCRIPT = [ start_ARRAY start_ROW start_CELL caligraphic_H start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT end_CELL start_CELL 0 end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL caligraphic_H start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ] . (18)

The prefactor 1/2121/21 / 2 and ϕitalic-ϕ\phiitalic_ϕ-independent constant energy =ϵD+jn𝒌ϵjn𝒌subscriptitalic-ϵ𝐷subscript𝑗𝑛𝒌subscriptitalic-ϵ𝑗𝑛𝒌\mathcal{E}=\epsilon_{D}+\sum_{jn\boldsymbol{k}}\epsilon_{jn\boldsymbol{k}}caligraphic_E = italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_j italic_n bold_italic_k end_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_j italic_n bold_italic_k end_POSTSUBSCRIPT arise from rewriting the total Hamiltonian (1) in overcomplete basis (14) [53]. ssuperscript𝑠\mathcal{H}^{s}caligraphic_H start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT is the corresponding Hamiltonian matrix in the Nambu space

s=[ϵDτz+shDTTLs].subscript𝑠delimited-[]subscriptitalic-ϵ𝐷subscript𝜏𝑧𝑠subscript𝐷superscriptsubscript𝑇missing-subexpressionmissing-subexpressionsubscript𝑇subscriptsuperscript𝑠𝐿missing-subexpressionmissing-subexpression\displaystyle\mathcal{H}_{s}=\left[\begin{array}[]{cccc}\epsilon_{D}\tau_{z}+% sh_{D}&\mathcal{H}_{T}^{\dagger}\\ \mathcal{H}_{T}&\mathcal{H}^{s}_{L}\end{array}\right].caligraphic_H start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = [ start_ARRAY start_ROW start_CELL italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_CELL start_CELL caligraphic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL caligraphic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_CELL start_CELL caligraphic_H start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ] . (21)

Here, the dot energy and Zeeman energy correspond to the Pauli matrix τzsubscript𝜏𝑧\tau_{z}italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT and identity in the Nambu space, respectively. We consider only a single energy level on the dot, assuming that the level spacing to the next dot level is larger than all relevant energy scales. The superconducting lead Hamiltonian (3) in matrix form is given by

Ls=𝒌jn[+ϵjn𝒌+shLΔjΔjϵjn𝒌+shL],subscriptsuperscript𝑠𝐿subscripttensor-product𝒌𝑗𝑛matrixsubscriptitalic-ϵ𝑗𝑛𝒌𝑠subscript𝐿subscriptΔ𝑗subscriptsuperscriptΔ𝑗subscriptitalic-ϵ𝑗𝑛𝒌𝑠subscript𝐿\displaystyle\mathcal{H}^{s}_{L}=\bigotimes_{\boldsymbol{k}jn}\begin{bmatrix}+% \epsilon_{jn\boldsymbol{k}}+sh_{L}&-\Delta_{j}\\ -\Delta^{*}_{j}&-\epsilon_{jn-\boldsymbol{k}}+sh_{L}\end{bmatrix},caligraphic_H start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = ⨂ start_POSTSUBSCRIPT bold_italic_k italic_j italic_n end_POSTSUBSCRIPT [ start_ARG start_ROW start_CELL + italic_ϵ start_POSTSUBSCRIPT italic_j italic_n bold_italic_k end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_CELL start_CELL - roman_Δ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - roman_Δ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_CELL start_CELL - italic_ϵ start_POSTSUBSCRIPT italic_j italic_n - bold_italic_k end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] , (22)

where 𝒌jnX𝒌jnsubscripttensor-product𝒌𝑗𝑛subscript𝑋𝒌𝑗𝑛\bigotimes_{\boldsymbol{k}jn}X_{\boldsymbol{k}jn}⨂ start_POSTSUBSCRIPT bold_italic_k italic_j italic_n end_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT bold_italic_k italic_j italic_n end_POSTSUBSCRIPT concatenates X𝒌jnsubscript𝑋𝒌𝑗𝑛X_{\boldsymbol{k}jn}italic_X start_POSTSUBSCRIPT bold_italic_k italic_j italic_n end_POSTSUBSCRIPT diagonally. The quantum tunneling (4) reads

T=tj𝒌jnτz,subscript𝑇subscript𝑡𝑗subscriptdirect-sum𝒌𝑗𝑛subscript𝜏𝑧\displaystyle\mathcal{H}_{T}=t_{j}\bigoplus_{\boldsymbol{k}jn}\tau_{z},caligraphic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT = italic_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ⨁ start_POSTSUBSCRIPT bold_italic_k italic_j italic_n end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT , (23)

where 𝒌jnX𝒌jnsubscriptdirect-sum𝒌𝑗𝑛subscript𝑋𝒌𝑗𝑛\bigoplus_{\boldsymbol{k}jn}X_{\boldsymbol{k}jn}⨁ start_POSTSUBSCRIPT bold_italic_k italic_j italic_n end_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT bold_italic_k italic_j italic_n end_POSTSUBSCRIPT concatenates X𝒌jnsubscript𝑋𝒌𝑗𝑛X_{\boldsymbol{k}jn}italic_X start_POSTSUBSCRIPT bold_italic_k italic_j italic_n end_POSTSUBSCRIPT vertically.

One can diagonalize the matrix of the BdG Hamiltonian (18)

UBdGU=lsη[Elsη],𝑈subscriptBdGsuperscript𝑈subscripttensor-product𝑙𝑠𝜂delimited-[]subscript𝐸𝑙𝑠𝜂\displaystyle U\mathcal{H}_{\text{BdG}}U^{\dagger}=\bigotimes_{ls\eta}[E_{ls% \eta}],italic_U caligraphic_H start_POSTSUBSCRIPT BdG end_POSTSUBSCRIPT italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT = ⨂ start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT [ italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT ] , (24)

where the transformation matrix U𝑈Uitalic_U is diagonal in spin space

U=[U00U].𝑈delimited-[]subscript𝑈0missing-subexpressionmissing-subexpression0subscript𝑈missing-subexpressionmissing-subexpression\displaystyle U=\left[\begin{array}[]{cccc}U_{\uparrow}&0\\ 0&U_{\downarrow}\end{array}\right].italic_U = [ start_ARRAY start_ROW start_CELL italic_U start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT end_CELL start_CELL 0 end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL italic_U start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ] . (27)

Ussubscript𝑈𝑠U_{s}italic_U start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT is a 2N×2N2𝑁2𝑁2N\times 2N2 italic_N × 2 italic_N unitary matrix, where N𝑁Nitalic_N is equal to half of the dimension of the Hamiltonian (21) and describes the size of the hybrid system. Hence, the BdG Hamiltonian (21) can be mathematically rewritten into

H=12l=1Ns=/η=±Elsηγlsηγlsη+,𝐻12subscriptsuperscript𝑁𝑙1subscript𝑠absentsubscript𝜂plus-or-minussubscript𝐸𝑙𝑠𝜂superscriptsubscript𝛾𝑙𝑠𝜂subscript𝛾𝑙𝑠𝜂\displaystyle H=\frac{1}{2}\sum^{N}_{l=1}\sum_{s=\uparrow/\downarrow}\sum_{% \eta=\pm}E_{ls\eta}\gamma_{ls\eta}^{\dagger}\gamma_{ls\eta}+\mathcal{E},italic_H = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l = 1 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_s = ↑ / ↓ end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_η = ± end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_γ start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT + caligraphic_E , (28)

In the presence of superconductivity, we are required to work in the Nambu space doubling the Hilbert space, and hence an additional index η=+/\eta=+/-italic_η = + / - labels the high/low energy levels of each spin species (Els+>Elssubscript𝐸limit-from𝑙𝑠subscript𝐸limit-from𝑙𝑠E_{ls+}>E_{ls-}italic_E start_POSTSUBSCRIPT italic_l italic_s + end_POSTSUBSCRIPT > italic_E start_POSTSUBSCRIPT italic_l italic_s - end_POSTSUBSCRIPT), which satisfy Elsη=Elsηsubscript𝐸𝑙𝑠𝜂subscript𝐸𝑙𝑠𝜂E_{ls\eta}=-E_{l-s-\eta}italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT = - italic_E start_POSTSUBSCRIPT italic_l - italic_s - italic_η end_POSTSUBSCRIPT. The larger l𝑙litalic_l corresponds to a higher energy level. Then, the terms with l=1𝑙1l=1italic_l = 1 are Andreev levels – the subgap energy levels of the hybrid quantum dot and superconductor system and we here call all other energy levels (l>1𝑙1l>1italic_l > 1) Bogoliubov levels – the out-of-gap energy levels of the hybrid system. The quasiparticle operator γlsηsubscript𝛾𝑙𝑠𝜂\gamma_{ls\eta}italic_γ start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT with energy Elsηsubscript𝐸𝑙𝑠𝜂E_{ls\eta}italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT is a unit vector in Nambu space of the hybrid system

γlsη=k[(usη)lkcks+(vsη)lk(scks)].subscript𝛾𝑙𝑠𝜂subscript𝑘delimited-[]subscriptsubscript𝑢𝑠𝜂𝑙𝑘subscript𝑐𝑘𝑠subscriptsubscript𝑣𝑠𝜂𝑙𝑘𝑠subscriptsuperscript𝑐𝑘𝑠\displaystyle\gamma_{ls\eta}=\sum_{k}\left[(u_{s\eta})_{lk}c_{ks}+(v_{s\eta})_% {lk}(-sc^{\dagger}_{k-s})\right].italic_γ start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT [ ( italic_u start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_l italic_k end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_k italic_s end_POSTSUBSCRIPT + ( italic_v start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_l italic_k end_POSTSUBSCRIPT ( - italic_s italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - italic_s end_POSTSUBSCRIPT ) ] . (29)

Here, we define ckssubscript𝑐𝑘𝑠c_{ks}italic_c start_POSTSUBSCRIPT italic_k italic_s end_POSTSUBSCRIPT such that c1s=dssubscript𝑐1𝑠subscript𝑑𝑠c_{1s}=d_{s}italic_c start_POSTSUBSCRIPT 1 italic_s end_POSTSUBSCRIPT = italic_d start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT and cks=cj𝒌ssubscript𝑐𝑘𝑠subscript𝑐𝑗𝒌𝑠c_{ks}=c_{j\boldsymbol{k}s}italic_c start_POSTSUBSCRIPT italic_k italic_s end_POSTSUBSCRIPT = italic_c start_POSTSUBSCRIPT italic_j bold_italic_k italic_s end_POSTSUBSCRIPT for all k>1𝑘1k>1italic_k > 1. (usη)lksubscriptsubscript𝑢𝑠𝜂𝑙𝑘(u_{s\eta})_{lk}( italic_u start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_l italic_k end_POSTSUBSCRIPT and (vsη)lksubscriptsubscript𝑣𝑠𝜂𝑙𝑘(v_{s\eta})_{lk}( italic_v start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_l italic_k end_POSTSUBSCRIPT, picked out from the unitary matrix Ussuperscript𝑈𝑠U^{s}italic_U start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT, describe the electron and hole distributions of quasiparticles (γlsη)subscript𝛾𝑙𝑠𝜂(\gamma_{ls\eta})( italic_γ start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT ), respectively.

In general, it is hard to analytically calculate the energy levels Elsηsubscript𝐸𝑙𝑠𝜂E_{ls\eta}italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT of the hybrid system from the following determinant equation:

det[ϵDτz+shDEsTTLsEs]=0.delimited-[]subscriptitalic-ϵ𝐷subscript𝜏𝑧𝑠subscript𝐷superscript𝐸𝑠superscriptsubscript𝑇missing-subexpressionmissing-subexpressionsubscript𝑇subscriptsuperscript𝑠𝐿superscript𝐸𝑠missing-subexpressionmissing-subexpression0\displaystyle\det\left[\begin{array}[]{cccc}\epsilon_{D}\tau_{z}+sh_{D}-E^{s}&% \mathcal{H}_{T}^{\dagger}\\ \mathcal{H}_{T}&\mathcal{H}^{s}_{L}-E^{s}\end{array}\right]=0.roman_det [ start_ARRAY start_ROW start_CELL italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT end_CELL start_CELL caligraphic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL caligraphic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_CELL start_CELL caligraphic_H start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ] = 0 . (32)

To find the Andreev (subgap) level, we can use the determinant identity for four matrices A,B,C𝐴𝐵𝐶A,B,Citalic_A , italic_B , italic_C, and D𝐷Ditalic_D [54]:

det(ABCD)=det(D)det(ABD1C),matrix𝐴𝐵𝐶𝐷𝐷𝐴𝐵superscript𝐷1𝐶\displaystyle\det{\begin{pmatrix}A&B\\ C&D\end{pmatrix}}=\det(D)\det\left(A-BD^{-1}C\right),roman_det ( start_ARG start_ROW start_CELL italic_A end_CELL start_CELL italic_B end_CELL end_ROW start_ROW start_CELL italic_C end_CELL start_CELL italic_D end_CELL end_ROW end_ARG ) = roman_det ( italic_D ) roman_det ( italic_A - italic_B italic_D start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_C ) , (33)

where D𝐷Ditalic_D is assumed to be invertible. Thus, to use Eq. (33) to solve our determinant equation (32), LsEssubscriptsuperscript𝑠𝐿superscript𝐸𝑠\mathcal{H}^{s}_{L}-E^{s}caligraphic_H start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT is required to be invertible which is true for the Andreev levels (|EsshL|<Δsuperscript𝐸𝑠𝑠subscript𝐿Δ|E^{s}-sh_{L}|<\Delta| italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT - italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT | < roman_Δ). Then, the determinant equation (32) reduces to

det[ϵDτz+shDEsΣs(Es)]=0.delimited-[]subscriptitalic-ϵ𝐷subscript𝜏𝑧𝑠subscript𝐷superscript𝐸𝑠superscriptΣ𝑠superscript𝐸𝑠0\displaystyle\det\left[\epsilon_{D}\tau_{z}+sh_{D}-E^{s}-\Sigma^{s}(E^{s})% \right]=0.roman_det [ italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT - roman_Σ start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) ] = 0 . (34)

The self-energy in Eq. (34) is given by

Σs(Es)=𝒌jntj2τz[ϵjn𝒌+shLEsΔjΔjϵjn𝒌+shLEs]1τz.superscriptΣ𝑠superscript𝐸𝑠subscript𝒌𝑗𝑛subscriptsuperscript𝑡2𝑗subscript𝜏𝑧superscriptdelimited-[]subscriptitalic-ϵ𝑗𝑛𝒌𝑠subscript𝐿superscript𝐸𝑠subscriptΔ𝑗subscriptsuperscriptΔ𝑗subscriptitalic-ϵ𝑗𝑛𝒌𝑠subscript𝐿superscript𝐸𝑠1subscript𝜏𝑧\Sigma^{s}(E^{s})=\sum_{\boldsymbol{k}jn}t^{2}_{j}\tau_{z}\left[\begin{array}[% ]{cc}\mathcal{\epsilon}_{jn\boldsymbol{k}}+sh_{L}-E^{s}&-\Delta_{j}\\ -\Delta^{*}_{j}&-\epsilon_{jn-\boldsymbol{k}}+sh_{L}-E^{s}\end{array}\right]^{% -1}\tau_{z}.roman_Σ start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) = ∑ start_POSTSUBSCRIPT bold_italic_k italic_j italic_n end_POSTSUBSCRIPT italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT [ start_ARRAY start_ROW start_CELL italic_ϵ start_POSTSUBSCRIPT italic_j italic_n bold_italic_k end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT end_CELL start_CELL - roman_Δ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - roman_Δ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_CELL start_CELL - italic_ϵ start_POSTSUBSCRIPT italic_j italic_n - bold_italic_k end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT end_CELL end_ROW end_ARRAY ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT . (35)

The summation over momenta 𝒌𝒌\boldsymbol{k}bold_italic_k in Eq. (35) can be replaced by integration for the in-gap Andreev levels Essuperscript𝐸𝑠E^{s}italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT,

𝒌,nF(ϵjn𝒌)=nd𝒌ΩjF(ϵjn𝒌)=n𝑑ϵνjn(ϵ)F(ϵ),subscript𝒌𝑛𝐹subscriptitalic-ϵ𝑗𝑛𝒌subscript𝑛𝑑𝒌subscriptΩ𝑗𝐹subscriptitalic-ϵ𝑗𝑛𝒌subscript𝑛differential-ditalic-ϵsubscript𝜈𝑗𝑛italic-ϵ𝐹italic-ϵ\displaystyle\sum_{\boldsymbol{k},n}F(\epsilon_{jn\boldsymbol{k}})=\sum_{n}% \int\frac{d\boldsymbol{k}}{\Omega_{j}}F(\epsilon_{jn\boldsymbol{k}})=\sum_{n}% \int d\epsilon\nu_{jn}(\epsilon)F(\epsilon),∑ start_POSTSUBSCRIPT bold_italic_k , italic_n end_POSTSUBSCRIPT italic_F ( italic_ϵ start_POSTSUBSCRIPT italic_j italic_n bold_italic_k end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∫ divide start_ARG italic_d bold_italic_k end_ARG start_ARG roman_Ω start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG italic_F ( italic_ϵ start_POSTSUBSCRIPT italic_j italic_n bold_italic_k end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∫ italic_d italic_ϵ italic_ν start_POSTSUBSCRIPT italic_j italic_n end_POSTSUBSCRIPT ( italic_ϵ ) italic_F ( italic_ϵ ) , (36)

where ΩjsubscriptΩ𝑗\Omega_{j}roman_Ω start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is the volume of the superconductor j𝑗jitalic_j and νjn(ϵ)subscript𝜈𝑗𝑛italic-ϵ\nu_{jn}(\epsilon)italic_ν start_POSTSUBSCRIPT italic_j italic_n end_POSTSUBSCRIPT ( italic_ϵ ) is the density of states of superconductor j𝑗jitalic_j per spin and energy band n𝑛nitalic_n. There exist many bands with complex energy spectrum and we here assume energy-independent total density of state by setting νFj=nνjn(ϵ)subscriptsuperscript𝜈𝑗𝐹subscript𝑛subscript𝜈𝑗𝑛italic-ϵ\nu^{j}_{F}=\sum_{n}\nu_{jn}(\epsilon)italic_ν start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_j italic_n end_POSTSUBSCRIPT ( italic_ϵ ) for simplicity. Then, the self-energy (35) becomes

Σs(Es)superscriptΣ𝑠superscript𝐸𝑠\displaystyle\Sigma^{s}(E^{s})roman_Σ start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) =jΓj[𝒢js(Es)eiϕjjs(Es)eiϕjjs(Es)𝒢js(Es)],absentsubscript𝑗subscriptΓ𝑗delimited-[]subscript𝒢𝑗𝑠superscript𝐸𝑠superscript𝑒𝑖subscriptitalic-ϕ𝑗subscript𝑗𝑠superscript𝐸𝑠superscript𝑒𝑖subscriptitalic-ϕ𝑗subscript𝑗𝑠superscript𝐸𝑠subscript𝒢𝑗𝑠superscript𝐸𝑠\displaystyle=\sum_{j}\Gamma_{j}\left[\begin{array}[]{cc}\mathcal{G}_{js}(E^{s% })&e^{i\phi_{j}}\mathcal{F}_{js}(E^{s})\\ e^{-i\phi_{j}}\mathcal{F}_{js}(E^{s})&\mathcal{G}_{js}(E^{s})\end{array}\right],= ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT roman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT [ start_ARRAY start_ROW start_CELL caligraphic_G start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) end_CELL start_CELL italic_e start_POSTSUPERSCRIPT italic_i italic_ϕ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT caligraphic_F start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) end_CELL end_ROW start_ROW start_CELL italic_e start_POSTSUPERSCRIPT - italic_i italic_ϕ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT caligraphic_F start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) end_CELL start_CELL caligraphic_G start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) end_CELL end_ROW end_ARRAY ] , (39)

where 𝒢js(Es)=(EsshL)/|Δj|2(EsshL)2subscript𝒢𝑗𝑠superscript𝐸𝑠superscript𝐸𝑠𝑠subscript𝐿superscriptsubscriptΔ𝑗2superscriptsuperscript𝐸𝑠𝑠subscript𝐿2\mathcal{G}_{js}(E^{s})=(E^{s}-sh_{L})/\sqrt{|\Delta_{j}|^{2}-(E^{s}-sh_{L})^{% 2}}caligraphic_G start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) = ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT - italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) / square-root start_ARG | roman_Δ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT - italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG and js(Es)=|Δj|/|Δj|2(EsshL)2subscript𝑗𝑠superscript𝐸𝑠subscriptΔ𝑗superscriptsubscriptΔ𝑗2superscriptsuperscript𝐸𝑠𝑠subscript𝐿2\mathcal{F}_{js}(E^{s})=|\Delta_{j}|/\sqrt{|\Delta_{j}|^{2}-(E^{s}-sh_{L})^{2}}caligraphic_F start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) = | roman_Δ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | / square-root start_ARG | roman_Δ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT - italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG. We parameterize the tunnel coupling strength by Γj=πνFjtj2subscriptΓ𝑗𝜋subscriptsuperscript𝜈𝑗𝐹subscriptsuperscript𝑡2𝑗\Gamma_{j}=\pi\nu^{j}_{F}t^{2}_{j}roman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = italic_π italic_ν start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT. The in-gap requirement of the Andreev levels guarantees the invertible D𝐷Ditalic_D in determinat identity (33) and the integrable self-energy (39). Hence, one can derive the exact Andreev levels from Eq. (34) with the integrated self-energy (39). This procedure amounts to integrating out the superconducting degrees of freedom (which can be achieved in various ways).

Next, let us solve the reduced determinant equation (34). By substitution of Eq. (39), the reduced determinant equation (34) becomes

det[+ϵD+shDEsjΓj𝒢js(Es)jΓje+iϕjjs(Es)jΓjeiϕjjs(Es)ϵD+shDEsjΓj𝒢js(Es)]=0.matrixsubscriptitalic-ϵ𝐷𝑠subscript𝐷superscript𝐸𝑠subscript𝑗subscriptΓ𝑗subscript𝒢𝑗𝑠superscript𝐸𝑠subscript𝑗subscriptΓ𝑗superscript𝑒𝑖subscriptitalic-ϕ𝑗subscript𝑗𝑠superscript𝐸𝑠subscript𝑗subscriptΓ𝑗superscript𝑒𝑖subscriptitalic-ϕ𝑗subscript𝑗𝑠superscript𝐸𝑠subscriptitalic-ϵ𝐷𝑠subscript𝐷superscript𝐸𝑠subscript𝑗subscriptΓ𝑗subscript𝒢𝑗𝑠superscript𝐸𝑠0\displaystyle\det\begin{bmatrix}+\epsilon_{D}+sh_{D}-E^{s}-\sum_{j}\Gamma_{j}% \mathcal{G}_{js}(E^{s})&-\sum_{j}\Gamma_{j}e^{+i\phi_{j}}\mathcal{F}_{js}(E^{s% })\\ -\sum_{j}\Gamma_{j}e^{-i\phi_{j}}\mathcal{F}_{js}(E^{s})&-\epsilon_{D}+sh_{D}-% E^{s}-\sum_{j}\Gamma_{j}\mathcal{G}_{js}(E^{s})\end{bmatrix}=0.roman_det [ start_ARG start_ROW start_CELL + italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT - ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT roman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT caligraphic_G start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) end_CELL start_CELL - ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT roman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT + italic_i italic_ϕ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT caligraphic_F start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) end_CELL end_ROW start_ROW start_CELL - ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT roman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_ϕ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT caligraphic_F start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) end_CELL start_CELL - italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT - ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT roman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT caligraphic_G start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) end_CELL end_ROW end_ARG ] = 0 . (40)

We can rewrite the above determinant equation into

[shDEsjΓj𝒢js(Es)]2superscriptdelimited-[]𝑠subscript𝐷superscript𝐸𝑠subscript𝑗subscriptΓ𝑗subscript𝒢𝑗𝑠superscript𝐸𝑠2\displaystyle\left[sh_{D}-E^{s}-\sum_{j}\Gamma_{j}\mathcal{G}_{js}(E^{s})% \right]^{2}[ italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT - ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT roman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT caligraphic_G start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (41)
=ϵD2+|jΓje+iϕjjs(Es)|2.absentsubscriptsuperscriptitalic-ϵ2𝐷superscriptsubscript𝑗subscriptΓ𝑗superscript𝑒𝑖subscriptitalic-ϕ𝑗subscript𝑗𝑠superscript𝐸𝑠2\displaystyle=\epsilon^{2}_{D}+\left|\sum_{j}\Gamma_{j}e^{+i\phi_{j}}\mathcal{% F}_{js}(E^{s})\right|^{2}.= italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + | ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT roman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT + italic_i italic_ϕ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT caligraphic_F start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT .

To better understand the superconducting proximity effect, we introduce the following dimensionless parameter

Γ~s(Es)=jΓ~js(Es)jΓj|Δj|2(EsshL)2.subscript~Γ𝑠superscript𝐸𝑠subscript𝑗subscript~Γ𝑗𝑠superscript𝐸𝑠subscript𝑗subscriptΓ𝑗superscriptsubscriptΔ𝑗2superscriptsuperscript𝐸𝑠𝑠subscript𝐿2\displaystyle\tilde{\Gamma}_{s}(E^{s})=\sum_{j}\tilde{\Gamma}_{js}(E^{s})% \equiv\sum_{j}\frac{\Gamma_{j}}{\sqrt{|\Delta_{j}|^{2}-(E^{s}-sh_{L})^{2}}}.over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) ≡ ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT divide start_ARG roman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG square-root start_ARG | roman_Δ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT - italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG . (42)

Thus, Eq. (41) reduces to

{shDrEs[1+Γ~s(Es)]}2superscript𝑠subscriptsuperscript𝑟𝐷superscript𝐸𝑠delimited-[]1subscript~Γ𝑠superscript𝐸𝑠2\displaystyle\left\{sh^{r}_{D}-E^{s}\left[1+\tilde{\Gamma}_{s}(E^{s})\right]% \right\}^{2}{ italic_s italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT [ 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) ] } start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (43)
=ϵD2+|jΓje+iϕjjs(Es)|2,absentsuperscriptsubscriptitalic-ϵ𝐷2superscriptsubscript𝑗subscriptΓ𝑗superscript𝑒𝑖subscriptitalic-ϕ𝑗subscript𝑗𝑠superscript𝐸𝑠2\displaystyle=\epsilon_{D}^{2}+\left|\sum_{j}\Gamma_{j}e^{+i\phi_{j}}\mathcal{% F}_{js}(E^{s})\right|^{2},= italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + | ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT roman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT + italic_i italic_ϕ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT caligraphic_F start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ,

with

hDr=hD+Γ~s(Es)hL.subscriptsuperscript𝑟𝐷subscript𝐷subscript~Γ𝑠superscript𝐸𝑠subscript𝐿\displaystyle h^{r}_{D}=h_{D}+\tilde{\Gamma}_{s}(E^{s})h_{L}.italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT . (44)

The 𝒢s(Es)subscript𝒢𝑠superscript𝐸𝑠\mathcal{G}_{s}(E^{s})caligraphic_G start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) function renormalizes both Andreev levels and its spin splitting. Therefore, we have obtained a compact implicit equation from which we can easily obtain the Andreev levels explicitly by iterations

Esη=shD+Γ~s(Esη)hL1+Γ~s(Esη)+ηϵD2+|jΓje+iϕjjs(Es)|21+Γ~s(Esη).subscript𝐸𝑠𝜂𝑠subscript𝐷subscript~Γ𝑠subscript𝐸𝑠𝜂subscript𝐿1subscript~Γ𝑠subscript𝐸𝑠𝜂𝜂superscriptsubscriptitalic-ϵ𝐷2superscriptsubscript𝑗subscriptΓ𝑗superscript𝑒𝑖subscriptitalic-ϕ𝑗subscript𝑗𝑠superscript𝐸𝑠21subscript~Γ𝑠subscript𝐸𝑠𝜂\displaystyle E_{s\eta}=s\frac{h_{D}+\tilde{\Gamma}_{s}(E_{s\eta})h_{L}}{1+% \tilde{\Gamma}_{s}(E_{s\eta})}+\eta\frac{\sqrt{\epsilon_{D}^{2}+\left|\sum_{j}% \Gamma_{j}e^{+i\phi_{j}}\mathcal{F}_{js}(E^{s})\right|^{2}}}{1+\tilde{\Gamma}_% {s}(E_{s\eta})}.italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT = italic_s divide start_ARG italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG + italic_η divide start_ARG square-root start_ARG italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + | ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT roman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT + italic_i italic_ϕ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT caligraphic_F start_POSTSUBSCRIPT italic_j italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG . (45)

Considering the complexity of the expressions of Andreev levels (45), we first consider the case of |Δj|=ΔsubscriptΔ𝑗Δ|\Delta_{j}|=\Delta| roman_Δ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | = roman_Δ. Then, Eq. (45) reduces to

Esηsubscript𝐸𝑠𝜂\displaystyle E_{s\eta}italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT =shD+Γ~s(Esη)hL1+Γ~s(Esη)absent𝑠subscript𝐷subscript~Γ𝑠subscript𝐸𝑠𝜂subscript𝐿1subscript~Γ𝑠subscript𝐸𝑠𝜂\displaystyle=s\frac{h_{D}+\tilde{\Gamma}_{s}(E_{s\eta})h_{L}}{1+\tilde{\Gamma% }_{s}(E_{s\eta})}= italic_s divide start_ARG italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG (46)
+ηϵD2+|Γ1e+iϕ1+Γ2e+iϕ2|2(Γ1+Γ2)2Γ~s2(Esη)Δ21+Γ~s(Esη).𝜂superscriptsubscriptitalic-ϵ𝐷2superscriptsubscriptΓ1superscript𝑒𝑖subscriptitalic-ϕ1subscriptΓ2superscript𝑒𝑖subscriptitalic-ϕ22superscriptsubscriptΓ1subscriptΓ22subscriptsuperscript~Γ2𝑠subscript𝐸𝑠𝜂superscriptΔ21subscript~Γ𝑠subscript𝐸𝑠𝜂\displaystyle+\eta\frac{\sqrt{\epsilon_{D}^{2}+\frac{|\Gamma_{1}e^{+i\phi_{1}}% +\Gamma_{2}e^{+i\phi_{2}}|^{2}}{(\Gamma_{1}+\Gamma_{2})^{2}}\tilde{\Gamma}^{2}% _{s}(E_{s\eta})\Delta^{2}}}{1+\tilde{\Gamma}_{s}(E_{s\eta})}.+ italic_η divide start_ARG square-root start_ARG italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG | roman_Γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT + italic_i italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT + roman_Γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT + italic_i italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( roman_Γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + roman_Γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG .

The interplay of the superconducting proximity effects from two superconducting leads is described by |Γ1e+iϕ1+Γ2e+iϕ2|2/(Γ1+Γ2)2superscriptsubscriptΓ1superscript𝑒𝑖subscriptitalic-ϕ1subscriptΓ2superscript𝑒𝑖subscriptitalic-ϕ22superscriptsubscriptΓ1subscriptΓ22|\Gamma_{1}e^{+i\phi_{1}}+\Gamma_{2}e^{+i\phi_{2}}|^{2}/(\Gamma_{1}+\Gamma_{2}% )^{2}| roman_Γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT + italic_i italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT + roman_Γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT + italic_i italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / ( roman_Γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + roman_Γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, which interferes destructively when Γj=ΓsubscriptΓ𝑗Γ\Gamma_{j}=\Gammaroman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = roman_Γ and ϕ1ϕ2=πsubscriptitalic-ϕ1subscriptitalic-ϕ2𝜋\phi_{1}-\phi_{2}=\piitalic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_π.

Hereafter, we set Γj=ΓsubscriptΓ𝑗Γ\Gamma_{j}=\Gammaroman_Γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = roman_Γ, |Δj|=ΔsubscriptΔ𝑗Δ|\Delta_{j}|=\Delta| roman_Δ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | = roman_Δ, ϕ1=+ϕ2subscriptitalic-ϕ1italic-ϕ2\phi_{1}=+\frac{\phi}{2}italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = + divide start_ARG italic_ϕ end_ARG start_ARG 2 end_ARG, and ϕ2=ϕ2subscriptitalic-ϕ2italic-ϕ2\phi_{2}=-\frac{\phi}{2}italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = - divide start_ARG italic_ϕ end_ARG start_ARG 2 end_ARG for simplicity. Thus, the Andreev levels (45) reduce to

Esη=shD+Γ~s(Esη)hL1+Γ~s(Esη)+ηϵD2+Δ2cos2(ϕ2)Γ~s2(Esη)1+Γ~s(Esη),subscript𝐸𝑠𝜂𝑠subscript𝐷subscript~Γ𝑠subscript𝐸𝑠𝜂subscript𝐿1subscript~Γ𝑠subscript𝐸𝑠𝜂𝜂superscriptsubscriptitalic-ϵ𝐷2superscriptΔ2superscript2italic-ϕ2subscriptsuperscript~Γ2𝑠subscript𝐸𝑠𝜂1subscript~Γ𝑠subscript𝐸𝑠𝜂\displaystyle E_{s\eta}=s\frac{h_{D}+\tilde{\Gamma}_{s}(E_{s\eta})h_{L}}{1+% \tilde{\Gamma}_{s}(E_{s\eta})}+\eta\frac{\sqrt{\epsilon_{D}^{2}+\Delta^{2}\cos% ^{2}(\frac{\phi}{2})\tilde{\Gamma}^{2}_{s}(E_{s\eta})}}{1+\tilde{\Gamma}_{s}(E% _{s\eta})},italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT = italic_s divide start_ARG italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG + italic_η divide start_ARG square-root start_ARG italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_ϕ end_ARG start_ARG 2 end_ARG ) over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG , (47)

with

Γ~s(Es)=2ΓΔ2(EsshL)2.subscript~Γ𝑠superscript𝐸𝑠2ΓsuperscriptΔ2superscriptsuperscript𝐸𝑠𝑠subscript𝐿2\displaystyle\tilde{\Gamma}_{s}(E^{s})=\frac{2\Gamma}{\sqrt{\Delta^{2}-(E^{s}-% sh_{L})^{2}}}.over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ) = divide start_ARG 2 roman_Γ end_ARG start_ARG square-root start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - ( italic_E start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT - italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG . (48)

For hD=0subscript𝐷0h_{D}=0italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = 0, we can obtain the spin-split Andreev levels from the spin-split superconductor, while the spin splitting of the quantum dot can be reduced by the superconducting proximity effect quantified by the renormalization factor 1/[1+Γ~s(Esη)]1delimited-[]1subscript~Γ𝑠subscript𝐸𝑠𝜂1/[1+\tilde{\Gamma}_{s}(E_{s\eta})]1 / [ 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) ] [55]. At ϕ=±πitalic-ϕplus-or-minus𝜋\phi=\pm\piitalic_ϕ = ± italic_π, the proximity effects from the two superconductors interfere destructively with each other. Thus, the Andreev levels (47) reduce to

Esη=shD+Γ~s(Esη)hL1+Γ~s(Esη)+η|ϵD|1+Γ~s(Esη).subscript𝐸𝑠𝜂𝑠subscript𝐷subscript~Γ𝑠subscript𝐸𝑠𝜂subscript𝐿1subscript~Γ𝑠subscript𝐸𝑠𝜂𝜂subscriptitalic-ϵ𝐷1subscript~Γ𝑠subscript𝐸𝑠𝜂\displaystyle E_{s\eta}=s\frac{h_{D}+\tilde{\Gamma}_{s}(E_{s\eta})h_{L}}{1+% \tilde{\Gamma}_{s}(E_{s\eta})}+\eta\frac{|\epsilon_{D}|}{1+\tilde{\Gamma}_{s}(% E_{s\eta})}.italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT = italic_s divide start_ARG italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG + italic_η divide start_ARG | italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT | end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG . (49)

While, in the absence of spin splitting (hD=hL=0subscript𝐷subscript𝐿0h_{D}=h_{L}=0italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = 0), the Andreev levels (47) become

Eη=ηϵD2+Δ2cos2(ϕ2)Γ~2(Eη)1+Γ~(Eη),subscript𝐸𝜂𝜂superscriptsubscriptitalic-ϵ𝐷2superscriptΔ2superscript2italic-ϕ2superscript~Γ2subscript𝐸𝜂1~Γsubscript𝐸𝜂\displaystyle E_{\eta}=\eta\frac{\sqrt{\epsilon_{D}^{2}+\Delta^{2}\cos^{2}(% \frac{\phi}{2})\tilde{\Gamma}^{2}(E_{\eta})}}{1+\tilde{\Gamma}(E_{\eta})},italic_E start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT = italic_η divide start_ARG square-root start_ARG italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_ϕ end_ARG start_ARG 2 end_ARG ) over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_E start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT ) end_ARG end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG ( italic_E start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT ) end_ARG , (50)

with

Γ~(Eη)=2ΓΔ2Eη2.~Γsubscript𝐸𝜂2ΓsuperscriptΔ2superscriptsubscript𝐸𝜂2\displaystyle\tilde{\Gamma}(E_{\eta})=\frac{2\Gamma}{\sqrt{\Delta^{2}-E_{\eta}% ^{2}}}.over~ start_ARG roman_Γ end_ARG ( italic_E start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT ) = divide start_ARG 2 roman_Γ end_ARG start_ARG square-root start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_E start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG . (51)

We can find the exact expressions of transmission probability τAsubscript𝜏A\tau_{\text{A}}italic_τ start_POSTSUBSCRIPT A end_POSTSUBSCRIPT and induced gap ΔAsubscriptΔA\Delta_{\text{A}}roman_Δ start_POSTSUBSCRIPT A end_POSTSUBSCRIPT (not pair potential), defined via Eη=ηΔA1τAsin2(ϕ/2)subscript𝐸𝜂𝜂subscriptΔA1subscript𝜏Asuperscript2italic-ϕ2E_{\eta}=\eta\Delta_{\text{A}}\sqrt{1-\tau_{\text{A}}\sin^{2}(\phi/2)}italic_E start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT = italic_η roman_Δ start_POSTSUBSCRIPT A end_POSTSUBSCRIPT square-root start_ARG 1 - italic_τ start_POSTSUBSCRIPT A end_POSTSUBSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_ϕ / 2 ) end_ARG,

τA=Δ2Γ~2(EA)ϵD2+Δ2Γ~2(EA),subscript𝜏AsuperscriptΔ2superscript~Γ2subscript𝐸Asuperscriptsubscriptitalic-ϵ𝐷2superscriptΔ2superscript~Γ2subscript𝐸A\displaystyle\tau_{\text{A}}=\frac{\Delta^{2}\tilde{\Gamma}^{2}(E_{\text{A}})}% {\epsilon_{D}^{2}+\Delta^{2}\tilde{\Gamma}^{2}(E_{\text{A}})},italic_τ start_POSTSUBSCRIPT A end_POSTSUBSCRIPT = divide start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_E start_POSTSUBSCRIPT A end_POSTSUBSCRIPT ) end_ARG start_ARG italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_E start_POSTSUBSCRIPT A end_POSTSUBSCRIPT ) end_ARG , (52)
ΔA=ϵD2+Δ2Γ~2(EA)1+Γ~(EA).subscriptΔAsuperscriptsubscriptitalic-ϵ𝐷2superscriptΔ2superscript~Γ2subscript𝐸A1~Γsubscript𝐸A\displaystyle\Delta_{\text{A}}=\frac{\sqrt{\epsilon_{D}^{2}+\Delta^{2}\tilde{% \Gamma}^{2}(E_{\text{A}})}}{1+\tilde{\Gamma}(E_{\text{A}})}.roman_Δ start_POSTSUBSCRIPT A end_POSTSUBSCRIPT = divide start_ARG square-root start_ARG italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_E start_POSTSUBSCRIPT A end_POSTSUBSCRIPT ) end_ARG end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG ( italic_E start_POSTSUBSCRIPT A end_POSTSUBSCRIPT ) end_ARG . (53)

These expressions are useful for the quantification of microscopic parameters. Figure 4 (a) and (b) plot the zero-magnetic-field Andreev levels E±subscript𝐸plus-or-minusE_{\pm}italic_E start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT, numerically obtained from the diagonalization of Eq. (21), as a function of ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT [ϕitalic-ϕ\phiitalic_ϕ] for different ΓΓ\Gammaroman_Γ, respectively. The numerical Andreev energies agree well with the analytical Andreev energies (47) indicated by the star, square, circle, and triangle marks [Figs. 4 (a) and (b)].

Refer to caption
Figure 4: Properties of the spin-degenerate Andreev levels. (a,b) Andreev level E±subscript𝐸plus-or-minusE_{\pm}italic_E start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT as a function of (a) ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT with ϕ=0italic-ϕ0\phi=0italic_ϕ = 0 and (b) ϕitalic-ϕ\phiitalic_ϕ with ϵD/Δ=0.2subscriptitalic-ϵ𝐷Δ0.2\epsilon_{D}/\Delta=0.2italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT / roman_Δ = 0.2 for different strengths of tunnel coupling ΓΓ\Gammaroman_Γ. The lines correspond to the Andreev energies numerically obtained from Eq. (21), which agree well with the analytical Andreev energies (47) [i.e., the determinant equation (40)], indicated by the star, square, circle, and triangle marks.
Refer to caption
Figure 5: (a,b,c) The Andreev energies, Elsηsubscript𝐸𝑙𝑠𝜂E_{ls\eta}italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT, numerically obtained from the diagonalization of Eq. (21), are plotted as a function of (a) dot energy ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT for parameter choice (ϕ/π,hD/Δ,hL/Δ)=(0.0,0.0,0.3)italic-ϕ𝜋subscript𝐷Δsubscript𝐿Δ0.00.00.3(\phi/\pi,h_{D}/\Delta,h_{L}/\Delta)=(0.0,0.0,0.3)( italic_ϕ / italic_π , italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT / roman_Δ , italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT / roman_Δ ) = ( 0.0 , 0.0 , 0.3 ), (b) phase difference ϕitalic-ϕ\phiitalic_ϕ with (ϵD/Δ,hD/Δ,hL/Δ)=(0.5,0.5,0.3)subscriptitalic-ϵ𝐷Δsubscript𝐷Δsubscript𝐿Δ0.50.50.3(\epsilon_{D}/\Delta,h_{D}/\Delta,h_{L}/\Delta)=(0.5,0.5,0.3)( italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT / roman_Δ , italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT / roman_Δ , italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT / roman_Δ ) = ( 0.5 , 0.5 , 0.3 ), and (c) Zeeman energy hDsubscript𝐷h_{D}italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT with (ϕ/π,ϵD/Δ,hL/Δ)=(0.0,0.5,0.3)italic-ϕ𝜋subscriptitalic-ϵ𝐷Δsubscript𝐿Δ0.00.50.3(\phi/\pi,\epsilon_{D}/\Delta,h_{L}/\Delta)=(0.0,0.5,0.3)( italic_ϕ / italic_π , italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT / roman_Δ , italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT / roman_Δ ) = ( 0.0 , 0.5 , 0.3 ), respectively. Here, the red, black, blue, and green lines correspond to the gate-, phase-, and field-tunable Andreev levels E+subscript𝐸absentE_{\uparrow+}italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT, Esubscript𝐸absentE_{\uparrow-}italic_E start_POSTSUBSCRIPT ↑ - end_POSTSUBSCRIPT, E+subscript𝐸absentE_{\downarrow+}italic_E start_POSTSUBSCRIPT ↓ + end_POSTSUBSCRIPT, and Esubscript𝐸absentE_{\downarrow-}italic_E start_POSTSUBSCRIPT ↓ - end_POSTSUBSCRIPT, respectively.

The Andreev levels (47) are renormalized by 1/[1+Γ~s(Esη)]1delimited-[]1subscript~Γ𝑠subscript𝐸𝑠𝜂1/[1+\tilde{\Gamma}_{s}(E_{s\eta})]1 / [ 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) ], making it possible to go beyond small tunnel coupling, dot energy, dot field, and Coulomb interaction limits. Figures 5 (a), (b), and (c) show plots of the energy levels Els±subscript𝐸limit-from𝑙𝑠plus-or-minusE_{ls\pm}italic_E start_POSTSUBSCRIPT italic_l italic_s ± end_POSTSUBSCRIPT as a function of (a) ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT, (b) ϕitalic-ϕ\phiitalic_ϕ, and (c) hDsubscript𝐷h_{D}italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT, respectively. Qualitatively, the Andreev levels can be understood as coming form avoided crossing due to the tunneling between the quantum dot and superconducting leads. The avoided crossing of E=+ϵD𝐸subscriptitalic-ϵ𝐷E=+\epsilon_{D}italic_E = + italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and E=ϵD𝐸subscriptitalic-ϵ𝐷E=-\epsilon_{D}italic_E = - italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT bands results in a minigap of the Andreev levels at ϵD=0subscriptitalic-ϵ𝐷0\epsilon_{D}=0italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = 0, while that of E=±ϵD𝐸plus-or-minussubscriptitalic-ϵ𝐷E=\pm\epsilon_{D}italic_E = ± italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and E=shL+±ΔE=sh_{L}+\pm\Deltaitalic_E = italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT + ± roman_Δ bands repulse a bulk Bogoliubov level within the superconductor gap for |ϵD|>Δsubscriptitalic-ϵ𝐷Δ|\epsilon_{D}|>\Delta| italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT | > roman_Δ. However, the avoided crossing of E=±hD𝐸plus-or-minussubscript𝐷E=\pm h_{D}italic_E = ± italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and E=shL+±ΔE=sh_{L}+\pm\Deltaitalic_E = italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT + ± roman_Δ bands results into a hysteresis-loop-like hDsubscript𝐷h_{D}italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT dependence [panel (c)]. Quantitatively, we try to attain some simplified expressions in several parameter regimes. In the limit of large gap, i.e., ΔhL,hD,Γ,ϵDmuch-greater-thanΔsubscript𝐿subscript𝐷Γsubscriptitalic-ϵ𝐷\Delta\gg h_{L},h_{D},\Gamma,\epsilon_{D}roman_Δ ≫ italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT , roman_Γ , italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT, we have Γ~s(Esη)2Γ/Δ1similar-to-or-equalssubscript~Γ𝑠subscript𝐸𝑠𝜂2ΓΔmuch-less-than1\tilde{\Gamma}_{s}(E_{s\eta})\simeq 2\Gamma/\Delta\ll 1over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) ≃ 2 roman_Γ / roman_Δ ≪ 1 and the Andreev levels (47) reduce to

EsηshD+2ΓhL/Δ1+2Γ/Δ+ηϵD2+4Γ2cos2(ϕ2)1+2Γ/Δ.similar-to-or-equalssubscript𝐸𝑠𝜂𝑠subscript𝐷2Γsubscript𝐿Δ12ΓΔ𝜂superscriptsubscriptitalic-ϵ𝐷24superscriptΓ2superscript2italic-ϕ212ΓΔ\displaystyle E_{s\eta}\simeq s\frac{h_{D}+2\Gamma h_{L}/\Delta}{1+2\Gamma/% \Delta}+\eta\frac{\sqrt{\epsilon_{D}^{2}+4\Gamma^{2}\cos^{2}(\frac{\phi}{2})}}% {1+2\Gamma/\Delta}.italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ≃ italic_s divide start_ARG italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + 2 roman_Γ italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT / roman_Δ end_ARG start_ARG 1 + 2 roman_Γ / roman_Δ end_ARG + italic_η divide start_ARG square-root start_ARG italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 4 roman_Γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_ϕ end_ARG start_ARG 2 end_ARG ) end_ARG end_ARG start_ARG 1 + 2 roman_Γ / roman_Δ end_ARG . (54)

The second term on the right-hand side of Eq. (54) describes the presence of the minigap of the Andreev levels at ϵD=0subscriptitalic-ϵ𝐷0\epsilon_{D}=0italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = 0 due to the avoided crossing of E=+ϵD𝐸subscriptitalic-ϵ𝐷E=+\epsilon_{D}italic_E = + italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and E=ϵD𝐸subscriptitalic-ϵ𝐷E=-\epsilon_{D}italic_E = - italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT bands [Fig. 5 (a)]. Next, we study the limit of large dot energy (ϵDΔ,Γ,hL,hDmuch-greater-thansubscriptitalic-ϵ𝐷ΔΓsubscript𝐿subscript𝐷\epsilon_{D}\gg\Delta,\Gamma,h_{L},h_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ≫ roman_Δ , roman_Γ , italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT), large dot field (hDΔ,Γ,ϵD,hLmuch-greater-thansubscript𝐷ΔΓsubscriptitalic-ϵ𝐷subscript𝐿h_{D}\gg\Delta,\Gamma,\epsilon_{D},h_{L}italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ≫ roman_Δ , roman_Γ , italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT), and large tunneling (ΓΔ,ϵD,hL,hDmuch-greater-thanΓΔsubscriptitalic-ϵ𝐷subscript𝐿subscript𝐷\Gamma\gg\Delta,\epsilon_{D},h_{L},h_{D}roman_Γ ≫ roman_Δ , italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT), where the Andreev levels approach the gap edges when the phase difference ϕitalic-ϕ\phiitalic_ϕ is far away from ±πplus-or-minus𝜋\pm\pi± italic_π. Thus, we have Γ~(Esη)1much-greater-than~Γsubscript𝐸𝑠𝜂1\tilde{\Gamma}(E_{s\eta})\gg 1over~ start_ARG roman_Γ end_ARG ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) ≫ 1, and the Andreev levels (47), in second order of 1/Γ~(Esη)1~Γsubscript𝐸𝑠𝜂1/\tilde{\Gamma}(E_{s\eta})1 / over~ start_ARG roman_Γ end_ARG ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ), take on the form

EsηshLsubscript𝐸𝑠𝜂𝑠subscript𝐿\displaystyle E_{s\eta}-sh_{L}italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT - italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ηΔr+(shDshLηΔr)/Γ~s(Esη)similar-to-or-equalsabsent𝜂subscriptΔ𝑟𝑠subscript𝐷𝑠subscript𝐿𝜂subscriptΔ𝑟subscript~Γ𝑠subscript𝐸𝑠𝜂\displaystyle\simeq\eta\Delta_{r}+(sh_{D}-sh_{L}-\eta\Delta_{r})/\tilde{\Gamma% }_{s}(E_{s\eta})≃ italic_η roman_Δ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT + ( italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_η roman_Δ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ) / over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT )
+[shL+ηΔrshD+ϵD2/(2ηΔr)]/Γ~s2(Esη),delimited-[]𝑠subscript𝐿𝜂subscriptΔ𝑟𝑠subscript𝐷subscriptsuperscriptitalic-ϵ2𝐷2𝜂subscriptΔ𝑟subscriptsuperscript~Γ2𝑠subscript𝐸𝑠𝜂\displaystyle+\left[sh_{L}+\eta\Delta_{r}-sh_{D}+\epsilon^{2}_{D}/(2\eta\Delta% _{r})\right]/\tilde{\Gamma}^{2}_{s}(E_{s\eta}),+ [ italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT + italic_η roman_Δ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT - italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT / ( 2 italic_η roman_Δ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ) ] / over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) , (55)

with Δr=Δ|cos(ϕ2)|subscriptΔ𝑟Δitalic-ϕ2\Delta_{r}=\Delta|\cos(\frac{\phi}{2})|roman_Δ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT = roman_Δ | roman_cos ( divide start_ARG italic_ϕ end_ARG start_ARG 2 end_ARG ) |. For ϕ=0italic-ϕ0\phi=0italic_ϕ = 0, squaring Eq. (A) leads to

EsηshL+ηΔ1[4Γ(shLshD+ηΔ)4Γ2+ϵD2+(shLshD+ηΔ)(shLshD+3ηΔ)]2.similar-to-or-equalssubscript𝐸𝑠𝜂𝑠subscript𝐿𝜂Δ1superscriptdelimited-[]4Γ𝑠subscript𝐿𝑠subscript𝐷𝜂Δ4superscriptΓ2subscriptsuperscriptitalic-ϵ2𝐷𝑠subscript𝐿𝑠subscript𝐷𝜂Δ𝑠subscript𝐿𝑠subscript𝐷3𝜂Δ2\displaystyle E_{s\eta}\simeq sh_{L}+\eta\Delta\sqrt{1-\left[\frac{4\Gamma(sh_% {L}-sh_{D}+\eta\Delta)}{4\Gamma^{2}+\epsilon^{2}_{D}+(sh_{L}-sh_{D}+\eta\Delta% )(sh_{L}-sh_{D}+3\eta\Delta)}\right]^{2}}.italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ≃ italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT + italic_η roman_Δ square-root start_ARG 1 - [ divide start_ARG 4 roman_Γ ( italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_η roman_Δ ) end_ARG start_ARG 4 roman_Γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + ( italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_η roman_Δ ) ( italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + 3 italic_η roman_Δ ) end_ARG ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (56)

This describes the avoided crossing of E=±ϵD𝐸plus-or-minussubscriptitalic-ϵ𝐷E=\pm\epsilon_{D}italic_E = ± italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and E=shL±Δ𝐸plus-or-minus𝑠subscript𝐿ΔE=sh_{L}\pm\Deltaitalic_E = italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ± roman_Δ bands [Fig 5 (a)] and the avoided crossing of E=±hD𝐸plus-or-minussubscript𝐷E=\pm h_{D}italic_E = ± italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and E=shL±Δ𝐸plus-or-minus𝑠subscript𝐿ΔE=sh_{L}\pm\Deltaitalic_E = italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ± roman_Δ bands [Fig 5 (c)]. Noting that Γ~s(Esη)subscript~Γ𝑠subscript𝐸𝑠𝜂\tilde{\Gamma}_{s}(E_{s\eta})over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) becomes large when Andreev level approaches gap edges, the renormalization effect always forces the Andreev levels Es+subscript𝐸limit-from𝑠E_{s+}italic_E start_POSTSUBSCRIPT italic_s + end_POSTSUBSCRIPT and Essubscript𝐸limit-from𝑠E_{s-}italic_E start_POSTSUBSCRIPT italic_s - end_POSTSUBSCRIPT inside (shLΔ,shL+Δ)𝑠subscript𝐿Δ𝑠subscript𝐿Δ(sh_{L}-\Delta,sh_{L}+\Delta)( italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - roman_Δ , italic_s italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT + roman_Δ ) even in large tunnel coupling, dot energy and dot field limits, as shown in Eq. (56). Moreover, the renormalization effect makes it works when two "subgap" levels, E+subscript𝐸absentE_{\uparrow+}italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT (red curve) and Esubscript𝐸absentE_{\downarrow-}italic_E start_POSTSUBSCRIPT ↓ - end_POSTSUBSCRIPT (green curve) in panels (a) and (b), leak out of the superconducting gap [Δ+hL,+ΔhL]Δsubscript𝐿Δsubscript𝐿[-\Delta+h_{L},+\Delta-h_{L}][ - roman_Δ + italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT , + roman_Δ - italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ] into the continuous part of the superconducting lead spectrum (hLΔ,Δ+hL)subscript𝐿ΔΔsubscript𝐿(-h_{L}-\Delta,-\Delta+h_{L})( - italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - roman_Δ , - roman_Δ + italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) and (+ΔhL,+hL+Δ)Δsubscript𝐿subscript𝐿Δ(+\Delta-h_{L},+h_{L}+\Delta)( + roman_Δ - italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT , + italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT + roman_Δ ), an effect that has no counterpart in the superconducting Anderson model [37]. These "subgap" levels are highly gate-, phase-, and field-tunable as plotted in Fig. 5, and hence play a significant role in superconducting properties, for example supercurrent noting that a quasiparticle state of Elsηsubscript𝐸𝑙𝑠𝜂E_{ls\eta}italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT contributes to the supercurrent an amount Ilsη=2eϕElsηsubscript𝐼𝑙𝑠𝜂2𝑒Planck-constant-over-2-pisubscriptitalic-ϕsubscript𝐸𝑙𝑠𝜂I_{ls\eta}=\frac{2e}{\hbar}\partial_{\phi}E_{ls\eta}italic_I start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT = divide start_ARG 2 italic_e end_ARG start_ARG roman_ℏ end_ARG ∂ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT.

Appendix B Yu-Shiba-Rusinov case

In this section, we include Coulomb interaction and study the Yu-Shiba-Rusinov case using the Hartree-Fock-Bogoliubov approximation [9, 18, 13].

In the presence of Coulomb interaction, the dot Hamiltonian, reads

HD=s(ϵD+shD)ns+Unn.subscript𝐻𝐷subscript𝑠subscriptitalic-ϵ𝐷𝑠subscript𝐷subscript𝑛𝑠𝑈subscript𝑛subscript𝑛\displaystyle H_{D}=\sum_{s}(\epsilon_{D}+sh_{D})n_{s}+Un_{\uparrow}n_{% \downarrow}.italic_H start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ) italic_n start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT + italic_U italic_n start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT . (57)

Here, U𝑈Uitalic_U is on-site Coulomb interaction and ns=dsdssubscript𝑛𝑠subscriptsuperscript𝑑𝑠subscript𝑑𝑠n_{s}=d^{\dagger}_{s}d_{s}italic_n start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = italic_d start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT is number operator of the quantum dot with spin s𝑠sitalic_s. Within the Hartree-Fock-Bogoliubov approximation, we reach

Ds=ϵDτz+shD+(UnsUsdsdsUsdsdsUns).subscriptsuperscript𝑠𝐷subscriptitalic-ϵ𝐷subscript𝜏𝑧𝑠subscript𝐷𝑈delimited-⟨⟩subscript𝑛𝑠𝑈delimited-⟨⟩𝑠subscript𝑑𝑠subscript𝑑𝑠𝑈delimited-⟨⟩𝑠subscriptsuperscript𝑑𝑠subscriptsuperscript𝑑𝑠𝑈delimited-⟨⟩subscript𝑛𝑠\displaystyle\mathcal{H}^{s}_{D}=\epsilon_{D}\tau_{z}+sh_{D}+\left(\begin{% array}[]{cc}U\left\langle n_{-s}\right\rangle&U\left\langle sd_{s}d_{-s}\right% \rangle\\ U\left\langle sd^{\dagger}_{-s}d^{\dagger}_{s}\right\rangle&-U\left\langle n_{% s}\right\rangle\end{array}\right).caligraphic_H start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + ( start_ARRAY start_ROW start_CELL italic_U ⟨ italic_n start_POSTSUBSCRIPT - italic_s end_POSTSUBSCRIPT ⟩ end_CELL start_CELL italic_U ⟨ italic_s italic_d start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT - italic_s end_POSTSUBSCRIPT ⟩ end_CELL end_ROW start_ROW start_CELL italic_U ⟨ italic_s italic_d start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT - italic_s end_POSTSUBSCRIPT italic_d start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ⟩ end_CELL start_CELL - italic_U ⟨ italic_n start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ⟩ end_CELL end_ROW end_ARRAY ) . (60)

where delimited-⟨⟩\langle\cdots\rangle⟨ ⋯ ⟩ means thermodynamic expectation. Thus, Coulomb interaction results in renormalization of dot energy, dot field, and dot pair potential

ϵDr=ϵD+U2(n+n),subscriptsuperscriptitalic-ϵ𝑟𝐷subscriptitalic-ϵ𝐷𝑈2delimited-⟨⟩subscript𝑛delimited-⟨⟩subscript𝑛\displaystyle\epsilon^{r}_{D}=\epsilon_{D}+\frac{U}{2}\left(\left\langle n_{% \uparrow}\right\rangle+\left\langle n_{\downarrow}\right\rangle\right),italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ( ⟨ italic_n start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ⟩ + ⟨ italic_n start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT ⟩ ) , (61)
hDr=hD+U2(nn),subscriptsuperscript𝑟𝐷subscript𝐷𝑈2delimited-⟨⟩subscript𝑛delimited-⟨⟩subscript𝑛\displaystyle h^{r}_{D}=h_{D}+\frac{U}{2}\left(\left\langle n_{\downarrow}% \right\rangle-\left\langle n_{\uparrow}\right\rangle\right),italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ( ⟨ italic_n start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT ⟩ - ⟨ italic_n start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ⟩ ) , (62)
ΔDr=Usdsds.subscriptsuperscriptΔ𝑟𝐷𝑈delimited-⟨⟩𝑠subscript𝑑𝑠subscript𝑑𝑠\displaystyle\Delta^{r}_{D}=-U\left\langle sd_{s}d_{-s}\right\rangle.roman_Δ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = - italic_U ⟨ italic_s italic_d start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT - italic_s end_POSTSUBSCRIPT ⟩ . (63)

Following the same way of non-interacting case, we obtain Andreev Hamiltonian – the low-energy Hamiltonian of the hybrid quantum dot-nanowire-superconductor system

HA=s=/,η=+/EsηAsηAsη.subscript𝐻Asubscript𝑠absent𝜂absentsubscript𝐸𝑠𝜂subscriptsuperscript𝐴𝑠𝜂subscript𝐴𝑠𝜂\displaystyle H_{\text{A}}=\sum_{s=\uparrow/\downarrow,\eta=+/-}E_{s\eta}A^{% \dagger}_{s\eta}A_{s\eta}.italic_H start_POSTSUBSCRIPT A end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_s = ↑ / ↓ , italic_η = + / - end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT . (64)

The expressions of Andreev levels are, again, given by iterative form

Esηsubscript𝐸𝑠𝜂\displaystyle E_{s\eta}italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT =s11+Γ~s(Esη)[hDr+Γ~s(Esη)hL]absent𝑠11subscript~Γ𝑠subscript𝐸𝑠𝜂delimited-[]subscriptsuperscript𝑟𝐷subscript~Γ𝑠subscript𝐸𝑠𝜂subscript𝐿\displaystyle=s\frac{1}{1+\tilde{\Gamma}_{s}(E_{s\eta})}\left[h^{r}_{D}+\tilde% {\Gamma}_{s}(E_{s\eta})h_{L}\right]= italic_s divide start_ARG 1 end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG [ italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ] (65)
+η11+Γ~s(Esη)(ϵDr)2+[ΔDrΔcos(ϕ/2)Γ~s(Esη)]2.𝜂11subscript~Γ𝑠subscript𝐸𝑠𝜂superscriptsubscriptsuperscriptitalic-ϵ𝑟𝐷2superscriptdelimited-[]subscriptsuperscriptΔ𝑟𝐷Δitalic-ϕ2subscript~Γ𝑠subscript𝐸𝑠𝜂2\displaystyle+\eta\frac{1}{1+\tilde{\Gamma}_{s}(E_{s\eta})}\sqrt{\left(% \epsilon^{r}_{D}\right)^{2}+\left[\Delta^{r}_{D}-\Delta\cos(\phi/2)\tilde{% \Gamma}_{s}(E_{s\eta})\right]^{2}}.+ italic_η divide start_ARG 1 end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG square-root start_ARG ( italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + [ roman_Δ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - roman_Δ roman_cos ( italic_ϕ / 2 ) over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG .

To calculate the mean values in Eqs. (61-63), we derive the partition functions of the hybrid quantum dot and superconductor system [12]. The partition function of the hybrid system reads

Zssuperscript𝑍𝑠\displaystyle Z^{s}italic_Z start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT =D[ψs,ψ¯s]D[Ψs,Ψ¯s]eωnSs(iωn).absent𝐷subscript𝜓𝑠subscript¯𝜓𝑠𝐷subscriptΨ𝑠subscript¯Ψ𝑠superscriptesubscriptsubscript𝜔𝑛subscript𝑆𝑠𝑖subscript𝜔𝑛\displaystyle=\int D[\psi_{s},\bar{\psi}_{s}]\int D[\Psi_{s},\bar{\Psi}_{s}]% \mathrm{e}^{-\sum_{\omega_{n}}S_{s}(i\omega_{n})}.= ∫ italic_D [ italic_ψ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT , over¯ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ] ∫ italic_D [ roman_Ψ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT , over¯ start_ARG roman_Ψ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ] roman_e start_POSTSUPERSCRIPT - ∑ start_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_i italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT . (66)

The action, Sssubscript𝑆𝑠S_{s}italic_S start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT in partition function (66)

Ss(iωn)=[ψ¯s,Ψ¯s][DsiωnT+TLsiωn][ψsΨs],subscript𝑆𝑠𝑖subscript𝜔𝑛subscript¯𝜓𝑠subscript¯Ψ𝑠delimited-[]subscriptsuperscript𝑠𝐷𝑖subscript𝜔𝑛superscript𝑇missing-subexpressionmissing-subexpression𝑇subscriptsuperscript𝑠𝐿𝑖subscript𝜔𝑛missing-subexpressionmissing-subexpressionmatrixsubscript𝜓𝑠subscriptΨ𝑠\displaystyle S_{s}(i\omega_{n})=[\bar{\psi}_{s},\bar{\Psi}_{s}]\left[\begin{% array}[]{cccc}\mathcal{H}^{s}_{D}-i\omega_{n}&T^{+}\\ T&\mathcal{H}^{s}_{L}-i\omega_{n}\end{array}\right]\begin{bmatrix}\psi_{s}\\ \Psi_{s}\end{bmatrix},italic_S start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_i italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) = [ over¯ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT , over¯ start_ARG roman_Ψ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ] [ start_ARRAY start_ROW start_CELL caligraphic_H start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - italic_i italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_CELL start_CELL italic_T start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_T end_CELL start_CELL caligraphic_H start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_i italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ] [ start_ARG start_ROW start_CELL italic_ψ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL roman_Ψ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] , (69)

with

Ds=ϵDrτz+shDr+ΔDrτx.subscriptsuperscript𝑠𝐷subscriptsuperscriptitalic-ϵ𝑟𝐷subscript𝜏𝑧𝑠superscriptsubscript𝐷𝑟subscriptsuperscriptΔ𝑟𝐷subscript𝜏𝑥\displaystyle\mathcal{H}^{s}_{D}=\epsilon^{r}_{D}\tau_{z}+sh_{D}^{r}+\Delta^{r% }_{D}\tau_{x}.caligraphic_H start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT + italic_s italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT . (70)

The Grassmann variables in Nambu space read

ψs=(dssd¯s),ψ¯s=(d¯ssds),formulae-sequencesubscript𝜓𝑠subscript𝑑𝑠𝑠subscript¯𝑑𝑠subscript¯𝜓𝑠subscript¯𝑑𝑠𝑠subscript𝑑𝑠missing-subexpressionmissing-subexpression\displaystyle\psi_{s}=\left(\begin{array}[]{c}d_{s}\\ -s\bar{d}_{-s}\end{array}\right),\bar{\psi}_{s}=\left(\begin{array}[]{cccc}% \bar{d}_{s}&-sd_{-s}\end{array}\right),italic_ψ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = ( start_ARRAY start_ROW start_CELL italic_d start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - italic_s over¯ start_ARG italic_d end_ARG start_POSTSUBSCRIPT - italic_s end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) , over¯ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = ( start_ARRAY start_ROW start_CELL over¯ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_CELL start_CELL - italic_s italic_d start_POSTSUBSCRIPT - italic_s end_POSTSUBSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ) , (74)
Ψs=jn𝒌(c𝒌ssc¯𝒌s),Ψ¯s=jn𝒌(c¯𝒌ssc𝒌s).formulae-sequencesubscriptΨ𝑠subscriptdirect-sum𝑗𝑛𝒌subscript𝑐𝒌𝑠𝑠subscript¯𝑐𝒌𝑠subscript¯Ψ𝑠subscriptdirect-sum𝑗𝑛𝒌subscript¯𝑐𝒌𝑠𝑠subscript𝑐𝒌𝑠missing-subexpressionmissing-subexpression\displaystyle\Psi_{s}=\bigoplus_{jn\boldsymbol{k}}\left(\begin{array}[]{c}c_{% \boldsymbol{k}s}\\ -s\bar{c}_{-\boldsymbol{k}-s}\end{array}\right),\bar{\Psi}_{s}=\bigoplus_{jn% \boldsymbol{k}}\left(\begin{array}[]{cccc}\bar{c}_{\boldsymbol{k}s}&-sc_{-% \boldsymbol{k}-s}\end{array}\right).roman_Ψ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = ⨁ start_POSTSUBSCRIPT italic_j italic_n bold_italic_k end_POSTSUBSCRIPT ( start_ARRAY start_ROW start_CELL italic_c start_POSTSUBSCRIPT bold_italic_k italic_s end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - italic_s over¯ start_ARG italic_c end_ARG start_POSTSUBSCRIPT - bold_italic_k - italic_s end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) , over¯ start_ARG roman_Ψ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = ⨁ start_POSTSUBSCRIPT italic_j italic_n bold_italic_k end_POSTSUBSCRIPT ( start_ARRAY start_ROW start_CELL over¯ start_ARG italic_c end_ARG start_POSTSUBSCRIPT bold_italic_k italic_s end_POSTSUBSCRIPT end_CELL start_CELL - italic_s italic_c start_POSTSUBSCRIPT - bold_italic_k - italic_s end_POSTSUBSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ) . (78)

In principle, we are required to diagonalize Eq. (69) and attain partition function as follows

lnZssuperscript𝑍𝑠\displaystyle\ln Z^{s}roman_ln italic_Z start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT =lηln(1+eβElsη).absentsubscript𝑙𝜂1superscript𝑒𝛽subscript𝐸𝑙𝑠𝜂\displaystyle=\sum_{l\eta}\ln{\left(1+e^{-\beta E_{ls\eta}}\right)}.= ∑ start_POSTSUBSCRIPT italic_l italic_η end_POSTSUBSCRIPT roman_ln ( 1 + italic_e start_POSTSUPERSCRIPT - italic_β italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ) . (79)

The mean values, in Eqs. (61-63), can be expressed by the Andreev partition function

(n+n1)=1βϵDrlnZs,delimited-⟨⟩subscript𝑛delimited-⟨⟩subscript𝑛11𝛽subscriptsuperscriptitalic-ϵ𝑟𝐷superscript𝑍𝑠\displaystyle\left(\left\langle n_{\uparrow}\right\rangle+\left\langle n_{% \downarrow}\right\rangle-1\right)=-\frac{1}{\beta}\frac{\partial}{\partial% \epsilon^{r}_{D}}\ln Z^{s},( ⟨ italic_n start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ⟩ + ⟨ italic_n start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT ⟩ - 1 ) = - divide start_ARG 1 end_ARG start_ARG italic_β end_ARG divide start_ARG ∂ end_ARG start_ARG ∂ italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG roman_ln italic_Z start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT , (80)
(nn+s)=1βhDrlnZs,delimited-⟨⟩subscript𝑛delimited-⟨⟩subscript𝑛𝑠1𝛽subscriptsuperscript𝑟𝐷superscript𝑍𝑠\displaystyle\left(\left\langle n_{\uparrow}\right\rangle-\left\langle n_{% \downarrow}\right\rangle+s\right)=-\frac{1}{\beta}\frac{\partial}{\partial h^{% r}_{D}}\ln Z^{s},( ⟨ italic_n start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ⟩ - ⟨ italic_n start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT ⟩ + italic_s ) = - divide start_ARG 1 end_ARG start_ARG italic_β end_ARG divide start_ARG ∂ end_ARG start_ARG ∂ italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG roman_ln italic_Z start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT , (81)
sdsds=12βΔDrlnZs.delimited-⟨⟩𝑠subscript𝑑𝑠subscript𝑑𝑠12𝛽subscriptsuperscriptΔ𝑟𝐷superscript𝑍𝑠\displaystyle\left\langle sd_{s}d_{-s}\right\rangle=-\frac{1}{2\beta}\frac{% \partial}{\partial\Delta^{r}_{D}}\ln Z^{s}.⟨ italic_s italic_d start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT - italic_s end_POSTSUBSCRIPT ⟩ = - divide start_ARG 1 end_ARG start_ARG 2 italic_β end_ARG divide start_ARG ∂ end_ARG start_ARG ∂ roman_Δ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG roman_ln italic_Z start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT . (82)

Then, Coulomb interaction results in self-consistent equations

ϵDr=ϵD+U2U2βϵDrlnZs,subscriptsuperscriptitalic-ϵ𝑟𝐷subscriptitalic-ϵ𝐷𝑈2𝑈2𝛽subscriptsuperscriptitalic-ϵ𝑟𝐷superscript𝑍𝑠\displaystyle\epsilon^{r}_{D}=\epsilon_{D}+\frac{U}{2}-\frac{U}{2\beta}\frac{% \partial}{\partial\epsilon^{r}_{D}}\ln Z^{s},italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + divide start_ARG italic_U end_ARG start_ARG 2 end_ARG - divide start_ARG italic_U end_ARG start_ARG 2 italic_β end_ARG divide start_ARG ∂ end_ARG start_ARG ∂ italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG roman_ln italic_Z start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT , (83)
hDr=hD+sU2+U2βhDrlnZs,subscriptsuperscript𝑟𝐷subscript𝐷𝑠𝑈2𝑈2𝛽subscriptsuperscript𝑟𝐷superscript𝑍𝑠\displaystyle h^{r}_{D}=h_{D}+s\frac{U}{2}+\frac{U}{2\beta}\frac{\partial}{% \partial h^{r}_{D}}\ln Z^{s},italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_s divide start_ARG italic_U end_ARG start_ARG 2 end_ARG + divide start_ARG italic_U end_ARG start_ARG 2 italic_β end_ARG divide start_ARG ∂ end_ARG start_ARG ∂ italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG roman_ln italic_Z start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT , (84)
ΔDr=U2βΔDrlnZs.subscriptsuperscriptΔ𝑟𝐷𝑈2𝛽subscriptsuperscriptΔ𝑟𝐷superscript𝑍𝑠\displaystyle\Delta^{r}_{D}=-\frac{U}{2\beta}\frac{\partial}{\partial\Delta^{r% }_{D}}\ln Z^{s}.roman_Δ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = - divide start_ARG italic_U end_ARG start_ARG 2 italic_β end_ARG divide start_ARG ∂ end_ARG start_ARG ∂ roman_Δ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG roman_ln italic_Z start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT . (85)

By substitution of Eq. (79), Eqs. (83-85) become

ϵDr=ϵD+U2+U2lηf(Elsη)ϵDrElsη,subscriptsuperscriptitalic-ϵ𝑟𝐷subscriptitalic-ϵ𝐷𝑈2𝑈2subscript𝑙𝜂𝑓subscript𝐸𝑙𝑠𝜂subscriptsuperscriptitalic-ϵ𝑟𝐷subscript𝐸𝑙𝑠𝜂\displaystyle\epsilon^{r}_{D}=\epsilon_{D}+\frac{U}{2}+\frac{U}{2}\sum_{l\eta}% f\left(E_{ls\eta}\right)\frac{\partial}{\partial\epsilon^{r}_{D}}E_{ls\eta},italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + divide start_ARG italic_U end_ARG start_ARG 2 end_ARG + divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_l italic_η end_POSTSUBSCRIPT italic_f ( italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT ) divide start_ARG ∂ end_ARG start_ARG ∂ italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT , (86)
hDr=hD+sU2U2lηf(Elsη)hDrElsη,subscriptsuperscript𝑟𝐷subscript𝐷𝑠𝑈2𝑈2subscript𝑙𝜂𝑓subscript𝐸𝑙𝑠𝜂subscriptsuperscript𝑟𝐷subscript𝐸𝑙𝑠𝜂\displaystyle h^{r}_{D}=h_{D}+s\frac{U}{2}-\frac{U}{2}\sum_{l\eta}f\left(E_{ls% \eta}\right)\frac{\partial}{\partial h^{r}_{D}}E_{ls\eta},italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_s divide start_ARG italic_U end_ARG start_ARG 2 end_ARG - divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_l italic_η end_POSTSUBSCRIPT italic_f ( italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT ) divide start_ARG ∂ end_ARG start_ARG ∂ italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT , (87)
ΔDr=U2lηf(Elsη)ΔDrElsη.subscriptsuperscriptΔ𝑟𝐷𝑈2subscript𝑙𝜂𝑓subscript𝐸𝑙𝑠𝜂subscriptsuperscriptΔ𝑟𝐷subscript𝐸𝑙𝑠𝜂\displaystyle\Delta^{r}_{D}=-\frac{U}{2}\sum_{l\eta}f\left(E_{ls\eta}\right)% \frac{\partial}{\partial\Delta^{r}_{D}}E_{ls\eta}.roman_Δ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = - divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_l italic_η end_POSTSUBSCRIPT italic_f ( italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT ) divide start_ARG ∂ end_ARG start_ARG ∂ roman_Δ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT . (88)

where we have used the relations

XDrlnZssubscriptsuperscript𝑋𝑟𝐷superscript𝑍𝑠\displaystyle\frac{\partial}{\partial X^{r}_{D}}\ln Z^{s}divide start_ARG ∂ end_ARG start_ARG ∂ italic_X start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG roman_ln italic_Z start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT =βlηf(Elsη)XDrElsη.absent𝛽subscript𝑙𝜂𝑓subscript𝐸𝑙𝑠𝜂subscriptsuperscript𝑋𝑟𝐷subscript𝐸𝑙𝑠𝜂\displaystyle=-\beta\sum_{l\eta}f\left(E_{ls\eta}\right)\frac{\partial}{% \partial X^{r}_{D}}E_{ls\eta}.= - italic_β ∑ start_POSTSUBSCRIPT italic_l italic_η end_POSTSUBSCRIPT italic_f ( italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT ) divide start_ARG ∂ end_ARG start_ARG ∂ italic_X start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT . (89)

Here we can pick up anyone spin species.

Let us first switch off the quantum tunneling between quantum dot and superconductors. For Γ=0Γ0\Gamma=0roman_Γ = 0, we have ΔDr=0subscriptsuperscriptΔ𝑟𝐷0\Delta^{r}_{D}=0roman_Δ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = 0. Thus, Eq. (65) reduces to

Esη=shDr+η(ϵDr)2,subscript𝐸𝑠𝜂𝑠subscriptsuperscript𝑟𝐷𝜂superscriptsubscriptsuperscriptitalic-ϵ𝑟𝐷2\displaystyle E_{s\eta}=sh^{r}_{D}+\eta\sqrt{\left(\epsilon^{r}_{D}\right)^{2}},italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT = italic_s italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_η square-root start_ARG ( italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (90)

and Eqs. (86) and (87) reduce to

ϵDr=ϵD+U2+U2ηηf(Esη)ϵDr(ϵDr)2,subscriptsuperscriptitalic-ϵ𝑟𝐷subscriptitalic-ϵ𝐷𝑈2𝑈2subscript𝜂𝜂𝑓subscript𝐸𝑠𝜂subscriptsuperscriptitalic-ϵ𝑟𝐷superscriptsubscriptsuperscriptitalic-ϵ𝑟𝐷2\displaystyle\epsilon^{r}_{D}=\epsilon_{D}+\frac{U}{2}+\frac{U}{2}\sum_{\eta}% \eta f(E_{s\eta})\frac{\epsilon^{r}_{D}}{\sqrt{\left(\epsilon^{r}_{D}\right)^{% 2}}},italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + divide start_ARG italic_U end_ARG start_ARG 2 end_ARG + divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT italic_η italic_f ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) divide start_ARG italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG start_ARG square-root start_ARG ( italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG , (91)
hDr=hD+sU2U2ηsf(Esη).subscriptsuperscript𝑟𝐷subscript𝐷𝑠𝑈2𝑈2subscript𝜂𝑠𝑓subscript𝐸𝑠𝜂\displaystyle h^{r}_{D}=h_{D}+s\frac{U}{2}-\frac{U}{2}\sum_{\eta}sf\left(E_{s% \eta}\right).italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + italic_s divide start_ARG italic_U end_ARG start_ARG 2 end_ARG - divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT italic_s italic_f ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) . (92)

We note that Es+=Essubscript𝐸limit-from𝑠subscript𝐸limit-from𝑠E_{s+}=-E_{-s-}italic_E start_POSTSUBSCRIPT italic_s + end_POSTSUBSCRIPT = - italic_E start_POSTSUBSCRIPT - italic_s - end_POSTSUBSCRIPT and hence we have

f(E+)𝑓subscript𝐸absent\displaystyle f\left(E_{\uparrow+}\right)italic_f ( italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT ) f(E)=f(E)f(E+)𝑓subscript𝐸absent𝑓subscript𝐸absent𝑓subscript𝐸absent\displaystyle-f\left(E_{\uparrow-}\right)=f\left(-E_{\downarrow-}\right)-f% \left(-E_{\downarrow+}\right)- italic_f ( italic_E start_POSTSUBSCRIPT ↑ - end_POSTSUBSCRIPT ) = italic_f ( - italic_E start_POSTSUBSCRIPT ↓ - end_POSTSUBSCRIPT ) - italic_f ( - italic_E start_POSTSUBSCRIPT ↓ + end_POSTSUBSCRIPT ) (93)
=f(E+)f(E),absent𝑓subscript𝐸absent𝑓subscript𝐸absent\displaystyle=f\left(E_{\downarrow+}\right)-f\left(E_{\downarrow-}\right),= italic_f ( italic_E start_POSTSUBSCRIPT ↓ + end_POSTSUBSCRIPT ) - italic_f ( italic_E start_POSTSUBSCRIPT ↓ - end_POSTSUBSCRIPT ) ,
1limit-from1\displaystyle 1-1 - f(E+)f(E)=1f(E)𝑓subscript𝐸absent𝑓subscript𝐸absent1𝑓subscript𝐸absent\displaystyle f\left(E_{\uparrow+}\right)-f\left(E_{\uparrow-}\right)=1-f\left% (-E_{\downarrow-}\right)italic_f ( italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT ) - italic_f ( italic_E start_POSTSUBSCRIPT ↑ - end_POSTSUBSCRIPT ) = 1 - italic_f ( - italic_E start_POSTSUBSCRIPT ↓ - end_POSTSUBSCRIPT ) (94)
f(E+)=1+f(E+)+f(E).𝑓subscript𝐸absent1𝑓subscript𝐸absent𝑓subscript𝐸absent\displaystyle-f\left(-E_{\downarrow+}\right)=-1+f\left(E_{\downarrow+}\right)+% f\left(E_{\downarrow-}\right).- italic_f ( - italic_E start_POSTSUBSCRIPT ↓ + end_POSTSUBSCRIPT ) = - 1 + italic_f ( italic_E start_POSTSUBSCRIPT ↓ + end_POSTSUBSCRIPT ) + italic_f ( italic_E start_POSTSUBSCRIPT ↓ - end_POSTSUBSCRIPT ) .

Therefore, both ϵDrsubscriptsuperscriptitalic-ϵ𝑟𝐷\epsilon^{r}_{D}italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and hDrsubscriptsuperscript𝑟𝐷h^{r}_{D}italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT are independent of s𝑠sitalic_s. For hD,ϵD>0subscript𝐷subscriptitalic-ϵ𝐷0h_{D},\epsilon_{D}>0italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT , italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT > 0. The QPT happens at |ϵDr|=hDrsubscriptsuperscriptitalic-ϵ𝑟𝐷subscriptsuperscript𝑟𝐷|\epsilon^{r}_{D}|=h^{r}_{D}| italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT | = italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT. For positive ϵDrsubscriptsuperscriptitalic-ϵ𝑟𝐷\epsilon^{r}_{D}italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT, we have ϵDr=hDrsubscriptsuperscriptitalic-ϵ𝑟𝐷superscriptsubscript𝐷𝑟\epsilon^{r}_{D}=h_{D}^{r}italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT. By substitution of Eqs. (91) and (92), we find

ϵDc,+=hDUf(E+),subscriptsuperscriptitalic-ϵ𝑐𝐷subscript𝐷𝑈𝑓subscript𝐸absent\displaystyle\epsilon^{c,+}_{D}=h_{D}-Uf(E_{\uparrow+}),italic_ϵ start_POSTSUPERSCRIPT italic_c , + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - italic_U italic_f ( italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT ) , (95)

which at zero temperature reduces to ϵDc,+=hDsubscriptsuperscriptitalic-ϵ𝑐𝐷subscript𝐷\epsilon^{c,+}_{D}=h_{D}italic_ϵ start_POSTSUPERSCRIPT italic_c , + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT due to f(E+)0𝑓subscript𝐸absent0f(E_{\uparrow+})\rightarrow 0italic_f ( italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT ) → 0. For negative ϵDrsubscriptsuperscriptitalic-ϵ𝑟𝐷\epsilon^{r}_{D}italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT, we have ϵDr=hDrsubscriptsuperscriptitalic-ϵ𝑟𝐷superscriptsubscript𝐷𝑟\epsilon^{r}_{D}=-h_{D}^{r}italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = - italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT. By substitution of Eqs. (91) and (92), we find

ϵDc,subscriptsuperscriptitalic-ϵ𝑐𝐷\displaystyle\epsilon^{c,-}_{D}italic_ϵ start_POSTSUPERSCRIPT italic_c , - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT =hDU+Uf(E+),absentsubscript𝐷𝑈𝑈𝑓subscript𝐸absent\displaystyle=-h_{D}-U+Uf(E_{\uparrow+}),= - italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - italic_U + italic_U italic_f ( italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT ) , (96)

which at zero temperature reduces to ϵDc,=hDUsubscriptsuperscriptitalic-ϵ𝑐𝐷subscript𝐷𝑈\epsilon^{c,-}_{D}=-h_{D}-Uitalic_ϵ start_POSTSUPERSCRIPT italic_c , - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = - italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - italic_U due to f(E+)0𝑓subscript𝐸absent0f(E_{\uparrow+})\rightarrow 0italic_f ( italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT ) → 0.

Next, we switch on the quantum tunneling between the quantum dot and superconductors. Figs. 3 (a) and (b), respectively, plot the Andreev levels as a function of ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and ϕitalic-ϕ\phiitalic_ϕ in the presence of Coulomb interaction. We see a clear zero-energy shift (green arrows) due to the Coulomb interaction. This shift cause an enhancement of the region of the double ground state plotted in Figs. 3 (c) and (d), which plot the phase diagram as a function of ϵDsubscriptitalic-ϵ𝐷\epsilon_{D}italic_ϵ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and ϕitalic-ϕ\phiitalic_ϕ for hL/Δ=0subscript𝐿Δ0h_{L}/\Delta=0italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT / roman_Δ = 0 and hL/Δ=0.2subscript𝐿Δ0.2h_{L}/\Delta=0.2italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT / roman_Δ = 0.2, respectively. The Coulomb interaction, preferring doublet, enhances the region of the doublet ground state [Fig. 3 (c)], which can be further enhanced by the spin-split proximity effect (hL0subscript𝐿0h_{L}\neq 0italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ≠ 0) [Fig. 3 (d)]. Moreover, we find the Coulomb enhancement of the doublet ground state depends on the phase difference, ϕitalic-ϕ\phiitalic_ϕ. Take ϕ=πitalic-ϕ𝜋\phi=\piitalic_ϕ = italic_π as an example. The superconducting proximity effects from two superconductors interfere destructively. Thus, we have ΔDr=0subscriptsuperscriptΔ𝑟𝐷0\Delta^{r}_{D}=0roman_Δ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = 0 and the Andreev levels (65) reduces to

Esη=s11+Γ~s(Esη)[hDr+Γ~s(Esη)hL]+η|ϵDr|1+Γ~s(Esη).subscript𝐸𝑠𝜂𝑠11subscript~Γ𝑠subscript𝐸𝑠𝜂delimited-[]subscriptsuperscript𝑟𝐷subscript~Γ𝑠subscript𝐸𝑠𝜂subscript𝐿𝜂subscriptsuperscriptitalic-ϵ𝑟𝐷1subscript~Γ𝑠subscript𝐸𝑠𝜂\displaystyle E_{s\eta}=s\frac{1}{1+\tilde{\Gamma}_{s}(E_{s\eta})}\left[h^{r}_% {D}+\tilde{\Gamma}_{s}(E_{s\eta})h_{L}\right]+\eta\frac{|\epsilon^{r}_{D}|}{1+% \tilde{\Gamma}_{s}(E_{s\eta})}.italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT = italic_s divide start_ARG 1 end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG [ italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ] + italic_η divide start_ARG | italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT | end_ARG start_ARG 1 + over~ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT ) end_ARG . (97)

Read from Eq. (97), it is clear that we have

η|ϵDr|Esη=shDrEsη.𝜂subscriptsuperscriptitalic-ϵ𝑟𝐷subscript𝐸𝑠𝜂𝑠subscriptsuperscript𝑟𝐷subscript𝐸𝑠𝜂\displaystyle\eta\frac{\partial}{\partial|\epsilon^{r}_{D}|}E_{s\eta}=s\frac{% \partial}{\partial h^{r}_{D}}E_{s\eta}.italic_η divide start_ARG ∂ end_ARG start_ARG ∂ | italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT | end_ARG italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT = italic_s divide start_ARG ∂ end_ARG start_ARG ∂ italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT italic_s italic_η end_POSTSUBSCRIPT . (98)

The QPT happens at zero Andreev levels. Without loss of generality, we set hD,hL>0subscript𝐷subscript𝐿0h_{D},h_{L}>0italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT , italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT > 0 and we have EA=EA+=0subscriptsuperscript𝐸absentAsubscriptsuperscript𝐸absentA0E^{\uparrow-}_{\text{A}}=E^{\downarrow+}_{\text{A}}=0italic_E start_POSTSUPERSCRIPT ↑ - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT A end_POSTSUBSCRIPT = italic_E start_POSTSUPERSCRIPT ↓ + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT A end_POSTSUBSCRIPT = 0 at |ϵDr|=hDr+Γ~(0)hLsubscriptsuperscriptitalic-ϵ𝑟𝐷subscriptsuperscript𝑟𝐷~Γ0subscript𝐿|\epsilon^{r}_{D}|=h^{r}_{D}+\tilde{\Gamma}(0)h_{L}| italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT | = italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG ( 0 ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT, where Γ~(0)=2Γ/Δ2hL2~Γ02ΓsuperscriptΔ2superscriptsubscript𝐿2\tilde{\Gamma}(0)=2\Gamma/\sqrt{\Delta^{2}-h_{L}^{2}}over~ start_ARG roman_Γ end_ARG ( 0 ) = 2 roman_Γ / square-root start_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG. Let us consider two cases. Let us begin with ϵDr>0subscriptsuperscriptitalic-ϵ𝑟𝐷0\epsilon^{r}_{D}>0italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT > 0 case. By substitution of Eqs. (86) and (87), we reach

ϵDc,+=Γ~(0)hL+hDU2lηf(Elη)(hDr+ϵDr)Elη.subscriptsuperscriptitalic-ϵ𝑐𝐷~Γ0subscript𝐿subscript𝐷𝑈2subscript𝑙𝜂𝑓subscript𝐸𝑙𝜂subscriptsuperscript𝑟𝐷subscriptsuperscriptitalic-ϵ𝑟𝐷subscript𝐸𝑙𝜂\displaystyle\epsilon^{c,+}_{D}=\tilde{\Gamma}(0)h_{L}+h_{D}-\frac{U}{2}\sum_{% l\eta}f(E_{l\uparrow\eta})\left(\frac{\partial}{\partial h^{r}_{D}}+\frac{% \partial}{\partial\epsilon^{r}_{D}}\right)E_{l\uparrow\eta}.italic_ϵ start_POSTSUPERSCRIPT italic_c , + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = over~ start_ARG roman_Γ end_ARG ( 0 ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT + italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_l italic_η end_POSTSUBSCRIPT italic_f ( italic_E start_POSTSUBSCRIPT italic_l ↑ italic_η end_POSTSUBSCRIPT ) ( divide start_ARG ∂ end_ARG start_ARG ∂ italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG + divide start_ARG ∂ end_ARG start_ARG ∂ italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG ) italic_E start_POSTSUBSCRIPT italic_l ↑ italic_η end_POSTSUBSCRIPT . (99)

Next, we study ϵDr<0subscriptsuperscriptitalic-ϵ𝑟𝐷0\epsilon^{r}_{D}<0italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT < 0 case. By substitution of Eqs. (86) and (87), we reach

ϵDc,subscriptsuperscriptitalic-ϵ𝑐𝐷\displaystyle\epsilon^{c,-}_{D}italic_ϵ start_POSTSUPERSCRIPT italic_c , - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT =hDΓ~(0)hLUabsentsubscript𝐷~Γ0subscript𝐿𝑈\displaystyle=-h_{D}-\tilde{\Gamma}(0)h_{L}-U= - italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - over~ start_ARG roman_Γ end_ARG ( 0 ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_U (100)
+U2lηf(Elη)(hDrϵDr)Elη.𝑈2subscript𝑙𝜂𝑓subscript𝐸𝑙𝜂subscriptsuperscript𝑟𝐷subscriptsuperscriptitalic-ϵ𝑟𝐷subscript𝐸𝑙𝜂\displaystyle+\frac{U}{2}\sum_{l\eta}f(E_{l\uparrow\eta})\left(\frac{\partial}% {\partial h^{r}_{D}}-\frac{\partial}{\partial\epsilon^{r}_{D}}\right)E_{l% \uparrow\eta}.+ divide start_ARG italic_U end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_l italic_η end_POSTSUBSCRIPT italic_f ( italic_E start_POSTSUBSCRIPT italic_l ↑ italic_η end_POSTSUBSCRIPT ) ( divide start_ARG ∂ end_ARG start_ARG ∂ italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG - divide start_ARG ∂ end_ARG start_ARG ∂ italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG ) italic_E start_POSTSUBSCRIPT italic_l ↑ italic_η end_POSTSUBSCRIPT .

For simplicity, we consider weak tunnel coupling, small dot energy, and small Coulomb interaction limits, where the dot energy and field dependence of quasiparticle energy Elsηsubscript𝐸𝑙𝑠𝜂E_{ls\eta}italic_E start_POSTSUBSCRIPT italic_l italic_s italic_η end_POSTSUBSCRIPT is dominated by Andreev levels, i.e.,

hDrElηδl,1hDrEη,similar-to-or-equalssubscriptsuperscript𝑟𝐷subscript𝐸𝑙𝜂subscript𝛿𝑙1subscriptsuperscript𝑟𝐷subscript𝐸absent𝜂\displaystyle\frac{\partial}{\partial h^{r}_{D}}E_{l\uparrow\eta}\simeq\delta_% {l,1}\frac{\partial}{\partial h^{r}_{D}}E_{\uparrow\eta},divide start_ARG ∂ end_ARG start_ARG ∂ italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT italic_l ↑ italic_η end_POSTSUBSCRIPT ≃ italic_δ start_POSTSUBSCRIPT italic_l , 1 end_POSTSUBSCRIPT divide start_ARG ∂ end_ARG start_ARG ∂ italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT ↑ italic_η end_POSTSUBSCRIPT , (101)
ϵDrElηδl,1ϵDrEη.similar-to-or-equalssubscriptsuperscriptitalic-ϵ𝑟𝐷subscript𝐸𝑙𝜂subscript𝛿𝑙1subscriptsuperscriptitalic-ϵ𝑟𝐷subscript𝐸absent𝜂\displaystyle\frac{\partial}{\partial\epsilon^{r}_{D}}E_{l\uparrow\eta}\simeq% \delta_{l,1}\frac{\partial}{\partial\epsilon^{r}_{D}}E_{\uparrow\eta}.divide start_ARG ∂ end_ARG start_ARG ∂ italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT italic_l ↑ italic_η end_POSTSUBSCRIPT ≃ italic_δ start_POSTSUBSCRIPT italic_l , 1 end_POSTSUBSCRIPT divide start_ARG ∂ end_ARG start_ARG ∂ italic_ϵ start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT ↑ italic_η end_POSTSUBSCRIPT . (102)

By substitution of Eq. (98), Eq. (99) becomes

ϵDc,+=Γ~(0)hL+hDUf(E+)hDrE+,subscriptsuperscriptitalic-ϵ𝑐𝐷~Γ0subscript𝐿subscript𝐷𝑈𝑓subscript𝐸absentsubscriptsuperscript𝑟𝐷subscript𝐸absent\displaystyle\epsilon^{c,+}_{D}=\tilde{\Gamma}(0)h_{L}+h_{D}-Uf(E_{\uparrow+})% \frac{\partial}{\partial h^{r}_{D}}E_{\uparrow+},italic_ϵ start_POSTSUPERSCRIPT italic_c , + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = over~ start_ARG roman_Γ end_ARG ( 0 ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT + italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - italic_U italic_f ( italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT ) divide start_ARG ∂ end_ARG start_ARG ∂ italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT , (103)

which at zero temperature reduces to ϵDc,+=hD+Γ~(0)hLsubscriptsuperscriptitalic-ϵ𝑐𝐷subscript𝐷~Γ0subscript𝐿\epsilon^{c,+}_{D}=h_{D}+\tilde{\Gamma}(0)h_{L}italic_ϵ start_POSTSUPERSCRIPT italic_c , + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT + over~ start_ARG roman_Γ end_ARG ( 0 ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT due to f(E+)0𝑓subscript𝐸absent0f(E_{\uparrow+})\rightarrow 0italic_f ( italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT ) → 0. Therefore, positive critical dot energy (103), at ϕ=πitalic-ϕ𝜋\phi=\piitalic_ϕ = italic_π and T=0𝑇0T=0italic_T = 0K, is independent of U𝑈Uitalic_U but relies on hDsubscript𝐷h_{D}italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT, hLsubscript𝐿h_{L}italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT, and ΓΓ\Gammaroman_Γ [red circles of Figs. 3 (c) and (d)]. Moreover, by substitution of Eq. (98), Eq. (100) becomes

ϵDc,subscriptsuperscriptitalic-ϵ𝑐𝐷\displaystyle\epsilon^{c,-}_{D}italic_ϵ start_POSTSUPERSCRIPT italic_c , - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT =hDΓ~(0)hLU+Uf(E+)hDrE+,absentsubscript𝐷~Γ0subscript𝐿𝑈𝑈𝑓subscript𝐸absentsubscriptsuperscript𝑟𝐷subscript𝐸absent\displaystyle=-h_{D}-\tilde{\Gamma}(0)h_{L}-U+Uf(E_{\uparrow+})\frac{\partial}% {\partial h^{r}_{D}}E_{\uparrow+},= - italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - over~ start_ARG roman_Γ end_ARG ( 0 ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_U + italic_U italic_f ( italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT ) divide start_ARG ∂ end_ARG start_ARG ∂ italic_h start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_ARG italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT , (104)

which at zero temperature reduces to ϵDc,=hDΓ~(0)hLUsubscriptsuperscriptitalic-ϵ𝑐𝐷subscript𝐷~Γ0subscript𝐿𝑈\epsilon^{c,-}_{D}=-h_{D}-\tilde{\Gamma}(0)h_{L}-Uitalic_ϵ start_POSTSUPERSCRIPT italic_c , - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = - italic_h start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - over~ start_ARG roman_Γ end_ARG ( 0 ) italic_h start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_U due to, again, f(E+)0𝑓subscript𝐸absent0f(E_{\uparrow+})\rightarrow 0italic_f ( italic_E start_POSTSUBSCRIPT ↑ + end_POSTSUBSCRIPT ) → 0. The negative critical dot energy (104) is shifted by Coulomb interaction [black circles of Figs. 3 (c) and (d)].

References

  • Zazunov et al. [2003] A. Zazunov, V. Shumeiko, E. Bratus, J. Lantz, and G. Wendin, Andreev level qubit, Phys. Rev. Lett. 90, 087003 (2003).
  • Janvier et al. [2015] C. Janvier, L. Tosi, L. Bretheau, Ç. Girit, M. Stern, P. Bertet, P. Joyez, D. Vion, D. Esteve, M. Goffman, et al., Coherent manipulation of andreev states in superconducting atomic contacts, Science 349, 1199 (2015).
  • Bretheau et al. [2013a] L. Bretheau, Ç. Girit, C. Urbina, D. Esteve, and H. Pothier, Supercurrent spectroscopy of andreev states, Phys. Rev. X 3, 041034 (2013a).
  • Bretheau et al. [2013b] L. Bretheau, Ç. Girit, H. Pothier, D. Esteve, and C. Urbina, Exciting andreev pairs in a superconducting atomic contact, Nature 499, 312 (2013b).
  • Chtchelkatchev and Nazarov [2003] N. M. Chtchelkatchev and Y. V. Nazarov, Andreev quantum dots for spin manipulation, Phys. Rev. Lett. 90, 226806 (2003).
  • Tosi et al. [2019] L. Tosi, C. Metzger, M. Goffman, C. Urbina, H. Pothier, S. Park, A. L. Yeyati, J. Nygård, and P. Krogstrup, Spin-orbit splitting of andreev states revealed by microwave spectroscopy, Phys. Rev. X 9, 011010 (2019).
  • Hays et al. [2021] M. Hays, V. Fatemi, D. Bouman, J. Cerrillo, S. Diamond, K. Serniak, T. Connolly, P. Krogstrup, J. Nygård, A. L. Yeyati, A. Geresdi, and M. H. Devoret, Coherent manipulation of an andreev spin qubit, Science 373, 430 (2021).
  • Wendin and Shumeiko [2021] G. Wendin and V. Shumeiko, Coherent manipulation of a spin qubit, Science 373, 390 (2021).
  • Valentini et al. [2021] M. Valentini, F. Peñaranda, A. Hofmann, M. Brauns, R. Hauschild, P. Krogstrup, P. San-Jose, E. Prada, R. Aguado, and G. Katsaros, Nontopological zero-bias peaks in full-shell nanowires induced by flux-tunable andreev states, Science 373, 82 (2021).
  • Franke et al. [2011] K. Franke, G. Schulze, and J. Pascual, Competition of superconducting phenomena and kondo screening at the nanoscale, Science 332, 940 (2011).
  • Lee et al. [2017] E. J. Lee, X. Jiang, R. Aguado, C. M. Lieber, S. De Franceschi, et al., Scaling of subgap excitations in a superconductor-semiconductor nanowire quantum dot, Phys. Rev. B 95, 180502 (2017).
  • Meng et al. [2009] T. Meng, S. Florens, and P. Simon, Self-consistent description of andreev bound states in josephson quantum dot devices, Phys. Rev. B 79, 224521 (2009).
  • Vecino et al. [2003] E. Vecino, A. Martín-Rodero, and A. L. Yeyati, Josephson current through a correlated quantum level: Andreev states and π𝜋\piitalic_π junction behavior, Phys. Rev. B 68, 035105 (2003).
  • Deacon et al. [2010] R. Deacon, Y. Tanaka, A. Oiwa, R. Sakano, K. Yoshida, K. Shibata, K. Hirakawa, and S. Tarucha, Tunneling spectroscopy of andreev energy levels in a quantum dot coupled to a superconductor, Phys. Rev. Lett. 104, 076805 (2010).
  • Lim et al. [2015] J. S. Lim, R. López, R. Aguado, et al., Shiba states and zero-bias anomalies in the hybrid normal-superconductor anderson model, Phys. Rev. B 91, 045441 (2015).
  • Higginbotham et al. [2015] A. P. Higginbotham, S. M. Albrecht, G. Kiršanskas, W. Chang, F. Kuemmeth, P. Krogstrup, T. S. Jespersen, J. Nygård, K. Flensberg, and C. M. Marcus, Parity lifetime of bound states in a proximitized semiconductor nanowire, Nat. Phys. 11, 1017 (2015).
  • Jellinggaard et al. [2016] A. Jellinggaard, K. Grove-Rasmussen, M. H. Madsen, and J. Nygård, Tuning yu-shiba-rusinov states in a quantum dot, Phys. Rev. B 94, 064520 (2016).
  • Lee et al. [2014] E. J. Lee, X. Jiang, M. Houzet, R. Aguado, C. M. Lieber, and S. De Franceschi, Spin-resolved andreev levels and parity crossings in hybrid superconductor–semiconductor nanostructures, Nat. Nanotechnol. 9, 79 (2014).
  • Dvir et al. [2019] T. Dvir, M. Aprili, C. H. Quay, and H. Steinberg, Zeeman tunability of andreev bound states in van der waals tunnel barriers, Phys. Rev. Lett. 123, 217003 (2019).
  • Lee et al. [2022] M. Lee, R. López, H. Q. Xu, and G. Platero, Proposal for detection of the 0superscript0{0}^{{}^{\prime}}0 start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT and πsuperscript𝜋{\pi}^{{}^{\prime}}italic_π start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT phases in quantum-dot josephson junctions, Phys. Rev. Lett. 129, 207701 (2022).
  • Liu et al. [2019] Y. Liu, S. Vaitiekenas, S. Martí-Sánchez, C. Koch, S. Hart, Z. Cui, T. Kanne, S. A. Khan, R. Tanta, S. Upadhyay, et al., Semiconductor–ferromagnetic insulator–superconductor nanowires: Stray field and exchange field, Nano Lett. 20, 456 (2019).
  • Vaitiekėnas et al. [2021] S. Vaitiekėnas, Y. Liu, P. Krogstrup, and C. Marcus, Zero-bias peaks at zero magnetic field in ferromagnetic hybrid nanowires, Nat. Phys. 17, 43 (2021).
  • Kürtössy et al. [2021] O. Kürtössy, Z. Scherübl, G. Fülöp, I. E. Lukács, T. Kanne, J. Nygård, P. Makk, and S. Csonka, Andreev molecule in parallel InAs nanowires, Nano Lett. 21, 7929 (2021).
  • Rozhkov and Arovas [1999] A. Rozhkov and D. P. Arovas, Josephson coupling through a magnetic impurity, Phys. Rev. Lett. 82, 2788 (1999).
  • Bulla et al. [2008] R. Bulla, T. A. Costi, and T. Pruschke, Numerical renormalization group method for quantum impurity systems, Rev. Mod. Phys. 80, 395 (2008).
  • Siano and Egger [2004] F. Siano and R. Egger, Josephson current through a nanoscale magnetic quantum dot, Phys. Rev. Lett. 93, 047002 (2004).
  • Yeyati et al. [1997] A. L. Yeyati, J. Cuevas, A. López-Dávalos, and A. Martin-Rodero, Resonant tunneling through a small quantum dot coupled to superconducting leads, Phys. Rev. B 55, R6137 (1997).
  • Martín-Rodero and Levy Yeyati [2011] A. Martín-Rodero and A. Levy Yeyati, Josephson and andreev transport through quantum dots, Adv. Phys. 60, 899 (2011).
  • Yoshioka and Ohashi [2000] T. Yoshioka and Y. Ohashi, Numerical renormalization group studies on single impurity anderson model in superconductivity: A unified treatment of magnetic, nonmagnetic impurities, and resonance scattering, J. Phys. Soc. Jpn. 69, 1812 (2000).
  • Karrasch et al. [2008] C. Karrasch, A. Oguri, and V. Meden, Josephson current through a single anderson impurity coupled to bcs leads, Phys. Rev. B 77, 024517 (2008).
  • Wentzell et al. [2016] N. Wentzell, S. Florens, T. Meng, V. Meden, and S. Andergassen, Magnetoelectric spectroscopy of andreev bound states in josephson quantum dots, Phys. Rev. B 94, 085151 (2016).
  • Kurilovich et al. [2021] P. D. Kurilovich, V. D. Kurilovich, V. Fatemi, M. H. Devoret, and L. I. Glazman, Microwave response of an andreev bound state, Phys. Rev. B 104, 174517 (2021).
  • Bauer et al. [2007] J. Bauer, A. Oguri, and A. Hewson, Spectral properties of locally correlated electrons in a bardeen–cooper–schrieffer superconductor, J. Phys. Condens. Matter 19, 486211 (2007).
  • Meden [2019] V. Meden, The anderson–josephson quantum dot—a theory perspective, J. Phys. Condens. Matter 31, 163001 (2019).
  • Fatemi et al. [2021] V. Fatemi, P. Kurilovich, M. Hays, D. Bouman, T. Connolly, S. Diamond, N. Frattini, V. Kurilovich, P. Krogstrup, J. Nygard, et al., Microwave susceptibility observation of interacting many-body andreev states, arXiv:2112.05624  (2021).
  • Zalom [2023] P. Zalom, Rigorous wilsonian renormalization group for impurity models with a spectral gap, Phys. Rev. B 108, 195123 (2023).
  • Zalom and Žonda [2022] P. Zalom and M. Žonda, Subgap states spectroscopy in a quantum dot coupled to gapped hosts: Unified picture for superconductor and semiconductor bands, Phys. Rev.B 105, 205412 (2022).
  • Pavešič et al. [2023] L. Pavešič, R. Aguado, and R. Žitko, Quantum dot josephson junctions in the strong-coupling limit, arXiv preprint arXiv:2304.12456 https://doi.org/10.48550/arXiv.2304.12456 (2023).
  • van Gerven Oei et al. [2017] W.-V. van Gerven Oei, D. Tanasković, and R. Žitko, Magnetic impurities in spin-split superconductors, Phys. Rev.B 95, 085115 (2017).
  • Kiršanskas et al. [2015] G. Kiršanskas, M. Goldstein, K. Flensberg, L. I. Glazman, and J. Paaske, Yu-shiba-rusinov states in phase-biased superconductor–quantum dot–superconductor junctions, Phys. Rev. B 92, 235422 (2015).
  • Probst et al. [2016] B. Probst, F. Domínguez, A. Schroer, A. L. Yeyati, and P. Recher, Signatures of nonlocal cooper-pair transport and of a singlet-triplet transition in the critical current of a double-quantum-dot josephson junction, Phys. Rev. B 94, 155445 (2016).
  • Larkin and Varlamov [2005] A. Larkin and A. Varlamov, Theory of fluctuations in superconductors (Clarendon Press, 2005).
  • Fulde and Ferrell [1964] P. Fulde and R. A. Ferrell, Superconductivity in a strong spin-exchange field, Phys. Rev. 135, A550 (1964).
  • Zhang et al. [2020] X. Zhang, V. Golovach, F. Giazotto, and F. Bergeret, Phase-controllable nonlocal spin polarization in proximitized nanowires, Phys. Rev. B 101, 180502 (2020).
  • Bergeret et al. [2004] F. Bergeret, A. Volkov, and K. Efetov, Induced ferromagnetism due to superconductivity in superconductor-ferromagnet structures, Phys. Rev. B 69, 174504 (2004).
  • De Gennes and Pincus [2018] P.-G. De Gennes and P. A. Pincus, Superconductivity of metals and alloys (CRC Press, 2018).
  • Zhang and Yao [2024] X.-P. Zhang and Y. Yao, Fermi sea and sky in the bogoliubov-de gennes equation, arXiv preprint arXiv:2404.07423 https://doi.org/10.48550/arXiv.2404.07423 (2024).
  • Zhang [2024] X.-P. Zhang, Fabry-perot superconducting diode, arXiv preprint arXiv:2404.08962 https://doi.org/10.48550/arXiv.2404.08962 (2024).
  • Sakurai [1970] A. Sakurai, Comments on Superconductors with Magnetic Impurities, Prog. Theor. Phys. 44, 1472 (1970).
  • Pillet et al. [2010] J. Pillet, C. Quay, P. Morfin, C. Bena, A. L. Yeyati, and P. Joyez, Andreev bound states in supercurrent-carrying carbon nanotubes revealed, Nat. Phys. 6, 965 (2010).
  • Whiticar et al. [2021] A. Whiticar, A. Fornieri, A. Banerjee, A. Drachmann, S. Gronin, G. Gardner, T. Lindemann, M. Manfra, and C. Marcus, Zeeman-driven parity transitions in an andreev quantum dot, Phys. Rev. B 103, 245308 (2021).
  • Chang et al. [2013] W. Chang, V. Manucharyan, T. Jespersen, J. Nygård, and C. Marcus, Tunneling spectroscopy of quasiparticle bound states in a spinful josephson junction, Phys. Rev. Lett. 110, 217005 (2013).
  • Bernevig [2013] B. A. Bernevig, Topological insulators and topological superconductors, chapter 16, in Topological Insulators and Topological Superconductors (Princeton university press, 2013).
  • Silvester [2000] J. R. Silvester, Determinants of block matrices, Math. Gaz. 84, 460 (2000).
  • Futterer et al. [2013] D. Futterer, J. Swiebodzinski, M. Governale, and J. König, Renormalization effects in interacting quantum dots coupled to superconducting leads, Phys. Rev. B 87, 014509 (2013).