{
"schema_version": 1,
"id": "PHYS-2026-08-03-01",
"canonical_url": "https://rimoooliii.github.io/physicsday/physics/PHYS-2026-08-03-01/",
"source_markdown_url": "https://rimoooliii.github.io/physicsday/physics/PHYS-2026-08-03-01.md",
"metadata": {
"schema_version": 1,
"id": "PHYS-2026-08-03-01",
"date": "2026-08-03",
"updated_at": "2026-08-03",
"title": "A trivial Floquet endpoint does not trivialize the drive path",
"summary": "What the spin-chain twist algebra proves when the one-period unitary is the identity, what it does not prove, and how micromotion topology requires an independent path or defect invariant.",
"language": "en",
"entry_kind": "daily",
"status": "published",
"level": "graduate-advanced",
"user_difficulty": "unrated",
"domains": [
"condensed-matter",
"quantum-information",
"mathematical-physics"
],
"estimated_minutes": 60
},
"content_markdown": "\n## Key claim\n\n**The equation $U_F=I$ fixes the endpoint of a periodic drive. It does not specify the path $U(t)$, and it does not alter the symmetry representation carried by each unit cell.**\n\nFor a spin-$1/2$ chain, the algebra between a $2\\pi$ twist and one-site translation survives even when the Floquet endpoint is the identity. That algebra records the microscopic Lieb–Schultz–Mattis input.\n\nIt does not, on its own, prove that the micromotion is a nontrivial Floquet loop. A zero Hamiltonian has the same endpoint and the same microscopic LSM data.\n\n## Theme\n\n**Flux insertion, LSM data, and the information lost by stroboscopic evolution.**\n\n## Guiding question\n\nWhich statements follow from\n\n$$\nU_F=\\mathcal T\\exp\\!\\left[-\\ii\\int_0^\\tau\\dd t\\,H(t)\\right]=I,\n$$\n\nand which require the complete path $U(t)$ or its response to symmetry defects?\n\n## Setup\n\nConsider an even periodic chain of $L$ spin-$1/2$ sites. Let\n\n$$\nQ=\\sum_{j=1}^LS_j^z\n$$\n\ngenerate an exact $U(1)$ spin rotation, and let $\\mathsf T_x$ translate the chain by one site:\n\n$$\n\\mathsf T_xS_j^z\\mathsf T_x^{-1}=S_{j+1}^z,\n\\qquad\nS_{L+1}^z=S_1^z.\n$$\n\nWork in the $Q=0$ sector. Define the large twist\n\n$$\nG=\\exp\\!\\left(\\frac{2\\pi\\ii}{L}\n\\sum_{j=1}^LjS_j^z\\right).\n$$\n\nThe drive is local and periodic,\n\n$$\nH(t+\\tau)=H(t),\n$$\n\nand preserves $Q$ and $\\mathsf T_x$ at every time. When a background $U(1)$ flux $\\alpha$ threads the ring, denote the evolution by $U_F[\\alpha]$.\n\n> [!margin: Two distinct inputs]\n> The twist algebra below follows from the on-site spin representation and translation. Whether a particular drive path is topologically nontrivial is a separate dynamical question.\n\n## Analysis\n\n### Derivation: the exact twist–translation algebra\n\nTranslate the exponent of $G$:\n\n$$\n\\mathsf T_xG\\mathsf T_x^{-1}\n=\\exp\\!\\left(\\frac{2\\pi\\ii}{L}\n\\sum_{j=1}^LjS_{j+1}^z\\right).\n$$\n\nReindexing the sum gives\n\n$$\n\\sum_{j=1}^LjS_{j+1}^z\n=\\sum_{j=1}^LjS_j^z+LS_1^z-Q.\n$$\n\nAll terms in the exponent commute, so\n\n$$\n\\mathsf T_xG\\mathsf T_x^{-1}\n=G\\ee^{2\\pi\\ii S_1^z}\\ee^{-2\\pi\\ii Q/L}.\n$$\n\nFor a spin-$1/2$ site,\n\n$$\n\\ee^{2\\pi\\ii S_1^z}=-I.\n$$\n\nTherefore, in the $Q=0$ sector,\n\n$$\n\\boxed{\\mathsf T_xG\\mathsf T_x^{-1}=-G}.\n$$\n\nIf\n\n$$\n\\mathsf T_x\\ket{\\psi_p}=\\ee^{\\ii p}\\ket{\\psi_p},\n$$\n\nthen\n\n$$\n\\mathsf T_xG\\ket{\\psi_p}\n=\\ee^{\\ii(p+\\pi)}G\\ket{\\psi_p}.\n$$\n\nThe large twist shifts crystal momentum by $\\pi$. This is an exact finite-size operator identity; no spectrum or adiabatic approximation has entered.\n\nThe familiar static flux-insertion argument adds dynamics. If a unique gapped ground state can be followed under flux insertion, the state obtained after $2\\pi$ flux has the same Hamiltonian after a large gauge transformation but a different momentum.\n\nThat conflicts with a unique symmetric gapped ground state at half-odd-integer spin per cell. Oshikawa formulated the flux-insertion version for conserved filling on a periodic lattice [Commensurability, excitation gap and topology](https://arxiv.org/abs/cond-mat/9911137).\n\n> [!margin: What is exact]\n> The momentum-shift algebra is exact. The static conclusion also uses locality, a spectral gap, a ground state, and control of flux insertion. Keep the algebra separate from those additional steps.\n\nFor the driven system, consistent coupling to a background gauge field gives endpoint covariance\n\n$$\nU_F[2\\pi]=G,U_F[0],G^{-1},\n$$\n\nup to the chosen orientation of the flux and twist. If\n\n$$\nU_F[0]\\ket{\\psi_p}\n=\\ee^{-\\ii\\varepsilon\\tau}\\ket{\\psi_p},\n$$\n\nthen\n\n$$\nU_F[2\\pi]G\\ket{\\psi_p}\n=\\ee^{-\\ii\\varepsilon\\tau}G\\ket{\\psi_p}.\n$$\n\nAfter returning to the original gauge, the quasienergy is unchanged while the translation quantum number is shifted by $\\pi$.\n\nIf $U_F[0]=I$, this covariance remains true. It also becomes spectrally weak: every state already has quasienergy $0$ modulo $2\\pi/\\tau$.\n\nThe twist still diagnoses the microscopic symmetry representation. It does not force a crossing inside a completely degenerate Floquet endpoint.\n\n### Scope and assumptions: endpoint, loop, and effective Hamiltonian\n\nThe one-period operator remembers only the endpoint\n\n$$\nU(0)=I,\n\\qquad\nU(\\tau)=U_F.\n$$\n\nTwo drives may have the same $U_F$ and different intermediate unitaries. When $U_F=I$, the evolution is a unitary loop:\n\n$$\nU(0)=U(\\tau)=I.\n$$\n\nSome loops can be contracted to the constant loop through local symmetry-preserving evolutions. Others cannot within the phase equivalence relation being used.\n\nThe endpoint alone cannot distinguish them. Choosing\n\n$$\nH_F=\\frac{\\ii}{\\tau}\\log U_F=0\n$$\n\nalso discards this distinction.\n\n> [!margin: Classification must be named]\n> “Nontrivial loop” is incomplete without a dimension, symmetry group, locality condition, and stability regime. Free-particle winding, MBL Floquet SPT pumps, and chiral many-body edge indices are related examples, not one universal invariant.\n\nIn two-dimensional noninteracting systems, Rudner and collaborators constructed a winding invariant for the full time evolution that detects anomalous chiral edge states even when bulk Floquet-band Chern numbers vanish [Anomalous edge states and the bulk-edge correspondence](https://arxiv.org/abs/1212.3324).\n\nIn interacting two-dimensional bosonic systems with a localized bulk, Po and collaborators classified chiral Floquet phases by a many-body edge index [Chiral Floquet Phases of Many-body Localized Bosons](https://arxiv.org/abs/1609.00006).\n\nIn symmetry-protected localized Floquet systems, Else and Nayak described additional dynamical phases as lower-dimensional SPT states pumped to a boundary during each period [Classification of topological phases in periodically driven interacting systems](https://arxiv.org/abs/1602.04804).\n\nThese examples establish that $U_F$ on a closed bulk can omit micromotion topology. They do not prove that every spin-$1/2$ chain with $U_F=I$ realizes one of these phases.\n\nIndeed, take\n\n$$\nH(t)=0.\n$$\n\nThen $U(t)=I$ at all times. The spin chain still satisfies\n\n$$\n\\mathsf T_xG\\mathsf T_x^{-1}=-G,\n$$\n\nbut its drive path is the constant loop. The microscopic LSM datum and the Floquet-loop invariant cannot be the same object.\n\n### Physical interpretation: open boundaries and defect response\n\nA loop that returns a closed bulk to the identity may leave a nontrivial locality-preserving unitary at an open boundary. A charge pump offers the simplest picture: motion through the periodic bulk cancels after a cycle, while an open sample accumulates opposite boundary charges.\n\nThis is why opening the system can reveal information absent from the closed-system endpoint.\n\nBackground fields provide another diagnostic. For a density matrix $\\rho$, define the Schwinger–Keldysh functional\n\n$$\nZ[A_1,A_2]\n=\\Tr\\!\\left(U[A_1]\\rho U^\\dagger[A_2]\\right).\n$$\n\nAt equal fields, unitarity gives $Z[A,A]=1$. Relative fields probe response of the driven path.\n\nGlorioso, Gromov, and Ryu used this construction to formulate many-body response invariants for selected Floquet topological systems [Effective response theory for Floquet topological systems](https://arxiv.org/abs/1908.03217).\n\n> [!margin: Crystalline caveat]\n> Their demonstrated examples do not by themselves construct the mixed translation–$U(1)$ response of this spin chain. Translation defects require crystalline background data beyond an ordinary electromagnetic gauge field.\n\nThe LSM obstruction can itself be described through symmetry defects and the obstruction to gauging internal symmetry while preserving translation. A lattice formulation is developed by [Seifnashri](https://arxiv.org/abs/2308.05151), and a broader 2026 review is given by [Zou and Cheng](https://arxiv.org/abs/2604.00347).\n\nCombining a crystalline LSM defect theory with a Floquet Schwinger–Keldysh response is a reasonable research program. The sources above supply its ingredients in different settings.\n\nThey do not establish the blanket theorem\n\n$$\n\\text{LSM datum}+U_F=I\n\\quad\\Longrightarrow\\quad\n\\text{nontrivial micromotion loop}.\n$$\n\nHeating supplies a further limitation. A generic clean interacting Floquet system may absorb energy and fail to support a stable eigenstate phase.\n\nMany-body localization, integrability, coupling to a suitable environment, or a long prethermal window can make dynamical classifications useful, but each option changes the assumptions.\n\n## False claim to diagnose\n\n> If $U_F=I$, the drive is topologically trivial and the spin chain has evaded its LSM obstruction.\n\nThe first clause confuses an endpoint with a path. The second confuses a choice of dynamics with the projective symmetry representation in each unit cell.\n\nThe corrected statement is:\n\n> $U_F=I$ makes all stroboscopic quasienergies trivial on the closed system. Microscopic LSM data remain, while micromotion topology must be tested independently.\n\n## What follows — and what does not\n\n| Statement | Status |\n| --- | --- |\n| $\\mathsf T_xG\\mathsf T_x^{-1}=-G$ in the stated $Q=0$ spin-$1/2$ sector. | Exact finite-size algebra |\n| $G$ shifts momentum by $\\pi$. | Exact consequence of that algebra |\n| The static system cannot have a unique symmetric gapped ground state. | LSM conclusion with locality and ground-state assumptions |\n| The same proof forces a Floquet quasienergy gap closing. | False; quasienergy has no ground-state ordering |\n| $U_F=I$ determines the entire drive. | False; it fixes only the endpoint |\n| $U_F=I$ permits nontrivial unitary loops. | True in specified Floquet classifications |\n| The LSM twist algebra proves this particular loop is nontrivial. | False without a path or defect invariant |\n| A trivial loop removes the microscopic LSM datum. | False |\n| An ordinary $U(1)$ SK response already captures translation defects. | False in general |\n| A generic clean interacting drive realizes a stable Floquet phase forever. | Not without control of heating |\n\n## Exercise\n\nUse the periodic spin-$1/2$ chain defined above.\n\n1. Derive $\\mathsf T_xG\\mathsf T_x^{-1}$ by reindexing the twist exponent.\n2. Show that $G\\ket{\\psi_p}$ has momentum $p+\\pi$ in the $Q=0$ sector.\n3. Prove the quasienergy relation using $U_F[2\\pi]=GU_F[0]G^{-1}$.\n4. Explain why no quasienergy crossing follows when $U_F=I$.\n5. Compare the constant loop $U_0(t)=I$ with any loop $U_1(t)$ that has the same endpoint but a nontrivial open-boundary action. Which data distinguish them?\n\n\nHint 1
\n\nAfter translating, isolate the boundary contribution $LS_1^z$ and the total charge $Q$.\n\n \n\n\nHint 2
\n\nThe endpoint spectrum cannot distinguish two loops that both satisfy $U(\\tau)=I$. Inspect a homotopy invariant, an open-boundary unitary, or a background-field response.\n\n \n\n**Oral check 1.** Which result survives every change of $H(t)$ that preserves the same local spin representation and symmetries?\n\n**Oral check 2.** Give one reason the static variational LSM argument cannot be copied directly to quasienergy.\n\n\nSolution
\n\nTranslation gives\n\n$$\n\\sum_{j=1}^LjS_{j+1}^z\n=\\sum_{j=1}^LjS_j^z+LS_1^z-Q.\n$$\n\nTherefore\n\n$$\n\\mathsf T_xG\\mathsf T_x^{-1}\n=G\\ee^{2\\pi\\ii S_1^z}\\ee^{-2\\pi\\ii Q/L}.\n$$\n\nFor spin $1/2$ and $Q=0$, this reduces to $-G$. Hence\n\n$$\n\\mathsf T_xG\\ket{\\psi_p}\n=-G\\mathsf T_x\\ket{\\psi_p}\n=\\ee^{\\ii(p+\\pi)}G\\ket{\\psi_p}.\n$$\n\nGauge covariance gives\n\n$$\nU_F[2\\pi]G\\ket{\\psi_p}\n=GU_F[0]\\ket{\\psi_p}\n=\\ee^{-\\ii\\varepsilon\\tau}G\\ket{\\psi_p}.\n$$\n\nThus the gauge-related state has the same quasienergy and shifted momentum.\n\nWhen $U_F=I$, all states already share quasienergy zero modulo $2\\pi/\\tau$. The momentum shift acts inside this extensive degeneracy and does not force a distinguished crossing at quasienergy zero or $\\pi/\\tau$.\n\nBoth $U_0(t)$ and $U_1(t)$ have the same endpoint spectrum. They may differ in the homotopy class of the local-unitary path, their open-boundary endpoint, or their response to symmetry defects.\n\nThe twist–translation algebra is identical for both because it belongs to the microscopic spin representation, not to the chosen loop.\n\n \n\n## Check your understanding\n\nSuppose two translation- and $U(1)$-symmetric drives act on the same spin-$1/2$ chain and both satisfy $U_F=I$. One is the constant loop; the other pumps a protected boundary charge in a regime where that invariant is well defined.\n\nList the data that agree and the data that differ. Which part is fixed by the LSM anomaly?\n\nYou may also reply with “deeper,” “too easy,” “too hard,” or your derivation.\n\n## Further Reading\n\n- [Commensurability, excitation gap and topology in quantum many-particle systems](https://arxiv.org/abs/cond-mat/9911137)\n- [Lieb-Schultz-Mattis anomalies as obstructions to gauging symmetries](https://arxiv.org/abs/2308.05151)\n- [Lieb-Schultz-Mattis Anomalies and Anomaly Matching](https://arxiv.org/abs/2604.00347)\n- [Anomalous edge states and the bulk-edge correspondence for periodically driven systems](https://arxiv.org/abs/1212.3324)\n- [Classification of topological phases in periodically driven interacting systems](https://arxiv.org/abs/1602.04804)\n- [Chiral Floquet Phases of Many-body Localized Bosons](https://arxiv.org/abs/1609.00006)\n- [Effective response theory for Floquet topological systems](https://arxiv.org/abs/1908.03217)\n\n## Connections and next step\n\n- Microscopic layer: the projective spin representation fixes the twist–translation algebra.\n- Static layer: energy ordering and a ground-state gap turn that algebra into the LSM constraint.\n- Floquet endpoint: $U_F$ fixes quasienergies but discards the path taken during a cycle.\n- Dynamical layer: loop homotopy, boundary action, and defect response can retain micromotion topology.\n- Stability layer: heating determines whether a Floquet phase is asymptotic or only prethermal.\n- Next step: construct a specific symmetric loop and compute its open-chain endpoint rather than inferring it from $U_F$.\n- Revisit: compare the SK response here with the counting-field deformation in the July 31 entry.\n",
"content_sha256": "7f8de5ae390d7bde2c6aaa61e01fbc5480973e32e4782b36c26e4a40fce8237b",
"formula_count": 95,
"formulas": [
{
"index": 1,
"display": false,
"tex": "U_F=I",
"line": 22,
"sha256": "d2929b2335d81da86fb5e89761a17ef88a11c41c5d545964f62585530fffb2c7"
},
{
"index": 2,
"display": false,
"tex": "U(t)",
"line": 22,
"sha256": "bcb834014dcd23f575dc24b92bcc74760f8156f2f5860b72eab6a6c7c0c447ee"
},
{
"index": 3,
"display": false,
"tex": "1/2",
"line": 24,
"sha256": "d939926f05444b0f4495fb9629ecbfa80d99a8ec1a20d06800ca5a3d5f4fd276"
},
{
"index": 4,
"display": false,
"tex": "2\\pi",
"line": 24,
"sha256": "fac740b460f42c05298fdb93f08649e30d095d0040d79d578ee066c0455a94e3"
},
{
"index": 5,
"display": true,
"tex": "U_F=\\mathcal T\\exp\\!\\left[-\\ii\\int_0^\\tau\\dd t\\,H(t)\\right]=I,",
"line": 36,
"sha256": "4d7350ab95d9d3f4a7ba2c5130cee157568124d678507d1ed52874842095e122"
},
{
"index": 6,
"display": false,
"tex": "U(t)",
"line": 40,
"sha256": "bcb834014dcd23f575dc24b92bcc74760f8156f2f5860b72eab6a6c7c0c447ee"
},
{
"index": 7,
"display": false,
"tex": "L",
"line": 44,
"sha256": "72dfcfb0c470ac255cde83fb8fe38de8a128188e03ea5ba5b2a93adbea1062fa"
},
{
"index": 8,
"display": false,
"tex": "1/2",
"line": 44,
"sha256": "d939926f05444b0f4495fb9629ecbfa80d99a8ec1a20d06800ca5a3d5f4fd276"
},
{
"index": 9,
"display": true,
"tex": "Q=\\sum_{j=1}^LS_j^z",
"line": 46,
"sha256": "45c714cc561877d8b81a1433c782dd0395a27c395a06a470cd5c7a5f14245b66"
},
{
"index": 10,
"display": false,
"tex": "U(1)",
"line": 50,
"sha256": "db5f23f690458e1741ff9e859e8d525a0b730cfb76588165163812dbbad598a3"
},
{
"index": 11,
"display": false,
"tex": "\\mathsf T_x",
"line": 50,
"sha256": "74f711b42c47dc768f8fe64380e1586b6ef75b24f9518536c14a01f781d6390c"
},
{
"index": 12,
"display": true,
"tex": "\\mathsf T_xS_j^z\\mathsf T_x^{-1}=S_{j+1}^z,\n\\qquad\nS_{L+1}^z=S_1^z.",
"line": 52,
"sha256": "b914cdb2244ed9353608f7d42788c2621de8e0bbd9cf6068a520a71449bbbe40"
},
{
"index": 13,
"display": false,
"tex": "Q=0",
"line": 58,
"sha256": "3b6d2681a313d8cb3de3eb48a1ea8195f96d90ad017cde228218bbfc660fc5e9"
},
{
"index": 14,
"display": true,
"tex": "G=\\exp\\!\\left(\\frac{2\\pi\\ii}{L}\n\\sum_{j=1}^LjS_j^z\\right).",
"line": 60,
"sha256": "2f35219edb30dcc844c95d700befc2aed3b5d29355d4da975d7d9f83d6ba2293"
},
{
"index": 15,
"display": true,
"tex": "H(t+\\tau)=H(t),",
"line": 67,
"sha256": "de490a4b98b82981d12bad5c48a27b4cf545fd96183da7218242fcbe69a4880d"
},
{
"index": 16,
"display": false,
"tex": "Q",
"line": 71,
"sha256": "4ae81572f06e1b88fd5ced7a1a000945432e83e1551e6f721ee9c00b8cc33260"
},
{
"index": 17,
"display": false,
"tex": "\\mathsf T_x",
"line": 71,
"sha256": "74f711b42c47dc768f8fe64380e1586b6ef75b24f9518536c14a01f781d6390c"
},
{
"index": 18,
"display": false,
"tex": "U(1)",
"line": 71,
"sha256": "db5f23f690458e1741ff9e859e8d525a0b730cfb76588165163812dbbad598a3"
},
{
"index": 19,
"display": false,
"tex": "\\alpha",
"line": 71,
"sha256": "4893e9df8b5496ebe7a0f1c2cc92a39fb6df03085030e3b97cfcc4d45136db5a"
},
{
"index": 20,
"display": false,
"tex": "U_F[\\alpha]",
"line": 71,
"sha256": "53684b6daeefed8c893eac1df3ddf99a2f6b641bc8dc9aa35447225308397598"
},
{
"index": 21,
"display": false,
"tex": "G",
"line": 80,
"sha256": "333e0a1e27815d0ceee55c473fe3dc93d56c63e3bee2b3b4aee8eed6d70191a3"
},
{
"index": 22,
"display": true,
"tex": "\\mathsf T_xG\\mathsf T_x^{-1}\n=\\exp\\!\\left(\\frac{2\\pi\\ii}{L}\n\\sum_{j=1}^LjS_{j+1}^z\\right).",
"line": 82,
"sha256": "f880722f62383418b850d233067fc90befdbb13e08c252160e1248d9b8cc9925"
},
{
"index": 23,
"display": true,
"tex": "\\sum_{j=1}^LjS_{j+1}^z\n=\\sum_{j=1}^LjS_j^z+LS_1^z-Q.",
"line": 90,
"sha256": "2f9c648d8d9cd3b9d35d1a580fa1eafe23c0038f17c8fcffffe19e07933e1210"
},
{
"index": 24,
"display": true,
"tex": "\\mathsf T_xG\\mathsf T_x^{-1}\n=G\\ee^{2\\pi\\ii S_1^z}\\ee^{-2\\pi\\ii Q/L}.",
"line": 97,
"sha256": "ec9f09255f7c85df7ea3974d60554c2dd075270eb207020fbed56e1af013493a"
},
{
"index": 25,
"display": false,
"tex": "1/2",
"line": 102,
"sha256": "d939926f05444b0f4495fb9629ecbfa80d99a8ec1a20d06800ca5a3d5f4fd276"
},
{
"index": 26,
"display": true,
"tex": "\\ee^{2\\pi\\ii S_1^z}=-I.",
"line": 104,
"sha256": "c4e2d6784c29a920c2a8d588f9ac417379e7a350f0863f4e752b992a93172802"
},
{
"index": 27,
"display": false,
"tex": "Q=0",
"line": 108,
"sha256": "3b6d2681a313d8cb3de3eb48a1ea8195f96d90ad017cde228218bbfc660fc5e9"
},
{
"index": 28,
"display": true,
"tex": "\\boxed{\\mathsf T_xG\\mathsf T_x^{-1}=-G}.",
"line": 110,
"sha256": "8cd3da511ae5bb7525f474d489a87afa2dd5b1c2f30acc1ffdc96af129c71666"
},
{
"index": 29,
"display": true,
"tex": "\\mathsf T_x\\ket{\\psi_p}=\\ee^{\\ii p}\\ket{\\psi_p},",
"line": 116,
"sha256": "92ec3d3fa8f93e376176d7efc6890d59066e818c41eaa4b6163f039ca6ca3965"
},
{
"index": 30,
"display": true,
"tex": "\\mathsf T_xG\\ket{\\psi_p}\n=\\ee^{\\ii(p+\\pi)}G\\ket{\\psi_p}.",
"line": 122,
"sha256": "b3b10e8e7d2ab8af152ed24839f1fb7f1e7cbbbbc8caa360085eabfc433ac1d5"
},
{
"index": 31,
"display": false,
"tex": "\\pi",
"line": 127,
"sha256": "f1cf04093d08b6dc0d58a87396405cb9093a22e9ed62a95bb95ed46e5da97097"
},
{
"index": 32,
"display": false,
"tex": "2\\pi",
"line": 129,
"sha256": "fac740b460f42c05298fdb93f08649e30d095d0040d79d578ee066c0455a94e3"
},
{
"index": 33,
"display": true,
"tex": "U_F[2\\pi]=G,U_F[0],G^{-1},",
"line": 138,
"sha256": "9aeed7d3f0ed38ae2a0eae8d7e563d2ba82d0408eb0903ef88c245dc07655e3a"
},
{
"index": 34,
"display": true,
"tex": "U_F[0]\\ket{\\psi_p}\n=\\ee^{-\\ii\\varepsilon\\tau}\\ket{\\psi_p},",
"line": 144,
"sha256": "e3078540dc3aab3dee2b281b5274b181b849976d5ab98b08ffad1a7c8af267dc"
},
{
"index": 35,
"display": true,
"tex": "U_F[2\\pi]G\\ket{\\psi_p}\n=\\ee^{-\\ii\\varepsilon\\tau}G\\ket{\\psi_p}.",
"line": 151,
"sha256": "bcfb3d1dc3c263d6941e6d481e17a2ab42deddf205f6ea389d30dc21b14c5852"
},
{
"index": 36,
"display": false,
"tex": "\\pi",
"line": 156,
"sha256": "f1cf04093d08b6dc0d58a87396405cb9093a22e9ed62a95bb95ed46e5da97097"
},
{
"index": 37,
"display": false,
"tex": "U_F[0]=I",
"line": 158,
"sha256": "24910a69e87666d596b5b03467befd85b8e6d50a3411e45c6995d4edcf2909b3"
},
{
"index": 38,
"display": false,
"tex": "0",
"line": 158,
"sha256": "5feceb66ffc86f38d952786c6d696c79c2dbc239dd4e91b46729d73a27fb57e9"
},
{
"index": 39,
"display": false,
"tex": "2\\pi/\\tau",
"line": 158,
"sha256": "8e4e129a3cb450a29a3074a0804d869e1e6f93264eaa1c714b80e7cd57d3882d"
},
{
"index": 40,
"display": true,
"tex": "U(0)=I,\n\\qquad\nU(\\tau)=U_F.",
"line": 166,
"sha256": "def67548ddba85ab2f9b5093b0d50c8dec5e10c5a1ce726e557554dae438d135"
},
{
"index": 41,
"display": false,
"tex": "U_F",
"line": 172,
"sha256": "393db2f05e28217806cadbe557cc3f3c8a9a4b839c456d28f93dd0331bf10706"
},
{
"index": 42,
"display": false,
"tex": "U_F=I",
"line": 172,
"sha256": "d2929b2335d81da86fb5e89761a17ef88a11c41c5d545964f62585530fffb2c7"
},
{
"index": 43,
"display": true,
"tex": "U(0)=U(\\tau)=I.",
"line": 174,
"sha256": "022de156ce7ce196dcda4b9648d326139bf84580ce12e27067ae2df69ab0f47c"
},
{
"index": 44,
"display": true,
"tex": "H_F=\\frac{\\ii}{\\tau}\\log U_F=0",
"line": 182,
"sha256": "ac0d3ea1d8beef53b0e63ae1fb03057d6806784d24dde901d0556d328ef7b9af"
},
{
"index": 45,
"display": false,
"tex": "U_F",
"line": 197,
"sha256": "393db2f05e28217806cadbe557cc3f3c8a9a4b839c456d28f93dd0331bf10706"
},
{
"index": 46,
"display": false,
"tex": "1/2",
"line": 197,
"sha256": "d939926f05444b0f4495fb9629ecbfa80d99a8ec1a20d06800ca5a3d5f4fd276"
},
{
"index": 47,
"display": false,
"tex": "U_F=I",
"line": 197,
"sha256": "d2929b2335d81da86fb5e89761a17ef88a11c41c5d545964f62585530fffb2c7"
},
{
"index": 48,
"display": true,
"tex": "H(t)=0.",
"line": 201,
"sha256": "dac0a29bdb382e64897fb822fa23f62b4fc9c44d4987246c93a7f35f18954efa"
},
{
"index": 49,
"display": false,
"tex": "U(t)=I",
"line": 205,
"sha256": "e0e22fe4fd6444e436d890f332f4291e28b355a6df8fdbbc7da2e21152bc740c"
},
{
"index": 50,
"display": true,
"tex": "\\mathsf T_xG\\mathsf T_x^{-1}=-G,",
"line": 207,
"sha256": "980167847de48ec663d54780dd3045eb14ef4126f83ff1ba3b378052323cc433"
},
{
"index": 51,
"display": false,
"tex": "\\rho",
"line": 219,
"sha256": "dabec2cdc19c316749385782948e50b66047b4aac5b8cd44e6f5037d11109ac0"
},
{
"index": 52,
"display": true,
"tex": "Z[A_1,A_2]\n=\\Tr\\!\\left(U[A_1]\\rho U^\\dagger[A_2]\\right).",
"line": 221,
"sha256": "2e59acfca4b981be8b1921c155c628cc3f211cba118e9c8b3c4b38b807b11cbe"
},
{
"index": 53,
"display": false,
"tex": "Z[A,A]=1",
"line": 226,
"sha256": "a0928a65ef90e5ff9673d466b07a72c10a6706f2c91e16ddfc2fa81733ad54f1"
},
{
"index": 54,
"display": false,
"tex": "U(1)",
"line": 231,
"sha256": "db5f23f690458e1741ff9e859e8d525a0b730cfb76588165163812dbbad598a3"
},
{
"index": 55,
"display": true,
"tex": "\\text{LSM datum}+U_F=I\n\\quad\\Longrightarrow\\quad\n\\text{nontrivial micromotion loop}.",
"line": 239,
"sha256": "f450b544a34c828e136aaef0bd363784123aae02abfe7a2cd77e6eac8681e450"
},
{
"index": 56,
"display": false,
"tex": "U_F=I",
"line": 251,
"sha256": "d2929b2335d81da86fb5e89761a17ef88a11c41c5d545964f62585530fffb2c7"
},
{
"index": 57,
"display": false,
"tex": "U_F=I",
"line": 257,
"sha256": "d2929b2335d81da86fb5e89761a17ef88a11c41c5d545964f62585530fffb2c7"
},
{
"index": 58,
"display": false,
"tex": "\\mathsf T_xG\\mathsf T_x^{-1}=-G",
"line": 263,
"sha256": "ce44edf0d9cba23bf2bc76dd45c81d736760ba946a1c2dd4f4e43a456513d633"
},
{
"index": 59,
"display": false,
"tex": "Q=0",
"line": 263,
"sha256": "3b6d2681a313d8cb3de3eb48a1ea8195f96d90ad017cde228218bbfc660fc5e9"
},
{
"index": 60,
"display": false,
"tex": "1/2",
"line": 263,
"sha256": "d939926f05444b0f4495fb9629ecbfa80d99a8ec1a20d06800ca5a3d5f4fd276"
},
{
"index": 61,
"display": false,
"tex": "G",
"line": 264,
"sha256": "333e0a1e27815d0ceee55c473fe3dc93d56c63e3bee2b3b4aee8eed6d70191a3"
},
{
"index": 62,
"display": false,
"tex": "\\pi",
"line": 264,
"sha256": "f1cf04093d08b6dc0d58a87396405cb9093a22e9ed62a95bb95ed46e5da97097"
},
{
"index": 63,
"display": false,
"tex": "U_F=I",
"line": 267,
"sha256": "d2929b2335d81da86fb5e89761a17ef88a11c41c5d545964f62585530fffb2c7"
},
{
"index": 64,
"display": false,
"tex": "U_F=I",
"line": 268,
"sha256": "d2929b2335d81da86fb5e89761a17ef88a11c41c5d545964f62585530fffb2c7"
},
{
"index": 65,
"display": false,
"tex": "U(1)",
"line": 271,
"sha256": "db5f23f690458e1741ff9e859e8d525a0b730cfb76588165163812dbbad598a3"
},
{
"index": 66,
"display": false,
"tex": "1/2",
"line": 276,
"sha256": "d939926f05444b0f4495fb9629ecbfa80d99a8ec1a20d06800ca5a3d5f4fd276"
},
{
"index": 67,
"display": false,
"tex": "\\mathsf T_xG\\mathsf T_x^{-1}",
"line": 278,
"sha256": "e154088296d4e0e9712ba89797227f11012089570e7ce4d5e58357778b133962"
},
{
"index": 68,
"display": false,
"tex": "G\\ket{\\psi_p}",
"line": 279,
"sha256": "6b3e3623e1f7dd4fba189634a02936301b52556ac8c0e59a93a3f1508eb2dd85"
},
{
"index": 69,
"display": false,
"tex": "p+\\pi",
"line": 279,
"sha256": "115a1d4e44f4ce7365127106a0030664ef637a608d2162c401ab1da5283278ca"
},
{
"index": 70,
"display": false,
"tex": "Q=0",
"line": 279,
"sha256": "3b6d2681a313d8cb3de3eb48a1ea8195f96d90ad017cde228218bbfc660fc5e9"
},
{
"index": 71,
"display": false,
"tex": "U_F[2\\pi]=GU_F[0]G^{-1}",
"line": 280,
"sha256": "2e7db9ecb0d04456e87fed442e3990cca91af8e281a7cc0141885eff97e10644"
},
{
"index": 72,
"display": false,
"tex": "U_F=I",
"line": 281,
"sha256": "d2929b2335d81da86fb5e89761a17ef88a11c41c5d545964f62585530fffb2c7"
},
{
"index": 73,
"display": false,
"tex": "U_0(t)=I",
"line": 282,
"sha256": "b14ae4ec7cd4ae9c8321f9c44e1962d203b8d7b026cbe2b6df67a349b97eebec"
},
{
"index": 74,
"display": false,
"tex": "U_1(t)",
"line": 282,
"sha256": "0d80a57607392bda2e82f9bc2308a99874ebd6c6ed0c8774a136fa963306741c"
},
{
"index": 75,
"display": false,
"tex": "LS_1^z",
"line": 287,
"sha256": "c8a1d281ec170172c8af601b2576dc47310ff7ecbf08624036bef0533f89b12e"
},
{
"index": 76,
"display": false,
"tex": "Q",
"line": 287,
"sha256": "4ae81572f06e1b88fd5ced7a1a000945432e83e1551e6f721ee9c00b8cc33260"
},
{
"index": 77,
"display": false,
"tex": "U(\\tau)=I",
"line": 294,
"sha256": "f237ca1c1b3bd0f3bd38b7a50bd7241024a0434d76753305668508af076e7a51"
},
{
"index": 78,
"display": false,
"tex": "H(t)",
"line": 298,
"sha256": "af2fd5d983ffbe4ebe6f57e51eebe5e6f2796271ca85ffb503b32fe8767a93dc"
},
{
"index": 79,
"display": true,
"tex": "\\sum_{j=1}^LjS_{j+1}^z\n=\\sum_{j=1}^LjS_j^z+LS_1^z-Q.",
"line": 307,
"sha256": "2f9c648d8d9cd3b9d35d1a580fa1eafe23c0038f17c8fcffffe19e07933e1210"
},
{
"index": 80,
"display": true,
"tex": "\\mathsf T_xG\\mathsf T_x^{-1}\n=G\\ee^{2\\pi\\ii S_1^z}\\ee^{-2\\pi\\ii Q/L}.",
"line": 314,
"sha256": "ec9f09255f7c85df7ea3974d60554c2dd075270eb207020fbed56e1af013493a"
},
{
"index": 81,
"display": false,
"tex": "1/2",
"line": 319,
"sha256": "d939926f05444b0f4495fb9629ecbfa80d99a8ec1a20d06800ca5a3d5f4fd276"
},
{
"index": 82,
"display": false,
"tex": "Q=0",
"line": 319,
"sha256": "3b6d2681a313d8cb3de3eb48a1ea8195f96d90ad017cde228218bbfc660fc5e9"
},
{
"index": 83,
"display": false,
"tex": "-G",
"line": 319,
"sha256": "040c533f6280d3ff95812373c8884ba3b560723cc862277a90c47a2e1fd24000"
},
{
"index": 84,
"display": true,
"tex": "\\mathsf T_xG\\ket{\\psi_p}\n=-G\\mathsf T_x\\ket{\\psi_p}\n=\\ee^{\\ii(p+\\pi)}G\\ket{\\psi_p}.",
"line": 321,
"sha256": "20f8e8fda37f69f49f4558e9c55e55ef4f39c1c4fbe7b4d54df6674ef662a195"
},
{
"index": 85,
"display": true,
"tex": "U_F[2\\pi]G\\ket{\\psi_p}\n=GU_F[0]\\ket{\\psi_p}\n=\\ee^{-\\ii\\varepsilon\\tau}G\\ket{\\psi_p}.",
"line": 329,
"sha256": "ad213c954520d6b75fa9443ae5a193ceec15d83d33e3c03ab9198048b5395ba6"
},
{
"index": 86,
"display": false,
"tex": "U_F=I",
"line": 337,
"sha256": "d2929b2335d81da86fb5e89761a17ef88a11c41c5d545964f62585530fffb2c7"
},
{
"index": 87,
"display": false,
"tex": "2\\pi/\\tau",
"line": 337,
"sha256": "8e4e129a3cb450a29a3074a0804d869e1e6f93264eaa1c714b80e7cd57d3882d"
},
{
"index": 88,
"display": false,
"tex": "\\pi/\\tau",
"line": 337,
"sha256": "9e9c7b99c98f6f4a864e8cc688c118f5cfe2103bfb2988e5cab22371ba96830d"
},
{
"index": 89,
"display": false,
"tex": "U_0(t)",
"line": 339,
"sha256": "68fcbc01ccda37e89f4a83f66fb0c664ca7ae720c5e4882d3e42e672317138df"
},
{
"index": 90,
"display": false,
"tex": "U_1(t)",
"line": 339,
"sha256": "0d80a57607392bda2e82f9bc2308a99874ebd6c6ed0c8774a136fa963306741c"
},
{
"index": 91,
"display": false,
"tex": "U(1)",
"line": 347,
"sha256": "db5f23f690458e1741ff9e859e8d525a0b730cfb76588165163812dbbad598a3"
},
{
"index": 92,
"display": false,
"tex": "1/2",
"line": 347,
"sha256": "d939926f05444b0f4495fb9629ecbfa80d99a8ec1a20d06800ca5a3d5f4fd276"
},
{
"index": 93,
"display": false,
"tex": "U_F=I",
"line": 347,
"sha256": "d2929b2335d81da86fb5e89761a17ef88a11c41c5d545964f62585530fffb2c7"
},
{
"index": 94,
"display": false,
"tex": "U_F",
"line": 367,
"sha256": "393db2f05e28217806cadbe557cc3f3c8a9a4b839c456d28f93dd0331bf10706"
},
{
"index": 95,
"display": false,
"tex": "U_F",
"line": 370,
"sha256": "393db2f05e28217806cadbe557cc3f3c8a9a4b839c456d28f93dd0331bf10706"
}
]
}