Mnożenie macierzy kwantowej?

30

Nie wydaje się, żeby to było znane - ale czy są jakieś interesujące dolne granice złożoności mnożenia macierzy w modelu obliczeń kwantowych? Czy mamy intuicję, że możemy pokonać złożoność algorytmu Coppersmith-Winograd za pomocą komputerów kwantowych?

Henry Yuen
źródło

Odpowiedzi:

26

W arXiv: quant-ph / 0409035v2 Buhrman i Spalek przedstawiają algorytm kwantowy pokonujący algorytm Coppersmitha-Winograda w przypadkach, gdy macierz wyjściowa ma niewiele niezerowych wpisów.

Aktualizacja: Istnieje również nieco ulepszony algorytm kwantowy autorstwa Dörna i Thieraufa .

Aktualizacja: Ulepszony algorytm kwantowy Le Gall pokonał Burhmana i Spalka w ogóle.

Martin Schwarz
źródło
1
To było dla mnie nowe (niewiele wiem o wynikach kwantowych), ale patrząc na papier, wynik był jeszcze bardziej zaskakujący! Jeśli dla mnożenia macierzy, istnieje o ( AnxmBmxn=Cnxnniezerowe wpisy na wyjściu, iloczyn można obliczyć wczasiesubkwadratowym,o(nm). o(n)o(nm)
Daniel Apon,
10
Istnieje niewielka poprawa tego szczególnego przypadku Boole'a iloczyn macierzy min { }, gdy istnieje w nonzeroes w produkcji. (Pojawił się w naszym artykule FOCS'10 `` Subcubic Equivalences Between Path, Matrix, and Triangle Problems ''.)n1.3w17/30,n2+w47/60n13/15w
virgi
3
nw1/2
14

vXYvvX1vX

Joe Fitzsimons
źródło
3
vXYv
@Aram: Dobra uwaga! Wiem, że twój algorytm działa dla rzadkich macierzy, ale miałem wrażenie, że można go również uruchomić w przypadku niektórych nierzadkich macierzy. Czy to jest poprawne?
Joe Fitzsimons,
Tak, działa na nieskomplikowanych matrycach, ilekroć znamy dobre sposoby symulowania tych hamiltonianów. Może więc możliwe jest tutaj coś nietypowego.
Aram Harrow,
1
@Aram: Czy przy używanym kodowaniu nie otrzymujemy również transformacji Fouriera wszystkich rzadkich macierzy za pośrednictwem QFT?
Joe Fitzsimons
@Joe: Właśnie to zauważyłem. Tak, te matryce (które można uznać za rzadkie w oparciu o pęd) są również użyteczne. To nie jest nic wyjątkowego w naszym algorytmie. Jest to raczej stwierdzenie o klasie Hamiltonianów, których wiemy, jak symulować na komputerze kwantowym.
Aram Harrow,