stringtranslate.com

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

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

Биография

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

Исследовать

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

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

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

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

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

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

Ссылки

  1. ^ «Резолюция Университета Буэнос-Айреса EXP-UBA 36.186/2014» (PDF) .
  2. ^ «Йос Ульрих Хайнц в проекте «Генеалогия математики»».
  3. ^ "В. Шварц, Дж. Вольфарт. Zur Geschichte des Mathematischen Seminars der Universität Frankfurt am Main, 1914-1970 (2002)" (PDF) .
  4. ^ Хайнц, Йос (1983). «Определимость и быстрое устранение квантификаторов в алгебраически замкнутых полях». Теоретическая информатика . 24 (3): 239–277. doi : 10.1016/0304-3975(83)90002-6 .
  5. ^ Канилья, Л.; Хайнц, Дж.; Галлиго, А. (1988). «Простая экспонента для ступеней в теории нулей на корпусе характеристических свойств». Comptes rendus de l'Académie des Sciences . 307 : 255–258.
  6. ^ Кронекер, Леопольд (1882). «Grundzüge einer алгебраическая теория большой арифметики». Журнал для королевы и математики . 92 : 1–122.
  7. ^ Giusti, M.; Lecerf, G.; Salvy, B. (2001). «Альтернатива без Грёбнера для решения полиномиальных систем». Journal of Complexity . 17 : 154–211. doi : 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. ^ Беренштейн, CA; Штруппа, DC (1991). «Недавние улучшения в сложности эффективного Nullstellensatz». Линейная алгебра и ее приложения . 157 : 203–215. doi : 10.1016/0024-3795(91)90115-D .
  13. ^ Хайнц, Йоос (2021). «La complejidad es el momento de la verdad» (PDF) . Ciencia e Investigacion. Ресеньяс . 9 (2). Аргентинская ассоциация прогресса наук: 43–55.
  14. ^ "Premio Konex 2003: Электронная инженерия, связь и информатика" .