arXiv research

We review the basic definitions and properties concerning smooth structures, convenient spaces, diffeological spaces and tangent structures. The relation betwen them is described. A tangent structure is constructed for each pre-convenient space. This one is proved to be convenient iff the space and the tangent fibres c…

Introduces partial Jacobi manifolds in convenient spaces.

Lie algebras of quotient groups defined under specific conditions.

Following the unified approach of A. Kriegl and P.W. Michor (1997) for a treatment of global analysis on a class of locally convex spaces known as convenient, we give a generalization of Rashevsky-Chow's theorem for control systems in regular connected manifolds modelled on convenient (infinite-dimensional) locally con…

Study shows how Poisson brackets factor on infinite dimensional manifolds.

Defines and extends Lie algebroid prolongations in convenient settings.

Extends Dirac structures to infinite dimensions for mechanical systems.

We prove that direct limits of finite dimensional Lie algebroids and their prolongations can be endowed with structures of convenient spaces.

In this paper are studied the harmonic maps between two generalized Lagrange spaces. At the same time, it is proved that the solutions of $C^2$ class of certain ODEs or PDEs are harmonic maps between certain convenient generalized Lagrange spaces.

With a view towards applications in the theory of infinite-dimensional representations of finite-dimensional Lie supergroups, we introduce a new category of supermanifolds. In this category, supermanifolds of `maps' and `fields' (fibre bundle sections) exist. In particular, loop supergroups can be realised globally in …

A "Chen space" is a set X equipped with a collection of "plots" - maps from convex sets to X - satisfying three simple axioms. While an individual Chen space can be much worse than a smooth manifold, the category of all Chen spaces is much better behaved than the category of smooth manifolds. For example, any subspace …

We proved that the solutions of $C^2$ class of certain ODEs or PDEs belong to a class of harmonic maps between two convenient generalized Lagrange spaces.

Extends Dirac structures to infinite dimensions, focusing on convenient Lie algebroids and manifolds.

Discuss various definitions of vector fields on manifolds leading to Lie algebras.

The paper extends Nambu-Poisson structures to infinite dimensions.

This paper is devoted to the framework of direct limit of anchored Banach bundles over a convenient manifold which is a direct limit of Banach manifold. In particular we give a criterion of integrability for distributions on such convenient manifolds which are locally direct limits of particular sequences of Banach anc…

We examine the space of solutions to the affine quasi--Einstein equation in the context of homogeneous surfaces. As these spaces can be used to create gradient Yamabe solitions, conformally Einstein metrics, and warped product Einstein manifolds using the modified Riemannian extension, we provide very explicit descript…

New risk measures incorporate economic states to assess crude oil derivatives.

It is well known that the category of Frolicher spaces and smooth mappings is Cartesian closed. The principal objective in this paper is to show that the full subcategory of Frolicher spaces that believe in fantasy that every Weil functor is really an exponentiation by the corresponding infinitesimal object is also Car…

The study explains why signature methods work in commodity futures term structure classification.

In the previous work, the notion of the Finsleroid--Finsler space have been formulated and the necessary and sufficient conditions for the space to be of the Landsberg type have been found. In the present paper, starting with particular spray coefficients, we demonstrate how the Landsberg condition can explicitly appea…

We introduce a certain type of representations for the quantum Teichmuller space of a punctured surface, which we call local representations. We show that, up to finitely many choices, these purely algebraic representations are classified by classical geometric data. We also investigate the family of intertwining opera…

We introduce the concept of partial Poisson structure on a manifold $M$ modelled on a convenient space. This is done by specifying a (weak) subbundle $T^{\prime}M$ of $T^{\ast}M$ and an antisymmetric morphism $P:T^{\prime}M\rightarrow TM$ such that the bracket $\{f,g\}_{P}=-<df,P(dg)>$ defines a Poisson bracket on the …

Survey on Nambu-Poisson structures in infinite dimensions.

