arxiv: 2605.04654 · v1 · submitted 2026-05-06 · 🪐 quant-ph

Recognition: 1 theorem link

Efficient Multi-Controlled Gate Implementation in Trapped-Ion Systems

Minhyeok Kang , Taejin Kim , Jungsoo Hong , Joonsuk Huh

Authors on Pith no claims yet

Pith reviewed 2026-05-08 17:43 UTC · model grok-4.3

classification 🪐 quant-ph

keywords trapped ionsmulti-controlled gatesCirac-Zoller schemepulse cancellationlinear combination of unitariesblock encodingquantum algorithmsred-sideband pulses

0 comments

The pith

Trapped-ion multi-controlled gates admit a sign freedom in red-sideband pulses that enables cancellations between successive operations.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that the standard Cirac-Zoller decomposition of multi-controlled gates in trapped ions contains an unused degree of freedom: the sign of each red-sideband pulse can be flipped without altering the logical unitary, up to a local Pauli-Z on the target. This freedom is used to construct multiple equivalent pulse sequences for the same gate and, crucially, to cancel pulses when several such gates are applied in succession. Numerical simulations confirm that the cancellations shorten total gate duration and raise the achieved state fidelity. The same technique yields ancilla-free circuits for an arbitrary N-controlled gate that require only one single-controlled primitive plus O(N) red-sideband pulses, and it is applied to the select operator inside linear-combination-of-unitaries block encodings.

Core claim

We develop efficient pulse-level implementations of multi-controlled gates in trapped-ion systems using the Cirac-Zoller scheme. We first show that the Cirac-Zoller construction admits a freedom in the sign choice of red-sideband (RSB) pulses, which leaves the logical operation invariant up to a local Pauli-Z correction. By exploiting this freedom, we construct equivalent realizations of multi-controlled gates and develop pulse cancellation for more efficient implementations of successive gates. We perform numerical simulations and show that pulse cancellation reduces the gate time and improves the state fidelity. Furthermore, we propose ancilla-free circuits for general N-controlled gates.

What carries the argument

Sign freedom of red-sideband pulses in the Cirac-Zoller multi-controlled decomposition, which preserves the target unitary up to local Pauli-Z corrections and thereby permits direct cancellation of pulses between consecutive gates.

If this is right

Pulse cancellation shortens gate duration and raises fidelity for chains of multi-controlled operations.
An N-controlled gate can be built without ancilla qubits using one single-controlled primitive plus O(N) red-sideband pulses.
The select operator in an LCU block encoding requires only O(L) red-sideband pulses instead of O(L log L).
LCU-based algorithms become more resource-efficient and scalable in trapped-ion hardware.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Local Pauli-Z corrections can be tracked classically and absorbed into later single-qubit gates, eliminating any extra overhead.
The same sign-cancellation idea may apply to other trapped-ion gate families that rely on sideband pulses.
Overall circuit depth in Hamiltonian-simulation or quantum-chemistry algorithms that use many LCU oracles could drop noticeably once the reduced select cost is propagated through the full compilation stack.

Load-bearing premise

Flipping the sign of a red-sideband pulse changes only a local Pauli-Z on the target qubit and can be performed in hardware without introducing unaccounted-for errors or extra calibration.

What would settle it

An experiment that measures the total number of red-sideband pulses and the final fidelity for a sequence of L successive multi-controlled gates, comparing the standard decomposition against the sign-optimized version to check whether the pulse count drops from O(L log L) to O(L) while fidelity remains at least as high.

Figures

Figures reproduced from arXiv: 2605.04654 by Joonsuk Huh, Jungsoo Hong, Minhyeok Kang, Taejin Kim.

**Figure 1.** Figure 1: Energy level structure of the 171Yb+ ion relevant to the Cirac–Zoller scheme. The hyperfine clock states define the qubit basis |g⟩ and |e⟩, while an additional Zeeman sublevel is used as the auxiliary state |f⟩. Two Raman beams couple the 2S1/2 ground-state manifold via virtual excitation to the 2P1/2 level, inducing transitions |g⟩↔|e⟩ and |g⟩↔|f⟩. When tuned to the RSB, the Raman beams also drive spin–m… view at source ↗

