We investigate the connections between Ramsey properties of Fraïssé classes and the universal minimal flow $M(G_{)}$ of the automorphism group $G$ of their Fraïssé limits. As an extension of a result of Kechris, Pestov and Todorcevic (2005) we show that if the class has finite Ramsey degree for embeddings, then this degree equals the size of $M(G_{)}$. We give a partial answer to a question of Angel, Kechris and Lyons (2014) showing that if is a relational Ramsey class and $G$ is amenable, then $M(G_{)}$ admits...

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X,d,\mu )$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B(x,r)$ converge to $f\left(x\right)$ when $r$ converges to $0$. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

We establish an explicit connection between the perimeter measure of an open set $E$ with $C^1$ boundary and the spherical Hausdorff measure $S^{Q-1}$ restricted to $\partial E$, when the ambient space is a stratified group endowed with a left invariant sub-Riemannian metric and $Q$ denotes the Hausdorff dimension of the group. Our formula implies that the perimeter measure of $E$ is less than or equal to $S^{Q-1}\left(\partial E\right)$ up to a dimensional factor. The validity of this estimate positively answers a conjecture raised by Danielli,...

An example of a non-zero non-atomic translation-invariant Borel measure ${\nu }_p$ on the Banach space ${\ell }_p\left(1\le p\le \infty \right)$ is constructed in Solovay’s model. It is established that, for 1 ≤ p < ∞, the condition "${\nu }_p$-almost every element of ${\ell }_p$ has a property P" implies that “almost every” element of ${\ell }_p$ (in the sense of [4]) has the property P. It is also shown that the converse is not valid.

