Pith. sign in

REVIEW 6 minor 16 references

Soft cells, Tubular Tilings and the Hidden Phases in Binary Mixtures

T0 review · 0 major / 6 minor · reviewed 2026-07-10 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A global Euler balance recovers the topology of a hidden phase from the observable phase and their shared interface in tubular tilings of binary mixtures.

desk verdict Clean new definition and Euler balance that actually recovers hidden-phase topology; solid enough for referees. read the letter →

arxiv 2607.06810 v1 pith:D4GOK7U7 submitted 2026-07-07 physics.app-ph math.GTmath.MG

Gábor Domokos This is my paper · ORCID
classification physics.app-phmath.GTmath.MG MSC 00A6952C2205B4554H99
keywords binarymixturetessellationtriplyperiodicminimalsurfacesoftcelltubulartilingEulerbalanceFermiRobertson-Walker
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Many systems in nature and physics can be treated as binary mixtures: a smooth interface splits a manifold into two complementary phases, but often only one phase and the interface are easy to observe. This paper introduces tubular tilings as a natural way to discretize such mixtures on manifolds of any dimension. It proves that every tubular tiling obeys a global Euler balance law that links the topology of the ambient space, the two discretized phases, and their internal interfaces. The balance supplies a practical inference rule: topological data about the hidden phase can be recovered from measurements on the visible phase and the geometry of the separating surface. In dimensions greater than two the same constructions are automatically soft (corner-free). Concrete applications to the copper Fermi surface and to thick-shell decompositions of a positively curved universe show the rule in action.

What carries the argument

Tubular tilings: binary labelings of a tiling whose external interfaces tile a smooth embedded hypersurface while internal interfaces remain disjoint unions of faces (the tubularity condition). The Euler balance is obtained by inclusion–exclusion on the natural geometric strata rather than by refining to a CW complex.

What would settle it

Construct or identify a tubular tiling on a manifold of finite topological type for which the indicated averages of tile Euler characteristics, internal-interface Euler characteristics, and phase frequencies all exist, yet the Euler balance fails to hold.

Watch

Extended reading notes

Core claim

Every tubular tiling of a smooth d-manifold of finite topological type satisfies the Euler balance p_A(2χ_A − χ_¯A) + (−1)^d p_B(2χ_B − χ_¯B) = [χ(M^d)/N]·[(−1)^d + 1], whenever the indicated averages of tile and internal-interface Euler characteristics and the relative frequencies of the two phases exist. The identity recovers the topology of a hidden phase from the observable phase and the interface.

Load-bearing premise

The limiting averages of the Euler characteristics of the tiles and of their internal interfaces, together with the relative frequencies of the two phases, must exist as the truncation radius goes to infinity.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 6 minor

Summary. The paper introduces tubular tilings as discretizations of binary mixtures on smooth d-manifolds of finite topological type, in which a smooth hypersurface T separates complementary A- and B-phases under a triple-junction (tubularity) condition. Theorem 1 states a global Euler balance relating the relative frequencies and average Euler characteristics of the tiles and their internal interfaces to the topology of the ambient manifold: p_A(2χ_A − χ_¯A) + (−1)^d p_B(2χ_B − χ_¯B) = [χ(M^d)/N]·[(−1)^d + 1]. The law is derived in Appendix B by inclusion-exclusion on the natural geometric strata (external/internal interfaces and separation boundaries), with a finite-volume truncation that handles both compact and non-compact cases and separates odd and even dimensions. For d>2 the same conditions imply that tubular tilings are 2-soft (corner-free). Two constructive algorithms (frozen-wire on polyhedral skeleta; double-bubble on sphere systems) recover classical mosaic relations as corollaries and are applied to the copper Fermi surface (inferring torus topology for the unoccupied phase) and to thick-shell decompositions of the positively curved Robertson–Walker universe.

Significance. If the balance law holds under the stated hypotheses, it supplies a clean, dimension-independent inference principle for recovering the topology of a hidden complementary phase from an observable phase and a shared interface. The derivation is self-contained (inclusion-exclusion on geometric strata rather than an auxiliary CW refinement), recovers known convex-mosaic identities as a special case, and places the recently introduced soft cells inside a broader topological framework. The Fermi-surface and RW-shell examples demonstrate that the abstract relation can be combined with elementary geometric data (relative volumes, metric intersection counts) to extract concrete topological numbers that are otherwise inaccessible. The work therefore offers both a new classification tool for binary mixtures and a practical computational principle for several applied domains.

