Quantum and CircuitsReading edition

Benchmark data ledger

Reading tools
Reading libraryFind statementsInspect Lean
Switch work

Saved reading

Read side by side

Verification statements describe the retained edition and its recorded evidence. This HTML presentation adds no Lean execution or proof review.

Start reading

Resources & source

Original TeX with line links · Download TeX

The wording and mathematics follow the retained manuscript. This reading format does not add a proof review or extend Lean coverage.

Skip contents and start reading

B.3 Benchmark data ledger

B.3.1 Exact weight two

The JSON file data/benchmark_records.json contains the values in Table 4.1, together with the parity, half-filled, and leakage records.

B.3.2 Half filling

Recorded half-filled benchmark.
\(n\)\(k\)full dim.sector dim.apply gainone-shot gainmemory gain
84256701.2121.0833.657
1051,0242521.2340.75134.063
1264,0969242.0830.50924.433
14716,3843,4323.240.20924.774
16865,53612,8707.0411.5015.092
189262,14448,6207.7570.74585.392
20101,048,576184,7567.3960.65295.675

All recorded relative errors were zero at the displayed precision. The one-shot result can be below one because compilation dominates a single application.

B.3.3 Parity

Recorded even-parity benchmark.
\(n\)full dim.packet dim.apply gainone-shot gainmemory gain
82561281.061.192.0
101,0245121.151.332.0
124,0962,0481.491.372.0
1416,3848,1921.781.752.0
1665,53632,7682.03.72.0

B.3.4 Symmetry-breaking controls

Benchmark data ledger — table 3
Testretained probabilityleakage
Break exact weight with pair gate0.8910.109
Break parity with \(X\) rotation0.8690.131
Break weight modulo four with pair gate0.9280.0723

These controls demonstrate that a packet restriction must be audited after every symmetry-breaking operation.

Source and conversion record

Source SHA-256: 23a87511bb01d6ac8a31d9dff3d3290aca01c001576115b905e5ccc8fde31b60

Unsupported prose commands stop the build. The mathematical expression sequence is checked against the source, with manuscript macros expanded for display.

Conversion records

Notation in Quantum and Circuits

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index