Local projector cone in a frustration-free chain

To evaluate a layered product on $A_x|{\psi }_0⟩$, scan the bond orthogonal projections from right to left. A projection disjoint from the current support commutes through the accumulated operator and disappears against the common ground state. Retained projections expand the support by at most one site per layer. Their product $L$ gives a local operator $L{A}_x$ with both $K^r{A}_x|{\psi }_0⟩=L{A}_x|{\psi }_0⟩$ and $⟨{\psi }_0|L{A}_x=⟨{\psi }_0|A_x$.

Combine a local projector cone in a frustration-free chain with the contraction bound from the detectability lemma. If the localized operator misses a second observable's support, their commutation and the exact ground-state bra identity convert the connected correlation function into an approximation error. The two-projection power estimate yields spatial decay rate $\alpha =\frac{1}{3}\ln (1+\Delta /2)$ for the stated detectability contraction.