## The dyadic zeta story in a nutshell

[ Update: January 14, 2018: The paper on Elementary Dyadic Riemann Hypothesis [ArXiv] (see also local [PDF]) is a writeup of what is exposited here. ]

The Riemann zeta function is the spectral zeta function of the circle $T$, a topological group which is the Pontryagin dual of the group of the rational integers $Z$. We look here at the zeta function analogue, where the field of real numbers $R$ is replaced by the field of dyadic numbers $X$, where the group $Z$ is replaced with the Prüfer group $P$ and where the circle group $T$ is replaced with the dyadic group of integers $D$. The dyadic story is completely different from the real story. Unlike in the Riemann zeta function case, where the structure of the primes in Z is intricate and complicated, the Dyadic case is “integrable” in the sense that we know virtually everything about the zeta function. It reflects the fact that since the Prüfer group P is a divisible group (meaning that for every positive integer n, the group n P is the group P itself), there are no interesting primes. The Dyadic zeta function is now an explicitly known entire function satisfying a functional equation $\zeta(s)=\zeta(-s)$ which has all roots on the imaginary axes. This is a dyadic Riemann hypothesis. This story of the Dyadic zeta function tells nothing about the Riemann hypothesis. The Dyadic and Real worlds are far apart. It is an interesting analogy however and illustrates how natural the connection calculus is and how it is tied to a dyadic arithmetic.

[Update Jan 9: the statement that the classical and dyadic stories are “far apart” might have to be modified: a recent conjecture of Friedli and Karsson in the Hodge Laplacian case: if the approximation of the circular Hodge zeta function to the limiting zeta function of $Z$ is good enough in the critical strip, then the Riemann hypothesis holds. This amounts of estimating the integral of $f(x)=\sin^s(\pi x)$ with a Riemann sum on the interval $[0,\pi]$. In the dyadic case, we have also that the zeta functions of finite simplicial complexes are Riemann sums to an entire function. As the limiting zeta function is just a transplanted f, it is very likely that the same Friedkli-Karsson statement holds also for the Dyadic approximation. More about this in the last section of this blog entry.]

## A functional equation

Mid December stroke the experimental discovery that for a one-dimensional finite abstract simplicial complex G, the spectrum of the connection Laplacian L [defined by $L(x,y)=1$ if $x \in G$ and $y \in G$ intersect and $L(x,y)=0$ if $x$ and $y$ are disjoint] satisfies the symmetry $\sigma(L^2) = \sigma(L^{-2})$. Talking about the inverse $L^{-1}$ makes sense because $g=L^{-1}$, the Green’s function operator is bounded by the unimodularity theorem. The functional equation is remarkable and was unexpected. It was undetected for so long because we usually look at higher dimensional or randomly generated complexes, which are most of the time not one-dimensional. An other reason why the result was a bit hidden as we have to get to used to the fact that the connection Laplacian is actually better an analogue of the Dirac operator and not of the Laplacian. Like in the Hodge case, where $H=D^2$ is the Hodge Laplacian defined by the Dirac operator $D=d+d^*$ (where $d$ is the exterior derivative in the form of incidence matrices defined by Poincaré) we should maybe think of the square $L^2$ as the right analogue of the Laplacian. Anyway, it is positive definite, like the classical Hodge Laplacian $H=D^2$ [which has a continuum analog in the form of differential operators] is positive semi-definite.