minor comments (6)
  1. Appendix A contains two nearly identical statements labelled Proposition 1 and Proposition 2, both asserting that tubular tilings are 2-soft for d>2. The second proof is more complete (enumerating admissible face multiplicities under the triple-junction condition). One of the two statements should be removed or clearly marked as a restatement.
  2. Definition 1 requires the ambient manifold to be embedded in R^{d+1}. The subsequent Euler-balance argument uses only intrinsic topology and the existence of a smooth hypersurface T; the embedding hypothesis appears unnecessary for Theorem 1 and could be relaxed or justified.
  3. In the finite-volume setup of Appendix B the error terms ε_¯A(R), ε_˚A(R) etc. are asserted to vanish after normalisation by N(R) because boundary tiles grow like R^{d−1}. A one-sentence reference to the uniform ball-radius bounds already stated in Definition 1 would make the estimate fully explicit.
  4. Table 1 (Appendix C) lists substitution values for several examples but is never referenced in the main text. A brief pointer in §2 would help the reader verify the numerical checks.
  5. The phrase “semi-hidden tubular tiling” is introduced informally in the Introduction and used later without a formal definition; a short sentence in Definition 1 or Remark 2 would remove the ambiguity.
  6. Minor typographical inconsistencies appear (e.g., “B–tiless” in the statement of Theorem 1, duplicated “χ_A,i = χ(∂A_i)” notation in B.1). These do not affect readability but should be cleaned.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: Theorem 1 follows from tubular definitions plus inclusion-exclusion; soft-cell self-citations are motivational only.

full rationale

The central derivation (Theorem 1 / Appendix B) starts from the Definition 1 tubular conditions (external interfaces tile a smooth hypersurface T; triple-junction condition (23) forbids AAA/BBB meetings) and applies ordinary inclusion-exclusion (3) to the natural geometric strata (tiles, internal/external interfaces, separation boundaries) under a standard finite-volume truncation. Odd/even cases follow from vanishing Euler characteristics of closed odd-dimensional manifolds and double-counting of interfaces; the limiting averages are an explicit hypothesis, not a fitted output. Soft-tiling citations ([1] et al.) supply background and the generalized k-soft definition, but the proof that tubular tilings are 2-soft (Propositions 1/2) is self-contained from the same triple-junction geometry and is not used inside the balance-law argument. Applications (Fermi Cu, RW shells) insert independent geometric data (volumes, intersection counts, lattice incidences) into the already-proved identity; they do not reverse-engineer the identity from the target topology. No self-definitional loop, no fitted parameter renamed as prediction, and no load-bearing uniqueness claim imported from prior author work. Minor manuscript duplication of the softness propositions does not affect the chain. Score 1 only for the non-load-bearing self-citations that frame the soft-cell connection.

Assumptions & free parameters 0 free parameters · 5 assumptions · 5 invented entities

The central claim rests on standard algebraic topology (Euler characteristic, inclusion-exclusion) plus the geometric hypotheses that define tubular tilings and guarantee existence of averages. No free parameters are fitted; the invented entities are definitional scaffolding rather than new physical mediators.

assumptions (5)
  • standard math Inclusion-exclusion formula χ(X∪Y)=χ(X)+χ(Y)−χ(X∩Y) for Euler characteristic of compact stratified sets
    Used repeatedly in Appendix B to express χ of unions of tiles and of interfaces without refining to CW complexes.
  • standard math Euler characteristic of any closed odd-dimensional manifold vanishes
    Invoked for separation boundaries (d−2 even or odd) and for tile boundaries when d is even (Appendix B.4–B.5).
  • domain assumption Ambient manifold M^d is smooth, without boundary, and of finite topological type; tiles are uniformly sized (contain ball of radius r− and contained in ball of radius r+)
    Stated in Definition 1 and used to control boundary error terms in the finite-volume argument (Appendix B.1, B.3.3).
  • ad hoc to paper Limiting averages of tile Euler characteristics, internal-interface Euler characteristics, and relative frequencies p_A, p_B exist
    Explicit hypothesis of Theorem 1; without it the left-hand side of the balance law is undefined for non-compact manifolds.
  • ad hoc to paper Tubularity condition: no three tiles of the same label meet (A_i∩A_j∩A_k=B_i∩B_j∩B_k=∅)
    Part of Definition 1; forces the separation boundary to be a disjoint union of smooth (d−2)-manifolds and is essential for both the softness proof and the double-counting arguments.
