{"id":"62b6ad3c-da2a-48b6-8ddd-4f0dc90621da","arxiv_id":"2508.11633","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The gaps in cubic close packing of equal spheres are exactly tiled by two named spherically truncated polyhedra, and their volumes and surface areas are derived explicitly.","lead":"This paper describes the empty gaps between tightly packed spheres in a common arrangement and gives them geometric names with formulas for their surface area and volume. The gap shapes matter for modeling how fluids move through porous materials and for interpreting certain magnetic resonance measurements.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Global tiling in §2.4 rests on a visual local fit, not a proof; inconsistent orientations of shared STOs/STTs across neighboring spheres would break the claimed density identity.","rationale":"The reader identified the same load-bearing weakness: Section 2.4 jumps from a local visual fit to a global tiling theorem without proof. I agree that this is where the central claim is least secure. The geometry is likely correct—the usual Delaunay triangulation of FCC gives tetrahedra and octahedra whose residuals after removing vertex-centered spheres are exactly the STTs and STOs, and those residuals tile all void space—but the manuscript does not supply that argument, nor does it provide the promised notebook. The 90° rotation phrase adds to the concern because it suggests an orientation choice that could differ from one shared cell to another, and the paper does not explain how the local construction extends periodically. Because the concern is about missing support rather than an identified false statement, the appropriate outcome remains the reader's CONDITIONAL verdict: the tiling and volume identities should be verified computationally or by a Delaunay-cell argument before the paper's central claim is accepted. I also note that the density identity, as phrased around 'π/√18', is confusingly related to the known sphere packing fraction versus the void fraction, but that confusion is secondary to the unresolved tiling question. If the proposed Delaunay residual check passes, the tiling concern is resolved and only the novelty and framing issues remain.","tokens_in":5086,"tokens_out":24712,"duration_ms":262065,"concrete_test":"Implement the standard Delaunay triangulation of one conventional FCC unit cell: place sphere centers at (0,0,0), (0,2,2), (2,0,2), (2,2,0) in units of R (nearest-neighbor distance 2R), and form the 8 tetrahedra and 4 octahedra whose vertices are sphere centers. For each cell, subtract the closed unit spheres at its vertices; call the residual an STT or STO candidate. Then (i) confirm the residuals are congruent to the bodies defined in §2.2–2.3, (ii) check all pairwise intersections have zero volume, and (iii) compute the total residual volume per conventional cell and compare with (4√2 − 4π/3)R^3. Equality and disjointness confirm the §2.4 tiling; any mismatch disproves the 90°-rotation construction as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 2.4 asserts that docking eight STTs onto six STOs around a central sphere, rotating opposing STTs by 90° for a snug fit, fills all surrounding void space, and Section 4 then uses this to equate the combined volume of eight STTs and six STOs with the CCP void fraction. The load-bearing step is the local-to-global extension: each STO/STT is not private to one sphere but is shared among several generating spheres, so its orientation is fixed by the whole lattice. The 90° rotation is specified only as a local adjustment; no argument shows that the orientations chosen around one sphere agree with those forced by neighboring spheres, nor that the curved and planar faces of adjacent bodies coincide with zero overlap and zero gap. If even one incidence is misoriented, the union of the 14 bodies either overlaps or leaves a gap, and the volume sum 8V_STT + 6V_STO no longer equals the void volume. The paper offers Fig. 8 and Mathematica visualizations, not a cell decomposition or an explicit mapping from the Delaunay triangulation of FCC, and the notebook that would make the construction reproducible is promised but absent. Thus the central density identity is currently unsupported at its most delicate point.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":5336,"tokens_out":4264,"duration_ms":43733,"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":[{"comment":"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":"Sections 3 and 4"},{"comment":"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":"Section 2.4"},{"comment":"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.","section":"Section 5"}],"minor_comments":[{"comment":"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":"Throughout"},{"comment":"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":"Section 7"},{"comment":"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.","section":"Section 2.3"},{"comment":"Several references have inconsistent or incomplete bibliographic data (for example, [1], [3], and [7]); these should be standardized according to the journal's style.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript appears to be an extended Mathematica demonstration, and the mathematical sections are substantially incomplete in the submitted version. The 'new and independent' density identity is at risk of being a definitional tautology if the volumes are not derived independently of the known FCC packing fraction. I would recommend requiring a complete, machine-checkable derivation and a formal tiling argument before considering publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear [Colleague],\n\nThe short version: this paper gives explicit spherically truncated octahedra (STOs) and tetrahedra (STTs) that fill the two standard void types in FCC, and it computes their surface areas and volumes. The geometry is likely correct and the formulas could be useful. The problem is the framing: the headline \"new and independent density identity\" is just the known CCP void fraction in disguise, and the global tiling that makes the volume sum work is assumed from a picture, not proven. The posted text also has most of the math missing.\n\nWhat's new: the named STO/STT constructions and the closed-form expressions for their surface-to-volume ratios. I haven't seen these explicit formulas for the spherically truncated forms in the cited literature. The derivation approach via spherical triangles is elementary and the numbers are internally consistent. If you work on diffusion or NMR relaxation in packed spheres, these pore shapes are a step up from modeling voids as spheres.\n\nThe soft spots: (1) Since STOs and STTs are defined as the complement of the spheres, their combined volume must equal the void fraction 1 − π/√18. Presenting that as a theorem is circular. The text even says at one point that the volume equals the packing density π/√18, which is wrong; it should be the void fraction. That's a serious conceptual slip. (2) The tiling in §2.4 is the load-bearing step: six STOs plus eight STTs around one sphere, with opposing STTs rotated 90° for a snug fit. But the STOs/STTs are shared among neighboring spheres, so their orientations are fixed by the lattice. The paper gives no cell decomposition or mapping from the Delaunay triangulation of FCC to the cluster, so it does not rule out overlaps or gaps in the full periodic structure. Visual evidence is not enough. (3) The submission is missing Section 3's equations and all of Section 4, and the Mathematica notebook is promised but absent, so none of the formulas can be checked.\n\nCitation pattern is fine — Graton-Fraser, Hales, and the NMR papers are all appropriate. No concerns there.\n\nWho this is for: applied geometers and NMR people who want explicit pore geometry in an FCC lattice. They'll get useful numbers if the formulas are accepted. But they should not take the \"new theorem\" claim at face value.\n\nRecommendation: I wouldn't desk reject it — the pore geometry toolkit is worth a referee's time — but only after the author supplies the missing derivations and notebook, corrects the density statement, and either proves the periodic tiling or rephrases the result as a conjecture. As is, it's a promising draft, not a finished paper.","headline":"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.","tokens_in":5833,"tokens_out":4911,"would_cite":false,"duration_ms":48712,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52C17","51M25","52C22"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["sphere packing","cubic close packing","interstitial voids","spherically truncated polyhedra","spherical excess","packing density identity","porous media","spherical trigonometry"],"falsifier":"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.","tokens_in":4887,"feed_emoji":"⚪","tokens_out":9340,"duration_ms":85304,"temperature":0.7,"pith_summary":"The paper aims to show that the interstitial voids in a cubic close packing (CCP) of equal spheres are not formless gaps but a precise tiling by two complementary curved polyhedra: spherically truncated octahedra (STOs), which sit in the six-sphere octahedral clusters, and spherically truncated tetrahedra (STTs), which sit in the four-sphere tetrahedral clusters. Its central quantitative claim is a density identity: the combined volume of six STOs and eight STTs around each sphere equals the void fraction of CCP, so the packing density of the complementary bodies is exactly the sphere-packing density $\\pi/\\sqrt{18}$. This matters because it turns pore geometry in a canonical dense packing into an exact, finite-parameter description with direct uses in modelling diffusion, NMR relaxation, and porous materials.","feed_headline":"Sphere-packing voids tile exactly into two curved solids","feed_subtitle":"Eight spherically truncated tetrahedra and six octahedra per sphere fill all gaps, matching the sphere density $\\pi/\\sqrt{18}$.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the original observation that two types of unit voids (tetrads and hexamers) tile the CCP void space, which the paper formalizes.","marker":"[2]"},{"why":"Supplies the proven maximal sphere-packing density $\\pi/\\sqrt{18}$ that the new complementary-body density identity is set equal to.","marker":"[7]"},{"why":"Supplies Girard's spherical-excess formula used to compute the areas of the convex spherical faces.","marker":"[18]"},{"why":"Supplies the spherical cosine rule used to obtain the face angles, e.g. $\\cos C = 1/3$ for the STT.","marker":"[19]"},{"why":"Provides the classical tiling of Euclidean 3-space by regular octahedra and tetrahedra that the new STT-STO tiling is explicitly distinguished from.","marker":"[21]"}],"fun_headline_variants":["Two curved solids tile all void space in sphere packing","Spherically truncated tetrahedra and octahedra fill gaps exactly","CCP voids decompose into STTs and STOs with density π/√18","Eight spherically truncated tetrahedra plus six octahedra per sphere","Void space in FCC packing is exactly two spherically truncated polyhedra"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Two curved solids tile all void space in sphere packing","Spherically truncated tetrahedra and octahedra fill gaps exactly","CCP voids decompose into STTs and STOs with density π/√18","Eight spherically truncated tetrahedra plus six octahedra per sphere","Void space in FCC packing is exactly two spherically truncated polyhedra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000264,"raw_usage":{"total_tokens":1558,"prompt_tokens":854,"completion_tokens":704,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":470,"completion_tokens_details":{"reasoning_tokens":605}},"tokens_in":470,"tokens_out":704,"duration_ms":6516,"temperature":1.0,"reasoning_tokens":605,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T19:43:26.941853+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the original observation that two types of unit voids (tetrads and hexamers) tile the CCP void space, which the paper formalizes."},{"cited_title":"J.; Eykyn, T","cited_arxiv_id":null,"evidence_quote":"Supplies the proven maximal sphere-packing density $\\pi/\\sqrt{18}$ that the new complementary-body density identity is set equal to."},{"cited_title":"H.; Jiao, Y.; Torquato, S.: New family of tilings of three-dimensional Euclidean space by tetrahedra and octahedra","cited_arxiv_id":null,"evidence_quote":"Provides the classical tiling of Euclidean 3-space by regular octahedra and tetrahedra that the new STT-STO tiling is explicitly distinguished from."}],"review_version":1}