Contraction Heuristics for Tensor Decision Diagrams

In this paper, we study the equivalence problem for quantum circuits: Given two quantum circuits, are they equivalent? We reduce this problem to the contraction problem of a tensor network. The order in which the contraction operations between tensors are applied has a crucial impact on efficiency,...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Entropy (Basel, Switzerland) Jg. 26; H. 12; S. 1058
Hauptverfasser: Larsen, Christian Bøgh, Olsen, Simon Brun, Larsen, Kim Guldstrand, Schilling, Christian
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Switzerland MDPI AG 05.12.2024
MDPI
Schlagworte:
Algorithms
Circuit diagrams
Circuits
Computers
contraction planning
Equivalence
equivalence checking
Heuristic
heuristics
Integrated circuits
quantum circuit
Quantum computing
Semiconductor chips
tensor decision diagram
tensor network
Tensors
New York
United States
quantum circuit
tensor decision diagram
heuristics
equivalence checking
tensor network
contraction planning
ISSN:1099-4300, 1099-4300
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this paper, we study the equivalence problem for quantum circuits: Given two quantum circuits, are they equivalent? We reduce this problem to the contraction problem of a tensor network. The order in which the contraction operations between tensors are applied has a crucial impact on efficiency, which is why many heuristics have been proposed. In this work, we use an efficient representation of tensors as a tensor decision diagram. Since existing contraction heuristics do not perform well in combination with these diagrams, we propose two new contraction heuristics. We demonstrate experimentally that our heuristics outperform other state-of-the-art heuristics. We also demonstrate that our framework yields state-of-the-art performance for equivalence checking.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
content type line 23
These authors contributed equally to this work.
ISSN:1099-4300
1099-4300
DOI:10.3390/e26121058