Universidad de Buenos Aires Facultad de Ciencias Exactas y Naturales Tesis de Licenciatura en Ciencias Fsicas

Criptografa cuntica con codicacin de 2 qubits por fotn

Marcelo Alejandro Luda

Director: Co-Director: Grupo de investigacin: Lugar de trabajo: Director del laboratorio:

Dr. Juan Pablo Paz Dr. Christian Schmiegelow Quantum Foundations and Information DF FCEN-UBA, CeILAp - CITEDEF Dr. Miguel Larotonda

11 de marzo de 2013

Resumen
La criptografa cuntica es una disciplina que estudia formas de transmitir informacin con seguridad basada en propiedades cunticas de la materia. Usualmente consiste en distribuir una clave criptogrca entre dos puntos A y B que no puede ser reproducida por un espa, lo que permite lograr seguridad incondicional utilizando algoritmos clsicos de encripcin y transmisin de datos con esa clave. Una forma de realizar esto es distribuir dos sistemas entrelazados de dos niveles, uno para A y otro para B. Luego en cada laboratorio se miden observables sobre cada sistema. A partir de sus resultados y de comunicacin clsica se puede destilar una clave segura comn a ambos. Al sistema de 2 niveles utilizado como unidad mnima de intercambio se lo llama, en Informacin Cuntica, un qubit. El primer protocolo de criptografa clsica fue el desarrollado por Bennett y Brassard en 1984 (BB84), que consiste en el intercambio de fotones midiendo y preparando un estado de qubit de polarizacin en cada laboratorio usando una de dos bases al azar. Las bases deben cumplir la propiedad de ser mutuamente no sesgadas. En el presente trabajo se estudi la forma de extender el protocolo BB84 codicando 2 qubits en cada fotn y preparando y midiendo los estados en mltiples bases mutuamente no sesgadas. Para ello, en la primera parte se analizaron los conjuntos de bases no sesgadas que se pueden formar en un espacio de Hilbert de dimensin 4 utilizando el formalismo de estabilizadores. Se hallaron 6 conjuntos de bases no sesgadas, de entre los cuales se eligi uno para estudiar la factibilidad de implementacin experimental del protocolo. Tambin se analizaron las ventajas de las extensiones propuestas en trminos de seguridad. En la segunda parte se estudiaron diferentes formas de codicar 2 qubits en un fotn como soporte fsico para la realizacin del protocolo BB84 extendido, siendo uno de los qubits el de polarizacin. Se estudiaron dos propuestas para el segundo qubit: time-bin y modos espaciales de la luz. Para el caso de qubit de polarizacin y time-bin, se parti de la propuesta diseo experimental del trabajo [1] y se realiz luego una propuesta simplicada que abarca todas las bases del conjunto elegido. Para el caso de qubit de polarizacin y modos espaciales se propuso un diseo experimental original y se analiz la forma de proyectar los estados de modos espaciales utilizando un interfermetro de Mach-Zender con un espejo extra (MZEE), propuesto en el trabajo [2]. En dicho trabajo se demuestra experimentalmente que el MZEE puede discriminar estados de modos espaciales en haces de luz intensa. En la tercera parte se estudi experimentalmente la factibilidad de realizar discriminacin de estados de modos espaciales con el MZEE en el lmite de fotn individual. Para medir los haces en ese rgimen se utilizaron fotomultiplicadores con circuitos de discriminacin de diseo propio que permitieron realizar conteo de fotones. Se construy el interfermetro y se midieron los contrastes de interferencia en el lmite de fotn individual. Se corrobor la efectividad del MZEE para la discriminacin de estos estados, demostrando que es factible la realizacin del protocolo extendido propuesto.

iii

Agradecimientos
A Juan Pablo Paz,
de sobre fsica cuntica, que me llev a entender la fsica desde una nueva perspectiva.

Quantum Foundations and Information

por haberme brindado la oportunidad de trabajar dentro del grupo , por toda su ayuda y todo lo que me ense

A Christian `Pipo' Schmiegelow, A Miguel `Richi' Larotonda,

por el inmenso cario y paciencia que tuvo para guiar-

me, ensearme, aconsejarme y ayudarme, tanto en trabajo de laboratorio como en las decisiones de la carrera y en la vida misma. por su indispensable ayuda para poder completar y ha-

cer funcionar el experimento y por su predisposicin constante para ayudarme ante cualquier problema, dentro y fuera del mbito acadmico.

A mis compaeros de laboratorio de ptica Cuntica,

y por su actitud siempre amiga y compaera.

Nacho, Lau y Bruno, por ame-

nizar el da a da, contagiar buena onda, ayudarme con los experimentos y desarrollos

A Jorge Codnia,

por su intensa y contagiosa pasin por la fsica experimental, por la

ayuda brindada para entender y hacer andar los experimentos y por llevar siempre buena onda al laboratorio. Para todos ellos, fue un honor y un gusto haber podido trabajar con personas que, adems de tener un elevado nivel acadmico, me demostraron ser grandes personas y, fundamentalmente, buena gente.

A mis compaeros de CeILAp y de Quantum Foundations and Information,

dizaje, y por la buena onda del da a da.

por

compartir sus conocimientos y su trabajo, que enriqueci mucho este tiempo de apren-

A mis amigos y compaeros de cursada de toda la carrera,

Chyntia Q., Mauro, Lu-

cas, Mamo, Ethel, Adrian, Marian, Marie, Facu, Nico, Mako, Cynthia W., Gaby, Nahuel, Fede y todos aquellos con quienes compartimos cientos de horas de estudio, mate y bizcochitos tratando de aprobar parciales, nales e informes de laboratorio.

Al activismo de la facultad,

las agrupaciones de todos los claustros (con especial agra-

decimiento a La Mella y el FEM, y a Nacho, Ali, Manu y Nico), la FIFA (con especial agradecimiento a Emi y Roco), el GlugCEN, los grupos de estudio de historia de la facultad (con especial agradecimiento a Eduardo Daz de Guijarro y Carlos Borches), los divulgadores y todos los que se atrevieron a encarar la tarea de trabajar para modicar su realidad inmediata y la de toda la comunidad de la facultad. Estoy convencido de que pasar por las aulas de la universidad pblica sin involucrarse al menos un poco con alguna de estas actividades es desperdiciar gran parte del potencial formativo y educativo que nos hace crecer como personas, mucho ms all de los estrictamente acadmico.

A mi familia,

mis viejos, por todo su amor y los sacricios que hicieron por m, a mi

hermano, por bancarme siempre, y a mis abuelos y mi ta Olga, por haberme enseado la cultura del trabajo, el esfuerzo y el estudio.

A mis amigos personales,

Rodrigo, Juan, Maio y Noe, porque compartiendo su vida

conmigo me ayudaron a seguir y salir adelante innitas veces.

Dedicado a mi viejo

vii

ndice general
Introduccin 1

I Distribucin cuntica de claves con 2 qubits

1. Formalismo de informacin cuntica
1.1. 1.2. 1.3. 1.4. Denicin de qubit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Medicin de un qubit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Bases mutuamente no sesgadas Generacin de los estados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3
7
7 7 8 9

2. El protocolo BB84 y BB84E

2.1. 2.2. 2.3. Intercambio de qubits Seguridad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Generacin de la clave . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11
11 12 12

3. BB84E4 : QKD con 2 qubits

3.1. 3.2. 3.3. Bases mutuamente no sesgadas en d=4 . . . . . . . . . . . . . . . . . . . . . . Seleccin de MUBS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Generacin de estados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15
16 17 19

Resumen de la primera parte

21

II Posibles implementaciones de QKD usando fotones con 2 qubits codicados 23

4. Qubit de polarizacin
4.1. 4.2. Descripcin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Manipulacin y proyeccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

27
27 28

5. Implementacin de qubit de time-bin

5.1. 5.2. Estados de 5.2.1. 5.2.2. 5.3. 5.3.1. 5.3.2. 5.3.3. 5.4. 5.4.1. 5.4.2. 5.4.3. 5.4.4. Operaciones locales y controladas . . . . . . . . . . . . . . . . . . . . . . . . . Mach-Zehnder desbalanceado . . . . . . . . . . . . . . . . . . . . . . . Controladores de Polarizacin . . . . . . . . . . . . . . . . . . . . . . . . Generacin de los estados Proyeccin de los estados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

time-bin

31
31 32 32 32 33 33 34 36 36 36 37 38 40

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Generacin y proyeccin de estados en base a la propuesta de Buttler

et. al.

Implementacin de BB84E4 con preparacin y medicin determinista . Fuente de fotones con leds/lser atenuados Generacin de los estados Proyeccin de los estados . . . . . . . . . . . . . . .

Propuesta experimental simplicada de BB84E4 con Polarizacin y time-bin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Fibras pticas y polarizacin

ix

6. Implementacin de qubit de modos espaciales

6.1. Estados de modos espaciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.1.1. 6.1.2. 6.2. 6.2.1. 6.2.2. 6.2.3. 6.2.4. 6.3. 6.3.1. 6.3.2. 6.3.3. Interpretacin del fotn en trminos de autoestados de operadores Construccin de qubit de modos espaciales Conversor de modos . . . . . . . . . . . . . . . . .

41
42 45 46 47 47 48 49 51 53 53 55 55

Operaciones locales y controladas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Prisma de Dove . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Operacin controlada: Interfermetro Sagnac Proyeccin de estados: MZ con espejo extra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Generacin de estados . . . . . . . . . . . . . . . . . . . . . . . . . . . Proyeccin de estados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Detalles de implementacin

BB84E con polarizacin y modos espaciales

Resumen de la segunda parte

57

III Caracterizacin experimental de un separador de modos espaciales de la luz para QKD con 2 qubits 59
7. Generacin de modos TEM y TEMD
7.1. 7.2. 7.3. 7.4. Fuente lser . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Formacin de modos TEM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Caracterizacin del frente de onda . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Eleccin de polarizacin y atenuacin del haz

63
63 64 66 67

8. Mach Zehnder con espejo extra

8.1. Caractersticas geomtricas del MZEE 8.1.1. 8.1.2. 8.1.3. Espejo doble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Estabilizacin activa . . . . . . . . . . . . . . . . . . . . . . . . . . . . Lmite de contraste del MZEE

69
69 70 71 73

9. Conteo de fotones
9.1. 9.2. 9.3. Los fotomultiplicadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Circuitos de discriminacin Captura de datos y eciencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

75
75 76 78

10.Procedimiento experimental 11.Resultados

11.1. Interferencia con haces intensos: rgimen clsico . . . . . . . . . . . . . . . . . 11.2. Interferencia con haces tenues: rgimen de fotn individual . . . . . . . . . . . 11.3. Estados fuera de la base computacional 11.4. Conclusiones parciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

81 83
83 86 86 89

Resumen de la tercera parte 12.Conclusiones

91 93

Introduccin
La formalizacin de la mecnica cuntica dio lugar a la aparicin de mltiples desarrollos tecnolgicos a lo largo del siglo XX que explotaban algunos fenmenos que solo se pueden explicar desde este paradigma. En particular, hacia nales de siglo se comenz a vislumbrar la posibilidad de procesar y transmitir informacin utilizando algunas de las propiedades nicas de los sistemas cunticos. En 1982 Richard Feynman [3] sugiri la posibilidad de simular sistemas cunticos de forma mucho ms eciente que con una mquina de Turing utilizando un sistema cuntico con evolucin controlada en el tiempo. En 1985 David Deutsch formaliz esas ideas con la descripcin de una Computadora Cuntica Universal [4]. En 1984 Bennett y Brassard desarrollaron un protocolo [5] (BB84) para transmitir informacin encriptada utilizando la propiedad de no-clonabilidad de los estados cunticos. El desarrollo de Bennett y Brassard fue fundacional del rea de criptografa cuntica y es la base desde la que se parte para el presente trabajo. Existen mltiples implementaciones de protocolos similares a este, tericas y prcticas, y hasta productos comerciales para comunicacin criptogrca con seguridad cuntica. La mayora de las realizaciones experimentales utilizan fotones como portador y codican un qubit (bit cuntico de informacin, ver captulo 2) en alguna propiedad de los mismos. En este trabajo se analizar la factibilidad de implementar un protocolo BB84 extendido codicando 2 qubits en cada fotn. En la parte I se expondr el andamiaje terico necesario para entender cmo utilizar el protocolo disponiendo de portadores con dos qubits. En la Parte II se analizarn posibles implementaciones experimentales para realizar el protocolo. Por ltimo, en la Parte III se analizar, con resultados de laboratorio, la factibilidad de realizar una de esas implementaciones vericando el correcto funcionamiento de una de las partes fundamentales del armado experimental, asociada a la medicin nal de los estados.

Parte I

Distribucin cuntica de claves con 2 qubits

Criptografa clsica y la necesidad de QKD

La criptografa es una disciplina que estudia mtodos para transmitir un mensaje entre dos personas de forma tal que no pueda ser interpretado por una tercera persona que intervenga el medio de comunicacin. Est disciplina creci mucho con el desarrollo de la era de las comunicaciones y se volvi esencial para establecer comunicaciones seguras para la transmisin de datos sensibles. En la computacin clsica la informacin se codica en nmeros binarios, asociando a cada caracter una combinacin de unos y ceros que despus son transmitidos y ledos por una terminal. Cada uno o cero es llamado un bit de informacin. Para transmitir un mensaje seguro solo hace falta aplicar una funcin reversible al mensaje que altere la secuencia binaria para crear un mensaje encriptado. Luego el mensaje puede ser decodicado aplicando la funcin inversa. Para tener seguridad contra terceros es necesario que la funcin dependa de un parmetro extra compartido solo por el autor y el destinatario del mensaje: una clave criptogrca, que tambin se codica en una secuencia de bits. Esta es una de las formas ms simples de criptografa, denominada criptografa simtrica. Existen muchas implementaciones de criptografa simtrica en computacin clsica y en todas ellas la seguridad reside en la dicultad computacional para poder adivinar la clave por parte de un tercero. Cuando una clave criptogrca es corta el mensaje es encriptado en bloques. En estos casos, los algoritmos de encripcin son susceptibles a ataques que consisten en anlisis exhaustivos del mensaje encriptado que pueden ofrecer informacin sobre la clave criptogrca. Todos estos algoritmos son vulnerables a los llamados ataques de fuerza bruta que consisten en probar todas las claves posibles, lo que se diculta para claves largas pero sigue siendo factible. La nica forma de poder evitar estas deciencias es que las claves criptogrcas sean al menos tan largas como el mensaje que se quiere transmitir y que nunca se repita su utilizacin. Adems, la clave debe ser una secuencia de bits completamente aleatoria. Si se cumplen estas condiciones los protocolos clsicos de encripcin simtrica se vuelven perfectos

1 , en el sentido de que no se puede averiguar de ningn modo el mensaje original

partiendo del encriptado. El problema radica entonces en poder generar y distribuir claves criptogrcas sin que estas puedan ser conocidas por un tercero. La Distribucin Cuntica de Claves (QKD,

conjunto de protocolos que permiten generar una clave criptogrca idntica entre dos terminales de un canal de comunicacin utilizando algunas propiedades de la mecnica cuntica. La implementacin de estos protocolos permite entonces subsanar las debilidades de la criptografa clsica creando un canal de comunicacin segura que no puede romperse con ataques de anlisis exhaustivos sobre los mensajes encriptados.

Quantum Key Distribution

) consiste en un

El protocolo denominado one-time pad es el ejemplo arquetpico de protocolo clsico simtrico que

puede alcanzar seguridad incondicional si se cuenta con claves aleatorias de un solo uso ms largas que el mensaje.

Captulo 1

Formalismo de informacin cuntica

No es objetivo de este trabajo hacer una descripcin pormenorizada de los axiomas que componen la estructura matemtica de la mecnica cuntica (QM, de ) y su interpretacin fsica. Dando por conocidos los postulados de von Neumann y los fundamentos bsicos de la teora, el presente captulo se limitar a relacionar esos conceptos con algunos elementos de la informacin cuntica (QI, de ) necesarios para estudiar los protocolos de QKD. Para mayor informacin se puede referir a [6].

Quantum Mechanics

Quantum Information

1.1. Denicin de qubit

En la computacin clsica cada bit de informacin tiene un valor bien denido, que puede ser 1 o 0. Para la implementacin prctica se asocian estos valores a estados de variables fsicas clsicas, como puede ser un valor de tensin (0 o 5V) o la presencia o ausencia de una perforacin sobre una cinta o cartn. Para denir un quantum-bit (qubit) se asociar la unidad de informacin a un estado cuntico. En QM un estado est descrito por un vector de un espacio de Hilbert asociado al sistema en estudio. Por analoga con la computacin clsica consideraremos un espacio de dos dimensiones, como puede ser el estado de spin de una partcula o un estado de polarizacin de la luz. As, podemos asociar el anlogo al valor 0 de un bit clsico con el estado de polarizacin horizontal de la luz o con el estado de spin en Z positivo, al que llamaremos

|0

. Y para la polarizacin vertical o para el spin negativo,

|1

. Pero, a diferencia

de un bit clsico, un qubit puede estar en un estado de superposicin de estos valores:

| = |0 + |1

con

|| + | | = 1

, C

(1.1)

Entonces, en correspondencia con la descripcin de estados en QM, se denir al qubit como un vector en el espacio de Hilbert de dos dimensiones. El qubit ser la representacin del estado de alguna propiedad fsica cuya medicin resulte en solo dos valores posibles.

1.2. Medicin de un qubit

En un bit clsico relevar su estado es equivalente a medir el valor de la propiedad con la que se lo codica. Con un qubit la informacin completa del estado es inaccesible en una medicin. En QM, cada medicin est representada por un operador hermtico cuyos autovalores son los resultados que se pueden obtener. Los autovectores asociados a cada autovalor diferente son ortogonales y forman una base completa del espacio de Hilbert. Al medir un estado es proyectado sobre el subespacio asociado al autovalor obtenido, lo que se conoce como el colapso de la funcin de onda, resultando en un autovector del operador. La medicin no es un proceso determinista, ya que se pueden obtener diferentes resultados con diferentes probabilidades. La probabilidad de obtener un autovalor determinado est dada por el mdulo cuadrado del coeciente de la componente vectorial correspondiente a ese autovalor. 7

Para ejemplicar, si tenemos un operador con autovalores 0 y 1, sus autovectores conforman la base

{|0 , |1 }.

Un qubit representado en esa base se puede escribir como en (1.1).

La probabilidad de obtener el valor 0 en una medicin ser Luego de medir, el estado nal ser respectivamente

|0

|| |1 .

y la de obtener 1 ser

| |

1.3. Bases mutuamente no sesgadas

A cada operador hermtico se le puede asociar una base completa del espacio, en funcin de lo mencionado en 1.2. Existen innitas bases que se pueden elegir para realizar una medicin. Vamos a nombrar a las bases por el nombre del operador que las genera. En el caso de los qubits sern de importancia mayor las bases asociadas a los operadores representados por las matrices de Pauli:

x =

0 1
1 2 1 2

1 0 1 1 1 1

y =

0 i
1 2 1 2

i 0 1 i 1 i

z =

1 0 1 0 0 1

0 1 = |0 = |1
(1.2)

|x+ = |x =

|y + = |y =

|z + = |z =

que pueden representar cualquier medicin de un sistema de dos dimensiones estableciendo un isomorsmo entre los autoestados y autovalores originales y los correspondientes a y

+1

de Pauli. Adems, se los puede identicar fcilmente en muchas implementaciones

experimentales. Por ejemplo, partcula de spin

x , y , z

representan mediciones del spin en X, Y y Z de una

1/2

pero tambin pueden representar mediciones de la polarizacin de la

luz en bases vertical-horizontal (z ), diagonal-antidiagonal (x ) y circulares (y ). Los elementos estn representados en la base de con autovalores

z ,

que en adelante denominaremos

base computacional. Por usos y costumbres, llamaremos

|0

|1

a los estados de esa base

+1

respectivamente. El hecho de que estos operadores no compartan

autovectores est asociado a la no conmutatibidad de los operadores de Pauli:

[ , ] = 2i

(1.3)

Esto implica que no se puede y no tiene sentido tratar de conocer simultneamente los resultados de las mediciones de estos operadores para un mismo estado. Cuando est bien denido el valor de

no estn bien denidos los valores de

ni

en virtud del principio

de incertidumbre. Esta propiedad ser explotada para la implementacin de protocolos QKD junto con el principio de no clonabilidad de los estados cunticos. Pero adems de no conmutar, las bases asociadas a los operadores de Pauli cumplen la

las otras tiene igual probabilidad de producir cualquiera de los resultados. En notacin de brakets esto es, dada una base

Unbiased Bases Set

propiedad de ser un conjunto de bases mutuamente no sesgadas (MUBS, del ingls

), que cumplen la propiedad de que cada estado de una base medido en

Mutually

A,

para cualquier base

de la MUBS vale:

j |k
donde

(A)

(B =A)

1 , d

j, k {1, . . . , d}

(1.4)

es la dimensin del espacio de Hilbert. Esto es equivalente a decir que cualquier

estado de una base radores de la base autovector de un las veces en

+1

A tiene la misma proyeccin (en mdulo) sobre cualquiera de los geneB y viceversa (ver gura 1.1). En el caso de los qubits, medir cualquier operador i con cualquiera de los otros operadores resultar un 50 % de un 50 % de las veces en 1.

Figura 1.1: Ejemplo grco de dos bases para el espacio de 2 dimensiones que son mutuamente no

sesgadas. El mdulo de las proyecciones de cualquiera de los generadores de una de las bases sobre la otra es el mismo siempre.

1.4. Generacin de los estados

Se puede garantizar la construccin de cualquier estado de cualquier base si se pueden generar los estados de la base computacional y cualquier operador de cambio de base. Los cambios de base sern las operaciones fsicas necesarias para transformar un estado en otro, analizables desde el punto de vista computacional como algoritmos aplicados sobre el qubit. En QI se suelen representar estos algoritmos como circuitos de ujo con bloques que representan operaciones realizadas sobre el qubit. En la computacin clsica se llama compuertas universales a las operaciones de AND, OR y NOT porque con ellas se pueden implementar cualquier operacin computable. Anlogamente, existen un conjunto de operadores cunticos universales que pueden construir cualquier operacin unitaria con precisin arbitraria[6], en particular, las operaciones de cambio de base. Para un solo qubit basta con implementar los operadores de Hadamard, Fase y a varios qubits.

Ba se

Base A

1 (de izquierda a derecha)

/8

(ver tabla 1.1). Agregando el operador CNOT (ver seccin 3.3) se extiende la generalizacin

Hadamard

Had S T

1 2

1 1 1 0 1 0

1 1 0 i 0 e
i/4

Fase

/8

Tabla 1.1: Operadores Universales para 1 qubit, con su representacin como compuerta de circuito

cuntico y la expresin matricial

1 Los

detalles sobre las convenciones en la escritura y lectura de estos circuitos para describir procesos

cunticos se pueden encontrar en [6]

Por ejemplo, en la tabla 1.2 se muestran las operaciones de cambio de base que permiten construir los estados no computacionales mencionados. Esta forma de anlisis permitir sistematizar la construccin de operadores de cambio de base para casos ms generales, sabiendo que al encontrar una implementacin fsica de los operadores universales se puede construir cualquier otro operador.

|0 |1 |0 |1

|x+ |x |y + |y S

Had Had
1 2

1 2

1 1 1 0

1 1 0 i
1 2

1 i

1 i

1 1

1 1

Tabla 1.2: Operadores de cambio de base construidos a partir de operadores universales

10

Captulo 2

El protocolo BB84 y BB84E

En 1984 Bennett y Brassard desarrollaron un protocolo [5] que explota las propiedades cunticas de la medicin de estados en bases mutuamente no sesgadas para poder crear y transmitir una clave criptogrca sin que pueda ser capturada por un espa. El protocolo original consista en el intercambio de qubits individuales preparados y medidos en alguna de dos bases de un MUBS. A continuacin se har una descripcin de una versin extendida (BB84E) de ese protocolo que contempla la medicin en todas las bases posibles de un MUBS. Llamaremos BB84E2 a la implementacin de ese protocolo para 1 qubit (dimensin

d = 2).

A lo largo de este trabajo veremos adems que se puede generalizar esta extensin

a intercambios de ms de un qubit por envo (BB84E4 con 2 qubits).

2.1. Intercambio de qubits

