Forma compacta de describir el conjunto de todos los grupos estabilizadores para un número fijo de qubits físicos y qubits lógicos codificados

8

Arreglo n , el número de qubits k , el número de qubits lógicos codificados. Podemos encontrar un conjunto de (nk) los operadores que todos mutuamente commuté y por otra parte, forman un grupo S . Supongamos que el grupo S es un subgrupo del grupo Pauli. Podemos usar estos operadores para arreglar un espacio vectorial de 2nk .

Ahora considere todos los grupos estabilizadores Si formados de esta manera, codificando k qubits en n , y considere el conjunto S={Si|i=1N} , dondeSi es un grupo estabilizador específico que estabiliza unespacio vectorial dimensional de2nk . ¿Cómo puedo parametrizar explícitamente este conjunto? Por ejemplo: paran=3 yk=1 , podríamos tenerS1=Z1Z2,Z2Z3 yS2=X1X2,X2X3 , y así sucesivamente para otros grupos estabilizantes distintos.

Una posible forma de llegar a una solución es considerar la matriz de verificación de paridad para un específico , y luego preguntar qué acción de grupo podríamos definir en la matriz de verificación de paridad de S i para producir la matriz de verificación de paridad para cualquier otro grupo estabilizador del misma cardinalidad Pero no sé cómo actuaría un grupo así en el grupo estabilizador. En mi ejemplo para ( n , k ) = ( 3 , 1 ) anterior, por ejemplo, puedo cambiar S 1 a S 2 conjugando con un Hadamard, y creo que esto corresponde a una multiplicación correcta de algunos × 2SiSi(n,k)=(3,1)S1S22n×2n matriz en la matriz de verificación de paridad.

Debido a este ejemplo, me siento tentado a pensar que lo que necesito es conjugación por parte de todo el grupo Clifford o un subgrupo para actuar por conjugación de , y eso corresponderá a un simpléctico ( 2 n × 2 n ) matriz que actúa sobre las matrices de verificación de paridad. En ese caso, el conjunto S se parametriza fijando un grupo estabilizador específico S i y actuando sobre él mediante conjugación mediante una representación unitaria del grupo o subgrupo Clifford. ¿Está cerca?Si(2n×2n)SSi

Amara
fuente
¿Qué es exactamente lo que quieres conseguir? Según tengo entendido en la pregunta, está tratando de representar el grupo estabilizador representando uno de los estabilizadores a través de una matriz simpléctica y los otros a través de algunas transformaciones de dicha matriz. Realmente no veo la motivación de representar el grupo estabilizador de esta manera, ya que podría representarlo con toda la matriz de verificación de paridad tomando la representación simpléctica de cada generador del estabilizador y luego formando una matriz . (nk)×2n
Josu Etxezarreta Martinez
@JosuEtxezarretaMartinez En última instancia, quiero ponderar cada elemento con cierta probabilidad. Entonces, por ejemplo, podría elegir el código de cambio de bit con 0.5 de probabilidad y el código de cambio de fase con 0.5 de probabilidad. En realidad, el conjunto S será más grande y, por lo tanto, necesito una forma de asegurarme de poder llegar a todos los elementos del conjuntoSiS
Amara

Respuestas:

5

Hay buenas noticias y malas noticias. La buena noticia es que sus intuiciones son esencialmente correctas, y que existe tal acción grupal a través del grupo Clifford. La mala noticia es que, dependiendo de lo que quiera de esa parametrización, puede no ser tan útil como espera.

