Non-Gaussianity of random quantum states
Pith reviewed 2026-05-20 08:02 UTC · model grok-4.3
The pith
In Haar-random quantum states, fermionic non-Gaussianity vanishes for subsystems smaller than half the total size without symmetries but stays small and finite with U(1) symmetry, becoming extensive for larger subsystems.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that the non-Gaussianity of reduced density matrices in Haar-random states is controlled by the ratio ℓ/L: it vanishes exponentially for ℓ/L < 1/2 in the absence of symmetries because typical reduced density matrices are exponentially close to the maximally mixed state, remains small but finite in the presence of a global U(1) symmetry, and becomes extensive for ℓ/L > 1/2.
What carries the argument
The relative entropy between the reduced density matrix and its Gaussianized counterpart, averaged over Haar-random states via Weingarten calculus.
If this is right
- For ℓ/L < 1/2 without symmetries the non-Gaussianity vanishes exponentially.
- A global U(1) symmetry leaves a small but nonzero non-Gaussianity in the same regime.
- For ℓ/L > 1/2 the non-Gaussianity scales extensively with total system size.
- The results fix the typical scaling of fermionic non-Gaussianity in random states under symmetry constraints.
Where Pith is reading between the lines
- Symmetry constraints appear to protect a residual non-Gaussianity even in otherwise typical small-subsystem states.
- The sharp transition at ℓ/L = 1/2 may link to other subsystem-size thresholds in quantum information and many-body typicality.
- Sampling random circuits on quantum hardware could directly test the predicted regime change by measuring the same relative entropy.
Load-bearing premise
That Haar-random states represent typical quantum states and that relative entropy to a Gaussianized counterpart is the right measure of fermionic non-Gaussianity.
What would settle it
Exact numerical evaluation of the relative entropy for a system of size L=20 at ℓ/L=0.4 without symmetry (expecting exponentially small value) and at ℓ/L=0.6 (expecting linear growth in L).
Figures
read the original abstract
We study the fermionic non-Gaussianity in typical quantum states, focusing on Haar random states of qubits with or without a global $U(1)$ symmetry. Using the Weingarten calculus, we derive analytical predictions for the non-Gaussianity, defined as the relative entropy between the reduced density matrix and its Gaussianized counterpart. We identify two regimes controlled by the ratio between the subsystem and the system size, $\ell/L$. For $\ell/L < 1/2$, the non-Gaussianity vanishes in the absence of symmetries, because typical reduced density matrices are exponentially close to the maximally mixed state. In the presence of a global $U(1)$ symmetry, instead, it remains small but finite. By contrast, in the regime $\ell/L > 1/2$, the non-Gaussianity becomes extensive. These results establish the typical scaling of fermionic non-Gaussianity in random states and analyze how this is modified by the presence of global symmetries.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies fermionic non-Gaussianity in typical Haar-random pure states of L qubits (with and without global U(1) symmetry), defining it as the relative entropy between the reduced density matrix on ℓ sites and its Gaussianized counterpart obtained by matching two-point functions. Using Weingarten calculus, it derives analytical predictions showing two regimes controlled by ℓ/L: for ℓ/L < 1/2 the non-Gaussianity vanishes exponentially without symmetry (as reduced states approach the maximally mixed state) but remains small yet finite with symmetry; for ℓ/L > 1/2 it becomes extensive.
Significance. If the central derivations hold and the relative entropy remains well-defined, the results establish exact typical scalings of non-Gaussianity in random states and clarify the effects of global symmetries. This provides useful benchmarks for many-body quantum systems, entanglement studies, and numerical simulations in condensed-matter contexts, with the Weingarten-calculus approach offering parameter-free analytical control.
major comments (2)
- [regime ℓ/L > 1/2 derivation] § on the ℓ/L > 1/2 regime (central claim of extensivity): when ℓ > L/2 the reduced state ρ satisfies rank(ρ) ≤ 2^{L-ℓ} < 2^ℓ. The Gaussianized state ρ_G is constructed from the covariance matrix; if supp(ρ_G) does not contain supp(ρ), the relative entropy S(ρ || ρ_G) diverges. The manuscript must supply an explicit argument (or regularization) showing the supports are compatible or that the quantity remains finite, as this is load-bearing for the extensivity result.
- [Weingarten calculus application] Weingarten-calculus derivations (abstract and main results sections): the reported regimes are stated to follow from Haar averages, yet no explicit intermediate steps, error bounds, or numerical cross-checks for the relative-entropy expressions are visible. This reduces verifiability of the analytic predictions, particularly the transition at ℓ/L = 1/2.
minor comments (2)
- [methods/notation] Clarify notation for the Gaussianized state and covariance matching in the methods section; add a reference to standard Weingarten-calculus literature for the specific integrals used.
- [figures] Figure captions could explicitly state the system sizes and averaging procedure used in any numerical checks.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments on our manuscript. We address the major comments point by point below and will revise the manuscript to incorporate clarifications and additional details as outlined.
read point-by-point responses
-
Referee: [regime ℓ/L > 1/2 derivation] § on the ℓ/L > 1/2 regime (central claim of extensivity): when ℓ > L/2 the reduced state ρ satisfies rank(ρ) ≤ 2^{L-ℓ} < 2^ℓ. The Gaussianized state ρ_G is constructed from the covariance matrix; if supp(ρ_G) does not contain supp(ρ), the relative entropy S(ρ || ρ_G) diverges. The manuscript must supply an explicit argument (or regularization) showing the supports are compatible or that the quantity remains finite, as this is load-bearing for the extensivity result.
Authors: We thank the referee for identifying this technical subtlety in the ℓ/L > 1/2 regime. The reduced density matrix ρ indeed has rank at most 2^{L-ℓ}. The Gaussian state ρ_G is obtained by matching the two-point functions via the covariance matrix. For typical Haar-random states, the averaged correlations ensure that the support of ρ lies within the support of ρ_G, keeping the relative entropy finite. In the revised manuscript we will add an explicit argument establishing this compatibility using the properties of the Weingarten-averaged covariance matrix. As a safeguard we will also introduce a regularization (adding a small εI term to the covariance matrix and taking ε → 0 after the thermodynamic limit), which preserves the extensivity result. This clarification will be inserted in the relevant section. revision: yes
-
Referee: [Weingarten calculus application] Weingarten-calculus derivations (abstract and main results sections): the reported regimes are stated to follow from Haar averages, yet no explicit intermediate steps, error bounds, or numerical cross-checks for the relative-entropy expressions are visible. This reduces verifiability of the analytic predictions, particularly the transition at ℓ/L = 1/2.
Authors: We agree that greater transparency in the derivations would strengthen the paper. In the revised version we will expand the Weingarten-calculus sections to include the key intermediate steps for computing the Haar averages of the relative entropy. We will also derive explicit error bounds for the large-L approximations and add numerical benchmarks on small systems (L ≤ 12) that confirm the analytic expressions and the sharp transition at ℓ/L = 1/2. These additions will be placed in an extended methods subsection and an appendix. revision: yes
Circularity Check
No circularity: derivations use external Weingarten calculus on Haar measure
full rationale
The paper derives analytical expressions for fermionic non-Gaussianity (relative entropy to Gaussianized reduced density matrix) by applying Weingarten calculus to compute Haar averages over random states, both with and without U(1) symmetry. This is an independent mathematical tool for unitary integrals, not a fit to the target non-Gaussianity quantities, not a self-definition, and not reliant on load-bearing self-citations. The two regimes (ℓ/L < 1/2 vs > 1/2) and the vanishing vs extensive behavior follow directly from the averaged expressions without reducing to the input data or prior author results by construction. The rank-support concern for ℓ/L > 1/2 is an applicability question outside the circularity analysis.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Quantum states are distributed according to the Haar measure on the unitary group
- standard math Weingarten calculus yields exact expressions for the relevant averages over Haar-random unitaries
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We study the fermionic non-Gaussianity in typical quantum states, focusing on Haar random states of qubits with or without a global U(1) symmetry. Using the Weingarten calculus, we derive analytical predictions for the non-Gaussianity, defined as the relative entropy between the reduced density matrix and its Gaussianized counterpart.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
For ℓ/L < 1/2, the non-Gaussianity vanishes in the absence of symmetries, because typical reduced density matrices are exponentially close to the maximally mixed state. … in the regime ℓ/L > 1/2, the non-Gaussianity becomes extensive.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
E. Chitambar G. Gour https://doi.org/10.1103/RevModPhys.91.025001 Rev. Mod. Phys. 91 , 025001 (2019)
-
[2]
Quantum entanglement.Reviews of Modern Physics, 81:865–942, 2009
R. Horodecki, P. Horodecki, M. Horodecki K. Horodecki , https://doi.org/10.1103/RevModPhys.81.865 Rev. Mod. Phys. 81 , 865 (2009)
-
[3]
L. Amico, R. Fazio, A. Osterloh V. Vedral https://doi.org/10.1103/RevModPhys.80.517 Rev. Mod. Phys. 80 , 517 (2008)
-
[4]
P. Calabrese, J. Cardy B. Doyon http://dx.doi.org/10.1088/1751-8121/42/50/500301 J. Phys. A 42 , 500301 (2009)
-
[5]
Laflorencie https://doi.org/10.1016/j.physrep.2016.06.008 Phys
N. Laflorencie https://doi.org/10.1016/j.physrep.2016.06.008 Phys. Rep. 643 , 1 (2016)
-
[6]
V. Veitch, S. A. Hamed Mousavian, D. Gottesman J. Emerson https://doi.org/10.1088/1367-2630/16/1/013009 New J. Phys. 16 , 013009 (2014)
-
[7]
Z.-W. Liu A. Winter https://doi.org/10.1103/PRXQuantum.3.020333 PRX Quantum 3 , 020333 (2022)
-
[8]
L. Leone, S. F. E. Oliviero A. Hamma https://doi.org/10.1103/PhysRevLett.128.050402 Phys. Rev. Lett. 128 , 050402 (2022)
-
[9]
J. A. Vaccaro, F. Anselmi, H. M. Wiseman K. Jacobs https://doi.org/10.1103/PhysRevA.77.032114 Phys. Rev. A 77 , 032114 (2008)
-
[10]
S. D. Bartlett, T. Rudolph R. W. Spekkens https://doi.org/10.1103/RevModPhys.79.555 Rev. Mod. Phys. 79 , 555 (2007)
-
[11]
G. Gour, I. Marvian R. W. Spekkens https://doi.org/10.1103/PhysRevA.80.012307 Phys. Rev. A 80 , 012307 (2009)
-
[12]
I. Marvian R. W. Spekkens https://doi.org/10.1038/ncomms4821 Nature Comm. 5 , 3821 (2014)
-
[13]
F. Ares, S. Murciano P. Calabrese https://doi.org/https://doi.org/10.1038/s41467-023-37747-8 Nature Comm. 14 , 2036 (2023)
-
[14]
F. Ares, P. Calabrese S. Murciano https://doi.org/10.1038/s42254-025-00838-0 Nat. Rev. Phys. 7 , 451 (2025)
-
[15]
Lagrangian representation for fermionic linear optics
S. Bravyi https://doi.org/10.48550/arXiv.quant-ph/0404180 Quantum Inf. and Comp. 5 , 216 (2005)
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.quant-ph/0404180 2005
-
[16]
Gaudin https://doi.org/10.1016/0029-5582(60)90285-6 Nucl
M. Gaudin https://doi.org/10.1016/0029-5582(60)90285-6 Nucl. Phys. 15 , 89 (1960)
-
[17]
E. Lieb, T. Schultz D. Mattis https://doi.org/10.1016/0003-4916(61)90115-4 Ann. Phys. 16 407 (1961)
-
[18]
J. Surace L. Tagliacozzo https://scipost.org/10.21468/SciPostPhysLectNotes.54 SciPost Phys. Lect. Notes 54 (2022)
-
[19]
B. M. Terhal D. P. DiVincenzo https://doi.org/10.1103/PhysRevA.65.032325 Phys. Rev. A 65 , 032325 (2002)
-
[20]
D. J. Brod https://doi.org/10.1103/PhysRevA.93.062332 Phys. Rev. A 93 , 062332 (2016)
-
[21]
M. Hebenstreit, R. Jozsa, B. Kraus, S. Strelchuk M. Yoganathan https://doi.org/10.1103/PhysRevLett.123.080503 Phys. Rev. Lett. 123 , 080503 (2019)
-
[22]
L. Vidmar and M. Rigol https://doi.org/10.1103/PhysRevLett.119.220603 Phys. Rev. Lett. 119 , 220603 (2017)
-
[23]
L. Vidmar, L. Hackl, E. Bianchi, M. Rigol https://doi.org/10.1103/PhysRevLett.119.020601 Phys. Rev. Lett. 119 , 020601 (2017)
-
[24]
E. Bianchi, L. Hackl, M. Kieburg, M. Rigol, L. Vidmar https://link.aps.org/doi/10.1103/PRXQuantum.3.030201 PRX Quantum 3 , 030201 (2022)
-
[25]
A. Almheiri, N. Engelhardt, D. Marolf, H. Maxfield https://doi.org/10.1007/JHEP12(2019)063 JHEP 12 (2019) 06
-
[26]
Penington https://doi.org/10.1007/JHEP09(2020)002 JHEP 09 (2020) 002
G. Penington https://doi.org/10.1007/JHEP09(2020)002 JHEP 09 (2020) 002
-
[27]
D. N. Page https://doi.org/10.1103/PhysRevLett.71.1291 Phys. Rev. Lett. 71 , 1291 (1993)
-
[28]
D. N. Page https://doi.org/10.1103/PhysRevLett.71.3743 Phys. Rev. Lett. 71 , 3743 (1993)
-
[29]
E. Bianchi P. Donà https://doi.org/10.1103/PhysRevD.100.105010 Phys. Rev. D 100 , 105010 (2019)
-
[30]
Typical entanglement entropy with charge conservation
E. Bianchi, P. Donà, E. Muiño arXiv:2604.26141 https://doi.org/10.48550/arXiv.2604.26141
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2604.26141
-
[31]
S. Murciano, P. Calabrese L. Piroli https://doi.org/10.1103/PhysRevD.106.046015 Phys. Rev. D 106 , 046015 (2022)
-
[32]
P. H. C. Lau, T. Noumi, Y. Takii K. Tamaoka https://doi.org/10.1007/JHEP10(2022)015 JHEP 10 (2022) 015
-
[33]
E. Bianchi, P. Dona R. Kumar https://doi.org/10.21468/SciPostPhys.17.5.127 SciPost Phys. 17 , 127 (2024)
-
[34]
T. Banica I. Nechita https://doi.org/10.1007/s10959-012-0409-4 J. Theor. Probab. 26 , 855 (2013)
-
[35]
H. Shapourian, S. Liu, J. Kudler-Flam A. Vishwanath https://doi.org/10.1103/PRXQuantum.2.030347 PRX Quantum 2 , 030347 (2021)
-
[36]
J. Carrasco, M. Votto, V. Vitale, C. Kokail, A. Neven, P. Zoller, B. Vermersch B. Kraus https://doi.org/10.1103/PhysRevA.109.012422 Phys. Rev. A 109 , 012422 (2024)
-
[37]
F. Ares, S. Murciano, L. Piroli P. Calabrese https://doi.org/10.1103/PhysRevD.110.L061901 Phys. Rev. D 110 , L061901 (2024)
-
[38]
A. Russotto, F. Ares P. Calabrese https://doi.org/10.1007/JHEP06(2025)149 JHEP 06 (2025) 149
-
[39]
A. Russotto, F. Ares P. Calabrese https://doi.org/10.1103/kppn-3272 Phys. Rev. E 112 , L032101 (2025)
-
[40]
X. Turkeshi, A. Dymarsky, P. Sierant https://doi.org/10.1103/PhysRevB.111.054301 Phys. Rev. B 111 , 054301 (2025)
-
[41]
D. Iannotti, G. Esposito, L. C. Venuti A. Hamma https://doi.org/10.22331/q-2025-07-21-1797 Quantum 9 , 1797 (2025)
-
[42]
X. Turkeshi, E. Tirrito, P. Sierant https://doi.org/10.1038/s41467-025-57704-x Nat. Commun. 16 , 2575 (2025)
-
[43]
Non-stabilizerness and U(1) symmetry in chaotic many-body quantum systems
D. Iannotti, A. Russotto, B. Jasser, J. Odavić, A. Hamma https://doi.org/10.48550/arXiv.2603.28870 arXiv.2603.28870
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2603.28870
-
[44]
J.-N. Yang, L. Kh Joshi, F. Ares, Y. Han, P. Zhang, P. Calabrese https://doi.org/10.48550/arXiv.2601.22224 arXiv.2601.22224
-
[45]
M. G. Genoni, M. G. A. Paris K. Banaszek https://doi.org/10.1103/PhysRevA.78.060303 Phys. Rev. A 78 , 060303 (2008)
-
[46]
M. G. Genoni M. G. A. Paris https://doi.org/10.1103/PhysRevA.82.052341 Phys. Rev. A 82 , 052341 (2010)
-
[47]
P. Marian T. A. Marian https://doi.org/10.1103/PhysRevA.88.012322 Phys. Rev. A 88 , 012322 (2013)
-
[48]
L. Lumia, E. Tirrito, R. Fazio M. Collura https://doi.org/10.1103/PhysRevResearch.6.023176 Phys. Rev. Res. 6 , 023176 (2024)
-
[49]
X. Lyu K. Bu arXiv:2409.08180 https://doi.org/10.48550/arXiv.2409.08180
-
[50]
L. Coffman, G. Smith, X. Gao https://arxiv.org/abs/2501.06179 arXiv:2501.06179
-
[51]
Mpemba effects in quantum complexity,
S. Aditya, A. Summer, P. Sierant, X. Turkeshi arXiv:2509.22176 https://doi.org/10.48550/arXiv.2509.22176
-
[52]
Growth and spreading of quantum resources under random circuit dynamics,
S. Aditya, X. Turkeshi P. Sierant arXiv:2512.14827 https://arxiv.org/abs/2512.14827
-
[53]
F. Ares, M. Mazzoni, S. Murciano, D. Sz\'asz-Schagrin, P. Calabrese L. Piroli arXiv:2603.16762 https://doi.org/10.48550/arXiv.2603.16762
-
[54]
A. D. Gottlieb N. J. Mauser https://doi.org/10.1103/PhysRevLett.95.123003 Phys. Rev. Lett. 95 , 123003 (2005)
-
[55]
C. J. Turner, K. Meichanetzidis, Z. Papic J. K. Pachos https://doi.org/q-2022-10-13-840/ Nature Comm. 8 , 14926 (2017)
work page 2022
-
[56]
J. K. Pachos Z. Papic https://doi.org/10.21468/SciPostPhysLectNotes.4 SciPost Phys. Lect. Notes 4 (2018)
-
[57]
B. Dias R. Koenig https://doi.org/10.22331/q-2024-05-21-1350 Quantum 8 , 1350 (2024)
-
[58]
J. Cudby S. Strelchuk arXiv:2307.12654 https://doi.org/10.48550/arXiv.2307.12654
-
[59]
Reardon-Smith https://doi.org/10.48550/arXiv.2407.20934 arXiv:2407.20934
O. Reardon-Smith https://doi.org/10.48550/arXiv.2407.20934 arXiv:2407.20934
-
[60]
L. Bittel, A. A. Mele, J. Eisert, L. Leone https://doi.org/10.1103/pzx6-nkfb PRX Quantum 6 , 030341 (2025)
-
[61]
P. Sierant, P. Stornati X. Turkeshi https://doi.org/10.1103/3yx4-1j27 PRX Quantum 7 , 010302 (2026)
- [62]
-
[63]
Peschel https://iopscience.iop.org/article/10.1088/0305-4470/36/14/101 J
I. Peschel https://iopscience.iop.org/article/10.1088/0305-4470/36/14/101 J. Phys. A: Math. Gen. 36 , L205 (2003)
-
[64]
G. Vidal, J. I. Latorre, E. Rico A. Kitaev https://doi.org/10.1103/PhysRevLett.90.227902 Phys. Rev. Lett. 90 , 227902 (2003)
-
[65]
S. K. Foong S. Kanno https://doi.org/10.1103/PhysRevLett.72.1148 Phys. Rev. Lett. 72 , 1148 (1994)
-
[66]
Sen https://doi.org/10.1103/PhysRevLett.77.1 Phys
S. Sen https://doi.org/10.1103/PhysRevLett.77.1 Phys. Rev. Lett. 77 , 1 (1996)
-
[67]
Weingarten https://doi.org/10.1063/1.523807 J
D. Weingarten https://doi.org/10.1063/1.523807 J. Math. Phys. 19 , 999 (1978)
-
[68]
B. Collins P. Sniady https://doi.org/10.1007/s00220-006-1554-3 Comm. Math. Phys. 264 , 773 (2006)
-
[69]
P. Hayden J. Preskill https://doi.org/10.1088/1126-6708/2007/09/120 JHEP 09 (2007) 120
-
[70]
The randomized measurement toolbox,
A. Elben, S. T. Flammia, H.-Y. Huang, R. Kueng, J. Preskill, B. Vermersch P. Zoller https://doi.org/10.1038/s42254-022-00535-2 Nature Rev. Phys. 5 , 9 (2023)
-
[71]
P. Calabrese A. Lefevre http://dx.doi.org/10.1103/PhysRevA.78.032329 Phys. Rev. A 78 , 032329(R) (2008)
-
[72]
M. P. A. Fisher, V. Khemani, A. Nahum S. Vijay https://doi.org/10.1146/annurev-conmatphys-031720-030658 Ann. Rev. Cond. Mat. Phys. 14 , 335 (2023)
-
[73]
A. C. Potter R. Vasseur Quantum Sc. and Tech., 211 (2022) https://doi.org/10.1007/978-3-031-03998-0_9
-
[74]
A. A. Mele Y. Herasymenko https://doi.org/10.1103/PRXQuantum.6.010319 PRX Quantum 6 , 010319 (2025)
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.