pith. machine review for the scientific record. sign in

arxiv: 2605.00784 · v2 · submitted 2026-05-01 · 🧮 math.FA · quant-ph

Recognition: unknown

The structure of gauge invariant Gaussian quantum operations on finite Fermion systems

Eric A. Carlen

Pith reviewed 2026-05-09 17:58 UTC · model grok-4.3

classification 🧮 math.FA quant-ph
keywords gauge invariant Gaussian statesCAR algebraquantum semigroupsstructure theoremfinite fermion systemscontraction semigroup generatorgauge automorphism
0
0 comments X

The pith

Gauge-invariant Gaussian quantum operations on finite fermion systems are parameterized by pairs (G,A) where G is a contraction semigroup generator on the single-particle space and 0 ≤ A ≤ -G - G*.

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

The paper develops structure theorems for semigroups of quantum operations that preserve both the gauge symmetry and the set of gauge-invariant Gaussian states in finite-dimensional fermion systems described by the CAR algebra. These operations act on the fixed-point subalgebra of the gauge automorphism group and are required to be one-to-one maps that send Gaussian states to Gaussian states. The central result parameterizes all such semigroups by pairs consisting of a contraction semigroup generator G on the underlying Hilbert space together with a positive operator A obeying the bound 0 ≤ A ≤ -G - G*. This classification also yields a natural extension of each semigroup to the full algebra generated by the canonical anticommutation relations.

Core claim

The central claim is that the one-to-one semigroups of quantum operations on the gauge-fixed subalgebra that map gauge-invariant Gaussian states into themselves are parameterized by pairs (G, A), where G generates a contraction semigroup on the single-particle Hilbert space H_1 and A satisfies 0 ≤ A ≤ -G - G*. Each such semigroup extends naturally to a semigroup on the full CAR algebra, and further structural properties follow from additional assumptions placed on the pair (G, A).

What carries the argument

The parameterization of the semigroups by pairs (G, A) on the single-particle Hilbert space, with G a contraction semigroup generator and A a positive operator bounded by -G - G*, which carries the structure theorem for operations that preserve the gauge-invariant Gaussian states.

If this is right

  • Each such semigroup extends naturally to a semigroup acting on the full CAR algebra.
  • The inequality condition on A ensures that the corresponding operation maps gauge-invariant Gaussian states into themselves.
  • Further structural results on the semigroups follow once additional assumptions are imposed on the pair (G, A).
  • The operations remain compatible with the gauge automorphism group generated by second quantization of phase factors.

Where Pith is reading between the lines

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

  • The parameterization reduces the search for invariant dynamics on the algebra to the choice of suitable single-particle operators G and A.
  • The extension to the full algebra indicates that gauge-invariant operations embed into larger dynamics that may break gauge symmetry.

Load-bearing premise

The semigroups must be one-to-one and must map the set of gauge-invariant Gaussian states into itself under the irreducible representation of the CAR algebra.

What would settle it

A one-to-one semigroup on the gauge subalgebra that preserves gauge-invariant Gaussian states but cannot be written in the form generated by any pair (G, A) with G a contraction generator and A satisfying the stated inequality would falsify the structure theorem.

read the original abstract

Let ${\mathcal H}_1$ be a finite dimensional complex Hilbert space. Let $\psi\mapsto Z(\psi)$ be a canonical anti-commutation relations (CAR) field over ${\mathcal H}_1$ acting irreducibly on a Hilbert space ${\mathord{\mathscr K}}$. The $*$-algebra ${\mathscr A}_{{\mathcal H}_1}$ generated by the $Z(\psi)$, $\psi\in {\mathcal H}_1$, is simply all operators on ${\mathscr K}$. However, the CAR field endows ${\mathscr A}_{{\mathcal H}_1}$ with additional structure, and we are concerned with quantum operations acting in harmony with this structure. In particular, there is a {\em gauge automorphism group} generated by ``second quantizing'' $\psi \mapsto e^{it}\psi$. The fixed point algebra of the gauge group, ${\mathscr G}_{{\mathcal H}_1}$, is a sub-algebra of ${\mathscr A}_{{\mathcal H}_1}$ studied by Araki and Wyss. It contains the density matrices of an important class of states, the {\em gauge invariant Gaussian states}, ${\mathfrak S}_{GIG}$. Our focus is on semigroups $\{e^{t{\mathscr L}}\}_{t\geq 0}$ of quantum operations on ${\mathscr A}_{{\mathcal H}_1}$ that map ${\mathfrak S}_{GIG}$ into itself. Each $e^{t{\mathscr L}}$ is one-to-one, and our first main result is a structure theorem for such quantum operations on ${\mathscr G}_{{\mathcal H}_1}$ that map ${\mathfrak S}_{GIG}$ into itself. We apply this to study semigroups of quantum operations on ${\mathscr G}_{{\mathcal H}_1}$ that map ${\mathfrak S}_{GIG}$ into itself. Our second main result is a structure theorem showing that they are parameterized by pairs $(G,A)$ where $G$ is a contraction semigroup generator on ${\mathcal H}_1$, and $0 \leq A \leq -G -G^*$. We then show that each of these semigroups has a natural extension to the full CAR algebra ${\mathscr A}_{{\mathcal H}_1}$. Further results are obtained under further assumptions on the pair $(G,A)$.

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

