{"id":"5a049e6a-ad13-4147-9bda-d9ae7769fe98","arxiv_id":"2412.04491","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new algorithm classifies soft space-filling shapes derived from the bcc Voronoi cell, and shows the Schwarz P and D minimal surfaces and Kelvin foam appear as members of the same first-order family.","lead":"This paper extends the authors' soft-cell framework with an algorithm that finds all curved tilings sharing the vertices of a polyhedral tiling. It shows that the Schwarz P and D minimal surfaces and Kelvin's foam sit inside one classification of these soft tilings.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 1's identification of the Schwarz P and D Voronoi cells with (g2) and (i2) rests on unverified premises about softness, planarity, and vertex sets; the classification theorems are not affected.","rationale":"The core classification in Theorems 1 and 2 is carefully scoped: the EEB algorithm reduces softness to solving equations on the sphere, and Table 2 gives explicit solutions for the claimed cells. I checked the possible objection that Section 3.3 lists only three 'complete sets' of softening equations; this is not a real gap, because any antipodal pair forces v=-u, so a half-tangent vector can be antipodal to at most one other, making the antipodal graph at a node a matching and the three perfect matchings exhaustive. The genuine soft spot is Proposition 1: its proof by elimination from Theorem 2 assumes, without direct computation, that the Schwarz P and D Voronoi cells have the required softness, planarity, and vertex-set properties. The paper's own Section 5.4 stresses that the identification is only second-order, so this is not a merely cosmetic issue. A direct half-tangent computation would settle it. Since the reader's conditional verdict already demands exactly this check, my read does not change the verdict.","tokens_in":14058,"tokens_out":14719,"duration_ms":136475,"concrete_test":"Directly compute the second-order data of the Schwarz P and D Voronoi cells from the skeletal-graph definition in Observation 1: construct the Voronoi partition of each labyrinth, extract the half-tangent vectors at a representative node, and test (i) whether the cell is soft in the sense of Definition 2, (ii) whether at least one face is planar, and (iii) whether the half-tangent vectors match Table 2's (g2) row, a=(1/√2,-1/√2,0), and (i2) row, a=(√3/2,√3/6,1/√6), up to the relevant space group. If the half-tangents match, Proposition 1 is confirmed; if not, the elimination argument has a false premise.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is Proposition 1 in Section 4.1. The proof does not compute the half-tangents of the Schwarz P and D Voronoi cells; it concludes by elimination from Theorem 2. For that elimination to be valid, the Schwarz cells must be first-order equivalents of (e2), must have at least tetrahedral symmetry, must be soft in the sense of Definition 2, and must have at least one planar face. The paper cites Schoen [2] and Coxeter [12] for symmetry and for the {6,4|4} vertex set, and it invokes Observation 1 for softness, but none of these is shown to establish the precise second-order data used in Theorem 2. Observation 1 itself is asserted rather than proved: a Voronoi partition of a labyrinth is said to 'result in a soft tiling' because tube cross-sections are smooth, yet softness is defined by antipodal half-tangents at nodes, which is not an evident consequence of smooth tube cross-sections. If, for example, the Schwarz P Voronoi cell's representative half-tangent vector differs from the (g2) value a=(1/√2,-1/√2,0) in Table 2, the identification fails even though Theorems 1 and 2 remain correct. Section 5.4 acknowledges that the identification is only second-order, which makes the missing direct check more, not less, important.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces an Extended Edge Bending (EEB) algorithm and applies it to the Dirichlet–Voronoi tiling on the bcc lattice, called the (e2) tiling. The main classification results are Theorem 1, stating that exactly two second-order equivalence classes of soft tilings share the full symmetry group of (e2), and Theorem 2, stating that exactly four such classes have at least tetrahedral symmetry and at least one planar face. The paper then claims that the Voronoi cells of the Schwarz P and Schwarz D minimal surfaces belong to the non-standard classes (g2) and (i2) of Theorem 2 (Proposition 1), and it constructs one-parameter families of first-order (e2)-equivalent tilings that include the Kelvin foam and connect the two Schwarz cells. The proofs in Section 3 are largely explicit: three complete sets of softening equations are listed and solved on the unit sphere, and Table 2 gives the resulting cells. The main weaknesses are a concrete error in the stated normal for one planar-face great circle and a gap in the proof of Proposition 1, which relies on an unproved observation about Voronoi partitions of TPMS labyrinths rather than a direct computation of half-tangents.","tokens_in":14296,"tokens_out":49628,"duration_ms":384737,"significance":"If the classification is correct, it provides a useful structural framework for soft tilings at the second-order level and gives a concrete algebraic handle on the half-tangent data of space-filling cells. The connection to Schwarz P and D minimal surfaces is an appealing geometric result with potential relevance to materials science (mesoatoms) and to the theory of triply periodic minimal surfaces. The explicit enumeration of all soft tilings up to second order in the first-order class of the bcc Voronoi tiling is a valuable reference result, and the one-parameter families, including the Kelvin foam, are elegant. However, the paper's central applied claim rests on Proposition 1, whose current proof is not fully self-contained; the classification theorems themselves appear sound and are supported by explicit computation.","major_comments":[{"comment":"Proposition 1 is the load-bearing link between the abstract classification and the Schwarz minimal surfaces, but its proof is not complete. Observation 1 asserts that a Voronoi partition of a TPMS labyrinth yields a soft tiling because tube cross-sections are smooth; however, softness in Definition 2 is an antipodal-half-tangent condition at nodes, and smoothness of cross-sections is not shown to imply that condition. The proof of Proposition 1 then excludes the standard soft cells (f2) and (h2) by asserting that their planar faces are non-smooth while the Schwarz cells have smooth planar faces, but this is a higher-order geometric property that is not part of the second-order classification in Theorem 2. Since the proof of Proposition 1 does not compute the half-tangent data of the Schwarz P and D Voronoi cells, the elimination from Theorem 2 is not rigorous as written. A direct computation of the half-tangents of these Voronoi cells, or a rigorous derivation from the cited vertex-set and symmetry data, is needed to confirm the identification with (g2) and (i2).","section":"§4.1, Observation 1 and Proposition 1"}],"minor_comments":[{"comment":"The great-circle labels in Table 2 are not consistent with the notation introduced in §3.4.2: for example, the (g2) row uses 'gadbc' where the text defines g_abcd as the circle containing that solution. Please align the table with the notation in the proof.","section":"Table 2 and §3.6"},{"comment":"There are several typos and stylistic inconsistencies: 'KEL VIN' in the title, 'polyhedic' for 'polyhedric', 'ahve' in §4.1, and 'monohedric' for 'monohedral' in places. These should be corrected.","section":"Throughout"},{"comment":"The entry for Schoen's technical report appears garbled ('Technical Note, s2-43:NASA TN D–5541'); please verify the exact report number and formatting.","section":"Reference [2]"},{"comment":"The phrase 'both Schwarz Voronoi cells have n smooth, planar faces' is ambiguous: it is unclear whether all faces are planar or whether some are curved, and in what sense the (f2)/(h2) faces are 'non-smooth'. This should be clarified, and the property used for the elimination should be stated precisely.","section":"§4.1, Proposition 1 proof"}],"recommendation":"major_revision","confidential_remarks":"The classification theorems in Section 3 appear to be essentially correct and are a solid contribution. The main risk is Proposition 1: the identification with the Schwarz cells should be backed by a direct half-tangent computation, not by an elimination argument resting on an unproved observation. The error in the g_hex2 normal in §3.5 is local and fixable, but it currently makes the written proof of Theorem 2 inconsistent with Table 2. I would be willing to look at a revised version that addresses both points."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe useful core here is the classification in Theorems 1 and 2: in the first-order class of the bcc Dirichlet-Voronoi tiling there are exactly two second-order soft classes with full symmetry, and exactly four if you ask for tetrahedral symmetry with one planar face. The proof is mostly explicit – the softening equations are written out and solved on the sphere, and Table 2 lists the isolated solutions. That part is solid and new. The EEB algorithm is a clear extension of their earlier edge-bending method. Also new and worth knowing: the Schwarz P and D Voronoi cells are placed in the same first-order class as the (e2) tiling, the Kelvin cell appears in a one-parameter family that bridges (e2) and the soft cells, and the gyroid is given a soft cell.\n\nThe soft spot is Proposition 1. It identifies the Schwarz P and D cells with the non-standard soft cells (g2) and (i2) not by direct computation of their half-tangents but by elimination from Theorem 2 plus external facts. The premises are that these Voronoi cells are soft (Observation 1), have tetrahedral or octahedral symmetry, share the {6,4|4} vertex set, and have planar faces. Observation 1 itself is asserted rather than proved; smooth tube cross-sections don't immediately give antipodal half-tangents at the nodes. So if any premise is off, the identification falls. That said, the classification stands on its own. Section 5.4 makes clear the identification is only second-order and they even show further examples of the (g2) family, which suggests they know the gap. I'd like to see either a direct tangent computation for the Schwarz cells or a more careful statement that they are claiming a classification-consistent identification rather than a full geometric proof. The gyroid section is exploratory and the claimed softness value 0.576 is given without a reproducible pipeline; minor.\n\nThere is no code, but the equations are enough to reproduce the main classification by hand. The citation pattern is fine; reliance on Schoen and Coxeter is appropriate for the vertex set.\n\nVerdict: this deserves a serious referee. It's a genuine contribution to soft tiling theory, with the classification as the load-bearing result. I'd send it to peer review, with the request to tighten Proposition 1. I'd probably cite Theorems 1 and 2 if I worked on space-filling geometries. Bring it to a reading group if you want to discuss the relationship between soft tilings and minimal surfaces; otherwise skip.","headline":"A worthwhile classification of second-order soft tilings with a convincing core, but Proposition 1 leans on unverified premises and should be tightened before publication.","tokens_in":14873,"tokens_out":2703,"would_cite":true,"duration_ms":22966,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52C22","51M20","05B45"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper classifies all soft space-filling tilings that preserve the vertices and symmetries of the bcc Voronoi tiling, proving there are exactly two (or four under weaker symmetry) and matching two of them to the Schwarz P and D minimal…","keywords":["soft cells","soft tilings","edge bending algorithm","Dirichlet-Voronoi tiling","bcc lattice","Schwarz minimal surfaces","Kelvin foam","second-order equivalence classes"],"falsifier":"Compute, from a numerical Voronoi decomposition of the skeletal graphs of the Schwarz P and D surfaces, the four unit tangent directions of the edges at a vertex of each cell and compare them with the nodal sets listed for (g2) and (i2). If the sets are not related by the appropriate space-group symmetries, the claimed equivalence fails; a direct enumeration that finds a third full-symmetry soft solution in the same first-order class would refute Theorem 1.","tokens_in":13844,"feed_emoji":"🧊","tokens_out":8922,"duration_ms":76522,"temperature":0.7,"pith_summary":"The paper sets out to classify, up to the directions of edge tangents at vertices, all soft space-filling cells that keep the vertices and symmetries of the Dirichlet-Voronoi tiling of the bcc lattice (the (e2) tiling). It proves there are exactly two such second-order equivalence classes when the full bcc symmetry is kept, and exactly four when only tetrahedral symmetry and at least one planar face are required. Two of the four cells are standard soft cells; the other two are non-standard and are identified with the Voronoi cells of the Schwarz P and D minimal surfaces. A one-parameter family connects the standard and non-standard cells and passes through the Kelvin foam, so the classification links minimal surfaces, foams, and soft tilings in one geometric picture.","feed_headline":"Exactly two soft tilings keep the bcc cell's full symmetry","feed_subtitle":"The same census puts Schwarz P and D minimal surfaces in two of the soft-cell families, with Kelvin's foam on the connecting path.","key_machinery":"The load-bearing object is the nodal set: the four unit vectors $\\mathbf{a}, \\mathbf{b}, \\mathbf{c}, \\mathbf{d}$ giving the edge half-tangents at each node of the (e2) tiling. The EEB algorithm lets the fundamental vector $\\mathbf{a}$ run over the unit sphere, applies the symmetry group through linear transformations to generate the full nodal set, and turns the softness condition into equations of the form $\\mathbf{u}_i \\cdot \\mathbf{u}_j = -1$ inside every vertex set. These softening equations reduce to great circles and isolated points on the sphere of Euler angles, and second-order equivalence classes are the isolated solutions; requiring at least one planar face adds further great-circle constraints, and the intersections of softness and planarity circles yield the four cells in Table 2. The argument fixes half-tangents but not the actual curves or surfaces of the cells, so the resulting classes are second-order descriptions rather than full cell geometries.","core_discovery":"The central discovery is a complete second-order census of soft tilings in the first-order class of the (e2) tiling, the Dirichlet-Voronoi tiling of the bcc lattice. The Extended Edge Bending (EEB) algorithm computes the possible unit half-tangent vectors at a node consistent with a prescribed symmetry group, then imposes softness: in every cell at a node, some pair of half-tangent vectors must satisfy $\\mathbf{u}_1 \\cdot \\mathbf{u}_2 = -1$, meaning the two edge directions meet smoothly with no sharp corner. Solving these equations yields exactly two inequivalent solutions under the full bcc symmetry group $Im3m$ --- the standard soft cell (f2) and the non-standard soft cell (g2) --- and exactly four solutions when the symmetry is relaxed to the tetrahedral group $Pn3m$ and at least one planar face is required: (f2), (g2), (h2), and (i2). The paper then argues, by elimination, that the Voronoi cells of the Schwarz P and D minimal surfaces belong to the second-order classes of (g2) and (i2), respectively, because they share the vertices of the regular map $\\{6,4|4\\}$, have planar faces, and have the required symmetries.","pith_inferences":["The identification of the Schwarz P and D cells with (g2) and (i2) is made by elimination from external descriptions; a direct numerical computation of the half-tangent sets from parametrized skeletal graphs would remove that reliance and is a natural verification.","Because the classification is confined to the first-order class of (e2), the gyroid's soft cell, with its degree-3 skeletal graph and nonconvex first-order polyhedron, lies outside the theorems; an analogous EEB census for the gyroid's own first-order class could test whether its unusually high softness value is extremal.","In the foam direction, one could evaluate total surface area along the one-parameter family that includes the Kelvin cell; if Kelvin's cell is a local area minimum, the soft-cell framework may provide a new coordinate system for Plateau's problem.","The second-order classification suggests defining softness as a continuous spectrum rather than a binary property, with the parameter $\\sigma$ measuring how close a tiling is to the soft limit; this could make the standard-versus-non-standard distinction a quantitative rather than qualitative one."],"forward_implications":["If Proposition 1 holds, the Voronoi tilings of the Schwarz P and D surfaces are not exotic outliers but members of the same second-order soft-cell families as (g2) and (i2), so results about those families transfer to the minimal-surface tilings.","The two-count in Theorem 1 closes the census for full-symmetry soft tilings in the (e2) first-order class: no undiscovered full-symmetry soft cell exists in this class.","The four-count in Theorem 2 says that any soft cell in this class that is first-order equivalent to (e2), has at least tetrahedral symmetry, and has at least one planar face must be one of (f2), (g2), (h2), or (i2).","The one-parameter family through (e2), (f2), (h2), and the Kelvin cell gives a continuous route from the truncated octahedron to standard soft tilings, placing Kelvin's foam as an intermediate configuration on that route.","The gyroid's soft cell, with the highest computed softness value $\\sigma = 0.576$, shows that the EEB method also produces candidates outside the (e2)-centered classification, such as the soft tiling induced by the gyroid structure."],"supporting_citations":[{"why":"Defines soft cells, soft tilings, the edge-bending algorithm, and the (e2)/(f2) notation that this paper extends.","marker":"[1]"},{"why":"Supplies the key external facts that the Schwarz P and D unit cells carry the regular map {6,4|4} and identifies the gyroid's space group and toy polyhedron.","marker":"[2]"},{"why":"Provides the mesoatom and Voronoi-decomposition viewpoint that lets TPMS labyrinths be interpreted as tilings.","marker":"[3]"},{"why":"Describes the regular skew polyhedron {6,4|4} whose vertices are shared by the (e2) tiling and the Schwarz cells.","marker":"[12]"},{"why":"Original source for the Schwarz P and D minimal surfaces used as the application.","marker":"[4]"},{"why":"Introduces the Kelvin foam and Kelvin cell used as the intermediate configuration in the one-parameter family.","marker":"[6]"},{"why":"Supplies the one-parameter deformation family connecting the Schwarz P and D surfaces, mirrored by the soft-tiling connections.","marker":"[17]"},{"why":"Gives the standard space-group notation (Im3m #229, Pn3m #224, I4132 #214) that fixes the symmetry constraints.","marker":"[8]"}],"fun_headline_variants":["Exactly two soft tilings keep full bcc symmetry","Soft tiling census: only two with full bcc symmetry","Schwarz P and D land in separate soft-tiling classes","Kelvin foam bridges soft tilings of Schwarz surfaces","Soft cells: a complete second-order census"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The link between minimal surfaces and soft cells depends on the stated facts that the Voronoi cells of the Schwarz P and D surfaces share the same corner positions as the bcc Voronoi tiling, have the claimed symmetries, and have flat faces; if any of those descriptions is inaccurate, the link can fail even if the classification counts are correct.","fun_headline_variants_meta":{"raw":{"variants":["Exactly two soft tilings keep full bcc symmetry","Soft tiling census: only two with full bcc symmetry","Schwarz P and D land in separate soft-tiling classes","Kelvin foam bridges soft tilings of Schwarz surfaces","Soft cells: a complete second-order census"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000762,"raw_usage":{"total_tokens":3463,"prompt_tokens":1106,"completion_tokens":2357,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":722,"completion_tokens_details":{"reasoning_tokens":2279}},"tokens_in":722,"tokens_out":2357,"duration_ms":19078,"temperature":1.0,"reasoning_tokens":2279,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:15:52.159937+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, from a numerical Voronoi decomposition of the skeletal graphs of the Schwarz P and D surfaces, the four unit tangent directions of the edges at a vertex of each cell and compare them with the nodal sets listed for (g2) and (i2). If the sets are not related by the appropriate space-group symmetries, the claimed equivalence fails; a direct enumeration that finds a third full-symmetry soft solution in the same first-order class would refute Theorem 1.","supporting_citations":[{"cited_title":"Domokos, A","cited_arxiv_id":null,"evidence_quote":"Defines soft cells, soft tilings, the edge-bending algorithm, and the (e2)/(f2) notation that this paper extends."},{"cited_title":"Infinite periodic minimal surfaces without self-intersections","cited_arxiv_id":null,"evidence_quote":"Supplies the key external facts that the Schwarz P and D unit cells carry the regular map {6,4|4} and identifies the gyroid's space group and toy polyhedron."},{"cited_title":"Grason and Edwin L","cited_arxiv_id":null,"evidence_quote":"Provides the mesoatom and Voronoi-decomposition viewpoint that lets TPMS labyrinths be interpreted as tilings."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Describes the regular skew polyhedron {6,4|4} whose vertices are shared by the (e2) tiling and the Schwarz cells."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Original source for the Schwarz P and D minimal surfaces used as the application."},{"cited_title":"On the division of space with minimum partitional area","cited_arxiv_id":null,"evidence_quote":"Introduces the Kelvin foam and Kelvin cell used as the intermediate configuration in the one-parameter family."},{"cited_title":"Deuxi´ eme note sur les surfaces a lignes de courbure sph´ eriques.C.R","cited_arxiv_id":null,"evidence_quote":"Supplies the one-parameter deformation family connecting the Schwarz P and D surfaces, mirrored by the soft-tiling connections."},{"cited_title":"Aroyo (ed)","cited_arxiv_id":null,"evidence_quote":"Gives the standard space-group notation (Im3m #229, Pn3m #224, I4132 #214) that fixes the symmetry constraints."}],"review_version":1}