Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

——窗化群延迟、红移与光速的公理化理论、接口纲要与非渐近误差闭合(完整版)

Version: 3.14 (Critical Revision: ℏ Factor Correction & Reviewer-Requested Enhancements)

摘要

在“宇宙 = 广义光结构(Generalized Light Structure, GLS)““观察者 = 滤镜链(windowed compression → CP 通道 → POVM → 阈值计数)”“因果 = 类光锥偏序“的双层并行框架中,建立以 为母刻度(相位导数—相对态密度—Wigner–Smith 群延迟迹)的公理化理论。核心结果:(i)以窗化群延迟读数 提供时间的操作化刻度(注意: 的带内线性读数,并非前沿时间 ;窄带/共振下可取负值;二者仅在§3.4的高频平台极限下一致),并证明其串并联可加、规范协变/相对不变(当 与能量无关或 时保持不变);在单通道()真空纯延迟 且归一化 的情形,窗化群延迟读数给出 (可用以标定 );Nyquist 条件仅保证该读数的离散实现无别名误差,两者层级不同;(ii)以谱缩放刻画红移并证明与时间的互易标度律;(iii)以真空前沿规范光速 ,给出任意物理通道的前沿下界无超锥传播;(iv)在 §4 的前提 (i)、(ii′)、(iii)、(iv) 内(LTI+Hardy 因果、局域与被动性、加强版高频真空极限)给出高频标定桥接(§3.4):任意固定形状归一窗的蓝移极限 ,从而把因果前沿 作为 可操作极限刻度;并提出因果前沿层()与操作化群延迟层()的双层并行框架,给出从 GLS 到因果流形的接口骨架;(v)在同一账本中统一波/粒二象性与双缝的窗化互补不等式 ;(vi)阐明“分辨率提升 = 宇宙膨胀(红移放大)“的严格对偶,并给出 Nyquist–Poisson–Euler–Maclaurin(NPE)有限阶误差闭合与工程化处方。理论全程采用算子—测度—函数语言(Toeplitz/Berezin 压缩 ,读数 = 对谱测度的线性泛函),在全局幺正公设下将一切时间/密度读数统一由 定义,实验性非幺正均通过幺正扩张 回推母刻度。


Notation & Axioms / Conventions

单位与常数规范

默认采用 (必要时亦可取 )。若 未取为 1,则需按 恢复光程量纲。

主变量约定与量纲互换全文以 (角频率)为主自变量。在 下, 数值相等。恢复 SI 单位时:

  • 变量,量纲为时间
  • 变量,且

量纲与读数

  • 为自变量时, 的量纲为时间,读数 直接为秒;
  • 为自变量时, 的量纲为 ,相应物理时间为 且有测度不变式

本文算例与主证明默认采用 变量,并按“傅里叶规范“统一常数因子()。

术语对齐:本文中“时间“如无特别说明,指因果时间 ; 称为窗化群延迟读数或操作化时间刻度。

Standing Assumption A (母刻度语境):本文采用有限维幺正散射矩阵的代数语境。假设在工作带内 为有限通道数)。母刻度关系 在此语境下作为等价定义成立:定义 (取主值分支),则 ;反之,由 的迹与行列式导数的关系 即得上述等式。此定义无需诉诸无限维谱移函数理论的相对可追踪等抽象假设,直接在 的李群微分几何中成立。

:若需处理无限维算子或连续谱,可采用Birman–Kreĭn谱移函数定理的完整版本(需相对可追踪等标准假设),届时上述关系升格为定理。本文聚焦可实现器件网络,故统一采用有限维语境。

卡片 I(刻度同一|全局幺正公设)

公设(全局幺正):宇宙视作封闭系统;存在以能量 为坐标的绝对连续谱区间,在本工作带内散射矩阵 幺正。根据Standing Assumption A,母刻度关系 等价于相位导数定义 ,其中 (主值分支)。 我们据此定义相位测度 :令 等价写作 此处 为实现该密度的相位函数,其符号仅随 而定。需要强调:除特殊情形外, 可取正可取负,故 一般为符号测度(signed measure),并不对应任何物理态的能谱测度。

处方(开放子系统的幺正扩张规约):任何实验性损耗/增益均视作对环境自由度的迹出;理论分析统一通过幺正扩张 处理,并以 评估全部时间/密度读数。实际读数对可访问通道 采用块迹/压缩,可验证等价式 或用 Toeplitz/Berezin 压缩 实现,仅计算可观测子空间。

扩张依赖性与规约(关键) 的幺正扩张不唯一,环境子空间的能量依赖基变换会改变可见块的读数。为保证读数的可比性与可复现性,必须采用以下两条规约之一

(A) 高频规约扩张:规定采用满足以下条件的幺正扩张类

  • 前沿因子化后的剩余部分 在高频极限下一致趋于单位矩阵:
  • 可见–环境交叉块在高频上一致趋零:

在此规约下,高频平台法(§3.4)的极限 对所有满足规约的扩张一致成立,从而 具有不变量意义。

(B) 相对量为主报工程强烈推荐):对无法保证扩张类一致性的实验,或无法验证级联兼容性(Assumption B)或规范协变拓扑项的场景,规定主报相对量 其中 为标准参考通道(如校准用纯延迟或真空链路)。相对量自动消除

  • 环境规约依赖(扩张路径的非唯一性);
  • 规范协变中的拓扑项(净绕数偏置,§3.2);
  • 级联可加性的环境旁路耦合误差(§3.2 Assumption B;若两链对同一参考均可测)。

