{
  "schema_version": 1,
  "id": "PHYS-2026-07-29-01",
  "canonical_url": "https://rimoooliii.github.io/physicsday/physics/PHYS-2026-07-29-01/",
  "source_markdown_url": "https://rimoooliii.github.io/physicsday/physics/PHYS-2026-07-29-01.md",
  "metadata": {
    "schema_version": 1,
    "id": "PHYS-2026-07-29-01",
    "date": "2026-07-29",
    "updated_at": "2026-07-29",
    "title": "When a one-form anomaly orders thermal transitions",
    "summary": "How the mixed CP-center anomaly of four-dimensional SU(2) Yang-Mills descends to a finite-temperature constraint, and why it orders transition temperatures without fixing their equality or universality classes.",
    "language": "en",
    "entry_kind": "daily",
    "status": "published",
    "level": "graduate-advanced",
    "user_difficulty": "unrated",
    "domains": [
      "quantum-field-theory",
      "mathematical-physics",
      "particle-physics"
    ],
    "estimated_minutes": 60
  },
  "content_markdown": "\n## Key claim\n\n**An anomaly can exclude a trivially gapped confined phase without deciding how deconfinement occurs.**\n\nIt may order two transition temperatures while leaving their separation, transition orders, and critical exponents undetermined.\n\n## Theme\n\n**The CP–center anomaly as an ordering constraint on thermal transitions.**\n\n## Guiding question\n\nHow can a four-dimensional anomaly involving a one-form symmetry constrain the ordinary $\\mathbb Z_2$ symmetry of a Polyakov loop?\n\n> [!margin: Logical scope]\n> The anomaly is an exact obstruction. A thermal phase diagram follows only after specifying which infrared mechanisms are available to match it.\n\nFor pure $\\mathrm{SU}(2)$ Yang–Mills at $\\theta=\\pi$, CP and the electric $\\mathbb Z_2^{(1)}$ center symmetry have a mixed 't Hooft anomaly.\n\nThermal compactification splits the four-dimensional center background into two pieces. One still probes spatial Wilson loops. The other becomes the background for the zero-form center symmetry acting on the Polyakov loop.\n\nThe anomaly survives this split. Its consequences for phases, however, require infrared assumptions.\n\n## Setup\n\nPut pure $\\mathrm{SU}(2)$ Yang–Mills on\n\n$$\nM_4=S^1_\\beta\\times M_3,\n\\qquad\n\\beta=T^{-1},\n$$\n\nwith Euclidean action\n\n$$\nS_E\n=\n\\frac{1}{2g^2}\n\\int_{M_4}\\operatorname{tr}(F\\wedge *F)\n-\\ii\\theta Q,\n\\qquad\nQ\n=\n\\frac{1}{8\\pi^2}\n\\int_{M_4}\\operatorname{tr}(F\\wedge F).\n$$\n\nThe trace convention is chosen so that $Q\\in\\mathbb Z$ for an ordinary $\\mathrm{SU}(2)$ bundle.\n\nAt $\\theta=\\pi$, CP sends\n\n$$\n\\theta\\longmapsto-\\theta=-\\pi,\n$$\n\nwhich returns to $\\pi$ after a $2\\pi$ shift. Without a center background, this makes CP a symmetry.\n\nNow couple the electric one-form center symmetry to\n\n$$\nB\\in H^2(M_4,\\mathbb Z_2).\n$$\n\nIn this background, the instanton number can become fractional. The $2\\pi$ shift needed by CP is no longer invisible.\n\nIn a standard choice of local counterterm, the anomalous transformation is represented by\n\n$$\nZ_\\pi[B]\n\\xrightarrow{\\mathrm{CP}}\nZ_\\pi[B]\\,\n\\exp\\left[\n\\frac{\\ii\\pi}{2}\n\\int_{M_4}\\mathcal P(B)\n\\right],\n$$\n\nwhere\n\n$$\n\\mathcal P:\nH^2(M_4,\\mathbb Z_2)\n\\longrightarrow\nH^4(M_4,\\mathbb Z_4)\n$$\n\nis the Pontryagin square.\n\n> [!margin: Counterterms]\n> A local counterterm can change the displayed phase, but not the anomaly class. The invariant content is the obstruction to preserving all relevant symmetries in a trivial infrared phase.\n\nChanging the counterterm convention may change the representative phase. It cannot remove the mixed anomaly while preserving the required symmetries.\n\nThis transformation law is the exact ultraviolet statement. It contains no claim yet about a mass gap, spontaneous symmetry breaking, or a transition temperature.\n\n## Analysis\n\n### Derivation: reduce the anomaly\n\nLet\n\n$$\nu\\in H^1(S^1_\\beta,\\mathbb Z_2),\n\\qquad\n\\int_{S^1_\\beta}u=1.\n$$\n\nFor backgrounds pulled back from $M_3$, decompose\n\n$$\nB=B_s+A\\smile u,\n$$\n\nwith\n\n$$\nB_s\\in H^2(M_3,\\mathbb Z_2),\n\\qquad\nA\\in H^1(M_3,\\mathbb Z_2).\n$$\n\nThe two fields have different three-dimensional jobs:\n\n| Background | Three-dimensional symmetry | Charged probe |\n| --- | --- | --- |\n| $B_s$ | Spatial $\\mathbb Z_2^{(1)}$ center | Spatial fundamental Wilson loop |\n| $A$ | Thermal $\\mathbb Z_2^{(0)}$ center | Fundamental Polyakov loop |\n\nWrite the Polyakov loop using $\\mathcal A$ for the dynamical Yang–Mills connection:\n\n$$\nP(\\mathbf x)\n=\n\\operatorname{tr}_{\\mathbf 2}\n\\mathcal P\n\\exp\\left[\n\\ii\\int_0^\\beta\n\\mathcal A_0(\\tau,\\mathbf x)\\,\\dd\\tau\n\\right].\n$$\n\nThe thermal center acts as\n\n$$\nP(\\mathbf x)\\longmapsto-P(\\mathbf x).\n$$\n\nThe Pontryagin square is a quadratic refinement:\n\n$$\n\\mathcal P(x+y)\n=\n\\mathcal P(x)\n+\\mathcal P(y)\n+2x\\smile y\n\\pmod 4.\n$$\n\nTherefore the part of $\\mathcal P(B)$ that depends on both $A$ and $B_s$ is\n\n$$\n2B_s\\smile A\\smile u.\n$$\n\nIntegrating over the thermal circle gives\n\n$$\n\\frac12\n\\int_{S^1_\\beta\\times M_3}\n2B_s\\smile A\\smile u\n=\n\\int_{M_3}A\\smile B_s\n\\pmod 2.\n$$\n\nThe four-dimensional anomaly thus contains the three-dimensional response\n\n$$\n\\boxed{\nZ[A,B_s]\n\\xrightarrow{\\mathrm{CP}}\nZ[A,B_s]\\,\n(-1)^{\\int_{M_3}A\\smile B_s}\n}.\n$$\n\nA one-form symmetry has not turned wholesale into a zero-form symmetry. Its background has split into a spatial two-form field and a one-form field obtained by placing one leg on the thermal circle.\n\n### Scope and assumptions: isolate the infrared assumptions\n\nAnomaly matching forbids a unique, symmetry-preserving, trivially gapped infrared phase.\n\n> [!margin: Assumption hinge]\n> The temperature inequality depends here. Topological order, additional gapless modes, or a different realization of spatial center would reopen the apparently excluded window.\n\nTo translate that statement into an ordering of thermal transitions, assume that the relevant three-dimensional thermal regime has:\n\n1. locality and a mass gap;\n2. unbroken spatial $\\mathbb Z_2^{(1)}$ center symmetry;\n3. no intrinsic topological order or other nontrivial long-range sector.\n\nIn a center-symmetric confined phase,\n\n$$\n\\langle P\\rangle=0,\n$$\n\nso the thermal $\\mathbb Z_2^{(0)}$ center is unbroken.\n\nSuppose CP restored at a lower temperature than deconfinement:\n\n$$\nT_{\\mathrm{CP}}<T_{\\mathrm{deconf}}.\n$$\n\nThen the interval\n\n$$\nT_{\\mathrm{CP}}<T<T_{\\mathrm{deconf}}\n$$\n\nwould preserve CP, thermal center, and, by assumption, spatial center.\n\nIf that interval were also gapped and topologically trivial, all anomalous symmetries would be preserved in a forbidden infrared phase. Hence\n\n$$\n\\boxed{\nT_{\\mathrm{deconf}}\n\\leq\nT_{\\mathrm{CP}}\n}\n$$\n\nunder the stated assumptions.\n\nThe loopholes are physical, not semantic. A gapless phase, intrinsic topological order, or broken spatial center can match the anomaly without the conventional ordering argument.\n\n### Physical interpretation: what the inequality does and does not know\n\nThe reduced anomaly connects generalized symmetry to a Landau order parameter:\n\n$$\n\\mathbb Z_2^{(1)}\n\\quad\\xrightarrow{\\text{thermal split}}\\quad\n\\mathbb Z_2^{(1)}{}_{\\rm spatial}\n\\times\n\\mathbb Z_2^{(0)}{}_{\\rm thermal}.\n$$\n\nThis explains why the Polyakov loop enters an argument that began with a one-form symmetry.\n\nIt does not turn the Yang–Mills theory into a unique three-dimensional Ising model. A potential $V(P)$ can describe thermal-center breaking, but $P$ alone cannot reproduce the response\n\n$$\n(-1)^{\\int A\\smile B_s}.\n$$\n\nThe spatial one-form sector must remain visible in any effective description that claims to match the full anomaly.\n\nThe inequality also allows a deconfined but CP-broken window:\n\n$$\nT_{\\mathrm{deconf}}\n<\nT\n<\nT_{\\mathrm{CP}}.\n$$\n\nIn that phase, thermal center is broken, so the anomaly is already matched even though CP remains broken.\n\nRecent lattice work using analytic continuation from imaginary $\\theta$ reports evidence for precisely this strict ordering in pure $\\mathrm{SU}(2)$ Yang–Mills. That is dynamical evidence, not part of the anomaly theorem.\n\n## False claim to diagnose\n\n> Because the anomaly is invariant under renormalization-group flow, deconfinement and CP restoration must occur at the same temperature and share a universality class.\n\nAnomaly matching constrains symmetry realization. It does not select a unique path through the space of phases.\n\nEquality,\n\n$$\nT_{\\mathrm{deconf}}=T_{\\mathrm{CP}},\n$$\n\nis allowed but not required. A strict inequality is also allowed, as is a first-order transition. If a continuous transition occurs, its critical exponents require further dynamical information.\n\nA defensible replacement is:\n\n> Given the infrared assumptions above, CP cannot be restored inside a center-symmetric confined phase.\n\n## What follows — and what does not\n\nKeep the logical layers separate:\n\n| Claim | Status |\n| --- | --- |\n| CP at $\\theta=\\pi$ has a mixed anomaly with $\\mathbb Z_2^{(1)}$ center. | Exact symmetry statement |\n| Thermal compactification yields a response $(-1)^{\\int A\\smile B_s}$. | Exact background-field reduction |\n| A unique, symmetric, trivially gapped phase is impossible. | Anomaly-matching consequence |\n| $T_{\\mathrm{deconf}}\\leq T_{\\mathrm{CP}}$. | Consequence with explicit infrared assumptions |\n| The two transitions coincide or share critical exponents. | Not fixed by the anomaly |\n| Pure $\\mathrm{SU}(2)$ has a CP-broken deconfined window. | Dynamical question with recent numerical evidence |\n\nThe anomaly removes regions from the phase diagram. It does not draw the remaining phase boundaries for us.\n\n## Exercise\n\nOn $S^1_\\beta\\times M_3$, take\n\n$$\nB=B_s+A\\smile u,\n\\qquad\n\\int_{S^1_\\beta}u=1,\n$$\n\nand use\n\n$$\n\\mathcal P(x+y)\n=\n\\mathcal P(x)+\\mathcal P(y)+2x\\smile y\n\\pmod 4.\n$$\n\n1. Extract the part of\n\n   $$\n   \\frac12\n   \\int_{S^1_\\beta\\times M_3}\n   \\mathcal P(B)\n   $$\n\n   that depends on both $A$ and $B_s$.\n\n2. Show that CP produces\n\n   $$\n   (-1)^{\\int_{M_3}A\\smile B_s}.\n   $$\n\n3. Assume a gap, unbroken spatial center, and no intrinsic topological order. Prove by contradiction that\n\n   $$\n   T_{\\mathrm{CP}}<T_{\\mathrm{deconf}}\n   $$\n\n   is impossible.\n\n<details>\n<summary>Hint 1</summary>\n\nOnly a term containing one factor of $u$ can survive integration over the thermal circle and still depend on both three-dimensional backgrounds.\n\n</details>\n\n<details>\n<summary>Hint 2</summary>\n\nTranslate “confined” into unbroken thermal center:\n\n$$\n\\langle P\\rangle=0.\n$$\n\nThen inspect the hypothetical interval between the two transition temperatures.\n\n</details>\n\n**Oral check 1.** Why does one component of a four-dimensional two-form background become a three-dimensional one-form background?\n\n**Oral check 2.** Name one infrared mechanism that can match the anomaly while preserving CP and thermal center.\n\n<details class=\"solution\">\n<summary>Solution</summary>\n\nThe quadratic property gives the mixed term\n\n$$\n2B_s\\smile A\\smile u.\n$$\n\nThus\n\n$$\n\\frac12\n\\int_{S^1_\\beta\\times M_3}\n2B_s\\smile A\\smile u\n=\n\\int_{M_3}A\\smile B_s\n\\pmod 2.\n$$\n\nSubstitution into the CP phase yields\n\n$$\n\\exp\\left[\n\\ii\\pi\n\\int_{M_3}A\\smile B_s\n\\right]\n=\n(-1)^{\\int_{M_3}A\\smile B_s}.\n$$\n\nNow suppose\n\n$$\nT_{\\mathrm{CP}}<T_{\\mathrm{deconf}}.\n$$\n\nImmediately above $T_{\\mathrm{CP}}$ but below $T_{\\mathrm{deconf}}$, CP is restored while thermal center remains unbroken.\n\nIf spatial center also remains unbroken, the phase preserves all three symmetries appearing in the reduced anomaly.\n\nA local, gapped, topologically trivial phase cannot do so. Under these assumptions, the proposed interval is impossible, and therefore\n\n$$\nT_{\\mathrm{deconf}}\\leq T_{\\mathrm{CP}}.\n$$\n\nNo contradiction arises when the inequality is strict in the opposite direction. Between $T_{\\mathrm{deconf}}$ and $T_{\\mathrm{CP}}$, thermal center is broken and can match the anomaly.\n\n</details>\n\n## Check your understanding\n\nWhy does anomaly matching support\n\n$$\nT_{\\mathrm{deconf}}\\leq T_{\\mathrm{CP}}\n$$\n\nunder stated assumptions, but not\n\n$$\nT_{\\mathrm{deconf}}=T_{\\mathrm{CP}}?\n$$\n\nAnswer by naming one forbidden phase and one allowed intermediate phase.\n\nYou may also reply with “deeper,” “too easy,” “too hard,” or your derivation.\n\n## Further Reading\n\n- [Theta, Time Reversal, and Temperature](https://arxiv.org/abs/1703.00501)\n- [Deconfinement and CP-breaking at theta=pi in Yang–Mills theories and a novel phase for SU(2)](https://arxiv.org/abs/2006.01487)\n- [Numerical evidence for a CP-broken deconfined phase in four-dimensional SU(2) Yang–Mills](https://arxiv.org/abs/2502.09115)\n\n## Connections and next step\n\n- Conceptual primitive: 't Hooft anomaly matching under thermal compactification.\n- Fields connected: generalized symmetries, confinement thermodynamics, and topological response.\n- Toy system: four-dimensional pure $\\mathrm{SU}(2)$ Yang–Mills at $\\theta=\\pi$.\n- Decisive structure: the Pontryagin-square cross term reducing to $A\\smile B_s$.\n- Assumption challenged: an anomaly fixes a unique phase transition.\n- Exercise type: cohomological reduction followed by a phase-ordering contradiction.\n- Next step: anomaly matching on CP domain walls at $\\theta=\\pi$.\n- Avoid repeating soon: isolated instanton saddles and static-versus-dynamic critical exponents.\n",
  "content_sha256": "6372ac071e33ba66c127315e9f351db81bd8fbd320f2cea04934cdf77bf424f5",
  "formula_count": 79,
  "formulas": [
    {
      "index": 1,
      "display": false,
      "tex": "\\mathbb Z_2",
      "line": 32,
      "sha256": "370c87df70534fa468a6af6914e6ec1479f7ad8525206fc9b05102456176a787"
    },
    {
      "index": 2,
      "display": false,
      "tex": "\\mathrm{SU}(2)",
      "line": 37,
      "sha256": "32de77683fc4132b24e4731eae02f6831addc3f7bb7db7fc8bdce735eb8975e7"
    },
    {
      "index": 3,
      "display": false,
      "tex": "\\theta=\\pi",
      "line": 37,
      "sha256": "5b1f34408aaca958b302c7e3d5a6ea7008b1a78fb0adc0767c81dc049db8742d"
    },
    {
      "index": 4,
      "display": false,
      "tex": "\\mathbb Z_2^{(1)}",
      "line": 37,
      "sha256": "1dcfca63a905f3204a499a3e467244fbce81b527c3da82e44813c22db3ebc5dc"
    },
    {
      "index": 5,
      "display": false,
      "tex": "\\mathrm{SU}(2)",
      "line": 45,
      "sha256": "32de77683fc4132b24e4731eae02f6831addc3f7bb7db7fc8bdce735eb8975e7"
    },
    {
      "index": 6,
      "display": true,
      "tex": "M_4=S^1_\\beta\\times M_3,\n\\qquad\n\\beta=T^{-1},",
      "line": 47,
      "sha256": "6d4cffd910fd8a865dcf3494c315a6957373ff72bc6e9cbc6ac470171b0e1d42"
    },
    {
      "index": 7,
      "display": true,
      "tex": "S_E\n=\n\\frac{1}{2g^2}\n\\int_{M_4}\\operatorname{tr}(F\\wedge *F)\n-\\ii\\theta Q,\n\\qquad\nQ\n=\n\\frac{1}{8\\pi^2}\n\\int_{M_4}\\operatorname{tr}(F\\wedge F).",
      "line": 55,
      "sha256": "41714c604a97532e0ad846599f7140173ddc1f697d29c51082dda86375066ce8"
    },
    {
      "index": 8,
      "display": false,
      "tex": "Q\\in\\mathbb Z",
      "line": 68,
      "sha256": "55814076472304973b97b9c2e251c97e9147e9e35a9eb24404123634c37f9520"
    },
    {
      "index": 9,
      "display": false,
      "tex": "\\mathrm{SU}(2)",
      "line": 68,
      "sha256": "32de77683fc4132b24e4731eae02f6831addc3f7bb7db7fc8bdce735eb8975e7"
    },
    {
      "index": 10,
      "display": false,
      "tex": "\\theta=\\pi",
      "line": 70,
      "sha256": "5b1f34408aaca958b302c7e3d5a6ea7008b1a78fb0adc0767c81dc049db8742d"
    },
    {
      "index": 11,
      "display": true,
      "tex": "\\theta\\longmapsto-\\theta=-\\pi,",
      "line": 72,
      "sha256": "76ef7f3fad5b14d0c84f4309565918a2295cfe18a4e1d15f5bdfd068a349bffc"
    },
    {
      "index": 12,
      "display": false,
      "tex": "\\pi",
      "line": 76,
      "sha256": "f1cf04093d08b6dc0d58a87396405cb9093a22e9ed62a95bb95ed46e5da97097"
    },
    {
      "index": 13,
      "display": false,
      "tex": "2\\pi",
      "line": 76,
      "sha256": "fac740b460f42c05298fdb93f08649e30d095d0040d79d578ee066c0455a94e3"
    },
    {
      "index": 14,
      "display": true,
      "tex": "B\\in H^2(M_4,\\mathbb Z_2).",
      "line": 80,
      "sha256": "30ef66cee9475fb6a7289d5536f20b129467005e7660ed4e39e3e62f42adcf7e"
    },
    {
      "index": 15,
      "display": false,
      "tex": "2\\pi",
      "line": 84,
      "sha256": "fac740b460f42c05298fdb93f08649e30d095d0040d79d578ee066c0455a94e3"
    },
    {
      "index": 16,
      "display": true,
      "tex": "Z_\\pi[B]\n\\xrightarrow{\\mathrm{CP}}\nZ_\\pi[B]\\,\n\\exp\\left[\n\\frac{\\ii\\pi}{2}\n\\int_{M_4}\\mathcal P(B)\n\\right],",
      "line": 88,
      "sha256": "c394ee3104a60d4a457683b2ecfc3b662f995d6bf7887e31ef1a68f4de9467b3"
    },
    {
      "index": 17,
      "display": true,
      "tex": "\\mathcal P:\nH^2(M_4,\\mathbb Z_2)\n\\longrightarrow\nH^4(M_4,\\mathbb Z_4)",
      "line": 100,
      "sha256": "85a679aaa4da76e0e5bfa7590da5d029b09145a45ecd25b54a7620cc26fbc39a"
    },
    {
      "index": 18,
      "display": true,
      "tex": "u\\in H^1(S^1_\\beta,\\mathbb Z_2),\n\\qquad\n\\int_{S^1_\\beta}u=1.",
      "line": 122,
      "sha256": "fa8304bd35d60548160c484f90cbadf7cac86040fcee43b95f26d50afad784df"
    },
    {
      "index": 19,
      "display": false,
      "tex": "M_3",
      "line": 128,
      "sha256": "fa02e26ac15b5f1d9ea0e83c2d86ca21fd01dd284f6c04b35002bb0fba82b193"
    },
    {
      "index": 20,
      "display": true,
      "tex": "B=B_s+A\\smile u,",
      "line": 130,
      "sha256": "c790c266cadabb96d46122f6bf43b225b74fb76c5570129b69a3b214d8933add"
    },
    {
      "index": 21,
      "display": true,
      "tex": "B_s\\in H^2(M_3,\\mathbb Z_2),\n\\qquad\nA\\in H^1(M_3,\\mathbb Z_2).",
      "line": 136,
      "sha256": "a657064a21ed6a77aa6d23d8172a98fffabff21a1a62d6c4c36ba46d7ea5c7c6"
    },
    {
      "index": 22,
      "display": false,
      "tex": "B_s",
      "line": 146,
      "sha256": "026204dc005ea4b1821b4869d75ea4ded86b12fec581bfab3aac46b959ff0c16"
    },
    {
      "index": 23,
      "display": false,
      "tex": "\\mathbb Z_2^{(1)}",
      "line": 146,
      "sha256": "1dcfca63a905f3204a499a3e467244fbce81b527c3da82e44813c22db3ebc5dc"
    },
    {
      "index": 24,
      "display": false,
      "tex": "A",
      "line": 147,
      "sha256": "559aead08264d5795d3909718cdd05abd49572e84fe55590eef31a88a08fdffd"
    },
    {
      "index": 25,
      "display": false,
      "tex": "\\mathbb Z_2^{(0)}",
      "line": 147,
      "sha256": "59dd6a4d4bc8146c593b52d6ffb1b8f31252b901af5d0ab8c95291e9822449da"
    },
    {
      "index": 26,
      "display": false,
      "tex": "\\mathcal A",
      "line": 149,
      "sha256": "09b0b2df35128655f9379ba0a2946be4f0c402ea6b2d1d386617859b76502a20"
    },
    {
      "index": 27,
      "display": true,
      "tex": "P(\\mathbf x)\n=\n\\operatorname{tr}_{\\mathbf 2}\n\\mathcal P\n\\exp\\left[\n\\ii\\int_0^\\beta\n\\mathcal A_0(\\tau,\\mathbf x)\\,\\dd\\tau\n\\right].",
      "line": 151,
      "sha256": "6e054f19c02e0b2829556c6ef47e2412b20080ec3961445269fe1c5fcbe4c81e"
    },
    {
      "index": 28,
      "display": true,
      "tex": "P(\\mathbf x)\\longmapsto-P(\\mathbf x).",
      "line": 164,
      "sha256": "cc11e793b3267d73bebdbc15f54aa372e2be53c88e8a8a424480446d6f40dbbb"
    },
    {
      "index": 29,
      "display": true,
      "tex": "\\mathcal P(x+y)\n=\n\\mathcal P(x)\n+\\mathcal P(y)\n+2x\\smile y\n\\pmod 4.",
      "line": 170,
      "sha256": "8bd5d519a8fc9f90e951f135fb93185eec9f4d1a23e5769d4d0b69643cfb8621"
    },
    {
      "index": 30,
      "display": false,
      "tex": "\\mathcal P(B)",
      "line": 179,
      "sha256": "6b1c970975bff1df9abd476f041b16f53b40b53d5f74009b9134e30761bb21d9"
    },
    {
      "index": 31,
      "display": false,
      "tex": "A",
      "line": 179,
      "sha256": "559aead08264d5795d3909718cdd05abd49572e84fe55590eef31a88a08fdffd"
    },
    {
      "index": 32,
      "display": false,
      "tex": "B_s",
      "line": 179,
      "sha256": "026204dc005ea4b1821b4869d75ea4ded86b12fec581bfab3aac46b959ff0c16"
    },
    {
      "index": 33,
      "display": true,
      "tex": "2B_s\\smile A\\smile u.",
      "line": 181,
      "sha256": "f59b20b8b1bd6421f6ef17a841da4ee373b4b484603410dad27625b92ce217f4"
    },
    {
      "index": 34,
      "display": true,
      "tex": "\\frac12\n\\int_{S^1_\\beta\\times M_3}\n2B_s\\smile A\\smile u\n=\n\\int_{M_3}A\\smile B_s\n\\pmod 2.",
      "line": 187,
      "sha256": "707f48e4481d0562ec60db9661fc8848c25555ecbd0f89d5a60d606e330d67b2"
    },
    {
      "index": 35,
      "display": true,
      "tex": "\\boxed{\nZ[A,B_s]\n\\xrightarrow{\\mathrm{CP}}\nZ[A,B_s]\\,\n(-1)^{\\int_{M_3}A\\smile B_s}\n}.",
      "line": 198,
      "sha256": "ee7c70106e232d5c71a0cb0c87cd989d37bb1325892454511dbaf2af0d95c727"
    },
    {
      "index": 36,
      "display": false,
      "tex": "\\mathbb Z_2^{(1)}",
      "line": 219,
      "sha256": "1dcfca63a905f3204a499a3e467244fbce81b527c3da82e44813c22db3ebc5dc"
    },
    {
      "index": 37,
      "display": true,
      "tex": "\\langle P\\rangle=0,",
      "line": 224,
      "sha256": "204b912c9d98fe61dc1501db8d0b43e474623fa6109b8904887d9f20a6c4419d"
    },
    {
      "index": 38,
      "display": false,
      "tex": "\\mathbb Z_2^{(0)}",
      "line": 228,
      "sha256": "59dd6a4d4bc8146c593b52d6ffb1b8f31252b901af5d0ab8c95291e9822449da"
    },
    {
      "index": 39,
      "display": true,
      "tex": "T_{\\mathrm{CP}}<T_{\\mathrm{deconf}}.",
      "line": 232,
      "sha256": "705deb7ddcb210a7ad817aeb08a7463cd6e18e1309e92edf68794cccf4adba91"
    },
    {
      "index": 40,
      "display": true,
      "tex": "T_{\\mathrm{CP}}<T<T_{\\mathrm{deconf}}",
      "line": 238,
      "sha256": "a3ff30be29289f54a54aaf6e74f2f1c8aa10eb85d78598d9a359fb15309ffc6a"
    },
    {
      "index": 41,
      "display": true,
      "tex": "\\boxed{\nT_{\\mathrm{deconf}}\n\\leq\nT_{\\mathrm{CP}}\n}",
      "line": 246,
      "sha256": "35b42e15a9b35aeaf3b97f74a976ff295a809fbb8ff9321da89a8c72eb9cc339"
    },
    {
      "index": 42,
      "display": true,
      "tex": "\\mathbb Z_2^{(1)}\n\\quad\\xrightarrow{\\text{thermal split}}\\quad\n\\mathbb Z_2^{(1)}{}_{\\rm spatial}\n\\times\n\\mathbb Z_2^{(0)}{}_{\\rm thermal}.",
      "line": 262,
      "sha256": "01bd34b1e98919fc5404f52d14eda3d9eb81d193cc79b1cae2be45b13ded096d"
    },
    {
      "index": 43,
      "display": false,
      "tex": "V(P)",
      "line": 272,
      "sha256": "d80fddfa212fc3fbed48615d01ba4fcef3cc0b51f2590926b6477d0dbdc1f41a"
    },
    {
      "index": 44,
      "display": false,
      "tex": "P",
      "line": 272,
      "sha256": "5c62e091b8c0565f1bafad0dad5934276143ae2ccef7a5381e8ada5b1a8d26d2"
    },
    {
      "index": 45,
      "display": true,
      "tex": "(-1)^{\\int A\\smile B_s}.",
      "line": 274,
      "sha256": "15bbb1db678597066fd9b62fe2c33783be0c589c4d3333bbbc8b42b7fb69ae43"
    },
    {
      "index": 46,
      "display": true,
      "tex": "T_{\\mathrm{deconf}}\n<\nT\n<\nT_{\\mathrm{CP}}.",
      "line": 282,
      "sha256": "84ab0913a2df80f462dcc69decb2dfc29863b8c3f97a4cb68a62e6d483912b3c"
    },
    {
      "index": 47,
      "display": false,
      "tex": "\\theta",
      "line": 292,
      "sha256": "2b4af44cb17349bb9452292a447fe70d48c9ce08e68dd2f74e9628cf8ac625b8"
    },
    {
      "index": 48,
      "display": false,
      "tex": "\\mathrm{SU}(2)",
      "line": 292,
      "sha256": "32de77683fc4132b24e4731eae02f6831addc3f7bb7db7fc8bdce735eb8975e7"
    },
    {
      "index": 49,
      "display": true,
      "tex": "T_{\\mathrm{deconf}}=T_{\\mathrm{CP}},",
      "line": 302,
      "sha256": "1843dd194a3bc01ebc67d3bbdc1c4d855022bb5f0346d534abdc6a980f8e1438"
    },
    {
      "index": 50,
      "display": false,
      "tex": "\\theta=\\pi",
      "line": 318,
      "sha256": "5b1f34408aaca958b302c7e3d5a6ea7008b1a78fb0adc0767c81dc049db8742d"
    },
    {
      "index": 51,
      "display": false,
      "tex": "\\mathbb Z_2^{(1)}",
      "line": 318,
      "sha256": "1dcfca63a905f3204a499a3e467244fbce81b527c3da82e44813c22db3ebc5dc"
    },
    {
      "index": 52,
      "display": false,
      "tex": "(-1)^{\\int A\\smile B_s}",
      "line": 319,
      "sha256": "cec6964a6d2d9adad22b139879c03f8241509869a2c09397e04fb2337b96017e"
    },
    {
      "index": 53,
      "display": false,
      "tex": "T_{\\mathrm{deconf}}\\leq T_{\\mathrm{CP}}",
      "line": 321,
      "sha256": "9df86e88c8a27ebd6d510db7223ce245ee47bf95af00ef1679383ea37605bcc4"
    },
    {
      "index": 54,
      "display": false,
      "tex": "\\mathrm{SU}(2)",
      "line": 323,
      "sha256": "32de77683fc4132b24e4731eae02f6831addc3f7bb7db7fc8bdce735eb8975e7"
    },
    {
      "index": 55,
      "display": false,
      "tex": "S^1_\\beta\\times M_3",
      "line": 329,
      "sha256": "91492033479fd8423db6acb266bea730328560708af682a86310b91fe25349ed"
    },
    {
      "index": 56,
      "display": true,
      "tex": "B=B_s+A\\smile u,\n\\qquad\n\\int_{S^1_\\beta}u=1,",
      "line": 331,
      "sha256": "ee2c4c6f95298a64aa6ff4f0ce280dac1a82be926052bb031823774c7d4b9e6c"
    },
    {
      "index": 57,
      "display": true,
      "tex": "\\mathcal P(x+y)\n=\n\\mathcal P(x)+\\mathcal P(y)+2x\\smile y\n\\pmod 4.",
      "line": 339,
      "sha256": "8f9029683793af4d47ee786af4e6198434352fef2e26cca0a64a38ae45e155a0"
    },
    {
      "index": 58,
      "display": true,
      "tex": "\\frac12\n\\int_{S^1_\\beta\\times M_3}\n\\mathcal P(B)",
      "line": 348,
      "sha256": "cbdc0f4ada82e56311537e7b78e4b8f0d2316dc84eaebf821ecc3ee5eea7d4a8"
    },
    {
      "index": 59,
      "display": false,
      "tex": "A",
      "line": 354,
      "sha256": "559aead08264d5795d3909718cdd05abd49572e84fe55590eef31a88a08fdffd"
    },
    {
      "index": 60,
      "display": false,
      "tex": "B_s",
      "line": 354,
      "sha256": "026204dc005ea4b1821b4869d75ea4ded86b12fec581bfab3aac46b959ff0c16"
    },
    {
      "index": 61,
      "display": true,
      "tex": "(-1)^{\\int_{M_3}A\\smile B_s}.",
      "line": 358,
      "sha256": "9c74acb21aa56bd306bf80095e6431fa924c4a6099220fff00e1d3b1f1eaae45"
    },
    {
      "index": 62,
      "display": true,
      "tex": "T_{\\mathrm{CP}}<T_{\\mathrm{deconf}}",
      "line": 364,
      "sha256": "066cbae367216e4ff942f57c61b40f40c3d7ec291ca2c8079049530341a63029"
    },
    {
      "index": 63,
      "display": false,
      "tex": "u",
      "line": 373,
      "sha256": "0bfe935e70c321c7ca3afc75ce0d0ca2f98b5422e008bb31c00c6d7f1f1c0ad6"
    },
    {
      "index": 64,
      "display": true,
      "tex": "\\langle P\\rangle=0.",
      "line": 382,
      "sha256": "7a8ef94d893e386ca4193d3d99bc54fa68af1d49f26a2f88bc4f874e00f57af1"
    },
    {
      "index": 65,
      "display": true,
      "tex": "2B_s\\smile A\\smile u.",
      "line": 399,
      "sha256": "f59b20b8b1bd6421f6ef17a841da4ee373b4b484603410dad27625b92ce217f4"
    },
    {
      "index": 66,
      "display": true,
      "tex": "\\frac12\n\\int_{S^1_\\beta\\times M_3}\n2B_s\\smile A\\smile u\n=\n\\int_{M_3}A\\smile B_s\n\\pmod 2.",
      "line": 405,
      "sha256": "707f48e4481d0562ec60db9661fc8848c25555ecbd0f89d5a60d606e330d67b2"
    },
    {
      "index": 67,
      "display": true,
      "tex": "\\exp\\left[\n\\ii\\pi\n\\int_{M_3}A\\smile B_s\n\\right]\n=\n(-1)^{\\int_{M_3}A\\smile B_s}.",
      "line": 416,
      "sha256": "528507a6cb969db9ae7e134279af47cefe82d9157e7d8311a11196adfd824c89"
    },
    {
      "index": 68,
      "display": true,
      "tex": "T_{\\mathrm{CP}}<T_{\\mathrm{deconf}}.",
      "line": 427,
      "sha256": "705deb7ddcb210a7ad817aeb08a7463cd6e18e1309e92edf68794cccf4adba91"
    },
    {
      "index": 69,
      "display": false,
      "tex": "T_{\\mathrm{CP}}",
      "line": 431,
      "sha256": "702728c387d5c17fb778e87da755c05947e961d5ef0dd78467b0581e77d05014"
    },
    {
      "index": 70,
      "display": false,
      "tex": "T_{\\mathrm{deconf}}",
      "line": 431,
      "sha256": "b260f8955a52cfd853d12ff64023108e4704c6d7bdaaa23d64e5039e2d63ef46"
    },
    {
      "index": 71,
      "display": true,
      "tex": "T_{\\mathrm{deconf}}\\leq T_{\\mathrm{CP}}.",
      "line": 437,
      "sha256": "cb1c85357a3d6fc721e32d65cbc6bf326a54928c193261b44c763d59248f7903"
    },
    {
      "index": 72,
      "display": false,
      "tex": "T_{\\mathrm{deconf}}",
      "line": 441,
      "sha256": "b260f8955a52cfd853d12ff64023108e4704c6d7bdaaa23d64e5039e2d63ef46"
    },
    {
      "index": 73,
      "display": false,
      "tex": "T_{\\mathrm{CP}}",
      "line": 441,
      "sha256": "702728c387d5c17fb778e87da755c05947e961d5ef0dd78467b0581e77d05014"
    },
    {
      "index": 74,
      "display": true,
      "tex": "T_{\\mathrm{deconf}}\\leq T_{\\mathrm{CP}}",
      "line": 449,
      "sha256": "9df86e88c8a27ebd6d510db7223ce245ee47bf95af00ef1679383ea37605bcc4"
    },
    {
      "index": 75,
      "display": true,
      "tex": "T_{\\mathrm{deconf}}=T_{\\mathrm{CP}}?",
      "line": 455,
      "sha256": "36cad8ad90e6fca2ddf79c506d97ddd70c9b15f241b28e87a4ee304de3f7d7ca"
    },
    {
      "index": 76,
      "display": false,
      "tex": "\\mathrm{SU}(2)",
      "line": 473,
      "sha256": "32de77683fc4132b24e4731eae02f6831addc3f7bb7db7fc8bdce735eb8975e7"
    },
    {
      "index": 77,
      "display": false,
      "tex": "\\theta=\\pi",
      "line": 473,
      "sha256": "5b1f34408aaca958b302c7e3d5a6ea7008b1a78fb0adc0767c81dc049db8742d"
    },
    {
      "index": 78,
      "display": false,
      "tex": "A\\smile B_s",
      "line": 474,
      "sha256": "787768e1ea6b76132f4de74ca3d46879e3db42dfd8b79c32398bb1c975c29912"
    },
    {
      "index": 79,
      "display": false,
      "tex": "\\theta=\\pi",
      "line": 477,
      "sha256": "5b1f34408aaca958b302c7e3d5a6ea7008b1a78fb0adc0767c81dc049db8742d"
    }
  ]
}