pith. sign in

arxiv: 2201.03704 · v1 · pith:KDIQ63KYnew · submitted 2022-01-07 · 🧮 math-ph · math.MP

Diffusion in multi-dimensional solids using Forman's combinatorial differential forms

Kiprian Berbatov , Pieter D. Boom , Andrew L. Hazel , Andrey P. Jivkov This is my paper

Pith reviewed 2026-05-24 12:14 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords combinatorial differential formsForman's formsdiffusion equationdiscrete complexesmulti-dimensional solidsheat transfermicrostructural modelingporous media flow
0
0 comments X

The pith

Forman's combinatorial differential forms are extended with operators for scalar variables to model physical diffusion on discrete complexes.

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

The paper extends Forman's combinatorial differential forms by adding operators needed for physical processes that depend on scalar variables. This produces a description that stays intrinsic to the discrete complex and does not rely on smooth vector fields outside it. The extension adds the ability to assign different physical behavior to cells according to their dimension. An application to the heat and diffusion equation illustrates how changes in the properties of microstructural elements alter the overall macroscopic response.

Core claim

The extended formulation supplies a new modeling capability in which physical processes can be defined to operate differently on cells of different dimensions inside a single complex; the heat and diffusion equation is solved on such a complex to show the resulting influence of microstructural element properties on macroscopic behavior.

What carries the argument

Extended Forman combinatorial differential forms with newly defined operators for scalar variables that act on cells of each dimension

If this is right

  • Diffusion, mass transport, and charge flow can be simulated on complexes where each dimension carries its own material parameters.
  • The macroscopic response of a solid can be shown to depend on the distinct properties assigned to edges, faces, and volumes.
  • The same framework applies directly to flow through porous media and other transport problems on multi-dimensional cell complexes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The approach could be used to study transport in materials whose microstructure is represented by a cell complex rather than a conventional mesh.
  • Dimension-specific operators open the possibility of testing whether certain physical laws are dimension-dependent at the discrete level.
  • The method might be combined with existing topological data analysis tools to link connectivity changes to transport behavior.

Load-bearing premise

The new operators defined on the discrete complex correctly reproduce physical diffusion behavior without introducing inconsistencies from the cell structure itself.

What would settle it

A numerical test in which diffusion coefficients are assigned differently to 1-cells versus 2-cells and the computed macroscopic flux is compared against an independent analytic solution for the same geometry.

Figures

Figures reproduced from arXiv: 2201.03704 by Andrew L. Hazel, Andrey P. Jivkov, Kiprian Berbatov, Pieter D. Boom.