特别适用于跨器件/跨实验对比,无需验证交叉块范数或绕数分支。 报告时需声明 的选取及其前沿时间

明确约定:下文涉及开放子系统的 绝对量时,默认已采用规约(A)或在同一扩张类内对比;跨扩张类的绝对量对比无物理意义。实验报告中建议优先使用

vs :本文不引入 。两者在幺正 时有 ,但在“子系统可见“的非幺正有效描述下,幺正扩张路径更自然地对接块迹/压缩。

警示:对开放子系统的有效散射矩阵 通常非幺正,直接代入 不可取;本文一律通过幺正扩张 与块迹/Toeplitz 压缩计算可访问时标。

卡片 II(有限阶 EM 与带限正则性)

一切离散—连续换算与窗化读数遵循 NPE 三分解

正则性前提(严格带限保证):本文的严格带限场景要求 (紧支撑、 阶连续可微, 为 Euler–Maclaurin 所用阶数),使得:

  • 为紧支撑有界乘子,
  • 同理,

在此前提下,卷积 的支撑被 截断,从而 属于 Paley–Wiener 类 )。

零心母窗 的频域支撑为 (其中 为母窗 的带宽)。平移窗 仅改变相位,支撑宽度不变。因此若采样间隔 (Nyquist–Shannon,精确等式)。

近带限回退:若仅为近带限(如高斯窗、指数衰减窗), 保留为可估上界的残差项,必须回退到附录B的NPE三分解估计;有限阶 Euler–Maclaurin(端点伯努利层与显式余项)控制; 由窗外衰减控制。

工程常用窗的适用性警示:工程常用的 Kaiser、Blackman–Harris 等窗在本文变量规范下(能量域/时间域有紧支撑)其傅里叶像通常不满足频域严格带限(存在旁瓣衰减),属于近带限场景。此类窗应按附录B的NPE三分解估计误差),而非套用严格带限的精确等式

误差尺度提示:在近带限常用窗核下,误差主尺度通常受最靠近实轴的奇性控制(参见附录B的上界模板)。此提示为经验性指导,非无条件定理。(维基百科)

记号约定

约定 ,其中 ,星号表示对能量变量的卷积。

零心母窗约定:窗族采用零心母窗 以原点为中心),其中 为偶函数且 为 Euler–Maclaurin 所用阶数)。需要平移时显式标注:如 表示窗心位于 的窗函数。核 亦取 ,具体归一方式在上下文另行说明。

记号澄清:采用零心母窗避免“二次平移“歧义。例如,§3.4的平移窗族定义为 ,其中 不含预设平移, 为扫描中心频率。

傅里叶规范: , 。在此规范下,Nyquist 条件 与附录 B 的 Poisson 公式中 因子与相位约定一致。

:多通道散射矩阵, 窗—核:零心母窗 ,前端核 压缩 :Toeplitz/Berezin 型。引理 0.1(刻度同一的迹—谱移关系) 可得 ,从而 。(arXiv)


1. GLS 与滤镜链

1.1 对象层

定义 1.1(GLS) 其中 , 为可实施窗—核字典。任意态 的窗化读数为 其中 为态 相对于 Lebesgue 测度 的能谱密度;而 属于通道/散射数据。

层级警示(态层 vs 通道层): 本节 是对态测度 的窗化读数,依赖输入态 。第 §3.1 定义的 则是对母测度 (密度 )的窗化读数,仅依赖通道 。二者处于不同层:除非另行声明,。特别地, 一般为符号密度,并非任何物理态的能谱密度,因而通常不存在“参考态“使

1.2 操作语法:滤镜链

定义 1.2(滤镜链) 一次观测流程 定位带宽与几何, 表示耦合/退相干(CP), 为 POVM 读出基, 将通量阈值化为 clicks。Born 概率与最小 KL 投影一致化见 §10。(Google 图书)


2. 因果流形的内生

2.1 上半平面解析性(Hardy) ⇒ 单向支撑与偏序

取上半平面 Cauchy 变换 其中 由卡片 I 定义。为应用 Paley–Wiener/Titchmarsh 与 Kramers–Kronig,本稿在 §2–§4 假设 绝对连续,且 ,于是 若实验性非幺正引入的奇异贡献不可忽略,统一并入幺正扩张 的环境自由度而不计入 的奇异部分。在 LTI 与因果假设下,Paley–Wiener/Titchmarsh 与 Kramers–Kronig–Hilbert 关系推出时域冲激响应 的单向支撑(规范后 )及实/虚部的 Hilbert 共轭。本文关于“解析性 单向支撑“的结论仅针对各链的频域传递算子 (或 的矩阵元) 的 Hardy 解析性 是相位测度的 Cauchy 变换,仅用于描述 的相位—测度关系,不可误作系统传函再用 Hardy 理论推因果性

定义 2.1(可达预序) 设链集合 。定义前沿时间与几何量 约定:当 时, 记为 ,且关系 不成立。据此定义可达预序

约定(恒等链) 对每个 , 包含恒等链 ,规定 ,,故 。于是 ,自反性由定义立即得到。

假设(无闭因果回路):不存在 使得

命题 2.2(偏序性) 在“无闭因果回路“条件下, 为偏序。

证明:自反性来自恒等链 ,即 非空;传递性由链拼接给出:若 ,则存在拼接链 ,故 ;反对称性由“无闭因果回路“给出。□

窗化群延迟读数 是相位导数的频域加权读数,没有与前沿时间 的一般大小比较关系。

2.2 相位奇性 ⇒ 最短到达与因果边界

