Premièrement : Le document fait référence à [ 37 ] pour Levy's Lemma, mais vous ne trouverez aucune mention de "Levy's Lemma" dans [37]. Vous le trouverez appelé "Levy's Inequality", qui est appelé Levy's Lemma dans ce document , qui n'est pas cité dans le document que vous mentionnez.
Deuxièmement : il existe une preuve facile que cette affirmation est fausse pour VQE. En chimie quantique, nous optimisons les paramètres d'une fonction d'onde ansatz afin d'obtenir l'énergie la plus basse (c'est-à-dire la plus précise). L'énergie est évaluée par:|Ψ(p⃗ )⟩
Ep⃗ =⟨Ψ(p⃗ )|H|Ψ(p⃗ )⟩⟨Ψ(p⃗ )|Ψ(p⃗ )⟩.
VQE signifie simplement que nous utilisons un ordinateur quantique pour évaluer cette énergie, et un ordinateur classique pour choisir comment améliorer les paramètres dans afin que l'énergie soit plus faible lors de la prochaine itération quantique.p⃗
Donc, que le "gradient soit ou non sera 0 presque partout quand le nombre de paramètres dans est grand" ne dépend pas du tout si nous utilisons VQE (sur un ordinateur quantique) ou si nous exécutons simplement un standard programme de chimie quantique (comme le gaussien ) sur un ordinateur classique. Les chimistes quantiques optimisent généralement de manière variable l'énergie ci-dessus avec jusqu'à paramètres dans , et la seule raison pour laquelle nous n'allons pas au-delà est parce que nous manquons de RAM, pas parce que le paysage énergétique commence à devenir plat. Dans cet article, vous pouvez voir à la fin du résumé qu'ils ont calculé l'énergie pour une fonction d'onde avec environ paramètres 1010 → p 1012p⃗ 1010p⃗ 1012, où les paramètres sont des coefficients des déterminants de Slater. Il est généralement connu que le paysage énergétique n'est pas si plat (comme il le serait si le gradient était égal à 0 presque partout) même lorsqu'il y a un billion de paramètres ou même plus.
Conclusion : L'application du lemme de Levy dépendra du paysage énergétique particulier que vous avez, qui dépendra à la fois de et de votre ansatz . Dans le cas de leur mise en œuvre particulière des QNN, ils ont trouvé qu'une application du lemme de Levy était appropriée. Dans le cas de VQE, nous avons un contre-exemple à l'affirmation selon laquelle le lemme de Levy's s'applique "toujours". Le contre-exemple où le lemme de Levy ne s'applique pas est lorsque est un hamiltonien moléculaire et est une fonction d'onde CI . | Ψ ( → p ) ⟩ H | Ψ ⟩H|Ψ(p⃗ )⟩H|Ψ⟩