MathLabs

Giả thuyết độ nhạy (Sensitivity conjecture)

Đã giải, 2019Tổ hợp và Toán rời rạcToán ứng dụng và Tính toán
Phát biểu

Với mọi hàm Boole f:{0,1}n→{0,1}f : \{0, 1\}^n \to \{0, 1\}, độ nhạy s(f)s(f) và độ nhạy khối bs(f)bs(f) có quan hệ đa thức với nhau; cụ thể là bs(f)≤C⋅s(f)cbs(f) \le C \cdot s(f)^c với các hằng số tuyệt đối C,c>0C, c > 0 (và thực tế deg⁡(f)≤s(f)2\deg(f) \le s(f)^2, trong đó deg⁡(f)\deg(f) là bậc đa thức thực của ff).

Tháng 7 năm 2019, Hao Huang chứng minh rằng mọi đồ thị con cảm sinh HH của siêu lập phương nn chiều QnQ_n có 2n−1+12^{n-1} + 1 đỉnh đều có bậc lớn nhất Δ(H)≥n\Delta(H) \ge \sqrt{n}. Huang xây dựng quy nạp một ma trận kề có dấu AnA_n kích thước 2n×2n2^n \times 2^n của QnQ_n thỏa mãn An2=nI2nA_n^2 = n I_{2^n}, có các giá trị riêng là ±n\pm\sqrt{n} với bội 2n−12^{n-1} mỗi giá trị. Theo định lý đan xen Cauchy, mọi ma trận con chính cỡ (2n−1+1)×(2n−1+1)(2^{n-1} + 1) \times (2^{n-1} + 1) của AnA_n đều có giá trị riêng lớn nhất tối thiểu bằng n\sqrt{n}, buộc Δ(H)≥n\Delta(H) \ge \sqrt{n}. Qua tương đương Gotsman–Linial (1992) và cận Tal (2013), kết quả này lập tức suy ra deg⁡(f)≤s(f)2\deg(f) \le s(f)^2 và bs(f)≤s(f)4bs(f) \le s(f)^4.

  1. Chứng minh giả thuyết độ nhạy của Huang bằng ma trận kề có dấu trên khối siêu lập phương (2019)Hao Huang, 2019Độ khó 3/5Nâng cao

Tài liệu tham khảo

  1. Hao Huang (2019). Induced subgraphs of hypercubes and a proof of the Sensitivity Conjecture · DOI:10.4007/annals.2019.190.3.6 · arXiv:1907.00847
  2. Craig Gotsman, Nathan Linial (1992). The equivalence of two problems on the cube · DOI:10.1016/0097-3165(92)90060-8