Repository navigation
Derive complete one-band copy feasibility and a robust joint-wall obstruction - #266
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
A one-band copy can satisfy every output-Pauli test while changing its carrier. This change derives the complete linear seed-space criterion: signed Walsh blocks give exact affine-support spaces and spectra, and a carrier fixed point enforces the full copied operator. A positive semidefinite defect matrix supplies quantitative certificates for specified walls.
The criterion is applied to an explicit uniform triple-axis joint-wall family. Its native word uses 3m T gates in one band, 18m Clifford gates, and 2m arbitrary helpers. Every core Pauli survives the tensor prefilter, but the complete seed space is zero for p >= 2. Full copy error is at least 1/sqrt(6) for every unitary seed, including arbitrary helper operators and identity spectators. This is a family-specific obstruction; no scalable seed/copy construction, unrestricted one-band exclusion, or improvement to R96 is claimed.
Thirteen exact tests cover Walsh support/spectra and literal T/T-dagger signs, complete versus output-only constraints, native joint walls and inverses, helper phases, and the four-address error certificate. The checkpoint and catalogues route to one proof home and retain the conditional 42-band construction target.
Validation on final head
39cbc0c5bc40ce1e881d38a84e9719128f5fa466, treec4374c6947e736386e669dadbb9370089f831589:OK; total gate time 1,427.834 seconds. Worktree clean before and after.12806386827(342,378,957 bytes). Its head binding was verified.Exact-tree receipts:
97ade196941b6d8780556bbfa1585d311beee6f2; PR merge commit8397cc919a9709310cd5b241e301f93a3d70cc9bhas the identical final tree. Both complete PR logs explicitly check out that merge commit.OPENBLAS_NUM_THREADS=1,OMP_NUM_THREADS=1.95ac72654b3354aa67af18354fea913da651babf84cdf3a62e8365bb0a3c46bb.ab7d7981895d78f36a372cd148189413e81c8a86ea7f18eaddc37c701d50cb6a.1a355359803efc2879b9de37ae20f95602d869360946d147b32078dd2f5740ea.2dd87954d82d38f6f2eac9119e80cf6b2102e51e5ff44e631fd9d8e2c0aa491e.All five final-head checks were confirmed successful before merge.