de Branges 相位的跳变/极点(Hermite–Biehler 零点、散射相移突变)对应到达奇性(驻相/等时集),为光锥边缘提供可检峰值标记。(普渡大学数学系)


3. 操作化时间刻度:窗化群延迟读数

3.1 定义

下述 为相位导数的带内读数,用作时间刻度的操作化读数,并非前沿时间

通道层定义(channel-only) 定义为对母测度 的线性配对,因此是 的泛函,与输入态无关;实验上通过测量 (或其相位导数)或 §3.4 的高频平台法加以标定。

定义 3.1(窗化群延迟读数) 对因果可达的传播—读出链 与窗—核 ,定义 并约定 即卷积)。等价地, (等价性来自 的卷积对偶恒等式。)

符号约定:定义中的负号采用工程/因果号记 (正延迟 ),使得 ,从而 直接对应物理飞行时间。这与母刻度 的符号测度性质相容。

此量在母刻度上实现“带内时间“的可实现读数。本文默认采用 的归一化,以便在单通道**()真空纯延迟链路 上直接读出 **;多通道时可取每模平均

关于符号测度与负读数(关键警示) 为相位导数的带内密度,非态密度,因而一般为符号测度(signed measure)。由此得到的窗化读数 在窄带/共振下可取负值,反映带内相位斜率与色散特性,并定义因果时间。本文不主张 的一般不等式;二者无普适大小关系。因果与无信号前沿 与类光锥偏序决定(§4)。在§3.4的前提下,蓝移极限给出 ,故 的可操作极限刻度而非其逐频带下界。

归一化处方() 鉴于 ,可取 (或对 同时作幅度重标),从而对任意 与窗形均保持 与本文“傅里叶规范“(见“记号约定“一节)保持一致,在不同傅里叶约定下需相应调整常数因子。

为何采用 这一归一化使得在单通道真空纯延迟 从而把 标定到几何量 (或 )。任何其它归一化只差一个已知常数因子,但 最便于跨实验对比。

统一记号(同一窗算子,对不同测度配对): 记 。则 (通道层),(态层)。本文关于可加性、规范协变、HF 桥接、红移标度律等主命题均指

警示(多通道平台值)在多通道系统)中, 的高频平台值为 (总时延),而每模平均 的平台值为 (几何前沿)。跨实验对比或标定几何前沿时,推荐使用 。详见§3.4。

多通道 N 不变定义:为便于多通道器件网络直接套用,可采用每模平均的并行刻度 其中 可访问子空间的维度 ;若读全通道则 。在单通道()下 ;对应的前沿分解与平台极限为

一致口径提示若关注几何前沿而非总时延,推荐直接使用 ;无论通道数 为何值,平台极限统一为 (而非 )。

窗化群延迟读数与前沿时间 的桥接见 §3.4。后续关于采样与 NPE 的一切公式均作用于被积函数 并以该 为误差估计的唯一对象。(chaosbook.org)

3.2 串并联可加、规范协变

定理 3.2(可加性,幺正散射) 设在 的带内 。若 ,则 证明:由 ;取迹用循环不变性即得第一式;代入定义得第二式。

备注(幺正版):由**卡片 I(刻度同一|全局幺正公设)**可知任意串/并联网络可视为单一幺正扩张 的块构造,故 的可加性在幺正框架内直接成立,无需其他替代处方。

Assumption B (级联兼容性,开放子系统的可加性前提):对开放子系统的块压缩情形,“先串接再压缩“是否等于“先压缩再相加“取决于环境自由度的耦合结构。具体要求:

设两链的幺正扩张为 ,可见投影为 。若级联 对应 ,则块压缩的可加性 成立的充分条件是:可见投影与环境块满足无寄生旁路的可交换性,即 (在窗支撑频带内近似为零)。此条件保证环境自由度不在两链间建立“旁路耦合“,从而块迹满足乘法性。

证明提纲:在级联兼容性下, 其中近似误差由交叉块的范数上界控制。

可操作误差界(实验可验证) 其中 仅依赖窗-核面积与带宽常数()。

若不满足该条件或无法验证交叉块范数,强烈建议统一使用相对读数 (卡片I方案B),自动消除环境依赖项与规范项。(chaosbook.org)

命题 3.3(规范协变与相对不变) 设能量依赖基变换 ,则 推导要点(算子级): 取迹并利用循环不变性即可得到上述恒等式。规范项对时间读数的影响为

相对不变的充要条件(即 在窗化读数层面保持不变)当且仅当 特别地,当 与能量无关,或 (恒定模幺正),上述条件自动满足。

拓扑项:净绕数校正:若 存在分支切换(如 相位跳变),定义窗内净绕数 的绕数类似定义)。此时 包含拓扑整数偏置,不应解释为物理延迟

数值实现与报告规约(强制要求)

  • 选择连续分支计算 ;若遇跳变,必须报告净绕数 在主报的绝对时标中剔除拓扑偏置
  • 跨实验/跨器件对比一律采用相对读数 其中 为标准参考(如校准用纯延迟)。相对量自动消除规范项与拓扑偏置,无需手动扣除 。 消除规范项。若只能辨识到等价类 ,则以相对读数 为物理量;对应地, 也只在此等价类下定义到加性常数。(普渡大学数学系)

命题 3.4(能量重参数化协变性) 为单调 同胚,记 。则 于是母刻度与由其诱导的窗化读数在能量坐标重参数化下不变;相应地, 需作雅可比一致的幅度重标以保持

