Міклош Айтай

Міклош Айтай (народився 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). . 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
• Міклош Айтай(англ.) у проєкті «Математична генеалогія».(англ.) в проекті «Математична генеалогія».