Amortized Stabilizer R\'enyi Entropy of Quantum Dynamics

TL;DR

This paper introduces a new measure called the amortized α-stabilizer Rényi entropy to quantify the nonstabilizerness generated by quantum dynamics, revealing how prior nonstabilizerness can enhance this generation and providing bounds relevant for quantum computing resources.

Contribution

The paper proposes the amortized α-stabilizer Rényi entropy as a novel magic monotone for quantum dynamics, highlighting its advantages over existing measures and demonstrating its application in resource estimation.

Findings

Nonstabilizerness generation can be enhanced by prior nonstabilizerness in input states.

The measure provides improved lower bounds on T-count for quantum Fourier transforms.

It offers insights into the resource costs of quantum evolutions like Heisenberg Hamiltonians.

Abstract

Unraveling the secrets of how much nonstabilizerness a quantum dynamic can generate is crucial for harnessing the power of magic states, the essential resources for achieving quantum advantage and realizing fault-tolerant quantum computation. In this work, we introduce the amortized $\alpha$-stabilizer R\'enyi entropy, a magic monotone for unitary operations that quantifies the nonstabilizerness generation capability of quantum dynamics. Amortization is key in quantifying the magic of quantum dynamics, as we reveal that nonstabilizerness generation can be enhanced by prior nonstabilizerness in input states when considering the $\alpha$-stabilizer R\'enyi entropy, while this is not the case for robustness of magic or stabilizer extent. We demonstrate the versatility of the amortized $\alpha$-stabilizer R\'enyi entropy in investigating the nonstabilizerness resources of quantum dynamics of computational and fundamental interest. In particular, we establish improved lower bounds on the $T$-count of quantum Fourier transforms and the quantum evolutions of one-dimensional Heisenberg Hamiltonians, showcasing the power of this tool in studying quantum advantages and the corresponding cost in fault-tolerant quantum computation.