The spectral symmetry tells that for every eigenvalue $\lambda$ of the connection Laplacian $L$, there is an eigenvalue $\pm \lambda^{-1}$. This observation was only made after looking at the roots of the connection zeta function $\zeta(s)$ defined as $\sum_{k=1}^n (\lambda_k^2)^{-s/2}$, where $\lambda_k$ are the eigenvalues of $L$. The reason to normalize the zeta function and take $\zeta_{L^2}(s/2)$ rather than $\zeta_L(s)$ is because with negative $\lambda$, there is the ambiguity of choosing a root. As $L$ has both positive and negative spectrum, the pictures of the zeta function are just not nice. Taking the square of the operator and taking $s/2$ (even so the later division by 2 is often not done any more) normalizes the zeta function nicely. This is quite familiar as the Riemann zeta function is normalized in the same way when seeing it as the Zeta function of the Dirac operator $D=i d/dx$ on the circle $T=R/Z$. The Dirac operator $D$ on the circle has the eigenvalues $\lambda_n=-n$ with eigenvector $\phi_n(x)=\exp(i n x)$ but $\sum_{n \in Z} n^{-s}$ does not work well at all. It is better to take the positive eigenvalues $n^2$ of the Laplacian $D^2=-d^2/dx^2$ to get the familiar definition $\sum_{n \geq 1} n^{-s}$. The eigenvalue $0$ of the Dirac operator belonging to the constant function is ignored in the Riemann zeta function case. This reflects the fact that in differential geometry, the zeta regularized determinant is actually a Pseudo determinant and not a determinant. Zeta regularizations of determinants and spanning tree formulas are a major motivation to study pseudo determinants and more generally the coefficients of the characteristic polynomial and not only determinants, which is one particular coefficient of the characteristic polynomial. In the connection operator case, we don’t need to ignore the zero eigenvalue as $L$ is always invertible.

 Theorem (Functional equation). The connection zeta function $\zeta(s)$ of any one-dimensional simplicial complex satisfies the functional equation $\zeta(s)=\zeta(-s)$.

The functional equation is equivalent to the fact that the spectrum of $L$ satisfies the symmetry $\sigma(L)=1/\sigma(L)$. It is also equivalent to the statement that the characteristic polynomial of $L^2$ is palindromic. For general complexes the spectrum does not satisfy this symmetry. It is a feature however for one-dimensional complexes. By the way, we so far have not seen a two or higher dimensional simplicial complex which has this spectral symmetry. The palindromic property might characterize complexes which have dimension 0 or 1 but we have not thought about this theoretically yet.

Here is a picture of a zeta function of a one dimensional simplicial complex. It has been rotated so that the imaginary axes is the horizontal axes and so that the real axes is at the center pointing north. The picture shows the level curves of the zeta function of the one-dimensional figure 8 complex, a graph with 7 vertices, 8 edges, Betti numbers $b_0=1, b_1=2$. We see clearly the spectral symmetry.

The figure 8 graph is a one-dimensional simplicial complex with Euler characteristic 7-8=-1. The eigenvalues of the square of the connection Laplacian $L^2$ are $\{0.0319675, 0.0736202, 0.116692, 0.171573, 0.171573, 0.561177, 1., 1., 1., 1.78197, 5.82843, 5.82843, 8.5696, 13.5832, 31.2817\}$. The spectral symmetry can be observed by seeing that if $\lambda$ is an eigenvalue, then also $1/\lambda$ is an eigenvalue of $L^2$.

Lets look at an other zeta function picture. It belongs to the triangle graph, which is a two-dimensional simplicial complex of Euler characteristic 3-3+1=1. The spectrum of the $7×7$ squared connection matrix $L^2$ is $\{30.3756, 2.61803, 2.61803, 0.566283, 0.381966, 0.381966, 0.0581356\}$. There is no spectral symmetry. Indeed, the complex is no more one-dimensional. Here is a picture of the level curves of the zeta function. Again the picture turned so that the imaginary axes looks to the right and the real axes points upwards. We see that the functional equation does not hold any more: The Dyadic group of integers D is not as familiar to us than the circle T. It is a much simpler space however as it is completely disconnected and is quantized, (we have a smallest translation in D, defining a dynamical system which is also called the “adding machine”), it is still a compact space and a natural limit of one-dimensional geometric spaces in the Barycentric limit. The Pontryagin dual P of D, the Prüfer group, does not have any interesting primes. The Prüfer group is the spectrum of the Koopman operator of the adding machine. I originally had been led to this via ergodic theory, when looking at renormalizations of random Jacobi matrices. The Dyadic group appeared there naturally as a limit of a 2:1 integral extension in ergodic theory: the group translation is called the von Neumann-Kakutani system. The 2:1 integral extension is probably the most simple “renormalization map” as it is a simple contraction in the complete metric space of measure preserving dynamical systems. One can reverse the map by looking at the return map onto the original part of the probability space squaring the map. Its unique fixed point is integrable, a group translation on D.

