Quantum Hamiltonian Complexity
A korlátkielégítési problémák a modern számítási komplexitáselmélet egyik központi pillére. Ez a monográfia bevezetést nyújt a kvantum-Hamilton-komplexitás (QHC) gyorsan növekvő területébe, amely a kvantum-korlátozás-kielégítési problémák vizsgálatát foglalja magában.
Az elmúlt másfél évtizedben ezen a területen alapvető áttörések születtek, kezdve a kvantum Cook-Levin-tétel felállításától az 1D alacsony hőmérsékletű kvantumrendszerek szerkezetének mélyebb megismeréséig az úgynevezett területi törvényeken keresztül. A Quantum Hamiltonian Complexity az olvasó számára egy informatika-központú bevezetést nyújt a témába, hogy segítsen áthidalni a nyelvi korlátot a terület informatikusai és fizikusai között. Mint ilyen, a következőket tartalmazza: (1) a terület motivációit és történetét, (2) a kondenzált anyagú fizika fogalmainak glosszáriumát számítástechnika-barát nyelven magyarázva, (3) a kondenzált anyagú fizika olyan központi gondolatainak áttekintését, mint a megkülönböztethetetlen részecskék, az átlagos térelmélet, a tenzorhálózatok és a területi törvények, valamint (4) a terület kiválasztott számítástechnikai alapú eredményeinek rövid ismertetését.
Az utóbbi részeként például újszerű információelméleti bemutatását adja Bravyi polinomiális idejű algoritmusának a Quantum 2-SAT-ra. A Quantum Hamiltonian Complexity áttekint néhány alapvető eredményt a QHC területén, és ideális referencia a kvantuminformációs háttérrel alig vagy egyáltalán nem rendelkező informatikusok számára.