Primero, las buenas noticias: cada grupo estabilizador Pauli en qubits, con generadores independientes r = n - k , se puede asignar a cualquier otro grupo de este tipo mediante la conjugación de los operadores del grupo Clifford. La forma más sencilla de mostrar esto es por inducción en r . Si r = 0 , entonces solo hay un grupo estabilizador: el grupo trivial { 1 } . Para cualquier r > 0 , dado un grupo estabilizador de entrada S , puede reducir al caso de r - 1 con los siguientes pasos:nr=nkrr=0{1}r>0Sr1

  • Seleccione cualquier generador del grupo estabilizador y algunos qubit x r en los que P r actúe de manera no trivial.PrxrPr

  • Encuentre un operador de grupo Clifford tal que C r P r C r = Z n - r , el operador Pauli Z de un solo qubit que actúa solo en qubit ( n - r ) . El operador C r puede involucrar operadores SWAP para intercambiar los factores tensoriales por qubit x r y ( n - r ) .CrCrPrCr=ZnrZ(nr)Crxr(nr)

  • Determine cómo los otros generadores del grupo estabilizador se transforman bajo . Esto produce una lista de generadores para el grupo S = { C r P C rCr . Debido a que S ' es abeliano, la imagen de cada generador o bien actúa sobre qubit ( n - r ) con 1 o Z . En el último caso, produzca un nuevo generador multiplicándolo por Z n - r . Como Z n - r es un elemento de S ' , esto produce un conjunto equivalente de generadores para el grupo.S={CrPCr|PS}S(nr)1ZZnrZnrS

Una vez hecho esto, tiene un grupo estabilizador para un subespacio estabilizado por . Cualquier estado en este grupo se factoriza como un producto tensorial de | 0 en qubit ( n - r ) , y un estado en los qubits restantes. Al considerar el código del estabilizador definido en todos los demás qubits, se ha reducido al caso de un grupo estabilizador en n - 1 qubits y con generadores r - 1 .Znr|0(nr)n1r1

Si desempacamos esta prueba inductiva, obtenemos un procedimiento recursivo para asignar cualquier código de estabilizador con r generadores a un circuito de Clifford C que mapea ese grupo estabilizador en el grupo específico Z n , r : = Z n - r , Z n - r + 1 , ... , Z nSrCSi tiene dos de estos códigos S 1 y S 2 , solo componga sus circuitos C 2 C 1 para obtener un circuito que mapee S 1 a S 2 . Existe cierta redundancia, ya que diferentes conjuntos de generadores del grupo estabilizador de S j producirán diferentes circuitos C j : esto corresponde al hecho de que algunos circuitos de Clifford solo evalúan los automorfismos (es decir, unidades unitarias lógicas) del código. Pero no importa: lo que tiene es una forma de generar cualquier código estabilizador en n qubits con r

Zn,r:=Znr,Znr+1,,Zn.
S1S2C2C1S1S2SjCjnr generadores estabilizadores de un solo código.

La mala noticia es que, tal como está, todo lo que hemos hecho anteriormente es en efecto parametrizar los códigos estabilizadores por sus circuitos de codificación. Por "circuito de codificación", me refiero solo al circuito que toma un estado qubit | Psi , y luego codifica | Psi en un n sistema -qubit mediante la preparación de r qubits frescas en el estado | 0 y actuar sobre ellos por un unitaria adecuada. Al reducir un código estabilizador arbitrario con generadores r a un código 'canónico' (y extremadamente aburrido) cuyo grupo estabilizador es Z n ,k=nr|ψ|ψnr|0r , hemos demostrado nada más o menos que un código estabilizador es uno con un circuito de codificación Clifford. Describir códigos estabilizadores en términos de la órbita de Z n , r bajo elgrupo Clifford den-bits no es más o menos que describir códigos en términos de sus circuitos de codificación. Es un buen hecho para confiar, pero es más un resultado básico que un resultado profundo.Zn,rZn,rn

Si toma algún otro código como código de 'referencia', entonces esencialmente está haciendo lo mismo, excepto anteponer ese circuito de codificación por algún otro circuito de Clifford. Este punto de vista puede o no ser útil para usted; sin duda, es una buena propiedad primaria a tener en cuenta cuando habla de códigos estabilizadores y estados estabilizadores con otras personas que están menos familiarizadas con ellos, pero sin imponer restricciones adicionales sobre qué circuitos de codificación o representaciones de código que le interesan ( por ejemplo,  para limitar los automorfismos de códigos que considera), supongo que esta parametrización puede ser de utilidad limitada. El quid, al final, será qué propiedades de los códigos estabilizadores le interesan.

Niel de Beaudrap
fuente
Entonces, todo lo que dice es que, dado un grupo estabilizador, ¿puedo obtener un acto unitario aleatorio de Clifford por conjugación en cada uno de los generadores y obtener otro grupo estabilizador?
Amara
Ni siquiera necesitas nada de lo que escribí para obtener eso, en realidad. Eso es cierto esencialmente por la definición del grupo Clifford. Lo que muestro es que puede obtener todos los otros grupos estabilizadores (de la misma cardinalidad y en la misma cantidad de qubits que su grupo estabilizador original) de esta manera.
Niel de Beaudrap