Квантовые вычисления
Quantum на собеседовании
IBM Quantum, Google Quantum AI, IonQ, PsiQuantum нанимают Quantum Software Engineers с зарплатами $150-400K. Microsoft Azure Quantum ищет разработчиков Q#. Даже классические компании - JPMorgan, Goldman Sachs, Airbus - открыли quantum research labs. Знание квантовых вычислений на уровне software engineer - редкий и высокооплачиваемый навык.
- **IBM Quantum Network**: 400+ партнёров (Exxon Mobil, CERN, Daimler) с cloud-доступом к 127-кубитным машинам. Задачи: химия, оптимизация, финансовое моделирование.
- **Google Quantum AI (Mountain View)**: команда 50+ физиков и инженеров, фокус на error correction. Публикации в Nature, Science. Требования: PhD или MS в QC/physics/CS.
- **Quantinuum (ex-Cambridge Quantum + Honeywell)**: trapped-ion компьютеры с highest fidelity, приоритет фармацевтике и материаловедению. Ищут software engineers для компиляции квантовых схем.
Проектирование квантовых схем на собеседовании
Позиции Quantum Software Engineer в IBM Quantum, Google Quantum AI, IonQ, Quantinuum требуют умения проектировать схемы под конкретную задачу. Стандартный вопрос: «Реализуйте Bell state» или «Постройте схему для генерации равномерного суперпозиции 3 состояний».
Ключевые примитивы, которые нужно знать на память: суперпозиция (H), запутывание (CNOT), фазовые гейты (S, T, Rz), controlled gates. Любую унитарную матрицу можно декомпозировать в H + T + CNOT.
На собеседовании часто проверяют понимание унитарности: «Почему квантовые вычисления обратимы?». Ответ: все квантовые гейты - унитарные матрицы (U†U = I), поэтому обратимы. Измерение - исключение: неунитарное и необратимое.
Нужно создать равномерную суперпозицию всех 4 вычислительных базисных состояний для 2 кубитов. Какая схема правильная?
Выбор алгоритма: когда quantum, когда classical
Главный вопрос на quantum собеседовании в non-quantum компании: «Когда квантовый компьютер поможет конкретной задаче?» Неправильный ответ: «Всегда». Правильный: «В очень специфических случаях».
- **Quantum speedup гарантирован**: факторизация (Шор, exp. speedup), поиск периода, дискретный логарифм, симуляция квантовых систем.
- **Quantum speedup квадратичный**: поиск в неструктурированной БД (Гровер), Monte Carlo оценки (QAE), collision finding.
- **Квантовое преимущество под вопросом**: оптимизация (QAOA, annealing), машинное обучение (QML), линейные системы (HHL с caveats).
- **Quantum не помогает**: задачи где нет периодичности/амплитудного усиления, I/O bound задачи (quantum bottleneck = чтение данных), задачи где классика уже полиномиальна.
Scott Aaronson (квантовый complexity теоретик): «Если кто-то говорит, что квантовые компьютеры решают NP-трудные задачи - он ошибается. BQP ≠ NP почти наверняка. Квантовые компьютеры не взламывают AES напрямую, не решают TSP экспоненциально быстрее».
Задача: поиск конкретного элемента в несортированном массиве из N элементов. Насколько поможет алгоритм Гровера?
Шум, декогеренция и их объяснение на собеседовании
«Объясните, почему квантовые компьютеры шумные» - стандартный вопрос. Правильный ответ показывает понимание физики, а не только формул.
**Декогеренция**: квантовое состояние - суперпозиция - разрушается при взаимодействии с окружающей средой. Каждый фотон, фонон, электромагнитная флуктуация может «измерить» кубит, коллапсируя суперпозицию. Время когерентности T1 (релаксация) и T2 (депhasification) - ключевые параметры: IBM Eagle: T1 ~100-200 μs, T2 ~100-200 μs.
- **Gate error rate**: каждый 2-qubit гейт вносит ~0.1-1% ошибки. После 100 гейтов: ошибка может накопиться до 50-100%.
- **Readout error**: измерение кубита само по себе ошибочно ~1-3%. Классически это нонсенс - измерение не меняет биты.
- **Crosstalk**: сосед-кубит влияет на операции через паразитную связь. Особенно критично для 2-qubit гейтов.
- **Leakage**: кубит может «вытечь» из пространства {|0>, |1>} в более высокие энергетические уровни (|2>, |3>).
T1 (время релаксации) кубита = 100 μs. Gate time = 100 ns. Сколько 1-qubit гейтов можно выполнить за T1?
Компромиссы и «горячие» вопросы интервью
Финальная часть квантового собеседования - обсуждение trade-offs и текущего состояния области. Это проверяет зрелость понимания: не только «как работает», но и «почему ещё не везде».
- **NISQ vs Fault-tolerant**: NISQ работает сегодня (~100-1000 шумных кубитов), но без QEC ограничен в глубине. Fault-tolerant (~4000 логических кубитов) - цель, но требует ~4M физических кубитов с surface code.
- **Superconducting vs Trapped Ion vs Photonic**: сверхпроводники (IBM, Google) - быстро, легко масштабировать; trapped ion (IonQ, Quantinuum) - точнее, но медленнее; photonic (PsiQuantum) - комнатная температура, но сложнее.
- **qRAM проблема**: многие QML алгоритмы предполагают быструю загрузку N данных. qRAM требует O(N) qubit - экспоненциальная стоимость памяти съедает квантовый speedup.
- **Dequantization**: некоторые QML алгоритмы деквантизированы - классические алгоритмы с похожей эффективностью (Tang 2018). Проверяй, не деквантизирован ли твой алгоритм.
Ewin Tang (2018, студент) деквантизировала алгоритм сэмплирования рекомендательных систем от Kerenidis-Prakash, показав классический аналог с похожей сложностью. Это вызвало переосмысление многих QML претензий на ускорение.
Квантовые компьютеры делают всё быстрее - нужно просто подождать масштабирования железа
Квантовое ускорение гарантировано только для специфических задач со структурой (периодичность, амплитудное усиление). Для большинства практических задач квантовое преимущество не доказано даже теоретически
BQP (класс задач, решаемых квантово) не содержит NP-hard задачи (если P≠NP). Квантовые компьютеры не решают за полиномиальное время то, что требует экспоненты классически для NP-задач.
Интервьюер из IBM Quantum спрашивает: «Почему quantum supremacy не означает quantum advantage для бизнеса?». Лучший ответ:
Ключевые идеи
- **Circuit design**: Bell state (H+CNOT), GHZ, равномерная суперпозиция (H^⊗n) - знать схемы наизусть.
- **Algorithm selection**: экспоненциальное ускорение только для Шора и QPE; квадратичное - Гровер, QAE; для NP-hard задач квантового преимущества нет.
- **Noise understanding**: T1/T2 когерентность, gate error rate ~0.1-1%, readout error ~1-3%. Для RSA нужно fault-tolerant QEC.
- **Trade-offs**: NISQ vs fault-tolerant, платформы (superconducting/trapped-ion/photonic), qRAM bottleneck, dequantization угрозы QML.
Связанные темы
Подготовка к quantum собеседованию охватывает все ключевые темы курса:
- Алгоритм Шора и QFT — Самый популярный алгоритм на собеседовании: понимание period-finding + QFT + classical postprocessing
- Quantum Computing Applications — Практические применения - обязательная тема на системном дизайне: когда quantum, когда classical, реальные примеры
Вопросы для размышления
- Ewin Tang деквантизировала алгоритм рекомендательных систем. Как проверить, не деквантизирован ли уже новый QML алгоритм перед тем как строить на нём карьерные планы?
- Если бы пришлось выбрать между позицией Quantum Software Engineer в IBM (сверхпроводники) vs IonQ (trapped-ion), какие факторы повлияли бы на выбор с точки зрения долгосрочного развития квантовых вычислений?
- Quantum supremacy без quantum advantage - это прогресс или хайп? Как объяснить это неспециалисту-инвестору за 2 минуты?