Nyquist条件在重参数化下的缩放:若原 变量下的带宽为 (满足 ),在新变量 下等间隔采样时,Nyquist条件变为 其中 取于窗支撑的 区间。保守选择:若 变化剧烈,取 作为缩放因子以确保整个支撑内无别名: 这确保重参数化后的离散实现仍满足卡片II的无别名条件。

3.3 非渐近误差闭合(NPE)

命题 3.5(离散实现;精确与近似的分立表述),采样点

(A) 严格带限 + Nyquist 条件(精确等式):若 严格带限且 ,其中 ,并满足 则当 紧支撑于 时,Poisson 求和与积分可交换,由此得 此时 关键提醒:严格带限+Nyquist条件下(A)式是精确等式,无需引入任何误差项;只有在近带限或数值截断时才需要(B)的三分解。

(B) 近带限/数值截断(NPE 三分解):若 仅近似带限或实现上将无穷和截断为 ,则 其中 仅在以有限阶 Euler–Maclaurin 近似无穷和(或对近带限 的修正积分)时出现,其上界参见附录 B。说明: 本命题将理论上的等式 (A) 与工程实践的 NPE 分解 (B) 严格区分,避免在无 alias 的情形下引入不存在的 EM/尾项。再次强调:严格带限 + Nyquist 时 ;只有在近带限或数值截断时才引入三分解,避免在无 alias 情况下误加 EM 校正。(chaosbook.org)

3.4 前沿–群延迟桥梁(HF 平台一致性/标定法)

本节在 §4 的前提 (i)、(ii′)、(iii)、(iv) 内(LTI+Hardy 因果、局域与被动性、加强版高频真空极限),在不改变本文双层框架的前提下,给出一个可操作、非渐近可控/渐近一致的桥接:

在 §4 假设下前沿 存在且唯一,下述极限提供 一致性检验,并据此实现平台法标定在高频真空极限下,任意固定形状的归一窗族沿频率平移,窗化群延迟读数收敛到前沿时间

并给出有限频带下的简单“夹逼“上界,从而把 的测度回推为 可实现标定极限

3.4.1 前沿因子化(Front factorization)

在 §4 的前提 (i)–(iv) 下(LTI + Hardy 因果、被动、局域有限传播、高频真空极限),对任一链 存在常数 剩余散射子 使得 的时域冲激响应 满足零前沿支撑 (对 )。于是 取迹并代入本文母刻度(含定义3.1的负号),在归一化 下得到分解恒等式 其中“余项“ 完全由零前沿剩余散射 决定。在单通道()下,,故

直观:把“几何最短自由飞行“()作为全局相位斜率抽取出来, 就是“前沿 − 零前沿散射的带内相位平均“。

3.4.2 高频标定极限(桥接主命题)

设一族平移窗 (形状固定、仅平移),并保持本文 Nyquist 无别名与 。令 的支撑宽度 无关。

实现建议(非负窗推荐)推荐选用非负窗—核族使 (如Kaiser窗、Blackman–Harris窗等),从而 可严格解释为对 的带内平均,夹逼界直接给出物理意义明确的误差上界。**若窗不是严格带限,请同步给出附录B的alias与EM余项上界。**若 允许取负(如卷积后出现振荡或采用正弦窗),需同时报告 作为保守上界的归一因子;此时夹逼界仍成立但解释需谨慎。

可检前提(实验应用):只要在所扫频段的上沿,实测 单调衰减并可被统一上界,则平台误差可由 §3.4.3 的夹逼式直接上界。形式上,这对应于 §4 的前提 (i)、(ii′)、(iii)、(iv),其中前提 (ii′) 假设 在大频率上一致有界且趋零(等价地 ),由此得 该条件在被动、Hardy、局域、高频真空极限之下成立。于是:

定理 3.6(HF 桥接) 对任意固定形状的归一窗族 ,在单通道()下有 有限频带夹逼:

证明要点:由 3.4.1 的分解,;在单通道下 。对 足够大, 上一致趋零,余项被该一致上界控制,极限即得。□

命题 3.6’(多通道几何前沿极限)多通道()系统,采用每模平均刻度 (定义见 §3.1),有 有限频带夹逼:

证明要点:由3.4.1分解,,故 高频极限下 在窗支撑内一致趋零,余项被夹逼界控制。□

操作含义:把同一窗形沿频率“蓝移“扫描(保持带限与归一),所测 曲线(单通道)或 曲线(多通道几何前沿)在高频端平台值统一为 。该程序只用到本文已设定的带限/Nyquist与高频真空极限,无需新增假设。

刻度选择提示:对几何前沿时间的实验标定,多通道系统推荐直接使用 作为测量量,其平台极限自然给出 ;若使用 (总通道时延),则平台值为 ,需除以通道数 才能恢复几何前沿。

3.4.3 有限带宽下的直接界(工程可用)

对任意有限中心频率 ,由 3.4.2 的夹逼可直接报出系统误差上界:

派生界(Lipschitz 估计):若 ,且 于窗支撑,则对任意 从而 特别地,若已知窗支撑内存在 使 (例如将窗中心选在高频零交叉附近),则可简化为 这将平台到达速率与窗宽直接挂钩,便于实验选带宽。

当仅有“近带限“实现时,把 与 §3.3 的 NPE 误差三分解()相加即可形成可审计的总误差预算

注意:本界不声称 ;在强共振、窄带情况下, 在带内可出现负值,从而 甚至为负,但高频平台极限仍等于

3.5 实验实现要点(极简)

本节给出窗化群延迟读数与HF平台标定的实验实施路径。

