数学方向雷达 · 2026-W38｜超图二分、等周尖锐界、预条件参数放宽

本栏目近 14 天收录 10 条研究，本期取样 10 条（试验/方案 0 · 临床前 0 · 综述分析 3）。本雷达不罗列文献，只回答三件事：现在往哪走、门槛有多高、怎么做最快拿到能发表的结果。

一、本期判断

1. 本期语料没有一条试验或临床前研究，数学方向的提问方式集中在“结构能否二分刻画”“界能否收紧”这类判定与定量问题。
2. 组合与图论类工作扎堆出现，说明该分支的提问已从“是否存在反例”转向“临界参数下界怎么给、颜色数上界怎么定”。
3. 预条件与粗空间类工作把关注点放在收敛条件对参数的显式依赖上，问题从“能不能收敛”变成“子域尺寸与阈值能放宽到哪”。
4. 综述与工具包类条目占三成，反映证据整合与二次分析的产出速度明显快于新定理的证明周期。

统计事实摆在这里：10 条里 0 条试验、0 条动物，综述/分析/框架类 3 条，占比三成。真正的新机制产出只有少数几条定理型工作，其余是工具包、期刊指南、方法综述。说白了，又快又出成绩的现实路径就是二次分析与证据整合——翻文献、搭框架、写指南，周期短、门槛低；而一条完全二分定理或尖锐等周不等式，往往要压上数年。

二、5 个前沿方向

方向 1｜临界指数处的尖锐界收紧

在发生什么。围绕Hamming立方体等离散结构，在临界指数附近追问等周不等式能否取到尖锐常数，而不是只给渐近阶。做法上从一般不等式退到临界点邻域，逐项核对常数是否可达，并与已知上下界对照。

为什么是窗口期。离散调和分析与组合几何的工具链近年逐步补齐，临界指数附近的算子估计已有可复用的技术组件，使得把常数抠到尖锐成为可操作的目标。

本期支撑。Hamming立方体临界指数附近的尖锐等周不等式（临界指数附近尖锐等周不等式的直接样本）；稀疏t一致超图可超图性问题的完全二分定理（同为离散结构上的完全二分刻画）

入门可做（硕博）。题目：在Hamming立方体临界指数邻域复算已知等周不等式的常数可达性。数据来自公开文献中的已知界与反例构造，工具用LaTeX加符号计算脚本做常数核对，预期周期6-12个月。

进阶卡位（博后 / 青年 PI）。差异化点在于把尖锐常数从单一立方体推广到带权或乘积结构，需要与调和分析方向合作者共享技术组件。风险是常数可达性可能依赖未公开的中间引理，卡位前需先验证关键引理是否独立可证。

最容易翻车的地方。只报渐近阶就宣称尖锐，不做常数可达性反例检验。

方向 2｜超图可满足性的二分刻画

在发生什么。对稀疏t一致超图，追问可超图性是否存在完全二分判定，即把问题切成多项式可解与难解两侧并给出精确边界。做法上结合组合构造与复杂度归约，寻找密度或度序列上的分界参数。

为什么是窗口期。稀疏超图的结构定理与随机超图阈值结果近年积累较多，使得在稀疏区间内定位二分边界有了可依赖的工具，而不是只能给粗略的难解性结论。

本期支撑。稀疏t一致超图可超图性问题的完全二分定理（稀疏t一致超图可超图性完全二分定理）；完全有向超图中的紧路径研究（完全有向超图紧路径的结构分析）

入门可做（硕博）。题目：在给定密度区间内枚举小规模稀疏3一致超图，检验可超图性判定边界是否与猜想一致。数据由自写枚举程序生成，工具用Python或C++加SAT求解器做判定，预期周期6-12个月。

进阶卡位（博后 / 青年 PI）。差异化点是把二分边界从无向超图推到有向或带权版本，需要与复杂度理论方向合作者共同设计归约。风险是边界可能依赖未解决的随机超图阈值猜想，卡位前需确认能否绕开该猜想。

最容易翻车的地方。把小规模枚举的规律直接当成一般二分定理，不做归约证明。

方向 3｜预条件收敛条件的参数显式化

在发生什么。针对不定Helmholtz等问题，在两层加性Schwarz预条件中引入粗空间，追问GMRES收敛条件对波数k的显式依赖，从而放宽子域尺寸与特征值阈值。做法上把收敛分析写成k的显式不等式，再据此调参。

为什么是窗口期。粗空间构造与区域分解的收敛分析工具近年趋于成熟，使得把收敛条件从存在性陈述改写为k显式陈述成为可完成的分析任务。

