Монотонно невозрастающие случайные поля на частично упорядоченных множествах тема диссертации и автореферата по ВАК РФ 01.01.05, кандидат физико-математических наук Бейненсон, Леонид Борисович

• Бейненсон, Леонид Борисович
• кандидат физико-математических наук
• 2009

Оглавление диссертации кандидат физико-математических наук Бейненсон, Леонид Борисович

Введение

Глава 1. Конечномерные распределения монотонно невозрас-тающих случайных полей на частично упорядоченных множествах

1.1. Вычисление конечномерных распределений монотонно невоз-растающих случайных полей на частично упорядоченных множествах по коррелятору

Глава 2. Распределения вероятностей на многогранных конусах.

2.1. Разложение вероятностной меры на многогранном конусе в сумму мер на гранях

2.2. Определение граней, правильно рассекающих блоки.

2.3. Вычисление распределений вероятности на гранях, правильно рассекающих блоки, по коррелятору

2.4. Примеры связи между следами распределений вероятностей иа гранях конуса и корреляторами

2.5. Условия, обеспечивающие правильное рассечение блоков.

2.6. Примеры многогранных конусов с гранями, правильно рассекающими блоки.

2.7. Доказательство теорем 2.2 и 2.3 из

§2.5.

2.8. Доказательство теоремы 2.1 из

§2.

Глава 3. Свойства граней конуса монотонно невозрастающих функций. Доказательство теоремы 1.1.

3.1. Описание свойств граней конуса монотонно невозрастающих функций

3.2. Доказательство теоремы 3.1 из

§3.

3.3. Доказательство теоремы 1.1 из

§1.

Глава 4. Непрерывные снизу меры на частично упорядоченных множествах

4.1. Продолжение мер, непрерывных снизу, на алгебру, порожденную идеалами частично упорядоченного множества

4.2. Пример меры, не продолжаемой по непрерывности снизу

4.3. Доказательство теоремы 4.

Глава 5. Экспоненциально распределенные случайные поля на частично упорядоченных множествах

5.1. Построение экспоненциально распределенных случайных полей на частично упорядоченных множествах по мерам, непрерывным снизу

5.2. Конечномерные распределения экспоненциально распределенных случайных полей, построенных по мерам, непрерывным снизу

5.3. Экспоненциально распределенные случайные поля на полурешетке, построенные с помощью прямого произведения мер.

5.4. Доказательство теоремы 5.1 из

§5.

5.5. Доказательство теоремы 5.2 из

§5.

5.6. Доказательство теоремы 5.3 из

§5.

5.7. Доказательство теоремы 5.4 из

§5.

5.8. Доказательство теорем 5.5 и 5.6 из

§5.3.

5.9. Доказательство теоремы 5.7 из

§5.

Глава 6. Положительно определенные функции на частично упорядоченных множествах.

6.1. Построение положительно определенных функций на частично упорядоченных множествах.

6.2. Доказательство теоремы 6.

6.3. Доказательство теоремы 6.

6.4. Примеры положительно определенных функций на частично упорядоченных множествах.

Введение диссертации (часть автореферата) на тему «Монотонно невозрастающие случайные поля на частично упорядоченных множествах»

Актуальность темы

За последние несколько десятилетий в математических работах неоднократно возникали задачи, которые можно описать в терминах вероятностных распределений на множестве идеалов некоторого частично упорядоченного множества.

Здесь, следуя за Д.-К. Рота, идеалом частично упорядоченного множества мы будем называть такое его подмножество, которое вместе с каждым элементом содержит все элементы меньшие данного (см [4] и [27]).

Как будет показано ниже, построение и исследование монотонно невоз-растающих полей на частично упорядоченных множествах естественным образом связано с исследованием распределений вероятностей на множествах идеалов частично упорядоченных множеств.