微波/射频波段:使用矢量网络分析仪(VNA)直接测量散射矩阵 。对获得的相位谱 进行展宽与解缠,数值微分时建议采用正则化方法(如Savitzky–Golay滤波微分、样条拟合后求导、或Tikhonov正则化)以抑制噪声放大;直接差分会显著放大高频噪声。结合 计算 ,窗化读数按定义3.1积分即可。

光学频段

  • 频域方法:频率梳或白光干涉获取相位-频率响应,转换为群延迟谱;
  • 时域方法:泵浦-探测测量瞬态响应,时变镜(ITO/ENZ,§12.5)与频域响应的映射由定理6.2的谱缩放律给出。

HF平台标定:固定窗形 沿频率 扫描,绘制 曲线,高频段平台值即为 的标定量;依§3.4.3的夹逼界 评估系统误差。

误差预算示例:设观测带宽 GHz,采样间隔 GHz(满足Nyquist GHz),窗—核取 阶可微。依§3.3命题3.5,此时 (严格带限), 由附录B的4阶EM余项给出(量级), 由支撑外衰减控制。总误差 可审计且非渐近有界。


前提:以下关于前沿与无超锥传播的命题建立在:

(i) LTI + 因果 + 上半平面解析性(Hardy):频域响应的上半平面解析性与 Hardy 边值保证 Kramers–Kronig–Hilbert 关系;若进一步假设被动性,则可归入 Herglotz 类;

(ii′) 高频真空极限(加强版,一致收敛条件):存在前沿 使 (在时)。精确要求

  • 全局有界性:存在 使 对所有 成立;
  • 一致趋零:对任意固定有限窗宽 ,有

这保证了高频平台法(定理3.6)的余项可被一致控制。物理实现:被动、Hardy、局域、且在高频 远离共振的系统自然满足此条件( 即足够)。

(iii) 局域性/有限传播速度:链由满足双曲型局域动力学的元件组成,其格林函数(或冲激响应)存在有限波前;

(iv) 被动性:无主动增益导致的超前响应。

可核查清单(实验验证前沿下界的充分条件):对任意器件链 ,若满足以下条件,则定理4.2的前沿下界 成立:

  1. LTI:系统线性时不变,频域描述为
  2. 因果支撑:冲激响应 时恒为零,且 (可积);
  3. 高频衰减速率:前沿因子化后的 满足 或更快();
  4. 元件波前速度:链中各元件的局部波前速度不超过§4.1规范的光速 (在真空度规下);
  5. 无超前增益:无主动放大导致的非因果响应或超前峰。

操作判据:实验上可通过以下方式验证:

  • 测量 ,用Kramers–Kronig关系交叉验证因果性;
  • 检查高频段 的衰减速率(谱分析仪扫频);
  • 对时域脉冲响应测量,确认 时无信号到达。

结论:满足上述清单即保证前沿下界 成立,从而可依此构造类光锥与偏序结构(§4.2)。

4. 光速与类光锥:前沿定标与无超锥传播

4.1 光速的前沿规范

定义 4.1(光速 ) 真空冲激响应 的最早非零到达 给出 稳健版本:若上述极限不存在(如 在某些尺度振荡),改用 并据此给出前沿速度的上下界 。本文§4.2的前沿下界采用 (最保守界),不作等式判断。 其中 表示在真空度规下两点间的光程(测地长度),其定义独立于介质;介质的色散与吸收效应仅体现于系统响应而不改变前沿下界的几何基准。该 亦用于 §4.2 中 的判定基准。前沿速度与因果一致(Sommerfeld–Brillouin 先驱)。(互联网档案馆)

4.2 无超锥传播——前沿读数

定理 4.2(前沿下界) 在上述前提下,任意链 的输出冲激响应 恒为 0,因而 且等号当且仅当链的高频传播子在真空极限下沿测地达到。据此可定义类光锥边界与未来锥 其中 由前沿下界保证。:窗化群延迟读数 仍非前沿时间,窄带/共振下可取负,二者无普适比较不等式;二者的桥接见 §3.4。(Wolfram MathWorld)

本文一切因果与无信号结论仅以 与类光锥偏序为准绳; 仅作为可测读数,不参与偏序的定义。


5. 波—粒统一与“不同画面“的来源

5.1 同源二读数:期望与计数

同一 诱导 其中 的 Heisenberg 伴随。二者时间标度均由 计量; 仅改变统计外观,不改母刻度。此处 指通道层读数(channel-only functional);态层窗化读数 处于不同层(前者依赖态 ),不可混用。(Google 图书)

5.2 双缝的窗化互补律

设路径投影 ,which-way 退相干 。屏上窗—核 的强度 定理 5.2(窗化互补不等式) 能见度 与可辨度 (Helstrom 距离)满足 ,等号在纯态与理想区分/理想相干极限取到。(物理评论链接管理器)

证明提纲:以 CPTP 收缩性与 Cauchy–Schwarz 控制交叉块范数;将二分类最小错判界(Helstrom)嵌入窗化场景,复现 Englert 不等式。(物理评论链接管理器)

5.3 延迟擦除(Delayed-Choice Quantum Eraser, DCQE)

设置 设双缝路径投影 。引入“信号—闲置(idler)“分裂 ,以幺正纠缠器 实现 which-way 打标。屏上读数由同一窗—核 给出,闲置端选择在两类测量基之间切换:

(i) which-way 基 ;(ii) 擦除基 ,其中

定义(符合—条件强度) 记源态 与总态 。对闲置端结果 ,定义

命题 5.3(无条件=无干涉;擦除=条件条纹)

(1) 无条件边缘强度与退相干等价: 其交叉项消失,故屏上不显干涉。

