Indice           

Puertas Cuánticas de Pauli ~ Base de un Algebra de Lie


Capítulo extraído del Documento de Base:
Conceptos Matemáticos Básicos de Computación Cuántica

José Enrique González Cornejo
v.9.1/Abril 2021


Video: Matrices de Pauli y Algebra de Lie Grupo de Lie ~ Anexo Complementario




Breve Introducción

La simple rotación de las puertas de Pauli encierra una profunda y extensa parte de la física- matemática que opera en el campo de los números reales y complejos. Su núcleo matemático central es la simetría y la abstracción matricial.

$$ \sigma_1=\sigma_X= \begin{pmatrix} 0 & 1 \\ 1 & 0 \\ \end{pmatrix} $$ $$ \sigma_2=\sigma_Y= \begin{pmatrix} 0 & -i \\ i & 0 \\ \end{pmatrix} $$ $$ \sigma_3=\sigma_Z= \begin{pmatrix} 1 & 0 \\ 0 & -1 \\ \end{pmatrix} $$

Definición y Acción de las Puertas de Pauli

Las tres matrices de Pauli31 $X, Y, Z$ son de gran utilidad en la programación de circuitos cuánticos y debajo de ellas, se encierra un gran desarrollo del Algebra Abstracta y de la Mecánica Cuántica.

Haré un enfoque muy específico de las Matrices de Pauli, orientado a entregar ciertos conceptos matemáticos básicos del Algebra de Lie, la cual sustenta en variados aspectos la programación cuántica. Nótese que las Algebras de Lie89, son más amplias que este enfoque de computación cuántica que tratamos en el presente artículo. Enfoque que sólo hemos reducido a matrices complejas de $2\times 2$.


Algebra de Lie ~ Variedades Diferenciables

Estas tres matrices de Pauli son una piedra angular en la programación de circuitos cuánticos. Incluyendo la Puerta de Hadamard, - que es un operador fundamental en los algoritmos con superposición cuántica -, y que justamente -, se obtiene de una combinación lineal de las matrices de Pauli:

$$H=\frac{1}{\sqrt{2}}(\sigma_1 + \sigma_3)=\frac{1}{\sqrt{2}}\Biggl(\begin{pmatrix} 0 & 1 \\ 1 & 0 \\ \end{pmatrix}+\begin{pmatrix} 1 & 0 \\ 0 & -1 \\ \end{pmatrix}\biggr)=\frac {1}{\sqrt{2}} \begin{pmatrix} 1 & 1 \\ 1 & -1 \\ \end{pmatrix}$$

En otros términos: $H = X + Z$. Esto implica que se produce una rotación sobre el eje $y$ de un ángulo $\frac{π}{2}$ e inmediatamente otra rotación de un ángulo $π$ sobre $x$.

Situando su operación visualmente sobre la Esfera de Bloch:


$H$ Puerta de Hadamard~Esfera de Bloch