Одним из интенсивно развивающихся направлений, связанных с идеалами частично упорядоченных множеств, является исследование вероятностных распределений на множестве диаграмм Юнга - ограниченных идеалов целочисленного квадранта Л/"2, трехмерных диаграмм Юнга - ограниченных о идеалов целочисленного октанта ЛГ , а также марковские процессы, принимающие значения на множестве диаграмм Юнга.

В работах А.М.Вершика и С.В.Керова [9], [10] и [12] была исследована монотонно возрастающая марковская цепь на множестве диаграмм Юнга, у которой начальное состояние (в момент времени 0) — пустая диаграмма Юнга, каждое следующее состояние отличается от предыдущего на одну ячейку, а распределение вероятностей для значения цепи в момент времени п соответствует мере Планшереля симметрической группы степени п. В этих работах описано асимптотическое поведение для описанной в них марковской цепи при больших временах; в частности, была найдена асимптотическая форма диаграмм Юнга, являющихся значениями этой марковской цепи.

Также одной из рассматривавшихся задач этого направления является исследование распределения вероятностей на множестве ограниченных идеалов о решетки IV , в случае, когда вероятность каждого идеала пропорциональна экспоненте от произведения мощности этого идеала и некоторого отрицательного коэффициента:

Р(/) = (1)

В работе Р. Кениона и Р. Серфа [21] была исследована предельная форма случайного идеала, распределенного в соответствии с этой формулой, при а 0.

В работах А.Ю. Окунькова и соавторов [20, 24 -26] был описан аналитический подход к изучению распределений вероятностей на диаграммах Юнга. Так, например, в работе А. Бородина, А. Окунькова и Г. Ольшанского [20] этот подход использовался для исследования формы значений описанной выше марковской случайной цепи на множестве диаграмм Юнга (также см. [25]), а в работе [26] А. Окуньковым и Н. Решетихиным была изучена форма случайного идеала решетки ЛГ3 как в случае, когда распределение вероятностей задается формулой (1), так и в некоторых более общих случаях.

Другое направление, связанное с распределениями вероятностей на идеалах частично упорядоченных множеств, возникло при построении модели кровотока в сети мелких сосудов. В работе [16] В.А.Антонцом, М.А.Антонцом и И.А. Шерешсвским была построена модель кровотока как марковская цепь, значению которой в каждый момент времени соответствовало корневое дерево сосудов, которые в данный момент заполнены. Таким образом, в этой модели состояние марковской цепи в каждый момент времени описывалось распределением вероятностей на множестве идеалов частично упорядоченного множества — бесконечного корневого дерева Т.

В работе [1] М.А. Антонцом и И.А. Шерешевским был проведен анализ поведения этой марковской цепи и было доказано, что при определенных условиях она будет стремиться к предельному состоянию описывающемуся следующим образом: для любого поддерева Т* дерева Т имеет место равенство т': Т' ЭГ} (2) где V - мера на множестве вершин дерева Т, определяемая только переходными вероятностями марковского процесса.

В работе [2] М.А. Антонцом и И.А. Шерешевским в связи с рассмотрением моделей роста на произвольном частично упорядоченном множестве (см. [17]) было дано обобщение конструкции меры, описываемой формулой (2); а именно, была построена мера рр на множестве С{Б) всех идеалов частично упорядоченного множества удовлетворяющая для любого идеала I из следующему соотношению: рр{Г е ЦБ) : I' =) /} = е-Р^ (3) где р — некоторая конечно-аддитивная (возможно, неограниченная) мера на Б. В [2] также были найдены условия на меру р: обеспечивающие существование меры /1р, удовлетворяющей (3), и было показано, что мера рр однозначно определяется мерой р.

Мера рр, определяемая формулой (3), была названа в [2] геометрической мерой, поскольку ее конструкция является обобщением известного геометрического распределения вероятности на определяемого соотношением Р{х е N : х>п} = ( 1 - р)п~1.

