Project Team Sisyphe


Project Team Sisyphe


Section: Scientific Foundations

System theory for quantum and quantum-like systems

Quantization of waves propagation in transmission-line networks & Inverse scattering

Linear stationary waves. Our main example of classical system that is interesting to see as a quantum-like system is the Telegrapher Equation, a model of transmission lines, possibly connected into a network. This is the standard model for electrical networks, where V and I are the voltage and intensity functions of z and k, the position and frequency and R(z), L(z), C(z), G(z) are the characteristics of the line:

V(z,k) z=-R(z)+jkL(z)I(z,k),I(z,k) z=-(G(z)+jkC(z))V(z,k)(4)

Since the work of Noordergraaf [82] , this model is also used for hemodynamic networks with V and I respectively the blood pressure and flow in vessels considered as 1D media, and with R=8πη S 2 , L=ρ S, C=3S(r+h) E(2r+h) where ρ and η are the density and viscosity of the blood ; r, h and E are the inner radius, thickness and Young modulus of the vessel. S=πr 2 . The conductivity G is a small constant for blood flow.

Monitoring such networks is leading us to consider the following inverse problem: get information on the functions R, L, C, G from the reflection coefficient (k) (ratio of reflected over direct waves) measured in some location by Time or Frequency Domain Reflectometry.

To study this problem it is convenient to use a Liouville transform, setting x(z)= 0 z L(z ' )C(z ' )dz ' , to introduce auxiliary functions q ± (x)=1 4d xlnL(x) C(x)±1 2R(x) L(x)-G(x) C(x) and q p (x)=1 2R(x) L(x)+G(x) C(x), so that (4 ) becomes a Zakharov-Shabat system [68] that reduces to a Schrödinger equation in the lossless case (R=G=0):

v 1 x=q p -jkv 1 +q + v 2 ,v 2 x=-q p -jkv 2 +q - v 1 (5)

and I(x,k)=1 2C(x) L(x) 1 4 (v 1 (x,k)+v 2 (x,k)), V(x,k)=-1 2L(x) C(x) 1 4 (v 1 (x,k)-v 2 (x,k)).

Our inverse problem becomes now an inverse scattering problem for a Zakharov-Shabat (or Schrödinger) equation: find the potentials q ± and q p corresponding to . This classical problem of mathematical physics can be solved using e.g. the Gelfand-Levitan-Marchenko method.

Nonlinear traveling waves. In some recent publications  [71] , [70] , we use scattering theory to analyze a measured Arterial Blood Pressure (ABP) signal. Following a suggestion made in  [84] , a Korteweg-de Vries equation (KdV) is used as a physical model of the arterial flow during the pulse transit time. The signal analysis is based on the use of the Lax formalism: the iso-spectral property of the KdV flow allows to associate a constant spectrum to the non stationary signal. Let the non-dimensionalized KdV equation be

y t-6yy x+ 3 y x 3 =0(6)

In the Lax formalism, y is associated to a Lax pair: a Schrödinger operator, L(y)=- 2 x 2 +y and an anti-Hermitian operator M(y)=-4 3 x 3 +3y x+3 xy. The signal y is playing here the role of the potential of L(y) and is given by an operator equation equivalent to (6 ):

L(y) t=[M(y),L(y)](7)

Scattering and inverse scattering transforms can be used to analyze y in term of the spectrum of L(y) and conversely. The “bound states” of L(y) are of particular interest: if L(y) is solution of (7 ) and L(y(t)) has only bound states (no continuous spectrum), then this property is true at each time and y is a soliton of KdV. For example the arterial pulse pressure is close to a soliton [6] .

Inverse scattering as a generalized Fourier transform. For “pulse-shaped” signals y, meaning that yL 1 (;(1+|x| 2 )dx), the squared eigenfunctions of L(y) and their space derivatives are a basis in L 1 (;dx) (see e.g. [79] ) and we use this property to analyze signals. Remark that the Fourier transform corresponds to using the basis associated with L(0). The expression of a signal y in its associated basis is of particular interest. For a positive signal (as e.g. the arterial pressure), it is convenient to use L(-y) as -y is like a multi-well potential, and the Inverse scattering transform formula becomes:

y(x)=4 n=1 n=N κ n ψ n 2 (x)-2i π - - k(k)f 2 (k,x)dk(8)

where ψ n and f(k,.) are solutions of L(-y)f=k 2 f with k=iκ n , κ n >0, for ψ n (bound states) and k>0 for f(k,.) (Jost solutions). The discrete part of this expression is easy to compute and provides useful informations on y in applications. The case =0 (-y is a reflectionless potential) is then of particular interest as 2N parameters are sufficient to represent the signal. We investigate in particular approximation of pulse-shaped signals by such potentials corresponding to N-solitons.

Identification & control of quantum systems

