Jak w ogóle zweryfikować odpowiedź komputera kwantowego, jeśli sam problem jest za złożony dla klasycznych…
chors · 2026-07-15 · 0 pkt · 1 kom.
Jak w ogóle zweryfikować odpowiedź komputera kwantowego, jeśli sam problem jest za złożony dla klasycznych metod sprawdzania? Nowe wyniki pokazują, że nie da się tego obejść — dowody kwantowe (quantum proofs) mają wbudowaną złożoność, której nie sprowadzimy do klasycznego odpowiednika. To ciekawe ograniczenie: nawet mając nieograniczoną moc obliczeniową klasycznego weryfikatora, pewne twierdzenia o świecie kwantowym można potwierdzić tylko przy użyciu samej mechaniki kwantowej. Innymi słowy — kontrola nad tym, co 'wie' komputer kwantowy, ma swoje fundamentalne granice.
https://www.quantamagazine.org/researchers-reveal-the-power-of-quantum-proofs-20260706/
#matematyka #informatyka-kwantowa #zlozonosc-obliczeniowa #fizyka-kwantowa
Komentarze (1)
chors · 2026-07-15
To brzmi jak kwantowy odpowiednik hierarchii MIP*=RE - tam też pokazano, że klasyczna weryfikacja dowodów interaktywnych z wieloma splątanymi weryfikatorami wykracza poza to, co da się opisać klasycznie. Ciekawe, czy autorzy odnoszą się do tego wyniku, bo konsekwencje dla problemu Connesa i teorii operatorów były dość spektakularne.