Fubini Numbers and Polynomials of Graphs

In this paper, we introduce the Fubini number and Fubini polynomial of a graph in connection with the enumeration of ordered independent partitions of its set of vertices. We prove several properties of them, and study how these notions cover other variants of Fubini numbers and polynomials for special graphs.


Introduction
Fubini numbers are the ordered analogues of Bell numbers. The nth Fubini number F n = n k=0 k! n k (n ≥ 0) counts the ordered partitions of a set with n elements, where n k denotes a Stirling number of the second kind. Their denomination is due to L. Comtet [14] in view of Fubini's theorem in mathematical analysis. The related nth Fubini polynomial is F n (x) = n k=0 k! n k x k (n ≥ 0). For a classical reference on Fubini numbers and polynomials, see [27].  [25] proved that where m+1 k denotes an (unsigned) Stirling number of the first kind.
For n, r ≥ 0, the nth r-Fubini number F n,r = n k=0 (k + r)! n k r counts those ordered partitions of a set with n+r elements where the first r elements belong to distinct blocks. They were introduced by I. Mező and G. Nyul [24]. (The r-Stirling numbers of the second kind were first defined by L. Carlitz [11], A. Z. Broder [9], and later rediscovered by R. Merris [23]. We use the parametrization where n k r is the number of partitions of an (n + r)-element set into k + r nonempty subsets such that the first r elements have to be in distinct blocks.) By definition, F n,0 = F n and F n,1 = F n+1 . The nth r-Fubini polynomial is F n,r (x) = n k=0 (k + r)! n k r x k . Fubini numbers can be also defined for multisets. Let m 1 , . . . , m s be positive integers and n = m 1 + · · · + m s . Denote by F n,(m1,...,ms) the number of ordered partitions of an n-element multiset where the underlying set contains s elements whose multiplicities are m 1 , . . . , m s . Then F n, (1,...,1) = F n . M. Griffiths and I. Mező [19] investigated Stirling numbers of the second kind for special multisets, and they derived the formula Finally, we mention briefly a few more variants of Fubini numbers and polynomials without going into details, because they lie beyond the scope of this paper. We can prescribe certain restrictions on the cardinalities of the blocks, such restricted and associated Fubini numbers can be found in [5,10]. Fubini type polynomials related to Whitney and r-Whitney numbers appear in [4,15]. Recently, G. Rácz [26] studied Fubini-Lah numbers and polynomials, where not only the partition itself but also the blocks are ordered.
In our paper, we introduce Fubini numbers and Fubini polynomials of graphs, which notions cover ordinary, m-nonconsecutive Fubini numbers and polynomials, r-Fubini numbers and polynomials as special cases, and it will turn out that they are closely connected with the variant for multisets, as well.

Fubini Numbers and Polynomials of Graphs
Let G be a simple (finite) graph. A partition of V (G) is said to be an independent partition if each block is an independent vertex set, in other words, if adjacent vertices belong to distinct blocks. In [17], B. Duncan and R. Peele introduced Stirling numbers of the second kind and Bell numbers for graphs.
G k (0 ≤ k ≤ |V (G)|) and B G count independent partitions of V (G) into k and an arbitrary number of blocks, respectively. These numbers already appeared before in the literature in connection with graph colourings, but the above-mentioned authors were the first who considered them from an enumerative point of view, as generalizations of classical Stirling and Bell numbers. A detailed study was given in [21], and several recent results can be found in [1][2][3]16,18,20,22]. One can define the corresponding Bell poly- G k x k of the graph G, which notion is actually one of the variants of the σ-polynomials, see [7,8].
Then, we define the Fubini number F G of the graph G to be the number of ordered independent partitions of V (G). Since the number of or- where summation could be taken from the chromatic number χ(G). Now, it is straightforward to define the Fubini polynomial of the graph G Clearly, a combinatorial meaning can be assigned to this polynomial. Namely, for c ≥ 1, F G (c) is the number of c-coloured ordered independent partitions of V (G), where distinct blocks can have the same colour.
Since F G (1) = F G , it will be sufficient to prove our theorems for Fubini polynomials, the similar property follows by a substitution for Fubini numbers.
We can immediately give four examples of Fubini numbers and polynomials for special graphs: • Simply, F Kn = n! and F Kn (x) = n!x n for the n-vertex complete graph K n , since each block is a singleton in the only independent partition of • Finally, in [21] we introduced the graph R n,r consisting of n isolated vertices and a clique with r vertices, in other words, the disjoint union of E n and K r , to study r-Stirling numbers of the second kind and r-Bell numbers through graphs. For this graph, we have F Rn,r = F n,r and F Rn,r (x) = x r F n,r (x).
Fubini numbers and polynomials of graphs satisfy the deletion-contraction relation.
Proof. The assertion follows by the standard argument. A c-coloured ordered independent partition of V (G − e) is a c-coloured ordered independent partition of V (G) if the endpoints of e belong to distinct blocks. Otherwise, it corresponds to a c-coloured ordered independent partition of V (G/e). Therefore, The Fubini number and polynomial of a graph can be expressed as a linear combination of ordinary Fubini numbers and polynomials. We call them Berceanu type identities, since C. Berceanu [6] proved it for Bell numbers (see also [21]).
Proof. It can be easily proved by induction on the number of edges. The induction step depends on the fact that deletion-contraction relations hold for both the chromatic polynomials and Fubini polynomials of graphs.
Using formal power series, the following Dobiński type formulas can be derived for the Fubini number and polynomial of a graph.

