Polynomial Signals
Exercise PLAN-507
primary source nl only. Current content-bound mathematical second pass accepted. No new Lean verification is claimed for this NL view.
Assumptions and conventions
- The flag/complement split is the grading into ancilla-zero and ancilla-nonzero sectors
- Z gives a diagonal reflection diag(+I,-I); X gives an off-diagonal swap in that grading
Question
In the cosine-sine view of qubitization the flag reflection is built from the single-qubit operator Z acting on the ancilla flag, and the large outer unitaries that diagonalize the construction are block-diagonal with respect to the split between the flag sector and its orthogonal complement. A student claims the construction would work identically if the flag reflection were instead built from the Pauli X operator, since X is also a self-inverse single-qubit unitary. Show that the student is wrong by proving that the Z-based reflection commutes with the block-diagonal outer unitaries whereas an X-based reflection generically does not, and explain why this commutation is essential to the clean cosine-sine factorization.
Hint: mathematical route
The flag reflection built from Z is diagonal in the flag/complement grading so it commutes with the block-diagonal outer unitaries; an X-based reflection is off-diagonal, fails to commute, and destroys the clean cosine-sine factorization.
- The Z reflection is diag(+I,-I) in the flag/complement grading.
- Outer unitaries are block-diagonal diag(W,W') respecting the same grading.
- A per-block scalar reflection commutes with any block-diagonal operator.
- Commutation lets the reflection be pulled through without referencing W, W'.
- An X reflection is off-diagonal [[0,I],[I,0]], coupling the sectors.
- Its products with diag(W,W') disagree unless W = W', so it fails to commute and breaks the factorization.
Reference solution
The flag reflection from Z is, in the flag-versus-complement split, the operator that is plus the identity on the flag sector and minus the identity on the complement; call it D = diag(+I, -I). The outer unitaries have the block-diagonal form diag(W, W') (and similarly diag(V, V')), where W acts entirely within the flag sector and W' entirely within the complement, because they come from singular value decompositions respecting that split. Two block-diagonal operators with respect to the SAME split commute when one of them is a scalar (plus or minus one) multiple of the identity on each block: D diag(W,W') = diag(+W, -W') = diag(W,W') D. Hence the Z-based reflection commutes with the outer unitaries, which is exactly why the reflection can be pulled through the factorization and its definition need not reference W, W', V, V'. Now replace Z by X. An X-based reflection acts within the ancilla as an off-diagonal swap, so in the flag-versus-complement split it has nonzero blocks COUPLING the flag sector to the complement: schematically it looks like [[0, I],[I, 0]] rather than diag(+I,-I). Multiplying this by diag(W,W') gives [[0, W'],[W, 0]], while diag(W,W') times it gives [[0, W],[W', 0]]; these are equal only if W = W', which fails generically. Therefore an X-based reflection does not commute with the outer unitaries, it entangles the two graded sectors, and the clean direct-sum-of-two-dimensional-rotations structure collapses. The essential point is that only a reflection that is diagonal in the grading (as Z provides) preserves the block-diagonal symmetry that makes qubitization factor into independent planar rotations.
Assessment rubric
- Writes the Z-based reflection as diag(+I,-I) in the flag/complement grading and the outer unitaries as diag(W,W') (1 weight)
- Proves commutation diag(+I,-I) diag(W,W') = diag(W,W') diag(+I,-I) (1 weight)
- Shows an X-based reflection is off-diagonal [[0,I],[I,0]] and computes the two products disagreeing unless W = W' (1 weight)
- Explains commutation is what lets the reflection be pulled through the factorization, preserving independent planar rotations (1 weight)
Graph-grounded prerequisites
These are support/source anchors, not an automatically extracted theorem-dependency proof.
- Operator and semigroup theory (frozen curriculum anchor; see graph registry)
- Matrix analysis (frozen curriculum anchor; see graph registry)
Lean view and evidence boundary
No aligned Lean view has been admitted for this native core in this textbook checkpoint. This is not a claim that the underlying mathematics lacks a formal proof. Contributions must preserve this exact target contract and split.
Sources and provenance
- website/research/sources.json
lin-wiebe-2026-qasc
Source SHA-256:9f85f45f20ed5a46931ad0dec3b94ee09748bc56e39fae29b0aefe910440b0ae· MIT metadata only - Primary source
Contract: 61af4b81984237d5ce7d0e2d89deb63c484e4ad3420f45a02fbfe110135aa9c6
Item digest: 8c10659977129d9beb6a9dc8a112cd04b982917267361a57dd4449e718f07091
Graph snapshot: qcb-snapshot-ffa644f0da3031a1ce754b9a
Authored support steps: 6. This is not measured graph distance or model difficulty.