September  2015, 35(9): 4095-4114. doi: 10.3934/dcds.2015.35.4095

Integrability methods in the time minimal coherence transfer for Ising chains of three spins

1. 

Institut de mathématiques de Bourgogne, UMR 5584 CNRS Université de Bourgogne, Faculté des Sciences Mirande 9 avenue Alain Savary, France, France, France

Received  April 2014 Revised  October 2014 Published  April 2015

The objective of this article is to analyze the integrability properties of extremal solutions of Pontryagin Maximum Principle in the time minimal control of a linear spin system with Ising coupling in relation with conjugate and cut loci computations. Restricting to the case of three spins, the problem is equivalent to analyze a family of almost-Riemannian metrics on the sphere $S^{2}$, with Grushin equatorial singularity. The problem can be lifted into a SR-invariant problem on $SO(3)$, this leads to a complete understanding of the geometry of the problem and to an explicit parametrization of the extremals using an appropriate chart as well as elliptic functions. This approach is compared with the direct analysis of the Liouville metrics on the sphere where the parametrization of the extremals is obtained by computing a Liouville normal form. Finally, an algebraic approach is presented in the framework of the application of differential Galois theory to integrability.
Citation: Bernard Bonnard, Thierry Combot, Lionel Jassionnesse. Integrability methods in the time minimal coherence transfer for Ising chains of three spins. Discrete & Continuous Dynamical Systems - A, 2015, 35 (9) : 4095-4114. doi: 10.3934/dcds.2015.35.4095
References:
[1]

A. Agrachev, U. Boscain and M. Sigalotti, A Gauss-Bonnet-like formula on two-dimensional almost-Riemannian manifolds,, Discrete Contin. Dyn. Syst., 20 (2008), 801. doi: 10.3934/dcds.2008.20.801.

[2]

V. I. Arnold, Mathematical Methods of Classical Mechanics,, Translated from the Russian by K. Vogtmann and A. Weinstein. Second edition. Graduate Texts in Mathematics, (1989). doi: 10.1007/978-1-4757-2063-1.

[3]

M. Audin, Les Systèmes Hamiltoniens Et Leur Intégrabilité, (French) [Hamiltonian Systems and Their Integrability],, Cours Spécialisés [Specialized Courses], (2001).

[4]

D. Birkhoff, Dynamical Systems,, American society colloquium publications, (1927).

[5]

A. V. Bolsinov and A. T. Fomenko, Integrable Geodesic Flows on Two-Dimensional Surfaces,, Monographs in contemporary mathematrics, (2000). doi: 10.1007/978-1-4615-4307-7.

[6]

B. Bonnard and J.-B. Caillau, Metrics with equatorial singularities on the sphere,, Ann. Mat. Pura Appl., 193 (2014), 1353. doi: 10.1007/s10231-013-0333-y.

[7]

B. Bonnard, O. Cots and L. Jassionnesse, Geometric and numerical techniques to compute conjugate and cut loci on Riemannian surfaces,, Geometric Control Theory and Sub-Riemannian Geometry, 5 (2014), 53. doi: 10.1007/978-3-319-02132-4_4.

[8]

B. Bonnard, O. Cots, J.-B. Pomet and N. Shcherbakova, Riemannian metrics on 2d-manifolds related to the Euler-Poinsot rigid body motion,, ESAIM Control Optim. Calc. Var., 20 (2014), 864. doi: 10.1051/cocv/2013087.

[9]

U. Boscain, T. Chambrion and G. Charlot, Nonisotropic 3-level quantum systems: Complete solutions for minimum time and minimum energy,, Discrete Contin. Dyn. Syst. Ser. B, 5 (2005), 957. doi: 10.3934/dcdsb.2005.5.957.

[10]

J. I. Itoh and K. Kiyohara, The cut loci and the conjugate loci on ellipsoids,, Manuscripta Math., 114 (2004), 247. doi: 10.1007/s00229-004-0455-z.

[11]

J. I. Itoh and K. Kiyohara, Cut loci and conjugate loci on Liouville surfaces,, Manuscripta Math., 136 (2011), 115. doi: 10.1007/s00229-011-0433-1.

[12]

L. Jassionnesse, Contrôle Optimal et Métriques de Clairaut-Liouville Avec Applications,, Ph.D thesis, (2014).

