11 papers
Quantum algorithms for equational reasoning
Davide Rattacaso, Daniel Jaschke, Marco Ballarin +2
As a cornerstone of automated reasoning, equational reasoning finds equivalences between symbolic expressions and fuels advances across scientific disciplines. Yet, its potential r…
Quantum algorithms for compact polymer thermodynamics
Davide Rattacaso, Daniel Jaschke, Antonio Trovato +2
Efficient sampling from ensembles of Hamiltonian cycles is critical for predicting the thermodynamic properties of compact polymers, with applications including modeling protein an…
Integer Factorization via Tensor Network Schnorr's Sieving
Marco Tesoro, Ilaria Siloi, Daniel Jaschke +2
Classical public-key cryptography standards rely on the Rivest-Shamir-Adleman (RSA) encryption protocol. The security of this protocol is based on the exponential computational com…
Towards Tensor Network Models for Low-Latency Jet Tagging on FPGAs
Alberto Coppi, Ema Puljak, Lorenzo Borella +6
We present a systematic study of Tensor Network (TN) models $\unicode{x2013}$ Matrix Product States (MPS) and Tree Tensor Networks (TTN) $\unicode{x2013}$ for real-time jet tagging…
Color code thresholds under circuit-level noise beyond the Pauli framework
Francesco Pio Barone, Daniel Jaschke, Ilaria Siloi +1
A quantum error correction code is assessed over its ability to correct errors in noisy quantum circuits. This task requires extensive simulations of faulty quantum circuits, which…
Entanglement transitions in a boundary-driven open quantum many-body system
Darvin Wanisch, Nora ReiniÄ, Daniel Jaschke +2
We introduce a numerical framework for integrating Markovian dynamics on tree tensor operator (TTO) ansatz states. This framework enables the simulation of both transient and stead…