首页/论文/1409.4035

arXiv 1409.40352014-09cs.CC

腐败界、对数秩和通信复杂性

The Corruption Bound, Log Rank, and Communication Complexity

Adi Shraibman

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们证明上界确定性通信复杂性的秩和简单版本的腐败界的日志。我们的边界是Gavinsky和Lovett的结果的简化版本，使用相同的工具集。对Lovett提出的通信复杂性的秩上界给出了一个初等证明。

英文摘要：

We prove upper bounds on deterministic communication complexity in terms of log of the rank and simple versions of the corruption bound. Our bounds are a simplified version of the results of Gavinsky and Lovett, using the same set of tools. We also give an elementary proof for the upper bound on communication complexity in terms of rank proved by Lovett.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

小交错数函数的灵敏度猜想和对数秩猜想

Sensitivity Conjecture and Log-rank Conjecture for functions with small alternating numbers

灵敏度猜想和对数秩猜想是具体复杂性中最重要和最具挑战性的问题之一。顺便提及，已知灵敏度猜想对于单调函数成立，并且对于具有单调函数$f$的$f(x \wedge y)$和$f(x\oplus y)$的对数秩猜想也成立，其中$\wedge$和$\oplus$分别是逐位AND和XOR。在本文中，我们将这些结果扩展到功能$f$交替值为一个相对较小的次数在任何单调路径从$0^n$到$1^n$。这些结果加深了我们对这两个概念的理解，并有助于对小交错数函数的研究。

2016-04-07cs.CC

矩阵乘法边界秩的$2n^2-log(n)-1$下界

A $2n^2-log(n)-1$ lower bound for the border rank of matrix multiplication

设M_n表示n × n矩阵的矩阵乘法张量。利用边界替换法结合Koszul证明了M_n的边界秩下界为2n^2-log（n）-1。

2016-08-26cs.CCmath.AG

线性规划的逼近极限（超越层次）

Approximation Limits of Linear Programs (Beyond Hierarchies)

