From the 1 of 7 linked papers with an AI index.
7 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 paper proposes a framework to independently validate observable estimates from quantum computers when classical benchmarks are unavailable, using experiments such as the operat…
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…
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…