Showing 1–24 of 24 results for author: Hirani, A N

Averaging Property of Wedge Product and Naturality in Discrete Exterior Calculus

Authors: Mark D. Schubel, Daniel Berwick-Evans, Anil N. Hirani

Abstract: In exterior calculus on smooth manifolds, the exterior derivative and wedge product are natural with respect to smooth maps between manifolds, that is, these operations commute with pullback. In discrete exterior calculus (DEC), simplicial cochains play the role of discrete forms, the coboundary operator serves as the discrete exterior derivative, and the antisymmetrized cup product provides a dis… ▽ More In exterior calculus on smooth manifolds, the exterior derivative and wedge product are natural with respect to smooth maps between manifolds, that is, these operations commute with pullback. In discrete exterior calculus (DEC), simplicial cochains play the role of discrete forms, the coboundary operator serves as the discrete exterior derivative, and the antisymmetrized cup product provides a discrete wedge product. We show that these discrete operations in DEC are natural with respect to abstract simplicial maps. A second contribution is a new averaging interpretation of the discrete wedge product in DEC. We also show that this wedge product is the same as Wilson's cochain product defined using Whitney and de Rham maps. △ Less

Submitted 13 November, 2023; v1 submitted 1 October, 2023; originally announced October 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2104.10277. Note from authors in response to arXiv admin note: The material in this submission was split off from arXiv:2104.10277 and version 2 of arXiv:2104.10277 does not contain the material in this submission. This revision includes material about cochain product using Whitney forms and connection to C-infinity algebras

MSC Class: 65N22; 57Z20; 53Z30

Discrete exterior calculus discretization of two-phase incompressible Navier-Stokes equations with a conservative phase field method

Authors: Minmiao Wang, Pankaj Jagad, Anil N. Hirani, Ravi Samtaney

Abstract: We present a discrete exterior calculus (DEC) based discretization scheme for incompressible two-phase flows. Our physically-compatible exterior calculus discretization of single phase flow is extended to simulate immiscible two-phase flows with discontinuous changes in fluid properties such as density and viscosity across the interface. The two-phase incompressible Navier-Stokes equations and con… ▽ More We present a discrete exterior calculus (DEC) based discretization scheme for incompressible two-phase flows. Our physically-compatible exterior calculus discretization of single phase flow is extended to simulate immiscible two-phase flows with discontinuous changes in fluid properties such as density and viscosity across the interface. The two-phase incompressible Navier-Stokes equations and conservative phase field equation for interface capturing are first transformed into the exterior calculus framework. The discrete counter part of these smooth equations is obtained by substituting with discrete differential forms and discrete exterior operators. We prove the boundedness of the method for the first order Euler forward and predictor-corrector time integration schemes in the DEC framework. With a proper choice of two free parameters, the scheme remains phase field bounded without the requirement of any ad hoc mass redistribution. We verify the scheme against several standard test cases (for interface capturing) comprising not only the flat domains but also the curved domains, leveraging the advantage that DEC operators are independent of the coordinate system. The results show excellent properties of boundedness, mass conservation and convergence. Moreover, we demonstrate the ability of the scheme towards handling large density and viscosity ratios as well as surface tension in the simulation of various two phase flow physical phenomena on flat or curved surfaces. △ Less

Submitted 24 March, 2022; originally announced March 2022.

Comments: 27 pages, 25 figures

Conservative Integrators for Piecewise Smooth Systems with Transversal Dynamics

Authors: Anil N. Hirani, Andy T. S. Wan, Nikolas Wojtalewicz

Abstract: We introduce conservative integrators for long term integration of piecewise smooth systems with transversal dynamics and piecewise smooth conserved quantities. In essence, for a piecewise dynamical system with piecewise defined conserved quantities such that its trajectories cross transversally to its interface, we combine Mannshardt's transition scheme and the Discrete Multiplier Method to obtai… ▽ More We introduce conservative integrators for long term integration of piecewise smooth systems with transversal dynamics and piecewise smooth conserved quantities. In essence, for a piecewise dynamical system with piecewise defined conserved quantities such that its trajectories cross transversally to its interface, we combine Mannshardt's transition scheme and the Discrete Multiplier Method to obtain conservative integrators capable of preserving conserved quantities up to machine precision and accuracy order. We prove that the order of accuracy of the conservative integrators is preserved after crossing the interface in the case of codimension one number of conserved quantities. Numerical examples illustrate the preservation of accuracy order and conserved quantities across the interface. △ Less

Submitted 1 February, 2022; v1 submitted 14 June, 2021; originally announced June 2021.

Comments: Replaced Lemma 3.6 with an easier argument. Collected hypotheses of main theorem into the statement. Results unchanged. Added figures of conserved quantity error

MSC Class: 65L05; 65L12; 65L20; 65L70; 65P10; 37M05; 37M15

