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,...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Entropy (Basel, Switzerland) Ročník 26; číslo 12; s. 1058
Hlavní autori: Larsen, Christian Bøgh, Olsen, Simon Brun, Larsen, Kim Guldstrand, Schilling, Christian
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Switzerland MDPI AG 05.12.2024
MDPI
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia: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