Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
验证者与生成器:直觉逻辑的认知语义(长版本)
AI总结 本文探讨了认知可实现性,一种可判定性部分的可实现性形式。通过为每个命题A分配验证程序和生成程序,提出最小逻辑、二阶直觉逻辑和高阶直觉逻辑的认知可实现性解释,并证明每个系统在该语义下都是正确且完备的。
验证者与生成器:直觉逻辑的认知语义(长版本)
AI总结 本文探讨了认知可实现性,一种可判定性部分的可实现性形式。通过为每个命题A分配验证程序和生成程序,提出最小逻辑、二阶直觉逻辑和高阶直觉逻辑的认知可实现性解释,并证明每个系统在该语义下都是正确且完备的。
通过强引力透镜研究暗物质相互作用
AI总结 本文通过强引力透镜数据研究暗物质与暗能量的相互作用,提出三种新的耦合模型,并发现其相互作用强度β值显著大于以往结果,表明暗能量相互作用场景。
Comments 13 pages, 8 Figures, 1 Table, to be submitted
图形的惠特尼2同构定理
AI总结 本文证明了图形在可测意义下的惠特尼定理,引入了弱同构的概念,并展示了无限端点图形的弱同构性与同构性的关系,发展了最近由Lovász发起的极限理论。
Comments 32 pages, 14 figures
广义测量不兼容性
AI总结 本文研究了广义部分联合可测性,提出两种数学表征,并证明其可通过半正定规划决定。研究发现,在不可信测量设备中,只有当测量集部分联合可测时,攻击者才能完美猜测结果,并推导出检测效率阈值。
Comments 12+7 pages, 4 figures
超越麦克斯韦-玻尔兹曼:准平衡等离子体中的输运
AI总结 研究准平衡等离子体中输运现象,通过超统计学方法推导输运系数,发现非麦克斯韦分布显著增强输运系数,解释为高能粒子的增加。
复杂大脑假说:解决最小现象体验中的熵-内容困境
AI总结 本文提出复杂大脑假说,认为现象丰富性应由大脑复杂性而非熵来衡量,通过分析不同意识状态的神经机制,澄清了最小现象体验与高内容体验之间的差异。
MAxLM:基于多智能体语言模型的MU-MIMO-OFDMA无线网络调度与资源分配
AI总结 本文提出MAxLM框架,利用预训练语言模型优化无线网络的上行调度接入,通过WiSER平台实现自主调度与资源分配,实验表明其在不同STA数量和天线设置下均优于基准方法。
SiFo:面向低开销的特定站点信道状态信息反馈无线基础模型
AI总结 SiFo提出一种基于无线基础模型的框架,通过预训练和轻量级校准实现高效特定站点CSI反馈,提升频谱效率。
隐蔽的贝叶斯最快变化检测
AI总结 研究在贝叶斯和无限时间框架下隐蔽最快变化检测问题,提出隐蔽预算指标,分析在误报概率和隐蔽预算约束下检测延迟的第二阶界限,并提出可行方案。
Comments 36 pages, 2 figures. Submitted to IEEE ITW 2026
块等价有限Gabor框架
AI总结 本文研究了通过显式且计算高效的酉变换将有限向量系统框架算子矩阵酉等价于块对角矩阵的系统,证明当调制集或位移集为Z_N子群时,Gabor系统为块等价,并探讨了框架算子矩阵对角化的条件。
径向几何中耦合非线性交叉扩散系统的Lie对称分类
AI总结 本文通过Lie对称分析研究了具有变化横截面几何的耦合非线性交叉扩散系统,揭示了其在径向结构下的对称性质及非线性耦合对对称性的限制。
多芯光纤中亚皮秒级芯间偏移特性 characterization via Hong--Ou--Mandel 干涉
AI总结 本文通过光纤集成的4×4多端口光束分离器利用双光子Hong--Ou--Mandel干涉测量多芯光纤中芯间偏移特性,实现了±0.11 ps的高精度测量,展示了随机游走尺度的验证。
Comments 15 pages, 4 figures. Comments welcome!
非自修复架构技术债的危险及其对修复时间的影响
AI总结 本文研究了非自修复架构技术债的修复责任及影响,通过分析开源项目发现自修复与非自修复技术债在修复时间和协作因素上有显著差异,为维护者提供识别高风险技术债和减少交接成本的指导。
Comments This manuscript is currently under review
中子星合并的快速抛射物中的核合成
AI总结 研究中子星合并快速抛射物中核合成的三个通道,发现自由中子在r过程冻结后仍能存活,其β衰变主导加热率,产生显著的蓝前导光变,可能被ULTRASAT观测到。
Comments Submitted to MNRAS, 15 pages, 14 figures
大量混合态纠缠在动能受限的超辐射中
AI总结 研究通过引入局部动能约束,在保持Dicke超辐射核心特征的同时,产生大量混合态纠缠。分析得出发射率下限,推导出峰值强度与时间关系,并展示其在中性原子阵列中的实验实现可能性。
Comments 5 pages, 4 figures, 24 pages supplemental information
适应性运输网络中的长度尺度选择
AI总结 研究通过连续模型揭示适应性运输网络中长度尺度选择机制,发现由模式形成不稳定性驱动的各向异性结构形成,推翻传统能量景观理论。
Comments 8 pages, 4 figures
评估几何早期预警在快速强迫非线性系统临界转变中的技能
AI总结 研究通过几何早期预警评估快速强迫非线性系统临界转变的技能,对比传统方法,以大西洋经向翻转环流模型为例展示其有效性。
一维冷气体中阶梯式多米诺式爆波运动
AI总结 研究一维冷气体中多米诺式爆波运动的机制,分析不同质量比下的动力学行为,发现特定质量比下爆波呈现阶梯式运动特性。
Comments 21 pages, 4 figures
在单位可换代数紧致上的动量问题
AI总结 本文研究了单位可换R代数上的线性泛函,给出了非负泛函在阿基米德锥上的积分表示,并解决了区间乘积上的动量问题,确定了泛函在紧致上的动量条件。
蛇纹石和黄铁矿型SiO₂的热导率:比较研究
AI总结 本文通过分子动力学模拟计算了蛇纹石和黄铁矿型SiO₂的晶格热导率,采用Green-Kubo方法和机器学习势能函数,发现其热导率比声子准粒子方法高119%,并指出地幔中可能形成热绝缘层。
MERVIN:一种用于越南新闻视频多模态事件检索的统一框架
AI总结 本文提出MERVIN框架,整合关键帧、转录文本和视频摘要,通过Gemini 1.5 Flash提升转录质量,利用Perception Encoder提取视觉特征,并结合越南语言模型生成文本嵌入,实现高效的多模态事件检索。
Comments Accepted to SOICT 2025
边界异常维数从BCFT:带有边界的ϕ³理论及其高导数推广
AI总结 本文研究了带有边界的ϕ³理论在ε展开中的边界基本算符标度维数修正,结合共形多重集合并边界交叉对称性,推导出单场和多场情况下的结果,并推广到高导数理论。
Comments 29 pages, 1 figure
基于因果引导的机制识别与可解释降阶建模的蠕变驱动晶界应力
AI总结 本文通过结合位错攀爬影响的晶粒塑性有限元模拟与因果引导机器学习框架,识别晶界应力的关键特征并建立可解释的降阶模型,揭示了晶界几何、晶体学兼容性、蠕变应力松弛和微机械对比的耦合作用。
长程磁序和结构相变在无序高熵-spinel铬氧化物中
AI总结 研究了Cr基高熵-spinel的温度演变,发现其在室温下以立方结构结晶,并在Néel温度以下发生反铁磁序,同时在约55K和85K时发生结构相变,高熵促进全局结构稳定,保留原始-spinel系统的长程序和对称性破缺转变。
Comments 10 pages, 7 figures
银河系中的核棒动能暗示
AI总结 研究通过结合KMOS NSD调查的径向速度与VIRAC2的自行数据,发现银河系核星盘可能存在核棒结构,其顶点偏差显著且各向异性特征与预期相符。
StateXDiff: 单细胞扰动预测的细胞状态-上下文化多模态扩散框架
AI总结 StateXDiff通过整合转录组与蛋白质特征,构建多模态细胞状态表示,并利用条件扩散模型生成药物扰动特异性变化,提升单细胞扰动预测的泛化能力。
关于非线性分数边值问题的样条离散方法收敛性的研究
AI总结 本文研究了涉及Riesz-Caputo算子的非线性分数边值问题,通过积分表示证明解的存在唯一性,并提出B-样条离散方法进行数值逼近,结合理论分析与实验验证其收敛性。
量子测量无本体论
AI总结 本文探讨量子测量与本体论的关系,指出测量结果的客观性在量子力学中面临挑战,但方法论规范仍维持测量结果的客观性。
Comments To appear in Coherentist Approaches to Quantum Metrology, Routledge Studies in the Philosophy of Mathematics and Physics, forthcoming
多极黑体辐射位移在瑞利原子中的作用
AI总结 研究高温下瑞利态受热辐射影响的能量位移中 retardation 的作用,发现非偶极位移在约2.5倍特征温度时主导偶极位移,并需考虑电四极热位移与反磁热位移的同等量级。
PCDM:一种基于扩散的数据污染攻击对抗联邦学习系统
AI总结 本文提出基于扩散的数据污染框架,通过Poisoning-Oriented Conditional Diffusion Model实现对联邦学习系统中局部数据污染的精细控制,同时保证攻击效果与隐蔽性。