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

We study the Borel reducibility of isomorphism relations in the generalized Baire space $\kappa^\kappa$. In the main result we show for inaccessible $\kappa$, that if $T$ is a classifiable theory and $T'$ is stable with OCP, then the…

A sharp inequality for $\ell_p$ quasi-norm with $0<p\leq 1$ and $\ell_q$-norm with $q>1$ is derived, which shows that the difference between $\|\textbf{\textit{x}}\|_p$ and $\|\textbf{\textit{x}}\|_q$ of an $n$-dimensional signal…

We prove an $\ell^p$-version of the coarse Baum-Connes conjecture for spaces that coarsely embedds into $\ell^q$-spaces for any $p$ and $q$ in $[1,\infty)$.

We show that it is consistent that the Borel Conjecture and the dual Borel Conjecture hold simultaneously.

Cabello has recently (in quant-ph/0210081) observed that ``...an EPR-experiment with a fixed POVM on each particle provides a violation of Bell's inequality without requiring local observers to choose between the alternatives.'' In this…

We prove that the automorphisms of any separable C*-algebra that does not have continuous trace are not classifiable by countable structures up to unitary equivalence. This implies a dichotomy for the Borel complexity of the relation of…

Let $p>1$ and $1/p+1/q=1$. Consider H\"older's inequality $$ \|ab^*\|_1\le \|a\|_p\|b\|_q $$ for the $p$-norms of some trace ($a,b$ are matrices, compact operators, elements of a finite $C^*$-algebra or a semi-finite von Neumann algebra).…

We investigate congruence relations of the form $p_r(\ell m n + t) \equiv 0 \pmod{\ell}$ for all $n$, where $p_r(n)$ is the number of $r$-colored partitions of $n$ and $m,\ell$ are distinct primes.

Borel separation rank of an analytic ideal $\mathcal{I}$ on $\omega$ is the minimal ordinal $\alpha<\omega_{1}$ such that there is $\mathcal{S}\in\bf{\Sigma^0_{1+\alpha}}$ with $\mathcal{I}\subseteq \mathcal{S}$ and $\mathcal{I}^\star\cap…

We exhibit two relation algebra atom structures such that they are elementarily equivalent but their term algebras are not. This answers Problem 14.19 in the book Hirsch, R. and Hodkinson, I., "Relation Algebras by Games", North-Holland,…

On any complete Riemannian manifold $M$ and for all $p\in [2,\infty)$, we prove a family of second order $L^{p}$-interpolation inequalities that arise from the following simple $L^{p}$-estimate valid for every $u \in C^{\infty}(M)$: $$…

The poset of permutations of [n] under Bruhat ordering is studied. We give nontrivial upper and lower bounds for the number of comparable pairs of permutations in both the weak and strong versions of this order. In light of numerical…

A long standing open problem in the theory of hyperfinite equivalence relations asks if the orbit equivalence relation generated by a Borel action of a countable amenable group is hyperfinite. In this paper we prove that this question…

This is the first of two works concerning the Sobolev calculus on metric measure spaces and its applications. In this work, we focus on several notions of metric Sobolev space and on their equivalence. More precisely, we give a systematic…

For a separable rearrangement invariant space $X$ on $[0,1]$ of fundamental type we identify the set of all $p\in [1,\infty]$ such that $\ell^p$ is finitely represented in $X$ in such a way that the unit basis vectors of $\ell^p$ ($c_0$ if…

We study equivalence relations $\mathcal R(\Gamma\curvearrowright G)$ that arise from left translation actions of countable groups on their profinite completions. Under the assumption that the action $\Gamma\curvearrowright G$ is free and…

We generalise the main theorems from the paper "The Borel cardinality of Lascar strong types" by I. Kaplan, B. Miller and P. Simon to a wider class of bounded invariant equivalence relations. We apply them to describe relationships between…

We show theoretically that Bell-type correlations can be observed between continuous variable measurements performed on a parametric source. An auxiliary measurement, performed on the detection environment, negates the possibility of…

We construct a Borel maximal eventually different family.

Let kappa be an uncountable regular cardinal. Call an equivalence relation on functions from kappa into 2 Sigma_1^1-definable over H(kappa) if there is a first order sentence F and a parameter R subseteq H(kappa) such that functions…