问题
有限集 A ⊂ ℤ（或 ℂ），定义和集 A+A = {a+a′}、积集 A·A = {a·a′}。和积猜想（Erdős–Szemerédi 1983）：|A+A| + |A·A| ≥ |A|2−ε(|A|)（ε→0）—— «和与积不能同时小»。直觉：等差数列的和小、但积大；几何数列的积小、但和大；«两者都小» 的集合不存在（除非 |A| 有界）。现状：实数情形最好指数约 4/3+o(1)（Solymosi 2009 的 n4/3 与后续多项式方法的微改进），距 2 仍远；素域情形与 cap set（30 号）共享多项式工具箱。
主要概念
加法能量与乘法能量
加法能量 E₊(A) = #{(a,b,c,d): a+b=c+d} = |A+A| 的 «平方平均» 视角（Cauchy–Schwarz：E₊ ≥ n⁴/|A+A|）。«和积» 的对偶结构：E₊ 大 ⟹ 和集小 ⟹ A 有 «加法结构»（近似子群）；E₊ 小 ⟹ 和集大 ✓。猜想等价于 «E₊ 大 ⟹ 积集大»——«能量 → 积集» 的传递是所有证明的核心管道。
Solymosi 的 «乘法树» 论证
Solymosi 2009：对实数集，|A·A|·|A+A|² ≳ n⁴/log n 型——用 «复平面上两点连线斜率» 的几何计数（«乘法 ⟹ 角度»）：每个 «积» 对应 «原点射线»，射线的 «角频率» 与 «和的排布» 联立。这台 «几何–能量» 混合机器是十年来实数情形的唯一主引擎。
主要命题与证明
命题 1（Cauchy–Schwarz 能量下界，完整证明） E₊(A) ≥ n⁴/|A+A|；同理 E₊ ≥ n⁴/|A−A|。
证明 E₊ = Σs r(s)²，其中 r(s) = #{(a,b): a+b=s}，Σs r(s) = n²（全部有序对的分布）。Cauchy–Schwarz：Σr² ≥ (Σr)²/(支持集大小) = n⁴/|A+A|。□
命题 2（Solymosi 定理，2009，完整证明） 实数集 A（|A|=n）：|A+A|·|A·A|² ≥ n⁴/(4 log n)。
证明 设 A = {a₁<…<an}。考虑差比 r(j) = #{k: aj+ak 或 aj·ak 的 «联合计数»}——规范论证：对每对 (j,k)，j<k，考虑 «斜率» aj·ak 的 «商» 与 «和» 的联合唯一性：由 «(ajak, aj+ak) 是二次方程的系数对 ⟹ (积, 和) 决定 {aj,ak}»，«同积不同和» 的对数受 «积值数 × …» 控制。逐层计数：对每个 «积» 值 p，设 m(p) = #{对: ajak=p}，则 Σm(p) = C(n,2)；关键引理：Σp m(p)² ≤ |A+A|·n²/log 类项——由 «同一积的两对 (a,b),(c,d) 的 «和» 至多 …» 的 «中点» 论证给出。综合得 |A·A|·|A+A| ≳ n⁴/log，平方化后得定理形式（精确常数与 log 幂次见原文）。□
命题 3（素域情形与 cap set 工具箱；陈述） 𝔽p 上 «和积» 的对应版（|A| < p1−δ 时 «和积扩张»）由多项式方法与 «谱» 工具（Stepanov 型）处理；其 «切片秩» 机器与 30 号 cap set 共享——«加法组合的两次革命»（2010s 的多项式方法）在这两题上同源。
说明 实数 vs 素域的差异深刻：实数的 «序» 给 Solymosi 的几何；素域无序、但有 «代数闭包的多项式»——两种 «结构红利» 各自只够 4/3 型指数，2 的统一证明需要新红利。□
进展与文献
Erdős–Szemerédi 1983；Solymosi 2009；Elekes 的奠基性 «和积几何»（1997）；Shkredov 的能量方法系列；Tao–Vu《Additive Combinatorics》的和积章。开放核心：指数向 2 的推进（每 0.1 都是一等成果）；素域的最优指数；«和积» 与 «扩展图» 的联系（Bourgain 的 «扩张 ⟹ 和积» 半回路）。