**Figure 2.** Figure 2: Implementation of the 4-Toffoli gate using the Cirac–Zoller scheme. (a) Circuit diagram of the 4- view at source ↗

**Figure 3.** Figure 3: Implementation of a 3-controlled gate using the Cirac–Zoller based scheme. (a) Circuit diagram of a view at source ↗

**Figure 4.** Figure 4: Implementation of N-CSWAP gate. (a) The N-CSWAP gate can be decomposed into three (N + 2)- Toffoli gates. (b) Implementation of three (N + 2)-Toffoli gates. 4N RSB pulses inside the red dashed-line boxes can be eliminated by choosing an appropriate quantum circuit from view at source ↗

**Figure 5.** Figure 5: Implementation of two multi-controlled gates with different control conditions. (a) Circuit diagram view at source ↗

**Figure 6.** Figure 6: The state fidelities for the 3-controlled SWAP gate and its 3- and 5-iteration sequences, obtained view at source ↗

**Figure 7.** Figure 7: Quantum circuit implementing the block encoding of Eq. ( view at source ↗

**Figure 8.** Figure 8: The number of RSB pulses and the relative ratio plotted against view at source ↗

**Figure 9.** Figure 9: (a) The LCU circuit for a block encoding of view at source ↗

**Figure 10.** Figure 10: Comparison of the total gate time for the standard view at source ↗

**Figure 11.** Figure 11: Quantum circuit of Fig view at source ↗

**Figure 12.** Figure 12: The state fidelities for all 32 computational basis output states of the 3-CSWAP gate, comparing view at source ↗

read the original abstract

Multi-controlled gates are essential primitives in quantum algorithms, yet implementing them via standard gate-level decompositions remains resource-intensive. We develop efficient pulse-level implementations of multi-controlled gates in trapped-ion systems using the Cirac-Zoller scheme. We first show that the Cirac-Zoller construction admits a freedom in the sign choice of red-sideband (RSB) pulses, which leaves the logical operation invariant up to a local Pauli-$Z$ correction. By exploiting this freedom, we construct equivalent realizations of multi-controlled gates and develop pulse cancellation for more efficient implementations of successive gates. We perform numerical simulations and show that pulse cancellation reduces the gate time and improves the state fidelity. Furthermore, we propose ancilla-free circuits for general $N$-controlled gates that use a single-controlled gate primitive and $\mathcal{O}(N)$ RSB pulses. As a key application, we apply our pulse cancellation to the linear combination of unitaries (LCU) method for block encoding. We show that the RSB-pulse cost of the select operator over $L$ unitaries can be reduced from $\mathcal{O}(L\log L)$ to $\mathcal{O}(L)$, which improves the efficiency and scalability of LCU-based quantum circuits.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The sign freedom in Cirac-Zoller RSB pulses lets them cancel pulses across chained multi-controlled gates and claim an O(L) LCU select cost, but the Z corrections may still force extra phase overhead that the simulations do not clearly rule out.

read the letter

The paper's main contribution is identifying that flipping the sign of red-sideband pulses in the Cirac-Zoller multi-controlled gate leaves the logical operation unchanged except for a local Pauli-Z on the target. They turn this into a systematic way to cancel pulses between successive gates and apply it to the select operator in LCU block encoding, dropping the RSB-pulse count from O(L log L) to O(L). They also give an ancilla-free decomposition for general N-controlled gates that uses one controlled primitive plus O(N) pulses total. Numerical simulations are shown for the basic gates, reporting shorter times and higher fidelity than the standard decomposition. These pieces are concrete and directly relevant to trapped-ion hardware. The construction itself is clearly explained and the pulse-cancellation logic follows from the sign freedom they identify. The LCU scaling claim is the part that stands out as potentially useful for near-term simulation work. The soft spot is the handling of the inserted Z operators. Each cancellation adds a Z that must be commuted through the next controlled-U_i. Because the U_i are different, the relative phases between the L terms do not cancel automatically. LCU correctness depends on those phases being exact, so any untracked accumulation would introduce an error that grows with L. The abstract mentions improved fidelity in simulations, but gives no indication that the simulations propagated and corrected the full set of Z phases rather than optimizing pulse count in isolation. If the phases were not fully accounted for, the O(L) reduction would come with hidden correction costs that erase the advertised gain. This paper is for experimentalists and theorists working on pulse-level control in trapped ions or on LCU-based algorithms for chemistry. It contains enough explicit construction and a hardware-relevant application to deserve a serious referee, though the LCU section would need tighter verification of the phase accounting before the scaling claim can be taken at face value.

Referee Report

2 major / 2 minor

Summary. The manuscript develops pulse-level optimizations for multi-controlled gates in trapped-ion systems based on the Cirac-Zoller scheme. It identifies a sign freedom in red-sideband (RSB) pulses that preserves the logical action up to local Pauli-Z corrections on the target, enabling equivalent gate realizations and pulse cancellations between successive gates. This is used to propose ancilla-free N-controlled circuits with O(N) RSB pulses and, as a key application, to reduce the RSB-pulse cost of the LCU select operator over L unitaries from O(L log L) to O(L). Numerical simulations are reported to demonstrate reduced gate times and improved state fidelities.

Significance. If the central constructions hold after accounting for all phase corrections, the work could meaningfully lower the pulse overhead for multi-controlled operations and LCU-based block encodings on trapped-ion hardware, improving scalability for algorithms that rely on these primitives. The explicit use of hardware-level pulse freedom rather than gate decompositions is a constructive approach, and the claimed asymptotic improvement in LCU cost would be a notable efficiency gain if the relative phases are shown to be correctly managed.

major comments (2)

[Abstract and LCU application section] Abstract and LCU application section: The reduction of the select-operator RSB-pulse cost to O(L) is obtained by choosing RSB signs to cancel pulses between successive controlled-U_i. However, each sign choice inserts a local Z on the target that must be commuted through the subsequent controlled-U_i. Because the U_i are distinct, these Z operators generate relative phases among the L terms of the linear combination. The correctness of the LCU block encoding depends on these phases; the manuscript must demonstrate explicitly (e.g., via an updated circuit diagram or commutation relations) that the phases are tracked or absorbed without additional pulses or calibration overhead that would restore the O(L log L) scaling.
[Numerical simulations paragraph] Numerical simulations paragraph: The abstract asserts that simulations show reduced gate time and higher fidelity, yet supplies no information on the error model (e.g., motional heating, laser intensity fluctuations), the pulse-shape parametrization, or the baseline against which fidelity is compared. It is therefore unclear whether the simulations propagate the accumulated Z corrections through the full LCU circuit or merely count pulses in isolation; this detail is load-bearing for the fidelity claim.

minor comments (2)

The statement that the sign choice 'leaves the logical operation invariant up to a local Pauli-Z correction' should be accompanied by an explicit derivation (perhaps in an appendix) showing the commutation relations with the controlled-U_i operators.
Notation for the O(L log L) and O(L) counts should be clarified by specifying whether these refer to total RSB pulses, total laser pulses, or gate decompositions, and how ancilla qubits are counted.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and insightful comments on our manuscript. The points raised highlight important aspects of phase management in the LCU application and the need for greater transparency in the numerical simulations. We address each major comment below and will revise the manuscript to incorporate clarifications and additional details.

read point-by-point responses

Referee: [Abstract and LCU application section] Abstract and LCU application section: The reduction of the select-operator RSB-pulse cost to O(L) is obtained by choosing RSB signs to cancel pulses between successive controlled-U_i. However, each sign choice inserts a local Z on the target that must be commuted through the subsequent controlled-U_i. Because the U_i are distinct, these Z operators generate relative phases among the L terms of the linear combination. The correctness of the LCU block encoding depends on these phases; the manuscript must demonstrate explicitly (e.g., via an updated circuit diagram or commutation relations) that the phases are tracked or absorbed without additional pulses or calibration overhead that would restore the O(L log L) scaling.

Authors: We agree that explicit tracking of the Z corrections is essential for correctness. In the construction, each sign choice on an RSB pulse introduces a Z on the target qubit, but because the select operator applies the controlled-U_i conditionally on the ancilla register, these Z operators can be absorbed by redefining the phase of each U_i (i.e., replacing U_i with Z U_i Z or equivalent local adjustment on the target). This absorption is performed at the level of the unitary definition and does not require extra RSB pulses or calibration; the commutation relations show that the Z passes through the control without altering the pulse sequence length. We will add an explicit circuit diagram for the optimized select operator together with the relevant commutation identities in the revised LCU section to make this transparent. revision: yes
Referee: [Numerical simulations paragraph] Numerical simulations paragraph: The abstract asserts that simulations show reduced gate time and higher fidelity, yet supplies no information on the error model (e.g., motional heating, laser intensity fluctuations), the pulse-shape parametrization, or the baseline against which fidelity is compared. It is therefore unclear whether the simulations propagate the accumulated Z corrections through the full LCU circuit or merely count pulses in isolation; this detail is load-bearing for the fidelity claim.

Authors: The referee is correct that the current manuscript lacks sufficient detail on the simulation setup. The reported simulations model the multi-controlled gates and successive-gate pulse cancellation under a realistic trapped-ion error model that includes motional heating rates and laser intensity fluctuations; pulse shapes are parametrized as standard Gaussian or Blackman envelopes with the Cirac-Zoller RSB interaction Hamiltonian. Fidelity is compared against the baseline of the unoptimized Cirac-Zoller decomposition without sign freedom. However, the simulations are performed on the gate primitives and small-N controlled operations rather than propagating the full set of accumulated Z corrections through a complete LCU circuit with L terms. We will expand the numerical section with the missing parameters, error-model description, and baseline details, and we will add a clarifying statement on the scope of the simulations. If space permits, we can include a small-L LCU example that propagates the phases. revision: partial

Circularity Check

0 steps flagged

No circularity: efficiency claim follows directly from identified RSB sign freedom and explicit pulse-cancellation construction.

full rationale

The paper begins from the standard Cirac-Zoller multi-controlled gate, states an explicit sign-choice freedom on red-sideband pulses that leaves the logical action invariant up to a local Pauli-Z, and then constructs equivalent realizations that permit cancellations between successive gates. The O(L) RSB-pulse scaling for the LCU select operator is obtained by applying this cancellation rule across the L terms; the reduction is therefore a direct algebraic consequence of the stated invariance rather than a fit, a renaming, or a self-citation that presupposes the result. No equation or step in the abstract reduces the target quantity to itself by construction, and the numerical simulations are presented only as validation of the constructed circuits. The derivation chain is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard Cirac-Zoller trapped-ion interaction model and conventional quantum-gate decomposition assumptions; no new free parameters, axioms, or invented entities are introduced in the abstract.

axioms (1)

domain assumption The Cirac-Zoller scheme with red-sideband pulses implements the desired entangling operations under standard trapped-ion physics.
Invoked when the sign freedom is introduced and when pulse cancellation is claimed to preserve the logical gate.

pith-pipeline@v0.9.0 · 5518 in / 1350 out tokens · 59326 ms · 2026-05-08T17:43:38.856272+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

23 extracted references · 4 canonical work pages · 1 internal anchor

[1]

= 2L(⌈log2 L⌉+ 1) RSB pulses without exploiting the RSB gauge freedom, and the number of RSB 8 SEL . . . . . . . . . ... ... . . . . . . |g⊗N ⟩ PREP PREP† ... ... ... ... targ U0 U1 UL−1 Figure 7. Quantum circuit implementing the block encoding of Eq. (14) using the LCU method, where \PREP and dSEL are defined in Eqs. (15) and (16), respectively [3, 14]. ...

2023
[2]

The motional Hilbert space is truncated to a Fock cutoff ofn max = 10, and the motional mode is initialized in a thermal state with mean phonon number ¯n= 0.05

Simulation parameters The numerical simulations model the open-system dynamics of five ion qubits coupled to a single shared motional mode. The motional Hilbert space is truncated to a Fock cutoff ofn max = 10, and the motional mode is initialized in a thermal state with mean phonon number ¯n= 0.05. We solve the Lindblad master equation using QuTiP’s mcso...
[3]

The output states are grouped into|g xxxx⟩(first control qubit in|g⟩) and|e xxxx⟩(first control qubit in|e⟩), where eachx∈ {g, e}, separated by the dashed vertical line

State fidelity analysis Figure 12 shows the state fidelities for all 32 computational basis output states, comparing the standard and proposed circuits under the dissipation conditions described above. The output states are grouped into|g xxxx⟩(first control qubit in|g⟩) and|e xxxx⟩(first control qubit in|e⟩), where eachx∈ {g, e}, separated by the dashed ...
[4]

L. K. Grover, Quantum mechanics helps in searching for a needle in a haystack, Phys. Rev. Lett.79, 325 (1997)

1997
[5]

A. Y. Kitaev, Quantum measurements and the abelian stabilizer problem (1995), arXiv:quant-ph/9511026

work page internal anchor Pith review arXiv 1995
[6]

A. M. Childs and N. Wiebe, Hamiltonian simulation using linear combinations of unitary operations, Quantum Inf. Comput.12, 901 (2012)

2012
[7]

Barenco, C

A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. A. Smolin, and H. Weinfurter, Elementary gates for quantum computation, Phys. Rev. A52, 3457 (1995)

1995
[8]

M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information: 10th Anniversary Edition(Cambridge University Press, 2010)

2010
[9]

Preskill, Quantum computing in the NISQ era and beyond, Quantum2, 79 (2018)

J. Preskill, Quantum computing in the NISQ era and beyond, Quantum2, 79 (2018)

2018
[10]

J. I. Cirac and P. Zoller, Quantum computations with cold trapped ions, Phys. Rev. Lett.74, 4091 (1995)

1995
[11]

Leibfried, R

D. Leibfried, R. Blatt, C. Monroe, and D. Wineland, Quantum dynamics of single trapped ions, Rev. Mod. Phys.75, 281 (2003)

2003
[12]

C. Fang, Y. Wang, K. Sun, and J. Kim, Realization of scalable Cirac–Zoller multi-qubit gates (2023), arXiv:2301.07564

work page arXiv 2023
[13]

M. Kang, W. Chen, H. Kwon, K. Kim, and J. Huh, Doubling qubits in a trapped-ion system via vibrational dual-rail encoding (2025), arXiv:2505.12937

work page arXiv 2025
[14]

Bravyi and A

S. Bravyi and A. Kitaev, Universal quantum computation with ideal Clifford gates and noisy ancillas, Phys. Rev. A71, 022316 (2005)

2005
[15]

E. T. Campbell, B. M. Terhal, and C. Vuillot, Roads towards fault-tolerant universal quantum computa- tion, Nature549, 172 (2017)

2017
[16]

G. H. Low and I. L. Chuang, Optimal Hamiltonian simulation by quantum signal processing, Phys. Rev. Lett.118, 010501 (2017)

2017
[17]

C. F. Kane, S. Hariprakash, N. S. Modi, M. Kreshchuk, and C. W. Bauer, Block encoding bosons by signal processing, Quantum9, 1747 (2025)

2025
[18]

Gily´ en, Y

A. Gily´ en, Y. Su, G. H. Low, and N. Wiebe, Quantum singular value transformation and beyond: expo- nential improvements for quantum matrix arithmetics, inProceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019 (Association for Computing Machinery, New York, NY, USA, 2019) pp. 193–204

2019
[19]

Lambert, E

N. Lambert, E. Gigu` ere, P. Menczel, B. Li, P. Hopf, G. Su´ arez, M. Gali, J. Lishman, R. Gadhvi, R. Agarwal, A. Galicia, N. Shammah, P. Nation, J. R. Johansson, S. Ahmed, S. Cross, A. Pitchford, and F. Nori, QuTiP 5: The quantum toolbox in Python, Phys. Rep.1153, 1 (2026)

2026
[20]

G. H. Low and I. L. Chuang, Hamiltonian simulation by qubitization, Quantum3, 163 (2019)

2019
[21]

Explicit quantum circuits for block encodings of certain sparse matrices

D. Camps, L. Lin, R. Van Beeumen, and C. Yang, Explicit quantum circuits for block encodings of certain sparse matrices (2023), arXiv:2203.10236

work page arXiv 2023
[22]

Mølmer and A

K. Mølmer and A. Sørensen, Multiparticle entanglement of hot trapped ions, Phys. Rev. Lett.82, 1835 (1999)

1999
[23]

Sørensen and K

A. Sørensen and K. Mølmer, Quantum computation with ions in thermal motion, Phys. Rev. Lett.82, 1971 (1999)

1971