Bounds on Kemeny's constant of a graph and the Nordhaus-Gaddum problem

Sooyeong Kim,Neal Madras,Ada Chan,Mark Kempton,Stephen Kirkland,Adam Knudson

2023-09-11

Abstract:We study Nordhaus-Gaddum problems for Kemeny's constant $\mathcal{K}(G)$ of a connected graph $G$. We prove bounds on $\min\{\mathcal{K}(G),\mathcal{K}(\overline{G})\}$ and the product $\mathcal{K}(G)\mathcal{K}(\overline{G})$ for various families of graphs. In particular, we show that if the maximum degree of a graph $G$ on $n$ vertices is $n-O(1)$ or $n-\Omega(n)$, then $\min\{\mathcal{K}(G),\mathcal{K}(\overline{G})\}$ is at most $O(n)$.

Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the Nordhaus - Gaddum problem regarding the Kemeny constant \(K(G)\) of graphs. Specifically, the author studies the relationship between the Kemeny constants \(K(G)\) and \(K(\overline{G})\) for a connected graph \(G\) and its complement graph \(\overline{G}\), and attempts to prove the upper and lower bounds of \(\min\{K(G), K(\overline{G})\}\) and \(K(G)K(\overline{G})\) in different graph classes.

### Specific problem description

1. **Definition of Kemeny constant**:
- The Kemeny constant \(K(G)\) is a quantity that measures the speed at which a random walker moves on the graph \(G\). It can be expressed by the following formula:
\[
K(G)=\sum_{j = 1}^{n}\left(\frac{d_j}{2m}\right)m_{i,j}
\]
where \(d_j\) is the degree of vertex \(j\), \(m\) is the number of edges of graph \(G\), and \(m_{i,j}\) is the average first - arrival time (also known as hitting time) from vertex \(i\) to vertex \(j\).

2. **Nordhaus - Gaddum problem**:
- The Nordhaus - Gaddum problem focuses on the relationship between a certain graph invariant of graph \(G\) and its complement graph \(\overline{G}\). Specifically in this paper, the author studies the relationship between \(K(G)\) and \(K(\overline{G})\), especially the upper and lower bounds of \(\min\{K(G), K(\overline{G})\}\) and \(K(G)K(\overline{G})\).

3. **Main objectives**:
- Prove the specific upper and lower bounds of \(\min\{K(G), K(\overline{G})\}\) and \(K(G)K(\overline{G})\) for some graph classes when the maximum degree is \(n - O(1)\) or \(n-\Omega(n)\).
- For example, the author proves that if the maximum degree of graph \(G\) is \(n - O(1)\), then \(\min\{K(G), K(\overline{G})\}\leq O(n)\), and thus \(K(G)K(\overline{G})=O(n^4)\).

### Main results

1. **Graphs with maximum degree \(n - O(1)\)**:
- If the maximum degree of graph \(G\) is \(n - O(1)\), then \(K(G)=\Theta(n)\), so \(K(G)K(\overline{G})=O(n^4)\).

2. **Graphs with maximum degree \(n-\Omega(n)\)**:
- If the maximum degree of graph \(G\) is \(n-\Omega(n)\), then there exists a constant \(C\) such that \(\min\{K(G), K(\overline{G})\}\leq Cn\). In particular, for all regular graphs, this inequality holds and the constant \(C\) does not depend on the degree.

3. **Upper and lower bounds of specific graph classes**:
- The author also studies some specific graph classes (such as regular graphs, dumbbell graphs, trees, strongly regular graphs and some distance - regular graphs with classical parameters), and determines more specific upper and lower bounds of \(K(G)K(\overline{G})\).

### Conclusion

Through these results, the author further understands the structural characteristics of graphs.