3 papers
quant-ph2026
From Tensor Networks to Tractable Circuits, and back
Arend-Jan Quist, Marc Farreras Bartra, Alexis de Colnet +2
Tensor networks and circuits are widely used data structures to represent pseudo-Boolean functions. These two formalisms have been studied primarily in separate communities, and th…
quant-ph2026
Exact quantum decision diagrams with scaling guarantees for Clifford+ circuits and beyond
Arend-Jan Quist, Tim Coopmans, Alfons Laarman
A decision diagram (DD) is a graph-like data structure for homomorphic compression of Boolean and pseudo-Boolean functions. Over the past decades, decision diagrams have been succe…
cs.CE2025
Numerical Errors in Quantitative System Analysis With Decision Diagrams
Sebastiaan Brand, Arend-Jan Quist, Richard M. K. van Dijk +1
Decision diagrams (DDs) are a powerful data structure that is used to tackle the state-space explosion problem, not only for discrete systems, but for probabilistic and quantum sys…