我们开发了一个框架的多项式规模的线性规划的近似极限从下界的非负秩适当定义的矩阵。这个框架产生无条件的不可能性的结果，适用于任何线性规划，而不是只有程序生成的层次结构。使用我们的框架，我们证明了CLIQUE的O（n^{1/2-eps}）-近似需要大小为2^{n^Ω（eps）}的线性规划。(This下限适用于使用CLIQUE的特定编码作为线性优化问题的线性程序。此外，我们建立了半定规划的线性规划的近似类似的结果。我们的主要成分是一个定量的改进Razborov的矩形腐败引理的高误差制度，它给出了强有力的下界的非负秩的某些扰动的独特的不相交矩阵。

2014-05-16cs.CCmath.CO

量子通信与近似秩对数的指数分离

Exponential Separation between Quantum Communication and Logarithm of Approximate Rank

Chattopadhyay，Mande和Sherif（ECCC 2018）最近展示了一个全布尔函数，即sink函数，它具有多项式近似秩和多项式随机通信复杂度。这给出了随机通信复杂度和近似秩的对数之间的指数分离，反驳了对数近似秩猜想。我们证明了即使是量子通信复杂度的汇函数是多项式，从而也反驳了量子对数近似秩猜想。我们的下界是基于Rao和Sinha（ECCC 2015）为经典情况引入的愚弄分布方法，以及Anshu，Touchette，Yao和Yu（STOC 2017）为量子情况扩展的方法。利用愚弄分布方法给出了经典下界的一个新的证明。

2018-11-25cs.CCquant-ph

对数秩猜想：新的等价表述形式

The Log-Rank Conjecture: New Equivalent Formulations

The University of Copenhagen（哥本哈根大学）；University of California San Diego（加州大学圣地亚哥分校）；Lund University（隆德大学）；University of Victoria（维多利亚大学）

本文提出带符号矩形秩作为对数秩猜想的新等价表述，并证明其与秩在准多项式范围内等价，同时将其扩展到张量，并与Lovett和Singer-Sudan的猜想建立等价关系。

2026-08-17cs.CCmath.CO

通信复杂性中对数秩猜想的可加组合学方法

An additive combinatorics approach to the log-rank conjecture in communication complexity

对于$\{0,1\}$值矩阵$M$，令$\rm{CC}(M)$表示与$M$相关联的布尔函数的确定性通信复杂性. Lovász和Saks [FOCS 1988]的对数秩猜想指出，对于某个绝对常数$c$，$\rm{CC}(M) \leq \log^c(\rm{rank}(M))$，其中$\rm{rank}(M)$表示$M$在实数域上的秩。我们表明，$\rm{CC}(M)\leq c \cdot \rm{rank}(M)/\log \rm{rank}(M)$的一些绝对常数$c$，假设一个著名的猜想添加剂组合被称为多项式Freiman-Ruzsa（PFR）猜想。我们的证明是基于对“近似对偶猜想”的研究，该猜想最近由Ben-Sasson和Zewi [STOC 2011]提出，并与PFR猜想相关。首先，我们改进了近似对偶的界假设PFR猜想。然后，我们使用近似对偶猜想（具有改进的边界）来获得低秩矩阵的通信复杂性的上界，其中这一部分使用Nisan和Wigderson [Combinatorica 1995]提出的方法。

2011-11-25cs.CCmath.CO

更多相关论文收起更多论文

通信复杂性中对数秩猜想的研究进展

Recent advances on the log-rank conjecture in communication complexity

对数秩猜想是通信复杂性中的一个基本开放问题。它推测任何两方函数的确定性通信复杂性等于其相关矩阵秩的对数，直到多项式因子。尽管做了大量的研究，我们对这个猜想仍然知之甚少。最近，人们对这个猜想及其与复杂性理论中其他基本问题的关系重新产生了兴趣。本调查描述了一些最近的进展，并暗示了未来研究的潜在方向。

2014-03-31cs.CCmath.CO

秩1模态逻辑的PSPACE界

PSPACE Bounds for Rank-1 Modal Logics

由于缺乏适用于各种逻辑的通用算法方法，为给定的模态逻辑建立复杂性界限通常是一项艰巨的任务。目前的工作是一个一般理论的复杂性模态逻辑的一步。我们的主要结果是，所有秩1逻辑享有浅模型属性，因此，在温和的假设下，其axiomatisation格式，在PSPACE。这导致了一个统一的推导紧PSPACE边界的一些逻辑，包括K，KD，联盟逻辑，分级模态逻辑，多数逻辑和概率模态逻辑。此外，我们的通用算法发现，见证愉快的证明理论的性质，包括一个弱子公式属性的Tableau证明。这种普遍性是由一个coalgebraic语义，方便地抽象的细节，一个给定的模型类，从而允许覆盖范围广泛的逻辑在一个统一的方式。

2007-06-27cs.CCcs.LO

矩阵Spencer猜想的多项式对数秩分解

Resolving Matrix Spencer Conjecture Up to Poly-logarithmic Rank

给出了矩阵Spencer猜想的一个简单证明：给定对称$d \times d$矩阵$A_1,\ldots,A_n$，每个矩阵都有$\|A_i\|_{\mathsf{op}} \leq 1$，秩至多为$n/\log^3 n$，可以有效地找到$\pm 1$的符号$x_1,\ldots,x_n$，使得它们的符号和具有谱范数$\|\sum_{i=1}^n x_i A_i\|_{\mathsf{op}} = O(\sqrt{n})$ .这一结果也暗示了一个$\log n - Ω( \log \log n)$量子比特下界的量子随机存取码编码的$n$经典位的优势$\gg 1/\sqrt{n}$。我们的证明使用了[Bandeira，Boedihardjo，van Handel，2022]中的非交换Khintchine不等式的最新改进，用于具有相关高斯项的随机矩阵。

2022-08-29cs.CCcs.DMcs.DS