Abstract
Paper #25 v2 [Zhang Bulk–Boundary, DOI:10.5281/zenodo.20102027] decomposes the framework’s electron-boundary postulate , , into four sub-postulates of a logarithmic BV–BFV bulk–boundary sector localization conjecture. Three of the four — the hard-core adjacent-pair selection , the polar/complex-normal phase , and the real-slice identity defect — are physically or geometrically motivated. The fourth, , is the connected-projection rule on the matching-sector boundary defect partition function. In Paper #25 v2 it is empirically supported within the TCG formula ledger by the existing 0.09% electron-Yukawa match, but not action-level derived.
This companion note motivates structurally via the standard connected-effective-action principle of quantum field theory, . The core observation: in the commutative nilpotent square-free hard-core residue algebra , the boundary-defect insertion inherits nilpotency from . The Taylor series therefore truncates after one term: exactly. For any matching on with disjoint, pairwise-commuting edge defects, the connected effective action of the boundary defect partition function is
The connected boundary prefactor , with , is therefore an exact identity in the residue algebra rather than a Taylor truncation. Averaging over with mean dimer count and on the polar normal recovers , the framework’s . The full multiplicative alternative gives , a 0.51% disconnected correction beyond excluded by the existing 0.09% match within the TCG formula ledger (model-selection statement, not statistical exclusion).
The note does not derive the full BV–BFV boundary action that would justify the sectorwise log prescription on first principles. The applicability of the bulk QFT principle to a sector-decomposed boundary algebra is itself part of , recorded explicitly as failure mode F4. Sectorwise vs global log distinction made explicit (load-bearing). is Lebesgue-normalized, . Five failure modes are listed (F1: full-boundary dominance — inherited from Paper #25 v2; F2: real-normal obstruction — inherited; F3: identity-defect ambiguity — inherited; F4: connectedness ambiguity / bulk-vs-boundary log applicability — sharpened here; F5: trace, weight, and matching-sector measure ambiguity, including the unit-weight choice of augmentation , the uniform counting measure on , and the equal phase-circle measure across edges).
The active TCG/FPA postulate ledger is unchanged: –, , , , , . The four sub-postulates of the localization conjecture for remain sub-postulates of the conjecture, not new framework axioms. After this note, all four are structurally motivated: via the binary relevant-residue principle on FM/AS boundary geometry; via oriented real blow-up of a complexified collision divisor; via the Poincaré-dual real-slice direction; and via the standard connected-effective-action principle of QFT, applied sectorwise and with linearity following exactly from nilpotency. The action-level BV–BFV derivation of the sectorwise log prescription itself remains the next research target.