[13]

V. Jurdjevic, Geometric Control Theory,, Studies in Advanced Mathematics, (1997).

[14]

N. Khaneja, S. J. Glaser and R. Brockett, Sub-Riemannian geometry and time optimal control of three spin systems: quantum gates and coherence transfer,, Phys. Rev. A (3), 65 (2002). doi: 10.1103/PhysRevA.65.032301.

[15]

J. J. Kovacic, An algorithm for solving second order linear homogeneous differential equations,, J. Symbolic Comput., 2 (1986), 3. doi: 10.1016/S0747-7171(86)80010-4.

[16]

D. F. Lawden, Elliptic Functions and Applications,, Applied Mathematical Sciences, (1989). doi: 10.1007/978-1-4757-3980-0.

[17]

H. Levitt, Spin Dynamics - Basics of Nuclear Magnetic Resonance,, (2001) Wiley (686 pages)., (2001).

[18]

J. J. Morales-Ruiz and J. P. Ramis, Integrability of dynamical systems through differential Galois theory: A practical guide,, Differential algebra, 509 (2010), 143. doi: 10.1090/conm/509/09980.

[19]

L. S. Pontryagin, V. G. Boltyanskii, R. V. Gamkrelidze and E. F. Mishchenko, The Mathematical Theory of Optimal Processes,, Translated from the Russian by K. N. Trirogoff; edited by L. W. Neustadt Interscience Publishers John Wiley & Sons, (1962).

[20]

M. Singer and F. Ulmer, Galois groups of second and third order linear differential equations,, J. Symbolic Comput., 16 (1993), 9. doi: 10.1006/jsco.1993.1032.

[21]

M. van der Put and M. Singer, Galois Theory of Linear Differential Equations,, Springer-Verlag, (2003). doi: 10.1007/978-3-642-55750-7.

[22]

H. Yuan, Geometry, Optimal Control and Quantum Computing,, Ph.D thesis, (2006).

[23]

H. Yuan, R. Zeier and N. Khaneja, Elliptic functions and efficient control of Ising spin chains with unequal couplings,, Phys. Rev. A, 77 (2008). doi: 10.1103/PhysRevA.77.032340.

show all references

References:
[1]

A. Agrachev, U. Boscain and M. Sigalotti, A Gauss-Bonnet-like formula on two-dimensional almost-Riemannian manifolds,, Discrete Contin. Dyn. Syst., 20 (2008), 801. doi: 10.3934/dcds.2008.20.801.

[2]

V. I. Arnold, Mathematical Methods of Classical Mechanics,, Translated from the Russian by K. Vogtmann and A. Weinstein. Second edition. Graduate Texts in Mathematics, (1989). doi: 10.1007/978-1-4757-2063-1.

[3]

M. Audin, Les Systèmes Hamiltoniens Et Leur Intégrabilité, (French) [Hamiltonian Systems and Their Integrability],, Cours Spécialisés [Specialized Courses], (2001).

[4]

D. Birkhoff, Dynamical Systems,, American society colloquium publications, (1927).

[5]

A. V. Bolsinov and A. T. Fomenko, Integrable Geodesic Flows on Two-Dimensional Surfaces,, Monographs in contemporary mathematrics, (2000). doi: 10.1007/978-1-4615-4307-7.

[6]

B. Bonnard and J.-B. Caillau, Metrics with equatorial singularities on the sphere,, Ann. Mat. Pura Appl., 193 (2014), 1353. doi: 10.1007/s10231-013-0333-y.

[7]

B. Bonnard, O. Cots and L. Jassionnesse, Geometric and numerical techniques to compute conjugate and cut loci on Riemannian surfaces,, Geometric Control Theory and Sub-Riemannian Geometry, 5 (2014), 53. doi: 10.1007/978-3-319-02132-4_4.

[8]

B. Bonnard, O. Cots, J.-B. Pomet and N. Shcherbakova, Riemannian metrics on 2d-manifolds related to the Euler-Poinsot rigid body motion,, ESAIM Control Optim. Calc. Var., 20 (2014), 864. doi: 10.1051/cocv/2013087.

[9]