The limiting operators are almost periodic operators defined over that ergodic system. The spectra are located on Julia sets, the density of states are the equilibrium measures on that sets. In some sense, these Jacobi operators define a “quantization of the concept of Julia sets” as they are operators for which the spectra are Julia sets. In some sense by looking at Barycentric refinements of simplicial complexes, we introduce in the limit a system which has this scaling symmetry.

Some other mathematical connections to the dyadic world are discussed here, in a blog of Tao from more than 10 years ago where the importance of dyadic models is stressed like: (citation: Very broadly speaking, one of the key advantages that dyadic models offer over non-dyadic models is that they do not have any “spillover” from one scale to the next.) Our angle is more simplistic: we compare the real world and dyadic world by looking at the properties of the underlying spaces:

Field Real line Dyadic numbers X
Topological group Circle T Dyadic group D
Pontryagin dual Integers Z Prüfer group P
Divisibility T is divisible P is divisible
Compactness T is compact D is compact
Connectedness T is Neither D nor P
Profinite Neither T nor Z D is profinite
Smallest translation Z has D has smallest translation step
Quotient T=R/Z P=X/D
Laplacian $D^2=-d^2/dx^2$ $L^2$
Zeta function Riemann zeta function limit of $\zeta(C(2^n))$
Feels like Classical Quantum

The lack of interesting primes in the Prüfer group manifests when looking at the zeta function in the Barycentric limit:

 Theorem (Dyadic Riemann Hypothesis). For any one-dimensional simplicial complex $G$, the rescaled zeta functions $\zeta_{G_n}/|G_n|$ of the successive Barycentric refinements $G_n$ of $G$converge to an entire function which has all roots on the imaginary axes and satisfies the functional equation $\zeta(s)=\zeta(-s)$.

An explicit formula for the limiting zeta function is
$$z(it) = \int_0^1 \frac{2 \cos(2 t \log(\sqrt{4 v^2+1}+2 v))}{\pi \sqrt{1-v} \sqrt{v}} \, dv \; .$$
We wrote it with the rotated variable $s=it$ so that for real $t$, we get a real function. Her is the graph of that real function. The roots are the roots of the zeta function.

[We tried to relate the integral in terms of known functions like some kind of hyperelliptic function but had no luck so far. Computer algebra systems are usually quite good in figuring out such connections. The integral looks a bit complicated but it is actually just the conformal image of the equilibrium measure on an interval under a Joukowski type map $S(z)=z-1/z$. There is no “meta law” which assures that simple natural expressions need to have a name. The pendulum system or the Kepler problem are both cases where basic elementary functions do not catch any more and elliptic integrals appear. Still, it could well be that the integral can be expressed in terms of some hyperelliptic functions, we just did not find it yet. But here are two Mathematica expression before and after a trig substitution

Integrate[ 2*Cos[2t*Log[(2*Sin[Pi*x]^2 + Sqrt[1 + 4*Sin[Pi*x]^4])]],{x,0,1}]
Integrate[ 4*Cos[2t*Log[2*v+Sqrt[1+4*v^2]]]/(2 Sqrt[v] Pi Sqrt[1-v]),{v,0,1}]


] We had proven an other Baby Riemann hypothesis for the Hodge operators $H=D^2$ of a simplicial complex. What happened there is that the limiting roots are on the axes Re(s)=1. But there, no explicit formula for the limiting zeta function is found yet. The proof in the Hodge case was much harder and more technical as there was no functional equation. It required to analyze the situation in three different regions of the complex plane. In one region, the analysis was similar to what happens in the connection graph, on a second region Re(s)>1, there had been a connection with the Riemann zeta function. Then, in the critical strip, the analysis required some subtle single variable calculus. Here, in the connection Laplacian case, the analysis is straightforward as we will see below.

The convergence happens for example uniformly on compact subsets of the complex s-plane. We will in the next section explain a bit the proof. Let us look at some pictures of Zeta functions for circular graphs. We first see the circular graph with 4 vertices, then with 32 vertices, 64 and finally with 128 vertices, where we are already very close to the limiting zeta function. In all four pictures, the real axes points upwards and is on the left hand side of the picture (we only show part of the upper half plane as the picture to the left looks the same).

## Elements of the proof

While the mathematics is pretty explicit, there are still some interesting pieces in the proof.

