Fractional Conformal Map, Qubit Dynamics and the Leggett-Garg Inequality

Titre

Cartes conformes fractionnaires, dynamique des qubits et l'inégalité de Leggett-Garg

1. Problématique et Contexte

L'article s'intéresse à la représentation géométrique de l'évolution temporelle discrète d'un qubit. Il est bien établi que l'espace des états purs d'un qubit (la sphère de Bloch) est isomorphe à la sphère de Riemann (le plan complexe étendu, noté $\tilde{\mathbb{C}}$).

Le problème central est de classifier et d'analyser la diversité des dynamiques quantiques possibles (unitaires, non-unitaires linéaires, et non-unitaires non-linéaires) en utilisant le formalisme des cartes conformes fractionnaires (FLC). Les auteurs cherchent à déterminer comment ces cartes géométriques agissent sur l'espace de Hilbert et quelles sont leurs implications sur les corrélations temporelles, en particulier vis-à-vis de l'Inégalité de Leggett-Garg (LGI). Une question clé est de savoir sous quelles conditions ces dynamiques respectent ou violent la borne de Lüders ($K_3 \leq 3/2$), qui est une limite supérieure pour les systèmes classiques et certains systèmes quantiques unitaires.

2. Méthodologie

A. Formalisme Géométrique (Cartes FLC)
Les auteurs utilisent la projection stéréographique pour mapper l'état pur du qubit $|\psi\rangle$ vers un nombre complexe $z$ sur le plan étendu. L'évolution temporelle discrète est modélisée par une succession de cartes conformes fractionnaires (transformations de Möbius) :
$$f(z) = \frac{az + b}{cz + d}$$
où $a, b, c, d \in \mathbb{C}$ et $ad - bc \neq 0$.
L'évolution d'un état de $t_1$ à $t_3$ est obtenue par composition de ces cartes ($f_{23} \circ f_{12}$).

B. Classification des Actions sur l'Espace de Hilbert
L'étude distingue trois types d'actions induites par ces cartes :

1. Action Linéaire : Correspond aux opérateurs unitaires ($r=1$) ou aux opérateurs non-unitaires mais linéaires (comme les dynamiques de Lindblad).
2. Action Non-Linéaire : Correspond à des dynamiques où la linéarité de l'évolution sur l'espace de Hilbert est brisée (souvent associée à des mesures quantiques suivies de sélection postérieure ou à des systèmes non-Hermitiens).

C. Analyse des Corrélations Temporelles (LGI)
Pour quantifier le caractère quantique (non-classique) de ces dynamiques, les auteurs calculent le paramètre de Leggett-Garg $K_3$ basé sur trois mesures projectives d'un observable binaire $\hat{Q} = \sigma_z$ aux temps $t_1, t_2, t_3$.
$$K_3 = C_{12} + C_{23} - C_{13}$$
où $C_{ij}$ sont les corrélations à deux temps.
Les auteurs analysent également les conditions de Non-Signaling in Time (NSIT) et de Flèche du Temps (AoT) pour vérifier la cohérence avec le réalisme macroscopique.

3. Contributions Clés

1. Cadre Unificateur : L'article établit que les cartes FLC englobent un spectre large de dynamiques quantiques, incluant les cas unitaires, non-unitaires linéaires et non-unitaires non-linéaires, offrant ainsi un cadre géométrique unifié.
2. Classification des Dynamiques : Les auteurs classifient l'espace des paramètres des cartes FLC en trois catégories distinctes basées sur la linéarité de l'action et le respect de la borne de Lüders :
   • (i) Action linéaire respectant la borne de Lüders.
   • (ii) Action non-linéaire respectant la borne de Lüders.
   • (iii) Action non-linéaire violant la borne de Lüders.
3. Contrainte Mathématique pour la Borne de Lüders : Une contribution majeure est l'identification d'une contrainte mathématique sur les coefficients de la carte FLC qui garantit le respect de la borne de Lüders ($K_3 \leq 3/2$), même pour des dynamiques non-linéaires. Cette contrainte est :
   $$|a_{ij}/c_{ij}| = |d_{ij}/b_{ij}| \implies y_{ij} + z_{ij} = 1$$
   Lorsque cette condition de rapport est satisfaite, la violation de la borne de Lüders est impossible, indépendamment de l'état initial.
4. Analyse des Conditions NSIT et AoT : L'étude montre que pour la plupart des cartes FLC (surtout non-linéaires), les conditions NSIT sont violées, indiquant une incohérence avec le réalisme macroscopique, même lorsque la borne de Lüders est respectée.

4. Résultats Principaux

• Dynamiques Unitaires : Comme prévu, les cartes correspondant à des opérateurs unitaires ($r=1$) respectent toujours la borne de Lüders ($K_3 \leq 1$ dans ce cas spécifique, ou $\leq 3/2$ selon le contexte général).
• Dynamiques Non-Linéaires et Borne de Lüders :
  • Il est démontré que des dynamiques non-unitaires et non-linéaires peuvent respecter la borne de Lüders si les coefficients de la carte satisfont la contrainte de rapport spécifique (ex: $f(z) = \frac{\alpha z + \beta}{\beta z + \alpha}$).
  • À l'inverse, si cette contrainte n'est pas satisfaite, le paramètre $K_3$ peut dépasser $3/2$, atteignant des valeurs jusqu'à 3 dans certains cas extrêmes, ce qui constitue une violation forte de la borne de Lüders.
• Indépendance de l'État Initial : La maximisation de la borne de Lüders pour le paramètre $K_3$ est indépendante de l'état initial du qubit sur la sphère de Bloch, tant que les contraintes de rapport sur les coefficients de la carte sont respectées.
• Violation NSIT : Les auteurs montrent que pour une large classe de cartes FLC (non-linéaires), les conditions NSIT (qui exigent que la probabilité d'un résultat à un temps $t_j$ ne dépende pas de la mesure antérieure à $t_i$) sont systématiquement violées, sauf pour des familles de paramètres très restreintes (où le comportement redevient classique).

5. Signification et Impact

Ce travail est significatif car il fournit un pont rigoureux entre la géométrie complexe (cartes conformes) et les fondements de la mécanique quantique (dynamique, non-linéarité, inégalités temporelles).

• Compréhension des Systèmes Non-Hermitiens : Il clarifie comment les systèmes non-Hermitiens et les dynamiques induites par la mesure (souvent non-linéaires) peuvent être modélisés géométriquement et comment ils se comportent par rapport aux tests de non-classicalité comme la LGI.
• Limites du Réalisme Macroscopique : En démontrant que des dynamiques non-linéaires peuvent soit respecter, soit violer la borne de Lüders selon des contraintes algébriques précises, l'article affine notre compréhension des limites entre le monde classique et quantique.
• Outil de Classification : La classification proposée offre un outil puissant pour identifier le type de dynamique sous-jacente à partir de l'observation des corrélations temporelles et des violations d'inégalités.

En résumé, l'article démontre que la violation de la borne de Lüders n'est pas une propriété exclusive des systèmes non-linéaires, mais dépend crucialement de la structure spécifique des paramètres de la carte de transformation, offrant ainsi une nouvelle perspective sur la nature de la dynamique quantique discrète.