Loading [MathJax]/jax/element/mml/optable/BasicLatin.js
Функциональный анализ и его приложения
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Скоро в журнале
Архив
Импакт-фактор
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Функц. анализ и его прил.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Функциональный анализ и его приложения, 2024, том 58, выпуск 1, страницы 117–124
DOI: https://doi.org/10.4213/faa4113
(Mi faa4113)
 

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Квазиподобие, энтропия и дизъюнктность эргодических действий

В. В. Рыжиковa, Ж.-П. Тувеноb

a Московский государственный университет имени М. В. Ломоносова, Москва, Россия
b Sorbonne Université, Paris, France
Список литературы:
Аннотация: В статье дан ответ на вопрос А. М. Вершика о связи отношения квазиподобия динамических систем с энтропией Колмогорова. Доказано, что все бернуллиевские действия заданной бесконечной счетной группы лежат в одном классе квазиподобия. Открытый вопрос: попадает ли в этот класс небернуллиевское действие? Антиподом квазиподобия является дизъюнктность (независимость) действий. М. С. Пинскер доказал, что детерминированное действие независимо от действия с вполне положительной энтропией. При помощи джойнингов в статье получено следующее обобщение теоремы Пинскера: действие с нулевой P-энтропией, инвариантом, предложенным А. А. Кирилловым и А. Г. Кушниренко, и действие с вполне положительной P-энтропией независимы.
Ключевые слова: дизъюнктность сохраняющих меру действий, квазиподобие, энтропийные инварианты, пуассоновские надстройки.
Поступило в редакцию: 17.03.2023
Исправленный вариант: 12.09.2023
Принята в печать: 22.09.2023
Англоязычная версия:
Functional Analysis and Its Applications, 2024, Volume 58, Issue 1, Pages 90–96
DOI: https://doi.org/10.1134/S0016266324010088
Реферативные базы данных:
Тип публикации: Статья

Анатолию Моисеевичу Вершику в связи с его 90-летием

§ 1. Введение

В эргодической теории известны несколько типов эквивалентности сохраняющих меру действий. К ним относятся изоморфизм, слабый изоморфизм, квазиподобие и спектральный изоморфизм. Под изоморфизмом подразумевается сопряжение действий обратимым преобразованием, сохраняющим меру. Слабый изоморфизм двух динамических систем означает, что каждая система изоморфна подсистеме, иначе говоря, фактору другой системы. Напомним, что фактор — это ограничение действия на некоторую инвариантную сигма-алгебру. Квазиподобие двух действий означает существование инъективного марковского оператора с плотным образом, сплетающего эти действия. Отсутствие нетривиального марковского сплетения означает дизъюнктность систем.

Спектральный изоморфизм подразумевает наличие унитарного сплетающего оператора. Все бернуллиевские автоморфизмы спектрально изоморфны (имеют счетнократный лебеговский спектр), но, как показал A. Н. Колмогоров, их различает энтропия [1]. Я. Г. Синай доказал, что бернуллиевские автоморфизмы с одинаковой энтропией слабо изоморфны [2], а Д. Орнстейн установил их изоморфизм [3].

В работе [4] А. М. Вершик предложил понятие квазиподобия, в связи с которым возник ряд интересных задач. Одна из них решена К. Франчеком и М. Леманчиком [5]: они предъявили квазиподобные автоморфизмы, не являющиеся слабо изоморфными. Вопрос об инвариантности энтропии относительно квазиподобия оставался открытым. Мы отвечаем на него отрицательно, показав, что все бернуллиевские действия заданной бесконечной счетной группы квазиподобны. Доказательство использует идею бернуллиевских джойнингов из работы [6].

