Skip to content

Pull requests: LionSR/TNLean

New pull request New
7 Open 5,010 Closed
7 Open 5,010 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat(MPS/MPDO): identify the exact twisted-dimer RFP factors 1606.00608 arXiv:1606.00608 (MPDO RFP) blueprint-sync Blueprint out of sync with Lean code formalization Lean 4 formalization task rfp-mpdo Renormalization fixed points and MPDO theory
#7785 opened Sep 5, 2026 by LionSR Owner • Draft
@LionSR
feat(MPS/MPDO): factor twisted dimer by explicit bond-flag unitary 1606.00608 arXiv:1606.00608 (MPDO RFP) formalization Lean 4 formalization task rfp-mpdo Renormalization fixed points and MPDO theory
#7780 opened Sep 5, 2026 by LionSR Owner Loading…
1
@LionSR
33
refactor(Algebra): reuse the characteristic-two identity
#7772 opened Sep 5, 2026 by LionSR Owner Loading…
6
feat(MPS/MPU): rescale fusion reductions by reciprocal scalars
#7771 opened Sep 5, 2026 by LionSR Owner Loading…
1
7
feat(MPS/Periodic): derive the period of an irreducible-form block from irreducibility and spectral radius one
#7770 opened Sep 5, 2026 by LionSR Owner Loading…
1
18
feat(MPS/Examples): AKLT and cluster-state parent Hamiltonians
#7767 opened Sep 5, 2026 by LionSR Owner Loading…
1
41
doc(PEPS): state the nonzero virtual-leg convention behind the scalar reduction
#7727 opened Sep 4, 2026 by LionSR Owner Loading…
29
ProTip! Exclude everything labeled bug with -label:bug.