arXiv research

We address the problem of constructing numerical integrators for nonholonomic Lagrangian systems that enjoy appropriate discrete versions of the geometric properties of the continuous flow, including the preservation of energy. Building on previous work on time-dependent discrete mechanics, our approach is based on a d…

The paper constructs discrete Hessian and divdiv complexes on triangulations and proves their cohomology isomorphic to continuous versions.

Algorithm tackles adaptive discretization in adversarial Lipschitz bandits for dynamic pricing and auctions.

simpcomp is an extension to GAP, the well known system for computational discrete algebra. It allows the user to work with simplicial complexes. In the latest version, support for simplicial blowups and discrete normal surfaces was added, both features unique to simpcomp. Furthermore, new functions for constructing cer…

Using a quaternionic calculus, the Christoffel, Darboux, Goursat, and spectral transformations for discrete isothermic nets are described, with their interrelations. The Darboux and spectral transformations are used to define discrete analogs for cmc-1 surfaces in hyperbolic space and to obtain a discrete version of Br…

Exact discrete mechanics for nonholonomic systems defined.

This work is thought as an operative guide to discrete exterior calculus (DEC), but at the same time with a rigorous exposition. We present a version of (DEC) on cubic cell, defining it for discrete manifolds. An example of how it works, it is done on the discrete torus, where usual Gauss and Stokes theorems are recove…

We present a definition of discrete channel surfaces in Lie sphere geometry, which reflects several properties for smooth channel surfaces. Various sets of data, defined at vertices, on edges or on faces, are associated with a discrete channel surface that may be used to reconstruct the underlying particular discrete L…

Following the work of Cano and Diaz, we consider a continuous analog of lattice path enumeration. This allows us to define a continuous version of any discrete object that counts certain types of lattice paths. We define continuous versions of binomials and multinomials, and describe some identities and partial differe…

Using an integrable discrete Dirac operator, we construct a discrete version of the Weierstrass representation of time-like surfaces parametrized along isotropic directions in $R^{2,1}$, $R^{3,1}$ and $R^{2,2}$. The corresponding discrete surfaces have isotropic edges. We show that any discrete surface satisfying a gen…

We propose a discrete surface theory in $\mathbb R^3$ that unites the most prevalent versions of discrete special parametrizations. This theory encapsulates a large class of discrete surfaces given by a Lax representation and, in particular, the one-parameter associated families of constant curvature surfaces. The theo…

Alternative discrete Dirac mechanics using Dirac structures.

Methods for analysis of principal components in discrete data have existed for some time under various names such as grade of membership modelling, probabilistic latent semantic analysis, and genotype inference with admixture. In this paper we explore a number of extensions to the common theory, and present some applic…

On the basis of loop group decompositions (Birkhoff decompositions), we give a discrete version of the nonlinear d'Alembert formula, a method of separation of variables of difference equations, for discrete constant negative Gauss curvature (pseudospherical) surfaces in Euclidean three space. We also compute two exampl…

We develop a geometric version of the inverse problem of the calculus of variations for discrete mechanics and constrained discrete mechanics. The geometric approach consists of using suitable Lagrangian and isotropic submanifolds. We also provide a transition between the discrete and the continuous problems and propos…

Discretizes Hodge-Dirac operators on a torus.

The study explores discrete versions of Riemannian geometry structures on manifolds.

Unique metric found for discrete curvature on spherical cone-metrics.

In this short note, we prove that the space of all admissible piecewise linear metrics parameterized by length square on a triangulated manifolds is a convex cone. We further study Regge's Einstein-Hilbert action and give a much more reasonable definition of discrete Einstein metric than our former version in \cite{G}.…

Soft Actor-Critic is a state-of-the-art reinforcement learning algorithm for continuous action settings that is not applicable to discrete action settings. Many important settings involve discrete actions, however, and so here we derive an alternative version of the Soft Actor-Critic algorithm that is applicable to dis…

Final version. To appear in Discrete and Continuous Dynamical Systems - A.

A formula connects discrete harmonic surfaces to holomorphic functions.

With the help of hyper-ideal circle pattern theory, we have developed a discrete version of the classical uniformization theorems for surfaces represented as finite branched covers over the Riemann sphere as well as compact polyhedral surfaces with non-positive curvature. We show that in the case of such surfaces discr…

We study Christoffel and Darboux transforms of discrete isothermic nets in 4-dimensional Euclidean space: definitions and basic properties are derived. Analogies with the smooth case are discussed and a definition for discrete Ribaucour congruences is given. Surfaces of constant mean curvature are special among all iso…

Proves minimization for Kähler manifolds with automorphisms.

The paper studies singularities in discrete indefinite affine minimal surfaces.

