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

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

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

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

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

Семинар: Петербургский геометрический семинар им. А.Д.АлександроваВремя: четверг, 12 апреля 2018, 16:00Место: комната 203Докладчик: Н. Н. Косовский (СПбГУ)Тема: THE BOUNDARY CONJECTURE FOR LEAF SPACESАннотация: 

по работе

THE BOUNDARY CONJECTURE FOR LEAF SPACES
KARSTEN GROVE, ADAM MORENO, AND PETER PETERSEN
https://arxiv.org/pdf/1804.01656.pdf

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

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

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

Пучки и расслоения Лефшеца на гладком многообразии
А. В. Антоник
26 марта 2018 г. 17:15
г. Санкт-Петербург, ПОМИ, комн. 203 (наб. р. Фонтанки, 27)

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

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

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

Меандры и нетипичность гиперболических зацеплений
А. В. Малютин
19 марта 2018 г. 17:15
г. Санкт-Петербург, ПОМИ, комн. 203 (наб. р. Фонтанки, 27)

Ветвящиеся случайные блуждания с непрерывным временем на $\mathbf{Z}^d$ с периодической матрицей переходных интенсивностей и периодическими источниками ветвления
Кирилл Рядовкин
16 марта 2018 г. 18:00
г. Санкт-Петербург, ПОМИ, ауд. 311 (наб. р. Фонтанки, 27)

Algebraic construction of Steenrod operations
G. Soleymanpour
12 марта 2018 г. 17:15
г. Санкт-Петербург, ПОМИ, комн. 203 (наб. р. Фонтанки, 27)

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

Известная гипотеза утверждает, что доля гиперболических узлов среди всех
простых узлов с n и менее перекрестками стремится к 1 при росте n.
Несколько лет назад я делал доклад о том, что эта гипотеза противоречит
ряду других правдоподобных гипотез, включая гипотезу об аддитивности числа перекрестков при связном суммировании. В новом докладе речь пойдет о новом связанном с этим вопросом результате: аналог гипотезы о  гиперболичности удалось опровергнуть в случае зацеплений. Более того, удалось показать, что для любого нетривиального узла доля его сателлитов среди всех простых нерасщепимых зацеплений с n и менее перекрестками не стремится к нулю при росте n.

 

 

Тропический подход к выпуклым областям
Н. С. Калинин
5 марта 2018 г. 17:15
г. Санкт-Петербург, ПОМИ, комн. 203 (наб. р. Фонтанки, 27)

Сильная теорема Сегё
А. И. Буфетов
2 марта 2018 г. 15:00
г. Санкт-Петербург, ПОМИ, ауд. 311 (наб. р. Фонтанки, 27)

В первой части будет окончание предыдущей лекции, из теоремы Бен-Сассона и Вигдерсона будут выведены нижние оценки на цейтинские формулы и принцип Дирихле.
Во второй части А.А. Кноп расскажет про то, как нижние оценки для древовидных доказательств можно вывести из известных нижних оценок для коммуникационной сложности функции Disjointness. (Это результат Бима, Питасси и Сегерлинда в изложении Гуса и Питасси 2014 года)

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

Миникурс предназначен для студентов, аспирантов и всех интересующихся сложностью пропозициональных доказательств.
В первой лекции будет рассказано о резолюционной системе доказательств. В частности, мы изучим теорему Бен-Сассона и Вигдерсона о связи ширины и размера резолюционных доказательств. В качестве следствия будет приведены доказательства экспоненциальных нижних оценок на размер доказательства цейтинских формул и принципа Дирихле.

Рассматривается применение обратного метода Маслова для автоматического логического вывода в интуиционистской логике первого порядка. На данный момент существует немного программных реализаций обратного метода для этой логики, при этом остаётся пробел между теоретическими достижениями и их внедрением на практике.
Разработано новое исчисление обратного метода для интуиционистской логики первого порядка и стратегии логического вывода для этого исчисления.