Alicia (A) quiere enviarle un mensaje a Bob (B) sin que un espa (E) pueda leerlo. Dispone para ello de un canal clsico de comunicacin, que consideraremos un canal pblico autenticado, que puede ser monitorizado por un espa pero no modicado, y la posibilidad de enviarle a Bob qubits codicados sobre alguna propiedad fsica. Lo que har Alicia es explotar las caractersticas cuaticas del qubit para poder fabricar una clave criptogrca que Bob podr reproducir de forma idntica. Luego el mensaje nal se transmitir por el canal pblico usando criptografa simtrica con la clave obtenida. Lo primero que hace Alicia es seleccionar una de las bases asociadas a las matrices de Pauli

de forma completamente aleatoria

1 . Luego prepara uno de los dos autoestados de

forma tambin completamente aleatoria (50 % de probabilidad de preparar preparar

|+1

i ), pero siempre teniendo conocimiento de qu autoestado prepar y en qu base. Luego enviar el qubit preparado a Bob y repetir el procedimiento tomando registro
de la base y el estado de cada envo. Bob recibir los qubits desconociendo la base en que fueron preparados. A cada qubit recibido lo medir con el operador correspondiente a una de las 3 bases, eligindolo en cada caso de forma aleatoria. Registrar la base usada en cada qubit y el resultado obtenido. En los casos en que Bob haya utilizado la misma base que Alicia, el resultado obtenido permite identicar unvocamente el estado preparado originalmente. En el resto de los casos el resultado obtenido ser

|1

i y 50 % de

+1

en el 50 % de las veces y

en el otro 50 % (ver seccin 1.3).

Esto es equivalente a decir que la informacin obtenida es nula: no sirve para hacer ninguna inferencia sobre el estado original enviado. Un espa pude tratar de intervenir la comunicacin para obtener la clave generada. El desconocimiento de las bases de medicin solo le permitir obtener informacin parcial de la clave, que deber ser reducida tanto como sea posible para que el protocolo sea seguro (ver seccin 2.3).

1 La

denicin de completamente aleatoria sigue siendo objeto de intenso estudio en diversas disciplinas

de las matemticas. El estudio de las medidas de azar y caracterizacin de datos aleatorios escapa a los alcances de este trabajo. Para comprender el protocolo alcanzar con aclarar que una condicin necesaria de una eleccin completamente aleatoria es que sus resultados posibles sean igualmente probables.

11

2.2. Generacin de la clave

Una vez nalizado el intercambio de qubits, Alicia y Bob se comparten por un canal pblico la informacin de las bases utilizadas en cada qubit preparado o medido. En los casos donde las bases coincidan los valores obtenidos por Bob sern iguales a los que representaban los estados de Alicia, mientras que en el resto de los casos los datos son desestimados (ver tabla 2.1). Base Alicia Estado preparado Base Bob Valor medido Clave compartida x 0 x 0 0 y 1 y 1 1 z 1 x 0 y 0 z 0 x 1 x 1 1 x 0 z 1 y 1 z 1 x 0 x 0 0 y 1 x 0 y 1 y 1 1

Tabla 2.1: Ejemplo de realizacin del protocolo BB84E2

Luego se aplica un protocolo de reconciliacin de informacin a travs del canal pblico que permite detectar y corregir inconsistencias entre las claves de Alicia y Bob. Las fuentes de estas inconsistencias pueden ser desde problemas metodolgicos y limitaciones tecnolgicas hasta la intervencin de un espa. Para extremar la seguridad se debe asumir que todos los errores provienen de la intervencin de un espa. Los protocolos de reconciliacin funcionan revelando porciones de informacin de la clave de cada interlocutor, como por ejemplo el clculo de paridad en bloques [7], e intercambiando la mnima informacin necesaria para poder corregirlos. Al terminar el protocolo Alicia y Bob tendrn copias idnticas de las claves al precio de haber revelado informacin de las mismas a un presunto espa, que se sumar a la informacin til capturada durante el proceso de intercambio de qubits.

informacin parcial que pudiera tener un tercero a una cantidad arbitrariamente chica. Esto se puede implementar con una funcin de la familia de funciones de Hash Universal

plication

Para nalizar, se realiza un protocolo de Amplicacin de privacidad (

) que permite crear una clave ms chica a partir de la original reduciendo la

Privacy Am2.

2.3. Seguridad
Durante todo el proceso, un espa pudo haber estado interceptando los qubits. Debido a la no clonabilidad de estados cunticos [8] el espa no puede hacer una copia un estado. Para extraer informacin debe realizar algn tipo de medicin que generar necesariamente perturbaciones detectables por parte de Alicia y Bob. Por ejemplo, el espa puede medir directamente el estado en una de las bases. Si elige la misma base A que Alicia, el estado permanecer inalterado y no afectar a las mediciones de Bob. Pero si se equivoca, proyectar el estado sobre uno de los autoestados de la base de medicin E. En ese caso, aunque Bob elija la base A para hacer su medicin, solo podr deducir correctamente el estado original en el 50 % de los casos. Por lo cual, el espa solo puede obtener informacin a costa de generar errores en las mediciones de Bob. Esta estrategia es el ms simple de los llamados ataques individuales, que consisten en procedimientos de extraccin de informacin donde el espa solo puede procesar un qubit a la vez. Existen estrategias de ataques individuales ms sosticadas que generan menos distorsiones. Tambin existe un conjunto de estrategias denominadas ataques coherentes que consisten en realizar mediciones colectivas sobre diferentes qubits, entrelazando los grados de libertad del qubit con memorias cunticas para su posterior procesamiento con una computadora cuntica universal. Estos ltimos son tericamente posibles, pero tcnicamente inimplementables con la tecnologa actual. Todas las estrategias generan inevitablemente cierta distorsin sobre los datos de Bob, medible a partir de las diferencias entre las claves generadas, y que es una funcin creciente de la cantidad de informacin obtenida por el espa (ver seccin 2.3). Para que una realizacin del protocolo BB84E pueda considerarse segura se debe garantizar que la cantidad de informacin obtenida sobre la clave por un presunto espa es

2 http://en.wikipedia.org/wiki/Universal_hashing
12

sucientemente chica como para que sea prcticamente nula despus de aplicar el protocolo de . La informacin obtenida por el espa se puede cuanticar utilizando el formalismo de la teora de informacin clsica de Shannon. La cantidad de informacin robada puede denirse como la informacin mutua entre el espa y Alicia . Para establecer las condiciones de seguridad de una transmisin Bob debe compartir

Privacy Amplication

Reconciliation

pblicamente una porcin de la clave obtenida antes de realizar el protocolo de

y calcular la tasa de error. Para una dada tasa de error existe una cota

Information

mxima a la cantidad de informacin que el espa pudo haber obtenido para diferentes estrategias de robo de informacin y restricciones experimentales. En [10] se analizan algunas de estas estrategias para QKD con un qubit considerando algunas restricciones razonables (como la imposibilidad del espa de guardar estados en memorias cunticas para mediciones posteriores a la revelacin de las bases o la implementacin de ataques coherentes) y se determina la mxima informacin obtenible por el espa dada una tasa de error determinada. Cuando la informacin mutua entre Alicia y Bob es inferior a la informacin mutua entre Alicia y el espa no se puede garantizar que la informacin de la clave nal de este ltimo sea nula luego del protocolo de . En este caso se dice que la seguridad de la transmisin no est garantizada y se aborta la comunicacin. Para QKD con un qubit de transmisin la tasa de error mxima tolerable para considerar segura la generacin de la clave es de 0.146447 [10, 11], considerando las restricciones razonables mencionadas.

Privacy Amplication

3 La

informacin mutua entre A y E se dene como

I (A, E ) H (A) H (A|E ), donde H (A) es la entropa

de Shannon de los datos A y teora de informacin [9]

H (A|E )

la entropa condicional. Para mas informacin referirse a textos de

13

Captulo 3

BB84E4: QKD con 2 qubits

En el captulo 2 se hizo una descripcin general del protocolo BB84E2 para intercambio de qubits individuales; osea, para intercambio de estados en un espacio de Hilbert con dimensin 2. Este procedimiento es fcilmente generalizable a espacios de dimensin estados en estos espacios suelen ser llamados qudits, haciendo referencia a las involucradas. Extender el protocolo a mayores dimensiones puede tener diversas ventajas segn cmo se lo implemente. Por ejemplo, si se cuenta con operadores que permiten proyectar sobre dos bases (como en el BB84 original) de dimensin

d>2

encontrando al menos dos bases del espacio de Hilbert que sean mutuamente no sesgadas. Los

d dimensiones

d = 2n

de un MUBS se puede aumentar

la tasa efectiva de generacin de bits de la clave criptogrca de 1 bit por envo con probabilidad de deteccin de 50 %) a llevar

br = 0.5 (transmisin de br = n/2 (transmisin de n bits

por envo con probabilidad de deteccin de 50 %). Esta es la propuesta del trabajo [1] para

br = 1

utilizando 2 qubits.

Tambin se puede aumentar la seguridad si se realiza BB84E4 con todas la bases disponibles del MUBS, ya que a mayor dimensin del espacio de Hilbert se pueden encontrar, a menudo, MUBS con mayor cantidad de bases . Cuantas bases mutuamente no sesgadas pueden hallarse para un sistema de dimensin que no puede haber ms de se puede alcanzar para

es un problema abierto en general. Se sabe

d+1

bases mutuamente no sesgadas y que este lmite siempre

igual a una potencia de nmero primo [12].

En [11] se realiza un estudio de la tasa de error mxima tolerable comunicacin con BB84Ed en un espacio de

para que una

d = pm (p

primo) pueda considerarse segura.

En la tabla 3.1 se exponen los resultados para las diferentes implementaciones del protocolo: utilizando solo dos bases (para aumentar la tasa de generacin efectiva) el error mximo

ind D2 ; utilizando todas las bases del ind coh MUBS, en Dd+1 ; utilizando todas las bases pero sometido a ataques coherentes, D .
tolerable para ataques individuales en la columna

d
2 3 4 5 8 16

ind D2
14.64 21.13 25 27.64 32.32 37.50

( %)

ind Dd +1
15.64 22.67 26.66 29.23 33.44 37.50

( %)

Dcoh
11.00 15.95 18.93 20.99 24.70 28.97

( %)

Tabla 3.1: D representa la distorsin o la tasa de error mxima tolerable para considerar segura ind la generacin de la clave. D2 es el valor considerando ataques individuales y usando 2 de las ind d + 1 bases. Dd+1 considera ataques individuales usando las d + 1 bases. Dcoh considera ataques

coherentes usando

d+1

bases. Datos extrados de [11].

Si se combinan 2 qubits por envo de forma tal que se los pueda preparar en el estado ms general posible, incluyendo el entrelazamiento de sus grados de libertad, se puede acceder a las ventajas mencionadas para un espacio de

d = 4.

Cabe mencionar que esto es mucho

En [11] se puede ver que, en protocolos BB84Ed , a mayor cantidad de bases mutuamente no sesgadas

es menor la cantidad de informacin que puede obtener un espa.

15

ms general que la implementacin de dos protocolos QKD en paralelo, lo que habilita la posibilidad de encontrar 5 bases mutuamente no sesgadas. Para y se logra una tasa de transferencia de

d=4

utilizando solamente

2 bases de codicacin la tasa mxima de error tolerable para ataques individuales es de

0.25

bit/envo. Si se utilizan las 5 bases la tasa de error

mxima tolerable para ataques individuales es de

26.6

y se logra una tasa de transmisin de

0.4

bits/envo (apenas inferior al BB84 original). A continuacin se analizarn las posibles

selecciones de bases para este caso particular.

3.1. Bases mutuamente no sesgadas en d=4

En la seccin 1.3 se denieron diferentes bases para un qubit en funcin de las matrices de Pauli. Para dos qubits utilizaremos el formalismo de estabilizadores junto con los operadores generalizados de Pauli para encontrar MUBS que nos permitan implementar BB84E4 de la manera ms segura posible; esto es, utilizando las formalismo est desarrollado en [13]. Los estados que pertenecen a una base de un MUBS tienen componentes de igual amplitud sobre todos los generadores de las otras bases:

bases mutuamente no sesgadas que son

factibles de hallar. Tambin veremos que hay ms de una eleccin posible de esas bases. Este

1 A i = d

d A,B B exp(i,j ) j j =1

Esto implica que para denir los generadores de las una base y

bases del MUBS se necesita conocer

m d (d 1)

fases. Para evitar lidiar con tantos valores se puede utilizar el

formalismo de estabilizadores. Para denir un estado son operadores que tienen a

se utilizaran estabilizadores, que

como autoestado y cuyos autovalores solo pueden ser

1 y 1:

S | = |
Los estabilizadores que estabilizan a

forman un grupo, debido a que: tienen inversa (si

S | = | S 1 | = |
tambin lo hace).

), la identidad estabiliza a todos los estados y el producto

de estabilizadores tambin es un estabilizador (si

S1

S2

estabilizan a

| S3 = S1 S2

Dado un grupo abeliano de estabilizadores, existe una base de autoestados comn a todos los operadores del grupo. En [13] se demuestra que si los operadores tienen todos autovalores

1,

esa base est unvocamente determinada por el grupo. Entonces, sus operadores

constituyen un Conjunto Completo de operadores que Conmutan (CCOC). Recorriendo los autovalores de los operadores del grupo se recorren todos los vectores generadores de la base. Adems, en [13] se demuestra que para denido por

d = 2n

un grupo de estabilizadores queda

estabilizadores generadores. Por ende, para denir bases de medicin solo es

necesario denir un grupo abeliano de estabilizadores, donde cada estado de una base queda determinado por solo

valores.

Para hallar estos grupos es conveniente trabajar con los operadores de Pauli generalizados. Estos operadores se construyen con todas las permutaciones posibles de productos tensoriales entre operadores de Pauli y la identidad. Como los operadores de Pauli tienen dimensin dos, es equivalente a decir que, en un operador generalizado, por cada qubit acta un operador de Pauli o la identidad. Por ejemplo, para 4 qubits estos son posibles operadores de Pauli generalizados:

x 1 y y 1 1 z x 1 x x x
El grupo de operadores formados solamente por productos tensoriales de base cannica. Para simplicar la notacin omitiremos el producto tensorial y la escritura de la letra

genera la

XZ x z ). En d = 4 Trabajaremos entonces con 15 operadores, resultantes de X , Y , Z e I de cada qubit, excluyendo el operador II . Por ejemplo, en la tabla 3.2 se presentan dos grupos abelianos de estabilizadores que conforman los CCOCs {ZZ, ZI, IZ} y {XY, YX, ZZ}. Cada uno puede ser denido nombrando dos de los operadores, ya que
(ej: combinar 16

el tercero resulta de la multiplicacin de los primeros. Los generadores de cada base se identican a partir de los autoestados de los operadores. Teniendo los autoestados de dos operadores alcanza para denir de forma completa el estado.
Base B1

1 0 0 0 |0 |0

0 1 0 0 |0 | 1
-1 1 -1

0 0 1 0 |1 | 0
-1 -1 1

0 0 0 1 |1 |1
1 -1 -1

ZZ ZI IZ

1 1 1

1 2

1 0 0 i

1 2

1 0 0 i

1 2

0 1 i 0

1 2

0 1 i 0

XY YX ZZ

|0 |0 +i|1 |1 2 1

|0 |0 i|1 |1 2 -1

|0 |1 +i|1 |0 2 -1

|0 |1 i|1 |0 2 1

1 1

-1 1

1 -1

-1 -1

Tabla 3.2: Ejemplos de bases surgidas de los grupos de estabilizadores abelianos. La primera tabla

(Base B1) muestra los autoestados y autovalores de autovalores de

{XY, YX, ZZ}.

{ZZ, ZI, IZ}

y la segunda los autoestados y

Finalmente, en [13] se demuestra para

d = 2n

que si existe una particin de los

22n 1

operadores generalizados de Pauli (se excluye la identidad) en

2 + 1 grupos abelianos de 2n 1 operadores cada uno, entonces los grupos inducen 2n +1 bases mutuamente no sesgadas. En el caso d = 2 se deben hallar 5 grupos de 3 operadores cada uno, que completan los 15
operadores generalizados posibles, para hallar los posibles MUBS. Usando un programa hecho en Scilab[14] se hallaron todos los tripletes de operadores que conmutan entre si, que resultaron ser 15

{XX, XI, IX}, {XX, YY, ZZ}, {XX, YZ, ZY}, {XY, XI, IY}, {XY, YX, ZZ}, {XY, YZ, ZX}, {XZ, XI, IZ}, {XZ, YX, ZY}, {XZ, YY, ZX}, {YX, YI, IX}, {YY, YI, IY}, {YZ, YI, IZ}, {ZX, ZI, IX}, {ZY, ZI, IY}, {ZZ, ZI, IZ}
Para cada triplete de operadores se pueden encontrar de forma unvoca (a menos de una fase local) 4 autoestados mutuos que pueden conformar una base. Tomando alguna convencin para la fase local y para el orden de los autoestados, cada conjunto dene unvocamente una base del espacio de Hilbert para 2 qubits.

3.2. Seleccin de MUBS

Para hallar los MUBS se cre un programa de Scilab[14] para generar las bases asociadas a cada uno de los 15 grupos abelianos hallados y encontrar todos los conjuntos de bases mutuamente no sesgadas que se podan formar. Se encontraron 6 particiones que denen, cada una, MUBS de 5 bases. Cada base est representada por un grupo abeliano de estabilizadores que denen un CCOC. En la tabla 3.3 se presentan los CCOC hallados en cada particin siguiendo un cdigo de colores: Para la implementacin del protocolo BB84E4 es conveniente seleccionar uno de estos MUBS y en adelante solo trabajar con esas bases para describir las implementaciones prcticas. Usaremos las bases de la particin 3.3b, que son las mismas utilizadas en [1]. En las tablas 3.2 y 3.4 se muestran los generadores de las bases B1, B2 y B3, que corresponden a las bases producto. Estas bases estn conformadas por operadores de Pauli 17

XX YX ZX IX

XY YY ZY IY

XZ YZ ZZ IZ

XI YI ZI

XX YX ZX IX

XY YY ZY IY

XZ YZ ZZ IZ

XI YI ZI

(a)
XX YX ZX IX XY YY ZY IY XZ YZ ZZ IZ XI YI ZI XX YX ZX IX

(b)
XY YY ZY IY XZ YZ ZZ IZ XI YI ZI

(c)
XX YX ZX IX XY YY ZY IY XZ YZ ZZ IZ XI YI ZI XX YX ZX IX

(d)
XY YY ZY IY XZ YZ ZZ IZ XI YI ZI

(e)

(f )

Tabla 3.3: Las 6 particiones posibles de los operadores generalizados de Pauli para 2 qubits. Cada

particin contiene 5 bases mutuamente no sesgadas denidas a partir de CCOCs de 3 operadores. Los CCOCs representados por el color rojo y el verde forman bases entrelazadas. El resto de los colores representan bases producto.

para cada qubit de forma independiente:

i I , I j

i j . Al proyectar sobre estas bases

cada qubit puede ser identicado por el autoestado correspondiente al autovalor obtenido de forma independiente del otro. Los estados de cada qubit son separables.
Base B2

1 2

1 1 1 1

1 2

1 1 1 1

1 2

1 1 1 1

1 2

1 1 1 1

|x+ |x+

|x+ |x
-1 1 -1

|x |x+
-1 -1 1

|x |x
1 -1 -1

XX XI IX
Base B3

1 1 1

1 2

1 i i 1

1 2

1 i i 1

1 2

1 i i 1

1 2

1 i i 1

|y + |y +

|y + |y
-1 1 -1

| y |y +
-1 -1 1

|y |y
1 -1 -1 Junto con la base

YY YI IY

1 1 1

Tabla 3.4: Bases correspondientes a los CCOCs

{XX, XI, IX} y {YY, YI, IY}.

cannica (ver tabla 3.2) forman las bases producto del MUBS propuesto (tabla 3.3b).

La tabla 3.5 muestra los generadores de las bases B4 y B5, que son las bases entrelazadas. Los generadores de estas bases corresponden a estados donde los qubits estn mximamente entrelazados. Los estados de cada qubit individual no son separables por lo que no estn denidos individualmente. Los estados codicados en estas bases generan mayor dicultad para el robo de datos por parte de un espa. Por ejemplo, si un espa cuenta con tecnologa necesaria para medir solamente una de las propiedades en las que se codican qubits, este podr realizar su ataque sobre uno de los qubits individuales de los estados de las bases producto, sin afectar al otro. Pero en las bases entrelazadas inevitablemente 18

perturbar el segundo qubit.

Base B4

1 2

1 i 1 i

1 2

1 i 1 i

1 2

1 i 1 i

1 2

1 i 1 i

YX XZ ZY
Base B5

|x+ |0 +i|x |1 2 -1

|x+ |0 i|x |1 2 1

|x |0 +i|x+ |1 2 1

|x |0 i|x+ |1 2 -1

1 1

1 -1

-1 1

-1 -1

1 2

1 1 i i

1 2

1 1 i i

1 2

1 1 i i

1 2

1 1 i i

XY YZ ZX

|y + |0 +|y |1 2 -1

|y + |0 |y |1 2 1

|y |0 +|y + |1 2 1

|y |0 |y + |1 2 -1

1 1

1 -1

-1 1

-1 -1

Tabla 3.5: Bases correspondientes a los CCOCs

{YX, XZ, ZY} y {XY, YZ, ZX}. Forman las bases

entrelazadas del MUBS propuesto (tabla 3.3b).

3.3. Generacin de estados

Los estados producto son el resultado de preparar de forma independiente cada qubit del par. Por ende, partiendo de la base cannica se pueden implementar utilizando solamente operaciones locales sobre cada qubit, siguiendo el mismo procedimiento que en la seccin 1.4 (ver tabla 1.2). Para poder formar los estados entrelazados se debe extender el conjunto de los operadores universales agregando un operador controlado. Esto es, un operador que se aplica sobre un qubit solo cuando el otro qubit se encuentra en un determinado estado de la base computacional. El operador junto Hadamard, Fase y (CNOT) suele usarse para completar el con-

/8.

Controlled-NOT

Con este conjunto de operadores se puede construir cualquier

operacin unitaria con precisin arbitraria[6], incluyendo los de cambios de base. El operador CNOT es indispensable para poder pasar de una base producto a una entrelazada y viceversa. Entre las bases entrelazadas y entre las bases producto se puede cambiar utilizado solamente operaciones locales sobre cada qubit.

CNOT

1 0 0 0

0 1 0 0

0 0 0 1

0 0 1 0

Tabla 3.6: Operador CNOT que extiende el conjunto de Operadores Universales de la tabla 1.1 a

varios qubits, con su representacin como compuerta de circuito cuntico y la expresin matricial

19

Con un operador CNOT y operaciones locales se pueden construir todos los estados entrelazados. En la tabla 3.7 se muestran dos implementaciones para obtener estados similares a los de las bases B4 y B5.

Cannica

Base B4

Had

Had

Cannica

Base B5

Had

Had

1 1 1 1 i i i i 1 1 1 1 i i i i 1 1 1 1 1 1 1 1 i i i i i i i i

Tabla 3.7: Implementacin de cambio de base para generar los estados entrelazados. Esta imple-

mentacin es aproximada, ya que tiene diferencias de fase locales respecto de las bases mencionadas, y cumple una funcin puramente demostrativa.

20

Resumen de la primera parte

En esta parte se present el formalismo de QI para el tratamiento de estados de qubits y se explic una versin extendida del protocolo BB84 que prepara y mide testados en todas las bases posibles de un MUBS. Se analiz la posibilidad de implementar ese protocolo extendido utilizando dos qubits por envo, lo que equivale a un espacio de Hilbert de 4 dimensiones, por lo que se llam al protocolo BB84E4 . Utilizando el formalismo de estabilizadores se encontraron las 6 particiones posibles de operadores generalizados de Pauli (tabla 3.3) que denen 5 grupos abelianos de estabilizadores, cada uno de los cuales determina completamente una base. Estas 5 bases forman un MUBS, por las propiedades demostradas en [13]. Se eligi una de las particiones (3.3b) y se calcularon explcitamente los estados que conforman sus bases (tablas 3.5 y 3.4) para implementar en la parte II el protocolo BB84E4 en diferentes diseos experimentales. Tambin se describi la manera de implementar cambios de base expresadas en forma de circuitos cunticos.

21

Parte II

Posibles implementaciones de QKD usando fotones con 2 qubits codicados

23

En la Parte I se explic el protocolo BB84E4 utilizando nicamente la formulacin matemtica de los estados cunticos. Cualquier soporte fsico en el que se puedan codicar qubits sobre variables cunticas puede, en principio, ser utilizado para implementar el protocolo BB84E4 . Sin embargo el candidato ms adecuado es, por lejos, la codicacin de informacin en fotones. As fue propuesto en el trabajo original de Bennett y Brassard [5]. Los fotones pueden transmitirse a largas distancias en poco tiempo, es muy difcil realizarles una medicin sin destruirlos [15] y se conoce bastante bien cmo manipular varios de sus grados de libertad, cmo producirlos y cmo medirlos en diferentes bases[16]. Los qubits codicados en fotones pueden mantener coherencia por tiempos muy largos comparados con otros candidatos, como trampas de iones o junturas Josephson. Adems, los fotones son fciles de obtener. Existen variedad de fuentes de fotones, desde implementaciones simples con lser atenuados hasta fuentes determinsticas realizadas a partir de transiciones atmicas en cavidades pticas[17]. Para las implementaciones propuestas en esta parte alcanzar con tener un lser pulsado atenuado de forma tal que el promedio de fotones por pulso sea similar a

0.1,

lo que brinda cierta probabilidad de tener un fotn

en un pulso y una muy baja probabilidad de que haya ms de uno. Entre los grados de libertad manipulables de un fotn se encuentran la polarizacin, el camino, el tiempo de retardo ( ) y los modos espaciales de Hermite-Gauss y de Laguerre-Gauss. En todos los casos existen experiencias de laboratorio que han logrado preparar y medir los estados de fotones en estas bases, siendo los casos de polarizacin y camino los ms conocidos y agotados. Existen implementaciones comerciales de BB84 sobre bra ptica para polarizacin y existen experimentos realizadas en bra que utilizan time-bin, mientras que los modos espaciales estn desde hace pocos aos en intenso estudio. Para realizar BB84E4 con 2 qubits se codicar un qubit en la polarizacin y se elegir otro grado de libertad para codicar el segundo qubit. En 4 se analizar la forma de controlar y medir el qubit de polarizacin. En 5 se analizar cmo controlar y medir los estados de time-bin en conjunto con los estados de polarizacin. Por ltimo, en 6 se analizar cmo controlar y medir los estados de modos espaciales en conjunto con los estados de polarizacin.

time-bin

25

Captulo 4

Qubit de polarizacin
La polarizacin del fotn es el qubit ms usado y estudiado para el diseo de experimentos de QKD, por lo que nos limitaremos a mencionar algunos aspectos y resultados ya conocidos para profundizar luego en los otros grados de libertad.

4.1. Descripcin
La polarizacin de la luz es una caracterstica ya descripta en el electromagnetismo clsico de Maxwell como la direccin de las oscilaciones del campo elctrico transversal al eje de propagacin de una onda electromagntica en el espacio. En la descripcin cuntica se reproducen los fenmenos macroscpicos ondulatorios, como la interferencia o la longitud de coherencia, para haces intensos y tambin para el lmite de fotn individual. En una primera aproximacin, se puede describir al fotn con una funcin de onda asociada a cada estado de polarizacin posible. Una descripcin ms completa requerira introducirse en teora de campos para contemplar varios cuantos excitando los diferentes grados de libertad del sistema. Ya se hizo referencia en 1.3 a la descripcin de los estados de polarizacin de la luz con las matrices de Pauli. Existe un isomorsmo completo entre los autoestados de las matrices de Pauli y los estados de polarizacin descritos como vectores de Jones en el electromagnetismo clsico. Las componentes del vector de Jones, que clsicamente describen el vector de campo elctrico transversal al eje de propagacin, en QM describe las componentes complejas de la funcin de onda, cuyos mdulos cuadrados darn lugar a las probabilidades de resultados medibles.

E = Re

i(kzt) e

| =

+|

, C

En la tabla 4.1 se expresan los autovectores de los operadores de Pauli como representacin de estados de polarizacin. Clsicamente se suele realizar una descripcin pictrica de estos estados y sus posibles transformaciones mediante la esfera de Poincar, donde se asocian los ejes cartesianos a las bases de medicin de estados de polarizacin, como se puede apreciar en la gura 4.1. El anlogo cuntico es la esfera de Bloch, que es una representacin rotada de la esfera de Poincar [16] donde se asocia a cada eje los autoestados de las matrices de Pauli. Un vector sobre la supercie de la esfera de Bloch o de Poincar representa un estado cuntico puro de polarizacin.

27

Operadores

z 1 0 1 |
Horizontal

x 0 1 1 |
Vertical

y 1
1 2

Autovectores

1 2

1 1 1

1 2

1 1 |

1 i 1

1 2

1 i 1 |

Autovalores Representacin

|
Diagonal

|
Circular Derecho (R)

Anti-Diagonal

Circular Izquierdo (L)

Relaciones

| |

|0 |1

| |

= =

| |

+| 2 | 2

| |

= =

| |

+i| 2 i| 2

Representacin grca

Tabla 4.1: Descripcin de los estados de polarizacin de un fotn como autovectores de las matrices

de Pauli.

Figura 4.1: Esfera de Poincar. Los ejes cartesianos de la esfera estn asociados a cada una de las

matrices de Pauli, que se corresponden con una base de los estados de polarizacin. Las transformaciones entre estados pueden representarse como rotaciones alrededor de un eje convenientemente elegido.

4.2. Manipulacin y proyeccin

Los estados de polarizacin pueden manipularse con cristales birrefringentes que generen desfasajes de

/2

(lmina de media onda o HWP,

de onda o QWP,

Las lminas comerciales suelen tener recubrimientos anti-reex para longitudes de onda de trabajo ms habituales, permitiendo reducir prdidas y acercarse al lmite de evolucin unitaria para cada manipulacin. Con polarizadores se puede seleccionar una componente particular del campo elctrico, lo que equivale a una proyeccin del estado cuntico sobre el vector denido por el eje del polarizador. Un lser con un polarizador rotable alcanza para producir fotones en cualquiera de los estados

Quater Wave Plate

) entre direcciones de polarizacin perpendiculares.

Half Wave Plate

) y

