Entropy and the Spectral Action

We compute the information theoretic von Neumann entropy of the state associated to the fermionic second quantization of a spectral triple. We show that this entropy is given by the spectral action of the spectral triple for a specific universal function. The main result of our paper is the surprising relation between this function and the Riemann zeta function. It manifests itself in particular by the values of the coefficients c(d)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c(d)}$$\end{document} by which it multiplies the d dimensional terms in the heat expansion of the spectral triple. We find that c(d)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c(d)}$$\end{document} is the product of the Riemann xi function evaluated at -d\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${-d}$$\end{document} by an elementary expression. In particular c(4)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c(4)}$$\end{document} is a rational multiple of ζ(5)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\zeta(5)}$$\end{document} and c(2)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${c(2)}$$\end{document} a rational multiple of ζ(3)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\zeta(3)}$$\end{document}. The functional equation gives a duality between the coefficients in positive dimension, which govern the high energy expansion, and the coefficients in negative dimension, exchanging even dimension with odd dimension.


Introduction
The spectral action principle [4] has so far been developed for arbitrary test functions of the form χ(D 2 / 2 ) of a spectral triple (A, H, D). The spectral action defined, for a fixed choice of χ , as is an additive functional of the spectral triple (A, H, D), i.e. when evaluated on the direct sum of two spectral triples it behaves additively. This additivity is, at the conceptual level, a key property of the spectral action. Motivated by the formalism of Quantum field theory, one gets another natural way to obtain an additive functional of spectral triples: given (A, H, D) one performs the fermionic second quantization using the Clifford algebra of the underlying real Hilbert space H R and evaluating the von Neumann information theoretic entropy of the unique state satisfying the KMS condition at inverse temperature β with respect to the time evolution of the Clifford algebra induced by the operator D. The second quantization transforms direct sums into tensor products and moreover the von Neumann entropy of the tensor product of two states is the sum of the respective entropies. Thus one indeed obtains an additive functional of spectral triples in this way, which we simply call the "entropy" S(A, H, D) of the spectral triple. After recalling the KMS condition in Sect. 2.1 and the fermionic second quantization in Sect. 2.2 we show in Sect. 3 that the entropy functional is the spectral action for a specific universal test function χ(x) = h( √ x). The main result of this paper is the surprising intimate relation, explored in Sect. 4, between the function h and the Riemann zeta function. This is explained at the conceptual level to try to understand why it appears.
The content of this paper is purely mathematical. As far as physical applications are concerned, using the role of the spectral action as a framework to unify all fundamental interactions, this work indicates in particular the need to develop the spectral approach in connection with second quantization.

Spectral Triples and Second Quantization
We use the operator algebra formalism of C * -dynamical systems and KMS condition to pass from the first-quantized or "one-particle" level of spectral triples (A, H, D) to the second-quantized level. The Hilbert space H is used to construct the complexified Clifford algebra C := Cliff C (H R ) of its underlying real Hilbert space H R when considered as a Euclidean space. The operator D is used as the generator of a one-parameter group σ t ∈ Aut(C) of automorphisms of the Clifford algebra. The algebra A manifests itself through the semigroup of inner fluctuations [5] which labels deformations D of the operator D. The action of the semigroup of inner fluctuations continues to make sense at the second-quantized level and gives rise to deformations σ t ∈ Aut(C) of the above one-parameter group of automorphisms. We concentrate here on the meaning of the spectral action, and thus take the C * -dynamical system (C, σ t ) as our starting point, keeping in mind that the results will automatically apply to the deformations (C, σ t ).

