Sari la conținut

Română · beta. Traducerea a fost făcută automat și este încă în curs de revizuire. Citește pagina în engleză

perspectiva aiqbenchComunicații cuantice

analiza aiqbench

This research establishes the first tight quantum communication lower bounds for search problems like collision finding and triangle detection by introducing a novel matrix discrepancy method. The technique overcomes previous barriers inherent to multi-output search scenarios, significantly improving upon prior $\Omega(N^{1/12})$ limits to achieve a new $\Omega(N^{1/4})$ bound. Furthermore, the approach successfully recovers classical lower bounds for graph streaming without relying on reductions that fail under quantum protocols.
Sursă care acoperăarXiv
Ce este aceastaLectura unui model asupra articolului și a acoperirii conexe, scrisă pentru aiqbench. Nu sunt cuvintele publicației.

Quantum Communication Lower Bounds for Search Problems via Matrix Discrepancy

arXiv3 min de cititArticolul și perspectiva sunt în engleză.

arXiv:2607.08517v2 Announce Type: replace Abstract: We study one-way quantum communication lower bounds for search problems. Unlike decision problems, search problems can have many valid outputs, which pose a fundamental barrier to standard quantum lower-bound techniques. We overcome this by developing a novel method based on matrix discrepancy, which allows us to bound the output measurements of a quantum protocol jointly. As applications of our method, we establish the first tight quantum lower bounds for two fundamental search problems in some natural parameter regimes: collision finding and triangle finding. For collision finding, we prove a tight $\Omega(N^{1/4})$ one-way quantum communication lower bound. Previously, the best-known quantum communication lower bound for collision finding was $\Omega(N^{1/12})$ due to G\"o\"os and Jain (RANDOM 2022), and no stronger bound was known even under the one-way restriction. For triangle finding in graph streams, we prove a one-pass quantum streaming space lower bound of $\Omega\left(\sqrt{\Delta_V}\right)$ for graphs with $m$ edges, $\Theta(m)$ triangles, and constant $\Delta_E$, where $\Delta_V$ and $\Delta_E$ denote the maximum number of triangles sharing a common vertex and edge, respectively, under the condition that $1\le \Delta_V\le m^{2/3}$. This constitutes the first nontrivial quantum space lower bound in this regime, matching the classical upper bound of Jayaram and Kallaugher (RANDOM 2021) up to logarithmic factors. Notably, our method also recovers the classical lower bound of Kallaugher and Price (SODA 2017) through an entirely different argument, avoiding their Boolean-Hidden-Matching reduction that breaks down for quantum protocols.

Abstract:We study one-way quantum communication lower bounds for search problems. Unlike decision problems, search problems can have many valid outputs, which pose a fundamental barrier to standard quantum lower-bound techniques. We overcome this by developing a novel method based on matrix discrepancy, which allows us to bound the output measurements of a quantum protocol jointly. As applications of our method, we establish the first tight quantum lower bounds for two fundamental search problems in some natural parameter regimes: collision finding and triangle finding. For collision finding, we prove a tight $\Omega(N^{1/4})$ one-way quantum communication lower bound. Previously, the best-known quantum communication lower bound for collision finding was $\Omega(N^{1/12})$ due to Göös and Jain (RANDOM 2022), and no stronger bound was known even under the one-way restriction. For triangle finding in graph streams, we prove a one-pass quantum streaming space lower bound of $\Omega\left(\sqrt{\Delta_V}\right)$ for graphs with $m$ edges, $\Theta(m)$ triangles, and constant $\Delta_E$, where $\Delta_V$ and $\Delta_E$ denote the maximum number of triangles sharing a common vertex and edge, respectively, under the condition that $1\le \Delta_V\le m^{2/3}$. This constitutes the first nontrivial quantum space lower bound in this regime, matching the classical upper bound of Jayaram and Kallaugher (RANDOM 2021) up to logarithmic factors. Notably, our method also recovers the classical lower bound of Kallaugher and Price (SODA 2017) through an entirely different argument, avoiding their Boolean-Hidden-Matching reduction that breaks down for quantum protocols.

arXiv:2607.08517 [quant-ph]

(or arXiv:2607.08517v2 [quant-ph] for this version)

https://doi.org/10.48550/arXiv.2607.08517 Focus to learn more arXiv-issued DOI via DataCite

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

Text integral sub licența deschisă a publicației · 323 cuvinte

Subiecte conexe