English
Related papers

Related papers: An elementary approach to sofic equivalence relati…

200 papers

We introduce and study soficity for Lie algebras, modelled after linear soficity in associative algebras. We introduce equivalent definitions of soficity, one involving metric ultraproducts and the other involving almost representations. We…

Rings and Algebras · Mathematics 2022-03-14 Cameron Cinel

We extend some recent results about bounded invariant equivalence relations and invariant subgroups of definable groups: we show that type-definability and smoothness are equivalent conditions in a wider class of relations than heretofore…

Logic · Mathematics 2018-10-25 Tomasz Rzepecki

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…

Logic · Mathematics 2025-07-24 Michael Benedikt , Ehud Hrushovski

In this paper we establish a new equivalence relation on the spaces of almost periodic functions which allows us to prove a result like Bohr's equivalence theorem extended to the case of all these functions.

Complex Variables · Mathematics 2018-01-29 J. M. Sepulcre , T. Vidal

Sofic groups generalise both residually finite and amenable groups, and the concept is central to many important results and conjectures in measured group theory. We introduce a topological notion of a sofic boundary attached to a given…

Group Theory · Mathematics 2026-04-28 Vadim Alekseev , Martin Finn-Sell

We prove that Connes' Embedding Conjecture holds for the von Neumann algebras of sofic groups, that is sofic groups are hyperlinear. Hence we provide some new examples of hyperlinearity. We also show that the Determinant Conjecture holds…

Group Theory · Mathematics 2014-10-08 Gábor Elek , Endre Szabó

In this note we study a family of graphs of groups over arbitrary base graphs where all vertex groups are isomorphic to a fixed countable sofic group $G$, and all edge groups $H<G$ are such that the embeddings of $H$ into $G$ are identical…

Group Theory · Mathematics 2024-08-22 David Gao , Srivatsav Kunnawalkam Elayavalli , Mahan Mj

We investigate the notion of soficity for monoids. A group is sofic as a group if and only if it is sofic as a monoid. All finite monoids, all commutative monoids, all free monoids, all cancellative one-sided amenable monoids, all…

Dynamical Systems · Mathematics 2015-05-06 Tullio Ceccherini-Silberstein , Michel Coornaert

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…

Dynamical Systems · Mathematics 2015-08-11 Lewis Bowen

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…

Dynamical Systems · Mathematics 2018-10-08 Mike Boyle , Toke Meier Carlsen , Søren Eilers

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…

Logic · Mathematics 2016-03-14 Krzysztof Krupiński , Tomasz Rzepecki

We give a formula relating the topological rank of the full group of an aperiodic pmp equivalence relation to the cost of its ergodic components. Furthermore, we obtain examples of full groups having a dense free subgroup whose rank is…

Dynamical Systems · Mathematics 2015-03-12 François Le Maître

We deduce the relative version of the equivalences relating the relative Local Global Principle and the Normality of the relative Elementary subgroups of the traditional classical groups, viz. general linear, symplectic and orthogonal…

K-Theory and Homology · Mathematics 2018-10-09 Rabeya Basu , Reema Khanna , Ravi A. Rao

First, we answer a question of Pestov, by proving that the full group of a sofic equivalence relation is a sofic group. Then, we give a short proof of the theorem of Grigorchuk and Medynets that the topological full group of a minimal…

Group Theory · Mathematics 2012-11-20 Gabor Elek

This paper deals with the comparison of two common types of equivalence groups of differential equations, and this gives rise to a number of results presented in the form of theorems. It is shown in particular that one type can be…

Differential Geometry · Mathematics 2011-10-28 J. C. Ndogmo

We introduce notions of continuous orbit equivalence and strong (respective, weak) continuous orbit equivalence for automorphism systems of \'{e}tale equivalence relations, and characterize them in terms of the semi-direct product…

Operator Algebras · Mathematics 2023-03-27 XiangQi Qiang , ChengJun Hou

In this article we develop a notion of soficity for actions of countable groups on sets. We show two equivalent perspectives, several natural properties and examples. Notable examples include arbitrary actions of both amenable groups and…

Group Theory · Mathematics 2025-08-29 David Gao , Srivatsav Kunnawalkam Elayavalli , Gregory Patchell

We generalize a well-known theorem binding the elementary equivalence relation on the level of PAC fields and the isomorphism class of their absolute Galois groups. Our results concern two cases: saturated PAC structures and non-saturated…

Logic · Mathematics 2021-07-01 Jan Dobrowolski , Daniel Max Hoffmann , Junguk Lee

The paper is devoted to model-theoretic properties of Kac-Moody groups with the focus on elementary equivalence of Kac-Moody groups. We show that elementary equivalence of (untwisted) affine Kac-Moody groups implies coincidence of their…

Group Theory · Mathematics 2023-06-21 Jun Morita , Eugene Plotkin

We introduce the class of synchronous subsequential relations, a subclass of the synchronous relations which embodies some properties of subsequential relations. If we take relations of this class as forming the possible transitions of an…

Formal Languages and Automata Theory · Computer Science 2015-09-25 Christian Wurm