Related papers: Sofic equivalence relations

We show that the category of countable Borel equivalence relations (CBERs) is dually equivalent to the category of countable $\mathcal{L}_{\omega_1\omega}$ theories which admit a one-sorted interpretation of a particular theory we call…

Following Goresky, Kottwitz and MacPherson, we compute the homology of truncated affine Springer fibers in the unramified case but under a purity assumption. We prove this assumption in the equivalued case. The truncation parameter is…

We establish imbedding properties between Grand Lebesgue Spaces and (generalized) Lorentz-Zygmund ones. We extend some known previous results concerning imbedding theorems between Grand Lebesgue and classical Lebesgue-Riesz spaces and we…

We introduce mean dimensions for continuous actions of countable sofic groups on compact metrizable spaces. These generalize the Gromov-Lindenstrauss-Weiss mean dimensions for actions of countable amenable groups, and are useful for…

There studed correspondence between symplectic leaves, irreducible representations and prime ideals, which is invariant with respect to quantum adjoint action. The Conjecture of De Concini-Kac-Procesi on dimensions of irreducible…

We define notions of generically and coarsely computable relations and structures and functions between structures. We investigate the existence and uniqueness of equivalence structures in the context of these definitions

We describe an Aldous--Hoover-type characterization of random relational structures that are exchangeable relative to a fixed structure which may have various equivalence relations. Our main theorem gives the common generalization of the…

We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…

The complexity of equivalence relations has received much attention in the recent literature. The main tool for such endeavour is the following reducibility: given equivalence relations $R$ and $S$ on natural numbers, $R$ is computably…

We construct ergodic discrete probability measure preserving equivalence relations $\cR$ that has no proper ergodic normal subequivalence relations and no proper ergodic finite-index subequivalence relations. We show that every treeable…

New embeddings of weighted Sobolev spaces are established. Using such embeddings, we obtain the existence and regularity of positive solutions with Navier boundary value problems for a weighted fourth order elliptic equation. We also obtain…

Comon's conjecture on the equality of the rank and the symmetric rank of a symmetric tensor, and Strassen's conjecture on the additivity of the rank of tensors are two of the most challenging and guiding problems in the area of tensor…

In this article, we introduce congruential Euler numbers, which are a further generalization of generalized Euler numbers. We prove the $p$-adic congruences of congruential Euler numbers, which include answers to a conjecture related to…

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 that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…

In this paper, we study multivariate approximation defined over weighted anisotropic Sobolev spaces which depend on two sequences ${\bf a}=\{a_j\}_{j\geq1}$ and ${\bf b}=\{b_j\}_{j\geq1}$ of positive numbers. We obtain strong equivalences…

MSO transductions are binary relations between structures which are defined using monadic second-order logic. MSO transductions form a category, since they are closed under composition. We show that many notions from language theory, such…

This thesis aims to serve as an introduction to the theory of quasitilings for amenable groups. In order to showcase the power of this theory, we focus on the study of the Sofic L\"uck Approximation Conjecture, which can be proven for…

A wedge (i.e., a closed nonempty set in the Euclidean space stable under addition and multiplication with non-negative scalars) induces by a standard way a semi-order (a reflexive and transitive binary relation) in the space. The wedges…

The Baum-Connes conjecture predicts that a certain assembly map is an isomorphism. We identify the homotopy theoretical construction of the assembly map by Davis and L\"uck with the category theoretical construction by Meyer and Nest. This…