Jeux de portes universels pour SU (3)?

23

Dans l'informatique quantique, nous nous intéressons souvent aux cas où le groupe d'opérateurs unitaires spéciaux, G, pour un système d-dimensionnel donne exactement tout le groupe SU (d) ou même juste une approximation fournie par une couverture dense de SU (d).

Un groupe d'ordre fini, tel que le groupe de Clifford pour un système dimensionnel C (d), ne donnera pas une couverture dense. Un groupe d'ordre infini ne donnera pas une couverture dense si le groupe est abélien. Cependant, mon intuition approximative est qu'un nombre infini de portes et d'opérations de changement de base du groupe Clifford devraient suffire pour fournir une couverture dense.

Formellement, ma question est:

J'ai un groupe G qui est un sous-groupe de SU (d). G a un ordre infini et C (d) est un sous-groupe de G. Est-ce que tous ces G fournissent une couverture dense de SU (d).

Notez que je suis particulièrement intéressé par le cas où d> 2.


Je suppose que le groupe Clifford est tel que défini ici: http://arxiv.org/abs/quant-ph/9802007


la source
Pouvez-vous formuler une définition mathématique du groupe Clifford? J'ai trouvé difficile d'extraire le journal sans le lire en détail
Vanessa
N2GU(N)X Z= d i a g (1,ω, ω 2 ,, ω N - 1 )CNZ=diag(1,ω,ω2,,ωN1)ω=exp(2πi/N)Y N > 2 N = 2 X , Y , Z U ( N )Y=eπi(N1)(N+1)/NZXYN>2N=2X,Y,ZU(N)qui préserve sous conjugaison. G
Niel de Beaudrap

Réponses:

10

Ce n'est pas une réponse complète, mais peut-être que cela va dans le sens de répondre à la question.

Puisque a un ordre infini mais que ne l'est pas, alors contient nécessairement une porte de groupe non Clifford. Cependant a comme sous-groupe. Mais pour le groupe de Clifford plus toute autre porte ne faisant pas partie du groupe de Clifford est approximativement universel (voir par exemple le théorème 1 ici ). Par conséquent, tous ces fournissent une couverture dense sur .C ( d ) G G C ( d ) d = 2 G S U ( 2 n )GC(d)GGC(d)d=2GSU(2n)

