Definitions
Let be a finite abstract simplicial complex with sets and a wave. It defines an energy for any subset of . Define the connection matrix . Define also where and is the cardinality of . Define . The core is the set of sets contained in and the star is the set of sets containing . Let denote the set of units in which is the unit circle .
[Update August 23: a paper [PDF] is available.]
Basic results
The following results hold for all division algebra and its units which are , , , or . The reason is that both and do not tap into the multiplicative structure of the algebra. For the determinant, one has to take Study determinant rsp Dieudonne determinant, which in the case is the absolute value of the usual determinant. The following results were already announced in the complex in our article [PDF].
Theorem 1 (Determinant formula) .
Theorem 2 (Energy theorem) .
Theorem 3 (Green Star) If is valued, then .
For the last formula one can even drop the finiteness assumption. The simplicial complex could be infinite like the Whitney complex of some infinite graph like . For defining H(G) or in the infinite case, one would have to refer to ergodic theory if there is some periodicity (a lattice for example) or almost periodicity (like often looked at in solid state physics where one looks at almost periodic operators for example) because can be expressed as a limit of Birkhoff sums. Also the Energy theory would have to be normalized by doing averages.Both sides are then ergodic limits of finite sums. The only thing we really need beside some ergodic regularity when averaging over larger and larger regions is that there is an upper bound on size of the stable manifold. What would not work is a simplicial complex like a star graph with infinitely many spikes where one vertex has infinite vertex degree. Lattices, randomly generated networks (by some reasonable stochastic growth process which makes sure that there is some upper bound on the vertex degree) assures that the Green function entries remain bounded.
If you want to experiment,Here is the code [Mathematica TXT].
(* Connection Laplacian defined by a complex wave, Oliver Knill, 1/8/2020 *)
Generate[A_]:=Delete[Union[Sort[Flatten[Map[Subsets,A],1]]],1];
RandomSets[n_,m_]:=Module[{A={},X=Range[n],k},Do[k:=1+Random[Integer,n-1];
A=Append[A,Union[RandomChoice[X,k]]],{m}];Sort[Generate[A]]];
G=RandomSets[5,9]; n=Length[G];
S=Table[-(-1)^Length[G[[k]]]*If[k ==l,1,0],{k,n},{l,n}]; (* Super matrix *)
star[x_]:=Module[{u={}},Do[v=G[[k]];If[SubsetQ[v,x],u=Append[u,v]],{k,n}];u];
core[x_]:=Module[{u={}},Do[v=G[[k]];If[SubsetQ[x,v],u=Append[u,v]],{k,n}];u];
Wminus = Table[Intersection[core[G[[k]]],core[G[[l]]]],{k,n},{l,n}];
Wplus = Table[Intersection[star[G[[k]]],star[G[[l]]]],{k,n},{l,n}];
e=Table[Exp[2Pi I Random[]],{k,n}];
energy[A_]:=If[A=={},0,Sum[e[[Position[G,A[[k]]][[1,1]]]],{k,Length[A]}]];
Lminus = Table[energy[Wminus[[k,l]]], {k,n},{l,n}]; L = Lminus;
Lplus = Table[energy[Wplus[[k,l]]], {k,n},{l,n}]; g = S.Lplus.S;
Print[{
Chop[Total[Flatten[g]] - Total[e]], (* Energy Thm *)
Chop[Tr[S.g] -Total[e]], (* McKean-Singer Thm*)
Chop[{Det[g],Det[L],N[Product[e[[k]],{k,n}]]}], (* Unimodularity Thm*)
N[Total[Flatten[Conjugate[g].L -IdentityMatrix[n]]]]}];(* Green-Star Id *)
New phase phenomenon
In the real case we have seen that the number of negative eigenvalues of is equal to the number of negative values. There is no obvious analogue in the complex. However, we can look what happens if we deform the wave at some simplex. This produces a deformation of the spectrum . Obviously because at and we have the same matrix. It was totally unexpected however to track the eigenvalues and see the circle deformation of the wave when ranges on a circle from to does actually permute the spectrum in a nontrivial way. For all for which has simple spectrum, we can define a permutation group generated by all these basic deformations.
Theorem The group is non-trivial and non-Abelian in general.
Since the group is constant on any connected open set of values, it follows that the set of waves for which the spectrum of is simple is in general not connected. Furthermore, there are cases, where some connected component in this manifold contains a nonlinear permutation group in the fundamental group. This rises a lot of questions about the nature and topology of the manifold of all these matrices . Even the disconnectedness is a surprise as we can connect two points if we do not care about collisions of eigenvalues.We would have expected that it is possible to avoid connections as they are lower dimensional parts in a complex manifold.
Questions
There are many questions now: some might be difficult and I’m still making experiments.
- Which spectra can be obtained? Given n complex numbers different from zero. Are the complex numbers for the n simplices such that the spectrum of L(x) is that given set?
- Related: Is it possible in particular to hear wave from the spectrum ?
- What happens in the non-commutative division algebra cases, where the units are simply connected spaces and where there is some subtleties with the eigenvalues?(there is no fundamental theorem of algebra of the same kind as there are equations like which have many solutions).
- What kind of permutation groups are possible? What kind of permutation groups can appear simultaneously for the same simplicial complex? Does this have anything relation with the topology of G.
- What happens with these permutation groups in the Barycentric limit with . The Barycentric limit is interesting. While the vertex degrees explodes there of course, we still have a chance that with the right energy h distribution, we have an invertible limit.
- Is there always a solution of the fixed point equation ? It appears to be the case in the real case.
The eigenvalues are some sort of energies in a quantum mechanical ssense and the wave values too assign some initial energy to a simplex. In some sense, we have a quantum field theory because a quantum wave h defines an operator L(h) which then has eigenvalues and eigenvectors. It is all related with energy because , is a potential theoretical energy between the simplices (that analogy comes from the fact that if L is the usual Laplacian in three dimensional space, then g(x,y)=1/|x-y| is the potential used in gravitational or electromagnetic frame works. The motivation is of course to have a natural wave (defined by a fixed point equation) for every simplicial complex and that in the Barycentric limit, there is no input any more at all, except the dimension. Maybe also that in the Barycentric limit, we get some phenomena which are physically relevant like the value of the lowest energy.