Theorem 2.3. If G is a simple graph, then
Proof. It is known (see, e.g., [21]) that the chromatic polynomial of G is

MJOM Fubini Numbers and Polynomials of Graphs
Page 5 of 10 230 The expected value of the chromatic polynomial transform of a geometric random variable can be expressed by the Fubini polynomial of the graph. Theorem 2.4. Let G be a simple graph with chromatic polynomial p G (x), and ξ be a geometric random variable with parameter 0 < p ≤ 1 in the sense that Especially, for parameter p = 1 2 , we have Ep G (ξ) = F G . Proof. After the necessary convergence considerations, it follows from Theorem 2.3 that Remark. For the graphs E n , K n , P (m) n , R n,r , and a geometric random variable ξ with parameter p, Theorems 2.3 and 2.4 give In the rest of the paper, we study Fubini numbers and polynomials for trees, m-trees and cycle graphs. Proof. For a tree G with n vertices, it is proved in [21,28] that G 0 = 0 and G k = n−1 k−1 (1 ≤ k ≤ n). Using the recurrence relation for Stirling numbers of the second kind, we have

Remark. For an (n + 1)-vertex tree, Theorems 2.2 and 2.3 give
Before stating the following theorem, we need to recall the recursive definition of m-trees (m ≥ 0). The only m-vertex m-tree is the m-vertex complete graph. If n ≥ m + 1, then an n-vertex m-tree is obtained from an (n − 1)-vertex m-tree by adding a new vertex and joining it to an m-vertex clique of the original graph. (For m = 0 and m = 1, m-trees are empty graphs and trees, respectively.) Theorem 2.6. If m ≥ 0 and G is an m-tree with n ≥ m + 1 vertices, then ,(m+1,1,...,1) .
Proof. It can be found in [21,28] The theorem is proved by induction on m. If m = 0, then G is the nvertex empty graph, while the multiset in question is actually an n-element set; hence, both sides of the equation are equal to F n . Then, suppose that m ≥ 1 and the statement holds for m − 1.
For this m, we use induction on n. If n = m + 1, then G is the (m + 1)vertex complete graph, the multiset contains m + 1 identical elements; hence, F G = (m + 1)! and F m+1,(m+1) = 2 m . Now, suppose that n ≥ m + 2 and the assertion is true till n − 1.
To prove the formula for n, consider an n-element multiset with one element having multiplicity m+1, hereafter referred to as multiple element, and all the other elements having multiplicity 1. We enumerate the F n, (m+1,1,...,1) ordered partitions of this multiset. Two types of such ordered partitions can be distinguished depending on whether the multiple element occurs in the last block.
If the last block contains at least one copy of the multiple element, then it can happen that it is a singleton, or it has cardinality at least two. In both cases, we can assign to this ordered partition an ordered partition of the multiset in which the multiple element has only multiplicity m by omitting the last block, or by deleting one copy of the multiple element from the last block, respectively. Therefore, the first induction hypothesis gives that the number of those ordered partitions of our original multiset where the last block contains at least one copy of the multiple element is On the other hand, if the last block does not contain the multiple element, then denote by j the number of distinct elements in the other blocks including the multiple one (j = 1, . . . , n − m − 1), which means that those blocks have m + j elements altogether. For a fixed j, these elements can be chosen in n−m−1 j−1 ways, then by the second induction hypothesis and the recurrence of binomial coefficients we obtain that the number of possibilities is Consequently, using the binomial transformation identity and the recurrence of classical Stirling numbers of the second kind, the number of those ordered partitions where the last block contains no copies of the multiple element is Summarizing, the number of ordered partitions of our multiset is Remark. Combining the results of H. Prodinger [25], M. Griffiths, I. Mező [19] and our Theorem 2.6, for n ≥ m ≥ 1, we obtain the identity Theorem 2.7. If C n is the cycle graph with n ≥ 3 vertices, then Proof. The proof is by induction on n. In the induction step, for n ≥ 4, we have F Cn (x) = F Pn (x) − F Cn−1 (x) by Theorem 2.1, and beside the induction hypothesis we apply Theorem 2.5 for the n-vertex path graph P n .

Remark.
For the graph C n , Theorems 2.2 and 2.3 give

Appendix
We close our paper with a few words about Bell polynomials of graphs. As mentioned before, in [21] we investigated Stirling numbers of the second kind and Bell numbers for graphs. However, we could prove the corresponding properties of Bell polynomials of graphs, as well. The deletion-contraction relation and the Berceanu type identity also hold for Bell polynomials, we have B G (x) = x m B n−m (x) if G is an m-tree with n ≥ m + 1 vertices, and Dobiński's formula becomes Funding Open access funding provided by University of Debrecen.
Open Access. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http:// creativecommons.org/licenses/by/4.0/.
Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.