Behaviour of Entropy Under Bounded and Integrable Orbit Equivalence

Tim Austin

Research output: Contribution to journalArticle

Abstract

Let G and H be infinite finitely generated amenable groups. This paper studies two notions of equivalence between actions of such groups on standard Borel probability spaces. They are defined as stable orbit equivalences in which the associated cocycles satisfy certain tail bounds. In ‘integrable stable orbit equivalence’, the length in H of the cocycle-image of an element of G must have finite integral over its domain (a subset of the G-system), and similarly for the reverse cocycle. In ‘bounded stable orbit equivalence’, these functions must be essentially bounded in terms of the length in G. ‘Integrable’ stable orbit equivalence arises naturally in the study of integrable measure equivalence of groups themselves, as introduced recently by Bader, Furman and Sauer. The main result is a formula relating the Kolmogorov–Sinai entropies of two actions which are equivalent in one of these ways. Under either of these tail assumptions, the entropies stand in a proportion given by the compression constant of the stable orbit equivalence. In particular, in the case of full orbit equivalence subject to such a tail bound, entropy is an invariant. This contrasts with the case of unrestricted orbit equivalence, under which all free ergodic actions of countable amenable groups are equivalent. The proof uses an entropy-bound based on graphings for orbit equivalence relations, and in particular on a new notion of cost which is weighted by the word lengths of group elements.

Original languageEnglish (US)
Pages (from-to)1483-1525
Number of pages43
JournalGeometric and Functional Analysis
Volume26
Issue number6
DOIs
StatePublished - Dec 1 2016

Fingerprint

Orbit Equivalence
Entropy
Cocycle
Tail
Amenable Group
Equivalence
Finitely Generated Group
Probability Space
Equivalence relation
Countable
Reverse
Proportion
Compression
Subset
Invariant

ASJC Scopus subject areas

  • Analysis
  • Geometry and Topology

Cite this

Behaviour of Entropy Under Bounded and Integrable Orbit Equivalence. / Austin, Tim.

In: Geometric and Functional Analysis, Vol. 26, No. 6, 01.12.2016, p. 1483-1525.

Research output: Contribution to journalArticle

@article{9cd4a24cf7504834a21969723d988950,
title = "Behaviour of Entropy Under Bounded and Integrable Orbit Equivalence",
abstract = "Let G and H be infinite finitely generated amenable groups. This paper studies two notions of equivalence between actions of such groups on standard Borel probability spaces. They are defined as stable orbit equivalences in which the associated cocycles satisfy certain tail bounds. In ‘integrable stable orbit equivalence’, the length in H of the cocycle-image of an element of G must have finite integral over its domain (a subset of the G-system), and similarly for the reverse cocycle. In ‘bounded stable orbit equivalence’, these functions must be essentially bounded in terms of the length in G. ‘Integrable’ stable orbit equivalence arises naturally in the study of integrable measure equivalence of groups themselves, as introduced recently by Bader, Furman and Sauer. The main result is a formula relating the Kolmogorov–Sinai entropies of two actions which are equivalent in one of these ways. Under either of these tail assumptions, the entropies stand in a proportion given by the compression constant of the stable orbit equivalence. In particular, in the case of full orbit equivalence subject to such a tail bound, entropy is an invariant. This contrasts with the case of unrestricted orbit equivalence, under which all free ergodic actions of countable amenable groups are equivalent. The proof uses an entropy-bound based on graphings for orbit equivalence relations, and in particular on a new notion of cost which is weighted by the word lengths of group elements.",
author = "Tim Austin",
year = "2016",
month = "12",
day = "1",
doi = "10.1007/s00039-016-0392-5",
language = "English (US)",
volume = "26",
pages = "1483--1525",
journal = "Geometric and Functional Analysis",
issn = "1016-443X",
publisher = "Birkhauser Verlag Basel",
number = "6",

}

TY - JOUR

T1 - Behaviour of Entropy Under Bounded and Integrable Orbit Equivalence

AU - Austin, Tim

PY - 2016/12/1

Y1 - 2016/12/1

N2 - Let G and H be infinite finitely generated amenable groups. This paper studies two notions of equivalence between actions of such groups on standard Borel probability spaces. They are defined as stable orbit equivalences in which the associated cocycles satisfy certain tail bounds. In ‘integrable stable orbit equivalence’, the length in H of the cocycle-image of an element of G must have finite integral over its domain (a subset of the G-system), and similarly for the reverse cocycle. In ‘bounded stable orbit equivalence’, these functions must be essentially bounded in terms of the length in G. ‘Integrable’ stable orbit equivalence arises naturally in the study of integrable measure equivalence of groups themselves, as introduced recently by Bader, Furman and Sauer. The main result is a formula relating the Kolmogorov–Sinai entropies of two actions which are equivalent in one of these ways. Under either of these tail assumptions, the entropies stand in a proportion given by the compression constant of the stable orbit equivalence. In particular, in the case of full orbit equivalence subject to such a tail bound, entropy is an invariant. This contrasts with the case of unrestricted orbit equivalence, under which all free ergodic actions of countable amenable groups are equivalent. The proof uses an entropy-bound based on graphings for orbit equivalence relations, and in particular on a new notion of cost which is weighted by the word lengths of group elements.

AB - Let G and H be infinite finitely generated amenable groups. This paper studies two notions of equivalence between actions of such groups on standard Borel probability spaces. They are defined as stable orbit equivalences in which the associated cocycles satisfy certain tail bounds. In ‘integrable stable orbit equivalence’, the length in H of the cocycle-image of an element of G must have finite integral over its domain (a subset of the G-system), and similarly for the reverse cocycle. In ‘bounded stable orbit equivalence’, these functions must be essentially bounded in terms of the length in G. ‘Integrable’ stable orbit equivalence arises naturally in the study of integrable measure equivalence of groups themselves, as introduced recently by Bader, Furman and Sauer. The main result is a formula relating the Kolmogorov–Sinai entropies of two actions which are equivalent in one of these ways. Under either of these tail assumptions, the entropies stand in a proportion given by the compression constant of the stable orbit equivalence. In particular, in the case of full orbit equivalence subject to such a tail bound, entropy is an invariant. This contrasts with the case of unrestricted orbit equivalence, under which all free ergodic actions of countable amenable groups are equivalent. The proof uses an entropy-bound based on graphings for orbit equivalence relations, and in particular on a new notion of cost which is weighted by the word lengths of group elements.

UR - http://www.scopus.com/inward/record.url?scp=85028244993&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85028244993&partnerID=8YFLogxK

U2 - 10.1007/s00039-016-0392-5

DO - 10.1007/s00039-016-0392-5

M3 - Article

VL - 26

SP - 1483

EP - 1525

JO - Geometric and Functional Analysis

JF - Geometric and Functional Analysis

SN - 1016-443X

IS - 6

ER -