В работе [2] также исследовались безгранично делимые меры на решетке идеалов частично упорядоченного множества относительно теоретико-множественного пересечения и было показано, что геометрическая мера является безгранично делимой.

Следует заметить, что безгранично делимые меры на различных решетках (в частности, решетках множеств) ранее изучались многими авторами. Так, в теории Г.Шоке рассматриваются безгранично делимые меры на решетке замкнутых множеств некоторого топологического пространства (см., например, [13]), а И. Молчановым в [23, §§3.1-3.2] рассматривались безгранично делимые меры на решетках, топология Скотта которых обладает счетной базой. Однако результаты, полученные М.А. Антонцом и И.А. Шерешевским, не могут быть выведены из результатов Г.Шоке и И.Молчанова, поскольку решетка идеалов частично упорядоченного множества, рассматривавшаяся в работах М.А.Антонца и И.А.Шерешевского ие является частным случаем решеток, рассматриваемых Г.Шоке или И.Молчановым.

В работе [2] было также указано на существование связи между случайными полями на частично упорядоченном множестве Н и мерами на множестве С{Н х И) идеалов частично упорядоченного множества Н х Д.

Эта связь обусловлена соответствием между монотонно невозрастающими функциями частично упорядоченном множестве Н и идеалами частично упорядоченного множества Яхй: любой монотонно невозрастающей действительной функции / на Н отвечает идеал Ы/ — |(а, у) € Н х И : у < /(а)| частично упорядоченного множества Н х Л,

Используя это соответствие, можно по случайному монотонно невозрас-тающему полю £ на частично упорядоченном множестве Н построить меру на множестве С(Н х И) идеалов частично упорядоченного множества Яхй: если все реализации случайного поля £ на Н являются монотонно невозрастающими функциями, то мы можем определить меру // на £(Н х Н): полагая для некоторого подмножества А множества идеалов С{Н х Л)

- при этом сигма-алгебра, на которой будет определена мера //, порождается 9 подмножествами А множества £(Ях Д), для которых определено выражение в правой части данного соотношения.

Определим для любого конечного подмножества Л множества Н и любой функции х : Л —» И подмножество Yлж множества Яхй, как минимальный идеал частично упорядоченного множества Ях Д порожденным элементами {(а,ж(а)), а е Л}: У {(а',у') еН хй: о! < а, у' < ж(а)} (4) аеЛ

Множество Yлcc является обобщением диаграммы Юнга на случай частично упорядоченного множества Ях Д.

Заметим, что действительная функция / на Н удовлетворяет системе неравенств /(а) > ж (а), а Е Л в том и только в том случае, когда идеал Ы/ содержит идеал

Отсюда вытекает, что если для некоторого случайного поля £ на Н соответствующая ему мера /¿^ на С{Н х Н) совпадает с некоторой геометрической мерой /Хр, то для любого конечного подмножества Л множества Н и любой функции х : Л —»• Н будет выполняться соотношение

Р(а) > ж(а) Уа € л} = ехр (

Таким образом мы приходим к следующей задаче: построить по мере р па Я х Я случайное поле монотонно невозрастающее случайное поле т]р на Н такое, что для любого конечного подмножества Л множества Н и любой функции ж : А —> И. имеет место равенство

Р{^р(а)>ж(а) УабЛ} = ехр ( - р (Ч^ж) ) (5)

Будем называть монотонно невозрастающее случайное поле г)р: удовлетворяющее данному условию для некоторой меры /9, экспоненциально распределенным случайным полем.

Цели и задачи диссертационной работы

Цели данной диссертационной работы:

• Построение по мере р, заданной на Н х Л, экспоненциально распределенного случайного поля г\р на Н.

Описание множества мер, заданных на Н х Д, по которым можно построить экспоненциально распределенное случайное поле на Н.

• Исследование структуры конечномерных распределений экспоненциально распределенного случайного поля г)р