Let β ∈ (1,2) and x ∈ [0,1/(β-1)]. We call a sequence ${\left({ϵ}_i\right)}_{i=1}^{\infty }\in {0,1}^{\mathbb{N}}$ a β-expansion for x if $x={\sum }_{i=1}^{\infty }{ϵ}_i{\beta }^{-i}$. We call a finite sequence ${\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n$ an n-prefix for x if it can be extended to form a β-expansion of x. In this paper we study how good an approximation is provided by the set of n-prefixes. Given $\Psi :\mathbb{N}\to {ℝ}_{\ge 0}$, we introduce the following subset of ℝ: $W_{\beta }\left(\Psi \right):={\bigcap }_{m=1}^{\infty }{\bigcup }_{n=m}^{\infty }{\bigcup }_{{\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n}[{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right),{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)+\Psi \left(n\right)]$In other words, $W_{\beta }\left(\Psi \right)$ is the set of x ∈ ℝ for which there exist infinitely many solutions to the inequalities $0\le x-{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)\le \Psi \left(n\right)$. When ${\sum }_{n=1}^{\infty }{2}^n\Psi \left(n\right)<\infty$, the Borel-Cantelli lemma tells us that the Lebesgue measure...

We show that, whenever $\Gamma$ is a countable abelian group and $\Delta$ is a finitely-generated subgroup of $\Gamma$, a generic measure-preserving action of $\Delta$ on a standard atomless probability space $(X,\mu )$ extends to a free measure-preserving action of $\Gamma$ on $(X,\mu )$. This extends a result of Ageev, corresponding to the case when $\Delta$ is infinite cyclic.

For a Morse function $f$ on a compact oriented manifold $M$, we show that $f$ has more critical points than the number required by the Morse inequalities if and only if there exists a certain class of link in $M$ whose components have nontrivial linking number, such that the minimal value of $f$ on one of the components is larger than its maximal value on the other. Indeed we characterize the precise number of critical points of $f$ in terms of the Betti numbers of $M$ and the behavior of $f$ with respect...

Let ⟨X,Y⟩ be a duality pair of M-spaces X,Y of measurable functions from Ω ⊂ ℝ ⁿ into ${ℝ}^d$. The paper deals with Y-weak cluster points ϕ̅ of the sequence $\varphi (·,z_j\left(·\right))$ in X, where $z_j:\Omega \to {ℝ}^m$ is measurable for j ∈ ℕ and $\varphi :\Omega \times {ℝ}^m\to {ℝ}^d$ is a Carathéodory function. We obtain general sufficient conditions, under which, for some negligible set $A_{\varphi }$, the integral $I(\varphi ,{\nu }_x):={\int }_{{ℝ}^m}\varphi (x,\lambda )d{\nu }_x\left(\lambda \right)$ exists for $x\in \Omega \setminus A_{\varphi }$ and $\varphi ̅\left(x\right)=I(\varphi ,{\nu }_x)$ on $\Omega \setminus A_{\varphi }$, where $\nu ={{\nu }_x}_{x\in \Omega }$ is a measurable-dependent family of Radon probability measures on ${ℝ}^m$.

We consider Akatsuka’s zeta Mahler measure as a generating function of the higher Mahler measure $m_k\left(P\right)$ of a polynomial $P,$ where $m_k\left(P\right)$ is the integral of $lo{g}^k\left|P\right|$ over the complex unit circle. Restricting ourselves to P(x) = x - r with |r| = 1 we show some new asymptotic results regarding $m_k\left(P\right)$, in particular $|m_k\left(P\right)|/k!\to 1/\pi$ as k → ∞.

Let ${\alpha }_i,{\beta }_i>0$, 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t•x=(t^{\alpha ₁}x₁,...,t^{\alpha ₙ}xₙ)$, $t\circ x=(t^{\beta ₁}x₁,...,t^{\beta ₙ}xₙ)$ and $\left|\right|x\left|\right|={\sum }_{i=1}^n{\left|x_i\right|}^{1/{\alpha }_i}$. Let φ₁,...,φₙ be real functions in $C^{\infty }(ℝⁿ-0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on ${ℝ}^{2n}$ given by $\mu \left(E\right)={\int }_{ℝⁿ}{\chi }_E{(x,\phi \left(x\right))\left|\right|x\left|\right|}^{\gamma -\alpha }dx$, where $\alpha ={\sum }_{i=1}^n{\alpha }_i$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{\mu }f=\mu \ast f$ and let $\left|\right|T_{\mu }{\left|\right|}_{p,q}$ be the operator norm of $T_{\mu }$ from $L^p\left({ℝ}^{2n}\right)$ into $L^q\left({ℝ}^{2n}\right)$, where the $L^p$ spaces are taken with respect to the Lebesgue measure. The type set $E_{\mu }$ is defined by $E_{\mu }=(1/p,1/q):\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty ,1\le p,q\le \infty$. In the case ${\alpha }_i\ne {\beta }_k$ for 1 ≤ i,k ≤ n we characterize the...

We study the generalized Cantor space ${}^{\kappa }2$ and the generalized Baire space ${}^{\kappa }\kappa$ as analogues of the classical Cantor and Baire spaces. We equip ${}^{\kappa }\kappa$ with the topology where a basic neighborhood of a point η is the set ν: (∀j < i)(ν(j) = η(j)), where i < κ. We define the concept of a strong measure zero set of ${}^{\kappa }2$. We prove for successor $\kappa ={\kappa }^{<\kappa }$ that the ideal of strong measure zero sets of ${}^{\kappa }2$ is ${}_{\kappa }$-additive, where ${}_{\kappa }$ is the size of the smallest unbounded family in ${}^{\kappa }\kappa$, and that the generalized Borel...

Suppose M is a noncompact connected n-manifold and ω is a good Radon measure of M with ω(∂M) = 0. Let ℋ(M,ω) denote the group of ω-preserving homeomorphisms of M equipped with the compact-open topology, and ${\mathscr{H}}_E(M,\omega )$ the subgroup consisting of all h ∈ ℋ(M,ω) which fix the ends of M. S. R. Alpern and V. S. Prasad introduced the topological vector space (M,ω) of end charges of M and the end charge homomorphism $c^{\omega }:{\mathscr{H}}_E(M,\omega )\to (M,\omega )$, which measures for each $h\in {\mathscr{H}}_E(M,\omega )$ the mass flow toward ends induced by h. We show that the...

Let $\mu$ be a probability measure on $[0,1]$ which is invariant and ergodic for $T_a\left(x\right)=ax\mathrm{𝚖𝚘𝚍}1$, and $0<\mathrm{𝚍𝚒𝚖}\mu <1$. Let $f$ be a local diffeomorphism on some open set. We show that if $E\subseteq ℝ$ and $\left(f\mu \right){\left|{}_E\sim \mu \right|}_E$, then $f^{\text{'}}\left(x\right)\in \left\{\pm a^r:r\in \mathbb{Q}\right\}$ at $\mu$-a.e. point $x\in f^{-1}E$. In particular, if $g$ is a piecewise-analytic map preserving $\mu$ then there is an open $g$-invariant set $U$ containing supp $\mu$ such that $g\left|{}_U\right.$ is piecewise-linear with slopes which are rational powers of $a$. In a similar vein, for $\mu$ as above, if $b$ is another integer and $a,b$ are not powers of a common integer, and if $\nu$ is...

For a Banach space $E$ and a probability space $(X,𝒜,\lambda )$, a new proof is given that a measure $\mu :𝒜\to E$, with $\mu \ll \lambda$, has RN derivative with respect to $\lambda$ iff there is a compact or a weakly compact $C\subset E$ such that ${\left|\mu \right|}_C:𝒜\to [0,\infty ]$ is a finite valued countably additive measure. Here we define ${\left|\mu \right|}_C\left(A\right)=sup\{{\sum }_k|\langle \mu \left(A_k\right),f_k\rangle \left|\right\}$ where $\left\{A_k\right\}$ is a finite disjoint collection of elements from $𝒜$, each contained in $A$, and $\left\{f_k\right\}\subset E^{\text{'}}$ satisfies ${sup}_k\left|f_k\left(C\right)\right|\le 1$. Then the result is extended to the case when $E$ is a Frechet space.

Let $H\subseteq Z\subseteq 2^{\omega }$. For n ≥ 2, we prove that if Selivanovski measurable functions from $2^{\omega }$ to Z give as preimages of H all Σₙ¹ subsets of $2^{\omega }$, then so do continuous injections.

Let $(X,d,\mu )$ be a metric measure space satisfying the doubling condition and an $L^2$-Poincaré inequality. Consider the nonnegative operator $ℒ$ generalized by a Dirichlet form on $X$. We will show that a solution $u$ to $(-{\partial }_t^2+ℒ)u=0$ on $X\times {ℝ}_{+}$ satisfies an $\alpha$-Carleson condition if and only if $u$ can be represented as the Poisson integral of the operator $ℒ$ with the trace in the generalized Morrey space $L^{2,\alpha }\left(X\right)$, where $\alpha$ is a nonnegative function defined on a class of balls in $X$. This result extends the analogous characterization...

Motivated by the fundamental theorem of calculus, and based on the works of W. Feller as well as M. Kac and M. G. Kreĭn, given an atomless Borel probability measure $\eta$ supported on a compact subset of $ℝ$ U. Freiberg and M. Zähle introduced a measure-geometric approach to define a first order differential operator ${\nabla }_{\eta }$ and a second order differential operator ${\Delta }_{\eta }$, with respect to $\eta$. We generalize this approach to measures of the form $\eta :=\nu +\delta$, where $\nu$ is non-atomic and $\delta$ is finitely supported. We determine...

In this paper we prove the following results. First, we show the existence of Wiener-Wintner dynamical system with continuous singular spectrum in the orthocomplement of their respective Kronecker factors. The second result states that if $f\in L^p$, $p$ large enough, is a Wiener-Wintner function then, for all $\gamma \in (1+\frac{1}{2p}-\frac{\beta }{2},1]$, there exists a set $X_f$ of full measure for which the series ${\sum }_{n=1}^{\infty }\frac{f\left(T^{n}x\right)e^{2\pi inϵ}}{n^{\gamma }}$ converges uniformly with respect to $ϵ$.

Let (ₙ)ₙ be a quasianalytic differentiable system. Let m ∈ ℕ. We consider the following problem: let $f{\in }_m$ and f̂ be its Taylor series at $0\in {ℝ}^m$. Split the set ${\mathbb{N}}^m$ of exponents into two disjoint subsets A and B, ${\mathbb{N}}^m=A\cup B$, and decompose the formal series f̂ into the sum of two formal series G and H, supported by A and B, respectively. Do there exist $g,h{\in }_m$ with Taylor series at zero G and H, respectively? The main result of this paper is the following: if we have a positive answer to the above problem for some...

Let ${\mu }_A$ be the singular measure on the Heisenberg group ${ℍ}^n$ supported on the graph of the quadratic function $\varphi \left(y\right)=y^{t}Ay$, where $A$ is a $2n\times 2n$ real symmetric matrix. If $det(2A\pm J)\ne 0$, we prove that the operator of convolution by ${\mu }_A$ on the right is bounded from $L^{\frac{(2n+2)}{(2n+1)}}\left({ℍ}^n\right)$ to $L^{2n+2}\left({ℍ}^n\right)$. We also study the type set of the measures $\mathrm{d}{\nu }_{\gamma }(y,s)=\eta \left(y\right){\left|y\right|}^{-\gamma }\mathrm{d}{\mu }_A(y,s)$, for $0\le \gamma <2n$, where $\eta$ is a cut-off function around the origin on ${ℝ}^{2n}$. Moreover, for $\gamma =0$ we characterize the type set of ${\nu }_0$.

Given an o-minimal expansion ℳ of a real closed field R which is not polynomially bounded. Let ${}^{\infty }$ denote the definable indefinitely Peano differentiable functions. If we further assume that ℳ admits ${}^{\infty }$ cell decomposition, each definable closed subset A of Rⁿ is the zero-set of a ${}^{\infty }$ function f:Rⁿ → R. This implies ${}^{\infty }$ approximation of definable continuous functions and gluing of ${}^{\infty }$ functions defined on closed definable sets.