Post List
Quantum Random Walk
我的意识因沉重和慵懒而黏糊糊地沉沦着,与此同时,新陈代谢也在无声地进行着。
# 一个简单的想法和 Szegedy quantum walk
给定一个图G=(V,E)G=(V,E)G=(V,E),我们希望在上面随机游走。这个游走的过程最朴素的想法就是,有这样一个变换:
对于任意一个点j∈Vj\in Vj∈V,变换为:
∣j⟩↦1deg(j)∑k:(j,k)∈E∣k⟩|j\rangle\mapsto \frac{1}{\sqrt{\deg(j)}}\sum_{k:(j,k)\in...
more...
傅里叶变换 (绕过群表示论,单位根)
学群表示论时,对 Fourier basis 和 Fourier transformation 有了个理解。
学布尔函数分析时,有了新的理解。
学量子密码学时,又有了新的理解。
Category Theory (Course Exercise Solutions)
Department of Computer Science and Technology – Course pages 2022–23: Category Theory – Course materials (cam.ac.uk) 自己做了下,感觉很有趣
Galois Connection & Galois Embedding
黄前久美子:“不嫉妒比自己优秀的人,到底是优点还是缺点呢,我应该说些什么吗。这种小事让我不自觉地思考,有种令人害怕却无法否认的要钻进牛角尖里的感觉,它将我的不成熟摆在眼前,我也因此竭尽全力。”
A Correctness and Incorrectness Program Logic
ROBERTO BRUNI, University of Pisa, Italy
ROBERTO GIACOBAZZI, University of Verona, Italy
ROBERTA GORI, University of Pisa, Italy
FRANCESCO RANZATO, University of Padova, Italy