ByNobleID
    Construction of a well-defined free energy from the harmonic approximation for Josephson junctions. | NobleID