This paper develops a theory of Lipschitz comparisons of hyperbolic surfaces analogous to the theory of quasi-conformal comparisons. Extremal Lipschitz maps (minimal stretch maps) and geodesics for the `Lipschitz metric' are constructed. The extremal Lipschitz constant equals the maximum ratio of lengths of measured la…

This is an overview article. After an introduction to convenient calculus in infinite dimensions, the foundational material for manifolds of mappings is presented. The central character is the smooth convenient manifold $C^{\infty}(M,N)$ of all smooth mappings from a finite dimensional Whitney manifold germ $M$ into a …

We introduce a new feature map for barcodes that arise in persistent homology computation. The main idea is to first realize each barcode as a path in a convenient vector space, and to then compute its path signature which takes values in the tensor algebra of that vector space. The composition of these two operations …

Paper examines floating exercise boundaries for American options in time-inhomogeneous models.

We adopt a vierbein formalism to study pseudo-Finsler spaces modeled on a pseudo-Minkowski space. We show that it is possible to obtain closed expressions for most of the geometric objects of the theory, including Berwald's curvature, Landsberg's tensor, Douglas' curvature, non-linear connection and Ricci scalar. These…

Approximate inference techniques are the cornerstone of probabilistic methods based on Gaussian process priors. Despite this, most work approximately optimizes standard divergence measures such as the Kullback-Leibler (KL) divergence, which lack the basic desiderata for the task at hand, while chiefly offering merely t…

In this new version, we correct some typos. For the readers' convenience, we also added some footnotes and more details for certain lemmas and theorems.

We present a construction, called the limit of a tree system of spaces (or, less formally, a tree of spaces). The construction is designed to produce compact metric spaces that resemble fractals, out of more regular spaces, such as closed manifolds, compact polyhedra, compact Menger manifolds, etc. Such spaces are pote…

Given a reproducing kernel Hilbert space H of real-valued functions and a suitable measure mu over the source space D (subset of R), we decompose H as the sum of a subspace of centered functions for mu and its orthogonal in H. This decomposition leads to a special case of ANOVA kernels, for which the functional ANOVA r…

DELIMIT is a framework extension for deep learning in diffusion imaging, which extends the basic framework PyTorch towards spherical signals. Based on several novel layers, deep learning can be applied to spherical diffusion imaging data in a very convenient way. First, two spherical harmonic interpolation layers are a…

We prove that admissible functions for Fubini-Study metrics on the complex projective space $P_{m}C$, of complex dimension $m$, invariant by a convenient automorphisms group, are lower bounded by a function going to minus infinity on the boundary of usual charts of $P_{m}C$. A similar lower bound holds on some projecti…

Yang-Mills instantons on ALE gravitational instantons were constructed by Kronheimer and Nakajima in terms of matrices satisfying algebraic equations. These were conveniently organized into a quiver. We construct generic Yang-Mills instantons on ALF gravitational instantons. Our data are formulated in terms of matrix-v…

This note explores norms beyond ultrametric inequalities in non-Archimedean analysis.

We study the problem of computing the homology of the configuration spaces of a finite cell complex $X$. We proceed by viewing $X$, together with its subdivisions, as a subdivisional space--a kind of diagram object in a category of cell complexes. After developing a version of Morse theory for subdivisional spaces, we …

We provide an intergral lift of the combinatorial definition of Heegaard Floer homology for nice diagrams, and show that the proof of independence using convenient diagrams adapts to this setting.

In this paper we show how to approximate a Heath-Jarrow-Morton dynamics for the forward prices in commodity markets with arbitrage-free models which have a finite dimensional state space. Moreover, we recover a closed form representation of the forward price dynamics in the approximation models and derive the rate of c…

Study on diffeologies on locally convex spaces and smooth multiplication of distributions.

The paper studies biharmonic functions and bi-eigenfunctions on spheres and model spaces.

In this paper we analyse the topological group cohomology of finite-dimensional Lie groups. We introduce a technique for computing it (as abelian groups) for torus coefficients by the naturally associated long exact sequence. The upshot in there is that certain morphisms in this long exact coefficient sequence can be a…

Proposes a topological model for partial equivariance in neural networks.

New upper bound for geodesic complexity derived from cut locus decompositions.

We present a brief spray theory necessary for the geometric method in hydrodynamics. We make use of the convenient calculus to complete a unitary approach started by P. Michor and A. Kriegl.

New method for efficient inference over complex parameter spaces.

We define inductively isometric embeddings of $\mb{P}^n(\mb{R})$ and $\mb{P}^n(\mb{C})$ (with their canonical metrics conveniently scaled) into the standard unit sphere, which present the former as the restriction of the latter to the set of real points. Our argument parallels the telescopic construction of $\mb{P}^\in…