QT08 · EXP-QT08-STOP-01
已知前缀下的停止平均
有限公平 ±1 随机游走,八步 256 条路径完全穷举。下方无限首次反面模型另有自己的概率空间。
无限首次反面反例的有限截断
这里的 N 只是截断层数;它不是上方八步空间中的额外路径。
静态等价:无需脚本也可复算
4. 在信息分组内复算,而不只看总均值
取八次独立公平的 增量,,每条完整路径概率为 。取由前 次增量生成的自然滤过 。以 U 表示 ,D 表示 。令 为首次到达 、最晚在 3 停止;令 为首次到达 、最晚在 8 停止。若达到 ,此前必已经过 ;否则截断规则也保证 。
停止后当前信息不是 256 个完整结果,而是下列五个前缀。对每组只平均仍可能发生的未来路径:
| 停止时已知前缀 | 完整路径数 | 组内 平均 | ||
|---|---|---|---|---|
| U | 1 | 128 | 1 | |
| DDD | 3 | 32 | -3 | |
| DDU | 3 | 32 | -1 | |
| DUD | 3 | 32 | -1 | |
| DUU | 3 | 32 | 1 |
例如观察到 DDD 时,已经知道 。继续按 的规则运行,这个组内 的平均仍是 ,不是总体平均零。条件定理比“256 条路径总平均为零”多保留了这一层信息。
实验可以选择一条完整路径,再回到它在 时所属的分组。随后切换“事后最高点”作对照:八步路径最大值的平均为 。不是停止定理被打破,而是规则不再只使用当时信息。
5. 真的最终会停止,也未必能交换极限与期望
现在另开一个无限公平抛币空间,不再使用刚才的 256 条路径。令
并令 为首次反面出现的次数。在尚未出现反面时,下一步以各 的概率加倍或归零;已归零后保持零。因此 是非负可积鞅,且 。
这里 ,所以 ,而
但一旦反面出现,。对于每个确定 ,却有
有限截断一直符合定理;逐路径极限也确实为零。失效的是从逐路径极限跳到期望极限。
一族可积变量 一致可积,是指
对这里的停止族,任给 ,选 ,尾部期望仍等于 。少数幸存路径的数值越来越大,恰好抵消其概率越来越小;尾部没有一致消失。MIT 给出一致可积鞅的无限停时延伸,我们在这里只用该定义精确诊断反例,不把 单独当作延伸定理。
QT18 · EXP-STATE-01 / 2026-09-21-v1
复制与不同的状态权重
同一冻结教学市场的两个分支。现金账户单位不是现金金额;所有数值为抽象一期,不年化。
只改变研究概率;保持已有价格和支付。可输入分数,如 3/5。
端点用于反例,不属于等价鞅测度。三状态 P 没有指定数值。
这里仅使用冻结初价 c=6;任意目标支付的复制在 QT18-P2 视图完成。
静态等价:无需脚本也可复算
2. 二状态:先复制,再谈概率
状态顺序为上涨、下跌。给定股票初价 ,终值与现金账户如下;看涨式支付的行权价为 。
| 时点或状态 | 现金账户每单位 | 股票每单位 | 看涨式支付 |
|---|---|---|---|
| 初始 | 待由复制确定价格 | ||
| 上涨 | |||
| 下跌 |
令 。把状态放在行、资产放在列:
两行相减消去现金,得到 ;再代回下跌状态,得终端现金金额 ,因而 。初始成本为 。
| 项目 | 时点0 | 上涨终值 | 下跌终值 |
|---|---|---|---|
| 现金金额 | |||
| 股票金额 | |||
| 合计 |
这套持仓在两种状态都支付 。若同一支付可以买卖,报价 高于复制成本,就卖出支付、买入复制组合,并把差额存入现金账户。总初始成本为零,到期两项支付相消,留下确定正的现金增长额;报价更低时反向操作。因此在本模型里,可复制支付的无套利价格不能偏离复制成本。
这不是因为我们已知道上涨概率,而是因为逐状态结果完全相同。
3. 概率、状态价格与定价核
称满足
的向量 为一组与当前已交易资产价格相容的正状态价格。可以把 读作这套线性定价规则给“只在状态 支付一美元”的数字支付赋予的初始价值;但若市场不完备,这些数字支付未必已在市场中交易,也未必可复制,因此 可能不唯一,不能把某一分量冒充已观察到的唯一市场报价。这里 是已交易资产的初始价格向量。
若这样的 存在,对任意零成本持仓 都有 ;而一个逐状态非负、至少一处严格正的终值,其严格正加权和不可能为零。这已经证明了该一期市场没有套利。反方向由有限期第一基本定理给出。
现金账户那一列满足 ,所以 ,不是 1。将它归一化,定义 ,得到
这等价于 ;贴现价格在 下为鞅。因为 ,它与全支持的 有相同的零概率事件,故称等价鞅测度。
二状态中联立概率总和与股票定价约束,算得 ,。再取教学概率 ,就能把这些对象放在同一张表里:
| 对象 | 上涨 | 下跌 | 归一化检查 |
|---|---|---|---|
| 研究概率 | 分量和为1 | ||
| 定价概率 | 分量和为1 | ||
| 状态价格 | 分量和为 | ||
| 密度 | |||
| 定价核 |
其中密度 满足 ;定价核 满足 。对可复制支付,三个价格写法完全一致:
本例 ,。直接算 ,并不会得到复制成本 。研究概率在回答支付平均有多大;定价核则按资产价格约束改变了状态权重。
把界面中的 切到 ,先预测哪些列会变,再计算:、 和复制成本不变,密度与定价核改变。这个观察依赖支付矩阵与市场价格固定,不是说现实概率的变化永远不影响真实市场价格。
4. 三状态:缺少一列资产,留下一个自由度
接下来保留现金账户和股票初价,将终端股票改成三个状态,顺序为下跌、中间、上涨。此分支的看涨式支付行权价是 ,不同于二状态分支;只要求现实概率全支持,不另指定数值。
| 状态 | 现金账户终值 | 股票终值 | 新增支付终值 |
|---|---|---|---|
| 下跌 | |||
| 中间 | |||
| 上涨 |
现金和股票只有两列,其支付矩阵秩为 2。可复制支付一定形如 ,即三个点落在同一直线上。给定 并非如此:前两个状态支付都为零迫使 ,便不可能在第三个状态支付 。
从 与 出发,令 ,解得
三个分量都必须严格正,所以 。原市场因此存在一族 EMM,不能单凭它给每个非复制支付一个唯一价格。
现在明确改变的是交易集合:允许将支付 以初价 自由买卖,同时保留原现金和股票价格。该新增资产要求
| 新增支付的相容初价 | ||
|---|---|---|
区间内的每个 对应严格正的状态价格,故不存在套利。为什么不能把端点一起收入区间?下面给出实际持仓;列顺序为现金账户单位、股票单位、新支付单位。
| 新增支付初价 | 持仓 | 初始成本 | 三状态终值 |
|---|---|---|---|
两组初始成本都为零,终值非负,并在一个正 概率的状态上严格正。这不是数值容差问题。低于下端时,第一组持仓的初始成本更低,可把收到的差额存入现金账户;高于上端时对第二组同理。于是区间外也有套利,开放区间的每一部分都得到解释。
5. 以一个价格补全市场,不等于选中了“真实概率”
让新增支付的成交初价固定为 。增广矩阵为
它的行列式为 ,秩为 3。因此每个三状态支付都能解出持仓。新资产价格同时把自由参数固定,得到
这叫完备:任意终端可测支付都可复制。它不要求未来只有一个可能结果,也不把 解释成已估计出的现实概率。一般有限期下“无套利当且仅当存在 EMM”见 第一基本定理证明;在已经无套利的市场中,“完备当且仅当 EMM 唯一”见 第二基本定理证明。后者还会实际构造三个数字支付的持仓。
QT18-P1 · EXP-STATE-01 的现金与增益视图
用现金把持仓补成自融资策略
不另建市场。二状态价格与现金增长沿唯一冻结输入;h 必须是起点已经选定的同一个数。
静态等价:无需脚本也可复算
6. 在冻结一期市场里看见证明中的空间
回到同一 EXP-STATE-01 二状态市场。持有一单位股票并用现金账户借款,使初值为零;贴现增益的基向量为
可选常数风险持仓 ,增益就是 。每个非零 都让两个分量一正一负,所以 不会进入非零非负象限。上面构造出的定价权重在此就是 ,它满足 。
| 量 | 精确结果 |
|---|---|
| 风险持仓 | |
| 现金账户单位 | |
| 初始财富 | |
| 终端现金金额 | |
| 两状态财富 | |
| 两状态贴现增益 | |
| 下增益均值 |
这个视图允许改变持仓和初始财富,而不改变市场价格或状态。先看现金账户单位怎样随持仓改变,再看贴现增益恒等式。改变候选 也会显示:概率总和为 1 并不够,还必须使 。
这一期视图只解释现金、增益和权重。一般有限期的闭性、最近点、严格正性及所有指标持仓的证明保留在完整正文中。
QT18-P2 · EXP-STATE-01 的复制与扰动视图
将每个状态的目标支付做出来
本部分使用新增看涨式资产已按 c=6 交易的完整市场。目标支付可正可负;变化的是练习目标,不是市场参数。
回到尚未加入支付的旧市场:扰动另一组 Q
这次只交易现金与股票。安全幅度按正文公式计算;不能把这族权重搬进已经固定 c=6 的增广市场。
静态等价:无需脚本也可复算
4. 不完备留下的方向,怎样生成另一概率
另一方向用逆否命题。若市场不完备,第 2 节给 。有限维线性代数因此提供非零向量 。由于 且 ,
第一基本定理给出一个全支持 EMM 。选
右侧最小值严格正,因为只有有限多个状态且所有 。对 ,有 ;对 ,。而 保证 。因此 是另一全支持概率,且因 确实不同于 。
还必须检查它仍是 EMM。对每个零成本增益 ,
固定一期、一个资产和一个当期之前可知的事件,采用 QT18-P1 已构造的指标风险持仓并补足现金,就得到
故各贴现价格在 下仍是鞅。于是市场不完备便存在至少两个 EMM,逆否命题完成。
这一证明也解释了“未被资产价格约束的方向”: 与全部可复制贴现支付正交,微调概率时这些支付的价格看不出变化;只有某些不可复制支付可能看到区别。
在同一个三状态市场、未加入新资产时,可以取
由上述公式得到一个安全幅度 ,从而 。新旧两组权重都正确定价现金和股票,但对看涨式支付的价格不同。这里改变的是定价测度的选择,没有改动股票、现金或支付定义。
5. 从矩阵满秩走到真实持仓
在一期市场,把各资产终端支付组成矩阵 ,状态为行、资产为列。若 ,任意支付向量 都能求解 ;初始成本为 ,终值逐行相等。反过来,若每个状态数字支付 都可复制,所有 都在列空间内,矩阵必为满行秩。
采用 EXP-STATE-01 的三状态分支,将看涨式支付以初价 加入交易。矩阵行列式为 ,因此我们现在不仅知道能复制,而且可以逐一解出:
| 数字支付 | 持仓 | 初始成本 |
|---|---|---|
以中间状态的一美元为例,持仓在每个终端状态的三项贡献如下:
| 状态 | 现金终值 | 股票终值 | 新增资产支付 | 合计 |
|---|---|---|---|---|
| 下跌 | ||||
| 中间 | ||||
| 上涨 |
每一行加总都达到目标,初始成本为 。表里的现金列仍是 ;不能把现金账户单位 直接当作美元终值。
对任意支付 ,线性组合三种数字支付即可复制。把矩阵相邻行相减,也能直接得到
其中 是新增看涨式资产的单位数。初始价格为
先在界面选三个数字支付之一,再输入一个含正负分量的支付。它会重新求解持仓并逐状态乘回,而不是只显示“秩等于 3”。