Statistical Topology of Three-Dimensional Poisson-Voronoi Cells and Cell Boundary Networks

Abstract: Voronoi tessellations of Poisson point processes are widely used for modeling many types of physical and biological systems. In this paper, we analyze simulated Poisson-Voronoi structures containing a total of 250,000,000 cells to provide topological and geometrical statistics of this important class of networks. We also report correlations between some of these topological and geometrical measures. Using these results, we are able to corroborate several conjectures regarding the properties of three-dimensional Poisson-Voronoi networks and refute others. In many cases, we provide accurate fits to these data to aid further analysis. We also demonstrate that topological measures represent powerful tools for describing cellular networks and for distinguishing among different types of networks.

\section{Introduction}
Poisson-Voronoi tessellations are random subdivisions of space that have found applications as models for many physical systems \cite{1992okabe, stoyan1995stochastic}.  They have been used to study how galaxies are distributed throughout space \cite{icke1988voronoi, yoshioka1989large} and have aided in discovering new galaxies \cite{ramella2001finding}.  They have been used to study how animals establish territories \cite{1980tanemura}, how crops can be planted to minimize weed growth \cite{1973fischer}, and how atoms are arranged in crystals \cite{mackay2011stereological}, liquids \cite{finney1970random}, and glasses \cite{hentschel2007statistical, luchnikov2000voronoi}.  A more complete list of applications can be found in standard references on the subject \cite{1992okabe, stoyan1995stochastic}.

A Poisson-Voronoi tessellation is constructed as follows.  Points called {\it seeds} are obtained as the realization of a uniform Poisson point process (e.g.~see \cite{daley2003introduction, daley2007introduction, stoyan1995stochastic, kingman1992poisson, cox1980point}) in a fixed region.  {\it Cells} are the sets of all points in the region that are closer to a particular seed than to any other.  If a point is equidistant to multiple nearest seeds, then it lies on the boundary of the associated cells. In three dimensions, there is a zero probability that a point will be equidistant to five or more seeds.  All cells are convex, and this network of cells partitions the entire region.

Many exact results have been obtained in connection with three-dimensional Poisson-Voronoi structures.  Meijering \cite{1953meijering} proved that the average number of faces per cell is $48\pi^2/35 + 2 \approx 15.535$, the average number of edges per face is $144\pi^2/(35+24\pi^2) \approx 5.228$, the average surface area per cell is $\left(256\pi/3\right)^{1/3}\Gamma(\frac{5}{3})\rho^{-2/3}$ and the average edge length per cell is $(3072\pi^5/125)^{1/3}\Gamma(\frac{4}{3})\rho^{-1/3}$, where $\rho$ is the number of seeds or cells per unit volume.  Gilbert \cite{1962gilbert} expressed the variance of the cell volume distribution as a double integral.  Using a more general approach, Brakke \cite{1985brakke} obtained integral expressions for the variances of number of cell faces, volumes,  surface areas, number of face edges, face areas, and perimeters, as well as  variances and covariances of several  other quantities of interest and the distribution of edge lengths.  In all of these cases, Brakke also solved these integrals numerically.  Much more is understood about Poisson-Voronoi structures than can be detailed here, and the interested reader is referred to standard references \cite{1992okabe, 1994moller, stoyan1995stochastic} and the more recent surveys of M{\o}ller and Stoyan \cite{moller2007stochastic} and of Calka in \cite{kendall2010new}.

Additional properties of Poisson-Voronoi structures have been investigated through simulation.  Using a data set with 358,000 cells, Kumar {\it et al.}~\cite{1992kumar} reported the distributions of faces with fixed numbers of edges and cells with fixed numbers of faces, volumes, face areas and cell surface areas.   They also reported distributions of volumes and surface areas restricted to cells with fixed numbers of faces, and distributions of areas and perimeters restricted to faces with fixed numbers of edges.  Although their data set was relatively small by current standards, their results are the most complete set of three-dimensional Poisson-Voronoi cell  statistics available in the literature.