(2) 擦除基下的条件符合显现互补相位: 两图样相位相反,能见度在纯态与理想稳定窗下取到互补上界。

定理 5.4(无信号与无条件群延迟不变) 设闲置端采用任意完备仪式 (包含 which-way 或擦除作特别情形),则

(i) 屏上无条件分布不依赖闲置选择与测量先后:

(ii) 信号端的无条件(边缘)窗化群延迟读数不随闲置端完备仪式而变:

证明要点:完备性与偏迹给出 ,取 得无条件不变;不变性来自 的边缘保持; 由信号散射子决定,与闲置的本地测量基无关,故边缘群延迟读数不变。

关键警示(无信号仅对无条件量)本命题的无信号性与群延迟不变性仅对无条件(边缘)量成立。对按结果 条件化后的读数 ,一般会随闲置端选择而变化(这正是“which-way信息“与“干涉能见度“互补性的体现)。因果性与无信号由 与类光锥偏序保证(§7),与 的条件/无条件区分无关。

备注(延迟与类空间分离):当屏与闲置读出区域类空间分离时,由 §7 的窗化微因果律,,因而“延迟选择“不引入任何超因果效应;仅在符合(条件化)层面重排样本,边缘统计与群延迟读数保持不变。其无信号与时间顺序独立的根源来自由 决定的偏序结构,而非


6. 红移:谱缩放与时间互易

6.1 定义

定义 6.1(红移) 对源—受体,母刻度上 宇宙学语境:当 ,此记号与天体物理学标准一致。

6.2 互易标度律

假设(谱均匀缩放):存在 使 ,并保证 在缩放域内可测可积;同时假设源端窗/核满足卡片 II 的带限与采样前提。

定理 6.2 若谱缩放 ,则对任意链 与窗—核 , 等价地, 带限与采样协变:若 严格带限,则 仍严格带限,Nyquist 纪律随缩放变为 ,故卡片 II 的前提在该模型下保持有效。为保持母刻度校准,对缩放后的窗—核做幅度重标使 。下文默认该归一已执行;若未重标,则 需乘以相应的面积因子修正。

缩放后的 保持重标:若 ,则 。需保持 时,可采用:

(i) 双边对称重标(本文默认):取

(ii) 单边重标:若仅对 (或 )做单边幅度重标,则需乘以 才能把 恢复到

红移情况的等价表述:设

  • 未做归一重标(原始缩放):

  • 采用对称归一重标(使缩放后仍满足 ): 示例:若 ,缩放后取 以保持面积 不变。

证明要点:

Nyquist缩放规律(再次强调):谱缩放 下,窗—核缩放为 ),其频域支撑缩放为 ,故Nyquist条件变为 总结:红移使采样间隔需求放宽 倍(蓝移则收紧),与时间互易标度律一致。


7. 窗化微因果与滤镜链的因果适配

7.1 类空间分离与交换

局域化约定(本节) 在因果流形 上,对任意开集 上的局域投影/截断算符,定义局域窗—核 使得 。称 类空间分离当且仅当 。以下所有陈述均针对局域算子

定义 7.1(类空间分离) 两局域窗—核支撑域 互不落入对方的前/后向锥内。 命题 7.2(窗化微因果律) 属于满足微因果(例如 Wightman/Haag–Kastler)条件的局域代数网,且其支撑区域类空间分离,则 若进一步假设相关 CP/POVM 操作的 Heisenberg 伴随将各自算子代数保持在 生成的局域子代数内,且支撑继续类空间分离,则有 。该陈述与 QFT 微因果 同型。(ncatlab.org)

7.2 因果适配与组合律

定义 7.3(因果适配) 沿世界线 的滤镜族 若其支撑包含于 且仅作用于 生成的子代数,则称因果适配。 命题 7.4(组合律) 分段滤镜满足 相邻类空间分离段可交换,否则按时间序组合。

7.3 延迟选择的无信号与时间顺序独立

命题 7.5(无信号) 对任意信号—闲置总态 与任意闲置端完备仪式 ( 为 CPTP),有 故任意屏上局域窗—核 的无条件读数不依赖闲置端的测量基、是否擦除、以及先后顺序。

命题 7.6(时间顺序独立) 若屏域 与闲置域 类空间分离,则对任何 与闲置端投影 从而无论“先测屏后擦除“或“先擦除后测屏“,无条件分布一致;条件符合仅改变样本分组,不改变边缘。与 §5.3 的定理 5.4 保持一致。其无信号性与时间顺序独立源于偏序结构,而非


8. 接口纲要:GLS → 因果流形(构造骨架与开放问题)

8.1 范畴

:对象为 ,态射为保持卡片 I/II 的滤镜链; :对象为因果流形 ,其中 为由 §2.1 的可达预序在无闭因果回路假设下得到的偏序(或一般情形下的商偏序);态射为保持类光锥与该偏序的映射。

8.2 构造骨架与限制

纲要 8.1(GLS → 因果流形的接口构造) 存在 为参数的接口图式 构造要点: 以前沿集/最早到达集(由 确定)与相位奇性生成偏序与锥; 仅用于读数层面的刻度与标定(Nyquist 极限与 等值)。 可由 §3.4 的 HF 标定从 实验性确定,再作为外参输入接口,从而闭合双层框架的往返使用。

开放问题:反向函子 的构造与自然同构 存在性与自然性验证为后续工作。目前仅给出接口纲要骨架,不对双层等价性作承诺。


9. 分辨率—红移对偶与尺度重整

