Josephson lattice model for phase fluctuations of local pairs in copper-oxide superconductors

We derive an expression for the effective Josephson coupling from the microscopic Hubbard model. It serves as a starting point for the description of phase fluctuations of local Cooper pairs in $d_{x^2-y^2}$-wave superconductors in the framework of an effective $XY$ model of plaquettes, the Josephson lattice. The expression for the effective interaction is derived by means of the local-force theorem, and it depends on local symmetry-broken correlation functions that we obtain using the cluster dynamical mean-field theory. Moreover, we apply the continuum limit to the Josephson lattice to obtain an expression for the gradient term in the Ginzburg-Landau theory and compare predicted London penetration depths and Kosterlitz-Thouless transition temperatures with experimental data for YBa$_2$Cu$_3$O$_{7-x}$.