⚛️ quantum physics

Pseudoentanglement in constant depth: How trivial states can have non-trivial entanglement structure

Este artigo demonstra que circuitos quânticos de profundidade constante podem gerar estados pseudoentrelaçados com entropia de emaranhamento inestimável baseando-se na suposição LPN denso-esparso, separando assim o pseudoentrelaçamento da pseudorandomicidade no regime de circuito raso e estabelecendo a dureza quântica para aprender a estrutura de emaranhamento de estados fundamentais de Hamiltonianos locais.

Autores originais: Alexandru Gheorghiu

Publicado 2026-06-01

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Alexandru Gheorghiu

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

A Grande Ideia: A "Magia" de Circuitos Simples

Imagine que você tem uma máquina que pega um monte de moedas (qubits) e as vira para criar um padrão específico. No mundo quântico, essa máquina é chamada de circuito quântico.

Normalmente, se uma máquina é muito simples e rápida (o que os cientistas chamam de "profundidade constante" e "local"), ela só consegue criar padrões simples. É como uma criança brincando com Legos: se ela só consegue alcançar alguns blocos por vez e não pode construir muito alto, não consegue fazer um castelo complexo. Ela só consegue fazer uma forma plana e simples.

Na física quântica, formas "simples" são chamadas de estados triviais. Eles são entediantes porque as partes do sistema não estão profundamente conectadas entre si. Formas "complexas" são estados emaranhados, onde as partes estão tão ligadas que mudar uma afeta instantaneamente as outras, não importa o quão longe estejam.

A principal descoberta do artigo é uma surpresa: O autor encontrou uma maneira de construir uma máquina que é muito simples e rápida (como a criança com alcance limitado), mas que produz um estado que parece incrivelmente complexo e profundamente conectado.

No entanto, há um porém. Embora a máquina seja simples e suas instruções sejam públicas (qualquer um pode ver como ela funciona), a quantidade de conexão (emaranhamento) que ela cria é um segredo computacionalmente impossível de descobrir rapidamente.

O Conceito Central: Pseudoemaranhamento

Para entender isso, vamos olhar para dois tipos de coisas "escondidas" na criptografia:

Pseudorandomness (Pseudorandomness/Pseudoaleatoriedade): Imagine um baralho de cartas que parece perfeitamente embaralhado (aleatório) para quem olha, mas que foi na verdade criado por uma regra específica e simples. Se você não conhece a regra, não consegue distinguir este baralho de um verdadeiramente aleatório.
Pseudoentanglement (Pseudoemaranhamento - A nova descoberta): Imagine um baralho de cartas que parece ter um padrão de conexões muito específico e complexo entre as cartas. Para um observador, é imposs de distinguir se o baralho possui um padrão de "alta conexão" ou de "baixa conexão", embora o baralho tenha sido feito por uma máquina muito simples.

O Avanço:
Por muito tempo, os cientistas pensaram que, se uma máquina fosse simples o suficiente para ser "aprendida" rapidamente (como as máquinas quânticas simples são), ela não poderia esconder nada. Você poderia olhar para a máquina, entendê-la e saber exatamente o que ela faz.

Este artigo prova que você pode estar errado. Você pode olhar para a máquina, ver que ela é simples e, ainda assim, ser completamente incapaz de calcular o quão "conectado" é o resultado. A máquina é pública, mas o emaranhamento é oculto.

Como Eles Fizeram Isso: A Analogia do "Código Secreto"

O autor usou um truque inteligente chamado Codificação Aleatorizada (Randomized Encoding).

Imagine que você quer enviar uma mensagem (um cálculo) para um amigo, mas quer esconder a própria mensagem enquanto ainda permite que ele obtenha o resultado.

O Jeito Antigo: Você precisaria de uma máquina enorme e complexa para embaralhar a mensagem para que ninguém pudesse lê-la.
O Novo Jeito (Este Artigo): Você usa uma máquina simples e local que adiciona um monte de "ruído" (aleatoriedade) à mensagem de uma forma muito específica.

Pense da seguinte forma:

Você tem um problema matemático simples: $y = M \times x$ .
Normalmente, calcular isso exige um circuito profundo e complexo se os números forem enormes.
O autor criou um "envelope" (a codificação aleatorizada). Este envelope pega as entradas simples e o ruído aleatório e os passa através de uma grade de interruptores minúsculos e simples (portas CNOT).
O resultado parece uma bagunça de bits aleatórios.
A Magia: Se você conhece o "decodificador" secreto, pode limpar a bagunça e obter a resposta. Mas se você apenas olhar para a bagunça, não consegue dizer se o problema matemático original era "fácil" (baixa conexão) ou "difícil" (alta conexão).

O autor construiu este envelope de modo que cada interruptor toque apenas seus vizinhos imediatos (como uma grade 2D de pessoas passando bilhetes). Isso torna toda a máquina de profundidade constante (ela termina no mesmo tempo, independentemente do tamanho) e local (sem fios de longa distância).

Os Dois Resultados: Grade 2D e Linha 1D

O artigo mostra que isso funciona em duas configurações físicas diferentes:

A Grade 2D (O Chão Plano):
Imagine um chão revestido com quadrados. A máquina é construída diretamente nos azulejos. As conexões ocorrem apenas entre vizinhos no chão. O autor prova que, mesmo nesta grade 2D simples, você pode criar um estado onde o "gap de emaranhamento" (a diferença entre um estado simples e um complexo) é enorme, mas ninguém consegue medi-lo.
A Linha 1D (A Linha do Trem):
Imagine que os azulejos estão organizados em uma única linha, como uma linha de trem. Normalmente, linhas 1D são ainda mais restritas do que grades 2D. O autor pega a máquina 2D, achata-a em uma linha longa e adiciona uma "história" (um registro de cada passo que a máquina deu).
- O Resultado: Mesmo nesta linha 1D simples, o estado fundamental (o estado de menor energia) do sistema possui um gap de emaranhamento oculto.
- Por que isso importa: Isso prova que, mesmo no mundo 1D mais restrito, você não consegue prever facilmente o quão "quântico" um sistema é apenas olhando para as regras que o construíram.

O "Por Que Devemos Nos Importar?" (Sem o Hype)

O artigo não afirma que isso construirá uma nova bateria ou curará uma doença. Em vez disso, resolve um enigma teórico em ciência da computação e física:

Separando "Aleatoriedade" de "Emaranhamento": Prova que você não precisa de uma "caixa preta" (uma máquina secreta) para esconder o emaranhamento. Você pode ter uma máquina pública e simples que ainda assim esconde a quantidade de emaranhamento. Isso separa o conceito de "pseudoaleatoriedade" (esconder o estado inteiro) de "pseudoemaranhamento" (esconder apenas a força da conexão).
Dificuldade de Aprendizado: Mostra que, para certos tipos de sistemas quânticos (especificamente aqueles descritos por "Hamiltonianos locais"), é computacionalmente impossível aprender o quão emaranhados eles são. Mesmo que você tenha as plantas do sistema, um computador não consegue encontrar a resposta em um tempo razoável.

Resumo em Uma Sentença

O autor construiu uma máquina quântica simples, pública e rápida que cria um estado onde a "conectividade" das partículas é tão difícil de calcular que é efetivamente um segredo, provando que até as máquinas quânticas mais simples podem esconder segredos quânticos complexos.

Resumo Técnico: Pseudoentrelaçamento em Profundidade Constante

Definição do Problema
O estudo do entrelaçamento é central para a informação quântica, mas estimar a entropia de entrelaçamento de um estado quântico é, de modo geral, computacionalmente difícil, mesmo para computadores quânticos. Isso motiva o conceito de pseudoentrelaçamento: famílias de estados quânticos onde a estrutura de entrelaçamento é computacionalmente indistinguível de estados com diferentes entropias de entrelaçamento, apesar de os próprios estados serem eficientemente preparáveis.

Uma questão aberta crítica diz respeito à relação entre o pseudoentrelaçamento e a pseudorandomicidade. Enquanto estados pseudorandomos (PRSs) e unitários (PRUs) exigem que o circuito de preparação seja oculto (ou que a profundidade do circuito seja suficiente para evitar o aprendizado eficiente), resultados recentes indicam que circuitos quânticos de profundidade constante e fan-in limitado ( $QNC^0$ ) são eficientemente aprendíveis a partir de amostras polinomiais. Essa aprendibilidade descarta a existência de estados pseudorandomos em $QNC^0$ . No entanto, permanece incerto se estados pseudoentrelaçados podem ser preparados por tais circuitos geometricamente locais e de profundidade rasa. Especificamente, podem estados "trivialmente" preparáveis (aqueles preparáveis por circuitos de profundidade constante) exibir estruturas de entrelaçamento que sejam computacionalmente difíceis de estimar?

Metodologia
O artigo constrói uma família de circuitos quânticos de profundidade constante e localidade 2D que geram estados pseudoentrelaçados. A construção baseia-se em três componentes técnicos principais:

Suposição Criptográfica: A dureza do problema Dense-Sparse Learning Parity with Noise (Dense-Sparse LPN), introduzido por Dao e Jain [DJ25]. Esta suposição fornece um par de mapas lineares, $F_{low}$ e $F_{high}$ , que são computacionalmente indistinguíveis, mas possuem propriedades de entropia diferentes em entradas esparsas. Especificamente, $F_{high}$ é injetivo em entradas esparsas (gerando alta entropia), enquanto $F_{low}$ é muitos-para-um (gerando baixa entropia).
Codificação Aleatória de Fan-in Limitado: A principal contribuição técnica é uma nova codificação aleatória perfeita para mapas lineares densos $x \mapsto Mx$ $x \mapsto M x$ . Diferente de codificações anteriores que exigiam portas de fan-out ilimitadas, esta construção utiliza apenas portas de fan-in e fan-out limitados (especificamente, fan-in/fan-out $\le 3$ $\leq 3$ ).
- A codificação introduz máscaras aleatórias uniformes $r$ e $s$ .
- Ela produz bits $w$ e $z$ de tal forma que um decodificador determinístico pode recuperar $Mx$.
- Crucialmente, a entropia da saída codificada é exatamente $H(Mx)$ mais um termo fixo dependente da máscara e independente da matriz $M$ . Isso preserva o hiato de entropia entre os ramos "low" e "high" do mapa linear subjacente.
- A codificação é implementada via uma grade 2D de plaquetas de tamanho constante usando apenas portas CNOT de vizinhos próximos, garantindo que o circuito seja 2D-local e de profundidade constante.
Preparação do Estado: Os autores preparam uma superposição coerente dos bits de entrada (amostrados de uma distribuição Bernoulli esparsa) e das máscaras aleatórias. Eles aplicam o circuito de codificação aleatória de forma coerente. Traçar os registradores de entrada e de máscara deixa uma matriz densidade diagonal nos registradores de saída cuja entropia de Shannon é igual à entropia da codificação aleatória. Devido à propriedade de preservação de entropia, o entrelaçamento através do corte (cut) entre entrada e saída reflete o hiato de entropia dos mapas lineares subjacentes.