Dans le cas où il semble qu'il soit possible de prouver que vous obtenez toujours une couverture dense le long des lignes suivantes (en utilisant la notation du papier lié à la question):d>2

  1. Comme toutes les portes de sont unitaires, toutes leurs valeurs propres sont des racines d'unité, que pour simplifier je paramétrerai par des angles réels .0 θ i < 2 πG0θi<2π
  2. Comme a un ordre infini, contient des portes pour lesquelles au moins une valeur est un multiple irrationnel de ou contient une approximation arbitrairement bonne d'un tel multiple irrationnel de . Désignons une telle porte .G θ k π π gGGθkππg
  3. Il existe alors un tel que est arbitrairement proche, mais pas égal à l'identité.g nngn
  4. Puisque est unitaire, il peut s'écrire . exp ( - i H )gnexp(iH)
  5. Puisque le groupe de Pauli tel que défini dans quant-ph / 9802007 forme une base pour les matrices , vous pouvez écrire , où et pour tout (par [3]), avec au moins un de zéro.H = d - 1 j , k = 0 α j k X j d Z k d α j kC | α j k | ϵ ϵ > 0 α a bd×dH=j,k=0d1αjkXdjZdkαjkC|αjk|ϵϵ>0αab
  6. Nous pouvons alors choisir un élément du groupe de Clifford qui mappe à sous conjugaison. Ainsi , où est juste une permutation de et .X j d Z k d Z dCXdjZdkZdαCgnC=exp(iCHC)=exp(i(αabZd+(j,k)(a,b)αjkXdjZdk)) Α α a b = α 01αααab=α01
  7. Notez que satisfait . Définissons .Z d ( X u d Z v d ) = ω u ( X u d Z v d ) Z d g = Z - d C g n C Z d = exp ( - i ( α a b Z d + ( j , k ) ( aZdZd(XduZdv)=ωu(XduZdv)Zdg=ZdCgnCZd=exp(i(αabZd+(j,k)(a,b)ωjαjkXdjZdk))
  8. Par le théorème de Baker-Cambel-Hausdorff, puisque tous les ont été rendus arbitrairement proches de l'identité, nous pouvons évaluer le produit de au premier ordre comme . En sommant toutes les routes d'unité, pour obtient . Il s'agit essentiellement d'une séquence de découplage qui découplent les éléments non diagonaux.g = g 1 × . . . × g d exp ( - i ( d × ( k α 0 k Z k ) + ( d = 1 ω d ) × j 0k α j k X j d Z k d ) ) d > 1 gαg=g1×...×gdexp(i(d×(kα0kZk)+(=1dωd)×j0kαjkXdjZdk))d>1g=exp(i(d×(kbα0kZk))
  9. Comme seules les matrices diagonales restent dans l'exponentielle, doit être diagonal. De plus, en raison des restrictions sur il a nécessairement des valeurs propres qui sont non nulles mais proportionnelles à .α ϵgαϵ
  10. En variant et en répétant le processus ci-dessus, il devrait être possible de générer portes linéairement indépendantes: , de telle sorte que leur produit se traduise par une porte diagonale avec des phases irrationnelles et incommensurables ou une approximation arbitrairement proche à une.ϵg 1 . . . g ddg1...gd
  11. D'après la référence donnée dans la réponse de Mark Howard, cela, avec le groupe Clifford, devrait suffire pour une universalité approximative.
Joe Fitzsimons
la source
Pourquoi n'est-ce pas complet? Si vous étoffez les détails dans vos vagues étapes (étape 10 en particulier), il semble que cela pourrait fonctionner.
Peter Shor
@PeterShor: Pour exactement cette raison: je n'ai pas étoffé toutes les étapes. Je pense que cela devrait fonctionner, mais je reconnais que ce n'est pas rigoureux. Je vais voir si je peux étoffer 10.
Joe Fitzsimons
Agréable. Cela semble être une bonne approche.
Je donne la générosité à cette réponse parce que je pense que les chances sont qu'une preuve dans ce sens répondra à la question. Les autres réponses sont également très utiles.
Peter Shor
@PeterShor: Merci! Je me sentais un peu coupable que ma première réponse était incorrecte.
Joe Fitzsimons
13

Je pense que la réponse à la question initiale est probablement oui, mais malheureusement, je ne peux pas le dire de manière définitive. Je peux cependant aider à répondre à la longue question de Peter.

Dans math / 0001038, par Nebe, Rains et Sloane, ils montrent que le groupe de Clifford est un sous-groupe fini maximal de U (2 ^ n). Solovay l'a également montré dans des travaux non publiés qui "utilisent essentiellement la classification des groupes simples finis". Le Nebe et al. l'article montre également que le groupe qudit Clifford est un sous-groupe fini maximal pour p premier, utilisant également la classification des groupes finis. Cela signifie que le groupe Clifford plus n'importe quelle porte est un groupe infini, ce qui rend redondante l'une des hypothèses de la question d'origine.

Maintenant, Rains et Solovay m'ont dit que la prochaine étape, montrant qu'un groupe infini contenant le groupe Clifford est universel, est relativement simple. Cependant, je ne sais pas comment cette étape fonctionne réellement. Et plus important encore pour la question d'origine, je ne sais pas s'ils envisageaient uniquement le cas qubit ou également le cas qudit.

En fait, je pourrais ajouter que je ne comprends pas non plus la preuve de Nebe, Rains et Sloane, mais j'aimerais bien.


la source
9

Je ne sais pas si vous demandez si SU (3) ou SU (3 ) agissent sur un produit tensoriel de qudits. Je suppose que vous posez des questions sur SU (3). Il n'est pas clair pour moi (malgré ce que j'ai dit dans une version précédente de ma réponse) que la déclaration pour SU (3) implique la déclaration pour SU (3 ). nnn

Tant que l'ensemble de portes ne se trouve pas dans un sous-groupe de SU (3), il générera une couverture dense de SU (3). Vous devez donc vérifier si l'un des sous-groupes infinis de SU (3) contient le groupe Clifford. Je suis assez sûr qu'ils ne le font pas, mais je ne peux pas dire avec certitude. Voici une question de débordement mathématique donnant tous les sous-groupes de Lie de SU (3).

Peter Shor
la source
J'ai lu l'avant-dernière phrase de la question comme disant que le groupe Clifford était un sous-groupe du groupe particulier que Earl envisage. D'où ma réponse ci-dessous, mais j'ai peut-être mal compris ou mal lu quelque chose. G
Joe Fitzsimons
La difficulté avec votre réponse est que votre référence semble ne parler que de SU (2), tandis que l'OP pose des questions sur SU (3) et le groupe analogue au groupe Clifford dans SU (3) (et aussi sur les qudits de dimension ). Votre référence répond à sa question pour . Ce dont nous avons besoin, c'est que le théorème de votre référence soit également valable dans SU (3); à savoir qu'il n'y a pas de sous-groupes contenant le groupe SU (3) Clifford. d = 2d>3d=2
Peter Shor
Ah, je vois. Je vais supprimer ma réponse. Du contexte des notes auxquelles je l'ai lié, cela ressemblait au théorème appliqué à des dimensions arbitraires, pas seulement au cas où . Cependant, lors de la recherche de la source, cela ne semble pas être le cas. Merci d'avoir signalé l'erreur. d=2
Joe Fitzsimons
En fin de compte, je serai intéressé par . Cependant, parce que cela est dû à l'universalité dans + le groupe Clifford, c'est ainsi que j'ai formulé la question pour rester simple. J'ai également jeté un coup d'œil à la référence fournie par Joe et n'ai pu voir que les résultats pour . S U ( 3 ) d = 2SU(3n)SU(3)d=2
En outre, je suivrai la suggestion de Peters et vérifierai les sous-groupes de Lie sur la référence de débordement mathématique, bien que cela puisse prendre un certain temps pour passer au travers!
9

J'ai pensé que je devrais mettre à jour ce fil avant que le site ne soit figé pour toujours.

La réponse de Daniel va dans le bon sens. Cette "prochaine étape" qu'il mentionne apparaît dans le livre ultérieur de Nebe, Rains et Sloane, " Self-Dual Codes and Invariant Theory ".

La réponse à cette question est donc "Oui" - et elle découle directement du Corollaire 6.8.2 dans le livre de Nebe, Rains et Sloane.

Je suis reconnaissant à Vadym Kliuchnikov qui me l'a fait remarquer lors de ma visite à Waterloo.

Dan Browne
la source
Je dois préciser que "Oui" est la réponse directe à la question formelle d'Earl ci-dessus et cela est démontré par le corollaire 6.8.2 dans le livre.
Dan Browne
5

Je pense que l'article suivant peut contenir les constructions pertinentes pour prouver l'universalité qudit

http://dx.doi.org/10.1088/0305-4470/39/11/010

En particulier, le commentaire à la fin de la section indique que la phase contrôlée , la transformée de Fourier et une porte diagonale avec des phases irrationnelles et incommensurables donnent une universalité approximative. (C'est une condition suffisante sur mais je suis sûr que ce n'est pas une condition nécessaire.)C Z F D D4CZFDD

Si votre est de la bonne forme (et les portes diagonales semblent un choix naturel), le résultat s'appliqueG

Une autre approche serait de créer les états ancilla nécessaires à la mise en œuvre du qudit Toffoli, ou d'utiliser directement avec Cliffords pour mettre en œuvre le Toffoli. Il est difficile de dire si cela est possible sans en savoir plus sur .GGG


la source
Bienvenue sur le site, Mark!
Joe Fitzsimons
Salut Mark. Merci pour votre réponse. Bien que je sois intéressé par le cas le plus général, je suis particulièrement intéressé par un cas où je sais que j'ai un nombre infini de portes car il est généré par une porte avec des phases qui sont des multiples irrationnels de . Cependant, la porte "irrationnelle" n'est pas diagonale dans la base de calcul, et donc je ne peux pas appliquer les résultats que vous citez. π