<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8"/>
    <title>Project-Team:GECO</title>
    <link rel="stylesheet" href="../static/css/raweb.css" type="text/css"/>
    <meta name="description" content="Application Domains - Quantum control"/>
    <meta name="dc.title" content="Application Domains - Quantum control"/>
    <meta name="dc.subject" content=""/>
    <meta name="dc.publisher" content="INRIA"/>
    <meta name="dc.date" content="(SCHEME=ISO8601) 2016-01"/>
    <meta name="dc.type" content="Report"/>
    <meta name="dc.language" content="(SCHEME=ISO639-1) en"/>
    <meta name="projet" content="GECO"/>
    <script type="text/javascript" src="https://raweb.inria.fr/rapportsactivite/RA2016/static/MathJax/MathJax.js?config=TeX-MML-AM_CHTML">
      <!--MathJax-->
    </script>
  </head>
  <body>
    <div class="tdmdiv">
      <div class="logo">
        <a href="http://www.inria.fr">
          <img style="align:bottom; border:none" src="../static/img/icons/logo_INRIA-coul.jpg" alt="Inria"/>
        </a>
      </div>
      <div class="TdmEntry">
        <div class="tdmentete">
          <a href="uid0.html">Project-Team Geco</a>
        </div>
        <span>
          <a href="uid1.html">Members</a>
        </span>
      </div>
      <div class="TdmEntry">
        <a href="./uid3.html">Overall Objectives</a>
      </div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid5.html&#10;&#9;&#9;  ">Geometric control theory</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li class="tdmActPage"><a href="uid11.html&#10;&#9;&#9;  ">Quantum control</a></li><li><a href="uid21.html&#10;&#9;&#9;  ">Neurophysiology</a></li><li><a href="uid24.html&#10;&#9;&#9;  ">Switched systems</a></li></ul></div>
      <div class="TdmEntry">
        <a href="./uid26.html">Highlights of the Year</a>
      </div>
      <div class="TdmEntry">New Software and Platforms<ul><li><a href="uid28.html&#10;&#9;&#9;  ">ARTIV1 INPAINTING</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid31.html&#10;&#9;&#9;  ">New results: geometric control</a></li><li><a href="uid42.html&#10;&#9;&#9;  ">New results: quantum control</a></li><li><a href="uid44.html&#10;&#9;&#9;  ">New results: neurophysiology</a></li><li><a href="uid45.html&#10;&#9;&#9;  ">New results: switched systems</a></li></ul></div>
      <div class="TdmEntry">Partnerships and Cooperations<ul><li><a href="uid49.html&#10;&#9;&#9;  ">Regional Initiatives</a></li><li><a href="uid56.html&#10;&#9;&#9;  ">National Initiatives</a></li><li><a href="uid59.html&#10;&#9;&#9;  ">European Initiatives</a></li><li><a href="uid67.html&#10;&#9;&#9;  ">International Initiatives</a></li><li><a href="uid76.html&#10;&#9;&#9;  ">International Research Visitors</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid80.html&#10;&#9;&#9;  ">Promoting Scientific Activities</a></li><li><a href="uid105.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</a></li><li><a href="uid116.html&#10;&#9;&#9;  ">Popularization</a></li></ul></div>
      <div class="TdmEntry">
        <div>Bibliography</div>
      </div>
      <div class="TdmEntry">
        <ul>
          <li>
            <a id="tdmbibentyear" href="bibliography.html">Publications of the year</a>
          </li>
          <li>
            <a id="tdmbibentfoot" href="bibliography.html#References">References in notes</a>
          </li>
        </ul>
      </div>
    </div>
    <div id="main">
      <div class="mainentete">
        <div id="head_agauche">
          <small><a href="http://www.inria.fr">
	    
	    Inria
	  </a> | <a href="../index.html">
	    
	    Raweb 
	    2016</a> | <a href="http://www.inria.fr/en/teams/geco">Presentation of the Project-Team GECO</a> | <a href="http://www.cmap.polytechnique.fr/~sigalotti/geco/geco.html">GECO Web Site
	  </a></small>
        </div>
        <div id="head_adroite">
          <table class="qrcode">
            <tr>
              <td>
                <a href="geco.xml">
                  <img style="align:bottom; border:none" alt="XML" src="../static/img/icons/xml_motif.png"/>
                </a>
              </td>
              <td>
                <a href="geco.pdf">
                  <img style="align:bottom; border:none" alt="PDF" src="IMG/qrcode-geco-pdf.png"/>
                </a>
              </td>
              <td>
                <a href="../geco/geco.epub">
                  <img style="align:bottom; border:none" alt="e-pub" src="IMG/qrcode-geco-epub.png"/>
                </a>
              </td>
            </tr>
            <tr>
              <td/>
              <td>PDF
