Tensorcircuit: a quantum software framework for the nisq era
TensorCircuit is an open source quantum circuit simulator based on tensor network
contraction, designed for speed, flexibility and code efficiency. Written purely in Python, and …
contraction, designed for speed, flexibility and code efficiency. Written purely in Python, and …
MQT Bench: Benchmarking software and design automation tools for quantum computing
Quantum software tools for a wide variety of design tasks on and across different levels of
abstraction are crucial in order to eventually realize useful quantum applications. This …
abstraction are crucial in order to eventually realize useful quantum applications. This …
Simulating the quantum Fourier transform, Grover's algorithm, and the quantum counting algorithm with limited entanglement using tensor networks
Quantum algorithms reformulate computational problems as quantum evolutions in a large
Hilbert space. Most quantum algorithms assume that the time evolution is perfectly unitary …
Hilbert space. Most quantum algorithms assume that the time evolution is perfectly unitary …
Towards a SAT encoding for quantum circuits: A journey from classical circuits to Clifford circuits and beyond
Satisfiability Testing (SAT) techniques are well-established in classical computing where
they are used to solve a broad variety of problems, eg, in the design of classical circuits and …
they are used to solve a broad variety of problems, eg, in the design of classical circuits and …
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
Quantum computers are becoming a reality and numerous quantum computing applications
with a near-term perspective (eg, for finance, chemistry, machine learning, and optimization) …
with a near-term perspective (eg, for finance, chemistry, machine learning, and optimization) …
Verification of Quantum Circuits
R Wille, L Burgholzer - Handbook of Computer Architecture, 2022 - Springer
We are at the dawn of a new “computing age” in which quantum computers will find their
way into practical applications. Although quantum computers work differently than classical …
way into practical applications. Although quantum computers work differently than classical …
Tensor networks or decision diagrams? Guidelines for classical quantum circuit simulation
L Burgholzer, A Ploier, R Wille - arXiv preprint arXiv:2302.06616, 2023 - arxiv.org
Classically simulating quantum circuits is crucial when developing or testing quantum
algorithms. Due to the underlying exponential complexity, efficient data structures are key for …
algorithms. Due to the underlying exponential complexity, efficient data structures are key for …
Smarter k-Partitioning of ZX-Diagrams for Improved Quantum Circuit Simulation
M Sutcliffe - arXiv preprint arXiv:2409.00828, 2024 - arxiv.org
We introduce a novel method for strong classical simulation of quantum circuits based on
optimally k-partitioning ZX-diagrams, reducing each part individually, and then efficiently …
optimally k-partitioning ZX-diagrams, reducing each part individually, and then efficiently …
[PDF][PDF] Design Automation Tools and Software for Quantum Computing
L Burgholzer - Diss. Johannes Kepler University Linz, 2023 - epub.jku.at
Quantum computing, which was first proposed by Richard P. Feynman in 1982, promises to
solve problems beyond the reach of today's machines and has the potential to revolutionize …
solve problems beyond the reach of today's machines and has the potential to revolutionize …
Efficient quantum circuit contraction using tensor decision diagrams
Simulating quantum circuits efficiently on classical computers is crucial given the limitations
of current noisy intermediate-scale quantum devices. This paper adapts and extends two …
of current noisy intermediate-scale quantum devices. This paper adapts and extends two …