Restringindo entradas de operadores unitários em números reais e conjuntos de portas universais

10

No papel seminal de Bernstein e Vazirani "Quantum Teoria da Complexidade", eles mostram que um transformação unitária dimensional pode ser eficientemente aproximada por um produto do que eles chamam de "rotações quase trivial" e "mudanças de fase quase trivial".d

"Perto trivial rotações" são -dimensional unitária matrizes que actuam como a identidade em todas as dimensões, mas 2, mas actuam como uma rotação no plano gerado por estas duas dimensões (isto é, tem uma submatriz 2x2 da forma:d

(cosθsinθsinθcosθ)

para alguns ).θ

"Deslocamentos de fase Perto triviais" são -dimensional unitária matrizes que actuam como a identidade em todos, mas uma dimensão, mas aplicar um factor de e i θ para alguns θ para que uma dimensão.deiθθ

Além disso, eles mostram que apenas um ângulo de rotação é necessário (tanto para os unitários de rotação quanto de mudança de fase), dado que o ângulo é um múltiplo irracional de (BV define o ângulo para 2 π j = 1 2 - 2 j .2π2πj=122j

Papéis subsequentes sobre teoria quântica complexidade (como que por Adleman et al ou Fortnow e Rogers) afirmam que o resultado BV implica que a computação quântica universal pode ser conseguido com operadores unitários cujas entradas estão em .R

Como isso segue? Eu posso entender que um produto de matrizes de rotação quase triviais fornecerá uma matriz unitária com entradas reais, mas e as matrizes de mudança de fase?

Ou seja: se você é capaz de executar rotações quase triviais e matrizes de mudança de fase nas quais as entradas da matriz são , podemos aproximar eficientemente todas as outras matrizes de mudança de fase?0,±1

Suspeito que essa implicação não seja imediatamente óbvia, e a prova apropriada seria semelhante à prova de que o portão tipo Toffoli de Deutsch é universal - ou estou perdendo algo muito óbvio?

Henry Yuen
fonte

Respostas:

13

Existe uma prova simples de que Toffoli e Hadamard são Quantum Universal de Dorit Aharonov, que primeiro mostra como amplitudes complexas podem ser simuladas por amplitudes reais em amplitudes reais em um espaço maior de Hilbert com mais um qubit.

UkU~kU~

U~|i|0=[Re(U)|i]|0+[Im(U)|i]|1
U~|i|1=[Im(U)|i]|0+[Re(U)|i]|1

{0,1,±12}

Martin Schwarz
fonte
Obrigado Martin! No entanto, parece-me que a técnica de Aharonov para substituir os complexos unitaristas por reais não é a mesma que a Adleman / BV considerou (pois não encontro nenhuma evidência de que eles pensassem assim). Mas o resultado de Aharanov é interessante e muito bom.
Henry Yuen
11
Tenho certeza de que a Adleman / BV usou uma construção que dobrou o número de qubits em vez de apenas adicionar um, mas funcionou da mesma forma.
Peter Shor
@ Peter: A construção de Rudolph e Grover funciona dessa maneira, usando dois rebits para codificar um único qubit: quant-ph / 0210187.
Joe Fitzsimons
9

Além do artigo que Martin apontou, havia um artigo anterior de Terry Rudolph e Lov Grover mostrando que um portão de 2 rebites é universal para a computação quântica (consulte quant-ph / 0210187 ). O portão possui todas as entradas reais e, no caso de você não ter conhecimento de rebits, são qubits em que as amplitudes são restritas a números reais. Essa pode ser a fonte da reivindicação. O portão em questão descrito no artigo é uma rotação Y controlada.

G(θ)=Y2(θ2)CZ12Y2(θ2)CZ12

Joe Fitzsimons
fonte