GraphSAT -- a decision problem connecting satisfiability and graph theory

Authors: Vaibhav Karve, Anil N. Hirani

Abstract: Satisfiability of boolean formulae (SAT) has been a topic of research in logic and computer science for a long time. In this paper we are interested in understanding the structure of satisfiable and unsatisfiable sentences. In previous work we initiated a new approach to SAT by formulating a map** from propositional logic sentences to graphs, allowing us to find structural obstructions to 2SAT (… ▽ More Satisfiability of boolean formulae (SAT) has been a topic of research in logic and computer science for a long time. In this paper we are interested in understanding the structure of satisfiable and unsatisfiable sentences. In previous work we initiated a new approach to SAT by formulating a map** from propositional logic sentences to graphs, allowing us to find structural obstructions to 2SAT (clauses with exactly 2 literals) in terms of graphs. Here we generalize these ideas to multi-hypergraphs in which the edges can have more than 2 vertices and can have multiplicity. This is needed for understanding the structure of SAT for sentences made of clauses with 3 or more literals (3SAT), which is a building block of NP-completeness theory. We introduce a decision problem that we call GraphSAT, as a first step towards a structural view of SAT. Each propositional logic sentence can be mapped to a multi-hypergraph by associating each variable with a vertex (ignoring the negations) and each clause with a hyperedge. Such a graph then becomes a representative of a collection of possible sentences and we can then formulate the notion of satisfiability of such a graph. With this coarse representation of classes of sentences one can then investigate structural obstructions to SAT. To make the problem tractable, we prove a local graph rewriting theorem which allows us to simplify the neighborhood of a vertex without knowing the rest of the graph. We use this to deduce several reduction rules, allowing us to modify a graph without changing its satisfiability status which can then be used in a program to simplify graphs. We study a subclass of 3SAT by examining sentences living on triangulations of surfaces and show that for any compact surface there exists a triangulation that can support unsatisfiable sentences, giving specific examples of such triangulations for various surfaces. △ Less

Submitted 24 May, 2021; originally announced May 2021.

Comments: 31 pages

MSC Class: 05C (Primary); 68R 03B (Secondary)

Discrete Vector Bundles with Connection and the Bianchi Identity

Authors: Daniel Berwick-Evans, Anil N. Hirani, Mark D. Schubel

Abstract: We develop a combinatorial theory of vector bundles with connection that is natural with respect to appropriate map**s of the base space. The base space is a simplicial complex, the main objects defined are discrete vector bundle valued cochains and the main operators we develop are a discrete exterior covariant derivative and a combinatorial wedge product. Key properties of these operators are… ▽ More We develop a combinatorial theory of vector bundles with connection that is natural with respect to appropriate map**s of the base space. The base space is a simplicial complex, the main objects defined are discrete vector bundle valued cochains and the main operators we develop are a discrete exterior covariant derivative and a combinatorial wedge product. Key properties of these operators are demonstrated and it is shown that they are natural with respect to the map**s referred to above. We also formulate a well-behaved definition of metric compatible discrete connections. A characterization is given for when a discrete vector bundle with connection is trivializable or has a trivial lower rank subbundle. This machinery is used to define discrete curvature as linear maps and we show that our formulation satisfies a discrete Bianchi identity. Recently an alternative framework for discrete vector bundles with connection has been given by Christiansen and Hu. We show that our framework reproduces and extends theirs when we apply our constructions on a subdivision of the base simplicial complex. △ Less

Submitted 28 July, 2023; v1 submitted 20 April, 2021; originally announced April 2021.

Comments: Several new sections added since previous version

MSC Class: 53Z05; 53B05; 53-08

The complete set of minimal simple graphs that support unsatisfiable 2-CNFs

Authors: Vaibhav Karve, Anil N. Hirani

Abstract: A propositional logic sentence in conjunctive normal form that has clauses of length two (a 2-CNF) can be associated with a multigraph in which the vertices correspond to the variables and edges to clauses. We first show that every such sentence that has been reduced, that is, which is unchanged under application of certain tautologies, is equisatisfiable to a 2-CNF whose associated multigraph is,… ▽ More A propositional logic sentence in conjunctive normal form that has clauses of length two (a 2-CNF) can be associated with a multigraph in which the vertices correspond to the variables and edges to clauses. We first show that every such sentence that has been reduced, that is, which is unchanged under application of certain tautologies, is equisatisfiable to a 2-CNF whose associated multigraph is, in fact, a simple graph. Our main result is a complete characterization of graphs that can support unsatisfiable 2-CNF sentences. We show that a simple graph can support an unsatisfiable reduced 2-CNF sentence if and only if it contains any one of four specific small graphs as a topological minor. Equivalently, all reduced 2-CNF sentences supported on a given simple graph are satisfiable if and only if all subdivisions of those four graphs are forbidden as subgraphs of of the original graph. We conclude with a discussion of why the Robertson-Seymour graph minor theorem does not apply in our approach. △ Less

Submitted 16 March, 2019; v1 submitted 27 December, 2018; originally announced December 2018.

Comments: Corrected error in Theorem 5 of previous version (Theorem 7 in this version). One direction of the result was incorrect. As a result, one more graph was included in the main result, Theorem 18 of previous version (Theorem 20 in this version)

Numerical Convergence of Discrete Exterior Calculus on Arbitrary Surface Meshes

Authors: Mamdouh S. Mohamed, Anil N. Hirani, Ravi Samtaney

Abstract: Discrete exterior calculus (DEC) is a structure-preserving numerical framework for partial differential equations solution, particularly suitable for simplicial meshes. A longstanding and widespread assumption has been that DEC requires special (Delaunay) triangulations, which complicated the mesh generation process especially on curved surfaces. This paper presents numerical evidences demonstrati… ▽ More Discrete exterior calculus (DEC) is a structure-preserving numerical framework for partial differential equations solution, particularly suitable for simplicial meshes. A longstanding and widespread assumption has been that DEC requires special (Delaunay) triangulations, which complicated the mesh generation process especially on curved surfaces. This paper presents numerical evidences demonstrating that this restriction is unnecessary. Convergence experiments are carried out for various physical problems using both Delaunay and non-Delaunay triangulations. Signed diagonal definition for the key DEC operator (Hodge star) is adopted. The errors converge as expected for all considered meshes and experiments. This relieves the DEC paradigm from unnecessary triangulation limitation. △ Less

Submitted 13 February, 2018; originally announced February 2018.

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

Authors: Mamdouh S. Mohamed, Anil N. Hirani, Ravi Samtaney

Abstract: A conservative discretization of incompressible Navier-Stokes equations is developed based on discrete exterior calculus (DEC). A distinguishing feature of our method is the use of an algebraic discretization of the interior product operator and a combinatorial discretization of the wedge product. The governing equations are first rewritten using the exterior calculus notation, replacing vector ca… ▽ More A conservative discretization of incompressible Navier-Stokes equations is developed based on discrete exterior calculus (DEC). A distinguishing feature of our method is the use of an algebraic discretization of the interior product operator and a combinatorial discretization of the wedge product. The governing equations are first rewritten using the exterior calculus notation, replacing vector calculus differential operators by the exterior derivative, Hodge star and wedge product operators. The discretization is then carried out by substituting with the corresponding discrete operators based on the DEC framework. Numerical experiments for flows over surfaces reveal a second order accuracy for the developed scheme when using structured-triangular meshes, and first order accuracy for otherwise unstructured meshes. By construction, the method is conservative in that both mass and vorticity are conserved up to machine precision. The relative error in kinetic energy for inviscid flow test cases converges in a second order fashion with both the mesh size and the time step. △ Less

Submitted 11 February, 2016; v1 submitted 5 August, 2015; originally announced August 2015.

Comments: 35 pages, 8 figures

Journal ref: J. Comput. Phys., 312, (2016), 175-191

Edge Contractions and Simplicial Homology

Authors: Tamal K. Dey, Anil N. Hirani, Bala Krishnamoorthy, Gavin Smith

Abstract: We study the effect of edge contractions on simplicial homology because these contractions have turned to be useful in various applications involving topology. It was observed previously that contracting edges that satisfy the so called link condition preserves homeomorphism in low dimensional complexes, and homotopy in general. But, checking the link condition involves computation in all dimensio… ▽ More We study the effect of edge contractions on simplicial homology because these contractions have turned to be useful in various applications involving topology. It was observed previously that contracting edges that satisfy the so called link condition preserves homeomorphism in low dimensional complexes, and homotopy in general. But, checking the link condition involves computation in all dimensions, and hence can be costly, especially in high dimensional complexes. We define a weaker and more local condition called the p-link condition for each dimension p, and study its effect on edge contractions. We prove the following: (i) For homology groups, edges satisfying the p- and (p-1)-link conditions can be contracted without disturbing the p-dimensional homology group. (ii) For relative homology groups, the (p-1)-, and the (p-2)-link conditions suffice to guarantee that the contraction does not introduce any new class in any of the resulting relative homology groups, though some of the existing classes can be destroyed. Unfortunately, the surjection in relative homolgy groups does not guarantee that no new relative torsion is created. (iii) For torsions, edges satisfying the p-link condition alone can be contracted without creating any new relative torsion and the p-link condition cannot be avoided. The results on relative homology and relative torsion are motivated by recent results on computing optimal homologous chains, which state that such problems can be solved by linear programming if the complex has no relative torsion. Edge contractions that do not introduce new relative torsions, can safely be availed in these contexts. △ Less

Submitted 2 April, 2013; originally announced April 2013.

Delaunay Hodge Star

Authors: Anil N. Hirani, Kaushik Kalyanaraman, Evan B. VanderZee

Abstract: We define signed dual volumes at all dimensions for circumcentric dual meshes. We show that for pairwise Delaunay triangulations with mild boundary assumptions these signed dual volumes are positive. This allows the use of such Delaunay meshes for Discrete Exterior Calculus (DEC) because the discrete Hodge star operator can now be correctly defined for such meshes. This operator is crucial for DEC… ▽ More We define signed dual volumes at all dimensions for circumcentric dual meshes. We show that for pairwise Delaunay triangulations with mild boundary assumptions these signed dual volumes are positive. This allows the use of such Delaunay meshes for Discrete Exterior Calculus (DEC) because the discrete Hodge star operator can now be correctly defined for such meshes. This operator is crucial for DEC and is a diagonal matrix with the ratio of primal and dual volumes along the diagonal. A correct definition requires that all entries be positive. DEC is a framework for numerically solving differential equations on meshes and for geometry processing tasks and has had considerable impact in computer graphics and scientific computing. Our result allows the use of DEC with a much larger class of meshes than was previously considered possible. △ Less

Submitted 9 August, 2017; v1 submitted 3 April, 2012; originally announced April 2012.

Comments: Corrected error in Figure 1 (columns 3 and 4) and Figure 6 and a formula error in Section 2. All mathematical statements (theorems and lemmas) are unchanged. The previous arXiv version v3 (minus the Appendix) appeared in the journal Computer-Aided Design

MSC Class: 65N30; 53-04 ACM Class: I.3.5; G.1.8

Journal ref: Computer-Aided Design, Volume 45, Issue 2, 2013, pages 540-544

A posteriori error estimates for finite element exterior calculus: The de Rham complex

Authors: Alan Demlow, Anil N. Hirani

Abstract: Finite element exterior calculus (FEEC) has been developed over the past decade as a framework for constructing and analyzing stable and accurate numerical methods for partial differential equations by employing differential complexes. The recent work of Arnold, Falk and Winther \cite{ArFaWi2010} includes a well-developed theory of finite element methods for Hodge Laplace problems, including a pri… ▽ More Finite element exterior calculus (FEEC) has been developed over the past decade as a framework for constructing and analyzing stable and accurate numerical methods for partial differential equations by employing differential complexes. The recent work of Arnold, Falk and Winther \cite{ArFaWi2010} includes a well-developed theory of finite element methods for Hodge Laplace problems, including a priori error estimates. In this work we focus on develo** a posteriori error estimates in which the computational error is bounded by some computable functional of the discrete solution and problem data. More precisely, we prove a posteriori error estimates of residual type for Arnold-Falk-Winther mixed finite element methods for Hodge-de Rham Laplace problems. While a number of previous works consider a posteriori error estimation for Maxwell's equations and mixed formulations of the scalar Laplacian, the approach we take is distinguished by unified treatment of the various Hodge Laplace problems arising in the de Rham complex, consistent use of the language and analytical framework of differential forms, and the development of a posteriori error estimates for harmonic forms and the effects of their approximation on the resulting numerical method for the Hodge Laplacian. △ Less

Submitted 18 December, 2012; v1 submitted 4 March, 2012; originally announced March 2012.

Comments: 30 pages

MSC Class: 65N15; 65N30

Numerical Experiments for Darcy Flow on a Surface Using Mixed Exterior Calculus Methods

Authors: Anil N. Hirani, Kaushik Kalyanaraman

Abstract: There are very few results on mixed finite element methods on surfaces. A theory for the study of such methods was given recently by Holst and Stern, using a variational crimes framework in the context of finite element exterior calculus. However, we are not aware of any numerical experiments where mixed finite elements derived from discretizations of exterior calculus are used for a surface domai… ▽ More There are very few results on mixed finite element methods on surfaces. A theory for the study of such methods was given recently by Holst and Stern, using a variational crimes framework in the context of finite element exterior calculus. However, we are not aware of any numerical experiments where mixed finite elements derived from discretizations of exterior calculus are used for a surface domain. This short note shows results of our preliminary experiments using mixed methods for Darcy flow (hence scalar Poisson's equation in mixed form) on surfaces. We demonstrate two numerical methods. One is derived from the primal-dual Discrete Exterior Calculus and the other from lowest order finite element exterior calculus. The programming was done in the language Python, using the PyDEC package which makes the code very short and easy to read. The qualitative convergence studies seem to be promising. △ Less

Submitted 24 March, 2011; originally announced March 2011.

Comments: 14 pages, 11 figures

MSC Class: 65N30; 65N08; 76S05 ACM Class: G.1.8

PyDEC: Software and Algorithms for Discretization of Exterior Calculus

Authors: Nathan Bell, Anil N. Hirani

Abstract: This paper describes the algorithms, features and implementation of PyDEC, a Python library for computations related to the discretization of exterior calculus. PyDEC facilitates inquiry into both physical problems on manifolds as well as purely topological problems on abstract complexes. We describe efficient algorithms for constructing the operators and objects that arise in discrete exterior ca… ▽ More This paper describes the algorithms, features and implementation of PyDEC, a Python library for computations related to the discretization of exterior calculus. PyDEC facilitates inquiry into both physical problems on manifolds as well as purely topological problems on abstract complexes. We describe efficient algorithms for constructing the operators and objects that arise in discrete exterior calculus, lowest order finite element exterior calculus and in related topological problems. Our algorithms are formulated in terms of high-level matrix operations which extend to arbitrary dimension. As a result, our implementations map well to the facilities of numerical libraries such as NumPy and SciPy. The availability of such libraries makes Python suitable for prototy** numerical methods. We demonstrate how PyDEC is used to solve physical and topological problems through several concise examples. △ Less

Submitted 27 February, 2012; v1 submitted 15 March, 2011; originally announced March 2011.

Comments: Revised as per referee reports. Added information on scalability, removed redundant text, emphasized the role of matrix based algorithms, shortened length of paper

MSC Class: 65N30 ACM Class: G.4; G.1.8; I.3.5

The Least Spanning Area of a Knot and the Optimal Bounding Chain Problem

Authors: Nathan M. Dunfield, Anil N. Hirani

Abstract: Two fundamental objects in knot theory are the minimal genus surface and the least area surface bounded by a knot in a 3-dimensional manifold. When the knot is embedded in a general 3-manifold, the problems of finding these surfaces were shown to be NP-complete and NP-hard respectively. However, there is evidence that the special case when the ambient manifold is R^3, or more generally when the se… ▽ More Two fundamental objects in knot theory are the minimal genus surface and the least area surface bounded by a knot in a 3-dimensional manifold. When the knot is embedded in a general 3-manifold, the problems of finding these surfaces were shown to be NP-complete and NP-hard respectively. However, there is evidence that the special case when the ambient manifold is R^3, or more generally when the second homology is trivial, should be considerably more tractable. Indeed, we show here that a natural discrete version of the least area surface can be found in polynomial time. The precise setting is that the knot is a 1-dimensional subcomplex of a triangulation of the ambient 3-manifold. The main tool we use is a linear programming formulation of the Optimal Bounding Chain Problem (OBCP), where one is required to find the smallest norm chain with a given boundary. While the decision variant of OBCP is NP-complete in general, we give conditions under which it can be solved in polynomial time. We then show that the least area surface can be constructed from the optimal bounding chain using a standard desingularization argument from 3-dimensional topology. We also prove that the related Optimal Homologous Chain Problem is NP-complete for homology with integer coefficients, complementing the corresponding result of Chen and Freedman for mod 2 homology. △ Less

Submitted 23 March, 2011; v1 submitted 13 December, 2010; originally announced December 2010.

Comments: 9 pages, 5 figures. V2: Added Remark 5.7. V3: Many minor improvements. To appear in SoCG 2011

MSC Class: 57M35; 57M25; 49Q05; 68U05 ACM Class: F.2.2; G.1.6

Cohomologous Harmonic Cochains

Authors: Anil N. Hirani, Kaushik Kalyanaraman, Han Wang, Seth Watts

Abstract: We describe algorithms for finding harmonic cochains, an essential ingredient for solving elliptic partial differential equations in exterior calculus. Harmonic cochains are also useful in computational topology and computer graphics. We focus on finding harmonic cochains cohomologous to a given cocycle. Amongst other things, this allows localization near topological features of interest. We deriv… ▽ More We describe algorithms for finding harmonic cochains, an essential ingredient for solving elliptic partial differential equations in exterior calculus. Harmonic cochains are also useful in computational topology and computer graphics. We focus on finding harmonic cochains cohomologous to a given cocycle. Amongst other things, this allows localization near topological features of interest. We derive a weighted least squares method by proving a discrete Hodge-deRham theorem on the isomorphism between the space of harmonic cochains and cohomology. The solution obtained either satisfies the Whitney form finite element exterior calculus equations or the discrete exterior calculus equations for harmonic cochains, depending on the discrete Hodge star used. △ Less

Submitted 1 December, 2011; v1 submitted 13 December, 2010; originally announced December 2010.

Comments: Language improvements to version 7. Content is otherwise the same as version 7

MSC Class: 65F10; 68U05; 65N30; 55-04 ACM Class: F.2.2; G.1.6

Least Squares Ranking on Graphs

Authors: Anil N. Hirani, Kaushik Kalyanaraman, Seth Watts

Abstract: Given a set of alternatives to be ranked, and some pairwise comparison data, ranking is a least squares computation on a graph. The vertices are the alternatives, and the edge values comprise the comparison data. The basic idea is very simple and old: come up with values on vertices such that their differences match the given edge data. Since an exact match will usually be impossible, one settles… ▽ More Given a set of alternatives to be ranked, and some pairwise comparison data, ranking is a least squares computation on a graph. The vertices are the alternatives, and the edge values comprise the comparison data. The basic idea is very simple and old: come up with values on vertices such that their differences match the given edge data. Since an exact match will usually be impossible, one settles for matching in a least squares sense. This formulation was first described by Leake in 1976 for rankingfootball teams and appears as an example in Professor Gilbert Strang's classic linear algebra textbook. If one is willing to look into the residual a little further, then the problem really comes alive, as shown effectively by the remarkable recent paper of Jiang et al. With or without this twist, the humble least squares problem on graphs has far-reaching connections with many current areas ofresearch. These connections are to theoretical computer science (spectral graph theory, and multilevel methods for graph Laplacian systems); numerical analysis (algebraic multigrid, and finite element exterior calculus); other mathematics (Hodge decomposition, and random clique complexes); and applications (arbitrage, and ranking of sports teams). Not all of these connections are explored in this paper, but many are. The underlying ideas are easy to explain, requiring only the four fundamental subspaces from elementary linear algebra. One of our aims is to explain these basic ideas and connections, to get researchers in many fields interested in this topic. Another aim is to use our numerical experiments for guidance on selecting methods and exposing the need for further development. △ Less

Submitted 6 September, 2011; v1 submitted 8 November, 2010; originally announced November 2010.

Comments: Added missing references, comparison of linear solvers overhauled, conclusion section added, some new figures added

MSC Class: 65F10; 65F20; 58A14; 68T05; 05C50 ACM Class: G.1.3; F.2.1; G.2.2

Optimal Homologous Cycles, Total Unimodularity, and Linear Programming

Authors: Tamal K. Dey, Anil N. Hirani, Bala Krishnamoorthy

Abstract: Given a simplicial complex with weights on its simplices, and a nontrivial cycle on it, we are interested in finding the cycle with minimal weight which is homologous to the given one. Assuming that the homology is defined with integer coefficients, we show the following : For a finite simplicial complex $K$ of dimension greater than $p$, the boundary matrix $[\partial_{p+1}]$ is totally unimodula… ▽ More Given a simplicial complex with weights on its simplices, and a nontrivial cycle on it, we are interested in finding the cycle with minimal weight which is homologous to the given one. Assuming that the homology is defined with integer coefficients, we show the following : For a finite simplicial complex $K$ of dimension greater than $p$, the boundary matrix $[\partial_{p+1}]$ is totally unimodular if and only if $H_p(L, L_0)$ is torsion-free, for all pure subcomplexes $L_0, L$ in $K$ of dimensions $p$ and $p+1$ respectively, where $L_0$ is a subset of $L$. Because of the total unimodularity of the boundary matrix, we can solve the optimization problem, which is inherently an integer programming problem, as a linear program and obtain integer solution. Thus the problem of finding optimal cycles in a given homology class can be solved in polynomial time. This result is surprising in the backdrop of a recent result which says that the problem is NP-hard under $\mathbb{Z}_2$ coefficients which, being a field, is in general easier to deal with. One consequence of our result, among others, is that one can compute in polynomial time an optimal 2-cycle in a given homology class for any finite simplicial complex embedded in $\mathbb{R}^3$. Our optimization approach can also be used for various related problems, such as finding an optimal chain homologous to a given one when these are not cycles. △ Less

Submitted 27 January, 2011; v1 submitted 2 January, 2010; originally announced January 2010.

Comments: Earlier version of this paper appeared in the 42nd ACM Symposium on Theory of Computing (STOC 2010). In this version we complete the characterization in terms of Moebius complexes. Added more information to the experimental results section. Fixed typos

MSC Class: 55U10; 55N99; 90C10; 90C05; 68U05 ACM Class: F.2.2; G.1.6

Geometric and Combinatorial Properties of Well-Centered Triangulations in Three and Higher Dimensions

Authors: Evan VanderZee, Anil N. Hirani, Damrong Guoy, Vadim Zharnitsky, Edgar Ramos

Abstract: An n-simplex is said to be n-well-centered if its circumcenter lies in its interior. We introduce several other geometric conditions and an algebraic condition that can be used to determine whether a simplex is n-well-centered. These conditions, together with some other observations, are used to describe restrictions on the local combinatorial structure of simplicial meshes in which every simple… ▽ More An n-simplex is said to be n-well-centered if its circumcenter lies in its interior. We introduce several other geometric conditions and an algebraic condition that can be used to determine whether a simplex is n-well-centered. These conditions, together with some other observations, are used to describe restrictions on the local combinatorial structure of simplicial meshes in which every simplex is well-centered. In particular, it is shown that in a 3-well-centered (2-well-centered) tetrahedral mesh there are at least 7 (9) edges incident to each interior vertex, and these bounds are sharp. Moreover, it is shown that, in stark contrast to the 2-dimensional analog, where there are exactly two vertex links that prevent a well-centered triangle mesh in R^2, there are infinitely many vertex links that prohibit a well-centered tetrahedral mesh in R^3. △ Less

Submitted 16 December, 2009; originally announced December 2009.

Comments: Approximately 30 pages. Contains 25 figures. Some figures include multiple graphics

ACM Class: G.2.0

A Dihedral Acute Triangulation of the Cube

Authors: Evan VanderZee, Anil N. Hirani, Vadim Zharnitsky, Damrong Guoy

Abstract: It is shown that there exists a dihedral acute triangulation of the three-dimensional cube. The method of constructing the acute triangulation is described, and symmetries of the triangulation are discussed. It is shown that there exists a dihedral acute triangulation of the three-dimensional cube. The method of constructing the acute triangulation is described, and symmetries of the triangulation are discussed. △ Less

Submitted 11 August, 2009; v1 submitted 22 May, 2009; originally announced May 2009.

Comments: Minor edits for journal version. Added some material to the introduction

ACM Class: I.3.5

Numerical method for Darcy flow derived using Discrete Exterior Calculus

Authors: Anil N. Hirani, Kalyana B. Nakshatrala, Jehanzeb H. Chaudhry

Abstract: We derive a numerical method for Darcy flow, hence also for Poisson's equation in mixed (first order) form, based on discrete exterior calculus (DEC). Exterior calculus is a generalization of vector calculus to smooth manifolds and DEC is one of its discretizations on simplicial complexes such as triangle and tetrahedral meshes. DEC is a coordinate invariant discretization, in that it does not dep… ▽ More We derive a numerical method for Darcy flow, hence also for Poisson's equation in mixed (first order) form, based on discrete exterior calculus (DEC). Exterior calculus is a generalization of vector calculus to smooth manifolds and DEC is one of its discretizations on simplicial complexes such as triangle and tetrahedral meshes. DEC is a coordinate invariant discretization, in that it does not depend on the embedding of the simplices or the whole mesh. We start by rewriting the governing equations of Darcy flow using the language of exterior calculus. This yields a formulation in terms of flux differential form and pressure. The numerical method is then derived by using the framework provided by DEC for discretizing differential forms and operators that act on forms. We also develop a discretization for spatially dependent Hodge star that varies with the permeability of the medium. This also allows us to address discontinuous permeability. The matrix representation for our discrete non-homogeneous Hodge star is diagonal, with positive diagonal entries. The resulting linear system of equations for flux and pressure are saddle type, with a diagonal matrix as the top left block. The performance of the proposed numerical method is illustrated on many standard test problems. These include patch tests in two and three dimensions, comparison with analytically known solution in two dimensions, layered medium with alternating permeability values, and a test with a change in permeability along the flow direction. We also show numerical evidence of convergence of the flux and the pressure. A convergence experiment is also included for Darcy flow on a surface. A short introduction to the relevant parts of smooth and discrete exterior calculus is included in this paper. We also include a discussion of the boundary condition in terms of exterior calculus. △ Less

Submitted 31 August, 2011; v1 submitted 19 October, 2008; originally announced October 2008.

Comments: Added numerical experiment for flow on a surface. Other small changes in meshing related comments

Report number: UIUCDCS-R-2008-2937 MSC Class: 65N30; 76S05 (Primary); 53-04; 55-04 (Secondary)

Triangulation of Simple 3D Shapes with Well-Centered Tetrahedra

Authors: Evan VanderZee, Anil N. Hirani, Damrong Guoy

Abstract: A completely well-centered tetrahedral mesh is a triangulation of a three dimensional domain in which every tetrahedron and every triangle contains its circumcenter in its interior. Such meshes have applications in scientific computing and other fields. We show how to triangulate simple domains using completely well-centered tetrahedra. The domains we consider here are space, infinite slab, infi… ▽ More A completely well-centered tetrahedral mesh is a triangulation of a three dimensional domain in which every tetrahedron and every triangle contains its circumcenter in its interior. Such meshes have applications in scientific computing and other fields. We show how to triangulate simple domains using completely well-centered tetrahedra. The domains we consider here are space, infinite slab, infinite rectangular prism, cube and regular tetrahedron. We also demonstrate single tetrahedra with various combinations of the properties of dihedral acuteness, 2-well-centeredness and 3-well-centeredness. △ Less

Submitted 5 August, 2008; v1 submitted 13 June, 2008; originally announced June 2008.

Comments: Accepted at the conference "17th International Meshing Roundtable", Pittsburgh, Pennsylvania, October 12-15, 2008. Will appear in proceedings of the conference, published by Springer. For this version, we fixed some typos

Report number: UIUCDCS-R-2008-2970 ACM Class: I.3.5

Well-Centered Triangulation

Authors: Evan VanderZee, Anil N. Hirani, Damrong Guoy, Edgar Ramos

Abstract: Meshes composed of well-centered simplices have nice orthogonal dual meshes (the dual Voronoi diagram). This is useful for certain numerical algorithms that prefer such primal-dual mesh pairs. We prove that well-centered meshes also have optimality properties and relationships to Delaunay and minmax angle triangulations. We present an iterative algorithm that seeks to transform a given triangula… ▽ More Meshes composed of well-centered simplices have nice orthogonal dual meshes (the dual Voronoi diagram). This is useful for certain numerical algorithms that prefer such primal-dual mesh pairs. We prove that well-centered meshes also have optimality properties and relationships to Delaunay and minmax angle triangulations. We present an iterative algorithm that seeks to transform a given triangulation in two or three dimensions into a well-centered one by minimizing a cost function and moving the interior vertices while kee** the mesh connectivity and boundary vertices fixed. The cost function is a direct result of a new characterization of well-centeredness in arbitrary dimensions that we present. Ours is the first optimization-based heuristic for well-centeredness, and the first one that applies in both two and three dimensions. We show the results of applying our algorithm to small and large two-dimensional meshes, some with a complex boundary, and obtain a well-centered tetrahedralization of the cube. We also show numerical evidence that our algorithm preserves gradation and that it improves the maximum and minimum angles of acute triangulations created by the best known previous method. △ Less

Submitted 18 August, 2009; v1 submitted 14 February, 2008; originally announced February 2008.

Comments: Content has been added to experimental results section. Significant edits in introduction and in summary of current and previous results. Minor edits elsewhere

Report number: UIUCDCS-R-2008-2936 ACM Class: I.3.5

Journal ref: SIAM J. Sci. Comput. 31, 6 (2010) 4497-4523

Equivalence Theorems in Numerical Analysis : Integration, Differentiation and Interpolation

Authors: John Jossey, Anil N. Hirani

Abstract: We show that if a numerical method is posed as a sequence of operators acting on data and depending on a parameter, typically a measure of the size of discretization, then consistency, convergence and stability can be related by a Lax-Richtmyer type equivalence theorem -- a consistent method is convergent if and only if it is stable. We define consistency as convergence on a dense subspace and s… ▽ More We show that if a numerical method is posed as a sequence of operators acting on data and depending on a parameter, typically a measure of the size of discretization, then consistency, convergence and stability can be related by a Lax-Richtmyer type equivalence theorem -- a consistent method is convergent if and only if it is stable. We define consistency as convergence on a dense subspace and stability as discrete well-posedness. In some applications convergence is harder to prove than consistency or stability since convergence requires knowledge of the solution. An equivalence theorem can be useful in such settings. We give concrete instances of equivalence theorems for polynomial interpolation, numerical differentiation, numerical integration using quadrature rules and Monte Carlo integration. △ Less

Submitted 26 September, 2007; originally announced September 2007.

Comments: 18 pages

MSC Class: 65J05; 65J10; 65J15

Discrete Exterior Calculus

Authors: Mathieu Desbrun, Anil N. Hirani, Melvin Leok, Jerrold E. Marsden

Abstract: We present a theory and applications of discrete exterior calculus on simplicial complexes of arbitrary finite dimension. This can be thought of as calculus on a discrete space. Our theory includes not only discrete differential forms but also discrete vector fields and the operators acting on these objects. This allows us to address the various interactions between forms and vector fields (such… ▽ More We present a theory and applications of discrete exterior calculus on simplicial complexes of arbitrary finite dimension. This can be thought of as calculus on a discrete space. Our theory includes not only discrete differential forms but also discrete vector fields and the operators acting on these objects. This allows us to address the various interactions between forms and vector fields (such as Lie derivatives) which are important in applications. Previous attempts at discrete exterior calculus have addressed only differential forms. We also introduce the notion of a circumcentric dual of a simplicial complex. The importance of dual complexes in this field has been well understood, but previous researchers have used barycentric subdivision or barycentric duals. We show that the use of circumcentric duals is crucial in arriving at a theory of discrete exterior calculus that admits both vector fields and forms. △ Less

Submitted 18 August, 2005; v1 submitted 18 August, 2005; originally announced August 2005.

Comments: 53 pages, 24 figures. Fixed labels in figures