XiaoMi-AI文件搜索系统
World File Search Systemwetering
使用 ZX 演算简化稳定器分解模拟量子电路 Kissinger, A.; Wetering, JMM van de 2022，文章 / 致编辑的信
摘要 我们介绍了一种用于量子电路强经典模拟的增强技术，该技术将“稳定器求和”方法与基于 ZX 演算的自动简化策略相结合。最近有研究表明，通过将电路中的非稳定器门表示为魔法状态注入，并将它们一次分解为 2-6 个状态的块，可以对量子电路进行经典模拟，从而获得（可有效模拟的）稳定器状态的总和，并且比简单方法的项少得多。我们将这些技术从具有魔法状态注入的 Clifford 电路的原始设置改编为通用 ZX 图，并表明通过将这种“分块”分解与基于 ZX 演算的简化策略交错，我们可以获得比现有方法小几个数量级的稳定器分解。我们说明了这种技术如何对具有多达 70 个 T 门的随机 50 和 100 量子比特 Clifford + T 电路的输出以及 Bravyi 和 Gosset 先前考虑过的具有超过 1000 个 T 门的隐藏移位电路系列执行精确范数计算（从而进行强模拟）。
减少量子电路中非 Clifford 门的数量 Kissinger, A.; Wetering, John van de 2020，文章 / 致编辑的信（Physical Review A
我们提出了一种减少电路中非 Clifford 量子门（特别是 T 门）数量的方法，这是有效实现容错量子计算的重要任务。此方法与大多数基准电路中无辅助 T 计数减少的先前方法相当或优于后者，在某些情况下可带来高达 50% 的改进。我们的方法首先将量子电路表示为 ZX 图，这是一种张量网络结构，可以根据 ZX 演算规则进行变换和简化。然后，我们扩展了最近的简化策略，添加了一个不同的成分，即相位小工具化，我们使用它通过 ZX 图传播非 Clifford 相位以找到非局部抵消。我们的程序可不加修改地扩展到任意相位角和变分电路的参数消除。最后，我们的优化是自检的，也就是说，我们提出的简化策略足够强大，可以独立验证输入电路和优化输出电路的相等性。我们已经在开源库 P y ZX 中实现了本文的例程。
（ICECET 2024）会议计划（在线零件）-CDN
230 Ion Barosan，Thijs Koenraadt，Huub van de wetering Proteus：通过3D可视化系统模型243 Yusuke Mori，Zihe Li，Gento Mogi Refinery过渡过程，用于增强基于模型的系统工程的框架
摘要集 (pdf)
Simon Martiel（Atos Quantum Lab） Hector Miller-Bakewell Mio Murao（东京大学） Glaucia Murta（杜塞尔多夫海因里希海涅大学） Ognyan Oreshkov（布鲁塞尔自由大学） Prakash Panangaden（麦吉尔大学） Simon Perdrix（Loria） Lidia del Rio（苏黎世联邦理工学院） Julien Ross（达尔豪斯大学） Mehrnoosh Sadrzadeh（伦敦大学学院） Ana Belén Sainz（格但斯克大学） John Selby（格但斯克大学） Rui Soares Barbosa（国际伊比利亚纳米技术实验室） Rob Spekkens（Perimeter 研究所） Isar Stubbe（滨海大学） Benoit Valiron（巴黎萨克雷大学） Jamie Vicary（剑桥大学） John van de Wetering (奈梅亨内梅亨拉德堡大学) Alexander Wilce (萨斯奎哈纳大学) 应明胜 (悉尼科技大学) Vladimir Zamdzhiev (Loria) Margherita Zorzi (维罗纳大学)
人类 - 界面 - 甲状腺素至研究的 - 眼曲面 -
玛丽·弗拉姆（Marie Flag-He）在狮子，1，2， * jeroen korving，1，1，1 19 5 Yawata nobuyo，6，7，7 Yawata，9，9，10，10，12，12，13，14 L.S.
人类结膜器官研究眼表稳态和疾病
玛丽·弗拉姆（Marie Flag-He）在狮子，1，2， * jeroen korving，1，1，1 19 5 Yawata nobuyo，6，7，7 Yawata，9，9，10，10，12，12，13，14 L.S.