Пусть действие T обладает инвариантной сигма-алгеброй, его ограничение на эту алгебру называется фактором. Мы говорим <<S-фактор>>, если фактор изоморфен действию S. Свойство динамической системы называется наследственно устойчивым, если оно наследуется как факторами, так и всякой системой, порожденной своими факторами с этим свойством. Инвариант <<иметь нулевую энтропию>> является наследственно устойчивым. М. С. Пинскер в [7] установил, что детерминированное действие дизъюнктно с действием с вполне положительной энтропией. Это означает, что фактор с нулевой энтропией и фактор с вполне положительной энтропией всегда независимы. Это свойство равносильно дизъюнктности таких действий. Мы предлагаем обобщение результата Пинскера, заменяя энтропию Колмогорова на P-энтропию Кириллова– Кушниренко (см. [11]–[13]). С помощью джойнингов мы показываем, что действие с вполне положительной P-энтропией дизъюнктно с действием с нулевой P-энтропией. Примеры детерминированных Z-действий с вполне положительной P-энтропией будут предъявлены в классе пуассоновских надстроек.

§ 2. Квазиподобие бернуллиевских действий

Теорема 2.1. Все бернуллиевские действия бесконечной счетной группы квазиподобны.

Доказательство. Пусть S — схема Бернулли типа
(1/2,a,1/2a),0<a<1/2.
Она имеет очевидные бернуллиевские факторы SP, SQ, где SP имеет тип (a,1a), а SQ — тип (1/2,1/2). Эти факторы порождают нашу систему S.

Идея доказательства следующая. Пусть EQ — ортогональная проекция на пространство фактора SQ (это пространство обозначается через L2(Q)). Определим оператор J формулой J=EQ|L2(P). Тогда J — марковский инъективный оператор, сплетающий факторы SP и SQ, причем образ JL2(P) плотен в L2(Q). Итак, факторы SP, SQ квазиподобны. Построение такого оператора J подсказано леммой 4 из [6].

Теперь приведем подробные рассуждения. Рассмотрим разбиения

ξ={A,XA},0<μ(A)=a<1/2,
и
β={B,XB},μ(B)=1/2,
где
X=[0,1],A=[0,a],B=[0,1/2],μмера Лебега на X.
Определим марковский оператор J:L2(X)L2(X) как интегральный оператор со следующим ξ×β-измеримым ядром K(x,y):
K(x,y)=0,(x,y)A×B,K(x,y)=11a,(x,y)(XA)×B,K(x,y)=2,(x,y)A×(XB),K(x,y)=12a1a,(x,y)(XA)×(XB).
Напомним, что марковский оператор J по определению сохраняет положительность функций, причем J и J оставляют константы неподвижными.

Пусть S — стандартный сдвиг в пространстве XZ, и пусть A обозначает сигма-алгебру, порожденную множествами

Sn(×X×X×A×X×X×),
а B — сигма-алгебру, порожденную множествами
Sn(×X×X×B×X×X×).

Ограничение сдвига S на A является автоморфизмом Бернулли Ta с энтропией

H(ξ)=alog2a(1a)log2(1a),
а его ограничение на B есть автоморфизм Бернулли T с энтропией H(β)=1.

Теперь рассмотрим марковский оператор Ja:L2(XZ,μZ)L2(XZ,μZ),

Ja=zZJ=JJJ.
Оператор Ja сплетает автоморфизм Ta с автоморфизмом T:
TJa=JaTa.
Образ оператора Ja плотен:
¯JaL2(A)=L2(B),
и
KerJa=0,
поскольку тензорные степени инъективного оператора J также инъективны. Таким образом, для всех a, 0<a<1/2, получаем, что Ta квазиподобен автоморфизму T.

Поскольку степень Tna квазиподобна степени Tna, 0<a<1/2, а для энтропии h выполнено равенство h(Tna)=nh(Ta), мы очевидным образом для любых c,c>0 найдем бернуллиевские автоморфизмы T, T, такие, что h(T)=c, h(T)=c и T квазиподобен T.

Замечаем, что оператор

JaJa2Ja3
сплетает автоморфизм с конечной энтропией с автоморфизмом TTT, имеющим бесконечную энтропию. Применение теоремы Орнстейна об изоморфизме [3] завершает доказательство для Z-действий.

