Участник:EmirVi/Пол Сеймур (математик)

Пол Сеймур
Дата рождения	26 июля 1950 года (68 лет)
Место рождения	Плимут (Англия)
Место работы	Принстонский университет
Награды и премии	Премия Островского (2003) Премия Пойи (SIAM) (2004)

Пол Сеймур (родился 26 июля 1950) в настоящее время является профессором Принстонского университета кафедры математики по программе прикладной и вычислительной математике. Его исследовательский интерес связан с дискретной математикой, особенно с теорией графов. Он внес большой вклад  в изучение регулярных матроидов и полностью унимодулярных матриц, теоремы о четырех цветах, бессвязных вложений, теоремы о минорах графа, гипотезы идеального графа, гипотезы Хадвигера и графов без клешней. Многие из его последних работ размещены на его веб-сайте.

Он получил стипендию Слоуна в 1983 году и премию Островского в 2004 году. Выиграл премию Фалкерсона в 1979, 1994, 2006 и 2009 годах, премию Пойи в 1983 и 2004 годах. В 2008 году получил почетную докторскую степень в Университете Уотерлу, а в 2013 году - в Датском техническом университете.

Студенческие годы жизни

Сеймур родился в Плимуте, Девон, Англия . Он был студентом в Плимутском колледже, а затем учился в Эксетерском колледже в Оксфорде, получив степень бакалавра в 1971 году и доктора философии в 1975 году.

Карьера

В период с 1974 по 1976 годах Пол Сеймур был научным сотрудником колледжа в Университетском колледже Суонси. Затем он вернулся в Оксфорд, где проработал в 1976-1980 годах в качестве младшего научного сотрудника в Мертон-колледже, а в 1978-1979 годах в Университете Уотерлу. В 1980-1983 работал адъюнкт-профессором, а затем профессором в государственном исследовательском Университете штата Огайо, расположенном в городе Колумбус, штат Огайо, где он начал исследования с Нилом Робертсоном, плодотворное сотрудничество, которое продолжалось в течение многих лет. С 1983 до 1996 года работал в  Bellcore (Bell Communications Research, ныне Telcordia Technologies), Морристаун, штат Нью-Джерси. Он также был адъюнкт-профессором в Университете Рутгерса в 1984-1987 годах и в Университете Уотерлу в 1988-1993 годах. В 1996 году стал профессором Принстонского университета. Пол Сеймур является главным редактором (совместно  Карстеном Томассеном ) журнала "теория графов".

Пол Сеймур в 2007 году
(фото из МФО)

Личная жизнь

В 1979 году Пол женился на Шелли Макдональд из Оттавы. У них двое детей - Эми и Эмили. Супруги мирно расстались в 2007 году. У Пола есть брат Леонард В. Сеймур - профессор генотерапии в Оксфордском университете . ^[1]

Основные вклады

Комбинаторика в Оксфорде в 1970-х годах доминировала над теорией матроидов, благодаря влиянию Доминика Уэлша и Обри Уильяма Инглтона .  Большая часть ранних работ Сеймура, примерно до 1980 года, была посвящена теории матроидов и включала три важных труда о матроидах: его докторская работа D. Phil. - тезис о матроидах с max-flow и min-cut свойствами (за что он выиграл свою первую премию Фулкерсона); характеристика исключенных минорам матроидов, представленных над трехэлементным полем; и теорема о том, что все регулярные матроиды состоят из графических и кографических матроидов, собранных вместе простым способом (который выиграл свой первый приз Pólya). С этого периода было несколько других значительных работ: статья с Уэлшом о критических вероятностях просачивания связи на квадратной решетке; статья, в которой раскрыта гипотеза двойного покрытия цикла; статья о краевом многоцветии кубических графов, которая предвещает теорему о совпадающей решетке Ласло Ловаса ; статья, доказывающая, что все безмостные графы допускают нигде-нулевые 6-потоки, шаг к гипотезе Тутте о нигде-нулевом 5-потоке и статья, решающая проблему двух путей, которая была двигателем большей части будущей работы Сеймура.

В 1980 году он переехал в Университет штата Огайо и начал работать с Нилом Робертсоном. Это привело в конечном счете к самому важному достижению Сеймура, так называемому "проекту графических миноров", серии из 23 работ (совместно с Робертсоном), опубликованных в течение следующих тридцати лет, с несколькими значительными результатами: теорема о структуре миноров графа, что для любого фиксированного графа все графы, которые не содержат его как минор, могут быть построены из графов, которые по существу имеют ограниченный род, объединяя их вместе на небольших наборах вырезов в древовидной структуре; доказательство гипотезы Вагнера что в любом бесконечном множестве графов один из них является минором другого (и, следовательно, любое свойство графов, которое может характеризоваться исключенными минорами, может характеризоваться конечным списком исключенных миноров); доказательство подобной гипотезы Нэша-Уильямса о том, что в любом бесконечном множестве графов один из них может быть погружен в другой; и алгоритмы полиномиального времени, чтобы проверить, содержит ли граф фиксированный граф в качестве минора, и решить проблему к вершинно-непересекающихся путей для всех фиксированных k.

Примерно в 1990 году Робин Томас начал работать с Робертсоном и Сеймуром. В результате их сотрудничества в течение следующих десяти лет было подготовлено несколько важных совместных документов: доказательство гипотезы Сакса, характеризующей исключенными минорами графы, допускающие бессвязные вложения в 3-пространстве; доказательство того, что каждый граф, который не является пятицветным, имеет полный граф с шестью вершинами в качестве второстепенного (предполагается, что теорема о четырех цветах дает этот результат, что является случаем гипотезы Хадвигера); с Дэном Сандерсом новое, упрощенное, компьютерное доказательство четырехцветной теоремы; описание двудольных графов, допускающих Pfaffian ориентации; и приведение к "почти плоскому случаю гипотезы Тутте о том, что каждый кубический граф без моста, который не является трехкратным, содержит граф Петерсена как минор. (Оставшийся "почти плоский случай" теперь был решен, завершив доказательство гипотезы Тутта, в работах подмножеств Сандерса, Сеймура, Томаса и Кэтрин Эдвардс. Это не предполагает теорему о четырех цветах и повторно доказывает ее в расширенной форме).

В 2000 году трио было поддержано Американским Институтом математики для работы над сильной гипотезой идеального графа, известным открытым вопросом, который был поднят Клодом Берджем в начале 1960-х годов. Студентка Сеймура Мария Чудновская присоединилась к ним в 2001 году, а в 2002 году четверка совместно доказала гипотезу. Сеймур продолжал работать с Чудновской и получил еще несколько результатов о индуцированных подграфах, в частности (с Корнежоль, Liu, Vuskovic) алгоритм полиномиального времени для проверки того, является ли граф совершенным, и общее описание всех графов без когтей. Совсем недавно, в серии работ с Алексом Скоттом и частично с Чудновской, они доказали две гипотезы  Андраша Гьярфаса, что каждый граф с ограниченным числом клики и достаточно большим хроматическим числом имеет индуцированный цикл нечетной длины не менее пяти и имеет индуцированный цикл длины не менее любого указанного числа.

Смотрите также

• Теорема Робертсона – Сеймура

Внешние ссылки

• Домашняя страница Пола Сеймура в Принстонском университете
• Paul Seymour (англ.) в проекте «Математическая генеалогия»

[[Категория:Преподаватели Принстонского университета]] [[Категория:Преподаватели Университета штата Огайо]] [[Категория:Графисты]] [[Категория:Википедия:Биографии современников]] [[Категория:Родившиеся в 1950 году]]