Related papers: Measuring definable sets in o-minimal fields
In a former paper the first and third authors introduced the notion of direction set for a subset of R^n, and showed that the dimension of the common direction set of two subanalytic subsets, called directional dimension, is preserved by a…
Given a quantum state in the finite-dimensional Hilbert space $ \C^n $, the range of possible values of a quantum observable is usually identified with the discrete spectrum of eigenvalues of a corresponding Hermitian matrix. Here any such…
For continuous maps on a compact manifold M, particularly for those that do not preserve the Lebesgue measure m, we define the observable invariant probability measures as a generalization of the physical measures. We prove that any…
Given a non-archimedean real closed field with archimedean value group which contains the reals, we establish for the category of semialgebraic sets and functions a full Lebesgue measure and integration theory such that the main results…
We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their…
For any continuous map f on a compact manifold M, we define the SRB-like (or observable) probabilities as a generalization of Sinai-Ruelle-Bowen (i.e. physical) measures. We prove that f has observable measures, even if SRB measures do not…
Let R be an o-minimal field and V a proper convex subring with residue field k and standard part (residue) map st: V \to k. Let k_{ind} be the expansion of k by the standard parts of the definable relations in R. We investigate the…
It is shown that for any translation invariant outer measure M, the M-measure of the intersection of any subset of R^n that is invariant under rational translations and which does not have full Lebesgue measure with an the closure of an…
Let $D$ be the ring of $S$-integers in a global field and $\hat{D}$ its profinite completion. We discuss the relation between density in $D$ and the Haar measure of $\hat{D}$: in particular, we ask when the density of a subset $X$ of $D$ is…
We show that certain families of sets in $\mathbb{R}^2$ (or $\mathbb{R}^n$) which are neither definable nor have bounded VC-dimension are nonetheless uniformly approximately definable in the real field, an o-minimal structure.
We study definably compact definably connected groups definable in a sufficiently saturated real closed field $R$. We introduce the notion of group-generic point for $\bigvee$-definable groups and show the existence of group-generic points…
The measurement processes that are traditionally described within the realm of non-relativistic quantum mechanics are transcribed into the covariant framework of Cartan's space, the four-valued representation space of the restricted…
Given an ontological model of a quantum system, a "genuine measurement," as opposed to a quantum measurement, means an experiment that determines the value of a beable, i.e., of a variable that, according to the model, has an actual value…
A metric measure space is a metric space with a Borel measure. In Gromov's theory of metric measure spaces, there are important invariants called the partial diameter and the observable diameter. We obtain the result that the partial…
This article explores the model-dependent nature of set cardinality, emphasizing that cardinality is not absolute but varies across different axiomatic frameworks. Although Cantor's diagonal argument shows the real numbers are…
Simple minimal but informationally complete positive operator-valued measures are constructed out of the expectation-value representation for qudits. Upon suitable modification, the procedure transforms any set of d^2 linearly independent…
Given positive measures $\nu,\mu$ on an arbitrary measurable space $(\Omega, \mathcal F)$, we construct a sequence of finite partitions $(\pi_n)_n$ of $(\Omega, \mathcal F)$ s.t. $$ \sum_{A\in \pi_n: \mu(A)>0} 1_{A} \frac{\nu(A)}{\mu(A)}…
We prove that a set of finite perimeter is indecomposable if and only if it is, up to a choice of suitable representative, connected in the 1-fine topology. This gives a topological characterization of indecomposability which is new even in…
Given a positive definite kernel in a locally compact space, we study a minimal energy problem in the presence of an external field over the class of all nonnegative Radon measures that are supported by a given closed noncompact set,…
The main goal of this project is to prove the equivalency of several characterizations of completeness of Archimedean ordered fields; some of which appear in most modern literature as theorems following from the Dedekind completeness of the…