Abstract:The lacking polynomial is a graph polynomial introduced by Chan, Marckert, and Selig in 2013 that is closely related to the Tutte polynomial of a graph. It arose by way of a generalization of the Abelian sandpile model and is essentially the generating function of the level statistic on the set of recurrent configurations, called stochastically recurrent states, for that model. In this note we consider the lacking polynomial of the complete bipartite graph. We classify the stochastically recurrent states of the stochastic sandpile model on the complete bipartite graphs $K_{2,n}$ and $K_{m,2}$ where the sink is always an element of the set counted by the first index. We use these characterizations to give explicit formulae for the lacking polynomials of these graphs. Log-concavity of the sequence of coefficients of these two lacking polynomials is proven, and we conjecture log-concavity holds for this general class of graphs.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the lack of research on polynomials in complete bipartite graphs. Specifically, the author focuses on the classification of stochastically recurrent states of the stochastic sandpile model (SSM) on complete bipartite graphs \(K_{2,n}\) and \(K_{m,2}\), and based on these classifications, gives explicit expressions for the lacking polynomials of these graphs. In addition, the author also proves that the coefficient sequences of the lacking polynomials of these two graphs have log - concavity, and conjectures that this property also holds for more general complete bipartite graphs.
### Main research content:
1. **Classification of stochastically recurrent states**:
- The author first classifies the stochastically recurrent states on complete bipartite graphs \(K_{2,n}\) and \(K_{m,2}\). These states are determined by considering all orientations of the graph, where the out - degree and in - degree of each vertex satisfy specific conditions.
2. **Explicit expressions for lacking polynomials**:
- Based on the above classification, the author gives explicit expressions for the lacking polynomials of \(K_{2,n}\) and \(K_{m,2}\). These expressions are given in the form of generating functions, as follows:
- For \(K_{2,n}\):
\[
L_{2,n}(x)=\sum_{k = 0}^{n-1}\left(\sum_{i = 0}^k\binom{n}{i}\right)x^k
\]
- For \(K_{m,2}\):
\[
L_{m,2}(x)=\sum_{k = 0}^{m-1}S(m - 1,k)x^k
\]
where,
\[
S(m-1,k)=\sum_{q = 0}^k\left(\sum_{r = 0}^q\binom{m - 1}{r}\right)
\]
3. **Proof of log - concavity**:
- The author proves that the coefficient sequences of the lacking polynomials of \(K_{2,n}\) and \(K_{m,2}\) have log - concavity. Specifically, they use known combinatorial identities and properties of log - concavity, and through the derivation of lemmas and theorems, prove the log - concavity of these coefficient sequences.
4. **Further conjecture**:
- The author proposes a conjecture that for more general complete bipartite graphs \(K_{m,n}\), the coefficient sequences of their lacking polynomials are also log - concave. In addition, they also mention that even if log - concavity does not hold, these coefficient sequences may be unimodal.
### Research background:
- **Lacking polynomial**: The lacking polynomial is a graph polynomial introduced by Chan, Marckert, and Selig in 2013, which is closely related to the Tutte polynomial. It originated from a variant of the Abelian sandpile model, namely the stochastic sandpile model (SSM).
- **Tutte polynomial**: The Tutte polynomial is a bivariate polynomial that contains many important graph invariants, such as the chromatic polynomial, the Jones polynomial, and the reliability polynomial.
- **Log - concavity**: In combinatorics, the log - concavity of a sequence is an important property that has been widely studied in recent years. Log - concavity means that the square of each element in the sequence is greater than or equal to the product of its two adjacent elements.
### Conclusion:
This paper, through a detailed study of the stochastically recurrent states of complete bipartite graphs \(K_{2,n}\) and \(K_{m,2}\)