A) PYTHAGORAS We can make use of our generalized Cauchy-Binet formula for arbitrary $n \times m$ matrices $F,G$. It tells that the $k$’th coefficient of the characteristic polynomial of the $m \times m$ square matrix $F^T G$ is an interior product $p_k(F^T G) = \sum_{|P|=k} {\rm det}(F_P) {\rm det}(G_P)$ of minors. The classical Cauchy-Binet case is the special case of the largest coefficient $p_m$. The product formula for determinants is the case when both F and G are square matrices. We first had generalized that Cauchy-Binet to pseudo determinants which is the largest non-zero $p_k$ and then extended it to all characteristic polynomials. [By the way, the literature on determinants is huge and in that research in a very classical area, more time was spent to check that the result is really new and not hidden in some publication. There are other special cases which are known like the case $k=1$ (for which $p_1$ is the trace), and where the identity is a Hilbert-Schmidt identity). Also for square matrices F=G, one can see the result as a trace formula used in functional analysis (especially in the context of Trace ideals) and Fredholm determinants. [By the way, my own exposure in this matter had been sharpened in mathematical physics, especially by attending a course of Barry Simon on trace ideals (around 1995).]

B) PALINDROMS An other ingredient in the proof is to give explicit formulas for the eigenvalues of the connection Laplacians for circular graphs. Unlike the Hodge case, where Fourier theory directly diagonalizes the matrices, we had to fight for a while for explicit formulas in that case. I only managed to get this at the very end of the old year 2017 after two days of experientation. It turns out that we have to make a nonlinear coordinate transformation in order to use Fourier theory. It is obvious, once seen but not needed detours over palindromic polynomials to get to it. What led to the idea is that every unimodular palindromic polynomial can be expressed using a polynomial of half the degree and that that this is the characteristic polynomial of an other operator. It is in some sense a nonlinear renormalization map in the space of palindromic polynomials. Palindromic polynomials appear to be related to recreational mathematics but they are important in virtually any part of mathematics! The Alexander polynomials of knots for example are palindromic. We even looked once at palindromic Schroedinger operators even so there, the potentials of the operators and not the characteristic polynomials were palindromic.

C) RIEMANN SUMS A third ingredient is borrowed from the Hodge case paper. It deals with the elementary (but very exciting) story of Riemann sums of a smooth function. That story is certainly not to the taste of contemporary mathematics (which loves complexity) but it is close to what we teach to undergraduates and where mathematics is most fun, as one can see everything with crystal clear clarity and understand. What happens if we take a smooth function $f$ on the interval $[0,1]$ an compare the Riemann sum $S(n)=\sum_{k=1}^n f(k/n)$ with the integral $S=\int_0^1 f(x) \; dx$? Of course $S(n)/n$ converges to $S$, but how fast. It happens surprisingly fast. We can even estimate $S(n)-n S$ using higher derivatives. Now, it turns out that Zeta functions (both in the Hodge as well as in the connection case) are Riemann sums of explicitly known functions. This allows us to analyze the convergence.

D) BARYCENTRIC LIMITS An other old story comes in as we want to see that the limiting zeta function does not depend on the starting complex. This requires to estimate the eigenvalues of complexes which have undergone surgery. For one-dimensional complexes this is particularly simple. We have only to cut and reglue the complex at finitely many vertices to get a circular graph. And the number of cuts and gluings does not depend on the stage of the Barycentric refinement at all. A basic theorem of Lidsky (again a linear algebra story) allows now to see the difference between the zeta functions. This is also an older story see here. See also this presentation on slides explaining the central limit theorem (convergence of the density of states in law) in that case.

In the next few sections, we plan to say more in each case. A document with a write up will appear soon.

## The Euler characteristic in terms of the Zeta function

