1 citations · 1 across the 1 of their papers we have counts for
10 papers · 1 filter
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…
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…
Quantum circuit compilation with quantum computers
Davide Rattacaso, Daniel Jaschke, Marco Ballarin +2
Compilation optimizes quantum algorithms performances on real-world quantum computers. To date, it is performed via classical optimization strategies. We introduce a class of quant…
The Augmented Tree Tensor Network Cookbook
Nora ReiniÄ, Luka PaveÅ¡iÄ, Daniel Jaschke +1
An augmented tree tensor network (aTTN) is a tensor network ansatz constructed by applying a layer of unitary disentanglers to a tree tensor network. The disentanglers absorb a par…