Abstract:In this paper, we provide the upper bound and the lower bound of the sum of the number of spherical face-partition pair of simple spherical polytope $P$ with $p$ facets.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve involve the properties of spherical separation center sets and their relationships with the Upper Bound Theorem and the Lower Bound Theorem. Specifically, the paper mainly focuses on the following aspects:
1. **Construction of spherical separation center sets**:
- For any given closed convex spherical set \(C\), do there exist two disjoint closed convex spherical sets \(C_1\) and \(C_2\) such that \(C = C(C_1,C_2)\)? Here \(C(C_1,C_2)\) represents the set of centers of hemispheres that separate \(C_1\) and \(C_2\).
2. **Properties of separation center sets**:
- Study the properties of separation center sets of two disjoint spherical convex sets and finite closed sets. In particular, for two disjoint spherical polyhedra \(P_1\) and \(P_2\), if \(P\) is the spherical convex hull of \(P_1\cup - P_2\), and \(P_1\) or \(-P_2\) is a face of \(P\), then \((P_1, P_2)\) is called a spherical sub - partition pair of \(P\).
3. **Applications of the Upper Bound Theorem and the Lower Bound Theorem**:
- Apply the Upper Bound Theorem and the Lower Bound Theorem to provide upper and lower bound estimates of the number \(#f_P\) of spherical sub - partition pairs of a simple spherical polyhedron \(P\).
4. **Specific formulas**:
- The specific forms of the Upper Bound Theorem and the Lower Bound Theorem are as follows:
- **Upper Bound Theorem**: For any simplicial \(d\)-polyhedron \(P\) with \(p\) vertices, we have
\[
f_j(P)\leq\Phi_{d - 1 - j}(d,p),\quad j = 1,\ldots,d - 1.
\]
If \(P\) is dual - neighborly, then the equality holds; otherwise, for \(j = 1,\ldots,m + 1\) (and possibly larger \(j\) values), there is a strict inequality.
- **Lower Bound Theorem**: For any simplicial \(d\)-polyhedron \(P\) with \(p\) vertices, we have
\[
f_j(P)\geq\phi_{d - 1 - j}(d,p),\quad j = 1,\ldots,d - 1.
\]
And there exist some simple \(d\)-polyhedra \(P\) such that the equality holds.
5. **Conclusion**:
- The paper obtains upper and lower bound estimates of the number \(#f_P\) of spherical sub - partition pairs of a simple spherical polyhedron \(P\) by combining central projection and the Upper Bound Theorem and the Lower Bound Theorem:
\[
2\left(\sum_{j = 1}^{p + d- 1}\phi_{d - 1 - j}(d,p)\right)\leq #f_P\leq 2\left(\sum_{j = 1}^{p + d- 1}\Phi_{d - 1 - j}(d,p)\right).
\]
In summary, this paper aims to explore the properties of spherical separation center sets and use the classical Upper Bound Theorem and Lower Bound Theorem to estimate the number of spherical sub - partition pairs, thus providing a new perspective for understanding the structure of spherical polyhedra.