Opis projektu
Uproszczenia umożliwią prowadzenie skomplikowanych obliczeń kwantowych
Komputery kwantowe umożliwią eksponencjalnie szybsze obliczenia, a także przybliżą nas do rozwiązania problemów, które dotąd pozostawały nierozwiązywalne. Używanie kubitów opartych na stanach kwantowych obiektów takich jak elektrony czy fotony rozszerza możliwości przechowywania informacji daleko poza zera i jedynki oferowane przez konwencjonalne bity. Jednocześnie rozwiązanie to jest znacznie bardziej wrażliwe na oddziaływanie ze środowiskiem zewnętrznym. Obecnie granicę możliwości obliczeniowych wyznacza liczba dostępnych kubitów, która w najnowszych i największych komputerach nadal nie przekracza setki. Zespół finansowanego przez UE projektu DQC pracuje nad przygotowaniem zaawansowanych podejść matematycznych i narzędzi programowych, które umożliwią optymalizację obwodów kwantowych i prowadzonych symulacji. Narzędzia umożliwią wprowadzenie uproszczeń, które zmniejszą podatność układu liczącego na zaszumienie, i zwiększą możliwości operacyjne małej liczby kubitów.
Cel
Existing quantum computers are on the verge of solving practical problems that are intractable for classical computers. The obstacles that are holding current generation quantum computers back are their limited number of qubits and the presence of noise, both of which prohibit lengthy computations. Tools that decrease the size of a given computation can hence greatly increase the scope of problems current quantum computers can solve. This project will build such tools.
Firstly, we develop new methods and software for optimising quantum circuits. Secondly, we build powerful verification methods that ensure correctness of our optimisations. Thirdly, we develop classical simulators of quantum circuits to allow the testing of quantum computations.
While these might seem like disparate problems, in our approach they become aspects of a single problem which is solved by employing powerful graph-theoretic simplification methods that combine techniques from measurement-based quantum computation, tensor networks and the ZX-calculus. This allows us to develop simplifications that would be hard to find with previous methods.
In summary, this project unifies the problems of optimisation, verification and simulation of quantum circuits while improving upon the state-of-the-art.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego.
- inżynieria i technologiainżynieria elektryczna, inżynieria elektroniczna, inżynieria informatycznainżynieria elektronicznasprzęt komputerowykomputer kwantowy
- inżynieria i technologiananotechnologiasystemy nanoelektromechaniczne
- nauki przyrodniczematematykamatematyka czystamatematyka dyskretnateoria grafów
- nauki przyrodniczeinformatykanauki obliczeniowesymulacje wielofizyczne
- nauki przyrodniczeinformatykaoprogramowanieaplikacje komputeroweoprogramowanie symulacyjne
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Słowa kluczowe
Program(-y)
Temat(-y)
System finansowania
MSCA-IF - Marie Skłodowska-Curie Individual Fellowships (IF)Koordynator
OX1 2JD Oxford
Zjednoczone Królestwo