1. Introduction
Josephson junction arrays (JJA) [
1] are fabricated materials which exhibit the superconductor to insulator transition (SIT) [
2,
3], a paradigmatic example of a quantum phase transition. Planar quadratic JJA are square lattices formed by superconducting island (typical size O(
m)), fabricated on a substrate, with lattice spacing
l (O(100nm)), Josephson coupling
and capacitances
C between nearest neighbour islands. Each islands is also characterized by the phase of the local order parameter, and by a ground capacitance
. When
, JJA 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 the electron charge. The parameters
and
can be traded for a massive parameter
, which represents the plasma frequency of the array, and a dimensionless parameter
, which, as we will see, plays a crucial role in the phase structure of the theory. In experimental realizations of JJA, the transition between the different phases is achieved by varying
and taking
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 arrays undergoes a Bere- zinskii-Kosterlitz-Thouless (BKT) transition [
4] and superconductivity is destroyed. When, instead,
, the tunneling between the islands is suppressed and the arrays shows an insulating behaviour. As it has been shown in [
5,
6], however, this is not an insutaltors, but a new state of matter called superinsulator.
Superinsulators are emergent condensed matter states dual to superconductors, and exhibit an infinite resistance 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, than, been experimentally found in [
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 characterize superinsulators is due to linear charge confinement [
7] of both Cooper pairs and electrons in a magnetic monopole plasma, which squeezes electric field lines into electric flux tubes connecting charge-anticharge pairs, in analogy with the Meissner effects in superconductors [
13]. Superinsulators realize, thus, an Abelian version of the dual superconductivity mechanism advocated by ‘t Hooft to explain quark confinement [
15]. In this picture chromo-electric strings will form with quarks at their ends and, when quarks are pulled apart, it is energetically favourable to pull out of the vacuum additional quark-antiquark pairs and to form several short strings. Free colour charge can never be observed on distances larger than
and quarks are, thus, confined.
In [
5] we derived a topological gauge theory description of JJA. For planar JJA the relevant term, dominant at large distances is the mixed Chern-Simons term [
16], which is nothing else than 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 JJA and to understand the nature of the various phases. This result is particularly important since, as we pointed out before, JJA are a model for thin superconducting films near the SIT, and the gauge theory which describes JJA is also an effective theory for these materials at the SIT.
We have identified three possible phases: when a parameter
, which depends on the details of the array, is
, there is a direct transition between the superinsulating phase and the superconducting phase. The superconducting phase is a new type of superconductivity, which we called type III superconductivity [
18], characterized by the fact that the gap is opened trough a topological mechanism and not trough the Higgs menhanism and is not described by the standard Landau-Ginzurg theory. Superconductivity is destroyed by proliferation of vortices, implying a BKT transition in two dimensions and a Vogel-Fulcher-Tamman transition in three dimensions, and not by the breaking of Cooper pairs [
18,
19]. This superconductivity model can be relevant for high-
superconductivity [
20]. When
an intermediate phase opens up between the superinsulating and the superconducting phase [
21,
22]. This metallic phase in two spatial dimensions, called Bose metal (BM) since charge carriers are Cooper pairs, arising at the SIT and experimentally found in superconducting films [
23,
24,
25,
26,
27,
28,
29], has for long time challenged the understanding of electronic fluids [
30,
31]. In fact it is believed that a metallic phase in two-dimensions cannot exist due to localization. Moreover it was not clear why certain films had this phase and others not. In [
21] we have been able to identify this phase as a bosonic topological insulators and to establish, trough the parameter
, which depends on the film characteristics, when this phase appears.
In section 2 we will review the topological gauge theory formulation of JJA. We will, in particular, discuss the role of the kinetic term for vortices in the description of JJA. In section 3 we will derive the quantum phase strucure of JJA and, in section 4, we will describe the properties of the new phase of matter, theoretically predicted thanks to the topological gauge theory description of JJA, the superinsulator.
2. Topological gauge theory of JJA
We will consider JJA defined on a square lattice, so we start by defining our lattice notation. We will consider a 3-dimensional Euclidean lattice with sites denoted by
and directions, indicated by Greek letters, going from 0 to 2. The lattice spacing is
in the 0 direction (time) and
l in the 1 and 2 directions (space).The forward and backward finite difference and shift operators are defined as (we denoted the lattice spacing as
only to distinguish between the 0 and 1 and 2 directions)
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 planar JJA with nearest neighbours Josephson couplings
, ground capacitances
and nearest neighbours capacitances
C [
1,
32]:
where
indicates nearest neighbours 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 order parameter , which are quantum-mechanically conjugated to the charges on the islands. The 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 eq. (
4) as:
The integer charges
in eq. (
6) interact via a two-dimensional Yukawa potential with mass
which, in the limit
, becomes a 2-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:
which, in the limit
, experimentally accessible, becomes
Continuous time must be treated for a discrete time with interval steps
, since our degrees of freedom changes only by integer steps, introducing, thus, also a forward and backward finite time differences
and
. Using the Villain representation [
33], we can get rid of the cosine at the price of introducing a set of integer link variables
. By introducing real charge currents
, we can express the quadratic term
, which comes from the Villain approximation, as a Gaussian integrals over these variables, thereby obtaining:
where we renamed
the integer charges
.
The longitudinal part of
is not physical, and can be reabsorbed in a redefinition of
. As we will see, the transverse degrees of freedom encode the vortex degrees of freedom. In fact, it is important to notice that eq. (
9) contains a kinetic term only for the charges, but not for vortices. While for overdamped junction this omission has no consequences, 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 included at 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 generalization of quantum phase slips, which plays a crucial role in Josephson chain [
35], to two dimensions. They can be seen as half-lines of simultaneous phase slips of opposite chirality, which end in the island between the two adjacent plaquettes. Ballistic vortex motion, represented by phase slips corresponding to one vortex tunneling from one plaquette to the other, has actually been exeperimentally observed in [
36]. The kinetic term for vortices will involve the time derivative of
,
. 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 under 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
g, the parameter which, as we will see drive the quantum phase transition. A bigger or smaller vortex mobility will, thus, influence the possible phases which are observed.
The next step is to notice that the integration over
in eq. (
10) gives the constraint
, the current
is, thus, conserved and can be represented in terms of a fictitious gauge field
In eq. (
11)
is a real variable, and
and
are integers, which can be made real using Poisson’s formula:
so that all components of the gauge fields
and
are real, at the price of introducing integer link variables
and
,
The last step of our derivation consist in reabsorbing the quantity
in a redefinition of the integers
, and in introducing a set of integers
trough the definition
. This step is justified by noticing 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, using again 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 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 Higgs mechanism [
16]. The mass that these fields acquires is nothing else than the plasma frequency of the array:
. The two kinetic terms have a coupling constant with dimensions of mass and are thus naively irrelevant. They cannot, however, 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 the states will not be normalizable. The topological limit
is not well defined without specifying the value of their 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 integers fields
and
are the electric and magnetic topological excitations respectively. Together with the vortex number
, the latter form a 3-current
which is conserved due to gauge invariance in the
gauge sector,
. Perfect duality is broken by the absence of the integer variable
. As we will see, for the
variables, the quantity
corresponds to vortices that appear and disappears on the arrays, possible because topological charges are not conserved. Noether charges coming from symmetry are, instead, conserved and we do not have the variable
. Contrary to charges, vortices are, thus, 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, which are connected via instantons, non-perturbative configurations representing quantum tunneling events between topological vacua [
37]. As a consequence, charges are conserved but vortices are not and can “appear" and“disappear" via quantum tunneling events forming the instantons.
By rescaling the emergent gauge fields, expressed in their canonical dimensions, by
, and using lattice derivatives instead of finite differences, we can rewrite the action in eq. (
13) as
This equation is the limit for
and
of the action:
We want now to compute the induced action for the
and
obtained by integrating over the emergent gauge fields. To this end we will add the term
, and the sum over
in the partition function. This term will make the action completely self-dual with respect to electric and magnetic degrees of freedom. This will allow us to rewrite eq. (
16) as:
where we rescaled
. In eq. (
17) gauge invariance imposes the constraint
, but, since
we also have
, implying that there are no “electric instantons”. To recover the exact result for JJA we should put
at the end of the calculation. Making the theory perfectly self-dual, however, will not change the nature of the possible phases, we thus use this approximation.
Integrating out the emergent gauge fields we get [
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, in the limit
becomes an integer. This term is an integer also if we set
. We can, thus, drop it [
5].
3. Quantum Phase Structure
The
quantum phase structure of JJA is determined the behaviour 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 eq. (
15) only the integers
appear implying that
.
To determine when infinitely long electric or magnetic strings proliferate, one has to look at the energy-entropy balance determined by the parameters of the model. Let us start from eq. (
18), where we ignore the imaginary term, as explained. Near the transition, we expect to have very long strings and large loops. These configuration are, in general, very random and we expect that forces between links in the same loop and in other ones cancel out. We, thus, retain only the self-interaction terms in eq. (
18) [
38]. We assign to a closed string made of
N links and integer quantum numbers
Q and
on all the lattice links forming the string and zero elsewhere an energy (equivalent to Euclidean action in statistical field theory)
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
Applying, finally, the finite difference operator
to the exponential in the Fourier transform gives the final result
The string entropy, however, is also proportional to their length, being given by
with
since at each step the non-backtracking strings can choose among 5 possible directions on how 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 eq. (
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 JJA occurs via an intermediate phase in which both
and
are diluted and the action for 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 an 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 two quantum orders, the charge condensate and the vortex condensate that leads to the universal SIT point. This intermediate phase is separated by two quantum BKT transition from the superinsulating phase for
and from the superconducting phase for
[
21]. For
,
, the saturation of the resistance has been experimentally observed in [
41] in Al/InAs JJA using a gate voltage, which suppresses charges tunneling, thereby confirming the validity of our model. In terms of the array parameters, this means varying
keeping
fixed to increase the value of
g.
The superconducting phase is the phase in which the electric topological defects proliferate, and it is this new type of superconductivity that we called type III [
18], characterized by a topological gap and superconductivity lost trough a BKT transition both at
and at finite
T, as discussed in the introduction.
For , instead, when lies between and there is coexistence of electric and magnetic excitations indicating a direct first order phase transition between the superinsulator and the superconductor .
3.1. Superinsulators
The superinsulating phase is the phase in which the magnetic monopoles defects
are dense. To understand the nature of this phase we will compute the induced effective action for the electromagnetic gauge potential
minimally coupled to the electric
where
. The induced action is:
and the corresponding induced current is:
By noticing that the coupling with the external electromagnetic field can be taken into account by shifting
and
in
to:
we obtain from eq. (
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
. We obtain, thus, from eq. (
32):
where we used
and finite lattice differences. In eq. (
33) the gauge fields
are periodic under the shift
and are compact, they are angular variables defined on the interval
. What we obtain is the deep non-relativistic limit of Polyakov’s compact QED action [
42,
43], in which only electric fields survives. It is the compacteness of the gauge fields that allows the presence of magnetic monopoles (instantons). As in the relativistic case, as we will show, the presence of monopoles gives linear confinement of probe charges, which become bound by electric flux tubes. There is, however, a crucial difference with the relativistic case. To see this, we decompose
into its transverse and longitudinal components [
42,
43]:
where
m are integer magnetic monopoles. 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 monopoles 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 plasma phase and always confine charges, in JJA, monopoles interact with the inverse of the spatial Laplacian, which gives a
potential in 2d with
. Monopoles undergo, thus, a quantum BKT transition with
g playing the role of a inverse temperature: for low values of
g instantons are free and confine probes charges; instantons undergoes a confinng transition, which is actually the SIT, where probe charges are liberated.
To see how instantons modify the Coulomb potential and cause linear confinement of probe charges, we compute the expectation value of the Wilson loop operator
, whith
C a closed loop in 3D Euclidean space-time restricted to the plane formed by the Euclidean time and one of the space coordinates, which gives the interaction potential between to 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,
42]
where
A is the area of the surface
S enclosed by the loop
C and
is called the string tension [
37,
42], which we will compute in what follows. Using the lattice Stoke theorem, one rewrites Eq. (
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 eq. (
35) we obtain:
where we negleted
, since the integral over non-compact gauge field
gives then the Gaussian fluctuations around the instantons
m, which do not contribute to confinement [
6].
We will now perform the sum over the instantons and introduce an auxiliary scalar field
to write the quadratic term in the instantons in eq. (
39) as a Gaussian integral over
. At low
g, in the deep superinsulationg regime we will use the dilute instanton approximation, summing only over single monopoles configuration
, obtainin thus [
42]:
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. Eq. (
40) can be rewritten as:
where we wrote:
and shift
.
To compute the string tension
we have to evaluate the integral eq. (
42). We will do it both for Cooper pairs, with
and single electrons, corresponding to
in our case. We will evaluate eq. (
42) using the saddle point approximation:
valid for small
g where the integral is dominated by the classical solution to the equation of motion and which reduces 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 will use the continuum limit [
42] with boundary conditions
for
. For Cooper pairs (
) we obtain:
which gives eq. (
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 probes,
, with the same boundaries conditions we obtain, for the string tensions
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 eq. (
46) we can estimate the typical string size
. Taking the following typical values for experimental JJA,
nm and
GHz, and taking for
we arrive at
lattice spacing, which represents the distance between the superconducting islands. This set a minimum dimension for the arrays to be able to accommodate an electric pion and to show superinsulations. To be able to see superinsulation in JJA, moreover, it is necessary to lower the value of
g, that, in terms of the parameter of the arrays, 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
. Our predictions is that in this case it will be possible to observe superinsulation in JJA.