Победа на Всемирном смотре-конкурсе научных и инженерных достижений учащихся Intel ISEF
Савелий Новиков и Дмитрий Михайловский — десятиклассники ГБОУ СОШ № 564, Санкт-Петербург, обучающиеся на научных семинарах Лаборатории непрерывного математического образования, получили Grand Award (так называемая «малая нобелевская премия») и Special Award на Всемирном смотре-конкурсе научных и инженерных достижений учащихся Intel ISEF. В феврале 2017 года она были включены в российскую команду (30 финалистов крупнейших российских научных соревнований) по итогам Балтийского научно-инженерного конкурса, генеральным спонсором которого выступила компания «Газпром нефть».Финал Intel ISEF состоялся 15 — 21 мая в Лос-Анджелесе (США), в нем приняли участие 1778 победителей крупнейших научных конкурсов из 78 стран мира. В жюри Конкурса работали лауреаты Нобелевской премии, ученые с мировыми именами.
Савелий Новиков, автор проекта “Обобщенные тождества Якоби и Якобиевы элементы группового кольца симметрической группы”, стал лауреатом Grand Award, главной премии научного жюри 4 степени, а также премии Американского математического общества — Special Award 2 степени.
Дмитрию Михайловскому была вручена премия Американского математического общества Speсial Award 3 степени за проект “Тождества Моноида Перкинса и Задача Тысячелетия”.
За этой победой стоит еженедельная работа на научных семинарах с кандидатом физико-математических наук Сергеем Олеговичем Ивановым, в прошлом — также победителем Intel ISEF и доктором физико-математических наук Станиславом Исааковичем Кублановским, более 400 учебных часов занятий в летней математической школе, более 10 часов в неделю дополнительного образования по математике, английскому языку, программированию с лучшими педагогами Санкт-Петербурга, сотрудниками Лаборатории непрерывного математического образования.
Савелий Новиков и Дмитрий Михайловский не один раз в 2017 году подтверждали высокий уровень своих исследований и блестящую математическую подготовку. 2 февраля им была вручена главная премия Балтийского научно-инженерного конкурса Фонда «Время науки», 22 апреля они получили дипломы победителей XХIV ежегодной Международной конференции молодых учёных (International Conference of Young Scientists), проходившей в Германии в городе Штутгарте.
2 апреля ребята в составе команды Лаборатории непрерывного математического образования стали победителями Санкт-Петербургского Турнира юных математиков — командного соревнования по решению задач «с открытым концом».
Аннотации к исследованиям победителей
Савелий Новиков (Санкт-Петербург):
Алгебра Ли – объект из абстрактной алгебры, который естественно возникает в теории групп Ли, комбинаторной теории групп, квантовой физике и других областях алгебры, геометрии и физики. С любой группой Ли можно связать какую-то алгебру Ли, которая полностью отражает локальную структуру исходной группы. Мы исследуем так называемые Якобиевы подмножества и Якобиевы элементы. Эти определения, в некотором смысле, задают новое направление для получения тождеств, которые могут пригодиться в будущих исследованиях в различных областях физики и математики.
Дмитрий Михайловский (Санкт-Петербург):
Задачи тысячелетия составляют семь математических задач. Одна из них связана со сложностью алгоритмов. Среди алгоритмов выделяются алгоритмы, которые решают задачу за полиномиальное число шагов от числа входных данных. Множество таких алгоритмов обозначается буквой P. Другим известным классом задач, обозначаемым NP, являются алгоритмы с полиномиальной проверкой ответа: если есть ответ задачи, то этим алгоритмом можно проверить, что он является её решением. Одной из задач тысячелетия является задача и совпадении этих классов P = NP. В 2005 и 2006 году математики Сейф и Сцабо доказали эквивалентность этой задачи тысячелетия и задачи проверки выполнимости тождеств на так называемом моноиде Перкинса. В 1970-ых группой математиков независимо был найден полиномиальный алгоритм проверки тождеств полугруппы Брандта. Для моноида Перкинса этот вопрос открыт до сих пор. Основным результатом моего исследования является доказательство существования алгоритма проверки некоторых цикличеких тождеств.
