报告一  15:00-16:00  冯元量子马尔可夫链的模型检测

摘要：模型检测已被证明在经典密码协议中是有效地，但是在量子系统中应用却是困难的：量子态的空间是连续的甚至在有限维也是。为了克服这些困难，我们引入了量子马尔科夫链，尤其是模型化了量子密码协议，这种情况下，量子效能被编译为超算子标记转换，使得局域信息经典化。我们还定义了量子版本的概率计算树逻辑（PCTL）同时发展了有效地量子马尔科夫链的模型检测算法。

报告二 16:30-17:30  谢明修逼近分辨和可区分范式中的一个严格的分层

摘要：考虑带任意小的错误概率通过局部操作和经典通信（LOCC）区分量子态的问题。最典型的例子就是对于对称态的区分，我们解决了这个领域的一些问题。首先，基于文献[Kleinmann etal. Phys. Rev. A 84 042326 (2011)] 中的对称区分准则来解决经典“双倍-三倍”系综问题，进而解决了长期遗留的LOCC子优化的猜想。讨论了三倍体态的N拷贝比且建立了N拷贝系综与Shor单拷贝系综的紧密联系。对于任意有限的N，证明了这种优化特征不能由LOCC获得。当N→ ∞时，LOCC却可以区分最优态。最后，研究区分范数的问题，获得了通过对称LOCC完美区分任意尺寸多体态的必要条件。使用该推广结果研究了LOCC与分离范数间的关系。

冯元，男，博士、副教授，ARC(Australian Research Council) Future Fellowship。2004年获清华大学博士学位。2006年全国百篇优秀博士论文获得者。清华大学计算机系、悉尼科技大学副教授。从事量子计算、量子程序语言以及量子信息论的研究。在ACM Transactionson Programming Languages and Systems，ACM Transactions on ComputationalLogic, IEEE Transactions on Information Theory，Physical Review Letters，PhysicalReview A等国际期刊上发表论文44篇。在ACM Symposium on Principles of Programminglanguages，IEEE Computer Security Foundations Symposium等国际顶级会议上发表文章7篇。

谢明修，博士(后), 男, 1999年国立台湾大学电子工程学士学位，2001年国立台湾大学电子工程硕士学位，2008年南加州大学电子工程博士学位。2012年剑桥大学量子信息与基础中心博士后出站。2012年至今在悉尼科技大学工作。先后获得南加州大学优秀学术论文、优秀学术贡献奖和UTSChancellors Postdoctoral Research Fellowships等。研究领域：Quantuminformation theory and quantum computation, 主要工作集中在量子编码，量子香农理论，量子纠缠和量子系统仿真的应用等方面。发表SCI文章29篇，其中Science一篇，PhysicalReview Letters 一篇, IEEE Transactions on Information Theory 十一篇。