Yau Awards Archive 2020 — 2025

Candidate Topics候选课题

数学奖赛道 · 候选课题 40 则

Mathematics — 40 scoped research proposals for the 2027 season.

40

Candidate topics候选课题

66

Past winners studied历届获奖论文对照

2

Sub-families分族

52

Weeks planned周倒排时间表

Download PDF下载完整 PDF 共用附录:时间表与红线清单

本方案面向 2027 赛季(2026 赛季提交截止为 2026 年 9 月 15 日,从零启动已来不及)。倒排时间表以 2026 年 9 月为第 0 周、2027 年 9 月 15 日提交为终点,共约 52 周。

学生画像与资源假设:普通重点高中生,有一定编程与数学基础;计算资源为个人笔记本、纯 CPU、无 GPU 无集群;实验资源不超过中学常规实验室;全部使用公开数据;由中学教师即可指导。凡超出这一假设的路线,都在标签里标明了资源门槛。

四条必须先知道的赛制事实(取自官方公告,2020–2026 全部公示文章):指导老师不得来自培训机构或任何谋利机构,违者取消资格;总决赛全程英文(研究报告、PPT、答辩);入围总决赛的研究报告会在 11 月全网公示;提交材料含论文查重报告与实验视频。规则每年会改,报名开放后须重新核对当年《参赛规则》与本学科《参赛指南》。

这个赛道的评委在奖励什么

统计 2020–2025 共 66 项数学奖获奖论文,谱系相当稳定:

顶端是纯数学,且集中在四个方向。 数论(筛法、素数分布、zeta 与 L 函数、Diophantine 逼近)与组合/图论(Turán 型问题、竞赛图圈结构、格点计数、着色)合计约占四成;代数与表示论(量子群晶体基、Temperley-Lieb 代数、有限群)和几何分析(Carathéodory 猜想、等周与等径问题、丘几何猜想、雪茄孤子)各占约两成。2020–2023 的金奖全部是纯数学。

应用建模能进入前列,但要求极高的"数学含量"。 2024 金奖是《基于马尔可夫决策过程的老年人飞镖投掷策略优化》——题材极轻,但方法是完整的 MDP 求解与最优策略证明。2025 的 finalist 里出现了发热门诊排班的混合整数规划、百米跑技术的数学模型。这说明应用题不是没有机会,但它的竞争力来自模型本身可被证明的性质,而不是"用数学解决了一个实际问题"这句话。

数值方法与算法类是被低估的窗口。 绝对值方程的快速数值方法、随机动力系统的密度演化通用算法、圆图的围长计算算法都拿到了奖。这一族对算力要求最低(交付物是收敛阶与复杂度分析,不是高参数区间),对中学生最友好,却是投稿密度最低的一族。本方案的 M11–M20 有意向这一族倾斜。

参赛主体的现实。 获奖名单里 MIT PRIMES、Phillips Exeter、NUS High School、上中国际部、北师大实验、南外反复出现。这些团队通常有大学导师带。普通重点高中生要赢,靠的不是撞同一个难题,而是选一个"计算可驱动、小情形可穷尽、结论正负都成立"的问题。本方案全部 20 条路线都按这个原则设计。

本赛道 20 条路线的分族逻辑

  • M01–M10 离散数学族:组合、数论、图论、算法数论。共同优势是计算实验可以先行——学生用程序穷尽小情形、观察规律、再回头证明。失败模式是证不出来,但"完整分类了 n ≤ N 的所有情形并给出反例/猜想"本身仍是可交付的结论。
  • M11–M20 连续与应用族:几何、分析、概率、动力系统、数值分析、优化建模。共同优势是结论天然量化(收敛阶、误差界、置信区间),验收标准好写,且大多有解析解可作方法学校验。

两族的排序内部独立:M01 与 M11 分别是各自族里最稳的,M10 与 M20 分别是风险最高、上限也最高的。



All topics课题索引

第一批 · 20 则

按可行性排序,编号越小越稳。点开任一则可看完整的八块方案:研究问题、可检验假设、量化验收标准、数据与工具、方法路径、新颖性边界与 go/no-go 决策门槛。

