Related papers: Constructive Analysis in Infinitely many variables

For the Kirillov-Poisson structure on the vector space $\g^*$, where $\g$ is a finite-dimensional Lie algebra, it is known at least two canonical deformations quantization of this structure: they are the M. Kontsevich universal formula [K],…

We consider a Markov evolution of lozenge tilings of a quarter-plane and study its asymptotics at large times. One of the boundary rays serves as a reflecting wall. We observe frozen and liquid regions, prove convergence of the local…

We develop a new duality between endomorphisms of measure spaces, on the one hand, and a certain family of positive operators, called transfer operators, acting in spaces of measurable functions on, on the other. A framework of standard…

For a metric space $X$, we study the space $D^{\infty}(X)$ of bounded functions on $X$ whose infinitesimal Lipschitz constant is uniformly bounded. $D^{\infty}(X)$ is compared with the space $\LIP^{\infty}(X)$ of bounded Lipschitz functions…

In this work, we introduce the notion of a two-Krein space and show that, starting from any classical Krein space, it is possible to construct spaces endowed with an indefinite two-inner product (admitting both positive and negative…

Inspired by the theories of Kaplansky-Hilbert modules and probability theory in vector lattices, we generalise functional analysis by replacing the scalars $\mathbb{R}$ or $\mathbb{C}$ by a real or complex Dedekind complete unital…

The ALEA Coq library formalizes measure theory based on a variant of the Giry monad on the category of sets. This enables the interpretation of a probabilistic programming language with primitives for sampling from discrete distributions.…

Infinite-dimensional control systems with outputs are considered in the Hamiltonian formulation with generalized coordinates. An explicit scheme for constructing a dynamic observer for this class of systems is proposed with arbitrary gain…

We investigate the following questions: Given a measure $\mu_\Lambda$ on configurations on a subset $\Lambda$ of a lattice $\mathbb{L}$, where a configuration is an element of $\Omega^\Lambda$ for some fixed set $\Omega$, does there exist a…

Let $\Phi$ be a nuclear space and let $\Phi'_{\beta}$ denote its strong dual. In this work we establish the one-to-one correspondence between infinitely divisible measures on $\Phi'_{\beta}$ and L\'{e}vy processes taking values in…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

We establish a correspondence between information geometry and gauge theory. First, we define an important class of statistical manifolds, that is normalized and satisfies a conservation field equation. Second, we prove that for a…

We construct a canonical differential structure on the configuration space $\Upsilon$ over a singular base space $X$ and with a general invariant measure $\mu$ on $\Upsilon$. We present an analytic structure on $\Upsilon$, constructing a…

We prove a uniformly continuous linear extension principle in topological vector spaces from which we derive a very short and canonical construction of the Lebesgue integral of Banach space valued maps on a finite measure space. The Vitali…

We introduce a new dependence order, termed the conditional convex order, whose minimal and maximal elements characterize independence and perfect dependence. Moreover, it characterizes conditional independence, satisfies information…

In the additive topological group $(\mathbb{R},+)$ of real numbers, we construct families of sets for which elements are not measurable in the Lebesgue sense. The constructed families have algebraic structures of being semigroups (i.e.,…

This paper contributes to foundations of the geometric measure theory in the infinite dimensional setting of the configuration space over the Euclidean space $\mathbb R^n$ equipped with the Poisson measure $\pi$. We first provide a rigorous…

The classical $L^2$ estimate for the $\overline{\partial}$ operators is a basic tool in complex analysis of several variables. Naturally, it is expected to extend this estimate to infinite dimensional complex analysis, but this is a…

We develop the convex-analytic structure of the thermodynamic formalism for continuous maps on compact metric spaces. The pressure functional is the Legendre-Fenchel transform of the negative entropy, and the biconjugate recovery of the…

Using techniques from integrable systems, we obtain a number of exact results for random partitions. In particular, we prove a simple formula for correlation functions of what we call the Schur measure on partitions (which is a far reaching…