Rozważam pomysły dotyczące dokładnych algorytmów kwantowych. W szczególności rozważam prawdopodobne ograniczenia , które składa się z języków dokładnie określonych przez rodziny jednorodnych obwodów kwantowych o jednolitym czasie działania w dowolnym zestawie skończonych bramek.
Kwantowa transformata Fouriera (QFT), dana przez jest znaną częścią kwantowej teorii obliczeniowej. W przypadku N = 2 n dobrze znany jest rozkład F N na Hadamardy, bramki SWAP i bramy ukośne C Z 2 T = d i a g ( 1 , 1 , 1 , e 2 π i / 2 T
dla różnych T ⩾ 1 , co wynika z Coppersmith. Jeśli E Q P ∖ P ma zawierać jakiekolwiek problemy, można mieć nadzieję, że jeden z nich skorzysta z QFT F 2 n , w którym to przypadku wymagałby, aby rodzina operacji F 2 n rozpadła się na pewien określony zestaw bram skończonych . Przy zastosowaniu rekurencyjnego rozkładu QFT jest to równoważne z rozkładem wszystkich bramek C Z 2 n na jeden zbiór skończonych bramek.
quantum-computing
circuit-families
Niel de Beaudrap
źródło
źródło