{
  "schema_version": 1,
  "id": "PHYS-2026-07-30-01",
  "canonical_url": "https://rimoooliii.github.io/physicsday/physics/PHYS-2026-07-30-01/",
  "source_markdown_url": "https://rimoooliii.github.io/physicsday/physics/PHYS-2026-07-30-01.md",
  "metadata": {
    "schema_version": 1,
    "id": "PHYS-2026-07-30-01",
    "date": "2026-07-30",
    "updated_at": "2026-07-30",
    "title": "Long logical strings, short thermal barriers",
    "summary": "Why the two-dimensional toric code has distance L and exponentially narrow zero-temperature ground-state bands, yet only a constant energy barrier against local thermal errors.",
    "language": "en",
    "entry_kind": "daily",
    "status": "published",
    "level": "graduate-advanced",
    "user_difficulty": "unrated",
    "domains": [
      "quantum-information",
      "condensed-matter",
      "statistical-mechanics"
    ],
    "estimated_minutes": 55
  },
  "content_markdown": "\n## Key claim\n\n**The two-dimensional toric code has a logical operator of weight $L$ but a local error path whose energy never rises above a constant.**\n\nCode distance measures the support of a completed error. The energy barrier measures the most expensive intermediate state along a chosen local construction of that error.\n\n## Theme\n\n**Code distance, perturbative splitting, and thermal stability are different diagnostics.**\n\n## Guiding question\n\nA noncontractible Wilson loop on an $L\\times L$ torus contains at least $L$ single-edge operators.\n\nWhy can a thermal bath assemble the same loop while paying only one pair-creation energy?\n\n## Setup\n\nPlace one qubit on every edge of an $L\\times L$ square lattice with periodic boundary conditions. The standard toric-code Hamiltonian is\n\n$$\nH_0\n=\n-J_e\\sum_s A_s\n-J_m\\sum_p B_p,\n\\qquad\nJ_e,J_m>0,\n$$\n\nwhere\n\n$$\nA_s=\\prod_{\\ell\\supset s}X_\\ell,\n\\qquad\nB_p=\\prod_{\\ell\\in\\partial p}Z_\\ell.\n$$\n\nAll stabilizers commute. Ground states satisfy\n\n$$\nA_s\\ket{\\psi}=B_p\\ket{\\psi}=\\ket{\\psi}.\n$$\n\nOn a torus, the ground space is four-dimensional and encodes two logical qubits. Noncontractible direct- and dual-lattice loops act as logical Pauli operators.\n\nThese are exact properties of the commuting Hamiltonian introduced by [Kitaev](https://arxiv.org/abs/quant-ph/9707021).\n\nWe will follow the $Z$-error sector. The dual discussion exchanges\n\n$$\nZ\\leftrightarrow X,\n\\qquad\nJ_e\\leftrightarrow J_m.\n$$\n\n## Analysis\n\n### Derivation: distance and perturbative order\n\nA single $Z_\\ell$ anticommutes with the two adjacent star operators. Each violated star changes its contribution to the energy from $-J_e$ to $+J_e$.\n\nThe pair-creation cost is therefore\n\n$$\n\\Delta_e=4J_e.\n$$\n\nFor a connected path $\\gamma$, define\n\n$$\nZ(\\gamma)=\\prod_{\\ell\\in\\gamma}Z_\\ell.\n$$\n\nAt an interior vertex, two edges of $\\gamma$ meet the same star. Their two anticommutations cancel. Only the endpoints violate star stabilizers:\n\n$$\n\\text{open }Z\\text{ string}\n\\quad\\longleftrightarrow\\quad\n\\text{two }e\\text{ anyons}.\n$$\n\nExtending the path moves an endpoint and does not create another pair. Every nonempty open connected string has excitation energy $4J_e$, regardless of its length.\n\nA contractible closed $Z$ loop is a product of plaquette stabilizers. It acts trivially within the ground space.\n\nA loop that winds around the torus is not a stabilizer. It implements a logical operator $\\overline Z$.\n\nThe shortest noncontractible loop contains $L$ edges. For the standard square toric code,\n\n$$\n\\boxed{d=L}.\n$$\n\nNow perturb the Hamiltonian by\n\n$$\nV=-h\\sum_\\ell Z_\\ell,\n\\qquad\n|h|\\ll J_e.\n$$\n\nLet $P_0$ project onto the ground space. A product of $n<L$ distinct edge errors cannot contain a noncontractible loop.\n\nConsequently, terms below order $L$ may shift the common ground energy, but they cannot act as a nontrivial logical operator after projection.\n\nThe first sector-dependent term appears at order $L$. For one connected virtual process around a fixed noncontractible cycle,\n\n$$\nt_\\gamma\n\\sim\n\\frac{(-h)^L}{(-4J_e)^{L-1}}.\n$$\n\nThis expression is the contribution of one ordering. The full coefficient also contains other paths, orderings, and normalization terms. Minimum perturbative order is the robust statement.\n\nFor sufficiently weak bounded local perturbations, a general stability theorem gives a gapped low-energy band whose width is exponentially small in $L$ under its topological-order hypotheses [Bravyi, Hastings, and Michalakis](https://arxiv.org/abs/1001.0344).\n\nThus\n\n$$\n\\Delta E_{\\rm split}=O(\\ee^{-\\alpha L})\n$$\n\nfor some perturbation-dependent $\\alpha>0$ inside the stable phase. This is a zero-temperature spectral statement.\n\n### Scope and assumptions: an energy barrier is not a lifetime\n\nConstruct $\\overline Z$ one edge at a time:\n\n$$\n\\varnothing\n\\longrightarrow\n(e,e)\n\\longrightarrow\n\\text{separate one }e\\text{ around the torus}\n\\longrightarrow\n\\varnothing.\n$$\n\nEvery intermediate open string has two endpoints. The $Z$-sector energy barrier is\n\n$$\n\\boxed{\n\\Delta_{\\rm barrier}^{(Z)}=4J_e\n},\n$$\n\nindependent of $L$.\n\nThe dual logical process has\n\n$$\n\\Delta_{\\rm barrier}^{(X)}=4J_m.\n$$\n\nFor an arbitrary logical failure, the bath can exploit the cheaper channel. The relevant energetic scale is therefore no larger than\n\n$$\n4\\min(J_e,J_m).\n$$\n\nThis explicit path illustrates the broader constant-barrier obstruction for two-dimensional local stabilizer Hamiltonians proved by [Bravyi and Terhal](https://arxiv.org/abs/0810.1983).\n\nThe barrier alone does not produce an exact memory lifetime. A lifetime also depends on:\n\n- the system-bath coupling and bath spectral density;\n- pair creation, hopping, and annihilation rates;\n- the number and geometry of damaging paths;\n- the decoder or observable used to define failure;\n- the order of the limits in $L$, temperature, and observation time.\n\nFor a Markovian weak-coupling thermalization model, Alicki, Fannes, and Horodecki proved an $L$-independent upper bound on the longest relaxation time, with activated temperature dependence [On thermalization in Kitaev's 2D model](https://arxiv.org/abs/0810.4584).\n\nThis result uses a specified Davies-type dynamics. It should not be quoted as a theorem about every possible nonequilibrium bath.\n\nA passive self-correcting memory requires its storage time to diverge with $L$ at fixed nonzero temperature, without repeated syndrome measurement, decoding, or engineered correction dynamics.\n\nThe standard two-dimensional toric-code Hamiltonian does not meet that criterion.\n\n### Physical interpretation: passive protection and active correction\n\nThree protection mechanisms should remain separate:\n\n| Mechanism | Resource | Toric-code status |\n| --- | --- | --- |\n| Ground-space insensitivity | Local indistinguishability and a gap | Stable under sufficiently weak local perturbations |\n| Passive thermal storage | A growing free-energy obstruction | Absent in the standard two-dimensional Hamiltonian |\n| Active error correction | Syndrome information and a decoder | Has a nonzero threshold under suitable noise assumptions |\n\nThe surface-code threshold studied by [Dennis, Kitaev, Landahl, and Preskill](https://arxiv.org/abs/quant-ph/0110143) belongs to the third row. It assumes repeated recovery rather than passive equilibrium storage.\n\nA counterfactual string tension would change the thermal argument. If separating two endpoints cost\n\n$$\nE(r)-E_0\\sim 4J_e+\\tau r,\n$$\n\nthen winding across the system could require an $O(L)$ barrier.\n\nThe standard toric code has deconfined point excitations, so it supplies no such tension. Producing confinement generally changes the phase or adds a new resource.\n\nWeak perturbations inside the same gapped topological phase dress the anyons and logical strings. Bare Pauli weight then loses some literal meaning, while quasi-local dressed operators preserve the low-energy structure.\n\nA 2026 preprint studies another route: a Lindblad equation that continuously runs a cellular-automaton decoder. Its finite-size simulations report a steady-state self-correction transition [Kumar and Weimer](https://arxiv.org/abs/2602.19288).\n\nThe model adds an engineered correction field and update rates. It does not convert the equilibrium toric-code Hamiltonian into a passive self-correcting memory.\n\n## False claim to diagnose\n\n> Every logical operator has weight at least $L$, so every local sequence implementing one must cross an energy barrier proportional to $L$.\n\nWeight counts how many qubits appear in the finished operator. The barrier counts the greatest number and type of violated stabilizers present at one time.\n\nFor a connected growing string,\n\n$$\n\\text{operator weight}:1\\to2\\to\\cdots\\to L,\n$$\n\nwhile\n\n$$\n\\text{violated stars}:2\\to2\\to\\cdots\\to0.\n$$\n\nThe valid conclusion is narrower:\n\n> A weak local perturbation needs at least $L$ single-edge factors to generate a logical term, but a thermal trajectory can accumulate those factors sequentially at constant excitation energy.\n\n## What follows — and what does not\n\n| Statement | Status |\n| --- | --- |\n| The unperturbed square toric code has $d=L$. | Exact finite-size code property |\n| A $Z$ string has excitations only at its endpoints. | Exact stabilizer algebra |\n| The first logical contribution from $-h\\sum Z_\\ell$ occurs at order $L$. | Perturbative selection rule |\n| Weak local perturbations produce an exponentially narrow ground-state band. | Theorem under locality and topological-order assumptions |\n| The $Z$-logical energy barrier is $4J_e$. | Exact for single-edge Pauli paths in the standard model |\n| The exact lifetime equals a universal Arrhenius formula. | False without a bath and failure definition |\n| The passive two-dimensional toric code self-corrects at finite temperature. | False for the standard local thermal setting |\n| Engineered dissipative decoding can change the conclusion. | Possible because it adds dynamics beyond passive storage |\n\nLarge distance protects against low-weight errors and suppresses virtual logical mixing. Thermal stability asks whether local errors can accumulate without crossing a growing energetic or free-energy obstruction.\n\n## Exercise\n\nUse\n\n$$\nV=-h\\sum_\\ell Z_\\ell\n$$\n\nand restrict attention to one shortest noncontractible cycle.\n\n1. Show that every connected open partial string has energy $E_0+4J_e$.\n2. Explain why $P_0V^nP_0$ cannot contain a logical operator for $n<L$, although it may contain a scalar ground-energy shift.\n3. Estimate the contribution from one connected $L$-step virtual process.\n4. Construct a real local-error sequence with maximum excitation energy $4J_e$.\n5. Identify the extra information required to convert the barrier into a quantitative lifetime.\n\n<details>\n<summary>Hint 1</summary>\n\nCount the stars that anticommute with a partial $Z$ string. Interior vertices touch two string edges.\n\n</details>\n\n<details>\n<summary>Hint 2</summary>\n\nFor one connected ordering, all $L-1$ virtual intermediate states have the same denominator $E_0-(E_0+4J_e)$.\n\n</details>\n\n**Oral check 1.** Why does extending an open string move an excitation rather than create another pair?\n\n**Oral check 2.** Which quantity enters a simple Arrhenius exponent: completed Pauli weight or maximal intermediate energy?\n\n<details class=\"solution\">\n<summary>Solution</summary>\n\nAn interior star overlaps with two edges of the partial string, so it commutes with their product. Only the endpoint stars anticommute.\n\nEach violated star costs $2J_e$. Therefore\n\n$$\nE(\\gamma)-E_0=4J_e\n$$\n\nfor every nonempty connected open path $\\gamma$.\n\nFor $n<L$, a product of $n$ edge operators cannot wind around a shortest torus cycle. Projection either removes a state with excitations or reduces a contractible closed product to a stabilizer.\n\nSuch terms may contribute a multiple of $P_0$, but they cannot distinguish logical sectors.\n\nAt order $L$, one connected ordering gives\n\n$$\nt_\\gamma\n\\sim\n(-h)^L\n\\prod_{k=1}^{L-1}\n\\frac{1}{-4J_e}\n=\n\\frac{(-h)^L}{(-4J_e)^{L-1}}.\n$$\n\nThis calculation shows why logical mixing starts at order $L$. It is not the complete coefficient after summing all virtual processes.\n\nFor the thermal path, create a neighboring pair, move one endpoint around a noncontractible cycle, and annihilate it with the stationary endpoint.\n\nThe maximum energy is\n\n$$\n\\Delta_{\\rm barrier}^{(Z)}=4J_e.\n$$\n\nA lifetime calculation still needs a bath generator or transition rates, temperature, an initial-state and decoding protocol, and a precise logical-failure criterion.\n\n</details>\n\n## Check your understanding\n\nExplain how the same noncontractible loop can imply both\n\n$$\n\\Delta E_{\\rm split}=O(\\ee^{-\\alpha L})\n$$\n\nand\n\n$$\n\\Delta_{\\rm barrier}=O(1).\n$$\n\nYour answer should name the different processes counted by perturbative order and thermal activation.\n\nYou may also reply with “deeper,” “too easy,” “too hard,” or your derivation.\n\n## Further Reading\n\n- [Fault-tolerant quantum computation by anyons](https://arxiv.org/abs/quant-ph/9707021)\n- [Topological quantum memory](https://arxiv.org/abs/quant-ph/0110143)\n- [Topological quantum order: stability under local perturbations](https://arxiv.org/abs/1001.0344)\n- [A no-go theorem for a two-dimensional self-correcting quantum memory based on stabilizer codes](https://arxiv.org/abs/0810.1983)\n- [On thermalization in Kitaev's 2D model](https://arxiv.org/abs/0810.4584)\n- [Self-correction phase transition in the dissipative toric code](https://arxiv.org/abs/2602.19288)\n\n## Connections and next step\n\n- Pressure point: logical support does not determine a thermal error path's maximum energy.\n- Exact layer: string endpoints, homology, and code distance.\n- Spectral layer: logical mixing begins at order $L$ under weak local perturbations.\n- Thermal layer: point excitations diffuse along a constant-energy path.\n- Control layer: active and autonomous decoders add resources absent from passive storage.\n- Next step: compare the two-dimensional model with the four-dimensional toric code and with memories whose barriers grow logarithmically.\n- Revisit: connect this error-path barrier to the free-energy barriers discussed in irreversible statistical mechanics.\n",
  "content_sha256": "b72e3c0a40e359fd5504f79c60449c2c8d3bb04fd36c302915a1fa0a0d096a0c",
  "formula_count": 76,
  "formulas": [
    {
      "index": 1,
      "display": false,
      "tex": "L",
      "line": 22,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 2,
      "display": false,
      "tex": "L\\times L",
      "line": 32,
      "sha256": "19787ffb1e175d7d2b02ed9bdbf453047ce95cd3824189dc5afa483414d0347d"
    },
    {
      "index": 3,
      "display": false,
      "tex": "L",
      "line": 32,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 4,
      "display": false,
      "tex": "L\\times L",
      "line": 38,
      "sha256": "19787ffb1e175d7d2b02ed9bdbf453047ce95cd3824189dc5afa483414d0347d"
    },
    {
      "index": 5,
      "display": true,
      "tex": "H_0\n=\n-J_e\\sum_s A_s\n-J_m\\sum_p B_p,\n\\qquad\nJ_e,J_m>0,",
      "line": 40,
      "sha256": "614ead0837528c0c41affe905840b5d9ed1669ba6c6059a6412b8021afe74a15"
    },
    {
      "index": 6,
      "display": true,
      "tex": "A_s=\\prod_{\\ell\\supset s}X_\\ell,\n\\qquad\nB_p=\\prod_{\\ell\\in\\partial p}Z_\\ell.",
      "line": 51,
      "sha256": "e55611a198117e7d9e7da7d9d2382577a09d595dbcd5659668523a1924762e12"
    },
    {
      "index": 7,
      "display": true,
      "tex": "A_s\\ket{\\psi}=B_p\\ket{\\psi}=\\ket{\\psi}.",
      "line": 59,
      "sha256": "4352d66093078970be806d99c7b0c2fc2cfcb76701b8f023e902dd6ab91d6040"
    },
    {
      "index": 8,
      "display": false,
      "tex": "Z",
      "line": 67,
      "sha256": "bbeebd879e1dff6918546dc0c179fdde505f2a21591c9a9c96e36b054ec5af83"
    },
    {
      "index": 9,
      "display": true,
      "tex": "Z\\leftrightarrow X,\n\\qquad\nJ_e\\leftrightarrow J_m.",
      "line": 69,
      "sha256": "2fcaad266fc59c8e7a17f77c753671d19eef1f288b516c622beceac49238d194"
    },
    {
      "index": 10,
      "display": false,
      "tex": "Z_\\ell",
      "line": 79,
      "sha256": "77eed80e26ff6ac5ef40200d5265de86e407950cf322c93a3382afa503c82c9e"
    },
    {
      "index": 11,
      "display": false,
      "tex": "-J_e",
      "line": 79,
      "sha256": "77b8d0781c45bce7dec815c9f6d0d304ac53c8310cdae86502ee81a216666f24"
    },
    {
      "index": 12,
      "display": false,
      "tex": "+J_e",
      "line": 79,
      "sha256": "0b85936f7b40516aaa61c9de6eb644de378b557042779a09d739adaa7ae19d37"
    },
    {
      "index": 13,
      "display": true,
      "tex": "\\Delta_e=4J_e.",
      "line": 83,
      "sha256": "3d6c253e04b7015690ceb0eefce5406b0d5b32c85e86be423bd57f37d9d73dce"
    },
    {
      "index": 14,
      "display": false,
      "tex": "\\gamma",
      "line": 87,
      "sha256": "67610b0632683369b69db194167ac4c38ed7c7cfab252970ced9e152b9b45554"
    },
    {
      "index": 15,
      "display": true,
      "tex": "Z(\\gamma)=\\prod_{\\ell\\in\\gamma}Z_\\ell.",
      "line": 89,
      "sha256": "17f3ecbd69761b16538d12e35052ae1d5bfbafa606622c0397252adb0b9fe2d8"
    },
    {
      "index": 16,
      "display": false,
      "tex": "\\gamma",
      "line": 93,
      "sha256": "67610b0632683369b69db194167ac4c38ed7c7cfab252970ced9e152b9b45554"
    },
    {
      "index": 17,
      "display": true,
      "tex": "\\text{open }Z\\text{ string}\n\\quad\\longleftrightarrow\\quad\n\\text{two }e\\text{ anyons}.",
      "line": 95,
      "sha256": "df816ba1608a26130c4719777beab92817e455bcef2adb93bacdbd2a6a645a4a"
    },
    {
      "index": 18,
      "display": false,
      "tex": "4J_e",
      "line": 101,
      "sha256": "9a45ade6d26edc3fafc0bc36e43fb05749e24cef7871b61598081545575656da"
    },
    {
      "index": 19,
      "display": false,
      "tex": "Z",
      "line": 103,
      "sha256": "bbeebd879e1dff6918546dc0c179fdde505f2a21591c9a9c96e36b054ec5af83"
    },
    {
      "index": 20,
      "display": false,
      "tex": "\\overline Z",
      "line": 105,
      "sha256": "6ca134bfb84876ed2652837efda1dbb65af65ba06a3f7959043fe21ec3f082b1"
    },
    {
      "index": 21,
      "display": false,
      "tex": "L",
      "line": 107,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 22,
      "display": true,
      "tex": "\\boxed{d=L}.",
      "line": 109,
      "sha256": "df0a90e709ab98fc015489ead7f8ddc109fdc87dac4673e3c7cd256a7670dcd6"
    },
    {
      "index": 23,
      "display": true,
      "tex": "V=-h\\sum_\\ell Z_\\ell,\n\\qquad\n|h|\\ll J_e.",
      "line": 115,
      "sha256": "3b1281b280738b8d22980e93531ec995bbe0b2ff658c9c523810afcee6906ab6"
    },
    {
      "index": 24,
      "display": false,
      "tex": "P_0",
      "line": 121,
      "sha256": "e50b5dbfe7add1372bd9bc29acad76c8d15ab66e522229296afdd5f2281be9b7"
    },
    {
      "index": 25,
      "display": false,
      "tex": "n<L",
      "line": 121,
      "sha256": "f78c3aadbda644a1e83ce3470fbe7edc5f49dbeeaf17a4d16eb202be8844b6ea"
    },
    {
      "index": 26,
      "display": false,
      "tex": "L",
      "line": 123,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 27,
      "display": false,
      "tex": "L",
      "line": 125,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 28,
      "display": true,
      "tex": "t_\\gamma\n\\sim\n\\frac{(-h)^L}{(-4J_e)^{L-1}}.",
      "line": 127,
      "sha256": "0401cf9f354cf5066f50bdbb133dfa698aa3fd76ace541d3f3c80df16197d21f"
    },
    {
      "index": 29,
      "display": false,
      "tex": "L",
      "line": 135,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 30,
      "display": true,
      "tex": "\\Delta E_{\\rm split}=O(\\ee^{-\\alpha L})",
      "line": 139,
      "sha256": "bda01b60058d77933fe12362c3244ad0b7942a33483e2b2460939509993e3d54"
    },
    {
      "index": 31,
      "display": false,
      "tex": "\\alpha>0",
      "line": 143,
      "sha256": "bfec8edd5df01fdae9be7851f5f66529e5485befddf48748b8480e39be1e2756"
    },
    {
      "index": 32,
      "display": false,
      "tex": "\\overline Z",
      "line": 147,
      "sha256": "6ca134bfb84876ed2652837efda1dbb65af65ba06a3f7959043fe21ec3f082b1"
    },
    {
      "index": 33,
      "display": true,
      "tex": "\\varnothing\n\\longrightarrow\n(e,e)\n\\longrightarrow\n\\text{separate one }e\\text{ around the torus}\n\\longrightarrow\n\\varnothing.",
      "line": 149,
      "sha256": "f0d5b9fcf18b3a12b61611034e32a406b54bf49d02d9ed4713ac49a81873d09a"
    },
    {
      "index": 34,
      "display": false,
      "tex": "Z",
      "line": 159,
      "sha256": "bbeebd879e1dff6918546dc0c179fdde505f2a21591c9a9c96e36b054ec5af83"
    },
    {
      "index": 35,
      "display": true,
      "tex": "\\boxed{\n\\Delta_{\\rm barrier}^{(Z)}=4J_e\n},",
      "line": 161,
      "sha256": "88002eaca5b6751cf01b23980cc4a1b56a910af3bbb62d906879af93ec490565"
    },
    {
      "index": 36,
      "display": false,
      "tex": "L",
      "line": 167,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 37,
      "display": true,
      "tex": "\\Delta_{\\rm barrier}^{(X)}=4J_m.",
      "line": 171,
      "sha256": "0839015c240b33a2861456b73869c0bd78fb48e5a2ff21b885a398ab50ef366c"
    },
    {
      "index": 38,
      "display": true,
      "tex": "4\\min(J_e,J_m).",
      "line": 177,
      "sha256": "b57c299789ffc440541a3d9b615a9e045013c6f3cbf7308463ed0b9008d0770a"
    },
    {
      "index": 39,
      "display": false,
      "tex": "L",
      "line": 189,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 40,
      "display": false,
      "tex": "L",
      "line": 191,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 41,
      "display": false,
      "tex": "L",
      "line": 195,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 42,
      "display": true,
      "tex": "E(r)-E_0\\sim 4J_e+\\tau r,",
      "line": 213,
      "sha256": "bc71feef51c585ad0e8027c1eca5814d8a9f66f5edf3ab5825d2000f859562d7"
    },
    {
      "index": 43,
      "display": false,
      "tex": "O(L)",
      "line": 217,
      "sha256": "637eefcaaa8af5fafdc4266c66587f7dcab77c9cb9f823cf2fd7a466ae275f18"
    },
    {
      "index": 44,
      "display": false,
      "tex": "L",
      "line": 229,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 45,
      "display": false,
      "tex": "L",
      "line": 229,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 46,
      "display": true,
      "tex": "\\text{operator weight}:1\\to2\\to\\cdots\\to L,",
      "line": 235,
      "sha256": "8cc021ee49d78102831a21dfe1f58fb999b3488c6ee540b639cbcee31cc521eb"
    },
    {
      "index": 47,
      "display": true,
      "tex": "\\text{violated stars}:2\\to2\\to\\cdots\\to0.",
      "line": 241,
      "sha256": "7883858b5c01e53e95298cf9751102b08a68f9ea9c497c1298252da1f68c99a8"
    },
    {
      "index": 48,
      "display": false,
      "tex": "L",
      "line": 247,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 49,
      "display": false,
      "tex": "d=L",
      "line": 253,
      "sha256": "eed8c2a798a8633946fd7eb5e4d240da0ec53381a1d6d60a76b475677122b8d6"
    },
    {
      "index": 50,
      "display": false,
      "tex": "Z",
      "line": 254,
      "sha256": "bbeebd879e1dff6918546dc0c179fdde505f2a21591c9a9c96e36b054ec5af83"
    },
    {
      "index": 51,
      "display": false,
      "tex": "-h\\sum Z_\\ell",
      "line": 255,
      "sha256": "5b68fcb19344a8fd8cbd41ae60c68fca68a20b68ce03e9a822d0639be6c8113d"
    },
    {
      "index": 52,
      "display": false,
      "tex": "L",
      "line": 255,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 53,
      "display": false,
      "tex": "Z",
      "line": 257,
      "sha256": "bbeebd879e1dff6918546dc0c179fdde505f2a21591c9a9c96e36b054ec5af83"
    },
    {
      "index": 54,
      "display": false,
      "tex": "4J_e",
      "line": 257,
      "sha256": "9a45ade6d26edc3fafc0bc36e43fb05749e24cef7871b61598081545575656da"
    },
    {
      "index": 55,
      "display": true,
      "tex": "V=-h\\sum_\\ell Z_\\ell",
      "line": 268,
      "sha256": "d579ad5d0cd6b36ac91de6fb77d69c9f46009a09b1c7128f2e7b86f8ac0505ac"
    },
    {
      "index": 56,
      "display": false,
      "tex": "E_0+4J_e",
      "line": 274,
      "sha256": "a51e706f80bf63275144cd67622a19ceb4b6d8eb3d8bb9beb6ae6647b5074a0e"
    },
    {
      "index": 57,
      "display": false,
      "tex": "P_0V^nP_0",
      "line": 275,
      "sha256": "06b33fe070722b3aacec1df332dc123c78ce67b3446849ac98bc0b1e0038164f"
    },
    {
      "index": 58,
      "display": false,
      "tex": "n<L",
      "line": 275,
      "sha256": "f78c3aadbda644a1e83ce3470fbe7edc5f49dbeeaf17a4d16eb202be8844b6ea"
    },
    {
      "index": 59,
      "display": false,
      "tex": "L",
      "line": 276,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 60,
      "display": false,
      "tex": "4J_e",
      "line": 277,
      "sha256": "9a45ade6d26edc3fafc0bc36e43fb05749e24cef7871b61598081545575656da"
    },
    {
      "index": 61,
      "display": false,
      "tex": "Z",
      "line": 283,
      "sha256": "bbeebd879e1dff6918546dc0c179fdde505f2a21591c9a9c96e36b054ec5af83"
    },
    {
      "index": 62,
      "display": false,
      "tex": "L-1",
      "line": 290,
      "sha256": "3f4d74109fa7ca3d535c12146f95c033e1b7ae83f96721c2b61ee717193940fa"
    },
    {
      "index": 63,
      "display": false,
      "tex": "E_0-(E_0+4J_e)",
      "line": 290,
      "sha256": "528a8f4b48b8d9611dde888a49afc2ccf492369266a1be2fe06e9e12df83d5fd"
    },
    {
      "index": 64,
      "display": false,
      "tex": "2J_e",
      "line": 303,
      "sha256": "5a683d35275ccc1d049ee002632b142586acc27881e15be230414369273577ba"
    },
    {
      "index": 65,
      "display": true,
      "tex": "E(\\gamma)-E_0=4J_e",
      "line": 305,
      "sha256": "cc9db600fdbbdb32a501a00463dab059bbf682609e9daacd642d6890dd38b5f9"
    },
    {
      "index": 66,
      "display": false,
      "tex": "\\gamma",
      "line": 309,
      "sha256": "67610b0632683369b69db194167ac4c38ed7c7cfab252970ced9e152b9b45554"
    },
    {
      "index": 67,
      "display": false,
      "tex": "n<L",
      "line": 311,
      "sha256": "f78c3aadbda644a1e83ce3470fbe7edc5f49dbeeaf17a4d16eb202be8844b6ea"
    },
    {
      "index": 68,
      "display": false,
      "tex": "n",
      "line": 311,
      "sha256": "1b16b1df538ba12dc3f97edbb85caa7050d46c148134290feba80f8236c83db9"
    },
    {
      "index": 69,
      "display": false,
      "tex": "P_0",
      "line": 313,
      "sha256": "e50b5dbfe7add1372bd9bc29acad76c8d15ab66e522229296afdd5f2281be9b7"
    },
    {
      "index": 70,
      "display": false,
      "tex": "L",
      "line": 315,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 71,
      "display": true,
      "tex": "t_\\gamma\n\\sim\n(-h)^L\n\\prod_{k=1}^{L-1}\n\\frac{1}{-4J_e}\n=\n\\frac{(-h)^L}{(-4J_e)^{L-1}}.",
      "line": 317,
      "sha256": "8b7adf80d48dae0d81d8f3ea2061a89040e526e8b21cfd0cf9164efb2e60cdfe"
    },
    {
      "index": 72,
      "display": false,
      "tex": "L",
      "line": 327,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    },
    {
      "index": 73,
      "display": true,
      "tex": "\\Delta_{\\rm barrier}^{(Z)}=4J_e.",
      "line": 333,
      "sha256": "226ca6493d85a113a0cdffef39aaf548f5111f3d232abbcb2ac6bf6985ec85d0"
    },
    {
      "index": 74,
      "display": true,
      "tex": "\\Delta E_{\\rm split}=O(\\ee^{-\\alpha L})",
      "line": 345,
      "sha256": "bda01b60058d77933fe12362c3244ad0b7942a33483e2b2460939509993e3d54"
    },
    {
      "index": 75,
      "display": true,
      "tex": "\\Delta_{\\rm barrier}=O(1).",
      "line": 351,
      "sha256": "aa2d077f0ce4e130304040f198851b23312cc33523835e3201d7bad246d84651"
    },
    {
      "index": 76,
      "display": false,
      "tex": "L",
      "line": 372,
      "sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
    }
  ]
}