WSIG–EBOC 时空/时间/空间统一理论
(含可核对引文)
Version: 1.45(2025-11-03,Asia/Dubai)
摘要
在 WSIG(Windowed Scattering & Information Geometry)与 EBOC(Eternal-Block Observer-Computing)框架下,本文建立一套基于窗口化散射的可操作时空理论:以相位导数—谱移密度—Wigner–Smith 群延迟三重等价为计量基元;以Kramers–Kronig 因果—解析(稳定 LTI 限定)与波动方程推迟格林函数(时域支撑,适用于 LTV)的光锥支撑,给出以前沿光学度量计的上界:因果前沿不超 ;并当且仅当满足前沿可检(§5)时取等号。以门限互信息的首次可检时间确立信息光锥上界:在真空或静态介质(LTI)下, 且当且仅当满足前沿可检(§5)时取等号 ;其中 (链路归一,)或 (系统归一,)。LTV 仅得 。据此给出时间与空间的操作性定义,并把时空刻画为四元组 :其中 由光锥支撑诱导, 为(含介质的)光学洛伦兹度量, 为由 de Branges 核对角给出的相位密度测度。核心定理证明“相位斜率 = 群延迟 = 谱移密度 = SI 实现“四等价,并在 Nyquist–Poisson–Euler–Maclaurin(NPE) 误差账本下给出非渐近可检上界。理论兼容**可逆元胞自动机(RCA)**之 CHL 定理的离散光锥,并与采样/插值/帧的密度阈值(Landau、Wexler–Raz、Balian–Low)建立同构。
0. 记号与预备
-
散射矩阵 。Wigner–Smith 延迟矩阵定义为 ,其迹 的量纲为 ;物理群延迟取 ,量纲为时间。该定义可追溯至 Smith 对“寿命矩阵“的刻画。标准文献将 Wigner–Smith 延迟定义为“相位对能量的导数“并与 对应, 具时间量纲。(物理评论链接管理器)
-
Birman–Kreĭn(BK)公式:若 ,则 。(arXiv)
-
KK—因果(LTI 限定):在稳定 LTI系统(脉冲响应 )上,严格因果 频响在上半平面解析;并且在 、 多项式增长受控、无上半平面极点等附加条件下,实部与虚部满足 Kramers–Kronig 色散,且可反推严格因果(解析 因果)。LTV/非平稳情形不适用该频域等价,本文仅采用 的时域支撑性表述(见 §5)。(物理评论链接管理器)
-
推迟格林函数:在三维真空无界域,标量波动方程 的解为 ,支撑恰在 ;Maxwell 的时域 dyadic 核由该标量核经张量—微分算子得到(含 及其导数),支撑同样仅在光锥上。在有界域/介质/色散下,一般会出现先驱/尾场,详见 §0 的“前沿分解(定义)“。(维基百科)
-
光学度量(Gordon):前沿时间满足 其中 由高频极限折射率 的 3D 费马度量定义。且当且仅当满足前沿可检(§5)时,取等号 ;3D 真空纯传播为其特例。许多被动介质在高频满足“真空化“ (故 ),于是 ;此时实验坐标下仅能无条件断言 ,并仅在上述等号条件成立时才恢复“前沿速度 ”。(群速与 可异——Sommerfeld–Brillouin 先驱)现代综述与推广见 Leonhardt–Philbin 及后续工作。(arXiv)
-
快/慢光与信息速度:实验与信息论定义表明可检测信息速度不超 。(PubMed)
-
NPE 误差账本:Nyquist 采样定理与别名条件(Shannon/Nyquist);Poisson 求和公式(NIST DLMF §1.8(iv));Euler–Maclaurin 有界余项(DLMF §2.10)。(webusers.imj-prg.fr)
-
de Branges 核对角:对 Hermite–Biehler 函数 的空间 ,有 ,其中 为相位函数。**(记号统一)**本文以 表示能量(亦作实频变量);在 de Branges 章节用 表示同一实轴变量并与 等同,记作 。因此 ,并与 §2 中 的归一规范 一致。
-
Weyl–Heisenberg 表示与唯一性:Stone–von Neumann 定理与相干/时频框架之基础可参见 Folland。(PagePlace)
-
窗化卷积与平均记号:取能量窗 与单位积分核 。归一规范 定义卷积与窗化平均 在真空纯延迟链路 下,由 与上式归一规范,得 (见 §4)。(符号说明)本文以 表示单位积分核(用于窗化读数),以 表示系统脉冲响应(LTI 滤波器), 为其起始时延。
-
分布与广义函数记号: 为 Dirac 分布; 为 Heaviside 阶跃函数,、(取 不影响本文结果)。
-
前沿分解(定义):在真空或静态介质(LTI)并满足前沿假设(F)下,推迟格林函数在分布意义上可写成 其中 , 为前沿奇性的幅度系数, 为尾项核(局部可积)。据此称“前沿可检(在分布层面)“当且仅当存在某 使 ;Maxwell 情形允许 。
-
散射背景与能量表象:设 为希尔伯特空间, 为其上自伴算子(自由/全哈密顿量)。假设波算子 存在且完备,则散射算子 在能量表象纤维化为 。Wigner–Smith 延迟矩阵定义为 ,与正文 §0 的记号一致。
-
迹记号:本文统一用 表示有限维矩阵迹(如 ), 保留给希尔伯特空间上的迹类算子(如 §6 的 )。
1. 公理(WSIG–EBOC 时空)
令
层级说明:本文称 为时空四元组(本体层),而 为实现资料(实现层,用以给出窗化散射读数与证明链),两者不可混淆。
称 为WSIG–EBOC 时空,若:
(A1) 事件与因果序: 为事件集;若波动方程的 在对 上具有非零支撑(即 ),则置 。离散系统取 RCA 邻域传播界(见 §9)。(维基百科)
(A2) 表象与可观测性: 为希尔伯特空间; 为 Weyl–Heisenberg 射影酉表示,支持窗化读数。(PagePlace)
(A3) 相位—密度—延迟字典:存在窗 使 的窗化读数成立。(arXiv)
(A4) 因果—解析一致:在稳定 LTI情形,严格因果 频响在上半平面解析;并且在 、 多项式增长受控、无上半平面极点等附加条件下,实部与虚部满足 Kramers–Kronig 色散,且可反推严格因果(解析 因果)。LTV/非平稳情形不使用该频域等价,仅采用 的时域支撑表述(见 §5)。在时不变/静态介质下,仅断言 当且仅当满足前沿可检(§5)时,可取等号 ;3D 真空纯传播为其特例。若与严格因果 LTI 滤波器(脉冲响应 ,起始时延 )串联,则 且仅当满足前沿可检(§5)且前沿处无系统性抵消时,方有 (物理评论链接管理器)
(A5) 前沿—信息一致:在真空或静态介质(LTI)下,门限互信息的首次可检时间 满足 其中 为所用归一化的前沿光程。并且当且仅当满足前沿可检时取等 ;此处**“前沿可检”指:按§0 的前沿分解 ,存在某 使 ,或测链含Dirac直通分量**(脉冲响应含 ),或存在 与单位能量短脉冲 使 。(i) 链路归一化():。(ii) 系统归一化():。(LTV 补充):对时变系统,仅断言 (由 的时域支撑定义)。(维基百科)
(A6) 采样—误差闭合:读数误差按 NPE 三分解给出非渐近上界。(webusers.imj-prg.fr)
(A7) SI 对齐: 取 SI 固定值;“以延迟计长“与“以时定长“互逆实现(§4、§12)。
(A8) 相位密度几何:de Branges 核对角 诱导 作为窗化刻度。
2. 操作性定义:时间与空间
定义 2.1(时间) 取窗 与单位积分核 。对链路散射 ,定义窗口化群延迟读数 其中 , 与 及 等价。(物理评论链接管理器)
归一规范:约定 ,且 (单位积分核),据此在真空纯延迟链路上有 。验证:在 下有 常数,代入上式并用上述归一条件立得 ;与定理 4.1 保持一致。
在真空长度 的链路上,定义的时间坐标差满足 。
定义 2.2(空间) 真空中以雷达距定义空间距离:。
在介质/不均匀/有界域中,取高频极限折射率 。定义 3D 费马(光学)度量 并据此定义前沿光程 则最早可达时间满足 **当且仅当满足前沿可检(§5)时,取等号。**在各向同性且 时,。上述与 4D Gordon 光学度量的零测地线描述在高频极限下等价,但用于计时以 3D 光程表述更为直接。(arXiv)
群折射率:对各向同性被动介质,定义 其中 为群速度。于是群时间 ,相位时间 。一般地不保证 或 与 的大小关系(在异常色散与增益/损耗情况下可出现 或 )。普适且与因果一致的仅是 并且仅当满足前沿可检(§5)时,才有 。其中 为任意可检信息的首次到达时间(见 §5)。
往返时间: 若链路与读数协议互易(双向对称),则 。
前沿假设(F):介质为被动线性、各向同性,且高频折射率存在有限极限 据此定义前沿光学度量 与前沿光程 。若只能给出 的上下界函数 ,则对应的前沿光程满足 。一般地仅能无条件断言 而 仅在附加条件下成立: 仅当满足前沿可检(§5)时成立;若与严格因果 LTI 滤波器串联且起始时延 有上界,则 并且仅当满足前沿可检(§5)且前沿处无系统性抵消时,方有 。 本稿其他处对“等号何时成立“的口径与 §5 保持一致。仅当被动因果介质满足高频真空化(典型模型下 )时,实验坐标中才恢复 与“波前速度 “;一般介质则保持 的陈述。
定义 2.3(同时切片) 选参考世界线与往返协议,令 ,其三维度量由雷达距或 诱导。
3. 时空的结构化定义
定义 3.1(WSIG–EBOC 时空) 若存在窗化散射读数使:
(1) 度量—读数一致:真空链路 上 ;介质前沿光程与前沿一致,即 为 3D 费马(光学)度量 的测地光程极小值;
(2) 三重字典:;
(3) NPE 可检:误差别名/Poisson/EM 余项有全局上界;
(4) 信息—因果一致(真空或静态介质〔LTI〕):首次可检互信息时间 满足 且仅当满足前沿可检(见 A5、§5)时取等 。(串联滤波补充):若测链含严格因果 LTI 滤波器且起始时延 ,则以上 全部替换为 。(LTV 补充):对时变系统,仅断言 (由 的时域支撑定义)。
则四元组 为一时空。(arXiv)
4. 主等价定理(相位—延迟—谱移—SI)
定理 4.1(四等价) 设真空链路 的散射 。则 且在 Nyquist 带宽极限下所得 与窗/核无关,并与 SI 数值一致。
证明:
假设(单模纯延迟链路):取单通道 。窗 、核 满足归一规范
引理 1(对数导数 = Wigner–Smith):对可微酉矩阵(此处为标量),有 其中 。在标量 下,(常数)。
引理 2(Birman–Kreĭn):若 ,则 据此在 下得 。
主证明:定义窗化读数 因 为常数,卷积与积分交换并用两条归一,得 再结合引理 1–2,于被积函数恒定之事实,立得
误差闭合说明(NPE):Nyquist/Poisson/Euler–Maclaurin 三项在“常数被积“情形下分别为 0:别名项为 0,Poisson 周期化项为 0,EM 余项因高阶导数为 0 而为 0。故极限与窗/核无关,且与 SI 数值一致。
5. 因果前沿与信息光锥
定理 5.1(因果前沿不超 ;等号条件) 线性且严格因果、时不变(静态介质)信道的最早非零响应时间满足 且在3D真空自由空间纯传播时 ;对一般介质/有界域,若满足前沿可检(§5),亦有 ;若与严格因果LTI滤波器串联,则 (等号需前沿可检且无抵消)。
(LTV 备注):对线性时变系统,仅以 的时域支撑表述前沿;本文不以静态 代表时变介质的前沿。
证明:设系统线性且严格因果、时不变(静态介质)。由因果性, 令源信号 支持于 ,则
真空、均匀、无耗 3D 标量波动方程: 支撑仅在 ,故对链路长度 有 。Maxwell 情形由 dyadic 核对上式施以张量—微分算子(含 及其导数),支撑同样仅在光锥上,结论不变。
一般介质/不均匀/有界域(以下确界口径):在前沿假设(F)下, 存在且有限,由高频几何光学的前沿传播界得 因此当 时响应为零。若满足前沿可检(§5),则在 处存在分布型非零响应(前沿奇性 或Dirac直通分量),从而 否则仅能断言 且通常严格大于。若与严格因果 LTI 滤波器串联且起始时延 ,则 并且仅当满足前沿可检(§5)且前沿处无系统性抵消时,方可取等号。
因此在真空情形下,当 时,对任意 ,有 ,从而 。取单位能量短脉冲族 ( 为近似恒等核),则 从而 ,最早非零响应仍在 。该论证与“可检读数“口径一致。
(LTI 情形):在稳定 LTI 系统中,严格因果 频响在上半平面解析;而“解析 严格因果“仅在附加条件(如 、 多项式增长受控且上半平面无极点等)下成立。在纯延迟链路 或串联严格因果滤波器且具有Dirac直通分量(即脉冲响应含 分量)时,最小支撑端点为 。对一般 LTI 系统(脉冲响应 ),最早非零响应时间由其支撑给出 其中 为系统起始时延。
(LTV 情形):上述频域等价一般不成立,应直接以 的支撑性质陈述和证明前沿。
定理 5.2(信息光锥;上界与等号条件) 在真空或静态介质(LTI)下,门限互信息的首次可检时间 满足 其中 为所用归一化的前沿光程。且当且仅当满足前沿可检时取等 。
(i) 链路归一化():;若满足前沿可检(定义同 A5),则 。
(ii) 系统归一化(串联严格因果 LTI,):;若满足前沿可检,则 。
(LTV 补充):对线性时变系统,仅断言 。
证明:设输入过程 支持于 ,噪声 与 独立,接收端观测 注:真空/线性时不变(LTI)情形下 ,可写为 。
(1) 零互信息(前沿之前):对情形 (i),若在真空 (或在介质/不均匀/有界域 ),则 ,故 。对情形 (ii),前沿改为 。
(2) 前沿之后(情形 i 的完整证明;情形 ii 仅需替换 ):
若满足前沿可检(情形 i)或系统含串联滤波(情形 ii),则对任意小 ,令 取标量试探 ( 为单位能量的短时脉冲),有 真空情形(情形 i):取连续且 的单位能量短脉冲,则 。介质情形(情形 i):若存在前沿奇性(§0, 中某 ),则与真空同理可取 直接得 。否则按 §1(A5)/§5 的前沿可检(短脉冲极限)定义,存在 与单位能量短脉冲 使 故对任意 ,可取 使 ,从而 (情形 (ii) 仅以 代换)。串联滤波情形(情形 ii):系统响应在 可检。
引入等概符号 ,设 ,则 。令 ,记 ,取 。由 I–MMSE 小 SNR 斜率得 因 为 的可测函数,故 。给定任意小 ,取 使得 (仍处于小 SNR 区间),于是 因而 。并且当 时有 ,与“小信号极限“假设一致。因此 ,由是情形 (i) 给出 ,情形 (ii) 同样给出 。
注:情形 (ii) 的证明与情形 (i) 完全相同,仅需把 替换为 ,从而消除 §5.1 中 与信息光锥速度的矛盾。
6. 相位密度几何与迹公式
命题 6.1 在 de Branges 空间 上,几乎处处 。因此相位密度 给出自然测度。令再生核正交投影 ,并取 。若 且 (或以 之单调截断极限理解),则 为迹类,并且 这里的积分变量 与 §2 的能量变量一致。该恒等式为“相位—密度—延迟“在 RKHS 的实现。
证明:设 为 Hermite–Biehler 函数,。de Branges 空间 的再生核为 取 ,用洛必达法则并记 得 于是对角密度 自然诱导测度 ,并由再生性质给出窗口迹公式。
7. 采样/插值/帧:密度阈值与障碍
- Landau 必要密度(Paley–Wiener 特例):采样/插值序必须满足端密度阈值。(Project Euclid)
- Wexler–Raz 双正交关系:刻画 Gabor 框架的对偶窗—格参数关系及其推广。(sites.math.duke.edu)
- Balian–Low 障碍:临界密度下单窗无法同时时—频紧局域;可作框架/多窗规避。(Scispace)
8. NPE 误差账本(非渐近上界)
误差分解与尾项定义:约定时间读数的非理想项分解为 (别名/欠采样)、(Euler–Maclaurin 有限阶余项)与 (窗/核的有限支持或非紧支撑尾项)。取 使 的主要支撑包含于 。定义 若 、,并且记 ,且 ,则 在真空纯延迟链路中,因 为常数,别名项与 Euler–Maclaurin 余项为 0;而尾项 仅在 紧支撑且 覆盖其支撑(或取极限 / 选取 )时为 0;对一般窗口仅能用上界将其做任意小。因此在全频积分下仍有 ,与 §4 的精确等式一致。
- Nyquist(别名):若 带限于 ,则别名为 0;否则可用频谱抽样上界量化。(webusers.imj-prg.fr)
- Poisson 求和:把离散采样与周期化严格联结,用于评估别名项。(dlmf.nist.gov)
- Euler–Maclaurin(有限阶):余项满足 给出端点/尾项的可检上界。(dlmf.nist.gov)
(真空纯延迟校准链路):综上,时间读数满足 三误差在规程内可控并收敛。
9. 离散时空与 CHL 光锥
设格点间距为 、离散时间步长为 。半径 的 RCA 在 步的影响域为 ,等效“离散光锥“,其离散“光速“定义为 Curtis–Hedlund–Lyndon 定理刻画了“连续且与移位可换 滑动块码“,并保证可逆性时逆演化亦为 CA,从而实现可逆因果传播。(SpringerLink)
10. 与相对论/场论的相容性
- 洛伦兹协变: 的光锥支撑等价于 Minkowski 光锥。(维基百科)
- 微因果/无超信号性:快/慢光体系中“信息速度 “与量子场的类空对易一致。(PubMed)
- 介质几何:Gordon 光学度量把折射/流速吸收入度量,因而在前沿光学度量中按定义始终有“前沿 “。实验坐标下仅能保证 ;且仅当满足前沿可检(§5)(含 前沿或Dirac直通,或短脉冲极限可检)时,方可恢复“前沿 ”。若并且 ,则 (此时是否取等仍取决于前述条件)。(arXiv)
11. 结论性定义(汇总)
- 时间:在给定窗—核与读数协议下,时间是窗口化群延迟坐标,即 。
- 空间:通过等时往返读数选定的同时切片 及其三维度量。真空中由雷达距定义;介质情形以前沿光学度量诱导的 3D 费马度量 的测地光程极小值定义 (高频极限 决定),最早可达时间满足 ;仅当满足前沿可检(§5)时,方有 。在前沿光学度量下波前速度按定义为 ;实验坐标下:若 ,则 且无条件仅得 ;仅在满足前沿可检(§5)(或外接严格因果 LTI 滤波器使 时改以 计)下,方可恢复“前沿速度 “的结论。
- 时空:四元组 ,其中 来自 光锥支撑, 为(光学)洛伦兹度量, 为相位密度刻度;在 NPE 账本下可检、可校准,并与 SI 互逆实现。
12. 实施规程(简述)
- 选几何已知的真空链路 ;2) 宽带激励,测得 ;3) 检验 Nyquist(带限/反混叠)、估计 Poisson/EM 余项;4) 取 ,与频率链/干涉计长度链交叉校准闭环。(webusers.imj-prg.fr)
13. 证明脉络与外部索引
- 与 BK 恒等式:(arXiv)
- KK—因果等价(稳定 LTI 限定)与前沿光锥:(物理评论链接管理器)
- 信息光锥与门限互信息:(PubMed)
- NPE 三分解的非渐近上界:(webusers.imj-prg.fr)
- de Branges 核对角与相位密度:标准 de Branges 空间理论
- Weyl–Heisenberg/Stone–von Neumann:(PagePlace)
- CHL 定理与离散光锥:(SpringerLink)
参考文献(书目信息,按主题)
散射与群延迟:F. T. Smith, “Lifetime Matrix in Collision Theory,” Phys. Rev. 118 (1960) 349–356;A. Pushnitski, “The Birman–Krein formula…” (2010, arXiv:1006.0639);M. S. Birman & D. R. Yafaev, “The spectral shift function…” Alg. Anal. 4 (1992) 1–20.
因果—色散—前沿:J. S. Toll, “Causality and the Dispersion Relation,” Phys. Rev. 104 (1956) 1760–1770;L. Brillouin, Wave Propagation and Group Velocity, Academic Press (1960)。
光学度量:W. Gordon, “Zur Lichtfortpflanzung nach der Relativitätstheorie,” Ann. Phys. 377 (1923) 421–456;U. Leonhardt & T. G. Philbin, “General Relativity in Electrical Engineering” (2006)。
信息速度:M. D. Stenner, D. J. Gauthier, M. A. Neifeld, “The speed of information in a ‘fast-light’ optical medium,” Nature 425 (2003) 695–698;A. H. Dorrah, M. Mojahedi, Phys. Rev. A 90 (2014) 033822。
采样—Poisson—EM:C. E. Shannon, “Communication in the Presence of Noise,” Proc. IRE 37 (1949);H. Nyquist, “Certain Topics in Telegraph Transmission Theory,” (1928);NIST DLMF §1.8(Poisson)、§2.10(Euler–Maclaurin)。
de Branges 空间:L. de Branges, Hilbert Spaces of Entire Functions, 1968;J. Antezana, J. Marzo, J.-F. Olsen, “Zeros of random functions generated with de Branges kernels,” IMRN (2017)。
Gabor/帧/密度:H. J. Landau, “Necessary density conditions…,” Acta Math. 117 (1967) 37–52;I. Daubechies 等, “Gabor Time-Frequency Lattices and the Wexler–Raz Identity,” JFAA 1 (1995);C. Heil, A Basis Theory Primer, Birkhäuser (2011)。
Weyl–Heisenberg 与唯一性:G. B. Folland, Harmonic Analysis in Phase Space, Princeton (1989)。
RCA 与 CHL:G. A. Hedlund, “Endomorphisms and automorphisms of the shift dynamical system,” Math. Systems Theory 3 (1969) 320–375。
结语(定理)
定理(统一刻度定理):以窗口化群延迟的 Nyquist 极限定义的 在真空链路上唯一确定,且与
(A) 相位斜率/谱移密度、(B) 因果前沿(KK & 光锥)、(C) 信息光锥(门限互信息)、(D) SI 实现
两两等价。因此:时间即窗化群延迟坐标;空间即等时往返切片及其度量;时空即因果序 +(光学)度量 + 相位密度测度的可测结构。上述等价与可检性由 §4–§8 之证明与文献支撑。
证明:设真空链路 。由定理 4.1,窗化群延迟读数给出 。由定理 5.1,最早非零响应时间 ,故“相位斜率/群延迟“与“因果前沿“一致。由定理 5.2,真空链路因 含前沿奇性( 分布)而满足前沿可检条件,故门限互信息的首次可检时间 (),于是“信息光锥“与前沿一致。SI 中 为固定常数,长度—时间互逆实现(§2、§12 的往返/雷达规程)即给出 与频率链/干涉计长度链的闭环一致性。因此四者(A)相位斜率/谱移密度,(B)因果前沿,(C)信息光锥,(D)SI 实现,两两等价。