В данной работе, следуя [2] и [26], коррелятором д„ меры определенной на частично упорядоченном множестве ¿7, мы называем действительную функцию на Б, определяемую следующим выражением: для любого ж из 5

Заметим, что вероятность в левой части формулы (5) является коррелятором конечномерного распределения случайного поля г\р.

Также заметим что конечномерные распределения экспоненциально распределенного случайного поля т]р однозначно определяются формулой (5). Тем не менее для проведения анализа структуры этих конечномерных распределений требуются дополнительные комбинаторно-геометрические построения.

В ходе исследования решались следующие задачи:

1. Описание мер, непрерывных снизу на частично упорядоченном множестве.

Построение по мере р, непрерывной снизу на И х Л, экспоненциально распределенного случайного поля г\р на Н.

2. Построение разложения конечномерного распределения монотонно невозрастающего случайного поля в сумму абсолютно непрерывной меры и сингулярных мер, сосредоточенных на подпространствах различной размерности.

Выражение сингулярных слагаемых этого разложения через односторонние частные производные коррелятора конечномерного распределения.

3. Выражение сингулярных составляющих конечномерного распределения экспоненциально распределенного случайного поля г]р через частные производные функции распределения меры р

4. Вычисление конечномерных распределений и вероятностных характеристик экспоненциально распределенного случайного поля г)р, в частном случае, когда мера р является прямым произведением некоторой меры 7 на Н и меры А+, являющейся ограничением меры Лебега А на положительную полуось р — 7 х А+.

В процессе исследования пришлось решать также следующие задачи:

5. Описание свойств многогранного конуса всех монотонно невозрастаю-щих функций на конечном частично упорядоченном множестве

6. Выражение распределений вероятности на гранях многогранного конуса через односторонние частные производные коррелятора.

7. Определение условий, при которых меры, заданные на алгебре, порожденной главными идеалами частично упорядоченного множества, и непрерывные снизу, могут быть продолжены на алгебру, порожденную всеми идеалами этого частично упорядоченного множества, при сохранении условия непрерывности снизу

Объект и предмет исследования

Объектом исследования данной диссертации являются монотонно невоз-растающие случайные поля на частично упорядоченных множествах.

Предметом исследования данной диссертации являются экспоненциально распределенные случайные поля на частично упорядоченных множествах и структура их конечномерных распределений.

Заметим, однако, что, хотя предметом непосредственного исследования этой диссертации являются экспоненциально распределенные случайные поля, некоторые из полученных результатов относятся к монотонно иевоз-растающим случайным полям общего вида.

Методы исследования

В данной диссертационной работе используются методы теории вероятностей и теории меры (в частности, геометрической теории меры), теории частично упорядоченных множеств, теории решеток, а также теории многогранных конусов.

Научная новизна

Результаты данной диссертационной работы являются новыми. Исследование структуры конечномерных распределений случайных полей экспоненциального типа на частично упорядоченных множествах производится впервые.

Теоретическая и практическая ценность

Результаты, полученные в данной диссертационной работе, имеют теоретический характер.

Результаты работы могут быть использованы в дальнейших исследованиях при изучении монотонно невозрастающих полей на частично упорядоченных множествах, а также при изучении моделей роста на произвольных частично упорядоченных множествах

Самостоятельный интерес представляет предложенный метод построения неотрицательно определенных и положительно определенных функций на частично упорядоченных множествах.

Апробация работы

Основные результаты диссертации докладывались на совместных научных семинарах кафедры теории вероятностей и математической статистики и кафедры математической логики и высшей алгебры факультета Вычислительной Математики и Кибернетики Нижегородского государственного университета им. Н.И.Лобачевского (сентябрь и октябрь 2006 года).

Также основные положения диссертации докладывались па семинаре в Добрушинской математической лаборатории Института проблем передачи информации им. А.А.Харкевича Российской академии наук (апрель 2006 года)

