Peut-on interroger les boîtes noires pour la cohérence quantique?

10

Cette question est basée sur un scénario qui est en partie hypothétique et en partie basé sur les caractéristiques expérimentales des dispositifs quantiques à base de molécules, qui présentent souvent une évolution quantique et ont un certain potentiel d'évolutivité, mais sont généralement extrêmement difficiles à caractériser en détail (un un exemple pertinent mais non unique est une série de travaux liés à ce contrôle électrique des qubits de spin nucléaire dans des molécules uniques ).

Le scénario: Disons que nous avons une variété de boîtes noires, chacune étant capable de traiter des informations. Nous ne contrôlons pas l'évolution quantique des boîtes; dans le langage du modèle de circuit quantique, nous ne contrôlons pas la séquence des portes quantiques. Nous savons que chaque boîte noire est câblée à un algorithme différent, ou, plus réaliste, à un hamiltonien différent en fonction du temps, y compris une évolution incohérente. Nous ne connaissons pas les détails de chaque boîte noire. En particulier, nous ne savons pas si leur dynamique quantique est suffisamment cohérente pour produire une mise en œuvre utile d'un algorithme quantique (appelons ici cette " quanticité "; la limite inférieure pour cela serait "elle se distingue d'une carte classique") . Pour travailler avec nos boîtes noires vers cet objectif,nous savons seulement comment les alimenter en entrées classiques et obtenir des sorties classiques . Distinguons ici deux sous-scénarios:

  1. Nous ne pouvons pas nous enchevêtrer nous-mêmes: nous utilisons des états de produit comme entrées et des mesures de qubit unique sur les sorties. Cependant, nous pouvons choisir la base de notre préparation d'entrée et de nos mesures (au minimum, entre deux bases orthogonales).
  2. Comme ci-dessus, mais nous ne pouvons pas choisir les bases et devons travailler sur une base fixe et "naturelle".

L'objectif: vérifier, pour une boîte noire donnée, la quanticité de sa dynamique. Au moins, pour 2 ou 3 qubits, comme preuve de concept, et idéalement aussi pour des tailles d'entrée plus grandes.

La question: dans ce scénario, existe-t-il une série de tests de corrélation, à la manière des inégalités de Bell , qui peuvent atteindre cet objectif?

agaitaarino
la source
1
Est-ce donc précisément la cohérence qui devrait être observée ou non? Dans tous les cas, vous trouverez peut-être cette préimpression intéressante.
Kiro
1
En effet, 1212.0194 par Nori et al semble très intéressant, je vais le vérifier avec plus de soin. En tout cas, j'ai édité la question en essayant d'être plus clair tant dans les objectifs que dans les conditions.
agaitaarino

Réponses:

2

Supposons que votre boîte noire traite les entrées classiques (c'est-à-dire une chaîne de bits) aux sorties classiques de manière déterministe, c'est-à-dire qu'elle définit une fonction .f:xy

Si vous ne pouvez préparer et mesurer que des états séparables sur cette base, tout ce que vous pouvez déterminer est ce qu'est cette fonction . En supposant que toutes les sorties sont différentes, cela aurait pu être calculé soit par un calcul classique réversible soit par un calcul quantique, et vous ne seriez pas en mesure de le dire.f

Supposons donc que vous puissiez préparer les états du produit et mesurer dans deux bases différentes, et Z pour les besoins de l'argument. Une chose que vous pourriez faire (qui peut être désespérément inefficace pour tout ce que je sais, mais c'est quelque part pour commencer) est de déterminer d'abord la fonction f ( x ) en utilisant la base Z. Ensuite, pour tout couple de chaîne de bits x 1 et x 2 qui diffèrent dans une seule position, préparer l'état ( | x 1 ± | x 2 ) / XZf(x)Zx1x2 . Il s'agit d'un état de produit, utilisant labaseZsur tous les sites sauf un. Supposons que les sortiesy1=f(x1)ety2f(x2)diffèrent surk>0sites. (Sik=0, l'évolution n'était de toute façon pas cohérente.) Pour les bits oùy1ety2sont censés être égaux, mesurez-les simplement sur labaseZpour vous assurer d'obtenir ce que vous attendez. Sur leskrestants(|x1±|x2)/2Zy1=f(x1)y2f(x2)k>0k=0y1y2Zksites, si la boîte noire est cohérente, vous recevez un état GHZ de qubits, 1k S'il était complètement incohérent, vous obtiendriez un état mixte de rang deux 1

