Superconducting Proximity Effect
A superconducting interface can correlate electrons in a region whose local pairing interaction is zero, while the same interface weakens the parent superconductor. That reciprocal spatial reconstruction is the superconducting proximity effect. It is not merely an Andreev-reflection event at an ideal boundary, and it is not summarized by one fitted induced-gap number.
This page develops the equilibrium bulk boundary-value problem. Its central objects are the anomalous Green function, the local self-consistent pair potential, and the retarded spectrum. The page shows when a trajectory-resolved Eilenberger description is controlled, when impurity isotropization permits a Usadel reduction, how interfaces conserve spectral current, and how inverse proximity and spin-active conversion change the material claim.
Required background. BCS Theory supplies the homogeneous parent paired state, while Green Functions in Many-Body QM supplies the correlator, Dyson, and spectral language.
Helpful background. Thermal Green Functions and the Matsubara Formalism Preview derive the thermal-circle machinery used here. Boltzmann Transport and Disorder in Quantum Matter help distinguish ballistic and diffusive scales. The chapter gateway routes neighboring London, Ginzburg–Landau, Josephson, vortex, and pairing questions.
Declare the Bulk-Proximity Problem
Section titled “Declare the Bulk-Proximity Problem”Before choosing an equation, record the same ten fields used by the chapter gateway.
- Platform and state. Give the layer sequence, thicknesses, lateral dimensions, temperature, applied field, bias, preparation, and equilibrium status.
- Claimed coherent object. Name the anomalous amplitude, local pair potential, transition temperature, spectral minigap, supercurrent, or other target. Do not use “proximity” as the object.
- Degrees of freedom. State the bands, Fermi-surface sheets, spin or pseudospin basis, Nambu basis, and which layers retain an attractive interaction.
- Symmetry and convention. Declare charge, gauge, Fourier, Matsubara, interface-normal, spin, and particle–hole conventions.
- Scale hierarchy. Compare , parent gap, , exchange and spin–orbit energies, elastic and inelastic rates, mean free path, layer thicknesses, coherence lengths, and probe resolution.
- Theory regime. Choose a microscopic Gor’kov or Bogoliubov–de Gennes treatment, trajectory-resolved quasiclassics, a diffusive Usadel reduction, or a near-transition Ginzburg–Landau description. State the outer boundaries, interface matching law, rigid-reservoir or self-consistent choice, and failure test.
- Requested observable. Specify a local density of states, transition temperature, integrated current, magnetic response, or spatial correlation rather than an unobservable intermediate alone.
- Forward model. Include contacts, tunneling matrix elements, tip density of states, thermal and instrumental convolution, geometry, and sampling.
- Evidence and alternatives. Require thickness, temperature, field, or magnetic-configuration controls against heating, pinholes, damaged layers, stray fields, and nonunique broadening.
- Uncertainty and stopping rule. Separate sample, parameter, interface, solver, continuation, and measurement errors, then name a falsifier and the point at which a more microscopic, nonequilibrium, mesoscopic, or topological owner is required.
The output is a licensed claim, not merely a converged curve. A good stopping statement might be: “These state-matched thickness and spectral data support a diffusive anomalous correlation in the normal layer, but do not determine a unique microscopic transparency.”
Separate Anomalous Amplitude, Pair Potential, and Spectral Minigap
Section titled “Separate Anomalous Amplitude, Pair Potential, and Spectral Minigap”Use inverse-energy imaginary time with , so . For fermionic fields, define
For any relative-time correlator, the Fourier pair is
Thus Fermi antisymmetry gives, after transforming relative coordinate and inverse-energy imaginary time,
The momentum-space and Wigner expressions on this page use a fixed gauge. The explicit scalar and linearized spatial benchmarks set . In a nonzero vector potential, a gauge-covariant Wigner transform must include the appropriate Wilson link between the two field points; a bare relative-coordinate Fourier transform is not gauge covariant.
Throughout this page, is a fermionic Matsubara energy,
not an angular frequency. In function arguments we suppress the leading and write as shorthand for . A full thermal sum means ; expressions restricted to display their compensating factor explicitly.
The pair potential is a self-energy produced by an interaction kernel. Define as the antisymmetrized pair kernel in the displayed index order, with negative eigenvalues in attractive channels. Take the equal-time limit as : fermionic time ordering fixes this reversed annihilator order. Define the equal-time gap by
The Matsubara form is then
where the momentum measure and cutoff or renormalization must be declared. If the normal layer has no retained attractive interaction, , then
That nonzero does not by itself establish a new broken symmetry, a local attraction, or a spectral gap.
A spectral minigap is a property of a retarded solution and its boundary conditions. Let be the normal-state local density of states in the same per-spin or spin-summed convention used for . In the scalar convention introduced below,
Analytic continuation, inelastic self-energy, temperature convolution, and instrument resolution intervene between a Matsubara pair amplitude and a measured spectrum. Thus , , a minimum quasiparticle energy, a local density-of-states edge, a tunneling threshold, and remain distinct even when a simple model relates them.
Geometry, Scales, and Regime Selection
Section titled “Geometry, Scales, and Regime Selection”Let the interface normal be , with material 1 at and material 2 at . Define the elastic mean free path , a layer thickness , and the Thouless energy
is a dwell or diffusion scale, not automatically a minigap. For example, the often-quoted belongs only to a long, transparent, zero-phase diffusive SNS junction with negligible pair breaking and adequate spectral resolution.
The approximation hierarchy is:
- use a microscopic Gor’kov or Bogoliubov–de Gennes treatment when atomic hybridization, few-mode quantization, rapid spatial variation, or large energy scales invalidate Fermi-surface projection;
- use Eilenberger quasiclassics when , , , , and other retained self-energies are small compared with and envelopes vary slowly compared with ;
- use Usadel only when elastic scattering isotropizes momentum on the relevant scale, typically and , with the retained energies satisfying ;
- use Ginzburg–Landau only for its static, long-wavelength window near a continuous transition.
Eilenberger theory is not synonymous with a perfectly clean sample. It can retain impurity self-energies without performing the dirty angular reduction. Conversely, a large resistivity alone does not prove the scale hierarchy needed by Usadel theory.
Several coherence lengths coexist. The clean BCS estimate , a thermal ballistic propagation length, a diffusive thermal length, an exchange-driven decay or oscillation length, and a spin-relaxation length answer different questions. At zero temperature, clean or diffusive correlations may acquire long algebraic tails; one finite-temperature exponential must not be extrapolated blindly.
From Gor’kov to Eilenberger
Section titled “From Gor’kov to Eilenberger”Use the Nambu spinor for the spin-inactive singlet benchmark and define
Let act in this Nambu space and let be band energy measured from the chemical potential. This page uses the phase-rotated microscopic convention
For a real gap, the BdG pairing term is therefore . This Nambu-phase choice is deliberate: with the -weighted projection below, the anomalous part of lies along . A convention with the real microscopic gap along rotates that projected component to and must rotate every subsequent matrix consistently.
With the corresponding fixed-gauge Wigner Green function, define the dimensionless quasiclassical propagator by
This definition fixes the normalization used here. Other literature absorbs into and writes ; formulas cannot be mixed across those conventions.
For electron charge , define a gauge-covariant derivative
In the present normalization, an equilibrium Eilenberger equation can be written
with
The self-energy and Nambu basis must be changed together when spin, bands, or another convention is added. For a uniform real singlet gap with ,
which both commutes with and satisfies . Those two checks catch many sign and normalization errors.
In a normal region, linearize the anomalous component for . Along a trajectory with ,
so
The lowest Matsubara energy therefore gives
Grazing trajectories, surface roughness, finite inelastic scattering, and Fermi-surface anisotropy all alter the spatial average. This trajectory result is not a universal single coherence length.
Diffusive Propagation and the Usadel Equation
Section titled “Diffusive Propagation and the Usadel Equation”When impurity scattering makes the leading quasiclassical propagator nearly isotropic, angular harmonics can be eliminated. The matrix Usadel equation in the same convention is
Normalization is built into a spectral-angle parameterization. Only for an equilibrium, one-dimensional, isotropic, single-band, spin-singlet, spin-inactive system with real , no phase gradient, and , set
For the scalar decay benchmarks below, take so that ; negative Matsubara energies are recovered from the stated fermionic symmetry relation.
Then
The uniform solution has , agreeing with the bulk check above. Inside a weakly correlated normal region, and , hence
where
This is a thermal decay scale, not . A scalar angle also cannot carry general spin-active, multiband, anisotropic, phase-textured, or nonequilibrium structure. Those cases require the matrix equation or a more microscopic description.
Interfaces, Boundary Conditions, and Conserved Spectral Current
Section titled “Interfaces, Boundary Conditions, and Conserved Spectral Current”An interface is not specified by the word “transparent.” Record its area, normal, crystalline registry, roughness, spin activity, conductance channels, and whether the boundary parameters were measured or fitted.
For a low-transparency, spin-inactive diffusive interface at , use one common coordinate increasing from material 1 to material 2. A scalar Kupriyanov–Lukichev boundary condition in the conventions above is
where is interface conductance per area. The equality expresses conservation of spectral current, and are the normal-state conductivities in the two diffusive materials. With outward normals on each material, one derivative changes sign. The convention must be stated before interpreting a sign.
In matrix form, the same low-transparency statement is
Neither nor its bare derivative is universally continuous. Arbitrary transparency, spin filtering, spin mixing, multiband mismatch, and rough interfaces require Zaitsev, Nazarov, or generalized spin-active boundary conditions. Atomic-scale reconstruction can invalidate the entire continuum boundary model.
A “rigid superconductor” boundary fixes the parent propagator and ignores backaction. It is controlled only when the parent is a sufficiently large, stiff reservoir and the interface plus neighboring layer do not appreciably suppress it. That approximation cannot by itself support an inverse-proximity or -suppression claim.
Inverse Proximity and Self-Consistent Transition Suppression
Section titled “Inverse Proximity and Self-Consistent Transition Suppression”The direct and inverse effects are one coupled solution. Correlations enter the normal or magnetic material, while depleted spectral weight and pair breaking feed back on the superconducting layer.
Where a local pairing channel has a bare transition temperature , a regularized singlet self-consistency condition can be written
The pairing representation, density-of-states convention, and cutoff renormalization are implicit in this compact form and must be declared in a calculation. It is not used in a layer with no local attractive channel; there one sets but still solves for .
Near a transition, linearizing the transport and self-consistency equations turns into a global eigenvalue problem over all superconducting regions and interfaces. A local symbol is generally not the right object. Thickness-dependent suppression can also arise from damaged material, interdiffusion, strain, charge transfer, magnetic contamination, finite-size pair breaking, or a changed phonon spectrum. A self-consistent proximity fit must therefore close against structural and normal-state controls.
The rigid and self-consistent calculations answer different questions:
- a rigid calculation asks how a specified reservoir induces correlations and spectral structure in its neighbor;
- a self-consistent calculation asks how the complete heterostructure redistributes pair amplitude and changes and ;
- a microscopic calculation may additionally change the band structure, screening, and interaction kernel at the interface.
Spin, Ferromagnets, and Pair-Symmetry Conversion
Section titled “Spin, Ferromagnets, and Pair-Symmetry Conversion”The Pauli constraint requires the combined spin, spatial, and frequency exchange parity of a pair amplitude to be antisymmetric. In a single-band, orbital-symmetric channel, an even-parity equal-spin component must therefore be odd in Matsubara energy. With additional orbital or band labels, their exchange parity must be included. This classification concerns a correlation function; it does not by itself define a separate thermodynamic phase or a topological invariant.
For a collinear diffusive ferromagnet, define the linearized short-range combinations . Here is the exchange-energy coefficient in the declared spin basis. For they satisfy
and therefore
When and spin relaxation is weak, decay and oscillation lengths are both of order
This damped oscillation can produce nonmonotonic or critical-current trends. A thickness oscillation alone does not prove a junction; the Josephson Effect owns phase-sensitive current–phase evidence.
Noncollinear magnetization or a spin-active interface can convert the short-range component into equal-spin triplet correlations that are not dephased by a uniform exchange field. Their ideal thermal scale approaches
but spin–orbit scattering, spin-flip scattering, magnetic texture, interface filtering, and finite energy shorten or reshape it. Long range is not automatic, and an odd-frequency amplitude is neither a unique explanation for a zero-bias peak nor evidence of topology.
How Experiments See Bulk Proximity
Section titled “How Experiments See Bulk Proximity”The correlator itself is representation and gauge covariant. Experiments see spectra, currents, transition shifts, magnetic fields, heat, or scattering intensities through a forward model.
Scanning Tunneling Microscopy and Spectroscopy owns setpoint, tip, matrix-element, thermal, modulation, and resolution effects in . A soft suppression can reflect inelastic broadening, temperature, surface damage, spatial averaging, pair breaking, or an actual soft spectrum. One hard or soft gap does not determine a unique interface transparency.
Transport Measurements owns contact subtraction, geometry, current distribution, heating, and terminal-voltage interpretation. A zero-resistance path may be a filament or short; a terminal supercurrent does not itself image or .
Terahertz and Infrared Probes owns substrate, multilayer electrodynamics, inversion, and optical-resolution effects. An optical onset is not automatically an induced minigap.
The strongest bulk-proximity record combines:
- a thickness or distance series rather than one device;
- state-matched temperature, field, and magnetic-history control;
- a structural and normal-state interface characterization;
- at least one local spectral or thermodynamic observable;
- a self-consistent comparison when inverse proximity or is claimed;
- independent bounds on heating, pinholes, damaged layers, and parallel conduction;
- convergence across model, mesh, continuation, and uncertainty variations.
Production Eilenberger, Usadel, and Bogoliubov–de Gennes software workflows remain a coverage gap. This page supplies the equation and acceptance contract, not a software-specific recipe.
Worked Audit: A Diffusive Superconductor–Normal Bilayer
Section titled “Worked Audit: A Diffusive Superconductor–Normal Bilayer”Consider a synthetic Nb-like superconductor with a normal film. The numerical record is deliberately synthetic so that it tests the workflow without being mistaken for a specific material data set.
- Platform and state. A superconducting film is capped by normal layers of , , and . All spectra are taken at , zero applied field, and the same cooldown history.
- Claimed coherent object. The claim is a diffusive anomalous amplitude in N plus inverse suppression of the parent. The fit distinguishes , , a spectral minigap, and the global bilayer .
- Degrees of freedom. One isotropic spin-degenerate band per layer and a singlet parent are retained. The N layer has no attractive interaction in the model.
- Symmetry and convention. The scalar Nambu convention of this page is used with , increasing from S to N, and no phase gradient or spin-active boundary.
- Scale hierarchy. The parent gap is , , , and . Normal-state inputs give , , , and . For N, and , with , , , and . These values obey the one-band Einstein and parabolic-dispersion checks within uncertainty. The interface has . The N-side Sharvin conductance is , so the synthetic interface uses a monodisperse normal-state channel distribution .
- Theory regime. Since and, as computed below, , a Usadel treatment is licensed. The products and keep both metals on the quasiclassical side of the localization boundary. The inferred scattering scales are and ; even at , , while the retained gap, lowest thermal, and resolved gradient energies are smaller and both scattering scales remain well below their Fermi energies. The self-consistency sum uses coupling renormalization plus a controlled high-energy tail rather than treating every Matsubara energy as a retained low scale. The finite transmission requires a Nazarov boundary condition with the declared channel distribution; the conductance alone would not determine the nonlinear spectral boundary problem. Near , linearization reduces it to the same total-conductance boundary used in the transition eigenproblem. The S layer is solved both rigidly and self-consistently, with zero spectral current at both the outer S surface and the vacuum-facing N surface.
- Requested observable. STS reports gap-like edges , , and as increases. Four-probe transitions move from the isolated-S value to , , and .
- Forward model. The STS model includes the measured normal-tip density of states, Fermi convolution, Gaussian instrumental width, lock-in modulation, and spatial sampling. The transition criterion is fixed at of the same extrapolated normal resistance.
- Evidence and alternatives. Cross-sectional microscopy bounds the interdiffused layer below ; normal-state sheet resistance and roughness are measured for every thickness. Heating, a damaged cap, and a parallel metallic short remain explicit alternatives.
- Uncertainty and stopping rule. Interface, diffusion, broadening, thickness, self-consistency, and spectral-fit uncertainties are varied jointly. The claim stops at a diffusive self-consistent proximity model; one spectrum does not determine a unique transparency or microscopic interface Hamiltonian.
At the lowest Matsubara energy,
Thus . The three Thouless energies are
for , , and respectively. Their trend helps organize the spectra, but the measured edges are not set equal to or to : this is an SN bilayer with finite interface resistance and a self-consistently weakened parent, not the long transparent SNS benchmark.
A rigid-parent calculation can describe induced spectral structure but leaves fixed by construction. The observed systematic suppression therefore requires the self-consistent eigenproblem or a competing structural explanation. Joint agreement with both thickness-dependent spectra and is stronger than either fit alone.
The linearized self-consistent calculation gives transition temperatures , , and for the three N thicknesses, within the combined uncertainty of the synthetic record. The near-saturation between and is expected because the normal-metal coherence length near is about . Normalize the gap eigenfunction to unit maximum: doubling the spatial mesh changes each by less than and the normalized eigenfunction by less than in maximum norm. Cutoff doubling with the asymptotic tail changes each by less than ; the normalized gap-equation and boundary spectral-current residuals remain below . A separate nonlinear Matsubara and retarded solve at supplies the spectral comparison and must carry its own normalization, continuation, and refinement audit; those checks are not inferred from the linearized eigenproblem.
Worked Audit: A Spin-Active Superconductor–Ferromagnet Multilayer
Section titled “Worked Audit: A Spin-Active Superconductor–Ferromagnet Multilayer”Now consider a synthetic S/F multilayer with a controllable noncollinear magnetic spacer.
- Platform and state. A matched sample family contains S/F bilayers for and STS plus symmetric S/F/S junctions for a separate phase-biased current measurement. Each superconducting electrode is thick; the ferromagnetic thickness is , , , , and . Every point uses , the same field-training loop, and remanent collinear or noncollinear configurations verified by magnetometry.
- Claimed coherent object. The bounded claim is conversion from short-range singlet and zero-spin triplet correlations to a longer-ranged equal-spin component. It is not a claim of a new bulk phase, a unique odd-frequency mechanism, or topology.
- Degrees of freedom. A diffusive singlet S band, an exchange-split F band, and a spin-active interface are retained. Orbital depairing is kept as a competing channel.
- Symmetry and convention. Exchange field points along the local magnetization; the Pauli relation on this page fixes spin, momentum-parity, and frequency labels. The interface normal is . Define with spin up along the local interface magnetization; positive denotes a positive spin-mixing conductance moment in that same normal and spin convention.
- Scale hierarchy. Use , , , and . Normal-state data give , , and . Thus , , and . Spin-relaxation and spin–orbit lengths are independently measured to exceed . The parent has , , , , and , with , , , and . Both layers use the same explicit parabolic-band consistency check as the first audit.
- Theory regime. Matrix Usadel equations are the candidate production framework because is shortest. At the thinnest layer, and , below . The exchange energy is smaller still. The normal-state boundary locator records , equivalently , together with and spin-filter polarization . The S-side Sharvin ceiling is , giving total mean transmission . The synthetic boundary uses monodisperse spin channels and , consistent with the stated . The independently bounded is retained as a convention-dependent spin-mixing moment, not inverted into a unique spin-mixing angle. At this finite transparency, these conductance moments do not determine the side-resolved reflection and transmission phases of a full spin-active scattering matrix. That matrix is a required production input, so the audit licenses the bulk regime but stops before a numerical spin-active boundary fit. A production S/F bilayer problem would use zero spectral current at its two outer surfaces and a self-consistent S layer; the companion S/F/S problem would instead fix the reservoir phases and conserve the charge-current projection through both interfaces while retaining interfacial spin-torque balance. The full spin spectral current need not be continuous across a magnetic interface. A scalar equation is explicitly rejected. Atomic pinholes trigger microscopic escalation.
- Requested observable. The bilayers provide and spatial STS. The matched S/F/S junctions provide the decay of a phase-biased critical-current amplitude. Josephson phase, current–phase, switching, and environmental interpretation remain with the Josephson owner.
- Forward model. Magnetometry fixes the collinear and noncollinear configurations; STS includes the same convolution ledger as the first audit. The separate junction analysis uses the measured phase-bias circuit, current distribution, contact resistance, switching statistics, heating, and field-history controls.
- Evidence and alternatives. The collinear control shows a damped thickness oscillation and falls below current sensitivity by . In the noncollinear configuration, a reproducible correlation persists to . Pinholes, stray fields, magnetic dead layers, ordinary Andreev states, and configuration-dependent heating are tested rather than assumed absent.
- Uncertainty and stopping rule. Exchange, diffusion, spin relaxation, interface mixing, magnetic angle, thickness, and probe uncertainties are propagated. The claim stops at long-range converted pair correlation. A quantitative spin-active fit stops until the side-resolved scattering matrix is registered; this audit claims neither a unique phase distribution nor a completed numerical spin-active boundary solve. Phase-sensitive -junction, microscopic interface, topology, and device claims route elsewhere.
The short exchange scale is
where . The ideal thermal equal-spin scale is
Those scales make the configuration dependence plausible, not unique. A convincing inference still requires the observed spin-relaxation bound, thickness trend, magnetization verification, and pinhole and stray-field controls. Equal-spin, even-parity -wave correlation is odd in frequency by Pauli antisymmetry, but that classification is not a thermodynamic phase label.
Common Failure Modes and Canonical Handoffs
Section titled “Common Failure Modes and Canonical Handoffs”- Equating , , and a minigap. They are a correlator, a self-energy, and a spectral property. Keep them separate through the forward model.
- Calling Eilenberger “ballistic” and Usadel “resistive.” The first is the general quasiclassical transport equation; the second needs controlled momentum isotropization.
- Using a rigid parent to claim inverse proximity. Solve self-consistently or limit the claim to induced correlations for a specified reservoir.
- Matching and across every interface. Match conserved spectral current with the boundary condition appropriate to transparency, spin activity, and convention.
- Calling a measured gap. It is a scale. Geometry, phase, interface, temperature, pair breaking, and resolution determine the spectrum.
- Inferring a junction from one oscillation. Use the Josephson Effect for phase-sensitive evidence.
- Calling any long-range signal odd-frequency triplet order. Apply the Pauli classification, bound ordinary alternatives, and avoid converting a correlation symmetry into a new phase.
- Turning a soft gap or zero-bias peak into topology. Topological Superconductors owns invariant, protecting-gap, and boundary-evidence claims.
Proximity and Andreev Physics owns BTK scattering, transmission-resolved Andreev levels, few-mode hybrids, and device evidence. BCS Mean-Field Theory owns the reusable homogeneous Nambu saddle. Ginzburg–Landau Theory owns near- spatial phenomenology. van der Waals Heterostructures and Engineered Heterostructures own assembly, band alignment, charge transfer, and cross-platform interface evidence. This page owns the bulk superconducting correlation problem between those boundaries.
Unconventional Superconductivity owns the stable thermodynamic classification of bulk zero-momentum pairing; this page retains interface-induced symmetry conversion and does not promote an anomalous correlation into a new bulk phase.
Pair-Density Waves and Exotic Orders owns the reusable finite-momentum and odd-frequency order taxonomy; this page only classifies induced correlations inside a declared heterostructure. Device Fabrication Concepts owns process flow, contamination, interface metrology, packaging, and batch-level provenance.
Exercises
Section titled “Exercises”1. Sort a proximity record
Section titled “1. Sort a proximity record”A calculation and experiment report , nonzero , a suppressed self-consistent , minimum positive BdG energy , LDOS edge , tunneling threshold , and a coupled transition at . No independent stiffness measurement exists. Classify the interaction, anomalous amplitude, pair potential, three spectral or probe scales, transition, and phase claim.
Solution
Because the retained N-layer attraction is zero, . The nonzero is an induced anomalous correlator; the suppressed is an inverse-proximity self-energy result. The minimum positive BdG energy belongs to the model spectrum, the LDOS edge to the retarded local spectrum, and the tunneling threshold to a probe convolution. They need not coincide. The value is the global instability of the coupled stack, not a local . Nothing in the record establishes an independently stiff phase in N. A thickness series, controlled forward model, and stiffness or screening test would strengthen the material claim.
2. Select the controlled equation
Section titled “2. Select the controlled equation”For four hypothetical layers, choose the first framework and name its failure test:
- A: , , , and .
- B: the same low-energy scales but and .
- C: a two-atomic-layer interface with strong orbital reconstruction.
- D: a slowly varying film at where only static order-parameter recovery is requested.
Solution
A supports trajectory-resolved Eilenberger quasiclassics, provided all self-energies remain small compared with and spatial variation is slow compared with . B is a Usadel candidate because , but the decision remains conditional until , , , layer thickness, and interface data verify angular isotropization and the full energy hierarchy. C requires a microscopic Gor’kov, tight-binding, or Bogoliubov–de Gennes treatment because the continuum and slow-envelope assumptions fail. D can use Ginzburg–Landau for the stated static near- question, but not for low-temperature spectra. The failure tests are, respectively, loss of scale separation, anisotropic harmonics that do not relax, atomic-scale reconstruction, and departure from the near-transition long-wavelength window.
3. Derive and evaluate diffusive decay
Section titled “3. Derive and evaluate diffusive decay”Solve the linearized Usadel equation in a semi-infinite normal layer with and . Then evaluate for and using the lowest Matsubara energy.
Solution
With ,
The decaying solution is
Numerically,
This is one Matsubara component in a finite-temperature diffusive model, not the full retarded spectrum or a zero-temperature asymptotic theorem.
4. Check an interface condition
Section titled “4. Check an interface condition”At a spin-inactive interface let , , , , and . Use the common- convention to find and . What is continuous?
Solution
The shared spectral-current factor is
Therefore
is continuous in this convention; neither the bare derivative nor is required to be continuous for a finite-resistance interface. Outward-normal derivatives would carry opposite signs.
5. Use a Thouless benchmark without overclaiming
Section titled “5. Use a Thouless benchmark without overclaiming”A long diffusive SNS junction has and . Compute and the ideal zero-phase benchmark . List four conditions needed before comparing it with a measured edge.
Solution
The benchmark requires a long junction with parent , transparent interfaces, zero phase difference, diffusive isotropization, negligible pair breaking, sufficiently low temperature, and resolution narrower than the edge. Naming any four plus a declared forward model earns credit for this exercise; licensing the numerical coefficient requires every applicable assumption. If any required assumption fails, remains useful but is not the licensed minigap.
6. Diagnose inverse proximity
Section titled “6. Diagnose inverse proximity”Two calculations use identical interface and N-layer parameters. Calculation R fixes the S-layer bulk propagator. Calculation S solves the S-layer gap self-consistently. Both fit the N-layer spectrum, but only S predicts the observed reduction. What may each calculation claim?
Solution
R may claim induced spectral and anomalous correlations for a specified rigid reservoir. It cannot attribute a parent-gap or change to inverse proximity because those outputs were excluded by construction. S can support that attribution if the structural, magnetic, heating, and damaged-layer alternatives are also bounded and the global linearized self-consistency problem reproduces . Agreement with one N-layer spectrum alone does not determine a unique interface resistance.
7. Classify and compare S/F scales
Section titled “7. Classify and compare S/F scales”An even-parity equal-spin component in a single-band, orbital-symmetric channel is found in a diffusive ferromagnet with , , and . Classify its frequency parity and calculate the ideal short exchange and long thermal scales.
Solution
Equal spin is symmetric under spin exchange, even spatial parity is symmetric, and the declared orbital channel is symmetric, so Pauli antisymmetry requires odd frequency. An antisymmetric orbital or band channel would change this classification. The scales are
and
The second value is an upper benchmark before spin-flip, spin–orbit, interface, and finite-energy dephasing. Odd-frequency classification does not itself prove long-range propagation, a separate phase, or topology.
8. Audit a hybrid-device claim
Section titled “8. Audit a hybrid-device claim”A superconductor–semiconductor device shows a zero-bias conductance peak and a gate-dependent terminal critical current. Fill the ten-field ledger at a minimum useful level, state the strongest licensed claim, and route the next questions.
Solution
Record material stack, thicknesses, gates, temperature, field orientation and history; distinguish anomalous amplitude, local pair potential, minigap, Andreev level, and terminal current; state bands, spin–orbit and Nambu basis; declare gauge, bias, and sign conventions; compare gap, Zeeman, spin–orbit, temperature, broadening, mean free path, length, and resolution; choose and test microscopic, Eilenberger, or Usadel control; define the requested LDOS or current; include contact, tunneling, temperature, lock-in, heating, and current distribution; test disorder, quantum dots, soft confinement, pinholes, and ordinary Andreev states; and propagate parameter, solver, fit, and measurement uncertainties with a falsifier.
The given record supports only a gate-dependent superconducting hybrid response. Use Proximity and Andreev Physics for BTK scattering and discrete levels, the Josephson Effect for the current–phase and switching problem, Scanning Tunneling Microscopy and Spectroscopy or the relevant transport owner for probe inversion, and Topological Superconductors only after a bulk or defect invariant, protecting gap, and nonunique zero-mode alternatives are addressed.
References
Section titled “References”- W. Belzig, F. K. Wilhelm, C. Bruder, G. Schön, and A. D. Zaikin, “Quasiclassical Green’s Function Approach to Mesoscopic Superconductivity,” Superlattices and Microstructures 25, 1251–1288 (1999), doi:10.1006/spmi.1999.0710.
- F. S. Bergeret, A. F. Volkov, and K. B. Efetov, “Odd Triplet Superconductivity and Related Phenomena in Superconductor–Ferromagnet Structures,” Reviews of Modern Physics 77, 1321–1373 (2005), doi:10.1103/RevModPhys.77.1321.
- A. I. Buzdin, “Proximity Effects in Superconductor–Ferromagnet Heterostructures,” Reviews of Modern Physics 77, 935–976 (2005), doi:10.1103/RevModPhys.77.935.
- P. G. de Gennes, “Boundary Effects in Superconductors,” Reviews of Modern Physics 36, 225–237 (1964), doi:10.1103/RevModPhys.36.225.
- G. Eilenberger, “Transformation of Gorkov’s Equation for Type II Superconductors into Transport-Like Equations,” Zeitschrift für Physik 214, 195–213 (1968), doi:10.1007/BF01379803.
- M. Eschrig, “Spin-Polarized Supercurrents for Spintronics: A Review of Current Progress,” Reports on Progress in Physics 78, 104501 (2015), doi:10.1088/0034-4885/78/10/104501.
- L. P. Gor’kov, “On the Energy Spectrum of Superconductors,” Soviet Physics JETP 7, 505–508 (1958).
- L. P. Gor’kov, “Microscopic Derivation of the Ginzburg–Landau Equations in the Theory of Superconductivity,” Soviet Physics JETP 9, 1364–1367 (1959).
- M. Yu. Kuprianov and V. F. Lukichev, “Influence of Boundary Transparency on the Critical Current of ‘Dirty’ SS’S Structures,” Soviet Physics JETP 67, 1163–1168 (1988).
- A. I. Larkin and Yu. N. Ovchinnikov, “Quasiclassical Method in the Theory of Superconductivity,” Soviet Physics JETP 28, 1200–1205 (1969).
- W. L. McMillan, “Tunneling Model of the Superconducting Proximity Effect,” Physical Review 175, 537–542 (1968), doi:10.1103/PhysRev.175.537.
- Yu. V. Nazarov, “Novel Circuit Theory of Andreev Reflection,” Superlattices and Microstructures 25, 1221–1231 (1999), doi:10.1006/spmi.1999.0738.
- K. D. Usadel, “Generalized Diffusion Equation for Superconducting Alloys,” Physical Review Letters 25, 507–509 (1970), doi:10.1103/PhysRevLett.25.507.
- A. V. Zaitsev, “Quasiclassical Equations of the Theory of Superconductivity for Contiguous Metals and the Properties of Constricted Microcontacts,” Soviet Physics JETP 59, 1015–1024 (1984).