Obiettivo
Goals of this project are the construction of new quantum algorithms as well as the investigation of the theoretical realisability of their implementations in devices based on realistic physical structures. The study of microscopic complex regularities of the physical interactions and the symmetries mirroring the system's invariance with respect to specific state space transformations is planned which might lead to outstanding fast algorithms for hard problems in combinatorics. Parallel to this, we intend to provide a compiler capable to perform the transition from an algebraic specified signal transformation to a sequence of elementary quantum gates.
Goals of this project are the construction of new quantum algorithms as well as the investigation of the theoretical realisability of their implementations in devices based on realistic physical structures. The study of microscopic complex regularities of the physical interactions and the symmetries mirroring the system's invariance with respect to specific state space transformations is planned which might lead to outstanding fast algorithms for hard problems in combinatorics. Parallel to this, we intend to provide a compiler capable to perform the transition from an algebraic specified signal transformation to a sequence of elementary quantum gates.
OBJECTIVES
The key idea of this proposal is to use quantum superposition, entanglement and controlled quantum mechanical evolution to speed up computation with respect to the classical case. It is promising to apply non-abelian Fourier transforms and other unitary signal transforms to graph theoretical and combinatorial problems (such as the evaluation of the permanent of large matrices), which have turned out to be notoriously hard for any classical computer. Since a systematic approach to the study and development of quantum algorithms is lacking we intend to fill in this gap by providing tools for the development of quantum algorithms. These are designed to help engineering quantum state transformations on a very fine grain level enabling the programmer to find efficient factorisations of desired transformations automatically. Attention will be devoted in particular to approaches based on non-abelian harmonic analysis.
DESCRIPTION OF WORK
A thorough understanding of the principles on which the known quantum algorithms are based on is a precondition for the design of new quantum algorithms. The basic research part of the work will yield a candidate list of combinatorial problems, which can be tackled on a quantum computer. A language to express quantum programs will be written on a high level of abstraction using computer algebra systems. There are options to extend this programming language by assembler-like operations depending on the physical hardware chosen. One of our objectives is to provide a tool to obtain ultra-fast quantum circuits for generalised Fourier transforms and other signal transforms in an automatic fashion.
The appearing symmetries are captured by group and representation theoretical methods, which can best be handled by computer algebra systems. It is intended to model operations using algebraic data types representing them as sparse as possible. As for algorithms, attention will be devoted in particular to approaches based on non-abelian harmonic analysis of graph theoretical and combinatorial problems, such as the evaluation of the permanent of large matrices. Graphs with regular auto morphism groups appear naturally in meso- and carbon physics as symmetry groups of the systems. Therefore also crystallographic groups and their spectral properties will be analysed by the developed means.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
- scienze naturali informatica e scienze dell'informazione software
- scienze agricole agricoltura, silvicoltura e pesca agricoltura cereali e semi oleosi
- scienze naturali matematica matematica pura algebra
- ingegneria e tecnologia ingegneria elettrica, ingegneria elettronica, ingegneria informatica ingegneria elettronica hardware computer quantistici
- scienze naturali matematica matematica pura matematica discreta combinatoria
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Coordinatore
76131 KARLSRUHE
Germania
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.