The Kumar {\it et al.}~data set has since been augmented by additional results.  Marthinsen \cite{1996marthinsen} used a set of 100,000 cells to compute the distribution of cell volumes and surface areas.  Tanemura \cite{2003tanemura} later used a substantially larger data set of 5,000,000 cells to obtain more precise data for the distributions of volumes, surfaces areas, and faces, as well as volumes for cells with fixed numbers of faces.  Ferenc and N{\'e}da \cite{2007ferenc} later used a data set with 18,000,000 cells to calculate the distribution of cell volumes.

Thorvaldsen \cite{thorvaldsen1992simulation} and Reis {\it et al.} \cite{ferro2006geometry} used the ratio between the surface area of a cell and the surface area of a sphere of equal volume to describe the ``shape isotropy'' of a cell.  Using a system of 250,000 cells, Thorvaldsen reported the distribution of this parameter among Poisson-Voronoi cells, and observed that this parameter decreases with increasing cell volume.  Using a smaller set of 10,000 cells, Reis {\it et al.} considered how this parameter depends on the number of faces of a cell.  A more sophisticated, higher-order method of measuring shape isotropy using Minkowski tensors has been recently introduced \cite{schroder2010minkowski} and used to characterize a number of natural structures \cite{kapfer2010local, schroder2010disordered}.  In particular, Kapfer {\it et al.} \cite{kapfer2010local} have used this method to characterize a data set of 160,000 Poisson-Voronoi cells \cite{kapfer2010local}.

In prior studies, the topology of individual cells has been described by counting their numbers of faces.  As we discuss below, this is a simplistic and incomplete description of the topology of a cell.\footnote{When referring to the topology of a cell we have in mind the topology of the cell and its immediate neighborhood, which includes the network of edges and faces which intersect it.}  In this report, we present distributions of many important topological features of Poisson-Voronoi structures based on a dataset of a combined total of 250,000,000 cells.  This is the largest data set available today and provides the most precise characterization of topological properties of the Poisson-Voronoi network. This resolution allows us to examine the validity of conjectures made on the basis of smaller data sets, some of which we now show are qualitatively incorrect.  We supplement the discussion of topological properties with analysis of some purely geometrical descriptions and the interrelationship between some topological and geometrical features.  We leave many results in the Supplemental Material and make the entire data set available online \cite{suppmat}.

\section{Method}
We employ the computer code {\tt vor3dsim}, developed by Ken Brakke \cite{vor3dsim}, to generate 250 Poisson-Voronoi tessellations, each of which contains 1,000,000 cells; periodic boundary conditions are used to eliminate boundary effects.  Because the statistics we consider measure neighborhoods of the structure which are small compared to the total size of the system, we expect that statistics observed in this set of smaller systems will be consistent with what we would observe in a single system with an identical number of total cells.  Details of the algorithms used to perform some of the more complex topological analyses were reported previously \cite{2012lazar, 2012mason}.

\section{Topological characteristics}

\subsection{Distribution of faces}
The simplest way to classify the topology of a Poisson-Voronoi cell involves counting its number of faces.  This is the topological characterization most commonly quoted in the literature \cite{1952smith, 1974rhines}.  Figure \ref{faces} shows this distribution of faces per cell; these data  are consistent with those reported in \cite{1992kumar} and \cite{2003tanemura}.
\begin{figure}[b]
\centering
\includegraphics[width=1.\columnwidth]{multifaces.eps}
\caption{Distribution of the number of faces per cell; squares show the discrete probability distribution of Eq.~(\ref{kumar_faces}).  The mean and standard deviation are 15.535 and 3.335, respectively, to within the accuracy of the data. The inset shows a subset of the data on a semilogarithmic plot; error bars show the standard error from the mean. }
\label{faces}
\end{figure}
As noted earlier, Meijering \cite{1953meijering} proved that the mean of this distribution is $48\pi^2/35 + 2$.  Brakke \cite{1985brakke} obtained an integral form of the variance, which he numerically evaluated to be 11.1246.  Our data reproduce these exact results to within 0.001\% and 0.004\%, respectively.  While the distribution of faces is approximately symmetric about 15, there are no cells with fewer than 4 faces.  We note that while Kumar {\it et al.}~\cite{1992kumar} and Tanemura \cite{2003tanemura} reported no cells with more than 36 faces based on their more limited data set, we find cells with up to 41 faces.

Kumar {\it et al.}~\cite{1992kumar} suggested that the distribution of the number of faces $F$ per cell can be described by the discretized two-parameter $\Gamma$ function:
\begin{equation}
p(F) = \int_{F-1/2}^{F+1/2}\frac{x^{a-1}}{b^a\Gamma(a)}e^{-x/b}dx.
\label{kumar_faces}
\end{equation}
The best fit to their data yielded $a=21.6292$ and $b=0.7199$.   The form of $p(F)$ in  Eq.~(\ref{kumar_faces}) gives $p(F)>0$ for all positive integers $F$, including 1, 2 and 3. Of course, this  is incorrect since there can be no  polyhedra with fewer than four faces in a Voronoi tessellation.  Moreover, since we know exactly both the mean of the distribution as well as its variance, we are left with no free parameters.  Regardless of whether we choose to include $p(1)$, $p(2)$, and $p(3)$ in normalizing the distribution,  these parameters must be $a=21.85892$ and $b=0.710714$ to  match the exact results.
Careful inspection of the data in the inset to Fig.~\ref{faces} reveals that Eq.~(\ref{kumar_faces}) does not accurately describe the decay in $p(F)$ for large $F$.  This further demonstrates that this conjectured equation is not an exact representation of $p(F)$; we know of no such exact relation.

\subsection{Distribution of edges}
We next consider the distribution $p(n)$ of faces with $n$ edges.  Meijering \cite{1953meijering} proved that the mean of this distribution is $144\pi^2/(35+24\pi^2)$, and Brakke \cite{1985brakke} obtained an integral form of the variance, which he evaluated numerically to be 2.4846.  Our data reproduce the exact result of the mean to within 0.0002\%, and the exact result for the variance to within 0.00001\%.
\begin{figure}
\centering
\includegraphics[width=1.\columnwidth]{multiedges.eps}
\caption{Distribution of number of edges per face; squares show the discrete probability distribution of Eq.~(\ref{newfit}).  The mean and standard deviation for this data set is 5.228  and 1.576, respectively, to within the accuracy of the data.  The inset shows the same data on a semilogarithmic plot; error bars show the standard error from the mean.}
\label{multiedges}
\end{figure}
Figure \ref{multiedges} shows this distribution for our Poisson-Voronoi data set.  This distribution is similar to that reported earlier \cite{1992kumar}, albeit with more accurate statistics and over a greater range of $n$.  The distribution has a maximum at 5 edges per face, which is close to the mean; there are no faces with fewer than 3 edges. While Kumar {\it et al.}~\cite{1992kumar} reported no faces with more than 15 edges, our data set shows faces with up to 18 edges.

While the  mean and variance of this distribution are known exactly, little else is known and, to our knowledge, there are no proposed forms for this distribution.  We suggest the following empirical form
\begin{equation}
p(n) =
\begin{cases}
A(n-2)e^{-B(n-\hat{n})^2} & n\geq 2 \\
0 & n<2,
\end{cases}
\label{newfit}
\end{equation}
where $n$ is the number of edges of a face.  Although this empirical relation fits the data remarkably well, its origin is unclear.  By requiring that the distribution is properly normalized and that the mean and variance reproduce the exact results, all three parameters are determined: $A=0.13608070$, $B=0.093483172$, and $\hat{n}=2.64631320$.  Overall, this empirical functional form provides an excellent fit to the Poisson-Voronoi data set, including the large $n$ tail.

\subsection{Aboav-Weaire relation}
In studying two-dimensional cross-sections of polycrystalline magnesium oxide, Aboav \cite{1970aboav} and Weaire \cite{1974weaire} explored the relationship between the number of edges $n$ of a cell and the expected number of edges $m(n)$ of its $n$ neighbors.  They observed that this relationship can be described by $m(n) \approx A + B/n$, which can be understood as follows.  In two dimensions, the average number of edges per cell is $\langle n \rangle = 6$.  If this average is approximately maintained among every cluster of cells, then a cluster with an $n$-sided cell in its center should have on average  $(n+nm(n))/(n+1) \approx \langle n \rangle$ edges per cell.  This gives us an expression for $m(n)$ in terms of $n$ and $\langle n \rangle$ of the above form: $m(n) \approx 5 + 6/n$.  This equivalence is only approximate because the $\langle n \rangle = 6$ average is {\it not} maintained among every cluster of cells.  This leads to a correction term that in part depends on the variance of the distribution.  We note, for later, that this form of $m(n)$ decreases monotonically with increasing $n$.  This relationship has been used to analyze biological tissue \cite{jeune1998interactions, mombach1993mitosis}, soap foams \cite{weaire1999physics, mejia2000evolution}, and other cellular structures \cite{elias1997two, earnshaw1994topological, moriarty2002nanostructured}.

In two dimensions, it was originally believed that this relationship also describes Poisson-Voronoi structures \cite{boots1982arrangement, kumar1993properties}.  However, Hilhorst \cite{hilhorst2005planar, hilhorst2006planar} has shown that the correct form of the relationship is $m(n) = 4+3(\pi/n)^{1/2} + O(1/n)$, in the limit of large $n$.

We now investigate the extension of this relationship to three-dimensional Poisson-Voronoi structures, i.e., the relationship between the number of faces $F$ of a cell and the expected number of faces $m(F)$ of its neighbors.  Figure \ref{weaireaboav} shows that $m(F)$ increases for small $F$, reaches a maximum at $F = 12$, and then decreases in a nearly linear manner for large $F$.  The existence of the increasing region of $m(F)$ has not been previously reported for the Poisson-Voronoi structure.

Based on limited three-dimensional Poisson-Voronoi data (3729 cells), Kumar {\it et al.}~\cite{1992kumar} fit their data to a linear function as follows:
\begin{equation}
m(F) = A - BF,
\end{equation}
and found $A=16.57$ and $B=0.02$.  Of course, such a fit is unreasonable because it suggests that $m(F)<0$ for sufficiently large $F$.  Using the same data set as Kumar {\it et al.}, Fortes \cite{fortes1993applicability} proposed fitting this data to an Aboav-Weaire-type of relation:
\begin{equation}
m(F) = A + B/F,
\end{equation}
where the constants $A=15.96$ and $B=4.60$ were found using a least square fit to this data set.
\begin{figure}[h!]
\centering
\vspace{3mm}
\includegraphics[width=1.\columnwidth]{weaireaboav.eps}
\caption{(Color online) Expected number of faces $m(F)$ of neighbors of cells with $F$ faces; error bars indicate standard error from the mean.  The red, yellow, green, and blue curves show the forms suggested by Kumar {\it et al.}, Fortes, Hillhorst (truncated at $i=3$), and Mason {\it et al.}~(truncated at $i=4$), respectively.}
\label{weaireaboav}
\end{figure}
The forms suggested by Kumar {\it et al.}~and Fortes do not provide even a qualitative fit to $m(F)$ at small $F$; they both decrease monotonically with increasing $F$, contrary to the data for $F < 12$.  Clearly, the general form of the Aboav-Weaire relation provides a poor representation of the topological correlations between nearest neighbor cells in three-dimensional Poisson-Voronoi structures.

Hilhorst \cite{hilhorst2009heuristic}, building on his earlier work on two-dimensional Poisson-Voronoi structures \cite{hilhorst2005planar, hilhorst2006planar}, provided strong theoretical arguments for a relationship of the form:
\begin{equation}
m(F) = k_0 + \sum_{i=1}^{\infty}k_iF^{-i/6}
\label{hilhorsteq}
\end{equation}
with $k_0 = 8$.  A least squares fit of this expression (truncated at $i=3$) to our data yields $k_1=2.474$, $k_2=49.36$, and $k_3=-51.50$.  This form provides an excellent fit to the present three-dimensional Poisson-Voronoi data set, over the entire range of $F$.

Finally, Mason {\it et al.}~\cite{2012masonB}, also based on theoretical arguments, developed the following expression for $m(F)$:
\begin{equation}
m(F) = \langle F \rangle + \frac{\langle F \rangle+\mu_2}{F} - 1 - \frac{1}{\xi F} \sum_{i=1}^{\infty}k_i\left[(F-\langle F \rangle)^i - \mu_i \right],
\label{masoneq}
\end{equation}
where $\xi = 4\pi-6\cos^{-1}(-1/3)$ is a constant for three-dimensional structures, $\mu_i$ is the $i^{\text th}$ central moment of the distribution of faces, and $k_i$ are fitting parameters.  The equation shown in Fig.~\ref{weaireaboav} corresponds to a best fit when considering $i\leq 4$; we find that $k_1=-1.567$, $k_2=0.0478$, $k_3=-0.00109$, and $k_4=0.000022$.  Except at the tail end of $m(F)$, Eqs.~(\ref{hilhorsteq}) and (\ref{masoneq}) are indistinguishable.

\subsection{$p$-vectors}
Although counting faces can often distinguish between topologically distinct cells, it cannot do so in general.  Figure \ref{sixfaces} shows topologically distinct cells, each with six faces.
\begin{figure}[h]
\begin{center}
\begin{tabular}{cc}
\resizebox{0.33\columnwidth}{!}{\includegraphics{cube6.eps}} &\quad\quad
\resizebox{0.38\columnwidth}{!}{\includegraphics{noncube4.eps}}\\
(a)&\quad\quad(b)
\end{tabular}
\vspace{-5mm}
\end{center}
\caption{Topologically distinct cells with six faces.  Type (a) appears more than twice as frequently as type (b) in the Poisson-Voronoi structure.}
\label{sixfaces}
\end{figure}
A more refined description of the topology of a cell involves recording not only its number of faces, but also its particular types of faces.  Figure \ref{sixfaces}(a) has six four-sided faces, while Fig.~\ref{sixfaces}(b) has two three-sided faces, two four-sided faces, and two five-sided faces.  These two topological types are the only ones with six faces that appear in the Poisson-Voronoi structures.

Barnette \cite{1969barnette}, in describing the combinatorial properties of three-dimensional polytopes, defined a $p$-vector as a vector of integer entries in which the $i^{\text{th}}$ entry denotes the number of $i$-sided faces of a polyhedron.  Table \ref{pvectortable} lists the 48 most frequent $p$-vectors of the Poisson-Voronoi structure and their relative frequencies in the Poisson-Voronoi dataset.  The table shows that the Poisson-Voronoi structure is not dominated by a small set of  $p$-vectors; rather, the distribution is quite broad -- no $p$-vector occurs with a frequency greater than 0.39\%.  In the 250,000,000 Poisson-Voronoi cell data set, there are 375,410 distinct $p$-vectors; the complete distribution of observed $p$-vectors may be found in the Supplemental Material.
\begin{table*}
\centering
\begin{tabular}{|r|c|r|c|c|}
\hline
& $p$-vector &  \multicolumn{1}{c|}{$F$} & {\it f} \\
\hline
1 & $(001343100...)$ & 12 & 0.388\% \\
2 & $(001342100...)$ & 11 & 0.342\% \\
3 & $(001433200...)$ & 13 & 0.298\% \\
4 & $(001344100...)$ & 13 & 0.289\% \\
5 & $(001423100...)$ & 11 & 0.288\% \\
6 & $(002333110...)$ & 13 & 0.284\% \\
7 & $(001332000...)$ & 9 & 0.274\% \\
8 & $(000442000...)$ & 10 & 0.265\% \\
9 & $(001352200...)$ & 13 & 0.263\% \\
10 & $(002233100...)$ & 11 & 0.261\% \\
11 & $(001432200...)$ & 12 & 0.258\% \\
12 & $(001353200...)$ & 14 & 0.258\% \\
\hline
\end{tabular}
\hspace{0.6mm}
\begin{tabular}{|r|c|r|c|c|}
\hline
& $p$-vector & \multicolumn{1}{c|}{$F$} & {\it f} \\
\hline
13 & $(002332110...)$ & 12 & 0.256\% \\
14 & $(001422100...)$ & 10 & 0.254\% \\
15 & $(002322200...)$ & 11 & 0.252\% \\
16 & $(002242200...)$ & 12 & 0.248\% \\
17 & $(002342210...)$ & 14 & 0.247\% \\
18 & $(001443110...)$ & 14 & 0.244\% \\
19 & $(000443000...)$ & 11 & 0.239\% \\
20 & $(002343210...)$ & 15 & 0.233\% \\
21 & $(001442110...)$ & 13 & 0.232\% \\
22 & $(001424100...)$ & 12 & 0.231\% \\
23 & $(001434200...)$ & 14 & 0.223\% \\
24 & $(002243200...)$ & 13 & 0.217\% \\
\hline
\end{tabular}
\hspace{0.6mm}
\begin{tabular}{|r|c|r|c|c|}
\hline
& $p$-vector & \multicolumn{1}{c|}{$F$} & {\it f} \\
\hline
25 & $(002323200...)$ & 12 & 0.213\% \\
26 & $(002232100...)$ & 10 & 0.210\% \\
27 & $(002423210...)$ & 14 & 0.203\% \\
28 & $(002334110...)$ & 14 & 0.202\% \\
29 & $(001252000...)$ & 10 & 0.201\% \\
30 & $(000533100...)$ & 12 & 0.199\% \\
31 & $(001263100...)$ & 13 & 0.198\% \\
32 & $(001341100...)$ & 10 & 0.196\% \\
33 & $(002234100...)$ & 12 & 0.193\% \\
34 & $(001354200...)$ & 15 & 0.192\% \\
35 & $(001345100...)$ & 14 & 0.191\% \\
36 & $(001334000...)$ & 11 & 0.190\% \\
\hline
\end{tabular}
\hspace{0.6mm}
\begin{tabular}{|r|c|r|c|c|}
\hline
& $p$-vector & \multicolumn{1}{c|}{$F$} & {\it f} \\
\hline
37 & $(002422210...)$ & 13 & 0.190\% \\
38 & $(002333300...)$ & 14 & 0.188\% \\
39 & $(002324200...)$ & 13 & 0.188\% \\
40 & $(001442300...)$ & 14 & 0.186\% \\
41 & $(001444110...)$ & 15 & 0.185\% \\
42 & $(001443300...)$ & 15 & 0.185\% \\
43 & $(002332300...)$ & 13 & 0.180\% \\
44 & $(001351200...)$ & 12 & 0.179\% \\
45 & $(000453100...)$ & 13 & 0.178\% \\
46 & $(001533210...)$ & 15 & 0.175\% \\
47 & $(001333000...)$ & 10 & 0.173\% \\
48 & $(001453210...)$ & 16 & 0.172\% \\
\hline
\end{tabular}
\caption{The 48 most frequent $p$-vectors in the Poisson-Voronoi structure, their number of faces $F$  and  their relative frequency ${\it f}$.  The 250,000,000 cell data set contains 375,410 distinct $p$-vectors; the complete distribution of $p$-vectors may be found in the Supplemental Material.}
\label{pvectortable}
\end{table*}

Poisson-Voronoi cells may be contrasted with those found in other natural structures.  Matzke \cite{1946matzke} carefully recorded $p$-vector data for 1000 soap bubbles in a foam, and Williams and Smith \cite{1952williams} reported $p$-vector data for 91 individual cells in an aluminum polycrystal.  More recently, Kraynik {\it et al.}~\cite{kraynik2003structure} reported $p$-vector data to characterize over 1000 simulated monodisperse foam bubbles, and we have reported the distribution of $p$-vectors in a set of 269,555 grains in simulated grain growth microstructures \cite{2012lazar}.

Although soap foams and grain growth microstructures share much in common with Poisson-Voronoi tessellations, it is important to emphasize that they result from qualitatively different processes.  Capillarity, surface tension, and curvature play significant roles in the formation and evolution of soap foams \cite{weaire1999physics} and grain growth microstructures \cite{ratke2002growth}.  Since these forces tend to minimize interfacial areas (subject to certain constraints), we can expect that the microstructures that result from these processes somehow reflect these physics.  More specifically, we might expect to find qualitatively different microstructures than those that result from a Poisson-Voronoi tessellation, in which these forces play no role.

The data reported in \cite{1946matzke}, \cite{1952williams}, and \cite{kraynik2003structure} are insufficient to provide definitive $p$-vector distributions for either polycrystalline aluminum or soap foam structures.  However, they are sufficient to clearly distinguish those structures from the Poisson-Voronoi one.  Of the 91 aluminum cells examined by Williams and Smith, the most common $p$-vector is $(0004420...)$, and it appeared 8 times.  Seven other $p$-vectors appeared 2 or 3 times each, and the remaining 66 distinct $p$-vectors appeared only once each.

Considering only the interior bubbles of his original sample, Matzke found that the most common $p$-vector was $(0001\,10\,2...)$.  These bubbles accounted for 20\% of the 600 interior bubbles.  Three more $p$-vectors each accounted for at least 8\% of all bubbles, five more accounted for at least 3\% each, and five more accounted for at least 1.5\% of all bubbles.

Kraynik {\it et al.}~\cite{kraynik2003structure} found that data from simulated monodisperse foams closely resembled the experimental results of Matzke.  In particular, they found that the most common $p$-vector was $(0001\,10\,2...)$, which accounted for just under 20\% of all relaxed and annealed monodisperse foam bubbles, a result almost identical to that of Matzke.  The next most common $p$-vector in simulated monodisperse structures was $(0002840...)$, which accounted for almost 14\% of all bubbles, and then $(0001\,10\,3...)$, which accounted for just under 11\% of all bubbles.  Four other $p$-vectors each accounted for at least 5\% of bubbles.

The distribution of $p$-vectors in grain growth structures \cite{2012lazar}, which evolve through mean curvature flow, is substantially more concentrated than in the Poisson-Voronoi microstructure, but not nearly as much as in the data of Matzke, Williams and Smith, and Kraynik {\it et al.}.  In the grain growth data, the most common $p$-vector is $(0004400...)$, and it accounts for nearly 3\% of all cells; each of the 10 most common $p$-vectors accounts for at least 1\% of all cells.

Although the exact nature of the heavy bias towards certain $p$-vectors in each of the structures is not completely understood, it can already be used to distinguish the different structures from the Poisson-Voronoi structure and from each other by standard statistical tests (e.g., a chi-squared test).  The distribution of $p$-vectors, hence,  provides a useful means  to distinguish between cellular structures of different physical origin.  Despite its early introduction, this method has not been widely adopted.

\subsection{Distribution of topological types}

Although the $p$-vector of a cell provides more information than a mere count of its faces, it too does not completely describe its topology.  For example, Fig.~\ref{gons8} shows three cells that share the $p$-vector $(0004420...)$ and yet are topologically distinct.
\begin{figure}[h]
\begin{center}
\begin{tabular}{ccc}
\includegraphics[height=0.23\columnwidth]{type2}\quad\quad&
\includegraphics[height=0.25\columnwidth]{type1}\quad\quad&
\includegraphics[height=0.25\columnwidth]{type3}\\
(a)\quad&(b)\quad&(c)
\end{tabular}
\end{center}
\vspace{-5mm}
\caption{Three topologically distinct cells, each with four quadrilateral, four pentagonal, and two hexagonal faces.  Type (a) appears roughly twice as frequently as type (b), which appears roughly fives times as frequently as type (c), in the Poisson-Voronoi structure.}
\label{gons8}
\end{figure}

In an earlier paper \cite{2012lazar}, we developed a method to succinctly characterize the complete topology of a cell.  That work was built on earlier work of Weinberg \cite{weinberg1965plane, weinberg1966simple}, who developed an efficient graph-theoretic algorithm to determine whether two triply-connected planar graphs are isomorphic.  We showed that the edges and vertices of a cell can be treated as a planar graph, and Weinberg's method can then be used to calculate what we call a {\it Weinberg vector} for each cell.  A Weinberg vector for a cell with $F$ faces is a vector with $6(F-2)$ integer entries that can be computed in time linear in $F^2$.  Two cells are topologically identical if and only if their Weinberg vectors are identical.  Moreover, the method by which the Weinberg vector is calculated also determines the order of the cell's associated symmetry group \cite{1966weinberg2}.  The topological type of each cell in the structures is recorded, along with its $p$-vector, symmetry order, and frequency.  We do not reproduce the algorithm for creating a Weinberg vector here, but simply refer the interested reader to \cite{2012lazar}.

In the remainder of this paper, we use Schlegel diagrams to help visualize topological types.  A {\it Schlegel diagram} is constructed by projecting the boundary of a cell onto one of its faces in a way that vertices not belonging to that face lie inside it and no edges cross \cite{schlegel1883theorie, schlegel1886uber}.  Figure \ref{schlegel-diagrams} shows Schlegel diagrams for the 24 most common topological types that appear in the Poisson-Voronoi structure.  Along with the Schlegel diagram for each, we show its frequency $f$, number of faces $F$, $p$-vector, and order $S$ of its symmetry group.

\setlength{\tabcolsep}{3pt}
\begin{figure*}[ht]
\centering
\begin{tabular}{|c|c|c|c|c|c|c|c|}
\hline
\specialcell[t]{1. $f$=0.274\%\\\includegraphics[scale=0.275]{top01}\\(0013320...)\\$F$=9, $S$=1 } &
\specialcell[t]{2. $f$=0.166\%\\\includegraphics[scale=0.275]{top02}\\(0013310...)\\$F$=8, $S$=2 } &
\specialcell[t]{3. $f$=0.158\%\\\includegraphics[scale=0.275]{top03}\\(0004420...)\\$F$=10, $S$=2 } &
\specialcell[t]{4. $f$=0.120\%\\\includegraphics[scale=0.275]{top04}\\(0013411...)\\$F$=10, $S$=1 } &
\specialcell[t]{5. $f$=0.117\%\\\includegraphics[scale=0.275]{top05}\\(0004410...)\\$F$=9, $S$=4 } &
\specialcell[t]{6. $f$=0.101\%\\\includegraphics[scale=0.275]{top06}\\(0004400...)\\$F$=8, $S$=8 } &
\specialcell[t]{7. $f$=0.096\%\\\includegraphics[scale=0.275]{top07}\\(0014221...)\\$F$=10, $S$=1 } &
\specialcell[t]{8. $f$=0.095\%\\\includegraphics[scale=0.275]{top08}\\(0003620...)\\$F$=11, $S$=2 } \\
\hline
\hline
\specialcell[t]{9. $f$=0.095\%\\\includegraphics[scale=0.275]{top09}\\(0013330...)\\$F$=10, $S$=1 } &
\specialcell[t]{10. $f$=0.094\%\\\includegraphics[scale=0.275]{top10}\\(0004430...)\\$F$=11, $S$=1 } &
\specialcell[t]{11. $f$=0.094\%\\\includegraphics[scale=0.275]{top11}\\(0014221...)\\$F$=10, $S$=1 } &
\specialcell[t]{12. $f$=0.093\%\\\includegraphics[scale=0.275]{top12}\\(0014231...)\\$F$=11, $S$=1 } &
\specialcell[t]{13. $f$=0.091\%\\\includegraphics[scale=0.275]{top13}\\(0004420...)\\$F$=10, $S$=2 } &
\specialcell[t]{14. $f$=0.091\%\\\includegraphics[scale=0.275]{top14}\\(0012510...)\\$F$=9, $S$=2 } &
\specialcell[t]{15. $f$=0.090\%\\\includegraphics[scale=0.275]{top15}\\(0005220...)\\$F$=9, $S$=4 } &
\specialcell[t]{16. $f$=0.088\%\\\includegraphics[scale=0.275]{top16}\\(0012520...)\\$F$=10, $S$=2 } \\
\hline
\hline
\specialcell[t]{17. $f$=0.082\%\\\includegraphics[scale=0.275]{top18}\\(0012520...)\\$F$=10, $S$=2 } &
\specialcell[t]{18. $f$=0.082\%\\\includegraphics[scale=0.275]{top19}\\(0012611...)\\$F$=11, $S$=1 } &
\specialcell[t]{19. $f$=0.081\%\\\includegraphics[scale=0.275]{top17}\\(0022321...)\\$F$=10, $S$=1 } &
\specialcell[t]{20. $f$=0.080\%\\\includegraphics[scale=0.275]{top20}\\(0022311...)\\$F$=9, $S$=2 } &
\specialcell[t]{21. $f$=0.079\%\\\includegraphics[scale=0.275]{top21}\\(0003610...)\\$F$=10, $S$=6 } &
\specialcell[t]{22. $f$=0.077\%\\\includegraphics[scale=0.275]{top22}\\(0014140...)\\$F$=10, $S$=2 } &
\specialcell[t]{23. $f$=0.075\%\\\includegraphics[scale=0.275]{top23}\\(0004430...)\\$F$=11, $S$=2 } &
\specialcell[t]{24. $f$=0.073\%\\\includegraphics[scale=0.275]{top24}\\(0032122...)\\$F$=10, $S$=1 } \\
\hline
\end{tabular}
\caption{Schlegel diagrams of the 24 most common topological types among the Poisson-Voronoi cells.  Listed for each type is its frequency $f$, $p$-vector, number of faces $F$, and order $S$ of its associated symmetry group.  In these data, there are four pairs of Weinberg vectors which share $p$-vectors.}
\label{schlegel-diagrams}
\end{figure*}

Each of the six most common topological types have 10 or fewer faces.  This may be surprising in light of the fact that of the 48 most commonly occurring $p$-vectors, only one had fewer than 10 faces.  This can be understood by considering that many distinct topological types can share the same $p$-vector, as illustrated earlier in Fig.~\ref{gons8}.  This degeneracy increases with the number of faces, and so $p$-vectors of cells with many faces can appear frequently even if no single topological type with that $p$-vector appears frequently.  Conversely, $p$-vectors with few faces are typically shared by few distinct topological types.  The most frequently occurring $p$-vector (001343100...) is shared by 38 distinct topological types,\footnote{This can be extracted from data available on {\it The Manifold Page} \cite{2013lutz}; data for these 38 types are included in Fig.~20 of the Supplemental Material.} not one of which appears among the 24 most common types.

The most common topological type in the Poisson-Voronoi structure (Fig.~\ref{schlegel-diagrams}, entry 1) has $p$-vector $(0013320...)$ and occurs with frequency 0.273\%.  Two factors appear to contribute to its relative high frequency.  First, its distribution of face types closely resembles that of the structure as a whole (Fig.~\ref{multiedges}).  Specifically, four- and five-sided faces appear most frequently, followed by six-sided faces and then three-sided faces.  Second, no other topological type shares this $p$-vector.  Despite its frequency, however, it is difficult to describe it as a ``typical'' Poisson-Voronoi cell, given how few cells are of this type.

Figure \ref{famous-diagrams} illustrates Schlegel diagrams of a number of highly symmetric polyhedra: the tetrahedron, truncated tetrahedron,  cube, truncated cube,  pentagonal dodecahedron,  truncated pentagonal prism,  pentagonal antiprism over a heptagon, and  truncated octahedron.  The first, third, and fifth of these are Platonic solids that occur with non-zero probability in the Poisson-Voronoi structures.  The last of these shapes, often referred to as the {\it Kelvin tetrakaidecaheron} or {\it Kelvin cell}, was conjectured by Lord Kelvin \cite{sir1887division, kelvin1894homogeneous} to tile three-dimensional space with a minimal surface area, very much like the regular hexagon tiles the plane with minimal perimeter \cite{hales2001honeycomb}.
\setlength{\tabcolsep}{3pt}
\begin{figure*}[ht!]
\centering
\begin{tabular}{|c|c|c|c|c|c|c|c|}
\hline
\specialcell[t]{$N=325$\\$F$=4, $S$=24 \\\includegraphics[height=1.9cm, angle=0]{schlegel-tetrahedronR.eps}\\ \\$tetrahedron$\\} &
\specialcell[t]{$N=22227$\\$F$=8, $S$=24 \\\includegraphics[height=1.9cm, angle=0]{truncated_tetrahedron.eps}\\\\$truncated$\\$tetrahedron$} &
\specialcell[t]{$N=$ 23744\\$F$=6, $S$=48\\\includegraphics[height=1.9cm]{schlegel-cubeR.eps}\\  \\$cube$\\} &
\specialcell[t]{$N=41$\\$F$=14, $S$=48 \\\includegraphics[height=1.9cm, angle=0]{truncated_cube.eps}\\\\$truncated$\\$cube$} &
\specialcell[t]{$N=3612$\\$F$=12, $S$=120\\\includegraphics[height=1.9cm]{schlegel-pentdodecR.eps}\\\\ $pentagonal$\\$dodecahedron$} &
\specialcell[t]{$N=1$\\$F$=17, $S$=20 \\\includegraphics[height=1.9cm, angle=0]{truncated_5_prism.eps}\\$truncated$\\$prism$ $over$\\$a$ $prism$} &
\specialcell[t]{$N=$55\\$F$=16, $S$=28\\\includegraphics[height=1.9cm]{anti_7_prism.eps}\\ $pentagonal$\\$antiprism$ $over$\\$heptagon$} &
\specialcell[t]{$N=623$\\$F$=14, $S$=48\\\includegraphics[height=1.9cm]{schlegel-kelvinR.eps}\\ \\$Kelvin$ $cell$} \\
\hline
\end{tabular}
\caption{Highly symmetric polyhedra.  For each type, we include the number of times $N$ it appears in the 250,000,000 cell data set, its number of faces $F$, and the order $S$ of its symmetry group.}
\label{famous-diagrams}
\end{figure*}

It can be shown that every topological type appears in the Poisson-Voronoi tessellation with a non-zero frequency, and so the appearance of these highly symmetric shapes is not surprising.  However, their relative frequencies warrant  attention.  The truncated cube and the Kelvin cell both have 14 faces and a symmetry group of order $S=48$, and yet they occur with substantially different frequencies.  It is clear that frequencies are not entirely determined by the number of faces of a cell nor by the order of its associated symmetry group.  It is unclear how these topological features impact frequency.

The 24 most common topological types in Poisson-Voronoi structures account for less than 2.5\% of all cells.  By contrast, the distribution of topological types in grain growth structures is substantially more concentrated \cite{2012lazar}.  There, the 24 most common types account for over 25\% of all cells \cite{2012lazar}.  While space-filling constraints in both the Poisson-Voronoi and grain growth structures create a bias towards certain topological types, the curvature flow process that governs the evolution of grain growth structures leads to a secondary bias towards cells that exhibit a low surface area to volume ratio.  Distributions of topological types have not been collected, to the best of our knowledge, for other cellular structures.

\subsection{Order of symmetry groups}
As noted earlier, the algorithm which determines the Weinberg vector of a cell also determines the order of its associated symmetry group.
\begin{figure}
\centering
\includegraphics[width=1.\columnwidth]{symmetries.eps}
\caption{Distribution of orders of cell symmetry groups.  Error bars indicate standard error from the mean; in many cases the error bars are not visible because they are smaller than the points.}
\label{symmetries}
\end{figure}
Figure \ref{symmetries} shows the distribution of symmetry orders among all cells.  Roughly 91.71\% of cells have only the trivial symmetry (order 1), 6.61\% have a symmetry of order 2, and 1.00\% have a symmetry of order 4.  The remaining 0.68\% have symmetries of order 3 or higher than 4.  The probability of finding a cell with a particular symmetry order generally decreases quickly with the order, subject to certain secondary rules.  More specifically, odd numbers and numbers whose prime factors are all large appear highly infrequently.  Odd orders appear in topological types with rotational symmetries but without mirror or inversion symmetries.  Therefore, we find no cells with symmetry order 13, for example, even though we find many with symmetry orders 16, 24 and 48.

The average symmetry order of Poisson-Voronoi cells is 1.16.  This might be contrasted with the case of grain growth structures \cite{2011lazar}, where the average observed symmetry order is 3.09 \cite{2012lazar}. This discrepancy may be due to the tendency of mean curvature flow to minimize surface area, although how this correlates with topological symmetry is unclear since curvature is a geometric quantity.

We note that although some symmetries of a cell can be observed in its Schlegel diagram, the diagram can often obscure other symmetries.  Entries 5 and 21 in Fig.~\ref{schlegel-diagrams}, for example, might appear at first sight more symmetric than entry 6, and yet the latter has the highest symmetry order of the three.  To understand this apparent inconsistency between the diagram and the data, we note that entries 5 and 21 both have only one hexagonal face.  Therefore, aside from rotations or reflections, there is no way to redraw identical graphs using a different face as the outside polygon.  Entry 6, in contrast, has four pentagonal faces, and the graph can be redrawn with each of those faces as the outside polygon.  These contribute additional symmetries which might be initially overlooked when considering the Schlegel diagrams.

\subsection{Cloths and swatches}
\label{subsec_cloths_and_swatches}

The types of topological information considered up to this point concern the configuration of faces and edges on cell surfaces, but not the topology of the network of cells extending throughout the tessellation. This is more difficult to address for at least two reasons. First, much more information is involved in characterizing the topology of the cell network than a single cell.  Second, collecting statistics relating to the topological features of the boundary network requires a much larger computational effort.

One approach \cite{2012mason} is to construct and collect statistics of {\it swatches}, where a swatch is roughly a collection of labels for the vertices (intersection of four cells) in a portion of the tessellation. The labeling procedure is performed as follows. Let one of the vertices of the structure be designated as the root, and assign a label to this vertex. The swatch is expanded by a canonical procedure that assigns labels to any vertices connected by a single edge to one of the most recently labeled vertices. While performing this procedure on a quadrivalent Cayley tree would give a single, unique label for every vertex, in practice the network of edges contains loops around every face.  The result is that vertices are often assigned multiple labels; the labels of such a vertex are considered to be equivalent, and define an equivalence relation. After $r$ iterations of assigning labels, the set of equivalence relations is known as a swatch of order $2r$.  A swatch contains all of the topological information about the network of cells in the region around the root; as evidence of this, consider that applying the equivalence relations to a labeled quadrivalent Cayley tree exactly reproduces the network of edges. A swatch therefore classifies the topology of the locale, analogous to the way a Weinberg vector classifies a single cell.

For a positive integer $k$, vertices may be randomly selected from the tessellation to serve as root vertices for the construction of swatches of order $k$. The frequencies at which the different types of swatches appear during this sampling gives a probability distribution that effectively describes the distribution of local topological environments. Allowing $k$ to vary over the positive integers gives an infinite set of probability distributions, collectively known as the {\it cloth} of the cell network.

The probability distribution for a given value of $k$ further defines a {\it $k$-entropy} via the Shannon entropy formula \cite{1948shannon}. The $k$-entropy indicates the variability of the local topological environment, and is a well-defined property of an infinite and statistically homogenous \cite{2012mason} cellular structure. The $k$-entropies are reported here as a function of $k$.

We constructed swatches for all $V$ = 1,691,911,665 vertices in the data set, and report the $k$-entropies for $k = 0$ to $8$ in Fig.~\ref{kentropy}.
\begin{figure}[h]
\centering
\vspace{3mm}
\includegraphics[width=1.\columnwidth]{kentropy.eps}
\caption{The $k$-entropy calculated using all $V$ = 1,691,911,665 vertices in the three-dimensional Poisson-Voronoi structures, containing 250,000,000 cells.  The red line is $0.0457e^{0.972k}$.}
\label{kentropy}
\end{figure}
The $k$-entropy of the system is 0 for $k = {0,1,2}$ since a sufficiently small neighborhood around any vertex is topologically trivial (e.g., an isolated vertex, or a vertex connected to four edges). On the other hand, for $k = {7,8}$ there are so many possible local environments that the number of swatch types is much larger than the number of vertices in the system. As a result, no swatch type is sampled more than once during the sampling procedure, apparently bounding the $k$-entropy from above due to the finite system size. This probably affects the $k$-entropy for $k = 6$ as well, where the probability distribution of swatch types appears to be insufficiently sampled. The $k$-entropy for the remaining three values of $k = {3,4,5}$ is adequately fit by a least-squares procedure to an exponential function.

Suppose that the $k$-entropy is roughly proportional to the natural logarithm of the number of swatch types (this is precisely true in the case of a uniform distribution), and that the exponential form suggested above holds, i.e.,
\begin{equation}
ln(N_k) \sim c_0 \exp( c_1 \cdot k ),
\end{equation}
where $N_k$ is the number of swatch types of order $k$. This implies that $N_k$ grows roughly as a double exponential,
\begin{equation}
N_k \sim \exp( c_0 \exp( c_1 \cdot k ) ).
\end{equation}
Although more data points would certainly help to validate this suggestion, the apparent growth rate means that adequately sampling the $k$-entropy for even $k = 6$ is extremely computationally demanding.

Comparing our results with the $k$-entropies for grain growth structures \cite{2012mason}, we find that the $k$-entropies of the Poisson-Voronoi tessellation are slightly higher. The slightly higher values are consistent with the greater variability of cell types in the Poisson-Voronoi tessellation, as is evidenced by the differences in the distributions of the $p$-vectors or of the Weinberg vectors for the two structures. That said, the similarity of the $k$-entropies does not imply the similarity of the local topological environments, but only that the amount of variability in the two structures is similar.

\section{Geometrical data}

One of the most frequently studied geometrical-topological relations is that between the number of faces of a cell and its expected volume.  Before considering that relationship, we look at the distribution of volumes over all cells and at the partial distributions of volumes limited to cells with fixed numbers of faces.  Likewise, we consider the distribution of surface areas of cells, as well as areas and perimeters of faces.

\subsection{Distribution of volumes}
\label{Distribution of volumes}

Despite much interest in understanding the distribution of volumes among three-dimensional Poisson-Voronoi cells, few rigorous results are available.  Throughout this section we use $x_v = v/\langle v \rangle$ to denote normalized cell volumes, where $v$ is the volume of a particular cell and $\langle v \rangle$ is the average volume per cell.  Throughout the paper we use $p(x)$ to denote the probability  distribution of a variable $x$.  Gilbert \cite{1962gilbert} and Brakke \cite{1985brakke} obtained exact integral expressions for the variance of this distribution; numerical integration yields a variance of 0.1790.  Figure \ref{volumefits} shows the distribution of cell volumes in our data set.  The distribution exhibits a maximum at roughy $x_v = 0.831$  with a probability density of $p(x_v)=1.006$.  Several suggestions have been made for the form of this distribution.

Hanson \cite{hanson1983voronoi} suggested that the volume is distributed according to a Maxwell distribution:
\begin{equation}
p(x) = \frac{32}{\pi^2}x^2e^{-4x^2/\pi}.
\label{maxwelleq}
\end{equation}
Hanson acknowledged the lack of physical motivation to substantiate this suggestion and realized that this form does not provide a  particularly good fit to the data for all $x$. In addition, the variance of this distribution, $3\pi/8-1$, is not consistent with the exact results of Gilbert \cite{1962gilbert} and Brakke \cite{1985brakke}.

Ferenc and N{\'e}da \cite{2007ferenc}, motivated by a known result of one-dimensional Poisson-Voronoi structures, and based on the study of 18,000,000 three-dimensional Poisson-Voronoi cells, proposed
\begin{equation}
p(x) = \frac{3125}{24}x^4e^{-5x}.
\label{ferenceq}
\end{equation}
The variance of this distribution is 1/5 which, again, is inconsistent with the known exact result.  Ferenc and N{\'e}da acknowledged that this form is empirical and  not completely consistent with the true distribution.  Because Eqs.~(\ref{maxwelleq}) and (\ref{ferenceq}) are inconsistent with the exact, known properties of this distribution,  we do not consider them further.

Kumar {\it et al.}~\cite{1992kumar} considered a lognormal distribution as an approximation of the Poisson-Voronoi volumes distribution:
\begin{equation}
p(x) = \frac{1}{x\sqrt{2\pi}\sigma}\exp\left[-\frac{(\ln x - \mu)^2}{2\sigma^2}\right],
\label{lognormaleq}
\end{equation}
where $\mu$ and $\sigma$ are determined by fitting.  Using simulation data, Kumar {\it et al.}~\cite{1992kumar} obtained $\sigma = 0.4332$ and $\mu = -0.0735$.  However, since we know the mean and variance exactly \cite{1962gilbert,1985brakke}, these two parameters are completely determined: $\sigma=0.4058$ and $\mu=-0.0823$.  As noted by Kumar {\it et al.}~\cite{1992kumar} and others \cite{fatima1988grain}, a lognormal distribution appears to have little physical justification, and given its weakness in fitting the data, can serve only as a rough guide to the actual distribution.

Another suggested form for the Poisson-Voronoi volume distribution is a $\Gamma$ distribution function with one, two, or three fitting parameters.  Kiang \cite{kiang1966random} attempted to extend results known for one-dimensional systems and limited simulation data to suggest a volume distribution of the form:
\begin{equation}
p(x) = \frac{\gamma}{\Gamma(\gamma)}(\gamma x)^{\gamma-1}e^{-\gamma x},
\label{gammaeqA}
\end{equation}
where $\gamma$ is a constant which Kiang believed to be 6.  Andrade and Fortes \cite{andrade1988distribution}, using a larger data set, concluded that $\gamma\approx 5.56$.  Kumar {\it et al.}~\cite{1992kumar} found $\gamma = 5.7869$.  All these fits should only be considered approximations, since the variance $\sigma^2$ is known exactly.  This, then, determines $\gamma = 1/\sigma^2 = 5.586$.

Kumar {\it et al.}~\cite{1992kumar} also suggested a two-parameter version of this distribution,
\begin{equation}
p(x) = \frac{x^{\gamma-1}}{\beta^\gamma\Gamma(\gamma)}e^{-x/\beta}.
\label{gammaeqB}
\end{equation}
Using simulation data, Kumar {\it et al.}~obtained best fit values of the constants, $\beta=0.1782$ and $\gamma=5.6333$.  However, the exact variance results require $\beta=\sigma^2=0.1790$ and $\gamma=1/\sigma^2 = 5.586$. With these values, Eq.~(\ref{gammaeqB}) reduces to Eq.~(\ref{gammaeqA}).

Tanemura \cite{2003tanemura} suggested a three-parameter version of the distribution,
\begin{equation}
p(x) = \frac{\alpha\beta^{\gamma/\alpha}}{\Gamma(\gamma/\alpha)}x^{\gamma-1}e^{-\beta x^\alpha}.
\label{gammaeqC}
\end{equation}
Fitting to simulation data, Tanemura  found $\alpha=1.409$, $\beta=2.813$, and $\gamma=4.120$.  However, this can be simplified using the exact values for  the mean and variance; hence, there is  only one free parameter.  Fitting to our own data and using these exact results yields $\alpha=1.1580$, which fixes $\beta=4.0681$ and $\gamma=4.7868$.

Figure \ref{volumefits} shows a comparison of the volume distribution for our large data set and the various suggested fits.
\begin{figure}[h]
\centering
\vspace{3mm}
\includegraphics[width=1.\columnwidth, trim = 4mm 0 2mm 0mm]{multivolumes.eps}
\caption{(Color online) Distribution of normalized cell volumes, $x_v = v/\langle v \rangle$.  The standard deviation of the data set is 0.4231, consistent with analytical results to within numerical accuracy.  The curves represent suggested forms of the distribution, as described in the text.  The inset shows a subset of the data on a semilogarithmic plot.}
\label{volumefits}
\end{figure}
The parameters in Eqs.~(\ref{lognormaleq}), (\ref{gammaeqA}), and (\ref{gammaeqB}) are determined using the known exact results, with the single free parameter  in Eq.~(\ref{gammaeqC}) determined via a least squares fit to our data set.

Inspection of Fig.~\ref{volumefits} shows that Eq.~(\ref{lognormaleq}) does a poor job reproducing the simulation data.   Equations \ref{gammaeqA} and \ref{gammaeqB}  exhibit systematic errors compared with the simulation data (see both the peak position and the large $x$ behavior), although they are far superior  to Eq.~(\ref{lognormaleq}).  The adjustable three-parameter $\Gamma$ distribution function [Eq.~\ref{gammaeqC})] provide a best fit to the data.

We next consider the partial distributions $p_{_F}(x_v)$ of cell volumes for each number of faces $F$; the partial distributions are normalized so $p(x) = \sum_{F=1}^{\infty} p_{_F}(x_v)$.  Data for $4\leq F \leq 32$ are shown in Fig.~\ref{faces_volumes_distributions}; a semi-log scale is used to help differentiate the data for very small and very large volumes.
\begin{figure}
\centering
\vspace{3mm}
\includegraphics[width=1.\columnwidth]{faces_volumes_distributions.eps}
\caption{(Color online) Partial distributions $p_{_F}(x_v)$ of cell volumes for each number of faces $F$.  The red-most curve, at the bottom left of the plot, corresponds to $F=5$; the blue-most curve, at the bottom right of the plot, corresponds to $F=32$.  Data were binned in intervals of width 0.04.}
\label{faces_volumes_distributions}
\end{figure}
Tanemura \cite{2003tanemura} used a relatively large data set (5 million cells) and suggested that each of these partial distributions could be accurately described by the three-parameter $\Gamma$ function considered earlier [Eq.~(\ref{gammaeqC})], where $\alpha$, $\beta$, and $\gamma$ for each curve are parameters that depend on $F$.   We test this suggestion using a least squares fit to obtain parameters $\alpha$, $\beta$, and $\gamma$ for each $F$.  Figure \ref{faces_volumes_distributions} shows least squares fits of Eq.~(\ref{gammaeqC}) for each $F$.  Obtained parameters are provided in Table IX of the Supplemental Material.  While we know of no theoretical reason to expect this form, it appears to match the data very well.

\subsection{Distribution of surface areas}
\label{Distribution of surface areas}

We next consider the distribution of surface areas over all cells.  In this section we use $x_s = s/\langle s \rangle$ to denote normalized surface area, where $s$ is the surface area of a particular cell and $\langle s \rangle$ is the average surface area per cell.  Brakke \cite{1985brakke} provided an integral equation for  the variance of this distribution, and numerically evaluated it to be 0.064679.  Our data reproduce this exact result to within 0.0001\%.  Figure \ref{surface_areas_distribution} plots the distribution of surface areas in our data set.  The curve appears to peak at roughly $x_s=0.96$ with a probability density of $p(x_s)= 1.57$.
\begin{figure}
\centering
\vspace{3mm}
\includegraphics[width=1.\columnwidth]{multisurfaces.eps}
\caption{(Color online) Distribution of surface areas among all cells.  Data were binned in intervals of width 0.04.  The standard deviation is 0.254, shown to three decimal places. The inset shows a subset of the data on a semilogarithmic plot.}
\label{surface_areas_distribution}
\end{figure}

Kumar {\it et al.}~suggested that this distribution can be described by a two-parameter $\Gamma$ function [Eq.~(\ref{gammaeqB})] with fitted parameters $\alpha=15.4847$ and $\beta=0.06490$.  However, since both the mean and variance are known, there are no degrees of freedom in fitting two parameters.  The analytic constraints yield $\alpha=15.461$ and $\beta=0.06468$.

If we consider a three-parameter $\Gamma$ function [Eq.~(\ref{gammaeqC})], then we are left with one degree of freedom in choosing the parameters.  A least squares fit finds that $\alpha=1.845$, $\beta=4.416$, and $\gamma=8.557$ fit the data most closely, while satisfying the known analytic constraints.
Figure \ref{surface_areas_distribution} shows both fits and the collected data.  Although the three-parameter version slightly underestimates $p(x)$ for small $x$, as can be seen on the inset plot, overall it provides excellent agreement with the data.

Figure \ref{faces_surface_areas_distributions} shows the partial distributions $p_{_F}(x_s)$ of surface areas for cells with fixed numbers of faces.
\begin{figure}
\centering
\vspace{3mm}
\includegraphics[width=1.\columnwidth]{faces_surface_areas_distributions.eps}
\caption{(Color online) Partial distributions $p_{_F}(x_s)$ of cell surface areas for each number of faces $F$.  The red-most curve, at the bottom left of the plot, corresponds to $F=4$; the blue-most curve, at the bottom right of the plot, corresponds to $F=33$.  Data were binned in intervals of width 0.04.}
\label{faces_surface_areas_distributions}
\end{figure}
We show the data on a semi-log plot to focus attention on data of very large and small surface areas.  Tanemura \cite{2003tanemura} suggested that these distributions could also be accurately described by the three-parameter $\Gamma$ function considered earlier [Eq.~(\ref{gammaeqC})], where $\alpha$, $\beta$, and $\gamma$ for each curve are parameters that depend on $F$.  We test this suggestion using a least squares fit to obtain parameters $\alpha$, $\beta$, and $\gamma$ for each $F$.  Figure \ref{faces_volumes_distributions} shows least squares fits of Eq.~(\ref{gammaeqC}) for each $F$; the parameters are provided in Table X of the Supplemental Material.  While we cannot provide justification to expect this form, it appears to match the data very well.

\subsection{Distribution of face areas}
We next consider the distribution of areas of faces.  In this section we use $x_a = a/\langle a \rangle$ to denote normalized areas, where $a$ is the area of a particular face and $\langle a \rangle$ is the average area over all faces.  Brakke \cite{1985brakke} provided an integral expression for the variance of this distribution; numerical evaluation shows that it is equal to 1.01426.  Our data reproduce this exact result to within 0.005\%.  The black curves in Fig.~\ref{faces_areas_distributions} show the distribution of areas among all faces in our data set.  Unlike the distributions considered earlier, this one is far from symmetric; instead, it is strongly biased towards faces with very small areas.

We also consider the partial distributions $p_n(x_a)$ of areas limited to faces with fixed numbers of edges $n$.  The colored curves in Fig.~\ref{faces_areas_distributions} show these distributions.
\begin{figure}
\centering
\vspace{3mm}
\includegraphics[width=1.\columnwidth]{multiareas.eps}
\caption{(Color online) Partial distributions $p_n(x_a)$ of face areas for each number of edges $n$.  The red-most curve, located to the left of the other curves, corresponds to $n=3$; the blue-most curve, located at the bottom-center of the plot, corresponds to $n=15$.  The black curves show the distribution of areas summed over all $n$.  Data were binned in intervals of width 0.04.}
\label{faces_areas_distributions}
\end{figure}
It appears from the figure that $p_n(0)>0$ for $n=3$ and $4$. Hence, these curves cannot be fitted using a $\Gamma$ function [Eq.~(\ref{gammaeqC})], for which $p(0)$ always evaluates to $0$.

\subsection{Distribution of face perimeters}

Last, we consider the distribution of perimeters of faces.  In this section we use $x_l = l/\langle l \rangle$ to denote a normalized perimeter, where $l$ is the perimeter of a particular face and $\langle l \rangle$ is the average perimeter over all faces.  Again, Brakke \cite{1985brakke} derived an exact analytical expression for the variance that evaluates to 0.2898.  Our data reproduce this  result to within 0.004\%.  The black curves in Fig.~\ref{faces_perim_distributions} show the distribution of perimeters among all faces in our data set.  The shape of this figure is similar to that calculated analytically by Brakke \cite{brakke1987statistics} for the distribution of edge lengths in two-dimensional Poisson-Voronoi structures.

We also consider the partial distributions $p_n(x_l)$ of perimeters limited to faces with fixed numbers of edges $n$.  The colored curves in Fig.~\ref{faces_perim_distributions} show these distributions.
\begin{figure}
\centering
\vspace{3mm}
\includegraphics[width=1.\columnwidth]{multiperims.eps}
\caption{(Color online) Partial distributions $p_n(x_l)$ of face perimeters for each number of edges $n$.  The red-most curve, located to the left of the other curves, corresponds to $n=3$; the blue-most curve, located at the bottom-center of the plot, corresponds to $n=15$.  The black curves show the distribution of perimeters summed over all $n$.  Data were binned in intervals of width 0.04.}
\label{faces_perim_distributions}
\end{figure}
It appears from the data that $p_n(0)>0$ for $n=3$; this implies that the partial perimeter distributions cannot be fitted to a $\Gamma$ function.

\section{Correlations between geometry and topology}

We now consider how the average volume and surface area of a cell depend on its number of faces $F$, and how the average area and perimeter of a face depend on its number of edges $n$.  In two-dimensional systems, the study of this type of relationship was pioneered by Lewis \cite{1928lewis}, who observed in some natural structures that the area of a cell was proportional to its number of edges.

Figure \ref{nvolumes} shows the average volume of a cell as a function of its number of faces; we use $\langle x_v \rangle_F$ to denote the average volume of cells with $F$ faces.  Based on a data set with 102,000 cells, Kumar {\it et al.}~\cite{1992kumar} suggested that $\langle x_v \rangle_F = AF^b$, where $A$ and $b$ are fitting parameters.  Kumar {\it et al.}~found $A=0.0164$ and $b=1.498$; the more extensive data collected here yield similar values, $A=0.0176$ and $b=1.468$.
\begin{figure}
\centering
\vspace{3mm}
\includegraphics[width=1.\columnwidth, trim=5mm 0 0 0]{nvolumes.eps}
\caption{Average normalized volume $\langle x_v \rangle_{_F}$ as a function of number of faces $F$; error bars indicate standard error from the mean.  The red curve is a least squares fit to $AF^b$, as explained in the text.}
\label{nvolumes}
\end{figure}
The curve appears to fit the data well for $10\leq F \leq 20$, though not for large or small $F$.

A similar relation might be considered for the average surface area of a cell.  Based on simulation results, Kumar {\it et al.}~\cite{1992kumar} suggested that $\langle x_s \rangle_F = AF^b$, where $\langle x_s \rangle_F$ is the average surface area of cells with $F$ faces and $A$ and $b$ are fitting parameters (Fig.~\ref{nareas}).  Kumar {\it et al.}~found $A=0.09645$ and $b=0.8526$; our data yield similar values, $A=0.0993$ and $b=0.843$.
\begin{figure}
\centering
\vspace{3mm}
\includegraphics[width=1.\columnwidth, trim=5mm 0 0 0]{nareas.eps}
\caption{Average normalized surface area $\langle x_s \rangle_{_F}$ as a function of number of faces $F$; error bars indicate standard error from the mean.  The red curve is a least squares fit to $AF^b$, as explained in the text.}
\label{nareas}
\end{figure}
This curve too appears to fit the data well for $10\leq F \leq 20$, though also fails for large and small $F$.

Finally we turn to the dependance of the expected area and perimeter of a face on its number of edges $n$, illustrated in Figs.~\ref{eareas} and \ref{eperims}.
\begin{figure}
\centering
\vspace{3mm}
\includegraphics[width=1.\columnwidth, trim=5mm 0 0 0]{eareas.eps}
\caption{Average normalized area $\langle x_a \rangle_n$ as a function of number of edges $n$; error bars indicate standard error from the mean.}
\label{eareas}
\end{figure}
\begin{figure}
\centering
\vspace{3mm}
\includegraphics[width=1.\columnwidth, trim=5mm 0 0 0]{eperims.eps}
\caption{Average normalized perimeter $\langle x_l \rangle_n$ as a function of number of edges $n$; error bars indicate standard error from the mean.}
\label{eperims}
\end{figure}
Although the exact forms of these relationships cannot be determined, it is clear that neither the average area nor perimeter of a face increase linearly with $n$.

\section{Conclusions}

Poisson-Voronoi networks are widely used across the physical and biological sciences as canonical cell structures.  While two-dimensional Poisson-Voronoi networks have been widely studied and often used as surrogates for three-dimensional applications, such three-dimensional networks have been much less widely examined.  In this report, we have provided a much more complete characterization of three-dimensional Poisson-Voronoi networks than exists in the literature.

In particular, we report a wide range of statistical properties of three-dimensional Poisson-Voronoi structures containing a combined total of 250,000,000 cells.  The data demonstrate that although the Poisson-Voronoi structure is generated using a random distribution of points, it exhibits a rich topological and geometrical structure.

The size of the data set considered here has enabled us to resolve properties of such structures that have been impossible to investigate previously.  While some of the results corroborate earlier work at much higher precision, the results also clearly contradict other conjectures.

In particular, we  found that the natural extension of the Aboav-Weaire relation to three dimensions is {\bf not} consistent with our very large data set, contrary to what was previously reported \cite{1992kumar, fortes1993applicability}.  In particular, for $F < 12$ faces, the average number of faces of a cell's neighbors increases with the number of faces $F$ of a central cell.  This is consistent with  recent theoretical results \cite{hilhorst2009heuristic, 2012masonB}.

Considering more refined  topological data, we observed that some $p$-vectors appear significantly more frequently than others.  We also observed that even when considering a fixed $p$-vector, not all topological types appear with equal frequencies.  Understanding such topological distributions may provide new insight into the topological structure of other natural cellular structures and the forces under which those systems evolve.  One particularly interesting set of results shows that the order of the symmetry groups of the three-dimensional Poisson-Voronoi cells shows clear trends that can be used to distinguish it from other types of cellular networks.

Our data set supports the conjecture of Tanemura \cite{2003tanemura} regarding the distribution of cell volumes and surface areas when restricted to cells with fixed numbers of faces.  In particular, a three-parameter $\Gamma$ function [Eq.~(\ref{gammaeqC})] appears to fit these data precisely.  This equation also appears to fit the distribution of volumes over all cells.  However, this functional form does not  accurately describe the distribution of cell surface areas or cell face areas and perimeters.

We considered the dependence of the expected volume and surface area of a cell on its number of faces.  The data presented here counters  conjectures of Kumar {\it et al.}~\cite{1992kumar} regarding the form of this relationship.  Unfortunately, we were unable to provide a well-founded alternative.

Extensive geometrical and topological statistics from our data structures are included in the Supplemental Material and an extensive set of measures of the cells in the entire 250,000,000 cell data set is available online at \cite{webpage2}.

{\bf Acknowledgments.} We thank Ken Brakke for providing computer programs to generate Poisson-Voronoi structures, and for ongoing support of his Surface Evolver program.  Most of the computations reported herein were performed using the computational resources of the Institute for Advanced Study.

\bibliographystyle{apsrev4-1.bst}

Computational Physics (physics.comp-ph); Disordered Systems and Neural Networks (cond-mat.dis-nn); Soft Condensed Matter (cond-mat.soft)


Closed formulas and determinantal expressions for higher-order Bernoulli and Euler polynomials in terms of Stirling numbers

Abstract: In this paper, applying the Faà di Bruno formula and some properties of Bell polynomials, several closed formulas and determinantal expressions involving Stirling numbers of the second kind for higher-order Bernoulli and Euler polynomials are presented.

\section{Introduction}

The classical Bernoulli polynomials $B_{n}(x)$ and Euler polynomials
$E_{n}(x)$ are usually defined by means of the following generating functions
\[
\dfrac{te^{xt}}{e^{t}-1}
{\displaystyle\sum\limits_{n=0}^{\infty}}
B_{n}(x)\dfrac{t^{n}}{n!}\text{ }\left(  \left\vert t\right\vert <2\pi\right)
\text{ and }\dfrac{2e^{xt}}{et+1}
{\displaystyle\sum\limits_{n=0}^{\infty}}
E_{n}(x)\dfrac{t^{n}}{n!}\text{ }\left(  \left\vert t\right\vert <\pi\right)
.
\]
In particular, the rational numbers $B_{n}=B_{n}(0)$ and integers $E_{n
=2^{n}E_{n}(1/2)$ are called classical Bernoulli numbers and Euler numbers, respectively.

As is well known, the classical Bernoulli and Euler polynomials play important
roles in different areas of mathematics such as number theory, combinatorics,
special functions and analysis.

Numerous generalizations of these polynomials and numbers are defined and many
properties are studied in a variety of context. One of them can be traced back
to N\"{o}rlund \cite{n}: The higher-order Bernoulli polynomials $B_{n
^{(\alpha)}(x)$ and higher-order Euler polynomials $E_{n}^{(\alpha)}(x)$, each
of degree $n$ in $x$ and in $\alpha$, are defined by means of the generating
functions
\begin{equation}
\left(  \dfrac{t}{e^{t}-1}\right)  ^{\alpha}e^{xt}
{\displaystyle\sum\limits_{n=0}^{\infty}}
B_{n}^{(\alpha)}(x)\dfrac{t^{n}}{n!} \label{0
\end{equation}
an
\begin{equation}
\text{ }\left(  \dfrac{2}{e^{t}+1}\right)  ^{\alpha}e^{xt}
{\displaystyle\sum\limits_{n=0}^{\infty}}
E_{n}^{(\alpha)}(x)\dfrac{t^{n}}{n!}, \label{15
\end{equation}
respectively. For $\alpha=1$, we have $B_{n}^{(1)}(x)=B_{n}(x)$ and
$E_{n}^{(1)}(x)=E_{n}(x)$.

According to Wiki \cite{closed}, "In mathematics, a closed-form expression is
a mathematical expression that can be evaluated in a finite number of
operations. It may contain constants, variables, certain `well-known'
operations (e.g.,$+-\times\div$), and functions (e.g., $n$th root, exponent,
logarithm, trigonometric functions, and inverse hyperbolic functions), but
usually no limit."

From this point of view, Wei and Qi \cite{wei} studied several closed form
expressions for Euler polynomials in terms of determinant and the Stirling
numbers of the second kind. Also, Qi and Chapman \cite{qi2} established two
closed forms for the Bernoulli polynomials and numbers involving the Stirling
numbers of the second kind and in terms of a determinant of combinatorial
numbers. Moreover, some special determinantal expressions and recursive
formulas for Bernoulli polynomials and numbers can be found in \cite{qi6}.

In 2018, Hu and Kim \cite{hu-kim} presented two closed formulas for
Apostol-Bernoulli polynomials by aid of the properties of the Bell polynomials
of the second kind $B_{n,k}\left(  x_{1},x_{2},...,x_{n-k+1}\right)  $ (see
Lemma \ref{3}, below). Very recently, Dai and Pan \cite{d} have obtained the
closed forms for degenerate Bernoulli polynomials.

In this paper, we focus on higher-order Bernoulli and Euler polynomials in
those respects, mentioned above. Firstly, we find some novel closed formulas
for higher-order Bernoulli and Euler polynomials in terms of Stirling numbers
of the second kind $S(n,k)$ via the Fa\`{a} di Bruno formula for the Bell
polynomials of the second kind and the generating function methods. Secondly,
we establish some determinantal expressions by applying a formula of higher
order derivative for the ratio of two differentiable functions. Consequently,
taking some special cases in our results provides the further formulas for
classical Bernoulli and Euler polynomials, and numbers.

\section{Some Lemmas}

In order to prove our main results, we recall several lemmas below.

\begin{lemma}
\label{3}(\cite[p. 134 and 139]{Comtet}) The Bell polynomials of the second
kind, or say, partial Bell polynomials, denoted by $B_{n,k}\left(  x_{1
,x_{2},...,x_{n-k+1}\right)  $ for $n\geq k\geq0,$ defined by
\[
B_{n,k}\left(  x_{1},x_{2},...,x_{n-k+1}\right)
{\displaystyle\sum\limits_{\substack{1\leq i\leq n,\text{ }l_{i}\in\left\{
0\right\}  \cup\mathbb{N}\\{{\textstyle\sum\nolimits_{i=1}^{n}}
il_{i}=n,\text{ }{{\textstyle\sum\nolimits_{i=1}^{n}}}l_{i}=k}}^{\infty}}
\frac{n!}
{\textstyle\prod\nolimits_{i=1}^{l-k+1}}
l_{i}!
{\textstyle\prod\limits_{i=1}^{l-k+1}}
\left(  \frac{x_{i}}{i!}\right)  ^{l_{i}}.
\]
The Fa\`{a} di Bruno formula can be described in terms of the Bell polynomials
of the second kind $B_{n,k}\left(  x_{1},x_{2},...,x_{n-k+1}\right)  $ b
\begin{equation}
\frac{d^{n}}{dt^{n}}f\circ h\left(  t\right)
{\displaystyle\sum\limits_{k=0}^{n}}
f^{\left(  k\right)  }\left(  h\left(  t\right)  \right)  B_{n,k}\left(
h^{\prime}\left(  t\right)  ,h^{\prime\prime}\left(  t\right)
,...,h^{(n-k+1)}\left(  t\right)  \right)  . \label{2
\end{equation}

\end{lemma}

\begin{lemma}
\label{4}(\cite[p. 135]{Comtet}) For $n\geq k\geq0,$ we hav
\begin{equation}
B_{n,k}\left(  abx_{1},ab^{2}x_{2},...,ab^{n-k+1}x_{n-k+1}\right)  =a^{k
b^{n}B_{n,k}\left(  x_{1},x_{2},...,x_{n-k+1}\right)  , \label{5
\end{equation}
where $a$ and $b$ are any complex number.
\end{lemma}

\begin{lemma}
(\cite[p. 135]{Comtet})For $n\geq k\geq0,$ we hav
\begin{equation}
B_{n,k}\left(  1,1,...,1\right)  =S\left(  n,k\right)  , \label{12
\end{equation}
where $S\left(  n,k\right)  $ is the Stirling numbers of the second kind,
defined by \cite[p. 206]{Comtet}
\[
\frac{\left(  e^{t}-1\right)  ^{k}}{k!}
{\displaystyle\sum\limits_{n=k}^{\infty}}
S\left(  n,k\right)  \frac{t^{n}}{n!}.
\]

\end{lemma}

\begin{lemma}
(\cite{guo})For $n\geq k\geq1,$ we hav
\begin{equation}
B_{n,k}\left(  \frac{1}{2},\frac{1}{3},...,\frac{1}{n-k+2}\right)  =\frac
{n!}{\left(  n+k\right)  !
{\displaystyle\sum\limits_{i=0}^{k}}
\left(  -1\right)  ^{k-i}\binom{n+k}{k-i}S\left(  n+i,i\right)  . \label{6
\end{equation}

\end{lemma}

\begin{lemma}
\label{1}(\cite[p. 40, Entry 5]{bourbaki}) For two differentiable functions
$p\left(  x\right)  $ and $q\left(  x\right)  \neq0,$ we have for $k\geq0
\begin{align}
&  \frac{d^{k}}{dx^{k}}\left[  \frac{p\left(  x\right)  }{q\left(  x\right)
}\right] \nonumber\\
&  =\frac{\left(  -1\right)  ^{k}}{q^{k+1}}\left\vert
\begin{array}
[c]{cccccccc
p & q & 0 & . & . & . & 0 & 0\\
p^{\prime} & q^{\prime} & q & . & . & . & 0 & 0\\
p^{\prime\prime} & q^{\prime\prime} & \binom{2}{1}q^{\prime} & . & . & . & 0 &
0\\
. & . & . & . & . & . & . & .\\
. & . & . & . & . & . & . & .\\
. & . & . & . & . & . & . & .\\
p^{\left(  k-2\right)  } & q^{\left(  k-2\right)  } & \binom{k-2}{1}q^{(k-3)}
& . & . & . & q & 0\\
p^{\left(  k-1\right)  } & q^{\left(  k-1\right)  } & \binom{k-1}{1}q^{(k-2)}
& . & . & . & \binom{k-1}{k-2}q^{\prime} & q\\
p^{\left(  k\right)  } & q^{\left(  k\right)  } & \binom{k}{1}q^{(k-1)} & . &
. & . & \binom{k}{k-2}q^{\prime\prime} & \binom{k}{k-1}q^{\prime
\end{array}
\right\vert \label{10
\end{align}
In other words, the formula (\ref{10}) can be represented a
\[
\frac{d^{k}}{dx^{k}}\left[  \frac{p\left(  x\right)  }{q\left(  x\right)
}\right]  =\frac{\left(  -1\right)  ^{k}}{q^{k+1}}\left\vert W_{\left(
k+1\right)  \times\left(  k+1\right)  }\left(  x\right)  \right\vert ,
\]
where $\left\vert W_{\left(  k+1\right)  \times\left(  k+1\right)  }\left(
x\right)  \right\vert $ denotes the determinant of the matri
\[
W_{\left(  k+1\right)  \times\left(  k+1\right)  }\left(  x\right)  =\left[
U_{\left(  k+1\right)  \times1}\left(  x\right)  \text{ \ \ }V_{\left(
k+1\right)  \times k}\left(  x\right)  \right]  .
\]
Here $U_{\left(  k+1\right)  \times1}\left(  x\right)  $ has the elements
$u_{l,1}\left(  x\right)  =p^{\left(  l-1\right)  }\left(  x\right)  $ for
$1\leq l\leq k+1$ and $V_{\left(  k+1\right)  \times k}\left(  x\right)  $ has
the entries of the for
\[
v_{i,j}\left(  x\right)
\begin{cases}
\binom{i-1}{j-1}q^{\left(  i-j\right)  }\left(  x\right)  , & \text{if
}i-j\geq0\text{;}\\
0, & \text{if }i-j<0\text{,
\end{cases}
\]
for $1\leq i\leq k+1$ and $1\leq j\leq k.$
\end{lemma}

\section{Closed formulas}

In this section, we give closed formulas for higher-order Bernoulli and Euler polynomials.

\begin{theorem}
\label{main}The higher-order Bernoulli polynomials $B_{n}^{(\alpha)}(x)$ can
be expressed as
\[
B_{n}^{(\alpha)}(x)
{\displaystyle\sum\limits_{k=0}^{n}}
\binom{n}{k
{\displaystyle\sum\limits_{i=0}^{k}}
\left\langle -\alpha\right\rangle _{i}\frac{k!}{(k+i)!
{\displaystyle\sum\limits_{j=0}^{i}}
\left(  -1\right)  ^{i-j}\binom{k+i}{i-j}S(k+j,j)x^{n-k},
\]
where $S(n,k)$ is the Stirling numbers of the second kind and $\left\langle
x\right\rangle _{n}$ denotes the falling factorial, defined for $x\i
\mathbb{R}
$ by
\[
\left\langle x\right\rangle _{n}=\prod\limits_{k=0}^{n-1}\left(  x-k\right)
\begin{cases}
x\left(  x-1\right)  ...(x-n+1), & \text{if }n\geq1\text{;}\\
1, & \text{if }n=0.
\end{cases}
\]
In particular $x=0,$ the higher-order Bernoulli numbers $B_{n}^{(\alpha)}$
possess the following for
\begin{equation}
B_{n}^{(\alpha)}
{\displaystyle\sum\limits_{i=0}^{n}}
\left\langle -\alpha\right\rangle _{i}\frac{n!}{(n+i)!
{\displaystyle\sum\limits_{j=0}^{i}}
\left(  -1\right)  ^{i-j}\binom{n+i}{i-j}S(n+j,j). \label{11
\end{equation}

\end{theorem}

\begin{proof}
Let us begin by writing $\left(  \dfrac{e^{t}-1}{t}\right)  ^{\alpha}=\left(
{\displaystyle\int_{1}^{e}}
s^{t-1}ds\right)  ^{\alpha}.$ From (\ref{2}) and (\ref{6}), we hav
\begin{align*}
&  \frac{d^{k}}{dt^{k}}\left(  \dfrac{e^{t}-1}{t}\right)  ^{-\alpha}\\
&
{\displaystyle\sum\limits_{i=0}^{k}}
\left\langle -\alpha\right\rangle _{i}\left(  \dfrac{e^{t}-1}{t}\right)
^{-\alpha-i}B_{k,i}\left(
{\displaystyle\int_{1}^{e}}
s^{t-1}\ln sds
{\displaystyle\int_{1}^{e}}
s^{t-1}\ln^{2}sds,...
{\displaystyle\int_{1}^{e}}
s^{t-1}\ln^{k-i+1}sds\right) \\
&  \rightarro
{\displaystyle\sum\limits_{i=0}^{k}}
\left\langle -\alpha\right\rangle _{i}B_{k,i}\left(  \frac{1}{2},\frac{1
{3},...,\frac{1}{n-i+2}\right)  ,\text{ \ \ \ \ as }t\rightarrow0\\
&
{\displaystyle\sum\limits_{i=0}^{k}}
\left\langle -\alpha\right\rangle _{i}\frac{k!}{\left(  k+i\right)  !
{\displaystyle\sum\limits_{j=0}^{i}}
\left(  -1\right)  ^{i-j}\binom{k+i}{i-j}S\left(  k+j,j\right)  ,
\end{align*}
Also $\left(  e^{xt}\right)  ^{(k)}=x^{k}e^{xt}\rightarrow x^{k},$ as
$t\rightarrow0.$ So, using the Leibnitz's formula for the $n$th derivative of
the product of two functions yields that
\begin{align*}
&  \lim_{t\rightarrow0}\frac{d^{n}}{dt^{n}}\left[  \left(  \dfrac{e^{t}-1
{t}\right)  ^{-\alpha}e^{xt}\right] \\
&
{\displaystyle\sum\limits_{k=0}^{n}}
\binom{n}{k
{\displaystyle\sum\limits_{i=0}^{k}}
\left\langle -\alpha\right\rangle _{i}\frac{k!}{\left(  k+i\right)  !
{\displaystyle\sum\limits_{j=0}^{i}}
\left(  -1\right)  ^{i-j}\binom{k+i}{i-j}S\left(  k+j,j\right)  x^{n-k},
\end{align*}
which is equal to $B_{n}^{(\alpha)}(x)$ from the generating function
(\ref{0}). For $x=0,$ we immediately get the identity (\ref{11}).
\end{proof}

\begin{remark}
For $\alpha=1,$ noting the fact $\left\langle -1\right\rangle _{i}=\left(
-1\right)  ^{i}i!$, the equation (\ref{11}) become
\begin{align*}
B_{n}  &
{\displaystyle\sum\limits_{i=0}^{n}}
i!\frac{n!}{(n+i)!
{\displaystyle\sum\limits_{j=0}^{i}}
\left(  -1\right)  ^{j}\binom{n+i}{i-j}S(n+j,j)\\
&
{\displaystyle\sum\limits_{j=0}^{n}}
\left(  -1\right)  ^{j}\frac{S(n+j,j)}{\binom{n+j}{j}
{\displaystyle\sum\limits_{i=j}^{n}}
\binom{i}{j}\\
&
{\displaystyle\sum\limits_{j=0}^{n}}
\left(  -1\right)  ^{j}\frac{\binom{n+1}{j+1}}{\binom{n+j}{j}}S(n+j,j),
\end{align*}
which is \cite[Eq. 1.3]{qi2}.
\end{remark}

\begin{theorem}
\label{main1}The higher-order Euler polynomials $E_{n}^{(\alpha)}(x)$ can be
represented as
\[
E_{n}^{(\alpha)}(x)
{\displaystyle\sum\limits_{k=0}^{n}}
\binom{n}{k
{\displaystyle\sum\limits_{i=0}^{k}}
\left\langle -\alpha\right\rangle _{i}\frac{S(k,i)}{2^{i}}x^{n-k}.
\]
In particular, the higher-order Euler numbers $E_{n}^{(\alpha)}$ have the
following for
\begin{equation}
E_{n}^{(\alpha)}
{\displaystyle\sum\limits_{k=0}^{n}}
\binom{n}{k
{\displaystyle\sum\limits_{i=0}^{k}}
\left\langle -\alpha\right\rangle _{i}S(k,i)2^{k-i}. \label{16
\end{equation}

\end{theorem}

\begin{proof}
By (\ref{2}), (\ref{5}) and (\ref{12}), we hav
\begin{align*}
\frac{d^{k}}{dt^{k}}\left(  \dfrac{e^{t}+1}{2}\right)  ^{-\alpha}  &
{\displaystyle\sum\limits_{i=0}^{k}}
\left\langle -\alpha\right\rangle _{i}\left(  \dfrac{e^{t}+1}{2}\right)
^{-\alpha-i}B_{k,i}\left(  \frac{e^{t}}{2},\frac{e^{t}}{2},...,\frac{e^{t}
{2}\right) \\
&
{\displaystyle\sum\limits_{i=0}^{k}}
\left\langle -\alpha\right\rangle _{i}\left(  \dfrac{e^{t}+1}{2}\right)
^{-\alpha-i}\left(  \frac{e^{t}}{2}\right)  ^{i}B_{k,i}\left(
1,1,...,1\right) \\
&  \rightarro
{\displaystyle\sum\limits_{i=0}^{k}}
\left\langle -\alpha\right\rangle _{i}\frac{S\left(  k,i\right)  }{2^{i
},\text{ \ \ \ \ \ \ as }t\rightarrow0.
\end{align*}
So, from the Leibnitz's rule again and the generating function for
higher-order Euler polynomials, given by (\ref{15}), we obtain tha
\begin{align*}
E_{n}^{(\alpha)}(x)  &  =\lim_{t\rightarrow0}\frac{d^{n}}{dt^{n}}\left[
\left(  \dfrac{e^{t}+1}{2}\right)  ^{-\alpha}e^{xt}\right] \\
&
{\displaystyle\sum\limits_{k=0}^{n}}
\binom{n}{k
{\displaystyle\sum\limits_{i=0}^{k}}
\left\langle -\alpha\right\rangle _{i}\frac{S\left(  k,i\right)  }{2^{i
}x^{n-k}.
\end{align*}
Taking special case gives the closed form (\ref{16}) immediately for
higher-order Euler numbers.
\end{proof}

\begin{remark}
For $\alpha=1,$ the counterpart closed formula for Euler polynomials can be
derived. Moreover, setting more special cases leads to similar formula for
Euler numbers.
\end{remark}

\section{Determinantal expressions}

This section is devoted to demonstrate some determinantal expressions for
higher order Bernoulli and Euler polynomials.

\begin{theorem}
\label{main2}The higher-order Bernoulli polynomials $B_{n}^{(\alpha)}(x)$ can
be represented in terms of the following determinant a
\[
B_{n}^{(\alpha)}\left(  x\right)  =\left(  -1\right)  ^{n}\left\vert
\begin{array}
[c]{cccccc
1 & \gamma_{0} & 0 & \ldots & 0 & 0\\
x & \gamma_{1} & \gamma_{0} & \ldots & 0 & 0\\
x^{2} & \gamma_{2} & \binom{2}{1}\gamma_{1} & \ldots & 0 & 0\\
\vdots & \vdots & \vdots & \ddots & \vdots & \vdots\\
x^{n-2} & \gamma_{n-2} & \binom{n-2}{1}\gamma_{n-3} & ... & \gamma_{0} & 0\\
x^{n-1} & \gamma_{n-1} & \binom{n-1}{1}\gamma_{n-2} & \ldots & \binom
{n-1}{n-2}\gamma_{1} & \gamma_{0}\\
x^{n} & \gamma_{n} & \binom{n}{1}\gamma_{n-1} & \ldots & \binom{n}{n-2
\gamma_{2} & \binom{n}{n-1}\gamma_{1
\end{array}
\right\vert ,
\]
where
\[
\gamma_{n}
{\displaystyle\sum\limits_{i=0}^{n}}
\left\langle \alpha\right\rangle _{i}\frac{n!}{\left(  n+i\right)  !
{\displaystyle\sum\limits_{j=0}^{i}}
\left(  -1\right)  ^{i-j}\binom{n+i}{i-j}S\left(  n+j,j\right)  .
\]

\end{theorem}

\begin{proof}
We use Lemma \ref{1} for $p\left(  t\right)  =e^{xt}$ and $q\left(  t\right)
=\left(  \left(  e^{t}-1\right)  /t\right)  ^{\alpha}.$ Note that if we
proceed similar manipulations to the proof of Theorem \ref{main}, then, we
deduce that
\[
\lim_{t\rightarrow0}\frac{d^{n}}{dt^{n}}q\left(  t\right)
{\displaystyle\sum\limits_{i=0}^{n}}
\left\langle \alpha\right\rangle _{i}\frac{n!}{\left(  n+i\right)  !
{\displaystyle\sum\limits_{j=0}^{i}}
\left(  -1\right)  ^{i-j}\binom{n+i}{i-j}S\left(  n+j,j\right)  :=\gamma_{n}.
\]
So, we hav
\begin{align*}
&  \frac{d^{n}}{dt^{n}}\left[  \frac{e^{xt}}{\left(  \left(  e^{t}-1\right)
/t\right)  ^{\alpha}}\right] \\
&  =\frac{\left(  -1\right)  ^{n}}{\left(  \left(  e^{t}-1\right)  /t\right)
^{(n+1)\alpha}}\left\vert
\begin{array}
[c]{cccccc
e^{xt} & q & 0 & \ldots & 0 & 0\\
xe^{xt} & q^{\prime} & q & \ldots & 0 & 0\\
x^{2}e^{xt} & q^{\prime\prime} & \binom{2}{1}q^{\prime} & \ldots & 0 & 0\\
\vdots & \vdots & \vdots & \ddots & \vdots & \vdots\\
x^{n-2}e^{xt} & q^{(n-2)} & \binom{n-2}{1}q^{(n-3)} & ... & q & 0\\
x^{n-1}e^{xt} & q^{(n-1)} & \binom{n-1}{1}q^{(n-2)} & \ldots & \binom
{n-1}{n-2}q^{\prime} & q\\
x^{n}e^{xt} & q^{(n)} & \binom{n}{1}q^{(n-1)} & \ldots & \binom{n
{n-2}q^{\prime\prime} & \binom{n}{n-1}q^{\prime
\end{array}
\right\vert \\
&  \rightarrow\left(  -1\right)  ^{n}\left\vert
\begin{array}
[c]{cccccc
1 & \gamma_{0} & 0 & \ldots & 0 & 0\\
x & \gamma_{1} & \gamma_{0} & \ldots & 0 & 0\\
x^{2} & \gamma_{2} & \binom{2}{1}\gamma_{1} & \ldots & 0 & 0\\
\vdots & \vdots & \vdots & \ddots & \vdots & \vdots\\
x^{n-2} & \gamma_{n-2} & \binom{n-2}{1}\gamma_{n-3} & ... & \gamma_{0} & 0\\
x^{n-1} & \gamma_{n-1} & \binom{n-1}{1}\gamma_{n-2} & \ldots & \binom
{n-1}{n-2}\gamma_{1} & \gamma_{0}\\
x^{n} & \gamma_{n} & \binom{n}{1}\gamma_{n-1} & \ldots & \binom{n}{n-2
\gamma_{2} & \binom{n}{n-1}\gamma_{1
\end{array}
\right\vert
\end{align*}
as $t\rightarrow0.$ From the generating function, given by (\ref{0}), we reach
the desired result.
\end{proof}

\begin{remark}
We mention that for the special case $x=0,$ the analog determinantal
expression for higher-order Bernoulli numbers $B_{n}^{(\alpha)}$ can be
offered. Moreover, for $\alpha=1,$ and $\alpha=1$ and $x=0,$ the similar
representations can be obtained for classical Bernoulli polynomials and
numbers, respectively.
\end{remark}

\begin{theorem}
The higher-order Euler polynomials $E_{n}^{(\alpha)}(x)$ can be represented in
terms of the following determinant a
\[
E_{n}^{(\alpha)}\left(  x\right)  =\left(  -1\right)  ^{n}\left\vert
\begin{array}
[c]{cccccc
1 & \beta_{0} & 0 & \ldots & 0 & 0\\
x & \beta_{1} & \beta_{0} & \ldots & 0 & 0\\
x^{2} & \beta_{2} & \binom{2}{1}\beta_{1} & \ldots & 0 & 0\\
\vdots & \vdots & \vdots & \ddots & \vdots & \vdots\\
x^{n-2} & \beta_{n-2} & \binom{n-2}{1}\beta_{n-3} & ... & \beta_{0} & 0\\
x^{n-1} & \beta_{n-1} & \binom{n-1}{1}\beta_{n-2} & \ldots & \binom{n-1
{n-2}\beta_{1} & \beta_{0}\\
x^{n} & \beta_{n} & \binom{n}{1}\beta_{n-1} & \ldots & \binom{n}{n-2}\beta_{2}
& \binom{n}{n-1}\beta_{1
\end{array}
\right\vert ,
\]
wher
\[
\beta_{n}
{\displaystyle\sum\limits_{i=0}^{n}}
\left\langle \alpha\right\rangle _{i}\frac{S\left(  n,i\right)  }{2^{i}}.
\]

\end{theorem}

\begin{proof}
The proof can be verified by proceeding as in the proof of Theorem
\ref{main2}. So, we omit it.
\end{proof}

\begin{remark}
The special values of the Bell polynomials of the second kind $B_{n,k}$ are
worthy in combinatorics and number theory. In this respect, $B_{n,k}$ has been
applied in order to cope with some difficult problems and obtain significant
results in many studies (see for example \cite{qi9,qi12,qi13,qi15,qi16}).
\end{remark}