Вопросы с тегом «quantum-computing»

Мой вопрос касается квантовых алгоритмов для расчетов КЭД (квантовой электродинамики), связанных с константами тонкой структуры. Такие вычисления (как мне объяснили) равносильны вычислению рядов, подобных Тейлору где - постоянная тонкой структуры (около 1/137), а - вклад диаграмм Фейнмана с циклами. ∑ckαk,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk Этот вопрос был мотивирован комментарием Питера Шора (о QED …

10 cc.complexity-theory  quantum-computing  physics 

Хорошо известно, что вычисление недетерминированной машины Тьюринга (NTM) представляется в виде дерева конфигураций, основанного на начальной конфигурации. Любой переход в программе представлен ссылкой «отец-ребенок» в этом дереве. Подобные деревья также могут быть построены для визуализации вычислений вероятностных и квантовых машин. (Обратите внимание, что для некоторых целей лучше не рассматривать связанный …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

JBV предложил мне превратить некоторые комментарии в вопрос, так что здесь. Другой вопрос [1] касается применения QM-вычислений. Одним из ответов [2] было «эффективное моделирование квантовой механики». Очевидно, эта идея восходит к ранним работам Фейнмана на эту тему; хотя у меня нет ссылки. Так: Вопрос. Что является доказательством того, что квантовый …

10 reference-request  quantum-computing  application-of-theory 

Некоторые из нас читали статью Майкла Нильсена о геометрическом подходе к использованию квантовых нижних границ (вкратце, построение финслеровой метрики на такой, что геодезическое расстояние от I до элемента U является нижней границей на число ворот в квантовой схеме, которая вычисляет U ).SU( 2N)SU(2N)SU(2^n)яяIUUUUUU Мне было интересно, были ли конкретные примеры …

10 quantum-computing 

Алгоритм Дойча является хорошо известным квантовым вычислением f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} только с одной оценкой fff . Если мы заменим +++ на ⋅⋅\cdot проблема, похоже, станет другой. Мой вопрос: существует ли квантовый алгоритм, вычисляющий значение f(0)⋅f(1)f(0)⋅f(1)f(0)\cdot f(1) (или AND, если вы предпочитаете), используя только одну оценку fff . В противном случае: …

10 reference-request  quantum-computing 

Я читаю превосходный обзорный документ Уотроуса на бумаге по теории квантовой сложности. В нем он заявляет, что было бы удивительно, если бы обнаружилось, что проблема, полная QMA, имеет бессмысленное обещание (т.е. быть языком). Почему это так? Связано ли это с тем фактом, что k-локальная гамильтонова задача является проблемой обетованной? Кроме …

10 cc.complexity-theory  quantum-computing 

Мне любопытно, если бы кто-то мог порекомендовать какой-нибудь дополнительный материал для более глубокого понимания статьи: « Некоторые результаты и проблемы о квантовых неравенствах типа Белла - Цирельсон ». В частности, кое-что, что может более подробно рассказать о геометрической интерпретации неравенств типа Белла. Возможно, учебник для начинающих или соответствующий учебник, в …

10 reference-request  quantum-computing  quantum-information 

В Бернштейн и Вазираньте в основополагающей работе «Квантовая теория сложности», они показывают , что - мерное унитарное преобразование может быть эффективно аппроксимировать продукт того , что они называют «рядом с тривиальными севооборотами» и «почти тривиальные фазовыми сдвиги».ddd «Почти тривиальные вращения» представляют собой одномерные матрицы которые действуют как единое целое во …

10 quantum-computing  linear-algebra  universal-computation 

Хотя экспоненциальное разделение между сложностью квантового запроса с ограниченной ошибкой ( Q ( f)Q(f)Q(f) ) и сложностью детерминированного запроса ( Д ( ф)D(f)D(f) ) или сложностью рандомизированного запроса с ограниченной ошибкой ( R ( f)R(f)R(f) ) известно, они применяются только к определенным частичным функциям. Если частичные функции имеют некоторые специальные …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Span-программа - это линейно-алгебраический способ задания булевой функции, представленный здесь . Недавно эта модель использовалась, чтобы показать, что метод отрицательного противника обеспечивает точную характеристику (по крайней мере, до ) сложности квантовых запросов.logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Мера сложности, связывающая программы span с квантовой сложностью запроса, - это размер свидетеля. Эта …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

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

10 quantum-computing  cr.crypto-security 

Большая часть литературы по квантовым вычислениям фокусируется на схемотехнической модели. Адиабатические квантовые вычисления основаны не на применении последовательности унитарных операторов, а на изменении зависящего от времени гамильтониана. Я ищу понимание любого из следующего. Являются ли адиабатические квантовые вычисления такими же мощными, как схемная модель, или они по своей природе менее …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

Существует ли известное семейство групповых действий с назначенным элементом в наборе, над которым выполняется действие, где известно, как эффективно \: выборка (по существу, равномерно) из групп, вычисление обратных операций, вычисление групповых операций и вычисление групповых действий \: и нет известного эффективного квантового алгоритма для успеха с пренебрежимо малой вероятностью в …

9 cr.crypto-security  quantum-computing  gr.group-theory 

Хорошо известно, что сложность квантового запроса с ограниченной функцией функции равна . Теперь вопрос в том, что если мы хотим, чтобы наш квантовый алгоритм работал успешно для каждого входа с вероятностью а не обычным . Теперь с точки зрения какие будут соответствующие верхние и нижние границы?OR(x1,x2,…,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n)Θ(n−−√)Θ(n)\Theta(\sqrt{n})1−ϵ1−ϵ1-\epsilon2/32/32/3ϵϵ\epsilon Непосредственно для этой …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

Поскольку ответа не было дано, был установлен флаг с просьбой преобразовать этот вопрос в вики сообщества. Комментарии Аарона Стерлинга, Сашо Николова и Вора были объединены в следующую резолюцию, которая открыта для обсуждения в вики сообщества: Решено: Что касается классических алгоритмов, которые выводят числа, выборки или траектории моделирования, строгая математическая логика …

9 quantum-computing  program-verification  sample-complexity