Также некоторые из результатов данной работы докладывались на четвертой молодежной научной школе по дискретной математике и ее приложениям, проходившей на механико-математическом факультете Московского государственного университета им. М.В.Ломоносова (сентябрь 2000 года), и на VII Нижегородской сессии молодых ученых, проходившей в Сарове (май 2002 года).

Публикации

Результаты диссертации опубликованы в двух работах автора: [5, 6]. Перевод этих работ на английский язык см. в [18, 19].

Личный вклад автора

Все результаты, выносимые на защиту, получены автором самостоятельно.

Структура диссертации

Текст диссертации можно разделить на три части:

• в главах 1-3 методы геометрической теории меры и теории многогранных конусов используются, чтобы описать структуру конечномерного распределения монотонно невозрастающего случайного поля;

• главы 4 и 5 посвящены построению экспоненциально распределенных случайных полей на частично упорядоченных множествах, исследованию конечномерных распределений этих полей, и вычислению их вероятностных характеристик;

• в главе 6 результаты главы 5 используются для построения неотрицательно определенных и положительно определенных функций на частично упорядоченных множествах.

Опишем план диссертации.

Заключение диссертации по теме «Теория вероятностей и математическая статистика», Бейненсон, Леонид Борисович

Заключение

В данной работе получены следующие результаты:

1. Найдены условия, при которых распределения вероятности на гранях многогранного конуса выражаются через односторонние частные производные коррелятора.

2. Дано описание свойств граней многогранного конуса всех монотонно невозрастающих функций на конечном частично упорядоченном множестве

3. Найдены условия, при которых конечномерные распределения монотонно невозрастающего случайного поля разлагаются в сумму абсолютно непрерывной меры и сингулярных мер, сосредоточенных на подпространствах различной размерности.

Также найдены формулы, позволяющие выразить сингулярные слагаемые этого разложения через односторонние частные производные коррелятора конечномерного распределения.

4. Определены условия, при которых меры, заданные на алгебре, порожденной главными идеалами частично упорядоченного множества, и непрерывные снизу, могут быть продолжены на алгебру, порожденную всеми идеалами этого частично упорядоченного множества, при сохранении условия непрерывности снизу

Найдены условия, при которых по мере р, непрерывной снизу па Яхй, можно построить экспоненциально распределенное случайное поле Г)р на Н.

Получены соотношения, с помощью которых сингулярные составляющие конечномерного распределения экспоненциально распределенного случайного поля г\р, сосредоточенные на подпространствах различной размерности, можно выразить через частные производные функции распределения меры р.

7. Вычислены конечномерные распределения и вероятностные характеристики экспоненциально распределенного случайного поля т]р: в частном случае, когда мера р является прямым произведением некоторой меры 7 на Н и меры А+, являющейся ограничением меры Лебега А на положительную полуось И+: р = 7 х А+.

8. Также был предложен метод построения неотрицательно определенных и положительно определенных функций на частично упорядоченных множествах.

Список литературы диссертационного исследования кандидат физико-математических наук Бейненсон, Леонид Борисович, 2009 год

1. Антонец М.А., Шерешевский И.А. Анализ стохастической модели роста деревьев // Труды Московского Математического Общества. — 1995.— Т. 56.

2. Антонец М.А., Шерешевский И. А. Безгранично делимые распределения вероятностей на решетках // Алгебра и анализ. — 1993. — Т. 5, № 6. — С. 39-68.

3. Антонец М.А., Шерешевский И.А. Об одной модели роста деревьев // Теория вероятностей и ее применения. — 1991. — Т. 36. — С. 548-553.

4. Барнабеи М., Брини А., Рота Д. Теория функций Мёбиуса // Успехи математических наук. — 1986. — Т. 41, № 3. — С. 113-157.

5. Бейненсон Л.Б. Монотонно нсвозрастающие случайные поля на частично упорядоченных множествах. I. // Записки научных семинаров ПО-МИ. 2003. - Т. 301. - С. 92-143.