KMS and the dynamical system (Cliff
). We first briefly recall the KMS condition for C * -dynamical systems, that is, a C * -algebra C together with a one-parameter group of automorphisms σ t ∈ Aut(C), t ∈ R. Definition 2.1. Let (C, σ t ) be a C * -dynamical system. For a given 0 < β < ∞, a state ϕ on the unital C * -algebra C satisfies the KMS condition at inverse temperature β if for all a, b ∈ C, there exists a function F a,b (z) which is holomorphic on the strip continuous on the boundary ∂ I β and bounded, with the property that for all t ∈ R In short the KMS condition at inverse temperature β means that one has the formal equality (3) What matters in the context of the present paper is the existence and uniqueness of KMS states on a matrix algebra M n (C) and we give the short proof for convenience. A one-parameter group of automorphisms σ t ∈ Aut(M n (C)) is always associated to a self-adjoint H = H * ∈ M n (C) by Given a state ψ on the matrix algebra M n (C) there exists a unique density matrix ρ ≥ 0 such that By uniqueness of the trace it follows that Proof. One applies the existence and uniqueness of KMS states on a matrix algebra to the subalgebra of C = Cliff C (H R ) associated to the subspace corresponding to a finite dimensional spectral projection of D. This is enough to prove the uniqueness of the KMS β state. The existence also follows since the existence part for matrix algebras gives a coherent system of states which define a state on the inductive limit of the C * -algebras. The proof of this proposition will be given in Sect. 2.2, Proposition 2.6 after recalling some terminology.

Fermionic second quantization.
In this section we recall the procedure of (fermionic) second quantization. We refer to [1,3] and [7, Sect. 5.3 and 6.1] for excellent expositions on fermionic second quantization. Consider the real Euclidean vector space V := H R that underlies the complex Hilbert space H. Our first goal is to find irreducible representations of the Clifford algebra associated to the real Euclidean vector space H R underlying H and for this it turns out that a crucial role is played by complex structures. We let I be an orthogonal complex structure on V , which is not necessarily the one coming from H. Then we may regard V as a complex vector space when we define i to act as I . The resulting complex Hilbert space will be denoted by V I .
A representation of the complexified Clifford algebra Cliff C (V ) is given on the Fock space V I that is built on V I by the usual formula Here the creation operators a * I (v) depend C-linearly on v ∈ V I and are given by exterior multiplication by v while the annihilation operator a I (v) is its adjoint. We choose a unit vector I ∈ 0 V I and call it the vacuum vector. It is annihilated by The following is well-known.

Lemma 2.4. The above representation γ I of the complexified Clifford algebra
Proof. We may assume that V is a inductive limit of finite-dimensional Hilbert spaces, and, accordingly, that Cliff C (V ) is the C * -algebraic inductive limit of finite-dimensional Clifford algebras. Without loss of generality we may thus assume that dim V < ∞ so that Cliff C (V ) are simple matrix algebras. We invoke Schur's Lemma to conclude that γ I is irreducible if and only if every operator T : For any v, one has, using the C-linearity of a * I (v) and C-anti-linearity of a I (v) Hence, any T that commutes with γ I (v) for all v commutes with a * I (v) and a I (v). From this it follows that In other words, T I = t I for some t ∈ C. Moreover, Any orthogonal operator T : V → V induces an automorphism of Cliff C (V ) by sending γ I (v) → γ I (T v). In some cases this automorphism can be lifted to the Fock space V I , for instance, if U is a unitary operator on V I . Then, if U is the unitary operator in the Fock space such that on simple tensors . We thus get the equality Remark 2.5. More generally speaking, the Shale-Stinespring Theorem [9] says that the automorphism on Cliff C (V ) defined by an orthogonal operator T : V → V is implementable by a unitary operator on Fock space V I if and only if T + I T I is Hilbert-Schmidt.
Suppose now that we are given a (complex) Hilbert space H and a self-adjoint operator D in H with compact resolvent. Again, let V = H R denote the underlying real vector space. Suppose that we take the natural complex structure on V so that V I = H. Then the above construction gives us an irreducible representation γ of the canonical anticommutation relations (CAR) algebra on H but, from a physical point of view this representation is not the right one to consider. In fact, Dirac realized in [6] that in order to avoid unwanted negative energy solutions to his Dirac equation, one has to fill up (what is now called) the Dirac sea. Mathematically speaking, this construction is nicely captured by choosing another irreducible representation, corresponding to a different complex structure on H. Let us describe it in some detail.
If E ± are the spectral projections of D corresponding to the positive and negative eigenspaces of D in H, let us define the following complex structure: In other words, I = i F where F = D|D| −1 is the sign 1 of D. In view of the previous section, this gives rise to another irreducible representation γ I of Cliff C (V ) in Fock space, where the key difference with respect to the original Fock space representation γ is that i acts as −i on E − (H). In other words, the operator D can be considered to act as |D| which now only has positive eigenvalues. More precisely, Proposition 2.6. (i) The one-parameter group σ t ∈ Aut(C) is implemented in the (physical) Fock representation by the one-parameter unitary group W (t) = exp(it|D|), i.e. one has (ii) If exp(−β|D|) is of trace class the state ψ β is of type I and is given by where the normalization factor Z is finite. Proof. The associated KMS β state is obtained after normalization from the density matrix W (iβ) obtained by analytic continuation. Thus it coincides here with the operator ρ = exp(−β|D|).
Since T = exp(−β|D|) is positive and of trace class we get that ρ = T is also positive and of trace class (with trace given by the determinant of 1 + T ). Thus Z < ∞. The state ψ β is implemented by a density matrix in an irreducible representation and is thus of type I.

