REVIEW 3 major objections 5 minor 1 cited by
AEQUAM: Accelerating Quantum Algorithm Validation through FPGA-Based Emulation
T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read AEQUAM claims an FPGA toolchain that emulates quantum circuits up to six qubits on a low-cost Cyclone 10LP, scaling better in logic elements than most earlier FPGA emulators while supporting Clifford+T and rotational gates.
desk verdict Real FPGA emulation toolchain with an overreaching scalability claim that its own Section V-C3 contradicts; worth reviewing after re-scoping. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is the butterfly-like couple-selection scheme. For an $N$-qubit state vector, applying a single-qubit gate to a target qubit splits the equivalent $2^N \times 2^N$ gate matrix into $2^{N-1}$ identical $2\times2$ kernels, each acting on one pair of probability amplitudes; the positions of those pairs follow an FFT-like butterfly pattern set by the target qubit. For controlled gates, half of the kernels become identity matrices, and those couples are skipped, eliminating redundant work and removing any need to build or store layer matrices. On top of this, the windowing mechanism shrinks the datapath count from $2^{N-1}$ to $2^{N-W-1}$ by processing $W$ windows of amplitude couples serially, so the user can interpolate between full-parallel speed and full-serial area, at the cost of doubling gate-execution time per increment of $W$.
What would settle it
A reader could re-synthesize AEQUAM and the cited emulators on one FPGA family with identical precision and synthesis settings; if AEQUAM no longer uses fewer logic elements at equal qubit counts, the scalability claim is a comparison artifact. A simpler check is to reproduce the reported synthesis numbers: the serial 6-qubit and parallel 5-qubit configurations must fit on the 24,624-LE Cyclone 10LP at the stated 80/109 MHz clocks and with roughly 11.7k and 21.0k LEs.
Extended reading notes
Core claim
The paper's central claim is that a quantum state vector can be evolved on an FPGA by processing only the interacting amplitude couples selected by a butterfly-style pattern, one gate at a time, instead of materializing layer matrices or multiplying full state vectors. On the authors' chosen device, an Intel Cyclone 10LP with roughly 24.6k logic elements, this yields a 6-qubit emulator in full-serial mode (11,702 LEs) and a 5-qubit emulator in full-parallel mode (20,993 LEs) at 20-bit fixed-point precision with nearest rounding. The authors compare against four published FPGA emulators and report that AEQUAM's logic-element curve is better than all but one, whose better scaling comes at the cost of supporting only X, CNOT, Toffoli, and Hadamard gates; AEQUAM instead covers Clifford+T and rotational gates, so it can run any generic circuit accepted by the compiler. They further claim that the fixed-point precision, chosen through their software models, keeps error small (maximum and average complex distances generally below 0.05 in their benchmarks) while the software model itself runs at least an order of magnitude faster than the reference state-vector simulator.
Load-bearing premise
The scalability comparison assumes that logic-element counts from different FPGA families, such as Cyclone 10LP LEs, Cyclone V and Arria 10 ALMs, and Stratix LCs, are directly comparable without normalizing for architecture, synthesis settings, or numerical precision.
Editorial extensions
If this is right
- On the tested Cyclone 10LP part, full-serial emulation supports 6 qubits (11,702 LEs) and full-parallel supports 5 qubits (20,993 LEs), with windowing orders filling the area-time tradeoff between them.
- The architecture executes Clifford+T and rotational gates, so any OpenQASM 2.0 circuit without measurement-conditioned branches can be emulated, unlike the closest sparse-emulator predecessor that stops at X, CNOT, Toffoli, and Hadamard.
- Fixed-point 20-bit nearest representation keeps maximum and average complex amplitude errors generally below 0.05 on the tested circuits while using far fewer resources than floating-point datapaths.
- The software model runs benchmark circuits at least an order of magnitude faster than the reference state-vector simulator, so the butterfly mechanism itself, independent of FPGA synthesis, already accelerates validation.
- Because area grows exponentially with qubits as the state-vector size $2^N$, the practical ceiling on this FPGA class is around six to eight qubits, and larger qubit counts require external memory or larger devices.
Reading between the lines
- A testable extension the authors leave implicit: sweep the windowing order $W$ at fixed qubit count on a larger FPGA to map the full area-time Pareto curve; the reported serial and parallel endpoints suggest intermediate $W$ values are the practical operating points for real circuits.
- Because rotation angles are precomputed into a table at compile time, variational circuits with many distinct angles will exhaust the sine-cosine register file before the qubit limit; replacing the table with an on-chip trigonometric unit, which the authors list as future work, would remove that bottleneck.
- If fixed-point error accumulates with circuit depth, the 20-bit recommendation will eventually fail on very deep circuits; the software models' precision sweep effectively turns bit width into a tunable parameter, so a user can choose the smallest width that keeps the maximum complex distance below a target threshold.
- The toolchain currently ignores measurement and rejects measurement-conditioned branches, so the emulator certifies ideal state evolution rather than measurement-feedback behavior; the circuit-partitioning scheme sketched for future releases would extend it to those programs.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces AEQUAM, an open-source FPGA-based toolchain for quantum circuit emulation. It compiles OpenQASM 2.0 into RISC-like instructions, provides Cython software models for selecting fixed-point number representations, and generates VHDL for a processor that applies gates to interacting amplitude pairs through a butterfly selection mechanism. The authors synthesize a 20-bit fixed-point configuration on an Intel Cyclone 10LP and report 6-qubit full-serial and 5-qubit full-parallel emulation, with windowed variants trading parallelism for area. They benchmark emulation accuracy against Qiskit using mqt-bench and public circuits, and compare resource usage with prior FPGA emulators.
Significance. If the resource-efficiency and scalability claims are supported, AEQUAM would be a useful low-cost platform for teaching and for validating small quantum circuits, with configurable precision and parallelism and support for both Clifford+T and rotational gates. The public GitHub repository, automated testbench scripts, and the systematic software-model study of numeric precision are concrete strengths that aid reproducibility. However, the headline scalability claim currently rests on a comparison that mixes non-commensurable FPGA resource units and precision choices, so the significance as stated is not yet established.
major comments (3)
- [Abstract; Section V-C3; Section VII] The central claim of "better scalability" is contradicted by the paper's own comparison. The abstract says the architecture "demonstrates better scalability than other state-of-the-art emulators," and Section VII claims "outperforming prior FPGA-based solutions in terms of resource efficiency." Yet Section V-C3 explicitly states that "the architecture proposed by [18] is the only one with better scalability than ours." Table 3 shows [18] reaching 9 qubits with 4019 LCs versus AEQUAM's 6 qubits with 11702 LEs (serial) and 5 qubits with 20993 LEs (parallel). The abstract and conclusion claims must either be qualified (e.g., "among emulators supporting rotational gates and without external memories") or the comparison must be revised.
- [Table 3; Figure 26; Section V-C3] The resource comparison shown in Table 3 and Figure 26 is not normalized across FPGA families or numerical precisions. Logic utilization is reported as LEs for Cyclone 10LP, ALMs for Cyclone V and Arria 10, and LCs for Stratix; these units are not directly comparable, and the precision ranges from 10-bit fixed point to 64-bit floating point. As a result, the "competitive" and "resource efficiency" statements in Sections V-C3 and VI are unsupported as written. The authors should report a normalized metric (e.g., area per complex amplitude, or area per amplitude-bit) or synthesize at least one earlier design with the same tool, device family, and precision.
- [Figure 26; Section V-C3] The scalability comparison uses only logic-element count versus qubit count and does not account for gate-set coverage, execution throughput, or memory architecture. Since [17] uses external memory and [18] supports only a restricted gate set (Pauli X, CNOT, Toffoli, Hadamard), the raw qubit-per-resource plot conflates architectural capability with scalability. A fair comparison should also report throughput (e.g., gates per second) and specify the supported gate set and whether on-chip state storage is used for each data point.
minor comments (5)
- [Figure 24] Figures 24(c) and 24(d) are referenced twice in the text, once for variation with Q and once for variation with W; the figure numbering and captions need correction.
- [Figure 26] The legend in Figure 26 lists references [14]-[17], while Table 3 compares AEQUAM with [15]-[18]; the reference numbering should be aligned.
- [Section III-D1] The sentence "It is also the address of the first state" appears twice in the description of the control unit.
- [Section V-A1] The phrase "opta-core" appears to be a typo for "octa-core".
- [References] References [13] and [21] are duplicate entries for the same OpenQASM paper; one should be removed or cross-referenced.
Circularity Check
No significant circularity: AEQUAM's central results are synthesis measurements and external-benchmark validations, not self-referential derivations.
full rationale
AEQUAM's claims do not reduce to their inputs by construction. The butterfly selection mechanism is imported from [19], which is prior external work by Negovetic et al., and it is explicitly credited ('proposed for the first time in [19]') rather than being presented as a derived first-principles result; adopting an external mechanism is independent support, not circularity. The 20-bit fixed-point precision is selected from the authors' own software accuracy sweeps (Section V-A3, Figure 18), but the subsequent hardware results are new synthesis outcomes and simulation runs; the precision choice is design tuning, not a fitted parameter renamed as a prediction. Functional verification compares the hardware against Qiskit's state-vector simulator and mqt-bench circuits, i.e., external references. The only self-citation ([4], an optimization application paper sharing some authors) appears in a list of application references and carries no weight in the scalability or accuracy argument. The internal tension between the abstract's 'better scalability' and Section V-C3's statement that [18] is the only architecture with better scalability is a correctness and comparison-scoping defect, as is the LE-versus-ALM/LC metric mixing; neither is a circular inference. No circular step can be exhibited, so the appropriate score is 0.
Assumptions & free parameters
free parameters (1)
- Fixed-point precision (Nbits) =
20-bit
assumptions (3)
- standard math Quantum state evolution follows the layer-by-layer matrix-vector product (Eqs. 5 and 6).
- domain assumption The butterfly couple-selection pattern from [19] correctly identifies all interacting amplitude pairs for each gate type, target qubit, and control mask.
- domain assumption OpenQASM 2.0 circuits are assumed ideal and noiseless, and unsupported constructs (measure, if) are ignored or rejected.
Cite this review
Pith. "Pith review of AEQUAM: Accelerating Quantum Algorithm Validation through FPGA-Based Emulation." pith.science (2026). https://pith.science/paper/QUQZGIZH
@misc{pith2026250601029,
author = {Pith},
title = {Pith review of: AEQUAM: Accelerating Quantum Algorithm Validation through FPGA-Based Emulation},
year = {2026},
howpublished = {\url{https://pith.science/paper/QUQZGIZH}},
note = {Machine review of arXiv:2506.01029}
}
read the original abstract
This work presents AEQUAM (Area Efficient QUAntum eMulation), a toolchain that enables faster and more accessible quantum circuit verification. It consists of a compiler that translates OpenQASM 2.0 into RISC-like instructions, Cython software models for selecting number representations and simulating circuits, and a VHDL generator that produces RTL descriptions for FPGA-based hardware emulators. The architecture leverages a SIMD approach to parallelize computation and reduces complexity by exploiting the sparsity of quantum gate matrices. The VHDL generator allows customization of the number of emulated qubits and parallelization levels to meet user requirements. Synthesized on an Altera Cyclone 10LP FPGA with a 20-bit fixed-point representation and nearest-type approximation, the architecture demonstrates better scalability than other state-of-the-art emulators. Specifically, the emulator has been validated by exploiting the well consolidated benchmark of mqt bench framework.
Figures
Figures from the paper (22 more)
Forward citations
Cited by 1 Pith paper
-
Classical Hardware Acceleration of Quantum Autoencoders for Real-Time Anomaly Detection in Collider Experiments
Quantum and hybrid quantum-classical autoencoders for LHC trigger anomaly detection are quantized and synthesized onto a single FPGA SLR with claimed sub-microsecond-to-few-microsecond latency at stated parity with cl...
Reference graph
Works this paper leans on
-
[19]
G. Negovetic, M. Perkowski, M. Lukac, and A. Buller, ‘‘Evolving quantum circuits and an fpga-based quantum computing emulator,’’ 2002. https: //pdxscholar.library.pdx.edu/ece_fac/191/
work page 2002
-
[18]
C. Conceição and R. Reis, ‘‘Efficient emulation of quantum circuits on classical hardware,’’ in 2015 IEEE 6th Latin American Symposium on Circuits & Systems (LASCAS) , pp. 1–4, IEEE, 2015. https://doi.org/10. 1109/LASCAS.2015.7250404
-
[17]
N. Mahmud, B. Haase-Divine, A. Kuhnke, A. Rai, A. MacGillivray, and E. El-Araby, ‘‘Efficient computation techniques and hardware architectures for unitary transformations in support of quantum algorithm emulation,’’ Journal of Signal Processing Systems, vol. 92, pp. 1017–1037, 2020. https: //doi.org/10.1007/s11265-020-01569-4
-
[1]
E. Zahedinejad and A. Zaribafiyan, ‘‘Combinatorial optimization on gate model quantum computers: A survey,’’ 2017. https://doi.org/10.48550/ arXiv.1708.05294
-
[2]
An introduction to variational quantum algorithms for combinatorial optimization problems
C. Grange, M. Poss, and E. Bourreau, ‘‘An introduction to variational quantum algorithms on gate-based quantum computing for combinatorial optimization problems,’’ 2022. https://doi.org/10.48550/arxiv.2212.11734
work page Pith review arXiv doi:10.48550/arxiv.2212.11734 2022
-
[3]
Y . Liu and G. J. Koehler, ‘‘Using modifications to grover’s search algo- rithm for quantum global optimization,’’ European Journal of Operational Research, vol. 207, no. 2, pp. 620–632, 2010. https://doi.org/10.1016/j. ejor.2010.05.039
doi:10.1016/j 2010
-
[4]
L. Giuffrida, D. V olpe, G. A. Cirillo, M. Zamboni, and G. Turvani, ‘‘En- gineering grover adaptive search: Exploring the degrees of freedom for efficient qubo solving,’’ IEEE Journal on Emerging and Selected Topics in Circuits and Systems, vol. 12, no. 3, pp. 614–623, 2022. https://doi.org/ 10.1109/JETCAS.2022.3202566
-
[5]
J. Biamonte, P . Wittek, N. Pancotti, P . Rebentrost, N. Wiebe, and S. Lloyd, ‘‘Quantum machine learning,’’ Nature, vol. 549, no. 7671, pp. 195–202,
Show all 29 references
-
[6]
Mishra, M
N. Mishra, M. Kapil, H. Rakesh, A. Anand, N. Mishra, et al., ‘‘Quantum machine learning: A review and current status,’’ in Data Management, Analytics and Innovation , (Singapore), pp. 101–145, Springer Singapore,
-
[7]
Y . Cao, J. Romero, J. P . Olson, M. Degroote, P . D. Johnson, M. Kieferová, I. D. Kivlichan, T. Menke, B. Peropadre, N. P . D. Sawaya, S. Sim, L. V eis, and A. Aspuru-Guzik, ‘‘Quantum chemistry in the age of quantum com- puting,’’ Aug 2019. https://doi.org/10.1021/acs.chemrev.8b00803
2019 doi
-
[8]
Pirnay, V
N. Pirnay, V . Ulitzsch, F. Wilde, J. Eisert, and J.-P . Seifert, ‘‘A super- polynomial quantum advantage for combinatorial optimization problems,’’ arXiv preprint arXiv:2212.08678 , 2022. https://doi.org/10.48550/arXiv. 2212.08678. VOLUME 11, 2023 23 L. Lagostina et al.: AEQU...
-
[9]
Ristè, M
D. Ristè, M. P . Da Silva, C. A. Ryan, A. W. Cross, A. D. Córcoles, J. A. Smolin, J. M. Gambetta, J. M. Chow, and B. R. Johnson, ‘‘Demonstration of quantum advantage in machine learning,’’ npj Quantum Information , vol. 3, no. 1, p. 16, 2017. https://doi.org/10.1038/s41534-017-0017-3
2017 doi
-
[10]
Y uan, ‘‘A quantum-computing advantage for chemistry,’’ Science, vol
X. Y uan, ‘‘A quantum-computing advantage for chemistry,’’ Science, vol. 369, no. 6507, pp. 1054–1055, 2020. https://doi.org/10.1126/science. abd3880
2020 doi
-
[11]
Li and Y
H. Li and Y . Pang, ‘‘Fpga-accelerated quantum computing emulation and quantum key distillation,’’ IEEE Micro, vol. 41, no. 4, pp. 49–57, 2021
2021
-
[12]
X.-C. Wu, S. Di, E. M. Dasgupta, F. Cappello, H. Finkel, Y . Alexeev, and F. T. Chong, ‘‘Full-state quantum circuit simulation by using data compression,’’ in Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis , p. 1–24...
2019
-
[14]
M. A. Nielsen and I. L. Chuang, Quantum computation and quantum information. Cambridge ; New Y ork: Cambridge University Press, 10th anniversary ed ed., 2010
2010
-
[15]
Pilch and J
J. Pilch and J. Długopolski, ‘‘An fpga-based real quantum computer emu- lator,’’Journal of Computational Electronics , vol. 18, pp. 329–342, 2019. https://doi.org/10.1007/s10825-018-1287-5
2019 doi
-
[16]
Mahmud and E
N. Mahmud and E. El-Araby, ‘‘A scalable high-precision and high- throughput architecture for emulation of quantum algorithms,’’ in 2018 31st IEEE International System-on-Chip Conference (SOCC) , pp. 206– 212, IEEE, 2018. https://doi.org/10.1109/SOCC.2018.8618545
2018
-
[20]
H. J. Nussbaumer and H. J. Nussbaumer, The fast F ourier transform . Springer, 1982. https://doi.org/10.1007/978-3-642-81897-4_4
1982 doi
- [21]
-
[22]
Bakiri, C
M. Bakiri, C. Guyeux, J.-F. Couchot, and A. K. Oudjida, ‘‘Survey on hardware implementation of random number generators on fpga: Theory and experimental analyses,’’ Computer Science Review , vol. 27, pp. 135– 153, 2018. https://doi.org/10.1016/j.cosrev.2018.01.002
2018 doi
-
[23]
Koren, Computer arithmetic algorithms
I. Koren, Computer arithmetic algorithms. CRC Press, 2018
2018
-
[24]
Ruo Roch and M
M. Ruo Roch and M. Martina, ‘‘Virtlab: A low-cost platform for electronics lab experiments,’’ Sensors, vol. 22, no. 13, 2022. https://doi.org/10.3390/ s22134840
2022
-
[25]
Quetschlich, L
N. Quetschlich, L. Burgholzer, and R. Wille, ‘‘Mqt bench: Benchmarking software and design automation tools for quantum computing,’’ Quantum, vol. 7, p. 1062, 2023. https://doi.org/10.22331/q-2023-07-20-1062
2023 doi
-
[26]
‘‘Intel Xeon Gold 6134 processor - product specification.’’ [Online] https://ark.intel.com/content/www/us/en/ark/products/120493/ intel-xeon-gold-6134-processor-24-75m-cache-3-20-ghz.html, accessed 25-October-2021
2021
-
[27]
‘‘qiskit.quantum_info.hellinger_fidelity — Qiskit 0.36.2 documentation.’’ https://tinyurl.com/mr27xdmc
-
[28]
Kullback and R
S. Kullback and R. A. Leibler, ‘‘On Information and Sufficiency,’’ The Annals of Mathematical Statistics , vol. 22, pp. 79–86, Mar. 1951. https: //doi.org/10.1214/aoms/1177729694. LORENZO LAGOSTINA received the electronics and communications engineering from the Politec- nico ...
1951
-
[2017]
https://doi.org/10.1038/nature23474
-
[2021]
https://doi.org/10.1007/978-981-15-5619-7_8
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.