L'horloge quantique et le théorème d'autonomisation

L'idée est d'autonomiser la dynamique : supprimer la dépendance temporelle explicite en promouvant le contrôleur au rang de système quantique. On introduit pour cela une horloge quantique C, couplée au système S par un hamiltonien total indépendant du temps :

   Ĥ_tot = Ĥ_C + Ĥ_int                        (independant du temps)
   Ĥ_int = ∫ dt'  Ĥ_S(t') ⊗ |t'⟩⟨t'|          (couplage horloge-systeme)

L'horloge possède une base d'états |t⟩ étiquetés par un « temps ». Le terme d'interaction lit cet état : quand l'horloge est dans |t'⟩, le système ressent l'hamiltonien Ĥ_S(t'). L'horloge, elle, se contente d'avancer — son hamiltonien Ĥ_C engendre la translation e^(−i Ĥ_C s) |t⟩ = |t+s⟩. Rien ne dépend explicitement du temps : l'énergie totale est conservée.

Le résultat clé est le théorème d'autonomisation. Si l'on part d'un état produit (système et horloge non corrélés), la dynamique réduite du seul système reproduit exactement l'évolution pilotée d'origine :

   etat initial :  ρ̂_tot(0) = ρ̂_S ⊗ |t₀⟩⟨t₀|
   alors        :  Tr_C[ ρ̂_tot(Δt) ] = Û(t,t₀) ρ̂_S Û†(t,t₀)     (avec t = t₀ + Δt)

Autrement dit : toute dynamique engendrée par un hamiltonien dépendant du temps admet une réalisation autonome, conservant l'énergie, sur un système plus grand. On n'a plus besoin d'agent extérieur — le « pilotage » émerge de l'interaction avec l'horloge.

C'est plus fort que la dilatation de Stinespring habituelle, qui garantit seulement que chaque évolution peut être réalisée sur un système élargi. Ici, c'est toute la famille des évolutions, à tous les instants, qui découle d'un unique hamiltonien indépendant du temps. Bonus : choisir un autre état initial d'horloge modélise naturellement un contrôle imparfait, où le temps est mal défini.