/4

(lmina cuarto

,|

Un HWP (H) y un QWP (Q) cuyos ejes principales estn orientados paralelos a puede representar con los siguientes operadores:

y se

los

H SS =

1 0 0 1
y de

QS= /2
28

1 0

0 i

que equivalen a agregar una fase de

a la componente de polarizacin vertical

respectivamente. Las lminas rotadas pueden ser calculadas rotando el sistema de referencia a la entrada y salida de cada operador utilizando la operacin de rotacin en el espacio

R ( ):

R ( ) =

cos() sin()

sin() cos()

H () R()HR() Q() R()QR()

Las lminas HWP y QWP rotadas pueden implementar diversas compuertas, entre ellas las de cambio de base y el NOT. Una representacin pictrica e intuitiva de las transformaciones de los QWP y HWP rotados se puede obtener a travs de la esfera de Poincar. La operacin

H ( )

es equivalente a una rotacin de

mientras que la operacin Entonces, por ejemplo,

alrededor del eje dibujado en azul en la gura 4.1, Q() equivale a una rotacin de /2 alrededor del mismo eje. H (0) permite intercambiar los estados de polarizacin diagonal y

H (/4) intercambia las bases de polarizacin horizontal-vertical con la diagonal. En la tabla

4.2 se muestran algunas de esas implementaciones. Ejemplos de operaciones de transformacin

|z |z |z |x |x |y |z |y |y |x |y |z

H( 4 )= H( 8 )= Q= H( 8 )Q(0)= Q H = iQ( 2 )=
i4 Q Q( 4)e =

NOT

= = =
1 2 1 2

Had

1 2

0 1 1 0 1 1 1 1 1 0 0 i 1 1 i i 1 0 0 i 1 i 1 i

Tabla 4.2: Ejemplos de operaciones implementadas a partir de combinaciones de lminas de media

(H) y cuarto (Q) de onda rotadas

Est demostrado que combinando dos QWP y un HWP se puede generar cualquier rotacin en la esfera de Bloch[18], lo que permite implementar cualquier transformacin de cambio de base. A la combinacin colineal consecutiva de QWP, HWP y QWP se le llamar Rotador Universal de estados de Polarizacin (RUP). La proyeccin de los estados para su medicin se puede realizar a partir de un separador de haz por polarizacin (PBS, ). Para longitudes de onda denidas , y se los puede rotar para obtener existen cubos PBS que separan con muy pocas prdidas las componentes de polarizacin. Por convencin, los cubos dejan pasar

Polarization Beam Splitter

|
y reejan

cualquier otro comportamiento. Si a la salida del cubo se colocan detectores de fotones se termina proyectando el estado original sobre la base cannica: a una implementacin del operador de medicin:

{|

,|

}. Esto corresponde

z =

1 0 ,|

0 1 }.

Para proyectar sobre otras bases se puede colocar un RUP justo antes del PBS que implemente la rotacin

