博文
全部博文|六维|
范畴学|
物理学上空的乌云|
科普|
纽结|
黑洞|
弦论|
量子引力|
非关对错|
朗兰兹|
数学物理|
量子理论|
暗物质|
量子计算|
统计力学|
编码|
图论|
复杂性|
可积性|
代数拓扑|
几何测度论|
离散微分几何|
调和分析|
扭结|
枚举几何|
组合优化|
黎曼几何|
PDE|
集合论|
-
PCP定理的故事
- PCP 定理的故事 对计算极限的探索何以导致具有超常威力的证明的发现 Dana Moshkovitz (MIT) 著 左 芬 译 【译注：从行文判断，本文大约作于2010年前后。尽管作者已经尽可能写得通俗易懂，读者可能仍然需要一定的知识背景才能读懂。特别地，可 ...
-
PCP定理史
- 热度 1
- PCP 定理史 Ryan O ' Donnell 著 左 芬 译 【 译者按：概率性可校验证明（Probabilistically Checkable Proofs，简称PCP）定理在某种意义上代表着经典复杂性理论的巅峰。当前，量子复杂性理论正处在蓬勃的发展阶段，并且取得了MIP * =R ...
-
获赠认知大礼，数学家急于领悟
- 热度 2
- 获赠认知大礼，数学家急于领悟 计算机科学中一个里程碑式的证明附带解决了Connes嵌入猜想这一重要数学问题。数学家们急于领会个中奥妙。 Kevin Hartnett 著 左 芬 译 【译注：原文2020年4月8日刊载于QuantaMagazine，链接见文末。】 ...
-
在量子游戏中，你没法投机取巧
- 热度 1
- 在量子游戏中，你没法投机取巧 这些游戏汇集了量子纠缠，无穷大，以及无法计算的胜率。一旦研究者破解了它们，就将揭示深奥的数学秘密。 Kevin Hartnett 著 左 芬 译 【译注：原文2019年4月1日刊载于QuantaMagazine，链接见文末。】 ...
-
量子物理的“幽灵性”不可计算
- 热度 1
- 量子物理的“幽灵性”不可计算 纯数学与算法结合处的一个证明将“量子怪异性”提升到一个全新的层面。 Davide Castelvecchi 著 左 芬 译 【译注：原文2020年1月23日刊登于《 自然 》杂志，链接见 https://www.nature.com/a ...
-
难以近似：独一游戏猜想（二）
- 难以近似：独一游戏猜想（二） 一个全新的猜想让计算机科学家们激动不已 Erica Klarreich 著 左 芬 译 【译注：原文2011年10月6日刊载于Simons基金会网站，链接见文末。】 无条件成立 在某种意义上，我们刚才描述过的结 ...
-
难以近似：独一游戏猜想（一）
- 难以近似：独一游戏猜想（一） 一个全新的猜想让计算机科学家们激动不已 Erica Klarreich 著 左 芬 译 【译注：原文2011年10月6日刊载于Simons基金会网站，链接见文末。】 尽管伟大的定理称得上数学的终极目标，伟大的猜想往往在增进理 ...
-
计算机科学家将两种“美妙”的证明方式融为一体
- 热度 2
- 计算机科学家将两种“美妙”的证明方式融为一体 三位研究者构想出新的证明方式，既可以让信息散布开来，又绝对保密。 Ben Brubaker 著 左 芬 译 【 译注：原文2024年10月4日刊载于QuantaMagazine，链接见文末。 】 如 何证明 ...
-
计算机科学家拓展可验证知识的疆域
- 热度 1
- 计算机科学家拓展可验证知识的疆域 在量子纠缠这一秘密武器的加持下，计算机可检验问题的王国不断扩张。 Kevin Hartnett 著 左 芬 译 【 译者按：这是MIP * =RE 定理最终得以证明的关键一步。对该工作，Thomas Vidick有一个非常简洁的评价：“随机性 ...
- 计算机科学证明揭露意外纠缠形式
- 热度 3
- 计算机科学证明揭露意外纠缠形式 三位计算机科学家发布了一份NLTS猜想的证明，说明纠缠粒子系统在偏离基态时仍难于分析。 Mordechai Rorvig 著 左 芬 译 【 译注：原文2022年7月18日发布于QuantaMagazine，链接见文末。 】 ...
