brycewang-stanford 命题与证明（jmsc-proofs）
触发时机
- 有模型和结论，但没把结论写成命题/定理
- 命题表述含糊（"通常会更优"），不可证伪
- 证明有跳步、"显然"、未处理边界情形
- 审稿质疑"逻辑链不完整 / 证明不严谨"
核心：模型必须产出可证明的性质
本刊有模型无证明 = 拒。模型的价值由它能证明的性质来体现：最优解的存在唯一、最优策略的结构（阈值型/单调）、比较静态、均衡的存在与刻画、界与近似比。
命题表述规范
- 一条命题只断言一件事，条件（在何假设下）与结论分开写。
- 用精确的数学语言，避免"一般来说/通常"等模糊词。
- 结论应不平凡且可证伪：能想象一个它不成立的情形。
- 命题编号与假设编号对应，引用 A1/A2 时写清。
常见性质类型与证明套路
| 性质 | 典型断言 | 证明工具 |
|---|---|---|
| 存在唯一 | 最优解/均衡存在且唯一 | 凸性 + 一阶条件 / 不动点 / 压缩映射 |
| 结构性质 | 最优策略是阈值型/单调 | 超模性 / 一阶条件 / 归纳 |
| 比较静态 | 最优值对参数单调 | 包络定理 / 隐函数 / Topkis |
| 均衡 | Nash/SPE 存在并刻画 | 最优反应 + 不动点 / 逆向归纳 |
| 界/近似 | 算法解 ≤ ρ·最优 | 松弛 / 对偶 / 最坏情形分析 |
证明完整性自检
- 每条命题的假设前提与结论精确、分开
- 证明每一步有依据，没有无理由的"显然/易得"
- 边界与退化情形（端点、约束起作用/不起作用）已处理
- 存在性与唯一性分别证明（别只证一半）
- 用到的引理已陈述并证明（或给出可核查的出处）
- 证明放附录，正文只给陈述与直觉，保持可读
反模式
- "通过仿真验证"替代"证明"（仿真是验证不是证明）
- 命题其实是定义或假设的同义反复
- 证明跳过约束起作用与否的分类讨论
- 一阶条件当充分条件用（没验二阶/凸性）
- 引用一个不存在或对不上的"经典结论"
本刊证明环节审稿期待与退稿模式
《管理科学学报》在命题-证明环节把关最严："有模型无证明"几乎必拒。下表对齐本刊高频退稿语与修法：
| 退稿信号 | 根因 | 本刊期望的修法 |
|---|---|---|
| "命题表述含糊/不可证伪" | 用"通常更优"等模糊词 | 把条件与结论分写，给出能想象反例的精确断言 |
| "证明有跳步/'显然'" | 关键步骤无依据 | 补出每步依据，技术性引理单列并证 |
| "只证存在未证唯一" | 把一半当全部 | 分别证存在与唯一；若不唯一则刻画解集 |
| "未处理边界/约束起作用情形" | 跳过分类讨论 | 对约束 active/inactive、端点解逐情形论证 |
| "一阶条件当充分条件" | 缺凸性/二阶验证 | 补凸性或二阶条件，确立最优性而非驻点 |
锚点：本刊已刊论文的结构性结论（阈值型最优策略、最优值对参数单调）多依赖超模性/包络定理/Topkis，正文给陈述与直觉，完整证明入附录。具体体例以编辑部最新稿约为准。
微型走查：供应链回购契约的阈值结构证明
虚构稿件《需求不确定下回购契约的最优订货阈值》。按命题-证明决策规则走一遍（示意设定仅作演示）：
- 命题 P1（陈述）：在假设 A1（需求 D 服从连续分布 F，密度 f>0）、A2（回购价 b<批发价 w<零售价 r）下，零售商最优订货量 q* 唯一，且 q* 关于回购价 b 单调递增。条件与结论分写，断言不平凡（可设想 b 上升 q* 反而下降的情形来证伪）。
- 存在唯一：Π(q)=（r−w）q−(r−b)∫₀^q F(x)dx，Π''(q)=−(r−b)f(q)<0（由 A2 与 f>0），故严格凹，一阶条件 F(q*)=(r−w)/(r−b) 有唯一解。存在性由凹性+端点符号、唯一性由严格凹，分别给出。
- 比较静态：对 F(q*)=(r−w)/(r−b) 两边关于 b 隐函数求导，得 dq*/db=（r−w）/[(r−b)²f(q*)]>0，故 q* 随 b 递增。用隐函数定理而非"显然"。
- 边界处理：当 b→w 时阈值比值→0，q*→分布下端；当 b=r 临界退化已被 A2（b<w<r）排除，说明退化情形为何不在范围内。
- 正文-附录分工：正文给 P1 陈述 + "回购价越高、零售商越敢多订"的机制直觉，凹性与隐函数求导细节入附录。
审稿人若追问"是否需要 IFR（递增失效率）才有唯一性"，回应应指出唯一性仅依赖严格凹（f>0 足矣），IFR 是更强单调结论才需的额外条件，避免过度假设。
输出格式
【命题清单】P1<断言> P2<断言> …
【表述】精确 / 含糊 <哪条>
【可证伪/不平凡】是 / 否 <哪条>
【证明完整性】完整 / 缺口 <步骤/边界/唯一性>
【引理依赖】已证 / 待补 <引理>
【正文-附录分工】证明已入附录？是/否
【下一步】jmsc-algorithm（需算法）/ jmsc-numerical-experiments