von Neumann Information Theoretic Entropy
We start by briefly recalling von Neumann's notion of entropy. Consider a density matrix ρ on a Hilbert space H, i.e. a positive trace-class operator with normalized trace. It induces a state φ on any C * -subalgebra of L(H) by setting φ(·) = Tr(ρ·). The entropy of this state φ is then defined to be S(φ) := −Tr(ρ log ρ).
For composite systems φ 1 ⊗ φ 2 on H 1 ⊗ H 2 one finds the following important additivity property for entropy Let us start with a basic example of entropy that will play a crucial role in what follows.

Lemma 3.1. Let x > 0, the entropy of the partition of the unit interval in two intervals with ratio of size x, is given by
Proof. The sizes of the intervals are 1 x+1 and x x+1 . One has
The following result gives an expression for the entropy of density matrices that arise as a second-quantized operator (Fig. 1).

Lemma 3.3. Let T ∈ L 1 (H) + be a positive trace class operator and φ the state associated to T then S(φ) = Tr(E(T )). (6)
Proof. Let first T = T 1 ⊕ T 2 be an orthogonal decomposition. Let us show that the associated states fulfill φ = φ 1 ⊗ φ 2 . One has with ρ I = T I the equality ρ = ρ 1 ⊗ ρ 2 by the compatibility of the wedge functor with direct sums. Then Next the entropy functional fulfills This shows that the functional S(φ) is additive for direct sum decompositions. It also applies to infinite sums and one can thus consider only the one dimensional case. In this case the state associated to the operator T of multiplication by x corresponds to T whose spectrum is {1, x} and hence has entropy given by the function E(x) of Lemma 3.1.

Then if the operator exp(−β|D|) is of trace class, the state ψ β is of type I and its von Neumann entropy is equal to the spectral action Tr(h(β D)) for the spectral function h(x) := E(e −x ).
Proof. The first statement follows from Proposition 2.6. The statement about the entropy follows from Lemma 3.3 together with the fact that x → E(e −x ) is an even function (cf. Corollary 3.2).

The Function h and Riemann's ξ Function
Theorem 3.4 provides a very specific choice of test function for the spectral action and in this section we shall analyze the surprising relation between this specific function and the Riemann ξ function. Thus consider

Lemma 4.1. The function h(x) is an even positive function of the variable x ∈ R. Its derivative is
Lemma 4.2. One has, for x ≥ 0, Proof. The simplest periodic function written as a convergent Eisenstein series is One has which, using (7), gives the required equality since sin(u/2 + π/2) = cos(u/2) = cosh √ x/2.

Next one has
We want to apply the Fubini theorem to justify the formula One has ve −v ≤ e −v/2 and e −v ≤ e −v/2 for v > 0 so that the above integral is bounded by while it decays exponentially for large t. This justifies the formula (8) but we now need a better estimate of the function g(t) when t → 0.

Lemma 4.3. One has
Proof. We apply the Poisson summation formula, for the Fourier transform and the function One has

