Йоос Ульрих Хайнц

Йоос Ульрих Хайнц
Йоос Ульрих Хайнц
Рожденный	27 октября 1945 г. (78 лет) ; Цюрих , Швейцария
Национальность	швейцарский
Альма-матер	Университет Цюриха
Род занятий	Математик , философ и антрополог

Йос Ульрих Хайнц (родился 27 октября 1945 г.) — аргентинско-швейцарский математик. профессором В настоящее время он является почетным Университета Буэнос-Айреса . ^[1]

Биография

Хайнц родился 27 октября 1945 года в Цюрихе , Швейцария. После изучения математики и культурной антропологии в Цюрихском университете до уровня бакалавра он получил докторскую степень по математике в 1982 году под руководством Фолькера Штрассена . ^[2] Он получил абилитацию в 1986 году в Университете имени И.В. Гете во Франкфурте-на-Майне. ^[3] где он также изучал тюркологию , историю и культуру сефардов. Он был назначен приват-доцентом университета имени Й. В. Гете во Франкфурте-на-Майне. До выхода на пенсию в 2017 году он работал профессором в Университете Буэнос-Айреса и Университете Кантабрии /Испания, а также старшим научным сотрудником Национального совета по научно-технологическому развитию (CONICET) .

Исследовать

Хайнц работал в основном в области алгебраической теории сложности, вычислительной алгебраической геометрии и полуалгебраической геометрии. С этой целью он вместе со своими сотрудниками разработал различные математические инструменты, например, неравенство Безу. ^[4] или первый эффективный Nullstellensatz в произвольной характеристике. ^[5] Это позволило ему и его сотрудникам адаптировать теорию исключения Кронекера. ^[6] к требованиям сложности современной компьютерной алгебры и доказать, что все разумные геометрические (не алгебраические) задачи вычислений разрешимы в PSPACE . Позже он распространил эти результаты по сложности на полиномиальные системы ввода, заданные арифметическими схемами. Результатом стал оптимальный вероятностный алгоритм исключения для наихудшего случая с возможностью распознавать «легко решаемые» входные системы, который позже был реализован Грегуаром Лесерфом. ^[7] Наконец, Хайнц и его сотрудники продемонстрировали, что при хрупких и естественных предположениях сложность алгоритмов исключения в худшем случае неизбежно экспоненциальна, независимо от выбранной структуры данных. ^[8] Он применил свои результаты и методы также к смешанной целочисленной оптимизации. ^[9] и основы программной инженерии . ^[10]

Кроме того, в области лингвистики он определил морфологию и фонологию турецкого языка как обычного языка. ^[11]

В 1987 году Хайнц основал аргентинскую исследовательскую группу Noai Fitchas в Буэнос-Айресе. Эта группа была преобразована в международную рабочую группу TERA (Турбо-оценка и быстрые алгоритмы) с сотрудниками из нескольких аргентинских, французских, испанских и немецких университетов и исследовательских институтов, таких как Университет Буэнос-Айреса, CONICET, Университет Ниццы , Политехническая школа в Париж, Кантабрийский университет (Испания) и Университет Гумбольдта в Берлине. Ноаи Фитчас использовался в качестве псевдонима аргентинской группы, и в девяностые годы под этим именем были опубликованы многочисленные влиятельные статьи по компьютерной алгебре. ^[12]^[13]

Хайнц был членом редакционных коллегий нескольких международных журналов, в том числе «Основы вычислительной математики», «Вычислительная сложность и применимая алгебра в технике», а также «Коммуникации и вычисления», от которых он получил три награды за лучшую статью.

В 2003 году Хайнц был награжден аргентинской медалью за заслуги перед Konex . ^[14]

Важные публикации

Хайнц, Йоос (1983). Определимость и быстрое устранение кванторов в алгебраически замкнутых полях. Теоретическая информатика . 24. С. 239–277. https://doi.org/10.1016/0304-3975(83)90002-6
Канилья Л., Галлиго А., Хайнц Дж. (1989) Некоторые новые границы эффективности в вычислительной геометрии. В: Мора Т. (ред.) Прикладная алгебра, алгебраические алгоритмы и коды, исправляющие ошибки. AAECC 1988. Конспекты лекций по информатике , том 357. Springer, Берлин, Гейдельбергская премия за лучшую статью. https://doi.org/10.1007/3-540-51083-4_54
Банк Б, Джусти М., Хайнц Дж., Мбакоп Г.М. (1997). Полярные многообразия, решение реальных уравнений и структуры данных: случай гиперповерхности. Журнал сложности 13 (1). стр. 5–27 https://doi.org/10.1006/jcom.1997.0432 Премия журнала Journal of Complexity за лучшую статью, 1997 г.
Джусти М., Хайнц Дж., Мораис Дж.Э., Моргенштерн Дж., Пардо Л.М. (1998). Прямые программы в геометрической теории исключения. Журнал чистой и прикладной алгебры 124 (1-3) (1998) 101-146 https://doi.org/10.1016/S0022-4049(96)00099-0
Хайнц Дж., Куйперс Б., Рохас Паредес А. (2013). Программная инженерия и сложность эффективной алгебраической геометрии. Журнал сложности 29 (1). стр. 92–138 https://doi.org/10.1016/j.jco.2012.04.005 Премия журнала Journal of Complexity за лучшую статью, 2013 г.
Банк Б., Джусти М., Хайнц Дж., Лесерф Г., Матера Г., Солерно Г. (2015). Локусы вырождения и решение полиномиальных уравнений. Основы вычислительной математики , 15 (1). стр. 159–184 https://doi.org/10.1007/s10208-014-9214-z.

Ссылки

