Identifier
Values
['A',1] => ([],1) => ([],1) => 0
['A',2] => ([(0,2),(1,2)],3) => ([(0,2),(1,2)],3) => 4
['B',2] => ([(0,3),(1,3),(3,2)],4) => ([(0,3),(1,3),(2,3)],4) => 6
['G',2] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 10
['A',3] => ([(0,4),(1,3),(2,3),(2,4),(3,5),(4,5)],6) => ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => 12
search for individual values
searching the database for the individual values of this statistic
/ search for generating function
searching the database for statistics with the same generating function
click to show known generating functions       
Description
The sum of the vertex degrees of a graph.
This is clearly equal to twice the number of edges, and, incidentally, also equal to the trace of the Laplacian matrix of a graph. From this it follows that it is also the sum of the squares of the eigenvalues of the adjacency matrix of the graph.
The Laplacian matrix is defined as $D-A$ where $D$ is the degree matrix (the diagonal matrix with the vertex degrees on the diagonal) and where $A$ is the adjacency matrix. See [1] for detailed definitions.
Map
to graph
Description
Returns the Hasse diagram of the poset as an undirected graph.
Map
to root poset
Description
The root poset of a finite Cartan type.
This is the poset on the set of positive roots of its root system where $\alpha \prec \beta$ if $\beta - \alpha$ is a simple root.