English
Related papers

Related papers: (No) Quantum space-time tradeoff for USTCON

200 papers

We consider the selection problem on a completely connected network of $n$ processors with no shared memory. Each processor initially holds a given numeric item of $b$ bits allowed to send a message of $\max ( b, \lg n )$ bits to another…

Data Structures and Algorithms · Computer Science 2017-12-13 Piotr Berman , Junichiro Fukuyama

Population protocols are a popular model of distributed computing, in which randomly-interacting agents with little computational power cooperate to jointly perform computational tasks. Inspired by developments in molecular computation, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-04-18 Dan Alistarh , James Aspnes , David Eisenstat , Rati Gelashvili , Ronald L. Rivest

In thermodynamics, quantum coherences - superpositions between energy eigenstates - behave in distinctly nonclassical ways. Recently mathematical frameworks have emerged to account for these features and have provided a range of novel…

Quantum Physics · Physics 2018-04-26 Hyukjoon Kwon , Hyunseok Jeong , David Jennings , Benjamin Yadin , M. S. Kim

Given a set of pairwise disjoint polygonal obstacles in the plane, finding an obstacle-avoiding Euclidean shortest path between two points is a classical problem in computational geometry and has been studied extensively. Previously,…

Computational Geometry · Computer Science 2021-02-26 Haitao Wang

Quantum networks are essential for advancing scalable quantum information processing. Quantum nonlocality sharing provides a crucial strategy for the resource-efficient recycling of quantum correlations, offering a promising pathway toward…

Quantum Physics · Physics 2025-12-16 Ming-Xiao Li , Yuqi Li , Rui-Bin Xu , Mo-Ran Zhu , Haitao Ma , Chang-Yue Zhang , Zhu-Jun Zheng

For every $\epsilon>0$, we give an $\exp(\tilde{O}(\sqrt{n}/\epsilon^2))$-time algorithm for the $1$ vs $1-\epsilon$ \emph{Best Separable State (BSS)} problem of distinguishing, given an $n^2\times n^2$ matrix $\mathcal{M}$ corresponding to…

Quantum Physics · Physics 2017-07-11 Boaz Barak , Pravesh Kothari , David Steurer

For any function $f: X \times Y \to Z$, we prove that $Q^{*\text{cc}}(f) \cdot Q^{\text{OIP}}(f) \cdot (\log Q^{\text{OIP}}(f) + \log |Z|) \geq \Omega(\log |X|)$. Here, $Q^{*\text{cc}}(f)$ denotes the bounded-error communication complexity…

Computational Complexity · Computer Science 2017-09-07 William M. Hoza

We study quantum algorithms for spatial search on finite dimensional grids. Patel et al. and Falk have proposed algorithms based on a quantum walk without a coin, with different operators applied at even and odd steps. Until now, such…

Quantum Physics · Physics 2015-10-14 Andris Ambainis , Renato Portugal , Nikolay Nahimov

Adversarial online linear optimization (OLO) is essentially about making performance tradeoffs with respect to the unknown difficulty of the adversary. In the setting of one-dimensional fixed-time OLO on a bounded domain, it has been…

Machine Learning · Statistics 2026-02-09 Zhiyu Zhang , Aaditya Ramdas

We explore bounds of {\em time-space tradeoffs} in language recognition on {\em two-way finite automata} for some special languages. We prove: (1) a time-space tradeoff upper bound for recognition of the languages $L_{EQ}(n)$ on {\em…

Quantum Physics · Physics 2016-03-22 Shenggen Zheng , Daowen Qiu , Jozef Gruska

We show how to search N items arranged on a $\sqrt{N}\times\sqrt{N}$ grid in time $O(\sqrt N \log N)$, using a discrete time quantum walk. This result for the first time exhibits a significant difference between discrete time and continuous…

Quantum Physics · Physics 2007-05-23 Andris Ambainis , Julia Kempe , Alexander Rivosh

We provide improved space-time tradeoffs for permutation problems over additively idempotent semi-rings. In particular, there is an algorithm for the Traveling Salesperson Problem that solves $N$-vertex instances using space $S$ and time…

Data Structures and Algorithms · Computer Science 2026-04-09 Afrouz Jabal Ameli , Jesper Nederlof , Shengzhe Wang

Quantum non-local correlations and the acausal, spooky action at a distance suggest a discord between quantum theory and special relativity. We propose a resolution for this discord by first observing that there is a problem of time in…

General Relativity and Quantum Cosmology · Physics 2016-11-15 Shreya Banerjee , Sayantani Bera , T. P. Singh

In this work, we establish the first separation between computation with bounded and unbounded space, for problems with short outputs (i.e., working memory can be exponentially larger than output size), both in the classical and the quantum…

Computational Complexity · Computer Science 2026-04-07 Zihan Hao , Zikuan Huang , Qipeng Liu

We revisit the $k$-mismatch problem in the streaming model on a pattern of length $m$ and a streaming text of length $n$, both over a size-$\sigma$ alphabet. The current state-of-the-art algorithm for the streaming $k$-mismatch problem, by…

Data Structures and Algorithms · Computer Science 2020-04-28 Shay Golan , Tomasz Kociumaka , Tsvi Kopelowitz , Ely Porat

Quantitative trading is an integral part of financial markets with high calculation speed requirements, while no quantum algorithms have been introduced into this field yet. We propose quantum algorithms for high-frequency statistical…

Quantum Physics · Physics 2022-08-24 Xi-Ning Zhuang , Zhao-Yun Chen , Yu-Chun Wu , Guo-Ping Guo

Given a weighted, undirected graph $G$ cellularly embedded on a topological surface $S$, we describe algorithms to compute the second shortest and third shortest closed walks of $G$ that are neither homotopically trivial in $S$ nor…

Computational Geometry · Computer Science 2025-07-22 Matthijs Ebbens , Francis Lazarus

Nonlocal games with advantageous quantum strategies give arguably the most fundamental demonstration of the power of quantum resources over their classical counterparts. Recently, certain multiplayer generalizations of nonlocal games have…

Quantum Physics · Physics 2021-08-02 Austin K. Daniel , Akimasa Miyake

Let $S$ be a planar $n$-point set. A triangulation for $S$ is a maximal plane straight-line graph with vertex set $S$. The Voronoi diagram for $S$ is the subdivision of the plane into cells such that all points in a cell have the same…

Computational Geometry · Computer Science 2020-10-05 Matias Korman , Wolfgang Mulzer , Andre van Renssen , Marcel Roeloffzen , Paul Seiferth , Yannik Stein

The assignment problem takes as input two finite point sets S and T and establishes a correspondence between points in S and points in T, such that each point in S maps to exactly one point in T, and each point in T maps to at least one…

Computational Geometry · Computer Science 2007-05-23 Justin Colannino , Mirela Damian , Ferran Hurtado , John Iacono , Henk Meijer , Suneeta Ramaswami , Godfried Toussaint