Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

Qudit encoding in Rydberg blockaded arrays of atoms

T0 review · 3 major / 6 minor · reviewed 2026-08-08 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A Rydberg-blockaded array of N three-level atoms can encode a fully controllable qudit of dimension 2N, with arbitrary state preparation and arbitrary unitaries achieved by global laser pulse sequences.

desk verdict A useful qudit-control protocol for Rydberg blockaded arrays, but the printed resonance condition for the folding rotations is a sign error that makes the central pulse sequence inconsistent as written. read the letter →

arxiv 2502.06465 v3 pith:ECX32ZZX submitted 2025-02-10 quant-ph

Achille Robert , Tom Bienaimé This is my paper · ORCID
classification quant-ph PACS 03.67.Lx32.80.Ee
keywords quditRydbergblockadedressedstatesJaynes-Cummingsmodelatomicarrayspulsesequencesstatesynthesisunitarygates
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proposes using a Rydberg-blockaded array of N identical three-level atoms as a single qudit whose Hilbert space is the 2N collective dressed states of the Jaynes–Cummings ladder. It shows that a second, weaker laser can implement any rotation among these dressed states, so any target state can be synthesized and any unitary can be approximated by concatenating generalized phase gates. The qudit dimension grows simply by adding atoms, and the whole protocol needs only global laser pulses, no site-selective addressing. Numerical simulations for N=7 confirm gate infidelities scaling as $N^{3}$ (Ω01/Ω1r)^2, and estimates including Rydberg decay place practical limits near a 400-level qudit for state preparation.

What carries the argument

The key object is the Jaynes–Cummings ladder of collective dressed states |±,q⟩ = (|e,q−1⟩ ± |g,q⟩)/√2, where q counts atoms in the intermediate state. The control-laser Hamiltonian projected onto this ladder produces couplings with prefactors K_N^q and Q_N^q that allow rotations in two-dimensional subspaces; pulse sequences built from these effective two-level rotations implement full control over the qudit Hilbert space and the generalized phase gate on |−,1⟩.

What would settle it

Measure the gate infidelity of the generalized Hadamard gate for N=8 atoms as a function of Ω01/Ω1r; the paper predicts ϵ ≈ $N^{3}$ (Ω01/Ω1r)^2, so a measured scaling significantly worse than this, or clear population leakage out of the symmetric single-excitation subspace seen in spectroscopic resolution of |±,q⟩, would settle against the central claim.

Watch

Extended reading notes

Core claim

The central discovery is that the collective Hilbert space of a hard-blockaded array—one Rydberg excitation shared among N atoms—is a realization of the Jaynes–Cummings model whose dressed states |±,q⟩ form a 2N-dimensional qudit. Because the dressed-state energies depend nonlinearly on q through ±(Ω1r/2)√q, the detuning and phase of the laser driving the intermediate-to-Rydberg transition act as knobs that set the level structure, while the laser driving the ground-to-intermediate transition couples adjacent rungs. The authors show these couplings can be used to fold any state to a reference state |−,1⟩, apply a phase gate there, and unfold back, giving arbitrary unitaries; numerical integration of the full (not just effective) Hamiltonian demonstrates the gates.

Load-bearing premise

The entire protocol assumes all N atoms are inside the blockade radius, are addressed identically by both lasers, and remain in the symmetric subspace with at most one Rydberg excitation throughout; if atom positions or atom number fluctuate, the dressed-state ladder and the pulse sequence no longer describe the system.

Editorial extensions

If this is right

  • The qudit dimension is set by atom number, so scaling the qudit becomes an experimental loading problem rather than a redesign of the control architecture.
  • Any target unitary can be built from O(N^2) pulses via eigen-decomposition into generalized phase gates, and the pulse sequence can be computed ab initio.
  • Generalized phase gates on a 14-level qudit reach infidelity about 9×10^-5 at Ω01/Ω1r = 10^-3; infidelity scales as N^2 for phase gates and N^3 for arbitrary gates.
  • Rydberg-state decay bounds the useful size: the paper estimates up to a 16-level qudit for a generalized Hadamard gate, 28-level for phase gates, and 400-level for state preparation under cited experimental parameters.
  • Because only global addressing is required, the protocol avoids site-selective single-atom addressing.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Beyond the paper's estimates, the N^3 pulse count means that control-field amplitude and phase noise, which are not modeled here, may set the practical fidelity floor for large N before Rydberg decay does.
  • Because the encoding relies on exact collective symmetry, any atom loss or position disorder during a sequence changes the effective qudit dimension and invalidates the pulse sequence; the paper assumes defect-free arrays but does not analyze robustness to loss.
  • The same dressed-state ladder could be repurposed for bosonic-like error-correcting codes; the paper's outlook mentions permutation-invariant codes, so a natural next step would be to test deletion-error correction on this qudit platform.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. The manuscript proposes a protocol for universal qudit control using the collective dressed states of a Rydberg-blockaded array of N three-level atoms, which are isomorphic to the Jaynes-Cummings ladder. The protocol uses global laser pulses to prepare arbitrary states and implement arbitrary unitaries on the 2N-dimensional qudit Hilbert space, with numerical demonstrations for N=7 (14-level qudit) and scaling estimates for gate infidelities and Rydberg-state decay.

