Papers
Topics
Authors
Recent
Search
2000 character limit reached

Effective 24-Qubit Calculation

Updated 26 December 2025
  • The paper demonstrates that semi-boolean polynomial encoding enables ancilla-free, high-performance arithmetic circuits for modular, signed, and floating-point operations.
  • It employs QFT-based methods with phase-cascade modifications to achieve efficient in-place multiplication, optimizing resource usage and circuit depth.
  • Optimization techniques, including GMS gate substitutions, significantly reduce two-qubit gate depth while balancing trade-offs with limited ancilla availability.

Effective 24 qubit calculations employ semi-boolean polynomial (SBP) encoding to realize compact, high-performance, ancilla-free arithmetic circuits for unsigned integers, signed integers, and floating-point representations. These constructions optimize resource usage and circuit depth, enabling practical modular arithmetic and constant multiplication in the 24-qubit regime, as presented in the SBP formalism of "Efficient Floating Point Arithmetic for Quantum Computers" (Seidel et al., 2021). The following exposition details the encoding principles, constant multiplication workflow, signed and floating-point extensions, resource breakdown for the 24-qubit case, and trade-offs in circuit realization.

1. Semi-Boolean Polynomial Encoding for Modular Arithmetic

Arithmetic over the ring Z/2mZ\mathbb{Z}/2^m\mathbb{Z} can be reformulated as the evaluation of semi-boolean polynomials, in which any mm-qubit state ∣y⟩\lvert y \rangle is prepared in the Fourier basis by H⊗m∣0⟩=(1/2m)∑k=02m−1∣k⟩H^{\otimes m}\lvert 0 \rangle = (1/\sqrt{2^m})\sum_{k=0}^{2^m-1}\lvert k\rangle. The SBP construction makes use of the diagonal GG-gate:

UG(y)=⨂i=0m−1Pi(2πy2i/2m),U_G(y) = \bigotimes_{i=0}^{m-1} P_i(2\pi y 2^i / 2^m),

which imparts a phase e2πiyk/2me^{2\pi i y k/2^m} on computational basis state ∣k⟩\lvert k \rangle. Applying an inverse quantum Fourier transform (QFT†^\dagger) yields ∣y mod 2m⟩\lvert y \bmod 2^m \rangle.

A semi-boolean monomial for input vector mm0 has the form mm1, for mm2. The entire polynomial mm3, comprising a sum over such monomials, is encoded by sequentially applying mm4 gates controlled by the necessary mm5 combinations, which are then fused through the additive property:

mm6

Thus, mm7 after the SBP circuit.

2. Ancilla-Free In-Place Multiplication by Classical Constants

To multiply an mm8-qubit register mm9 by an odd classical constant ∣y⟩\lvert y \rangle0 (mod ∣y⟩\lvert y \rangle1), one uses the property that such ∣y⟩\lvert y \rangle2 are invertible modulo ∣y⟩\lvert y \rangle3, making the mapping reversible:

∣y⟩\lvert y \rangle4

The procedure is QFT-based:

  1. Apply QFT on all ∣y⟩\lvert y \rangle5 qubits.
  2. Replace every controlled-phase (CP) gate's angle ∣y⟩\lvert y \rangle6 in the QFT with ∣y⟩\lvert y \rangle7 (the "phase-cascade").
  3. Apply QFT∣y⟩\lvert y \rangle8.

The explicit QFT decomposition is:

∣y⟩\lvert y \rangle9

modified for multiplication by H⊗m∣0⟩=(1/2m)∑k=02m−1∣k⟩H^{\otimes m}\lvert 0 \rangle = (1/\sqrt{2^m})\sum_{k=0}^{2^m-1}\lvert k\rangle0 as H⊗m∣0⟩=(1/2m)∑k=02m−1∣k⟩H^{\otimes m}\lvert 0 \rangle = (1/\sqrt{2^m})\sum_{k=0}^{2^m-1}\lvert k\rangle1, with the Hadamard gates unaffected due to H⊗m∣0⟩=(1/2m)∑k=02m−1∣k⟩H^{\otimes m}\lvert 0 \rangle = (1/\sqrt{2^m})\sum_{k=0}^{2^m-1}\lvert k\rangle2. The ancilla-free method requires only the H⊗m∣0⟩=(1/2m)∑k=02m−1∣k⟩H^{\otimes m}\lvert 0 \rangle = (1/\sqrt{2^m})\sum_{k=0}^{2^m-1}\lvert k\rangle3 main qubits.

Resource analysis:

  • Qubits: H⊗m∣0⟩=(1/2m)∑k=02m−1∣k⟩H^{\otimes m}\lvert 0 \rangle = (1/\sqrt{2^m})\sum_{k=0}^{2^m-1}\lvert k\rangle4
  • H-gates: H⊗m∣0⟩=(1/2m)∑k=02m−1∣k⟩H^{\otimes m}\lvert 0 \rangle = (1/\sqrt{2^m})\sum_{k=0}^{2^m-1}\lvert k\rangle5
  • CP-gates: H⊗m∣0⟩=(1/2m)∑k=02m−1∣k⟩H^{\otimes m}\lvert 0 \rangle = (1/\sqrt{2^m})\sum_{k=0}^{2^m-1}\lvert k\rangle6
  • Depth: H⊗m∣0⟩=(1/2m)∑k=02m−1∣k⟩H^{\otimes m}\lvert 0 \rangle = (1/\sqrt{2^m})\sum_{k=0}^{2^m-1}\lvert k\rangle7

3. Extensions: Signed-Integer and Floating-Point Representations

a) Signed-Integer Encoding

