Lattices with lots of congruence energy

preprint2022arXivOpen access

Abstract

In 1978, motivated by E. Hückel's work in quantum chemistry, I. Gutman introduced the concept of the energy of a finite simple graph GG as the sum of the absolute values of the eigenvalues of the adjacency matrix of GG. At the time of writing, the MathSciNet search for "Title=(graph energy) AND Review Text=(eigenvalue)" returns 351 publications, most of which going after Gutman's definition. A congruence αα of a finite algebra AA turns AA into a simple graph: we connect x≠y∈Ax\neq y\in A by an edge iff (x,y)∈α(x,y)\inα; we let En(α)(α) be the energy of this graph. We introduce the congruence energy CE(A)(A) of AA by CE(A):=∑{(A):=\sum\{En(α):α∈(α): α\in Con(A)}(A)\}. Let LAT(n)(n) and CDA(n)(n) stand for the class of nn-element lattices and that of nn-element congruence distributive algebras of any type. For a class X\mathcal X, let CE(X):={(\mathcal X):= \{CE(A):A∈X}(A): A\in \mathcal X\}. We prove the following. (1) For α∈Aα\in A, En(α)/2(α)/2 is the height of αα in the equivalence lattice of AA. (2) The largest number and the second largest number in CE(LAT(nn)) are (n−1)⋅2n−1(n-1)\cdot 2^{n-1} and, for n≥4n\geq 4, (n−1)⋅2n−2+2n−3(n-1)\cdot 2^{n-2}+2^{n-3}; these numbers are only witnessed by chains and lattices with exactly one two-element antichain, respectively. (3) The largest number in CE(CDA(nn)) is also (n−1)⋅2n−1(n-1)\cdot 2^{n-1}, and if CE(A)=(n−1)⋅2n−1(A)=(n-1)\cdot 2^{n-1} for an A∈A\in CDA(n)(n), then Con(A)(A) is a boolean lattice with size ∣|Con(A)∣=2n−1(A)|=2^{n-1}.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.