Prouve que les paires EPR partagées logarithmiques préservent la puissance de calcul QMA(2), résolvant une partie de la question ouverte d'Aaronson et al. sur l'enchevêtrement du prover quantique.

Prouve que les paires EPR partagées logarithmiques préservent la puissance de calcul QMA(2), résolvant une partie de la question ouverte d'Aaronson et al. sur l'enchevêtrement du prover quantique.
Premières limites inférieures quantiques non triviales pour l'énumération de triangles (Ω(n^3/2)) et construction de k-spanner multiplicatif via des extensions novatrices du cadre d'enregistrement avec architecture d'oracle bidirectionnel.