Significance. If correct, the protocol would offer a scalable qudit platform with global addressing, avoiding the need for site-selective control, and it builds naturally on established Jaynes-Cummings physics in Rydberg ensembles. The paper provides a clear mapping, explicit pulse constructions based on a known unitary decomposition, numerical simulations for small N, and quantitative estimates of errors and decay. These are genuine strengths. However, the central resonance condition in Sec. III.b is incorrect as written, which currently undermines the main construction. With the necessary corrections and reproducible numerical details, the work could be a useful contribution to Rydberg-based qudit quantum processing.

major comments (3)
  1. [Sec. III.b] The resonance condition for the fold operation is stated as Δ01 = ±(Ω1r/2)(√(q+1)−√q). This is incorrect. Using Eq. (1) and the detuning term −Δ01 Σ_j(|1_j⟩⟨1_j|+|r_j⟩⟨r_j|) of H_c, the energy difference between |+,q+1⟩ and |−,q⟩ is Ω1r(√(q+1)+√q)/2 − Δ01, so the resonance condition for this pair is Δ01 = +Ω1r(√(q+1)+√q)/2; for the opposite-symmetry pair it is Δ01 = −Ω1r(√(q+1)+√q)/2. With the printed minus sign, the selected states are off-resonant by Ω1r√q or Ω1r√(q+1), so the effective Hamiltonian H_eff written below Eq. (2) does not describe the actual dynamics, and the intended fold rotation is not realized. This invalidates the central construction of Sec. III.b unless corrected; the numerical simulations of Sec. V must be checked against the corrected condition.
  2. [Secs. V and VI] The manuscript does not provide the numerical parameters used in the simulations (e.g., the Rabi frequencies, detunings, and pulse durations for the examples in Figs. 3 and 4), nor the code or an explicit algorithm to generate the pulse sequences. Since the pulse sequence depends on the target state through computed rotation angles, this lack of detail prevents reproduction of the reported gate fidelities. In particular, with the resonance condition error of Comment 1, it is impossible to verify that the simulations correspond to the printed protocol.
  3. [Sec. VII] The large-N feasibility estimates, e.g., 400-level state preparation with N=200 atoms, do not check the geometric constraints N^(1/d) a < R_b and a > λ simultaneously. For a two-dimensional array with a > λ ≈ 1 μm, N=200 requires a side length exceeding 14 μm, and hence a blockade radius R_b > 14 μm; the authors should verify that this is compatible with the chosen Ω1r and the atomic C6 coefficient, or else the scalability claim is not supported.
minor comments (6)
  1. [Abstract] The word 'Rydbgerg' in the abstract should be 'Rydberg'.
  2. [Fig. 2 caption] The caption refers to panel '(d)' but the figure contains only panels (a)–(c); the reference should likely be to (c).
  3. [Sec. V.a] The text states the initial state is |ψ_in⟩ = |ψ_target⟩, while the caption of Fig. 2 uses |ψ_in⟩ = e^{−iπ/4}|ψ_target⟩; clarify this inconsistency.
  4. [Sec. III.b] The expression for |ψ_after⟩ after the fold rotation contains a normalization factor that appears to be a typo; it should be written as sqrt(|a_{∓,q}|^2 + |a_{±,q+1}|^2) times |∓,q⟩, not the printed form.
  5. [Sec. VI] The infidelity metric ϵ = 1 − (1/(2N)^2)|Tr(U_target† U)|^2 is the process infidelity, but the text does not define it as such; define it clearly and consider relating it to the average gate fidelity.
  6. [Sec. III.b] The two-pulse echo eR that cancels phase accumulation deserves a more explicit justification; the cancellation relies on the spectra at ϕ1r=0 and ϕ1r=π being opposite, which is true but not stated.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the protocol is self-contained, with only a peripheral non-load-bearing self-citation.

full rationale

