aiqbench analysis
This research establishes rigorous bounds on the hafnian of real Gaussian Gram matrices, a mathematical operation with direct relevance to calculating partition functions in quantum many-body systems and bosonic sampling models. By proving uniform shifted anticoncentration theorems, the work provides essential theoretical guarantees for the stability and complexity analysis of specific quantum computing architectures.
Shifted Anticoncentration for Real Gram Hafnians and Symmetric Gaussian Hafnians
arXiv:2609.06526v1 Announce Type: cross Abstract: We prove a uniform shifted anticoncentration theorem for the hafnian of a real Gaussian Gram matrix under an explicit condition on the row dimension. After normalization by its root mean square, the law has a bounded continuous density, maximal at zero, and every interval has probability bounded by an explicit coefficient times its radius. Under suitable growth conditions on the row dimension, this coefficient grows at most polynomially in the hafnian order, meaning half the dimension of the Gram matrix. We also compute the exact second moment. The proof exploits the perfect matching structure, combining conditional Gaussian representations, row suspension, and bilinear interpolation to control an inverse moment of the conditional variance. At fixed hafnian order, a rescaled limit as the row dimension grows yields corresponding bounds for the hafnian of a real symmetric Gaussian matrix with independent entries above the diagonal.
Abstract:We prove a uniform shifted anticoncentration theorem for the hafnian of a real Gaussian Gram matrix under an explicit condition on the row dimension. After normalization by its root mean square, the law has a bounded continuous density, maximal at zero, and every interval has probability bounded by an explicit coefficient times its radius. Under suitable growth conditions on the row dimension, this coefficient grows at most polynomially in the hafnian order, meaning half the dimension of the Gram matrix. We also compute the exact second moment. The proof exploits the perfect matching structure, combining conditional Gaussian representations, row suspension, and bilinear interpolation to control an inverse moment of the conditional variance. At fixed hafnian order, a rescaled limit as the row dimension grows yields corresponding bounds for the hafnian of a real symmetric Gaussian matrix with independent entries above the diagonal.
Probability (math.PR); Quantum Physics (quant-ph)
arXiv:2609.06526 [math.PR]
(or arXiv:2609.06526v1 [math.PR] for this version)
https://doi.org/10.48550/arXiv.2609.06526 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
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.
Full text under the publisher's open licence · 238 words
Related coverage
Local Anticoncentration for Gaussian Boson Sampling via Conditional Wishart Geometry
arXiv · Oct 2, 2026

Lattice-Based Cryptography Explained
Quantum Zeitgeist · Aug 15, 2026
Anticoncentration and entanglement in Gaussian boson sampling
arXiv · Sep 2, 2026
Exact Moments of Gaussian Gram Hafnians Reveal an $n^2/\log n$ Threshold for Weak Anticoncentration
arXiv · Aug 19, 2026