1 major / 3 minor

Summary. The paper claims to derive two main structure theorems for semigroups of one-to-one quantum operations on the CAR algebra over a finite-dimensional Hilbert space H_1 that preserve the convex set of gauge-invariant Gaussian states. The first theorem characterizes such operations on the gauge-invariant fixed-point subalgebra G_{H_1}; the second shows that the semigroups on this subalgebra are parameterized exactly by pairs (G, A) where G generates a contraction semigroup on H_1 and 0 ≤ A ≤ -G - G^*, with a natural extension of each such semigroup to the full CAR algebra A_{H_1}. Further results are given under additional assumptions on the pair (G, A). The derivations rely on the irreducible representation of the CAR field, the explicit quadratic form of Gaussian states, and the preservation plus injectivity hypotheses.

Significance. If the parameterization holds, the results supply an explicit Lindblad-type generator on the one-particle level for all gauge-invariant Gaussian-preserving quantum operations in finite fermionic systems. This is a useful algebraic classification that connects directly to the Araki-Wyss fixed-point algebra and could inform models of open fermionic dynamics with gauge symmetry. The finite-dimensional setting and the explicit use of CAR relations to reduce the problem to the one-particle space are strengths that make the claims potentially falsifiable and applicable.

major comments (1)
  1. [Second main result / structure theorem for semigroups on G_{H_1}] The second main result (parameterization by pairs (G, A) with the stated bound on A) is load-bearing for the entire classification. The derivation appears to use the quadratic ansatz for the generator together with the CAR anticommutation relations and the preservation of S_GIG, but the step showing that every such semigroup arises this way (i.e., that the map from (G, A) is surjective under the one-to-one hypothesis) needs an explicit verification that no other generators are possible once irreducibility is used.
minor comments (3)
  1. [Abstract / Introduction] The abstract and introduction would benefit from a short sentence recalling the definition of the gauge-invariant Gaussian states S_GIG (quadratic exponentials in the field operators) so that the preservation condition is immediately intelligible.
  2. [Section 1 / Preliminaries] Notation for the CAR field operators Z(ψ) and the fixed-point algebra G_{H_1} is introduced clearly, but a brief comparison table or remark contrasting the present finite-dimensional irreducible case with the infinite-dimensional Araki-Wyss setting would help readers place the results.
  3. [Extension result] The extension of the semigroup from G_{H_1} to the full algebra A_{H_1} is stated as natural; an explicit formula for the action on the non-gauge-invariant generators (e.g., on odd-degree monomials) would make the construction fully reproducible.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation of our manuscript and for the detailed comment on the second structure theorem. We address the major comment below and will incorporate clarifications as indicated.

