Shallow quantum circuit for generating extremely low-entangled approximate state designs

Resumo Técnico: Circuito Quântico Raso para Geração de Designs de Estados Aproximados com Entalamento Extremamente Baixo

Definição do Problema
Estados quânticos aleatórios são ferramentas fundamentais na ciência da informação quântica, utilizadas para compreender o entalamento, a termalização e a simulação de dinâmicas caóticas. Eles também desempenham papéis críticos em criptografia, benchmarking de dispositivos e tomografia de sombra (shadow tomography). No entanto, gerar estados verdadeiramente Haar-aleatórios requer circuitos quânticos com profundidade exponencial no número de qubits ($n$), tornando-os inviáveis para dispositivos de curto prazo (near-term). Consequentemente, a área depende de aproximações, principalmente designs de estado $t$-aproximados (que mimetizam os primeiros $t$ momentos da distribuição de Haar) e estados pseudorandom.

Uma limitação significativa das construções existentes para designs de estado $t$-aproximados é o seu custo de recursos. A maioria dos métodos conhecidos, baseados em circuitos aleatórios em camadas ou dinâmicas caóticas, produz estados com entalamento de lei de volume (volume-law entanglement, escalando linearmente com $n$) e alto "magic" (não-Cliffordness) e coerência. Embora trabalhos recentes sobre estados pseudorandom tenham demonstrado que o baixo entalamento ($\omega(\log n)$) é possível, as propriedades de entalamento de designs de estado $t$-aproximados permaneceram inexploradas. A questão central aberta abordada neste trabalho é se designs de estado $t$-aproximados podem ser gerados com entalamento, magic e coerência extremamente baixos que não escalam com o tamanho do sistema e, se sim, se eles podem ser implementados eficientemente via circuitos quânticos rasos sem qubits ancila.

Metodologia
Os autores propõem uma construção inovadora baseada na intuição de que um design de estado de $k$ qubits pode ser estendido para um sistema de $n$ qubits enquanto preserva suas propriedades de design e estrutura de entalamento, desde que uma mapeamento específico seja utilizado.

1. Expansão de Dimensão via Mapas Injetivos Aleatórios:
   A percepção teórica central é o Lema 1, que estabelece que aplicar um operador unitário aleatório $U_p$ a um design de estado $t$-aproximado de $k$ qubits (incorporado em um subespaço com $n-k$ zeros) produz um design de estado $t$-aproximado de $n$ qubits. O operador $U_p$ é definido por um mapa injetivo aleatório $t$-independente $p$ de $[2^k]$ para $[2^n]$. Crucialmente, como $U_p$ preserva o número de superposições na base computacional, o entalamento, o magic e a coerência dos estados $n$-qubit resultantes permanecem determinados pelo tamanho do subsistema $k$, não pelo tamanho total $n$.

2. Limites Inferiores Teóricos:
   Os autores provam o Teorema 2, estabelecendo que qualquer ensemble que forme um design de estado $t$-aproximado deve possuir mean entanglement, magic e coerência de pelo menos $\Omega(\log(t/\epsilon))$. Isso prova que os recursos necessários são fundamentalmente limitados pelos parâmetros do design $t$ e $\epsilon$, não pelo tamanho do sistema $n$.

3. Implementação de Circuito Raso:
   Para realizar esta construção fisicamente, os autores desenvolvem um algoritmo explícito (Algoritmos 1 e 2) para implementar o mapa injetivo aleatório $U_p$ usando um circuito quântico raso.

   • Mecanismo: O circuito utiliza portas CNOT paralelas para copiar o subsistema de $k$ qubits para o resto do sistema, seguido por portas MCX (Multi-Controlled X) aleatórias para randomizar os bits.
   • Profundidade: A profundidade do circuito é $O(t[\log t]^3 \log n \log(1/\epsilon))$ sem qubits ancila. Com qubits ancila, a profundidade melhora para $\tilde{O}(t[\log t]^2 \log n \log(1/\epsilon))$.
   • Eficiência: Esta profundidade é significativamente mais rasa do que métodos anteriores para gerar designs de estado sem ancilas (por exemplo, circuitos aleatórios locais que exigem profundidade $O(n)$).

4. Aplicação à Tomografia de Sombra:
   Os autores aplicam esta construção à tomografia de sombra clássica. Ao usar um ensemble de medição onde o unitário aleatório $U$ é composto por um 3-design de $k$ qubits e o mapa injetivo aleatório raso $U_p$, eles constroem um estimador de sombra.

   • Característica Chave: O estimador resultante contém superposições entre apenas dois estados da base computacional (para $k=1$).
   • Benefício: Isso reduz drasticamente o custo de pós-processamento clássico. Diferente de estimadores baseados em circuitos de Clifford aleatórios, que podem ser computacionalmente caros para avaliar observáveis de alto rank de estabilizador, este método permite a avaliação eficiente de observáveis com complexidade de amostragem constante ou logarítmica, dependendo das propriedades do observável.

Principais Resultados

• Saturação de Recursos: O ensemble construído atinge o limite teórico de $\Theta(\log(t/\epsilon))$ para entalamento, magic e coerência. Para $t$ e $\epsilon$ fixos, esses recursos são $O(1)$ em relação ao número total de qubits $n$.
• Eficiência de Circuito: O circuito raso proposto é o método conhecido mais eficiente para gerar designs de estado aproximados sem qubits ancila, com uma profundidade que escala logaritmicamente com $n$ em vez de linearmente ou polinomialmente.
• Certificação de Estado: Os autores demonstram que quase todos os estados puros de $n$ qubits podem ser certificados (estimativa de fidelidade) usando $O(1/\epsilon^2)$ medições e circuitos de profundidade $O(\log(n/\epsilon))$, uma melhoria significativa sobre métodos anteriores que exigiam $O(n^2)$ medições.
• Eficiência da Sombra Clássica: O novo estimador de sombra permite a certificação de estados quânticos com overhead clássico reduzido, particularmente para observáveis de baixo rank ou aqueles com autoestados anti-concentrados.

Significância e Alegações
O artigo afirma abrir uma nova direção na geração eficiente de estados quânticos aleatórios ao desacoplar o custo de recursos (entalamento, magic, coerência) do tamanho do sistema. Os autores afirmam que seu trabalho:

1. Resolve uma Questão Aberta: Prova que designs de estado $t$-aproximados podem existir com recursos não extensivos, desafiando a suposição de que alto entalamento é necessário para comportamento semelhante ao de Haar em contextos de design.
2. Viabiliza Aplicações de Curto Prazo: A profundidade rasa e o baixo entalamento tornam esses estados viáveis para implementação em dispositivos quânticos de curto prazo, especificamente aqueles com conectividade all-to-all (ex: computadores quânticos de átomos neutros).
3. Melhora a Simulação Clássica: Ao reduzir o entalamento e a complexidade do estimador de sombra, o método oferece um caminho para simulação clássica e pós-processamento mais eficientes, facilitando tarefas como certificação de estado quântico e benchmarking com menos amostras e menor custo computacional.

Os autores enfatizam que, embora existam estados pseudorandom com baixo entalamento, eles não garantem a aproximação precisa da fidelidade média para todos os tamanhos de sistema da mesma forma que os designs de estado aproximados, destacando a utilidade única de sua construção para tarefas específicas de processamento de informação quântica.