Related papers: Beyond Erd\H{o}s-Kunen-Mauldin: Singular sets with…

Simon's subshift conjecture states that for every aperiodic minimal subshift of Verblunsky coefficients, the common essential support of the associated measures has zero Lebesgue measure. We disprove this conjecture in this paper, both in…

Let $X$ be a Polish space. We prove that the generic compact set $K\subseteq X$ (in the sense of Baire category) is either finite or there is a continuous gauge function $h$ such that $0<\mathcal{H}^{h}(K)<\infty$, where $\mathcal{H}^h$…

We show that there is a sequence of subsets of each discrete Heisenberg group for which the non-singular ergodic theorem holds. The sequence depends only on the group; it works for any of its non-singular actions. To do this we use a metric…

Classically, an abelian group $G$ is said to be slender if every homomorphism from the countable product $\mathbb Z^{\mathbb N}$ to $G$ factors through the projection to some finite product $\mathbb Z^n$. Various authors have proposed…

We show that there exists $c>0$ such that any subset of $\{1, \dots, N\}$ of density at least $(\log\log{N})^{-c}$ contains a nontrivial progression of the form $x,x+y,x+y^2$. This is the first quantitatively effective version of the…

We generalize Berg's notion of quasi-disjointness to actions of countable groups and prove that every measurably distal system is quasi-disjoint from every measure preserving system. As a corollary we obtain easy to check necessary and…

In this paper, we establish a multi-parameter version of Bellow and Losert's Wiener-Wintner type ergodic theorem for dynamical systems not necessarily being commutative. More precisely, we introduce a weight class $\mathcal{D}$, which is…

Let $(a_n)_{n \geq 1}$ be a sequence of distinct positive integers. In a recent paper Rudnick established asymptotic upper bounds for the minimal gaps of $\{a_n \alpha \bmod 1, 1 \leq n \leq N\}$ as $N \to \infty$, valid for Lebesgue-almost…

Compact metric spaces form an important class of metric spaces, but the category that they define lacks many important properties such as completeness and cocompleteness. In recent studies of "metric domain theory" and Stone-type dualities,…

Let $G$ be a compact connected Lie group acting on a stable complex manifold $M$ with equivariant vector bundle $E$. Besides, suppose $\phi$ is an equivariant map from $M$ to the Lie algebra $\mathfrak{g}$. We can define some equivalence…

Exhibiting a new type of measure concentration, we prove uniform concentration bounds for measurable Lipschitz functions on product spaces, where Lipschitz is taken with respect to the metric induced by a weighted covering of the index set…

Let (\Omega,\mu) be a finite measure space, X a Banach space, and let 1\le p<\infty. The aim of this paper is to give an elementary proof of the Diaz--Mayoral theorem that a subset V of L^p(\mu;X) is relatively compact if and only if it is…

We study `definable' subsets of Baire space $\mathcal{N}$. The logic of our arguments is intuitionistic and we use L.E.J.~Brouwer's Thesis on bars in $\mathcal{N}$ and his continuity axioms. We avoid the operation of taking the complement…

A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if G is an abelian group, then the follwing are equivalent: 1. Th(G, +) has the…

We define $\Delta$-Baire spaces. If a paratopological group $G$ is $\Delta$-Baire space, then $G$ is a topological group. Locally pseudocompact spaces, Baire $p$-spaces, Baire $\Sigma$-spaces, products of \v{C}ech-complete spaces are…

We characterize Beurling quotient subspaces for pure doubly commuting isometric representations of product systems. As a consequence, we derive a concrete regular dilation theorem for a pure completely contractive covariant representation…

We investigate Keisler measures in arbitrary theories. Our initial focus is on Borel definability. We show that when working over countable parameter sets in countable theories, Borel definable measures are closed under Morley products and…

We prove the existence of similar and multi-similar point configurations (or simplexes) in sets of fractional Hausdorff measure in Euclidean space. These results can be viewed as variants, for thin sets, of theorems for sets of positive…

An argument of A.Borel shows that every compact connected Lie group is homeomorphic to the Cartesian product of its derived subgroup and a torus. We prove a parallel result for definably compact definably connected groups definable in an…

We study topology, particularly compactness, as an extension of Shulman's work on constructive mathematics via affine logic, while allowing propositional impredicativity. We introduce a notion of compactness in affine logic and prove the…