Для действий счетной группы G повторяем приведенные выше рассуждения (подставляя (XG,μG) вместо (XZ,μZ)). Для группы с элементом бесконечного порядка используем результаты А. М. Степина из [8]. Для периодических счетных бесконечных групп доказательство завершает применение теоремы 1.1 Сьюарда из [9].

Возникает интригующий вопрос: найдется ли пара действий с вполне положительной энтропией, не являющихся квазиподобными?

§ 3. Наследственно устойчивые инварианты и P-энтропия

Напомним, что инвариант динамической системы называется наследственно устойчивым, если он наследуется факторами и наследуется системой, порожденной факторами, обладающими этим инвариантом. Заметим, что свойство иметь вполне положительную энтропию не является наследственно устойчивым. В [10] доказано, что для заданного эргодического автоморфизма T с нулевой энтропией найдется действие, порожденное двумя бернуллиевскими факторами и при этом обладающее T-фактором.

Теорема 3.1. Пусть действие S обладает наследственно устойчивым свойством, а действие T таково, что оно и любой его нетривиальный фактор этим свойством не обладают. Тогда S и T дизъюнктны.

Доказательство. Если действия S и T не дизъюнктны, существует система, порожденная счетным семейством S-факторов и имеющая нетривиальный фактор, изоморфный некоторому фактору действия T. Это утверждение в терминах джойнингов см. в [14], лемма 3.2. Из условий теоремы мы видим, что такого нетривиального фактора в нашем случае не существует. Следовательно, действия S и T дизъюнктны.

P-энтропия Кириллова–Кушниренко

Рассмотрим небольшую модификацию энтропии Кириллова–Кушниренко. Пусть P={Pj} — последовательность конечных подмножеств в счетной бесконечной группе G. Для сохраняющего меру действия T={Tg} группы G определим

hj(T,ξ)=1|Pj|H(pPjTpξ),hP(T,ξ)=lim sup
где \xi обозначает конечное измеримое разбиение пространства X, а H(\xi) — энтропия разбиения \xi:
\begin{equation*} H(\{C_1,\dots,C_n\})=-\sum_{i=1}^n \mu( C_i)\ln \mu( C_i). \end{equation*} \notag

В статье Кириллова [11] предполагается, что множества P_j образуют монотонную по включению последовательность. Мы этого не требуем.

Далее будет рассмотрен случай G= {\mathbb {Z}} , причем для удобства множества P_j выбираются в виде возрастающих прогрессий,

\begin{equation*} P_j=\{j,2j,\dots, L(j)j\},\qquad L(j)\to\infty. \end{equation*} \notag

Примеры автоморфизмов с нулевой P-энтропией

Пусть T имеет нулевую энтропию. Степени T^n также имеют нулевую энтропию. Итак, для любых \xi и j существует L(j), для которого

\begin{equation*} h_j(T^j,\xi)<1/j. \end{equation*} \notag
Мы можем выбрать такие j_k\to \infty, что для P=\{P_{j_k}\colon k\in {\mathbb {N}} \} и всех конечных разбиений \xi получим \limsup_kh_{j_k }(T,\xi) =0, h_P(T)=0 (см. [13]).

Лемма 3.2. Нулевая P-энтропия наследственно устойчива.

Лемма очевидным образом следует из того, что \xi_1\vee\cdots\vee \xi_n является порождающим разбиением для системы F_1\vee\cdots\vee F_n, если \xi_m, 1\leqslant m\leqslant n, являются порождающими разбиениями для соответствующих факторов F_m.

Отметим, что такое наследственно устойчивое свойство, как <<обладать дискретным спектром>>, имеет энтропийную природу (см. [12; теорема 4]). Интересно узнать, исчерпываются ли все наследственно устойчивые инварианты комбинациями обсуждаемых энтропийных инвариантов?

§ 4. Пуассоновские надстройки с вполне положительной P-энтропией

Говорим, что действие имеет вполне положительную P-энтропию, если любой нетривиальный фактор этого действия имеет положительную P-энтропию. Из теоремы 3.1 и леммы 3.2 получаем следующее утверждение.

