Conjecture on TCS from partial stabilizers under a homogeneous condition
Prove that for Pauli stabilizer states satisfying the specified homogeneous condition—where a spatially extended stabilizer and its restrictions to a subdimensional entanglement subsystem A and its complement share the same bulk form—any subsystem A whose strong symmetries are generated by stabilizers fully supported on A has weak symmetries given by the restrictions to A of stabilizers partially supported on A, and these weak symmetries form the transparent-patch operator algebra (t-patch operators) of the strong symmetries.
References
In this section, we propose a conjecture that for Pauli stabilizer states satisfying a 'homogeneous condition', if an SES A has strong symmetries specified by a set of stabilizers {W_Ai} fully supported in A , where i is a label of stabilizer, then stabilizers partially supported in A (such a stabilizer is denoted by W_{AB}{i}, the part supported in A is denoted by w_{A}{i} and the part outside A is denoted by w_{B}{i}) would compose the t-patch operators of the strong symmetry.