Related papers: Noise as a Boolean algebra of $\sigma$-fields
It is well known that a coarse-grained scalar field living on a de~Sitter (dS) background exhibits classical stochastic behavior, driven by a noise whose amplitude is set by the Hubble constant $H$. The coarse-graining is achieved by…
Noise is a part of data whether the data is from measurement, experiment or ... A few techniques are suggested for noise reduction to improve the data quality in recent years some of which are based on wavelet, orthogonalization and neural…
The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we first show some properties concerning overlap algebras: we prove that the notion of overlap morphism corresponds…
A complete classifications, up to isomorphism, of two-dimensional associative and diassociative algebras over any basic field are given.
Recent advances in deep learning have relied on large, labelled datasets to train high-capacity models. However, collecting large datasets in a time- and cost-efficient manner often results in label noise. We present a method for learning…
We study noisy computation in randomly generated k-ary Boolean formulas. We establish bounds on the noise level above which the results of computation by random formulas are not reliable. This bound is saturated by formulas constructed from…
We establish two duality theorems which refine the classical Stone duality between generalized Boolean algebras and locally compact Boolean spaces. In the first theorem we prove that the category of left-handed skew Boolean algebras whose…
The abelian sigma model in (1+1) dimensions is a field theoretical model which has a field $ \phi : S^1 \to S^1 $. An algebra of the quantum field is defined respecting the topological aspect of the model. It is shown that the zero-mode has…
B. Tsirelson and A. M. Vershik (1998) introduced the notion of a mathematical noise, which possesses completely opposite properties to those of a white noise. Afterward, B. Tsirelson (2004) called this noise: `black noise.' In this paper,…
We give a survey of recent results related to the problem of characterizing finite-dimensional division algebras by the set of isomorphism classes of their maximal subfields. We also discuss various generalizations of this problem and some…
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…
For suitable groups G we will show that one can add a Boolean algebra B by forcing in such a way that Aut(B) is almost isomorphic to G. In particular, we will give a positive answer to the following question due to J.Roitman: Is…
A boolean term order is a total order on subsets of [n]={1,...,n} such that \emptyset < alpha for all nonempty alpha contained in [n], and alpha < beta implies alpha \cup gamma < beta \cup gamma for all gamma which do not intersect alpha or…
In The factorization of the Giry monad (arXiv:1707.00488v2) the author considers two $\sigma$-algebras on convex spaces of functions to the unit interval. One of them is generated by the Boolean subobjects and the other is the…
This paper describes and proves a canonical procedure to decouple perturbations and optimize their gauge around backgrounds with one non-homogeneous dimension, namely of co-homogeneity 1, while preserving locality in this dimension.…
A general theory of the Frolicher-Nijenhuis and Schouten-Nijenhuis brackets in the category of modules over a commutative algebra is described. Some related structures and (co)homology invariants are discussed, as well as applications to…
We describe right-hand skew Boolean algebras in terms of a class of presheaves of sets over Boolean algebras called Boolean sets, and prove a duality theorem between Boolean sets and etale spaces over Boolean spaces.
In classical mechanics, a natural way to simplify a many-body problem is to ``replace'' some of the elements of the composite system with surrogate \textit{force fields}. In the realm of quantum mechanics, however, such a description is…
This paper proposes a new category theoretic account of equationally axiomatizable classes of algebras. Our approach is well-suited for the treatment of algebras equipped with additional computationally relevant structure, such as ordered…
We investigate the duality between algebraic and coalgebraic recognition of languages to derive a generalization of the local version of Eilenberg's theorem. This theorem states that the lattice of all boolean algebras of regular languages…