-
The Daniell Integral: Integration without measure
Authors:
Adriaan de Clercq
Abstract:
In his 1918 paper 'A General Form of Integral', Percy John Daniell developed a theory of integration capable of dealing with functions on arbitrary sets. Daniell's method differs from the measure-theoretic notion of integration. Linear functionals over vector lattices were considered as the fundamental objects on which he built the theory, rather than measures over sets. In this document, we explo…
▽ More
In his 1918 paper 'A General Form of Integral', Percy John Daniell developed a theory of integration capable of dealing with functions on arbitrary sets. Daniell's method differs from the measure-theoretic notion of integration. Linear functionals over vector lattices were considered as the fundamental objects on which he built the theory, rather than measures over sets. In this document, we explore Daniell's concept of integration and how his theory relates to the measure-theoretic notion of integration. We paint a picture of the historical context surrounding Daniell's ideas. Furthermore, we present examples due to Norbert Wiener, where the Daniell integral was employed on spaces too general for the standard integration techniques of the time.
△ Less
Submitted 27 November, 2022;
originally announced November 2022.
-
Universal set of Observables for Forecasting Physical Systems through Causal Embedding
Authors:
G Manjunath,
A de Clercq,
MJ Steynberg
Abstract:
We demonstrate when and how an entire left-infinite orbit of an underlying dynamical system or observations from such left-infinite orbits can be uniquely represented by a pair of elements in a different space, a phenomenon which we call \textit{causal embedding}. The collection of such pairs is derived from a driven dynamical system and is used to learn a function which together with the driven s…
▽ More
We demonstrate when and how an entire left-infinite orbit of an underlying dynamical system or observations from such left-infinite orbits can be uniquely represented by a pair of elements in a different space, a phenomenon which we call \textit{causal embedding}. The collection of such pairs is derived from a driven dynamical system and is used to learn a function which together with the driven system would: (i). determine a system that is topologically conjugate to the underlying system (ii). enable forecasting the underlying system's dynamics since the conjugacy is computable and universal, i.e., it does not depend on the underlying system (iii). guarantee an attractor containing the image of the causally embedded object even if there is an error made in learning the function. By accomplishing these we herald a new forecasting scheme that beats the existing reservoir computing schemes that often lead to poor long-term consistency as there is no guarantee of the existence of a learnable function, and overcomes the challenges of stability in Takens delay embedding. We illustrate accurate modeling of underlying systems where previously known techniques have failed.
△ Less
Submitted 3 April, 2023; v1 submitted 22 May, 2021;
originally announced May 2021.
-
Binary recurrences for which powers of two are discriminating moduli
Authors:
A. de Clercq,
F. Luca,
L. Martirosyan,
M. Matthis,
P. Moree,
M. A. Stoumen,
M. Weiß
Abstract:
Given a sequence of distinct positive integers $w_0 , w_1, w_2, \ldots$ and any positive integer $n$, we define the discriminator function $\mathcal{D}_{\bf w}(n)$ to be the smallest positive integer $m$ such that $w_0,\ldots, w_{n-1}$ are pairwise incongruent modulo $m$. In this paper, we classify all binary recurrent sequences $\{w_n\}_{n\geq 0}$ consisting of different integer terms such that…
▽ More
Given a sequence of distinct positive integers $w_0 , w_1, w_2, \ldots$ and any positive integer $n$, we define the discriminator function $\mathcal{D}_{\bf w}(n)$ to be the smallest positive integer $m$ such that $w_0,\ldots, w_{n-1}$ are pairwise incongruent modulo $m$. In this paper, we classify all binary recurrent sequences $\{w_n\}_{n\geq 0}$ consisting of different integer terms such that $\mathcal{D}_{\bf w}(2^e)=2^e$ for every $e\geq 1.$ For all of these sequences it is expected that one can actually give a fairly simple description of $\mathcal{D}_{\bf w}(n)$ for every $n\ge 1.$ For two infinite families of such sequences this has been done already in 2019 by Faye, Luca and Moree, respectively Ciolan and Moree.
△ Less
Submitted 30 November, 2020; v1 submitted 3 March, 2020;
originally announced March 2020.