This paper uses the technology of weighted and regular triangulations to study discrete versions of the Laplacian on piecewise Euclidean manifolds. Regular triangulations are studied in some detail, including flip algorithms. The Laplacian is then studied as an operator on functions of the vertices as a generalized wei…

The Möbius energy, defined by O'Hara, is one of the knot energies, and named after the Möbius invariant property which was shown by Freedman-He-Wang. The energy can be decomposed into three parts, each of which is Möbius invariant, proved by Ishizeki-Nagasawa. Several discrete versions of Möbius energy, that is, corres…

We investigate the relationship between a discrete version of thickness and its smooth counterpart. These discrete energies are defined on equilateral polygons with $n$ vertices. It will turn out that the smooth ropelength, which is the scale invariant quotient of length divided by thickness, is the $Γ$-limit of the di…

In this paper we will discuss some new developments in the design of numerical methods for optimal control problems of Lagrangian systems on Lie groups. We will construct these geometric integrators using discrete variational calculus on Lie groups, deriving a discrete version of the second-order Euler-Lagrange equatio…

Liouville's theorem says that in dimension greater than two, all conformal maps are Möbius transformations. We prove an analogous statement about simplicial complexes, where two simplicial complexes are considered discretely conformally equivalent if they are combinatorially equivalent and the lengths of corresponding …

Universal inequalities for Laplacian eigenvalues on discrete groups.

We formulate a probabilistic Markov property in discrete time under a dynamic risk framework with minimal assumptions. This is useful for recursive solutions to risk-sensitive versions of dynamic optimisation problems such as optimal prediction, where at each stage the recursion depends on the whole future. The propert…

Bäcklund transformations for smooth and ``space discrete'' Hashimoto surfaces are discussed and a geometric interpretation is given. It is shown that the complex curvature of a discrete space curve evolves with the discrete nonlinear Schrödinger equation (NLSE) of Ablowitz and Ladik, when the curve evolves with the Has…

We investigate a discrete version of the Möbius energy, that is of geometric interest in its own right and is defined on equilateral polygons with $n$ segments. We show that the $Γ$-limit regarding $L^{q}$ or $W^{1,q}$ convergence, $q\in [1,\infty]$ of these energies as $n\to\infty$ is the smooth Möbius energy. This re…

In this work we present Discrete Attend Infer Repeat (Discrete-AIR), a Recurrent Auto-Encoder with structured latent distributions containing discrete categorical distributions, continuous attribute distributions, and factorised spatial attention. While inspired by the original AIR model andretaining AIR model's capabi…

A (complete) matching of the cells of a triangulated manifold can be thought as a combinatorial or discrete version of a nonsingular vector field. We give several methods for constructing such matchings.

Continuous time framework for discrete data denoising models.

In this paper, we introduce local expressions for discrete Mechanics. To apply our results simultaneously to several interesting cases, we derive these local expressions in the framework of Lie groupoids, following the program proposed by Alan Weinstein in [19]. To do this, we will need some results on the geometry of …

In this paper we consider planar polygons with parallel opposite sides. This type of polygons can be regarded as discretizations of closed convex planar curves by taking tangent lines at samples with pairwise parallel tangents. For this class of polygons, we define discrete versions of the area evolute, central symmetr…

Introduces flat discrete signatures for financial data analysis.

We establish a connection between two previously unrelated topics: a particular discrete version of conformal geometry for triangulated surfaces, and the geometry of ideal polyhedra in hyperbolic three-space. Two triangulated surfaces are considered discretely conformally equivalent if the edge lengths are related by s…

Considering Wirtinger's inequality for piece-wise equipartite functions we find a discrete version of this classical inequality. The main tool we use is the theorem of classification of isometries. Our approach provides a new elementary proof of Wirtinger's inequality that also allows to study the case of equality. Mor…

Data discretization is an important step in the process of machine learning, since it is easier for classifiers to deal with discrete attributes rather than continuous attributes. Over the years, several methods of performing discretization such as Boolean Reasoning, Equal Frequency Binning, Entropy have been proposed,…

We prove that an approximated version of the Brunn--Minkowski inequality with volume distortion coefficient implies a Gaussian concentration-of-measure phenomenon. Our main theorem is applicable to discrete spaces.

In this paper we relate the study of actions of discrete groups over connected manifolds to that of their orbit spaces seen as differentiable stacks. We show that the orbit stack of a discrete dynamical system on a simply connected manifold encodes the dynamics up to conjugation and inversion. We also prove a generaliz…

The study proves analogues of the discrete isoperimetric inequality in hyperbolic geometry.

The paper proves a discrete positive mass theorem for graphs.