</td>
              <td>e-Pub
</td>
            </tr>
          </table>
        </div>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid5.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid21.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
      <div id="textepage">
        <!--DEBUT2 du corps du module-->
        <h2>Section: 
      Application Domains</h2>
        <h3 class="titre3">Quantum control</h3>
        <p>The issue of designing efficient transfers between
different
atomic or molecular levels is crucial in atomic and molecular physics,
in particular because of its importance in those fields such as
photochemistry (control by laser pulses of chemical reactions), nuclear magnetic resonance (NMR, control by a magnetic field of spin dynamics)
and, on a more distant time horizon,
the strategic
domain of
quantum computing.
This last application
explicitly relies on the design
of quantum gates, each of them being, in essence,
an open loop
control law devoted to a prescribed
simultaneous control action. NMR is one of the most promising techniques for the implementation of a quantum computer.</p>
        <p>Physically, the control action
is realized by
exciting the quantum system
by means of one or several external fields, being them magnetic or electric fields.
The resulting control problem has attracted increasing attention,
especially among quantum physicists and chemists (see, for instance, <a href="./bibliography.html#geco-2016-bid13">[81]</a>, <a href="./bibliography.html#geco-2016-bid14">[86]</a>).
The rapid evolution of the domain is driven by
a multitude of
experiments getting more and more precise and complex (see the recent review <a href="./bibliography.html#geco-2016-bid15">[42]</a>). Control strategies have been proposed and implemented, both on numerical simulations and on physical systems,
but there is still a large gap to fill before
getting a complete picture of the control properties of quantum systems. Control techniques should necessarily be
innovative, in order to take into account the physical peculiarities of the model and the specific experimental constraints.</p>
        <p>The area where the picture got clearer
is given by finite dimensional linear closed models.</p>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid12"> </a><b>Finite dimensional</b> refers to the dimension of the space of wave functions, and, accordingly, to the finite number of energy levels.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid13"> </a><b>Linear</b> means that the evolution of the system for a fixed (constant in time) value of the control is determined by a linear vector field.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid14"> </a><b>Closed</b> refers to the fact that the systems are assumed to be totally disconnected from
the environment, resulting in the conservation of
the norm of the wave function.</p>
          </li>
        </ul>
        <p>The resulting
model
is well suited for describing spin systems and also arises naturally when infinite dimensional quantum systems of the type discussed below are replaced
by their finite dimensional Galerkin approximations.
Without seeking exhaustiveness, let us mention some
of the issues that have been tackled for finite dimensional linear closed quantum systems:</p>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid15"> </a>controllability <a href="./bibliography.html#geco-2016-bid16">[24]</a>,</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid16"> </a>bounds on the controllability time <a href="./bibliography.html#geco-2016-bid17">[20]</a>,</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid17"> </a>STIRAP processes <a href="./bibliography.html#geco-2016-bid18">[91]</a>,</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid18"> </a>simultaneous control <a href="./bibliography.html#geco-2016-bid19">[64]</a>,</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid19"> </a>optimal control ( <a href="./bibliography.html#geco-2016-bid20">[60]</a>, <a href="./bibliography.html#geco-2016-bid21">[33]</a>, <a href="./bibliography.html#geco-2016-bid22">[44]</a>),</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid20"> </a>numerical simulations <a href="./bibliography.html#geco-2016-bid23">[70]</a>.</p>
          </li>
        </ul>
        <p>Several of these results use suitable transformations or approximations (for instance the so-called rotating wave) to reformulate the finite-dimensional Schrödinger equation as a sub-Riemannian system.
