Миклош Айтаї

Міклош Айтай (народився 2 липня 1946 року) — американський комп'ютерний фахівець у IBM Almaden Research Center угорського походження.

Міклош Айтай
угор. Ajtai Miklós
Народився	2 липня 1946(1946-07-02) (78 років) Будапешт, Друга угорська республіка^[1]
Місце проживання	Сан-Хосе
Країна	Угорщина
Діяльність	математик, інформатик, інженер
Alma mater	Будапештський університет (1976)^[2]
Галузь	теорія складності обчислень
Заклад	IBM^[3] Університет Макгілла Університет Каліфорнії в Сан-Дієго Массачусетський технологічний інститут
Науковий керівник	^d^[2]
Аспіранти, докторанти	^d^[2]
Членство	Угорська академія наук Національна академія наук США^[4]^[5]
Батько	^d
Нагороди	премія Кнута (2003) ^d (2012)

Навчання та громадська діяльність

Міклош Айтай здобув ступінь кандидата наук у 1976 році в Угорській Академії наук. З 1995 року він є членом Угорської Академії наук.

У 1998 році він був запрошеним спікером Міжнародного конгресу математиків у Берліні. У 2012 році він був обраний членом Американської асоціації розвитку науки.

Наукова діяльність

Один з результатів наукових пошуків Міклоша Айтая свідчить, що довжина доказів у численнях висловлень з принципу Діріхле для n елементів зростає швидше, ніж будь-який многочлен у n. Він також довів, що твердження «будь-які дві зліченні множини, які є еквівалентом другого порядку, також є ізоморфічними», і вони як узгоджуються, так і не залежать від теорії множин Цермело — Френкеля (zfc).

Міклош Айтай та Ендре Семереді довели теорему про кути, що є важливим кроком для узагальнення теореми Семереді. З Комлошем та Семереді він довів верхню межу ct2 / log t для числа теореми Ремзі R (3, t). Відповідна нижня межа була доведена Кімом лише в 1995 році. За цей результат він був нагороджений премією Фалькенсона. Із Чваталом та Семереді Міклош Айтай довів нерівність числа схрещень, що будь-який малюнок графа з n вершинами та m ребрами, де m> 4n, має щонайменше м3 / 100n2 схрещень. Айтай та Дворк розробляли в 1997 році криптосистему з відкритим ключем на основі асиметричних алгоритмів шифрування. Міклош Айтай провів велику роботу з вивчення асиметричних алгоритмів шифрування. За численні внески в теоретичну комп'ютерну науку він отримав премію Кнута.

Нагороди

У 2003 році він був нагороджений премією Кнута за великий внесок в теоретичну комп'ютерну науку, включаючи класичний алгоритм сортувальної мережі (розроблений спільно з Дж. Комлосом та Ендре Семереді), експоненціальні нижні межі, суперлінійні компроміси у часовому просторі для програм розгалуження, а також інші «унікальні та вражаючі» результати.

Вибрані статті

1. Ajtai, M. (1979), Isomorphism and higher order equivalence, Annals of Mathematical Logic, 16 (3): 181—203, doi:10.1016/0003-4843(79)90001-9
2. Ajtai, M.; ; Szemerédi, E. (1982), Largest random component of a k-cube, , 2 (1): 1—7, doi:10.1007/BF02579276

Примітки

1. ідентифікатор PIM
   d:Track:Q29043331d:Track:Q54878968
2. Математичний генеалогічний проєкт — 1997.
   d:Track:Q829984
3. https://www.nasonline.org/about-nas/events/annual-meeting/nas159/2021-ceremony.html
4. https://www.nasonline.org/member-directory/members/20051882.html
5. https://www.nasonline.org/news-and-multimedia/news/2021-nas-election.html — 2021.
6. Magyar Tudományos Akadémia, Almanach, 1986, Budapest.
7. Ajtai, Miklós (1998). Worst-case complexity, average-case complexity and lattice problems. Doc. Math. (Bielefeld) Extra Vol. ICM Berlin, 1998, vol. III. с. 421—428. Архів оригіналу за 24 липня 2020. Процитовано 30 серпня 2020.
8. AAAS Members Elected as Fellows [Архівовано 15 квітня 2021 у Wayback Machine.], AAAS, 29 November 2012
9. Архівована копія. Архів оригіналу за 14 травня 2021. Процитовано 30 серпня 2020.{{}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title ()

Посилання

• Домашня сторінка Міклоша Айтая
• Список публікацій на Microsoft Academic Search
• Міклош Айтай(англ.) у проєкті «Математична генеалогія».(англ.) в проекті «Математична генеалогія».