[论文解读] Bounds on the Average Distance and Distance Enumerator with Applications to Non-Interactive Simulation.

Lei Yu, Vincent Y. F. Tan|arXiv (Cornell University)|Apr 8, 2019

Cellular Automata and Applications被引用 4

一句话总结

本文通过利用编码理论和傅里叶分析，提出了对非交互式随机变量模拟的更紧致界，超越了基于最大相关性或超展开性（hypercontractivity）的先前结果。研究建立了二元分组码平均距离和距离枚举函数的新性质，并基于已有的超展开性结果推导出一种新的平均距离界。

ABSTRACT

We leverage proof techniques in coding theory and Fourier analysis to derive new bounds for the problem of non-interactive simulation of random variables. Previous bounds in the literature were derived by applying data processing inequalities concerning maximal correlation or hypercontractivity. We show that our bounds are sharp in some regimes, and are also tighter than the existing ones in some other regimes. As by-products of our analyses, various new properties of the average distance and distance enumerator of binary block codes are established. Finally, by using an existing hypercontractivity bound for non-interactive simulation, a new bound on the average distance is derived.

研究动机与目标

• 在最大相关性或超展开性基础上，进一步改进非交互式随机变量模拟的现有界。
• 通过二元分组码的平均距离和距离枚举函数，探索编码理论与非交互式模拟之间的联系。
• 作为分析的副产品，建立二元分组码中平均距离和距离枚举函数的新结构性质。
• 利用已知的超展开性不等式，推导出非交互式模拟中平均距离的新界。

提出的方法

• 应用编码理论的证明技术，分析二元分组码的结构及其距离性质。
• 利用傅里叶分析来建模和界定非交互式模拟过程的行为。
• 通过结合最大相关性与超展开性思想，辅以编码理论工具，推导出非交互式模拟的界。
• 建立二元码的距离枚举函数与平均距离之间的关系，以指导模拟界的推导。
• 以现有的超展开性界为基础，推导出平均距离的更紧致新界。
• 通过理论分析，在特定参数范围内验证新界的紧致性与优越性。

实验结果

研究问题

• RQ1 如何利用编码理论与傅里叶分析，改进非交互式随机变量模拟的界？
• RQ2 在哪些参数范围内，新界比基于最大相关性或超展开性的现有界更紧致或更优？
• RQ3 可以从二元分组码的平均距离和距离枚举函数中推导出哪些新的结构性质？
• RQ4 能否将已有的超展开性界重新利用，以获得非交互式模拟中平均距离的新界？
• RQ5 二元码的距离特性与非交互式模拟的可行性之间存在何种关系？

主要发现

• 在某些参数范围内，所提界比现有界更紧致，尤其在最大相关性或超展开性界失效时表现更优。
• 在特定参数范围内，界是紧致的，表明在这些条件下具有渐近最优性。
• 作为分析的副产品，建立了二元分组码平均距离和距离枚举函数的新结构性质。
• 通过将已知的超展开性结果应用于编码理论框架，推导出平均距离的新型界。
• 分析揭示了编码理论与非交互式模拟之间更深层次的联系，丰富了两个领域。
• 该方法成功统一了傅里叶分析与编码理论的技术，为非交互式模拟提供了更强的理论保证。