本期支撑。对称正定粗空间用于不定Helmholtz问题的两层加性Schwarz预条件（Δk-GenEO粗空间的k显式收敛分析）

入门可做（硕博）。题目：在一维与二维模型问题上复现Δk-GenEO粗空间的GMRES收敛条件，扫描k与子域尺寸。数据由自写有限元程序生成，工具用Python或MATLAB加稀疏求解器，预期周期6-12个月。

进阶卡位（博后 / 青年 PI）。差异化点是把k显式条件推广到非齐次或变系数介质，需要数值线性代数与PDE分析双背景，以及中等规模并行算力。风险是显式常数可能随介质对比度恶化，需提前做参数扫描确认可用区间。

最容易翻车的地方。只在单一波数上验证收敛，就宣称阈值放宽具有一般性。

方向 4｜图着色上界的构造性收紧

在发生什么。针对平面图与外平面图，追问B着色所需颜色数的上界能否收紧，做法上结合禁用子图结构与着色构造，把上界从一般值压到与图类结构匹配的具体值。

为什么是窗口期。平面图结构定理与着色构造技术近年有稳定积累，使得针对特定图类逐类收紧上界成为可分解推进的任务，而非一次性大猜想。

本期支撑。平面图与外平面图B着色的界（平面图与外平面图B着色界的研究）；数学家证明图三明治猜想（图三明治猜想获证的资讯背景）

入门可做（硕博）。题目：对小规模平面图与外平面图穷举B着色所需颜色数，检验已知上界是否紧。数据由自写图生成程序产出，工具用Python的图论库加整数规划求解器，预期周期3-9个月。

进阶卡位（博后 / 青年 PI）。差异化点是把上界收紧与禁用子图刻画绑定，给出达到上界的极图族，需要组合数学与算法双背景。风险是极图族可能极其稀疏，构造耗时且审稿人要求完整分类。

最容易翻车的地方。只给上界不给达到上界的例子，被审稿人指出界不紧。

方向 5｜组合优化的结构特征利用

在发生什么。围绕经典0-1背包等弱NP难问题，追问精确算法如何利用数值参数、线性松弛与支配关系等结构特征加速，做法上把结构特征显式写进算法并给出适用条件，而非只报实验加速比。

为什么是窗口期。整数规划求解器与线性松弛技术近年成熟，使得把结构特征与求解器结合做可复现对比成为低成本任务，适合作为方法学切入点。

本期支撑。经典0-1背包问题的快速求解方法综述（0-1背包快速求解方法的结构特征综述）；statsmodels：Python 统计建模与计量经济学工具包（statsmodels类工具包提供统计估计支撑）

入门可做（硕博）。题目：在公开背包基准实例上对比支配关系剪枝与线性松弛的加速贡献。数据来自公开OR基准库，工具用Python加整数规划求解器，预期周期3-6个月。

进阶卡位（博后 / 青年 PI）。差异化点是把结构特征从背包推广到带约束变体并给出最坏情况界，需要算法与复杂度分析双背景。风险是加速比高度依赖实例分布，需预先设计多分布基准避免结论不可推广。

最容易翻车的地方。只在少数随机实例上报加速比，不做最坏情况分析。

三、本期方向快照

推荐指数口径：在同等学术产出质量下，拿到可投稿结果的确定性 × 速度；它不衡量科学重要性——科学增量最高的方向，天花板常受设备与周期限制。

四、本周可动手的三件事

1. 核对等周常数：找出语料5所引论文的已知上下界，逐项核对临界指数邻域常数是否可达，把不可达处标为待验证引理。
2. 枚举超图边界：写脚本枚举小规模稀疏3一致超图，记录可超图性判定结果，与语料0的二分猜想逐点比对并列出反例候选。
3. 复现预条件条件：按语料7的Δk-GenEO粗空间设定，在一维模型问题上扫描k与子域尺寸，记录GMRES迭代数是否满足显式条件。

五、口径与免责

• 证据来源：本站「数学」栏目近 14 天收录 10 条，本期取样 10 条（已按标题去重），全部可点击回溯原文。本期未做全领域普查，本期判断只代表这批样本呈现的方向，不等于学科全景。
• 周期与门槛为经验区间，受平台、合作资源与写作速度影响，仅供参考。
• 不构成医疗建议：文中涉及的刺激参数、适应证与临床结论均属研究信息整理，任何临床决策请遵循所在机构规范与注册试验方案。

《数学方向雷达》· 2026-W38 · 由 fqpy.com 自动化流水线生成，内容仅用于研究信息整理与科普交流，不构成医疗建议。