Homotopy Cardinality and Entropy
本文通过引入概率类型和随机变量类型,利用同伦基数建立了同伦类型论与信息论之间的联系,将香农熵表述为类型的同伦基数,并在特定假设下推导出了熵的链式法则。
337 篇论文
本文通过引入概率类型和随机变量类型,利用同伦基数建立了同伦类型论与信息论之间的联系,将香农熵表述为类型的同伦基数,并在特定假设下推导出了熵的链式法则。
该论文提出了“分支希尔伯特子空间诠释”(BHSI),作为一种无需波函数坍缩或多世界假设的量子测量新视角,主张通过局部希尔伯特空间的幺正分支与环境纠缠来解释测量过程,并探讨了其在双缝实验、贝尔测试及黑洞辐射等场景中的含义,同时建议利用现代斯特恩 - 格拉赫干涉仪实验来验证分支权重与退相干/再相干过程。
本文在 超代数框架下,利用 BF 理论系统推导了 二维超引力模型的渐近对称代数,揭示了由 dilaton 超多重态诱导的动力学对称性破缺机制,从而构建了超越 Schwarzian 区域的自洽边界动力学框架。
本文通过直接从威克曼公理出发推导结果,在缺乏传统希尔伯特空间泛函分析工具的情况下,为非幺正威克曼共形场论建立了广义的比索纳诺 - 威克曼性质并证明了海格对偶性。
本文给出了与 李群相关的 Calogero-Moser-Sutherland 可积系统相空间的显式分层描述,证明了该相空间可分解为不同维度的辛流形,并在正维流形上构造了自然的作用 - 角坐标,表明每个流形均辛同胚于 。
本文通过引入一种将问题分解为低维分量的新颖切片技术,证明了在三维及以上维度的超立方格点上,离散狄利克雷 - 诺伊曼算子能够唯一确定边上的电导率值,从而将 Curtis 和 Morrow 关于二维方格网的经典唯一性结果推广到了高维情形。
本文定义了超阿托里奇流形量子乘法参数空间的紧化,并证明了该量子乘法运算可延拓至这一紧化空间。
本文提出了一种仅利用拉普拉斯谱分解对紧黎曼流形上光滑函数代数进行内禀形变的构造,通过扭曲谱投影通道引入双线性积,在特定索伯列夫有界性条件下建立了该积的迭代性与结合性,并证明了其统一涵盖了由局部紧阿贝尔群作用产生的经典严格形变框架。
本文通过将矩约束引入随机点过程以打破对称性,将构造对数法诺流形凯勒 - 爱因斯坦度量的概率方法推广至非离散自同构群情形,提出了代数意义上的吉布斯多项稳定性概念,并 conjecture 其与凯勒 - 爱因斯坦度量存在性及稳定性阈值等价,同时在对数法诺曲线上证明了相关猜想并导出了带有矩约束的锐利对数 Hardy-Littlewood-Sobolev 不等式的定量稳定性结果。
该论文证明,在有限维量子系统的单分支坍缩动力学中,若满足信息不擦除条件,则物理上允许的任意坍缩选择器均会在投影态空间中形成一个拓扑闭的向前不变子集,使得该子集内任意状态均可通过任意小的能量代价以任意精度相互连接,从而表明信息保留保证了准可逆性,而真正的不可逆性需要非紧性或信息擦除等额外条件。
该论文证明了当维数 时,伯努利渗流在半空间中的临界两点函数具有常数阶的上下界估计,从而完善了 Chatterjee 和 Hanson 等人的前期工作,并解决了 Hutchcroft、Michta 和 Slade 提出的一个开放性问题。
本文提出了三种平直空间波函数的表示形式并证明了其正确性,指出该波函数可从宇宙学多胞形的规范形式中读出,并证实了关于其部分分式分解的猜想,揭示了波函数与图及其连通子图结构之间的深刻联系。
本文研究了受有限测量结果约束的正温量子热力学变分问题,通过引入非对易最优输运方法构建了一般化的正则化框架并分析其对偶形式,进而将其应用于量子态层析与量子最优输运,并探讨了相关算法的收敛性。
该论文研究了旋转球面上等压可压缩无粘流体的欧拉方程,通过引入 hodograph 变换给出了由两个二元任意函数参数化的解类,并分析了速度导数发散的爆破曲线、快慢旋转极限情形以及椭圆函数模的变形方程。
该论文通过构造具体的确定性张量反例,证明了 Gurau 谱密度虽然在大随机张量系综的平均意义下对应于概率测度,但对于单个张量而言并不构成概率测度。
本文提出了一种名为 PriorIDENT 的框架,通过结合物理先验(如哈密顿、守恒律和能量最小化)构建物理相容的字典,并利用弱形式稀疏回归技术,成功从含噪数据中实现了高鲁棒性、可解释且结构保持的偏微分方程识别。
本文通过重访弗里德里希斯模型,精确推导了嵌入本征值附近共振的渐近行为(即 Breit-Wigner 公式)及谱集中现象,并进一步获得了关于驻留时间、散射振幅和时间延迟的精确渐近性质。
本文利用 Hepp 方法,在自相互作用玻色量子场论的半经典极限下,针对截断的模型及非多项式解析相互作用,构建了相干态演化的任意阶渐近展开,从而推广并细化了仅包含主导项的早期结果。
该论文利用 Bogomolny 形式体系,系统研究了具有四次多项式势能的二维标量场理论中的孤子解,通过构建超势导出了支持具有非平凡内部结构及连续参数族的复合孤子解的新模型。
本文利用热带几何与生成函数方法,推导了漏 Hurwitz 数的显式公式并证明了其在固定漏度下满足拓扑递归,从而建立了从切割 - 并算子到谱曲线的对应关系。