x, y, z

Алгебраическая сложность // Александр Разборов ≫ Похожее [2]

Публикации: 226
<<< |1|2|3|4|5|6|…|12| >>>
  • Математики из Университета Техаса в Остине с помощью компьютерных методов решили задачу о булевых пифагоровых тройках. Полная запись решения занимает около 200 терабайт, что делает его самым большим доказательством из существующих. На решение задачи ушло два дня непрерывной работы 800-процессорного суперкомпьютера.
  • Александр Шапеев
    Математик Александр Шапеев о методах оптимизации, численном оценивании неопределенностей и быстрых алгоритмах решения.
  • Владимир Успенский
    В отличие от метрической теории алгоритмов, дескриптивная теория не занимается измерением ресурсов (таких как время, объём памяти), затрачиваемых при применении алгоритма к его возможным исходным данным (в другой терминологии — к его входам). Её интересует лишь, возможен алгоритм для решения данной задачи или нет. Начальные понятия дескриптивной теории алгоритмов суть: конструктивный обьект, алгоритм, число шагов алгоритма, вычислимая функция, перечислимое множество, разрешимое множество, сводимость нумераций, главная вычислимая нумерация, вычислимая операция.
  • В 1936 году советский инженер и учёный Владимир Лукьянов создал вычислительную машину, все математические операции в которой выполняла текущая вода. Гидравлический интегратор Лукьянова — первая в мире вычислительная машина для решения дифференциальных уравнений в частных производных — на протяжении полувека был единственным средством вычислений, связанных с широким кругом задач математической физики.
  • Александр Шень
    О сложности вычислений и квантовых компьютерах рассказывает Александр Ханиевич Шень — кандидат физико-математических наук, научный сотрудник Института проблем передачи информации РАН (Москва) и LIF CNRS — Лаборатории информатики Национального центра научных исследований Франции (Марсель). Лекция была прочитана 23 апреля 2009 года в Москве, в ФИАНе.
  • Иван Панин
    В курсе будет рассказано о замечательной теории, созданной В. Воеводским. В частности, будут даны и мотивированы определения гомологий Суслина, мотивных гомологий и когомологий Воеводского. Будет дана конструкция его категории мотивов алгебраических многообразий. Все эти построения опираются на понятия «многозначных» отображений и пучков. Оба последние понятия будут введены, пояснены и снабжены примерами. От слушателей предполагается знание того, что такое поле, векторное пространство, абелева группа и умение работать с многочленами нескольких переменных.
  • Иван Аржанцев
    Знакомая большинству из вас формула Лейбница утверждает, что (fg)′=f′g+fg′. А какие ещё операции обладают аналогичным свойством? Задавшись этим вопросом, естественно определить дифференцирование алгебры А как такое линейное отображение D из A в A, что D(fg)=D(f)g+fD(g) для любых f,g ∈ A. В этом курсе мы поговорим о дифференцированиях коммутативных алгебр, в первую очередь, алгебры многочленов от многих переменных. Хотелось бы описать все дифференцирования и изучить их свойства. Начала этой теории вполне элементарны. В то же время дифференцирования тесно связаны со сложными задачами алгебраической геометрии, теории групп преобразований и теории представлений.
  • Валерий Опойцев
    Исходные понятия. Полиномиальные и экспоненциальные алгоритмы. Задачи распознавания и оптимизации. Определение классов P и NP. Совпадает ли P с NP или не совпадает — вопрос на миллион долларов. Машина Тьюринга как универсальный вычислительный прибор. Опорные комбинаторные задачи: коммивояжера, клика, изоморфизм графов, паросочетание, рюкзак, целочисленное линейное программирование (ЦЛП), транспортная задача. В двух словах о непрерывной задаче линейного программирования. Теорема Кука.
  • Владимир Успенский
    Как известно, ежа нельзя причесать. Иными словами, на двумерной сфере нет касательного векторного поля, нигде не обращающегося в нуль. Трехмерная сфера ведет себя в этом отношении совсем иначе: на ней можно построить три касательных векторных поля, линейно независимых в каждой точке. Это означает, что трехмерная сфера параллелизуема. Возникает вопрос, для каких n сфера размерности n–1 параллелизуема. С этим вопросом тесно связан другой: для каких n на n-мерном эвклидовом пространстве можно ввести билинейное умножение, при котором произведение любых двух ненулевых векторов ненулевое. Рассматривая вещественные числа, комплексные числа, кватернионы или октонионы, мы видим, что это можно сделать, если n принимает одно из значений 1, 2, 4, 8. Оказывается, что этот список значений и является ответом на оба поставленных выше вопроса. Это трудная теорема. Ее можно доказать методами К-теории. Курс будет посвящен объяснению основных идей доказательства.
  • Александр Кузнецов
    Система корней — этот конечный набор векторов в евклидовом пространстве, такой что для любого из этих векторов v зеркальная симметрия s_v относительно гиперплоскости H_v, перпендикулярной к v, сохраняет систему, причем для всякого вектора v' из системы s_v(v') − v' является целым кратным вектора v. Оказывается, системы корней можно полностью классифицировать. Возникает несколько «серий» (бесконечных последовательностей) и несколько «исключительных» систем. Мы поговорим о системах корней в пространствах произвольной размерности, их классификации, и возникающих в связи с этим диаграммах Дынкина.
  • Сергей Ландо
    Числа Гурвица были введены А. Гурвицем в конце 19 века. Они перечисляют разветвленные накрытия двумерных поверхностей и имеют множество других проявлений — перечисляют разнообразные классы графов, являются коэффициентами связи в симметрических группах, представляют собой инварианты Громова–Виттена комплексных кривых.
  • Keith Conrad
    ABC-гипотеза была сформулирована в 1985 г. и быстро стала центральной проблемой в теории чисел из-за её связей с другими нерешёнными проблемами, а также из-за того, что многие уже доказанные известные результаты были бы её следствиями. В 2012 году японский математик Мотидзуки выложил доказательство ABC-гипотезы в интернете, но математическое сообщество еще не пришло к единому мнению, правильно ли оно. В курсе мы введём ABC-гипотезу, опишем несколько эквивалентных её вариантов, и проследим ее связи с другими проблемами и теоремами в теории чисел. От слушателей потребуется знакомство с арифметикой вычетов и многочленами над полями.
  • Александр Кузнецов
    Инварианты Громова–Виттена – это замечательный набор численных инвариантов алгебраического (и, более общо, симплектического) многообразия, обобщающих индексы пересечения когомологических классов. Они позволяют ввести на кольце когомологий новое, так называемое квантовое умножение, являющееся деформацией обычного умножения в когомологиях, и являются первым шагом к пониманию зеркальной симметрии – удивительного явления, открытого физиками в конце 80-х годов прошлого века. Для алгебраического многообразия инварианты Громова–Виттена определяются через теорию пересечений пространства модулей кривых в этом многообразии. Я постараюсь объяснить, что такое пространство модулей кривых и как с ним обращаться, какие возникают сложности с вычислением инвариантов Громова–Виттена и как их преодолевают.
  • Keith Conrad
    Для каждого простого p существует нормирование на поле рациональных чисел, пополнение относительно которого называется p-адическими числами. Эти пополнения играют важную роль в теории чисел и смежных областях математики. В этом курсе мы узнаем, что такое p-адические числа, и обсудим несколько элементарных применений к задачам алгебры и теории чисел. От слушателей потребуется знакомство с арифметикой вычетов и пополнением метрического пространствa.
  • Александр Буфетов
    Лягушка сидит в вершине квадрата и раз в десять секунд принимает решение и совершает прыжок: с вероятностью p по часовой стрелке, с вероятностью q против часовой стрелки, с вероятностью 1−p−q на месте. Через десять секунд вновь решая куда прыгнуть, лягушка принимает во внимание лишь ту вершину, в которой она находится. Таким образом, положения лягушки в различные моменты времени не независимы, однако, при фиксированном настоящем, будущее лягушки независимо от её прошлого. В честь открывшего их нашего великого соотечественника Андрея Андреевича Маркова такие системы испытаний называют цепями Маркова. Цель нашего курса — дать элементарное введение в теорию марковских процессов со счётным числом состояний.
  • Александр Гайфуллин
    Классическая теорема Бойяи–Гервина (1830-е годы) утверждает, что любые два многоугольника равной площади равносоставлены друг с другом: первый многоугольник можно разрезать на конечное число многоугольных частей и затем сложить из этих частей второй многоугольник. Ещё Гаусс задавал вопрос, верно ли аналогичное утверждение для многогранников. А именно, его интересовало, можно ли доказать стандартную формулу для объёма пирамиды (одна треть произведения длины высоты на площадь основания) без использования предельного перехода, то есть разбив пирамиду на конечное число кусков, из которых можно сложить прямоугольный параллелепипед.
  • Иван Лосев
    В лекциях вводятся основные сведения из теории представлений конечных групп, объясняется подход Вершика и Окунькова к представлениям симметрических групп, рассказывается о том, что происходит в положительной характеристике и при чем тут алгебры Ли. Курс должен быть понятен студентам, начиная с первого курса, хорошо освоившим курс алгебры.
  • Михаил Тёмкин
    Приставляя тетраэдры друг к другу по граням можно получать примеры симплициальных комплексов — важного математического объекта. Раскрасим треугольники такого сооружения в чёрный и белый цвета и назовём раскраску хорошей, если каждый тетраэдр имеет поровну чёрных и белых граней. Оказывается, что в случае (стандартно симплициально разбитых) маломерных сфер множество белых треугольников оказывается объектом, достойным изучения: листом Мёбиуса или проективной плоскостью. При описании того, как именно эти объекты разбиты на треугольники у нас естественным образом возникнет икосаэдр — замечательный правильный многогранник. Исследование группы его самосовмещений позволит понять, сколько существует хороших раскрасок. По пути нам встретятся такие важные базовые понятия математики, как вышеупомянутые симплициальный комплекс и группа симметрий, действие и пр.
  • Иван Аржанцев
    В этом курсе изучается такой замечательный и вполне элементарный объект, как конечномерные коммутативные ассоциативные алгебры над комплексными числами. Здесь достаточно легко доказать первые структурные результаты, но получить полную классификацию едва ли возможно. Мы обсудим различные техники работы с конечномерными алгебрами (максимальные идеалы и локальные алгебры, фильтрации и градуировки, последовательность Гильберта-Самюэля и цоколь) и получим явное описание алгебр малых размерностей. Оказывается, конечномерные алгебры тесно связаны с действиями с открытой орбитой коммутативных групп матриц на аффинных и проективных пространствах. Мы объясним эту связь. В процессе объяснения естественно возникнут такие понятия как экспонента линейного оператора, представление группы и циклический модуль, алгебра Ли и ее универсальная обертывающая.
  • Алексей Зыкин
    Задача о конгруэнтных числах, упоминавшаяся еще в арабских математических текстах X века, состоит в следующем: для каких рациональных чисел s найдется прямоугольный треугольник с рациональными сторонами и площадью s? Удивительным образом эта проблема оказывается связанной с самой современной математикой — ее решение может быть получено по модулю так называемой гипотезы Берча и Свиннертона-Дайра, входящей в список «Проблем тысячелетия» института Клэя и за решение которой предлагается миллион долларов. Я попытаюсь рассказать о том, откуда берется такая связь. По пути нам встретится множество объектов и теорем, имеющих огромную важность в современной арифметической геометрии и теории чисел. Мы обсудим эллиптические кривые и закон сложения на них, теорему Морделла–Вейля, поговорим о том, как полезно смотреть на решения уравнений по модулю простого числа pp и упомянем теорему Минковского–Хассе о квадратичных формах, по пути нам понадобятся такие классические утверждения как теорема Дирихле о простых числах в арифметических прогрессиях и квадратичный закон взаимности. Наконец, если останется время, мы упомянем об L-функциях эллиптических кривых и модулярных формах, — то без чего невозможно представить современную теорию чисел.
<<< |1|2|3|4|5|6|…|12| >>>