base de medicin } {|

29

Captulo 5

Implementacin de qubit de time-bin

Los estados cunticos de Son bastante robustos ante la decoherencia, incluso en el transporte por bra ptica[19, 20], por lo que son ideales para implementaciones de QKD en largas distancias. Sin embargo, su manipulacin en conjunto con otros qubits puede ser compleja. En este captulo se describirn estos estados y la forma de manipularlos y medirlos en conjunto con el qubit de polarizacin para implementar QKD con 2 qubits: polarizacin y time-bin. Se analizarn las ideas planteadas en el trabajo de Buttler[1] para describir la forma de preparar y medir los estados de las 5 bases propuestas de forma determinista. Luego se presentar una propuesta modicada con una implementacin simplicada, utilizando menos instrumentos, y adaptada para un montaje en bra ptica.

time-bin

son superposiciones de estados con retardos temporales.

5.1. Estados de

time-bin

Los estados de time-bin son anlogos a los estados de superposicin espacial en el sentido de que corresponden a una delocalizacin espacial del fotn, pero en este caso en la direccin del eje de propagacin. Esto permite simplicar los esquemas experimentales ya que no se necesita duplicar el instrumental de manipulacin y medicin para cada camino ptico. Como contraparte la manipulacin y medicin de los estados debe realizarse con mucha precisin temporal y en tiempos muy cortos. Una delocalizacin espacial sobre el eje de propagacin se corresponde con un retardo temporal estado. El estado time-bin existe en un espacio de Hilbert continuo. A diferencia de la polarizacin o el spin

entre las posibles ubicaciones temporales del

1/2, no forma naturalmente un qubit y este debe ser articialmente fabricado. Para t mucho mayor al tiempo de coherencia del fotn t|t = 0

ello es necesario discretizar el espacio de Hilbert seleccionando dos estados ortogonales que puedan formar una base. Para un retardo los estados

|t

|t + t |t

(estado retardado) son ortogonales:

Identicando

|t

con el qubit

|0

|t

con

|1

se forma la base del espacio de Hilbert del

qubit time-bin.

| = |t + |t

Estos estados se generan propagando un fotn por dos caminos con longitud de camino ptico diferente con alguna probabilidad cada uno, que luego se recombinan en un mismo camino. Las probabilidades de cada camino determinaran el mdulo de las componentes de cada retardo (||

| |

) y la fase local se congura introduciendo una diferencia de fase

sobre alguno de ellos.

31

La discretizacin del espacio de Hilbert provoca algunas complicaciones en la construccin de operadores que deben tenerse en cuenta en la implementacin experimental. Por ejemplo, para realizar

|0 |1

se puede aplicar la compuerta NOT=x . En time-bin se puede realizar

realizar esta operacin con un retardo sobre un estado que escapa de la base propuesta.

|0 |t

. Pero esto no es equivalente a un NOT,

porque al repetir el procedimiento no vuelve a producir el estado original, sino que genera

5.2. Operaciones locales y controladas

La generacin de estos estados a partir de un fotn original requieren desde un principio la implementacin de una operacin controlada en camino, ya que se introduce un retardo (y una eventual diferencia de fase) solo a uno de los caminos de propagacin para la formacin de qubit. Muchas de las operaciones locales sobre el qubit de time-bin requieren de operaciones controladas desde otro qubit para su implementacin. A continuacin analizaremos algunos instrumentos que permiten implementar a la vez operaciones locales en time-bin y operaciones controladas desde y sobre el qubit de polarizacin.

5.2.1. Mach-Zehnder desbalanceado

Un interfermetro de Mach-Zehnder desbalanceado (UMZ,

con PBSs como el de la gura 5.1 permite implementar una operacin controlada sobre el qubit de time-bin desde el de polarizacin. En particular, seleccionando la polarizacin se puede agregar un retardo y una fase a esa componente. Esa transformacin se puede revertir seleccionando la otra polarizacin para realizar el mismo retardo y aplicar la misma fase.

Unbalanced Mach-Zehnder

/2

Control de fase

PBS

PBS

Figura 5.1: Esquema de un interfermetro Mach-Zehnder desbalanceado con PBSs para imple-

mentar una operacin controlada sobre el qubit de time-bin desde el de polarizacin

La operacin realizada por el MZ est representada por:

( |

+|

) |t |

|t + ei |

|t

5.2.2. Controladores de Polarizacin

En algunos cristales sin simetra de inversin se da un fenmeno conocido como efecto Pockels, que consiste en la variacin del ndice de refraccin de un eje (llammoslo eje congurable) del cristal de forma proporcional a una tensin elctrica aplicada. Explotando este fenmeno se desarrollaron , que son dispositivos que implementan lminas de media onda, cuarto de onda o cualquier otra variacin de fase posible generando birrefringencia en el cristal a partir del efecto Pockels. Combinando varios Pockels

Pockels cell

llers

cell en serie se pueden construir Controladores de Polarizacin (PC, ) que permiten un control completo del qubit de polarizacin.

Polarization Contro-

Cada lmina de onda rotada se puede denir a partir un vector cuyo mdulo es el ndice

de refraccin (o el retardo) generado en el eje denido por el ngulo del vector. Con un par de Pockels cell cuyos ejes congurables formen un ngulo no nulo se puede emular la accin de cualquier lmina de onda (HWP y QWP incluidas) rotada en cualquier ngulo, seleccionando adecuadamente las tensiones que determinan cada componente del vector 32

principal. Combinando 2 pares de Pockels cell se pueden implementar las rotaciones de la esfera de Bloch, as como cualquier combinacin de pares de lminas de onda rotadas. La principal ventaja de estos instrumentos es que pueden realizar cambios de conguracin en altas frecuencias. Existen dispositivos comerciales

1 con tiempos de respuesta de 1s

diseados para el infrarrojo cercano. De esta forma, si los estados de time-bin utilizan un

mayor al microsegundo se pueden aplicar rotaciones arbitrarias independientes al qubit Un solo Pockels cell puede implementar dos operaciones controladas combinadas sobre

de polarizacin sobre cada componente de time-bin. la polarizacin, una operacin arbitraria

U0

para

|t

y otra operacin arbitraria

U1

para

|t

. Tambin puede implementar cualquier operacin local sobre el qubit de polarizacin,

aplicando la misma rotacin a

|t

|t

. La forma circuital del PC es:

| / |t/t

U1

U0

5.3. Generacin y proyeccin de estados en base a la propuesta de Buttler et. al.

Para implementar BB84E4 con polarizacin y time-bin debemos poder preparar y medir todos los estados de las bases del MUBS elegido (tabla 3.3). Para ello se tomar de base el trabajo de Buttler [1], donde se utiliza polarizacin y time-bin para implementar el anlogo a BB84 utilizando 2 qubits por envo y preparando y midiendo en dos bases. Usando propuestas experimentales parecidas, en la presente seccin se mostrar como preparar y medir en forma determinstica los estados propuestos, partiendo de los operadores que representan al UMZ y PC ya descritos en 5.2. En la siguiente seccin se adaptarn estas ideas para el diseo de un experimento realista mucho ms simplicado.

et. al.

5.3.1. Generacin de los estados

Queremos ver que se pueden generar todos los estados utilizando los elementos descritos en 5.2. En primer lugar, veamos que se puede implementar la operacin de el UMZ y el PC: utilizando

swap

[ |

+|
PC

] |t |

UMZ

|t + | ) |t

|t = | [ |t + |t ]
(5.1)

(U0 |
H(/4)|t
con

) |t + (U1 |

U0 = 1 y U1 = H (/4)

Luego, se puede generar cualquier estado de time-bin a partir de un estado de polarizacin. Y se puede generar cualquier estado de polarizacin partiendo de un haz polarizado y realizando las rotaciones necesarias con un PC. Con un armado como el de la gura 5.2 Alicia podra preparar en su laboratorio cualquiera de los estados de las bases propuestas.

PM

PC1

PC2

Figura 5.2: Esquema completo para preparacin de estados de polarizacin y time-bin para BB84E

Los estados de las bases que se deben generar tienen la forma que se muestra en la tabla 5.1. Los pasos para formar los estados seran los siguientes: preparar un estado de

1 Ver

Agiltron,

http://www.agiltron.com/pdfs/polarization_controller.pdf
33

polarizacin arbitrario, copiar el estado al qubit time-bin, realizar rotaciones controladas desde el qubit de time-bin sobre el qubit de polarizacin usando el PC2 . Para implementar el , el PC2 realiza una rotacin

agregarle las rotaciones de cambio de base nales. Como las rotaciones son un grupo, el producto de dos rotaciones es una nueva rotacin, por lo cual con un solo PC alcanza para completar el procedimiento. Producto B1 B2 B3 B4 Entrelazadas B5

swap

U1 .

Para preparar el estado nal, a esa rotacin deber

|z |t |z |t

|x

|t |t 2

|y

|t i|t 2

|x |t i|x |t 2

|y |t |y |t 2

Tabla 5.1: Generacin de las 5 bases propuestas con un UMZ y dos PC. Se deben controlar 3

variables: el estado de entrada del UMZ (|z

|x

, controlable desde el PC1 ), la fase introducida

por el UMZ y la rotacin selectiva del PC2 . Para B1 se eligen estados de entrada los estados retardados y no retardados. Para B2, B3, B4 y B5 se elige

|z

, que generaran

|x+

. Los elementos en rojo

son controlados desde la fase del PM1 y los elementos en azul son controlados desde el PC1 .

Cabe mencionar que se podra evitar el uso del PC1 si se pueden preparar por otro mtodo los estados

. Con el control de fase del UMZ se puede denir de la

fase local y con el PC2 elegir los estados de polarizacin nales.

5.3.2. Proyeccin de los estados

La forma ms simple de implementar la medicin de los estados de todas las bases es implementar los operadores para transformar a la base cannica y luego proyectar. Proyectar sobre la base cannica en este caso es trivial: un PBS con detectores de fotones en su salida permite proyectar el qubit de polarizacin, mientras que el de time-bin se identica a partir del tiempo de deteccin. Pero realizar rotaciones arbitrarias en el qubit de time-bin no es trivial debido a que se hace uso de la polarizacin para poder manipularlo. Por ello la medicin se implementar a partir de un par de UMZ en serie con diferentes retardos, como se lo describir a continuacin. En la gura 5.3 se presenta el esquema experimental propuesto por [1] para la medicin en dos bases (correspondientes a B2 y B5 del presente trabajo), pero agregando un modulador de fase (PM, ) en el primer UMZ. Con ese agregado veremos que se puede proyectar sobre las 5 bases estudiadas. En el caso de las bases B2, B3, B4 y B5, el PC1 y la fase de PM() servirn para seleccionar la base de proyeccin, mapeando los vectores generadores a los de la base de Bell:

Phase Modulator

{XX, YY, ZZ}.

Luego, con las operaciones UMZ1 ,

UMZ2 y PC2 se realiza la proyeccin nal.

D2
Modulador de fase

PM UMZ1 PC1 PC2 UMZ2 PC3 D1

Figura 5.3: Esquema experimental para la proyeccin de los estados de las 5 bases estudiadas. El

PC1 y la fase de UMZ1 permiten seleccionar la base. El resto de los elementos mapean los estados originales a polarizaciones vertical y horizontal con diferentes tiempos de llegada.

En la tabla 5.2 se pueden ver los estados de Bell y las transformaciones provocadas por los operadores UMZ1 , PC2 , UMZ2 y PC3 hasta ser detectados por D1 y D2 . Vale mencionar que se podra reemplazar el PC3 por un HWP rotado en

/8

e igualmente se podran

detectar todos los estados, explotando las diferencias de tiempos de llegada. Sin embargo,

34

se necesitar que este HWP no est para poder proyectar la base cannica, por lo que es conveniente utilizar directamente un PC. En la tabla 5.3 se pueden ver las conguraciones de PC1 y PM para transformar los estados de B2, B3, B4 y B5 a los del CCOC propuesto.

| ,t +| ,t 2
UMZ1

| ,t | ,t 2 | ,t | ,t 2

| ,t +| ,t 2

| ,t | ,t 2

Autoestados de

{XX, YY, ZZ}

| ,t +| ,t 2

,t +| ,t 2

,t | ,t 2

| ,t
PC2

| ,t | ,t | ,t

| ,t +| ,t 2
UMZ2

| ,t | ,t 2

| ,t | ,t

,t

+| ,t 2

,t

| ,t 2

| ,t
PC3

| ,t | ,t
Clic en D2 en

| ,t
Clic en D1 en

| ,t
Clic en D1 en

| ,t
Clic en D2 en

Deteccin

Tabla 5.2: Proyeccin de los estados de la base de Bell

{XX, YY, ZZ}

t
y

para qubits de polarizacin respectivamente. Los PCs + = H 4 t

y time-bin usando un armado experimental como el de la gura 5.3. Los UMZ1 y UMZ2 generan un retardo sobre la componente vertical de la polarizacin de

2t

son congurados para realizar operaciones diferentes en cada tiempo, siendo: PC2 H +H y PC3 = H 8 . 8 t 4 t t

Base B2

Estados

Operadores PC1

Resultado

| ,t | ,t 2 | ,t | ,t 2 | ,t i| ,t 2 | ,t i| ,t 2 | ,t i| ,t 2 | ,t i| ,t 2 | ,t | ,t 2 | ,t | ,t 2

=H

8
PM

+H

=1
t

| ,t | ,t 2 | ,t | ,t 2 | ,t | ,t 2 | ,t | ,t 2 | ,t | ,t 2 | ,t | ,t 2 | ,t | ,t 2 | ,t | ,t 2

B3

PC1

=Q Q
PM PC1 PM PC1

+ Q 4

= i|t =H
8

B4

= i|t
4

B5

= QQ =1

PM

Tabla 5.3: Conguracin de los elementos PC1 y PM del esquema 5.3 para transformar los estados

de las bases B2, B3, B4 y B5 a los autoestados de Bell.

Para medir la base cannica con este armado experimental se deber congurar los elementos de la siguiente forma: PC1 =1 PM obteniendo la transformacin: PC2 =H PC3 =1

=1

35

| | | |

,t ,t ,t ,t

| | | |

,t ,t ,t ,t

Clic Clic Clic Clic

en D2 a en D1 a en D2 a en D1 a

t t t t

5.3.3. Implementacin de BB84E4 con preparacin y medicin determinista

Con lo expuesto en las secciones precedentes se cuenta con elementos sucientes para producir y proyectar todos los estados de las bases B1, B2, B3 y B4. Para implementar el protocolo BB84E solo hace falta montar en el laboratorio de Alicia un armado experimental como el de la gura 5.2. Alicia seleccionar de forma aleatoria una base y un estado de esa base y congurar su PC1 , PC2 y PM para construir ese estado de la forma descrita en 5.3.1 en cada envo. Bob deber montar en su laboratorio el armado de la gura 5.3. En cada envo seleccionar de forma aleatoria una base y congurar los valores de PC1 , PC2 , PC3 y PM correspondientes a la misma. Luego harn pblicas las bases de medicin y procedern con los protocolos de reconciliacin y amplicacin de privacidad. El procedimiento expuesto es determinista, en el sentido de que, si todos los elementos tienen eciencia ideal (no hay prdidas) y si contamos con una fuente determinstica de fotones, se podrn preparar y medir los estados correspondientes con certeza absoluta siempre. Si se relaja la condicin determinista se pueden realizar armados ms simples y fciles de implementar en laboratorio, como los descritos en la prxima seccin.

5.4. Propuesta experimental simplicada de BB84E4 con Polarizacin y time-bin

Las propuestas de preparacin y proyeccin determinstica de estados descritas utilizan armados experimentales diseados desde una perspectiva terica, que no escatima en instrumental ni consideran la complejidad prctica de su implementacin. En esta seccin se mostrarn implementaciones simplicadas y acopladas a bra ptica para la realizacin del protocolo en largas distancias. Se empezar por describir una forma de generar fotones con estados de polarizacin en las bases vertical-horizontal y diagonales que luego se utilizar para simplicar el armado experimental del laboratorio de Alicia. Luego se propondr una forma alternativa de proyectar los estados en el laboratorio de Bob.

5.4.1. Fuente de fotones con leds/lser atenuados

Las fuentes de fotones determinsticas son una idealizacin. Existen fuentes de fotones que pueden emitir [21] y que se las suele llamar determinsticas cuando logran eciencias altas y baja probabilidad de emisiones espontneas. Estas fuentes son sosticadas y requieren de un complejo setup experimental para su uso. Se pueden lograr fuentes tiles mucho ms simples con un funcionamiento probabilstico sacricando eciencia. Para el presente caso se puede implementar una fuente de fotones con leds o con lser atenuados al lmite del fotn individual y acoplados a bra ptica. Con la electrnica adecuada se pueden armar leds o lser pulsados con una poblacin de fotones por pulso de

on demmand

0.1. La emisin del lser sigue una estadstica poissoniana que, para ese
2

valor medio, determina un 90.5 % de probabilidad de no emitir fotn alguno y un 0.5 % de emitir ms de uno. Eso quiere decir que el 9 % de las emisiones servirn para la comunicacin y, de ellas, solo el 0.5 % ser susceptible a ataques de BS . Adems, con tan solo un cubo PBS y un cubo BS se pueden armar los estados de polarizacin

seleccionables en tiempos del orden de microsegundos sin

necesidad de recurrir a un PC. Esto se puede lograr con un armado como el utilizado en [22], con 4 leds o lser pulsados como los de la gura 5.4. En el ltimo BS se produce una

2 El

ataque con BS consiste en interponer un BS en el camino de los fotones. Hay cierta probabilidad de

que el pulso tenga ms de un fotn. Para esos pulsos, con un BS, hay altas probabilidades de que un espa pueda quedarse con uno de ellos sin interferir con el otro, y por ende, sin generar distorsin detectable.

36

prdida de la mitad de los fotones. La atenuacin lumnica debe ser ajustada para que el pulso resultante nal, con todas las prdidas incluidas, tenga la poblacin fotnica deseada.

Leds/Lser

Leds/Lser

PBS

HWP

BS

Figura 5.4: Con 4 leds/lser pulsados, un PBS, un BS y un HWP rotado en

/8

se puede fabricar

una fuente de fotones para las polarizaciones en la base horizontal-vertical y en la base diagonal. En cada led/lser se seala el estado nal que generar a la salida al dispararse. Diseo obtenido del trabajo [22]

5.4.2. Generacin de los estados

Para generar los estados de las 5 bases se va a reproducir el interfermetro descrito en 5.3.1 en bra ptica y con algunas modicaciones. Explotando la fuente de fotones polarizados con haces tenues se podr utilizar un solo PC. Adems se reemplazar el PBS de salida por un BS no polarizante. La salida del armado de la gura 5.4 puede acoplarse a bra para una posterior manipulacin de los estados con un UMZ y un PC, como se muestran en la gura 5.5. La utilizacin de bra ptica permite la generacin de retardos mucho ms largos entre los brazos, ya que se pueden utilizar bobinados de bra de cientos de metros para el brazo largo de Mach-Zender (retardador R1 en la gura 5.5 ).

Alicia
PBS Test Laser Acople a bra BS UMZ1 R1
Rotador Polarizacin

HWP

PBS

BS

PC1

PM1

Figura 5.5: Esquema del laboratorio de Alicia para generacin de los estados de las 5 bases. Se

combina la fuente de fotones con leds atenuados para generar los estados de polarizacin iniciales con un UMZ y PC montados sobre bra para la construccin de los estados nales. Los puntos grises simbolizan empalmes de bra ptica. Se incluye en el esquema un lser Test para la realizacin de pruebas de estabilidad de la polarizacin en las bras (ver seccin 5.4.4).

Para generar la base cannica basta con generar los estados

, segn se requiera

un estado no retardado o uno retardado respectivamente, y luego del UMZ hacer la transformacin correspondiente con el PC1 para obtener la polarizacin deseada. Las bases B2, B3, B4 y B5 se pueden construir ingresando con un estado diagonal y seleccionando luego la fase local con el PM1 y el estado de polarizacin nal de las partes retardada y no retardada con el PC1 , como se describi en 5.3.1. 37

Si se precisa generar solo estados de las bases B2, B3, B4 y/o B5 se puede reemplazar la fuente de 4 leds o 4 lser con seleccin de polarizacin por un solo led o un lser atenuado, con polarizacin ja colocado en ngulo para generar

. Por ende, si se quiere implementar

el protocolo anlogo a BB84E de la forma sugerida por [1], usando solo 2 bases de las 5, para aumentar la tasa de transferencia efectiva de bits (transmisin efectiva de 1 bit por envo en promedio), el esquema de la gura 5.5 se puede simplicar considerablemente. El BS de salida del UMZ1 genera una prdida del 50 %, por lo que la poblacin fotnica nal de los pulsos debe ser calibrada en funcin de la salida del PC1 para garantizar que se mantenga el valor deseado.

5.4.3. Proyeccin de los estados

Para proyectar los estados se modicar la propuesta de [1] para adaptarla a bra ptica. Veremos que con una propuesta muy simplicada, utilizando un solo PC, se pueden proyectar los estados de las 5 bases con una eciencia nal de 50 %. En la gura 5.6 se puede ver un esquema del armado experimental propuesto.

UMZ2

UMZ3 R3

UMZ4 R4

Bob
PBS PC2

R2
Rotador Polarizacin

BS

Rotador Polarizacin

BS A B

BS

PM2
Control Polarizacin

CNOT

Had

Figura 5.6: Esquema del laboratorio de Bob para proyectar los estados de las 5 bases. El PC2

permite seleccionar la base de proyeccin y los UMZs hacen interferir los estados de time-bin para su discriminacin con un 50 % de eciencia.

Con el PC2 se puede transformar cualquiera de las bases B2, B3, B4 y B5 a la de Bell implementando rotaciones especcas al estado retardado y al no retardado, como se mostr en la tabla 5.3. Para los casos B3 y B4, la fase local deber ser corregida posteriormente en el PM2 . La forma habitual de proyectar los estados de Bell es aplicar un operador CNOT y un Hadamard sobre el qubit de control:

| / |t/t
Had

La operacin controlada puede incluirse en la conguracin del PC2 . A cada rotacin realizada para convertir la base se le debe agregar la operacin los estados quedan en un estado producto:

|z |x | /

H( 4 ). |t |t
2

Luego del CNOT

. Esto nos permite

discriminar dos pares de estados por su polarizacin. En lugar de implementar un Hadamard en time-bin se separarn los estados producidos introduciendo un retardo de

t1

sobre los estados con polarizacin vertical a travs del

UMZ2 , con un PBS de entrada. Las posteriores deformaciones de la polarizacin

3 por efecto

de la bra ptica podrn ser despreciadas ya que los estados que provienen de cada polarizacin sern distinguibles por el tiempo de llegada. En la tabla 5.4 se puede visualizar el retardo introducido en cada estado as como las transformaciones producidas por los UMZ posteriores. Con el UMZ3 se selecciona el estado temporal por interferencia, generando una superposicin de cada estado con su versin retardada en detectable en

t2 = t.

Solo la parte del estado

interere y permite discriminar uno de los estados originales. Hay un 50 %

de probabilidades de que, al medir, se colapse la funcin de onda sobre uno de los estados en

o en

. En esos casos, la medicin deber ser descartada. El PM2 permite controlar cual

estado sale por la salida A y cual por la salida B del interfermetro. Finalmente, para evitar

3 ver

seccin 5.4.4

38

UMZ2

UMZ3

UMZ4

Tabla 5.4: Evolucin de los estados producto

|z |x

a travs de los UMZs de la gura 5.6 para por lo que

su discriminacin nal en funcin del tiempo de deteccin. Si la diferencia entre el retardo inducido por el UMZ3 deber ser

t2 = 1s,

t3

2s

t y t es de t = 1s, t3 4s.

discrepancias entre diferentes detectores y minimizar el instrumental utilizado, en lugar de medir cada salida A y B con un detector diferente se le genera un retardo a la salida A de

t 3

y se miden ambas salidas con un mismo detector D. Con este multiplexado temporal

se podrn identicar todos los estados proyectados en las ventanas de tiempo identicadas por el color amarillo en la tabla 5.4. Para la proyeccin de la base computacional el PC2 no tiene que realizar ninguna operacin. La evolucin de los estados ser:

| ,t | ,t | ,t | ,t

|t |t + t1 |t |t + t1

|t +|t 2

|t 2

|t
2

+ + |t

|t+t3 2 +t1 2

+ +

|t

+t3 2

|t+t1 +|t +t1 2

|t+t1 2

|t+t1 +t3 2

|t

+t1 +t3 2

|t |t

+|t 2 +t1 +|t +t1 2

|t
2

|t
2

+ |t

|t

+t3 2

+ + |t

|t

+t3 2

|t

+t1 2

+t1 2

+t1 +t3 2

|t

+t1 +t3 2

Los estados con polarizacin vertical sern diferenciados de los horizontales por llegar en tiempos mayores a en tiempos

t 1 .

Luego, por efecto del UMZ3 , los estados provenientes de cada pola-

rizacin tendrn componentes temporales en comn. En este caso, las detecciones realizadas

corridos en

0, t1

y/o

t3

debern ser descartadas, ya que no identican

unvocamente ninguno de los estados originales. Las restantes, coloreadas en azul, permiten identicar cada uno de los estados de B1. Nuevamente, la eciencia de deteccin es del 50 %.

39

5.4.4. Fibras pticas y polarizacin

Transmitir estados de polarizacin a travs de bra ptica conlleva algunas complicaciones tcnicas que se deben tener en cuenta. Una bra ptica est sometida a esfuerzos trasversales relacionados con la gura geomtrica que forma en su camino, y que generan asimetras en el ndice de refraccin de su ncleo. Esta birrefringencia inducida puede cambiar tambin con variables ambientales, como la temperatura, haciendo que un haz polarizado que ingresa por un extremo sufra rotaciones en su estado de polarizacin que van cambiando con el tiempo. Si no se cambia la disposicin geomtrica de la bra y los cambios de temperatura son sucientemente graduales, se pueden corregir las rotaciones indeseadas de forma dinmica. Esto es especialmente necesario para transmisiones de larga distancia en ambiente no controlado, como es el caso del vnculo de bra que une el laboratorio de Alicia con el de Bob. Para cada instante, las transformaciones que produce la bra a los estados de polarizacin se pueden modelar como una operacin unitaria equivalente a una rotacin en la esfera de Bloch. Compensar esta deriva es equivalente a aplicar la operacin inversa, implementable a travs de un RUP justo antes de realizar la proyeccin del estado. Solo se necesita poder caracterizar la operacin equivalente en el tiempo. Para ello se puede utilizar un lser de control en el laboratorio de Alicia (Test lser, gura 5.5) que enve por la bra pulsos de luz intensos con una polarizacin conocida. Los pulsos sern analizados en el laboratorio de Bob para conocer la transformacin inducida por la bra e implementar en el PC2 la operacin inversa, modicando adecuadamente las rotaciones conguradas para la seleccin de la base y proyeccin de estados. Cuando los tramos de bra son cortos y se encuentran en un ambiente controlado, la deriva temporal de los estados de polarizacin puede despreciarse y se modela la bra como una operacin de rotacin que no vara en el tiempo. Dentro de cada laboratorio, Alicia y Bob pueden caracterizar las transformaciones inducidas por sus diferentes tramos de bra y compensarlas con instrumentos estticos que no soportan correcciones dinmicas a alta velocidad. En [23, cap. 9] se describen tcnicas para implementar un RUP con tramos de bra doblados en para inducir birrefringencia emulando una secuencia de lminas de onda QWP, HWP y QWP, que pueden ser rotadas arbitrariamente. Estos Rotadores de Polarizacin son especialmente necesarios para compensar los efectos de los retardadores R1,2,3 de las guras 5.5 y 5.6. En otros tramos cortos donde se conoce la polarizacin, como a la salida de los PBS, se pueden utilizar , bras pticas cuyos ncleos son asimtricos, fabricados para mantener el estado de polarizacin sobre una de las direcciones. El estado de polarizacin entrante debe ser alineado con el eje principal de la bra para garantizar su inalteracin. Las componentes transversales al eje principal que ingresen a la bra no sern ltradas, sino que sern rotadas de forma no controlada, por lo que hay que evitar que eso suceda. Con los tiempos sugeridos en la tabla 5.4 Alicia puede realizar un envo cada 4s sin que Bob tenga problemas de superposicin de eventos en la multiplexacin temporal para la medicin. Esto permite trabajar a 250KHz. Si se calcula la intensidad de pulsos para tener una poblacin fotnica promedio de 0.1, tendremos 9.5 % de envos con fotones, de los cuales solo la mitad de las veces sern correctamente detectados. Con esas limitaciones se podran realizar el protocolo en algo ms de 12KHz.

loop

Polarization-maintaining bers

40

Captulo 6

Implementacin de qubit de modos espaciales

En los textos de formacin de grado el fotn aparece modelado como partcula a partir de la descomposicin en sus componentes de Fourier del operador que representa al potencial vector del campo electromagntico [24]. Los fotones representan entonces modos de excitacin correspondientes a ondas planas que se propagan por el espacio con diferentes

k , y tiene

bien denido su momento lineal y su energa y completamente indenida su posicin. Esta descripcin, til en mltiples disciplinas, es poco prctica para modelar lser u haces de luz colimados con localizacin espacial y cierta incertidumbre en el momento. La descripcin clsica de la luz lser ms til para el clculo experimental surge de la aproximacin paraxial de la funcin de ondas. Esta descripcin es la ms adecuada para los clculos de transformacin del haz por elementos pticos como lentes esfricas o cilndricas, y para la descripcin de haces de luz realistas (lser, lmparas colimadas, etc) que consideran localizacin espacial, deformacin del frente de onda con su propagacin y otros fenmenos clsicos conocidos. Este modelo permite describir distribuciones de intensidad en las coordenadas transversales a la propagacin cmo superposiciones de modos espaciales que son solucin de la ecuacin de ondas paraxial en algn sistema de coordenadas. Entre ellos se destacan los modos de Hermite-Gauss (cartesianas) y de Laguerre-Gauss (cilndricas). Estas soluciones a la ecuacin paraxial fueron ampliamente estudiadas desde el paradigma del electromagnetismo clsico a lo largo del siglo XX, tanto terica como experimentalmente. A nales de siglo se comenzaron a estudiar las caractersticas de estos haces de luz en el lmite del fotn individual, desde el paradigma de la mecnica cuntica. Desde entonces se vienen desarrollando experiencias que permitan entender la naturaleza de los fotones que componen estos haces con distribucin espacial de intensidad sobre el frente de onda, cuya imagen pictrica desafa la intuicin matemtica de una partcula puntual. El primer trabajo en el rea fue el de Allen angular de [25] que demuestra que los fotones de los haces con una distribucin de amplitud de la forma

et. al.

u0 (r, z )eil

transportan un momento

alrededor de

cada uno. El inters suscitado en estos fotones peculiares

promovi nuevos estudios sobre cmo generar, manipular y medir los estados de estos fotones en el lmite del fotn individual. En las prximas secciones se describirn las caractersticas generales de estos estados, as como algunas herramientas conocidas para su manipulacin y medicin. Se construir un qubit de modos espaciales seleccionando un conjunto de estados que forman 3 bases mutuamente no sesgadas, de forma anloga a los estados de polarizacin de la luz. Se buscar combinar las herramientas estudiadas con los elementos de manipulacin del qubit de polarizacin para formar las 5 bases de 2 qubits que permiten implementar BB844 . Se propondrn diseos experimentales para poder generar y proyectar cualquiera de los estados de las 5 bases. La proyeccin de los estados en la base cannica est basada en el trabajo previo de [2], en el que se caracteriz un interfermetro de Mach-Zender que puede separar determinados estados de modos espaciales en caminos diferentes. En el trabajo citado realizan una corroboracin experimental del funcionamiento del interfermetro en el rgimen de haces intensos. En esta parte se describir el funcionamiento del interfermetro, que ser una de

41

las piezas claves necesarias para poder implementar QKD con modos espaciales. En la siguiente parte se realizar una caracterizacin experimental del mismo, buscando corroborar su funcionamiento en el lmite de fotn individual, condicin necesaria para poder aplicar BB84E.

6.1. Estados de modos espaciales

Los modos espaciales de la luz son conocidos y estudiados desde hace ms de un siglo desde la teora del electromagnetismo clsico. Se sabe que la luz es una onda electromagntica, por lo que los componentes del campo elctrico y magntico cumplen con la funcin de onda:

2 u
lo que para un

1 2u =0 c2 t2

u = Re[U ] U (r )
cumple la ecuacin de Helmholtz: (6.1)

U (r, t) = U (r)eit

implica que

2 + k 2 U ( r ) = 0
mente sobre un eje (generalmente Proponiendo

La aproximacin paraxial surge de contemplar haces de luz que se propagan fundamental-

z ). Este es el caso de la mayora de las fuentes de luz para

sistemas pticos, desde resonadores/cavidades lser hasta cualquier tipo de luz colimada.

U (r) = A(r)eikz z

se obtiene de (6.1):

2 +
donde

2 2 i 2kz z A(r ) = 0 z

2 ,y en carte representa el laplaciano respecto de las coordenadas transversales (x en cilndricas). La aproximacin paraxial surge de considerar que la variacin sianas o r , de A en z es muy lenta comparada con la variacin del trmino de la onda portadora o con la variacin de A en las coordenadas transversales. Esto es equivalente, en trminos
matemticos, a asumir que la descomposicin en ondas planas de la onda descrita resulta en frentes de onda cuyo eje de propagacin forma un ngulo muy chico con

[26, p. 629].

2A Luego, despreciando surge la llamada Ecuacin Paraxial de Helmholtz: z 2

2 i 2kz

A( r ) = 0 z

(6.2)

Existen mltiples familias de soluciones a la ecuacin (6.2). Una de las soluciones elementales es el haz gaussiano:

Gaussiana radial

Frente de onda
2

U (G) (r) = A0

W0 r exp W (z ) W (z ) 1+
z0 2 z

exp i
con:

kz r 2R(z )
z0 2 z

Fase de Gouy

Onda portadora

exp(i (z ) ) exp (ikz z )

(6.3)

W (z ) =

2z0 kz
W0

R (z ) = z 1 +

(z ) = arctan

z z0

La ecuacin (6.3) representa un haz con un perl de intensidad transversal a y el radio de curvatura por corrimiento de fase de

como una gaussiana en la coordenada radial. El ancho del haz est caracterizado por

z que decae W (z )

entre

R(z ). La funcin (z ) es z = y z = .

llamada la fase de Gouy y modela un

Esta no es la solucin ms general de la ecuacin paraxial. Para modelar cualquier haz posible es conveniente encontrar conjuntos de soluciones ortogonales que permitan formar bases completas del espacio de soluciones. Dos de estas bases surgen de reemplazar la constante

A0

en (6.3) por un campo escalar con dependencia en las coordenadas transversales

y pedirle condiciones a

A0

para que siga cumpliendo con la ecuacin paraxial de Hemlholz.

Las soluciones de este problema dependen del sistema de coordenadas con el que se describe

42

el plano transverso. Para las coordenadas cartesianas, aplicando separacin de variables, resulta una familia de funciones basadas en los polinomios de Hermite y conocidas como modos TrasversoElectroMagnticos (TEM) o :

Hermite-Gaussian Beam
kz r 2 2 u 2

W0 Ulm (r) = Alm W (z ) Gl

(H )

2 Wx (z ) Gm

i 2R(z) i(l+m+1) (z ) ikz z 2 Wy e e (z ) e

(6.4)

con:

Gn [u] = Hn (u) exp

donde

son enteros que identican a los modos y

Hn

son los polinomios de Hermite:

H0 (x) = 1 H3 (x) = x3 3x
Los parmetros en los ejes

H1 (x) = x H4 (x) = x4 6x2 + 3

H2 (x) = x2 1 H5 (x) = x5 10x3 + 15x

(6.5)

representan la cantidad de nodos en la distribucin de intensidad

xey

respectivamente. Los soluciones de Hermite-Gauss son ortogonales y forman

una base completa del espacio de soluciones de la ecuacin paraxial. Con una combinacin lineal de las soluciones TEMlm se puede reproducir cualquier frente de onda con distribucin transversal de intensidad que sea solucin de (6.2). En la gura 6.1 se pueden ver algunas de las funciones

Gn (u).
2 1.5 1 0.5 0 -0.5 -1 -1.5 -2

En la gura 6.3 se puede ver la distribucin transversal de intensidad

los modos TEM10 , TEM01 y sus versiones rotadas en 45 .

G0 G1 G2 G3

-4

-2

0 u

Figura

6.1:

Funciones de perl de intensidad de los modos de Hermite-Gauss:

2

Gn (u) =

Hn (u) exp u 2

Si se resuelve el problema en coordenadas cilndricas surge otra familia de soluciones, conocidas como modos de momento angular orbital (OAM, :

Laguerre-Gaussian Beam
(L) Ulp (r)

Orbital Angular Momentum

exp(il)

) o

Alp = W (z )

2r W (z )

|l|

exp

r2 l| L| p W (z )2 e

2r2 W (z )2

(6.6)

kz r 2 i 2 R(z )

ei(|l|+2p+1) (z) eikz z

donde

Ll p

es el polinomio generalizado de Laguerre

Ll 0 ( x) = 1

Ll 1 (x) = x + l + 1

Ll 2 ( x) =

x2 (l + 2)(l + 1) (l + 2)x + 2 2

Las soluciones OAM tienen simetra cilndrica con anillos de intensidad constante para cada valor de momento angular orbital a razn de

exp(il), el haz transporta l representa la cantidad de ciclos de 2 que cumple la fase en una circulacin en direccin azimutal y p +1 es la cantidad r.
Su nombre se debe a que, debido al factor

por fotn[25]. El parmetro

43

de nodos en direccin radial en la intensidad de campo. Estas funciones forman tambin una base completa del espacio de soluciones de la ecuacin paraxial y pueden modelar cualquier otra solucin como una combinacin lineal de modos OAM. En la gura 6.2 se puede ver el perl de intensidad radial de algunos modos de Laguerre-Gauss. En 6.3 se puede ver la distribucin transversal de intensidad del modo OAM10 .
2 1.5 1 0.5 0 -0.5 -1 -1.5 0 1 2 x
Figura 6.2: Funciones de perl de intensidad de los modos de Laguerre-Gauss: 2 2 x|l| LGl p (x ) exp x .

LG01 LG11 LG1-1 LG20 LG22

LGl,p (x) =

Los modos gaussianos mantienen su forma al propagarse en

z,

cambiando solo de es-

cala. El haz gaussiano es la solucin de orden cero de los modos TEM y OAM, siendo

U (G) = U00

(H )

= U00

(L)

. La distribucin de intensidad descrita por los modos es la amplitud

de probabilidad de la funcin de onda con que se describe a los fotones en una primera aproximacin. La discretizacin de las soluciones abre la posibilidad de construir un qubit de estados espaciales, como se describir en la seccin 6.1.2.

TEM10
0.8 0.6 0.4 0.2 Z 0 -0.2 -0.4 -0.6 -0.8 0 1 2 3 Y
0.8 Y 0.6 0.4 0.2 0 -0.2 -0.4 -0.6 -0.8

3 2 1 0

TEM10

TEM01

-1 -2 -3 3 2 1 0 Y

-3

-2

-1

3-3

-2

-1

-1 -2 -3

OAM10
0.9

-3

-2

-1

0 X

3 -3

-2

-1

0 X

0.9 0.8 0.7 0.6 0.5 0.4 0.3 0.2 0.1 0 0 1 2 3 Y

0.8 0.7 0.6 0.5 0.4 0.3 0.2 0.1 0

TEM10+TEM01
3 2 1 0 Y

TEM10-TEM01

-1 -2 -3 -3 -2 -1 0 X 1 2 3

-3

-2

-1

3-3

-2

-1

OAM10

Figura 6.3: Intensidad de frente de onda para modos TEM, OAM y TEM rotados a 45 . En 6.1.2

se asociarn estos modos a estados del qubit de modos espaciales.

44

6.1.1. Interpretacin del fotn en trminos de autoestados de operadores

El estudio de estos fotones a suscitado un conjunto de investigaciones tericas y experimentales para tratar de comprender su naturaleza en trminos de cuantos de luz. La comprensin completa de la descripcin cuntica de estos estados escapa a los lmites del presente trabajo y no es necesaria para la construccin y manipulacin de qubits de modos espaciales. Sin embargo, se har una breve mencin a algunos trabajos conocidos, en virtud de que se espera poder trabajar estos haces en el lmite de fotn individual, por lo que es de ayuda comprender los lmites y alcances de la descripcin utilizada. La descripcin completa del campo electromagntico requiere del formalismo de segunda cuantizacin, en donde los fotones aparecen como excitaciones de los modos del potencial vector A para alguna base completa del espacio de soluciones de la ecuacin de ondas electromagnticas. Para las ondas planas en coordenadas cartesianas la descomposicin se expresa:

A(x, t) =
=1 k

N (k ) a (k )ei(kxt) + a (k )ei(kxt)
con

(k ) (k ) =

(k ) k = 0 k k)

donde

=1

corresponden a la polarizacin circular derecha e izquierda. Los operadores

son operadores de creacin y destruccin de los modos. Al ser ondas planas con

perfectamente denidos, son estados completamente deslocalizados y con el momento ( y la energa ( Spin

bien denidos. En trminos del formalismo de operadores, los fotones son

autoestado de los operadores Hamiltoniano (H), Momento Lineal (P ) y proyeccin en

1 (S ), entendiendo el Spin como el estado de polarizacin circular. z

z del

H=
k,

k N ,k
con

P =
k,

kN ,k

N ,k = a (k ) a (k )

La descomposicin en cuantos que representan ondas planas es solamente una de las descripciones posibles con las que se puede modelar el campo electromagntico cuanticado. Existen muchas otras que pueden ser utilizadas partiendo de una base diferente del espacio de soluciones. Por ejemplo, en [27] se desarrolla una descomposicin en cuantos de fotones con simetra cilndrica y fase de tipo

eil

basada en las funciones de Bessel. Estos fotones

tienen momento angular y no estn bien localizados debido a que decaen lentamente en

r .

Cualquiera de estas elecciones es igualmente vlida para describir cualquier cam-

po electromagntico, aunque est claro la conveniencia y practicidad de cada una estarn determinadas por las condiciones que impone el problema estudiado. Las soluciones ms prcticas para la descripcin de haces localizados en

surgen de la aproximacin paraxial

de la ecuacin de Helmholtz. En particular, para simetra cilndrica se pueden hallar como soluciones las que generan fotones como modos de excitacin de los haces de Laguerre-Gauss:

A(x, t) =
=1

dkz
l,p

NL a (kz ,l,p)Ul,p (x, t) + a (kz ,l,p)Ul,p (x, t) xy ,

no de manera

(L)

(L)

Los fotones que surgen de estas soluciones estn localizados en el plano el eje de propagacin. El momento lineal en

absoluta, pero s con una densidad de probabilidad con envolvente gaussiana centrada sobre

no est completamente determinado, en

consonancia con las relaciones de incertidumbre que vinculan esas magnitudes. En trminos del formalismo de operadores de la mecnica cuntica, estos fotones son autoestados de los operadores

H , Lz , Pz H=

Sz ,

siempre dentro de la aproximacin paraxial.

,k ,l,p dkz kz N z
l,p,

Pz =
l,p,

,k ,l,p dkz kz N z

Lz =
l,p,

,k ,l,p dkz lN z

con

l,p,,k = a (kz ,l,p) a (kz ,l,p) N z

1 entendiendo z

como el eje de propagacin.

45

La descripcin de los modos espaciales como autoestados de operadores tuvo una primera aproximacin con el trabajo [28], donde se construye un formalismo de operadores que permite describir los estados de modos espaciales utilizando ciertas analogas conocidas entre la descripcin paraxial de campos electromagnticos y las funciones de onda de la mecnica cuntica. La separacin de

Jz

en

Lz

Sz

para los fotones en aproximacin paraxial fue estudiada

por primera vez en el trabajo [25], uno de los primeros en analizar los haces OAM desde la perspectiva de fotones individuales, donde se hace un anlisis desde la teora semi-clsica de los haces gaussianos. Partiendo de la separacin clsica:

J=

2i

d3 r
j =x,y,z L

Ej (r )Ej +

2i

d3 r E E
S

se calcula la relacin entre el ujo de momento angular total y el ujo de energa, llegando a la expresin:

Jz l + z = cPz
siendo un izquierda, o

z = 1 el aporte al momento angular debido a la polarizacin circular derecha o z = 0 para polarizacin lineal. La relacin sugiere que cada fotn transporta momento angular l y un spin z , y que ambas magnitudes son separables y medibles l
en estos haces.

en el lmite de la aproximacin paraxial. El mismo trabajo corrobora experimentalmente que se puede medir el momento orbital La primera medicin del momento angular de la luz es del trabajo de Beth [29] de 1936, en el que demuestra que los fotones con polarizacin circular transportan un momento angular intrnseco

. En [30] se muestra experimentalmente el carcter intrnseco y extrnseco de

J,

haciendo rotar iones atrapados con el principio de pinzas pticas alrededor del eje de

propagacin de un lser que emite en modos OAM. Uno de los debates que surgieron del anlisis de estos haces fue si la separacin de las magnitudes

Lz

Sz

era fsica para el

fotn individual. En [31] construyen los operadores anlogos cunticos y demuestra que son magnitudes fsicas medibles, pero que no siguen el lgebra de del grupo de rotaciones, por lo cual la identicacin con el Momento Orbital y el Spin es incorrecta. En [32, 27] se hacen estudios meticulosos de las soluciones completas de la ecuacin de Helmholtz para haces con componentes azimutales

exp(il)

y simetra cilndrica. Las

soluciones estn basadas en las funciones de Bessel y tienen la particularidad de que no se puede descomponer el momento angular total en una componente orbital y otra de spin. El spin no est denido como una propiedad global del haz, sino que cambia con la propagacin. En [32] se expone tambin otro tipo de soluciones que, en el lmite paraxial, tienden a las soluciones de Laguerre-Gauss. En [27], los modos de Bessel tienden en el lmite paraxial a otra familia de soluciones con OAM ya estudiada [33]. La aproximacin paraxial es bastante adecuada para describir las experiencias de laboratorio, tanto para los resonadores como los instrumentos pticos para manipulacin de la propagacin de un haz de luz coherente. Dentro de estos lmites, es posible utilizar los modos TEM y OAM como caractersticas cunticas distinguibles del estado de polarizacin. Este comportamiento, conocido para haces intensos, debera mantenerse en el lmite del fotn individual. Sin embargo, los estudios mencionados nos advierten que, al alejarse de los lmites de la aproximacin paraxial, esta separacin deja de ser vlida y cualquier construccin de qubit basada en esas condiciones perder validez.

6.1.2. Construccin de qubit de modos espaciales

En los modos TEM podemos denir el orden del modo modos OAM, denimos

Ul,m

(H )

como

N = l + m.

Para los

N = |l| + 2p.
N

Existe una relacin aritmtica entre los modos del

mismo orden de diferentes bases expresada en [25, 34] segn:

Ul,p (r) =
k=0
con:

(L)

ik b

l + |l| l |l | + p, + p, k 2 2

UN k,k (r)
(6.7)

(H )

b(n, m, k ) =

(N k )!k ! 1 dk [(1 t)n (1 + t)m ]|t=0 2N n!m! k ! dtk

46

Tambin existe una relacin aritmtica entre los modos Hermite-Gauss en cartesianas y su versin en coordenadas rotadas 45

(e invertidas):

Ul,m (x, y, z ) Ul,m

(D )

(H )

x+y xy , ,z 2 2

=
k=0

b(l, m, k ) UN k,k (x, y, z )

(H )

(6.8)

En particular, si nos restringimos a los modos de orden 1 tenemos las siguientes relaciones:

U1,0 = U0,1 =
siguiente asociacin:

(L)

U1,0 +iU0,1 2 U1,0 +U0,1 2

(H )

(H )

(H )

U1,0 = U1,0 =
(D )

(L)

U1,0 iU1,0 2 U1,0 U0,1 2

(H )

(H )

(H )

(D )

(H )

(H )

Cada uno de los modos descritos corresponden a un estado cuntico. Realizamos la

U0,1 TEM01 U1,0 TEM10

(D ) (H )

(H )

| |

= = = = = = | | | |

|0 |1
+| 2 | 2 +i| 2 i| 2
(6.9)

U0,1 TEMD01 | U1,0 TEMD10 | U1,0 OAM1

(L) (L) (D )

U1,0 OAM1 |

La frmula 6.9 nos permite no solo denir de forma completa el qubit de modos espaciales sino que muestra los estados de 3 bases mutuamente no sesgadas que corresponden a los autoestados de

x , y , z . | +| |0 + |1

6.2. Operaciones locales y controladas

Los estados de modos espaciales se caracterizan por su distribucin espacial de intensidad, que puede ser manipulada con lentes y espejos de diversas geometras. Algunos de estos instrumentos pticos pueden tener efectos indeseados sobre la polarizacin que deber ser contemplada. La utilizacin de interfermetros construidos con PBS permitir implementar operaciones controladas desde polarizacin sobre el qubit de modos espaciales. A continuacin se analizarn algunos instrumentos.

6.2.1. Conversor de modos

Las lentes cilndricas se forman a partir del corte de un cilindro por un plano paralelo al eje de simetra. A diferencia de las lentes esfricas, la deformacin de la imagen que producen estas lentes solo afecta a una de las coordenadas, mientras que la otra permanece inalterada. Esto permite explotar las simetras y asimetras de los estados TEM para crear una diferencia de fase entre los estados

En [34] se muestra cmo se pueden armar dos conversores de modos TEM combinando pares de lentes cilndricas. El primero es el Conversor de Modos

(CM ) y se implementa

colocando dos lentes cilndricas iguales a el doble de la distancia focal entre s, como en la gura 6.4. Si una combinacin lineal de modos TEM atraviesa el par de lentes, los modos orientados en la direccin del eje de las lentes sufrirn un desfasaje de

respecto de los que

estn orientados en forma transversal. En forma intuitiva a partir de la ptica geomtrica clsica, el efecto del CM es equivalente al de una reexin especular a travs del plano formado por el eje de las lentes y el eje de propagacin.

47

Figura 6.4: Conversor de Modos

que genera un desfasaje de

sobre los modos en

x .

Las lentes

cilndricas estn colocadas a 2 veces la distancia focal. La linea slida muestra la envolvente en la coordenada

y la punteada en la coordenada

y.

Un CM produce en los modos TEM el mismo efecto que un HWP sobre los modos de polarizacin horizontal y vertical y, de manera anloga, se lo puede rotar para implementar las transformaciones:

CM

1 0

0 1

CM

0 1

1 0

Colocando un par de lentes cilndricas a una entre s, como en la gura 6.5, se implementa un resultado de las condiciones de los estados de polarizacin:

[34]. El efecto de un (CM/2 ) sobre los estados TEM es anlogo al efecto de un QWP sobre

phase matching
CM/2

1 1 1 = 1 1 8 2 distancia de 2 veces la distancia focal Conversor de Modos /2 (CM/2 ) como

CM

entre el frente de onda entrante y el saliente

1 0

0 i

Figura 6.5: Conversor de Modos

/2,

que genera un desfasaje de

/2

sobre los modos en

x .

Las

lentes cilndricas estn colocadas a 2 veces la distancia focal. La linea slida muestra la envolvente en la coordenada

y la punteada en la coordenada

y.

Existe un isomorsmo completo entre los estados de polarizacin y los estados TEM y sus respectivas transformaciones:

| / | / | /

| / | / | /

HWP CM QWPCM/2

Por ende, la combinacin consecutiva de CM/2 () CM ( ) CM/2 ( ) cuyos ejes formen con

un ngulo de

, ,

respectivamente, permite implementar un Rotador Universal

de Modos Espaciales (RUME). El RUME permitir realizar cualquier rotacin del qubit de modos espaciales en la esfera de Bloch.

6.2.2. Prisma de Dove

Como se sugiri en 6.2.1, el efecto de un CM es equivalente al de una reexin especular del frente de onda. Una forma ms simple y directa de implementar esa operacin es utilizar directamente un espejo o un prisma de Dove. El prisma de Dove (gura 6.6) utiliza la refraccin sobre la cara entrante para orientar el haz de luz sobre una supercie espejada

48

donde produce una reexin total interna para invertir la imagen. Tiene la ventaja de poder utilizarse directamente sobre el eje de propagacin sin tener que utilizar espejos extra para redireccionar el haz, como ocurrira con un espejo simple, adems de ser relativamente fcil de montar y manipular en el laboratorio.

Supercie espejada

Figura 6.6: El prisma de Dove utiliza la refraccin sobre la cara entrante para dirigir el haz de luz

hacia una supercie espejada donde se produce una reexin total interna que invierte la imagen por el eje

x .

La refraccin en la cara de salida vuelve a orientar el haz sobre el eje de propagacin.

Una de las propiedades de este prisma es que al rotarlo sobre el eje de propagacin un ngulo

se produce una rotacin del frente de onda a la salida de

2.

Esta operacin se

podra realizar tambin con un espejo, con cierta dicultad extra. Un espejo metlico tpico, desde clculos de primeros principios [35, p. 213], introduce un desfasaje de

solo en

la componente de polarizacin transversal al plano de incidencia, lo que produce el mismo efecto en el qubit de polarizacin que un HWP. Un espejo producira el mismo efecto sobre el qubit de modos espaciales que sobre el qubit de polarizacin. El prisma de Dove tambin altera la polarizacin, pero en menor grado. En [36] se hace un estudio desde primeros principios sobre la rotacin de los estados de polarizacin por un prisma de Dove y comprueban experimentalmente que un haz con polarizacin lineal pasa a ser elptico al salir del Dove, pero mantienen al menos en un 80 % la intensidad de la componente de polarizacin original. En cualquiera de los casos, para lograr alta delidad en el tratamiento de los qubits de polarizacin y modos espaciales en simultaneo, la utilizacin de un prisma de Dove o de un espejo rotados deber ser acompaada por una correccin en polarizacin.

6.2.3. Operacin controlada: Interfermetro Sagnac

Para poder realizar una operacin controlada se puede utilizar un interfermetro cuyos divisores de haz sean PBS. Por ejemplo, utilizando un interfermetro de Mach-Zender se podra realizar una operacin sobre el qubit de modos espaciales en el camino de polarizacin horizontal y una operacin diferente en el camino de polarizacin vertical. El problema con este tipo de interfermetros es que los caminos pticos pueden variar por efectos de temperatura o vibraciones, induciendo fases indeseadas sobre las componentes de polarizacin. Si se utiliza una fuente lser de He-Ne, una diferencia de

160 nm agrega una fase de /4, lo que

ya cambia completamente el estado obtenido a la salida. Existen mtodos de estabilizacin para evitar estas derivas, pero tambin se puede apelar a otros diseos de interfermetros ms estables.

path interferometer

El interfermetro de Sagnac (gura 6.7) es un interfermetro de camino comn (

). Este tipo de interfermetros utiliza el mismo camino ptico para los

common

haces separados, recorriendo en sentidos contrarios. Su principal virtud es la fuerte estabilidad ante vibraciones mecnicas y cambios en la longitud de camino ptico por derivas trmicas en el ambiente. Explotando los recorridos en sentido inverso se puede implementar una operacin controlada agregando un prisma de Dove sobre el camino ptico, como se propuso en el trabajo [37]. Si para el camino de la polarizacin horizontal se coloca un prisma de Dove en un ngulo Dove a

, para la polarizacin vertical estar en un = /8 se puede representar por el siguiente

ngulo

.
2

El interfermetro con un

operador :

2 calculado

considerando los efectos sobre la polarizacin de los espejos pero desestimando los efectos del

Dove sobre ese qubit.

49

RUP

Prisma Dove

Figura 6.7: Interfermetro de Sagnac con un prisma de Dove y un RUP en uno de sus brazos. Cada

polarizacin recorre el interfermetro en sentido inverso lo que permite aplicar transformaciones diferentes a los modos espaciales segn el recorrido realizado.

1 1 1 Sagnac = 0 2 0
Esto es equivalente a aplicar la operacin cin horizontal y la operacin inversa

1 1 0 0

0 0 1 1

0 0 1 1

(6.10)

U = CM Had

a la componente de polariza-

a la componente vertical.

U
un CNOT:

Agregando a la salida un Had CM se puede convertir el Sagnac con Dove rotado en casi

U U U

0 1 1 0
=

1 0 0 0

0 1 0 0 1

0 0 0 1

0 0 1 0

Luego, el operador (6.10), combinado con operaciones locales adecuadas, permite generar los estados entrelazados o proyectarlos, teniendo en cuenta que el producir un intercambio entre dos de los estados que seran formados por un CNOT. Por ejemplo, utilizando los operadores de la tabla 6.1 se puede pasar de la base cannica a la de Bell.

| | | |

| | | |
Had Had

|
HWP CM

|
|

Sagnac

| | |

|
|

+| 2 | 2 | 2 +| 2

|
|

Tabla 6.1: Operaciones para formar la base de Bell a partir del interfermetro de Sagnac con

prisma de Dove.

El operador que representa al interfermetro Sagnac fue diseado sin considerar las modicaciones que sufre la polarizacin al atravesar el prisma de Dove. Estas perturbaciones 50

podran considerarse como una prdida del instrumento del sobre cada componentes estado de polarizacin.

%33 .

Las prdidas pueden

minimizarse utilizando adecuadamente un RUP que compense las rotaciones producidas Por ltimo, si se coloca el prisma de Dove en un ngulo de

=0

el interfermetro se

vuelve un operador identidad, con lo cual equivale a apagar la operacin controlada.

6.2.4. Proyeccin de estados: MZ con espejo extra

Para los haces clsicos, determinar los estados TEM y TEMD requiere simplemente de una inspeccin visual al frente de onda proyectado sobre una pantalla o detector CCD. Los estados OAM han resultado un desafo ms interesante, debido a que su naturaleza se evidencia inspeccionando el perl de la fase, y no solamente con el perl de intensidad. En [38] se mencionan algunas tcnicas interferomtricas desarrolladas que permiten con un MZ y un prisma de Dove, diferenciar estados OAM segn los nodos acimutales en el patrn de interferencia formado. Este tipo de tcnicas no son tiles para QI debido a que no se pueden aplicar en el lmite de fotn individual. En [39] se describe una tcnica que, utilizando placas hologrcas que interactan con el perl de fase, permite colimar el haz de algunos modos OAM en particular sobre un pinhole y detectarlo as incluso en el lmite de fotn individual. Esto podra ser til para la proyeccin de ciertos estados particulares, pero no permite la discriminacin entre estados, ya que al realizar la medicin el fotn se destruye. Para poder proyectar los estados de modos espaciales es necesario tener algo equivalente a un PBS para los estados de polarizacin. Con un RUME y un Sagnac se podra realizar cualquier cambio de base. Solo se necesita poder proyectar alguna de las bases, como por ejemplo, la cannica. En [38] se propone un mtodo para discriminar entre estados OAM con diferente

l utilizando un interfermetro Mach-Zender con un prisma de Dove en cada camino,

rotados en un ngulo el uno respecto del otro. Este es el primer trabajo que permite la utilizacin de modos OAM en un esquema de QKD, aunque est basado en la discriminacin de estados OAMl para

l = 2, 1, 1, 2.

Finalmente, en [2] se hace una propuesta de un Separador de Modos Espaciales (llammoslo TEM-BS) que, explotando las asimetras de los modos TEM, permite discriminar el TEM01 y el TEM10 utilizado un interfermetro de Mach-Zender con un espejo extra (MZEE) . El principio utilizando consiste en hacer interferir un modo con su inversin especular. Los modos

tienen simetra de inversin respecto a

y ,

mientras que los modos

son an-

tisimtricos respecto a ese eje. Produciendo un inversin extra en uno de los brazos del interfermetro se puede lograr interferencia constructiva para un modo y destructiva para el otro en cada salida del MZ. La inversin extra se podra realizar con un prisma de Dove en uno de los brazos o con un espejo extra, como en [2]. En la gura 6.8 se muestra un esquema de este interfermetro y la evolucin de los estados a discriminar. El funcionamiento del interfermetro es el siguiente. Un BS tiene la siguiente matriz en el qubit de camino: BS

1 1

1 1

Ingresando por el camino

|0 =

1 0

el haz se divide por los dos brazos del MZEE. Sobre

uno de los brazos suele haber un control de fase (ver gura 6.8) que permite aplicar o no aplicar una diferencia de fase sobre un camino, en este caso el del estado o el correspondiente a

|1

. Dependiendo

de la eleccin de fase, al llegar al segundo BS se saldr por el camino correspondiente a

|0

|1

Cuando un frente de onda tiene antisimetra ante la reexin especular respecto a reexin en un espejo equivale a un cambio de fase en

y , una

En un MZ tradicional el estado

cambia de fase una cantidad impar de veces en la salida A por cualquier camino que vaya y una cantidad par en la salida B por cualquier camino. Algo similar pasa con la polarizacin vertical, que en cada reexin en un espejo agrega una fase de destructiva, ya que es equivalente a agregar una fase de

Si se agrega una reexin

extra en un camino se invierten las salidas donde se produce interferencia constructiva y

en ese camino, como si se tratase

de un control de fase. Sin embargo, para un modo con simetra de reexin respecto a

el

ver [36]

51

Salida A

Salida B

Figura 6.8: Esquema de un interfermetro de Mach-Zender con espejo extra. Se grac la evolucin

de uno de los estados de polarizacin y modos espaciales para ejemplicar cmo funciona el profeso de discriminacin de estados TEM por interferencia.

espejo extra no le representa un cambio de fase, por lo que no se invierten los patrones de interferencia de las salidas. Con ello, usando el control de fase se puede seleccionar por qu salida har interferencia constructiva el TEM01 y destructiva el TEM10 , mientras que en la otra salida se dar el efecto contrario. Utilizando el operador de BS se puede determinar los estados en cada una de las salidas del MZEE realizando el clculo con un tercer qubit en el producto tensorial: el qubit de camino. Para simplicar, solo se mostrarn los proyectores en el espacio Polarizacin ModosEspaciales que representan cada una de las salidas del MZ:

1 0 MZEEA ( = 0) = 0 0 0 0 MZEEA ( = ) = 0 0
Se puede ver que para

separando los autoestados con autovalor

z z , 1 en la salida A y los autoestados con autovalor 1 en la salida B. Combinando este elemento con un PBS, que implementa z 1, queda denido =0
el MZEE implementa la medicin del operador el grupo de estabilizadores que denen a la base cannica, como se vio en 3.1. Bastar con un MZEE y un PBS para proyectar sobre la base cannica de 2 qubits, con polarizacin y modos espaciales. Debido a que MZEE mide tambin el estado de polarizacin, solo discriminar correctamente los estados TEM para una polarizacin particular: vertical u horizontal. Los estados de polarizacin sufren de la misma discriminacin que los estados TEM. La polarizacin vertical tiene un cambio de fase horizontal no . Por ende, si se ingresa con un modo TEM00 o con alguno de los modos

BS

Control de fase

0 0 0 0 0 1 0 0

0 0 0 0 0 0 1 0

0 0 0 1 0 0 0 0

0 0 0 1 MZEEB ( = 0) = 0 0 0 0 1 0 0 0 MZEEB ( = ) = 0 0 0 0

0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1

(6.11)

en cada reexin, mientras que los estados de polarizacin

TEM01 o TEM10 , por cada salida del interfermetro saldr o bien un haz con polarizacin vertical o bien un haz con polarizacin horizontal. Si no hay superposicin de modos TEM, el TEM-BS funciona tambin como un PBS. Las posibilidades de discriminacin son entonces: si se ingresa con un estado particular de polarizacin

, las salidas separarn

los modos TEM01 y TEM10 para cualquier combinacin lineal de modos incidente. Si se

4 calculado

de primeros principios,[35, p. 213]

52

incide con un modo TEM en particular, se discriminarn los estados de polarizacin para cualquier combinacin lineal incidente. Si el haz incidente combina superposicin simultanea de polarizacin y modos TEM, el estado nal no podr ser discriminado. Con estas aclaraciones hechas, un TEM-BS podr utilizarse para para proyeccin de los estados de 2 qubits, polarizacin y modos espaciales, en la base cannica. Habr que discriminar en primer lugar con un PBS el estado de polarizacin incidente para luego determinar el estado de TEM con el TEM-BS. En [2] hacen una demostracin experimental del funcionamiento del interfermetro dentro de los lmites clsicos y aclaran que, si bien no hicieron la experiencia en el lmite de fotn individual, no habra razn para que no funcione en ese lmite.

6.3. BB84E con polarizacin y modos espaciales

Con los elementos vistos en las secciones precedentes se pueden generar y proyectar todos los estados de las 5 bases propuestas. A continuacin se describirn los procedimientos para cada una de esas tareas.

6.3.1. Generacin de estados

Como se puede ver en en la tabla 6.1, partiendo de los estados diagonales tanto en polarizacin como en modos espaciales, se generan los estados de Bell. Para simplicar el esquema vamos a partir del estado

| ,

y a generar a partir de este todos los dems.

Para ello, Alicia deber montar el armado de la gura 6.9 en su laboratorio. En primer lugar se aplicar o no la operacin del interfermetro de Sagnac. Luego, se aplicaran operaciones locales sobre cada qubit utilizando un RUP, armado con la sucesin QWP, HWP y QWP, y un RUME, combinando CM/2 , CM y CM/2 .

Alicia
x RUP correccin y z

Prisma Dove

PB S

RUP

RUME
Figura 6.9: Esquema del laboratorio de Alicia para preparar los estados de las 5 bases.

Para las bases producto B1, B2 y B3 utilizaremos el interfermetro de Sagnac apagado (con el prisma de Dove en

= 0).

Las bases entrelazadas B4 y B5 se forman usando el

Sagnac para formar el primer estado de Bell y luego se utilizan operaciones locales para convertir a los estados de cada base. En la tabla 6.2 se muestran las operaciones necesarias para construir cada estado de cada base partiendo del estado

53

Circuito Operacin de seleccin de base B1

Estado

| | U
Had

Had Had

| |

Had | ,

11 1 CM (/4) H (/4) 1 H (/4) CM (/4)

B2

| | | |

, , , ,

| |

1 1 U | ,

| |

11 1 CM (0) H (0) 1 H (0) CM (0)

B3

| | | |

, , , ,

| |

S S

| |

U Q(0) Q(0) | ,

11 1 CM (0) H (0) 1 H (0) CM (0)

B4

| | | |

, , , ,

|
Sagnac

Had

U 1 [Q(0)Had] | ,

11 1 CM (0) H (0) 1 H (0) CM (0)

B5

1 ( 2 1 ( 2 1 ( 2 1 ( 2

| | | |

, , , ,

+| +| | |

, , , ,

) ) ) )

|
Sagnac

S Had

U Q(0) Had | ,

11 1 CM (0) H (0) 1 H (0) CM (0)

1 ( 2 1 ( 2 1 ( 2 1 ( 2

| | | |

, , , ,

+| | +| |

, , , ,

) ) ) )

Tabla 6.2: Operaciones para la formacin de los estados de las 5 bases con qbits de Polarizacin

y Modos espaciales.

54

6.3.2. Proyeccin de estados

Para la proyeccin de la 5 bases se requiere, en primer lugar, un conjunto de operaciones que transformen la base seleccionada en la base cannica. Con un RUP y un RUME se pueden implementar los operadores inversos a los de seleccin de base de la tabla 6.2, que convertirn cualquier base a la B2, ya que el estado original utilizado en la generacin es justamente uno de los estados de B2. El Sagnac con un prisma de Dove rotado en B2

= /8

es la operacin inversa del Sagnac de Alicia. Con todo esto, solo hace falta hacer la conversin

B1 , que se hace utilizando un Had

y x

Had , implementable como H(/8)CM (/8).

Seleccin de base

RUME RUP

Bob
Proyeccin base cannica

HWP

RUP Prisma correccin Dove

CM

Figura 6.10: Esquema del laboratorio de Bob para la proyeccin de los estados de las 5 bases.

Finalmente, la base cannica se puede proyectar utilizando un separador de modos espaciales (Mach-Zender con espejo extra) y dos separadores de polarizacin (PBS), como se describi en 6.2.4. Para el correcto funcionamiento del separador de modos espaciales se debe garantizar una polarizacin

en la entrada. Sin embargo, se est asumiendo

que esos sern los estados que ingresen si se seleccion correctamente la base. En caso de que la base haya sido errada no tiene importancia el problema del MZEE, ya que de todos modos la proyeccin ser probabilstica.

6.3.3. Detalles de implementacin

Con los armados experimentales de la gura 6.9 y 6.10 se puede seleccionar cualquier base, generar cualquier estado y proyectar sobre cualquier base, implementando en los RUP y RUME las operaciones mencionadas en al tabla 6.2. El proceso de seleccin de las bases por azar, y de los estados para el caso de Alicia, debe ser implementado por mtodos propios en cada laboratorio. El desarrollo completo del protocolo es factible, aunque la complejidad y cantidad de instrumental ptico lo hace poco prctico para prototipos que aspiren a ser tiles y ecientes en produccin. En particular, la alineacin de las lentes cilndricas para los RUME es compleja y la cantidad de lentes cilndricas puede ir degradando el perl gaussiano del haz, ya sea por imperfecciones de las lentes, suciedad o por alejarse del lmite paraxial a distancias muy grandes de transmisin. Otro de los elementos delicados de central importancia es el separador de modos espaciales. A diferencia de los Sagnac, el MZ necesita de estabilizacin activa para que pueda ser de utilidad. Adems, lograr interferencia con los modos espaciales no es una tarea trivial y an no fueron reportadas pruebas experimentales en el lmite de fotn individual, aunque sea esperable que el comportamiento no cambie respecto de los resultados dentro del lmite clsico. En la parte III del presente trabajo se analizar la factibilidad de implementar este separador de modos buscando mostrar su funcionamiento en el lmite de fotn individual.

55

BS

Resumen de la segunda parte

En esta parte se describieron dos formas de implementar BB84E4 utilizando un qubit de polarizacin y un qubit de time-bin o de modos espaciales. Para cada qubit se describi la generacin, proyeccin y manipulacin de estados, contemplando la implementacin de operaciones locales y operaciones controladas desde el otro qubit. En la propuesta de polarizacin y time-bin: Se describi la generacin de estados propuesta en [1]. Se adapt el diseo experimental de [1] para el laboratorio de Bob agregando un modulador de fase (gura 5.3) de forma de extender la proyeccin de estados a las 5 bases consideradas. Se describieron las operaciones a realizar en el PC para implementar las transformaciones de cualquiera de las bases no cannicas a la base de Bell (tabla 5.3) y luego la forma de proyectar la base de Bell para su medicin (tabla 5.2). Se propuso un diseo experimental realista simplicado y montado sobre bra ptica para los laboratorios de Alicia y Bob.

En el caso de Alicia, se generan los estados directamente en las bases horizontalvertical o diagonal-antidiagonal (gura 5.4), lo que permite formar todos los estados con solo un PC y un UMZ con un PBS y un BS (gura 5.5).

En el caso de Bob, se utiliza un solo PC para seleccionar la base y 3 UMZ para realizar una proyeccin multiplexada en tiempo sobre un solo detector (gura 5.6). Se describe nuevamente la proyeccin de los estados en este nuevo esquema (tabla 5.4).

Se explicitaron las consideraciones tcnicas necesarias para poder realizar el experimento respecto del uso de estados de polarizacin en bras pticas (seccin 5.4.4). En la propuesta de polarizacin y modos espaciales: Se describieron los estados TEM y OAM desde el electromagnetismo clsico y desde su interpretacin cuntica como autoestados de operadores. Se construy a partir de ello una propuesta de qubit. Utilizando un interfermetro de Sagnac con un prisma de Dove y rotadores universales de los qubits de polarizacin y modos espaciales, se describi un diseo experimental para la preparacin de los estados de las 5 bases (gura 6.9). Se describieron las operaciones necesarias para la seleccin de cada base y la preparacin de cada estado (tabla 6.2). Se describi un diseo experimental para la proyeccin de los estados de las 5 bases (gura 6.10). La seleccin de la base se realiza implementando un cambio de base a la base cannica con un armado experimental similar al de la preparacin. La proyeccin de la base cannica se realiza con un interfermetro de MZEE como el propuesto por [2] y descrito en la seccin 6.2.4.

57

Parte III

Caracterizacin experimental de un separador de modos espaciales de la luz para QKD con 2 qubits

59

En el captulo 6 se analiz la factibilidad de realizar BB84E4 utilizando un qubit de polarizacin y otro de modos espaciales. El qubit de modos espaciales fue denido a partir de bases que siguen las mismas relaciones de transformacin que los estados de polarizacin, y cuyas operaciones de cambio de base se pueden implementar con instrumentos que actan de forma anloga al HWP y QWP. Para que la analoga sea completa, es necesario contar con un instrumento anlogo a un PBS para modos espaciales. Para poder realizar esta tarea es necesario recurrir a tcnicas interferomtricas, debido a que la informacin del qubit se encuentra en la distribucin de intensidad y fase en el plano transversal al eje de propagacin. El TEM-BS puede ser implementado utilizando un Mach-Zender con un espejo extra (MZEE) como el descrito en la seccin 6.2.4. En [2] se hizo un estudio de este interfermetro con corroboracin experimental para haces intensos. Para el presente trabajo se construy el MZEE y se estudiaron sus caractersticas geomtricas y su capacidad para separar los estados TEM. Para ello, se arm un lser de Nd-YAG con frecuencia doblada y se generaron los modos TEM trabajando directamente sobre la fase del frente de onda. En el captulo 7 se explicar en detalle el mtodo de generacin de estados, que consiste en forzar una asimetra sobre el frente de onda imponiendo una fase de

sobre la mitad del perl con una lmina de

fase. Luego se ltran los modos TEM de orden superior con un ltro de modos espaciales, resultando en un estado cuya principal componente es el TEM10 . El estado de polarizacin era denido utilizando un polarizador. En el captulo 8 se describirn los detalles de la construccin y caracterizacin del interfermetro MZEE. Se analizarn sus caractersticas geomtricas y qu efectos tienen sobre el patrn de interferencia formado. En particular, se analizar el espejo doble, que fue construido imitando un pentaprisma para aprovechar las ventajas geomtricas de este instrumento en cuanto a control de la longitud de camino ptico. Hubo que utilizar un sistema de estabilizacin activa con el que se compensaron las diferencias de camino ptico generadas entre los brazos del interfermetro debido a su extrema sensibilidad a las condiciones de ambiente. Para realizar una caracterizacin del funcionamiento del TEM-BS se produjeron los estados de prueba, congurando diferentes modos TEM y estados de polarizacin sobre el haz del Nd-YAG doblado. Para cada estado se realiz un anlisis dentro del rgimen de haces intensos, utilizando una cmara para registrar la distribucin de intensidad del frente de onda y fotodiodos para medir el contraste del patrn de interferencia en las salidas del MZEE. Luego se atenuaba el haz hasta el lmite del fotn individual y se meda nuevamente el contraste de cada salida utilizando dispositivos para conteo de fotones. Los dispositivos de conteo de fotones consistan en un fotomultiplicador con un hardware y software asociado que permitan contar los fotopicos producidos por llegadas de fotones. Para utilizar los fotomultiplicadores hubo que disear un circuito de discriminacin de pulsos rpidos y dbiles con una salida TTL que se conectaba a una computadora. El diseo y caracterizacin del circuito, las caractersticas de los fotomultiplicadores y el montaje nal de los dispositivos de conteo est explicado en el captulo 9 . En el captulo 11.1 se analizarn los resultados de las mediciones realizadas con haces intensos y se podr apreciar el funcionamiento del interfermetro de forma cualitativa. En 11.2 se presentarn los resultados de las mediciones para haces tenues en el lmite del fotn individual, comprobando que es factible hacer discriminacin de estados para fotones individuales y que, por ende, el discriminador sirve para la realizacin de un protocolo BB84E4 .

61

Captulo 7

Generacin de modos TEM y TEMD

Para poder probar el funcionamiento del TEM-BS debemos primero poder construir los modos TEM. Para ello vamos a contar con un lser de Nd-YAG doblado en frecuencia que emita en el modo fundamental TEM00 . Luego se impone una diferencia de fase sobre la mitad del haz que genere una antisimetra en

sobre el frente de onda. El frente quedar

compuesto por modos TEM impares de orden superior que siguen la antisimetra forzada. Filtrando los modos de orden superior se obtiene un modo TEM10 que puede ser rotado luego por un prisma de Dove para obtener cualquier estado TEM o TEMD. Por ltimo, se seleccionar el estado de polarizacin saliente utilizando un polarizador montado sobre un posicionador angular. A este armado experimental que incluye la creacin de los modos TEM/TEMD y eleccin de polarizacin se le referir como seleccionador de estados.

7.1. Fuente lser

La fuente de luz coherente utilizada fue un lser de Nd-YAG ( con un lser de diodo (

= 810nm)

y doblado en frecuencia para emitir en

= 1064nm) bombeado = 532nm . Se

utiliz una cavidad plano-cncava con un espejo de salida de alta reectividad (HT) para la longitud de onda del Nd-YAG y alta transmitancia para la luz visible. El lser emita en una polarizacin ja con una componente vertical predominante. En la gura 7.1 se puede ver una foto de la cavidad en la que estn dibujados de forma esquemtica los perles de los haces del lser de diodo, el Nd-YAG y el haz doblado en frecuencia.

Lentes cilndricas Diodo laser

Cristal Birefringente
Phase Matching

Semiespejo plano

NdYAG

Semiespejo cncavo

Figura 7.1: Foto-esquema del lser utilizado para formar los modos TEM.

63

La luz del diodo lser fue enfocada sobre el cristal de Nd-YAG utilizando una lente cilndrica vertical

1 y dos lentes cilndricas horizontales combinadas, las tres montadas sobre

posicionadores milimtricos que permitan un control no de la posicin nal del foco. La generacin del segundo armnico se realiz con un cristal BBO rotado para lograr la posicin de tipo I. La cavidad fue armada con una longitud de 6.5cm, por debajo del lmite de estabilidad impuesto por el espejo de salida (10cm) lo que permiti formar un modo TEM00 estable. La potencia de emisin lograda era de alrededor de 1mW para el haz de 532nm. Para caracterizar la longitud de coherencia del lser se construy un interfermetro de Michelson-Morley como el de la gura 7.2 y se lo aline a franja cero. Utilizando un posicionador micromtrico se fue variando la diferencia de camino entre sus brazos y se calcul el contraste

phase matching

a partir de las mediciones de intensidad del haz a la salida. Para medir la

intensidad del haz se utiliz un fotodiodo y se recorri la fase utilizando un generador de funciones que alimentaba un piezoelctrico sobre el que estaba montado uno de los espejos.

C=

Imax Imin Imax + Imin

1

0.9
Fotodiodo

0.8 0.7 Contraste

Posicionador x

0.6 0.5 0.4 0.3 0.2

BS
z Piezoelctrico

0.1 0 10 20 30 40 z [mm] 50 60 70 80

Figura 7.2: Espectrmetro de Michelson-Morley armado para caracterizar la longitud de coherencia

del lser Nd-YAG doblado.

La curva de contraste muestra que el lser estaba emitiendo con ms de una frecuencia excitada, por lo que se produce el batido de la gura 7.2. Si bien el ancho de coherencia es del orden de decenas de centmetros, a los efectos del experimento nos basta con saber que el centro de la curva de contraste tiene un ancho de pico de 5mm. La precisin necesaria en el montaje nal para lograr buen contraste deber ser del orden del milmetro por lo menos.

7.2. Formacin de modos TEM

La primera estrategia ensayada para la formacin de modos espaciales fue llevar la longitud de la cavidad al lmite de estabilidad y utilizar el espejo de salida para encontrar las geometras que favorecieran la emisin en modos de orden superior por sobre el modo fundamental. Esto result ser muy poco estable, debido a que la la formacin del modo es muy sensible a multiplicidad de factores, como el volumen del Nd-YAG irradiado con el haz de excitacin, la posicin y ngulo del cristal no lineal, las vibraciones de la mesa ptica o la variaciones de potencia del lser de excitacin. Algunos de estos factores varan con cambios de la temperatura ambiente o movimientos del aire, lo que lo hace inviable para realizar experimentos controlados de larga duracin. Otro factor de importancia fue el poder tener un control no sobre la calidad de los modos. Los modos TEM deben tener una envolvente gaussiana y cumplir bien con ciertas propiedades, como la simetra o antisimetra sobre ejes particulares. Si estas condiciones no se cumplen es muy difcil lograr buen contraste al hacer interferencia. En esos trminos, los modos generados por desestabilizacin de la cavidad eran de mala calidad. Por todo ello,

1 con

el eje de simetra del cilindro en posicin vertical

64

se decidi emitir en el modo fundamental y luego construir los modos de orden superior manipulando el perl de intensidad y de fase. En la gura 7.3 se puede ver un esquema del montaje utilizado para modicar el frente de onda y formar los modos TEM. En primer lugar, se separ con un prisma el haz infrarrojo (

= 1064nm)

del haz verde (

= 532nm).

Se utilizaron algunos

luz espuria generada por efectos de difraccin. Luego se introdujo una diferencia de fase sobre la mitad del perl transversal del frente usando una lmina de fase montada en un gometro. Cuando se congura el ngulo necesario para introducir una fase de eje

pinholes

para bloquear

el frente

formado se compone nicamente de modos TEM con nmero impar en la coordenada del

x ,

ya que son los que reproducen la antisimetra forzada. Luego se utiliz un ltro de

modos espaciales, que consiste en una lente ja que enfoca el haz sobre un pinhole de un micrn con posicionadores en los tres ejes. Este ltro opera sobre el espacio de Fourier de las componentes espaciales y, por efecto del pinhole, elimina los modos de rdenes superiores . El haz saliente resulta entonces en un modo TEM10 , que debe ser colimado por una lente de salida para su utilizacin. Con un prisma de Dove se lo puede rotar para convertirlo en TEM01 o en un TEMD. Finalmente, con un iris a la salida se eliminan nuevamente patrones de luz espuria y se recorta el rea central del modo seleccionando el tamao de spot nal ms adecuado.

*
Lser completo

*
Prisma

#
Iris Prisma de Dove

Pin Hole

Filtro Espacial

Lmina de fase

*
+ _ + _

Figura 7.3: Esquema y fotos del montaje armado para manipular el frente de onda del haz y

formar los modos TEM

Este mtodo tiene la ventaja de que se puede controlar la calidad del modo desde las variables congurables en cada uno de los instrumentos utilizados. La lmina de fase fue montada sobre un posicionador, lo que permite ubicar el corte de fase justo a la mitad del

2 El

ltro de modos espaciales solo deja pasar los modos de menor orden. Como el haz formado posee una

componente casi nula del TEM00 , las principales componentes del haz resultante sern modos de orden 1.

65

haz o retirarla completamente para conservar el modo TEM00 . Los pinholes y el iris permiten recortar las fracciones del haz que se desvan de la forma gaussiana-circular deseada. En particular, el iris permite controlar el tamao del modo. El modo formado debe tener buen contraste entre los nodos de intensidad que lo forman y el espacio intermedio. Cuando el contraste es malo se lo puede mejorar corrigiendo la posicin del pinhole del ltro de modos y cambiando apenas el ngulo del gometro de la lmina de fase.

7.3. Caracterizacin del frente de onda

Para poder caracterizar la calidad de los modos generados se desarroll una herramienta que permite registrar el perl de intensidad de un haz. Para ello se desarm una webcam comercial y se le retir la lente de forma que la CCD supercie de 3.2mm 2.4mm que poda registrar imgenes de 640

3 quede expuesta. La CCD tena una

480 pxeles. Luego se

program una rutina en lenguaje Matlab que adquira el perl de intensidad registrado por la CCD y generaba una imagen con graduacin de intensidad en colores. De este modo, interponiendo la CCD en el camino ptico se levantaba el perl e intensidad del haz, exponiendo los defectos que pudiere haber en el frente de onda. Las imgenes podan mostrarse como un video en tiempo real, agregando informacin til como el centro de masa de la imagen o indicadores de simetra (ver gura 7.4).

CCD

Imagen capturada

Webcam
Figura 7.4: Foto del dispositivo utilizado para capturar el perl de intensidad del frente de onda.

A la izquierda se muestra una imagen tpica capturada y procesada. El color verde muestra el perl de intensidad. En color rojo se indicaba el centro de masa de la imagen (cuadrado) y de cada la y columna individualmente (lineas). En otra versin del programa, el perl de intensidad se mostraba con un mapa de colores, que expona con mayor claridad los defectos en el frente de onda.

La herramienta permiti encontrar defectos en el frente de onda que no se podan apreciar a simple vista y ajustar las variables disponibles de manera ptima para minimizarlos o eliminarlos. En la gura 7.5 se muestran capturas del dispositivo para diferentes posiciones del pinhole del ltro de modos espaciales o diferentes inclinaciones de la lmina de fase que muestran como afectaban a la distribucin de intensidad los parmetros disponibles.

3 Charge-Coupled Device,

es la supercie fotosensible que permite digitalizar la imagen.

66

TEM10

Sin lamina de fase

pi

Cambio de fase

Figura 7.5: Capturas del frente de onda para diferentes conguraciones del armado ptico que

forma los modos. Las fotos de arriba muestran cmo cambia el patrn de intensidad al variar el pinhole del ltro de modos espaciales en las coordenadas transversales (xy ) y en la direccin del eje de propagacin (z ). Abajo se muestra la transformacin del frente al variar el ngulo de la lmina de fase.

7.4. Eleccin de polarizacin y atenuacin del haz

Con el armado ya descrito se pueden armar los modos TEM y TEMD para denir el qubit de modos espaciales. Para completar el esquema de produccin de fotones con 2 qubits solo falta denir la polarizacin. Para eso se utiliz un polarizador montado en un posicionador angular. Solamente se deba colocar el polarizador en la direccin de la polarizacin deseada para obtener los estados

. Para los estados circulares se poda agregar

un QWP a continuacin del polarizador. Finalmente se deba contar con algn sistema de atenuacin que permitiese atenuar el haz hasta el lmite del fotn individual. Se colocaron un conjunto ltros neutros que permitan llevar la intensidad a niveles muy bajos, que no podan ser registrados por los fotodiodos. Sin embargo, es conveniente tener un control continuo sobre la atenuacin para poder jar la intensidad de salida de manera precisa en haces tenues. Para ello se coloc un HWP montado sobre un posicionador angular justo antes del polarizador. El Nd-YAG doblado tena polarizacin ja orientada mayoritariamente sobre la componente vertical. Rotando el HWP se rotaba la polarizacin respecto del eje del polarizador logrando atenuar el haz siguiendo la ley de Malus.

67

Corrimiento en z

Captulo 8

Mach Zehnder con espejo extra

Para poder discriminar los modos espaciales se construy un interfermetro de MachZehnder con un espejo extra, que explote las simetras y antisimetras de los modos para que sean separados en camino y pueden ser detectados individualmente. En 6.2.4 se introdujo este tipo de TEM-BS y se explic el principio de funcionamiento y los efectos sobre los estados. En este captulo se explicaran los detalles del funcionamiento del interfermetro construido (gura 8.1) y los cuidados necesarios para su operacin. El doble espejo, ubicado convenientemente, tiene algunas ventajas geomtricas para la alineacin, pero a la vez cambia el comportamiento habitual de los haces de ese brazo del MZEE respecto de lo que se acostumbra con MZ tradicionales. Adems, se deber estabilizar de forma dinmica el camino ptico para compensar los cambios que se producen por diferencias de temperatura, movimientos del aire o presiones sobre la mesa ptica.

Figura 8.1: Interfermetro MZEE construido en el laboratorio. El camino ptico de cada brazo

era de aproximadamente 40cm.

8.1. Caractersticas geomtricas del MZEE

En un MZ tradicional, los haces que emergen de una de las salidas sufrieron una cantidad par de reexiones, mientras que en la otra sufrieron una cantidad impar. Por lo tanto, en cada salida intereren dos frentes de onda con la misma distribucin transversal de intensidad. Esto permite despreciar problemas de simetra en la forma del spot del lser. Con un MZEE uno de los brazos del interfermetro tiene una reexin extra, lo que produce que los frentes de onda que llegan a cada salida hallan sufrido cantidades de reexiones con diferentes paridades. En la gura 8.2 se puede ver un esquema de la evolucin de una imagen a travs del MZEE. Es por eso que los estados que tengan simetra de reexin en

interferirn

de forma idntica a como lo haran en un MZ, pero los estados antisimtricos tendrn una

69

diferencia de fase extra de destructiva.

que intercambiar las salidas con interferencia constructiva y

Salida A

F F
y z

Salida B

F F

F
x

F F

F
z

Figura 8.2: Trazado del recorrido ptico en el MZEE para dos haces con diferente valor en la

coordenada

x a la entrada del primer BS. Se puede apreciar la alta sensibilidad a estos corrimientos.

La F muestra la evolucin de una imagen en cada brazo de interfermetro.

Por otro lado, un MZ tradicional es poco sensible a la posicin transversal de incidencia de ingreso. Manteniendo el ngulo, un corrimiento en la coordenada

genera el mismo corrimiento sobre los haces provenientes de ambos caminos en cualquiera de las salidas. En el MZEE, el espejo extra genera una asimetra en los caminos que vuelve al interfermetro muy sensible a la coordenada ingresa con un desplazamiento en

gura 8.2 se graca en verde un haz perfectamente alineado y en rojo-naranja un haz que

de uno de los caminos se desplace en

de incidencia ser entonces una de las variables a tener en cuenta que tradicionalmente es desatendida. Ms an, habr que considerar los efectos que puede tener la lmina de fase sobre uno de los caminos, ya que para diferentes ngulos puede generar corrimientos diferentes en

BS

en el BS de entrada

de incidencia del haz de entrada. En la

x.

Esto provoca que, dada una salida, el haz proveniente

+x

y el del otro camino en

x .

La coordenada

x.

8.1.1. Espejo doble

Inicialmente, en lugar de utilizar un espejo doble se construy el interfermetro con un pentaprisma como el de la gura 8.3. El pentaprisma es un prisma pentagonal con dos supercies espejadas que tiene propiedades muy tiles para la construccin del MZEE. El espejo doble posteriormente utilizado fue construido imitando la disposicin de las supercies espejadas del pentaprisma. Por ende, vamos a analizar las propiedades de este prisma particular, que fueron las mismas reproducidas por el doble espejo montado. El pentaprisma reproduce el frente de onda que incide sobre la cara de entrada en la cara de salida, produciendo una rotacin de 90 la imagen. Un haz que incide a una distancia una distancia

del eje de propagacin, pero sin invertir del borde de la cara de entrada saldr a

x1

x1

del borde de salida, y ante un desplazamiento en

x,

la salida reproduce

el mismo desplazamiento, sin invertirlo. Esta propiedad se puede explotar para cambiar la longitud del camino ptico recorrido dentro del prisma. Con una translacin del cristal en el sentido de su eje de simetra la posicin del haz de salida permanece igual pero el camino ptico recorrido se achica o agranda (ver tercera imagen de la gura 8.3). La diferencia de camino ptico (CO) producida por un desplazamiento

es:

CO =

2 d

La longitud del camino ptico extra en el pentaprisma o en el arreglo de espejos dobles deber ser compensada en el otro brazo del interfermetro para que la diferencia de camino sea menor a la longitud de coherencia del lser. Es por eso que el MZEE de los esquemas mostrados aparenta estar desbalanceado. Para su construccin se estim la longitud de camino ptico extra que genera el doble espejo, se coloc el espejo del otro camino a una 70

112.5

su p

er

cie

esp

eja

da
112.5

e sup

Figura 8.3: Esquema de un pentaprisma, utilizado para rotar 90 el eje de propagacin del haz

sin invertir la imagen. El pentaprisma es poco sensible a cambios en el ngulo de incidencia y no cambia la posicin de salida ante desplazamientos sobre el eje de simetra.

distancia calculada para compensar esa longitud y se utiliz el posicionador micromtrico del espejo doble para encontrar interferencia. Para mayor precisin, en la alineacin inicial se utiliz un lser de longitud de coherencia corta (del orden de

asegurarse que los caminos pticos de cada brazo tenan una diferencia menos a esa longitud. Esto ayud a encontrar luego, con el Nd-YAG doblado, el pico de mayor contraste con facilidad. Otra propiedad til del pentaprisma es que es poco sensible al ngulo de incidencia. Si se incide con una desviacin de

inclinacin en la salida. Eso facilita la alineacin del MZ ya que no se necesita alinear el ngulo del prisma con muy alta precisin. El rea de la supercie de entrada del pentaprisma utilizado result ser muy chica para la realizacin del experimento, por lo que se decidi utilizar dos espejos que cumplan la misma funcin. Se montaron los espejos sobre un posicionador formando un ngulo de 45

entre ellos. El desplazamiento del posicionador segua el eje de simetra de la gura formada, de forma de poder tener control sobre la longitud de camino ptico aprovechando las propiedades mencionadas de la geometra del pentaprisma.

8.1.2. Estabilizacin activa

Uno de los problemas mencionados de cualquier MZ es que es muy sensible a diferencias de camino ptico inducidas por el ambiente (temperatura, presin sobre la mesa ptica, movimiento del aire). El TEM-BS requiere que no haya corrimientos de fase fuera de los que produce el control de fase. Por ende es necesario compensar cualquier diferencia de camino que se produzca. Un corrimiento de 133nm equivale a una fase de la decena de nanmetros. Para ello se utiliz un armado experimental como el que se muestra esquemticamente en la gura 8.4. Se utiliz un lser de He-Ne que recorra el MZEE en paralelo al haz del NdYAG doblado, pero desplazado verticalmente

estabilizar el interfermetro de modo de mantener las diferencias de caminos por debajo de

una de las salidas. Ese patrn era censado por un fotodiodo que transformaba las variaciones de intensidad en una diferencia de tensin elctrica. El corrimiento de tensin era procesado por un circuito de estabilizacin que comparaba la seal con una tensin de referencia y amplicaba la diferencia. Con ello se alimentaba un piezoelctrico sobre el que estaba montado un espejo de uno de los brazos del MZEE. El corrimiento producido en el espejo permita corregir la diferencia de camino censada. El circuito estabilizador fue diseado a partir del trabajo [40] y haba sido utilizado con xito antes durante el desarrollo del trabajo [16]. Consiste en un amplicador y un integrador de la seal de entrada, que se compara luego con un o tensin de referencia. A

del MZEE descritas en 8.1.1.

rc ie e

spe a jad

x1 x1 x2

x2

0.05mm)

lo que permita

respecto de la perpendicular, el haz tendr la misma

/2.

Es deseable poder

1 para producir un patrn de interferencia en

set-point

Un desplazamiento horizontal no serva para lograr interferencia debido a las caractersticas geomtricas

71

Fotodiodo

Salida A

Salida B
Laser HeNe Circuito de estabilizacin
+

Piezoelctrico

Figura 8.4: Estabilizacin activa del interfermetro de Mach-Zender con espejo extra. Un lser de

He-Ne recorre el interfermetro paralelo al haz de medicin y su patrn de interferencia es registrado por un fotodiodo. La tensin del fotodiodo alimenta un circuito de estabilizacin que retroalimenta un piezoelctrico adosado a uno de los espejos del MZEE. El desplazamiento del espejo compensa la diferencia de camino ptico.

la diferencia de tensin se le agrega una tensin de del circuito.

luego el piezoelctrico. En la gura 8.5 se puede ver un esquema de las principales partes

BS
Amplicador invertido Entrada +V Set-Point -V

Control de fase

o-set

y se la amplica para alimentar

Integrador invertido

Amplicador invertido

Ganancia

+V Oset

Salida

-V

Figura 8.5: Esquema del circuito de estabilizacin del MZEE.

El haz de He-Ne era un haz intenso, incluso para las mediciones de haces tenues de NdYAG doblado. Por ende, hubo que tener especial cuidado en colimarlo bien de forma de que en su trayectoria no interera con el haz de medicin. La lmina de fase fue ajusta a una altura que permitiese agregar una fase al lser de 532nm sin modicar el haz de 633nm. La salida del circuito estabilizador tena un rango de tensiones que iba desde -10V hasta 10V. Aplicando ese rango de tensiones al piezoelctrico se poda generar desplazamientos de algo ms de 3 longitudes de onda. En el gura 8.6 se muestra el patrn de interferencia debido al corrimiento del piezoelctrico en funcin de la tensin aplicada. El sistema de estabilizacin permiti corregir las derivas de fase restringindolas a diferencias de no ms de 10nm.

72

1.5

1.45 Tension fotodiodo [V]

1.4

1.35

1.3

1.25

1.2 -10 -8 -6 -4 -2 0 2 4 6 Tension piezoelectrico [V]

Figura 8.6: Tensin del fotodiodo que registra el patrn de interferencia debido al corrimiento del

piezoelctrico en funcin de la tensin aplicada.

8.1.3. Lmite de contraste del MZEE

El MZEE fue construido con BS que no estaban especcamente diseados para la longitud de onda de 532nm y cuya relacin de reexin/transmisin no era la ideal. La relacin medida fue de aproximadamente 52 % transmitividad y 40 % de reectividad. Eso impuso un lmite al contraste ideal que se poda obtener en cada brazo del interfermetro. Dados los ndice de reexin

y de transmisin

t,

la intensidad del campo elctrico

E0

ingresante,

ser para cada una de las salidas A y B:

EA = E0 (r2 + t2 ei ) EB = E0 rt(1 + ei )
Para los valores de

(8.1)

t medidos la teora impone un lmite de contraste de 85 % en la salida

A. La salida B no tiene lmite de contraste. Para establecer un lmite emprico al contraste se midi la intensidad del haz a lo largo del MZEE. En la gura 8.7 se puede ver la intensidad del haz en cada parte del interfermetro expresada en forma relativa a la intensidad de entrada.

0.80 0.16 0.13 0.15 0.41 0.49 0.51 0.30 0.13 0.91

Figura 8.7: Evolucin de la intensidad del haz en el MZEE expresada en forma relativa a la

intensidad de entrada. En cada salida se expresa el lmite terico de contraste obtenible calculado a partir de las intensidades registradas.

Con esas intensidades se impone un lmite de contraste de 80 % para la salida A y de 91 % para la salida B.

73

Captulo 9

Conteo de fotones
Para poder caracterizar la discriminacin de estados del MZEE en el lmite de fotn individual es necesario poder hacer conteo de fotones. Para ello se utilizaron dos fotomultiplicadores (PMT, de ), que son instrumentos que pueden multiplicar la corriente inducida por un fotn incidente en mltiples etapas de amplicacin hasta lograr corrientes medibles con un osciloscopio. La salida de un PMT expuesto a un haz tenue son pulsos negativos que corresponden a la deteccin de cada fotn individual. Para poder hacer uso de estos instrumentos es necesario procesar la salida. Para ello se dise un circuito de discriminacin que converta los pulsos de salida del PMT en seales TTL que podan ser registradas con una computadora. El circuito fue el primer prototipo del laboratorio para discriminacin de pulsos cortos y dbiles. Se registraron varios problemas de estabilidad que se tuvieron que tener en cuenta en el proceso de fotoconteo de los estados TEM. Sin embargo, se pudieron obtener dos circuitos funcionales aptos para la medicin los estados. La eleccin de fotomultiplicadores por sobre otras opciones vlidas, como fotodiodos de avalancha, responde a la necesidad de capturar haces tenues con un spot ancho. De entre los dispositivos de conteo disponibles en el mercado, los fotomultiplicadores son los que mayor supercie fotosensible ofrecen.

PhotoMultiplier Tube

9.1. Los fotomultiplicadores

Se utilizaron fotomultiplicadores Hamamatsu modelo H5783P, como el de la gura 9.1. El dispositivo consiste en una supercie fotosensible que emite electrones ante la llegada de fotones. El foto-electrn emitido es amplicado a travs de una cadena de dinodos sometidos a una diferencia de potencial elevada. En cada impacto con un dinodo se multiplican la cantidad de electrones, generando en el ltimo una acumulacin de carga proporcional a la energa del fotn incidente. El factor de ganancia est determinado por la diferencia de potencial aplicada. El ltimo dinodo se descarga a tierra por una resistencia de carga, cuyo valor determinar el tiempo que tardar en descargarse y, por ende, el ancho temporal del pulso generado. En la gura 9.2 se pueden ver los valores de duracin de pulsos para diferentes resistencias de carga probadas. La profundidad de los picos iba desde las decenas de milivolts hasta algunos cientos de milivolts, dependiendo de la intensidad de luz incidente y de la ganancia congurada. El PMT Hamamatsu tiene integrada la fuente de alta tensin y se lo puede alimentar con 12V. Cuenta con un control de ganancia congurable mediante una tensin sobre uno de los cables de control. La salida de la seal es un cable coaxil miniatura, para proteger la dbil seal de los ruidos de ambiente. Tiene una supercie fotosensible circular de 8mm de dimetro. La eciencia cuntica del dispositivo es de 9.3 % para segundo.

2 de 18 y 22 fotocuentas por los PMTs del laboratorio registraron cuentas de obscuridad

= 532nm1 .

En particular,

1 Del 100 % de los fotones incidentes, el 9.3 % desprendern electrones de la supercie fotosensible 2 Pulsos en la seal debidos a emisiones del nodo o de alguno de los dinodos por efecto de la temperatura
75

Dinodos

fotn

Resistencia de carga

Foto

Supercie fotosensible

Fuente de alta tensin

Figura 9.1: Esquema de un PMT y foto del Hamamatsu H5783P.

100000

10000 Duracin pulso [ns]

1000

100

10 100 1000 Resistencia [Ohm] 10000 100000

Figura 9.2: Duracin de pulsos de fotocuentas en el PMT en funcin de la resistencia de carga

utilizada.

9.2. Circuitos de discriminacin

Para poder contar los pulsos generados por los PMT se dise un circuito de discriminacin de pulsos como el de la gura 9.3. El objetivo del circuito era transformar cada pulso de entrada (con algunos nanosegundos de duracin y decenas de milivolts de profundidad) en pulsos TTL que puedan ser registradas por una placa capturadora en una computadora. En particular, se contaba con una placa capturadora National Instruments 6602, que precisaba pulsos de una duracin mayor a 13 nanosegundos para poder contabilizarlos. El circuito de discriminacin consista en tres etapas:

Amplicacin:

La seal de entrada del PMT era amplicada con un factor de

utilizando un Amplicador Operacional ultra rpido (MAX4304) Para armar un amplicador no invertido. Se utiliz una resistencia de carga de

50. La seal amplicada

estaba montada sobre un fondo de tensin variable segn la cantidad de luz incidente en el PMT. Por ello, se aislaba el pulso de la tensin de fondo con un capacitor y se la montaba sobre una tensin ja conocida.

Discriminacin:

La seal amplicada y montada sobre una tensin conocida era

comparada con una tensin de referencia mediante un Discriminador ultra rpido con salida TTL (MAX903). La seal de referencia (VSET) era tomada de una resistencia variable conectada a dos tensiones jas. Cuando la tensin del pulso era inferior a la de referencia, el discriminador produca un pulso TTL.

Extensin del pulso: El pulso generado por el discriminador era extendido utilizando
un Multivibrador rpido (74LS123), resultando en un pulso TTL de 60 nanosegundos. El multivibrador tiene adems una impedancia de salida alta, adecuada para la transmisin de la seal a travs de coaxiles largos. Se imprimieron dos circuitos iguales, uno para cada PMT. Los circuitos impresos incluan el control de ganancia y la alimentacin de los PMT. Fueron montados en una carcasa

76

Amplicacin

Tensin base 100 +5V 40nF 11k 10nF +5V 180 Vset 1.8k 27pF MAX903 40nF Comparacin Extensin del pulso 74LS123 TTL Out

50 PMT 220

OpAmp

MAX4304 980

10 0 Tensin [mV] 10 20 30 40 0

VSET 10nF 500 3.6k

+5V

10nF

3.2k
Tens in Entrada [mV]

100 0 100
X: 417.2 Y: 2.207

4.5 4 3.5 3 2.5 2 1.5 1

Tensin [V]
Tensin Salida [V]

10

20

30 40 Tiempo [ns]

50

60

70

-5V

200 300 400 500 100 200

1 50 100 150 200 Tiempo [ns] 250 300

0.5 0

Tiempo [ns]

300

400

500

600

Figura 9.3: Esquema del circuito de discriminacin de pulsos. En una primera etapa se amplica el

pulso de entrada. Luego se compara el pulso amplicado con una tensin de referencia, emitiendo un pulso TTL cada vez que la seal es inferior a esa tensin. Por ltimo, se utiliza un multivibrador para extender la duracin del pulso TTL. Las grcos de los pulsos mostrados corresponden a diferentes duraciones del pulso de entrada, por lo que los tiempos de cada uno no estn relacionados. El grco de los pulsos del discriminador muestra cmo se dispara el pulso TTL para una tensin de referencia de 0V con un pulso de cientos de nanosegundos de duracin.

metlica que inclua una escotilla para la supercie fotosensible de los fotomultiplicadores. En la gura 9.4 se pueden ver algunas fotos del montaje nal.

77

Figura 9.4: Imgenes del fotomultiplicador y el circuito de discriminacin en su montaje de alu-

minio, que incluye una escotilla para proteccin de la supercie fotosensible.

9.3. Captura de datos y eciencia

Con los PMT y sus circuitos de discriminacin armados, se realizaron varias mediciones de caracterizacin del dispositivo. La captura de datos se realizaba a travs de una computadora con una placa capturadora National Instruments 6602. La placa provee un software programado para Labview con el que se poda hacer conteo de pulsos TTL. El programa fue modicado para establecer un vnculo de datos desde Matlab, donde un script registraba y guardaba los valores de fotocuentas por segundo de cada dispositivo (correspondientes al PMT1 y PMT2). Durante la caracterizacin de los dispositivos se pudo corroborar que el circuito de discriminacin era sumamente sensible a la temperatura ambiente. Esto se deba a que los valores de las resistencias cermicas cambian con la temperatura en un orden de magnitud dos veces menor al valor de la resistencia. Esta deriva trmica es muy alta para las tensiones bajas (del orden del milivolt) involucradas en el circuito. Para aminorar el efecto de deriva trmica se jo el VSET (ver gura 9.3) directamente a tierra. Con el VSET jado a tierra se realizaron algunas mediciones de la eciencia de deteccin de picos por parte del discriminador. La imposibilidad de acercar el valor del VSET a la tensin de base de la seal amplicada redujo bastante la eciencia de deteccin. Para medir la eciencia se utiliz un osciloscopio controlado desde una computadora por un programa de Matlab. Con una punta del osciloscopio se tomaba la seal de salida del PMT y con la otra la salida TTL del multivibrador. Se realizaban mltiples capturas de series de datos que luego se analizaban con un algoritmo de deteccin de picos. La relacin entre el nmero de cuentas registrado a la salida del multivibrador y los picos a la salida del PMT permitan calcular la eciencia para diferentes intensidades de luz, como se ve en la gura 9.5. Se pudo comprobar que para haces intensos la eciencia del circuito de discriminacin sube. Este fenmeno se debe, en parte, a que para intensidades mayores de luz la tensin sobre la que est montada la seal de los fotopicos baja, por lo que se acerca ms a la referencia del VSET jada a tierra. Por otra parte, se pudo comprobar que para intensidades de luz mayores, la profundidad de los fotopicos es mayor, lo que facilita la deteccin. Para poder comparar las cuentas medidas por un dispositivo con las del otro era necesario

78

40 35 30 Eficiencia calculada 25 20 15 10 5
t [ms]

Circuito PMT1 Circuito PMT2

Tensin [mV]

0 0 0.2 0.4 0.6 0.8 1 1.2 # cuentas/seg (registradas por la computadora) 1.4 x106

Figura 9.5: A la izquierda, una captura de pantalla del algoritmo de deteccin de picos para hacer

conteo de los picos generados por el PMT y de los pulsos a la salida del multivibrador. A la derecha, el clculo de eciencia para diferentes intensidades de luz de los circuitos asociados a cada PMT.

registrar las mediciones de cada PMT con su circuito respecto de una intensidad de luz comn a ambos. Para ello se mont el dispositivo que se muestra el la gura 9.6. Con el fotodiodo se registraba la intensidad del haz. Cada PMT reciba la misma cantidad de luz gracias al ltimo BS, que tena una relacin de transmisin/reexin de 50 %/50 %. El HWP era utilizado para variar la intensidad del lser.

Fotodiodo Polarizador

PMT1

HWP

Filtro neutro

PMT2

BS
respectivos circuitos respecto de una fuente comn.

BS

Figura 9.6: Montaje armado para comparar las fotocuentas registradas por los PMTs con sus

En la gura 9.7 se pueden ver los resultados de dos mediciones. Las diferencias entre las mediciones estn relacionadas con diferencias en la temperatura ambiente, que afectaron a los circuitos de discriminacin de la forma ya comentada. Para cada medicin, las fotocuentas registradas por el PMT2 son

2 0.1

veces las registradas por el PMT1.

La deriva trmica de los dispositivos de conteo result ser un problema que pudo ser controlado sacricando eciencia, mediante las modicaciones que se realizaron al VSET. Los tiempos de desarrollo del experimento del MZEE no permitieron hacer ms modicaciones a los circuitos. La eciencia lograda fue suciente para la realizacin de este experimento, pero est lejos de la ptima. Los dispositivos pueden ser mejorados reemplazando las resistencias cermicas por otras de metal-lm. Tambin se puede mejorar la eciencia realizando mltiples etapas de amplicacin antes de la discriminacin. El desarrollo de estos dispositivo continuar ms all de los lmites del presente trabajo.

79

90000 80000 # cuentas/seg registradas 70000 60000 50000 40000 30000 20000 10000 0

PMT1 PMT1 PMT2 PMT2

(medicin1) (medicin2) (medicin1) (medicin2)

10

20

30

40

50

60

70

80

90

100

Tensin Fotodiodo [mV]

Figura 9.7: Comparacin de las fotocuentas registradas por los PMTs con sus respectivos circuitos

frente a una misma intensidad de luz.

80

Captulo 10

Procedimiento experimental
Habiendo descrito en los captulos 7 y 8 los dispositivos para construir los estados y el propio MZEE, en el presente captulo haremos una descripcin general del armado experimental completo. Para caracterizar el interfermetro con los diferentes estados de la base cannica el procedimiento ser el siguiente: Encender el lser de Nd-YAG y vericar que est emitiendo en el modo fundamental Retirando la lmina de fase del seleccionador de estados, utilizar el modo TEM00 para hacer una primera alienacin del MZEE, buscando la franja cero con un haz intenso. Colocar nuevamente la lmina de fase y seleccionar el modo TEM a estudiar, congurando los parmetros necesarios en el seleccionador de estados. Seleccionar la polarizacin vertical u horizontal Volver a alinear el MZEE, buscando nuevamente la franja cero. Hacer un ajuste no del MZEE para maximizar el contraste del haz intenso utilizando fotodiodos en las salidas del interfermetro. Conectar el sistema de estabilizacin activa del interfermetro. Registrar el contraste alcanzado. Registrar con la cmara los perles de intensidad de ambas salidas. Colocar fotomultiplicadores en cada una de las salidas y vericar que el spot del haz saliente incide completo sobre la supercie fotosensible Atenuar el haz al lmite del fotn individual Registrar el contraste alcanzado para haces tenues haciendo conteo de fotones con los fotomultiplicadores. El MZEE debe ser alineado varias veces en el armado de cada estado debido a la sensibilidad de los modos TEM a pequeos cambios en el ngulo de incidencia en el BS de entrada y a variaciones en la posicin

del eje de propagacin. Al seleccionar el estado, el pinhole

del ltro de modos y la posicin del iris nal generaban pequeos desviaciones del eje de propagacin respecto del TEM00 , sucientes como para perder completamente el patrn de interferencia. Para la alienacin del modo fundamental bastaba con encontrar franja cero viendo el spot del haz en ambas salidas del interfermetro proyectado sobre una pantalla. Luego se colocaba la cmara sobre la salida B del interfermetro (la de mejor contraste) con el programa de Matlab para inspeccin del frente de onda en tiempo real y un fotodiodo sobre la salida A conectado a un osciloscopio. Se seleccionaba el modo TEM y la polarizacin deseadas, lo que produca en cada salida dos spots, unos milmetros a la izquierda y a la derecha de la posicin que ocupaba antes el spot del modo fundamental. Luego se movan los espejos del MZEE hasta que los haces volvieran a franja cero, monitorizando el contraste logrado en el osciloscopio y el patrn de interferencia en la cmara. 81

Para lograr modos de buena calidad fue necesario recortar bastante el haz con el iris de salida. Esto, junto con las prdidas de intensidad producidas por el ltro de modos espaciales, produca un haz de baja intensidad, que era apenas perceptible a simple vista y con mucha obscuridad en el ambiente. Por ello, la cmara era un instrumento indispensable para poder ver el patrn de interferencia durante la alineacin, ya que permita ver con claridad un modo pequeo y poco intenso, resaltando con un mapa de colores el perl de intensidad para identicar fcilmente los defectos. Para registrar el perl de intensidad en cada salida del MZEE se obtuvieron imgenes con la cmara de 4 posiciones. Dos registrando la forma del spot proveniente de cada brazo del interfermetro, tapando para cada toma el brazo contrario. Y dos registrando el patrn de interferencia para las posiciones

=0

del la lmina de fase del interfermetro.

Luego se retiraban la cmara y el fotodiodo y se colocaban en las salidas A y B los dispositivos de conteo (PMT 1 y 2 con sus respectivos circuitos y montajes). Con las escotillas de proteccin cerradas, se vericaba que el haz de luz incida directamente sobre los PMT en cada brazo. Luego se proceda a atenuar el haz. Para la atenuacin del haz al lmite del fotn individual se deban colocar un conjunto de ltros neutros combinados sobre el camino ptico. Era especialmente importante vericar que la reexin producida sobre la cara de entrada del primer ltro volviese por el eje de propagacin, de forma de asegurar la incidencia transversal del haz. Se pudo vericar que haba una fuerte cada del contraste cuando la incidencia no era transversal, debido a que un ngulo en el ltro generaba un desplazamiento transversal del eje de propagacin. Como se mencion, el MZEE es muy sensible a los desplazamientos en

x de la posicin de entrada del x .

haz. La cada de contraste era ms notoria para el modo TEM10 que para el modo TEM01 , debido a que en el primero la antisimetra en el perl de fase est justamente sobre el eje tapaba uno de los brazos del interfermetro Una vez colocados los ltros se abran las escotillas de los dispositivos de conteo. Se

1 para eliminar la interferencia y se rotaba el

HWP del atenuador tipo Malus para jar las fotocuentas en

105

por segundo en el PMT2.

De esta forma se tena una intensidad de luz de referencia parecida para todos los modos.

Rgimen de fotn individual

El MZEE construido tena una camino ptico de aproximadamente 40cm en aire. La luz tarda 1.3ns en atravesar esa distancia. Para

105

detecciones en el circuito asociado al PMT2

se midi una eciencia del 20 %. Se sabe adems que la eciencia cuntica del PMT para 532nm es de 9.3 %. Eso implica una cantidad real de

5.4

millones de fotones por segun-

do, o de 0.0072 fotones cada 1.3ns. Dado que el lser tiene una distribucin de probabilidad poissoniana, esto implica una probabilidad de 0.00256 % de hallar ms de un fotn en ese lapso de tiempo. Esto quiere decir que, en la descripcin semi-clsica, las probabilidades de que haya dos fotones dentro del interfermetro al mismo tiempo son de 0.00256 %. Cualquier fenmeno medido en este rgimen no puede ser atribuido entonces a un fenmeno de interaccin entre fotones y debe ser considerado dentro del rgimen de fotn individual. La corroboracin del funcionamiento del interfermetro para esta intensidad de luz implica que los fotones estn interriendo consigo mismos, como la descripcin cuntica predice.

Se contaba con placas opacas de suciente altura para tapar el haz de 532nm sin interferir con el haz

del He-Ne que mantena estabilizado MZEE

82

Captulo 11

Resultados
11.1. Interferencia con haces intensos: rgimen clsico
Para caracterizar el MZEE se busc, en primera instancia, reproducir los resultados del trabajo [2] en el lmite clsico. Siguiendo la metodologa descrita en el captulo 10 se realiz la caracterizacin del MZEE con haces intensos. El contraste fue calculado a partir de mediciones en la salida A del interfermetro, debido a que, al ser la salida con peor contraste, le impone un lmite a la eciencia de discriminacin.
3.5

2.5 Tension [V]

1.5

0.5 0 1 2 3 4 5 6 7 tiempo [seg]

Figura 11.1: Ejemplo de medicin de contraste con el fotodiodo. Se colocaba el fotodiodo en una

de las salidas del interfermetro y se mova el control de fase para registrar los mximos y mnimos de intensidad.

Se comenz midiendo el TEM00 consiguiendo un contraste de

0.88 0.03,

apenas por

arriba del lmite terico calculado. Luego se produjeron los modos de la base computacional. Los resultados de las mediciones se pueden apreciar en la gura 11.2. El contraste es menor para los modos

, como era esperable, debido a la dicultad de hacer interferencia para

antisimetras respecto a

y .

83

0.88

0.84

0.83

0.81 0.77

Contraste Salida A

0.5

0 TEM00V Estados
Figura 11.2: Contraste obtenido para la salida A del MZEE calculado a partir de mediciones con

fotodiodo de haces intensos.

En la tabla 11.1 se pueden ver los patrones de intensidad registrados con la cmara para algunos estados. En el estado

en la salida A se puede apreciar la diferencia de

intensidad entre los haces provenientes de diferentes brazos del MZEE. Esto limita necesariamente el contraste mximo obtenible, por lo que el patrn de interferencia destructiva (

= )

no es cero. Sin embargo, en al salida B s se logra buena interferencia. Para este

estado, con

=0

ser discriminado por la salida A y para

saldr por la salida B.

En la tabla 11.2 se pueden apreciar los resultados para algunos estados que no pertenecen a la base computacional. Las ltimas dos las muestran una descripcin cualitativa del funcionamiento del MZEE. El estado de las salidas y en

= (|

+|

)/

(2)

es separado en

por una

por la otra. Adems, variando la fase se invierte la salida de cada

modo. Las dos primeras las muestran el efecto de la polarizacin sobre la interferencia: para dos estados TEM iguales, mirando la misma salida, se obtienen estados diferentes segn sean de polarizacin horizontal o vertical.

84

Camino rojo azul

Interferencia

=0

Salida A

Salida B

Salida A

Tabla 11.1: Capturas de frente de intensidad para diferentes estados de la base computacional

medidos en las salidas A y B del MZEE. Las dos primeras columnas corresponden a la imagen proveniente de cada brazo del interfermetro. Las ltimas dos columnas a patrones de interferencia para diferente seleccin de fase.

Camino rojo azul

Interferencia

=0

Salida A

Salida A

Salida B

Tabla 11.2: Capturas de frente de intensidad para diferentes estados fuera de la base computacional

medidos en las salidas A y B del MZEE. Las dos primeras columnas corresponden a la imagen proveniente de cada brazo del interfermetro. Las ltimas dos columnas a patrones de interferencia para diferente seleccin de fase.

85

11.2. Interferencia con haces tenues: rgimen de fotn individual

En la gura 11.3 de pueden apreciar los resultados de la medicin del contraste para haces tenues de la base computacional. Los valores obtenidos tienen un rango de error grande debido a los efectos de deriva trmica en los circuitos de discriminacin, lo que distorsionaba el conteo de fotones. Se pudo apreciar el fenmeno de interferencia y se obtuvieron valores razonables para las limitaciones impuestas por el setup experimental. El clculo de contraste en la salida A result ser siempre inferior al de la salida B para cada uno de los estados, como se esperaba que sucediera. Los modos TEM01 , con simetra de reexin en respecto a en

y , obtuvieron mejor contraste que los TEM10 debido a las dicultades para la alineacin x descritas, a lo que los modos TEM10 son especialmente sensibles. En algunos casos

el contraste super los lmites previstos desde la teora, aunque estos an estn incluidos dentro del rango de error.

9512

9113

987

8318

958

Salida A - PMT2 Salida B - PMT1 7516

6512

Contraste

0.5

Figura 11.3: Resultados del clculo de contraste para estados de la base computacional realizado

por conteo de fotones para haces tenues en el lmite del fotn individual.

11.3. Estados fuera de la base computacional

Con los resultados mostrados ya se comprob que el MZEE puede servir como proyector para la base computacional. Sin embargo, es de inters conocer el comportamiento del interfermetro fuera de esos estados. Los estados TEMD son superposiciones de estados TEM, por lo cual, si la polarizacin est jada en horizontal o vertical, deberan separarse en sus componentes en las salidas del MZEE. Este comportamiento ya se pudo vericar con el lmite clsico, como se vio en la tabla 11.2. Para vericar esto en el lmite de fotn individual se midi el contraste para estados TEMD con polarizacin vertical y horizontal, y para el estado TEM10 con polarizacin diagonal. En ambos casos se comprob que el contraste est muy cercano a cero, como se puede apreciar en la gura 11.4. Los estados TEM con polarizacin diagonal permiten ver de forma cualitativa que el MZEE puede funcionar como un PBS si el qubit de modos espaciales est en la base cannica. Dentro de lmite de haz intenso se tomaron imgenes del frente de onda para el estado

689

para cada salida de un PBS ubicado a la salida del interfermetro. Como se puede apreciar en la gura 11.5, el estado que emerge por la salida B en un TEM01 cuya componente de polarizacin es seleccionada por el control de fase. Otro de los estados interesantes es el

. Este estado no puede ser discriminado

por el MZEE. Segn (6.11), el estado resultante en las salidas del interfermetro para este

86

0.4

Salida A - PMT2 Salida B - PMT1

Contraste

0.2 112 102

52

51

Figura 11.4: Resultados del clculo de contraste para estados fuera de la base computacional

realizado por conteo de fotones para haces tenues en el lmite del fotn individual.

estado de entrada sera el estado entrelazado:

+| 2

+| 2

Para corroborarlo se tomaron imgenes a la salida del MZEE para los frentes de onda producidos en cada posicin del control de fase, y para sus componentes de polarizacin discriminadas con un PBS (ver gura 11.6). Se puede ver de forma cualitativa que a cada componente de polarizacin est asociada una componente de modos espaciales, que se intercambia con el control de fase. No se pudo realizar una tomografa de estados para tener certeza absoluta de qu estado se trataba, pero el comportamiento registrado ante los cambios en el control de fase reproduce completamente el comportamiento predicho desde la teora.

87

1.40.3

52

MZEE
x

Salida A

Salida B
y z

PBS

Figura 11.5: Esquema de la descomposicin en componentes de polarizacin de la salida B del

MZEE para el estado TEM01 con polarizacin horizontal y resultados de las capturas de distribucin de intensidad.

MZEE
x

Salida A Salida B
y z

PBS

Figura 11.6: Esquema de la descomposicin en componentes de polarizacin de la salida B del

MZEE para un estado TEMD con polarizacin diagonal y resultados de las capturas de distribucin de intensidad.

88

11.4. Conclusiones parciales

Los resultados obtenidos permitieron corroborar el funcionamiento del interfermetro Mach-Zender con espejo extra como separador de modos espaciales para estados con polarizacin vertical u horizontal y como separador de estados de polarizacin para estados de modos espaciales TEM01 y TEM10 . Se pudo apreciar el comportamiento tanto dentro del rgimen clsico de haz intenso como dentro del rgimen cuntico en el lmite de fotn individual. Para achicar los intervalos de error en los resultados para haces tenues se debe avanzar en el diseo y construccin de circuitos de discriminacin ms estables frente a las variables externas como la temperatura o los ruidos electromagnticos. Por otro lado, para mejorar los contrastes hallados se debe adquirir ptica adecuada para las frecuencias de trabajo, empezando por utilizar BS con recubrimiento antireex para 532nm y con relacin de transmisin reexin del 50 % / 50 %. El MZEE puede ser utilizado en futuros experimentos de QKD o de computacin cuntica. Las complejidades de su montaje y la necesidad constante de estabilizacin activa lo hacen poco prctico para implementaciones comerciales, pero mantiene abierta la posibilidad de desarrollar nuevos experimentos originales que requieran de la proyeccin de estados de modos espaciales de fotones individuales.

89

Resumen de la tercera parte

En la tercera parte se realiz una caracterizacin experimental del interfermetro de Mach-Zehnder con espejo extra (MZEE) para la discriminacin de modos espaciales. Se construy un dispositivo para la generacin de los modos TEM utilizando un lser de Nd-YAG doblado en frecuencia y trabajando sobre el perl de fase del frente de onda con una lmina de fase, un ltro de modos espaciales y varios pinholes e iris (captulo 7). Se describieron los cuidados experimentales y herramientas necesarias desarrolladas para poder estudiar y controlar la calidad de los modos formados. Se construy el interfermetro MZEE y se analizaron sus caractersticas geomtricas para poder lograr interferencia (seccin 8.1). Se construy un sistema de estabilizacin activa para compensar desfasajes entre brazos del interfermetro, utilizando un lser de He-Ne, un fotodiodo y un circuito de estabilizacin que correga la posicin de un espejo montado sobre un piezoelcctrico. Se disearon y fabricaron dos circuitos de discriminacin de pulsos rpidos y dbiles para procesar la salida de dos fotomultiplicadores (PMT). Se construyeron dispositivos compactos con los circuitos y los PMT y se caracteriz su eciencia para su utilizacin en conteo de fotones (captulo 9). Se midieron los estados TEM para haces intensos (seccin 11.1). Para ello se utilizaron dos procedimientos. Se tomaron perles de intensidad de los modos para diferentes posiciones de fase en las salidas del MZEE utilizando una cmara. Luego, se midieron contrastes en cada salida utilizando un fotodiodo. Se pudo corroborar el funcionamiento del MZEE para haces intensos. Se midieron los estados TEM para haces tenues (seccin 11.2). Para ello se midi el contraste de cada salida haciendo conteo de fotones con los dispositivos fabricados. Se corrobor el funcionamiento del discriminador de modos espaciales en el lmite de fotn individual.

91

Captulo 12

Conclusiones
A lo largo del presente trabajo se estudi la forma de extender el protocolo BB84 a todas las bases mutuamente no sesgadas de un MUBS (protocolo que denominamos BB84E). Esta tarea, trivial para el caso de 1 qubit, fue extendida a la posibilidad de usar 2 qubits. Para ello se buscaron las formas de eleccin de MUBS posibles para

d=4

partiendo de la teora

formal de QI y analizando el problema desde una perspectiva puramente matemtica. Se hallaron 6 particiones de los operadores de Pauli generalizados que generan 6 MUBS de 5 bases cada uno. Luego, se eligi uno de los MUBS y se busc un soporte fsico que pudiera implementar experimentalmente la preparacin y medicin de los estados de las 5 bases. Se estudi la factibilidad de utilizar fotones codicando 2 qubits por fotn, siendo uno de los qubits el de polarizacin. Se estudiaron dos candidatos para la implementacin de segundo qubit: estados de time-bin y estados de modos espaciales. Para ambos casos se estudiaron las formas de preparar, manipular y proyectar los estados y se presentaron diseos de experimentos con los que se podra realizar BB84E4 de forma completa. Para el caso de los estados de polarizacin con time-bin, se disearon dos propuestas: una ideal, con preparacin y proyeccin determinstica de los estados, y una realista, con simplicacin del instrumental utilizado y factible de ser implementada en cualquier laboratorio de ptica cuntica. En ambos casos se documentaron las operaciones necesarias a implementar con los instrumentos disponibles para preparacin y medicin de los estados de las 5 bases. Para el caso de los estados de polarizacin con modos espaciales se propuso un diseo experimental y se detallaron las operaciones que eran necesarias implementar para la generacin de los estados de las 5 bases y la conversin entre bases. Para la proyeccin de los estados de la base computacional se propuso la utilizacin de un interfermetro de MZEE, del trabajo [2], cuyo funcionamiento dentro del lmite clsico de haces intensos era conocido. Si bien no hay razones fundamentales para pensar que el MZEE no funcionara en el lmite de fotn individual, no se encontraron trabajos previos que den cuenta de este funcionamiento. Por ende, para nalizar el trabajo se construy en el laboratorio un interfermetro de estas caractersticas y se corrobor su funcionamiento en el lmite de fotn individual. La experiencia desarrollada demostr que el trabajo con modos espaciales requiere cuidados excesivos sobre la calidad del frente de onda para obtener resultados satisfactorios. La proyeccin de estados con el MZEE demostr ser factible, mas no prctica, lo que deja abierta la posibilidad de disear y desarrollar experimentos innovadores de QI en un futuro utilizando qubits de modos espaciales con polarizacin dentro del lmite paraxial. Sin embargo, esta combinacin no parece apta para la implementacin de dispositivos comerciales de QKD. Por otro lado, la combinacin de qubits de polarizacin con time-bin parece ser robusta y la tecnologa necesaria para su implementacin en QKD para largas distancias ya existe y es muy factible la construccin de dispositivos que implementen una versin modicada de BB84 para 2 qubits, como la propuesta en este trabajo.

93

Bibliografa
[1] W. T. Buttler, S. K. Lamoreaux, and J. R. Torgerson, Practical four-dimensional quantum key distribution without entanglement, pp. 18, Jan. 2012. , vol. 12,

Quantum Info. Comput.

[2] H. Sasada and M. Okamoto, Transverse-mode beam splitter of a light beam and its application to quantum cryptography, , vol. 68, p. 012323, Jul 2003.

[3] R. Feynman, Simulating physics with computers, , vol. 21, pp. 467488, 1982.

Physics

Phys. Rev. A International Journal of Theoretical

[4] D. Deutsch,  Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer, , vol. 400, no. 1818, pp. 97117, 1985.

Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences Theoretical Computer Science Quantum Computation and Quantum Information
, Sept. 2011. (T. Helleseth, ed.), vol. 765 of , pp. 410423, Springer Berlin Heidelberg, 1994.

[5] C. H. Bennett and G. Brassard,  Quantum cryptography : Public key distribution and coin tossing,

[6] M. A. Nielsen and I. L. Chuang,

Cambridge University Press, 1 ed., Oct. 2004.

[7] G. Brassard and L. Salvail, Secret-key reconciliation by public discussion, in

in Cryptology  EUROCRYPT '93 Computer Science

vol. 299, pp. 802803, Oct. 1982. lim., 2008.

Advances Lecture Notes in Nature

,

[8] W. K. Wootters and W. H. Zurek,  A single quantum cannot be cloned,

[9]

Information Theory, Coding and Cryptography

vol. 56, pp. 11631172, Aug 1997.

. Tata McGraw-Hill Publishing Company

[10] C. A. Fuchs, N. Gisin, R. B. Griths, C.-S. Niu, and A. Peres, Optimal eavesdropping in quantum cryptography. i. information bound and optimal strategy, ,

Phys. Rev. A

[11] N. J. Cerf, M. Bourennane, A. Karlsson, and N. Gisin, Security of quantum key distribution using

d -level

systems,

Phys. Rev. Lett.

, 2006.

, vol. 88, p. 127902, Mar 2002.

[12] Bandyopadhyay, Boykin, Roychowdhury, and Vatan, A new proof for the existence of mutually unbiased bases, , vol. 34, pp. 512528, 2002.

Algorithmica

[13] A. M. Bendersky, Conjuntos de bases mutuamente no sesgadas y sus aplicaciones,

[14] Scilab Enterprises,

Scilab Enterprises, Orsay, France, 2012.

Tesis de Licenciatura FCEN-UBA Scilab: Free and Open Source software for numerical computation Nature Biblioteca Digital FCEN-UBA

[15] G. Nogues, A. Rauschenbeutel, S. Osnaghi, M. Brune, J. M. Raimond, and S. Haroche,  Seeing a single photon without destroying it, , vol. 400, pp. 239242, July 1999.

[16] C. T. Schmiegelow, Photonic experiments on selective ecient quantum process tomography, , 2011.

95

[17] A. Kuhn, M. Hennrich, and G. Rempe, Deterministic single-photon source for distributed quantum networking, , vol. 89, p. 067901, Jul 2002.

Phys. Rev. Lett.

[18] B. N. Simon, C. M. Chandrashekar, and S. Simon, Hamilton's turns as a visual tool kit for designing single-qubit unitary gates, , vol. 85, p. 022323, Feb 2012.

Phys. Rev. A

[19] J. Brendel, N. Gisin, W. Tittel, and H. Zbinden, Pulsed energy-time entangled twinphoton source for quantum communication, Mar 1999. , vol. 82, pp. 25942597,

Phys. Rev. Lett.

[20] R. T. Thew, S. Tanzilli, W. Tittel, H. Zbinden, and N. Gisin, Experimental investigation of the robustness of partially entangled qubits over 11 km, p. 062304, Dec 2002. , vol. 66,

Phys. Rev. A

[21] R. Garca-Maraver, K. Eckert, R. Corbaln, and J. Mompart, Deterministic cavity-qed source of polarization-entangled photon pairs, 2006. , vol. 74, p. 031801, Sep

Phys. Rev. A

[22] I. H. Lopez Grande, Prototipo autnomo de distribucin cuntica de claves, , 2013.

UBA

FCEN-

[23] E. Collett,

[24] W. Greiner and J. Reinhardt,

Polarized Light In Fiber Optics Field Quantization: Lasers

. Univ. Science Books, 1986.

. Press Monographs Series, PolaWave, 2003. . Springer, 1996.

[25] L. Allen, M. W. Beijersbergen, R. J. C. Spreeuw, and J. P. Woerdman, Orbital angular

momentum of light and the transformation of laguerre-gaussian laser modes, , vol. 45, pp. 81858189, Jun 1992.

Phys. Rev.

[26] A. Siegman,

[27] R. Juregui, Rotational eects of twisted light on atoms beyond the paraxial approximation, , vol. 70, p. 033415, Sep 2004.

Phys. Rev. A

[28] S. van Enk and G. Nienhuis, Eigenfunction description of laser beams and orbital angular momentum of light, 1992. , vol. 94, no. 13, pp. 147  158,

Optics Communications

[29] R. A. Beth, Mechanical detection and measurement of the angular momentum of light, , vol. 50, pp. 115125, Jul 1936.

Phys. Rev.
Jan 2002.

[30] A. T. O'Neil, I. MacVicar, L. Allen, and M. J. Padgett, Intrinsic and extrinsic nature of the orbital angular momentum of a light beam, , vol. 88, p. 053601,

Phys. Rev. Lett.

[31] S. J. van Enk and G. Nienhuis, Spin and orbital angular momentum of photons, , vol. 25, no. 7, p. 497, 1994.

(Europhysics Letters) Lett.

EPL

[32] S. M. Barnett and L. Allen, Orbital angular momentum and nonparaxial light beams, , vol. 110, no. 56, pp. 670  678, 1994.

Optics Communications

[33] M. Babiker, C. R. Bennett, D. L. Andrews, and L. C. Dvila Romero, Orbital angular momentum exchange in the interaction of twisted light with molecules, , vol. 89, p. 143601, Sep 2002.

Phys. Rev.
, vol. 96,

[34] M. Beijersbergen, L. Allen, H. van der Veen, and J. Woerdman, Astigmatic laser mode converters and transfer of orbital angular momentum, no. 13, pp. 123  132, 1993. [35] J. Jackson,

Optics Communications

Electrodinmica clsica

. Alhambra Universidad, Alhambra, 1980.

[36] I. Moreno, Jones matrix for image-rotation prisms, Jun 2004.

Appl. Opt.

, vol. 43, pp. 33733381,

[37] M. Fiorentino and F. N. C. Wong, Deterministic controlled-not gate for single-photon two-qubit quantum logic, , vol. 93, p. 070502, Aug 2004.

Phys. Rev. Lett.

96

[38] J. Leach, M. J. Padgett, S. M. Barnett, S. Franke-Arnold, and J. Courtial, Measuring the orbital angular momentum of a single photon, Jun 2002. , vol. 88, p. 257901,

Phys. Rev. Lett.

[39] N. Heckenberg, R. McDu, C. Smith, H. Rubinsztein-Dunlop, and M. Wegener, Laser beams with phase singularities, S962, 1992. , vol. 24, pp. S951

Optical and Quantum Electronics

[40] K. B. MacAdam, A. Steinbach, and C. Wieman, A narrow-band tunable diode laser

American Journal of Physics

system with grating feedback, and a saturated absorption spectrometer for cs and rb, , vol. 60, no. 12, pp. 10981111, 1992.

97