Growing a surface code
The ability to grow is a useful feature of surface codes. In 2002, Dennis, Kitaev et al. described an approach for growing a surface code by gradually adding qubits to edges. In the famous 2018 pap...
The ability to grow is a useful feature of surface codes. In 2002, Dennis, Kitaev et al. described an approach for growing a surface code by gradually adding qubits to edges. In the famous 2018 pap...
A common argument in quantum error correction is like, “this series of operations maps the logical $Z$ of code A to the logical $Z$ of code B, and the logical $X$ of A to the logical $X$ of B, so i...
读者可参阅英文版. 量子纠错中,解码含义有二,皆通。一是将逻辑比特映回物理比特的线路,为编码线路之逆;二是由所测得错误症状逆推错误的经典算法。 例如,对量子存储器,维持之则需持续运行上述第二义之经典解码算法,而第一义之解码线路,通常并不容错,几乎不用。然而,典型的魔态蒸馏过程则需运行第一义之解码线路,经典解码算法却非必要,其于魔态错误率之压制则有赖后选择的功效。 本博文无意详述两种解...
The reader may refer to the Chinese version. In the field of quantum error correction, the term “decoding” carries two distinct but equally relevant meanings. The first refers to the quantum circ...
The problem It is widely said that in a stabilizer-code-based error-corrected circuit, all Pauli corrections can be traced within software until a logical non-Clifford gate is to be applied. A com...
按:作者为Jonathan Haidt,有中译本《正义之心》。 典型的把读者当傻子的美式教学写法(无贬义),反复重复口号式的论点。缺点是有时觉得啰唆,优点是读得很轻松,随时拿起能读,没有太多心智负担。作者很喜欢用比喻来说明自己的论点,虽然他的比喻读来有种典型的想象力匮乏的科研工作者没活硬整的感觉。 观点很有启发性,结构清晰地分成三部,一是认为人的道德判断是直觉先于理性,二是所谓道德基础理...
最近研究的课题需要用到很多我不熟悉的数学和数值技术,因此我通过高强度使用大语言模型(LLM)来推进我的研究。像这样在能力边界上使用 LLM 是一件很有趣的事:它可以非常高效,但也会带来很多问题。 最严重的问题是我没有能力判断它是否犯了错。它向我介绍二维量子元胞自动机的分类时犯了事实错误——我后来查阅了原始论文才意识到;它计算 Tor 函子时犯了错误——我比较系统地学会了计算方法之后才意识到...
大学讲修身,基础是格物、致知、诚意、正心四条目。以我的体验而论,此四条可以赋予其现代的诠释。人应当观察学习,以认识自然和社会的基本规律,此之谓格物致知。然后应当真诚地倾听自己内心的声音,用这内心最真实的需求来调整自己的心态,以此达到修身的目的。 格物致知重在观察学习。当今世界的信息远比古代丰富,人应当立足现实,注意观察和收集尽量真实的信息,利用所学理论分析规律,尽可能有效地认识世界。没有对...
The Cleaning Lemma is an important property of stabilizer quantum codes. It states that for any region $R$ where no logical operator is supported, any logical operator passing through $R$ can be “c...
本文是一份尚不存在的线性代数讲义的引论部分. 作者认为, 第一节线性代数课可以这样讲.