Over the last fifty years, there have been numerous efforts to develop comprehensive discrete formulations of geometry and physics from first principles: from Whitney's geometric integration theory [33] to Harrison's theory of chainlets [16], including Regge calculus in general relativity [26, 34], Tonti's work on the mathematical structure of physical theories [30] and their discrete formulation [31], plus multifarious researches into so-called mimetic discretization methods [28], discrete exterior calculus [11, 12], and discrete differential geometry [2, 10]. All these approaches strive to tell apart the different mathematical structures---topological, differentiable, metrical---underpinning a physical theory, in order to make the relationships between them more transparent. While each component is reasonably well understood, computationally effective connections between them are not yet well established, leading to difficulties in combining and progressively refining geometric models and physics-based simulations. This paper proposes such a connection by introducing the concept of metrized chains, meant to establish a discrete metric structure on top of a discrete measure-theoretic structure embodied in the underlying notion of measured (real-valued) chains. These, in turn, are defined on a cell complex, a finite approximation to a manifold which abstracts only its topological properties.

In this paper, we show that the (co)chain complex associated with a decomposition of the computational domain, commonly called a mesh in computational science and engineering, can be represented by a block-bidiagonal matrix that we call the Hasse matrix. Moreover, we show that topology-preserving mesh refinements, produced by the action of (the simplest) Euler operators, can be reduced to multilinear transformations of the Hasse matrix representing the complex. Our main result is a new representation of the (co)chain complex underlying field computations, a representation that provides new insights into the transformations induced by local mesh refinements. Our approach is based on first principles and is general in that it applies to most representational domains that can be characterized as cell complexes, without any restrictions on their type, dimension, codimension, orientability, manifoldness, and connectedness.

In this paper we show that the (co)chain complex associated with a decomposition of the computational domain, commonly called a mesh in computational science and engineering, can be represented by a block-bidiagonal matrix that we call the Hasse matrix. Moreover, we show that topology-preserving mesh refinements, produced by the action of (the simplest) Euler operators, can be reduced to multi-linear transformations of the Hasse matrix representing the complex.