
2
less well-understood and has been the subject of much
recent theoretical [37–40] and experimental [41] work.
Ordered atomic arrays have been shown to exhibit emer-
gent behaviors arising from cooperative interactions, such
as acting as near-perfect mirrors [42–44], emitting light
in fixed, geometrically determined directions [39], and—
most importantly for this work—storing light with sig-
nificantly increased fidelity [45]. Rydberg arrays combine
these collective phenomena with strong optical nonlinear-
ities, making for a powerful platform for the realization
of photonic many-body physics [46] and, as we study in
this work, QND photon counting.
Our protocol consists of three stages: (I) storing a
photonic pulse in the array, (II) measuring the num-
ber of photons ncontained therein, and (III) retrieving
the stored pulse. The photon number is progressively
pinned down through a series of observation cycles, each
of which consists of a partial Rabi flop to a Rydberg spin
wave state followed by a direct measurement of the pres-
ence of a Rydberg excitation. The frequency of the Rabi
flop is enhanced by a factor of √nfrom the single-atom
Rabi frequency, making it possible to discern arbitrary n.
The outcome of the Rydberg measurement along with the
known evolution time thus serves as a weak measurement
of photon number n.
Our main result is that, in the absence of dephasing
noise during the observation stage, we can perform QND
detection of nphotons with fidelity limited only by stor-
age and retrieval error in time tγ=0 ∼√n/Ω, where Ω is
the single atom Rabi frequency and γis the dephasing
rate. In the presence of dephasing noise, our detection
is no longer completely non-demolition and takes time
tγ>0∼γn/Ω2. We discuss later precisely how destruc-
tive the protocol is in the presence of noise.
The physical system.—We consider an ordered two-
dimensional array of atoms with subwavelength spacing,
where each atom has the level structure shown in Fig. 1.
Lowercase letters label single-atom states, while upper-
case letters label collective states of the many-body sys-
tem. In particular, |giis a ground state, |eiis an excited
state, |siis a metastable shelving state, and |riand |r0i
are Rydberg states. In a later section, we will propose
particular levels in Yb to realize these states.
|Giis the many-body ground state in which all atoms
are in the state |gi.|Sniis the symmetrized collec-
tive state with nexcitations of individual atoms to |si:
|Sni=1
√NCnPN
ij=1 ˆσ(i1)
sg ··· ˆσ(in)
sg |Gi, where ˆσij := |iihj|.
Similarly, |Rniis the symmetrized spin wave state with
n−1 atoms excited to |siand one atom excited to the
Rydberg state |ri:|Rni=1
√nPN
i=1 ˆσ(i)
rs |Sni. We assume
that the entire array is within a blockade radius, so that
further excitations to |riare forbidden by the blockade.
The protocol.—In Stage I, an initial photonic state cou-
ples to the |gi − |eitransition and is stored in the array
using an auxiliary classical control field acting on the
|si−|eitransition [45]. The initial photonic state is sent
through a beamsplitter so that it is normally incident
upon the array symmetrically from both sides, as is nec-
essary for optimal storage efficiency [45]. We denote the
photonic state as a superposition of number states |ni,
|ψphi=PN
i=1 cn|ni.Nis the number of atoms in the
array and therefore the upper bound on the number of
excitations which can be stored in the array. Photon
storage is performed on the |gi−|ei−|siΛ-subsystem
as described in [45]. Storage maps the state of the ar-
ray from |Gito Pncn|Sni, where the amplitudes cnare
inherited from |ψphi. Each photon is therefore stored as
an excitation from |gito |si.
Stage II consists of two operations on the collective
state: (1) Rabi flops between the states |siand |riand
(2) projective measurement of the presence of a Ryd-
berg excitation (see Fig. 2). To drive the collective os-
cillation, we couple |siito the Rydberg state |riivia
the rotating frame Hamiltonian ˆ
H= Ω PN
i=1 ˆσ(i)
rs + h.c.,
where Ω is the Rabi frequency of the transition and the
sum is over all atoms in the array. This induces a cou-
pling between the collective states |Sniand |Rniwhich
depends explicitly on the number of stored photons n:
hSn|ˆ
H|Rni=√nΩ =: Ωn. The objective of this stage is
to indirectly and progressively measure the photon num-
ber nby directly and repeatedly measuring the pres-
ence of a Rydberg excitation after evolution under ˆ
H
for some known time. Each observation cycle consists
of a driven oscillation for time τiand a projective mea-
surement of the collective state yielding the measure-
ment outcome mi∈ {Rydberg,No Rydberg}, building
over time a measurement record through cycle Tdenoted
MT={(τi, mi)}i=1,...,T . In Appendix C, we discuss how
to choose times {τi}to expedite convergence.
Our measurements project the array into the subspace
with or without a Rydberg excitation in |ri, conditioned
on the outcome of the measurement. We are able to ef-
ficiently perform such a measurement by tuning to EIT
and applying a weak classical probe light. EIT is ap-
plied to the |gi − |ei − |r0isubsystem, with the |si − |ri
subsystem acting as a ‘switch’. Thus in the absence of
a Rydberg excitation, the EIT condition is satisfied and
the array is transmissive, but in the presence of a Ryd-
berg excitation the EIT condition is disrupted and the
array is once again near-perfectly reflective [39]. This
measurement takes finite time which is limited by the
width of the EIT transparency window. We note that
a similar mechanism was used in [47,48] for performing
photon subtraction with atomic clouds.
Stage III consists of retrieval of the stored photons.
Assuming that the measured photon number was n, the
array must be in the state |Snito retrieve the photons. If
the preceding measurement instead projected the state to
|Rni, we can simply drive for time τ=π/2Ωnand arrive
at |Sni, so long as the measurement has converged to