Optimal Trace-Distance Bounds for Free-Fermionic States: Testing and Improved Tomography

Free-fermionic states, also known as fermionic Gaussian states, represent an important class of quantum states that are ubiquitous in physics. They are uniquely and efficiently described by their correlation matrix. However, in practical experiments, the correlation matrix can only be estimated with finite accuracy. This raises the question: How does the error in estimating the correlation matrix affect the trace-distance error of the state? We show that if the correlation matrix is known with an error epsilon, the trace-distance error also scales as epsilon (and vice versa). Specifically, we provide distance bounds between (both pure and mixed) free-fermionic states in relation to their correlation-matrix distance. Our analysis also extends to cases in which one state may not be free-fermionic. Importantly, we leverage our preceding results to derive significant advancements in property testing and tomography of free-fermionic states. Property testing involves determining whether an unknown state is close to or far from being a free-fermionic state. We first demonstrate that any algorithm capable of testing arbitrary (possibly mixed) free-fermionic states would inevitably be inefficient, implying that there is no efficient strategy to estimate the non-Gaussianity of a state. Then, we present an efficient algorithm for testing low-rank free-fermionic states. For freefermionic state tomography, we provide improved bounds on the sample complexity in the pure-state scenario, substantially improving over previous literature, and we generalize the efficient algorithm to mixed states, discussing its noise robustness.