Related papers: Borel equivalence relations between \ell_1 and \el…

We show that the uniform measure-theoretic ergodic decomposition of a countable Borel equivalence relation $(X, E)$ may be realized as the topological ergodic decomposition of a continuous action of a countable group $\Gamma…

We discuss the Borel Tukey ordering on cardinal invariants of the continuum. We observe that this ordering makes sense for a larger class of cardinals than has previously been considered. We then provide a Borel version of a large portion…

We introduce and investigate a class of non-separable tree-like Banach spaces. As a consequence, we prove that we can not achieve a satisfactory extension of Rosenthal's $\ell_1$-theorem to spaces of the type $\ell_1(\kappa)$, for $\kappa$…

It is shown that the power set of $\kappa$ ordered by the subset relation modulo various versions of the non-stationary deal can be embedded into the partial order of Borel equivalence relations on $2^\kappa$ under Borel reducibility. Here…

We characterize Borel line graphs in terms of 10 forbidden induced subgraphs, namely the 9 finite graphs from the classical result of Beineke together with a 10th infinite graph associated to the equivalence relation $\mathbb{E}_0$ on the…

Let K/Q be Galois, and let eta in K* whose conjugates are multiplicatively independent. For a prime p, unramified, prime to eta, let np be the residue degree of p and gp the number of P I p, then let o\_P(eta) and o\_p(eta) be the orders of…

We investigate natural variations of behaviourally correct learning and explanatory learning -- two learning paradigms studied in algorithmic learning theory -- that allow us to ``learn'' equivalence relations on Polish spaces. We give a…

We prove that $W^{1}_{p}$ is an interpolation space between $W^{1}_{p_{1}}$ and $W^{1}_{p_{2}}$ for $p>q_{0}$ and $1\leq p_{1}<p<p_{2}\leq \infty$ on some classes of manifolds and general metric spaces, where $q_{0}$ depends on our…

We demonstrate that the proper homotopy equivalence relation for locally finite graphs is Borel complete. Furthermore, among the infinite graphs, there is a comeager equivalence class. As corollaries, we obtain the analogous results for the…

Let $1\le p<\8$ and $(x_n)_{\nen}$ be a sequence of positive elements in a non-commutative $L_p$ space and $(E_n)_{\nen}$ be an increasing sequence of conditional expectations, then the $L_p$ norm of \sum_n E_n(x_n) can be estimated by c_p…

We show that, consistently, there exists a Borel set B subset Cantor admitting a sequence (eta_alpha:alpha<lambda) of distinct elements of Cantor such that (eta_alpha+B) cap (eta_beta+B) is uncountable for all alpha,beta<lambda but with no…

We establish the equivalence between the Sobolev semi-norm $\|\nabla u\|_{L^p}$ and a quantity obtained when replacing the strong $L^p$ by a weak $L^p$ norm in the Gagliardo semi-norm $|u|_{W^{s,p}}$ computed at $s = 1$. As corollaries we…

For each $a \in \mathbb{R}$, we define a Borel function $f_a : \mathbb{R} \to \mathbb{R}$ which encodes $a$ in a certain sense. We show that for each Borel $g : \mathbb{R} \to \mathbb{R}$, $f_a \cap g = \emptyset$ implies $a \in…

We study Abelian ideals of a Borel subalgebra consisting of long roots. It is shown that methods of Cellini and Papi can be extended to this situation. A uniform expression for the number of long Abelian ideals is given. We also show that…

This is an expository note on non-amenabilty of the Banach algebra B(\ell_p) for p=1,2. These were proved respectively by Connes (p=2) and Read (p=1) via very different methods. We give a single proof which reproves both.

Erdos, Hajnal and Rado asked whether $\binom{\aleph_{\omega_1}}{\aleph_2}\rightarrow\binom{\aleph_{\omega_1}}{\aleph_0}_2$ and whether $\binom{\aleph_{\omega_1}}{\aleph_2}\rightarrow\binom{\aleph_{\omega_1}}{\aleph_1}_2$. We prove that both…

We answer an open problem posed by Mossel--Oleszkiewicz--Sen regarding relations between $p$-log-Sobolev inequalities for $p\in(0,1]$. We show that for any interval $I\subset(0,1]$, there exist $q,p\in I$, $q<p$, and a measure $\mu$ for…

This is a slightly corrected version of an old work. For a cardinal $\mu$ we give a sufficient condition $\oplus_\mu$ (involving ranks measuring existence of independent sets) for: $\otimes_\mu$ if a Borel set $B\subseteq \mathbb{R} \times…

We study strongly separately continuous real-valued function defined on the Banach spaces $\ell_p$. Determining sets for the class of strongly separately continuous functions on $\ell_p$ are characterized. We prove that for every $1\le…

We systematically investigate three different equivalence relations of connectedness: being connected by arcs, being connected by continua and being connected by chains of continua of decreasing diameter. The investigation is conducted from…