Sample-optimal single-copy quantum state tomography via shallow depth measurements

Resumo Técnico: Tomografia de estado quântico de cópia única amostralmente ótima com medições de profundidade rasa

Definição do Problema
A tomografia de estado quântico (QST) é a tarefa de reconstruir um estado quântico $\rho$ a partir de dados de medição. Embora medições coletivas de múltiplas cópias possam atingir uma complexidade de amostragem ótima, elas são experimentalmente inviáveis em dispositivos quânticos ruidosos de curto prazo devido à falta de correção de erros e coerência limitada. Consequentemente, estratégias de medição de cópia única são preferidas. No entanto, os protocolos de cópia única existentes que alcançam complexidade de amostragem próxima da ótima normalmente requerem circuitos profundos (profundidade $O(n)$) ou medições de operadores valoração positiva (POVMs) complexas, o que é impraticável para o hardware atual. O desafio central abordado neste trabalho é se circuitos locais de profundidade rasa (especificamente profundidade $O(\log n)$) podem alcançar uma QST amostralmente ótima para medições de cópia única sem sacrificar a precisão da reconstrução.

Metodologia
Os autores propõem um protocolo de QST de cópia única livre de ancila utilizando circuitos quânticos aleatórios locais de profundidade logarítmica. A metodologia baseia-se nos seguintes componentes:

1. Ensembles Unitários: Dois ensembles específicos de circuitos de profundidade rasa são construídos usando portas de Clifford:
   • Ensemble de blocos de duas camadas (Fig. 2b): Um padrão escalonado de duas camadas de blocos de Clifford de $k$-qubits ($U = U_2 U_1$), onde $k = O(\log n)$. Isto é usado para estados de posto-$r$.
   • Ensemble de bloco de camada única (Fig. 2a): Blocos independentes de $k$-qubits de Clifford amostrados do grupo de Clifford. Isto é usado para estados de posto total.
2. Construção do Estimador: O protocolo utiliza um estimador não viesado $\hat{\rho} = M^{-1}(U^\dagger |b\rangle\langle b| U)$, onde $M$ é o canal de sombra associado ao ensemble unitário. Ao contrário de trabalhos anteriores que utilizavam estimadores viesados (suficientes para estimativa de fidelidade, mas insuficientes para garantias de norma de traço), este trabalho constrói um estimador não viesado para garantir limites rigorosos de distância de traço.
3. Análise de Concentração: Provar a concentração da média empírica do estimador não viesado é tecnicamente desafiador. Os autores combinam o cálculo de Weingarten com o método da matriz de transferência.
   • Para estados de posto-$r$, eles utilizam a desigualdade de Bernstein de matriz.
   • Para estados de posto total, eles aplicam a desigualdade de McDiarmid.
   • A técnica de matriz de transferência é usada para limitar o segundo momento do estimador através da análise do acoplamento de operadores de Pauli através da estrutura de blocos dos circuitos.

Principais Contribuições e Resultados

• Estados de Posto-$r$: Para um estado quântico de posto $r$ em dimensão $d=2^n$, o protocolo utilizando o ensemble de blocos de duas camadas com profundidade $O(\log n)$ atinge um erro de norma de traço $\epsilon$ com complexidade de amostragem:
  $$T = O\left(\frac{d r^2 \log d}{\epsilon^2}\right)$$
  Isto coincide com o limite inferior de cópia única conhecido $\Omega(dr^2/\epsilon^2)$ até um fator logarítmico. A prova demonstra que uma sobreposição de $O(\log n)$ qubits entre blocos consecutivos é suficiente para manter esta escala.

• Estados de Posto Total: Para estados mistos de posto total ($r=d$), o protocolo utilizando o mais simples ensemble de bloco de camada única atinge a escala de complexidade de amostragem ótima:
  $$T = O\left(\frac{d^3}{\epsilon^2}\right)$$
  Isto remove o overhead logarítmico presente no caso de posto-$r$ e coincide com o limite inferior teórico para estados de posto total.

• Pós-processamento Clássico: O artigo fornece algoritmos explícitos para pós-processamento clássico.

  • Para estados de posto-$r$, o tempo de execução é $\tilde{O}(d^2 r^2 / \epsilon^2)$ com memória $O(d^2)$.
  • Para estados de posto total, o tempo de execução é $\tilde{O}(d^2)$ com memória $O(d^2)$, o que é ótimo até fatores polilogarítmicos, visto que a saída de uma matriz de densidade inerentemente requer tempo de $\Omega(d^2)$.

• Validação Numérica: Simulações numéricas em estados aleatórios de 8 qubits confirmam as previsões teóricas. As simulações mostram que circuitos de profundidade rasa ($k=2$ para posto-$r$, $k \in \{1, 2, 4, 8\}$ para posto total) alcançam erros de reconstrução comparáveis aos de ensembles de Clifford globais ($k=n$) à medida que o número de amostras aumenta.

Significância e Alegações
Os autores alegam que seus resultados demonstram que a QST amostralmente ótima pode ser realizada usando medições de profundidade rasa experimentalmente acessíveis. Especificamente:

1. Viabilidade: O requisito de circuitos profundos ($O(n)$) é relaxado para $O(\log n)$, tornando o protocolo viável para dispositivos quânticos de curto prazo com conectividade e coerência limitadas.
2. Otimalidade: O protocolo atinge a complexidade de amostragem ótima para estados de posto total e complexidade quase ótima para estados de baixo posto, preenchendo a lacuna entre os limites teóricos inferiores e as restrições experimentais práticas.
3. Necessidade do Estimador: O trabalho destaca que, embora estimadores viesados sejam suficientes para quantidades específicas como a fidelidade, estimadores não viesados são cruciais para garantir pequenos erros de norma de traço na QST, necessitando das provas de concentração específicas fornecidas.

O artigo nota modestamente que, para estados de posto-$r$, permanece uma questão aberta se o fator logarítmico $\ln(d)$ no limite superior pode ser eliminado. Adicionalmente, embora a análise dependa de ensembles unitários capazes de formar designs unitários aproximados, a prova estatística não depende explicitamente da propriedade de design aproximado, deixando em aberto a questão de se a arquitetura do circuito é o fator essencial para o desempenho da QST.