OpenAI reports a group without fixed price

A finitely generated group has two essentially free probability-measure-preserving actions with different costs: its Bernoulli action has cost strictly greater than one, while a suitable finite-height extension has cost closer to one.

Curated contributions 1

Understand the problem ↓

OpenAI reports a group without fixed price

  • Mathematics

A finitely generated group has two essentially free probability-measure-preserving actions with different costs: its Bernoulli action has cost strictly greater than one, while a suitable finite-height extension has cost closer to one.

AI involvementAI-led
ImportanceMajor
Technical verificationReported
Human understandingFew

Understanding the problem

Read the background

A finitely generated group has two essentially free probability-measure-preserving actions with different costs: its Bernoulli action has cost strictly greater than one, while a suitable finite-height extension has cost closer to one.

Why it matters

If correct, gives a negative answer to Gaboriau’s general fixed-price problem.

What counts as progress

Can one group have essentially free actions with different costs?

Website timeline

Publication dates and editorial changes.