User:Sylvain Ribault/Bootstat2021/Gruzberg
Lectures on random critical points by Ilya Gruzberg.
Cover different apparently unrelated systems. Try to show that they have common features.
We have a lattice with spacing that provides a UV cutoff or regularization. We do not care if it is renormalizable, as we always have a lattice. Moreover, the system is always of finite size , very large with respect to lattice size. This provides an IR regularization, and also serves as a scaling variable. We have expectation values of the type
We are talking about critical points that may not be conformally invariant. We do not know. However, the bootstrap program is not restricted to conformal field theory.
General remarks about disorder
[edit]Imperfections of the lattice: impurities, dislocations, etc. These have to be included in the description of the solid. Dynamics of impurities typically have large time scale. So we consider them as constant: this is called quenched disorder.
The impurities break translation invariance. We cannot use momentum space. We should think about an ensemble of disordered systems (samples). Nominally, different samples have the same properties. (Density of impurities.) But different samples have different arrangements of impurities, and lead to different measurements. Average quantities or distributions of quantities can be translationally invariant.
Phase transitions exhibit universal scaling behaviour. Evolution of observables with system size? Need functional renormalization group to follow distribution functions, not just a few coupling constants. But we are not going to do functional RG. We will focus on extracting low moments of observables, such as expectation values.
Some quantities are self-averaging, ex. the free energy. Become non-random (narrow distribution) in thermo. limit. Some other quantitites have broader distributions in scaling limit, lead to multifractality. Free energy is self-averaging because it is extensive. Local magnetization is not of this type.
Techniques for extracting low moments: replica, supersymmetry.
Consider the Hamiltonian
where or . Or in some group coset. Random bonds , random fields . Subject to some probability distribution, with very little correlation between different fields and/or bonds. So we assume them to be IID (independent identically distributed) with distributions that do not depend on position. This makes the ensemble of Hamiltonians translationally invariant.
Correlation functions: connected correlators .
The free energy is a function of . We have
- . Disordered average: average over .
difficult to compute as we average a ratio.
Spin glass example: but .
Want to know if disorder is relevant or irrelevant at the critical point.
Replica method
[edit]Method for averaging over disorder. Write
and for we write as the partition function of a system made of copies of the original system. Each spin gets an index with values. The average is not so hard to perform. Then, analytically continue to non-integer , and take the limit . This is the essence of the replica method. It can be used to compute connected correlators:
Take same replica index for connected correlator, different indices for disconnected correlators.
No guarantee that analytic continuation in exists. In perturbation theory quantities are typically polynomial, but there is a debate on whether the trick is sound non-perturbatively. Sometimes, complicated results are obtained by the replica trick.
Replica symmetry i.e. permutation group is broken in spin glasses. It is remarkable that this breaking of replica symmetry leads to correct results, in some models where alternative approaches (such as SUSY) are feasible.
Non-unitarity
[edit]is the free energy of the replicated system. In the limit , we have and . It is known that systems with generically exhibit logarithmic correlation functions, so the corresponding CFTs must be log-CFTs.
Mechanism: for finite we have discrete spectrum, which collapses as and form a Jordan block, so that dilation operator is no longer diagonalizable. This is very similar to phenomenon in solving differential equations.
This argument about logs relies on some internal symmetry. In the replica approach this is provided by , in the SUSY approach there is also an internal symmetry.
So we should face the issue of non-unitarity. In 2d, is closely connected to .
Multifractality
[edit]Consider a local observable and compute . The dimensions are convex as fct of and become negative if is large enough. This is not unphysical: it means the distribution of observables becomes broader as system grows. Operators with negative dimensions do not appear in Hamiltonian, so they do not make the system unstable. But they show up when we measure the right quantities.
Harris criterion
[edit]To know if disorder is relevant or irrelevant.
Product of two spins leads to operator with scaling exponent such that . The correlation length exponent is . Consider
Do replicas, average over disorder, obtain effective action that no longer depends on disorder.
where
OPEs are very simple:
Linear term in effective action is inocuous as it just shifts critical temperature. The interesting term is quadratic in . We need to find dimension, to know if this is relevant or not. Two-point function of quadratic operator is quartic in , and easy to compute, as replicas are decoupled. The dimension of is .
We infer that the disorder is irrelevant if .This is the Harris criterion. It applies to systems where disordered is well-behaved, but fails in other systems such as polymers.
The same argument can be generalized to random fields rather than random bonds. It turns out random fields are always relevant.
Let us stick with bond disorder, and consider the case when the criterion is violated i.e. disorder is relevant. We believe the singularity survives but belongs to a different universality class. Theorem: we flow to different fixed point that obeys the Harris criterion. Case of 3d Ising: where , criterion violated not by much. For we have i.e. strict marginality.
Marginal disorder: could be marginally relevant or marginally irrelevant. 2d Ising has marginally irrelevant disorder, giving logarithmic corrections to scaling. Clean fixed point of 2d Ising is given by Majorana fermions.
Strong disorder: probability distribution
Transition ferromagnet-paramagnet (phase diagram), with also a spin glass phase, and a multicritical fixed point where the three phases meet. Nishimori line in phase diagram goes through fixed point, is an RG trajectory, on this line we have gauge symmetry. In 2d the spin glass is supposed to exist only a zero temperature. ()
We may hope to study these fixed points using bootstrap. But how could we apply the bootstrap to fixed points we know little about? If there is a symmetry such as SUSY this can give hints.
Quantum spin models
[edit]We wrote classical spin models. To define quantum spin models we allow spins to be generators of a Lie algebra:
Now the different terms in the Hamiltonian do not commute with each other. Now the competition is no longer between energy and entropy, but between different terms in the Hamiltonian (?), leading to quantum phase transitions.
Time now plays a special role. There is a dynamical critical exponent . If it is not one, space-time is anisotropic, and we lose Lorenz invariance and therefore conformal invariance. But in many cases.
Example:
For there is order, for disorder. There is a critical coupling with a fixed point in the same universality class as classical Ising?
Trotterize partition function: write it in terms of matrix elements for small time intervals.
Harris criterion for quantum systems involves not . The disorder is perfectly correlated along the time direction. This is called columnar disorder. Not good for the bootstrap.
Anderson transitions
[edit]Adressed using the bootstrap by Hikami using Gliozzi's methods. Not sure the bootstrap addresses the right critical point.
Anderson localization
[edit]Single particle problem:
where is a random potential with
There are localized states in the system. For a clean system, the free wavefunction is periodic. Adding a weak disorder, wave is less periodic. For a large potential, the wavefunction becomes localized, exponentially decaying away from a point .
The existence of localized states is a rigorous, mathematically-proven statement. Proving the existence of extended states is harder, although obvious physically.
Fermions: filling states in the system one by one, what matters for conductance is what happens at Fermi surface. Density of states in clean system is , while in disordered systems density is nonzero for , with lowest states localized. There is a metal/insulator transition when energy reaches . This is called the Anderson transition. This is a continuous transition, correlation length . Density of states is smooth across transition. To see it we need the Green's function
Need to average over disorder. Disordered average of single-particle Green function would be short-range because disorder randomizes phase of wavefunction. Need a square to get rid of random phases.
Disorder average
[edit]Let's do the disorder average using the supersymmetry method, introduced by Efetov. We write as a path integral Since the partition function is a Gaussian integral, it is just a determinant. Its inverse is a bosonic path integral:
leading to
where
where there is no denominator because the partition function is one. In particular, at the critical point if it exists, the central charge is zero. We introduced a boson , and we get a Lie algebra symmetry . This is a global supersymmetry which has nothing to do with the spacetime on which fields live.
Adjoint representation of Lie superalgebra has indecomposable structure of dimension . The action is invariant, can be thought of as part of an indecomposable representation. At the critical point, the stress-energy tensor is also part of such a representation, has a logarithmic partner . The indecomposable structure holds before and after disorder average, on and off criticality.
Non-linear sigma model
[edit]Manipulate action to make it quadratic in the original fields. If disorder is weak, can do a saddle point approximation and get a non-linear sigma model
where or some larger supercoset. It is which breaks the group symmetry into a coset.
If replicas are used, the rank of the coset depends on the number of replicas. With supersymmetry, we get a supercoset. We have to impose a constraint coming from the saddle point.
Properties of the system are controlled by the coupling .
Altland-Zirnbauer classification of these systems, includes three classical matrix ensembles. Each one of the ten classes corresponds to one supercoset. Some supercosets have nontrivial topology, allowing us to add theta terms to the action.
Why use the non-linear sigma model rather than the original quartic action? Argument is analogy to QCD, where pions are effective fields (analogous to ) and easier to study than original quarks (analogous to ). But at the critical point the original fields may be better, and the non-linear sigma model might be useless, see Zirnbauer's talk.
Symmetry classification
[edit]3 Wigner-Dyson classes for random matrices, depending on symmetries such as time reversal. If is broken we have Hermitian matrices (unitary class). If is preserved we can have or (orthogonal, symplectic classes). If we view as an element of a Lie algebra, which is the tangent space of some coset space , , .
Altland and Zirnbauer considered 3 more symmetry classes called chiral classes. There are also 4 Bogoliubov-de Gennes classes, originating from mean field superconductors.
These 10 classes all have potential for a critical point, depending on dimension.
Multifractality
[edit]Transition between localization and extended states at . At the critical energy, wavefunctions are neither periodic nor really localized, but multifractal: very non-uniform.
Break system of size into boxes of size , with probabilities . Define
This defines critical exponents (infinitely many). Maybe not the best observable to bootstrap, as it depends on system size. Extended states: and . With localized states . At the critical point,
Let where is a local exponent, subject to some distribution , then is its Legendre transform. The function has nice properties: non-decreasing, , .
Consider the local density of states
Can smear it in energies with parameter . Focus on critical energy. In a finite system, many states can be called critical. The sum reduces to the global density of states
Define
then . Then
We have of course, but also . For Wigner-Dyson we have . So we have an operator with zero dimension, which is not the identity. We have abelian fusion (conservation of momentum) for these observables.
The field theory may not be exhaustive: multifractal correlation functions may not all be described by the field theory, they do not necessarily behave like field theory correlators, only some special combinations do. For example
This depends on system size unless , which is however still not conformally invariant as in general . We can also kill the dependence on system size by , in which case we have a CFT two-point function thanks to , a symmetry that can be justified from the sigma model.
In 2d we consider a correlation function with . Only one conformal block by Abelian fusion. We can show that . Conformal symmetry constrains the theory to be a Gaussian free field theory. In higher dimensions, could global conformal symmetry be so restricting? i.e. abelian fusion plus conformal invariance fix ?
Argument for abelian fusion i.e. momentum conservation: it follows from a target space symmetry, which survives quantization.[1][2] Since it is a target space symmetry, it commutes with conformal symmetry, so it does no constrain descendants, only primaries.
References
[edit]- ^ Gruzberg, I. A.; Ludwig, A. W. W.; Mirlin, A. D.; Zirnbauer, M. R. (2011-03-23). "Symmetries of multifractal spectra and field theories of Anderson localization". arXiv.org. doi:10.1103/PhysRevLett.107.086403. Retrieved 2021-05-18.
- ^ Gruzberg, I. A.; Mirlin, A. D.; Zirnbauer, M. R. (2012-10-25). "Classification and symmetry properties of scaling dimensions at Anderson transitions". arXiv.org. doi:10.1103/PhysRevB.87.125144. Retrieved 2021-05-18.