Structural theorems in communication complexity

通信复杂性的结构定理

• 批准号: RGPIN-2022-03745
• 负责人: Hatami, Hamed
• 金额: $ 3.5万
• 依托单位: McGill University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2022
• 资助国家: 加拿大
• 起止时间: 2022-01-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=750357
• 关键词: Structural; theorems; communication; complexity

Communication occurs in several forms across the domains of science and technology.  For example, it occurs as interactions between different parts of the human brain, as the transmission of data through the internet, as the exchange of signals between different parts of a microchip, as the exchange of information among a handful of supercomputers. The field of communication complexity provides a rigorous framework for measuring, studying, and understanding communication. It is supported by a rich and deep mathematical theory that employs a surprisingly diverse collection of techniques and tools from other areas of mathematics. This proposal aims to investigate a class of mathematical problems in communication complexity that appear across different fields of computer science and pure mathematics in various disguises. Several seemingly different problems in the fields of communication complexity and machine learning on the one hand, and the purely mathematical fields of abstract harmonic analysis and operator theory, on the other hand, are essentially equivalent. This proposal aims to understand these connections better and devise potential approaches to resolve the fundamental underlying mathematical problems. The problems mentioned above arise from the study of very efficient algorithms in communication complexity. As large data sets become more common in science and technology, it has become increasingly important to understand which problems can be solved super-efficiently. The primary objectives of this proposal arise from the study of this problem in the context of communication complexity: Which communication problems are solvable by protocols that exchange only a few bits of communication? It turns out that the above problem has deep connections to problems in complexity theory, machine learning, harmonic analysis, and operator theory. Communication problems, in the most commonly studied framework, are represented by Boolean matrices. Such matrices also represent binary data. For example, the entries of such a matrix could take true or false values depending on which people show which medical symptoms. Machine learning classification algorithms, which predict the label of a new data point based on a known set of correctly labeled points, often rely on the assumption that it is possible to model the data points and their labels geometrically. The performance and accuracy of many of these algorithms rely on the existence of low-dimensional large-margin representations. The mathematical problems considered in this proposal will help us understand which data sets have such desirable geometric representations.

在科学和技术领域，通信以几种形式出现。例如，它发生在人脑不同部分之间的相互作用，通过互联网传输数据，作为微芯片不同部分之间的信号交换，作为几台超级计算机之间的信息交换。通信复杂性领域为测量、研究和理解通信提供了一个严格的框架。它得到了丰富而深刻的数学理论的支持，该理论使用了令人惊讶的多样化的技术和工具集合，这些技术和工具来自其他数学领域。这项建议旨在研究一类通信复杂性的数学问题，这些问题以各种伪装出现在计算机科学和纯数学的不同领域。一方面，通信复杂性和机器学习领域中的几个看似不同的问题，另一方面，抽象调和分析和算子理论等纯数学领域，本质上是等价的。这项提议旨在更好地理解这些联系，并设计出潜在的方法来解决基本的数学问题。上述问题源于对通信复杂性的高效算法的研究。随着大数据集在科学和技术领域变得越来越普遍，了解哪些问题可以超高效地解决变得越来越重要。本提案的主要目标源于在通信复杂性的背景下研究这一问题：哪些通信问题可以通过仅交换几个比特通信的协议来解决？事实证明，上述问题与复杂性理论、机器学习、调和分析、算子理论等问题有着深刻的联系。在最常用的研究框架中，通信问题由布尔矩阵表示。这样的矩阵也表示二进制数据。例如，这种矩阵的条目可以取真或假的值，这取决于哪些人显示了哪些医学症状。机器学习分类算法基于已知的一组正确标记的点来预测新数据点的标签，通常依赖于这样的假设，即可以对数据点及其标签进行几何建模。这些算法中的许多算法的性能和准确性依赖于低维大间隔表示的存在。这项建议中考虑的数学问题将帮助我们了解哪些数据集具有如此理想的几何表示。