相关论文: Strong measure zero sets without Cohen reals

Considering any dense subsemigroup of the additive semigroup of positive real numbers and a filter associated with it as the domain of thought, various concepts of sets like sets that forces recurrence near zero, sets that contains broken…

In this work, we show that if $f$ is a uniformly continuous map defined over a Polish metric space, then the set of $f$-invariant measures with zero metric entropy is a $G_\delta$ set (in the weak topology). In particular, this set is…

We exhibit an asymmetry phenomenon for uniqueness sets in $\ell^q$. Specifically, we construct sets that do not support measures with $\ell^q$-summable Fourier coefficients, yet simultaneously support measures whose positive frequencies…

A finite connected 2-complex K whose fundamental group is of cohomological dimension 2 is aspherical iff the subgroup \Sigma_K of H_2(K) consisting of spherical 2-cycles is zero. A finite connected subcomplex of an aspherical 2-complex is…

Larman showed that any closed subset of the plane with uncountable vertical cross-sections has aleph_1 disjoint Borel uniformizing sets. Here we show that Larman's result is best possible: there exist closed sets with uncountable…

Assume L(\mathbb{R},\mu) satisfies ZF+DC+\Theta>\omega_2 + \mu is a normal fine measure on \powerset_{\omega_1}(\mathbb{R}). The main result of this paper is the characterization theorem of L(\mathbb{R},\mu) which states that…

Let $A\subseteq \mathbb Z_n$ be a subset. A sequence $S=(x_1,\ldots,x_k)$ in $\mathbb Z_n$ is said to be an $A$-weighted zero-sum sequence if there exist $a_1,\ldots,a_k\in A$ such that $a_1x_1+\cdots+a_kx_k=0$. By a square, we shall mean a…

We prove theorems of the following form: if $A\subseteq {\mathbb R}^2$ is a big set, then there exists a big set $P\subseteq {\mathbb R}$ and a perfect set $Q\subseteq {\mathbb R}$ such that $P\times Q\subseteq A$. We discuss cases where…

We show that $ZF+DC+$"all Turing invariant sets of reals have the perfect set property" implies that all sets of reals have the perfect set property. We also show that this result generalizes to all countable analytic equivalence relations.

We say that $S\subset\mathbb Z$ is a set of $k$-recurrence if for every measure preserving transformation $T$ of a probability measure space $(X,\mu)$ and every $A\subseteq X$ with $\mu(A)>0$, there is an $n\in S$ such that $\mu(A\cap…

We prove that if $k$ and $\ell$ are sufficiently large, then all the zeros of the weight $k+\ell$ cusp form $E_k(z) E_{\ell}(z) - E_{k+\ell}(z)$ in the standard fundamental domain lie on the boundary. We moreover find formulas for the…

Strongly bounded groups are those groups for which every action by isometries on a metric space has orbits of finite diameter. Many groups have been shown to have this property, and all the known infinite examples so far have cardinality at…

Two theorems on the asymptotic distribution of zeros of sequences of analytic functions are proved. First one relates the asymptotic behavior of zeros to the asymptotic behavior of coefficients. Second theorem establishes a relation between…

A signed polygonal measure is the sum of finitely many real constant density measures supported on polygons. Given a finite set S in the plane, we study the existence of signed polygonal measures spanned by polygons with vertices in S,…

We construct mesures supported on a compact subset E of the real line having zero principal value of their Cauchy integral a.e. on E with respect to Lebesgue measure and having singular components. E is sufficiently regular (Widom property…

We investigate the cofinality of the strong measure zero ideal for $\kappa$ inaccessible, and show that it is independent of the size of $2^\kappa$.

In this short note we show how the asymptotic strong Feller property (ASF) and local weak irreducibility can be established via generalized couplings. We also prove that a stronger form of ASF together with local weak irreducibility implies…

In this paper we provide a sufficient condition for a Furstenberg measure generated by a finitely supported measure to be absolutely continuous. Using this, we give a very broad class of examples of absolutely continuous Furstenberg…

Assuming the Riemann hypothesis, we prove the weak convergence of linear statistics of the zeros of L-functions towards a Gaussian field, with covariance structure corresponding to the $\HH^{1/2}$-norm of the test functions. For this…

We show that a set of non-negative reals is the distance set of a separable complete metric space if and only if it is either countable or is an analytic set which has 0 as a limit point. We also consider spaces with simpler distance sets.