Barycentric and Connection graphs
Barycentric graphs depend on incidence, connection graphs on intersection. Here are some examples from this blog. Both graphs have as the vertex set the complete subgraphs of the graph. In the connection graph, we take the intersection, in the Barycentric case, we take incidence. Here are two pictures illustrating this. Our initial graph is a 3-sphere, the join of two circular graphs . The Graph s has the -function with 80 vertices.
Here is the Hodge Laplacian and the connection Laplacian: The Hodge Laplacian H is a direct sum of form Laplacians, the connection Laplacian is invertible and has here determinant 1.
The Frenkel-Kontorova model in nonlinear physics is a general variational problem. If is a Laplacian on a graph and a real valued potential, one can look the functional , where E is an expectation on some linear space of functions and is a perturbation parameters. Critical points satisfy a non-linear system $\Delta u+\epsilon V(u)=0$,, where $U’=V$. These are called the Euler equations. Unfortunately for physics, the Laplacians we usually deal with are singular in the sense that their inverse, the Green functions are unbounded. The source of the problem exists already in the simplest cases like if space is a finite graph, where Laplacians have a kernel. They are calledHarmonic forms. The Laplacian of a space determines the natural Newton potential on the space and that is always singular. In the most famous case when space is , we see the 1/r potential like in gravity or in electro-magnetism. But it is obvious that this can not make sense also physically: take two neutral elements like neutrons hitting each other front on, their gravitational energy would go to infinity. We know that there are quantum effects but still, even relativistic mathematics breaks down. This touches of course to the fundamental question how to combine gravity with quantum mechanics but it is clear that classical force descriptions will change fundamentally in the very small. As mathematicians, we see the difficulties in mathematical variational problems like how to describe critical points of the above variational problem if the non-linear perturbation has been turned on. This can already be subtle in the very simplest cases like when space is the set of integers and and . The fact that is non-invertible can be seen that has the constant functions as kernel. Now, of course, the variational problem depends on the Banach space which is chosen. A good one is to fix some real and to take and take for a function in that Banach space the random sequence , where in the circle is an element in the probability space we integrate over to get the expectation. The functional to minimize is then and critical points satisfy the nonlinear equation . Critical points correspond to invariant curves (KAM tori) of the Standard map. Solving such nonlinear equations in a Banach space is a KAM problem. It needs a sophisticated implicit function theorem to be solved in a Banach space of real analytic functions and only has solutions if is sufficiently Diophantine. It does not really matter much what Frenkel-Kontorova model we chose, also whether it is higher dimensional or not. The important thing to realize is that the problem to continue solutions from c=0 to is hard and only works for carefully crafted solutions in the case c=0 (which can be established by looking at configurations u(n) defined by a specific dynamical system like an irrational rotation. The source of the problem is that the Hessian, the linear operator obtained by linearizing near the equilbrium solution is not invertible. If it were invertible, we could continue the solution using the soft implicit function theorem. For more about the calculus of variations, check out the book of Moser. The problem of non-invertibility of the Laplacian when looking at non-linear equations .