Accuracy and Compactness in Decision Diagrams for Quantum Computation
Sprache des Vortragstitels:
Englisch
Original Tagungtitel:
Automation and Test in Europe (DATE)
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
Quantum computation is a promising research field
since it allows to conduct certain tasks exponentially faster
than on conventional machines. As in the conventional domain,
decision diagrams are heavily used in different design tasks for
quantum computation like synthesis, verification, or simulation.
However, unlike decision diagrams for the conventional domain,
decision diagrams for quantum computation as of now suffer
from a trade-off between accuracy and compactness that requires
parameter fine-tuning on a case-by-case basis. In this work,
we?for the first time?describe and evaluate the effects of this
trade-off. Moreover, we propose an alternative approach that
utilizes an algebraic representation of the occurring irrational
numbers and outline how this can be incorporated in a decision
diagram in order to overcome this trade-off.
Forschungs-