Jorge L. Ramírez Alfonsín,Iván Rasskin
Abstract:In this paper, we establish a connection between Apollonian packings and knot theory. We introduce new representations of links realized in the tangency graph of the regular crystallographic sphere packings. Particularly, we prove that any algebraic link can be realized in the cubic section of the orthoplicial Apollonian packing. We use these representations to improve the upper bound on the ball number of an infinite family of alternating algebraic links. Furthermore, the later allow us to reinterpret the correspondence of rational tangles and rational numbers and to reveal geometrically primitive solutions for the Diophantine equation $x^4 + y^4 + z^4 = 2t^2$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore the connection between Apollonian packings and knot theory, and to expand the application fields of Apollonian packings by introducing new representation methods. Specifically, the paper focuses on the following core issues:
1. **Can any link be realized in the tangency graph of a regular crystalline sphere packing?**
The author proves that any link can be realized in the tangency graph of a three - dimensional regular crystalline sphere packing (Theorem 1). In particular, algebraic links can be realized in the cubic cross - sections of orthogonal cubic Apollonian packings (Theorem 2).
2. **How to improve the upper bound of the ball number of infinite families of alternating algebraic links?**
The ball number is the minimum number of spheres required to construct a link. By introducing orthocubic representations, the author provides a better construction method for some alternating algebraic links, thus verifying the inequality in Conjecture 1.
3. **How to re - interpret the correspondence between rational tangles and rational numbers by geometric methods?**
The author uses orthocubic representations to reveal the solutions of geometric primitive solutions to the Diophantine equation \(x^{4}+y^{4}+z^{4} = 2t^{2}\).
### Formula Summary
- **Diophantine Equation**:
\[
x^{4}+y^{4}+z^{4}=2t^{2}
\]
Through orthocubic representations and inversion coordinates of spheres, the author discovers infinitely many sets of primitive solutions to this equation.
- **Inversion Coordinate Formula**:
For a sphere \(S\), its inversion coordinate is defined as:
\[
i(S)=\left\{\begin{array}{ll}
\left(\frac{b\mathbf{c}}{b},\frac{b - b}{2},\frac{b + b}{2}\right)^{T}&\text{if }b\neq0\\
(\mathbf{b}_{n},\delta,\delta)^{T}&\text{otherwise}
\end{array}\right.
\]
where \(b = \frac{\|\mathbf{c}\|^{2}-1}{b}\) is the co - curvature of the sphere \(S\).
- **Inversion Product Formula**:
The inversion product of two spheres or points \(S,S'\) is defined as:
\[
\langle S,S'\rangle=i(S)^{T}Q_{d + 2}i(S')
\]
where \(Q_{d+2}\) is a diagonal matrix of size \(d + 2\) in the form of \(\text{diag}(1,\ldots,1,- 1)\).
### Core Innovation Points of the Solution
1. **Orthocubic Representation of Links**:
By introducing orthocubic representations, the author provides a more compact sphere construction method for some alternating algebraic links, reducing the number of required spheres.
2. **Combination of Geometry and Algebra**:
Using orthocubic representations, the author re - interprets the correspondence between rational tangles and rational numbers, and reveals the structure of geometric primitive solutions to specific Diophantine equations.
3. **Optimization of the Ball Number**:
By avoiding the chains connecting the spheres, the author provides a construction method with fewer spheres for some links, thus improving the upper - bound estimate of the ball number.
In conclusion, by combining Apollonian sphere packings with knot theory, this paper not only expands the application range of Apollonian packings, but also provides new perspectives and tools for the geometric representation of links and the study of Diophantine equations.