Signed H⊗m∣0⟩=(1/2m)∑k=02m−1∣k⟩H^{\otimes m}\lvert 0 \rangle = (1/\sqrt{2^m})\sum_{k=0}^{2^m-1}\lvert k\rangle8-bit integers H⊗m∣0⟩=(1/2m)∑k=02m−1∣k⟩H^{\otimes m}\lvert 0 \rangle = (1/\sqrt{2^m})\sum_{k=0}^{2^m-1}\lvert k\rangle9 are encoded via the two's-complement ring isomorphism as GG0. Thus, modular operations (addition, subtraction, multiplication) mod GG1 directly implement signed arithmetic. The SBP circuit extends to GG2 qubits for full coverage of the signed range.

b) IEEE-Style Mono-Quantum Floating-Point

Floating-point numbers of the form GG3 are decomposed as follows:

  • Sign: GG4, encoded in a single qubit.
  • Exponent: GG5, kept classical.
  • Mantissa: GG6, in GG7 signed qubits.

Arithmetic on floating-point numbers reduces to SBP-encoded operations on the mantissas, with exponent tracking managed classically. e.g., to add GG8 and GG9, select an output exponent UG(y)=⨂i=0m−1Pi(2πy2i/2m),U_G(y) = \bigotimes_{i=0}^{m-1} P_i(2\pi y 2^i / 2^m),0, then:

UG(y)=⨂i=0m−1Pi(2πy2i/2m),U_G(y) = \bigotimes_{i=0}^{m-1} P_i(2\pi y 2^i / 2^m),1

4. Explicit 24-Qubit Circuit Example: Ancilla-Free In-Place Multiplication

A concrete instantiation uses all 24 qubits to store an unsigned integer UG(y)=⨂i=0m−1Pi(2πy2i/2m),U_G(y) = \bigotimes_{i=0}^{m-1} P_i(2\pi y 2^i / 2^m),2 and multiplies by UG(y)=⨂i=0m−1Pi(2πy2i/2m),U_G(y) = \bigotimes_{i=0}^{m-1} P_i(2\pi y 2^i / 2^m),3 (mod UG(y)=⨂i=0m−1Pi(2πy2i/2m),U_G(y) = \bigotimes_{i=0}^{m-1} P_i(2\pi y 2^i / 2^m),4):

UG(y)=⨂i=0m−1Pi(2πy2i/2m),U_G(y) = \bigotimes_{i=0}^{m-1} P_i(2\pi y 2^i / 2^m),5

Resource count for UG(y)=⨂i=0m−1Pi(2πy2i/2m),U_G(y) = \bigotimes_{i=0}^{m-1} P_i(2\pi y 2^i / 2^m),6: | Resource | Value | |-----------------|--------| | Qubits | 24 | | H-gates | 48 | | CP-gates | 828 | | Total gates | 876 | | Circuit depth | ≈72 |

  • CP count: UG(y)=⨂i=0m−1Pi(2Ï€y2i/2m),U_G(y) = \bigotimes_{i=0}^{m-1} P_i(2\pi y 2^i / 2^m),7
  • Depth: UG(y)=⨂i=0m−1Pi(2Ï€y2i/2m),U_G(y) = \bigotimes_{i=0}^{m-1} P_i(2\pi y 2^i / 2^m),8 time-steps (each step: at most one H or CP per qubit)
  • No ancillas are required.

5. Depth vs. Ancilla Trade-Offs and Performance Considerations

  • Depth vs. Ancilla: The "ancilla-free" construction uses UG(y)=⨂i=0m−1Pi(2Ï€y2i/2m),U_G(y) = \bigotimes_{i=0}^{m-1} P_i(2\pi y 2^i / 2^m),9 main qubits and achieves depth e2Ï€iyk/2me^{2\pi i y k/2^m}0. With even 4 extra qubits, certain computations (e.g., multi-controlled monomials) could be isolated into ancillas, enabling CP gate parallelization and reducing depth by up to e2Ï€iyk/2me^{2\pi i y k/2^m}1.
  • SWAP Elimination: Use of the reverse-QFT trick removes the need for end SWAP operations.
  • Monomial Ordering: In general SBP encoding, monomial sequencing and CP gate scheduling can enable further parallelism if ancillas are present. Constant multiplication requires only the standard QFT order.
  • Phase Resolution: For e2Ï€iyk/2me^{2\pi i y k/2^m}2, the minimum CP angle is e2Ï€iyk/2me^{2\pi i y k/2^m}3 rad; feasible implementation requires hardware phase error e2Ï€iyk/2me^{2\pi i y k/2^m}4 rad.
  • GMS Gates: On ion-trap architectures where native XX gates are available, all 828 CP gates can be replaced with as few as 24 global Mølmer–Sørensen (GMS) pulses, reducing two-qubit depth from e2Ï€iyk/2me^{2\pi i y k/2^m}5 to e2Ï€iyk/2me^{2\pi i y k/2^m}6.

6. Application Scope and Integration with Higher-Level Quantum Arithmetic

Any odd constant e2Ï€iyk/2me^{2\pi i y k/2^m}7 can be embedded via the same phase-cascade construction, yielding a generic, compact 24-qubit multiplier. Integration with signed and mono-quantum floating-point representations is immediate: reinterpret the 24 qubits as two's-complement mantissas, and manage the exponent classically. This allows seamless extension to quantum algorithms requiring mixed integer and floating-point arithmetic, maintaining circuit depth at the 24-qubit level for in-place modular multiplication, regardless of signedness or floating-point encoding (Seidel et al., 2021).

Definition Search Book Streamline Icon: https://streamlinehq.com
References (1)

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Effective 24 Qubit Calculation.