The paper's derivation chain is not circular. The arbitrary-unitary protocol is a constructive decomposition: any unitary is written as a product of phase gates on its eigenvectors (after Ref. [24]), each generalized phase gate is built from a state-mapping unitary and a z-rotation in the {|-,1>, |g,0>} subspace, and all pulse angles, detunings, and durations are computed from the Jaynes-Cummings Hamiltonian parameters rather than fitted to data. The reported infidelities are obtained by numerically integrating the exact Hamiltonian and comparing with the target unitary, so the predicted N^3 scaling is not a fitted parameter relabeled as a prediction. The dressed-state mapping to the Jaynes-Cummings model rests on external references [18,19], including an experimental demonstration, and no uniqueness theorem from the present authors is invoked. The only self-citation, Ref. [15] (T. Bienaimé as coauthor), appears in the introduction as motivational background for cat-state qubits and plays no role in the gate construction or fidelity estimates. The algebraic concern about the Sec. III.b detuning condition is a correctness or reproducibility issue, not circularity, and therefore does not affect the circularity score.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No new particles, forces, or dimensions are introduced; the dressed states are collective states of the known Jaynes-Cummings mapping for Rydberg blockaded atoms [18,19].

assumptions (5)
  • domain assumption Hard blockade: all N atoms inside Rydberg blockade radius, at most one Rydberg excitation.
    Sec. II, Eq. (1) and Fig. 1(a); maps the N-atom system onto the Jaynes-Cummings model with collective symmetric states.
  • domain assumption Symmetric collective states and identical global coupling.
    Sec. II; dressed states |g,q> and |e,q> are fully symmetric, requiring regular atom positions and global lasers; position disorder breaks the JC isomorphism.
  • domain assumption Effective two-level subspace isolation for each pulse.
    Sec. III; the protocol replaces the full Hamiltonian by an effective two-level Hamiltonian, neglecting off-resonant couplings; validity requires Omega_01/Omega_1r << 1.
  • standard math Rotating-wave approximation and neglect of decay during gate design.
    Sec. II Hamiltonians are RWA forms; spontaneous emission is only added in Sec. VII as an a posteriori fidelity estimate.
  • standard math Muthukrishnan-Stroud decomposition: any unitary on a d-dimensional space can be written as a product of generalized phase gates on its eigenstates.
    Sec. III a; used to construct arbitrary unitaries from phase gates.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Qudit encoding in Rydberg blockaded arrays of atoms." pith.science (2026). https://pith.science/paper/ECX32ZZX

@misc{pith2026250206465,
  author       = {Pith},
  title        = {Pith review of: Qudit encoding in Rydberg blockaded arrays of atoms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ECX32ZZX}},
  note         = {Machine review of arXiv:2502.06465}
}
read the original abstract

We propose a protocol to realize arbitrary state synthesis and unitary operations on a qudit encoded in the collective dressed states of a Rydberg-blockaded array of three-level atoms. This system is isomorphic to the Jaynes-Cummings model and acts as a multilevel Rydberg superatom whose nonlinear spectrum can be precisely controlled through the parameters of the laser driving the intermediate-to-Rydberg transition. Control of the qudit state is possible through pulse sequences of the laser driving the ground-to-intermediate transition. The dimension of the qudit Hilbert space is scalable by adjusting the number of atoms involved in the Rydberg-blockaded array. We estimate the fidelity of our protocol for realizing arbitrary unitaries and discuss the influence of the finite lifetime of the Rydberg state. Our work paves the way for processing quantum information with Rydberg blockaded arrays of atoms as an alternative to atom qubit arrays.

Figures

Figures reproduced from arXiv: 2502.06465 by the authors.

Figure 1
Figure 1. FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. FIG. 3 [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p006_4.png]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Gapless fracton quantum spin liquid and emergent photons in a 2D spin-1 model

    cond-mat.str-el 2025-08 conditional novelty 8.0 of 10

    The spin-1 spiderweb model realizes a gapless rank-2 U(1) fracton quantum spin liquid with emergent photons, as shown by Green function Monte Carlo pinch-point signatures and a matching effective field theory.

Reference graph

Works this paper leans on