Circuito Cuántico~IBM Composer



  • Puerta Cuántica $X$ análoga a NOT

  • Debemos buscar un operador $X$, tal que:
    i) $|0〉 → |1〉$ y $|1〉 → |0〉$

    ii) Lineal: $α_0 |0〉 + α_1 |1〉 → α_1 |1〉 + α_0|0〉$

    ii) Sea unitario ($|α_0|^{2} + |α_1|^{2} = 1$).

    Es decir, esta puerta Pauli $X$ , opera como una puerta $NOT$, cambia de un estado básico a otro (viceversa). La puerta $NOT$ es equivalente a la puerta $RX$ (del IBM Quantum Composer), para el ángulo $\pi$ radianes de rotación en torno al eje de las $x$.

    El operador es:

    $ \sigma_1=\sigma_X=X= \begin{pmatrix} 0 & 1 \\ 1 & 0 \\ \end{pmatrix} $
    $|\psi〉=\alpha_0|0〉+\alpha_1|1〉=\left[\begin{matrix}\alpha_0\\\alpha_1 \end{matrix}\right]$

    Aplicamos el operador $X$

    $ X= \begin{pmatrix} 0 & 1 \\ 1 & 0 \\ \end{pmatrix} \left[\begin{matrix}\alpha_0\\\alpha_1 \end{matrix}\right]= \begin{pmatrix} 0\alpha_0 & 1\alpha_1 \\ 1\alpha_0 & 0\alpha_1 \\ \end{pmatrix} =\left[\begin{matrix}\alpha_1\\\alpha_0 \end{matrix}\right] $

     Su acción sobre un qubit es:

    $α_0|0〉 + α_1|1〉\longrightarrow$$X$$\longrightarrow α_1|1〉 + α_0|0〉$

    La transformación $X$ se desplaza a lo largo del intervalo en la esfera de Bloch sobre la superficie de la esfera desde $|0〉$ hasta $|1〉$, rotando valores alrededor del eje $x$.


    $X$ ibm quantum experience-fuente gates glossary


  • Puerta Cuántica $Y$
  • El operador es equivalente a una rotación de $\pi$ radianes en torno al eje de la $y$:

    $ \sigma_2=\sigma_Y=Y= \begin{pmatrix} 0 & -i \\ i & 0 \\ \end{pmatrix} $

    Aplicamos el operador $Y$

    $ Y|0〉= \begin{pmatrix} 0 & -i \\ i & 0 \\ \end{pmatrix} \left[\begin{matrix} 1\\0 \end{matrix}\right] =\left[\begin{matrix} 0\\-i \end{matrix}\right] $

    $ Y|1〉= \begin{pmatrix} 0 & -i \\ i & 0 \\ \end{pmatrix} \left[\begin{matrix} 0\\1 \end{matrix}\right] =\left[\begin{matrix} -i\\0 \end{matrix}\right] $

     Su acción sobre un qubit es:

    La transformación $Y$ se desplaza a lo largo del intervalo en la esfera de Bloch sobre la superficie de la esfera desde $|0〉$ hasta $|1〉$, rotando valores alrededor del eje $y$.


    $Y$ ibm quantum experience-fuente gates glossary




  • Puerta Cuántica $Z$


  • La puerta $Z$ es equivalente a una rotación de $\pi$ radianes en torno al eje de la $z$ y viene definida por la matriz (unitaria):

    $ \sigma_3=\sigma_Z=Z= \begin{pmatrix} 1 & 0 \\ 0 & -1 \\ \end{pmatrix} $

    Su accion es:

    $|0〉\longrightarrow$$Z$$\longrightarrow |0〉$

    $|1〉\longrightarrow$$Z$$\longrightarrow -|1〉$

    Es decir, la transformación lineal $Z$, cambia de signo la amplitud cuando se aplica al estado del qubit $|1〉$ y lo deja igual cuando se opera con el estado del qubit $|0〉$.


    $∴\quad$Su acción sobre un qubit es:

    La transformación $Z$ se desplaza a lo largo del intervalo en la esfera de Bloch sobre la superficie de la esfera desde $|0〉$ hasta $|1〉$, rotando valores alrededor del eje $z$.


    $Z$ ibm quantum experience-fuente gates glossary



    Equiparse con Más Matemática

    Para aquellos que se están equipando con más matemática, se hace necesario mencionar el Algebra de Lie81 y tratar las propiedades de grupo. Cualidades que son un tremendo sustento matemático detrás de esas tres puertas cuánticas utilizadas permanentemente en la programación de circuitos. En efecto, veremos que las matrices de Pauli junto a la matriz Identidad, constituyen una base vectorial del Algebra de Lie del grupo especial unitario de simetría $SU(2)$87 (dimensión 2)

    Se hace hincapié que las transformaciones de Pauli sí conforman un Algrebra de Lie, dado que cumple con las propiedades requeridas bajo las operaciones binarias estándar. Sin embargo, las Matrices de Pauli no cumplen las propiedades suficientes para constituir un Grupo. (Por tanto tampoco un Grupo de Lie86).

    En general, los programadores en sus algoritmos de computación cuántica utilizan las Puertas de Pauli frecuentemente, - poniendo y sacando objetos sobre los cables del circuito, ejecutando y probando su algoritmo -, pero sólo conociendo la acción de dichas transformaciones en forma operativa.




    Vista del Editor Circuit Composer de IBM

    Pauli ~ ¿Base Espacio Vectorial?

    Ciertamente, las transformaciones cuánticas de Pauli conforman una base para el espacio vectorial complejo de todas las matrices de $2\times2$ de Grupo Especial Unitario de Dimensión 2 $SU(2)$, dado que:

  • i) Son linealmente independientes. (La prueba muestra que no es posible expresar cualquiera de una de las Puertas como combinación lineal de las otras dos. Equivalentemente, se verifica que existen $4$ números complejos tal que:

    $$\alpha_0 I + \alpha_1 \sigma_1 + \alpha_2 \sigma_2 + \alpha_3 \sigma_3 = 0 ⇔ \alpha_i=0 \quad \forall i=0,1,2,3$$
    $$M = \begin{pmatrix} m_{11}& m_{12} \\ m_{21}& m_{22} \\ \end{pmatrix}=\begin{pmatrix} 0& 0 \\ 0& 0 \\ \end{pmatrix}\Rightarrow\alpha _0 I+\alpha_1 \sigma_1 + \alpha_2 \sigma_2 + \alpha_3 \sigma_3=0\qquad\text{(matriz 0)}$$
    $$\Rightarrow \alpha_i =0, \text{ para } i=0,1,2,3\quad $$
    Es decir:(Ver $[4.2]$),
    $$\begin{pmatrix} \alpha_0 + \alpha_3 & \alpha_1-i\alpha_2 \\ \alpha_1+i\alpha_2 & \alpha_0-\alpha_3 \end{pmatrix}=\begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix}$$
    Por lo tanto, $\forall \alpha_i =0$ cuando $M$ es la matriz $0$


  • ii) Toda matriz compleja $2×2$ puede ser expresada como una combinación de las matrices del conjunto $\unicode{123}I,\sigma_i\unicode{125}$ con $i=1,2,3$ (Ver Combinación Lineal de Matrices de Pauli).

  • Las Matrices de Pauli Conforman una Base del Algebra de Lie (de $SU(2)$)

    Luego, como las matrices de Pauli sí conforman una Base del Algebra de Lie, lo que implica que toda matriz $M$ unitaria de $2 \times 2$ de representación $SU(2)$ se puede expresar como una combinación lineal de las matrices de Pauli. En otras palabras, existen coeficientes $\alpha_i,\text{ con }i=0,1,2,3$ en los complejos que permiten esa combinación líneal:

    $$M = \begin{pmatrix} m_{11}& m_{12} \\ m_{21}& m_{22} \\ \end{pmatrix}=\alpha _0 I+\alpha_1 \sigma_1 + \alpha_2 \sigma_2 + \alpha_3 \sigma_3\qquad\qquad[4.1]$$

    $$\text{Donde } \alpha_i \in C, \text{ con } i=0,1,2,3\quad (\sigma_0=I)$$
    $\Rightarrow$
    $$\begin{pmatrix} m_{11}& m_{12} \\ m_{21}& m_{22} \\ \end{pmatrix}=\alpha _0 \begin{pmatrix} 1 & 0 \\ 0 & 1 \\ \end{pmatrix} + \alpha_1 \begin{pmatrix} 0 & 1 \\ 1 & 0 \\ \end{pmatrix} + \alpha_2 \begin{pmatrix} 0 & -i \\ i & 0 \\ \end{pmatrix} + \alpha_3 \begin{pmatrix} 1 & 0 \\ 0 & -1 \\ \end{pmatrix} $$
    $\Rightarrow$ $$ \begin{matrix} m_{11}=\alpha_0+\alpha_3 \\ m_{12}=\alpha_1-i\alpha_2 \\ m_{21}=\alpha_1+i\alpha_2 \\ m_{22}=\alpha_0-\alpha_3 \end{matrix} \qquad\quad[4.2] $$
    Por lo tanto, $$\forall M\in SU(2)\quad\exists \alpha_i\in C \text{ / } M=\sum_{i=0}^3 \alpha_i \sigma_i$$
    Despejando los $\alpha_i$ en función de los $m_{ij}
    \Rightarrow$

    $$ \begin{matrix} \alpha_0=\frac{1}{2}(m_{11}+m_{22})\\ \alpha_1=\frac{1}{2}(m_{12}+m_{21})\\ \alpha_2=\frac{1}{2}i(m_{12}-m_{21})\\ \alpha_3=\frac{1}{2}(m_{11}-m_{22})\\ \end{matrix} \qquad\qquad[4.3] $$

    Ejemplo Algebra de Lie con Matrices $2\times 2$ con Pauli:

    Experimentemos con el siguiente ejercicio en $SU(2)$, con un simulador que genera matrices de $2\times 2$,- sólo presionando el botón "Random"- , cuyos elementos son valores enteros aleatorios entre -100 y 100, para los coeficientes $\alpha_0,\alpha_1,\alpha_2,\alpha_3$ (Ver $[4.2]$). Cualquier matriz de $2\times 2$ generada, se escribirá en función de las matrices de Pauli y la matriz identidad.


    Simulador Matrices $2\times 2$



    Delta de Kronecker

    Efectivamente, estas tres transformaciones se pueden compactar en una sola matriz, aplicando un parámetro de control llamado Delta de Kronecker y denotado con el símbolo griego $\delta_{ij}$.

    Este parámetro Delta de Kronecker, es necesario mencionarlo y mostrarlo, porque jugará un rol importante en determinados circuitos que irán apareciendo en el avance de la programación cuántica.

    De la expresión $[4.2]$, se deduce este parámetro $\delta_{ij}$ que se construye en función de dos variables, que pueden tomar valores $1$ o $0$.

    A continuación se mostrará que según el valor que adquiera $\delta_{ij}$, se puede obtener cualquiera de las tres matrices o utilizar algebraicamente esta reducción, a fin de sintetizar el uso de los atributos de rotación y simetría que se generan con estas transformaciones.

    En efecto, $\delta_{ij}$ es una función de control, dado que es $1$ si las variables son iguales y $0$ en caso contrario.

    $$ \delta_{ij} = \begin{cases} 0, & \text{if i≠ j} \\ 1, & \text{if i=j} \end{cases} $$

    De modo que la representación de cada matriz de Pauli $\sigma_i$ se puede expresar en función del Delta de Kronecker con la siguiente matriz compacta:


    $$ \sigma_i= \begin{pmatrix} \delta_{i3} & \delta_{i1}-i·\delta_{i2} \\ \delta_{i1}+i·\delta_{i2}&-\delta_{i3} \\ \end{pmatrix} $$
    Donde $i=1,2,3 \quad\text{ i.e. }\quad\sigma_1,\sigma_2,\sigma_3$ son igual que $\sigma_X,\sigma_Y\sigma_Z$ respectivamente. (Así mismo $i=\sqrt{-1}$).




    Características de las Matrices de Pauli

    Las matrices de Pauli corresponden a las características de matrices de rotación que conforman una base del Algebra de Lie, del grupo especial SU(2). En este caso, corresponden al conjunto de las matrices unitarias de $2 \times 2$ definidas sobre los complejos con las operaciones binarias ordinarias. Nótese que las tres matrices de Pauli no constituyen en sí un Grupo, pero se puede extender el conjunto de las matrices de Pauli para construir un Grupo de 8 matrices.

    La Matrices de Pauli No Constituyen un Grupo

    El conjunto de matrices de Pauli unido a la matriz Identidad, $P=\unicode{123}I,\sigma_i\unicode{125}$, no constituye un grupo porque al multiplicar elementos del conjunto se obtienen elementos que no forman parte del conjunto $P$.

    Es decir, $P$ no es un conjunto cerrado para la operación de multiplicación matricial, dado que $\exists x,y\in P \text{ / }x·y\notin P$. Por tanto, $P$ no es un grupo.80

    $$ \begin{matrix} \sigma_1\sigma_2=i\sigma_3 &\quad \sigma_2\sigma_1=-i\sigma_3\\ \sigma_2\sigma_3=i\sigma_1 &\quad \sigma_3\sigma_2=-i\sigma_1\\ \sigma_3\sigma_1=i\sigma_2 &\quad \sigma_1\sigma_3=-i\sigma_2\\ \end{matrix} $$
    De donde se puede deducir cuales son los elementos faltantes para configurar un conjunto cerrado, que permita constituir un Grupo79.

    G={I,-I, σ1, 1, iσ2, -iσ2, σ3, 3}


    Extensión Matrices de Pauli Conformación de Grupo

    A continuación construimos la tabla de operaciones del grupo extendido $G$, dónde se puede observar que es cerrado, que cada tiene identidad y que cada elemento dentro de la tabla tiene su inverso.

    Aún más, con el grupo extendido $G$ es posible obtener todas las rotaciones de $\pi$ en torno a los ejes de coordenadas sobre el plano cartesiano. Claramente, $G$ no es Abeliano. (Por ejemplo, $\sigma_1\sigma_3\neq\sigma_3\sigma_1$).

    Nótese que las matrices que conforman el grupo extendido $G$ están compuestas sólo por elementos reales $\unicode{123}-1,0,1\unicode{125}$, dado que hemos sacado como factor el número imaginario $i\in C$ de las matrices $\pm\sigma_2$.


    Tabla de Operaciones del Grupo G
    $\mathbf\times$ $I$ $-I$ $\sigma_1$ $-\sigma_1$ $i\sigma_2$ $-i\sigma_2$ $\sigma_3$ $-\sigma_3$
    $I$ $I$ $-I$ $\sigma_1$ $-\sigma_1$ $i\sigma_2$ $-i\sigma_2$ $\sigma_3$ $-\sigma_3$
    $-I$ $-I$ $I$ $-\sigma_1$ $\sigma_1$ $-i\sigma_2$ $i\sigma_2$ $-\sigma_3$ $\sigma_3$
    $\sigma_1$ $\sigma_1$ $-\sigma_1$ $I$ $-I$ $i\sigma_3$ $-i\sigma3$ $-i\sigma2$ $i\sigma2$
    $-\sigma_1$ $-\sigma_1$ $\sigma_1$ $-I$ $I$ $-i\sigma3$ $i\sigma3$ $i\sigma2$ $-i\sigma2$
    $i\sigma_2$ $i\sigma_2$ $-i\sigma_2$ $-i\sigma_3$ $i\sigma_3$ $I$ $-I$ $i\sigma_1$ $-i\sigma_1$
    $-i\sigma_2$ $-i\sigma_2$ $i\sigma_2$ $\sigma_3$ $-\sigma_3$ $-I$ $I$ $-\sigma_1$ $\sigma_1$
    $\sigma_3$ $\sigma_3$ $-\sigma_3$ $i\sigma_2$ $-i\sigma_2$ $-i\sigma_1$ $i\sigma_1$ $I$ $-I$
    $-\sigma_3$ $-\sigma_3$ $\sigma_3$ $-i\sigma_2$ $i\sigma_2$ $-i\sigma_1$ $i\sigma_1$ $-I$ $I$

    Síntesis: Propiedades Puertas de Pauli y el Algebra de Lie

    En síntesis, las tres transformaciones de Pauli $\unicode{123}\sigma_X,\sigma_Y,\sigma_Z\unicode{125}$, - son puertas cuánticas involutivas ($I^{2}=X^{2}=Y^{2}=Z^{2}=-iXYZ=I$) y además Hermíticas o Hermitianas, i.e. $M=(M^{T})^{*}\Rightarrow M$ es igual a su transpuesta conjugada y se representan en rotaciones $\pi$ radianes en torno al eje de su propio nombre sobre la esfera de Bloch, i.e. en el espacio euclidiano tridimensional $R^{3}$88.

    Las tres son representaciones matriciales de su operador unitario, que cumplen con la condición de que la determinante de su matriz es diferente de $0$ (toma el valor $\pm 1$), su traza $Tr(\sigma_i)=0$, que su matriz inversa es igual a ella misma y que su transpuesta también es la misma matriz.

    Esta propiedad involutiva se expresa como:

    $$ \sigma_X^{2}=\sigma_Y^{2}=\sigma_Z^{2}=I $$
    $$\sigma_X=\sigma_X^{-1}=\sigma_X^{T}\quad \text{, } \sigma_Y=\sigma_Y^{-1}=\sigma_Y^{T}\quad \text{, }\sigma_Z=\sigma_Z^{-1}=\sigma_Z^{T}$$.
    $$ Det(\sigma_X)= \begin{vmatrix} 0 & 1 \\ 1 & 0 \\ \end{vmatrix}=-1,\quad $$ $$ Det(\sigma_Y)= \begin{vmatrix} 0 & -i \\ i & 0 \\ \end{vmatrix}=-1,\quad $$ $$ Det(\sigma_Z)= \begin{vmatrix} 1 & 0 \\ 0 & -1 \\ \end{vmatrix}=-1 $$

    Matemáticamente, esto significa que las Matrices de Pauli, corresponden a las características de matrices de rotación que conforman una base para el Algebra de Lie, del grupo SU(2). En este caso al conjuntos de las matrices unitarias de $2 \times 2$ definidas sobre los complejos con las operaciones binarias ordinarias. Adicionalmente, $G=\unicode{123}I,-I,\sigma_1,-\sigma_1,i\sigma_2,-i\sigma_2,\sigma_3,-\sigma_3\unicode{125}$, es un grupo unitario y Hermítico 79 definido sobre un espacio de Hilbert.

    La matriz identidad $I$ es como la matriz neutra o $0$ de Pauli, también se le denota como $\sigma_0$ (Ver Tabla de Operaciones de G).

    Nótese que $G$ es un grupo ortogonal unitario no abeliano, dado matrices de Pauli no son conmutativas. Por ejemplo, $\sigma_1 \sigma_3\neq \sigma_3 \sigma_1$. En efecto:

    $$ \sigma_1 \sigma_3= \begin{pmatrix} 0 & 1 \\ 1 & 0 \\ \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 0 & -1 \\ \end{pmatrix} = \begin{pmatrix} 0 & -1 \\ 1 & 0 \\ \end{pmatrix} $$
    $$ \sigma_3 \sigma_1= \begin{pmatrix} 1 & 0 \\ 0 & -1 \\ \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 0 & -1 \\ \end{pmatrix} = \begin{pmatrix} 0 & 1 \\ -1 & 0 \\ \end{pmatrix} $$
    $\Rightarrow$
    $$ \begin{pmatrix} 0 & -1 \\ 1 & 0 \\ \end{pmatrix} \neq \begin{pmatrix} 0 & 1 \\ -1 & 0 \\ \end{pmatrix} $$

    En efecto, sea $G$ un grupo definido en los complejos (con las operaciones de adición ordinaria de vectores y multiplicación de matrices), tal que es el conjunto de todas las matrices $M$ de $2\times2$ cuya determinante $Det(M)\pm-1$ y la inversa de $M^{-1}=M^{T}$, i.e. la inversa de $M$ es igual a su matriz transpuesta. (Una matriz ortogonal es una matriz real cuya inversa es igual a su transposición).

    En otros simples términos, $G=\unicode{123}M\in SU(2)\text{/ Det}(M)\pm 1 \land M^{-1}=M^{T}\unicode{125}$, i.e. $M^{T}M^{-1}=I$ (extendido a 8 matrices, i.e. el conjunto $G=\unicode{123}I,-I,\sigma_1,-\sigma_1,i\sigma_2,-i\sigma_2,\sigma_3,-\sigma_3\unicode{125}$, es un Grupo de orden $|G|=8$, cuya magnitud física invariante (con respecto a la dirección del eje de rotación) de la transformación es igual a uno.


    Conclusión y Transformación Isomorfa $T: P=\unicode{123}I,\sigma_i\unicode{125} \longrightarrow R^{8}$

    Finalmente, podemos afirmar que a partir de los tres operadores matriciales de Pauli {$\sigma_x,\sigma_y, \sigma_z$}, se configura el grupo extendido $G$, - (que multiplicado por el factor imaginario $i$), se genera un Algebra de Lie $SU(2)$. Dado que dichas matrices forman una base para $SU(2)$ sobre $R$:

    $$i\sigma_x= \begin{pmatrix} 0 & i \\ i & 0 \\ \end{pmatrix} \qquad i\sigma_y \begin{pmatrix} 0 & 1 \\ -1 & 0 \\ \end{pmatrix}\qquad i\sigma_z \begin{pmatrix} i & 0 \\ 0 & -i \\ \end{pmatrix} $$

    Desde el punto de vista computacional la incorporación del factor unidad imaginaria $i$, multiplicando los tres operadores de Pauli, se hace más conveniente llevarlo de los Complejos a los Reales, a fin de que los programadores asimilen el concepto de las Algebras de Lie con un nivel de menos abstracción.

    Este enfoque de representaciones propio de la Mecánica Cuántica es más próximo a la utilización de la programación de circuitos cuánticos, porque es experimental, no así el enfoque matemático acerca del Algebra de Lie, - que ciertamente-, va poderosamente aun más lejos, pero dentro del algebra abstracta.

    De hecho, el espacio vectorial complejo de matrices $2\times 2$, denotado como $M_{2\times 2}(C)$, es isomórfico a $R^{8}$. Es decir, existe un operador $T$ que toma $P=\unicode{123}I,\sigma_i\unicode{125}$ con $i=1,2,3$ y lo lleva a un espacio vectorial real de dimensión 8 (Ver $[B51]$).



    Esta propiedad de isomorfismo implica que $T: P=\unicode{123}I,\sigma_i\unicode{125} \longrightarrow R^{8}$ es biyectiva y lineal, lo que permite transformar bases de un espacio al otro (vice versa)92.

    Es decir, $P=\unicode{123}I,\sigma_i\unicode{125}$ es una base de $M_{2\times 2}(C)$,-(espacio vectorial complejo)-, mapeada por la transformación isomorfa $T$ hacia el espacio vectorial real que se ilustra en la siguiente tabla-matriz:

    $$I$$ $$\sigma_1$$ $$\sigma_2$$ $$\sigma_3$$ $$iI$$ $$i\sigma_1$$ $$i\sigma_2$$ $$i\sigma_3$$
    $$\downarrow$$ $$\downarrow$$ $$\downarrow$$ $$\downarrow$$ $$\downarrow$$ $$\downarrow$$ $$\downarrow$$ $$\downarrow$$
    1 0 0 1 0 0 0 0
    0 0 0 0 1 0 0 1
    0 1 0 0 0 0 1 0
    0 0 -1 0 0 1 0 0
    0 1 0 0 0 0 -1 0
    0 0 1 0 0 1 0 0
    1 0 0 -1 0 0 0 0
    0 0 0 0 1 0 0 -1

    En síntesis, la tabla muestra que existe un isomorfismo entre la matriz idéntica junto a las matrices Pauli(i.e $\unicode{123}I,\sigma_i\unicode{125}$ ), - desde $M_{2\times 2}(\mathbb{C})$ - , con una base de un espacio vectorial en $R^{8}$ . Esto reafirma que $\unicode{123}I,\sigma_i\unicode{125}$ es una base vectorial en los complejos, dado que es isomorfa con esa base del espacio vectorial real. Los isomorfismos entre bases son vice-versa en términos de propiedades algrebraicas.



    Continuación$\longrightarrow$

    Ver articulo complementario Grupo de Lie - Enfoques Geométrico y Exponencial 

    Ver Video: Grupo de Lie ~ Complementario a Matrices de Pauli y Algebra de Lie 





    Notas Complementarias Adjuntas

    Cubo de Rubik
    Ejemplo de Grupo Simétrico de Permutación












    Videografía y Bibliografía

  • [B1]
    Quantum Computation 5: A Quantum Algorithm
    David Deutsch, Autor del Algoritmo
    Centre for Quatum Computation
    https://www.youtube.com/watch?v=3I3OBFlJmnE

  • [B2]
    Curso Computación Cuántica
    Eduardo Sáenz de Cabezón
    26 abril 2019
    Instituto de Matemáticas de la UNAM, México
    https://www.youtube.com/watch?v=KKwjeJzKezw

  • [B3]
    Quantum Optics
    Miguel Orszag,
    Pontificia Universidad Católica - Santiago de Chile
    Editorial Springer ~ 2016


  • [B4]
    Quantum Optics - Mark Fox - Oxford University Press
    22 jun. 2006 - Oxford Master Series in Physics.
    Capítulo 13
    https://www.academia.edu/24696066/Fox_M_Quantum_optics_an_introduction

  • [B5]
    Quantum Computing Explain
    David McMahon on 2007
    WILEY-INTERSCIENCE
    A John Wiley & Sons, Inc., Publication
    https://www.academia.edu/31537353/_David_McMahon_Quantum_Computing_Explained_BookFi_1_

  • [B6]
    Programming a Quantum Computer with Cirq (QuantumCasts)
    Dave Bacon
    Google

  • [B7]
    The Quantum World ~ Quantum Physics for Everyone
    Kenneth W. Ford
    Harvard University Press
    Cambridge Massachusetts
    London England ~ 2004

  • [B8]
    Principios Fundamentales de Computación cuántica
    Vicente Moret Bonillo
    Profesor Titular de Universidad. Senior Member, IEEE.
    Departamento de Computación. Facultad de Informática.
    Universidad de la Coruña
    2O13

  • [B9]
    Quantum Networks for Elementary Arithmetic Operations
    Vlatko Vedral, Adriano Barenco and Artur Ekert
    Clarendon Laboratory, Department of Physics
    University of Oxford, Oxford, OX1 3PU, U.K.
    (Submitted to Phys. Rev. A)
    16 de Noviembre 1995

  • [B10]
    Quantum computing for the determined
    Michael Nielsen on June 10, 2011
    http://michaelnielsen.org/blog/quantum-computing-for-the-determined/
    https://www.youtube.com/watch?v=x6gOp_o7Bi8

  • [B11]
    QC — Quantum Algorithm with an example
    Jonathan Hui
    Dec 6, 2018
    https://medium.com/@jonathan_hui/qc-quantum-algorithm-with-an-example-cf22c0b1ec31

  •  
  • [B12]
    [W] Wikipedia
    Consultas a Wikipedia de múltiples conceptos relacionados a la Mecánica y Computación Cuántica
    https://en.wikipedia.org

  • [B13]
    Programación Cuántica
    Francisco Gálvez
    T3chFest 2017
    IBM
    https://www.youtube.com/watch?v=FYAkeCcOgeQ

  • [B14]
    Quantum Computation (CMU 18-859BB, Fall 2015)
    Lecture 1: Introduction to the Quantum Circuit Model
    September 9, 2015
    Lecturer: Ryan O’Donnell Scribe: Ryan O’Donnell

  • [B15]
    Hipertexto: Tratamiento Documental de Datos
    José Enrique González Cornejo
    Centro de Investigación y Desarrollo de la Educación,
    CIDE, Santiago – Chile, 1990.
    Registro Nº81.183 - 1991 ~ Editoria Argué Ltda

  • [B16]
    Algoritmo para el Cambio de Base Numérica
    José Enrique González Cornejo
    DocIRS Technology
    Math-Computing Open Academy Junio 2014
    https://www.docirs.cl/algoritmo_cambio_base.htm

  • [B17]
    Algoritmo, Generación Distribución Aleatoria Discreta de Suma 1
    José Enrique González Cornejo
    11 de julio 2012
    DocIRS Technology
    Math-Computing Open Academy https://www.docirs.cl/Algoritmo_Distribucion_Aleatoria.htm

  • [B18]
    Naïve Bayes ~ Simple Algoritmo de Clasificación Modelo de Variables Discretas
    José Enrique González Cornejo
    01 de agosto 2019
    DocIRS Technology
    Math-Computing Open Academy

  • [B19]
    Problema de la Ruta Optima
    José Enrique González Cornejo
    01 de mayo 2009
    DocIRS Technology
    Math-Computing Open Academy

  • [B20]
    Nomenclatura DocIRS para la Programación
    José Enrique González Cornejo
    24 de abril 2009
    DocIRS Technology
    Math-Computing Open Academy

  • [B21]
    Acerca del Estilo en Programación
    José Enrique González Cornejo
    18 de abril 2009
    DocIRS Technology
    Math-Computing Open Academy

  • [B22]
    Acerca de la Calidad de una Aplicación
    José Enrique González Cornejo
    18 de abril 2009
    DocIRS Technology
    Math-Computing Open Academy

  • [B23]
    Fundamentos Teóricos de los Lenguajes Estructurados
    José Enrique González Cornejo
    12 de julio de 2011
    DocIRS Technology
    Math-Computing Open Academy

  • [B24]
    Propiedades Geométricas Cualitativas
    José Enrique González Cornejo
    15 de marzo 1997
    DocIRS Technology
    Math-Computing Open Academy

  • [B25]
    Lunch & Learn: Quantum Computing
    Andrea Morello
    Quantum Engineering at University of New South Wales Australia
    21 nov. 2018

  • [B26]
    21 Lessons for the 21st Century
    Talks at Google
    Yuval Noah Harari 11 octubre 2018


  • [B27]
    Homo-Deus-A-Brief-History-of-Tomorrow
    Universidad de California,
    Yuval Noah Harari
    27 febrero 2017

  • [B28]
    MIND BLOWN: Quantum Computing & Financial Arbitrage
    Andrea Morello
    Quantum Engineering at University of New South Wales Australia
    18 jun. 2020

  • [B29]
    Algoritmo cuántico de Deutsch y Jozsa en GAMA
    M. Paredes López - A. Meneses Viveros - G. Morales-Luna
    Departamento de Matemáticas, Cinvestav, Av. Instituto Politécnico Nacional 2508, CDMX
    Departamento de Computación, Cinvestav, Av. Instituto Politécnico Nacional 2508, CDMX
    Rev. mex. fís. E vol.64 no.2 México jul./dic. 2018

  • [B30]
    Principios Fundamentales de Computación Cuántica
    2013, Vicente Moret Bonillo
    Universidad de la Coruña-España

  • [B31]
    Informática Cuántica - Parte 1
    Tecnologias Disruptivas
    Alejandro Alomar
    9 jul. 2018
    https://www.youtube.com/watch?v=SisRIgS3oO4

  • [B32]
    Computación Cuántica para Torpes
    Publicado el 26 de septiembre de 2016 por Sergio Montoro
    https://lapastillaroja.net/2016/09/computacion-cuantica/

  • [B33]
    Intro to Quantum Computing
    Steve Spicklemire
    Lesson 38 Quantum Computing, Deutsch's Problem

  • [B34]
    Learn Quantum Computation using Qiskit
    Page created by The Jupyter Book Community
    Qiskit Development Team Last updated on 2020/07/17.

  • [B35]
    Disfruta de la Experiencia cuántica de IBM
    Francisco R. Villatoro (Francis Naukas)
    2 noviembre, 2018
    https://francis.naukas.com/2018/11/02/disfruta-de-la-experiencia-cuantica-de-ibm/

  • [B36]
    Inversión de Matrices de Números Complejos
    reshish.com 2011 - 2020
    https://matrix.reshish.com/es/multCalculation.php

  • [B37]
    Algoritmo de Deutsch
    13 octubre 2016
    Felipe Fanchini
    https://www.youtube.com/watch?v=Sb5WRs8XUuU

  • [B38]
    Desarrollo de un simulador para el protocolo de criptografía cuántica E91 en un ambiente distribuido
    Ingeniare. Rev. chil. ing. vol.23 no.2 Arica abr. 2015
    Luis Cáceres Alvarez, Roberto Fritis, Palacios, Patricio Collao Caiconte

  • [B39]
    Effect of an artificial model’s vocal expressiveness on affective and cognitive learning
    . Llaima Eliza González Brouwer
    0999377
    MSc. Human Technology Interaction
    Department of Innovation Sciences
    Eindhoven University of Technology
    August 2018

  • [B40]
    Así Cambiará el Mundo la Computación Cuántica
    2016
    Ignacio Cirac
    https://www.youtube.com/watch?v=WJ3r6btgzBM

  • [B41]
    GIPHY
    Imagen de Animación Gif / Partículas
    Explore Partículas Gif

  • [B42]
    MathJax
    MathJax es una biblioteca javascript
    American Mathematical Society.
    Accessible Math in All Browsers


  • [B43]
    El Algoritmo de Deutsch-Jozsa
    KET.G
    25 mar. 2020
    Twitter: https://twitter.com/KetPuntoG


  • [B44]
    Apuntes de Grupos de Lie
    Badajoz, 30 de diciembre de 2017
    Volumen 3
    1.2. Grupos de Lie

  • [B45]
    Teoria de Grupos
    Marshall Hall jr.
    Bibioteca de Matemática Superior
    1967 Maximilian Company, N.Y. USA

  • [B46]
    Tutorial Grupos de Lie
    Javier García
    29 jun. 2017
    Serie de Capítulos ~ España

  • [B47]
    Matrices de Pauli - Pauli matrices Matrices de Pauli
    Enciclopedia libre Matrices de Pauli

  • [B48]
    La Mecánica Cuántica
    Los grupos de rotación I
    Matrices de Pauli

  • [B49]
    Física Matemática
    Grupos de Lie, rotaciones, unitarios, Poincaré.
    Monte Carlo
    L. L. Salcedo
    Departamento de Física Atómica, Molecular y Nuclear
    Universidad de Granada, E-18071 Granada, Spain
    29 de julio de 2020

  • [B50]
    Matrices de Pauli - Pauli matrices Matrices de Pauli
    De Wikipedia, la enciclopedia libre Matrices de Pauli

  • [B51]
    Phisics
    Explore our Questions

  • [B51]
    Entrevista a Jorge Antonio Vargas,
    FAMAF
    Universidad Nacional de Córdoba de Argentina,
    Investigador del Conicet
    20/01/2010, Pagina|12
    ,


  • Paginas Independientes que Contienen los Capítulos del Documento:

  • Conceptos Matemáticos Básicos de Computación Cuántica
    José Enrique González Cornejo
    20 de marzo 2020
    DocIRS Technology
    Math-Computing Open Academy

  • Algoritmo de Deutsch
    José Enrique González Cornejo
    20 de marzo 2020
    DocIRS Technology
    Math-Computing Open Academy









  • v.9.1/Marzo 2020 ~ Upgrade 17/04/2021










     +  Contacto con el Autor