1. Introduction
Josephson junction arrays (JJAs) [
1] are fabricated materials which exhibit the superconductor-to-insulator transition (SIT) [
2,
3], a paradigmatic example of a quantum phase transition. Planar, quadratic JJAs are square lattices formed by superconducting islands (typical size O(
m)), deposited on a substrate, with lattice spacing
l (O(100 nm)), Josephson coupling
and capacitances
C between nearest-neighbor islands. An elementary square on the lattice is called a plaquette. Each island is also characterized by the phase of its local-order parameter and by a ground capacitance
. The circulation over a plaquette of the local phase represents the vortex degrees of freedom. When
, JJAs have only two relevant energy scales,
, the energy scale associated with the tunneling of Cooper pairs between the islands, and
, the charging energy, with
e representing the electron charge. A schematic description of such an array is presented in
Figure 1.
The parameters and can be traded for a massive parameter , which represents the plasma frequency of the array, and a dimensionless parameter , which, as shown, drives the phase structure of the theory. In experimental realizations of JJA, the transition between the different phases is achieved by varying with essentially fixed. Varying is much more difficult.
In the classical limit
, global phase coherence is realized, and the array behaves as a superconductor. Above a critical temperature, the array undergoes a Berezinskii–Kosterlitz–Thouless (BKT) transition [
4], and superconductivity is destroyed. When, instead,
, the tunneling between islands is suppressed, and the array becomes insulating. As shown in [
5,
6], however, this is not a usual Mott insulator but a new state of matter, called the superinsulator.
Superinsulators are emergent condensed matter states dual to superconductors: they exhibit infinite resistance even at finite temperatures. They were first theoretically predicted in [
5], while the final form of the theory describing this new state of matter was established in [
7]. Superinsulators have been experimentally detected [
8,
9,
10,
11,
12,
13,
14] in thin superconducting films, which, close to the SIT, have an emergent granularity and behave as a self-organized JJA.
The infinite resistance which characterizes superinsulators is due to linear charge confinement [
7] of both Cooper pairs and electrons in a magnetic monopole plasma. This squeezes electric field lines into electric flux tubes connecting charge–anticharge pairs, in analogy to the Meissner effect in superconductors [
13]. Superinsulators realize, thus, an Abelian version of the dual superconductivity mechanism advocated by ‘t Hooft to explain quark confinement [
15]. In his picture, mesons are chromo-electric strings with quarks at their ends. When quarks are separated, it is energetically favorable to pull out of the vacuum additional quark–antiquark pairs and to form several short strings. Free color charges can never be observed at distances larger than
, and quarks are, thus, confined.
In [
5], we derived a topological gauge theory description of JJAs. For planar JJAs, the relevant term dominant at large distances is the mixed Chern–Simons term [
16]. This is the (2+1)-dimensional version of the BF term [
17], which is the relevant term at long distances in higher dimensions. This description has made it possible to derive the quantum phase diagram of a JJA and to understand the nature of the various phases. This result is particularly important since, as we pointed out before, JJAs are a model for thin superconducting films near the SIT. Correspondingly, the gauge theory of JJAs is also an effective theory for these materials near the SIT. Interesting topological phenomena in JJAs have also be found in [
18], where they arise due to a network structure forming tree-like graphs, with singular behavior of the temperature and magnetic field dependence of the Josephson current.
We have identified three possible phases depending on the value of a parameter
encoding details of the array. When
, there is a direct transition between the superconducting and the superinsulating phases. The superconducting phase actually realizes a new type of superconductivity, which we call type-III superconductivity [
19], in which the gap is opened by a topological mechanism and not by the usual Anderson–Higgs mechanism and which is not described by the standard Ginzburg–Landau theory. Superconductivity is not destroyed by the breaking of Cooper pairs but by a proliferation of vortices, implying a BKT transition in two dimensions and a Vogel–Fulcher–Tamman transition in three dimensions [
19,
20]. This superconductivity model may be relevant for high-
superconductivity [
21]. When
, an intermediate metallic phase opens up between the superconducting and the superinsulating phases [
22,
23]. This is called Bose metal (BM), since charge carriers are Cooper pairs, and has been experimentally confirmed in superconducting films [
24,
25,
26,
27,
28,
29]. This phase has long challenged the understanding of electronic fluids [
30,
31], since it is believed that a metallic phase in two dimensions cannot exist due to localization. Moreover, it was puzzling that certain films realized this phase and others not. In [
22], we were able to identify this phase as a bosonic topological insulator and to explain, through the
-dependence, why this phase appears or not.
In
Section 2, we will review the topological gauge theory formulation of JJAs. We shall focus, in particular, on the role of the kinetic term for vortices. In
Section 3, we will derive the quantum phase structure of JJAs, and, in
Section 4, we will then describe the properties of the new phases of matter, predicted thanks to the gauge theory formulation.
2. Topological Gauge Theory of JJAs
We consider the dynamics of a JJA on a square lattice with sites denoted by
and directions indicated by Greek letters, from 0 to 2. The lattice spacing is
in the 0 direction (time) and
l in the 1 and 2 directions (space). We denote these different spacing compactly by
. The forward and backward finite-difference and shift operators are defined as
where
denotes a unit vector in direction
. Summation by parts on the lattice interchanges both the two finite differences (with a minus sign) and the two shift operators. Using these definition we introduce the operators:
where no summation is implied over the equal indices
and
. These two operators are interchanged by summation by parts with no minus sign. They allow us to define a gauge invariant version of the Chern–Simons operator
on the lattice [
5]. Their products gives the lattice Maxwell operator:
where
is the 3D Laplace operator.
Our starting point is the Hamiltonian for a JJA on the above lattice, with nearest-neighbor Josephson couplings
, ground capacitances
and nearest-neighbor capacitances
C [
1,
32]:
where
indicates nearest neighbors and
is the two-dimensional finite difference Laplacian. In what follows, we will use natural units
,
,
.
Each island is characterized by an electric potential and by the phase of the local-order parameter , which is quantum-mechanically conjugated to the charge on the island. Charges are quantized in integer multiples of 2e (Cooper pairs), .
Using the discrete version of Poisson’s equation:
and introducing the charging energy
, we can rewrite the Hamiltonian Equation (
4) as:
The integer charges
in Equation (
6) interact via a two-dimensional Yukawa potential with mass
, which, in the limit
, becomes a two-dimensional Coulomb potential.
The next step in our derivation of the gauge theory description is the construction of the phase-space path-integral representation [
5] of the JJA. To this end, we introduce a fictitious temperature
and write the partition function of the JJA as:
In the experimentally accessible limit
, this becomes
Since charges are integers, continuous time must be traded for a discrete time with intervals
. We thus also introduce forward and backward finite time differences
and
. Using the Villain representation [
33], we can remove the cosine at the price of introducing a set of integer link variables
. By introducing real charge currents
, we can express the quadratic term
, originating from the Villain approximation, as a Gaussian integrals over these variables,
where we renamed
the integer charges
for reasons outlined below.
The longitudinal part of
is not physical and can be reabsorbed in a redefinition of
. As shown, the transverse degrees of freedom encode the vortices of the model. In fact, it is important to notice that Equation (
9) contains a kinetic term only for the charges but not for vortices. While this omission has no consequences for overdamped junctions, in the general case this is not correct. As shown in [
32], the kinetic term for vortices is generated by integration over charge fluctuations and must thus be already included at the tree level. Moreover, in our case, the Coulomb interaction is long-range, and the dissipation is reduced [
34], making the vortex kinetic term relevant. The kinetic term for the vortices represents tunneling events between adjacent plaquettes of the lattice. These events are the generalizations to two dimensions of quantum phase slips, which play a crucial role in Josephson junction chains [
35]. They can be thought of as half-lines of simultaneous phase slips of opposite chirality, which end on the island between the two adjacent plaquettes. Ballistic vortex motion corresponding to vortex tunneling from one plaquette to the other has actually been experimentally observed in [
36]. The kinetic term for vortices involves the time derivative of
,
. To introduce it properly, let us start by introducing a fictitious electric field
and a real Lagrange multiplier
. Taking the coefficient of the kinetic term as
, we write the vortex kinetic term and the charge Coulomb interaction as:
where now the Coulomb interaction between the charges follows from the Gauss law constraint associated with the Lagrange multiplier
. In this case, we have chosen a particular value of the vortex mass for which the JJA is dual with interchanges of charges and vortices and of
, or, alternatively,
. This is the self-dual approximation introduced in [
5]. It is important to notice, however, that a different vortex mass will, in general, renormalize the value of
and, as consequence, change the quantum parameter
g. A larger or smaller vortex mobility will, thus, influence the phase structure.
The integration over
in Equation (
10) gives the constraint
. The current
is thus conserved and can be represented in terms of a fictitious gauge field
.
In Equation (
11),
is a real variable, while
and
are integers. These can be turned into real variables using Poisson’s formula,
so that all components of the gauge fields
and
become real at the price of introducing integer link variables
and
:
The last step of our derivation consists of reabsorbing the quantity
in a redefinition of the integers
and introducing a set of integers
trough the definition
. This step is justified given that
are the circulations of the array phases around the plaquettes orthogonal to the direction
in 3D Euclidean space-time and are thus quantized as
. At this point, again using Poisson’s formula, we can express the integral over
as a sum over the integer
, giving the final expression for the topological gauge theory describing the JJA:
The first term in the action is the lattice version of the mixed Chern–Simons term, which, being linear in derivatives, is dominant at large distances. The second and third terms are the electric fields for the fictitious gauge fields
and
, respectively. The effect of the CS term is to give a mass to these gauge fields without the Anderson–Higgs mechanism [
16]. This mass is nothing other than the plasma frequency of the array:
. The two kinetic terms have a coupling constant with dimensions of mass and are thus naively irrelevant. However, they cannot be neglected, since the correct topological limit
has to be derived from the full theory, including the kinetic terms, in order to describe physical systems; otherwise, states will not be normalizable. The topological limit
is not well defined without specifying the value of the ratio
g in this limit, and, as we will show, the phase diagram depends crucially on this.
The dual field strengths of the fictitious gauge fields,
and
represent charge and vortex fluctuations, respectively. The integer fields
and
are the electric and magnetic topological excitations, respectively. Together with the vortex number
, the latter forms a three-current
, which is conserved due to gauge invariance in the
gauge sector,
. Perfect duality is broken by the absence of the integer variable
, which can be explained as follows. In contrast to electric Noether charges, magnetic vortices are topological excitations, characterized by a topological quantum number. The configuration space of the theory of vortices decomposes into so-called superselection sectors, characterized by the integer total vortex number. These sectors are connected via instantons, non-perturbative configurations representing quantum tunneling events between topological vacua [
37]. As a consequence, electric charges are conserved, but vortices are not and can “appear” and“disappear” via quantum tunneling events represented by the instantons.
By rescaling the emergent gauge fields, expressed with their canonical dimensions, by
, and using lattice derivatives instead of finite differences, we can rewrite the action in Equation (
14) as
This equation is the limit for
and
of the action:
We can now compute the induced action for the
and
, obtained by integrating over the emergent gauge fields. To this end, we add the term
and the sum over
in the partition function. This term renders the action completely self-dual with respect to electric and magnetic degrees of freedom, which allows us to rewrite Equation (
16) as:
where we rescaled to
. In Equation (
17), gauge invariance imposes the constraint
. Since
, we also have
, implying that there are no “electric instantons”. To recover the exact result for the JJA, we should set
at the end of the calculation. Making the theory perfectly self-dual, however, will not change the nature of the possible phases, which justifies using this approximation.
Integrating out the emergent gauge fields, we obtain [
5,
6]:
The last, imaginary term in the action is a lattice version of the topological linking of electric and magnetic strings, which, due to the Dirac condition, becomes an integer in the limit
. This term is also an integer if we set
. We can, thus, drop it [
5].
3. Quantum Phase Structure
The
quantum phase structure of a JJA is determined by the behavior of the integer fields
and
. These can be decomposed into a transverse component,
,
, representing closed electric and magnetic loops or infinitely long strings, and a longitudinal component,
,
, representing open electric and magnetic strings ending on electric and magnetic monopoles
and
. Notice, however, that, in Equation (
15), only the integers
appear, implying that
.
To determine when infinitely long electric or magnetic strings proliferate, one has to consider the energy–entropy balance determined by the parameters of the model. Let us start from Equation (
18), where we ignore the imaginary term, as explained above. Near the transition, we expect to have very long strings and large loops. These configurations are, in general, very random, and we expect that forces between links in the same loop and in other ones cancel out. Thus, we retain only the self-interaction terms in Equation (
18) [
38]. We assign an energy (equivalent to Euclidean action in statistical field theory) to a closed string made of
N links with integer quantum numbers
Q and
M on all the lattice links forming the string (and zero elsewhere)
where
is the diagonal element of the lattice kernel
representing the inverse of the operator
. The kernel
is defined by the equation
Defining the Fourier transform
, we obtain
Finally, applying the finite difference operator
to the exponential in the Fourier transform gives the final result
The string entropy, however, is also proportional to the length. It is given by
with
, since at each step the non-backtracking strings can choose among five possible directions on which to continue. One can thus assign the free energy
to a string of length
carrying electric and magnetic quantum numbers
Q and
M, respectively. Here, we have introduced the dimensionless parameter
which, together with the ratio
, fully determines the quantum phase structure, as we now show.
The ground state of the quantum model is found by minimizing its free energy as a function of
N. When the energy term in Equation (
23) dominates, the free energy is positive and consequently minimized by short closed-loop configurations. When, instead, the entropy dominates, the free energy is negative and minimized by large strings, long closed loops, and instantons that break the original
gauge symmetry down to
. The condition for condensation of long strings with integer quantum numbers
Q and
M is thus given by
If two or more condensations are allowed, one has to choose the one with the lowest free energy.
This condition describes the interior of an ellipse with semiaxes
on a square lattice of integer electric and magnetic charges. The phase diagram is consequently found by simply recording which integer charges lie within the ellipse when the semi-axes are varied,
For
, the SIT in a JJA occurs via an intermediate phase in which both
and
are dilute. In this phase, the action for the JJA reduces to the action of a bosonic topological insulator [
39]:
The existence of this phase was first predicted in [
5]. The SIT point [
40] is known to be a universal quantum phase transition point with resistance
R equal to the quantum of resistance
. This topological state is often referred to as a Bose metal because it hosts symmetry-protected metallic edge states [
30]. It forms due to the same competition of quantum orders, charge condensate, and vortex condensate that leads to the universal SIT point. This intermediate phase is separated by two quantum BKT transitions from the superinsulating phase for
and from the superconducting phase for
[
22]. For
,
, the saturation of the sheet resistance and the vortex BKT transition has been experimentally observed in [
41] in an Al/InAs JJA using a gate voltage to suppress charge tunneling and drive the transition, thereby confirming the validity of our model. In terms of the array parameters, this means varying
, keeping
fixed to increase the value of
g. An analogue result for
, showing the saturation of the resistance and the charge BKT transition in JJA, confirms that superinsulation, already measured in NbTin films in [
42], is not associated with disorder.
In the superconducting phase, electric topological defects proliferate. It is this new type of superconductivity that we call type-III [
19]. It is characterized by a topological gap, and superconductivity is lost through a BKT transition, both at
and at finite
T, as discussed in the introduction.
For , instead, when lies between and , electric and magnetic excitations coexist, indicating a direct first-order phase transition between the superinsulator and the superconductor.
4. Superinsulators
In the superinsulating phase, it is the magnetic monopole defects
which are condensed. To understand the nature of this phase, we compute the induced effective action for the electromagnetic gauge potential
minimally coupled to the electric current,
where
. The induced action is:
and the corresponding induced current is:
The coupling with the external electromagnetic field can be taken into account by shifting
and
in
to:
we obtain, from Equation (
18),
where, also in this case, we retained only self-interactions. This corresponds to the limit
.
In the superinsulating phase, the electric topological excitations
are suppressed because of their large energy, so that
, and we restore
. By Equation (
32) we thus obtain,
where we used
and finite lattice differences. In Equation (
33), the gauge fields
are periodic with the shifts
, showing that they are angular variables defined on the interval
. What we obtained is the deep non-relativistic limit of Polyakov’s compact QED action [
43,
44], in which only electric fields survive. It is the compactness of the gauge fields that allows the presence of magnetic monopoles (instantons). As we will show, also in the non-relativistic case, the presence of monopoles induces linear confinement of probe charges, which become bound by electric flux tubes. There is, however, one crucial difference with the relativistic case. To see this, we decompose
into its transverse and longitudinal components [
43,
44]:
where
m is integer magnetic monopoles (see
Figure 3).
The sum over
can be traded for the sum over
and
. The integers
are used to shift the integration domain for the gauge field
to
, and the real variables
can be absorbed into the gauge field, giving an integral over the non-compact gauge field
and a sum over the monopole degrees of freedom in the partition function:
where
is the Gaussian integral over
. While, in the relativistic case, monopoles interact with a potential
and are, thus, always in a confining plasma phase, in the non-relativistic case realized in JJA, they interact with the inverse of the spatial Laplacian, which gives a
potential in 2d with
. Monopoles thus undergo a quantum BKT transition with
g playing the role of an inverse temperature. For low values of
g, instantons are free and confine probe charges; at the SIT, instead, instantons become confined, and probe charges are liberated.
To see how instantons modify the Coulomb potential and cause linear confinement, we compute the expectation value of the Wilson loop operator
, where
C is a closed loop in 3D Euclidean space-time restricted to the plane formed by the Euclidean time and one of the space coordinates. This gives the interaction potential between two external probe charges of strength
:
where we absorbed a factor
l in
. A linear interaction between the probe charges will give rise to an area law [
37,
43]:
where
A is the area of the surface
S enclosed by the loop
C and
is called the string tension [
37,
43].
Using the lattice Stoke theorem, one rewrites Equation (
36) as
where the quantities
are unit vectors perpendicular to the plaquettes forming the surface
S encircled by the loop
C and vanish on all other plaquettes. We have also multiplied the Wilson loop operator by 1 in the form
on all plaquettes forming
S. Repeating the steps that lead to Equation (
35), we obtain,
where we neglected
, which is not relevant for what follows [
6].
We now perform the sum over the instantons. To this end, we introduce an auxiliary scalar field
and write the quadratic term in the instantons in Equation (
39) as a Gaussian integral. At low
g, in the deep superinsulating regime, we use the dilute instanton approximation, summing only over the single-monopole configuration
. This gives [
43],
where the angle
represents a dipole sheet on the Wilson surface
S, and the monopole fugacity
z is determined by the self-interaction as
with
being the inverse of the 2D Laplacian at coinciding arguments. Equation (
40) can be rewritten as:
where we define
and we shift
.
To compute the string tension
, we have to evaluate the integral Equation (
42) for both Cooper pairs, with
and single electrons, corresponding to
in our case. To evaluate Equation (
42) we use the saddle point approximation,
valid for small
g where the integral is dominated by the classical solution to the equation of motion. This reduces the problem to a one-dimensional equation when we consider time and one spatial coordinate, e.g., in the
plane far from the boundaries of
S:
To solve this equation, we use the continuum limit [
43] with boundary conditions
for
. For Cooper pairs (
), we obtain:
which gives Equation (
37) with
:
The string binds together charges, prevents charge transport on arrays of a sufficient size and is the origin of the infinite resistance characterizing superinsulation. If we consider, instead, a single-electron probe,
, with the same boundary conditions, we obtain the string tension
which implies that single electrons are also confined. This explains why charge transport mediated by thermally excited normal quasiparticles is not present in superinsulators.
From Equation (
46), we can estimate the typical string size
. Taking the following typical values for the experimental JJA,
nm and
GHz, and taking for
, we arrive at
lattice spacing, which represents the distance between the superconducting islands. This sets a minimum dimension for the arrays to be able to accommodate an electric pion and to show superinsulation. To be able to see superinsulation in JJA, moreover, it is necessary to lower the value of
g, which, in terms of the array parameters, implies increasing the vortex tunneling parameter
. While making
has been experimentally achieved in [
41], the opposite limit seems to be more difficult. It will require a “more insulating” substrate to be able to increase vortex mobility and govern
. Taking as an example the experiment realized in [
41] in Al/InAs JJA, we can imagine an exposed substrate which forms a “dual lattice” with a mechanism that can control the vortex tunneling and, thus,
. In a system like this, it will be possible to independently vary
and
, the key features to explore the phase diagram of the model. We predict that, in this case, it will also be possible to observe superinsulation in JJAs.