6. Бейненсон Л.Б. Монотонно невозрастающие случайные поля на частично упорядоченных множествах. II. Распределения вероятностей на многогранных конусах. // Записки научных семинаров ПОМИ. — 2004. — Т. 307.-С. 5-56.

7. Биркгоф Г. Теория решеток: Пер. с англ. — М.: Наука, 1984.

8. Бренстед А. Введение в теорию выпуклых многогранников. — М.: Мир, 1988.

9. Бершик A.M., Керов С.В. Асимптотика меры Планшереля симметрической группы и предельная форма таблиц Юнга // ДАН СССР. — 1977. — Т. 233, №6.-С. 1024-1027.

10. Вершик A.M., Керов С.В. Асимптотика максимальной и типичной размерностей неприводимых представлений симметрической группы // Функциональный анализ и его приложения. — 1985.— Т. 19, № 1.— С. 25-36.

11. Емеличев В.А., Ковалев М.М., Кравцов М.К. Многогранники, графы, оптимизация. — М.: Наука, 1981.

12. Керов С. В. Переходные вероятности континуальных диаграмм Юнга и проблема моментов Маркова // Функциональный анализ и его приложения. — 1993. Т. 27, № 2. — С. 32-49.

13. Матерон Ж. Случайные множества и интегральная геометрия: Пер. с англ. — М.: Мир, 1978.

14. Схрейвер А. Теория линейного программирования и целочисленного линейного программирования. — М.: Мир, 1991.

15. Федерер Г. Геометрическая теория меры: Пер. с англ. — М.: Наука, 1987.

16. Antonets V., Antonets М., Shereshevskiy I. On the mechanism of blood perfusion of tissues // Lecture notes of the ICB seminars: Mechanics of blood circulation / Ed. by A.Morecki, G.Chernyj, A.Rachev. — ICB Warsaw, 1992. Pp. 12-33.

17. Antonets M., Shereshevskiy I. Some mathematical models for the pattern growth in the ordered systems // Fractals in the Fundamental and Applied Sciences. 1991. - Pp. 1-16.

18. Beinenson L. Monotone Nonincreasing Random Fields on Partially Ordered Sets. I // Journal of Mathematical Sciences. — 2005.— Vol. 129, no. 2.— Pp. 3730-3756.

19. Deinenson L. Monotone Nonincreasing Random Fields on Partially Ordered Sets. II. Probability Distributions on Polyhedral Cones // Journal of Mathematical Sciences. 2005. — Vol. 131, no. 2. — Pp. 5445-5470.

20. Borodin A., Okounkov A., Olshanski G. Asymptotics of Plancherel measures for symmetric groups // Journal of the American Mathematical Society. — 2000. Vol. 13, no. 3. Pp. 481-515.

21. Cerf R., Kenyon R. The low-temperature expansion of the Wulff crystal in the three-dimensional Ising model // Communications in Mathematical Physics. 2001. - Vol. 222. - Pp. 147-179.

22. Horn A., Tarski A. Measures in boolean algebras // Transactions of the American Mathematical Society. — 1948. — Vol. 64. — Pp. 467-497.

23. Molchanov I. Theory of Random Sets. — London: Springer, 2005.

24. Okounkov A. Infinite wedge and random partitions // Selecta Mathematica, New Series. 2001. - Vol. 7. - Pp. 57-81.

25. Okounkov A. Symmetric functions and random partitions // Symmetric functions 2001: Surveys of Developments and Perspectives / Ed. by S. Fornin — Kluwer Academic Publishers, 2002.

26. Okounkov A., Reshetikhin N. Correlation function of Schur process with application to local geometry of a random 3-dimensional Young diagram // Journal of the American Mathematical Society. — 2003. — Vol. 16, no. 3. —1. Pp. 581-603.

27. Rota G.-C. The many lives of lattice theory // Notices of the American Mathematical Society. 1997. Vol. 44, no. 11. — Pp. 1440-1445.