pith. sign in

arxiv: 2305.11697 · v7 · submitted 2023-05-19 · 🧮 math-ph · math.MP

Quadratic Hamiltonians in Fermionic Fock Spaces

Jean-Bernard Bru , Nathan Metraud This is my paper

Pith reviewed 2026-05-24 08:19 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords quadratic Hamiltoniansfermionic Fock spaceN-diagonalizationBogoliubov transformationselliptic differential equationsShale-Stinespring conditionquantum field theoryself-adjoint operators
0
0 comments X

The pith

Quadratic Hamiltonians in fermionic Fock space admit N-diagonalization under weaker assumptions via elliptic operator-valued differential equations, with two definitions shown equivalent when the vacuum lies in the domain.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that quadratic Hamiltonians, defined as self-adjoint operators quadratic in the fermionic fields on Fock space, can be diagonalized by reducing the problem to a novel elliptic operator-valued differential equation. This approach requires substantially fewer conditions on the operators than earlier methods. It further proves that the 1994 definition of these Hamiltonians as generators of strongly continuous unitary groups of Bogoliubov transformations coincides with the standard definition precisely when the vacuum state belongs to their domain. This equivalence echoes the Shale-Stinespring condition on implementability of Bogoliubov transformations. Readers in quantum field theory and statistical mechanics would care because these operators model free fermions, superconductors, and related systems, and easier diagonalization simplifies spectral and dynamical calculations.

Core claim

Following Berezin, quadratic Hamiltonians are quadratic in the fermionic field and thereby well-defined self-adjoint operators on the fermionic Fock space. Applying the elliptic operator-valued differential equation studied in the companion paper yields their N-diagonalization under much weaker assumptions than before. The 1994 definition as generators of strongly continuous unitary groups of Bogoliubov transformations is shown to be equivalent to the standard definition as soon as the vacuum state belongs to the domain of definition of these Hamiltonians, and this outcome is reminiscent of the Shale-Stinespring condition.

What carries the argument

The novel elliptic operator-valued differential equation, which reduces the diagonalization of quadratic Hamiltonians to solving an operator differential equation on the one-particle space.

If this is right

  • A larger class of quadratic Hamiltonians becomes explicitly solvable, including those with less regular one-particle operators.
  • Spectral properties and time evolution can be read off from the diagonal form without additional regularity assumptions.
  • Verification that a given operator generates a continuous Bogoliubov group reduces to a domain check on the vacuum.
  • The connection to the Shale-Stinespring condition supplies a practical test for implementability of the associated transformations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same reduction might be adapted to time-dependent quadratic Hamiltonians by treating the elliptic equation as an evolution equation.
  • Numerical approximation schemes for many-body fermionic systems could exploit the weaker hypotheses to handle rougher interactions.
  • The equivalence of definitions may clarify the boundary between implementable and non-implementable Bogoliubov transformations in infinite volume.
  • Similar elliptic techniques could be tested on related problems such as diagonalization of quadratic forms on other graded Hilbert spaces.

Load-bearing premise

The elliptic operator-valued differential equation method developed in the companion paper remains valid and directly applicable to quadratic Hamiltonians in the fermionic setting under the stated conditions.

What would settle it

An explicit quadratic Hamiltonian satisfying the paper's domain and regularity hypotheses for which the elliptic equation fails to produce an N-diagonalization, or for which the two definitions disagree even though the vacuum lies in the domain.

read the original abstract

