Número mínimo de CNOTs para um incremento de 4 qubit em uma grade plana

8

Recentemente, tenho me perguntado até que ponto as máquinas NISQ poderão "contar". O que quero dizer com isso é que, dado o circuito de incremento mais otimizado que você pode criar, quantas vezes você pode aplicar fisicamente esse circuito a qubits em um estado inicial secreto antes de haver mais de 50% de chance de a saída ter o valor errado.

Para isso, preciso de um bom circuito de incremento que realmente funcione em uma máquina NISQ! Por exemplo, isso significa respeitar as restrições de localidade e custar o circuito com base em quantas operações de 2 qubit são realizadas (uma vez que são as mais barulhentas). Para simplificar, direi que o conjunto de portas é "qualquer operação de qubit único + CNOTs locais em uma grade".

Parece-me claro que uma máquina NISQ deve ser capaz de aplicar um incrementador de 3 qubit pelo menos 8 vezes (portanto, volta para 0 e perde a contagem), mas acho que envolver um contador de 4 qubit é muito mais desafiador. Assim, o foco desta pergunta é nesse tamanho especificamente.

Um incrementador de 4 qubit é um circuito que afeta a permutação de estado . O valor deve ser armazenado como um número inteiro binário complementar 2s em quatro qubits. Se o valor estiver sob superposição, ele ainda deverá ser coerente após a aplicação do incrementador (ou seja, não se envolver com outros qubits, exceto como espaço de trabalho temporário). Você pode colocar os qubits onde quiser na grade.|k|k+1(mod16)k

Craig Gidney
fonte
Você pode explicar (brevemente) o que você quer dizer com incrementador? | x> -> | x + 1> em k bits, mod 2 ^ k? E o que significa "NISQ"? E quanto aos ancillas - pela sua resposta, parece que você os permite?
Norbert Schuch
@NorbertSchuch Adicionei detalhes do incrementador. Para NISQ (quantum ruidoso de escala intermediária), consulte arxiv.org/abs/1801.00862
Craig Gidney
Obrigado. Que tipo de localidade você procura? E o que é um "número inteiro binário 2s complemento"? Isso é apenas uma string de bits binários?
Norbert Schuch
1
@NorbertSchuch Grade planar. Qubits são posicionados em coordenadas de pares inteiros e adjacentes se abs (x1-x2) + abs (y1-y2) == 1. Quanto ao complemento de dois: sim. pt.wikipedia.org/wiki/Two%27s_complement
Craig Gidney 9/18
Qual é o sentido desses complementos? E eu entendi corretamente que isso basicamente significa que eu mapeio | k> -> | k-1> no binário normal?
Norbert Schuch

Respostas:

3

Aqui está o melhor circuito que eu encontrei. Ele usa 14 CNOTs.

Observe que este circuito não está usando um layout linear! É colocado na grade assim:

0-A-1
  |
  3
  |
  2

Onde 'A' é uma ancilla inicializada no estado | 0> e '0', '1', '2', '3' são os qubits que compõem o registro (com '0' sendo o bit menos significativo).

14 CNOT de incremento de 4 qubit

Eu verifiquei esse circuito em Quirk usando a dualidade de canal-estado e uma inversa em bom estado .

Se alguém tivesse acesso à operação sqrt-de-CNOT, o número de operações de 2 qubit poderia ser reduzido para 13, mesclando dois CNOTs e três Ts na área inferior em um S controlado.

Se os CNOTs tiverem uma taxa de erro de 0,5% e todas as outras fontes de erro forem insignificantes, você poderá aplicar esse circuito quase dez vezes antes de atingir uma taxa de falha de 50%. Implicar uma máquina NISQ plausível pode "quase contar até dez".

Craig Gidney
fonte