Open systems have also been the object of an intensive
research activity (see, for instance, <a href="./bibliography.html#geco-2016-bid24">[25]</a>, <a href="./bibliography.html#geco-2016-bid25">[61]</a>, <a href="./bibliography.html#geco-2016-bid26">[82]</a>, <a href="./bibliography.html#geco-2016-bid27">[39]</a>).</p>
        <p>In the case where the state space is infinite dimensional,
some optimal control results are known (see, for instance, <a href="./bibliography.html#geco-2016-bid28">[29]</a>, <a href="./bibliography.html#geco-2016-bid29">[40]</a>, <a href="./bibliography.html#geco-2016-bid30">[57]</a>, <a href="./bibliography.html#geco-2016-bid31">[30]</a>).
The controllability issue is less understood than in the finite dimensional setting, but
several advances should be mentioned.
First of all, it is known
that one cannot expect exact controllability on the whole Hilbert sphere <a href="./bibliography.html#geco-2016-bid32">[90]</a>.
Moreover, it has been shown that a relevant model, the quantum oscillator, is not even approximately controllable <a href="./bibliography.html#geco-2016-bid33">[83]</a>, <a href="./bibliography.html#geco-2016-bid34">[73]</a>.
These negative results have been more recently completed by positive ones.
In <a href="./bibliography.html#geco-2016-bid35">[31]</a>, <a href="./bibliography.html#geco-2016-bid36">[32]</a>
Beauchard and Coron obtained the first positive controllability result for a quantum particle in a 1D potential well.
The result is highly nontrivial and is based on Coron's return method (see <a href="./bibliography.html#geco-2016-bid37">[46]</a>).
Exact controllability is proven to hold among regular enough wave functions. In particular, exact controllability among eigenfunctions of the uncontrolled Schrödinger operator can be achieved. Other important approximate controllability results have then been proved using Lyapunov methods <a href="./bibliography.html#geco-2016-bid38">[72]</a>, <a href="./bibliography.html#geco-2016-bid39">[77]</a>, <a href="./bibliography.html#geco-2016-bid40">[58]</a>. While <a href="./bibliography.html#geco-2016-bid38">[72]</a> studies a controlled Schrödinger equation in <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>ℝ</mi></math></span> for which the uncontrolled Schrödinger operator has mixed spectrum, <a href="./bibliography.html#geco-2016-bid39">[77]</a>, <a href="./bibliography.html#geco-2016-bid40">[58]</a> deal mainly with general discrete-spectrum Schrödinger operators.</p>
        <p>In all the positive results recalled in the previous paragraph, the quantum system is steered by a single external field.
Different techniques can be applied in the case of two or more external fields, leading to additional controllability results
<a href="./bibliography.html#geco-2016-bid41">[49]</a>, <a href="./bibliography.html#geco-2016-bid42">[36]</a>.</p>
        <p>The picture is even
less clear for
nonlinear models, such as Gross–Pitaevski and Hartree–Fock
equations. The obstructions to exact controllability, similar to the ones mentioned in the linear case, have been discussed in <a href="./bibliography.html#geco-2016-bid43">[55]</a>.
Optimal control approaches have also been considered <a href="./bibliography.html#geco-2016-bid44">[28]</a>, <a href="./bibliography.html#geco-2016-bid45">[41]</a>. A comprehensive controllability analysis of such models is probably
a long way away.</p>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid5.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid21.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
    </div>
  </body>
</html>
