# [

## Abstract

The aim of this work is to introduce several different volume computation methods of the graph polytope associated with various type of finite simple graphs. Among them, we obtained the recursive volume formula (RVF) that is fundamental and most useful to compute the volume of the graph polytope for an arbitrary finite simple graph.

definition \theoremstyleremark \numberwithinequationsection

Different Volume Computation Methods of Graph Polytopes]Different Volume Computation Methods of Graph Polytopes

D. Lee]Daeseok Lee H.-K. Ju]Hyeong-Kwan Ju \subjclassPrimary 05C22; Secondary 52B05

## 1 Introduction

Bóna, Ju and Yoshida [2] enumerated certain weighted graphs with the following conditions :
For a given positive integer , a nonnegative integer and a simple graph
with , where and ,
we consider the set

We call satisfying the conditions in the set given above (vertex-)
weighted graph. In fact, the number of weighted graphs is given by an Ehrhart polynomial of some convex polytope in a unit hypercube.
Such a convex polytope is determined uniquely for a given finite simple graph as follows: Let be a simple graph with .
Then the graph polytope associated with the graph is defined as

Our main concerns in this article are the volume computation results of graph polytope associated with many
types of graphs using several different methods. In order to obtain the volume of the graph polytope we need a certain kernel function
defined by the following:

Then the volume of the polytope is

where is the -dimensional unit hypercube,

From now on, all graphs we mentioned will be finite simple graphs and all polytopes are convex.
The volume of graph polytope will be denoted by rather than .

Chapter 2 introduces a recursive volume formula for
the volume of the graph polytope and volume formulae for the graph polytope associated with various types of graphs. Chapter 3 describes the graph joins and
the corresponding volume formula. Volume of the graph polytope associated with the bipartite graph with certain symmetry is dealt in chapter 4. In chapter 5 we
use the operator theory to find values for interesting series. In the last chapter we mentioned another way to get the volume of graph polytopes, which uses Ehrhart polynomial and series.

## 2 Recursive Volume Formula

One of the key and most fundamental techniques is the recursive volume formula, or RVF. It is also useful. Next two lemmas will be used to prove the RVF, and can be shown easily. Applications of RVF are discussed.

###### Lemma 2.1

(polytope partitioning)
Let be a polytope containing a point and

. Then

(1) |

where the sum runs over all facets of .

###### Lemma 2.2

If a graph has no isolated vertex, then the graph polytope has no facet of the form In other words, P(G) is only composed of facets of form or for .

###### Theorem 2.3

(RVF) Let be a graph with the vertex set and having no isolated vertex. Then

(2) |

where is the graph with the vertex set and, accordingly, with the inherited edge set in the original edge set .

Proof: Let Then for the facet in the hyperplane (hence in the hyperplane.) and for all other facets since Note that is the dimensional volume of the graph polytope . By the Lemmas 2.1 and 2.2 we have the desired formula (2).\qed

###### Corollary 2.4 (path)

Let be the path with Then

where is the th Euler number. Hence its generating function is:

Proof: Let . For convenience, we define . It is obvious that .

(3) |

by RVF.

This says that satisfies the same recurrence relation as ’s together with . Hence we get the first conclusion Since exponential generating function of the Euler number is , the second conclusion follows. \qed

###### Corollary 2.5 (cycle)

Let be the path with Then

Hence its generating function is:

Proof: Removing an edge in the cycle results in a path . Hence RVF and Corollary 2.4 imply both of conclusions. \qed

###### Corollary 2.6 (complete graph)

Let be the path with Then

Hence its generating function is:

Proof: Since , the conclusion follows easily.

###### Corollary 2.7 (complete bipartite graph)

Let be the path with Then

(4) |

Proof: Since and

by induction, we have the required formula. \qed

## 3 Volume of the graph joins

Join of graphs and is the graph where and . We denote the join of graphs and simply by Obviously, the associative law holds. So we can define (add times). The question is that how we can calculate the volume of . Note that where is a null graph with vertices.

###### Definition 3.1 (sliced volume)

Let be a graph and

where is defined as:

It is obvious that Next theorem gives us a volume formula for the graph polytope associated with the joined graph.

###### Theorem 3.2

The volume of the graph polytope associated with the graph is:

(5) |

Proof:

###### Theorem 3.3

Let Then the sliced volume of the graph polytope is given by the formula:

Proof:

###### Corollary 3.4

The volume of the graph polytope associated with the complete bipartite graph is:

