精读笔记
Problem Setting
《The Geometry of Admissible Short Selling in Discrete-Time Stochastic Portfolio Theory》（arXiv preprint / 2026-06-11）解决的不是“怎样在 SPT 里加一个做空项”，而是更基础的问题：在离散时间、全投资、无现金账户的 SPT 框架里，哪些 long-short 函数生成组合可以在所有允许市场路径上保持正财富，并仍然拥有 Pal–Wong 意义下的 pseudo-arbitrage。
关键矛盾是：做空需要负权重，但离散时间里负权重会让一期相对收益可能变成非正，导致财富过程破产；而 long-only 理论天然避免这个问题，却把策略空间限制在 Δ(n)。已有全局函数生成理论要求生成函数在整个 simplex 上非负凹延拓，这个条件强到直接推出组合 long-only。也就是说，以前的框架不是不能写 long-short 组合，而是 admissibility 与 global domain 两个要求合在一起把做空可能性压没了。
论文真正要打通的是一个局部理论：若市场轨迹被 diversity 假设限制在 K⊂⊂Δ(n)，那么策略只需在 K 或包含 K 的局部凸域 D 上安全；此时全局 simplex 上的非负延拓不再必要。困难点在于，放弃 global domain 后，必须重新证明 MCM、函数生成、L-divergence 分解、pseudo-arbitrage 之间的关系仍然成立，并给出一个不是事后看权重符号的做空判据。
Motivation
已有路线的问题是把“市场可能状态”与“数学定义域”混为一谈。Pal–Wong 的 long-only 几何理论在整个 simplex 上非常干净，但如果真实市场满足 diversity，市场永远不会接近某些边界区域，那么要求生成势在这些永远不会访问的区域也保持非负凹性，是一个不必要的全局正则化。
作者的核心观察是：long-only 不是 functional generation 的内生属性，而是非负凹函数可全局延拓到 Δ(n) 的结果。生成公式 π_i(p)=p_i(1+<∇logΦ(p),e_i-p>) 本身只需要局部可微 / 凹性；一旦 Φ 的定义域被收缩，切平面在 simplex 顶点方向的截距可以变负，于是负权重自然出现。
因此缺口不是“缺少做空策略”，而是缺少一个能区分 admissible short selling 和破产型 leverage 的几何语言。论文选择用 bankruptcy-proof 作为可行性约束，用最大凹延拓的负性作为 short selling 的几何证书，用 barycentric scaling 作为可构造机制。
Core Idea
核心思想可以概括为：把函数生成从“全局 simplex 上的非负凹势”改成“局部市场状态空间上的正凹势”。凹性仍然保证 L-divergence 非负，从而保留 volatility harvesting / drift accumulation 的路径分解；局部正性与 bankruptcy-proof 保证财富不破产；而全局非负延拓的失败则释放出 short selling。
本质区别在 domain，而不是在财富分解公式。prior 把生成函数放在 Δ(n) 上，因此所有支持超平面必须在 simplex 上保持非负，等价地顶点截距不能为负，权重自然 long-only。本文允许生成函数只在 D⊂Δ(n) 上定义，并且让它在 D 的内部边界上趋零。这样 log-gradient 在零边界附近变陡，支持超平面向远端顶点外推时穿过零，负截距对应负组合权重。
这个建模改变引入了一个很明确的 inductive bias：短仓不是任意估计出来的 alpha，而是由“市场接近局部生成域的零边界”触发。不同生成函数的 boundary zero set 决定了短仓几何形态：几何均值全边界为零，得到 shell；熵只在顶点为零，得到 vertex lobes。
Method
1. Bankruptcy-proof 替代 long-only：它解决的是长短仓在离散时间下的一期破产问题。条件 <π(p),q/p>>0 对所有 p,q∈D 成立，相当于把策略可行性变成一个几何半空间交条件。核心变化是，负权重被允许，但只能在市场状态空间足够局部、相对价格比有界时存在。
2. 局部 MCM 与函数生成等价：它解决的是 pseudo-arbitrage 的必要结构问题。若策略不满足 MCM，重复亏损 cycle 会让财富趋零；若满足 MCM，可用路径乘积 inf 构造正凹生成函数。核心变化是 Pal–Wong 的全局证明被局部化，证明 concavity on K 已足够支持 arbitrage decomposition。
3. 局部 pseudo-arbitrage 刻画：Φ|K bounded away from zero 负责 downside bound，非仿射凹性负责存在正 L-divergence cycle，从而可重复积累 drift。这里没有概率模型，也没有估计收益率；全部是 pathwise geometry。
4. 最大凹延拓 \hatΦ：它解决的是“什么时候做空”的识别问题。\hatΦ 是所有局部支持超平面的下包络。若某处为负，说明某个支持超平面对 simplex 外推时有负值；由于 x/p>0，只能来自某个 π_i(p)<0。反过来，若某个权重为负，沿对应顶点方向取极限即可让支持平面为负。
5. Zero-boundary + barycentric scaling：它解决的是如何系统构造做空而非只证明存在。把经典生成函数 Ψ 通过 S_λ^{-1} 拉回到收缩域 D_λ，使其在 D_λ 的边界上形成零点。市场域 K_ε 与边界距离由 λ-ε 控制。核心变化是 λ 成为控制短仓暴露的几何旋钮。
Key Insight / Why It Works
最核心贡献是 Theorem 1.3：short selling ⇔ maximal concave extension takes negative values。这个结果把做空从 portfolio-weight 层面的局部符号，转成 concave geometry 层面的 extendability obstruction。它解释了为什么全局非负凹延拓会强制 long-only，也解释了为什么局部域一旦存在零边界，短仓几乎不可避免。
方法有效的根本原因是两个结构没有被破坏：第一，凹性仍然给出 T_φ(q|p)≥0，所以 pseudo-arbitrage 的 drift accumulation 还在；第二，市场状态空间收缩后，相对价格比 q_i/p_i 有界，负权重可以被其他长仓 collateralize，bankruptcy-proof 不再等价于 long-only。换言之，本文不是发现了新的收益源，而是发现原有 SPT drift decomposition 可以在更大的 admissible 策略类里运作。
SEWP / SEP 的差异是一个值得迁移的 insight：短仓区域由生成函数在收缩域边界上的 zero set 决定。几何均值在所有 face 上为零，因此边界任意方向都可能触发 log-gradient blow-up，形成 shell；熵在 face interior 为正、只在 vertices 为零，因此短仓集中在 near-monopoly lobes。这比具体公式更重要，因为它给出了一种“通过选择 boundary zero geometry 设计风险暴露”的方法。
需要直说的是，实证收益大概率主要来自 scaling-induced leverage / boundary proximity，而不是策略有预测能力。λ 越小，零边界越靠近观测轨迹，短仓和杠杆越大，相对收益和回撤同时放大。论文理论上关心 pseudo-arbitrage，但 empirical outperformance 的增益来源不清，可能主要来自 scaling / data path，而不是一个稳健 alpha 机制。
辅助性部分包括 CWP 做空失败、SEWP 显式阈值、SEP 渐近解释。CWP 失败说明静态短仓会违反 MCM，这个判断合理但不是主贡献；SEWP 阈值提供了一个漂亮的 closed form；SEP 的 lobe 分析更偏启发式，核心仍是 zero set 位置，而不是熵函数本身的特殊金融含义。
Relation To Prior Work
这篇最接近 Pal and Wong 的离散时间 relative arbitrage geometry，以及 Wong 的 long-short 信息几何框架。它不是另起炉灶，而是把 Pal–Wong 的 MCM / concave generation / L-divergence 机器从 global simplex 改造成 local state space 版本。
与 Fernholz / Karatzas–Ruf 的 additive / Lyapunov functional generation 相比，本文更强调离散时间下 multiplicative generation 的 admissibility 与几何延拓条件，而不是连续时间 drift 或 semimartingale 条件。与传统 long-only SPT 相比，本质新增信息是：long-only 约束等价于某种全局非负凹延拓可行性；做空等价于这种延拓的失败。
看似新的 barycentric scaling，其实是把经典生成函数通过 affine contraction 重新放置到 simplex 内部，属于已有函数生成思想的几何重参数化。但它的价值在于把“局部零边界”做成一个可调、可解释的构造工具，而不是 ad hoc 设计负权重。
实质创新主要有两点：第一，bankruptcy-proof admissible setting 下 pseudo-arbitrage 的局部凹性刻画；第二，最大凹延拓负性与 short selling 的充要关系。后者是本文最有辨识度的理论贡献。
Dataset / Evaluation
实证使用 CRSP 日频美股数据，构造两个三股票子市场，比较 SEWP / SEP 与未收缩的 EWP / EP。评估更像理论机制的可视化：市场轨迹靠近 edge 时 SEWP 更容易短仓，靠近 vertex 时 SEP 才显著短仓；λ 改变会调节短仓强度与相对财富波动。
这组 evaluation 能支持的 claim 很有限：它确实展示了 zero-boundary geometry 会映射到不同短仓区域，也展示了 scaling parameter 控制 leverage / drawdown。但它不能证明策略在真实多资产市场中稳健优于 long-only，也不能证明 pseudo-arbitrage 机制在交易成本、借券约束、融资费率下可实现。
明显 limitation 是样本选择很窄，只是三股票 toy-like 子市场；λ 和 ε 的选择依赖已实现路径，存在明显 ex post tuning 风险；没有系统跨市场、跨维度、跨时期、含成本评估。论文的 empirical section 不应被读成 performance evidence，而应被读成 geometric sanity check。
Limitation
1. 市场状态空间 K 是核心前提，也是最大脆弱点。bankruptcy-proof 的可行性依赖 q/p 有界；如果市场能接近 simplex 边界，Proposition 2.3 直接说明 admissible long-short 退化为 long-only。现实中 K 的确定不是免费信息。
2. λ/ε calibration 把问题转移了。理论上 λ 控制生成域，ε 控制市场域；实证中 ε 从 realized path 估计，λ 选择接近 ε 以触发短仓。这很容易把“策略设计”变成“根据历史轨迹选择杠杆强度”。文中未充分说明如何 ex ante 选择这些参数。
3. pseudo-arbitrage 不是可交易套利。定义只要求路径级 bounded downside 和某条路径上 unbounded upside，不包含交易成本、保证金、借券成本、流动性冲击、离散再平衡摩擦。short selling 的 admissibility 在数学上由内积正性保证，但真实部署中还需要风险约束。
4. 收益归因不清。SEWP 的高相对收益伴随更大 drawdown，可能主要来自 scaling / leverage，而不是更优的几何信息提取。SEP 的保守性也可能只是 zero set 更小导致短仓触发更少。
5. SEP 的理论刻画弱于 SEWP。它给出阈值存在性和渐近 lobe 直觉，但缺少精确短仓边界。对于一般生成函数，zero set 到权重区域的映射仍然主要是定性结论。
6. 高维 scalability 未真正验证。SEWP 的 ε* 随 n 变小，意味着固定 λ 下保证 long-only 的核心区域会缩小；高维中边界几何和短仓暴露可能更难控制。文中没有系统分析高维组合的风险规模。
Takeaway
- 1. long-only 在离散时间 SPT 中不是函数生成的本质限制，而是全局非负凹延拓的副产品；把定义域局部化会自然释放 admissible short selling。
- 2. short selling 最干净的几何判据不是权重公式，而是最大凹延拓是否取负。
- 这是一个可迁移 insight：约束组合符号可以通过研究势函数的可延拓性来理解。
- 3. 生成函数边界零集决定短仓几何。
一句话总结
这篇论文把离散时间 SPT 的 relative arbitrage 几何从全局 long-only simplex 推广到局部 bankruptcy-proof long-short 域，并用“最大凹延拓取负”给出了 short selling 的本质几何判据。