最近想研究一下基于测量的量子计算，因为对测量和SPT有点兴趣。

Frame of MBQC

根据输入/输出是经典信息还是量子的，分为CC（Classical-Classical）, CQ （Classical-Quantum）等。

Universality of MBQC

根据文献，所有严格universal的资源都是最大纠缠态。

是否可以找到approximate universal的非最大纠缠态资源？
Approximate universal 的定义？

对于对称群，可以找到一组投影表示 ，对应乘法关系为：

$V(g) V(h) = \omega (g,h) V(gh)$

注意到群元素的投影表示之间的乘法关系和群乘法不一样，多了一个系数，这个系数叫作一个2-cocycle.

一维的对称性保护拓扑序的不同相（phase）就对应于的等价类，称为上同调类（cohomology classes），记作.

拓扑简并的基态和边界条件有关。在开放边界条件下，可以用上面提到的投影表示来表示自由度。对于周期边界条件，可以人为定义一个边界，然后