[论文解读] New Lower Bounds in Merlin-Arthur Communication and Graph Streaming Verification

Prantar Ghosh, Vihan Shah|arXiv (Cornell University)|Jan 1, 2024

Distributed systems and fault tolerance被引用 1

一句话总结

本文在Merlin-Arthur（MA）通信模型与带注释流处理模型中建立了新的下界，引入Equals-Index问题作为典型难题。证明了首个超线性及指数级非平凡-OMA复杂度下界，并通过归约方法展示了在支持图流式（SGT）模型中，不同元素计数与k-连通性问题的强下界。同时，设计了利用鲁棒ℓ₀-采样器的高效经典流处理算法，实现了经典流处理与带注释流处理之间的概念性分离。

ABSTRACT

We present novel lower bounds in the Merlin-Arthur (MA) communication model and the related annotated streaming or stream verification model. The MA communication model extends the classical communication model by introducing an all-powerful but untrusted player, Merlin, who knows the inputs of the usual players, Alice and Bob, and attempts to convince them about the output. We focus on the online MA (OMA) model where Alice and Merlin each send a single message to Bob, who needs to catch Merlin if he is dishonest and announce the correct output otherwise. Most known functions have OMA protocols with total communication significantly smaller than what would be needed without Merlin. In this work, we introduce the notion of non-trivial-OMA complexity of a function. This is the minimum total communication required when we restrict ourselves to only non-trivial protocols where Alice sends Bob fewer bits than what she would have sent without Merlin. We exhibit the first explicit functions that have this complexity superlinear - even exponential - in their classical one-way complexity: this means the trivial protocol, where Merlin communicates nothing and Alice and Bob compute the function on their own, is exponentially better than any non-trivial protocol in terms of total communication. These OMA lower bounds also translate to the annotated streaming model, the MA analogue of single-pass data streaming. We show large separations between the classical streaming complexity and the non-trivial annotated streaming complexity (for the analogous notion in this setting) of fundamental problems such as counting distinct items, as well as of graph problems such as connectivity and k-connectivity in a certain edge update model called the support graph turnstile model that we introduce here.

研究动机与目标

• 在在线Merlin-Arthur（OMA）通信模型中建立新的下界，尤其关注Merlin的帮助不可或缺的非平凡协议。
• 将Equals-Index识别为证明强非平凡-OMA复杂度下界的典型问题。
• 将这些下界扩展至带注释流处理模型，特别是针对SGT流模型中的基础问题，如不同元素计数与k-连通性。
• 设计基于鲁棒ℓ₀-采样器的SGT流处理的经典流处理算法，实现经典流处理与带注释流处理之间的概念性分离。
• 利用图论性质与分层引理，为动态与SGT图流上的k-连通性问题设计高效的带注释流处理方案。

提出的方法

• 引入非平凡-OMA复杂度的概念，即在Merlin的帮助并非冗余的协议中，通信总量的最小值。
• 通过从Equals-Index归约，推导出其他函数的下界，利用其作为典型难题的角色。
• 通过构建能处理大频率变化并支持多集合相等性检查的鲁棒ℓ₀-采样器，设计SGT流处理的经典流处理算法。
• 结合缩放与多集合相等性验证的ℓ₀-采样器技巧，验证带注释流处理中边集与剩余重数的一致性。
• 应用分层引理，将点/边连通性分解为分层子图，实现对不相交路径的高效验证。
• 利用辅助信息（如排序后的点/边列表）与通过ℓ₀-采样器进行的相等性检查，验证证明者声明与输入数据之间的一致性。

实验结果

研究问题

• RQ1 Equals-Index问题的非平凡-OMA复杂度是多少？它能否作为OMA模型中证明强下界的典型问题？
• RQ2 从Equals-Index出发的归约能否在经典单向通信复杂度的基础上，产生超线性甚至指数级的非平凡-OMA复杂度下界？
• RQ3 在SGT模型中，基础问题如不同元素计数与k-连通性的非平凡带注释流处理复杂度下界是什么？
• RQ4 能否为SGT流处理构造鲁棒ℓ₀-采样器，以支持高效的经典流处理算法？
• RQ5 在处理动态与SGT图流时，经典流处理与带注释流处理之间存在何种分离？特别是针对连通性问题。

主要发现

• Equals-Index的非平凡-OMA复杂度下界为Ω(n / log n)，确立其作为强下界证明的典型问题地位。
• 本文首次证明了存在明确的函数，其非平凡-OMA复杂度在经典单向通信复杂度基础上为超线性甚至指数级。
• 在SGT模型中，不同元素计数的非平凡带注释流处理复杂度被证明为Ω(n / log n)，与Equals-Index的下界一致。
• 本文通过鲁棒ℓ₀-采样器构造了SGT流处理的经典流处理算法，支持O(n² log α)的证明大小与eO(1)的验证空间。
• SGT流中k-连通性的带注释流处理方案实现了eO(n² log α + k²n)的证明大小与eO(1)的验证空间，其正确性通过ℓ₀-采样器相等性检查确保。
• 本工作建立了概念性分离：经典流处理可近乎与动态流处理一样高效地处理SGT流，但带注释流处理无法做到，原因在于需进行证明一致性检查。