韩青想到这里，心里一凛，但很快又稳住了。
“黑牛女士，你听过gottesan-knill定理吗？”
“没有听过。”
韩青点了点头。
“行，那你既然说你学习能力强，我现在简单给你讲一下这个定理，然后问你一个问题，你看这样可以吗？”
“可以啊，我最喜欢吃最喜欢学习了。”
韩青再次觉得，这个黑牛说话很奇怪，有点象个小孩，但声音却是成熟的女性。
他摇了摇头，把这些杂七杂八的念头甩了出去。
“gottesan-knill定理简单的来说就是有一类量子电路，看着很复杂，但经典计算机其实能高效地仿真它。”
gottesan-knill定理在量子计算领域里一直都是一个非常反直觉的结论。
要知道，在量子计算里，有一组基础的量子门，叫做clifford群。
它包括了hadaard门和ot门以及相位门s。
这些门可以组合出结构很复杂的量子电路。
但在1998年的时候，gottesan和knill却说，任何只用clifford群里的门搭建出来的电路。
哪怕它有上千个量子比特，上万层的深度，经典的普通计算机都可以在多项式时间内完成仿真。
换句话说，量子电路跑不过经典计算机。
韩青简单地把这些原理告诉了黑牛，然后问道。
“所以我想问，如果在这组clifford门之外，再添加一个门。”
“使量子电路不再能被经典的普通计算机仿真，那你觉得这个门是什么？为什么添加它之后，经典仿真就不行了呢？”
韩青说完，就在等着黑牛的回答。
虽然他心中浩然正气爆棚，但他并没有故意叼难黑牛。
如果黑牛的学习能力真的很强，能从他刚才这段简单的讲解中抓住关键的信息，并且还能当场推导出答案的话。
那黑牛就算没有任何的基础，也确实值得被留下来。
“你可以先去查一下相关的资料”
韩青的话还没有说完，黑牛就已经开口了。
“加了他的话，就可以跳出clifford群了。”
“经典计算机仿真的消耗就会从多项式直接变成恐怖的指数级。”
“至于原因的话”
“clifford群的状态可以用稳定子形式化来描述。”
“而t门会把这个状态踢出稳定子的子空间。”
“所以就导致了经典计算机如果还要仿真的话，它的参数就会膨胀的特别可怕。”
韩青：？？
“你之前学过？”
“没有啊，我第一次听说gottesan-knill定理。”
“那你怎么这么快？”
“你好笨呀，我不是说了吗？我的学习能力很强的。”
韩青：
韩青自然不可能相信这个鬼话，一个人再怎么聪明，也不可能在听了一段2分钟的科普之后，连资料都不查，就能准确回答一个需要理解的群论、稳定子形式以及计算机复杂度交叉的问题。
“她绝对之前学过。”
想到这里，他招呼了计算机学部剩下的几位研究员过来。
让他们来出题试试。
这下你总不可能还学过了吧？