invented entities (5)
  • tubular tiling / tubular hypersurface
    purpose: Discretize a binary mixture so that external interfaces tile a single smooth hypersurface while internal interfaces remain disjoint unions of faces
    Core definitional object of the paper; all subsequent theorems are statements about these objects.
  • k-soft shape / soft tiling (generalized)
    purpose: Extend the earlier notion of corner-free cells to arbitrary dimension by measuring the highest codimension of smooth boundary strata
    Definition 2; used to prove that tubular tilings are automatically 2-soft for d>2.
  • semi-hidden tubular tiling
    purpose: Name the situation in which only one phase is regarded as observable, so that the balance law becomes an inference tool
    Introduced in the Introduction and used for the Fermi-surface and RW examples.
  • frozen-wire algorithm
    purpose: Construct a tubular surface as a thin tubular neighborhood of a polyhedral edge skeleton
    Section 2.1; produces the soft cells associated with classical mosaics and with the copper Fermi surface.
  • double-bubble algorithm
    purpose: Construct tubular tilings of S^3 from two families of embedded 2-spheres whose intersections are transverse circles
    Corollary 2 and Section 2.2; used for the thick-shell decomposition of the RW universe.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Soft cells, Tubular Tilings and the Hidden Phases in Binary Mixtures." pith.science (2026). https://pith.science/paper/D4GOK7U7

@misc{pith2026260706810,
  author       = {Pith},
  title        = {Pith review of: Soft cells, Tubular Tilings and the Hidden Phases in Binary Mixtures},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D4GOK7U7}},
  note         = {Machine review of arXiv:2607.06810}
}
abstract

Biological and physical systems ranging from Fermi surfaces and skeletal structures to reaction--diffusion patterns and cosmological models may be viewed as binary mixtures in which a smooth interface separates two complementary phases. While the interface is often directly observable, the topology of one of the phases may remain hidden. To study such systems, we introduce tubular tilings, a geometric framework for discretizing binary mixtures on smooth manifolds of arbitrary dimension and topology. We prove that tubular tilings satisfy global Euler balance laws relating the topology of the ambient manifold, the discretized phases, and their interfaces. These balance laws provide a practical inference principle: topological information about a hidden phase can be recovered from the observable phase and the geometry of the separating interface. We further show that, in dimensions $d>2$, tubular tilings form a subclass of soft tilings, the recently discovered class of corner-free tessellations. Applications to Fermi surfaces and cosmological shell decompositions illustrate how the theory can be used to extract otherwise inaccessible topological information about complex geometric structures.

Figures

Figures reproduced from arXiv: 2607.06810 by the authors.

