Max Home IndustryСкотт Ааронсон является лауреатом премии ACM 2020 в области вычислительной техники за его «новаторский вклад в квантовые вычисления».» Ааронсон, профессор компьютерных наук в Техасском университете в Остине, также внес фундаментальный вклад в классическую теорию сложности.
Премия, учрежденная в 2007 году в знак признания «фундаментального инновационного вклада в вычислительную технику в начале и середине карьеры», присуждается в размере 250 000 долларов США при финансовой поддержке Infosys Ltd.
В сегодняшнем объявлении Правин Рао, исполнительный директор Infosys, заявляет::
“Infosys гордится тем, что финансирует премию ACM в области вычислительной техники, и мы поздравляем Скотта Ааронсона с получением премии в этом году. Когда усилия по созданию квантовых вычислительных устройств впервые были серьезно исследованы в 1990-х годах, некоторые назвали это научной фантастикой. Хотя реализация полностью функционального квантового компьютера все еще может быть в будущем, это, безусловно, не научная фантастика. Успешные эксперименты с квантовым оборудованием, проведенные Google и другими компаниями, стали настоящим чудом для многих, кто следит за этими разработками. Скотт Ааронсон был ведущей фигурой в этой области исследований, и его вклад будет продолжать фокусироваться и направлять эту область по мере того, как она достигает своего замечательного потенциала.”
Объясняя, что целью квантовых вычислений является:
«использовать законы квантовой физики для создания устройств, которые могут решать проблемы, которые классические компьютеры либо не могут решить, либо не решают в любое разумное время»
ACM отмечает, что Ааронсон показал, как результаты теории вычислительной сложности могут дать новое понимание законов квантовой физики, и внес ясность в то, что квантовые компьютеры смогут и не смогут сделать.
Ааронсон помог разработать концепцию квантового превосходства, то, что будет достигнуто, когда квантовое устройство сможет решить проблему, которую ни один классический компьютер не может решить за разумное количество времени, и установил многие теоретические основы экспериментов по квантовому превосходству. Он также исследовал, как эксперименты по квантовому превосходству могут обеспечить ключевое применение квантовых вычислений, а именно генерацию криптографически случайных битов.
Среди его заметных вкладов-статья 2011 года” Вычислительная сложность линейной оптики», в которой вместе с соавтором Алексеем Архиповым он представил доказательства того, что рудиментарные квантовые компьютеры, полностью построенные из линейных оптических элементов, не могут быть эффективно смоделированы классическими компьютерами.
Ранее, в своей статье 2002 года “Квантовая нижняя граница для проблемы столкновения”, Ааронсон доказал квантовую нижнюю границу для проблемы столкновения, которая в течение многих лет была главной открытой проблемой. Эта работа ограничивает минимальное время, необходимое квантовому компьютеру для обнаружения коллизий в функциях «многие к одному», что свидетельствует о том, что основной строительный блок криптографии останется безопасным для квантовых компьютеров.
Ааронсон известен своей работой над “алгебризацией”, техникой, которую он изобрел вместе с Ави Вигдерсоном, чтобы понять пределы алгебраических методов разделения и свертывания классов сложности. Помимо своего технического вклада, Ааронсону также приписывают то, что он сделал квантовые вычисления понятными для широкой аудитории, благодаря своему популярному блогу Shtetl Optimized, где он объясняет своевременные и захватывающие темы в области квантовых вычислений простым и эффективным способом, TED Рассказывает, чтобы развеять заблуждения и предоставить общественности более точный обзор этой области и своей книги «Квантовые вычисления со времен Демокрита», см. Боковую панель.
В своем последнем посте в блоге Ааронсон рассказывает, как ему сообщили о выигрыше приза, и пишет::
Я не знаю, достоин ли я такой премии, но я знаю, что если и достоин, то в основном за работу, которую я сделал примерно с 2001 по 2012 год. Эта честь вдохновляет меня на желание быть более похожим на то, каким я был тогда, когда я был одержим, не пресыщен и одержим выяснением контуров BQP и эффективных вычислений в физической вселенной. Это заставляет меня хотеть оправдать веру ACM в меня.