24
Stack Exchange
votes

Example of a quasi-Bernoulli measure which is not Gibbs?

Posted on 1/26/2011
UQ ID:118
Science
MathOverflow
Original

Let . For simplicity I consider measures on only.

A measure is quasi-Bernoulli if there is a constant such that for any finite sequences ,

(Here as usual is the juxtaposition of and and is the cylinder of all infinite sequences starting with .)

Let be continuous. The measure is a Gibbs measure with potential if there are and , such that for every infinite sequence and all natural , where is the left shift.

Of course, there are other definitions of Gibbs measure, but they all agree if the potential is Hölder. In this case, it follows readily that a Gibbs measure is quasi-Bernoulli.

If a measure is quasi-Bernoulli, there is an equivalent measure (mutually absolutely continuous with bounded densities) which is invariant and ergodic under the shift.


Question : Are all quasi-Bernoulli measures Gibbs? (for some continuous potential, not necessarily Hölder). If not, what is a counterexample?

Motivation : Gibbs measures (with Hölder potentials) enjoy many nice statistical properties. Sometimes I have a measure that is quasi-Bernoulli or satisfies some similar but weaker property. I would like to understand if and to what extent good statistical properties continue to hold in that setting.

Keywords & Tags
ds.dynamical-systems
measure-theory
Model Answers (9)
Submitted answers from various AI models
Unsolved
No reviews yet

K2-Think

Pending UQ Validation
Needs Human Verification
MBZUAI-IFM
Qwen2.5-32B
Sep 18, 2025, 01:50 PM

No, not all quasi-Bernoulli measures are Gibbs measures. A counterexample can be constructed by considering a convex combination of two distinct Bernoulli measures.

Counterexample:

Let ( X = {0,1}^{\mathbb{N}} ). Define two Bernoulli measures ( \mu_p ) and ( \mu_q ) with symbol probabilities ( p ) and ( q ) respectively, where ( p \neq q ) and ( p, q \in (0,1) ). For ( \mu_p...

0 model reviews
0 human reviews
No reviews yet

GPT-5

UQ Validated
Needs Human Verification
OpenAI
Sep 2, 2025, 06:56 AM

No.

A convenient way to see this is via the subadditive (almost additive) thermodynamic formalism. There are natural quasi-Bernoulli equilibrium measures that come from almost additive potentials, and in general these cannot be realised as Gibbs measures for any single continuous (additive) potential.

Outline.

  1. Almost additive potentials and their equilibrium states.
    On the full shift X = {...
0 model reviews
0 human reviews
No reviews yet

o4 mini

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

No – quasi‐Bernoulli is strictly weaker than Gibbs. In fact one can take any continuous, strictly positive “g‐function’’ whose cylinder‐variation tends to zero but is not summable, and its unique g–measure will be ψ–mixing (hence quasi–Bernoulli) but not Bowen‐Gibbs for any continuous potential. Here is the classical construction of Walters (1975):

  1. Define (g:X\to(0,1)) on (X={0,1}^{...
0 model reviews
0 human reviews
No reviews yet

o3 Pro

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

No.
There are quasi–Bernoulli measures on the full 2–shift which are not Gibbs for any continuous potential.
A concrete example can be obtained from a very simple finite–state hidden Markov process (“the even–zero process’’).


1 The process

Hidden states : E (“even’’) and O (“odd’’).

...

0 model reviews
0 human reviews
No reviews yet

Claude Opus 4

Failed UQ Validation
Needs Human Verification
Anthropic
Aug 1, 2025, 12:00 AM

This is a very nice question about the relationship between quasi-Bernoulli and Gibbs measures on symbolic spaces.

The answer is no - not all quasi-Bernoulli measures are Gibbs measures, even for continuous potentials.

Counterexample

A concrete counterexample can be constructed using g-measures (also called chains with complete connections). Here's a sketch:

Consider a g-function $g...

0 model reviews
0 human reviews
No reviews yet

DeepSeek R1

Failed UQ Validation
Needs Human Verification
DeepSeek
deepseek-ai/DeepSeek-R1
Aug 1, 2025, 12:00 AM
<think> We are given a question from MathOverflow asking for an example of a quasi-Bernoulli measure that is not Gibbs. The user has provided definitions and context.

First, recall the definitions:

  1. Quasi-Bernoulli measure: A measure μ on X = {0,1}^ℕ is quasi-Bernoulli if there exists a constant C ≥ 1 such that for any two finite sequences (blocks) i and j, we have: [ C^{-1} \mu[ij]...
0 model reviews
0 human reviews
No reviews yet

Gemini 2.5 Pro

Failed UQ Validation
Needs Human Verification
Google
Aug 1, 2025, 12:00 AM

Excellent question. The answer is no, not all quasi-Bernoulli measures are Gibbs measures for a continuous potential.

The distinction is subtle and gets to the heart of what "long-range order" means in one dimension. A Gibbs measure for a continuous potential has strong regularity properties, which turn out to be more restrictive than the quasi-Bernoulli condition.

The Key Idea for a Cou...

0 model reviews
0 human reviews
No reviews yet

Claude 3.7 Sonnet

Failed UQ Validation
Needs Human Verification
Anthropic
Aug 1, 2025, 12:00 AM

Example of a Quasi-Bernoulli Measure Which is Not Gibbs

This is an interesting question in dynamical systems and ergodic theory. Let me work through it systematically.

Understanding the Definitions

A measure μ on X = {0,1}^ℕ is:

  • Quasi-Bernoulli if there exists C ≥ 1 such that for any finite sequences i and j: C^(-1) μ[ij] ≤ μ[i]μ[j] ≤ Cμ[ij]

  • Gibbs measure with potential f i...

0 model reviews
0 human reviews
No reviews yet

o3

Failed UQ Validation
Needs Human Verification
OpenAI
Aug 1, 2025, 12:00 AM

No.
A quasi–Bernoulli measure need not be a Gibbs measure.
Below we give an explicit invariant and ergodic measure on
X={0,1}^{ℕ} which satisfies the quasi–Bernoulli inequalities but for which no continuous potential can satisfy the Gibbs bounds.

  1. Construction of the measure μ

Think of the configuration as a string of blocks
“several 0’s followed by a 1”.
Choose the succe...

0 model reviews
0 human reviews
Submit Your Model's Answer
Your submission will be validated by our LLM validator and then by human experts

You need to be logged in to submit an answer