令带限偶窗 ,采用零心母窗 需要中心定位于 时使用 。分辨率提升 ()对应于红移放大 ,两者在 Nyquist 纪律下完全对偶。在该对偶框架下,别名关断,EM 端点误差与尾项随 的演化按可计算律缩放,并与谱缩放协变。(维基百科)


10. Born 概率 = 最小 KL 投影;指针基 = 谱极小

在可实现读数字典上,Born 概率等价于参考分布到线性约束族的 I-投影(最小 KL);信息几何的投影与广义毕达哥拉斯定理为运算学基座。稳定读出基对应 的谱极小方向(或其函数演算),从而“偏振/指针“成为谱几何对象。此等价建立在可实现读数字典诱导的线性约束族上;更广场景的证明与可检条件另文给出。([Stern School of Business][12])


11. 与 RCA/EBOC 的接口(离散—连续统一)

11.1 轨迹—相位嵌入与群延迟速度

将可逆元胞自动机(RCA)轨迹的局部块以稳定窗族嵌入 de Branges–Kreĭn 相位几何,定义“轨迹—相位度量“ 。RCA 的前沿斜率对应 GLS 群延迟导出的有效速度,窗化读数统一离散—连续时间刻度。(普渡大学数学系)

11.2 EBOC 解释

EBOC 的“静态块“在 GLS 中表现为全局可逆散射网络;观察者为其中移动的滤镜链。“不完备 = 非停机“的对译可表述为:有限窗重构误差的尾项熵通量不可积/不衰,关联 §3 的 NPE 尾项控制。


12. 范式与算例

12.1 相位器计时

