Model Checking Matrix Product States against Linear Chain Logic
本文介绍了线性链逻辑(LCL),这是一种空间逻辑框架,它利用周期性矩阵乘积态与完全正映射之间的联系,实现对一维量子多体系统中尺寸依赖性和渐近性质的可扩展近似模型检测。
6120 篇论文
量子物理探索着物质与能量在微观尺度上最奇妙的行为,从神秘的叠加态到跨越空间的纠缠现象,这一领域正不断重塑我们对现实世界的理解。Gist.Science 致力于让深奥的 arXiv 预印本变得触手可及,我们追踪该分类下发布的每一份最新预印本,并为其提供两种解读视角:既包含通俗易懂的科普解读,也涵盖保留核心细节的技术摘要。
无论您是希望快速掌握前沿动态的科研工作者,还是对宇宙奥秘充满好奇的普通读者,这里都能为您提供清晰的研究概览。我们梳理了 arXiv 上量子物理板块的最新成果,确保您能第一时间读懂科学界的最新突破。下方列出了该领域刚刚发布的最新论文及其摘要。
本文介绍了线性链逻辑(LCL),这是一种空间逻辑框架,它利用周期性矩阵乘积态与完全正映射之间的联系,实现对一维量子多体系统中尺寸依赖性和渐近性质的可扩展近似模型检测。
本文表明,多路径干涉仪中的成对干涉可见度测量提供了一种无需层析的操作性方法,通过违反推导出的重叠不等式来见证制备语境性,其中纯量子比特态超越了联合可对角化描述所施加的界限。
本文利用奇异学习理论证明,尽管对齐的SPADE在分辨紧密间隔的非相干光源时实现了量子最优渐近性能,但模型奇点与未对齐从根本上改变了有限光子性能,导致直接成像在实际区间内优于未对齐的SPADE,并揭示了每种方法各自独特的本征探测尺度。
本文提出了一种离散相位随机化模式配对量子密钥分发(DPR-MP-QKD)协议,该协议通过将实验上不可行的连续相位随机化替换为仅需少量随机比特的离散版本来确保实际安全性,同时在使用约 14 个离散相位的情况下实现了与连续情形相当的关键速率。
本文证明,量子态副本间的自旋手征性关联为检测隐藏纠缠提供了一种精确的物理机制,从而实现了能够识别传统单副本判据无法探测的束缚纠缠态的高精度多通道光谱分类器,并在 IBM 量子处理器上完成了实验验证。
本文介绍了 HQTN-SER,这是一种混合量子 - 经典框架,它利用具有结构化连接性的受 MPS 启发的量子张量网络,在少量量子比特和可训练参数的情况下,在多个基准测试中实现了鲁棒的语音情感识别。
本文论证,在基于普塞–巴雷特–鲁道夫定理的扩展维格纳朋友场景中,在某种特定的局域性概念下,自由选择的绝对性无法成立,这与近期对观测结果绝对性的挑战相呼应。
本文提出了一种超导电路架构,利用傅里叶工程约瑟夫森势来创建“分形子”态,这些态能够自然编码受保护的量子位元,从而为超越标准量子比特范式的量子计算提供一个抗泄漏平台。
本文介绍了一种可微分的半定规划框架,该框架在灵活的结构约束下系统地生成正不可分解映射,从而在解决量子信息理论中开放问题的同时,促成新数值实例、参数化族以及实映射的发现。
本文介绍了一个物理信息计算工具箱,它能够对数据管理问题的量子退火过程进行系统的数值分析,从而弥合量子器件物理与数据库研究之间的鸿沟,以更好地理解计算难度并指导未来的协同设计工作。