M01

广义书图族沙堆群的不变因子

广义书图 B(m,n)(n 个 m-圈共享一条公共边)的沙堆群(sandpile group / critical group)不变因子分解是否存在关于 (m,n) 的封闭公式?若无统一公式,其 p-部分是否随 n 呈可…

优先级:最高分族:图论/代数组合子类:计算驱动猜想+完全证明

M02

同阶非同构阿贝尔群中最大 Sidon 集

同阶但不同构的有限阿贝尔群(如 Z_36 与 Z6×Z6)的最大 Sidon 集(Sidon set / B2 set)大小是否可以不同?若可以,最小的"…

优先级:高分族:数论/加性组合子类:穷举+极值证书

M03

树的奇素数标号猜想

所有 n ≤ 20 的树是否都有奇素数标号(odd prime labeling:顶点标 1,3,…,2n−1,相邻标号互素)?在已证类(梯图、完全二叉树、部分毛虫树)之外,能否对蜘蛛树(spider)等已知素树类给出构…

优先级:高分族:图论/组合数学子类:猜想大规模验证+新类证明

M04

有限群子群交换度的取值谱

阶 ≤ 64 的全部有限群的子群交换度 sd(G)(subgroup commutativity degree:随机两子群相乘仍为子群的概率)取哪些值?在最大值 1(Iwasawa 群)附近是否存在间隙——即是否有 ε>…

优先级:中高分族:有限群/代数组合子类:全库计算+谱定理

M05

离散环面上的三点不共线问题

离散环面 Zm×Zn 上两两不三点共线的最大点数 τ(m,n),在已发表计算表(2 ≤ m ≤ 7)之外的下一批值(m = 8,9,10)是多少?gcd(m,n) 为合数的最小…

优先级:中高分族:组合几何子类:极值扩表+构型分析

M06

转子路由行走对随机游走的单点占据偏差

在星图、双星、圈及带弦圈等参数化小图族上,转子路由行走(rotor-router walk / Propp machine)的单点占据频率相对随机游走期望的最坏情形偏差 K(G)(对全部转子初始配置与时间取上确界)的精确…

优先级:中分族:离散概率子类:精确常数测定+小族公式

M07

带角缺口 Aztec 菱形族的多米诺铺砌计数

