Related papers: Borel reducibility and symmetric models

The literature provides dichotomies involving homomorphisms (like the G 0 dichotomy) or reductions (like the characterization of sets potentially in a Wadge class of Borel sets, which holds on a subset of a product). However, part of the…

Let $\Gamma$ be the fundamental group of a complete hyperbolic $3$-manifold $M$ with toric cusps. We define the $\omega$-Borel invariant $\beta_n^\omega(\rho_\omega)$ associated to a representation $\rho_\omega: \Gamma \rightarrow…

We derive a lower bound for the Wehrl entropy in the setting of SU(1,1). For asymptotically high values of the quantum number k, this bound coincides with the analogue of the Lieb-Wehrl conjecture for SU(1,1) coherent states. The bound on…

We consider the problem of classifying Kolmogorov automorphisms (or $K$-automorphisms for brevity) up to isomorphism. Within the collection of measure-preserving transformations, Bernoulli shifts have the ultimate mixing property, and…

Let $S_\infty$ denote the topological group of permutations of the natural numbers. We study the complexity of the isomorphism relation on classes of closed subgroups $S_\infty$ in the setting of Borel reducibility between equivalence…

We address the basic meaning of apparent contradictions of quantum theory and probability frameworks as expressed by Bell's inequalities. We show that these contradictions have their origin in the incomplete considerations of the premisses…

We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation between Shelah's Main Gap and generalized Borel…

Standard results in descriptive set theory provide sufficient conditions for a Borel set $P \subseteq \mathbb{N}^\mathbb{N} \times \mathbb{N}^\mathbb{N}$ to admit a Borel uniformization, namely, when $P$ has "small" sections or "large"…

We extend anti-classification results in ergodic theory to the collection of weakly mixing systems by proving that the isomorphism relation as well as the Kakutani equivalence relation of weakly mixing invertible measure-preserving…

This paper explores the intriguing connections between the invariant subspace problem, the Kadison-Singer problem, and the Borel conjecture. The Kadison-Singer problem, originally formulated in terms of pure states on C*-algebras, was later…

Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the…

The algebraic dimension of a Polish permutation group $Q\leq \mathrm{Sym}(\mathbb{N})$ is the smallest $n\in\omega$, so that for all $A\subseteq \mathbb{N}$ of size $n+1$, the orbit of every $a\in A$ under the pointwise stabilizer of…

We investigate the weak limit of the hyper-rough square-root process as the Hurst index $H$ goes to $-1/2\,$. This limit corresponds to the fractional kernel $t^{H - 1 / 2}$ losing integrability. We establish the joint convergence of the…

We prove that the isomorphism relation for separable C$^*$-algebras, and also the relations of complete and $n$-isometry for operator spaces and systems, are Borel reducible to the orbit equivalence relation of a Polish group action on a…

We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply…

Let $G$ be a connected semisimple algebraic group with Lie algebra $g$ and $P$ a parabolic subgroup of $G$ with $Lie(P)=p$. The parabolic contraction of $g$ is the semi-direct product of $p$ and a $p$-module $g/p$ regarded as an abelian…

Recently, based on the idea of randomizing space theory, random convex analysis has been being developed in order to deal with the corresponding problems in random environments such as analysis of conditional convex risk measures and the…

We revisit Gersten's $\ell^\infty$-cohomology of groups and spaces, removing the finiteness assumptions required by the original definition while retaining its geometric nature. Mirroring the corresponding results in bounded cohomology, we…

We show that a version of L\'opez-Escobar's theorem holds in the setting of logic for metric structures. More precisely, let $\mathbb{U}$ denote the Urysohn sphere and let $\mathrm{Mod}(\mathcal{L},\mathbb{U})$ be the space of metric…

We introduce the notion of measurable bounded cohomology for measured groupoids, extending continuous bounded cohomology of locally compact groups. We show that the measurable bounded cohomology of the semidirect groupoid associated to a…