Efficient Learning of Structured Fermionic States under General Quadratic Evolution

Abstract:We prove that unknown pure fermionic states prepared from disjoint-branch fixed-particle-number blocks can be reconstructed after general quadratic evolution, including pair creation and annihilation. For a fixed particle cap per block, adaptive or nonadaptive single-copy Gaussian measurements yield classical input and circuit descriptions with prescribed fidelity and confidence, using polynomial resources in system size and inverse infidelity. The adaptive procedure has the sharper copy guarantee. Connected quartic correlations and a covariance-compatible commutant identify the hidden blocks; local states are recovered from fresh measurements or a predetermined bounded-degree moment table. Stable branch recovery gives valid preparation descriptions. Neither particle-number conservation nor block homogeneity is required; no lower bound on branch weights or covariance gaps is assumed. A certified variant returns a passive preparation whenever one exists within the promised family, without advance membership information. On the full Gaussian orbit of paired magic states, quartic measurements alone suffice, with an explicit bound converting observable error into state error.

arXiv:2610.08723 [quant-ph]

(or arXiv:2610.08723v1 [quant-ph] for this version)

https://doi.org/10.48550/arXiv.2610.08723 Focus to learn more arXiv-issued DOI via DataCite (pending registration)

lean/QDM/AppendixA/CoordinateCertificate.lean

lean/QDM/AppendixA/DensityOperator.lean

lean/QDM/AppendixA/JordanWigner.lean

lean/QDM/AppendixA/MajoranaWords.lean

lean/QDM/AppendixA/PairedExpansion.lean

lean/QDM/AppendixA/PairedParent.lean

lean/QDM/AppendixA/ParentCertificate.lean

lean/QDM/AppendixA/SpectralDensity.lean

lean/QDM/AppendixA/TensorParents.lean

lean/QDM/AppendixA/UnitFidelity.lean

lean/QDM/AppendixA/UnitaryTransport.lean

lean/QDM/AppendixB/BornMeasurements.lean

lean/QDM/AppendixB/BranchRestoration.lean

lean/QDM/AppendixB/IndependentQueries.lean

lean/QDM/AppendixB/MatchingProbability.lean

lean/QDM/AppendixB/MatchingReadout.lean

lean/QDM/AppendixB/MedianQueries.lean

lean/QDM/AppendixB/NonadaptiveResources.lean

lean/QDM/AppendixB/OccupationReadout.lean

lean/QDM/AppendixB/QueryAcquisition.lean

lean/QDM/AppendixB/QueryStatistics.lean

lean/QDM/AppendixC/BlockCommutant.lean

lean/QDM/AppendixC/CommutatorAlgebra.lean

lean/QDM/AppendixC/LocalStability.lean

lean/QDM/AppendixC/MeasurementConcentration.lean

lean/QDM/AppendixC/PlaneGenerators.lean

lean/QDM/AppendixC/QuarticMeasurement.lean

lean/lake-manifest.json

lean/lakefile.toml

lean/verification.json

(31 additional files not shown) You must enabled JavaScript to view entire file list.

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.