U. Boscain, T. Chambrion and G. Charlot, Nonisotropic 3-level quantum systems: Complete solutions for minimum time and minimum energy,, Discrete Contin. Dyn. Syst. Ser. B, 5 (2005), 957. doi: 10.3934/dcdsb.2005.5.957.

[10]

J. I. Itoh and K. Kiyohara, The cut loci and the conjugate loci on ellipsoids,, Manuscripta Math., 114 (2004), 247. doi: 10.1007/s00229-004-0455-z.

[11]

J. I. Itoh and K. Kiyohara, Cut loci and conjugate loci on Liouville surfaces,, Manuscripta Math., 136 (2011), 115. doi: 10.1007/s00229-011-0433-1.

[12]

L. Jassionnesse, Contrôle Optimal et Métriques de Clairaut-Liouville Avec Applications,, Ph.D thesis, (2014).

[13]

V. Jurdjevic, Geometric Control Theory,, Studies in Advanced Mathematics, (1997).

[14]

N. Khaneja, S. J. Glaser and R. Brockett, Sub-Riemannian geometry and time optimal control of three spin systems: quantum gates and coherence transfer,, Phys. Rev. A (3), 65 (2002). doi: 10.1103/PhysRevA.65.032301.

[15]

J. J. Kovacic, An algorithm for solving second order linear homogeneous differential equations,, J. Symbolic Comput., 2 (1986), 3. doi: 10.1016/S0747-7171(86)80010-4.

[16]

D. F. Lawden, Elliptic Functions and Applications,, Applied Mathematical Sciences, (1989). doi: 10.1007/978-1-4757-3980-0.

[17]

H. Levitt, Spin Dynamics - Basics of Nuclear Magnetic Resonance,, (2001) Wiley (686 pages)., (2001).

[18]

J. J. Morales-Ruiz and J. P. Ramis, Integrability of dynamical systems through differential Galois theory: A practical guide,, Differential algebra, 509 (2010), 143. doi: 10.1090/conm/509/09980.

[19]

L. S. Pontryagin, V. G. Boltyanskii, R. V. Gamkrelidze and E. F. Mishchenko, The Mathematical Theory of Optimal Processes,, Translated from the Russian by K. N. Trirogoff; edited by L. W. Neustadt Interscience Publishers John Wiley & Sons, (1962).

[20]

M. Singer and F. Ulmer, Galois groups of second and third order linear differential equations,, J. Symbolic Comput., 16 (1993), 9. doi: 10.1006/jsco.1993.1032.

[21]

M. van der Put and M. Singer, Galois Theory of Linear Differential Equations,, Springer-Verlag, (2003). doi: 10.1007/978-3-642-55750-7.

[22]

H. Yuan, Geometry, Optimal Control and Quantum Computing,, Ph.D thesis, (2006).

[23]

H. Yuan, R. Zeier and N. Khaneja, Elliptic functions and efficient control of Ising spin chains with unequal couplings,, Phys. Rev. A, 77 (2008). doi: 10.1103/PhysRevA.77.032340.

[1]

Elie Assémat, Marc Lapert, Dominique Sugny, Steffen J. Glaser. On the application of geometric optimal control theory to Nuclear Magnetic Resonance. Mathematical Control & Related Fields, 2013, 3 (4) : 375-396. doi: 10.3934/mcrf.2013.3.375

[2]

David Blázquez-Sanz, Juan J. Morales-Ruiz. Lie's reduction method and differential Galois theory in the complex analytic context. Discrete & Continuous Dynamical Systems - A, 2012, 32 (2) : 353-379. doi: 10.3934/dcds.2012.32.353

[3]

Ulrike Kant, Werner M. Seiler. Singularities in the geometric theory of differential equations. Conference Publications, 2011, 2011 (Special) : 784-793. doi: 10.3934/proc.2011.2011.784

[4]

Elimhan N. Mahmudov. Optimal control of Sturm-Liouville type evolution differential inclusions with endpoint constraints. Journal of Industrial & Management Optimization, 2017, 13 (5) : 1-18. doi: 10.3934/jimo.2019066

[5]

Robert J. McCann. A glimpse into the differential topology and geometry of optimal transport. Discrete & Continuous Dynamical Systems - A, 2014, 34 (4) : 1605-1621. doi: 10.3934/dcds.2014.34.1605

