Full-State and Reduced-Moment Encodings: A Representation-Level View of Equilibrium Quantum Many-Body Theory
Pith reviewed 2026-06-27 11:14 UTC · model grok-4.3
The pith
Every equilibrium quantum many-body method acts as an encoder from states to variables, with exact decoders existing exactly when tasks remain constant across each encoder's fibers.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Fixing an equilibrium specification and viewing every representation as an encoder from admissible states to represented variables formalizes the distinction between full-state and reduced representations. An exact decoder for a specified task exists on a state class if and only if the task is constant on the encoder fibers within that class. Variational principles, reconstruction correspondences, functionals, kernels, and closures are different realizations of additional structure used to select, restrict, or approximate the task-relevant content of a fiber when the retained variable alone is insufficient. Static moments and imaginary-time correlation functions are unified as restrictions o
What carries the argument
Encoder from a fixed equilibrium specification to represented variables, whose non-injective cases define fibers of compatible states.
If this is right
- Variational principles, reconstruction correspondences, functionals, kernels, and closures supply mechanisms that select or approximate the task-relevant portion of each fiber.
- Static moments and imaginary-time correlation functions arise uniformly as restrictions of one complete equilibrium readout functional to different families of probes.
- Quantum embedding is realized as consistency or replacement relations between global and local descriptions that act through reduced interface encoders and conjugate fields.
Where Pith is reading between the lines
- The encoder-fiber condition supplies a direct test that could classify which reduced variables are informationally sufficient for particular classes of tasks without solving the full many-body problem.
- The same language may be used to compare the information loss of different embedding schemes by examining the fibers of their interface encoders.
- Hybrid methods could be constructed by composing encoders from one approach with decoders or closure relations taken from another.
Load-bearing premise
Every equilibrium quantum many-body method can be formulated as an encoder from a fixed equilibrium specification to represented variables, with fibers defined by non-injective mappings.
What would settle it
An explicit equilibrium quantum many-body method together with a concrete task where an exact decoder exists even though the task value changes inside some fiber, or where no exact decoder exists even though the task is constant on every fiber.
read the original abstract
Equilibrium quantum many-body methods differ not only in approximation, but in which information they represent explicitly. We formulate this distinction by fixing an equilibrium specification and viewing every representation as an encoder from admissible states to represented variables. The identity encoder gives a full-state representation, whereas a non-injective encoder gives a reduced representation whose value labels a fiber of compatible states. For a specified task, an exact decoder exists on a state class if and only if the task is constant on the encoder fibers within that class. Variational principles, reconstruction correspondences, functionals, kernels, and closures are different realizations of additional structure used to select, restrict, or approximate the task-relevant content of a fiber when the retained variable alone is insufficient. Static moments and imaginary-time correlation functions are unified as restrictions of a complete equilibrium readout functional to different probe families. Within the same principle, quantum embedding can be viewed as consistency or replacement between global and local descriptions through reduced interface encoders and their conjugate fields.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper formulates equilibrium quantum many-body methods as encoders from a fixed equilibrium specification (admissible states) to represented variables. The identity encoder corresponds to full-state representations, while non-injective encoders define reduced representations whose values label fibers of compatible states. It states that, for a specified task, an exact decoder exists on a state class if and only if the task is constant on the encoder fibers within that class. Variational principles, reconstruction correspondences, functionals, kernels, and closures are interpreted as additional structure for selecting or approximating task-relevant content when the retained variable is insufficient; static moments and imaginary-time correlations are unified as restrictions of a complete readout functional, and quantum embedding is recast as consistency between global and local descriptions via reduced interface encoders.
Significance. If adopted, the framework supplies a consistent representation-level language for comparing full-state and reduced-moment approaches across equilibrium many-body methods. The central if-and-only-if statement follows directly from the definitions of task (as a function on states), encoder (as a map), fiber (as preimage), and exact decoder (as a well-defined function on the image); it requires no additional physical axioms or derivations beyond the setup. The manuscript's contribution therefore lies in the uniform application of this language to re-describe existing concepts rather than in new derivations or predictions.
minor comments (3)
- [Abstract] The abstract states the central equivalence without reference to a specific section or equation where the formal definitions of encoder, fiber, task, and decoder are introduced; the manuscript should add an early dedicated subsection (e.g., §2) that states these definitions mathematically and immediately illustrates the iff with one concrete example drawn from a standard method such as DFT or DMFT.
- The unification of moments and imaginary-time correlations as restrictions of a readout functional is asserted in the abstract; the corresponding section should include an explicit statement of the probe families and the restriction operation, preferably with a short equation or diagram.
- Notation for 'conjugate fields' and 'reduced interface encoders' appears in the abstract; these should be defined with reference to the relevant equations or figures when first used in the body.
Simulated Author's Rebuttal
We thank the referee for the review and the recommendation of minor revision. We respond below to the assessment regarding the manuscript's contribution.
read point-by-point responses
-
Referee: The central if-and-only-if statement follows directly from the definitions of task (as a function on states), encoder (as a map), fiber (as preimage), and exact decoder (as a well-defined function on the image); it requires no additional physical axioms or derivations beyond the setup. The manuscript's contribution therefore lies in the uniform application of this language to re-describe existing concepts rather than in new derivations or predictions.
Authors: We agree that the if-and-only-if statement follows directly from the definitions without additional physical axioms. The manuscript's contribution consists in applying this representation-level perspective uniformly to reframe and relate existing concepts—variational principles, reconstruction correspondences, functionals, kernels, closures, static moments, imaginary-time correlations, and quantum embedding—within a single encoder-fiber-decoder framework. This yields a consistent language for comparing full-state and reduced-moment encodings across methods that was not previously available in this form. revision: no
Circularity Check
No significant circularity; definitional framing is modeling choice
full rationale
The paper presents a representational framework that re-describes equilibrium methods as encoders from states to variables, with the central iff statement (exact decoder exists iff task constant on fibers) holding by the definitions of encoder, fiber, and decoder once those terms are adopted. No equations, fitted parameters, or predictions appear that reduce to inputs by construction. The modeling assumption that all methods admit such an encoder-fiber description is the framework itself rather than a hidden premise that could falsify the stated equivalence. No self-citations, uniqueness theorems, or ansatzes are invoked in the provided text to bear load on any derivation. The result is self-contained as a re-description rather than a claim that derives new content from its own inputs.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Equilibrium quantum many-body methods differ by which information they represent explicitly and can be viewed as encoders from admissible states to represented variables for a fixed equilibrium specification.
Reference graph
Works this paper leans on
-
[1]
and Kohn, W
Hohenberg, P. and Kohn, W. , title =. Physical Review , volume =. 1964 , doi =
1964
-
[2]
and Sham, L
Kohn, W. and Sham, L. J. , title =. Physical Review , volume =. 1965 , doi =
1965
-
[3]
David , title =
Mermin, N. David , title =. Physical Review , volume =. 1965 , doi =
1965
-
[4]
Proceedings of the National Academy of Sciences of the United States of America , volume =
Levy, Mel , title =. Proceedings of the National Academy of Sciences of the United States of America , volume =. 1979 , doi =
1979
-
[5]
, title =
Lieb, Elliott H. , title =. International Journal of Quantum Chemistry , volume =. 1983 , doi =
1983
-
[6]
Gilbert, T. L. , title =. Physical Review B , volume =. 1975 , doi =
1975
-
[7]
Coleman, A. J. , title =. Reviews of Modern Physics , volume =. 1963 , doi =
1963
-
[8]
Runge, Erich and Gross, E. K. U. , title =. Physical Review Letters , volume =. 1984 , doi =
1984
-
[9]
and Csirik, Mih
Penz, Markus and Tellgren, Erik I. and Csirik, Mih. The Structure of the Density-Potential Mapping. Part. ACS Physical Chemistry Au , volume =. 2023 , doi =
2023
-
[10]
Quantum , volume =
Penz, Markus and van Leeuwen, Robert , title =. Quantum , volume =. 2023 , doi =
2023
-
[11]
Luttinger, J. M. and Ward, J. C. , title =. Physical Review , volume =. 1960 , doi =
1960
-
[12]
, title =
Baym, Gordon and Kadanoff, Leo P. , title =. Physical Review , volume =. 1961 , doi =
1961
-
[13]
Physical Review , volume =
Baym, Gordon , title =. Physical Review , volume =. 1962 , doi =
1962
-
[14]
Physical Review , volume =
Hedin, Lars , title =. Physical Review , volume =. 1965 , doi =
1965
-
[15]
Journal of Mathematical Physics , volume =
Schwinger, Julian , title =. Journal of Mathematical Physics , volume =. 1961 , doi =
1961
-
[16]
Keldysh, L. V. , title =. Soviet Physics JETP , volume =. 1965 , note =
1965
-
[17]
, title =
Coester, F. , title =. Nuclear Physics , volume =. 1958 , doi =
1958
-
[18]
Calculation of Wavefunction Components in Ursell-Type Expansion Using Quantum-Field Theoretical Methods , journal =
On the Correlation Problem in Atomic and Molecular Systems. Calculation of Wavefunction Components in Ursell-Type Expansion Using Quantum-Field Theoretical Methods , journal =. 1966 , doi =
1966
-
[19]
, title =
White, Steven R. , title =. Physical Review Letters , volume =. 1992 , doi =
1992
-
[20]
The Density-Matrix Renormalization Group in the Age of Matrix Product States , journal =
Schollw. The Density-Matrix Renormalization Group in the Age of Matrix Product States , journal =. 2011 , doi =
2011
-
[21]
Foulkes, W. M. C. and Mitas, Lubos and Needs, R. J. and Rajagopal, G. , title =. Reviews of Modern Physics , volume =. 2001 , doi =
2001
-
[22]
Science , volume =
Carleo, Giuseppe and Troyer, Matthias , title =. Science , volume =. 2017 , doi =
2017
-
[23]
, title =
Georges, Antoine and Kotliar, Gabriel and Krauth, Werner and Rozenberg, Marcelo J. , title =. Reviews of Modern Physics , volume =. 1996 , doi =
1996
-
[24]
Physical Review Letters , volume =
Knizia, Gerald and Chan, Garnet Kin-Lic , title =. Physical Review Letters , volume =. 2012 , doi =
2012
-
[25]
Journal of Chemical Theory and Computation , volume =
Knizia, Gerald and Chan, Garnet Kin-Lic , title =. Journal of Chemical Theory and Computation , volume =. 2013 , doi =
2013
-
[26]
Physical Review Letters , volume =
Biermann, Silke and Aryasetiawan, Ferdi and Georges, Antoine , title =. Physical Review Letters , volume =. 2003 , doi =
2003
-
[27]
and Warshel, Arieh , title =
Wesolowski, Tomasz A. and Warshel, Arieh , title =. Journal of Physical Chemistry , volume =. 1993 , doi =
1993
-
[28]
and Neugebauer, Johannes , title =
Jacob, Christoph R. and Neugebauer, Johannes , title =. Wiley Interdisciplinary Reviews: Computational Molecular Science , volume =. 2014 , doi =
2014
-
[29]
and Stella, Martina and Goodpaster, Jason D
Manby, Frederick R. and Stella, Martina and Goodpaster, Jason D. and Miller, Thomas F. , title =. Journal of Chemical Theory and Computation , volume =. 2012 , doi =
2012
-
[30]
and Barnes, Taylor A
Goodpaster, Jason D. and Barnes, Taylor A. and Manby, Frederick R. and Miller, Thomas F. , title =. Journal of Chemical Physics , volume =. 2012 , doi =
2012
-
[31]
and Barnes, Taylor A
Goodpaster, Jason D. and Barnes, Taylor A. and Miller, Thomas F. , title =. Journal of Chemical Physics , volume =. 2014 , doi =
2014
-
[32]
, title =
Libisch, Florian and Huang, Chen and Liao, Peng and Pavone, Michele and Carter, Emily A. , title =. Accounts of Chemical Research , volume =. 2014 , doi =
2014
-
[33]
Lee, Sebastian J. R. and Welborn, Matthew and Manby, Frederick R. and Miller, Thomas F. , title =. Accounts of Chemical Research , volume =. 2019 , doi =
2019
-
[34]
International Journal of Quantum Chemistry , volume =
Wasserman, Adam and Pavanello, Michele , title =. International Journal of Quantum Chemistry , volume =. 2020 , doi =
2020
-
[37]
A density-functional perspective on force fields
Sheng, Nan , year =. doi:10.48550/arXiv.2604.25215 , url =. 2604.25215 , archivePrefix =
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2604.25215
-
[39]
author author P. Hohenberg \ and\ author W. Kohn ,\ 10.1103/PhysRev.136.B864 journal journal Physical Review \ volume 136 ,\ pages B864 ( year 1964 ) NoStop
-
[40]
author author W. Kohn \ and\ author L. J. \ Sham ,\ 10.1103/PhysRev.140.A1133 journal journal Physical Review \ volume 140 ,\ pages A1133 ( year 1965 ) NoStop
-
[41]
author author N. D. \ Mermin ,\ 10.1103/PhysRev.137.A1441 journal journal Physical Review \ volume 137 ,\ pages A1441 ( year 1965 ) NoStop
-
[42]
author author M. Levy ,\ 10.1073/pnas.76.12.6062 journal journal Proceedings of the National Academy of Sciences of the United States of America \ volume 76 ,\ pages 6062 ( year 1979 ) NoStop
-
[43]
author author E. H. \ Lieb ,\ 10.1002/qua.560240302 journal journal International Journal of Quantum Chemistry \ volume 24 ,\ pages 243 ( year 1983 ) NoStop
-
[44]
author author T. L. \ Gilbert ,\ 10.1103/PhysRevB.12.2111 journal journal Physical Review B \ volume 12 ,\ pages 2111 ( year 1975 ) NoStop
-
[45]
author author A. J. \ Coleman ,\ 10.1103/RevModPhys.35.668 journal journal Reviews of Modern Physics \ volume 35 ,\ pages 668 ( year 1963 ) NoStop
-
[46]
author author M. Penz , author E. I. \ Tellgren , author M. A. \ Csirik , author M. Ruggenthaler , \ and\ author A. Laestadius ,\ 10.1021/acsphyschemau.2c00069 journal journal ACS Physical Chemistry Au \ volume 3 ,\ pages 334 ( year 2023 a ) NoStop
-
[47]
author author M. Penz , author E. I. \ Tellgren , author M. A. \ Csirik , author M. Ruggenthaler , \ and\ author A. Laestadius ,\ 10.1021/acsphyschemau.3c00006 journal journal ACS Physical Chemistry Au \ volume 3 ,\ pages 348 ( year 2023 b ) NoStop
-
[48]
author author M. Penz \ and\ author R. van Leeuwen ,\ 10.22331/q-2023-02-09-918 journal journal Quantum \ volume 7 ,\ pages 918 ( year 2023 ) NoStop
-
[49]
author author N. Sheng ,\ 10.48550/arXiv.2603.23399 ( year 2026 a ),\ http://arxiv.org/abs/2603.23399 arXiv:2603.23399 [physics.chem-ph] NoStop
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2603.23399 2026
-
[50]
author author J. M. \ Luttinger \ and\ author J. C. \ Ward ,\ 10.1103/PhysRev.118.1417 journal journal Physical Review \ volume 118 ,\ pages 1417 ( year 1960 ) NoStop
-
[51]
author author G. Baym \ and\ author L. P. \ Kadanoff ,\ 10.1103/PhysRev.124.287 journal journal Physical Review \ volume 124 ,\ pages 287 ( year 1961 ) NoStop
-
[52]
author author G. Baym ,\ 10.1103/PhysRev.127.1391 journal journal Physical Review \ volume 127 ,\ pages 1391 ( year 1962 ) NoStop
-
[53]
author author L. Hedin ,\ 10.1103/PhysRev.139.A796 journal journal Physical Review \ volume 139 ,\ pages A796 ( year 1965 ) NoStop
-
[54]
author author N. Sheng ,\ 10.48550/arXiv.2606.09763 ( year 2026 b ),\ http://arxiv.org/abs/2606.09763 arXiv:2606.09763 [physics.chem-ph] NoStop
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2606.09763 2026
-
[55]
author author E. Runge \ and\ author E. K. U. \ Gross ,\ 10.1103/PhysRevLett.52.997 journal journal Physical Review Letters \ volume 52 ,\ pages 997 ( year 1984 ) NoStop
-
[56]
author author J. Schwinger ,\ 10.1063/1.1703727 journal journal Journal of Mathematical Physics \ volume 2 ,\ pages 407 ( year 1961 ) NoStop
-
[57]
author author L. V. \ Keldysh ,\ @noop journal journal Soviet Physics JETP \ volume 20 ,\ pages 1018 ( year 1965 ) ,\ note original Russian version: Zh. Eksp. Teor. Fiz. 47, 1515--1527 (1964) NoStop
1965
-
[58]
author author F. Coester ,\ 10.1016/0029-5582(58)90280-3 journal journal Nuclear Physics \ volume 7 ,\ pages 421 ( year 1958 ) NoStop
-
[59]
author author J. C \'i z ek ,\ 10.1063/1.1727484 journal journal Journal of Chemical Physics \ volume 45 ,\ pages 4256 ( year 1966 ) NoStop
-
[60]
author author S. R. \ White ,\ 10.1103/PhysRevLett.69.2863 journal journal Physical Review Letters \ volume 69 ,\ pages 2863 ( year 1992 ) NoStop
-
[61]
author author U. Schollw \"o ck ,\ 10.1016/j.aop.2010.09.012 journal journal Annals of Physics \ volume 326 ,\ pages 96 ( year 2011 ) NoStop
-
[62]
author author W. M. C. \ Foulkes , author L. Mitas , author R. J. \ Needs , \ and\ author G. Rajagopal ,\ 10.1103/RevModPhys.73.33 journal journal Reviews of Modern Physics \ volume 73 ,\ pages 33 ( year 2001 ) NoStop
-
[63]
author author G. Carleo \ and\ author M. Troyer ,\ 10.1126/science.aag2302 journal journal Science \ volume 355 ,\ pages 602 ( year 2017 ) NoStop
-
[64]
A unified variational framework for the inverse Kohn-Sham problem
author author N. Sheng ,\ 10.48550/arXiv.2603.23452 ( year 2026 c ),\ http://arxiv.org/abs/2603.23452 arXiv:2603.23452 [physics.chem-ph] NoStop
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2603.23452 2026
-
[65]
author author A. Georges , author G. Kotliar , author W. Krauth , \ and\ author M. J. \ Rozenberg ,\ 10.1103/RevModPhys.68.13 journal journal Reviews of Modern Physics \ volume 68 ,\ pages 13 ( year 1996 ) NoStop
-
[66]
author author G. Knizia \ and\ author G. K.-L. \ Chan ,\ 10.1103/PhysRevLett.109.186404 journal journal Physical Review Letters \ volume 109 ,\ pages 186404 ( year 2012 ) NoStop
-
[67]
author author G. Knizia \ and\ author G. K.-L. \ Chan ,\ 10.1021/ct301044e journal journal Journal of Chemical Theory and Computation \ volume 9 ,\ pages 1428 ( year 2013 ) NoStop
-
[68]
author author S. Biermann , author F. Aryasetiawan , \ and\ author A. Georges ,\ 10.1103/PhysRevLett.90.086402 journal journal Physical Review Letters \ volume 90 ,\ pages 086402 ( year 2003 ) NoStop
-
[69]
author author A. Wasserman \ and\ author M. Pavanello ,\ 10.1002/qua.26495 journal journal International Journal of Quantum Chemistry \ volume 120 ,\ pages e26495 ( year 2020 ) NoStop
-
[70]
author author T. A. \ Wesolowski \ and\ author A. Warshel ,\ 10.1021/j100132a040 journal journal Journal of Physical Chemistry \ volume 97 ,\ pages 8050 ( year 1993 ) NoStop
-
[71]
author author C. R. \ Jacob \ and\ author J. Neugebauer ,\ 10.1002/wcms.1175 journal journal Wiley Interdisciplinary Reviews: Computational Molecular Science \ volume 4 ,\ pages 325 ( year 2014 ) NoStop
-
[72]
author author F. R. \ Manby , author M. Stella , author J. D. \ Goodpaster , \ and\ author T. F. \ Miller ,\ 10.1021/ct300544e journal journal Journal of Chemical Theory and Computation \ volume 8 ,\ pages 2564 ( year 2012 ) NoStop
-
[73]
author author J. D. \ Goodpaster , author T. A. \ Barnes , author F. R. \ Manby , \ and\ author T. F. \ Miller ,\ 10.1063/1.4770226 journal journal Journal of Chemical Physics \ volume 137 ,\ pages 224113 ( year 2012 ) NoStop
-
[74]
author author J. D. \ Goodpaster , author T. A. \ Barnes , \ and\ author T. F. \ Miller ,\ 10.1063/1.4864040 journal journal Journal of Chemical Physics \ volume 140 ,\ pages 18A507 ( year 2014 ) NoStop
-
[75]
author author F. Libisch , author C. Huang , author P. Liao , author M. Pavone , \ and\ author E. A. \ Carter ,\ 10.1021/ar500086h journal journal Accounts of Chemical Research \ volume 47 ,\ pages 2768 ( year 2014 ) NoStop
-
[76]
author author S. J. R. \ Lee , author M. Welborn , author F. R. \ Manby , \ and\ author T. F. \ Miller ,\ 10.1021/acs.accounts.8b00672 journal journal Accounts of Chemical Research \ volume 52 ,\ pages 1359 ( year 2019 ) NoStop
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.