Simulação de circuitos Clifford + poucos T

Eu quero simular grandes circuitos estabilizadores (H / S / CNOT / MEASURE / feedforward) com um pequeno número de portas T misturadas. Como posso fazer isso de uma maneira que seja escalonada exponencialmente apenas no número de portas T? Existem implementações existentes?

circuit-construction simulation

— Craig Gidney
fonte

Você pode separar os portões de Clifford e outros que não sejam de Clifford? Ou seja, você teria um circuito de Clifford, depois alguns Ts, depois outro circuito de Clifford, Ts novamente etc. Se você pudesse, acho que deveria ser então simples ter a escala que você queria?

— Kiro

@Kiro Usando o teletransporte de portão, todos os portões T podem ser movidos para uma única camada no início (com o custo de ter um qubit de reserva por portão T).

— Craig Gidney

$\tfrac{1}{\sqrt 2}\bigl(\lvert 0 \rangle + \mathrm{e}^{i \pi / 4} \lvert 1 \rangle \bigr)$

A idéia básica por trás disso pode ser aprimorada, observando que há mais de uma maneira de expandir o estado da porta T como uma combinação linear - particularmente se você considerar decomposições de vários estados da porta T ao mesmo tempo, em vez de expandir cada porta T indique de forma independente e, além disso, você está satisfeito com uma simulação aproximada e não exata (veja, por exemplo, [ Bravyi + Gossett 2016 ] e [ Campbell + Howard 2017 ]).

— Niel de Beaudrap
fonte