REVIEW 2 cited by
Quantum Circuit Simulation with Fast Tensor Decision Diagram
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
abstract
Quantum circuit simulation is a challenging computational problem crucial for quantum computing research and development. The predominant approaches in this area center on tensor networks, prized for their better concurrency and less computation than methods using full quantum vectors and matrices. However, even with the advantages, array-based tensors can have significant redundancy. We present a novel open-source framework that harnesses tensor decision diagrams to eliminate overheads and achieve significant speedups over prior approaches. On average, it delivers a speedup of 37$\times$ over Google's TensorNetwork library on redundancy-rich circuits, and 25$\times$ and 144$\times$ over quantum multi-valued decision diagram and prior tensor decision diagram implementation, respectively, on Google random quantum circuits. To achieve this, we introduce a new linear-complexity rank simplification algorithm, Tetris, and edge-centric data structures for recursive tensor decision diagram operations. Additionally, we explore the efficacy of tensor network contraction ordering and optimizations from binary decision diagrams.
Forward citations
Cited by 2 Pith papers
-
Optimizing Memory Efficiency and Index Ordering to Simulate Quantum Circuits Using Tensor Decision Diagrams
Hardware-aware FTDD memory management plus a Path index-order heuristic bounds RAM and simulates structured circuits (e.g. QFT) up to 100 qubits, with large topology-dependent speedups.
-
A Matrix Product State Representation of Boolean Functions
A matrix-product (tensor-train-like) representation of Boolean functions, built from row-switching matrices, is proven to be a canonical normal form equivalent to quasi-reduced binary decision diagrams.
Discussion (0). Continue with ORCID to comment.