Interesting applications for quantum control have motivated seminal studies in such wide-ranging fields as chemistry, metrology, optical networking and computer science. In chemistry, the ability of coherent light to manipulate molecular systems at the quantum scale has been demonstrated both theoretically and experimentally  [78] . In computer science, first generations of quantum logical gates (restrictive in fidelity) has been constructed using trapped ions controlled by laser fields (see e.g. the “Quantum Optics and Spectroscopy Group, Univ. Innsbruck”). All these advances and demands for more faithful algorithms for manipulating the quantum particles are driving the theoretical and experimental research towards the development of new control techniques adapted to these particular systems. A very restrictive property, particular to the quantum systems, is due to the destructive behavior of the measurement concept. One can not measure a quantum system without interfering and perturbing the system in a non-negligible manner.

Quantum decoherence (environmentally induced dissipations) is the main obstacle for improving the existing algorithms  [67] . Two approaches can be considered for this aim: first, to consider more resistant systems with respect to this quantum decoherence and developing faithful methods to manipulate the system in the time constants where the decoherence can not show up (in particular one can not consider the back-action of the measurement tool on the system); second, to consider dissipative models where the decoherence is also included and to develop control designs that best confronts the dissipative effects.

In the first direction, we consider the Schrödinger equation where Ψ(t,x), -1 2Δ, V, μ and u(t) respectively represent the wavefunction, the kinetic energy operator, the internal potential, the dipole moment and the laser amplitude (control field):

id dtΨ(t,x)=(H 0 +u(t)H 1 )Ψ(t,x)=(-1 2Δ+V(x)+u(t)μ(x))Ψ(t,x),Ψ| t=0 =Ψ 0 ,(9)

While the finite dimensional approximations (Ψ(t) N ) have been very well studied (see e.g. the works by H. Rabitz, G. Turinici, ...), the infinite dimensional case (Ψ(t,.)L 2 ( N ;)) remains fairly open. Some partial results on the controllability and the control strategies for such kind of systems in particular test cases have already been provided  [58] , [59] , [74] . As a first direction, in collaboration with K. Beauchard (CNRS, ENS Cachan) et J-M Coron (Paris-sud), we aim to extend the existing ideas to more general and interesting cases. We will consider in particular, the extension of the Lyapunov-based techniques developed in  [75] , [60] , [74] . Some technical problems, like the pre-compactness of the trajectories in relevant functional spaces, seem to be the main obstacles in this direction.

In the second direction, one needs to consider dissipative models taking the decoherence phenomena into account. Such models can be presented in the density operator language. In fact, to the Schrödinger equation (9 ), one can associate an equation in the density operator language where ρ=ΨΨ * represents the projection operator on the wavefunction Ψ ([A,B]=AB-BA is the commutator of the operators A and B):

d dtρ=-i[H 0 +u(t)H 1 ,ρ],(10)

Whenever, we consider a quantum system in its environment with the quantum jumps induced by the vacuum fluctuations, we need to add the dissipative effect due to these stochastic jumps. Note that at this level, one also can consider a measurement tool as a part of the environment. The outputs being partial and not giving complete information about the state of the system (Heisenberg uncertainty principle), we consider a so-called quantum filtering equation in order to model the conditional evolution of the system. Whenever the measurement tool composes the only (or the only non-negligible) source of decoherence, this filter equation admits the following form:

dρ t =-i[H 0 +u(t)H 1 ,ρ t ]dt+(Lρ t L * -1 2L * Lρ t -1 2ρ t L * L)dt+η(Lρ t +ρ t L * -Tr(L+L * )ρ t ρ t )dW t ,(11)

where L is the so-called Lindblad operator associated to the measurement, 0<η1 is the detector's efficiency and where the Wiener process W t corresponds to the system output Y t via the relation dW t =dY t -Tr(L+L * )ρ t dt. This filter equation, initially introduced by Belavkin  [61] , is the quantum analogous of a Kushner-Stratonovic equation. In collaboration with H. Mabuchi and his co-workers (Physics department, Caltech), we would like to investigate the derivation and the stochastic control of such filtering equations for different settings coming from different experiments  [76] .

Finally, as a dual to the control problem, physicists and chemists are also interested in the parameter identification for these quantum systems. Observing different physical observables for different choices of the input u(t), they hope to derive more precise information about the unknown parameters of the system being parts of the internal Hamiltonian or the dipole moment. In collaboration with C. Le Bris (Ecole des ponts and INRIA), G. Turinici (Paris Dauphine and INRIA), P. Rouchon (Ecole des Mines) and H. Rabitz (Chemistry department, Princeton), we would like to propose new methods coming from the systems theory and well-adapted to this particular context. A first theoretical identifiability result has been proposed  [72] . Moreover, a first observer-based identification algorithm is under study.