Quadratic Hamiltonians are important in quantum field theory and quantum statistical mechanics. Their general studies, which go back to the sixties, are relatively incomplete for the fermionic case studied here. Following Berezin, they are quadratic in the fermionic field and in this way well-defined self-adjoint operators acting on the fermionic Fock space. We analyze their diagonalization by applying a novel elliptic operator-valued differential equations studied in a companion paper. This allows for their ($\mathrm{N}$-) diagonalization under much weaker assumptions than before. Last but not least, in 1994 Bach, Lieb and Solovej defined them to be generators of strongly continuous unitary groups of Bogoliubov transformations. This is shown to be an equivalent definition, as soon as the vacuum state belongs to the domain of definition of these Hamiltonians. This second outcome is demonstrated to be reminiscent to the celebrated Shale-Stinespring condition on Bogoliubov transformations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript studies quadratic Hamiltonians on fermionic Fock space, defined following Berezin as self-adjoint operators quadratic in the fermionic fields. It claims to achieve (N-)diagonalization under weaker assumptions than prior literature by applying a novel elliptic operator-valued differential equation technique developed in a companion paper. It further claims that the 1994 Bach-Lieb-Solovej definition of these Hamiltonians as generators of strongly continuous unitary groups of Bogoliubov transformations is equivalent to the standard definition whenever the vacuum state lies in the domain, and that this equivalence is reminiscent of the Shale-Stinespring condition.

Significance. If the companion method applies rigorously and the resulting assumptions are indeed weaker, the diagonalization result would extend the available theory for fermionic quadratic Hamiltonians, which the abstract notes has been less complete than the bosonic case since the 1960s. The equivalence result offers a useful characterization but is presented as secondary. The work cites prior literature and a companion paper rather than relying on fitted quantities, which is a positive feature.

major comments (2)
  1. [Abstract] Abstract: the headline claim of (N-)diagonalization under much weaker assumptions rests entirely on applying the elliptic operator-valued differential equation method from the companion paper. The manuscript must explicitly verify that the quadratic Hamiltonians satisfy all hypotheses of that method (including ellipticity and domain conditions) in the fermionic Fock space setting; without this verification the central claim cannot be assessed.
  2. [Abstract] Abstract: the manuscript asserts that the new assumptions are weaker than those in the 1960s–1990s literature but provides no concrete comparison, counter-example, or citation of the precise prior conditions that are relaxed. A direct side-by-side statement of the old versus new hypotheses is required to substantiate the claim.
minor comments (1)
  1. [Abstract] The abstract refers to 'much weaker assumptions than before' without naming the specific prior works or theorems being improved upon; adding these references would improve clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and constructive suggestions. We address the two major comments below and will incorporate revisions to strengthen the manuscript, particularly by adding explicit verifications and comparisons as requested.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the headline claim of (N-)diagonalization under much weaker assumptions rests entirely on applying the elliptic operator-valued differential equation method from the companion paper. The manuscript must explicitly verify that the quadratic Hamiltonians satisfy all hypotheses of that method (including ellipticity and domain conditions) in the fermionic Fock space setting; without this verification the central claim cannot be assessed.

    Authors: We agree that explicit verification of the hypotheses is necessary to support the central claim. In the revised manuscript we will add a new subsection (in Section 3, following the statement of the main diagonalization theorem) that systematically checks each hypothesis of the companion paper's elliptic operator-valued differential equation method. This will include direct confirmation of ellipticity (via the quadratic form of the Hamiltonian) and the requisite domain conditions in the fermionic Fock space, with references to the relevant operator domains and the vacuum state assumptions already present in the paper. revision: yes

  2. Referee: [Abstract] Abstract: the manuscript asserts that the new assumptions are weaker than those in the 1960s–1990s literature but provides no concrete comparison, counter-example, or citation of the precise prior conditions that are relaxed. A direct side-by-side statement of the old versus new hypotheses is required to substantiate the claim.

    Authors: We acknowledge that a concrete side-by-side comparison is needed to substantiate the claim of weaker assumptions. The revised manuscript will include a new paragraph (or table) in the introduction that explicitly lists the key hypotheses from the cited 1960s–1990s works (e.g., those of Berezin and subsequent authors referenced in the paper) alongside our relaxed conditions, highlighting the specific relaxations such as reduced regularity or domain requirements enabled by the companion method. Citations to the precise prior statements will be added for clarity. revision: yes

Circularity Check

0 steps flagged

No significant circularity; relies on companion paper and prior literature

full rationale