Figure 1
Figure 1. Figure 1: Triangulation (a) and its Forman subdivision (b) [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The Forman subdivision of: (a) cube; (b) tetrahedron; (c) hexahedron; (d) square pyramid [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Examples of: (a) cup product; (b) Hodge star [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Examples of: (a) inner product; (b) Laplacian [PITH_FULL_IMAGE:figures/full_fig_p012_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Regular and irregular meshes (extended complex not shown). [PITH_FULL_IMAGE:figures/full_fig_p015_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Value of scalar variable at vertices, edges, faces and volumes in [PITH_FULL_IMAGE:figures/full_fig_p016_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Effective diffusivity of GNP composite as a function of: fraction of faces covered by GNP (left); and cumulative area of GNPs [PITH_FULL_IMAGE:figures/full_fig_p018_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Effective diffusivity of CNT composite as a function of: fraction of edges covered by CNT (left); and cumulative length of CNTs [PITH_FULL_IMAGE:figures/full_fig_p018_8.png] view at source ↗
read the original abstract

The formulation of combinatorial differential forms, proposed by Forman for analysis of topological properties of discrete complexes, is extended by defining the operators required for analysis of physical processes dependent on scalar variables. The resulting description is intrinsic, different from the approach known as Discrete Exterior Calculus, because it does not assume the existence of smooth vector fields and forms extrinsic to the discrete complex. In addition, the proposed formulation provides a significant new modelling capability: physical processes may be set to operate differently on cells with different dimensions within a complex. An application of the new method to the heat/diffusion equation is presented to demonstrate how it captures the effect of changing properties of microstructural elements on the macroscopic behavior. The proposed method is applicable to a range of physical problems, including heat, mass and charge diffusion, and flow through porous media.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript extends Forman's combinatorial differential forms by introducing operators for scalar variables on discrete cell complexes. This extension permits physical processes (such as diffusion) to be defined with explicit dependence on cell dimension while remaining intrinsic to the complex. An application to the heat/diffusion equation is given to illustrate how changes in microstructural element properties affect macroscopic transport.

Significance. The dimension-dependent modeling capability is a genuine addition to the discrete differential-forms toolkit and is not available in standard Discrete Exterior Calculus. If the operator definitions are internally consistent, the framework supplies a parameter-free route to heterogeneous diffusion problems on cell complexes, with direct relevance to porous-media flow and multi-scale solids. The manuscript supplies an explicit demonstration on a microstructural example.

minor comments (3)
  1. [§2] §2: the precise definition of the new scalar operators (e.g., the discrete divergence or gradient acting on 0-cochains) should be stated before the diffusion equation is introduced, so that the dimension-dependent weighting is visible at the level of the discrete Stokes theorem.
  2. [Figure 3] Figure 3: the caption should explicitly state the cell-dimension weights used in the simulation so that the macroscopic effect can be reproduced from the discrete equations alone.
  3. The comparison with DEC is stated only qualitatively; a short table contrasting the two approaches on the same complex would strengthen the claim of intrinsicness.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the supportive summary of the manuscript and the recommendation of minor revision. No major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper extends Forman's combinatorial differential forms by introducing operators for scalar variables to model dimension-dependent physical processes, then demonstrates the construction on the heat/diffusion equation. No load-bearing step reduces to a fitted parameter, self-definition, or self-citation chain; the operators are defined explicitly within the manuscript and the application serves as an illustration rather than a statistical prediction forced by inputs. The derivation remains self-contained against external benchmarks such as Forman's original work and standard discrete calculus approaches.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the validity of extending Forman's combinatorial forms with new operators for physical scalar processes; only abstract available so ledger is inferred at high level from stated extension.

axioms (1)
  • standard math Standard combinatorial properties of Forman's differential forms for discrete complexes
    The paper builds directly on Forman's prior framework for topological analysis.

pith-pipeline@v0.9.0 · 5674 in / 1284 out tokens · 54461 ms · 2026-05-24T12:14:25.138173+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages · 1 internal anchor

  1. [2]

    Metallurgy and Design of Alloys with Hierarchical Microstructures

    Sankaran KK, Mishra RS. Metallurgy and Design of Alloys with Hierarchical Microstructures. Elsevier, London; 2017. Available from: https://www.sciencedirect.com/book/9780128120682/ metallurgy-and-design-of-alloys-with-hierarchical-microstructures

    work page arXiv 2017

  2. [3]

    Additive manufacturing of metallic components – Process, structure and properties

    DebRoy T, Wei H, Zuback J, Mukherjee T, Elmer J, Milewski J, et al. Additive manufacturing of metallic components – Process, structure and properties. Progress in Materials Science. 2018;92:112–224. Available from: https://www.sciencedirect.com/science/article/abs/pii/S0079642517301172

    work page 2018

  3. [4]

    Additive manufacturing (3D printing): A review of materials, methods, applications and challenges

    Ngo T, Kashani A, Imbalzano G, Nguyen K, D H. Additive manufacturing (3D printing): A review of materials, methods, applications and challenges. Composites Part B: Engineering. 2018;143:172–196. Available from:https: //www.sciencedirect.com/science/article/abs/pii/S1359836817342944

    work page 2018

  4. [5]

    Nature’s Patterns and the Fractional Calculus

    West BJ. Nature’s Patterns and the Fractional Calculus. de Gruyte, Berlin; 2017. Available from: https: //www.degruyter.com/document/doi/10.1515/9783110535136/html

    work page doi:10.1515/9783110535136/html 2017

  5. [6]

    A new collection of real world applications of fractional calculus in science and engineering

    Sun HG, Zhang Y, Baleanu D, Chen W, Chen YQ. A new collection of real world applications of fractional calculus in science and engineering. Communications in Nonlinear Science and Numerical Simulation. 2018;64:213–231. Available from: https://www.sciencedirect.com/science/article/abs/pii/S1007570418301308

    work page 2018

  6. [7]

    Fractional order theory of thermoelasticity

    Sherief H, El-Sayed A, Abd El-Latief A. Fractional order theory of thermoelasticity. International Journal of Solids and Structures. 2010;47:269–275. Available from: https://www.sciencedirect.com/science/article/ pii/S002076830900376X

    work page 2010

  7. [8]

    Visco-elastic behavior through fractional calculus: An easier method for best fitting experimental results

    Di Paola M, Pirrotta A, Valenza A. Visco-elastic behavior through fractional calculus: An easier method for best fitting experimental results. Mechanics of Materials. 2011;43:799–806. Available from: https://www. sciencedirect.com/science/article/abs/pii/S0167663611001657

    work page 2011

  8. [9]

    Diffusion in heterogeneous media: An iterative scheme for finding approximate solutions to fractional differential equations with time-dependent coefficients

    Bologna M, Svenkeson A, West B, Grigolini P. Diffusion in heterogeneous media: An iterative scheme for finding approximate solutions to fractional differential equations with time-dependent coefficients. Journal of Compu- tational Physics. 2015;293:297–311. Available from: https://www.sciencedirect.com/science/article/pii/ S0021999114005816

    work page 2015

  9. [10]

    Discrete Exterior Calculus [Ph.D

    Hirani A. Discrete Exterior Calculus [Ph.D. thesis]. California Institute of Technology; 2003. Available from: https://thesis.library.caltech.edu/1885/

    work page 2003

  10. [11]

    Finite Element Exterior Calculus

    Arnold D. Finite Element Exterior Calculus. vol. 93 of CBMS-NSF Regional Conference Series in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA; 2018. Available from: https://epubs.siam.org/doi/book/10.1137/1.9781611975543

    work page doi:10.1137/1.9781611975543 2018

  11. [12]

    Hirani, K

    Hirani A, Nakshatrala K, Chaudhry J. Numerical method for Darcy flow derived using discrete exterior calculus. International Journal for Computational Methods in Engineering Science and Mechanics. 2015;16(3):151–169. Available from: https://www.tandfonline.com/doi/full/10.1080/15502287.2014.977500

    work page doi:10.1080/15502287.2014.977500 2015

  12. [13]

    Discrete exterior calculus discretization of incompressible Navier–Stokes equations over surface simplicial meshes

    Mohamed M, Hirani A, Samtaney R. Discrete exterior calculus discretization of incompressible Navier–Stokes equations over surface simplicial meshes. Journal of Computational Physics. 2016;312:175–191. Available from: https://www.sciencedirect.com/science/article/pii/S0021999116000929

    work page 2016

  13. [14]

    Convergence of discrete exterior calculus approximations for Poisson problems

    Schulz E, G T. Convergence of discrete exterior calculus approximations for Poisson problems. Discrete & Computational Geometry. 2020;63:364–376. Available from: https://link.springer.com/article/10.1007/ s00454-019-00159-x

    work page 2020

  14. [15]

    Parallelized Discrete Exterior Calculus for Three-Dimensional Elliptic Problems

    Boom P, Seepujak A, Kosmas O, Margetts L, Jivkov A. Parallelized discrete exterior calculus for three-dimensional elliptic problems. Computer Physics Communications. 2021;under review. Available from: http://arxiv.org/ abs/2104.05999

    work page internal anchor Pith review Pith/arXiv arXiv 2021

  15. [16]

    A geometric formulation of linear elasticity based on Discrete Exterior Calculus

    Boom P, Kosmas O, Margetts L, Jivkov A. A geometric formulation of linear elasticity based on Discrete Exterior Calculus. International Journal of Solids and Structures. 2022;236-237:111345. Available from: https: //www.sciencedirect.com/science/article/abs/pii/S0020768321004212

    work page 2022

  16. [17]

    The Mathematical Structure of Classical and Relativistic Physics: A General Classification Diagram

    Tonti E. The Mathematical Structure of Classical and Relativistic Physics: A General Classification Diagram. Springer; 2013. Available from: https://link.springer.com/book/10.1007%2F978-1-4614-7422-7

    work page 2013

  17. [18]

    Morse Theory for Cell Complexes

    Forman R. Morse Theory for Cell Complexes. Advances in Mathematics. 1998;134:90–145. Available from: https://www.sciencedirect.com/science/article/pii/S0001870897916509. 28

    work page 1998

  18. [19]

    Combinatorial Novikov-Morse theory

    Forman R. Combinatorial Novikov-Morse theory. International Journal of Mathematics. 2002;13(4):333–368. Available from: https://www.worldscientific.com/doi/abs/10.1142/S0129167X02001265

    work page doi:10.1142/s0129167x02001265 2002

  19. [20]

    Discrete Morse Theoretic Algorithms for Computing Homology of Complexes and Maps

    Harker S, Mischaikow K, Mrozek M, Nanda V. Discrete Morse Theoretic Algorithms for Computing Homology of Complexes and Maps. Foundations of Computational Mathematics. 2014;14(1):151–184. Available from: https://link.springer.com/article/10.1007%2Fs10208-013-9145-0

    work page 2014

  20. [21]

    Creating semiflows on simplicial complexes from combinatorial vector fields

    Mrozek M, Wanner T. Creating semiflows on simplicial complexes from combinatorial vector fields. Journal of Dif- ferential Equations. 2021;304:375–434. Available from: https://www.sciencedirect.com/science/article/ abs/pii/S0022039621006069

    work page 2021

  21. [22]

    Bochner’s method for cell complexes and combinatorial Ricci curvature

    Forman R. Bochner’s method for cell complexes and combinatorial Ricci curvature. Discrete and Com- putational Geometry. 2003;29(3):323–374. Available from: https://link.springer.com/article/10.1007/ s00454-002-0743-x

    work page 2003

  22. [23]

    Combinatorial curvatures, group actions, and colourings: Aspects of topological combinatorics [Ph.D

    Lange CEMC. Combinatorial curvatures, group actions, and colourings: Aspects of topological combinatorics [Ph.D. thesis]. Technical University of Berlin; 2005. Available from: https://depositonce.tu-berlin.de/ handle/11303/1149

    work page 2005

  23. [24]

    Combinatorial Ricci curvature on cell-complex and Gauss-Bonnet the- orem

    Watanabe K. Combinatorial Ricci curvature on cell-complex and Gauss-Bonnet the- orem. Tohoku Mathematical Journal. 2019;71:533–547. Available from: https: //projecteuclid.org/journals/tohoku-mathematical-journal/volume-71/issue-4/ Combinatorial-Ricci-curvature-on-cell-complex-and-Gauss-Bonnnet-theorem/10.2748/tmj/ 1576724792.short

    work page doi:10.2748/tmj/ 2019

  24. [25]

    Forman-Ricci flow for change detection in large dynamic data sets

    Weber M, Jost J, Saucan E. Forman-Ricci flow for change detection in large dynamic data sets. Axioms. 2016;5(4):26. Available from: https://www.mdpi.com/2075-1680/5/4/26

    work page 2016

  25. [26]

    The Discrete Hodge Star Operator and Poincar` e Duality [Ph.D

    Arnold RF. The Discrete Hodge Star Operator and Poincar` e Duality [Ph.D. thesis]. Virginia Tech; 2012. Available from: https://vtechworks.lib.vt.edu/handle/10919/27485

    work page 2012

  26. [27]

    Cochain algebra on manifolds and convergence under refinement

    Wilson SO. Cochain algebra on manifolds and convergence under refinement. Topology and its Appli- cations. 2007;154(9):1898–1920. Available from: https://www.sciencedirect.com/science/article/pii/ S0166864107000314

    work page 2007

  27. [28]

    Princeton University Press

    Whitney H. Geometric integration theory. Princeton University Press; 1957. Available from: https://press. princeton.edu/books/hardcover/9780691652900/geometric-integration-theory

    work page arXiv 1957

  28. [29]

    Optimisation of rGO-enriched nanoceramics by combinatorial analysis

    Borodin A, Jivkov A, Sheinerman A, MYu G. Optimisation of rGO-enriched nanoceramics by combinatorial analysis. Materials & Design. 2021;212:110191. Available from: https://www.sciencedirect.com/science/ article/pii/S0264127521007462

    work page 2021

  29. [30]

    Low percolation threshold in highly conducting graphene nanoplatelets/glass composite coatings

    Nistal A, Garcia E, Perez-Coll D, Prieto C, Belmonte M, Osendi M, et al. Low percolation threshold in highly conducting graphene nanoplatelets/glass composite coatings. Carbon. 2018;139:556–563. Available from: https: //www.sciencedirect.com/science/article/abs/pii/S0008622318306729

    work page 2018

  30. [31]

    Conductivity in carbon nanotube polymer composites: A com- parison between model and experiment

    Micaela C, Massimo R, Imran S, T A. Conductivity in carbon nanotube polymer composites: A com- parison between model and experiment. Composites: Part A. 2016;87:237–242. Available from: https: //www.sciencedirect.com/science/article/abs/pii/S1359835X16301208

    work page 2016

  31. [32]

    Lectures on polytopes

    Ziegler GM. Lectures on polytopes. vol. 152. Springer; 1995. Available from: https://link.springer.com/ book/10.1007%2F978-1-4613-8431-1

    work page 1995

  32. [33]

    Digital and Discrete Geometry: Theory and Algorithms

    Chen LM. Digital and Discrete Geometry: Theory and Algorithms. Springer; 2014. Available from: https: //link.springer.com/book/10.1007%2F978-3-319-12099-7

    work page 2014

  33. [34]

    Algebraic topology

    Hatcher A. Algebraic topology. Cambridge University Press; 2002. Available from: https: //www.cambridge.org/core/journals/proceedings-of-the-edinburgh-mathematical-society/article/ hatcher-aalgebraic-topology-cambridge-university-press-2002-556-pp-0-521-79540-0-softback-2095-0-521-79160-x-hardback-60/ 9F3482890F390477D49007403D5E701F. 29

    work page 2002