25 papers
Adaptive Reconstruction of Bosonic Quantum States
Vasilisa Usova, Phila Rembold, Ian Yang +4
Bosonic quantum systems provide a hardware-efficient platform for quantum information processing but remain challenging to characterise due to their large Hilbert space and the hig…
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…
False vacuum decay in a two-dimensional quantum spin system
Luka PaveÅ¡iÄ, Ian G. Moss, Simone Montangero
False vacuum decay describes the relaxation of a metastable state through the nucleation and growth of bubbles of the stable phase. Despite describing a broad variety of phenomena…
Disorder-Free Localization and Fragmentation in a Non-Abelian Lattice Gauge Theory
Giovanni Cataldi, Giuseppe Calajó, Pietro Silvi +2
We investigate how isolated quantum many-body systems dynamically equilibrate under non-Abelian gauge-symmetry constraints. By encoding gauge superselection sectors into static $\m…
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…