Math 2.0

Statistical mechanics, structure of matter Definition

Many-body localization

Builds on Anderson localizationTensor product of Hilbert spacesUnitary operatorJordan–Wigner transformation

Definition

For each L≥1L \ge 1, let ℋL=(ℂ2)⊗L\mathcal{H}_L = (\C^2)^{\otimes L} be the tensor product Hilbert space of a chain of LL spins 12\tfrac12. Let HLH_L be a random Hamiltonian on ℋL\mathcal{H}_L that is a sum of terms, each acting on boundedly many neighbouring sites. The family (HL)(H_L) is fully many-body localized if, with probability tending to 11 as L→∞L \to \infty, there is a unitary operator ULU_L on ℋL\mathcal{H}_L such that:

  1. ULU_L is quasi-local: it maps an operator at one site to an operator whose part beyond distance rr has norm at most Ce−r/ξC e^{-r/\xi};
  2. the operators τiz=ULσizUL∗\tau^z_i = U_L \sigma^z_i U_L^{*}, for i=1,…,Li = 1, \dots, L, commute with HLH_L;
  3. HLH_L has the form HL=∑ihiτiz+∑i<jJijτizτjz+∑i<j<kJijkτizτjzτkz+⋯ ,H_L = \sum_i h_i \tau^z_i + \sum_{i < j} J_{ij} \tau^z_i \tau^z_j + \sum_{i < j < k} J_{ijk} \tau^z_i \tau^z_j \tau^z_k + \cdots, where each coefficient of a product spread over a distance rr is at most Ce−r/ξC e^{-r/\xi}.

In clauses 1 and 3, the constants C,ξ>0C, \xi > 0 do not depend on LL.

Remarks

The operators τiz\tau^z_i are called local integrals of motion, or l-bits. Every eigenstate of HLH_L is then a product state in the τ\tau basis, so it has area-law entanglement, unlike a thermal eigenstate. Example: take the random-field XX chain HL=∑i(σixσi+1x+σiyσi+1y)+∑ihiσizH_L = \sum_i (\sigma^x_i \sigma^x_{i+1} + \sigma^y_i \sigma^y_{i+1}) + \sum_i h_i \sigma^z_i. The fields hih_i are independent and uniform in [−W,W][-W, W], with W>0W > 0. The Jordan–Wigner transformation maps it to free fermions with a random potential, which show Anderson localization in one dimension. The occupation numbers of the exponentially localized orbitals are the l-bits, so the chain is localized in this sense, as a non-interacting case. Non-example: the same chain with all hi=0h_i = 0 is translation invariant, its single-particle modes are plane waves, and a single flipped spin spreads ballistically along the chain. Its natural conserved quantities, the mode occupations, are spread over the whole chain. Its typical eigenstates have entanglement that grows with the size of a region, so they are not product states in any quasi-local basis, and the definition fails. This definition follows the l-bit description of Serbyn, Papić and Abanin and of Huse, Nandkishore and Oganesyan. Imbrie proved a version of it for a disordered interacting spin chain, under an assumption on the level statistics. Whether MBL is stable in the thermodynamic limit, and in dimension above one, is still debated.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Anderson localization concept
  2. Jordan–Wigner transformation concept
  3. Tensor product of Hilbert spaces concept
  4. Unitary operator concept
  5. Many-body localization definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Many-body_localization
About this page
TagRZ862WH9DM
URIm2://RZ862WH9DM
Kinddefinition
WritingW0 stub
MSC82C44, 82B44, 82C10
DefinesMany-body localization
UsesAnderson localization, Tensor product of Hilbert spaces, Unitary operator, Jordan–Wigner transformation
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.