Celem tej pracy jest prezentacja kwantowego modelu obliczen. Szczegolny nacisk polozono na zagadnienia matematyczne i informatyczne. Zadbano o wyjaśnienie podstaw teoretycznych, podanie pelnych dowodow poprawności algorytmow kwantowych oraz szacowanie zlozoności obliczeniowej.
Juz dziś wiadomo, ze z chwilą udanej realizacji komputera kwantowego maszyna ta bedzie pozwalala na znajdowanie rozwiązan problemow obliczeniowych lezących poza zasiegiem komputerow klasycznych. Opracowano szereg algorytmow kwantowych, z ktorych najwiekszą slawą cieszy sie procedura Shora, pozwalająca efektywnie dokonywac tzw. faktoryzacji, tj. rozkladu bardzo duzych liczb naturalnych na czynniki pierwsze. Na trudności obliczeniowej faktoryzacji opiera sie bezpieczenstwo najpowszechniej dziś stosowanego szyfru z kluczem publicznym RSA, zatem udana realizacja komputera kwantowego uczynilaby stosowane dziś systemy szyfrujące przezroczystymi. Z kolei procedura Grovera w nieuporządkowanej bazie danych rozmiaru n znajduje rekord spelniający wybrane kryterium w czasie rzedu n^0.5, co oczywiście jest niewykonalne w modelu klasycznym. Model obliczenia kwantowego na trwale zadomowil sie na gruncie informatyki teoretycznej. Wyniki z zakresu kwantowych algorytmow rozstrzygających zagadnienia kombinatoryczne, kwantowych klas zlozoności obliczeniowej lub kwantowego kosztu komunikacyjnego obliczen są dziś regularnie publikowane w renomowanych periodykach i prezentowane na miedzynarodowych sympozjach poświeconych analizie algorytmow. Mimo niewątpliwie intensywnego rozwoju tego nowego obszaru wiedzy jego rezultaty wciąz pozostają dośc hermetyczne i nieczytelne dla szerszego ogolu odbiorcow. Jest to wynikiem silnie interdyscyplinarnego charakteru dziedziny, wymagającej od czytelnika znajomości szeregu pozornie niezwiązanych ze sobą faktow z zakresu informatyki (m.in. teorii algorytmow, modeli formalnych obliczen), matematyki (w tym algebry abstrakcyjnej i teorii liczb) oraz podstaw fizyki kwantowej. Niniejsze opracowanie stawia sobie za cel odczarowanie tej dziedziny, precyzyjnie selekcjonując material potrzebny do zrozumienia pojec obliczenia kwantowego, analizy kwantowych algorytmow oraz wprowadzając aparat formalny pozwalający na dalsze samodzielne studiowanie literatury. Dolozono tez wszelkich staran, aby uczynic te ksiązke spojną, zamknietą konstrukcją tematyczną, niewymagającą od czytelnika stykającego sie po raz pierwszy z informatyką kwantową poszukiwania pelniejszych wyjaśnien niezbednych pojec i wątkow pobocznych, ani tez przyjmowania na wiare wykorzystywanych faktow.
Rozwój klasycznych systemów obliczeniowych nieuchronnie zbliża się do swoich fizycznych barier, co stwarza wyzwanie dla sektorów wymagających analizy ogromnych zbiorów danych w czasie rzeczywistym. Celem niniejszego artykułu jest analiza potencjału technologii kwantowych, w szczególności algorytmów wyżarzania kwantowego i kwantowego uczenia maszynowego (QML), w optymalizacji i zarządzaniu ruchem lotniczym (ATM). W obliczu rosnącego nasycenia przestrzeni powietrznej i wynikającego z tego spadku jej przepustowości, w pracy zweryfikowano możliwość wdrożenia układów opartych na kubitach (na przykładzie architektury D-Wave) do rozwiązywania problemów nawigacyjnych. Przeanalizowano dwa kluczowe obszary: analizę obrazowania satelitarnego dla systemów GIS oraz dekonfliktację optymalnych pod względem wiatru trajektorii lotu (np. na obszarze Północnego Atlantyku). Badania dowodzą, że mapowanie problemów lotniczych do kwadratowego problemu optymalizacji binarnej (QUBO) pozwala na błyskawiczne generowanie bezkolizyjnych wariantów przepływu ruchu, na przykład poprzez parametryzację opóźnień odlotów. Ponadto, algorytmy QML wykazują przewagę nad metodami klasycznymi w precyzyjnej ekstrakcji punktów kluczowych ze zdjęć satelitarnych. Mimo aktualnych ograniczeń sprzętowych ery NISQ, takich jak zjawisko dekoherencji, przeprowadzone dowody słuszności koncepcji (proof-of-concept) potwierdzają, że hybrydowe systemy kwantowe stanowią wysoce perspektywiczny fundament dla przyszłych systemów nawigacji 4D oraz bezpieczeństwa lotnictwa.
Dziwne twierdzenie z teorii kwantówTwierdzenie Kochena -Speckera jest twierdzeniem frapującym (mimo, że na pierwszy rzut oka wygląda na zupełnie zwyczajne twierdzenie matematyczne), zwłaszcza jeśli bierze się pod uwagę jego konsekwencje.W niniejszym artykule przedstawię jego sformułowanie, a następnie postaram się omówić najbardziej intrygujące implikacje tego twierdzenia. Zagadnienia wstępneTeoria kwantów jest teorią fizyczną, o której interpretację toczą się nieustanne boje. 1 Wielu uczonych uważa pragmatyczne podejście do teorii kwantów za zupełnie wystarczające, choćby z tego powodu, że nie trzeba się wtedy zajmować trudnymi i czasem niewygodnymi pytaniami.W ramach takiej interpretacji teorii kwantów nie przypisuje się znaczenia pojedynczym pomiarom, lecz ich seriom.Interpretacje takie ideowo znajdują się blisko rezultatów charakterystycznych dla klasycznej fizyki statystycznej
Oddajemy w ręce Czytelnika nietypowe wydawnictwo składające się z dwóch części: pierwsza to komiks akcji, którego tematyka nawiązuje do pewnych zagadnień informatyki kwantowej, druga – to podręcznik z wyłożonymi podstawami tej dziedziny. \nAutor części podręcznikowej, Piotr Gawron – pracownik naukowy Instytutu Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk – wyjaśnia: ,,Chciałem stworzyć publikację na temat informatyki kwantowej, która byłaby zrozumiała dla mnie samego z czasów, kiedy miałem osiemnaście lat. Szukałem wtedy informacji o mechanice kwantowej, ale publikacje popularnonaukowe były – z mojej perspektywy – napisane zbyt niejasnym językiem. Dlatego postanowiłem, że w tym podręczniku będę używać języka zrozumiałego dla umysłów ścisłych – języka matematyki. Uznałem jednak, że sam wykład to trochę za mało, żeby przyciągnąć takiego czytelnika, jakim byłem w czasach nauki w liceum. Stąd pomysł, aby podstawy informatyki kwantowej pokazać w formie futurystycznego, sensacyjnego komiksu”. \n \nKsiążka została przygotowana dzięki programowi eNgage, będącemu częścią projektu SKILLS, realizowanego przez Fundację na rzecz Nauki Polskiej. Promuje on nowatorskie przedsięwzięcia popularnonaukowe, których celem jest nie tylko w przystępny sposób mówić o nauce, ale też być dla ich twórców okazją do nabycia nowych umiejętności. Macie zatem przed sobą książkę-eksperyment; jednak, jako jej autorzy, liczymy, że będziecie się przy niej dobrze bawić – niezależnie od tego, czy przeczytacie jedną, czy obie jej części.