算例( 变量,:单通道 。取窄带等效窗 ,并用盒函数近似 则根据定义3.1(含负号) 在纯延迟 (工程号记)下,,故 ,于是

量纲说明:若以 变量书写,则 (在 下数值相等)。归一化约定:因采用 (此处 ),按 §3.1 归一化处方取 ,从而 仍满足 。若 ,需整体乘以 的校正因子。(此处 ,因此等价于对 的带内平均。)(Wigner 相位导数计时)([chaosbook.org][13])

12.2 双缝—偏振(交叉项调谐)

调节 which-way 强度,能见度 单调降、可辨度 单调升,且 ;交叉项仅在两窗未来锥交集内存活。(物理评论链接管理器)

12.3 红移时钟

对齐母刻度后,。由 §6.2 的精确换元,

12.4 双缝延迟擦除(DCQE)

取远场近似下的两缝振幅 ,屏上选择位置窗—核 ( 定位于像面区段, 取近 核以读出强度)。设源态 为纯态 ,。则

  • 无条件:

  • 擦除符合: 两图样相位相反,叠加回到无条件分布。

  • 无条件群延迟一致性:信号端的边缘群延迟读数 与闲置端擦除选择无关;当 满足卡片 II 的带限与 Nyquist 条件时,NPE 误差闭合同步成立。

12.5 时间域双缝:超快时变镜(ITO/ENZ)

采用接近 ENZ 区的 ITO 薄膜构成可切换“时间镜“,以两次超短泵浦在时刻 使反射率快速跃迁,相当于对入射探测脉冲施加两道“时间狭缝“。随间隔 调谐,反射谱出现清晰干涉条纹,周期满足 。([Nature][17])

将时间域双缝视作对反射通道的瞬时调制,其对频域的等效作用为乘以 其中 为两次开启的复幅度。反射谱强度 。这与空间双缝在角谱上的条纹完全同构,只是“空间位移 时间延迟“对换成“角频率条纹“,§6 的谱缩放—时间互易直接适用。

以等效散射子 表示时变镜对静态通道 的调制。

相位增量与幺正扩张:若 为全通(),或在幺正扩张 上对应全通因子 ,则相位读数增量由 给出条纹相位对 的导数。一般 的幅度项进入环境迹块,需以 评估(遵循卡片 I 的幺正扩张处方)。窗化群延迟读数 自然分解为“静态背景 + 时间狭缝相位项“,在母刻度上精确对接操作化时间刻度的定义(见 §3.1)。互补律 (§5)与无信号结论(§5.3、§7.3)保持不变;§4 的前沿下界 不受开合时序影响,条纹遵循 §3.3 的 NPE 有限阶误差闭合。([Nature][17])


附录 A:窗化互补 的证明

。定义两路径的非归一化条件态 并归一化 为二分类最优 POVM,则 Helstrom 距离 给出最小错判界。交叉可见度 的非对角块归一量诱导。以 CPTP 收缩性与 Cauchy–Schwarz 得 等号在纯态与理想区分/理想相干下取到。(Google 图书)


附录 B:NPE 三分解的上界模板

采用零心母窗 ,中心定位于 时记为 。以下一切导数与积分均相对于 而非移相变量计算。记号统一:本节出现的 指函数乘积而非卷积;令 后续所有误差界均针对 给出(其中 为窗中心位置)。

Poisson 基式:对上述 ,第二项为零(无 alias),积分与无限采样和精确相等。仅当 近带限或在实现中截断无穷和时,才引入本文 NPE 的 ,以及采用有限阶 Euler–Maclaurin 时的

Poisson 别名(一般近带限):设 的傅里叶变换,则 工程估算可使用 再次严格带限,上述求和可有限截断并令别名项为零。

EM 阶数选择(处方):给定目标误差阈值 ,取最小 使 同时选取 Euler–Maclaurin 余项界 。这样 可控制在既定容差内。

有限阶 EM:令取到 阶,则 其中 为 DLMF 形式余项(可用周期化伯努利函数显式表示并估界)。

尾项:若 可控(即母窗 外可控),且 有界,则 尺度变换 与谱缩放 下,上述上界按傅里叶—采样对偶协变。(维基百科)


附录 C:接口纲要的范畴论骨架

对象: 的态射为保持卡片 I/II 的滤镜链; 的态射为保持类光锥与偏序的映射。 : 为参数的接口图式;以前沿集/最早到达集(由 确定)构造偏序与锥; 仅用于读数刻度与 的等值标定。 可由 §3.4 的 HF 标定从 实验性确定,再作为外参输入接口,从而闭合双层框架的往返使用。 反向函子 与自然同构的存在性为开放问题。


附录 D:Toeplitz/Berezin 压缩与 de Branges 背景

Toeplitz/Berezin 框架为窗化读数提供算子化实施路径;de Branges 空间提供相位 及其导数的全纯—测度对应,从而与谱移—群延迟刻度同一无缝对接。Toeplitz 压缩技术见 6,Berezin 符号与变换见 [16],de Branges 空间见 5


参考文献(选)

  1. A. Pushnitski, An integer-valued version of the Birman–Kreĭn formula, 2010:给出 与相关刻度同一的严式化基准。(arXiv)
  2. F. T. Smith, Lifetime Matrix in Collision Theory, Phys. Rev. 118 (1960):提出 的群延迟矩阵与其物理解释。(chaosbook.org)
  3. B.-G. Englert, Fringe Visibility and Which-Way Information: An Inequality, PRL 77 (1996):双缝互补不等式 。(物理评论链接管理器)
  4. C. W. Helstrom, Quantum Detection and Estimation Theory, Academic Press (1976):最小错判测度与 Helstrom 界。(Google 图书)
  5. L. de Branges, Hilbert Spaces of Entire Functions, Prentice–Hall (1968):de Branges 相位/空间及 Hermite–Biehler 背景。(普渡大学数学系)
  6. A. Böttcher, B. Silbermann, Analysis of Toeplitz Operators, Springer (1990/2006):Toeplitz 框架与压缩算子技术。
  7. DLMF(NIST),§2.10 Euler–Maclaurin、相关余项与误差估计;并见 §24.2 伯努利函数。([dlmf.nist.gov][15])
  8. Nyquist–Shannon 采样定理与别名机理(百科/教材性综述)。(维基百科)
  9. E. C. Titchmarsh, Paley–Wiener/Titchmarsh 定理(因果—解析性与 Hilbert 变换);Kramers–Kronig 关系物理阐释。(Wolfram MathWorld)
  10. L. Brillouin, Wave Propagation and Group Velocity, Academic Press (1960):先驱/前沿速度与因果讨论的经典来源。(互联网档案馆)
  11. Berezin 协变/逆协变符号与 Berezin 变换(Toeplitz/Berezin 量化)。([SpringerLink][16])
  12. R. Tirole et al., Double-slit time diffraction at optical frequencies, Nature Phys. 19, 999–1002 (2023):ITO 近 ENZ 区时变镜实现时间域双缝干涉,展示频谱条纹与上升时间接近一个光学周期的证据。([Nature][17])
  13. D. Castelvecchi, Light waves squeezed through ‘slits in time’, Nature News (2023):Nature 新闻对时间域双缝实验的权威解读,引用指出镜面切换可能达 1 fs 量级。([Nature][18])
  14. S. Vezzoli et al., Saturable Time-Varying Mirror Based on an Epsilon-Near-Zero Material, Phys. Rev. Applied 18, 054067 (2022):ITO–Au 可饱和时变镜的先导工作,实现十倍反射调制与亚 30 fs 级响应。([物理评论链接管理器][19])

结论要点

  • 三位一体刻度 统一了相位—密度—群延迟;
  • 窗化群延迟读数提供时间的操作化刻度,具可加与规范协变(相对不变),并在 NPE 纪律下非渐近闭合;
  • 以真空前沿规范 得到无超锥传播与到达时间下界;
  • 高频标定桥接(§3.4):任意固定形状归一窗的蓝移极限 ,把因果前沿 作为 可操作极限刻度;
  • 红移—时间满足互易标度律;分辨率提升红移放大严格对偶;
  • 双缝的窗化互补律 与 which-way 调谐在同一母刻度下统一;
  • 建立因果前沿层()与操作化群延迟层()的双层并行框架;给出从 GLS 到因果流形的接口纲要; 由 §3.4 的 HF 标定从 实验确定,反向函子与自然同构存在性为开放问题。

[12]: https://pages.stern.nyu.edu/~dbackus/BCZ/entropy/Csiszar_geometry_AP_75.pdf?utm_source=chatgpt.com “-Divergence Geometry of Probability Distributions and …” [13]: https://chaosbook.org/library/WignerDelay55.pdf?utm_source=chatgpt.com “Lower Limit for the Energy Derivative of the Scattering …” [15]: https://dlmf.nist.gov/2.10?utm_source=chatgpt.com “DLMF: §2.10 Sums and Sequences ‣ Areas ‣ Chapter 2 …” [16]: https://link.springer.com/chapter/10.1007/978-1-4612-0255-4_12?utm_source=chatgpt.com “Berezin-Toeplitz Quantization” [17]: https://www.nature.com/articles/s41567-023-01993-w “Double-slit time diffraction at optical frequencies | Nature Physics” [18]: https://www.nature.com/articles/d41586-023-00968-4 “Light waves squeezed through ‘slits in time’” [19]: https://link.aps.org/doi/10.1103/PhysRevApplied.18.054067?utm_source=chatgpt.com “Saturable Time-Varying Mirror Based on an Epsilon-Near-Zero Material”