Теорема 4.1. Пусть действие T имеет вполне положительную P-энтропию, а действие S имеет нулевую P-энтропию. Тогда T и S дизъюнктны (S-фактор и T-фактор всегда независимы).

Примеры детерминированных систем с вполне положительной P-энтропией удобно искать среди пуассоновских надстроек T_\circ над бесконечными преобразованиями T ранга один.

Конструкции ранга один

Пусть заданы параметры h_1=1, r_j\geqslant 2 и наборы натуральных чисел

\begin{equation*} \bar s_j=(s_j(1),\dots,s_j(r_j)),\qquad s_j(i)\geqslant 0,\;j\in {\mathbb {N}} . \end{equation*} \notag

Фазовое пространство X для преобразования T, определенного ниже, представляет собой объединение башен

\begin{equation*} X_j= \bigsqcup _{i=0}^{h_j-1} T^iB_j, \end{equation*} \notag
где T^iB_j — непересекающиеся полуинтервалы, называемые этажами.

На этапе j преобразование T определено как обычный перенос интервалов (этажей), но на верхнем этаже T^{h_j-1}B_j башни X_j преобразование пока не определено. Башня X_j разрезается на r_j одинаковых узких подбашен X_{j,i} (они называются колоннами), и над каждой колонной X_{j,i} добавляется s_j(i) новых этажей. Преобразование T по-прежнему определяется как подъем на этаж выше, но самый последний надстроенный этаж над колонной с номером i преобразование T отправляет в нижний этаж колонны с номером i+1. Таким образом возникает новая башня

\begin{equation*} X_{j+1}= \bigsqcup _{i=0}^{h_{j+1}-1} T^iB_{j+1} \end{equation*} \notag
высоты
\begin{equation*} h_{j+1}=r_jh_j+\sum_{i=1}^{r_j}s_j(i), \end{equation*} \notag
где B_{j+1} — нижний этаж колонны X_{j,1}. Отметим, что, доопределяя преобразование, мы полностью сохраняем предыдущие построения. Продолжая этот процесс до бесконечности, получаем обратимое преобразование T\colon X\to X, сохраняющее меру Лебега, на объединении X= \bigsqcup _j X_j. В [15], [16] можно найти разнообразные применения таких конструкций, в том числе для гауссовских и пуассоновских надстроек.

Пространство Пуассона

Рассмотрим конфигурационное пространство X_\circ, состоящее из всех бесконечных счетных множеств x_\circ\in X, таких, что каждый интервал из пространства X содержит лишь конечное число элементов множества x_\circ.

Пространство X_\circ оснащается мерой Пуассона. Напомним ее определение. Подмножествам A\subset X конечной \mu-меры в конфигурационном пространстве X_\circ сопоставлены цилиндрические множества C(A,k), k=0,1,2,\dots, по формуле

\begin{equation*} C(A,k)=\{x_\circ\in X_\circ\colon|x_\circ\cap A|=k\}. \end{equation*} \notag

Всевозможные конечные пересечения вида \bigcap_{i=1}^N C(A_i,k_i) образуют полукольцо. На этом полукольце определена мера \mu_\circ следующим образом: при условии, что измеримые множества A_1,\dots,A_N не пересекаются и имеют конечную меру, положим

\begin{equation*} \mu_\circ\bigg(\bigcap_{i=1}^N C(A_i,k_i)\bigg)=\prod_{i=1}^N \frac {\mu(A_i)^{k_i}}{k_i!}\,e ^{-\mu(A_i)}. \tag{$\circ$} \end{equation*} \notag
Пояснение: если множества A, B не пересекаются, то вероятность \mu_\circ(C(A,k)\cap C(B,m)) одновременного появления k точек множества x_\circ в A и m точек множества x_\circ в B равна произведению вероятностей \mu_\circ(C(A,k)) и \mu_\circ( C(B,m)). Другими словами, события C(A,k)) и C(B,m) независимы. Так как множества A_1,\dots,A_N не пересекаются, в формуле (\circ) фигурирует произведение соответствующих вероятностей. Классическое продолжение меры определяет пространство Пуассона (X_\circ,\mu_\circ), изоморфное стандартному вероятностному пространству Лебега. Автоморфизм T пространства (X,\mu) естественным образом индуцирует автоморфизм T_\circ пространства (X_\circ,\mu_\circ), называемый пуассоновской надстройкой над T.

