Related papers: Separating Orbits by Entire Functions

In this expository paper we describe the pathwise behaviour of the integral functional $\int_0^t f(Y_u)\,\dd u$ for any $t\in[0,\zeta]$, where $\zeta$ is (a possibly infinite) exit time of a one-dimensional diffusion process $Y$ from its…

For a fixed singular Borel probability measure $\mu$ on $\mathbb{T}$, we give several characterizations of when an entire function is the Fourier transform of some $f \in L^2(\mu)$. The first characterization is given in terms of criteria…

Let $K$ be a compact set with connected complement on the half-plane Re$(s)>0$, and let $f$ be a continuous function on $K$ which is analytic in its interior. We prove that for any parameter $0<\alpha<1, \alpha \neq \frac 1 2$ then $f(s)$…

We prove that if $X$ is a paracompact space, $Y$ is a metric space and $f:X\to Y$ is a functionally fragmented map, then (i) $f$ is $\sigma$-discrete and functionally $F_\sigma$-measurable; (ii) $f$ is a Baire-one function, if $Y$ is weak…

For $1\le p<\infty$, let $F^p_\varphi$ be the Fock spaces on ${\mathbb C}^n$ with the weight function $\varphi$ that \(\varphi \in {\mathcal{C}}^{2}\left( {\mathbb{C}}^{n}\right)\) is real-valued and satisfies $ m{\omega }_{0} \leq…

We consider the Fock-Sobolev space $F^{p,m}$ consisting of entire functions $f$ such that $f^{(m)}$, the $m$-th order derivative of $f$, is in the Fock space $F^p$. We show that an entire function $f$ is in $F^{p,m}$ if and only if the…

We present a categorical viewpoint of probability measures by showing that a probability measure can be viewed as a weakly averaging affine measurable functional taking values in the unit interval which preserves limits. The probability…

We consider classes $ \mathcal{A}_M(S) $ of functions holomorphic in an open plane sector $ S $ and belonging to a strongly non-quasianalytic class on the closure of $ S $. In $ \mathcal{A}_M(S) $, we construct functions which are flat at…

The following result is proven. Let $G_1 \cc^{T_1} (X_1,\mu_1)$ and $G_2 \cc^{T_2} (X_2,\mu_2)$ be orbit-equivalent, essentially free, probability measure preserving actions of countable groups $G_1$ and $G_2$. Let $H$ be any countable…

Computations in high-dimensional spaces can often be realized only approximately, using a certain number of projections onto lower dimensional subspaces or sampling from distributions. In this paper, we are interested in pairs of…

For a set $X\sbst\R$, let $B(X)\sbst\R^X$ denote the space of Borel real-valued functions on $X$, with the topology inherited from the Tychonoff product $\R^X$. Assume that for each countable $A\sbst B(X)$, each $f$ in the closure of $A$ is…

Let $ f_0 $ and $ f_\infty $ be formal power series at the origin and infinity, and $ P_n/Q_n $, with $ \mathrm{deg}(P_n),\mathrm{deg}(Q_n)\leq n $, be a rational function that simultaneously interpolates $ f_0 $ at the origin with order $…

We prove that a locally integrable function $f:(a,b) \to \mathbb R$ must be affine if its mean oscillation, considered as a function of intervals, can be extended to a locally finite Borel measure. In particular, we show that any function…

We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply…

Let M denote the space of Borel probability measures on the real line. For every nonnegative t we consider the transformation $\mathbb B_t : M \to M$ defined for any given element in M by taking succesively the the (1+t) power with respect…

Khoshnevisan and Xiao showed in [Ann. Probab. 33 (2005) 841--878] that the statement about almost surely vanishing Bessel--Riesz capacity of the image of a Borel set $G\subset\mathbb{R}_+$ under a symmetric L\'{e}vy process $X$ in…

We present a short, elementary proof not involving Fourier transforms of the theorem of Cram\'er and Wold that a Borel probability measure is determined by its values on half-spaces.

We prove a Borel version of the local lemma, i.e. we show that, under suitable assumptions, if the set of variables in the local lemma has a structure of a Borel space, then there exists a satisfying assignment which is a Borel function.…

A detailed proof is given of the well-known facts that greatest common divisors exist in rings of non-Archimedean entire functions of several variables and that these rings of entire functions are almost factorial, in the sense that an…

Let $X$ be a Borel subset of the Cantor set \textbf{C} of additive or multiplicative class ${\alpha},$ and $f: X \to Y$ be a continuous function with compact preimages of points onto $Y \subset \textbf{C}.$ If the image $f(U)$ of every…