Quantifiers and witnesses for the nonclassicality of measurements and of states

Resumo Técnico: Quantificadores e Testemunhas para a Não-classicidade de Medições e Estados

Problema
Trabalhos recentes estabeleceram uma noção unificada de não-classicidade baseada no princípio da não-contextualidade generalizada, aplicável a processos quânticos individuais (estados, medições e canais) em vez de apenas cenários experimentais ou teorias completas. Embora este arcabouço tenha delineado com sucesso uma fronteira entre processos clássicos e não-clássicos — revelando que alguns estados separáveis e medições compatíveis são não-clássicos — ele carecia de ferramentas quantitativas para certificar e medir o grau de não-classicidade para processos específicos e individuais. Além disso, os métodos existentes frequentemente dependiam de desigualdades de não-contextualidade independentes de teoria, que podem não detectar a não-classicidade em processos que não violam desigualdades padrão (analogamente a estados emaranhados que não violam desigualdades de Bell). Este artigo aborda a necessidade de métodos quantitativos e dependentes de teoria para certificar e quantificar a não-classicidade de medições individuais, conjuntos de estados e testemunhas independentes de teoria para casos específicos.

Metodologia
Os autores desenvolvem um arcabouço baseado em programação semidefinida (SDP) para construir certificados e testemunhas para a não-classicidade. A abordagem baseia-se na caracterização de processos clássicos via "polítopos de atribuição não-contextuais".

1. Definições de Classicidade:

   • Medições: Uma multi-medição é clássica se suas estatísticas, quando contraídas com qualquer estado quântico, puderem ser reproduzidas por um modelo ontológico linear e preservador de diagrama. Isso é equivalente à decomposição dos efeitos de medição em uma combinação convexa de um POVM e funções de resposta que residem em um polítopo de atribuição de medição não-contextual específico ($P_M$).
   • Estados: Um multi-fonte (ou conjunto de estados) é clássico se suas estatísticas, quando contraídas com qualquer efeito, admitirem uma explicação não-contextual. Isso corresponde à decomposição de estados em uma combinação convexa de estados onticos e probabilidades condicionais dentro de um polítopo de atribuição de preparação não-contextual ($P_P$).
   • Flag-Convexificação: Os autores utilizam a flag-convexificação para reduzir a análise de multi-medições e multi-fontes para medições únicas e conjuntos de estados normalizados, provando que a não-classicidade qualitativa é preservada sob essa transformação.

2. Quantificadores:

   • Quantificadores baseados em Robustez: O artigo define a "robustez de ruído branco" ($\eta$) como a quantidade mínima de ruído branco necessária para tornar um processo não-clássico clássico. Isso é computado via um SDP primal que busca o máximo $\eta$ tal que o processo ruidoso admita uma decomposição válida.
   • Quantificadores baseados em Peso: A "fração não-clássica" ($\omega$) é definida como o peso mínimo de um componente não-clássico necessário para construir o processo alvo via mistura com um componente clássico, sujeito a identidades operacionais. Isso também é computado via um SDP.

3. Testemunhas:

   • Ao analisar os duais dos referidos SDPs, os autores constroem testemunhas lineares.
   • Testemunhas Dependentes de Teoria: Estas testemunhas (derivadas do SDP da fração não-clássica) certificam a não-classicidade em relação à suposição de que os estados experimentais são estados quânticos específicos. Elas são análogas a testemunhas de emaranhamento: requerem conhecimento dependente do dispositivo sobre os estados para serem válidas.
   • Testemunhas Independentes de Teoria: Os autores também discutem desigualdades de não-contextualidade padrão. Eles demonstram que, para certas medições (ex: medições planares simétricas), um conjunto finito de preparações é suficiente para testemunhar a não-classicidade de maneira independente de teoria, mesmo para medições ruidosas que não violam desigualdades padrão de steering ou Bell.

Contribuições Principais e Resultados

• Arcabouço SDP para Certificação: O artigo fornece SDPs explícitos para determinar se uma medição única ou um conjunto de estados é não-clássico. Se o valor ótimo do SDP for negativo (para robustez) ou se a fração não-clássica for diferente de zero, o processo é certificado como não-clássico.
• Limites Superiores Analíticos: Os autores derivam limites superiores analíticos para a robustez de ruído branco de classes específicas de medições (ex: medições planares simétricas e medições de sólidos platônicos) e conjuntos de estados. Estes limites mostram-se apertados para vários exemplos.
• Quantificação de Processos "Clássicos": O arcabouço é aplicado a processos tradicionalmente considerados clássicos ou no limite. Por exemplo, o artigo calcula a robustez de ruído branco para:
  • Medições planares simétricas (ex: pentágono, BB84).
  • Medições correspondentes a sólidos platônicos (tetraedro, cubo, octaedro, icosaedro).
  • Conjuntos de Bases Mutuamente Não-Compatíveis (MUBs).
  • Conjuntos de estados usados em protocolos QKD (BB84, 6-estado) e outros conjuntos simétricos.
• Testemunhando Emaranhamento via Assemblagens: Os autores aplicam a não-classicidade de conjuntos de estados a assemblagens de steering. Eles provam que um estado de dois qubits é emaranhado se, e somente se, ele pode ser steerado para um conjunto de estados não-clássicos. Isso permite a certificação de emaranhamento em estados que são não-steeráveis (e, portanto, não violam desigualdades de steering), mas cujas assemblagens resultantes são não-clássicas no sentido generalizado.
• Dependência de Teoria das Testemunhas: Um resultado crítico é a demonstração explícita de que as testemunhas lineares derivadas do SDP da fração não-clássica são dependentes de teoria. Os autores constroem um modelo ontológico não-contextual que reproduz as estatísticas de um cenário específico de preparação-e-medição envolvendo uma medição não-clássica e uma testemunha, mostrando que a violação da testemunha não descarta a não-contextualidade a menos que a teoria quântica seja assumida.
• Conjectura sobre Preparações Finitas: O artigo conjectura que um número finito de preparações é suficiente para a certificação independente de teoria de qualquer medição não-clássica com um número finito de resultados.

Significância e Alegações
O artigo afirma fornecer as primeiras ferramentas sistemáticas e quantitativas para avaliar a não-classicidade de processos quânticos individuais dentro do arcabouço de não-contextualidade generalizada. Ao complementar abordagens independentes de teoria com métodos baseados em SDP dependentes de teoria, os autores oferecem uma visão mais granular da fronteira clássico-não-clássica.

A significância reside em:

1. Quantificação: Indo além da classificação binária para medir a "quantidade" de não-classicidade via robustez e peso.
2. Detecção de Não-Classicidade Sutil: Identificando não-classicidade em processos (como certos estados separáveis ou medições compatíveis) que escapam da detecção por critérios tradicionais de incompatibilidade ou steering.
3. Refinamento da Detecção de Emaranhamento: Mostrando que a não-classicidade de assemblagens pode detectar emaranhamento em regimes onde os critérios padrão de steering falham.
4. Esclarecimento de Limitações: Distinguindo explicitamente entre testemunhas dependentes de teoria (que requerem caracterização de estados quânticos) e desigualdades independentes de teoria, evitando a interpretação errônea de violações experimentais.

Os autores mantêm-se modestos quanto ao escopo, observando que, embora forneçam medidas quantitativas, um arcabouço completo de teoria de recursos para a não-classicidade continua sendo um objeto de trabalho futuro. Eles também reconhecem que a equivalência da robustez sob flag-convexificação é provada, mas a invariância da fração não-clássica para multi-fontes gerais sob renormalização não foi totalmente estabelecida.