Таким образом, c сохраняющим сигма-конечную меру действием группы ассоциирован ее пуассоновский образ в группе автоморизмов вероятностного пространства. Этот замечательный факт нашел разнообразные применения как в эргодической теории, так и в теории представлений (см., например, [17]–[19]).

Пуассоновские надстройки с вполне положительной P-энтропией

Пусть дана последовательность L(j)\to\infty. Рассмотрим преобразования T ранга один, для параметров которого выполнено неравенство s_j(i)>L(j)h_j. Тогда \mu (X_j)\to\infty для соответствующих башен X_j, причем множества

\begin{equation*} X_j,T^{h_j}X_j,T^{2h_j}X_j,\dots,T^{L(j)h_j}X_j \end{equation*} \notag
не пересекаются.

Пусть C=C(A,k), где A\subset X_{j_0}. Заметим, что для пуассоновской надстройки T_\circ множества

\begin{equation*} C,T^{h_j}_\circ C,T^{2h_j}_\circ C,\dots,T^{L(j)h_j}_\circ C \end{equation*} \notag
\mu_\circ-независимы, так как A,T^{h_j}A,\dots,T^{L(j)h_j}A не пересекаются. Стандартные рассуждения показывают, что T_\circ имеет вполне положительную P-энтропию в случае, когда
\begin{equation*} P=\{ P_j \}, \qquad P_j=\{h_j, 2h_j,\dots, L(j)h_j\}. \end{equation*} \notag
Но при этом T_\circ как надстройка над преобразованием ранга один имеет нулевую энтропию (см. [19]). Таким образом, мы приходим к следующему утверждению.

Теорема 4.2. Для всякой детерминированной пуассоновской надстройки S_\circ найдутся последовательность P, для которой h_P(S_\circ)=0, и класс детерминированных надстроек T_\circ с вполне положительной P-энтропией. Такие S_\circ и T_\circ дизъюнктны.

Отметим, что аналогичная ситуация имеет место для гауссовских действий. Мы ограничились примерами действий группы {\mathbb {Z}} , однако методы работы [13] и настоящей статьи, несомненно, позволяют строить соответствующие примеры для действий счетных аменабельных групп. Подобный подход также может быть полезным для исследования масштабированной энтропии (см. [20]) детерминированных гауссовских и пуассоновских действий.

Авторы благодарят рецензента за замечания.

Литература