34 extracted references · 23 canonical work pages · cited by 1 Pith paper

  1. [1]

    Y. Wang, Z. Hu, B. C. Sanders, and S. Kais, Qudits and high-dimensional quantum computing, Frontiers in Physics 8, 589504 (2020)

    work page 2020

  2. [2]

    Erhard, M

    M. Erhard, M. Krenn, and A. Zeilinger, Advances in high-dimensional quantum entanglement, Nature Re- views Physics 2, 365 (2020)

    work page 2020

  3. [3]

    Y. Chi, J. Huang, Z. Zhang, J. Mao, Z. Zhou, X. Chen, C. Zhai, J. Bao, T. Dai, H. Yuan, et al., A programmable qudit-based quantum processor, Nature communications 13, 1166 (2022)

    work page 2022

  4. [4]

    Ringbauer, M

    M. Ringbauer, M. Meth, L. Postler, R. Stricker, R. Blatt, P. Schindler, and T. Monz, A universal qudit quantum processor with trapped ions, Nature Physics 18, 1053 (2022)

    2022

  5. [5]

    P. Hrmo, B. Wilhelm, L. Gerster, M. W. van Mourik, M. Huber, R. Blatt, P. Schindler, T. Monz, and M. Ring- bauer, Native qudit entanglement in a trapped ion quan- tum processor, Nature Communications 14, 2242 (2023)

    2023

  6. [6]

    Moreno-Pineda, C

    E. Moreno-Pineda, C. Godfrin, F. Balestro, W. Werns- dorfer, and M. Ruben, Molecular spin qudits for quantum 8 algorithms, Chemical Society Reviews 47, 501 (2018)

    work page 2018

  7. [7]

    Cervera-Lierta, M

    A. Cervera-Lierta, M. Krenn, A. Aspuru-Guzik, and A. Galda, Experimental high-dimensional greenberger- horne-zeilinger entanglement with superconducting transmon qutrits, Phys. Rev. Appl. 17, 024062 (2022)

    work page 2022

  8. [8]

    Fern´ andez de Fuentes, T

    I. Fern´ andez de Fuentes, T. Botzem, M. A. Johnson, A. Vaartjes, S. Asaad, V. Mourik, F. E. Hudson, K. M. Itoh, B. C. Johnson, A. M. Jakob, et al. , Navigating the 16-dimensional hilbert space of a high-spin donor qudit with electric and magnetic fields, Nature Communica- tions 15, 1380 (2024)

    work page 2024