Principais Contribuições e Resultados

Teorema 1.1 (Pseudoentrelaçamento de Profundidade Constante): Assumindo a intratabilidade do Dense-Sparse LPN para adversários de tempo polinomial quântico (QPT), existe uma distribuição amostrável eficientemente sobre tuplas $(C_{low}, C_{high}, W)$ , onde $C_{low}$ e $C_{high}$ são circuitos de profundidade constante 2D-locais. Os estados de saída $|\psi_{low}\rangle$ e $|\psi_{high}\rangle$ possuem um hiato de entropia de entrelaçamento aditivo de $\omega(\log n)$ através de um corte fixo $W$ , embora as descrições dos circuitos sejam computacionalmente indistinguíveis.
- Significância: Isso demonstra que o pseudoentrelaçamento é possível no regime $QNC^0$ , ao passo que a pseudorandomicidade não é. Os estados são pseudoentrelaçados de "chave pública": seus circuitos de preparação são públicos e rasos, mas sua estrutura de entrelaçamento é oculta.
Teorema 1.2 (Codificação Aleatória): O artigo fornece uma prova formal da codificação aleatória de fan-in e fan-out limitados para mapas lineares densos. Esta codificação preserva a entropia exata do mapa linear até uma constante aditiva e é de interesse independente para criptografia de baixa profundidade (por exemplo, na construção de hashes resistentes a colisões a partir de suposições de código aleatório).
Teorema 1.3 (Dureza de Hamiltoniano 2D): Ao conjugar projetores locais com os circuitos pseudoentrelaçados, os autores constroem uma família de Hamiltonianos 2D locais com um gap espectral constante (gap = 1). Os estados fundamentais únicos desses Hamiltonianos herdam o hiato de entrelaçamento, tornando a tarefa de aprender a entropia de entrelaçamento através de um corte fixo quanticamente difícil.
Teorema 1.4 (Dureza de Hamiltoniano 1D): Usando uma construção de estado-história Feynman–Kitaev 1D com preenchimento (padding), os autores estendem o resultado para Hamiltonianos locais 1D. Esses Hamiltonianos possuem um gap espectral inverso-polinomial. Os estados fundamentais únicos mantêm o hiato de entrelaçamento (com uma pequena perda aditiva), estabelecendo dureza para sistemas 1D baseada em uma suposição de código pós-quântica.

Significância e Alegações
O artigo afirma estabelecer uma separação nítida entre pseudorandomicidade e pseudoentrelaçamento no regime de circuitos rasos. Embora circuitos de profundidade constante não possam gerar estados pseudorandomos (devido à aprendibilidade eficiente), eles podem gerar estados pseudoentrelaçados.

Natureza de Chave Pública: Ao contrário dos estados pseudorandomos, que exigem que o circuito de preparação seja secreto, estes estados pseudoentrelaçados são gerados por circuitos públicos. Isso permite que os resultados de dureza sejam formulados no modelo de complexidade computacional (a entrada é uma descrição clássica de um circuito/Hamiltoniano) em vez do modelo de complexidade de amostragem.
Segurança Pós-Quântica: A dureza baseia-se no Dense-Sparse LPN, uma suposição baseada em códigos que se acredita ser segura contra adversários quânticos, contrastando com resultados anteriores (ex: [BZZ24]) que dependiam da fatoração (que é quanticamente tratável).
Limitações: Os autores explicitamente notam limitações. O "corte oculto" é fixo e não geométrico (determinado pela estrutura do circuito, não por uma região espacial conectada), o que significa que o resultado não aborda diretamente cortes geométricos relevantes para as distinções entre lei de área (area-law) e lei de volume (volume-law) em gravidade quântica. Além disso, a construção é específica para a entropia de von Neumann (Shannon); estender o resultado para outras entropias de Rényi não é garantido pela atual análise de função de perda.

Em suma, o trabalho demonstra que estados "trivialmente" preparáveis (de profundidade constante e localidade) podem possuir estruturas de entrelaçamento computacionalmente ocultas, desde que se aceite as plausíveis suposições criptográficas pós-quânticas.