arXiv research

Generalized meshes for non-regular geometries, including fractures.

A new discrete calculus for bundle-valued forms is proposed and validated.

We consider generalized linear transient convection-diffusion problems for differential forms on bounded domains in $\mathbb{R}^{n}$. These involve Lie derivatives with respect to a prescribed smooth vector field. We construct both new Eulerian and semi-Lagrangian approaches to the discretization of the Lie derivatives…

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 allow…

New finite element method for complex forms in any dimension.

Locally-verifiable conditions ensure exactness of spline discrete de Rham complex.

We obtain a unified theory of discrete minimal surfaces based on discrete holomorphic quadratic differentials via a Weierstrass representation. Our discrete holomorphic quadratic differential are invariant under Möbius transformations. They can be obtained from discrete harmonic functions in the sense of the cotangent …

This paper provides an explicit form for symmetric differentials and their corresponding holomorphic functions.

New biharmonic Steklov problem on forms yields eigenvalue estimates.

Proposes a differentiable structure learning framework for general binary data.

Develops combinatorial theory of vector bundles on simplicial complexes.

We discuss a general technique that can be used to form a differentiable bound on the optima of non-differentiable or discrete objective functions. We form a unified description of these methods and consider under which circumstances the bound is concave. In particular we consider two concrete applications of the metho…

Asymptotic net is an important concept in discrete differential geometry. In this paper, we show that we can associate affine discrete geometric concepts to an arbitrary non-degenerate asymptotic net. These concepts include discrete affine area, mean curvature, normal and co-normal vector fields and cubic form, and the…

We present the first steps of a procedure which discretises surface theory in classical projective differential geometry in such a manner that underlying integrable structure is preserved. We propose a canonical frame in terms of which the associated projective Gauss-Weingarten and Gauss-Mainardi-Codazzi equations adop…

Neural DEs improve single image super-resolution.

Inspired by the Weierstrass representation of smooth affine minimal surfaces with indefinite metric, we propose a constructive process producing a large class of discrete surfaces that we call discrete affine minimal surfaces. We show that they are critical points of an affine area functional defined on the space of qu…

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 tetrahedr…

Study on biharmonic Steklov problems with Neumann boundary conditions and eigenvalue estimates.

Constructs finite element spaces for $(p,q)$-forms, excluding one subspace.

A notion of implicit difference equation on a Lie groupoid is introduced and an algorithm for extracting the integrable part (backward or/and forward) is formulated. As an application, we prove that discrete Lagrangian dynamics on a Lie groupoid $G$ may be described in terms of Lagrangian implicit difference equations …

Survey revisits vector calculus results using exterior derivative and provides a new formulation of Stokes' theorem.

We give a definition of differentiable cohomology of a Lie group G (possibly infinite-dimensional) with coefficients in any abelian Lie group. This differentiable cohomology maps both to the cohomology of the group made discrete and to Lie algebra cohomology. We show that the secondary characteristic classes of Beilins…

In this paper higher order mimetic discretizations are introduced which are firmly rooted in the geometry in which the variables are defined. The paper shows how basic constructs in differential geometry have a discrete counterpart in algebraic topology. Generic maps which switch between the continuous differential for…

Lecture notes on BGG complexes using Lie groups and algebras.

Study infinite circle patterns in the Weil-Petersson class using discrete harmonic functions.

This article reports on the confluence of two streams of research, one emanating from the fields of numerical analysis and scientific computation, the other from topology and geometry. In it we consider the numerical discretization of partial differential equations that are related to differential complexes so that de …

This paper constructs Poisson transforms and analyzes their properties on complex hyperbolic spaces.

Exact Bayesian inference for discrete models using probability generating functions.