Show all 34 references
  1. [9]

    Chaudhury, S

    S. Chaudhury, S. Merkel, T. Herr, A. Silberfarb, I. H. Deutsch, and P. S. Jessen, Quantum control of the hy- perfine spin of a cs atom ensemble, Phys. Rev. Lett. 99, 163002 (2007)

    2007

  2. [10]

    Sawant, J

    R. Sawant, J. A. Blackmore, P. D. Gregory, J. Mur-Petit, D. Jaksch, J. Aldegunde, J. M. Hutson, M. R. Tarbutt, and S. L. Cornish, Ultracold polar molecules as qudits, New Journal of Physics 22, 013027 (2020)

    2020

  3. [11]

    Henriet, L

    L. Henriet, L. Beguin, A. Signoles, T. Lahaye, A. Browaeys, G.-O. Reymond, and C. Jurczak, Quantum computing with neutral atoms, Quantum 4, 327 (2020)

    2020

  4. [12]

    Morgado and S

    M. Morgado and S. Whitlock, Quantum simulation and computing with rydberg-interacting qubits, A VS Quan- tum Science 3 (2021)

    2021

  5. [13]

    Y. Mei, Y. Li, H. Nguyen, P. R. Berman, and A. Kuzmich, Trapped alkali-metal rydberg qubit, Phys. Rev. Lett. 128, 123601 (2022)

    2022

  6. [14]

    W. Xu, A. V. Venkatramani, S. H. Cant´ u, T. ˇSumarac, V. Kl¨ usener, M. D. Lukin, and V. Vuleti´ c, Fast prepara- tion and detection of a rydberg qubit using atomic en- sembles, Phys. Rev. Lett. 127, 050501 (2021)

    2021

  7. [15]

    S. Zhao, M. Krauss, T. Bienaim´ e, S. Whitlock, C. Koch, S. Qvarfort, and A. Metelmann, Fast and robust cat state preparation utilizing higher order nonlinearities, arXiv preprint arXiv:2312.05218 (2023)

    2023 arXiv

  8. [16]

    Jaynes and F

    E. Jaynes and F. Cummings, Comparison of quantum and semiclassical radiation theories with application to the beam maser, Proceedings of the IEEE 51, 89 (1963)

    1963

  9. [17]

    A. D. Greentree, J. Koch, and J. Larson, Fifty years of jaynes–cummings physics, Journal of Physics B: Atomic, Molecular and Optical Physics 46, 220201 (2013)

    2013

  10. [18]

    Keating, C

    T. Keating, C. H. Baldwin, Y.-Y. Jau, J. Lee, G. W. Bie- dermann, and I. H. Deutsch, Arbitrary dicke-state control of symmetric rydberg ensembles, Phys. Rev. Lett. 117, 213601 (2016)

    2016

  11. [19]

    J. Lee, M. J. Martin, Y.-Y. Jau, T. Keating, I. H. Deutsch, and G. W. Biedermann, Demonstration of the jaynes-cummings ladder with rydberg-dressed atoms, Phys. Rev. A 95, 041801 (2017)

    2017

  12. [20]

    Mischuck and K

    B. Mischuck and K. Mølmer, Qudit quantum computa- tion in the jaynes-cummings model, Phys. Rev. A 87, 022341 (2013)

    2013

  13. [21]

    C. J. Villas-Boas and D. Z. Rossatto, Multiphoton jaynes-cummings model: Arbitrary rotations in fock space and quantum filters, Phys. Rev. Lett. 122, 123604 (2019)

    2019

  14. [22]

    Endres, H

    M. Endres, H. Bernien, A. Keesling, H. Levine, E. R. Anschuetz, A. Krajenbrink, C. Senko, V. Vuletic, M. Greiner, and M. D. Lukin, Atom-by-atom assembly of defect-free one-dimensional cold atom arrays, Science 354, 1024 (2016)

    2016

  15. [23]

    Barredo, S

    D. Barredo, S. de L´ es´ eleuc, V. Lienhard, T. Lahaye, and A. Browaeys, An atom-by-atom assembler of defect-free arbitrary two-dimensional atomic arrays, Science 354, 1021 (2016)

    2016

  16. [24]

    Muthukrishnan and C

    A. Muthukrishnan and C. R. Stroud, Multivalued logic gates for quantum computation, Phys. Rev. A62, 052309 (2000)

    2000

  17. [25]

    4 (c) the regions where the relaxation probability Prelax is smaller that the gate infidelity ϵ

    and the typical value of Γ−1 r = 100 µs, we plot in Fig. 4 (c) the regions where the relaxation probability Prelax is smaller that the gate infidelity ϵ. From this plot, we conclude that it should be possible to realize a general- ized Hadamard gate (or any complex gate) with ...

  18. [26]

    I. I. Beterov, I. I. Ryabtsev, D. B. Tretyakov, and V. M. Entin, Quasiclassical calculations of blackbody- radiation-induced depopulation rates and effective life- times of rydberg ns, np, and nd alkali-metal atoms with n ≤ 80, Phys. Rev. A 79, 052504 (2009)

    2009

  19. [27]

    S. J. Evered, D. Bluvstein, M. Kalinowski, S. Ebadi, T. Manovitz, H. Zhou, S. H. Li, A. A. Geim, T. T. Wang, N. Maskara, et al., High-fidelity parallel entangling gates on a neutral-atom quantum computer, Nature 622, 268 (2023)

    2023

  20. [28]

    Omanakuttan, A

    S. Omanakuttan, A. Mitra, E. J. Meier, M. J. Martin, and I. H. Deutsch, Qudit entanglers using quantum op- timal control, PRX Quantum 4, 040333 (2023)

    2023

  21. [29]

    could significantly boost the speed of the whole pro- cedure and enable a more flexible manipulation of larger qudits. Finally, we also envision to exploit the qudit Hilbert space for quantum computing permutation in- variant codes where the two logical qubits, which are lin- ...

    2021

  22. [30]

    Gonz´ alez-Cuadra, T

    D. Gonz´ alez-Cuadra, T. V. Zache, J. Carrasco, B. Kraus, and P. Zoller, Hardware efficient quantum simulation of non-abelian gauge theories with qudits on rydberg plat- forms, Phys. Rev. Lett. 129, 160501 (2022)

    2022

  23. [31]

    D. P. O’Leary, G. K. Brennen, and S. S. Bullock, Paral- lelism for quantum computation with qudits, Phys. Rev. A 74, 032334 (2006)

    2006

  24. [32]

    Aydin, M

    A. Aydin, M. A. Alekseyev, and A. Barg, A family of permutationally invariant quantum codes, arXiv preprint arXiv:2310.05358 (2023)

    2023 arXiv

  25. [33]

    Kubischta and I

    E. Kubischta and I. Teixeira, The not-so-secret fourth parameter of quantum codes, arXiv preprint arXiv:2310.17652 (2023)

    2023 arXiv

  26. [34]

    Ouyang and G

    Y. Ouyang and G. K. Brennen, Quantum error cor- rection on symmetric quantum sensors, arXiv preprint arXiv:2212.06285 (2022)

    2022 arXiv

Pith tools

Reviewed August 8, 2026 · model on record in the stance chip above.