-
Hardness of Approximate Nearest Neighbor Search under L-infinity
Authors:
Young Kun Ko,
Min Jae Song
Abstract:
We show conditional hardness of Approximate Nearest Neighbor Search (ANN) under the $\ell_\infty$ norm with two simple reductions. Our first reduction shows that hardness of a special case of the Shortest Vector Problem (SVP), which captures many provably hard instances of SVP, implies a lower bound for ANN with polynomial preprocessing time under the same norm. Combined with a recent quantitative…
▽ More
We show conditional hardness of Approximate Nearest Neighbor Search (ANN) under the $\ell_\infty$ norm with two simple reductions. Our first reduction shows that hardness of a special case of the Shortest Vector Problem (SVP), which captures many provably hard instances of SVP, implies a lower bound for ANN with polynomial preprocessing time under the same norm. Combined with a recent quantitative hardness result on SVP under $\ell_\infty$ (Bennett et al., FOCS 2017), our reduction implies that finding a $(1+\varepsilon)$-approximate nearest neighbor under $\ell_\infty$ with polynomial preprocessing requires near-linear query time, unless the Strong Exponential Time Hypothesis (SETH) is false. This complements the results of Rubinstein (STOC 2018), who showed hardness of ANN under $\ell_1$, $\ell_2$, and edit distance.
Further improving the approximation factor for hardness, we show that, assuming SETH, near-linear query time is required for any approximation factor less than $3$ under $\ell_\infty$. This shows a conditional separation between ANN under the $\ell_1/ \ell_2$ norm and the $\ell_\infty$ norm since there are sublinear time algorithms achieving better than $3$-approximation for the $\ell_1$ and $\ell_2$ norm. Lastly, we show that the approximation factor of $3$ is a barrier for any naive gadget reduction from the Orthogonal Vectors problem.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
Solar physics in the 2020s: DKIST, parker solar probe, and solar orbiter as a multi-messenger constellation
Authors:
V. Martinez Pillet,
A. Tritschler,
L. Harra,
V. Andretta,
A. Vourlidas,
N. Raouafi,
B. L. Alterman,
L. Bellot Rubio,
G. Cauzzi,
S. R. Cranmer,
S. Gibson,
S. Habbal,
Y. K. Ko,
S. T. Lepri,
J. Linker,
D. M. Malaspina,
S. Matthews,
S. Parenti,
G. Petrie,
D. Spadaro,
I. Ugarte-Urra,
H. Warren,
R. Winslow
Abstract:
The National Science Foundation (NSF) Daniel K. Inouye Solar Telescope (DKIST) is about to start operations at the summit of Haleakala (Hawaii). DKIST will join the early science phases of the NASA and ESA Parker Solar Probe and Solar Orbiter encounter missions. By combining in-situ measurements of the near-sun plasma environment and detail remote observations of multiple layers of the Sun, the th…
▽ More
The National Science Foundation (NSF) Daniel K. Inouye Solar Telescope (DKIST) is about to start operations at the summit of Haleakala (Hawaii). DKIST will join the early science phases of the NASA and ESA Parker Solar Probe and Solar Orbiter encounter missions. By combining in-situ measurements of the near-sun plasma environment and detail remote observations of multiple layers of the Sun, the three observatories form an unprecedented multi-messenger constellation to study the magnetic connectivity inside the solar system. This white paper outlines the synergistic science that this multi-messenger suite enables.
△ Less
Submitted 18 April, 2020;
originally announced April 2020.
-
An Adaptive Step Toward the Multiphase Conjecture
Authors:
Young Kun Ko,
Omri Weinstein
Abstract:
In 2010, Pǎtraşcu proposed the following three-phase dynamic problem, as a candidate for proving polynomial lower bounds on the operational time of dynamic data structures:
I: Preprocess a collection of sets $\vec{S} = S_1, \ldots , S_k \subseteq [n]$, where $k=\operatorname{poly}(n)$.
II: A set $T\subseteq [n]$ is revealed, and the data structure updates its memory.
III: An index…
▽ More
In 2010, Pǎtraşcu proposed the following three-phase dynamic problem, as a candidate for proving polynomial lower bounds on the operational time of dynamic data structures:
I: Preprocess a collection of sets $\vec{S} = S_1, \ldots , S_k \subseteq [n]$, where $k=\operatorname{poly}(n)$.
II: A set $T\subseteq [n]$ is revealed, and the data structure updates its memory.
III: An index $i \in [k]$ is revealed, and the data structure must determine if $S_i\cap T=^? \emptyset$.
Pǎtraşcu conjectured that any data structure for the Multiphase problem must make $n^ε$ cell-probes in either Phase II or III, and showed that this would imply similar unconditional lower bounds on many important dynamic data structure problems. Alas, there has been almost no progress on this conjecture in the past decade since its introduction. We show an $\tildeΩ(\sqrt{n})$ cell-probe lower bound on the Multiphase problem for data structures with general (adaptive) updates, and queries with unbounded but "layered" adaptivity. This result captures all known set-intersection data structures and significantly strengthens previous Multiphase lower bounds, which only captured non-adaptive data structures.
Our main technical result is a communication lower bound on a 4-party variant of Pǎtraşcu's Number-On-Forehead Multiphase game, using information complexity techniques. We also show that a lower bound on Pǎtraşcu's original NOF game would imply a polynomial ($n^{1+ε}$) lower bound on the number of wires of any constant-depth circuit with arbitrary gates computing a random $\tilde{O}(n)\times n$ linear operator $x \mapsto Ax$, a long-standing open problem in circuit complexity. This suggests that the NOF conjecture is much stronger than its data structure counterpart.
△ Less
Submitted 29 October, 2019;
originally announced October 2019.
-
Hardness Results for Signaling in Bayesian Zero-Sum and Network Routing Games
Authors:
Umang Bhaskar,
Yu Cheng,
Young Kun Ko,
Chaitanya Swamy
Abstract:
We study the optimization problem faced by a perfectly informed principal in a Bayesian game, who reveals information to the players about the state of nature to obtain a desirable equilibrium. This signaling problem is the natural design question motivated by uncertainty in games and has attracted much recent attention. We present new hardness results for signaling problems in (a) Bayesian two-pl…
▽ More
We study the optimization problem faced by a perfectly informed principal in a Bayesian game, who reveals information to the players about the state of nature to obtain a desirable equilibrium. This signaling problem is the natural design question motivated by uncertainty in games and has attracted much recent attention. We present new hardness results for signaling problems in (a) Bayesian two-player zero-sum games, and (b) Bayesian network routing games.
For Bayesian zero-sum games, when the principal seeks to maximize the equilibrium utility of a player, we show that it is NP-hard to obtain an additive FPTAS. Our hardness proof exploits duality and the equivalence of separation and optimization in a novel way. Further, we rule out an additive PTAS assuming planted clique hardness, which states that no polynomial time algorithm can recover a planted clique from an Erdős-Rényi random graph. Complementing these, we obtain a PTAS for a structured class of zero-sum games (where obtaining an FPTAS is still NP-hard) when the payoff matrices obey a Lipschitz condition. Previous results ruled out an FPTAS assuming planted-clique hardness, and a PTAS only for implicit games with quasi-polynomial-size strategy sets.
For Bayesian network routing games, wherein the principal seeks to minimize the average latency of the Nash flow, we show that it is NP-hard to obtain a (multiplicative) $(4/3 - ε)$-approximation, even for linear latency functions. This is the optimal inapproximability result for linear latencies, since we show that full revelation achieves a $(4/3)$-approximation for linear latencies.
△ Less
Submitted 30 October, 2016; v1 submitted 11 December, 2015;
originally announced December 2015.
-
Near-optimal bounds on bounded-round quantum communication complexity of disjointness
Authors:
Mark Braverman,
Ankit Garg,
Young Kun Ko,
Jieming Mao,
Dave Touchette
Abstract:
We prove a near optimal round-communication tradeoff for the two-party quantum communication complexity of disjointness. For protocols with $r$ rounds, we prove a lower bound of $\tildeΩ(n/r + r)$ on the communication required for computing disjointness of input size $n$, which is optimal up to logarithmic factors. The previous best lower bound was $Ω(n/r^2 + r)$ due to Jain, Radhakrishnan and Sen…
▽ More
We prove a near optimal round-communication tradeoff for the two-party quantum communication complexity of disjointness. For protocols with $r$ rounds, we prove a lower bound of $\tildeΩ(n/r + r)$ on the communication required for computing disjointness of input size $n$, which is optimal up to logarithmic factors. The previous best lower bound was $Ω(n/r^2 + r)$ due to Jain, Radhakrishnan and Sen [JRS03]. Along the way, we develop several tools for quantum information complexity, one of which is a lower bound for quantum information complexity in terms of the generalized discrepancy method. As a corollary, we get that the quantum communication complexity of any boolean function $f$ is at most $2^{O(QIC(f))}$, where $QIC(f)$ is the prior-free quantum information complexity of $f$ (with error $1/3$).
△ Less
Submitted 12 May, 2015;
originally announced May 2015.
-
ETH Hardness for Densest-$k$-Subgraph with Perfect Completeness
Authors:
Mark Braverman,
Young Kun Ko,
Aviad Rubinstein,
Omri Weinstein
Abstract:
We show that, assuming the (deterministic) Exponential Time Hypothesis, distinguishing between a graph with an induced $k$-clique and a graph in which all k-subgraphs have density at most $1-ε$, requires $n^{\tilde Ω(log n)}$ time. Our result essentially matches the quasi-polynomial algorithms of Feige and Seltser [FS97] and Barman [Bar15] for this problem, and is the first one to rule out an addi…
▽ More
We show that, assuming the (deterministic) Exponential Time Hypothesis, distinguishing between a graph with an induced $k$-clique and a graph in which all k-subgraphs have density at most $1-ε$, requires $n^{\tilde Ω(log n)}$ time. Our result essentially matches the quasi-polynomial algorithms of Feige and Seltser [FS97] and Barman [Bar15] for this problem, and is the first one to rule out an additive PTAS for Densest $k$-Subgraph. We further strengthen this result by showing that our lower bound continues to hold when, in the soundness case, even subgraphs smaller by a near-polynomial factor ($k' = k 2^{-\tilde Ω(log n)}$) are assumed to be at most ($1-ε$)-dense.
Our reduction is inspired by recent applications of the "birthday repetition" technique [AIM14,BKW15]. Our analysis relies on information theoretical machinery and is similar in spirit to analyzing a parallel repetition of two-prover games in which the provers may choose to answer some challenges multiple times, while completely ignoring other challenges.
△ Less
Submitted 30 April, 2015;
originally announced April 2015.
-
Simulations of deposition growth models in various dimensions. Are overhangs important?
Authors:
David Y. K. Ko,
Flavio Seno
Abstract:
We present simulation results of deposition growth of surfaces in 2, 3 and 4 dimensions for ballistic deposition where overhangs are present, and for restricted solid on solid deposition where there are no overhangs. The values of the scaling exponents for the two models are found to be different, suggesting that they belong to different universality classes.
We present simulation results of deposition growth of surfaces in 2, 3 and 4 dimensions for ballistic deposition where overhangs are present, and for restricted solid on solid deposition where there are no overhangs. The values of the scaling exponents for the two models are found to be different, suggesting that they belong to different universality classes.
△ Less
Submitted 14 December, 1993;
originally announced December 1993.