Before we look at the proof, let us look at two formulas which illustrate how we got to the zeta function from previous investigations. There is more information in the non-normalized zeta function $\sum_{k=1}^n \lambda_k^{-s}$, where $\lambda_k$ are the eigenvalues of the connection Laplacian $L$ of a finite abstract simplicial complex $G$. We don’t assume here that G is one-dimensional. We first of all have $\zeta_L'(0) = -i \pi n(G)$, where $n(G)$ is the number of negative eigenvalues. The unimodularity theorem $|{\rm det}(L)|=1$ implies ${\rm Re}( \log(L) )= 0$. Now, ${\rm Im}(\log(L)) = i\pi (n(G))$, where $n(G)$ is the number of negative eigenvalues. The fact that $n(G)$ is the number of odd-dimensional simplices (the Morse index if we think of L as a Hessian matrix) was proven before. But now we can express the Euler characteristic in terms of the zeta function: $\chi(G) = \zeta(0)-2 i \zeta'(0)/\pi$. The reason is that $\zeta(0)=p(G)+n(G)$ and $i \zeta'(0)/\pi = n(G)$ so that $\chi(G)=p(G)-n(G) = \zeta(0)-2 i \zeta'(0)/\pi$. Also the determinant of $L$ can be expressed in terms of the Zeta function: $(-1)^{n(G)} = \exp(-i \zeta’_L(s)) = {\rm det}(L(G))$. These formulas hold in general. We will look more about cohomology of a complex from the spectrum but as we have seen already that only works for subclasses of complexes: there are even one-dimensional examples of complexes for which isospectral complexes have different cohomology.

## The functional equation To prove the functional equation, we need to show the palindromic property $p_k = p_{n-k}$. We use the notation $p(x) = {\rm det}(A-x I) = p_0(-x)^n +p_1(-x)^{n-1} + \dots +p_k(-x)^{n-k} + \dots + p_n$ for the characteristic polynomial of a matrix $A$. Here is an example: we take a 3-clover graph, which is a one-dimensional sphere bouquet with three leaves. It has the f-vector (10,12) and 10+22 22 simplices and Euler characteristic $10-12=-2 = b_0-b_1=1-3$. The genus $1-\chi(G)$ counts the number of holes in a one-dimensional complex. We have seen in various places that the genus $1-\chi(G)$ plays an important role everywhere else, also in higher dimensions. The diagonal entries $g(x,x)$ of the Green function $g=L^{-1}$ for example is given as the genus of the unit sphere $S(x)$. The Poincaré-Hopf index of a locally injective function $f$ is defined as the genus of the stable sphere $S^-(x)=\{ y \in S(x) | f(y) < f(x) \}$. The sum over all the genus values of the unit spheres of a complex is the trace of the Hydrogen operator, which will play a role in a second.

The connection Laplacian is the $22 \times 22$ matrix
$$L=\left[ \begin{array}{cccccccccccccccccccccc} 1&0&0&0&0&0&0&0&0&0&1&1&1&1&1&1&0&0&0&0&0&0\\ 0&1&0&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0&0\\ 0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&1&1&0&0&0&0\\ 0&0&0&1&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0\\ 0&0&0&0&1&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0\\ 0&0&0&0&0&1&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0\\ 0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&1&1&0&0\\ 0&0&0&0&0&0&0&1&0&0&0&0&0&0&1&0&0&0&0&0&1&0\\ 0&0&0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&1&1\\ 0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0&0&1\\ 1&1&0&0&0&0&0&0&0&0&1&1&1&1&1&1&1&0&0&0&0&0\\ 1&0&0&1&0&0&0&0&0&0&1&1&1&1&1&1&0&1&0&0&0&0\\ 1&0&0&0&1&0&0&0&0&0&1&1&1&1&1&1&0&0&1&0&0&0\\ 1&0&0&0&0&1&0&0&0&0&1&1&1&1&1&1&0&0&0&1&0&0\\ 1&0&0&0&0&0&0&1&0&0&1&1&1&1&1&1&0&0&0&0&1&0\\ 1&0&0&0&0&0&0&0&0&1&1&1&1&1&1&1&0&0&0&0&0&1\\ 0&1&1&0&0&0&0&0&0&0&1&0&0&0&0&0&1&1&0&0&0&0\\ 0&0&1&1&0&0&0&0&0&0&0&1&0&0&0&0&1&1&0&0&0&0\\ 0&0&0&0&1&0&1&0&0&0&0&0&1&0&0&0&0&0&1&1&0&0\\ 0&0&0&0&0&1&1&0&0&0&0&0&0&1&0&0&0&0&1&1&0&0\\ 0&0&0&0&0&0&0&1&1&0&0&0&0&0&1&0&0&0&0&0&1&1\\ 0&0&0&0&0&0&0&0&1&1&0&0&0&0&0&1&0&0&0&0&1&1\\ \end{array} \right] \; .$$
The coefficients $p_k$ of the characteristic polynomial are the palindrome $\{1, 118, 5199, 121460, 1725515, 15972510, 100208325, 436757040, 1345933002, 2974271212, 4764416470$,
$5570332344$, $4764416470, 2974271212, 1345933002, 436757040, 100208325, 15972510, 1725515, 121460, 5199, 118, 1\}$. The eigenvalues of $L^2$ are
$54.3423, 13.5832, 13.5832, 9.53444, 5.82843, 5.82843, 5.82843, 1.78197, 1.78197, 1., 1.$, $1., 1., 0.561177, 0.561177, 0.171573, 0.171573, 0.171573, 0.104883, 0.0736202, 0.0736202, 0.0184019$. We see the spectral symmetry $\sigma(L)=1/\sigma(L)$.