12(|y1±|y2).
Sik=1, vous pouvez les distinguer directement en mesurant ce qubit dans labaseX(en répétant plusieurs fois pour obtenir des statistiques). Pourk>1,vous avez quelques options. Soit vous pouvez effectuer un test de Bell (k=2
12(|y1y1|+|y2y2|).
k=1Xk>1k=2) ou l'équivalent pour les états GHZ (tels que les preuves «tout contre rien»), ou appliquer un témoin d'enchevêtrement (certains sont basés sur des observables à un seul qubit). Alternativement, mesurez chaque qubit dans la base et enregistrez les résultats. Dans le cas de l'état enchevêtré, le dernier résultat devrait être entièrement prévisible sur la base des résultats précédents. Pour l'état mixte, la réponse sera totalement imprévisible. Si vous voulez faire une déclaration plus quantitative, vous pouvez utiliser quelque chose comme une entropie, H ( X | Y )X est la variable aléatoire décrivant la sortie de la dernière mesure, et Y est la variable aléatoire décrivant le résultat de tous les mesures précédentes.XH(X|Y)XY

XX

Bien sûr, alors que cela vous dit quelque chose sur la cohérence de la mise en œuvre de la boîte noire, que la cohérence contribue ou non à la vitesse de fonctionnement de la boîte noire est une question complètement différente (par exemple, c'est le genre de chose que les gens veulent connaître les processus de transport des bactéries photosynthétiques, ou même quelque chose comme D-Wave).

DaftWullie
la source
4

Pourquoi ne pas saisir la moitié d'un état enchevêtré maximal comme entrée dans la boîte noire (de sorte que la moitié ait la même dimension que la dimension d'entrée)? Ensuite, vous pouvez tester votre mesure préférée , telle que la pureté , de l'état de sortie complet. Si l'oracle correspond à une évolution unitaire, la pureté est 1. Plus la cohérence est faible, plus la pureté est petite. Incidemment, l'état de sortie décrit la carte que la boîte noire implémente, via l' isomorphisme de Choi-Jamiołkowski .

DaftWullie
la source
Au matériel que vous avez suggéré, j'ajouterais pour plus de lisibilité cette explication intuitive de l'isomorphisme de Choi-Jamiolkowski . J'ai réécrit la question, motivée par votre réponse et par l'autre réponse qui a été offerte. En particulier, je supposais que l'on n'est pas en mesure de préparer un état enchevêtré en entrée, et si je comprends bien votre suggestion, c'est un problème critique.
agaitaarino
1
Je n'avais clairement pas compris la spécification d'entrée / sortie classique de votre question en première lecture. Si vous avez une seule base fixe d'entrée et de sortie, je suppose qu'il n'y a pas grand-chose que vous puissiez faire, sauf pour compter le nombre de réponses différentes que vous pouvez obtenir sur toutes les entrées possibles (peut-être que la distribution des réponses serait également pertinente). Si la boîte noire est cohérente, en mappant les états du produit dans cette base choisie dans d'autres états du produit dans cette base, chaque sortie doit être unique. Mais ce serait aussi pour un calcul réversible classique, et je ne vois pas comment vous distingueriez les deux.
DaftWullie
2

Je ne sais pas exactement ce que vous entendez par quantum de votre boîte noire. Il existe donc peut-être des approches plus sophistiquées (similaire à l'autre réponse, vous pouvez utiliser un témoin d'enchevêtrement pour montrer que votre boîte noire ne se brise pas enchevêtrement). Cependant, en général, vous pouvez effectuer une tomographie par processus quantique (voir par exemple arXiv: quant-ph / 9611013 ).

M. Stern
la source
Merci! De même, permettez-moi de vérifier le papier avec soin avant de revenir vers vous, mais sur un premier vire, cela semble être beaucoup plus proche de ce que j'ai demandé, car dans arXiv: quant-ph / 9611013 on peut utiliser un état de produit comme état initial (plus compatible avec "Nous savons comment les alimenter en entrées classiques").
agaitaarino
1
@agaitaarino Apparemment, je n'ai pas prêté beaucoup d'attention à cette phrase. Si par entrées et sorties classiques vous entendez une seule base, la tomographie par processus ne fonctionnera pas. Avec cette restriction, il n'y a aucun moyen de distinguer la boîte d'une carte classique.
M. Stern
J'ai essayé d'améliorer la question pour distinguer les deux sous-scénarios. Si je comprends votre réponse, pour le sous-scénario 1, le problème est résolu (au moins dans quant-ph / 9611013 pour un cas particulier) tandis que pour le sous-scénario 2, il est insoluble. Est-ce exact?
agaitaarino