Логический семинар лаборатории им. Манина Высшей школы современной математики
Когда: среда 27 мая, 13:00
Где: МФТИ, Административный корпус, ауд.322,
Доклад:
Михаил Рыбаков,
"Сложность логик S1–S8 и их фрагментов"
Нормальные модальные пропозициональные логики часто PSPACE-трудны (Р.Ладнер и др.), и даже при малом числе переменных в языке. В то же время все расширения таких логик как K5 или Grz.3 являются coNP-полными. Похожая ситуация наблюдается с ненормальными логиками, содержащимися в K: логики E, EM, EN и многие другие coNP-полны (М.Варди), и то же самое справедливо для их фрагментов от малого числа переменных (А.Кудинов, М.Рыбаков).
Будет рассмотрен вопрос сложности систем S1–S8 (Льюис, Лэндфорд и др.). Две из них — S4 и S5 — являются нормальными и их сложность известна. Остальные являются ненормальными, и похоже, что вопрос их сложности не исследовался. Гипотеза автора состоит в том, что и они, и их фрагменты от одной переменной (а иногда и константные фрагменты) PSPACE-трудны. Почти для всех указанных логик эту гипотезу удалось обосновать. Предполагается представить синтаксическое и семантическое описание этих логик, а также обсудить идеи, лежащие в основе полученных доказательств.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
Когда: среда 27 мая, 13:00
Где: МФТИ, Административный корпус, ауд.322,
Доклад:
Михаил Рыбаков,
"Сложность логик S1–S8 и их фрагментов"
Нормальные модальные пропозициональные логики часто PSPACE-трудны (Р.Ладнер и др.), и даже при малом числе переменных в языке. В то же время все расширения таких логик как K5 или Grz.3 являются coNP-полными. Похожая ситуация наблюдается с ненормальными логиками, содержащимися в K: логики E, EM, EN и многие другие coNP-полны (М.Варди), и то же самое справедливо для их фрагментов от малого числа переменных (А.Кудинов, М.Рыбаков).
Будет рассмотрен вопрос сложности систем S1–S8 (Льюис, Лэндфорд и др.). Две из них — S4 и S5 — являются нормальными и их сложность известна. Остальные являются ненормальными, и похоже, что вопрос их сложности не исследовался. Гипотеза автора состоит в том, что и они, и их фрагменты от одной переменной (а иногда и константные фрагменты) PSPACE-трудны. Почти для всех указанных логик эту гипотезу удалось обосновать. Предполагается представить синтаксическое и семантическое описание этих логик, а также обсудить идеи, лежащие в основе полученных доказательств.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
❤1
What is.. ВШМ?
Подошел к концу первый учебный год, первокурсники ВШМ активно сдают экзамены весенней сессии, а абитуриенты начинают готовиться к подаче документов в университеты (Госуслуги откроются для этого 20 июня). Самое время напомнить, как устроен учебный процесс Высшей школы современной математики Физтеха.
ВШМ — очень маленькая школа: на каждом курсе учится по одной группе, что обеспечивает индивидуальный подход к каждому студенту.
2025 год
Мы впервые набрали группу из 16 студентов новой программы бакалавриата «Фундаментальная математика», а также трех аспирантов.
2026 год
К нам присоединятся новые первокурсники бакалавриата (точнее, «базового высшего образования» или БВО) и — впервые — магистратуры, а также четыре аспиранта. В 2026 году на программе БВО 15 бюджетных и не более 3 платных мест (в 2025 году платных студентов у нас не было).
В 2025/26 учебном году в учебный план первого курса ВШМ были включены обязательные курсы Независимого университета — нашей базовой организации. В МФТИ по этим курсам проходили семинары, которые вела великолепная команда «ААА»: Андрей Рябичев, Алексей Лавров и Андроник Арутюнов. Некоторые материалы семинаров мы собрали для вас в следующем посте. Материалы лекций (записи, программы), а также листочки (обязательные для сдачи и нашими студентами) можно найти на сайте НМУ (осень, весна). Из этого всего составляется общая картина того, чему и как мы учили наших первенцев.
В дополнение к основным курсам в осеннем семестре Андрей Рябичев и Александра Кузнецова вели «Введение в современную математику» — ликбез по математическим концепциям и обозначениям, которые не всегда проходят в школе. Андрей Кудинов в осеннем семестре прочел небольшой курс программирования, а в весеннем — курс «Введение в теорию множеств и математическую логику». В весеннем же семестре Андроник Арутюнов провел практический курс по компьютерному инструментарию для математиков с использованием ИИ (LaTeX, Sage, SymPY и многое другое). Материалы этого курса также есть в следующем посте.
Весь год у студентов ВШМ шел ориентационный семинар «Современная математика», где разные известные математики как из нашей школы, так и из других академических институций рассказывали о своей науке. Среди них были Ю.С. Ильяшенко, А. С. Скрипченко, М.А. Цфасман, В.Б. Шехтман и многие другие.
Что планируем в следующем году?
Прежде всего, как и большинство других образовательных программ Физтеха, мы переходим на 6-летний учебный план «базового высшего образования». Мы подробно опишем наш взгляда на pro et contra этого преобразования в одной из следующих публикаций в канале и объясним, почему относимся к нему с осторожным оптимизмом.
Наша программа по-прежнему будет тесно интегрирована с НМУ, включая в себя все обязательные курсы и весь материал программы лиценциата НМУ. Планируется, что выпускники ВШМ МФТИ будут и выпускниками НМУ, что делает их востребованными и эффективными на международном рынке труда.
Лекции первого года на программе БВО будут читаться на ВШМ (за одним исключением — о нем напишем позже). У нас же будут проходить и все семинары. Обязательные курсы НМУ начнутся на 2 году обучения, но по желанию будут доступны студентам и на 1 году. Ориентационный семинар станет общим для студентов 1 и 2 курсов, но с разными обязательствами.
В конце обучения (на 4 курсе бакалавриата и 5-6 курсах БВО) студенты перейдут на личные траектории с научным руководителем. Обязательных курсов на этой стадии нет, зато будет много спецкурсов — по совместному выбору студента, научного руководителя и школы. Также наши старшекурсники будут посещать спецкурсы и научные семинары не только в ВШМ и на Физтехе, но и в других знаковых математических местах Москвы.
Если вам нужно много математики — приходите к нам. ВШМ обеспечит уникальное образование, где исключен элемент «массовости», каждому студенту обеспечивается не только внимание, но и поддержка, индивидуальная научная траектория в атмосфере сотрудничества.
А если у вас есть вопросы — задавайте их в комментариях, мы обязательно ответим.
Подошел к концу первый учебный год, первокурсники ВШМ активно сдают экзамены весенней сессии, а абитуриенты начинают готовиться к подаче документов в университеты (Госуслуги откроются для этого 20 июня). Самое время напомнить, как устроен учебный процесс Высшей школы современной математики Физтеха.
ВШМ — очень маленькая школа: на каждом курсе учится по одной группе, что обеспечивает индивидуальный подход к каждому студенту.
2025 год
Мы впервые набрали группу из 16 студентов новой программы бакалавриата «Фундаментальная математика», а также трех аспирантов.
2026 год
К нам присоединятся новые первокурсники бакалавриата (точнее, «базового высшего образования» или БВО) и — впервые — магистратуры, а также четыре аспиранта. В 2026 году на программе БВО 15 бюджетных и не более 3 платных мест (в 2025 году платных студентов у нас не было).
В 2025/26 учебном году в учебный план первого курса ВШМ были включены обязательные курсы Независимого университета — нашей базовой организации. В МФТИ по этим курсам проходили семинары, которые вела великолепная команда «ААА»: Андрей Рябичев, Алексей Лавров и Андроник Арутюнов. Некоторые материалы семинаров мы собрали для вас в следующем посте. Материалы лекций (записи, программы), а также листочки (обязательные для сдачи и нашими студентами) можно найти на сайте НМУ (осень, весна). Из этого всего составляется общая картина того, чему и как мы учили наших первенцев.
В дополнение к основным курсам в осеннем семестре Андрей Рябичев и Александра Кузнецова вели «Введение в современную математику» — ликбез по математическим концепциям и обозначениям, которые не всегда проходят в школе. Андрей Кудинов в осеннем семестре прочел небольшой курс программирования, а в весеннем — курс «Введение в теорию множеств и математическую логику». В весеннем же семестре Андроник Арутюнов провел практический курс по компьютерному инструментарию для математиков с использованием ИИ (LaTeX, Sage, SymPY и многое другое). Материалы этого курса также есть в следующем посте.
Весь год у студентов ВШМ шел ориентационный семинар «Современная математика», где разные известные математики как из нашей школы, так и из других академических институций рассказывали о своей науке. Среди них были Ю.С. Ильяшенко, А. С. Скрипченко, М.А. Цфасман, В.Б. Шехтман и многие другие.
Что планируем в следующем году?
Прежде всего, как и большинство других образовательных программ Физтеха, мы переходим на 6-летний учебный план «базового высшего образования». Мы подробно опишем наш взгляда на pro et contra этого преобразования в одной из следующих публикаций в канале и объясним, почему относимся к нему с осторожным оптимизмом.
Наша программа по-прежнему будет тесно интегрирована с НМУ, включая в себя все обязательные курсы и весь материал программы лиценциата НМУ. Планируется, что выпускники ВШМ МФТИ будут и выпускниками НМУ, что делает их востребованными и эффективными на международном рынке труда.
Лекции первого года на программе БВО будут читаться на ВШМ (за одним исключением — о нем напишем позже). У нас же будут проходить и все семинары. Обязательные курсы НМУ начнутся на 2 году обучения, но по желанию будут доступны студентам и на 1 году. Ориентационный семинар станет общим для студентов 1 и 2 курсов, но с разными обязательствами.
В конце обучения (на 4 курсе бакалавриата и 5-6 курсах БВО) студенты перейдут на личные траектории с научным руководителем. Обязательных курсов на этой стадии нет, зато будет много спецкурсов — по совместному выбору студента, научного руководителя и школы. Также наши старшекурсники будут посещать спецкурсы и научные семинары не только в ВШМ и на Физтехе, но и в других знаковых математических местах Москвы.
Если вам нужно много математики — приходите к нам. ВШМ обеспечит уникальное образование, где исключен элемент «массовости», каждому студенту обеспечивается не только внимание, но и поддержка, индивидуальная научная траектория в атмосфере сотрудничества.
А если у вас есть вопросы — задавайте их в комментариях, мы обязательно ответим.
❤31👀10🍌5👍1
🔥19❤12✍3
Логический семинар лаборатории им. Манина Высшей школы современной математики
Когда: среда 3 июня 14:00
Где: МФТИ, Административный корпус, ауд.322,
Доклад:
В.Б. Шехтман,
"Введение в семантику модальных предикатных логик, ч. 5."
В докладе рассматриваются реляционные семантики модальных предикатных логик, последовательно усиливающие семантику Крипке: семантика расслоений Крипке, функциональная семантика Гиларди, семантика меташкал и симплициальная семантика Скворцова. Формулируются и частично доказываются результаты о полноте и неполноте для этих семантик.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
Когда: среда 3 июня 14:00
Где: МФТИ, Административный корпус, ауд.322,
Доклад:
В.Б. Шехтман,
"Введение в семантику модальных предикатных логик, ч. 5."
В докладе рассматриваются реляционные семантики модальных предикатных логик, последовательно усиливающие семантику Крипке: семантика расслоений Крипке, функциональная семантика Гиларди, семантика меташкал и симплициальная семантика Скворцова. Формулируются и частично доказываются результаты о полноте и неполноте для этих семантик.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
❤2👍2
ВШМ МФТИ
Фестиваль 18+.
О красоте математики.
В подвальном баре на Покровке.
О красоте математики.
В подвальном баре на Покровке.
На канале организаторов фестиваля «Фрактальная одиссея», прошедшего 23 мая, стали появляться записи лекций с фестиваля. Первая — Михаил Гельфанд о бесконечностях
Telegram
Кроссворд Тьюринга
✨ Запись лекции Михаила Гельфанда
Продолжаем выкладывать записи с фестиваля. Следующая лекция открывала программу в зале Мандельброт и, к сожалению, попала на самую горячую точку дня: у входа ещё стояла большая очередь, когда Михаил Сергеевич уже начал.…
Продолжаем выкладывать записи с фестиваля. Следующая лекция открывала программу в зале Мандельброт и, к сожалению, попала на самую горячую точку дня: у входа ещё стояла большая очередь, когда Михаил Сергеевич уже начал.…
❤10
Комбинаторика и топология — совместный семинар ВШМ и лаборатории комбинаторных и геометрических структур ФПМИ МФТИ
Когда: суббота 6 июня, 13:55
Где: ауд. 322АдмК
Доклад:
Михаил Блудов (МФТИ),
"Цветная теорема Каратеодори, остовные деревья и сферическаие диаграммы Вороного"
(По совместной работе с А. Полянским)
Цветная теорема Каратеодори — классический и основополагающий результат комбинаторной геометрии, полученный Барани в 1982 году. В дальнейшем у этого результата получились самые различные обобщения и приложения, например, к аффинной теореме Тверберга.
Стандартное доказателство цветной теоремы Каратеодори основано на комбинаторно-геометрических рассуждениях. Однако есть и топологические подходы. В 2017 году Фрик и Зербиб доказали цветную теорему KKMS о покрытиях, и из нее непосредственно вывели цветного Каратеодори. В 2025 году автором была исследована связь покрытий, несбалансированных наборов и теорем типа KKMS. Также в 2025 году Благоевич предложил топологический подход цветной теореме Каратеодори, основанный на комплексе несбалансированных наборов и лемме Мешулама. Также Благоевич получил обобщение теоремы Каратеодори, наложив дополнительные ограничения.
Нам удалось заметить несколько вещей. Во первых оказалось, что при помощи покрытий, комплекса несбалансированных наборов и сферических диаграмм Вороного получается новый подход к доказательствам цветной теоремы Каратеодори и её обобщений. Во вторых, при помощи остовных k-мерных деревьев удалось обощить результат Благоевича. Об этих наблюдениях и пойдет рассказ на семинаре
Страница семинара: https://old.mccme.ru/ium/s23/ryabichev/f25-mipt-topkomb.html
Если у вас нет пропуска МФТИ, надо взять паспорт и попросить руководителей семинара встретить вас на охране.
#ВШМ_ФПМИ_топкомб
Когда: суббота 6 июня, 13:55
Где: ауд. 322АдмК
Доклад:
Михаил Блудов (МФТИ),
"Цветная теорема Каратеодори, остовные деревья и сферическаие диаграммы Вороного"
(По совместной работе с А. Полянским)
Цветная теорема Каратеодори — классический и основополагающий результат комбинаторной геометрии, полученный Барани в 1982 году. В дальнейшем у этого результата получились самые различные обобщения и приложения, например, к аффинной теореме Тверберга.
Стандартное доказателство цветной теоремы Каратеодори основано на комбинаторно-геометрических рассуждениях. Однако есть и топологические подходы. В 2017 году Фрик и Зербиб доказали цветную теорему KKMS о покрытиях, и из нее непосредственно вывели цветного Каратеодори. В 2025 году автором была исследована связь покрытий, несбалансированных наборов и теорем типа KKMS. Также в 2025 году Благоевич предложил топологический подход цветной теореме Каратеодори, основанный на комплексе несбалансированных наборов и лемме Мешулама. Также Благоевич получил обобщение теоремы Каратеодори, наложив дополнительные ограничения.
Нам удалось заметить несколько вещей. Во первых оказалось, что при помощи покрытий, комплекса несбалансированных наборов и сферических диаграмм Вороного получается новый подход к доказательствам цветной теоремы Каратеодори и её обобщений. Во вторых, при помощи остовных k-мерных деревьев удалось обощить результат Благоевича. Об этих наблюдениях и пойдет рассказ на семинаре
Страница семинара: https://old.mccme.ru/ium/s23/ryabichev/f25-mipt-topkomb.html
Если у вас нет пропуска МФТИ, надо взять паспорт и попросить руководителей семинара встретить вас на охране.
#ВШМ_ФПМИ_топкомб
👍7❤2
Forwarded from CombGeo
Привет друзья!
Информация для участников ЛИПС-26:
📅 Мы приносим извинения за задержки по изначально объявленным датам. Приглашения на собеседования по полученным заявкам началось на этой неделе.
📅 Также до 10 июня продолжается прием заявок в рамках второй волны.
📅 Окончательный список участников запланирован на 20 июня.
Благодарим за терпение, а также приглашаем всех, кто не успел!
Информация для участников ЛИПС-26:
📅 Мы приносим извинения за задержки по изначально объявленным датам. Приглашения на собеседования по полученным заявкам началось на этой неделе.
📅 Также до 10 июня продолжается прием заявок в рамках второй волны.
📅 Окончательный список участников запланирован на 20 июня.
Благодарим за терпение, а также приглашаем всех, кто не успел!
❤10
Удачи на ЕГЭ по математике!
Пусть мысли будут ясными, вера в себя железной, а лишние тревоги останутся за дверью.
Читайте задания внимательно - у вас всё получится!
Ждём вас в ВШМ МФТИ!
Пусть мысли будут ясными, вера в себя железной, а лишние тревоги останутся за дверью.
Читайте задания внимательно - у вас всё получится!
Ждём вас в ВШМ МФТИ!
❤🔥25❤16😁4
Сегодня ВШМ МФТИ принимала гостей из ФМЛ №31 города Челябинска
Челябинский физико-математический лицей № 31 славится своими учениками — сильными математиками, действительно интересующимися наукой. Встречать таких гостей всегда приятно!
Интересные факты о ВШМ на экскурсии по кампусу МФТИ в Долгопрудном рассказал лицеистам директор школы, доктор физико-математических наук Андрей Соболевский.
Вдохновившись утренней прохладой, Андрей Николаевич предпочел яркую зелень лужайки академическим стенам и делился тонкостями поступления на Физтех и учебного процесса ВШМ, расположившись с девятиклассниками на траве. А после беседы о математике наши гости посетили лаборатории школ ФАКТ и ЛФИ.
Надеемся, эта встреча, организованная совместно с Физтех-центром, была полезна ребятам и их педагогам. А мы ждем заинтересованных матшкольников из других школ на экскурсии — нам есть чем поделиться!
Челябинский физико-математический лицей № 31 славится своими учениками — сильными математиками, действительно интересующимися наукой. Встречать таких гостей всегда приятно!
Интересные факты о ВШМ на экскурсии по кампусу МФТИ в Долгопрудном рассказал лицеистам директор школы, доктор физико-математических наук Андрей Соболевский.
Вдохновившись утренней прохладой, Андрей Николаевич предпочел яркую зелень лужайки академическим стенам и делился тонкостями поступления на Физтех и учебного процесса ВШМ, расположившись с девятиклассниками на траве. А после беседы о математике наши гости посетили лаборатории школ ФАКТ и ЛФИ.
Надеемся, эта встреча, организованная совместно с Физтех-центром, была полезна ребятам и их педагогам. А мы ждем заинтересованных матшкольников из других школ на экскурсии — нам есть чем поделиться!
❤21👍9
Мемориальная конференция «Теория чисел и геометрия» памяти Алексея Зыкина (1984-2017)
В четверг 11 июня 2026 года в большом конференц-зале Математического института им. В. А. Стеклова РАН состоятся доклады:
11:00-12:00 Сергей Давыдов. Стабильность для представлений спин-симметрической группы
12:15-13:15 Алексей Устинов. Последовательности Сомоса
15:00-16:00 Виктор Петров. Мотивы Чжоу некоторых многообразий Мукаи
16:15-17:15 Михаил Цфасман. Сильно вырожденные пересечения квадрик
Конференция проходит ежегодно в память нашего коллеги и друга Алексея Зыкина, трагически погибшего 22 апреля 2017 года.
Аннотации докладов, постер и прочая информация доступны на страницах
конференции:
https://www.mathnet.ru/conf2765
https://zykin.mccme.ru/
Все доклады будут транслироваться через «Контур Толк»:
https://mian.ktalk.ru/j0lklvjdueq1?pinCode=3197
#Зыкин
В четверг 11 июня 2026 года в большом конференц-зале Математического института им. В. А. Стеклова РАН состоятся доклады:
11:00-12:00 Сергей Давыдов. Стабильность для представлений спин-симметрической группы
12:15-13:15 Алексей Устинов. Последовательности Сомоса
15:00-16:00 Виктор Петров. Мотивы Чжоу некоторых многообразий Мукаи
16:15-17:15 Михаил Цфасман. Сильно вырожденные пересечения квадрик
Конференция проходит ежегодно в память нашего коллеги и друга Алексея Зыкина, трагически погибшего 22 апреля 2017 года.
Аннотации докладов, постер и прочая информация доступны на страницах
конференции:
https://www.mathnet.ru/conf2765
https://zykin.mccme.ru/
Все доклады будут транслироваться через «Контур Толк»:
https://mian.ktalk.ru/j0lklvjdueq1?pinCode=3197
#Зыкин
❤13🫡8👍6🔥2
Логический семинар лаборатории им. Манина Высшей школы современной математики
Когда: среда 10 июня, 14:00
Где: МФТИ, Административный корпус, ауд.322,
Доклад:
С.М. Дудаков (ТвГУ, ВШЭ),
"Об определимости в 3-дереве"
Мы рассматриваем решётку определимости теории 3-дерева, то есть (бесконечного) неориентированного дерева, все вершины которого имеют степень 3. Единственным сигнатурным символом является двухместный предикат E, означающий наличие ребра. Рассматривается множество определимых в этой теории предикатов. Если предикат A может быть быть определён через предикат B, то предикат B можно рассматривать как <<более выразительный>>. Это отношение <<быть более выразительным>> является предпорядком, поэтому профакторизовав его, мы получим отношение частичного порядка на классах предикатов, каждый из которых состоит из определимых друг через друга предикатов. Наш основной результат — для теории 3-дерева этот частичный порядок состоит всего из трёх элементов, соответствующих отношению равенства, отношению <<находиться на расстоянии 2>> и собственно отношению E, то есть исходному предикату.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
Когда: среда 10 июня, 14:00
Где: МФТИ, Административный корпус, ауд.322,
Доклад:
С.М. Дудаков (ТвГУ, ВШЭ),
"Об определимости в 3-дереве"
Мы рассматриваем решётку определимости теории 3-дерева, то есть (бесконечного) неориентированного дерева, все вершины которого имеют степень 3. Единственным сигнатурным символом является двухместный предикат E, означающий наличие ребра. Рассматривается множество определимых в этой теории предикатов. Если предикат A может быть быть определён через предикат B, то предикат B можно рассматривать как <<более выразительный>>. Это отношение <<быть более выразительным>> является предпорядком, поэтому профакторизовав его, мы получим отношение частичного порядка на классах предикатов, каждый из которых состоит из определимых друг через друга предикатов. Наш основной результат — для теории 3-дерева этот частичный порядок состоит всего из трёх элементов, соответствующих отношению равенства, отношению <<находиться на расстоянии 2>> и собственно отношению E, то есть исходному предикату.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
🥰5
Комбинаторика и топология — совместный семинар ВШМ и лаборатории комбинаторных и геометрических структур ФПМИ МФТИ
Когда: суббота 13 июня, 13:55
Где: ауд. 322АдмК
Доклад:
Андрей Рябичев (ВШМ),
"Минимальные триангуляции отображений сфер"
Мы изучаем триангуляции отображения S^n в S^n степени d>0, где сфера-образ триангулирована стандартно (как граница n+1-симплекса). Какое наименьшее число вершин может иметь триангуляция сферы-прообраза?
Грубая оценка обеспечивается теоремой о верхней границе. Оказывается, эта оценка асимптотически точна (говоря неформально, если число вершин k, то d может расти как k^[(n+1)/2]). Если же наложить на отображение условие невырожденности (на всех n-симплексах), то подобных примеров построить уже не удаётся.
Я расскажу более подробно о постановке задачи и об известных на данный момент результатах, а также приглашаю желающих обсудить, какую технику можно применить здесь в дальнейшем. Для понимания достаточно минимальных знаний о степенях отображений и триангуляциях.
Страница семинара: https://old.mccme.ru/ium/s23/ryabichev/f25-mipt-topkomb.html
Если у вас нет пропуска МФТИ, надо взять паспорт и попросить руководителей семинара встретить вас на охране.
#ВШМ_ФПМИ_топкомб
Когда: суббота 13 июня, 13:55
Где: ауд. 322АдмК
Доклад:
Андрей Рябичев (ВШМ),
"Минимальные триангуляции отображений сфер"
Мы изучаем триангуляции отображения S^n в S^n степени d>0, где сфера-образ триангулирована стандартно (как граница n+1-симплекса). Какое наименьшее число вершин может иметь триангуляция сферы-прообраза?
Грубая оценка обеспечивается теоремой о верхней границе. Оказывается, эта оценка асимптотически точна (говоря неформально, если число вершин k, то d может расти как k^[(n+1)/2]). Если же наложить на отображение условие невырожденности (на всех n-симплексах), то подобных примеров построить уже не удаётся.
Я расскажу более подробно о постановке задачи и об известных на данный момент результатах, а также приглашаю желающих обсудить, какую технику можно применить здесь в дальнейшем. Для понимания достаточно минимальных знаний о степенях отображений и триангуляциях.
Страница семинара: https://old.mccme.ru/ium/s23/ryabichev/f25-mipt-topkomb.html
Если у вас нет пропуска МФТИ, надо взять паспорт и попросить руководителей семинара встретить вас на охране.
#ВШМ_ФПМИ_топкомб
❤5🔥2