Городской семинар по теории вероятностей и математической статистике, 1 июня 2018 г. 18:00, г. Санкт-Петербург, ПОМИ, ауд. 311 (наб. р. Фонтанки, 27)

Городской семинар по теории вероятностей и математической статистике, 25 мая 2018 г. 18:00, г. Санкт-Петербург, ПОМИ, ауд. 311 (наб. р. Фонтанки, 27)

Пятница, 25 мая, 203. Начало в 17:00.

Докладчик: В.П. Оревков.

Тема: Структура секвенций в интуиционистских доказательствах в исчислении предикатов.Abstract В докладе будут рассмотрены свойства секвенций, которые позволяют моделировать в интуиционистском исчислении предикатов введение сколемовских функций. Также будут рассмотрены свойства, связанные с теоремой Харропа о дизъюнкции и существовании в интуиционистских доказательствах.

Городской семинар по теории вероятностей и математической статистике, 18 мая 2018 г. 18:00, г. Санкт-Петербург, ПОМИ, ауд. 311 (наб. р. Фонтанки, 27)

Семинар: Петербургский геометрический семинар им. А.Д.АлександроваВремя: четверг, 17 мая 2018, 16:00Место: комната 203Докладчик: А. В. Смирнов (ПОМИ РАН)Тема: The geometry of the handlebody groupsАннотация: 

Доклад по работам Ursula Hamenstadt и Sebastian Hensel.

Понедельник, 21 мая, 402. Начало в 12:00.

Докладчик: А. Смаль.

Тема: Полудуплексная коммуникационная сложность.Abstract В классической модели коммуникационной сложности на каждом раунде коммуникации один из игроков говорит (посылает бит), а другой его слушает. Мы предлагаем рассмотреть обобщение этой модели, в которой Алиса и Боб могут также говорить одновременно (и тогда они не слышат друг друга) или слушать одновременно. Естественный аналог такой модели — это общение по полудуплексному каналу, например при помощи рации. Мы рассматриваем три варианта такой обобщённой модели и доказываем верхние и нижние оценки на коммуникационную сложность булевых функций в них.

По совместной работе с Иваном Михайлиным, Кеном Хувером и Расселом Импальяццо.

Петербургский топологический семинар им. В. А. Рохлина, 14 мая 2018 г. 17:15, г. Санкт-Петербург, ПОМИ, комн. 203 (наб. р. Фонтанки, 27)

Городской семинар по теории вероятностей и математической статистике, 11 мая 2018 г. 18:00, г. Санкт-Петербург, ПОМИ, ауд. 311 (наб. р. Фонтанки, 27)

Семинар: Петербургский геометрический семинар им. А.Д.АлександроваВремя: четверг, 10 мая 2018, 16:00Место: комната 203Докладчик: Ю. С. Белоусов (СПбГУ)Тема: Доказательство и обобщение гипотез Jablan-RadovicАннотация: 

Год назад мною на семинаре было рассказано о доказательствах двух (из трех) гипотез Jablan-Radovic о существовании (полу)меанрической диаграммы у произвольного узла. Предстоящий доклад посвящен доказательству последней - третьей - гипотезы, а также обобщению двух предыдущих на случай пространственных графов. Если останется время, будет также рассказано о текущих задачах в этой области.

Городской семинар по теории вероятностей и математической статистике, 4 мая 2018 г. 18:00, г. Санкт-Петербург, ПОМИ, ауд. 311 (наб. р. Фонтанки, 27)

Семинар: Петербургский геометрический семинар им. А.Д.АлександроваВремя: четверг, 3 мая 2018, 16:00Место: комната 203Докладчик: Е. О. Степанов (ПОМИ РАН)Тема: Интегрирование "грубых дифференциальных форм" и негладкие интегральные многообразияАннотация: 

Доклад посвящен "совсем негладким" (например, гельдеровым)
интегральным многообразиям, являющимся решениями некоторых
дифференциальных систем, управляемых "грубыми" сигналами.

Будут обсуждаться некоторые варианты теоремы Фробениуса для таких  систем. Такие задачи имеют естественную интерпретацию на языке негладких
("грубых") дифференциальных форм.

Пятница, 4 мая, 402. Начало в 12:00.

Докладчик: Людмила Глинских.

Тема: Lower Bounds for Nondeterministic Semantic Read-Once Branching Programs.Abstract В докладе будут представлены семантические одноразовые ветвящиеся программы. Для таких ветвящихся программ на любом пути из стартовой вершины до 1-стока, если этот путь соответствует корректной подстановке, каждая переменная должна встречаться не более одного раза. На остальных же путях переменные могут повторяться. Для недетерминированных семантических одноразовых ветвящихся программ, вычисляющих булевы функции, которые можно вычислить за полиномиальное время, пока не известны нижние экспоненциальные оценки.

Мы рассмотрим доказательство экспоненциальной нижней оценки для недетерминированных семантических 3-арных одноразовых ветвящихся программ — в таких программах каждой вершине диаграммы может соответствовать 3 различных значения.

Доклад по одноимённой работе Stephen Cook, Jeff Edmonds, Venkatesh Medabalimi, Toniann Pitassi.

Городской семинар по теории вероятностей и математической статистике, 27 апреля 2018 г. 18:00, г. Санкт-Петербург, ПОМИ, ауд. 311 (наб. р. Фонтанки, 27)

Семинар: Петербургский геометрический семинар им. А.Д.АлександроваВремя: четверг, 26 апреля 2018, 16:00Место: комната 203Докладчик: А. В. Смирнов (ПОМИ)Тема: О квази-изометрической классификации фундаментальных групп четырехмерных граф-многообразийАннотация: 

Будет рассказано о дальнейшем прогрессе в задаче
квази-изометрической классификации фундаментальных групп граф-многообразий.

Петербургский топологический семинар им. В. А. Рохлина, 23 апреля 2018 г. 17:15, г. Санкт-Петербург, ПОМИ, комн. 203 (наб. р. Фонтанки, 27)

Городской семинар по теории вероятностей и математической статистике, 20 апреля 2018 г. 18:00, г. Санкт-Петербург, ПОМИ, ауд. 311 (наб. р. Фонтанки, 27)

Семинар: Петербургский геометрический семинар им. А.Д.АлександроваВремя: четверг, 19 апреля 2018, 16:00Место: комната 203Докладчик: С. В. Буяло (ПОМИ)Тема: Об обратной задаче мебиусовой геометрии на окружностиАннотация: 

Будет рассказано о дальнейшем прогрессе в обратной задаче
мебиусовой геометрии на окружности.

Городской семинар по теории вероятностей и математической статистике, 13 апреля 2018 г. 18:00, г. Санкт-Петербург, ПОМИ, ауд. 311 (наб. р. Фонтанки, 27)

Городской семинар по теории вероятностей и математической статистике, 13 апреля 2018 г. 18:00, г. Санкт-Петербург, ПОМИ, ауд. 311 (наб. р. Фонтанки, 27)

Об асимптотическом распределении бесконечных ветвей радиального дерева RST
Ю. А. Давыдов
13 апреля 2018 г. 18:00
г. Санкт-Петербург, ПОМИ, ауд. 311 (наб. р. Фонтанки, 27)