Group lattices (Cayley digraphs) of a discrete group are in natural correspondence with differential calculi on the group. On such a differential calculus geometric structures can be introduced following general recipes of noncommutative differential geometry. Despite of the non-commutativity between functions and (gen…

A new field of discrete differential geometry is presently emerging on the border between differential and discrete geometry. Whereas classical differential geometry investigates smooth geometric shapes (such as surfaces), and discrete geometry studies geometric shapes with finite number of elements (such as polyhedra)…

New integration theory on topological spaces, including fractals.

The reparameterization trick enables optimizing large scale stochastic computation graphs via gradient descent. The essence of the trick is to refactor each stochastic node into a differentiable function of its parameters and a random variable with fixed distribution. After refactoring, the gradients of the loss propag…

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 …

A discrete (finite-difference) analogue of differential forms is considered, defined on simplicial complexes, including triangulations of continuous manifolds. Various operations are explicitly defined on these forms, including exterior derivative and exterior product. The latter one is non-associative. Instead, as ant…

In this paper we study spectral properties of Dirichlet-to-Neumann map on differential forms obtained by a slight modification of the definition due to Belishev and Sharafutdinov. The resulting operator $Λ$ is shown to be self-adjoint on the subspace of coclosed forms and to have purely discrete spectrum there.We inves…

Any discrete differential manifold $M$ (finite set endowed with an algebraic differential calculus) can be represented by appropriate polyhedron ${\cal P}(M)$. This representation demonstrates the adequacy of the calculus of discrete differential manifolds and links this approach with that based on finitary substitutes…

We study the spectral properties of curl, a linear differential operator of first order acting on differential forms of appropriate degree on an odd-dimensional closed oriented Riemannian manifold. In three dimensions its eigenvalues are the electromagnetic oscillation frequencies in vacuum without external sources. In…

Discrete differential geometry aims to develop discrete equivalents of the geometric notions and methods of classical differential geometry. In this survey we discuss the following two fundamental Discretization Principles: the transformation group principle (smooth geometric objects and their discretizations are invar…

Based on \cite{DH94}, we introduce a bijective correspondence between first order differential calculi and the graph structure of the symmetric lattice that allows one to encode completely the interconnection structure of the graph in the exterior derivative. As a result, we obtain the Grassmannian character of the lat…

Differential chains are a proper subspace of de Rham currents given as an inductive limit of Banach spaces endowed with a geometrically defined strong topology. Boundary is a continuous operator, as are operators that dualize to Hodge star, Lie derivative, pullback and interior product. Partitions of unity exist in thi…

We extend the notion of the cardinality of a discrete groupoid (equal to the Euler characteristic of the corresponding discrete orbifold) to the setting of Lie groupoids. Since this quantity is an invariant under equivalence of groupoids, we call it the volume of the associated stack rather than of the groupoid itself.…

Given a fiber bundle $Z \to M \to B$ and a flat vector bundle $E \to M$ with a compatible action of a discrete group $G$, and regarding $B / G$ as the non-commutative space corresponding to the crossed product algebra, we construct an analytic torsion form as a non-commutative deRham differential form. We show that our…

Asynchronous stochastic gradient descent (ASGD) is a popular parallel optimization algorithm in machine learning. Most theoretical analysis on ASGD take a discrete view and prove upper bounds for their convergence rates. However, the discrete view has its intrinsic limitations: there is no characterization of the optim…

Discretization of curves is an ancient topic. Even discretization of curves with an eye toward differential geometry is over a century old. However there is no general theory or methodology in the literature, despite the ubiquitous use of discrete curves in mathematics and science. There are conflicting definitions of …

Unified framework for differentiable graph partitioning with probabilistic cuts.

Let M be a complex nilmanifold, that is, a compact quotient of a nilpotent Lie group endowed with an invariant complex structure by a discrete lattice. A holomorphic differential on M is a closed, holomorphic 1-form. We show that $a(M)\leq k$, where $a(M)$ is the algebraic dimension $a(M)$ (i.e. the transcendence degre…

In this paper we introduce a discrete integrable system generalizing the discrete (real) cross-ratio system in $S^4$ to complex values of a generalized cross-ratio by considering $S^4$ as a real section of the complex Plücker quadric, realized as the space of two-spheres in $S^4.$ We develop the geometry of the Plücker…

Investment strategy optimization from discrete to continuous models.