6 citations · 17 across the 8 of their papers we have counts for
8 papers
Phase transitions in quantum-circuit compilation
Andrea De Girolamo, Davide Rattacaso, Simone Notarnicola +2
Quantum-circuit compilation aims at finding an optimized realization of a target circuit under given constraints, e.g., the minimization of hardware-induced errors and the unitary-…
Observable Estimation in the Absence of Classical Verification
Samantha V. Barron, Bradley Mitchell, Vinay Tripathi +45
The predictive success of quantum mechanics underpins many areas of modern science, even as the exact simulation of large, interacting quantum systems remains beyond the reach of c…
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…
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…
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…
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…
Digital quantum simulation of lattice fermion theories with local encoding
Marco Ballarin, Giovanni Cataldi, Giuseppe Magnifico +5
We numerically analyze the feasibility of a platform-neutral, general strategy to perform quantum simulations of fermionic lattice field theories under open boundary conditions. Th…