Related papers: Prolongations, invariants, and fundamental identit…

Integration is the final key step when turning an infinitesimal argument into a result applicable to quantities of finite size. Conceptually, it is about combining infinitesimal contributions to a finite whole. We make a first step towards…

This article is concerned with causal structures, which are defined as a field of tangentially non-degenerate projective hypersurfaces in the projectivized tangent bundle of a manifold. The local equivalence problem of causal structures on…

We consider equivalence relations among smooth map germs with respect to geometry of G-structures on the target space germ. These equivalence relations are natural generalization of right-left equivalence (i.e., A-equivalence) in the sense…

In our previous paper (see this arxiv math.DG/0402171) for generic rank 2 vector distributions on n-dimensional manifold (n greater or equal to 5) we constructed a special differential invariant, the fundamental form. In the case n=5 this…

The Fibonacci cube $\Gamma_n$ is is the graph whose vertices are independent subsets of the path graph of length $n$, where two such vertices are considered adjacent if they differ by the addition or removal of a single element. Klav\v{z}ar…

This paper presents geometrical foundation for a systematic treatment of three main (elliptic, parabolic and hyperbolic) types of analytic function theories based on the representation theory of SL(2,R) group. We describe here geometries of…

Given a residually connected incidence geometry $\Gamma$ that satisfies two conditions, denoted $(B_1)$ and $(B_2)$, we construct a new geometry $H(\Gamma)$ with properties similar to those of $\Gamma$. This new geometry $H(\Gamma)$ is…

We compare three definitions of the equivariant cohomological dimension of a group with operators, coming from Takasu, Adamson and Bredon relative group cohomologies, giving examples of strict inequality in all cases where it can occur. We…

Generalized Kahler geometry is the natural analogue of Kahler geometry, in the context of generalized complex geometry. Just as we may require a complex structure to be compatible with a Riemannian metric in a way which gives rise to a…

We study harmonic mappings from a Riemannian manifold $N$ into a principal $G$-bundle $P$ endowed with a $G$-invariant Riemannian metric (i.e. a Kaluza-Klein metric). These morphisms are called Kaluza-Klein harmonic maps and naturally lead…

We construct a tangent bundle exponential map and locally autoparallel coordinates for geometries based on a general connection on the tangent bundle of a manifold. As concrete application we use these new coordinates for Finslerian…

First we introduce a generalization of symmetric spaces to parabolic geometries. We provide construction of such parabolic geometries starting with classical symmetric spaces and we show that all regular parabolic geometries with smooth…

Classical persistent homology is a powerful mathematical tool for shape comparison. Unfortunately, it is not tailored to study the action of transformation groups that are different from the group Homeo(X) of all self-homeomorphisms of a…

We first discuss the problems in the theory of ordinary differential equations that gave rise to the concept of a flag system and illustrate these with the Cartan criterion for Monge equations (1st order) as well as the Cartan statement…

Consider complex semisimple Lie algebras of a given dimension specified by their structure constants. We describe a finite collection of rational functions in the structure constants that form a complete set of invariants: two sets of…

The code equivalence problem is central in coding theory and cryptography. While classical invariants are effective for Hamming and rank metrics, the sum-rank metric, which unifies both, introduces new challenges. This paper introduces new…

The invariant theory for conformal hypersurfaces is studied by treating these as the conformal infinity of a conformally compact manifold: For a given conformal hypersurface embedding, a distinguished ambient metric is found (within its…

By combining the ideas of Cartan's equivalence method and the method of the equivariant moving frame for pseudo-groups, we develop an efficient method for solving equivalence problems arising from horizontal Lie pseudo-group actions. The…

As neural networks (NNs) are increasingly introduced into safety-critical domains, there is a growing need to formally verify NNs before deployment. In this work we focus on the formal verification problem of NN equivalence which aims to…

We propose an extension of ergodic theory which focuses on the identification of ergodicity in terms of the uniqueness of the invariant measure. We first explain the concept for the doubling maps, which can be analyzed using Fourier…