通过傅里叶分析视角理解布尔 PCSP
计算复杂性
2026-04-27 v1
摘要
我们发展了一个用于布尔承诺约束满足问题 (PCSP) 的分析框架，通过傅里叶分析的影响概念来研究多态性。扩展 Brakensiek、Guruswami 和 Sandeep 在有序 PCSP 上的工作 [ICALP'21]，我们确定了两种在布尔 minion 中指示硬度或可解性的现象：(1) 在随机 2-to-1 子映射下坐标影响的保存，以及 (2) 锐阈值的存在。我们展示了这些现象在更广泛的设置中发生，导致针对由单调或多项式阈值函数组成的 minion 的新的硬度/可解性结果。
引用
@article{arxiv.2604.22742,
title = {Boolean PCSPs through the lens of Fourier Analysis},
author = {Demian Banakh and Katzper Michno},
journal= {arXiv preprint arXiv:2604.22742},
year = {2026}
}