read point-by-point responses

  1. Referee: [Second main result / structure theorem for semigroups on G_{H_1}] The second main result (parameterization by pairs (G, A) with the stated bound on A) is load-bearing for the entire classification. The derivation appears to use the quadratic ansatz for the generator together with the CAR anticommutation relations and the preservation of S_GIG, but the step showing that every such semigroup arises this way (i.e., that the map from (G, A) is surjective under the one-to-one hypothesis) needs an explicit verification that no other generators are possible once irreducibility is used.

    Authors: We agree that the surjectivity direction of the parameterization is central and merits explicit emphasis. In the proof of the second main result, we begin from the preservation of the convex set of gauge-invariant Gaussian states together with the one-to-one hypothesis on the semigroup. This forces the generator, when restricted to the fixed-point algebra G_{H_1}, to be quadratic in the CAR field operators. The CAR anticommutation relations are then used to identify the coefficients with a pair of operators (G, A) on the single-particle space H_1, and the bound 0 ≤ A ≤ -G - G^* follows from complete positivity and the contraction-semigroup property of G. Irreducibility of the CAR representation on K is invoked to conclude that any generator not of this quadratic form would produce a semigroup that either fails to preserve S_GIG or violates injectivity. While this reasoning is present in the derivation, we acknowledge that the exclusion of alternative generators can be stated more explicitly. We will therefore revise the manuscript by adding a short dedicated paragraph immediately after the statement of the theorem that isolates the role of irreducibility in ruling out other possibilities. This is a minor but useful clarification. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained in algebraic structure

full rationale

The paper derives its structure theorems directly from the CAR algebra relations, the gauge automorphism group, the fixed-point subalgebra, and the explicit preservation of the convex set of gauge-invariant Gaussian states under one-to-one quantum operations. These inputs are independent of the output parameterization by pairs (G, A); the derivation uses the quadratic form of Gaussian states and the finite-dimensional setting to obtain the Lindblad-type generator on the one-particle space without any self-referential definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The cited Araki-Wyss work on the fixed-point algebra is external and does not overlap with the present author. The results remain falsifiable against the preservation assumption and do not reduce to their inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard background from CAR algebra theory and gauge automorphisms; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)
  • domain assumption The CAR field over H_1 acts irreducibly on K, generating the full operator algebra A_{H_1}
    Explicitly stated as the setup for the algebra and gauge group.
  • standard math The gauge automorphism group is obtained by second-quantizing the phase rotation psi to e^{it} psi
    Standard construction in second quantization for fermions.

pith-pipeline@v0.9.0 · 5724 in / 1358 out tokens · 37587 ms · 2026-05-09T17:58:08.872631+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