The paper's primary claims involve applying an elliptic operator-valued differential equation method from a cited companion paper to achieve (N-)diagonalization under weaker assumptions, plus an equivalence result between the 1994 Bach-Lieb-Solovej definition and the standard one (when the vacuum is in the domain), shown to be reminiscent of Shale-Stinespring. No step in the provided abstract or described chain reduces by construction to a self-definition, fitted input renamed as prediction, or load-bearing self-citation whose validity is unverified within this work. The companion citation supplies an independent mathematical technique, and the equivalence demonstration is presented as internal to this paper against external benchmarks. This is a normal, non-circular use of prior results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete and limited to what is explicitly referenced.

axioms (2)
  • standard math Standard results from functional analysis on Fock spaces and self-adjoint operators
    Invoked to define quadratic Hamiltonians as self-adjoint operators and to discuss domains and unitary groups.
  • domain assumption Validity of the elliptic operator-valued differential equation method from the companion paper
    The diagonalization result rests on this external method.

pith-pipeline@v0.9.0 · 5685 in / 1242 out tokens · 22952 ms · 2026-05-24T08:19:06.661414+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

59 extracted references · 59 canonical work pages

  1. [1]

    Bogoliubov, On the theory of superfluidity, J

    N.N. Bogoliubov, On the theory of superfluidity, J. Phys. (USSR) 11 (1947) 23-32

    work page 1947

  2. [2]

    L. N. Cooper, Bound Electron Pairs in a Degenerate Fermi G as, Phys. Rev. 104 (1956) 1189- 1190

    work page 1956

  3. [3]

    Bardeen, L.N

    J. Bardeen, L.N. Cooper and J.R. Schrieffer, Microscopi c Theory of Superconductivity, Phys. Rev. 106 (1957) 162-164

    work page 1957

  4. [4]

    Bardeen, L.N

    J. Bardeen, L.N. Cooper and J.R. Schrieffer, Theory of Su perconductivity, Phys. Rev. 108 (1957) 1175-1204. 30Note that Υ0 ≥ − (µ − ε) 1 iff Υ⊤ 0 ≥ − (µ − ε) 1. 31For bounded operators Υ0 ∈ B (h), ζ is always continuous on R+ 0 . 57

    work page 1957

  5. [5]

    Bogoliubov, V .V

    N.N. Bogoliubov, V .V . Tolmachov, D.V .ˇSirkov, A New Method in the Theory of Superconduc- tivity, F ortschritte der Physik6 (1958) 605-682

    work page 1958

  6. [6]

    Bach and J.-B

    V . Bach and J.-B. Bru, Diagonalizing Quadratic Bosonic O perators by Non-Autonomous Flow Equation, Memoirs of the AMS 240(1138) (2016)

    work page 2016

  7. [7]

    Bruneau and J

    L. Bruneau and J. Derezinski, Bogoliubov Hamiltonians a nd one parameter groups of Bogoli- ubov transformations, J. Math. Phys. 48 (2007) 022101 (24pp)

    work page 2007

  8. [8]

    P . T. Nam, M. Napi´ orkowski, J. P . Solovej, Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations, J. Funct. Anal. 270(11) (2016) 4340-4368

    work page 2016

  9. [9]

    Derezinski, Bosonic quadratic Hamiltonians, J

    J. Derezinski, Bosonic quadratic Hamiltonians, J. Math. Phys. 58 (2017) 121101

    work page 2017

  10. [10]

    K. O. Friedrichs, Mathematical aspects of the quantum t heory of fields, Interscience Publishers, Inc., New York; Interscience Publishers Ltd. , London, 1953

    work page 1953

  11. [11]

    F. A. Berezin, The Method of Second Quantization, Academic Press, New York-London, 1966

    work page 1966

  12. [12]

    Kato and N

    Y . Kato and N. Mugibayashi, Friedrichs-Berezin Transformation and Its Application to the Spec- tral Analysis of the BCS Reduced Hamiltonian, Progress of Theoretical Physics 38(4) (1967) 813-831

    work page 1967

  13. [13]

    A. L. Carey and S. N. Ruijsenaars, On Fermion Gauge Group s, Current Algebras and Kac- Moody Algebras, Acta Appl. Math. 10 (1987) 1-86

    work page 1987

  14. [14]

    Carleman, Les Fonctions Quasi-analytiques, Gauthier-Villars, Paris, 1926

    T. Carleman, Les Fonctions Quasi-analytiques, Gauthier-Villars, Paris, 1926

    work page 1926

  15. [15]

    V . Bach, E. H. Lieb and J. P . Solovej , Generalized Hartree-Fock Theory and the Hubbard Model, J. Stat. Phys. 76(1/2) (1994) 3-89

    work page 1994

  16. [16]

    S. N. M. Ruijsenaars, On Bogoliubov Transformations. I I. The General Case, Ann. Phys. N.Y. 116 (1978) 105-134

    work page 1978

  17. [17]

    Araki, On Quasifree States of CAR and Bogoliubov Auto morphisms, Publ

    H. Araki, On Quasifree States of CAR and Bogoliubov Auto morphisms, Publ. RIMS, Kyoto Univ. 6 (1970/71) 385-442

    work page 1970

  18. [18]

    Araki, On the diagonalization of a bilinear Hamilton ian by a Bogoliubov transformation, Publ

    H. Araki, On the diagonalization of a bilinear Hamilton ian by a Bogoliubov transformation, Publ. RIMS, Kyoto Univ. Ser . A4 (1968) 387-412

    work page 1968

  19. [19]

    R. W. Brockett, Dynamical systems that sort lists, diag onalize matrices, and solve linear pro- gramming problems, Linear Algebra Appl. 146 (1991) 79-91

    work page 1991

  20. [20]

    Wegner, Flow equations for Hamiltonians, Annalen der Physik 506 (1994) 77-91

    F. Wegner, Flow equations for Hamiltonians, Annalen der Physik 506 (1994) 77-91

    work page 1994

  21. [21]

    Bach and J.-B

    V . Bach and J.-B. Bru, Rigorous foundations of the Brock ett-Wegner flow for operators, J. Evol. Equ. 10 (2010) 425-442

    work page 2010

  22. [22]

    Helmke and J

    U. Helmke and J. B. Moore, Optimization and Dynamical Sy stems, Springer Science and Busi- ness Media, 2012

    work page 2012

  23. [23]

    S. K. Kehrein, The Flow Equation Approach to Many-Parti cle Systems, volume 217 of Springer , Tracts in Modern Physics. Springer-V erlag, Heidelberg, first edition, 2006

    work page 2006

  24. [24]

    J.-B. Bru, N. Metraud, Non-Linear Operator-valued Ell iptic Flows with Application to Quantum Field Theory, to be published in J. Math. Pures Appl. 2025. 58

    work page 2025

  25. [25]

    Reed and B

    M. Reed and B. Simon, Methods of Modern Mathematical Phy sics, V ol. I: Functional analysis, Academic Press, New York-London, 1972

    work page 1972

  26. [26]

    J.-B. Bru and de Siqueira Pedra, C ∗-Algebra and Mathematical F oundations of Quantum Sta- tistical Mechanics , Latin American Mathematics Series - UFSCar subseries, Spr inger Nature Switzerland AG (2023)

    work page 2023

  27. [27]

    Bratteli and D.W

    O. Bratteli and D.W. Robinson, Operator Algebras and Qu antum Statistical Mechanics, V ol. II, 2nd ed., Springer-V erlag, New York, 1997

    work page 1997

  28. [28]

    Kato, Linear evolution equations of ‘hyperbolic’ ty pe, J

    T. Kato, Linear evolution equations of ‘hyperbolic’ ty pe, J. Fac. Sci. Univ. Tokyo 17 (1970) 241-258

    work page 1970

  29. [29]

    Kato, Linear evolution equations of ‘hyperbolic’ ty pe II, J

    T. Kato, Linear evolution equations of ‘hyperbolic’ ty pe II, J. Math. Soc. Japan 25 (1973) 648- 666

    work page 1973

  30. [30]

    Araki, Bogoliubov Automorphisms and Fock Represent ations of Canonical Anticommutation Relations Comp

    H. Araki, Bogoliubov Automorphisms and Fock Represent ations of Canonical Anticommutation Relations Comp. Math. 62 (1987) 23-141

    work page 1987

  31. [31]

    Engel and R

    K.-J. Engel and R. Nagel, One–Parameter Semigroups for Linear Evolution Equations, Springer , New York, 2000

    work page 2000

  32. [32]

    Bratteli and D.W

    O. Bratteli and D.W. Robinson, Operator Algebras and Qu antum Statistical Mechanics, V ol. I, 2nd ed., Springer-V erlag, New York, 1996

    work page 1996

  33. [33]

    J.-B. Bru, N. J. B. Aza, W. de Siqueira Pedra, L. M¨ ussnic h, Large deviations in weakly interact- ing fermions: Generating functions as Gaussian Berezin int egrals and bounds on large Pfaffians, Rev. Math. Phys. 3 (2021) 2150034 (73 pp)

    work page 2021

  34. [34]

    Shale and W

    D. Shale and W. F. Stinespring, Spinor Representations of Infinite Orthogonal Groups, J. Math. Mech. 14 (1965) 315-322

    work page 1965

  35. [35]

    J. P . Solovej, Many Body Quantum Mechanics lecture note s, https://web.math.ku.dk/˜solovej/MANYBODY/mbnotes-ptn-5-3-14.pdf (2014)

    work page 2014

  36. [36]

    Matsui, On the Implementabiblity of Non *Bogliubov A utomorphisms of CAR Algebras on Fock Spaces Math

    T. Matsui, On the Implementabiblity of Non *Bogliubov A utomorphisms of CAR Algebras on Fock Spaces Math. Phys. Lett. 14 (1987) 363-369

    work page 1987

  37. [37]

    matrix theory

    R. Nagel, Towards a “matrix theory” for unbounded opera tor matrices, Math. Z. 201 (1989) 57-68

    work page 1989

  38. [38]

    F. V . Atkinson, H. Langer, R. Menichen, A. A. Shkalikov,The essential spectrum of some matrix operators, Math. Nachr .167 (1994) 5-20

    work page 1994

  39. [39]

    Engel, Matrix representation of linear operator s on product spaces, Rend

    K.-L. Engel, Matrix representation of linear operator s on product spaces, Rend. Circ. Mat. Palermo (2) Suppl. 56 (1998) 219-224

    work page 1998

  40. [40]

    Faierman, R

    M. Faierman, R. Mennicken, M. M¨ oller, The essential spectrum of a system of singular ordinary differential operators of mixed order. Part I: The general p roblem and an almost regular case, Math. Nachr .208 (1999) 101-115

    work page 1999

  41. [41]

    M¨ oller, F

    M. M¨ oller, F. H. Szafraniec, Adjoints and formal adjoi nts of matrices of unbounded operators, Proc. Am. Math. Soc. 136 (2008) 2165-2176

    work page 2008

  42. [42]

    Strauss, Spectral estimates and basis properties fo r self-adjoint block operator matrices, In- tegr

    M. Strauss, Spectral estimates and basis properties fo r self-adjoint block operator matrices, In- tegr . Equ. Oper . Theory67 (2010) 257-277. 59

    work page 2010

  43. [43]

    A. A. Shkalikov, K. Trunk, On stability of closedness an d self-adjointness for 2 × 2 operator matrices, Math. Notes 100 (2016) 870-875

    work page 2016

  44. [44]

    Schm¨ udgen, Unbounded Self-adjoint Operators on Hi lbert Space, Graduate Texts in Mathe- matics, Springer Dordrecht, 2012

    K. Schm¨ udgen, Unbounded Self-adjoint Operators on Hi lbert Space, Graduate Texts in Mathe- matics, Springer Dordrecht, 2012

    work page 2012

  45. [45]

    Reed and B

    M. Reed and B. Simon, Methods of Modern Mathematical Phy sics II: Fourier Analysis, Self– Adjointness, Academic Press, London, 1975

    work page 1975

  46. [46]

    Charfia, H

    S. Charfia, H. Ellouza, Closedness and Self-Adjointnes s Criteria for Block Operator Matrices Involving Fully-Subordinate Entries, Filomat 36(8) (2022) 2729-2737

    work page 2022

  47. [47]

    Kato, Abstract evolution equations, linear and quas ilinear, revisited, H

    T. Kato, Abstract evolution equations, linear and quas ilinear, revisited, H. Komatsu (ed.), Func- tional Analysis and Related Topics , 1991, Lecture Notes Math. 1540 (1993) 103-125

    work page 1991

  48. [48]

    Caps, Evolution Equations in Scales of Banach Spaces , B.G

    O. Caps, Evolution Equations in Scales of Banach Spaces , B.G. Teubner, Stuttgart-Leipzig- Wiesbaden, 2002

    work page 2002

  49. [49]

    Schnaubelt, Asymptotic behaviour of parabolic nona utonomous evolution equations, in M

    R. Schnaubelt, Asymptotic behaviour of parabolic nona utonomous evolution equations, in M. Iannelli, R. Nagel, S. Piazzera (Eds.): Functional Analytic Methods for Evolution Equations , Springer V erlag, 2004, 401472

    work page 2004

  50. [50]

    Pazy, Semigroups of Linear Operators and Applicatio ns to Partial Differential Equations, Applied Mathematical Sciences 44, Springer, New-Y ork, 1983

    A. Pazy, Semigroups of Linear Operators and Applicatio ns to Partial Differential Equations, Applied Mathematical Sciences 44, Springer, New-Y ork, 1983

    work page 1983

  51. [51]

    Zagrebnov and H

    V .A. Zagrebnov and H. Neidhardt, Linear non-autonomou s Cauchy problems and evolution semigroups, Advances in Differential Equations 14 (2009) 289-340

    work page 2009

  52. [52]

    Takesaki, Theory of Operator Algebras I, Springer-V erlag Berlin Heidelberg, 2002

    M. Takesaki, Theory of Operator Algebras I, Springer-V erlag Berlin Heidelberg, 2002

    work page 2002

  53. [53]

    D. J. Thouless, The Quantum Mechanics of Many–Body Syst ems, Second Edition, Academic Press, New York, 1972

    work page 1972

  54. [54]

    Bru and W

    J.-B. Bru and W. de Siqueira Pedra, Effect of a locally re pulsive interaction on s–wave super- conductors, Rev. Math. Phys. 22(3) (2010) 233-303

    work page 2010

  55. [55]

    Bru and W

    J.-B. Bru and W. de Siqueira Pedra, Entanglement of Clas sical and Quantum Short-Range Dy- namics in Mean-Field Systems, Annals of Physics 434 (2021) 168643 (pp 31)

    work page 2021

  56. [56]

    Bru and W

    J.-B. Bru and W. de Siqueira Pedra, Non-cooperative Equ ilibria of Fermi Systems With Long Range Interactions, Memoirs of the AMS 224, no. 1052 (2013) (pp 167)

    work page 2013

  57. [57]

    Bru and W

    J.-B. Bru and W. de Siqueira Pedra, Classical Dynamics G enerated by Long-Range Interactions for Lattice Fermions and Quantum Spins, J. Math. Anal. Appl. 493(1) (2021) 124434 (pp 61)

    work page 2021

  58. [58]

    Bru and W

    J.-B. Bru and W. de Siqueira Pedra, Quantum Dynamics Gen erated by Long-Range Interactions for Lattice-Fermion and Quantum Spins, J. Math. Anal. Appl. 493(1) (2021) 124517 (pp 65)

    work page 2021

  59. [59]

    V alatin, Comments on the theory of superconductiv ity, Il Nuovo Cimento Series 7 (1958) 843-857

    J.G. V alatin, Comments on the theory of superconductiv ity, Il Nuovo Cimento Series 7 (1958) 843-857. 60

    work page 1958