Thus (9) follows from (8) and the Poisson summation formula
This formula (9) together with the lack of constant term in the function Z (−1) n n 2 q n 2 = q∂ q θ 4 (0, q) show that the functiong(t) := g(t)/2t is of rapid decay near t = 0 and in particular is integrable.

Proposition 4.4. One has
Proof. Let k(x) be the right hand side of (10). One has, using (8), Thus the two functions h, k are equal because they both tend to zero when x → ∞.
Note that in terms of theta functions one has by Jacobi triple product formula This formula gives us a good control of the sign of the function Z (−1) n n 2 q n 2 = q∂ q θ 4 (0, q). Indeed one has 0 < q < 1 so that all terms in the product are positive. Moreover the logarithmic derivative gives Thus by (9) we get that both g(t) andg(t) are positive functions. We now compute the moments of the function h which are relevant in dimension 4, they are given by Proof. One has for α > 0, integrating by parts, Moreover by Lemma 4.2 one has Consider the function One has and changing variables by x = 2π n+π Thus for (α) ∈ (−2, −1) we get the equality and −π(1 + α) One has the functional equation in the form and it gives for s = α + 1 and by analytic continuation one gets (in concordance with [8,Formula 3.527 Thus using (13) one gets (12).
This gives us for the coefficient of t −a in the heat expansion the term a (a) .
(14) We need to check several properties of the right hand side. First it should define an everywhere holomorphic function of a ∈ C because as the coefficient of t −a in the heat expansion it is also given, using (10) by which is an entire function of a. Now ζ(z) has a pole at z = 1 but the corresponding pole of ζ(2a + 1) is cancelled by the following term which is 0 at a = 0: The other potential poles come from the term (2a + 2) which has a pole when 2a + 2 = −m is a negative integer. There are two cases: if m = 2b is even, then the term a (a) = (a + 1) also has a pole at the negative integer −b. If m = 2b + 1 is odd, then the term a (a) = (a + 1) does not have a pole at −b − 1 2 but the term ζ(2a + 1) vanishes for 2a + 2 = −m = −2b − 1 since 2a + 1 = −2b − 2 is a strictly negative even number. Next we should check that when a is a strictly negative integer the formula (14) should give a rational number which agrees up to sign and division by n! with the Taylor expansion of h( √ x) at x = 0. The rationality follows from the rationality of zeta at odd negative integers. The The terms k(a) : evaluated at negative integers are of the form while the values of zeta at odd negative integers gives , ζ(−9) = − 1 132 and one checks that the Taylor expansion of h( √ x) at x = 0 is given by To consider the odd case when a is a negative half integer we use the functional equation to rewrite the terms in (14) as follows 2 cos π(a + 1 2 ) (a + 1) using the formula of complements in the form (−a) (a + 1) = π cos π(a + 1 2 ) . Moreover in terms of Riemann's ξ function, and we get We thus get, summarizing the above computations, and changing a → −a, Proposition 4.6. The expansion of the entropy functional in powers of beta near β = 0 is obtained from the heat expansion by setting t = β 2 and by multiplying the term in t a by the following expression As a corollary we double check that this is an entire function of the variable a ∈ C and that when a is a negative integer −n the result does involve the value of zeta at the odd positive integer 2n + 1. This shows that these odd zeta values show up in the even dimensional case for the coefficients of negative powers of t and in the odd dimensional case for the coefficients of positive powers of t. What this table of values also shows is that the functional equation gives a duality between the coefficients of the high energy expansion in even dimension with the coefficients of the low energy expansion in the odd dimensional case. and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

A. Appendix
We recall briefly in this appendix the relation of the constants appearing in the heat expansion and the spectral action. Consider a test function χ(u) which is given as a simple superposition of exponentials as a Laplace transform of the form where the function g(s) is of rapid decay near 0 and ∞. Let be a positive self-adjoint operator An asymptotic expansion of the form Trace (exp(−t )) ∼ a α t α then yields For α < 0 one has, Moreover, for α = 0 one has ∞ 0 g(s) ds = χ(0).

Thus, one gets
For α = n a positive integer, using (∂ u ) n (e −su ) = (−1) n s n e −su , one has 2