1. А. Н. Колмогоров, “Новый метрический инвариант транзитивных динамических систем и автоморфизмов пространств Лебега”, Докл. АН СССР, 119:5 (1958), 861–864  mathnet  zmath
2. Я. Г. Синай, “О слабом изоморфизме преобразований с инвариантной мерой”, Матем. сб., 63(105):1 (1964), 23–42  mathnet
3. D. Ornstein, “Two Bernoulli shifts with infinite entropy are isomorphic”, Adv. in Math., 5 (1970), 339–348  crossref  mathscinet
4. A. M. Vershik, “Polymorphisms, Markov processes, and quasi-similarity”, Discrete Contin. Dyn. Syst., 13:5 (2005), 1305–1324  crossref  mathscinet  zmath
5. K. Fraçzek, M. Lemanczyk, “A note on quasi-similarity of Koopman operators”, J. Lond. Math. Soc., II Ser., 82:2 (2010), 361–375  crossref  mathscinet  zmath
6. J.-P. Thouvenot, “Remarques sur les systèmes dynamiques donnés avec plusieurs facteurs”, Israel J. Math., 21:2–3 (1975), 215–232  crossref  mathscinet  zmath
7. М. С. Пинскер, “Динамические системы с вполне положительной и нулевой энтропией”, Докл. АН СССР, 133:5 (1960), 1025–1026  mathnet  zmath
8. А. М. Степин, “Сдвиги Бернулли на группах”, Докл. АН СССР, 223:2 (1975), 300–302  mathnet  mathscinet  zmath
9. B. Seward, “Bernoulli shifts with bases of equal entropy are isomorphic”, J. Mod. Dyn., 18 (2022), 345–362  crossref  mathscinet  zmath
10. M. Smorodinsky, J.-P. Thouvenot, “Bernoulli factors that span a transformation”, Israel J. Math., 32:1 (1979), 39–43  crossref  mathscinet  zmath
11. А. А. Кириллов, “Динамические системы, факторы и представления групп”, УМН, 22:5(137) (1967), 67–80  mathnet  mathscinet  zmath
12. А. Г. Кушниренко, “О метрических инвариантах типа энтропии”, УМН, 22:5(137) (1967), 57–65  mathnet  mathscinet  zmath
13. В. В. Рыжиков, “Компактные семейства и типичные энтропийные инварианты сохраняющих меру действий”, Труды ММО, 82:1 (2021), 137–145  mathnet  zmath
14. J.-P. Thouvenot, “Entropy, isomorphism and equivalence in ergodic theory”, Handbook of Dynamical Systems, v. IA, North Holland, Amsterdam, 2002, 205–238  mathscinet  zmath
15. В. В. Рыжиков, “О сохраняющих меру преобразованиях ранга один”, Труды ММО, 81:2 (2020), 281–318  mathnet  zmath
16. В. В. Рыжиков, “Спектры самоподобных эргодических действий”, Матем. заметки, 113:2 (2023), 273–282  mathnet  crossref  zmath
17. А. М. Вершик, И. М. Гельфанд, М. И. Граев, “Представления группы диффеоморфизмов”, УМН, 30:6(186) (1975), 3–50  mathnet  zmath
18. Р. С. Исмагилов, “Об унитарных представлениях группы диффеоморфизмов пространства R^n, n\geq 2”, Функц. анализ и его прил., 9:2 (1975), 71–72  mathnet  mathscinet  zmath
19. É. Janvresse, T. Meyerovitch, E. Roy, T. de la Rue, “Poisson suspensions and entropy for infinite transformations”, Trans. Amer. Math. Soc., 362:6 (2010), 3069–3094  crossref  mathscinet  zmath
20. А. М. Вершик, Г. А. Вепрев, П. Б. Затицкий, “Динамика метрик в пространствах с мерой и масштабированная энтропия”, УМН, 78:3(471) (2023), 53–114  mathnet  crossref  mathscinet

Образец цитирования: В. В. Рыжиков, Ж.-П. Тувено, “Квазиподобие, энтропия и дизъюнктность эргодических действий”, Функц. анализ и его прил., 58:1 (2024), 117–124; Funct. Anal. Appl., 58:1 (2024), 90–96
Цитирование в формате AMSBIB
\RBibitem{RyzTho24}
\by В.~В.~Рыжиков, Ж.-П.~Тувено
\paper Квазиподобие, энтропия и дизъюнктность эргодических действий
\jour Функц. анализ и его прил.
\yr 2024
\vol 58
\issue 1
\pages 117--124
\mathnet{http://mi.mathnet.ru/faa4113}
\crossref{https://doi.org/10.4213/faa4113}
\transl
\jour Funct. Anal. Appl.
\yr 2024
\vol 58
\issue 1
\pages 90--96
\crossref{https://doi.org/10.1134/S0016266324010088}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85193498074}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/faa4113
  • https://doi.org/10.4213/faa4113
  • https://www.mathnet.ru/rus/faa/v58/i1/p117
  • Эта публикация цитируется в следующих 1 статьяx:
    1. В. В. Рыжиков, “Некоммутирующие автоморфизмы с расходящимися эргодическими средними”, Алгебра и анализ, 36:6 (2024), 122–128  mathnet
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Функциональный анализ и его приложения Functional Analysis and Its Applications
    Статистика просмотров:
    Страница аннотации:230
    PDF полного текста:12
    HTML русской версии:39
    Список литературы:42
    Первая страница:30
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025