On the unimodality of nearly well-dominated trees

Iain Beaton,Sam Schoonhoven

2024-11-05

Abstract:A polynomial is said to be unimodal if its coefficients are non-decreasing and then non-increasing. The domination polynomial of a graph $G$ is the generating function of the number of dominating sets of each cardinality in $G$. In \cite{IntroDomPoly2014} Alikhani and Peng conjectured that all domination polynomials are unimodal. In this paper we show that not all trees have log-concave domination polynomial. We also give non-increasing and non-decreasing segments of coefficents in trees. This allows us to show the domination polynomial trees with $\Gamma(T)-\gamma(T)<3$ are unimodal.

Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the unimodality of the domination polynomial of trees. Specifically, the author explores whether the domination polynomial of trees is always log - concave, and further studies the monotonicity paragraphs of the domination polynomial under certain specific conditions, thereby proving that the domination polynomial of trees is unimodal under specific conditions.

### Main problems
1. **Verification of log - concavity**:
- The paper first shows that not all trees have log - concave domination polynomials. By constructing an infinite family of trees \(T_k\), the author proves that the domination polynomials of these trees are not log - concave.

2. **Determination of monotonicity paragraphs**:
- The author further studies the monotonicity paragraphs of the coefficients of the domination polynomial of trees. Specifically, they prove that for any tree \(T\):
- \(d_{\gamma(T)} \leq d_{\gamma(T)+1} \leq \cdots \leq d_{\left\lfloor\frac{n + 2\gamma(T)+1}{3}\right\rfloor}\)
- \(d_{\left\lceil\frac{n + 2\Gamma(T)-2}{3}\right\rceil} \geq \cdots \geq d_{n - 1} \geq d_n\)

3. **Conclusion of unimodality**:
- Based on the results of the above monotonicity paragraphs, the author draws an important conclusion: if the tree \(T\) satisfies \(\Gamma(T)-\gamma(T)<3\), then its domination polynomial is unimodal.

### Formula summary
- **Domination polynomial**:
\[
D(G,x)=\sum_{i = 0}^{n}d_ix^i
\]
where \(d_i\) represents the number of dominating sets of size \(i\) in graph \(G\).

- **Log - concavity**:
\[
a_i^2\geq a_{i - 1}a_{i+1}
\]

- **Monotonicity paragraphs**:
\[
d_{\gamma(T)} \leq d_{\gamma(T)+1} \leq \cdots \leq d_{\left\lfloor\frac{n + 2\gamma(T)+1}{3}\right\rfloor}
\]
\[
d_{\left\lceil\frac{n + 2\Gamma(T)-2}{3}\right\rceil} \geq \cdots \geq d_{n - 1} \geq d_n
\]

### Conclusion
Through the above research, the author not only proves that not all domination polynomials of trees are log - concave, but also provides a method to determine the unimodality of the domination polynomials of certain trees. This provides a new perspective for understanding the structure of trees and their domination properties.