[6]

M. Delgado-Téllez, Alberto Ibort. On the geometry and topology of singular optimal control problems and their solutions. Conference Publications, 2003, 2003 (Special) : 223-233. doi: 10.3934/proc.2003.2003.223

[7]

B. Bonnard, J.-B. Caillau, E. Trélat. Geometric optimal control of elliptic Keplerian orbits. Discrete & Continuous Dynamical Systems - B, 2005, 5 (4) : 929-956. doi: 10.3934/dcdsb.2005.5.929

[8]

Antonio Fernández, Pedro L. García. Regular discretizations in optimal control theory. Journal of Geometric Mechanics, 2013, 5 (4) : 415-432. doi: 10.3934/jgm.2013.5.415

[9]

K. Renee Fister, Jennifer Hughes Donnelly. Immunotherapy: An Optimal Control Theory Approach. Mathematical Biosciences & Engineering, 2005, 2 (3) : 499-510. doi: 10.3934/mbe.2005.2.499

[10]

Shi Jin, Dongsheng Yin. Computational high frequency wave diffraction by a corner via the Liouville equation and geometric theory of diffraction. Kinetic & Related Models, 2011, 4 (1) : 295-316. doi: 10.3934/krm.2011.4.295

[11]

Robert J. Kipka, Yuri S. Ledyaev. Optimal control of differential inclusions on manifolds. Discrete & Continuous Dynamical Systems - A, 2015, 35 (9) : 4455-4475. doi: 10.3934/dcds.2015.35.4455

[12]

K.F.C. Yiu, K.L. Mak, K. L. Teo. Airfoil design via optimal control theory. Journal of Industrial & Management Optimization, 2005, 1 (1) : 133-148. doi: 10.3934/jimo.2005.1.133

[13]

Dingjun Yao, Rongming Wang, Lin Xu. Optimal asset control of a geometric Brownian motion with the transaction costs and bankruptcy permission. Journal of Industrial & Management Optimization, 2015, 11 (2) : 461-478. doi: 10.3934/jimo.2015.11.461

[14]

Monique Chyba, Geoff Patterson, Gautier Picot, Mikael Granvik, Robert Jedicke, Jeremie Vaubaillon. Designing rendezvous missions with mini-moons using geometric optimal control. Journal of Industrial & Management Optimization, 2014, 10 (2) : 477-501. doi: 10.3934/jimo.2014.10.477

[15]

Ciro D'Apice, Peter I. Kogut, Rosanna Manzo. On relaxation of state constrained optimal control problem for a PDE-ODE model of supply chains. Networks & Heterogeneous Media, 2014, 9 (3) : 501-518. doi: 10.3934/nhm.2014.9.501

[16]

K. F. Cedric Yiu, S. Y. Wang, K. L. Mak. Optimal portfolios under a value-at-risk constraint with applications to inventory control in supply chains. Journal of Industrial & Management Optimization, 2008, 4 (1) : 81-94. doi: 10.3934/jimo.2008.4.81

[17]

Salah Eddine Choutri, Boualem Djehiche, Hamidou Tembine. Optimal control and zero-sum games for Markov chains of mean-field type. Mathematical Control & Related Fields, 2019, 9 (3) : 571-605. doi: 10.3934/mcrf.2019026

[18]

Elimhan N. Mahmudov. Optimal control of evolution differential inclusions with polynomial linear differential operators. Evolution Equations & Control Theory, 2019, 8 (3) : 603-619. doi: 10.3934/eect.2019028

[19]

Dariusz Idczak, Rafał Kamocki. Existence of optimal solutions to lagrange problem for a fractional nonlinear control system with riemann-liouville derivative. Mathematical Control & Related Fields, 2017, 7 (3) : 449-464. doi: 10.3934/mcrf.2017016

[20]

Zaidong Zhan, Shuping Chen, Wei Wei. A unified theory of maximum principle for continuous and discrete time optimal control problems. Mathematical Control & Related Fields, 2012, 2 (2) : 195-215. doi: 10.3934/mcrf.2012.2.195

2017 Impact Factor: 1.179

Metrics

  • PDF downloads (4)
  • HTML views (0)
  • Cited by (1)

[Back to Top]