从 Aztec 菱形 AD(n) 的四角对称地挖去 k 层台阶后的两参数区域族 AD(n,k),其多米诺铺砌数 T(n,k) 是否为"全部素因子有界"的乘积公式型数列?若是,公式能否用 Kuo 图凝聚(graphical…

优先级:中分族:计数与生成函数子类:精确计数→乘积公式→归纳证明

M08

用 Walnut 自动定理证明器批量判定 OEIS 自动序列条目的未证猜想

OEIS 中以 k-自动(k-automatic)或 Fibonacci-自动序列描述、且注记含未证陈述("Conjecture"“It appears")的条目里,哪些可写成 Walnut 可判定的一阶逻辑语句?批量形…

优先级:中分族:算法数论/组合词子类:机器证明+批量筛选

M09

秩 3 阿贝尔群的 Davenport 常数

对秩 3 阿贝尔群 G = Cn1⊕Cn2⊕Cn3(n1|n2|n3),Davenport 常数 D(G)(最短长度 ℓ 使任何长 ℓ 的元素序列必含非空…

优先级:中低(高风险高上限)分族:组合数论/零和理论子类:开放常数小情形判定

M10

双层床猜想的最小反例边界

双层床猜想(bunkbed conjecture,Kasteleyn 1985;2024 年被 Gladkov–Pak–Zimin 用 7222 顶点平面图证伪)的最小反例可以多小?基础图 ≤ 5 个顶点范围内能否符号精…

优先级:低(前沿高风险)分族:离散概率/渗流子类:反例边界穷举+符号计算

M11

辛积分器与非辛积分器在开普勒/三体问题上的长期能量漂移标度律

对 Störmer–Verlet 等辛积分器(symplectic integrator)与 RK4 等经典方法,长期能量误差随时间与步长的增长规律,是否与后向误差分析(backward error analysis)给…

推荐优先级:★★★★★分族:数值分析参赛子类:计算与应用数学

M12

重尾分布下均值估计器的有限样本对决

在只有 p ∈ (1,2] 阶矩的重尾分布下,中位数-均值估计器(median-of-means, MoM)与截断均值(trimmed mean)的实测偏差–置信水平曲线,与 Lugosi–Mendelson 理论上界之…

推荐优先级:★★★★★分族:统计推断基础参赛子类:概率统计

M13

多边形离散曲线缩短流的两种离散化对比

Chow–Glickenstein 线性半离散流与"按离散曲率直接驱动"的非线性离散曲线缩短流(discrete curve shortening flow),在顶点数 N→∞ 时向连续 Gage–Hamilton 理论…

推荐优先级:★★★★☆分族:离散微分几何参赛子类:几何

M14

单路口信号配时在随机交通流下的稳健性

经典 Webster 配时公式(基于确定性排队假设)给出的信号周期,在 Nagel–Schreckenberg(NaSch)随机元胞自动机产生的到达流下,平均延误相对于直接数值优化的最优配时高出多少?进一步:该次优差距随…

推荐优先级:★★★★☆分族:数学建模与最优化参赛子类:应用数学

M15

受迫阻尼摆吸引域分形边界维数随阻尼的标度

受迫阻尼单摆(damped driven pendulum)多吸引子共存区的吸引域边界(basin boundary)分形维数,用盒计数法、不确定性指数法(uncertainty exponent)与吸引域熵法(basi…

推荐优先级:★★★☆☆分族:动力系统与混沌参赛子类:动力系统

M16

稀疏与重尾随机矩阵最大特征值涨落对 Tracy–Widom 普适类的偏离

对稀疏 Wigner 矩阵(每行期望非零元 q 个)与重尾元素矩阵,最大特征值涨落偏离 Tracy–Widom(TW)分布的程度,作为 (N, q) 或 (N, 尾指数 α) 的函数如何标度?在笔记本可及的 N ≤ 40…

推荐优先级:★★★☆☆分族:概率与随机过程参赛子类:概率统计

M17

一维加权 Gagliardo–Nirenberg 不等式最优常数的数值变分测定

用数值变分法(梯度流/约束优化)求解一维 Gagliardo–Nirenberg(GN)不等式的最优常数与极值函数,在解析已知情形(Nagy 1941 一维族)校准后,对幂权 |x|^a 加权族,最优常数随权指数 a 的…

推荐优先级:★★★☆☆分族:分析与不等式参赛子类:分析

M18

非周期单砖铺陈上的渗流

在 2023 年发现的 Spectre 非周期单砖(chiral aperiodic monotile)铺陈的邻接图上,位渗流(site percolation)临界概率 pc 是多少(目标精度 ±…

推荐优先级:★★☆☆☆分族:概率与随机过程参赛子类:概率统计/离散几何交叉

M19

轴对称哑铃曲面平均曲率流颈缩奇点的数值测定

对单参数哑铃族初值的轴对称平均曲率流(mean curvature flow, MCF),用自建一维径向 PDE 求解器能否复现颈缩(neckpinch)奇点的 Type-I 标度 max|A| ~ (T−t)^(−1/…

推荐优先级:★★☆☆☆分族:几何分析(数值)参赛子类:几何/偏微分方程

M20

双谐波标准映射中金比例不变环面破缺阈值曲线

在双谐波推广标准映射 f(x) = (K₁ sin 2πx + K₂ sin 4πx)/2π 中,金比例旋转数不变环面(golden-mean invariant torus)的破缺阈值在 (K₁, K₂) 参数平面上构…

推荐优先级:★★☆☆☆(高风险高回报)分族:动力系统与混沌参赛子类:动力系统


本赛道的后 20 则出自独立撰写的第二批方案,与前 20 则同样遵循八块结构、方法学校验硬门槛与 go/no-go 要求,选题角度则明显不同——可以当作互补的第二组视角来读。

但有一处差别必须先说清楚:第二批在撰写时未做英文文献检索。它的新颖性边界依据的是历届获奖图谱与既有知识,而不是当轮查新。这意味着"这个想法是否已被发表"这一关尚未过。每则的正文里都重复标注了这一点。若选中第二批的某一则,第一件事是补做英文检索协议(把想法写成一句英文摘要,抽 4–6 个关键词组合检索,并专门搜"最显而易见的那个做法"),再决定是否启动。

M21

多部竞赛图中不相交圈的最小出度条件

对 3-部竞赛图(3-partite tournament,即完全 3 部图的定向),最小出度 δ⁺ ≥ 3 是否已保证存在两个顶点不相交的有向圈?更进一步:Bermond–Thomassen 型条件"δ⁺ ≥ 2k−1…

优先级 ★★★族A 组合与图论证明有向图论

M22

无限方格与六角格的 S-填装染色

对若干处于已知可染/不可染边界上的距离序列 S(如 (1,1,2,2,3,3,…) 的截断变体),无限方格图与六角格图是否存在 S-填装染色(S-packing coloring)?每个具体 S 的答案能否用"周期构造"…

优先级 ★★★族A 组合与图论证明图染色

M23

树的素标号

所有 n ≤ 26 个顶点的树是否都有素标号(prime labeling,即顶点可用 1…n 标号使每条边两端标号互素)——Entringer–Tout 猜想在该范围内是否无反例?能否对一个此前未被覆盖的树族(如直径 …

优先级 ★★★族A 组合与图论证明图标号/数论

M24

五阶禁图的饱和数

对若干饱和数(saturation number)sat(n, F) 尚无精确公式的 5 阶禁图 F,sat(n, F) 在 n ≤ 11 的精确值是多少?由此猜出的线性公式 sat(n, F) = an + b 能否对…

优先级 ★★★族A 组合与图论证明极值图论

M25

三元减法游戏的 Grundy 序列

对减法集 S = {a, b, a+b} 型三元减法游戏(subtraction game),其 Grundy 序列的周期与预周期能否作为 a, b 的显式函数完整确定并证明?在此之外,对 1–2 个仍未解的八进制游戏(…

优先级 ★★★族A 组合与图论证明组合博弈论

M26

Sturmian 词前缀和的快速算法

对斜率为任意二次无理数(连分数展开最终周期)的 Sturmian 特征词,其前 n 项前缀和能否给出 O(log n) 次算术运算的精确算法,并严格证明其正确性与复杂度?当连分数周期给定时,该算法能否进一步压缩到均摊 O…

优先级 ★★★族B 数论与整数序列词组合学/算法

M27

小阶非交换群的小 Davenport 常数

阶 ≤ 32 的非交换群 G 中,哪些群的小 Davenport 常数 d(G)(最长不含"非空乘积为 1 的连续可重排子列"的序列长度,定义按文献标准口径)仍无发表值,其精确值是多少?由数据猜出的家族公式(如对半二面体…

优先级 ★★族B 数论与整数序列群论/零和组合

M28

√(n²+k) 型二次无理数连分数周期的完全分类

固定整数 k(0 < |k| ≤ 50),当 n → ∞ 时 √(n²+k) 的连分数展开是否只呈现有限多个"周期模式"(周期元素为 n 的线性函数),这些模式能否按 n 的同余类完全分类并逐一给出代数恒等式证明?分类中…

优先级 ★★★族B 数论与整数序列连分数/初等数论

M29

受限覆盖同余系的极小构造

最小模为 3(以及 4)的覆盖同余系(covering system,有限组同余式覆盖全体整数)中,同余式条数的最小值与模的最小公倍数(LCM)的最小值各是多少?在"模两两不同且均属于给定区间 [m, Cm]"的限制下,…

优先级 ★★族B 数论与整数序列覆盖同余系

M30

Somos 型三项递推的整性边界

三项 Gale–Robinson 型递推 x₍ₙ₊ₙ₀₎ xₙ = a·x₍ₙ₊ᵣ₎ x₍ₙ₊ₙ₀₋ᵣ₎ + b·x₍ₙ₊ₛ₎ x₍ₙ₊ₙ₀₋ₛ₎(初值全 1)在参数 (N₀, r, s, a, b) 的哪些取值下产生整…

优先级 ★族B 数论与整数序列代数组合/簇代数

M31

Heilbronn 型极值构型的认证记录

在单位正方形(及单位三角形域)中放 n 个点、最大化"最小三角形面积"的 Heilbronn 值 h(n),以及其凸四边形变体 h₄(n)(最大化最小凸四边形面积),对 n ≤ 16 的当前最好构型能否被复现、并在若干 …

优先级 ★★族C 离散几何与格点组合几何/优化

M32

曲线视线与多观察点下的格点可见性密度

沿幂曲线族 y = axᵇ(b 为固定正整数)定义的"曲线可见性"下,从 k 个不同观察点同时可见的格点密度是否存在,且等于一个显式 Euler 乘积?该密度公式能否严格证明,并给出有限窗口 N×N 内经验密度对极限的收…

优先级 ★★★族C 离散几何与格点解析初等数论

M33

Ehrhart 拟多项式的周期塌缩

对分母为 q 的有理三角形单参数族 T(a, q)(顶点显式给定),其 Ehrhart 拟多项式的最小周期何时严格小于分母 q(周期塌缩,period collapse)?塌缩发生的参数集能否用 (a, q) 的数论条件…

优先级 ★★族C 离散几何与格点格点计数/组合

M34

平面格键渗流临界概率的严格界

对临界概率 pc 无精确解的平面格(首选 kagome 格的键渗流),用替代法(substitution method)能否独立复现文献中已发表的严格上下界?在笔记本算力内扩大替代区域后,现有严格界…

优先级 ★族C 离散几何与格点离散概率/渗流

M35

结构化绝对值方程的参数化松弛迭代

对绝对值方程(absolute value equation, AVE)Ax − |x| = b,当 A 属于对称正定或 M-矩阵等结构类时,参数化松弛迭代 x⁽ᵏ⁺¹⁾ = x⁽ᵏ⁾ + ω·M⁻¹(b − Ax⁽ᵏ⁾…

优先级 ★★族D 算法与计算代数数值线性代数

M36

图族沙堆群的结构定理

对一个沙堆群(sandpile group / critical group,即约化 Laplacian 的余核)结构尚未发表的图族(首选广义 Petersen 图 P(n, 3) 或某循环图族 Cₙ(1, k),第 3…

优先级 ★★★族D 算法与计算代数代数图论

M37

Zeckendorf 加法的进位链

在 Zeckendorf 数系(每个正整数唯一表示为不相邻 Fibonacci 数之和)中执行加法时,进位修正过程能否形式化为一个有限状态链,其转移矩阵(对随机均匀加数的极限分布)是否像十进制情形的 Holte"神奇矩阵…

优先级 ★★★族D 算法与计算代数概率组合/数系

M38

羽毛球每球得分制下冒险程度的 Markov 决策过程

把羽毛球 21 分每球得分制(含 20 平后净胜 2 分、30 分封顶规则)建为 Markov 决策过程——每球运动员在"激进/保守"打法间选择(激进:得分概率高但失误概率也高)——最优策略是否关于比分差呈阈值(thre…

优先级 ★★★族E 应用建模与动力系统Markov 决策过程/运筹

M39

自习室座位与考场的在线分配

把"自习室座位/考场随到随分、不可中途换座"建模为区间图在线染色(online interval graph coloring):当请求区间满足现实约束——长度只取 k 种离散值(如 1/2/3 节课)——时,最优在线算…

优先级 ★★★族E 应用建模与动力系统在线算法/组合优化

M40

接种意愿博弈与流行病传播的耦合离散动力系统

把"接种意愿随感染风险与模仿行为演化"的博弈动力学与离散时间 SIR 传播耦合成三维映射后,其无病平衡点与地方病平衡点的局部稳定性判据(关于基本再生数 R₀ 与模仿速率 κ 的显式不等式)是什么?当 κ 增大时系统经何种…

优先级 ★★族E 应用建模与动力系统离散动力系统/博弈