(6) |

Proof: Substitute in the Theorem (3.3). \qed

The following result is immediate by the third term from the bottom in the formula .

###### Corollary 3.5

According to Rudin([5]), the beta function is defined as:

where is the gamma function. Note that

from the formula 4 and the definition of beta function involving gamma function. Note that we can give another proof of above equality about beta function from the last integration expression in the proof.

###### Theorem 3.6 (multiple join of a graph)

Let be a graph, and Then, for any positive integer ,

Proof:

Now, we denote simply by Then

Let Then, from the previous recursion formula we get

Hence,

###### Corollary 3.7

For the value we have

(7) |

###### Corollary 3.8

For the value we have

Proof:

## 4 Volume of bipartite graphs

###### Definition 4.1

Let be a set of all permutations of and

Note that

and each intersection of two different has measure 0 so that for any measurable function ,

and

Let be a bipartite graph with .

###### Theorem 4.2

The volume of the graph polytope associated with the bipartite graph mentioned above is as follows:

where

which means the number of vertices in which the smallest among values of its neighbors is i.

Proof:

where represents the opposite order of in the fifth term. \qed

An automorphism of a simple graph is a permutation of which has the property that is an edge of if and only if is an edge of .

###### Theorem 4.3

Assume that the bipartite graph is symmetric, by the sense that for any permutation on , there exists a permutation such that the combination of and induces an automorphism on . Then,

Proof:The symmetry of the graph implies that all s are same for different The conclusion follows from the Theorem 4.2. \qed

###### Corollary 4.4

Let be the graph that is obtained from the complete bipartite graph by deleting disjoint edges. Then,

In particular, Note that the bipartite graph is the graph obtained from the 1-skeleton of the cube.

## 5 An Application related to the Operator Theory

We introduce here another interesting fact that uses the linear operator theory to obtain the value of a series described in the theorem below. One of the results related with the operator theory is the computation of the , which is referred from Elkies [3]. We will restate the lemma regarding this.

We define by the following:

Then the volume of the polytope is

where is the -dimensional unit hypercube,

We are interested in the computation of the volume of the polytope for a given simple graph .

We define inductively as in the following:

and

Let be a linear operator with kernel on defined by:

(8) |

From the definition of we see that is the kernel function of the linear operator as follows:

(9) |

The next lemma gives the spectral decomposition of the linear operator , and also of . Its proof is immediate from the standard linear operator theory.(See also Elkies [3] or Hutson. et. al. [4].)

###### Lemma 5.1

The linear operator is compact and self-adjoint on Its eigen values are ; the corresponding eigenfunctions are Moreover, The linear operator is compact and self-adjoint on Its eigen values are with same corresponding eigenfunctions . Each of its eigenvalues for and is simple.

Our main goal here is to find the value of certain formula using the operator theory. In fact, it is the which is obtained from the RVF. By the simple calculations we can get the following formula from the definition of (see [3]):

(10) |

It turned out that the right hand side of the formula (10) is the trace of a trace-class operator over the diagonal, and is equal to

Note that this series is absolutely convergent for . As a summary we have a theorem:

###### Theorem 5.2

For any integer the following holds:

For the case

meanwhile, for the case

## 6 Concluding Remarks and Further Problems

In fact, we have another volume computation method which comes from the Ehrhart polynomial of . Let be an integral convex polytope in . Then we call the Ehrhart polynomials of It is known that, for a given -polytope ,

or

(Refer [1] or [6] about this.) If is a bipartite graph with vertices, then its graph polytope is a -polytope of dimension . Hence, we can get the volume from the Ehrhart polynomial , which we can get by using divided difference technique. (See Bóna et. al. [2] for details.)

### References

- M. Beck and R. Sinai, Computing the Continuous Discretely, Springer, 2007.
- M. Bóna, H.-K. Ju and R. Yoshida, On the enumeration of a certain weighted graphs, Discrete Applied Math., 155(2007), 1481-1496.
- N. Elkies, On the sums Amer. Math. Monthly, 110, no. 7(Aug.-Sep. 2003), 671-573.
- V. Hutson, J. Pym and M. Cloud, Applications of Functional Analysis and Operator Theory (2nd ed.), Elsevier Science, 2005.
- W. Rudin, Principles of Mathematical Analysis (3rd ed.), McGraw-Hill, 1976.
- R. Stanley, Enumerative Combinatorics, vol.1(2nd ed.), Cambridge Univ. Press, 2012.