Related papers: Sofic equivalence relations

We look at equivalence relations on the set of models of a theory -- MERs, for short -- such that the class of equivalent pairs is itself an elementary class, in a language appropriate for pairs of models. We provide many examples of…

We classify certain sofic shifts (the irreducible Point Extension Type, or PET, sofic shifts) up to flow equivalence, using invariants of the canonical Fischer cover. There are two main ingredients: (1) An extension theorem, for extending…

We study the number of (set-theoretically) defining equations of Segre products of projective spaces times certain projective hypersurfaces, extending results by Singh and Walther. Meanwhile, we prove some results about the cohomological…

We characterise when there exists a quasiisometric embedding between two solvable Baumslag-Solitar groups. This extends the work of Farb and Mosher on quasiisometries between the same groups. More generally, we characterise when there can…

We provide a quantitative formulation of the equivalence between hyperlinearity and soficity for amenable groups, effectively showing how every hyperlinear approximation to such a group is simulated by a suitable sofic approximation. The…

Bader, Furman and Sauer have introduced the notion of integrable measure equivalence for finitely-generated groups. This is the sub-equivalence relation of measure equivalence obtained by insisting that the relevant cocycles satisfy an…

The notion of computable reducibility between equivalence relations on the natural numbers provides a natural computable analogue of Borel reducibility. We investigate the computable reducibility hierarchy, comparing and contrasting it with…

We develop an algebraic notion of recognizability for languages of words indexed by countable linear orderings. We prove that this notion is effectively equivalent to definability in monadic second-order (MSO) logic. We also provide three…

Measure equivalence was introduced by Gromov as a measured analogue of quasi-isometry. Unlike the latter, measure equivalence does not preserve the large scale geometry of groups and happens to be very flexible in the amenable world. Indeed…

In this paper we shall show that the metrics are equivalent which obtained by Feng and Mao in [[1], Y. Feng and W. Mao, Equivalence of Cone Metric spaces and Metric Spaces, Fixed Point Theory, 11(2)(2010), 259-264.] and Du in [[2], Wei-Shih…

This is a survey paper about affine Hecke algebras. We start from scratch and discuss some algebraic aspects of their representation theory, referring to the literature for proofs. We aim in particular at the classification of irreducible…

We establish a dichotomy theorem characterizing the circumstances under which a treeable Borel equivalence relation E is essentially countable. Under additional topological assumptions on the treeing, we in fact show that E is essentially…

Transductions are binary relations of finite words. For rational transductions, i.e., transductions defined by finite transducers, the inclusion, equivalence and sequential uniformisation problems are known to be undecidable. In this paper,…

In this paper, we find a criterium for universal equivalence of partially commutative Lie algebras whose defining graphs are trees. Besides, we obtain bases for partially commutative metabelian Lie algebras.

We undertake a study of the conditional mean dimensions for a factor map between continuous actions of a sofic group on two compact metrizable spaces. When the group is infinitely amenable, all these concepts recover as the conditional mean…

In this paper we show the equivalence among three conjectures (and related open questions), namely, the embedding of univalent maps of the unit ball into Loewner chains, the approximation of univalent maps with entire univalent maps and the…

This paper proposes a definition of recognizable transducers over monads and comonads, which bridges two important ongoing efforts in the current research on regularity. The first effort is the study of regular transductions, which extends…

We study the notion of linear sofic approximations for algebras, analogous to the concept of sofic representations for groups. We prove that for a finitely generated amenable $K$-algebra with no zero divisors, all linear sofic…

Elementary proofs of Sylvester's, Wolstenholme's, Morley's and Lehmer's congruence theorems

This paper presents two general criteria to determine spaceability results in the complements of unions of subspaces. The first criterion applies to countable unions of subspaces under specific conditions and is closely related to the…