^ «Резолюция Университета Буэнос-Айреса EXP-UBA 36.186/2014» (PDF) .
^ «Йос Ульрих Хайнц в проекте математической генеалогии» .
^ «В. Шварц, Дж. Вольфарт. К истории математического семинара Франкфуртского университета на Майне с 1914 по 1970 год (2002)» (PDF) .
^ Хайнц, Йоос (1983). «Определимость и быстрое устранение кванторов в алгебраически замкнутых полях» . Теоретическая информатика . 24 (3): 239–277. дои : 10.1016/0304-3975(83)90002-6 .
^ Канилья, Л.; Хайнц, Дж.; Галлиго, А. (1988). «Простая экспоненциальная оценка степеней в нулевой теореме о поле любой характеристики». Известия Академии наук . 307 : 255–258.
^ Кронекер, Леопольд (1882). «Основы алгебраической теории арифметических величин». Журнал чистой и прикладной математики . 92 :1–122.
^ Джусти, М.; Лесерф, Г.; Сальви, Б. (2001). «Бесплатная альтернатива Грёбнера для решения полиномиальной системы» . Журнал сложности . 17 : 154–211. дои : 10.1006/jcom.2000.0571 .
^ Банк, Б.; Хайнц, Йоос; Матера, Г.; Монтанья, JL; Пардо, LM; Рохас Паредес, А. (2016). «Игры-викторины как модель сокрытия информации». Журнал сложности . 34 : 1–29. arXiv : 1508.07842 . дои : 10.1016/j.jco.2015.11.005 . S2CID 31037127 .
^ Банк, Б.; Хайнц, Дж.; Крик, Т.; Мандель, Р.; Солерно, П. (1993). «Оптимальная оценка для квазивыпуклого целочисленного программирования» . Бюллетень Математического общества Франции . 121 (2): 299–314. дои : 10.24033/bsmf.2210 .
^ Хайнц, Дж.; Куйперс, Б.; Рохас Паредес, А. (2013). «Программная инженерия и сложность в эффективной алгебраической геометрии» . Журнал сложности . 29 : 92–138. arXiv : 1110.3030 . дои : 10.1016/j.jco.2012.04.005 .
^ Хайнц, Йоос; Шёниг, Клаус (1991). «Тюркская морфология как регулярный язык» . Центральноазиатский журнал . 35 (1–2): 96–122. JSTOR 41927774 .
^ Беренштейн, Калифорния; Струппа, округ Колумбия (1991). «Последние улучшения сложности эффективного Nullstellensatz» . Линейная алгебра и ее приложения . 157 : 203–215. дои : 10.1016/0024-3795(91)90115-D .
^ Хайнц, Йоос (2021). «Сложность — это момент истины» (PDF) . Наука и исследования. Отзывы . 9 (2). Аргентинская ассоциация прогресса науки: 43–55.
^ «Премия Konex 2003: электронная инженерия, связь и информатика» .

[1] «Резолюция Университета Буэнос-Айреса EXP-UBA 36.186/2014» (PDF) .

[2] «Йос Ульрих Хайнц в проекте математической генеалогии» .

[3] «В. Шварц, Дж. Вольфарт. К истории математического семинара Франкфуртского университета на Майне с 1914 по 1970 год (2002)» (PDF) .

[4] Хайнц, Йоос (1983). «Определимость и быстрое устранение кванторов в алгебраически замкнутых полях» . Теоретическая информатика . 24 (3): 239–277. дои : 10.1016/0304-3975(83)90002-6 .

[5] Канилья, Л.; Хайнц, Дж.; Галлиго, А. (1988). «Простая экспоненциальная оценка степеней в нулевой теореме о поле любой характеристики». Известия Академии наук . 307 : 255–258.

[6] Кронекер, Леопольд (1882). «Основы алгебраической теории арифметических величин». Журнал чистой и прикладной математики . 92 :1–122.

[7] Джусти, М.; Лесерф, Г.; Сальви, Б. (2001). «Бесплатная альтернатива Грёбнера для решения полиномиальной системы» . Журнал сложности . 17 : 154–211. дои : 10.1006/jcom.2000.0571 .

[8] Банк, Б.; Хайнц, Йоос; Матера, Г.; Монтанья, JL; Пардо, LM; Рохас Паредес, А. (2016). «Игры-викторины как модель сокрытия информации». Журнал сложности . 34 : 1–29. arXiv : 1508.07842 . дои : 10.1016/j.jco.2015.11.005 . S2CID 31037127 .

[9] Банк, Б.; Хайнц, Дж.; Крик, Т.; Мандель, Р.; Солерно, П. (1993). «Оптимальная оценка для квазивыпуклого целочисленного программирования» . Бюллетень Математического общества Франции . 121 (2): 299–314. дои : 10.24033/bsmf.2210 .

[10] Хайнц, Дж.; Куйперс, Б.; Рохас Паредес, А. (2013). «Программная инженерия и сложность в эффективной алгебраической геометрии» . Журнал сложности . 29 : 92–138. arXiv : 1110.3030 . дои : 10.1016/j.jco.2012.04.005 .

[11] Хайнц, Йоос; Шёниг, Клаус (1991). «Тюркская морфология как регулярный язык» . Центральноазиатский журнал . 35 (1–2): 96–122. JSTOR 41927774 .

[12] Беренштейн, Калифорния; Струппа, округ Колумбия (1991). «Последние улучшения сложности эффективного Nullstellensatz» . Линейная алгебра и ее приложения . 157 : 203–215. дои : 10.1016/0024-3795(91)90115-D .

[13] Хайнц, Йоос (2021). «Сложность — это момент истины» (PDF) . Наука и исследования. Отзывы . 9 (2). Аргентинская ассоциация прогресса науки: 43–55.

[14] «Премия Konex 2003: электронная инженерия, связь и информатика» .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]