Energized simplicial complexes

08/19/2019
by   Oliver Knill, et al.
0

For a simplicial complex with n sets, let W^-(x) be the set of sets in G contained in x and W^+(x) the set of sets in G containing x. An integer-valued function h on G defines for every A subset G an energy E[A]=sum_x in A h(x). The function energizes the geometry similarly as divisors do in the continuum, where the Riemann-Roch quantity chi(G)+deg(D) plays the role of the energy. Define the n times n matrices L=L^–(x,y)=E[W^-(x) cap W^-(y)] and L^++(x,y) = E[W^+(x) cap W^+(y)]. With the notation S(x,y)=1_n omega(x) =delta(x,y) (-1)dim(x) and str(A)=tr(SA) define g=S L^++ S. The results are: det(L)=det(g) = prod_x in G h(x) and E[G] = sum_x,y g(x,y) and E[G]=str(g). The number of positive eigenvalues of g is equal to the number of positive energy values of h. In special cases, more is true: A) If h(x) in -1, 1, the matrices L=L^–,L^++ are unimodular and L^-1 = g, even if G is a set of sets. B) In the constant energy h(x)=1 case, L and g are isospectral, positive definite matrices in SL(n,Z). For any set of sets G we get so isospectral multi-graphs defined by adjacency matrices L^++ or L^– which have identical spectral or Ihara zeta function. The positive definiteness holds for positive divisors in general. C) In the topological case h(x)=omega(x), the energy E[G]=str(L) = str(g) = sum_x,y g(x,y)=chi(G) is the Euler characteristic of G and phi(G)=prod_x omega(x), a product identity which holds for arbitrary set of sets. D) For h(x)=t^|x| with some parameter t we have E[H]=1-f_H(t) with f_H(t)=1+f_0 t + cdots + f_d t^d+1 for the f-vector of H and L(x,y) = (1-f_W^-(x) cap W^-(y)(t)) and g(x,y)=omega(x) omega(y) (1-f_W^+(x) cap W^+(y)(t)). Now, the inverse of g is g^-1(x,y) = 1-f_W^-(x) cap W^-(y)(t)/t^dim(x cap y) and E[G] = 1-f_G(t)=sum_x,y g(x,y).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/07/2019

The energy of a simplicial complex

A finite abstract simplicial complex G defines a matrix L, where L(x,y)=...
research
10/19/2020

Green functions of Energized complexes

If h is a ring-valued function on a simplicial complex G we can define t...
research
05/13/2020

A remark on approximating permanents of positive definite matrices

Let A be an n × n positive definite Hermitian matrix with all eigenvalue...
research
01/15/2018

An Elementary Dyadic Riemann Hypothesis

The connection zeta function of a finite abstract simplicial complex G i...
research
05/30/2018

Adjacency and Tensor Representation in General Hypergraphs.Part 2: Multisets, Hb-graphs and Related e-adjacency Tensors

HyperBagGraphs (hb-graphs as short) extend hypergraphs by allowing the h...
research
11/23/2018

On polyhedral approximations of the positive semidefinite cone

Let D be the set of n× n positive semidefinite matrices of trace equal t...
research
07/05/2022

Probability density estimation for sets of large graphs with respect to spectral information using stochastic block models

For graph-valued data sampled iid from a distribution μ, the sample mome...

Please sign up or login with your details

Forgot password? Click here to reset