Contextual literature comparators
Source: Ruiz et al., Quantum Circuit Optimization with AlphaTensor, Table 2 of the downloaded arXiv paper (checked 2026-10-13); journal article. These are the paper's without-gadgets counts, not a current comprehensive state-of-the-art survey. The paper reports compiled widths that can exceed original widths and sometimes splits circuits. The baseline column includes results obtained by the authors (dagger-marked in the source), not only earlier published results.
Compatibility is unverified for every row: exact source-circuit identity, unitary semantics, compiled ancillas and the TfP CX cap have not been jointly checked. These numbers must not be promoted to TfP-verified records. Gadgetized results are excluded because their resource assumptions differ from this track.
| TfP problem | TfP measured baseline | Paper baseline, without gadgets | AlphaTensor, without gadgets |
|---|---|---|---|
| tcount-adder-8 | 173 | 129 | 139 |
| tcount-barenco-tof-10 | 100 | 84 | 83 |
| tcount-barenco-tof-3 | 16 | 13 | 13 |
| tcount-barenco-tof-4 | 28 | 24 | 23 |
| tcount-barenco-tof-5 | 40 | 34 | 33 |
| tcount-csla-mux-3 | 62 | 40 | 39 |
| tcount-csum-mux-9 | 84 | 72 | 71 |
| tcount-gf2-10-mult | 410 | 350 | 196 |
| tcount-gf2-16-mult | 1792 | Not tabulated | Not tabulated |
| tcount-gf2-4-mult | 68 | 47 | 39 |
| tcount-gf2-5-mult | 115 | 84 | 59 |
| tcount-gf2-6-mult | 150 | 118 | 77 |
| tcount-gf2-7-mult | 217 | 167 | 104 |
| tcount-gf2-8-mult | 264 | 214 | 123 |
| tcount-gf2-9-mult | 351 | 295 | 161 |
| tcount-grover-5 | 166 | 44 | 152 |
| tcount-ham15-high | 1019 | 787 | 773 |
| tcount-ham15-low | 97 | 75 | 73 |
| tcount-ham15-med | 212 | 156 | 156 |
| tcount-hwb6 | 75 | 51 | 51 |
| tcount-mod-adder-1024 | 1011 | 798 | 762 |
| tcount-mod-mult-55 | 35 | 17 | 17 |
| tcount-mod-red-21 | 73 | 55 | 51 |
| tcount-mod5-4 | 8 | 7 | 7 |
| tcount-qcla-adder-10 | 162 | 116 | 135 |
| tcount-qcla-com-7 | 95 | 59 | 59 |
| tcount-qcla-mod-7 | 237 | 165 | 199 |
| tcount-qft-4 | 67 | 55 | 53 |
| tcount-rc-adder-6 | 47 | 37 | 37 |
| tcount-tof-10 | 71 | 55 | 55 |
| tcount-tof-3 | 15 | 13 | 13 |
| tcount-tof-4 | 23 | 19 | 19 |
| tcount-tof-5 | 31 | 25 | 25 |
| tcount-vbe-adder-3 | 24 | 20 | 19 |