Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results
The analytic specifications of photonic lattices with fractional revival (FR) and perfect state transfer (PST) are reviewed. The approach to their design which is based on orthogonal polynomials is highlighted. A compendium of analytic models with PST is offered. New results on their FR properties a...
Gespeichert in:
| Veröffentlicht in: | Symmetry, Integrability and Geometry: Methods and Applications |
|---|---|
| Datum: | 2017 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
Інститут математики НАН України
2017
|
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/148758 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results / E.-O. Bossé, L. Vinet // Symmetry, Integrability and Geometry: Methods and Applications. — 2017. — Т. 13. — Бібліогр.: 52 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-148758 |
|---|---|
| record_format |
dspace |
| spelling |
Bossé, E.-O. Vinet, L. 2019-02-18T18:41:50Z 2019-02-18T18:41:50Z 2017 Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results / E.-O. Bossé, L. Vinet // Symmetry, Integrability and Geometry: Methods and Applications. — 2017. — Т. 13. — Бібліогр.: 52 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 33C45; 81P45; 81V80 DOI:10.3842/SIGMA.2017.074 https://nasplib.isofts.kiev.ua/handle/123456789/148758 The analytic specifications of photonic lattices with fractional revival (FR) and perfect state transfer (PST) are reviewed. The approach to their design which is based on orthogonal polynomials is highlighted. A compendium of analytic models with PST is offered. New results on their FR properties are included. The nearest-neighbour approximation is adopted in most of the review; one analytic example with next-to-nearest neighbour interactions is also presented. This paper is a contribution to the Special Issue on Symmetries and Integrability of Dif ference Equations. The full collection is available at http://www.emis.de/journals/SIGMA/SIDE12.html. This survey is based in part on a talk given by one of us (L.V.) at SIDE12. We are grateful to the Guest Editors of the Special Issue in Symmetries and Integrability of Dif ference Equations for their invitation to write a topical review. The authors wish to thank Jean-Michel Lemay for his input on the para-Racah model as well as M. Christandl, V.X. Genest, H. Miki, S. Tsujimoto and A. Zhedanov for their collaboration on many of the advances presented here. E.-O.B. gratefully ´ acknowledges a scolarship from the Physics Department of Universit´e de Montr´eal. The research of L.V. is supported in part by a grant from NSERC (Canada). We wish to acknowledge the elaborate and constructive reports of the referees that have helped improve the paper. en Інститут математики НАН України Symmetry, Integrability and Geometry: Methods and Applications Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results |
| spellingShingle |
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results Bossé, E.-O. Vinet, L. |
| title_short |
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results |
| title_full |
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results |
| title_fullStr |
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results |
| title_full_unstemmed |
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results |
| title_sort |
coherent transport in photonic lattices: a survey of recent analytic results |
| author |
Bossé, E.-O. Vinet, L. |
| author_facet |
Bossé, E.-O. Vinet, L. |
| publishDate |
2017 |
| language |
English |
| container_title |
Symmetry, Integrability and Geometry: Methods and Applications |
| publisher |
Інститут математики НАН України |
| format |
Article |
| description |
The analytic specifications of photonic lattices with fractional revival (FR) and perfect state transfer (PST) are reviewed. The approach to their design which is based on orthogonal polynomials is highlighted. A compendium of analytic models with PST is offered. New results on their FR properties are included. The nearest-neighbour approximation is adopted in most of the review; one analytic example with next-to-nearest neighbour interactions is also presented.
|
| issn |
1815-0659 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/148758 |
| citation_txt |
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results / E.-O. Bossé, L. Vinet // Symmetry, Integrability and Geometry: Methods and Applications. — 2017. — Т. 13. — Бібліогр.: 52 назв. — англ. |
| work_keys_str_mv |
AT bosseeo coherenttransportinphotoniclatticesasurveyofrecentanalyticresults AT vinetl coherenttransportinphotoniclatticesasurveyofrecentanalyticresults |
| first_indexed |
2025-11-26T10:10:54Z |
| last_indexed |
2025-11-26T10:10:54Z |
| _version_ |
1850618541618757632 |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 13 (2017), 074, 19 pages
Coherent Transport in Photonic Lattices:
A Survey of Recent Analytic Results
Éric-Olivier BOSSÉ and Luc VINET
Centre de Recherches Mathématiques, Université de Montréal,
C.P. 6128, Succ. Centre-ville, Montréal, QC, Canada, H3C 3J7
E-mail: eric-olivier.bosse@umontreal.ca, luc.vinet@umontreal.ca
Received May 13, 2017, in final form September 09, 2017; Published online September 14, 2017
https://doi.org/10.3842/SIGMA.2017.074
Abstract. The analytic specifications of photonic lattices with fractional revival (FR) and
perfect state transfer (PST) are reviewed. The approach to their design which is based
on orthogonal polynomials is highlighted. A compendium of analytic models with PST is
offered. New results on their FR properties are included. The nearest-neighbour approxima-
tion is adopted in most of the review; one analytic example with next-to-nearest neighbour
interactions is also presented.
Key words: perfect state transfer; fractional revival; quantum information
2010 Mathematics Subject Classification: 33C45; 81P45; 81V80
1 Introduction
This paper reviews recent analytic results on the perfect transfer and fractional revival of states
or excitations in photonic lattices using a general method that also applies to spin chains, tight-
binding Hamiltonians, etc. Controlling the evolution of quantum states in devices is of high
relevance in areas such as quantum information. With an eye to offering a clean basis for
experimental testing, it is also quite practical to look for exact analytical descriptions of such
systems. Another objective is to minimize the need for external controls to achieve given tasks,
in this respect a key idea is to construct devices whose dynamics will yield on its own the desired
effect leaving only the input/output operations as external interactions.
A basic task is the transportation of quantum states from one location to another. Ideally
one wishes to have perfect state transfer (PST) whereby a quantum state at an initial position is
found with probability 1 at the final destination. While there has been seminal work on optical
Bloch oscillations in waveguide arrays, see for instance [13, 25, 40], this review focuses on coher-
ent transport in spin-inspired photonic lattices. Since it has been suggested that spin chains [4]
with properly modulated couplings [1, 10] could move a qubit from end-to-end with probability 1
in a given time, there has been enormous interest in this question and indeed various analytic
models have been found [6, 26, 34, 46, 47, 49, 50, 51]. See [5, 29, 38] for reviews. Remarkably
experimental verifications have been offered [3, 7, 39] for the simplest (Krawtchouk) model with
PST by using arrays of evanescently coupled waveguides [12, 33, 36]. These can be pictured as
a set of optical fibers stacked side by side in a plane. The point is that in the nearest-neighbour
approximation, the equations of coupled mode theory describing the propagation of a single
photon in waveguide arrays are mathematically identical to those governing the one-excitation
dynamics of a certain spin chain with non-uniform couplings. Each qubit is represented by a sin-
gle waveguide and the presence or absence of a photon in a waveguide corresponds to the |1〉
This paper is a contribution to the Special Issue on Symmetries and Integrability of Difference Equations.
The full collection is available at http://www.emis.de/journals/SIGMA/SIDE12.html
mailto:eric-olivier.bosse@umontreal.ca
mailto:luc.vinet@umontreal.ca
https://doi.org/10.3842/SIGMA.2017.074
http://www.emis.de/journals/SIGMA/SIDE12.html
2 É.-O. Bossé and L. Vinet
or |0〉 state of the qubit at the corresponding site. The evolution time t of the spin chain is
identified with the propagation distance z along the waveguides. Therefore PST is tantamount
to finding in the last waveguide after a distance ZPST, the photon initially inserted (at z = 0) in
the first fiber of the array1. The required couplings between the waveguides are engineered by
adjusting the distances so that they match the theoretical values. The analysis that underscores
the design of the spin chains/photonic lattices with PST shows that the couplings and local
magnetic fields/propagation constants correspond to the recurrence coefficients of orthogonal
polynomials that are naturally associated to these systems. The analytic models in fact cor-
respond to orthogonal polynomials that have been fully characterized [32] and they are thus
referred to by the name of the polynomials that are attached to them. We have already hinted
at that above when we mentioned the Krawtchouk model.
It has more recently been observed that spin chains and waveguide arrays can also exhibit
another phenomenon called fractional revival (FR) which is of significant interest as it relates to
entanglement generation. Fractional revival [15, 29] occurs when an initial wavepacket evolves
so as to reproduce itself periodically at certain locations [2, 8, 16, 20, 31, 43]. We shall here
be interested in FR at two sites along a spin chain whereby a spin up initially at one end
will evolve so as to have, after some FR time, a non-zero probability amplitude only at both
ends of the chain. In the photonic picture, this means that the electromagnetic field amplitude
is non-zero only in the first and last waveguide. Using the qubit correspondence, this means
that after propagating a distance ZFR the state |10 . . . 0〉 has evolved into the entangled state
α|10 . . . 0〉+ β|0 . . . 01〉.
Interestingly the exploration of the conditions for this FR at two sites has led to the discovery
of a new family of orthogonal polynomials [51], named the para-Krawtchouk polynomials, that
have been completely characterized and this has hence provided a model which is the paradigm
example of a device with FR at the two ends [21]. The FR properties of other analytic models
known to have PST have recently been examined; these results will be succinctly reported here.
It would of course be quite interesting to realize FR experimentally in photonic lattices in a way
similar to what was done for PST.
When using photonic lattices, the restriction to nearest-neighbour (NN) couplings is clearly
an approximation. As a mean to explore the validity of this simplification and to determine if
new phenomenology can arise when the approximation is improved [28, 48], an analytic model
with next-to-nearest couplings and based on the simplest Krawtchouk model has been con-
structed [11]. It will be discussed towards the end.
In a nutshell the goal of this short review article is: 1) to summarize how orthogonal poly-
nomials intervene in the characterization of photonic lattices with FR and PST; 2) to go over
a selection of recent results in this respect and 3) to offer a compact catalog of analytic models
with these properties.
The outline of the paper is as follows. The connection between photon propagation in wave-
guide arrays and orthogonal polynomials is set up in Section 2. The special conditions for
FR and PST in these ensembles of waveguides when the NN approximation is made are given
in Section 3. How the specifications of the lattices are determined from these conditions using
orthogonal polynomials is briefly indicated in Section 4. Section 5 which is the bulk of the paper
goes over a number of analytic models and discusses their FR and PST properties. Some material
in this section is original. Section 6 describes one analytic model with next-to-nearest neighbour
couplings and comments on extensions and generalizations. A short conclusion completes the
paper.
1Strictly speaking in the photonic lattice realizations, one is producing an excitation transfer. In a spin chain,
a state, i.e., an arbitrary combination of spin up and down will be transported. This is modeled in [7] in an
optical settings by encoding a state in polarizations.
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results 3
2 Transport in waveguide arrays and orthogonal polynomials
Spin chains and photonic lattices are usefully analyzed with the help of orthogonal polynomials
(see for instance [17, 29, 41, 44, 50]). Let us consider an array of (N + 1) evanescently coupled
optical waveguides. Denote by z the propagation distance and by En the modal field amplitude
in the nth waveguide. In the nearest-neighbour approximation of coupled mode theory [24, 45],
the propagation is governed by
i
d
dz
En(z) = Jn+1En+1(z) +BnEn(z) + JnEn−1(z),
n = 0, 1, . . . , N, J0 = JN+1 = 0, (2.1)
Bn is the propagation constant in the nth waveguide and Jn+1, a positive real number, is the
evanescent coupling strength between the waveguides n and n+1. This Jn+1 is (approximately)
given by
Jn+1 = Ae−Cdn,n+1 , (2.2)
where dn,n+1 is the distance between the nth and (n+ 1)th waveguides and A, C are measurable
quantities that specify the array. Upon introducing the natural basis of CN+1 made out of the
vectors
|n〉 = (0, . . . , 0, 1, 0, . . . , 0)T , n = 0, . . . , N
with 1 in the nth position and positing
|E〉 =
N∑
n=0
En(z)|n〉,
one can rewrite (2.1) in the form
i
d
dz
|E〉 = J |E〉,
where J is the operator defined by
J |n〉 = Jn+1|n+ 1〉+Bn|n〉+ Jn|n− 1〉,
again with J0 = JN+1 = 0. It thus follows that
|E(z)〉 = e−izJ |E(0)〉,
where in the basis {|n〉}, J is the tridiagonal matrix
J =
B0 J1 0
J1 B1 J2
0 J2 B2
. . .
. . .
. . . JN
JN BN
.
The Jacobi matrix J is Hermitian and has non-degenerate eigenvalues λs, s = 0, 1, . . . , N when
its entries are non-negative. Let us denote the eigenvectors of J by |λs〉:
J |λs〉 = λs|λs〉.
4 É.-O. Bossé and L. Vinet
We shall now indicate how orthogonal polynomials are naturally associated to the dynamics.
This simply follows from the fact that Jacobi matrices are diagonalized by orthogonal polyno-
mials. Consider the expansion of the eigenbasis {|λs〉} in term of the natural basis {|n〉}:
|λs〉 =
N∑
n=0
Ws,n|n〉.
Acting on both sides with J , we get
λs
N∑
n=0
Ws,n|n〉 =
N∑
n=0
Ws,n(Jn+1|n+ 1〉+Bn|n〉+ Jn|n− 1〉)
and since the natural basis is orthonormal, we have
λsWs,n = Jn+1Ws,n+1 +BnWs,n + JnWs,n−1.
Taking Ws,n in the form
Ws,n = Ws0χn(λs)
we see that the coefficients χn(x), n = 0, 1, . . . , N , constitute an orthogonal polynomial set
owing to the fact that they satisfy the three term recurrence relation
xχn(x) = Jn+1χn+1(x) +Bnχn(x) + Jnχn−1(x)
with the initial condition χ−1(x) = 0. Since both bases are orthonormal, 〈s|s′〉 = δss′ and
〈n|m〉 = δnm it follows that the matrix (Ws,n) is orthogonal
N∑
n=0
Ws,nWs′,n = δss′ ,
N∑
s=0
Ws,nWs,m = δnm.
The reverse expansion is thus given by
|n〉 =
N∑
s=0
Ws0χn(λs)|λs〉 (2.3)
and one explicitly recovers from 〈n|m〉 = δnm that the functions χn(λs) are normalized orthog-
onal polynomials in the discrete variable λs. The orthogonality relation reads
N∑
s=0
wsχn(λs)χm(λs) = δnm
with ws = W 2
s0 playing the role of the weight.
We can define the monic polynomials Pn(x)
Pn(x) = J1 · · · Jnχn(x).
Furthermore the characteristic polynomial PN+1(x)
PN+1(x) = (x− λ0)(x− λ1) · · · (x− λN )
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results 5
is manifestly orthogonal to the polynomials χn(x), n = 0, . . . , N . From the general theory of
orthogonal polynomials, it is known that [9] the discrete weights ws can be written in the form
ws =
√
hN
χN (λs)P ′N+1(λs)
, s = 0, 1, . . . , N, (2.4)
where√
hN = J1J2 · · · JN
and where P ′N+1(x) stands for the derivative of PN+1(x). If one takes the eigenvalues in increas-
ing order,
λ0 < λ1 < · · · < λN ,
it is easy to see that
P ′N+1(λs) = (−1)N+s|P ′N+1(λs)|. (2.5)
3 Fractional revival (FR) and perfect state transfer (PST)
in the nearest-neighbour approximation
To achieve PST and FR, some conditions must be respected. These, in fact, will only depend on
the spectrum of J . PST will be achieved if a photon initially in the waveguide 0 will be found
in the waveguide N after a propagation distance ZPST, in other words PST will be observed if
e−iZPSTJ |0〉 = eiφ|N〉 (3.1)
with φ an arbitrary phase.
Using the expansion (2.3) of the natural basis into the eigenbasis and remembering that
χ0(x) = 1, one sees that (3.1) implies
e−iZPSTλs = eiφχN (λs). (3.2)
This shows that χN (λs) is a phase, but since it is real we must have
χN (λs) = ±1.
Owing to the fact that the zeros of χN (x) must interlace the zeros, λs, of PN+1(x), the sign
of χN (λs) must alternate, i.e., χN (λs) ∝ (−1)s. Now since ws as given by (2.4) must be positive,
in view of (2.5), we see that
χN (λs) = (−1)N+s. (3.3)
As shown in [29], this condition is tantamount to the matrix J being symmetric with respect to
the anti-diagonal, i.e., to the relations
BN−n = Bn, JN−n+1 = Jn. (3.4)
The condition (3.3) or equivalently (3.4) is thus necessary for the occurrence of PST.
Making use of this necessary condition in (3.2) one finds that PST will take place if
e−i(ZPSTλs+φ) = eiπ(N+s).
6 É.-O. Bossé and L. Vinet
This will be satisfied if
ZPSTλs + φ+ π(N + s) = 2πLs, (3.5)
where Ls is a sequence of integers that may depend on s.
It follows from (3.5) that the difference between 2 successive eigenvalues is given by
λs − λs−1 =
π
ZPST
Ms, (3.6)
where Ms is an odd integer.
Together (3.4) and (3.6) are necessary and sufficient for PST. As announced, these are
conditions on the spectrum of J .
Let us now turn to FR in the two external waveguides. This will occur if there is a dis-
tance ZFR at which the only non-zero amplitudes are E0(ZFR) and EN (ZFR). In this case we
shall have
e−iZFRJ |0〉 = µ|0〉+ ν|N〉 (3.7)
with the normalization condition
|µ|2 + |ν|2 = 1.
When this is so, the wavepacket initially localized in the waveguide 0 is revived in the waveguide 0
and N . In the special case
µ = ν =
1√
2
we have an analog of the maximally entangled state |E〉 = E0(0)√
2
(|10 . . . 0〉+|00 . . . 1〉) where the
vectors |1〉, |0〉 denote the presence (|1〉) or the absence (|0〉) of a photon in the waveguide. One
also sees that PST is a special case of FR with
µ = 0, ν = eiφ.
As for PST, the relation (3.7) can be translated into a spectral condition by using the expan-
sion (2.3). This leads to
e−iZFRλs = µ+ χN (λs)ν. (3.8)
In the following we shall look for the occurrence of FR in systems with mirror symmetry (3.4).
We shall thus assume that the necessary condition (3.3) for PST is satisfied. As a result (3.8)
will read
e−iZFRλs = eiφ(µ′ + (−1)N+sν ′), (3.9)
where we have factored out the phase eiφ of µ implying that µ = eiφµ′ with µ′ real and ν = eiφν ′.
For consistency, the norm of (µ′ + (−1)N+sν ′) must be 1 and with µ′ real this requires ν ′ to be
purely imaginary. Since |µ|2 + |ν|2 = 1, we may thus take the following parametrization
µ′ = cos θ, ν ′ = i sin θ.
Observe then that PST (µ = 0) corresponds to θ = π
2 . As in the case for PST, condition (3.9)
can be seen to imply restrictions on successive eigenvalues:
ZFR(λ2s − λ2s−1) = −(−1)N2θ + 2πL(0)
s , (3.10)
ZFR(λ2s+1 − λ2s) = (−1)N2θ + 2πL(1)
s , (3.11)
where L
(i)
s are arbitrary sequences of integers that depend on s.
FR will occur if those conditions are respected for all eigenvalues of the spectrum. Note that,
as shown in [21], in this mirror-symmetric situation, FR also occurs between symmetrically
positioned sites say between |n〉 and |N − n〉.
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results 7
4 Engineering waveguide arrays with FR and PST
The engineering of photonic lattices with FR and PST involves an inverse spectral problem, as
first discussed in [27]. Given a set of {λs} that satisfy the FR/PST conditions, we must find
the mirror-symmetric matrix J formed out of the coupling and propagation constants that has
the {λs} for eigenvalues. This is done by constructing the orthogonal polynomials associated
to the problem whose recurrence coefficients will provide the characteristics of the array that
we are looking for. Once these have been obtained, it is a matter of creating appropriately the
waveguides and of choosing the distances between them to make the specifications of the lattice
match those prescribed theoretically.
Let us briefly recall how this inverse spectral problem is solved from the construction of the
associated orthogonal polynomials. First, observe that the condition χN (λs) = (−1)N+s fixes
the values of a polynomial of degree N at N+1 points and thereby completely determines χN (x).
This polynomial can be explicitly constructed using the Lagrange interpolation polynomials:
χN (x) =
N∑
s=0
(−1)N+sLs.
Here Ls is the standard Lagrange polynomial
Ls =
N ′∏
i=0
x− λi
λs − λi
,
where the ′ stands for i 6= s.
The monic polynomial PN (x) is then obtained by dividing χN (x) by the coefficient of xN .
The spectral data {λs} provides another member of the set of orthogonal polynomials, namely,
the characteristic polynomial PN+1(x) = (x − λ0) · · · (x − λN ). The recurrence relation for the
monic polynomials Pn(x) = J1 · · · Jnχn(x) is
xPn(x) = Pn+1 +BnPn(x) + UnPn−1(x)
with Un = J2
n. For all these polynomials Pn(x), the coefficients of the leading monomial xn is 1.
We thus have
PN+1(x) = (x−BN )PN (x)− J2
NPN−1. (4.1)
We know PN+1 and PN . If we look at (4.1) degree by degree, we see that the terms in xN+1
are equal. Then the coefficient of xN in PN+1 gives −BN . Now the coefficients of xN−1 in
PN+1(x) − (x − BN )PN (x) gives −J2
N and at this point we know BN , J2
N and PN−1(x). We
can then iterate to find BN−1, J
2
N−1 and PN−2(x) and so on. In the end the mirror-symmetric
matrix J is fully characterized and hence provides all the couplings Jn and propagation cons-
tants Bn for n = 0, . . . , N .
While the algorithm described above is conceptually straightforward it might not be the most
efficient to obtain the parameters numerically. Another method is given in Gladwell [22]; the
approach described in [19] based on persymmetric polynomials is also generally faster.
5 A review of analytic models with of FR and PST
In a number of cases, spectra that satisfy (3.6) and (3.10) have been found to correspond to
orthogonal polynomials that can be fully characterized and this has therefore led to models that
can be described analytically. These arrays are often referred to by the name of the orthogonal
8 É.-O. Bossé and L. Vinet
polynomials associated to them and turn out to be most useful. They have first been identified
for their PST properties. In the following we shall go over many of these systems. We shall give
in each case the corresponding spectrum {λs} and provide the couplings Jn and propagation
constants Bn that the algorithm described in Section 4 gives. We shall indicate what the FR
and PST conditions entail. For FR we shall provide the mixing angles θ that are possible as
well as the distances ZFR at which this FR occurs. We shall also record the restrictions that
must be imposed for PST to happen also. To allow for an adjustment of the reference strength
of the couplings we shall introduce a parameter β as a global factor in the spectra: λs → βλs.
5.1 Krawtchouk
The Krawtchouk model is the simplest analytic model that has been designed [10]. For a fixed
maximum coupling strength, it exhibits shortest state transfer time and thus minimizes [52]
the risk of introducing noise. This in part explains why it has been favored in experimental
validations [3, 7, 39]. As we shall see this system does not admit FR however. The Krawtchouk
array emerges when the linear spectrum
λs = β
(
s− N
2
)
(5.1)
is considered.
The couplings between the waveguides take the form
Jn =
β
2
√
n(N − n+ 1) (5.2)
and the propagation constant in the nth waveguide is
Bn = 0.
Of course the propagation constants can be shifted by a uniform value by adding a global term
to the spectrum.
5.1.1 FR
For the spectrum (5.1), the sequences of integers do not depend on s, L
(i)
s = ci and the restric-
tions (3.10) amount to
ZFRβ = −(−1)N2θ + 2πc0,
ZFRβ = (−1)N2θ + 2πc1,
where c0 and c1 are integers. Solving for θ and ZFR yields
θ = (−1)N
π
2
(c0 − c1)
and
ZFR =
π
β
(c0 + c1).
We thus observe that FR does not occur. Indeed θ must be a multiple of π
2 and as already
observed this can only lead to PST or Perfect Return. Moreover, since (c0 − c1) has the same
parity as (c0 +c1), PST will happen for ZPST = πq
β where q is an odd integer and Perfect Return
will occur when q is even.
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results 9
5.2 para-Krawtchouk
The para-Krawtchouk array is the prototype of systems with FR [21]. It involves a parame-
ter δ that determines the mixing angle θ. The associated para-Krawtchouk polynomials are not
conventional polynomials; they were discovered as a result of investigations of systems with FR
and PST [51]. It is remarkable that a full characterization of the polynomials could be carried
out.
The spectrum here is
λs = β
(
s− N − 1 + δ
2
+
(δ − 1)
2
(
1− (−1)s
))
, s = 0, 1, . . . , N,
where 0 < δ < 2 is a real parameter. It is referred to as a bi-lattice spectrum as one observes
that it is the superposition of two linear lattices shifted by δ. One notes also that the linear
lattice (5.1) is recovered when δ = 1.
The mirror symmetric couplings and propagation constants that are obtained by applying
the Euclidian algorithm of Section 4 to this spectrum are the following
Jn =
β
2
√
n(N + 1− n)[(N + 1− 2n)2 − δ2]
(N − 2n)(N − 2n+ 2)
, Bn = 0
for N odd, and
Jn =
β
2
√
n(N + 1− n)[(2n−N − 1)2 − (δ − 1)2]
(2n−N − 1)2
,
Bn =
(δ − 1)(N + 1)
4
(
1
2n−N − 1
− 1
2n+ 1−N
)
for N even.
Note that the propagation constants must vary from waveguide to waveguide when N is even.
It is seen that Jn and Bn verify the mirror symmetry property (3.4) and that, as should be, the
Krawtchouk coupling are retrieved when δ = 1.
5.2.1 FR
When specialized to the para-Krawtchouk spectrum, the sequences of integers do not depend
on s, L
(i)
s = ci and the conditions (3.10) and (3.11) become
ZFRβ(2− δ) = −2(−1)Nθ + 2πc0, (5.3)
ZFRβδ = 2(−1)Nθ + 2πc1, (5.4)
where c0 and c1 are integers.
Expressions for θ and ZFR can be obtained from (5.3) and (5.4). One finds
θ = (−1)N
[
−πc1 +
πδ
2
(c0 + c1)
]
showing that δ directly determines θ and for ZFR one gets
ZFR =
π
β
(c0 + c1). (5.5)
These results indicate that FR happens in this model and that the mixing angle θ is prescribed
by the value of δ. The distances ZFR are integer multiples of π
β .
10 É.-O. Bossé and L. Vinet
5.2.2 PST
To investigate whether the para-Krawtchouk model admits PST in addition to FR, one examines
the relation that the PST condition (3.6) further imposes. One finds here
β(1− (δ − 1)(−1)s) =
π
ZPST
Mε, ε = (−1)s. (5.6)
The sequences Mε of odd integers here only depend on the parity ε of s. We distinguish these
two parities and write M+1 = 2c0 +1 and M−1 = 2c1 +1 with c0 and c1 integers. Equation (5.6)
then translates into
ZPST =
π
β
2c0 + 1
2− δ
(5.7)
for s even, and
ZPST =
π
β
2c1 + 1
δ
(5.8)
for s odd.
In order for the right hand sides of (5.7) and (5.8) to be equal one must have
δ =
(2c1 + 1)
(c0 + c1 + 1)
. (5.9)
This says that for PST to occur in addition to FR in the para-Krawtchouk model, the parameter δ
must be a rational number of the form δ = p
q where p and q are coprime and p is odd.
The minimal distance for PST is obtained when c1 = 0 in which case ZPST = π
βδ . In general
the distance for PST is
ZPST =
π
β
(c0 + c1 + 1).
This should be compared with the expression for ZFR given in (5.5): provided δ satisfies (5.9),
if FR occurs at ZFR = π
β , PST will happen at ZPST = 2ZFR.
5.3 dual-Hahn
The dual-Hahn system has been identified early on [1]. It is based on the quadratic spetrum
λs = βs(s+ 2γ + 1) (5.10)
with a parameter γ > −1.
Its coupling and propagation constants are given by
Jn = β
√
(n+ 1)(N − n)(γ +N − n)(γ + n+ 1),
Bn = 2n(N − n) + (γ + 1)N.
5.3.1 FR
For s even, the FR conditions (3.10) and (3.11) require L
(0)
s = c1s+ c0 and yield
(2s+ γ)βZFR = −(−1)Nθ + π(c1s+ c0),
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results 11
where c1 and c0 are an integers. This implies
(i) βZFR =
π
2
c1, (5.11)
(ii) γβZFR = πc0 − (−1)Nθ. (5.12)
For s odd, with L
(1)
s = c′1s+ c′0 one obtains
(2s+ 1 + γ)βZFR = (−1)Nθ + π(c′1s+ c′0),
where c′1 and c′0 are both integers. One has then
(i) βZFR =
π
2
c′1, (5.13)
(ii) β(1 + γ)ZFR = (−1)Nθ + πc′0. (5.14)
The compatibility of the equations (5.11), (5.12) and (5.13), (5.14) leads to
θ = (−1)N
(
πc0(1 + γ)− γπc′0
2γ + 1
)
.
One further finds
γ =
2(c0 + c′0)− c1
2c1
and
θ = (−1)N
(
πc1
4
+
π(c0 − c′0)
2
)
.
The main features of this model are thus the following. Balanced FR may occur. By balanced FR
we mean a situation where amplitudes in the first and last waveguides are equal in magnitude,
this correspond to θ being equal to odd multiples of π
4 . We indeed see that this is possible when
c1 = q is odd. The FR distance ZFR is given by
ZFR =
π
2β
q.
As we shall indicate below the dual-Hahn system is a special case of the para-Racah model that
also admits FR.
5.3.2 PST
When λs is given by (5.10) the PST condition (3.6) requires Ms = 2(c1s+ c0) + 1 and becomes
β(s+ γ) =
π
2ZPST
(2(c1s+ c0) + 1) (5.15)
where c1 and c0 are integers. Equating each power of s in (5.15) yields
ZPST =
π
β
c1, ZPST =
π
2βγ
(2c0 + 1).
The consistency of these two relations requires that
γ =
2c0 + 1
2c1
.
The minimal distance for PST is ZPST = π
β with γ = 1
2 (c0 = 0, c1 = 1).
PST will thus occur if the parameter γ is of the form p
2q with p and q coprime integers and p
odd. Note that then ZPST = 2ZFR.
12 É.-O. Bossé and L. Vinet
5.4 Special q-Racah
We now consider an array associated to a special case of q-Racah polynomials [32]. Consider
the set of eigenvalues given by the following exponential lattice:
λs = β
(
q−s+N/2 − qs−N/2
)
, s = 0, . . . , N, (5.16)
where q is a real number between 0 and 1. This corresponds to a q-deformation of the Krawtchouk
spectrum since lim
q→1−
−λs
q−q−1 = β(s − N
2 ). Some restrictions will be added to allow for FR and
PST [50]. It is observed that the λs defined by (5.16) obey the three-term recurrence relation
λs =
(
q + q−1
)
λs−1 − λs−2. (5.17)
Take
q + q−1 = K (5.18)
with K an integer. We shall assume that K is greater than 2 because for K = 2 we have q = 1
and we then recover the Krawtchouk spectrum. Relation (5.18) implies that
q =
K
2
−
√
K2
4
− 1.
The coupling and propagation constants are here given by
Jn = β
√ (
1− q2n
)(
q2(n−N−1) − 1
)(
1 + q2n−N−2
)(
1 + q2n−N
) , Bn = 0.
5.4.1 FR
With the help of (5.17), the spectral conditions (3.10) and (3.11) for FR can be rewritten as
follows
ZFR(K − 2)λ2s = (−1)N4θ + 2πL(0)
s , ZFR(K − 2)λ2s+1 = −(−1)N4θ + 2πL(1)
s . (5.19)
For N even, observe that λN
2
= 0. This leads to
θ =
π
2
LN
2
.
Hence, for N even, only PST can be achieved.
For N odd, no restrictions of this type happen. Consider here an alternative way of wri-
ting (3.9):
ZFRλ2s = −φ− (−1)Nθ + 2πL(2)
s , ZFRλ2s+1 = −φ+ (−1)Nθ + 2πL(3)
s . (5.20)
From (5.19) and (5.20) one obtains for the mixing angle
θ = (−1)N
(
2πQs
K + 2
− φK − 2
K + 2
)
, (5.21)
where Qs is a sequence of integers that depend on s. This indicates that FR can happen in the
special q-Racah array when N is odd for a variety of mixing angle θ related to K. This is a new
observation as far as we know.
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results 13
Figure 1. Probability of finding a single photon at each site of a 10-waveguide array (N = 9) of q-Racah
type with parameters β = (K−2)−1/2 and K = 6 for various distances. (a) The photon is initially inserted
at site 0, (b) after some distance Z = π
8 the photon spreads out through the lattice and (c) fractional
revival is observed at ZFR = π
4 and (d) perfect state transfer observed at distance ZPST = π
2 = 2ZFR.
5.4.2 PST
In order to enforce the PST condition, one requires that all λs are integers with alternating
parity. To achieve PST, K must be an even integer if N is even and K = 6, 10, 14, . . . if N is
odd. This is in keeping with (5.21).
5.5 para-Racah
A novel family of orthogonal polynomials corresponding to an alternative truncation of the
Wilson polynomials has been identified recently [35]. It is associated to the quadratic bi-lattice
defined by
λ2s = β(s+ a)2, λ2s+1 = β(s+ c)2, s = 0, . . . , N,
where a > −1
2 , |a| < c < |a+ 1| and both c and a are real.
Note that the set {λs} can be viewed as the superposition of two quadratic lattices shifted
by c− a. One observes also that an equivalent quadratic lattice of the form (5.10) is recovered
if c = a+ 1
2 .
The recurrence coefficients provide the following coupling and propagation constants:
Bn =
1
2
[a(a+ j) + c(c+ j) + n(N − n)] ,
Jn =
[
n(N + 1− n)(N − n+ a+ c)(n− 1 + a+ c)(n− j − 1)2 − (a− c)2
4(N − 2n)(N − 2n+ 2)
] 1
2
14 É.-O. Bossé and L. Vinet
for N odd, and
Jn =
[
n(N + 1− n)(n− 1 + a+ c)(N − n+ a+ c)(n− j + a− c)(n− j + c− a− 1)
4(N − 2n+ 1)2
] 1
2
,
Bn =
1
2
(
a2 + c2 + n− n2
)
+
1
4
(2n+ a+ c)(N − 1) +
(n+ 1)(n+ a+ c)(1 + 2a− 2c)
4(1 + 2n−N)
+
n(n− 1 + a+ c)(1 + 2a− 2c)
4(1− 2n+N)
for N even.
The array with these specifications has been shown to enact FR and PST [34].
5.5.1 FR
The conditions (3.10) and (3.11) when specialized to the para-Racah spectrum require L
(0)
s =
c1s+ c0 and L
(1)
s = c′1s+ c′0 and read
βZFR(1 + a− c)(2s− 1 + a+ c) = −(−1)N2θ + 2π(c1s+ c0), (5.22)
βZFR(c− a)(2s+ c+ a) = (−1)N2θ + 2π(c′1s+ c′0) (5.23)
where c1, c0, c
′
1 and c′0 are integers.
Relations for ZFR, θ, a and c are obtained from (5.22) and (5.23). First one finds
a =
2(c0 + c′0) + (c1 − c′1)
2(c1 + c′1)
, c =
2(c0 + c′0) + (c1 + c′1)
2(c1 + c′1)
showing that a and c must be rational numbers.
The formula for θ is
θ = (−1)N+1π
2
(
2(c1c
′
0 − c0c′1)− c1c′1
c1 + c′1
)
and the distances are given by
ZFR =
π
β
(c1 + c′1).
The para-Racah model thus exhibit FR when a and c are rational. If one wants to retrieve
the mixing angle θd-H for the dual-Hahn model, it suffices to take the equivalent condition for
c = a+ 1
2 which is c1 = c′1. One gets
θd-H = (−1)N
(π
4
c1 +
π
2
(c0 − c′0)
)
,
which is exactly the mixing angle of the dual-Hahn model.
5.5.2 PST
To investigate if the para-Racah model admits PST in addition to FR, we turn to condition (3.6)
which becomes with M
(0)
s = 2(c1s+ c0) + 1 and M
(1)
s = 2(c′1s+ c′0) + 1
βZPST(1 + a− c)(2s+ a+ c− 1) = π(2(c1s+ c0) + 1), (5.24)
βZPST(c− a)(2s+ a+ c) = π(2(c′1s+ c′0) + 1). (5.25)
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results 15
Using (5.24) and (5.25) one obtains
a =
1
2
(
2c0 + 1
c1
+
c1
c1 + c′1
)
, c =
1
2
(
2c0 + 1
c1
+
c′1
c1 + c′1
+ 1
)
and the PST distance can be written as follows
ZPST =
π
β
(c1 + c′1).
This provides the details of the PST occurrences in the para-Racah array.
6 A model with next-to-nearest neighbour interaction
In this last section, we wish to indicate how a class of analytic models with next-to-nearest
neighbour (NNN) interactions can be constructed from those with NN couplings. The one based
on the Krawtchouk recurrence coefficients will be presented in some details. As a rule, in settings
of the type that have been used experimentally the NN approximation is very good; interestingly
however allowing for NNN interactions might show the occurrence of FR even if the restriction of
the model to NN couplings does not permit it. Let J be a tridiagonal mirror-symmetric matrix
with spectrum λs, s = 0, . . . , N , wich is thus such that the necessary condition (3.3) for PST is
satisfied. Let
J̄ = αJ2 + βJ.
It follows that J̄ is pentadiagonal. Take the light propagation in the array to be governed by
i
d
dz
|E〉 = J̄ |E〉.
In terms of amplitudes we thus have the following system of equations with NNN interactions
i
d
dz
En = α(Jn−1Jn)En−2 + Jn(α(Bn−1 +Bn) + β)En−1
+
(
α
(
J2
n +B2
n + J2
n+1
)
+ βBn
)
En + Jn+1(α(Bn +Bn+1) + β)En+1
+ α(Jn+1Jn+2)En+2. (6.1)
Here Jn and Bn are the same matrix elements of J as before. The parameters α and β determine
respectively the strengths of the NNN and NN interactions. The coupling Jn will still be physi-
cally realized according to (2.2). In light of (6.1), the NNN couplings will hence be proportional
to the distance between the next-to-nearest sites.
Since J̄ has the same eigenbasis as J , the condition for PST and FR remain the same except
that the spectrum of J̄ , {αλ2s + βλs} should now be used. The PST condition on the difference
between two successive eigenvalues is therefore
(λs − λs−1)(α(λs + λs−1) + β) =
π
ZPST
Ms (6.2)
and the conditions for FR take the form
ZFR(λ2s − λ2s−1)(α(λ2s + λ2s−1) + β) = −(−1)N2θ + 2πL(0)
s ,
ZFR(λ2s+1 − λ2s)(α(λ2s+1 + λ2s) + β) = (−1)N2θ + 2πL(1)
s .
We shall now spell out what these conditions entail when Jn is given by (5.2) and Bn = 0, that
is when J is the Jacobi matrix associated to the Krawtchouk polynomials.
16 É.-O. Bossé and L. Vinet
6.1 A NNN model based on Krawtchouk couplings
6.1.1 FR
The FR conditions require L
(0)
s = c1s+ c0 and become, for s even,
ZFR(α(4s− (N + 1)) + β) = −(−1)N2θ + 2π(c1s+ c0)
and for s odd with L
(1)
s = c′1s+ c′0,
ZFR(α(4s− (N − 1)) + β) = (−1)N2θ + 2π(c′1s+ c′0).
These two relations yield the following set of equalities
αZFR =
π
2
c1, αZFR =
π
2
c′1,
ZFR(β − α(N + 1)) = −(−1)N2θ + 2πc0, ZFR(β − α(N − 1)) = (−1)N2θ + 2πc′0,
which in turn imply c1 = c′1 and
β
α
=
−(−1)N2θ + 2πc0
πc1
+ (N + 1),
β
α
=
(−1)N2θ + 2πc′0
πc1
+ (N − 1).
One then arrives at the following formula for the mixing angle θ:
θ = (−1)N
(π
4
c1 +
π
2
(c0 − c′0)
)
with the FR distance given by
ZFR =
π
2β
(c1N + 2π(c0 + c′0)).
One thus observes that for N odd, balanced FR will happen at distances πq
2β where q is odd.
For N even the FR distance will be πp
β where p is an integer. This is in contradistinction with
the situation in the NN Krawtchouk system where FR is not possible.
6.1.2 PST
Upon substituting λs = (s− N
2 ) in (6.2), with Ms = 2(c1s+ c0) + 1, one gets
α(2s− (N + 1)) + β =
π
ZPST
(2(c1s+ c0) + 1),
where c1, c0 are both integers.
Equating the terms with the same power of s, one obtains
αZPST = πc1, ZPST(β − α(N + 1)) = π(2c0 + 1).
From these conditions, we see that
β
α
=
2c0 + 1
c1
+ (N + 1),
which indicates that β
α must be a rational number. One now finds for ZPST:
ZPST =
π
β
(2c0 + 1 + c1(N + 1)).
Since c0 and c1 are integers, only two cases can occur
1) ZPST =
2πj
β
,
2) ZPST =
π
β
(2j + 1).
The first case only arises when N is even and the second case can materialize for both parities
of N . Note that PST will occur at double the FR distance.
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results 17
6.2 Other NNN models
The approach to the construction of NNN models using the recurrence coefficients of the
Krawtchouk polynomials can obviously be extended by considering matrices J associated to
other families of orthogonal polynomials. The spectral lattices will then be more involved than
the linear one.
As observed, the analysis of the spectral conditions for FR and PST involves the study of
integer-valued polynomials in the integer variable s. For cases beyond the linear one, it is useful
to recall that any integer-valued polynomial p(s) of degree N in s can be written in the form
p(s) =
N∑
n=0
cn
s!
(n− s)!n!
,
where all the coefficients cn are integers.
This has proved of help in the examination of other analytic models with NNN couplings.
The one based on the dual-Hahn couplings for instance has been confirmed in this way to exhibit
FR and PST.
7 Conclusion
This paper has offered an overview of many analytic photonic lattices (equivalently of spin
chains) with FR and PST and has described their main features. It has shed light on the role
played by univariate orthogonal polynomials in the design of these devices. Novel results for an
array based on a special case of q-Racah polynomials have been obtained, namely that FR can
occur when N is odd with the mixing angle depending on the value of q.
It is to be expected that the burgeoning theory of multivariate orthogonal polynomials would
be instrumental in the construction of higher dimensional simplexes with interesting transport
properties. Work in this direction has been initiated [18, 37, 42]. PST in graphs has also been
the object of much attention. The reviews [14, 23] give surveys of this extended body of work.
An interesting question would be to study FR in this context. The results in [28] on next-to-
nearest neighbour provide a good starting point for numerically determining coupling strengths
when long range interactions are taken into account.
Finally, it should prove rewarding to explore evolutions that are more complex than PST and
FR. See [30] for steps in this direction.
Acknowledgements
This survey is based in part on a talk given by one of us (L.V.) at SIDE12. We are grateful to the
Guest Editors of the Special Issue in Symmetries and Integrability of Difference Equations for
their invitation to write a topical review. The authors wish to thank Jean-Michel Lemay for his
input on the para-Racah model as well as M. Christandl, V.X. Genest, H. Miki, S. Tsujimoto and
A. Zhedanov for their collaboration on many of the advances presented here. É.-O.B. gratefully
acknowledges a scolarship from the Physics Department of Université de Montréal. The research
of L.V. is supported in part by a grant from NSERC (Canada). We wish to acknowledge the
elaborate and constructive reports of the referees that have helped improve the paper.
References
[1] Albanese C., Christandl M., Datta N., Ekert A., Mirror inversion of quantum states in linear registers, Phys.
Rev. Lett. 93 (2004), 230502, 4 pages, quant-ph/0405029.
https://doi.org/10.1103/PhysRevLett.93.230502
https://doi.org/10.1103/PhysRevLett.93.230502
https://arxiv.org/abs/quant-ph/0405029
18 É.-O. Bossé and L. Vinet
[2] Banchi L., Compagno E., Bose S., Perfect wave-packet splitting and reconstruction in a one-dimensional
lattice, Phys. Rev. A 91 (2015), 052323, 8 pages, arXiv:1502.03061.
[3] Bellec M., Nikolopoulos G.M., Tzortzakis S., Faithful communication Hamiltonian in photonic lattices, Opt.
Lett. 37 (2012), 4504–4506, arXiv:1210.1009.
[4] Bose S., Quantum communication through an unmodulated spin chain, Phys. Rev. Lett. 91 (2003), 207901,
4 pages, quant-ph/0212041.
[5] Bose S., Quantum communication through spin chain dynamics: an introductory overview, Contemp. Phys.
48 (2007), 13–30, arXiv:0802.1224.
[6] Chakrabarti R., Van der Jeugt J., Quantum communication through a spin chain with interaction determined
by a Jacobi matrix, J. Phys. A: Math. Theor. 43 (2010), 085302, 20 pages, arXiv:0912.0837.
[7] Chapman R.J., Santandrea M., Huang Z., Corrielli G., Crespi A., Yung M.-H., Osellame R., Peruzzo A.,
Experimental perfect state transfer of an entangled photonic qubit, Nature Comm. 7 (2016), 11339, 6 pages,
arXiv:1603.00089.
[8] Chen B., Song Z., Sun C.P., Fractional revivals of the quantum state in a tight-binding chain, Phys. Rev. A
75 (2007), 012113, 9 pages, quant-ph/0603033.
[9] Chihara T.S., An introduction to orthogonal polynomials, Mathematics and its Applications, Vol. 13, Gordon
and Breach Science Publishers, New York – London – Paris, 1978.
[10] Christandl M., Datta N., Ekert A., Landahl A.J., Perfect state transfer in quantum spin networks, Phys.
Rev. Lett. 92 (2004), 187902, 4 pages, quant-ph/0309131.
[11] Christandl M., Vinet L., Zhedanov A., Analytic next-to-nearest neighbour XX models with perfect state
transfer and fractional revival, arXiv:1607.02639.
[12] Christodoulides D.N., Lederer F., Silberberg Y., Discretizing light behaviour in linear and nonlinear wave-
guide lattices, Nature 424 (2003), 817–823.
[13] Corrielli G., Crespi A., Della Valle G., Longhi S., Osellame R., Fractional Bloch oscillations in photonic
lattices, Nature Comm. 4 (2013), 11339, 6 pages, arXiv:1303.1958.
[14] Coutinho G.M., State transfer on graphs, Ph.D. Thesis, University of Waterloo, 2014.
[15] Dai L., Feng Y.P., Kwek L.-C., Engineering quantum cloning through maximal entanglement between
boundary qubits in an open spin chain, J. Phys. A: Math. Theor. 43 (2010), 035302, 14 pages.
[16] De Chiara G., Fazio R., Macchiavello C., Montangero S., Palma G.M., Quantum cloning in spin networks,
Phys. Rev. A 70 (2004), 062308, 4 pages, quant-ph/0402071.
[17] Efremidis N.K., Christodoulides D.N., Revivals in engineered waveguide arrays, Opt. Comm. 246 (2005),
345–356.
[18] Genest V.X., Miki H., Vinet L., Zhedanov A., Spin lattices, state transfer, and bivariate Krawtchouk
polynomials, Can. J. Phys. 93 (2015), 979–984, arXiv:1410.4703.
[19] Genest V.X., Tsujimoto S., Vinet L., Zhedanov A., Persymmetric Jacobi matrices, isospectral deformations
and orthogonal polynomials, J. Math. Anal. Appl. 450 (2017), 915–928, arXiv:1605.00708.
[20] Genest V.X., Vinet L., Zhedanov A., Exact fractional revival in spin chains, Modern Phys. Lett. B 30 (2016),
1650315, 7 pages, arXiv:1506.08434.
[21] Genest V.X., Vinet L., Zhedanov A., Quantum spin chains with fractional revival, Ann. Physics 371 (2016),
348–367, arXiv:1507.05919.
[22] Gladwell G.M.L., Inverse problems in vibration, Solid Mechanics and its Applications, Vol. 119, 2nd ed.,
Kluwer Academic Publishers, Dordrecht, 2005.
[23] Godsil C., State transfer on graphs, Discrete Math. 312 (2012), 129–147, arXiv:1102.4898.
[24] Huang W.-P., Coupled-mode theory for optical waveguides: an overview, J. Opt. Soc. Amer. A 11 (1994),
963–983.
[25] Iwanow R., May-Arrioja D.A., Christodoulides D.N., Stegeman G.I., Min Y., Sohler W., Discrete Talbot
effect in waveguide arrays, Phys. Rev. Lett. 95 (2005), 053902, 4 pages.
[26] Jafarov E.I., Van der Jeugt J., Quantum state transfer in spin chains with q-deformed interaction terms,
J. Phys. A: Math. Theor. 43 (2010), 405301, 18 pages, arXiv:1005.2912.
[27] Karbach P., Stolze J., Spin chains as perfect quantum state mirrors, Phys. Rev. A 72 (2005), 030301, 4 pages,
quant-ph/0501007.
https://doi.org/10.1103/PhysRevA.91.052323
https://arxiv.org/abs/1502.03061
https://doi.org/10.1364/OL.37.004504
https://doi.org/10.1364/OL.37.004504
https://arxiv.org/abs/1210.1009
https://doi.org/10.1103/PhysRevLett.91.207901
https://arxiv.org/abs/quant-ph/0212041
https://doi.org/10.1080/00107510701342313
https://arxiv.org/abs/0802.1224
https://doi.org/10.1088/1751-8113/43/8/085302
https://arxiv.org/abs/0912.0837
https://doi.org/10.1038/ncomms11339
https://arxiv.org/abs/1603.00089
https://doi.org/10.1103/PhysRevA.75.012113
https://arxiv.org/abs/quant-ph/0603033
https://doi.org/10.1103/PhysRevLett.92.187902
https://doi.org/10.1103/PhysRevLett.92.187902
https://arxiv.org/abs/quant-ph/0309131
https://arxiv.org/abs/1607.02639
https://doi.org/10.1038/nature01936
https://doi.org/10.1038/ncomms2578
https://arxiv.org/abs/1303.1958
https://doi.org/10.1088/1751-8113/43/3/035302
https://doi.org/10.1103/PhysRevA.70.062308
https://arxiv.org/abs/quant-ph/0402071
https://doi.org/10.1016/j.optcom.2004.11.009
https://doi.org/10.1139/cjp-2014-0568
https://arxiv.org/abs/1410.4703
https://doi.org/10.1016/j.jmaa.2017.01.056
https://arxiv.org/abs/1605.00708
https://doi.org/10.1142/S0217984916503152
https://arxiv.org/abs/1506.08434
https://doi.org/10.1016/j.aop.2016.05.009
https://arxiv.org/abs/1507.05919
https://doi.org/10.1007/1-4020-2721-4
https://doi.org/10.1016/j.disc.2011.06.032
https://arxiv.org/abs/1102.4898
https://doi.org/10.1364/JOSAA.11.000963
https://doi.org/10.1103/PhysRevLett.95.053902
https://doi.org/10.1088/1751-8113/43/40/405301
https://arxiv.org/abs/1005.2912
https://doi.org/10.1103/PhysRevA.72.030301
https://arxiv.org/abs/quant-ph/0501007
Coherent Transport in Photonic Lattices: A Survey of Recent Analytic Results 19
[28] Kay A., Perfect state transfer: beyond nearest-neighbor couplings, Phys. Rev. A 73 (2006), 032306, 7 pages,
quant-ph/0509065.
[29] Kay A., Perfect, efficient, state transfer and its application as a constructive tool, Int. J. Quantum Inform.
8 (2010), 641–676, arXiv:0903.4274.
[30] Kay A., Generating quantum states through spin chain dynamics, New J. Phys. 19 (2017), 043019, 15 pages,
arXiv:1609.01398.
[31] Kay A., Tailoring spin chain dynamics for fractional revivals, Quantum 1 (2017), 24, 11 pages,
arXiv:1609.01397.
[32] Koekoek R., Lesky P.A., Swarttouw R.F., Hypergeometric orthogonal polynomials and their q-analogues,
Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2010.
[33] Lederer F., Stegeman G.I., Christodoulides D.N., Assanto G., Segev M., Silberberg Y., Discrete solitons in
optics, Phys. Rep. 463 (2008), 1–126.
[34] Lemay J.-M., Vinet L., Zhedanov A., An analytic spin chain model with fractional revival, J. Phys. A:
Math. Theor. 49 (2016), 335302, 15 pages, arXiv:1509.08965.
[35] Lemay J.-M., Vinet L., Zhedanov A., The para-Racah polynomials, J. Math. Anal. Appl. 438 (2016), 565–
577, arXiv:1511.05215.
[36] Longhi S., Quantum-optical analogies using photonic structures, Laser Photonics Rev. 3 (2009), 243–261.
[37] Miki H., Tsujimoto S., Vinet L., Zhedanov A., Quantum-state transfer in a two-dimensional regular spin
lattice of triangular shape, Phys. Rev. A 85 (2012), 062306, 4 pages, arXiv:1203.2128.
[38] Nikolopoulos G.M., Jex I. (Editors), Quantum state transfer and network engineering, Quantum Science
and Technology , Springer, Heidelberg, 2014.
[39] Perez-Leija A., Keil R., Kay A., Moya-Cessa H., Nolte S., Kwek L.-C., Rodŕıguez-Lara B.M., Szameit A.,
Christodoulides D.N., Coherent quantum transport in photonic lattices, Phys. Rev. A 87 (2013), 012309,
8 pages, arXiv:1207.6080.
[40] Peschel U., Pertsch T., Lederer F., Optical Bloch oscillations in waveguide arrays, Opt. Lett. 23 (1998),
1701–1703.
[41] Petrovic J., Multiport waveguide couplers with periodic energy exchange, Opt. Lett. 40 (2015), 139–142.
[42] Post S., Quantum perfect state transfer in a 2D lattice, Acta Appl. Math. 135 (2015), 209–224.
[43] Robinett R.W., Quantum wave packet revivals, Phys. Rep. 392 (2004), 1–119, quant-ph/0401031.
[44] Rodŕıguez-Lara B.M., Exact dynamics of finite Glauber–Fock photonic lattices, Phys. Rev. A 84 (2011),
053845, 6 pages, arXiv:1108.3004.
[45] Rodŕıguez-Lara B.M., Soto-Eguibar F., Christodoulides D.N., Quantum optics as a tool for photonic lattice
design, Phys. Scr. 90 (2015), 068014, 7 pages.
[46] Shi T., Li Y., Song Z., Sun C.-P., Quantum-state transfer via the ferromagnetic chain in a spatially modu-
lated field, Phys. Rev. A 71 (2005), 032309, 5 pages, quant-ph/0408152.
[47] Stoilova N.I., Van der Jeugt J., An exactly solvable spin chain related to Hahn polynomials, SIGMA 7
(2011), 033, 13 pages, arXiv:1101.4469.
[48] Szameit A., Pertsch T., Nolte S., Tünnermann A., Peschel U., Lederer F., Optical Bloch oscillations in
general waveguide lattices, J. Opt. Soc. Amer. B 24 (2007), 2632–2639.
[49] Vinet L., Zhedanov A., Dual-1 Hahn polynomials and perfect state transfer, J. Phys. Conf. Ser. 343 (2012),
012125, 10 pages, arXiv:1110.6477.
[50] Vinet L., Zhedanov A., How to construct spin chains with perfect state transfer, Phys. Rev. A 85 (2012),
012323, 7 pages, arXiv:1110.6474.
[51] Vinet L., Zhedanov A., Para-Krawtchouk polynomials on a bi-lattice and a quantum spin chain with perfect
state transfer, J. Phys. A: Math. Theor. 45 (2012), 265304, 11 pages, arXiv:1110.6475.
[52] Yung M.-H., Quantum speed limit for perfect state transfer in one dimension, Phys. Rev. A 74 (2006),
030303, 4 pages, quant-ph/0603179.
https://doi.org/10.1103/PhysRevA.73.032306
https://arxiv.org/abs/quant-ph/0509065
https://doi.org/10.1142/S0219749910006514
https://arxiv.org/abs/0903.4274
https://doi.org/10.1088/1367-2630/aa68f9
https://arxiv.org/abs/1609.01398
https://doi.org/10.22331/q-2017-08-10-24
https://arxiv.org/abs/1609.01397
https://doi.org/10.1007/978-3-642-05014-5
https://doi.org/10.1016/j.physrep.2008.04.004
https://doi.org/10.1088/1751-8113/49/33/335302
https://doi.org/10.1088/1751-8113/49/33/335302
https://arxiv.org/abs/1509.08965
https://doi.org/10.1016/j.jmaa.2016.02.024
https://arxiv.org/abs/1511.05215
https://doi.org/10.1002/lpor.200810055
https://doi.org/10.1103/PhysRevA.85.062306
https://arxiv.org/abs/1203.2128
https://doi.org/10.1007/978-3-642-39937-4
https://doi.org/10.1007/978-3-642-39937-4
https://doi.org/10.1103/PhysRevA.87.012309
https://arxiv.org/abs/1207.6080
https://doi.org/10.1364/OL.23.001701
https://doi.org/10.1364/OL.40.000139
https://doi.org/10.1007/s10440-014-9953-5
https://doi.org/10.1016/j.physrep.2003.11.002
https://arxiv.org/abs/quant-ph/0401031
https://doi.org/10.1103/PhysRevA.84.053845
https://arxiv.org/abs/1108.3004
https://doi.org/10.1088/0031-8949/90/6/068014
https://doi.org/10.1103/PhysRevA.71.032309
https://arxiv.org/abs/quant-ph/0408152
https://doi.org/10.3842/SIGMA.2011.033
https://arxiv.org/abs/1101.4469
https://doi.org/10.1364/JOSAB.24.002632
https://doi.org/10.1088/1742-6596/343/1/012125
https://arxiv.org/abs/1110.6477
https://doi.org/10.1103/PhysRevA.85.012323
https://arxiv.org/abs/1110.6474
https://doi.org/10.1088/1751-8113/45/26/265304
https://arxiv.org/abs/1110.6475
https://doi.org/10.1103/PhysRevA.74.030303
https://arxiv.org/abs/quant-ph/0603179
1 Introduction
2 Transport in waveguide arrays and orthogonal polynomials
3 Fractional revival (FR) and perfect state transfer (PST) in the nearest-neighbour approximation
4 Engineering waveguide arrays with FR and PST
5 A review of analytic models with of FR and PST
5.1 Krawtchouk
5.1.1 FR
5.2 para-Krawtchouk
5.2.1 FR
5.2.2 PST
5.3 dual-Hahn
5.3.1 FR
5.3.2 PST
5.4 Special q-Racah
5.4.1 FR
5.4.2 PST
5.5 para-Racah
5.5.1 FR
5.5.2 PST
6 A model with next-to-nearest neighbour interaction
6.1 A NNN model based on Krawtchouk couplings
6.1.1 FR
6.1.2 PST
6.2 Other NNN models
7 Conclusion
References
|