In order to prove the symmetry $p_k = p_{n-k}$, we use

 Generalized Cauchy-Binet formula: Given two arbitrary $n \times m$ matrices $F,G$. The coefficient $p_k$ of the Characteristic polynomial of $F^T G$ satisfy $p_k = \sum_P det(F_P G_P)$.

Cauchy-Binet is the special case when $k=min(m,n)$ which gives $det(F^T G) = \sum_{|P|=k} det(F_P) G(P)$ and which is in the case $n=m$ the product formula $det(F G) = det(F) det(G)$ for determinants. As a special case, the coefficients $p_k$ of $L^2$ satisfy a Pythagorean identity

 Corollary (Generalized Pythagoras) Given a selfadjoint matrix L, then $p_k(L^2) = \sum_{|P|=k} det(L_P)^2$

A special case of that is the Hilbert-Schmidt identity $tr(L^2) = \sum L_{ij}^2$ which already generalizes Pythagoras and justifies the name. To prove the functional equation, we have to show that $p_k = p_{n-k}$. The above Pythagorean formula reduces this to a question about determinants. The proof then goes by induction but as we have to track not only determinants but all coefficients of the characteristic polynomial during the deformation, we need a bit more analysis. Of course we hoped to find an interpolating deformation of the operators such that $p_k(t)-p_{n-k}(t)$ remains zero. This hope was in vain and the obstacle was overcome only when the fall semester was over and I had more time. During the interpolating deformation $p_k(t)-p_{n-k}(t)$ is not zero! If we use the deformation like in the this paper when proving the spectral formula $\chi(G) = p(G)-n(G)$, where $p(G)$ is the number of positive eigenvalues and $n(G)$ the number of negative eigenvalues. But there is a miracle happening: if we deform the Laplacian when adding a new cell, then we can look at $\phi_k(t) = p_k(t)-p_{n-k}(t)$. It would have been simplest if $\phi_k(t)$ remained zero. But it does not! We therefore have to track the motion. The differential equation for the quadratic functions in $t$ and prove that $\phi_k(t)=0$ for $t=0$ and $t=1$.

## The spectrum in the circular case

Let G be the circular graph $C_n=C_8$. Its Whitney complex is = $\{\{1\},\{2\},\{3\},\{4\},\{5\},\{6\},\{7\},\{8\},\{1,2\},\{1,8\},\{2,3\},\{3,4\},\{4,5\},\{5,6\},\{6,7\},\{7,8\}\}$. Lets look first at the Dirac operator $D$ which is
$$D = \left[ \begin{array}{cccccccccccccccc} 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & -1 & -1 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & -1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & -1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & -1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & -1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & -1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & -1 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 1 \\ -1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ -1 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & -1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & -1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & -1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & -1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & -1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & -1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ \end{array} \right]$$
The Laplacian $L=D^2$ is
$$H=D^2 = \left[ \begin{array}{cccccccccccccccc} 2 & -1 & 0 & 0 & 0 & 0 & 0 & -1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ -1 & 2 & -1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & -1 & 2 & -1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & -1 & 2 & -1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & -1 & 2 & -1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & -1 & 2 & -1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & -1 & 2 & -1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ -1 & 0 & 0 & 0 & 0 & 0 & -1 & 2 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 2 & 1 & -1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 2 & 0 & 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & -1 & 0 & 2 & -1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & -1 & 2 & -1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & -1 & 2 & -1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & -1 & 2 & -1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & -1 & 2 & -1 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & -1 & 2 \\ \end{array} \right] \;$$
which consists of two copies $H_0,H_1$ of the Kirchhoff operator. Fourier theory diagonalizes the matrix. The eigenvalues are $2-2 \cos(2\pi k/n) = 4 \sin^2(\pi k/n)$. Now lets look at the connection Laplacian L which is defined as the matrix where $L(x,y)=1$ if the two simplices x,y intersect and $L(x,y)=0$ if they don’t intersect. The matrix is
$$L= \left[ \begin{array}{cccccccccccccccc} 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 1 \\ 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 0 \\ 1 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 1 \\ 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 \\ 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 1 & 1 \\ \end{array} \right]$$
Can we find an explicit expression for the eigenvalues? Fourier theory does not do it any more.

