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

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

Семинар: Городской алгебраический семинар им. Д.К.ФаддееваВремя: понедельник, 2 марта 2020, 10:30Место: ком. 203Докладчик: А.В. Яковлев (СПбГУ)Тема: Задача погружения полей с элементарными абелевыми ядрами

Семинар: Петербургский геометрический семинар им. А.Д.АлександроваВремя: четверг, 27 февраля 2020, 16:00Место: комната 203Докладчик: Г. Ю. Панина (ПОМИ)Тема: Пространства n-угольников с предписанными площадью и периметромАннотация: 

Вышеупомянутые пространства являются, как правило, топологическими многообразиями; мы вычислим их гомологии.

Поскольку  (почти исключительно) будут задействованы "must know" самые  начала теории Морса и  теории гомологий, доклад рекомендован студентам.

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

Семинар: Городской алгебраический семинар им. Д.К.ФаддееваВремя: понедельник, 24 февраля 2020, 10:30Место: ком. 311Докладчик: А. И. Мадунц (СПбГУ)Тема: Вопросы сходимости в многомерных локальных и полных полях

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

Семинар: Городской алгебраический семинар им. Д.К.ФаддееваВремя: понедельник, 17 февраля 2020, 10:00Место: ком. 203Докладчик: И.Б.Жуков (СПбГУ)Тема: Расширения Галуа полных полей с малыми скачками ветвления

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

Семинар по истории математики, 6 февраля 2020 г. 18:00, г. Санкт-Петербург, ПОМИ, Фонтанка 27, ауд. 106

Семинар по истории математики, 6 февраля 2020 г. 18:00, г. Санкт-Петербург, ПОМИ, Фонтанка 27, ауд. 106

Семинар по истории математики, 2 января 2020 г. 18:00, г. Санкт-Петербург, ПОМИ, Фонтанка 27, ауд. 106

Семинар по истории математики, 2 января 2020 г. 18:00, г. Санкт-Петербург, ПОМИ, Фонтанка 27, ауд. 106

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

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

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

По совместной работе с Артемом Непечим.

Мы доказываем, что локально однородное риманово многообразие с непрерывным метрическим тензором является гладким. Как следствие локально однородное пространство Александрова является гладким. В доказательстве используются результаты, связанные с локальным вариантом
пятой проблемы Гильберта.

Пятница, 27 декабря, ауд. 106. Начало в 17:00.

Докладчик: Дмитрий Соколов.

Тема: Trade-offs Between Size and Degree in Polynomial Calculus.Abstract Building on [Clegg et al.~'96], [Impagliazzo et al.~'99] established that if an unsatisfiable -CNF formula over ~variables has a refutation of size~ in the polynomial calculus resolution proof system, then this formula also has a refutation of degree . The proof of this works by converting a small-size refutation into a small-degree one, but at the expense of increasing the proof size exponentially. This raises the question of whether it is possible to achieve both small size and small degree in the same refutation, or whether the exponential blow-up is inherent. Using and extending ideas from [Thapen~'16], who studied the analogous question for the resolution proof system, we prove that a strong size-degree trade-off is necessary.

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

Классическое определение коммуникационного протокола использует фиксированное разбиение входных переменных на 2 множества $X\cup Y = M$. Мы рассмотрим естественное обобщение, в котором протокол может недетерминированно выбирать между $k$ различными подпротоколами, каждый из которых использует разное разбиение $f_1(X_1, Y_1)$, ... $f_k(X_k, Y_k)$, определим multi-partition communication complexity, и изучим её связь с нижними оценками на сложность однопроходных ветвящихся программ.

Первая статья Колмогорова 1965 года указывала "три подхода к определению количества информации" - комбинаторный (логарифм мощности), вероятностный (шенноновская энтропия) и алгоритмический (длина кратчайшего описания). Эта возможность перевода с одного языка на другой многократно оказывалась полезной: скажем, теорема Харпера о множестве с минимальной окрестностью в булевом кубе была переформулирована (Бюрман, Верещагин, Фортноу и др.) как возможность увеличить колмогоровскую сложность изменением некоторой доли битов.