Запитання з тегом «quantum-computing»

Моє запитання стосується квантових алгоритмів для обчислень QED (квантової електродинаміки), пов'язаних з константами тонкої структури. Такі обчислення (як я пояснив мені) складають для обчислення Тейлор-подібного ряду де α - константа тонкої структури (близько 1/137), а c k - внесок діаграм Фейнмана з k- петлями. ∑ cкαк,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk Це питання було …

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)IIIUUUUUU Мені було цікаво, чи існували конкретні …

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)D(f) ) або рандомізованою складністю запитів з обмеженою помилкою ( R(f)R(f)R(f) ), вони застосовуються лише до певних часткових функцій. Якщо парціальні функції мають деякі спеціальні структури, то вони також поліноміально пов'язані …

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

Програма прольоту - це лінійно-алгебраїчний спосіб визначення булевої функції, введеної тут . Нещодавно ця модель була використана для показу, що метод негативного супротивника забезпечує чітку характеристику (принаймні, до ) квантової складності запитів.logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Міра складності, що з'єднує прольотні програми з квантовою складністю запитів, - це розмір свідчень. …

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

У Universal Blind Quantum Computation автори описують протокол на основі вимірювань, який дозволяє майже класичному користувачеві виконувати довільні обчислення на квантовому сервері, не розкриваючи майже нічого про зміст обчислень. В описі протоколу автори згадують "набори залежностей", пов'язані з кожним кубітом, які повинні бути обчислені деяким методом, описаним у Детермінізмі в …

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