Related papers: Control measures on Boolean algebras
We prove that order convergence on a Boolean algebra turns it into a compact convergence space if and only if this Boolean algebra is complete and atomic. We also show that on an Archimedean vector lattice, order intervals are compact with…
In this paper we explicitly calculate the control sets associated with a linear control system on the two dimensional solvable Lie group. We show that a linear control system of such kind admits exactly one control set or infinite control…
The aim of this article is to establish basic results in a conditional measure theory. The results are applied to prove that arbitrary kernels and conditional distributions are represented by measures in a conditional set theory. In…
We study equations over boolean algebras with distinguished elements. We prove the criteria, when a boolean algebra is equationally Noetherian, weakly equationally Noetherian, $\mathbf{q}_\omega$-compact or $\mathbf{u}_\omega$-compact. Also…
Boolean circuits abstract away from physical details to focus on the logical structure and computational behaviour of digital components. Although such circuits have been studied for many decades, compositionality has been widely ignored or…
A general approach to the measurement of an observable with pre- and post-selection is presented. The limit of weak measurement is studied in detail, and it is shown that the phase of the probe, including a Hamiltonian contribution to it,…
A Borel probability measure $\mu$ on a locally compact group is called a spectral measure if there exists a subset of continuous group characters which forms an orthogonal basis of the Hilbert space $L^2(\mu)$. In this paper, we…
This is an article in mathematics, specifically in set theory. On the example of the Measure Recognition Problem (MRP) the article highlights the phenomenon of the utility of a multidisciplinary mathematical approach to a single…
The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set. Sambin's notion of an overlap algebra, although…
We investigate some properties of balayage of charges and measures for subclasses of subharmonic functions and their relationship to the geometry of domain or open set in finite-dimensional Euclidean space where this balayage is considered.
In this note we give an axiomatization of Boolean algebras based on weakly dicomplemented lattices: an algebra $(L,\wedge,\vee,\tu)$ of type $(2,2,1)$ is a Boolean algebra iff $(L,\wedge,\vee)$ is a non empty lattice and $(x\wedge…
We study the Hausdorff measures of limit sets of weakly controlled Moran constructions in metric spaces. The separation of the construction pieces is closely related to the Hausdorff measure of the corresponding limit set. In particular, we…
The aim of this paper is to investigate the well-posedness of a class of boundary control and observation systems on a one dimensional spatial domain. We derive a necessary and sufficient condition characterizing the well-posedness of these…
A weak measurement consists in coupling a system to a probe in such a way that constructive interference generates a large output. So far, only the average output of the probe and its variance were studied. Here, the characteristic function…
The properties of the compactness of interpolation sets of algebras of generalized analytic functions are investigated and convenient sufficient conditions for interpolation are given.
In this paper, we defined three kinds of measures depending on the given finite directed graphs. For the given finite directed graph, we can construct the free semigroupoid, the diagram set and the reduced diagram set, as algebraic…
We study various forms of amalgamation for Boolean algebras with operations. We will also have the occasion to weaken the Boolean structure dealing with MV and BL algebras with operators.
We present an exact formula for the Mahler measure of an infinite family of polynomials with arbitrarily many variables. The formula is obtained by manipulating the integral defining the Mahler measure using certain transformations,…
In this paper, we introduce and develop the concept of conditional quantization for Borel probability measures on $\mathbb{R}^k,$ considering both constrained and unconstrained frameworks. For each setting, we define the associated…
The aim of this paper is to prove ergodic decomposition theorems for probability measures quasi-invariant under Borel actions of inductively compact groups (Theorem 1) as well as for sigma-finite invariant measures (Corollary 1). For…