量子科技中心_量科网

对于基于光子学的量子计算机而言，一个核心问题在于合成能够模拟量子计算门的光子电路。该问题需要利用光子学元件构建出能以一定成功率模拟量子计算门的电路，这不仅涉及寻找能正确模拟量子门的电路结构，还需优化其成功概率。尽管已有多种方法被提出并应用于特定量子门，但这些方案通常缺乏可复用性。该研究团队开发了一种工具，采用Δ-弱化SMT求解器dReal来寻找此类光子电路、优化其实现概率，并确保结果的最优性。通过复现文献中的已知成果、扩展已有方案以及展示针对吉文斯旋转门的新结果，该工作验证了所提工具的实用性。