Skip to content

Task 03: exploit exact product-state contraction (4.44x) - #10

Draft
QingyunQian wants to merge 4 commits into
sxzgroup:v2from
QingyunQian:codex/task-03-final-expert-optimization
Draft

Task 03: exploit exact product-state contraction (4.44x)#10
QingyunQian wants to merge 4 commits into
sxzgroup:v2from
QingyunQian:codex/task-03-final-expert-optimization

Conversation

@QingyunQian

@QingyunQian QingyunQian commented Jul 29, 2026

Copy link
Copy Markdown

Take-home insight

The circuit never needs a general many-body contraction: preserving its exact product-state structure reduces the computation to vectorized local conditional maps.

Measured result

Comparison Runtime Speedup
Public expert 4.101350 s 1.000x
Optimized 0.924608 s 4.435277x

The README keeps the compact factor attribution table and a single result figure.

Reviewer-facing files

  • optimized_solutions/challenge-03/README.md
  • optimized_solutions/challenge-03/solution_3_product_contraction.py
  • optimized_solutions/challenge-03/factor-ablation.svg

Full profiles and research chronology remain in hmyuuu/OrbitBreakersExpertBenchmarks.

@QingyunQian QingyunQian changed the title Task 03: publish exact post-selection product contraction (4.44x) Task 03: exploit exact product-state contraction (4.44x) Jul 30, 2026
@refraction-ray

Copy link
Copy Markdown
Member

This means the problem is also not good enpigh that can be exploit for cheap workaround?

@QingyunQian

QingyunQian commented Jul 30, 2026

Copy link
Copy Markdown
Author

Yes, after checking the exact circuit, the original schedule does admit a structural cheap reduction.

Because every even qubit was projected to |0> after each brickwork layer, every gate touched at most one surviving odd qubit before projection. The nominal 12 qubit selected branch therefore remained exactly six independent one qubit trajectories. This is a workload design degeneracy(milder than Task 07).

I updated this PR with both a compact report and a design fix. Post selection now happens only after each complete even+odd brickwork block (30 events instead of 60), so the odd survivor light cones overlap before projection. A deterministic witness gives two nonzero Schmidt coefficients, 0.999136 and 0.041559 (purity 0.996552), so the old product state induction is no longer valid. The regenerated expert completes all 300 updates and passes every functional criterion; the unchanged cheap-reduction implementation fails the patched evaluator.

Details and the factor table&figure are in optimized_solutions/challenge-03/README.md.

@QingyunQian

Copy link
Copy Markdown
Author

This means the problem is also not good enpigh that can be exploit for cheap workaround?

can be used as a loophole test,who can capture the flag?dont fix it

@QingyunQian
QingyunQian marked this pull request as draft August 1, 2026 15:08
@QingyunQian
QingyunQian changed the base branch from main to v2 August 3, 2026 06:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants