English
Related papers

Related papers: BQP $=$ PSPACE

200 papers

A bipartite perfect quantum strategy (BPQS) allows two players who cannot communicate with each other to always win a nonlocal game. BPQSs are rare but fundamental in light of some recent results in quantum information, computation, and…

Quantum Physics · Physics 2025-01-06 Adán Cabello

The problem of solving a system of polynomial equations is one of the most fundamental problems in applied mathematics. Among them, the problem of solving a system of binomial equations form a important subclass for which specialized…

Algebraic Geometry · Mathematics 2015-03-03 Tianran Chen , Dhagash Mehta

We study the problem of stochastic combinatorial pure exploration (CPE), where an agent sequentially pulls a set of single arms (a.k.a. a super arm) and tries to find the best super arm. Among a variety of problem settings of the CPE, we…

Machine Learning · Computer Science 2021-10-26 Yuko Kuroki , Liyuan Xu , Atsushi Miyauchi , Junya Honda , Masashi Sugiyama

This work revisits quantum algorithms for the well-known welded tree problem, proposing a very succinct quantum algorithm based on the simplest coined quantum walks. It simply iterates the naturally defined coined quantum walk operator for…

Quantum Physics · Physics 2023-10-24 Guanzhong Li , Lvzhou Li , Jingquan Luo

A fundamental pursuit in complexity theory concerns reducing worst-case problems to average-case problems. There exist complexity classes such as PSPACE that admit worst-case to average-case reductions. However, for many other classes such…

Quantum Physics · Physics 2020-09-02 Nai-Hui Chia , Sean Hallgren , Fang Song

We prove that QIP(2), the class of problems having two-message quantum interactive proof systems, is a subset of PSPACE. This relationship is obtained by means of an efficient parallel algorithm, based on the multiplicative weights update…

Computational Complexity · Computer Science 2009-05-11 Rahul Jain , Sarvagya Upadhyay , John Watrous

Demonstrating quantum advantage has been a pressing challenge in the field. Most claimed quantum speedups rely on a subroutine in which classical information can be accessed in a coherent quantum manner, which imposes a crucial constraint…

Quantum Physics · Physics 2025-11-04 Nhat A. Nghiem

In a sampling problem, we are given an input x, and asked to sample approximately from a probability distribution D_x. In a search problem, we are given an input x, and asked to find a member of a nonempty set A_x with high probability. (An…

Quantum Physics · Physics 2010-09-28 Scott Aaronson

We construct an oracular (i.e., black box) problem that can be solved exponentially faster on a quantum computer than on a classical computer. The quantum algorithm is based on a continuous time quantum walk, and thus employs a different…

We introduce and study a novel generalization of the classical Knapsack Problem (KP), called the Colored Knapsack Problem (CKP). In this problem, the items are partitioned into classes of colors and the packed items need to be ordered such…

Optimization and Control · Mathematics 2026-02-13 Fabio Ciccarelli , Alexander Helber , Erik Mühmer

Quantum walk is a potent technique for building quantum algorithms. This paper examines the quantum walk search algorithm on complete multipartite graphs with multiple marked vertices, which has not been explored before. Two specific cases…

Quantum Physics · Physics 2024-10-08 Ningxiang Chen , Meng Li , Xiaoming Sun

The quantum search problem is an important problem due to the fact that a general NP problem can be solved efficiently by an unsorted quantum search algorithm. Here it has been shown that the quantum search problem could be solved in…

Quantum Physics · Physics 2007-05-23 Xijia Miao

Quantum algorithms can deliver asymptotic speedups over their classical counterparts. However, there are few cases where a substantial quantum speedup has been worked out in detail for reasonably-sized problems, when compared with the best…

Quantum Physics · Physics 2019-07-24 Earl Campbell , Ankur Khurana , Ashley Montanaro

In this paper we consider what can be computed by a user interacting with a potentially malicious server, when the server performs polynomial-time quantum computation but the user can only perform polynomial-time classical (i.e.,…

Quantum Physics · Physics 2021-10-05 François Le Gall , Tomoyuki Morimae , Harumichi Nishimura , Yuki Takeuchi

Physics-informed neural networks (PINNs) have emerged as promising methods for solving partial differential equations (PDEs) by embedding physical laws within neural architectures. However, these classical approaches often require a large…

Quantum Physics · Physics 2025-10-21 Afrah Farea , Saiful Khan , Mustafa Serdar Celebi

Given a tree $T$ on $n$ vertices, and $k, b, s_1, \ldots, s_b \in N$, the Tree Partitioning problem asks if at most $k$ edges can be removed from $T$ so that the resulting components can be grouped into $b$ groups such that the number of…

Computational Complexity · Computer Science 2017-04-21 Zhao An , Qilong Feng , Iyad Kanj , Ge Xia

In recent years, deep learning has had a profound impact on machine learning and artificial intelligence. At the same time, algorithms for quantum computers have been shown to efficiently solve some problems that are intractable on…

Quantum Physics · Physics 2015-05-25 Nathan Wiebe , Ashish Kapoor , Krysta M. Svore

The field of quantum algorithms aims to find ways to speed up the solution of computational problems by using a quantum computer. A key milestone in this field will be when a universal quantum computer performs a computational task that is…

Quantum Physics · Physics 2018-09-21 Aram W Harrow , Ashley Montanaro

We show that the BIMATRIX game does not have a fully polynomial-time approximation scheme, unless PPAD is in P. In other words, no algorithm with time polynomial in n and 1/\epsilon can compute an \epsilon-approximate Nash equilibrium of an…

Computational Complexity · Computer Science 2007-05-23 Xi Chen , Xiaotie Deng , Shang-Hua Teng

We study the computational complexity of fundamental problems over the $p$-adic numbers ${\mathbb Q}_p$ and the $p$-adic integers ${\mathbb Z}_p$. Gu\'epin, Haase, and Worrell proved that checking satisfiability of systems of linear…

Computational Complexity · Computer Science 2025-04-21 Arno Fehm , Manuel Bodirsky