-
Notifications
You must be signed in to change notification settings - Fork 3
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Delete the dead structural-data entries and chain-commutation rewrite entries
1606.00608arXiv:1606.00608 (MPDO RFP)arXiv:1606.00608 (MPDO RFP)cleanupCode cleanup and style fixesCode cleanup and style fixesproof-debtStructural proof debt tracked in docs/proof_debt_ledger.mdStructural proof debt tracked in docs/proof_debt_ledger.mdrfp-mpdoRenormalization fixed points and MPDO theoryRenormalization fixed points and MPDO theoryStatus: Open.#7918 In LionSR/TNLean;Delete the source-V isometry twin and record the confirmed structural debt
1703.09188arXiv:1703.09188 — Matrix Product UnitariesarXiv:1703.09188 — Matrix Product UnitariescleanupCode cleanup and style fixesCode cleanup and style fixesmpuMatrix Product Unitaries: structure, index, symmetries, and QCAMatrix Product Unitaries: structure, index, symmetries, and QCAproof-debtStructural proof debt tracked in docs/proof_debt_ledger.mdStructural proof debt tracked in docs/proof_debt_ledger.mdStatus: Open.#7917 In LionSR/TNLean;Remove redundant side hypotheses restated downstream of the canonical-form definitions
cleanupCode cleanup and style fixesCode cleanup and style fixesproof-debtStructural proof debt tracked in docs/proof_debt_ledger.mdStructural proof debt tracked in docs/proof_debt_ledger.mdStatus: Open.#7916 In LionSR/TNLean;Delete the dead conditional-overlap block of the periodic fundamental theorem module
1708.00029arXiv:1708.00029 - Periodic FT for MPS (De las Cuevas et al.)arXiv:1708.00029 - Periodic FT for MPS (De las Cuevas et al.)cleanupCode cleanup and style fixesCode cleanup and style fixesproof-debtStructural proof debt tracked in docs/proof_debt_ledger.mdStructural proof debt tracked in docs/proof_debt_ledger.mdStatus: Open.#7915 In LionSR/TNLean;Delete the isometry-free rungs of the cyclic-sector decomposition and compression ladders
cleanupCode cleanup and style fixesCode cleanup and style fixesproof-debtStructural proof debt tracked in docs/proof_debt_ledger.mdStructural proof debt tracked in docs/proof_debt_ledger.mdStatus: Open.#7914 In LionSR/TNLean;Retire the private-to-public forwarder pair of the equal-case unitary gauge corollary
1606.00608arXiv:1606.00608 (MPDO RFP)arXiv:1606.00608 (MPDO RFP)cleanupCode cleanup and style fixesCode cleanup and style fixesproof-debtStructural proof debt tracked in docs/proof_debt_ledger.mdStructural proof debt tracked in docs/proof_debt_ledger.mdStatus: Open.#7913 In LionSR/TNLean;Remove the MPDO PRFP alias and per-copy horizontal canonical form residue with its duplicate blueprint tags
cleanupCode cleanup and style fixesCode cleanup and style fixesproof-debtStructural proof debt tracked in docs/proof_debt_ledger.mdStructural proof debt tracked in docs/proof_debt_ledger.mdStatus: Open.#7912 In LionSR/TNLean;Delete the Appendix B factor-action scaffolding of the RFP layer
1606.00608arXiv:1606.00608 (MPDO RFP)arXiv:1606.00608 (MPDO RFP)cleanupCode cleanup and style fixesCode cleanup and style fixesproof-debtStructural proof debt tracked in docs/proof_debt_ledger.mdStructural proof debt tracked in docs/proof_debt_ledger.mdrfp-mpdoRenormalization fixed points and MPDO theoryRenormalization fixed points and MPDO theoryStatus: Open.#7911 In LionSR/TNLean;Merge the periodic sector-irreducibility HLift core module into HLift
cleanupCode cleanup and style fixesCode cleanup and style fixesproof-debtStructural proof debt tracked in docs/proof_debt_ledger.mdStructural proof debt tracked in docs/proof_debt_ledger.mdStatus: Open.#7910 In LionSR/TNLean;Fold the strongly-irreducible auxiliary lemmas into the Wielandt primitivity module
cleanupCode cleanup and style fixesCode cleanup and style fixesproof-debtStructural proof debt tracked in docs/proof_debt_ledger.mdStructural proof debt tracked in docs/proof_debt_ledger.mdStatus: Open.#7909 In LionSR/TNLean;Bundle the vertical-sector hypothesis lists of the PEPS vertical canonical form route into records
1606.00608arXiv:1606.00608 (MPDO RFP)arXiv:1606.00608 (MPDO RFP)cleanupCode cleanup and style fixesCode cleanup and style fixesproof-debtStructural proof debt tracked in docs/proof_debt_ledger.mdStructural proof debt tracked in docs/proof_debt_ledger.mdrfp-mpdoRenormalization fixed points and MPDO theoryRenormalization fixed points and MPDO theoryStatus: Open.#7908 In LionSR/TNLean;Extract the shared star-compression lemmas behind the reflected marked-chain coefficient identities
1606.00608arXiv:1606.00608 (MPDO RFP)arXiv:1606.00608 (MPDO RFP)cleanupCode cleanup and style fixesCode cleanup and style fixesproof-debtStructural proof debt tracked in docs/proof_debt_ledger.mdStructural proof debt tracked in docs/proof_debt_ledger.mdrfp-mpdoRenormalization fixed points and MPDO theoryRenormalization fixed points and MPDO theoryStatus: Open.#7907 In LionSR/TNLean;