feat(peps): close the injective PEPS Fundamental Theorem (positivity + connectivity faithful)#2406

Merged

LionSR merged 52 commits into

feat/peps-gaugeconsistencyfrom

Jun 6, 2026

Commits on Jun 6, 2026

feat(PEPS): dispatch empty-bond vacuous case of two-injective comparison
Sirui Lu
committed
feat(PEPS): open-leg matrix-unit insertion extraction
Sirui Lu
committed
feat(PEPS): one-leg-open equality from per-bond insertions
Sirui Lu
committed
doc(PEPS): record committed reductions and remaining inversion gap
Sirui Lu
committed
feat(PEPS): add inversion helpers for two-injective comparison
Sirui Lu
committed
feat(PEPS): close operator-Schmidt bond-gauge lemma (#1361)
Sirui Lu
committed
feat(PEPS): close two_injective_tensor_insertion_comparison (#1361)
Sirui Lu
committed
feat(PEPS): close bond-dimension equality (#874) via edge-blocked algebra equivalence
Sirui Lu
committed
feat(PEPS): global open form of inserted-edge coefficient
Sirui Lu
committed
feat(PEPS): local-configuration form of inserted-edge coefficient
Sirui Lu
committed
feat(PEPS): open-edge gauge sum cancellation
Sirui Lu
committed
feat(PEPS): edgeInsertedCoeff_applyGauge (open-edge gauge cancellation)
Sirui Lu
committed
doc(PEPS): record edgeInsertedCoeff_applyGauge linchpin in #1364
Sirui Lu
committed
feat(PEPS): add GL-transpose and reindex-transpose helpers
Sirui Lu
committed
feat(PEPS): close post_absorption_edge_insertion_equality (#1364)
Sirui Lu
committed
feat(PEPS): one-vertex two-block tensor wrapping + injectivity
Sirui Lu
committed
doc(PEPS): record precise gaugeConsistency translation gap
Sirui Lu
committed
feat(PEPS): vertex-complement region tensor definitions
Sirui Lu
committed
feat(PEPS): vertex-complement kernel-descent scaffolding
Sirui Lu
committed
feat(PEPS): vertex-complement kernel-condition erase-vertex step
Sirui Lu
committed
feat(PEPS): vertex-complement terminal kernel relation
Sirui Lu
committed
feat(PEPS): vertex-complement tensor family is linearly independent
Sirui Lu
committed
feat(PEPS): vertex-complement two-block injectivity
Sirui Lu
committed
doc(PEPS): record vertex-complement injectivity closure
Sirui Lu
committed
feat(PEPS): vertex injectivity of the absorbed tensor family
Sirui Lu
committed
doc(peps): add vertex two-block blueprint entries
Sirui Lu
committed
feat(PEPS): two-block coefficient as a global virtual-configuration sum
Sirui Lu
committed
refactor(peps): split oversized comparison files
Sirui Lu
committed
feat(PEPS): collapse the constrained v-star sum and split global configs
Sirui Lu
committed
fix(peps): address two-injective comparison review
Sirui Lu
committed
feat(PEPS): two-block coefficient identity for both edge orientations
Sirui Lu
committed
doc(peps): address blueprint prose review
Sirui Lu
committed
refactor(peps): split one-vertex comparison module
Sirui Lu
committed
feat(PEPS): unified two-block coefficient identity over incident edges
Sirui Lu
committed
style(peps): finish two-injective comparison review fixes
Sirui Lu
committed
feat(PEPS): SameTwoBlockInsertions from the edge-insertion equality
Sirui Lu
committed
fix(peps): move comparison imports to one-vertex module
Sirui Lu
committed
doc(PEPS): note algebra relocation for Schmidt lemmas
Sirui Lu
committed
doc(peps): record connectivity gap refuting gauge consistency
Sirui Lu
committed
feat(PEPS): machine-check gaugeConsistency connectivity counterexample
Sirui Lu
committed
fix(PEPS): add connectivity hypothesis to gaugeConsistency and PEPS FT
Sirui Lu
committed
fix(PEPS): import GaugeAction not the orphan capstone in connectivity counterexample
Sirui Lu
committed
doc(peps): avoid proof-token words in connectivity note
Sirui Lu
committed
doc(peps): address complement-block blueprint review
Sirui Lu
committed
doc(peps): address gauge-action prose review
Sirui Lu
committed
feat(PEPS): oriented edge-scalar incidence and product-one necessity
Sirui Lu
committed
feat(PEPS): edge transfer for vertex deletion in edge-scalar solve
Sirui Lu
committed
feat(PEPS): spanning-tree edge-scalar existence on a connected graph
Sirui Lu
committed
feat(PEPS): per-vertex scalar and reindex injectivity for gaugeConsistency
Sirui Lu
committed
doc(PEPS): record precise remaining gaugeConsistency obligations
Sirui Lu
committed
doc(peps): document vertex-complement indicator split
Sirui Lu
committed
doc(peps): document gauge-action helper lemmas
Sirui Lu
committed