Figure 1
Figure 1. Tubular tilings: basic concepts. (a1) Frontal view of brick wall laid in bond. Tubular domains A and B correspond to alternating layers. Tubular surface T is the union of horizon￾tal lines separating layers. Tubular tiles are rectangular views of bricks. (a2) External (A/B) and internal (A/A, B/B) interfaces on brick wall. (b1) Schwarz D surface interpreted as tubular tiling. Tubular surface (grey), A and B tiles in… view at source ↗
Figure 2
Figure 2. Examples of tubular tilings on two dimensional mani￾folds. (a) Md = T 2 (flat torus): the honeycomb and Md = S 1 ×I 1 (periodic cylinder): cactus skeleton (b) Md = S 2 (sphere): pollen. (c) Md = T 2 (non-flat torus): Turing patterns computed on a torus [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Examples of tubular tilings on three dimensional man￾ifolds. (a) Md = T 3 (flat torus): (a1) metal foam (a2) tafoni rock (b) Md = S 3 (b1) Thick shell decomposition of the Robertson￾Walker universe. Tubular surface is the union of planetary sur￾faces. (c) Md = R3 (Euclidean space): (c1) butterfly wing/gyroid structure (c2) diblock copolymer (c3) human bone structure phase from geometric data associated with the obse… view at source ↗
Figures from the paper (5 more)
Figure 4
Figure 4. Figure 4: Soft cells. First row: soft cells obtained by the edge bending (EB) algorithm. (a) The f2 soft cell obtained from the truncated octahedron. (b) Soft cell with Z2 × Z2 × Z2 symmetry, obtained from the cube. (c) Soft cell with Z2 × Z2 symmetry, obtained from the cube. Se…
Figure 5
Figure 5. Figure 5: Tubular soft tilings constructed on polyhedral skele￾tons. (a) The cubic grid: (a1) tiling (a2) A-cell (a3) B-cell (b) The hexagonal prismatic grid: (b1) tiling (b2) A-cell (b3) B-cell Remark 1. Let M be a polyhedral tiling of R 3 and let E(M) denote its edge skeleton.…
Figure 6
Figure 6. Figure 6: The Fermi surface of copper and the associated tubu￾lar tiling. (a) Fermi surface of copper (grey surface) with internal interfaces for the occupied, observable A-phase (green disks), in￾ternal interfaces for the non-occupied, hidden B-phase (blue disks) and the BD sup…
Figure 7
Figure 7. Figure 7: Thick shell decomposition of the S 3 Robertson-Walker universe interpreted as a soft tubular tiling. (a) Schematic cross section. Observer located at center C. Solid line (union of cir￾cles with radii ri , i = 1, 2, . . . n, n being the number of planets) corresponds t…
Figure 8
Figure 8. Figure 8: Boundary structure of tubular cell. the separation boundary (see [PITH_FULL_IMAGE:figures/full_fig_p016_8.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

  1. [1]

    Domokos, A

    G. Domokos, A. Goriely, ´A. G. Horv´ ath, and K. Reg˝ os. Soft cells and the geometry of seashells. PNAS Nexus, 3(9):pgae311, 2024

    work page 2024

  2. [2]

    RED Descartes, Cordoba, 12 2024

    Galo Jos´ e R.Modelo matem´ atico tridimensional uniforme del Nautilus. RED Descartes, Cordoba, 12 2024

    work page 2024

  3. [3]

    Cellmet: Extracting 3d shape and topology metrics from confluent cells within tissues.PLOS Computational Biology, 21:1–18, 2025

    Sophie Theis, Mario A Mendieta-Serrano, Bernardo Chapa-y Lazo, Juliet Chen, and Tim- othy E Saunders. Cellmet: Extracting 3d shape and topology metrics from confluent cells within tissues.PLOS Computational Biology, 21:1–18, 2025

    work page 2025

  4. [4]

    Intratentacular budding and zooid-dynamics in two coral genera.Ecological Informatics, page 103293, 2025

    Matan Yuval, Amit Peleg, Elvan Ceyhan, Dan Tchernov, Yossi Loya, Avi Bar-Massada, and Tali Treibitz. Intratentacular budding and zooid-dynamics in two coral genera.Ecological Informatics, page 103293, 2025

    work page 2025

  5. [5]

    Soft tilings

    Gergely Ambrus and Dancs´ o Dorottya. Soft tilings.arXiv preprint, https://arxiv.org/abs/2604.18545, 2026

    work page Pith review arXiv 2026

  6. [6]

    Soft cells, Kelvin's foam and the minimal surfaces of Schwarz

    G. Domokos, A. Goriely, ´A. G. Horv´ ath, and K. Reg˝ os. Soft cells, Kelvin’s foam and the minimal surfaces of Schwarz.arXiv preprint, page https://arxiv.org/abs/2412.04491, 2025

    work page Pith review arXiv 2025

  7. [7]

    Cambridge University Press, 2002

    Allen Hatcher.Algebraic Topology. Cambridge University Press, 2002

    work page 2002

  8. [8]

    Gr¨ unbaum and G.C

    B. Gr¨ unbaum and G.C. Shepard.Tilings and Patterns. Freeman and Co., New York, 1987

    work page 1987

Show all 16 references
  1. [9]

    H. P. Robertson. Kinematics and world-structure.Astrophysical Journal, 82:284–301, 1935

    1935

  2. [10]

    A. G. Walker. On milne’s theory of world-structure.Proceedings of the London Mathematical Society, 42:90–127, 1937

    1937

  3. [11]

    P. J. E. Peebles.The Large–Scale Structure of the Universe. Princeton University Press, 1980

    1980

  4. [12]

    Davis and P

    M. Davis and P. J. E. Peebles. A survey of galaxy redshifts. v. the two–point position and velocity correlations.The Astrophysical Journal, 267:465–482, 1983

    1983

  5. [13]

    T. D. Kitching et al. 3d weak lensing with the cfhtlens tomographic data.Monthly Notices of the Royal Astronomical Society, 442:1326–1349, 2014

    2014

  6. [14]

    A. F. Heavens and A. N. Taylor. A spherical analysis of redshift–space distortions.Monthly Notices of the Royal Astronomical Society, 276:L59–L63, 1995

    1995

  7. [15]

    K. B. Fisher, A. F. Heavens, and A. N. Taylor. Spherical harmonic analysis of galaxy redshift surveys.Monthly Notices of the Royal Astronomical Society, 276:885–907, 1995

    1995

  8. [16]

    Domokos, A

    G. Domokos, A. G. Horv´ ath, and K. Reg˝ os. A two-vertex theorem for normal tilings.Aequa- tiones Math., 97:185–193, 2023. G´abor Domokos, HUN-REN-BME Morphodynamics Research Group and Dept. of Morphology and Geometric Modeling, Budapest University of Technology, M˝uegyetem r...

    2023

Pith tools

Reviewed July 10, 2026 · model on record in the stance chip above.