REVIEW 3 major objections 4 minor 19 references
Complementary bodies in sphere packing
T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The empty space in a cubic close packing of equal spheres is exactly tiled by two kinds of curved polyhedra, and their packing density reproduces the classic $\pi/\sqrt{18}$ of the spheres themselves.
desk verdict Useful FCC void formulas, but the 'new' density identity is a restatement of the known void fraction, and the global tiling is assumed, not proven. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument rides on two named bodies, the spherically truncated octahedron and the spherically truncated tetrahedron, each bounded by convex spherical caps contributed by the generating spheres and by planar faces whose edges are concave circular arcs. The metric machinery is spherical trigonometry: curved-face areas come from the spherical-excess formula ($E = A+B+C-\pi$), with the angles fixed by the spherical cosine rule; the planar faces are Euclidean. The tiling identity itself is carried by the count ratio eight STTs to six STOs around every sphere, which the paper combines into the exact volume identity $8V_{\mathrm{STT}}+6V_{\mathrm{STO}} = (1-\pi/(3\sqrt{2}))$ times the volume of the enclosing cell, matching the CCP void fraction.
What would settle it
Compute the two volumes from the paper's formulas for spheres of radius $R$, then test the exact identity $6V_{\mathrm{STO}} + 8V_{\mathrm{STT}} = 4\sqrt{2}R^3 - \tfrac{4}{3}\pi R^3$ (the void volume per sphere in CCP); if it fails beyond rounding error, the tiling is not exact. A complementary geometric check is to build a large periodic CCP cell, subtract all spheres, overlay the 90°-rotation STO/STT assembly, and look for any positive-volume region covered twice or left uncovered.
Extended reading notes
Core claim
The paper's discovery is that CCP void space admits a clean decomposition into two spherically truncated polyhedra. An STO is the void inside a hexamer of six mutually tangent spheres whose centres form a regular octahedron, and an STT is the void inside a tetrad of four mutually tangent spheres whose centres form a regular tetrahedron. According to the paper, docking six STOs and eight STTs around a central sphere, with opposing STTs rotated by $90^\circ$ for a snug fit, fills the entire surrounding void; the resulting volume accounting yields $8\,V_{\mathrm{STT}} + 6\,V_{\mathrm{STO}}$ equal to the void volume, and therefore a packing density for the complementary bodies exactly equal to $\pi/\sqrt{18}$, the density of the generating CCP spheres.
Load-bearing premise
The load-bearing premise is the unproved local-to-global step in Section 2.4: the six STOs and eight STTs fitted around one sphere, with opposing STTs rotated by $90^\circ$, assemble into a global periodic tiling of all CCP void space with no overlaps or gaps.
Editorial extensions
If this is right
- The void space of any unbounded CCP array can be described as a periodic lattice of STTs and STOs in a fixed 8:6 count ratio per sphere, giving an exact pore-geometry model rather than an approximate one.
- The surface-area-to-volume ratios derived for the two bodies can be used directly in models of surface-enhanced NMR relaxation and restricted diffusion in packed-sphere systems, replacing the common approximation of spherical or cylindrical pores.
- The exact identity relating $8V_{\mathrm{STT}}+6V_{\mathrm{STO}}$ to the CCP void fraction provides a quantitative test for numerical meshing or voxelization of FCC pore space: any discretization that does not reproduce the identity is missing or duplicating void volume.
- Because CCP is the densest equal-sphere packing, the STT-STO tiling gives a canonical reference geometry for comparing void structures of disordered or random packings.
Reading between the lines
- The $90^\circ$ rotation convention suggests the tiling is not the ordinary tetrahedral-octahedral honeycomb; if a rigorous proof is supplied, the STT-STO complex could be understood as a dual or complementary tessellation to the FCC Voronoi cells, with possible analogues in hexagonal close packing.
- The same spherically-truncation construction could be applied to voids in other packings, such as body-centred cubic or random close packing; the density identity would not survive there, but the surface-area-to-volume ratios could still serve as physically meaningful pore descriptors.
- A direct computational check of the local-to-global assumption is to build a large periodic CCP cell, subtract all spheres, and test whether the assembled STO/STT complex covers the remaining space with zero overlap; this would empirically confirm or refute the tiling while a formal proof is pending.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the interstitial void spaces in a cubic close packing (CCP) of equal spheres. It introduces two complementary bodies, the spherically truncated octahedron (STO) and the spherically truncated tetrahedron (STT), defined as the void regions inside octahedral and tetrahedral arrangements of mutually tangent spheres. The manuscript claims that these bodies tile the entire void space of the CCP lattice, and that the combined volume of six STOs and eight STTs reproduces the void fraction of the packing, leading to a density identity stated as pi/sqrt(18). The paper also presents surface-area-to-volume ratios as potentially relevant for diffusion and NMR modelling. The exposition is heavily based on Mathematica visualizations, and the mathematical derivations in Sections 3 and 4 are largely absent from the submitted text.
Significance. If the global tiling and the volume computations were rigorously established, the paper would provide a clean, explicit decomposition of FCC void space that could be useful in porous-media modelling and in teaching classical packing geometry. The identification of the two void shapes and the use of spherical trigonometry are conceptually appealing. However, in the submitted form the central claims are not checkable: the derivations are missing, the global tiling is supported only by figures, and the notebook promised for reproducibility is not supplied. The paper therefore cannot currently serve as a reliable reference for the density identity it advertises.
major comments (3)
- [Sections 3 and 4] The submitted text is missing nearly all of the mathematical content: the spherical-excess computation for the STT is cut off after Eq. (2), and the expressions for the surface areas and volumes of the STO and STT, as well as Eqs. (24) and (25) that are supposed to establish the density identity, are absent. Because the paper's central claim is the equality of the combined volume of six STOs and eight STTs with the CCP void fraction, these derivations are load-bearing. Without them, the density identity cannot be verified from the manuscript, and the paper is effectively a visual announcement rather than a proof.
- [Section 2.4] The global tiling is asserted from a local construction: 'By docking eight STTs to the six STOs around a central sphere - rotating opposing STTs by 90° to achieve a snug fit - the entire void surrounding a central sphere is filled (Fig. 8).' This establishes at most a local cluster. Since each STO and STT is shared among several generating spheres, the orientations chosen around one sphere must be compatible with those forced by all neighboring spheres, and the curved and planar faces must coincide with zero overlap and zero gap. No cell decomposition, explicit lattice mapping, or formal argument is given for this local-to-global extension. The visual evidence in Fig. 8 is not sufficient for a rigorous tiling theorem, and the density identity depends exactly on this global tiling.
- [Section 5] The statement that the relation between the STO/STT combination and the packing density is 'a new and independent finding' is not supported. Because the STO and STT are defined as the complements of the spheres within their respective octahedral and tetrahedral interstices, the equality of their combined volume with the void fraction is a direct consequence of the tiling, and the void fraction is already known from the FCC packing fraction. Unless the volumes are derived from first principles and the void fraction is obtained without inputting the value pi/sqrt(18), the identity is a consistency restatement rather than an independent theorem. The authors should either provide a self-contained derivation or explicitly frame the result as a verification of the construction.
minor comments (4)
- [Throughout] The expression 'pi/sqrt(18)' should be typeset as π/√18 and the value of the void fraction should be given exactly as 1 − π/(3√2) ≈ 0.2595 rather than the imprecise phrase 'nearly 25%'.
- [Section 7] The promised Wolfram Community notebook URL is said to be listed in the final version; since the visualizations are the only support for the tiling claim, the notebook should be supplied with the submission, for example as supplementary material, so that the construction can be reproduced and checked.
- [Section 2.3] The STT is parenthetically called a 'sphero-planar octahedron', which invites confusion with the STO; since the STT is tetrahedral, a descriptor such as 'sphero-planar tetrahedron' would be clearer.
- [References] Several references have inconsistent or incomplete bibliographic data (for example, [1], [3], and [7]); these should be standardized according to the journal's style.
Circularity Check
No significant circularity: the volume and area derivations are self-contained analytic computations; the tiling assertion is a proof gap, not a circularity.
full rationale
The paper's surface-area and volume results are derived from spherical trigonometry and explicit solid geometry (e.g., spherical excess, the spherical cosine rule) rather than fitted to the target density. The claimed identity that eight STTs and six STOs occupy the CCP void fraction is presented as a consequence of the tiling construction in Section 2.4, not as a parameter fitted to the known void fraction. The STT and STO volumes are computed independently of the CCP void fraction, so an error in those computations could in principle contradict the density identity; the identity is therefore a derived consistency statement, not a renamed input. Even though the local-to-global tiling is supported only by visual Mathematica evidence rather than a formal cell-mapping proof, that is a rigor or completeness concern, not circularity. The self-citations (refs 5, 9-13, 15) concern NMR motivation or unrelated mathematics and are not load-bearing for the geometric derivation. No fitted input is called a prediction, no uniqueness theorem is imported from the authors' prior work, and no ansatz is smuggled in via citation. Thus the circularity score is 0.
Assumptions & free parameters
assumptions (3)
- domain assumption Planes through sphere centres partition the total void space without gaps or overlaps.
- domain assumption The known FCC/CCP packing density pi/(3*sqrt(2)) is taken as a benchmark.
- standard math Spherical excess (Girard's theorem) and spherical trigonometry apply to the curved faces of STO and STT.
invented entities (1)
-
Spherically truncated octahedron (STO) and spherically truncated tetrahedron (STT)
Cite this review
Pith. "Pith review of Complementary bodies in sphere packing." pith.science (2026). https://pith.science/paper/W364SOJI
@misc{pith2026250811633,
author = {Pith},
title = {Pith review of: Complementary bodies in sphere packing},
year = {2026},
howpublished = {\url{https://pith.science/paper/W364SOJI}},
note = {Machine review of arXiv:2508.11633}
}
read the original abstract
Symbolic and graphical tools, such as Mathematica, enable precise visualization and analysis of void spaces in sphere packings. In the cubic close packing (CCP, or face-centred cubic packing; FCC) arrangement these voids can be partitioned into repeating geometric units we term spherically truncated polyhedra - bodies analogous to plane-truncated polyhedra but bounded by both planar and spherical surfaces. These structures are relevant in geometric studies and applications such as modelling diffusion in porous media and biological tissues. This work examines the properties of these complementary bodies, deriving their surface area-to-volume ratios, which are significant in physical contexts; and we establish a result concerning the packing density of truncated tetrahedra and octahedra, demonstrating how they tile the interstitial space surrounding packed spheres. These findings contribute to a deeper understanding of classical packing problems and their geometrical complements.
Reference graph
Works this paper leans on
-
[1]
1 Complementary bodies in sphere packing Philip W. Kuchel Faculty of Science, University of Sydney, New South Wales 2006, Australia e-mail: philip.kuchel@sydney.edu.au Symbolic and graphical tools, such as Mathematica, enable precise visualization and analysis of void spaces in sphere packings. In the cubic close packing (CCP, or face-centred cubic packin...
work page 2006
-
[2]
Introduction Traditional studies of sphere packing primarily focus on the arrangement and efficiency of sphere placement. However, our work here shifts perspective by investigating the geometry of the interstitial voids - the spaces between spheres - and reconstructing the packing structure from these complementary bodies. In particular, we examine the vo...
work page 1935
-
[3]
laid a foundation by using hand-drawn diagrams to study voids in geological sphere packings. However, their empirical treatment lacks the formal precision required for modern applications in porous material modelling. 2 These void structures hold significance in multiple fields, including estimating dielectric and magnetic field gradients in heterogeneous...
work page 2014
-
[4]
Graton, L. C.; Fraser, H. J.: Systematic packing of spheres – with particular relation to porosity and permeability. J. Geol. 43 (8/1) (1935), 785-909. 17
work page 1935
-
[5]
Fonseca Guerra, C.; Handgraaf, J. W.; Baerends, E. J.; Bickelhaupt, F. M.: V oronoi deformation density (VDD) charges: assessment of the Mulliken, Bader , Hirshfeld, Weinhold, and VDD methods for charge analysis. J. Comput. Chem. (2004) 25, 189–210
work page 2004
-
[6]
T.; Coy, A.; MacGowan, D.; Packer, K
Callaghan, P . T.; Coy, A.; MacGowan, D.; Packer, K. J.; Zelaya, F. O.: Diffraction-like effects in NMR diffusion studies of fluids in porous solids. Nature (1991) 351, 467-469
work page 1991
-
[7]
Elliott, S. J.; Eykyn, T. R.; Kuchel, P . W.: Multiple quantum nuclear magnetic resonance of ��Na� ions dissolved in uniformly stretched and compressed hydrogels. J. Chem. Phys. (2023) 159, 034903 (1-13 + SI 1-6)
work page 2023
-
[8]
Feinstein, J.; Shi, W.; Ramanujam, J.; Brylinski, M.: Bionoi: A V oronoi diagram-based representation of ligand-binding sites in proteins for machine learning applications. Meth. Mol. Biol. (2021) 2266, 299-312
work page 2021
Show all 19 references
-
[9]
arXiv:2402.08032v1 [math.MG] (2022)
Hales, T.: The formal proof of the Kepler conjecture: a critical retrospective. arXiv:2402.08032v1 [math.MG] (2022)
2022 arXiv
-
[10]
T.: Translational Dynamics & Magnetic Resonance: Principles of Pulsed Gradient Spin Echo NMR
Callaghan, P . T.: Translational Dynamics & Magnetic Resonance: Principles of Pulsed Gradient Spin Echo NMR. Oxford University Press, Oxford, UK, (2011) pp252-353
2011
-
[11]
diffusive-diffraction
Kuchel, P . W.; Coy, A.; Stilbs, P .: NMR “diffusive-diffraction” of water revealing alignment of erythrocytes in a magnetic field and their dimensions and membrane transport characteristics. Magn. Reson. Med. (1997) 37, 637-643
1997
-
[12]
S.: NMR Studies of Translational Motion: Principles and Applications
Price, W. S.: NMR Studies of Translational Motion: Principles and Applications. Cambridge University Press, Cambridge, UK, (2011) pp120-135
2011
-
[13]
J.; Kuchel, P
Lennon, A. J.; Kuchel, P . W.: Neural networks used to interpret pulsed-gradient restricted diffusion data. J. Magn. Reson. A (1994) 107, 229-235
1994
-
[14]
diffraction-like
Lennon, A. J.; Kuchel, P . W.: Enhancement of the "diffraction-like" effect in NMR diffusion experiments. J. Magn. Reson. A (1994) 111, 208-211. 18
1994
-
[15]
W.; Lennon, A
Kuchel, P . W.; Lennon, A. J.; and Durrant, C.: Analytical solutions and simulations for spin-echo measurements of diffusion of spins in a sphere with surface and bulk relaxation. J. Magn. Reson. B, (1996) 112, 1-17
1996
-
[16]
V ersion 14.0.0
Mathematica, Wolfram Research, Inc. V ersion 14.0.0. https://wolfram.com/mathematica, Champaign, ILL (2024)
2024
-
[17]
W.: 10n� + 2 revealed
Kuchel, P . W.: 10n� + 2 revealed. Math. Gaz. (2008) 92, 546-551
2008
-
[20]
R.: Mathematical Handbook of Formulas and Tables
Spiegel, M. R.: Mathematical Handbook of Formulas and Tables. Schaum’ s Outline Series of Theory and Problems. McGraw-Hill, New Y ork, (1968) p16
1968
-
[21]
H.; Jiao, Y.; Torquato, S.: New family of tilings of three-dimensional Euclidean space by tetrahedra and octahedra
Conway, J. H.; Jiao, Y.; Torquato, S.: New family of tilings of three-dimensional Euclidean space by tetrahedra and octahedra. Proc. Natl. Acad. Sci. (2011) 108, 11009-11012. �
2011
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.