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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Symmetry, Integrability and Geometry: Methods and Applications
Datum:2017
Hauptverfasser: Bossé, E.-O., Vinet, L.
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