实体
Quantum information theory
Quantum information theory
PulseAugur coverage of Quantum information theory — every cluster mentioning Quantum information theory across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
格和估值的新Jaccard距离理论
本文探讨了将Jaccard距离推广到格和估值的理论进展。研究表明，在特定条件下，例如严格正、单调和模估值，Jaccard距离在任意格上满足三角不等式。研究进一步探讨了这些性质在互补分配格中的应用，并确定了超模态性是标准广义Jaccard距离作为有效度量函数运行的严格要求。研究结果已应用于量子信息论、形式概念分析和machine learning等领域。
-
Lean-Quantum库借助AI辅助形式化量子信息理论
研究人员开发了一个名为Lean-Quantum的新Lean 4库，旨在协助量子信息理论的形式化。该库为有限维量子力学提供了一个强大的、与基无关的框架，并与Mathlib兼容。其能力的一个关键演示是形式化了夹层Rényi相对熵的数据处理不等式（DPI），这是量子信息中的一个基本结果。该项目旨在为未来该领域的AI辅助研究提供机器可验证的基础。