Я читаю чудовий огляд Вотроуса на папері з теорії квантової складності. У ньому він заявляє, що було б дивно, якби було виявлено неповноцінну QMA-проблему (тобто бути мовою). Чому це так?
Чи пов’язано це з тим, що k-локальна гамільтонська проблема є проблемою обіцянки?
Крім того, це підводить мене до спорідненого питання: чи існують проблеми, пов'язані з QMA, які по суті не є "квантовими"?
3
Я думаю, що це було б цікаво, оскільки QMA визначається як семантичний клас, така повна проблема дала б синтаксичну характеристику. Перевірте відповідні запитання про класи синтаксичної / семантичної складності на cstheory / Mathoverflow.
—
Kaveh
Більше того, це явище не властиве зокрема для QMA. Інші семантично визначені класи, такі як МА, є BPP, також не відомо, що вони мають повну мову.
—
Робін Котарі
Цікаво, які необхідні та достатні умови є на практиці, щоб проблема була "не квантовою". Я припускаю, що будь-яка проблема, яка викликає повністю позитивну карту ( наприклад , дана карта CP незворотна чи далеко не обернена?) Або структура тензорного продукту ( наприклад, чи має позитивний напіввизначений оператор, наведений у k-локальній презентації, власне значення менше дельта, чи всі вони істотно перевищують дельту?) були б прикладами підозріло квантових проблем, незалежно від того, чи вони представлені з точки зору квантових каналів / еволюції чи стану простору сукупної системи ...
—
Ніль де Бодорап