69 extracted references

  1. [1]

    Accardi,Non commutative Markov chains, Proc

    L. Accardi,Non commutative Markov chains, Proc. School of Math. Phys. Camerino (1974)

    1974

  2. [2]

    Accardi and C

    L. Accardi and C. Cecchini,Conditional Expectations in von Neumann algebras and a Theorem of TakesakiJour. Func. Analysis45, 245 –273 (1982)

    1982

  3. [3]

    Amorim and E

    E. Amorim and E. Carlen,Complete positivity and self-adjointness, Linear Alg. and Appl.611(2020). 389–439

    2020

  4. [4]

    Araki,Bogoliubov automorphisms and Fock representations of canonical anticommutation rela- tions, Contemp

    H. Araki,Bogoliubov automorphisms and Fock representations of canonical anticommutation rela- tions, Contemp. Mathmetatics62(1987), 23–141

    1987

  5. [5]

    Araki and W

    H. Araki and W. Wyss,Representations of canonical anticommutation relations, Helvetica Physica Acta,37(1964), 136–159

    1964

  6. [6]

    G. S. Agarwal,Open quantum Markovian systems and the microreversibility, Z. Physik258, 409-422, 1973

    1973

  7. [7]

    Bakry, I

    D. Bakry, I. Gentil, and M. Ledoux,Analysis and geometry of Markov diffusion operators,348of Grundlehren der Mathematischen Wissenschaften, Springer, Berlin, 2014

    2014

  8. [8]

    Balsev and A

    E. Balsev and A. Verbeuere,States on Clifford Algebras, Comm. Math. Phys.,7(1968), 55–76

    1968

  9. [9]

    Bardeen, L

    J. Bardeen, L. N. Cooper and J. R. Schrieffer,Microscopic Theory of Superconductivity. Physical Review.106(1957), 162–164

    1957

  10. [10]

    Brauer, R., H

    R. Brauer, R., H. Weyl:Spinors inndimensions, Am. Jour. Math.,57, 1935 pp. 425-449

    1935

  11. [11]

    Bravyi,Lagrangian representation for fermionic linear optics, Quantum Inf

    S. Bravyi,Lagrangian representation for fermionic linear optics, Quantum Inf. and Comp.,5(2005), 216–238

    2005

  12. [12]

    N. N. Bogoliubov,A new method in the theory of superconductivity, I, Soviet Phys. JETP,34(1958), 41–46. 60 ERIC A. CARLEN

    1958

  13. [13]

    E. A. CarlenInequalities in matrix algebras. Graduate Studies in Math.251, (2025), Amer. Math. Soc., Providence, RI

    2025

  14. [14]

    E. A. Carlen and E. H. Lieb,Optimal hypercontractivity for Fermi fields and related non-commutative integration inequalities, Comm. Math. Phys.155, 27-46, 1993

    1993

  15. [15]

    E. A. Carlen and J. Maas,Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance, Jour. Func. Analysis273, (2017) 1810–1869

    2017

  16. [16]

    E. A. Carlen and J. Maas,Non-commutative Calculus, Optimal Transport and Functional Inequalities in Dissipative Quantum SystemsJour. Stat. Phys.,178(2020), 319-378

    2020

  17. [17]

    E. A. Carlen and J. Maas,An analog of the 2-Wasserstein metric in non-commutative probability under which the fermionic Fokker-Planck equation is gradient flow for the entropy, Comm. Math. Phys.331, 887–926, 2014

    2014

  18. [18]

    Chernoff,Note on product formulas for semi-groups, Jour

    P. Chernoff,Note on product formulas for semi-groups, Jour. Func. Analysis2(1968), 238-242

    1968

  19. [19]

    J. M. Cook,The mathematics of second quantization, Trans. Amer. Math. Soc.74(1953), 222-245

    1953

  20. [20]

    CiprianiDirichlet forms and Markovian semigroups on standard forms of von Neumann algebras

    F. CiprianiDirichlet forms and Markovian semigroups on standard forms of von Neumann algebras. J. Funct. Anal.147, 259-300, 1997

    1997

  21. [21]

    Cipriani,Dirichlet forms on noncommutative spaces, inQuantum potential theory, vol

    F. Cipriani,Dirichlet forms on noncommutative spaces, inQuantum potential theory, vol. 1954 of Lecture Notes in Math., Springer, Berlin, 161-276, 2008

    1954

  22. [22]

    Cipriani and J

    F. Cipriani and J. L. Sauvageot,Derivations as square roots of Dirichlet forms, J. Funct. Anal.,201 78-120, 2003

    2003

  23. [23]

    E. B. Davies, J. M. Lindsay,Non-commutative symmetric Markov semigroups, Math. Z.210379-411, 1992

    1992

  24. [24]

    G. F. Dell’Antonio, Structure of the algebras of some free systems, Comm. Math. Phys.9(1968), 81–117

    1968

  25. [25]

    D. E. Evans,Completely positive quasi-free maps on the CAR algebra, Comm. Math.Phys.70(1979), 53–68

    1979

  26. [26]

    Derezi´ nski,Introduction to Representations of the Canonical Commutation and Anticommutation Relations

    J. Derezi´ nski,Introduction to Representations of the Canonical Commutation and Anticommutation Relations. In:Large Coulomb Systems, J. Derezi´ nski and H. Siedentop eds., Lecture Notes in Physics, 695(2006) Springer, Berlin

    2006

  27. [27]

    Dierckx, M

    B. Dierckx, M. Fannes and M. Pogorzelska,Fermionic quasifree states and maps in information theory, J. Math. Phys.49(2008), 032109

    2008

  28. [28]

    Fagnola and R

    F. Fagnola and R. Reboledo,Entropy production and detailed balance for a class of quantum Markov semigroups, Open Syst. Inf. Dyn.22, 1550013 (2015)

    2015

  29. [29]

    Fagnola and V

    F. Fagnola and V. Umanit` a,Generators of Detailed Balance Quantum Markov Semigroups, Infin. Dimens. Anal. Quantum Probab. Relat. Top.,10, no. 3, 335-363, 2007

    2007

  30. [30]

    Fannes and F

    M. Fannes and F. Rocca.A class of dissipative evolutions with applications in thermodynamics of fermion systems. J. Math. Phys.,21(1980) 221–226

    1980

  31. [31]

    Fock,Konfigurationsraum und zweite Quantelung

    V. Fock,Konfigurationsraum und zweite Quantelung. Zeitschrift f¨ ur Physik (in German).751932, 9–10

  32. [32]

    Glimm and A

    J. Glimm and A. Jaffe, Quantum physics: A Functional Integral Point of View, Springer, Berlin, 1987

    1987

  33. [33]

    Gorini, A

    V. Gorini, A. Kossakowski and E. C. G. Sudarshan,Completely positve dynamical semigroups of N-level systems, J. Math. Phys.17, 821-825,1976

    1976

  34. [34]

    Gross,Existence and uniqueness of physical ground states, J

    L. Gross,Existence and uniqueness of physical ground states, J. Funct. Anal.1059-109, 1972

    1972

  35. [35]

    Gross,Hypercontractivity and logarithmic Sobolev inequalities for the Clifford-Dirichlet form, Duke Math

    L. Gross,Hypercontractivity and logarithmic Sobolev inequalities for the Clifford-Dirichlet form, Duke Math. J.42383-396, 1975

    1975

  36. [36]

    Gross,Logarithmic Sobolev inequalities

    L. Gross,Logarithmic Sobolev inequalities. Amer. J. Math.97(1975), 1061–1083

    1975

  37. [37]

    P. R. Halmos,A hilbert space problem book, Van Nostrand, Princeton, 1967

    1967

  38. [38]

    N. M. Hugenholtz and R. V. Kadison,Automorphisms and quasi-free state of the CAR algebra, Comm. Math.Phys.43(1975), 181–197

    1975

  39. [39]

    Jordan and E

    P. Jordan and E. Wigner, ¨Uber das Paulische ¨Aquivalenzverbot, Z. Physik47, (1928) 631–651

    1928

  40. [40]

    Jacobs and C

    T. Jacobs and C. Maes,Reversibility and irreversibility within the quantum formalism, Physicalia Magazine,27(2005), 119–130

    2005

  41. [41]

    E. H. LiebConvex trace functions and the Wigner-Yanase-Dyson conjecture, Adv. Math.11, 267-288, 1973. FERMIONIC GAUGE INVARIANT GAUSSIAN MAPS 61

    1973

  42. [42]

    Kossakowski, A

    A. Kossakowski, A. Frigerio, V. Gorini, and M. Verri,Quantum detailed balance and KMS condition, Comm. Math. Phys.,57, 97-110, 1977

    1977

  43. [43]

    Lindblad,On the generators of quantum dynamical semigroups, Comm

    G. Lindblad,On the generators of quantum dynamical semigroups, Comm. Math. Phys.,48, 119-130, 1976

    1976

  44. [44]

    second quantization

    L.-E. Lundberg,Quasi-free “second quantization”, Commun. Math. Phys.,50(1976) 103–112

    1976

  45. [45]

    W. A. Majewski and R. F. Streater,Detailed balance and quantum dynamical maps, J. Phys. A: Math. Gen.31, (1998) 7981-7995

    1998

  46. [46]

    G Mehler ¨Uber die Entwicklung einer Function von beliebig vielen Variablen nach Laplaschen Functionen h¨ oherer Ordnungn.Crelle’s Journal66(1866), 161–176

    F. G Mehler ¨Uber die Entwicklung einer Function von beliebig vielen Variablen nach Laplaschen Functionen h¨ oherer Ordnungn.Crelle’s Journal66(1866), 161–176

  47. [47]

    MeyerL’Operateur carr´ e du champ

    P.-A. MeyerL’Operateur carr´ e du champ. S´ eminaire de Probabilit´ es X Universit´ e de Strasbourg. Lecture Notes in Mathematics.511, Berlin, Heidelberg: Springer. 142–161

  48. [48]

    Nelson,Topics in Dynamics I: FlowsPrinceton Univ

    E. Nelson,Topics in Dynamics I: FlowsPrinceton Univ. Press, Princeton, 1969

    1969

  49. [49]

    Nelson,The free Markoff field, Jour

    E. Nelson,The free Markoff field, Jour.. Func. Analysis12(1973), 211-227

    1973

  50. [50]

    Paulsen,Completely bounded maps and operator algebras, vol

    V. Paulsen,Completely bounded maps and operator algebras, vol. 78 of Cambridge Studies in Ad- vanced Mathematics, Cambridge University Press, Cambridge, 2002

    2002

  51. [51]

    Petz,Sufficient subalgebras and the relative entropy of states of a von Neumann algebra,Comm

    D. Petz,Sufficient subalgebras and the relative entropy of states of a von Neumann algebra,Comm. Math. Phys.105:1, 123-131 (1986)

    1986

  52. [52]

    Petz,Sufficiency of channels over von Neumann algebras,Quart

    D. Petz,Sufficiency of channels over von Neumann algebras,Quart. J. Math. Oxford Ser. (2),39:153, 97-108 (1988)

    1988

  53. [53]

    Powers, R

    R. Powers, R. and E. Størmer,Free states of the canonical anticommutation relations, Comm. Math. Phys.16(1970) 1–33

    1970

  54. [54]

    Prosen,Third quantization: a general method to solve master equations for quadratic open Fermi systems, New J

    T. Prosen,Third quantization: a general method to solve master equations for quadratic open Fermi systems, New J. Phys.10(2008), 043026

    2008

  55. [55]

    Prosen,Spectral theorem for the Lindblad equation for quadratic open fermionic systems, J

    T. Prosen,Spectral theorem for the Lindblad equation for quadratic open fermionic systems, J. Stat. Mech. (2010) P07020

    2010

  56. [56]

    Schrader and R

    R. Schrader and R. D. Uhlenbrock:Markov structures on Clifford algebras, Jour. Func. Analysis., 18(1975) 369—413

    1975

  57. [57]

    I. E. Segal:A non-commutative extension of abstract integration, Annals of Math.,571953), 401–457,

  58. [58]

    I. E. Segal.:Tensor algebras over Hilbert spaces II, Annals of Math.,63, (1956) 160-175,

    1956

  59. [59]

    I. E. Segal.:Mathematical characterization of the physical vacuum for a linear Bose-Einstein field, llinois J. Math.,6(1962), 500–523

    1962

  60. [60]

    I. E. Segal.:Algebraic integration theory, Bull. Am. Math. Soc..,71(1965), pp. 419-489

    1965

  61. [61]

    Shale and W

    D. Shale and W. F. Stinespring,States of the Clifford Algebra, Annals of Math.,80(1964), 365–381

    1964

  62. [62]

    Simon, TheP(Φ) 2 Euclidean (Quantum) Field Theory, Princeton University Press, Princeton, 1974

    B. Simon, TheP(Φ) 2 Euclidean (Quantum) Field Theory, Princeton University Press, Princeton, 1974

    1974

  63. [63]

    Tomiyama,On the projection of norm

    J. Tomiyama,On the projection of norm. one in W ∗-algebras, Proc. Japan Acad.33(1957), 608–612

    1957

  64. [64]

    Umegaki,Conditional expectation in an operator algebra, Tokohu Math

    H. Umegaki,Conditional expectation in an operator algebra, Tokohu Math. J.6(1954), 177–181

    1954

  65. [65]

    Umegaki,Conditional expectation in an operator algebra, II, Tokohu Math

    H. Umegaki,Conditional expectation in an operator algebra, II, Tokohu Math. J.8(1956), 86–100

    1956

  66. [66]

    Umegaki,Conditional expectation in an operator algebra, III, Kodai Math

    H. Umegaki,Conditional expectation in an operator algebra, III, Kodai Math. Sem. Rep.11(1959), 51–64

    1959

  67. [67]

    Umegaki,Conditional Expectation in an Operator Algebra

    H. Umegaki,Conditional Expectation in an Operator Algebra. IV. Entropy and Information,Kodai Math. Sem. Rep.14(1962), 59–85

    1962

  68. [68]

    Wigner, Uber die Operation der Zeitumkehr in der Quantenmechanik, Nachr

    E. Wigner, Uber die Operation der Zeitumkehr in der Quantenmechanik, Nachr. Akad. Ges. Wiss. G¨ ottingen31(1932), 546–559

    1932

  69. [69]

    J. C. Wolfe,Free states and automorphisms of the Clifford algebra, Comm. Math. Phys.45(1975), 53–58. Department of Mathematics, Hill Center, Rutgers University, 110 Frelinghuysen Road, Piscataway, NJ 08854-8019, USA Email address:carlen@math.rutgers.edu

    1975