W teorii informacji kwantowej odległość między dwoma kanałami kwantowymi jest często mierzona za pomocą normy diamentowej. Istnieje również wiele sposobów pomiaru odległości między dwoma stanami kwantowymi, takich jak odległość śladu, wierność itp. Izomorfizm Jamiołkowskiego zapewnia dualność...
Moim ulubionym twierdzeniem w teorii złożoności jest twierdzenie o hierarchii czasu. Dokonano tego jednak w 1965 r. Chciałem wtedy wiedzieć, czy jest coś podobnego do obliczeń kwantowych. Jeśli nie, to jakie osoby / grupy pracują w tym
Czy możliwe jest algorytmiczne testowanie, czy liczba obliczalna jest liczbą wymierną czy całkowitą? Innymi słowy, możliwe byłoby dla biblioteki, który implementuje numery obliczalne, aby zapewnić funkcje isIntegerlub isRational? Zgaduję, że nie jest to możliwe i że jest to w jakiś sposób związane...
Które uniwersytety mają silny program obliczeń kwantowych i oferują pewien rodzaj obliczeń kwantowych / kursów informacyjnych / badań? Ma to na celu zebranie przydatnej listy dla osób rozważających studia podyplomowe w tych dziedzinach, a nie dyskutowanie o tym, co jest „najlepsze”. Aby ta lista...
Powszechnie wiadomo, że komputery kwantowe są silniejsze niż ich klasyczne odpowiedniki pod względem złożoności zapytań . Czy istnieją inne modele (naturalne lub sztuczne), które są ściśle kwantowe i klasyczne pod względem złożoności zapytań? Separacja może być włączona specyficzne...
Ostatnio Watrous i wsp. Udowodnili, że QIP (3) = PSPACE to niezwykły wynik. Był to dla mnie zaskakujący wynik, co wywołało u mnie myśl ... Zastanawiałem się, czy komputery kwantowe mogłyby być skutecznie symulowane przez komputery klasyczne. Czy może to być PO PROSTU związane z podziałem między IP...
Na sercu jestem fizykiem, więc myślę, że One-Way Quantum Computing jest genialny. W szczególności obliczenia kwantowe oparte na pomiarach stanu graficznego (MBQC) stanowiły bardzo udany rozwój badań nad obliczeniami kwantowymi, których autorami są Raussendorf & Briegel . Trzeba tylko...
Z ciekawości, jeśli klasyczne obliczenia dotyczą matryc permutacyjnych, a obliczenia kwantowe dotyczą macierzy jednostkowych (których macierze permutacyjne stanowią podgrupę), to czy będzie jakiś paradygmat obliczeniowy poza macierzami
Jedną rzeczą, którą komputery kwantowe mogą zrobić (być może nawet z tylko BPP + obwody kwantowe głębokości logarytmicznej), jest przybliżenie próbki transformaty Fouriera funkcji logicznej wartościowej w P.±1±1\pm 1 Tutaj i poniżej, kiedy mówię o próbkowaniu transformaty Fouriera, mam na myśli...
Załóżmy, że zbudowaliśmy uniwersalny komputer kwantowy. Z wyjątkiem problemów związanych z bezpieczeństwem (kryptografia, prywatność, ...), które z obecnych problemów w świecie rzeczywistym mogą skorzystać z korzystania z niego? Interesują mnie zarówno: problemy obecnie nierozwiązywalne dla...
Obliczenia kwantowe ograniczone w czasie są oczywiście bardzo interesujące. A co z obliczeniami kwantowymi ograniczonymi przestrzenią? Znam wiele interesujących wyników obliczeń kwantowych z sublogarytmicznymi granicami przestrzeni i różnego rodzaju modelami automatów kwantowych. Z drugiej strony...
Negatywna metoda przeciwnika ( A D V±ZAreV.±ADV^\pm ) to SDP, który charakteryzuje złożoność kwantowych zapytań. Jest to uogólnienie powszechnie stosowanej metody przeciwnika ( ) i pokonuje dwie bariery, które utrudniały metodę przeciwnika:A D VZAreV.ADV Bariera testowania właściwości: jeśli...
( tutaj też nie ma odpowiedzi) (d,λ)(d,λ)(d,\lambda)νν\nuU(d)U(d)\mathcal{U}(d)|supp ν|=d|supp ν|=d|\mathrm{supp} \ \nu| =d∥EU∼νU⊗U†−EU∼μHU⊗U†∥∞≤λ‖EU∼νU⊗U†−EU∼μHU⊗U†‖∞≤λ\Vert \mathbb{E}_{U \sim \nu} U \otimes U^{\dagger} - \mathbb{E}_{U \sim \mu_H} U \otimes U^{\dagger}\Vert_{\infty} \leq...
Jak dobrze wiadomo PARITY nie może być wykonane w obwodach o stałej wielkości o wielkiej wielkości, aw rzeczywistości obwody stałe wymagają liczby EXP bramek. Co z obwodami QUANTUM? a) Czy PARITY można wykonać za pomocą obwodu kwantowego, który ma stałą głębokość i liczbę bramek? b) Czy moje...
Obliczenia kwantowe to aktywny obszar badań, który ma na celu wykorzystanie fizyki kwantowej (np. Splątanie kwantowe) w celu zwiększenia wydajności komputerów (nie zmienia tezy Kościoła-Turinga ). Jakie są najbardziej znaczące eksperymenty przeprowadzone w celu zademonstrowania teorii obliczeń...
Co powinienem przeczytać, aby zrozumieć ten problem? B Q P= B PP.B Q NdobQP.=bP.P.bQN.doBQP = BPP^{BQNC}B Q PbQP.BQPB P.P.B Q NdobP.P.bQN.doBPP^{BQNC}, ale pytanie brzmi, czy istnieje jakaś konkretna funkcja „inicjująca” taką wyrocznię. - Scott Aaronson
W „Obliczeniach kwantowych i informacjach kwantowych” Mike'a i Ike'a algorytm Grovera został szczegółowo wyjaśniony. Jednak w książce i we wszystkich wyjaśnieniach, które znalazłem w Internecie dla algorytmu Grovera, wydaje się, że nie ma wzmianki o tym, jak zbudowana jest Wyrocznia Grovera, chyba...
Następujący problem pojawia się na liście Aaronsona Dziesięć pół-wielkich wyzwań dla teorii obliczeń kwantowych . Jest B Q P = B P PB Q N CbQP.=bP.P.bQN.do\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Innymi słowy, i „kwantową” część dowolnego algorytmu kwantowej być skompresowane do p o l y l o g...
Krótkie pytanie Jaka jest moc obliczeniowa obwodów „kwantowych”, jeśli pozwolimy na niejednorodne (ale wciąż odwracalne) bramki i wymagamy, aby dane wyjściowe dawały prawidłową odpowiedź z pewnością? To pytanie w pewnym sensie dotyczy tego, co dzieje się z klasą kiedy pozwalasz obwodom na...
Klasa złożoności BQP odpowiada podprogramom kwantowym w czasie wielomianowym, przyjmującym klasyczne dane wejściowe i wyrzucającym probabilistyczny sygnał klasyczny. Porada kwantowa modyfikuje to, aby uwzględnić kopie niektórych z góry określonych stanów porady kwantowej, ale jak zwykle z...