## A few spectra

Lets look at a few graphs. In each case, if $\lambda_k$ are the eigenvalues, we look at the function $f(x) = \lambda_{[n x]}$, (where as usual the notation $[q]$ is the floor function, giving the largest integer smaller or equal to q). The inverse of this function is the integrated density of states (the cumulative distribution function for the probabilist). In the second graph we see the mass gap for the connection Laplacian. This is the main source for the excitement about the connection Laplacian. The fact that L is invertible even in the Barycentric limit makes the story not only exciting. It renders much of the matheatics very simple. The last picture illustrates the spectral symmetry $\sigma(L)=1/\sigma(L)$ for the connection Laplacian of a one-dimensional complex. We will just see that we can still compute this limiting graph explicitly like in the Hodge case.    The eigenvalues of $H=D^2$. The eigenvalues of $L$. The eigenvalues of $L^2$. The eigenvalues of $\log(L^2)$.

## The Hydrogen operator

In this paper we looked at the operator $Hydro=L-L^{-1}$. We especially looked at a Dehn-Sommerville functional $tr(Hydro)$. It was interesting for us because it is $f'(0)-f'(-1)$ for a generating function of a f-vector and also because it is the sum of the Euler characteristic of the unit spheres of the Barycentric refinement of G. It was called the Hydrogen operator because $-\Delta + 1/|x-y|$ is the quantum mechanical energy Hamiltonian of the Hydrogen atom and the inverse of $\Delta$ in $R^3$ has the kernel $g(x,y)=1/|x-y|$. It is natural to look also here for the operator $L-L^{-1}$. But it does not seem to help much: we get
$$L-L^{-1} = \left[ \begin{array}{cccccccccccccccc} 2 & 1 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 1 & 2 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 1 & 2 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 2 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 2 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 2 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 & 2 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 1 & 0 & 0 & 0 & 0 & 0 & 1 & 2 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 2 & 1 & 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 2 & 0 & 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 2 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 2 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 2 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 2 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 2 & 1 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 1 & 2 \\ \end{array} \right] \;$$
But this might just look not good because the simplices are not aligned well. A matrix always depends on the chosen basis. A more natural ordering of the simplices is $G = \{ 1,12,2,23,3,34,…,7,78,8,81 \}.$ Bingo! Now the Hydrogen operator is nice
$$Hydro = \left[ \begin{array}{cccccccccccccccc} 2 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 \\ 0 & 2 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \\ 1 & 0 & 2 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 2 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 2 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 0 & 2 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 0 & 2 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 & 0 & 2 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 2 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 2 & 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 2 & 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 2 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 2 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 2 & 0 & 1 \\ 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 2 & 0 \\ 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 2 \\ \end{array} \right] \; .$$
We can now use Fourier to get the spectrum $\mu_k$ of Hydro and from that get the eigenvalues of $L$ as $f^{\pm}(\mu_k)$, where $f^{\pm}(y) = (y \pm \sqrt{4+y^2})/2$. We see that the density of states of the connection Laplacian is still a natural equilibrium measure on a union of two intervals. It is just conformally transplanted by a transformation which symmetrizes the spectrum.

## More about the limiting Zeta function

[Update: January 8 2018:] I spent the last days writing and also looked more on the structure of the limiting zeta function. I finally managed to get an explicit expression
$$\zeta(it)=_4F_3\left(\frac{1}{4},\frac{3}{4},-it,it;\frac{1}{2},\frac{1}{2},1;-4\right)$$