敏感度猜想:困扰学界 30 年的“圣杯”问题,敏感度猜想是理论计算机科学和组合数学中最著名的未解决问题之一,由诺姆·尼桑和马里奥·塞格迪于 1989 年(一说 1992 年)提出。该猜想涉及布尔函数的复杂度度量。通俗解释:想象 n 个人每人戴红色或蓝色帽子,所有可能的戴法构成一个布尔函数 f 。对任一种戴法 x ,如果改变其中一人的帽子颜色会导致 f 的结果改变(比如从“高兴”变为“沮丧”),就称这个人在 x 中是“敏感”的。x 的敏感度就是敏感人数。函数 f 的敏感度 s(f) 是所有 x 中敏感度的最大值。另一方面,“块敏感度”bs(f) 考虑的是同时改变一组人帽子颜色导致结果改变的情况。敏感度猜想断言:存在常数 c ,使得 bs(f) ≤ s(f)^c 。也就是说,敏感度这个看似简单的度量,实际上与所有其他复杂度度量(如决策树复杂度、多项式次数等)都有多项式关系。这个问题之所以重要,是因为它关系到计算机电路设计、算法分析和复杂性理论的基础。近 30 年来,包括许多图灵奖得主在内的顶尖学者都尝试过但未能解决。
“最美两页证明”的诞生:黄皓对这个问题的思考始于 2012 年。他将猜想转化为关于 n 维立方体(超立方体)的组合问题:n 维立方体有 2^n 个顶点,每个顶点对应一个 n 位 0/1 字符串。他试图通过矩阵表示网络并分析特征值,但五年未果。2018 年,他转向柯西交错定理——这个有 200 年历史的定理能建立矩阵与子矩阵特征值之间的联系。黄皓意识到,通过巧妙改变矩阵中某些数字的符号,可以推动证明完成。2019 年,经过七年思考,黄皓终于突破:他证明了在 n 维立方体中,任何包含超过一半顶点的子图,最大特征值至少为 √n 。从这个结果可以立即推导出敏感度猜想。整个证明的核心仅两页纸,甚至可以用四行推特概括。
“一个人成年后能达到的上限,很大程度上取决于在十几二十岁的时候有多(自主的,不是被迫的)努力。”数学中最深刻的真理,往往穿着最简洁的外衣。从汕头少年到国际数学家,从七年沉思到两页突破,他走了一条将耐心、直觉与创造力完美结合的道路。“你们很多人以后都有机会成为这个社会各行各业的精英,并且进入到制定和执行政策的行列中来,希望你们以后能不忘初心,记得自己少年时代的抱负。”黄皓的贡献远不止解决一个猜想。他统一了布尔函数复杂度理论,为算法分析提供了完整框架;他展示了数学证明可以如此简洁优美,激励了新一代学者追求“少即是多”的数学美学;他证明了华人数学家在国际前沿的竞争力。真正的突破需要时间的沉淀和深度的思考。他的生涯是对“慢科学”价值的最好诠释——在快速发表与深刻解决之间,他选择了后者;在复杂推导与简洁证明之间,他找到了平衡。它不仅解决了一个问题,更定义了一种可能性:最复杂的谜题,也许就隐藏在最简单的答案里。从 n 维立方体到布尔函数,从柯西交错定理到敏感度猜想,黄皓的故事是一个关于直觉、耐心与美的故事。数学不仅是逻辑的演绎,更是直觉的闪光;不仅是艰苦的跋涉,更是顿悟的喜悦。而保持对简洁之美的追求,或许正是这位青年数学家留给世界最珍贵的礼物。
拓展阅读
1. 黄皓敏感度猜想证明原文:Induced subgraphs of hypercubes and a proof of the Sensitivity Conjecture(arXiv:1907.00847)