The Phase Ordering Problem for Quantum Circuit Compilation

量子电路编译的相序问题

基本信息

  • 批准号:
    2744426
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    Studentship
  • 财政年份:
    2022
  • 资助国家:
    英国
  • 起止时间:
    2022 至 无数据
  • 项目状态:
    未结题

项目摘要

By leveraging the laws of quantum mechanics, quantum computing potentially allows us to perform tasks faster than a classical computer. Current devices are noisy, so algorithmsdesigned for fault-tolerant quantum computers cannot be reliably performed. Improvements made upon the resources required to execute such algorithms will enable larger tasks to beaccurately solved on a quantum computer, bringing us closer to quantum advantage. This proposal presents directions of research in programming language theory and circuit compilation, with the aim of designing new tools for quantum computing research and development.Although impressive progress has been made in developing new quantum algorithms and hardware, in practice quantum programs are still defined using circuits, which are akin to assembly code in classical computing. This is not a sensible way to design large-scale quantum applications, as it prevents the programmer from expressing their ideas in a modular, reusable manner. To fully take advantage of quantum advantage, it is necessary to develop semantics for classical-quantum programming. The algebraic framework proposed by Prof. Sam Staton [1], which characterises the unclonability of quantum information using linear type theory, is a good foundation for implementing a classical-quantum programming language which can use algebraic effects to separate the local classical computation from external quantum computation that permits only linear use of resources. This separation will enable the development of more advanced, less error-prone software that is easier to analyse for acompiler.Although ZX-calculus has enabled the development of new and effective rewrite rules for simplifying circuits [2], there is a lack of research in how to select and apply such rewriterules: many papers on circuit compilation propose new rewrite rules and combine them into a greedy routine without leveraging existing rewrite rules. In general, diagrammaticrewriting is a non-confluent operation, so the order in which the compilation phases are applied can severely impact the results. Meanwhile, this problem of phase ordering has beenmore thoroughly studied in the field of classical compilation [3]. My plan is to use pauliopt, a Pauli gadget based library developed by Dr. Stefano Gogioso and me during my master'sthesis, as a framework for implementing the new optimisation routines that I will develop over the course of the DPhil. As a starting point, I will use machine learning to find theoptimal compilation phase ordering of a given circuit. Then, I will incorporate other phase gadget rewrite rules such as the spider nest identities, which have been naively applied toachieve state-of-the-art T-count reduction.In my opinion, the development of open-source software is crucial to the field of quantum computing, so my papers that propose algorithms are accompanied with implemented code.[4, 5] To demonstrate their effcacy and benefits, the techniques developed over the course of the DPhil will be accompanied with implementation and experiments. In particular, Iwill focus on applying QML techniques to NLP, a field I have gained experience in from my work and undergraduate studies. With the excellent resources and supervision that Oxfordprovides, I believe I will be able to achieve state-of-the-art results and advance the field of quantum computing.My project falls within EPSRC Quantum Technologies area.
通过利用量子力学定律,量子计算有可能让我们比传统计算机更快地执行任务。目前的设备有噪声,因此为容错量子计算机设计的算法不能可靠地执行。对执行这种算法所需资源的改进将使更大的任务能够在量子计算机上精确解决,使我们更接近量子优势。本文提出了程序设计语言理论和电路编译的研究方向,旨在为量子计算的研究和发展设计新的工具。尽管在开发新的量子算法和硬件方面取得了令人印象深刻的进展,但在实践中,量子程序仍然使用电路来定义,这类似于经典计算中的汇编代码。这不是设计大规模量子应用程序的明智方法,因为它阻止程序员以模块化、可重用的方式表达他们的想法。为了充分利用量子的优势,有必要发展经典量子规划的语义。Sam Staton教授提出的代数框架,利用线性类型理论表征了量子信息的不可克隆性,为实现经典量子编程语言奠定了良好的基础,该语言可以利用代数效应将局部经典计算与只允许线性使用资源的外部量子计算分离开来。这种分离将使开发更高级、更不容易出错的软件成为可能,更容易为编译器分析。虽然ZX-calculus已经开发出新的有效的重写规则来简化电路[2],但是在如何选择和应用这些重写规则方面缺乏研究:许多关于电路编译的论文在没有利用现有重写规则的情况下提出了新的重写规则并将其组合成一个贪心例程。一般来说,图表编写是一种非合流操作,因此应用编译阶段的顺序会严重影响结果。同时,这一相序问题在经典编译领域得到了较为深入的研究[0]。我的计划是使用pauliopt,这是Stefano Gogioso博士和我在硕士论文期间开发的基于泡利小工具的库,作为实现我将在博士课程中开发的新优化例程的框架。作为起点,我将使用机器学习来找到给定电路的最佳编译阶段顺序。然后,我将合并其他相位小工具重写规则,例如蜘蛛巢恒等式,它被天真地应用于实现最先进的t计数减少。在我看来,开源软件的发展对量子计算领域至关重要,所以我提出算法的论文都附有实现的代码。[4,5]为了证明它们的功效和益处,在哲学博士课程中开发的技术将伴随着实施和实验。特别是,我将专注于将QML技术应用于NLP,这是我从工作和本科学习中获得的经验。在牛津提供的优秀资源和监督下,我相信我能够取得最先进的成果,推动量子计算领域的发展。我的项目属于EPSRC量子技术领域。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

其他文献

吉治仁志 他: "トランスジェニックマウスによるTIMP-1の線維化促進機序"最新医学. 55. 1781-1787 (2000)
Hitoshi Yoshiji 等:“转基因小鼠中 TIMP-1 的促纤维化机制”现代医学 55. 1781-1787 (2000)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
LiDAR Implementations for Autonomous Vehicle Applications
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
生命分子工学・海洋生命工学研究室
生物分子工程/海洋生物技术实验室
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
吉治仁志 他: "イラスト医学&サイエンスシリーズ血管の分子医学"羊土社(渋谷正史編). 125 (2000)
Hitoshi Yoshiji 等人:“血管医学与科学系列分子医学图解”Yodosha(涉谷正志编辑)125(2000)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Effect of manidipine hydrochloride,a calcium antagonist,on isoproterenol-induced left ventricular hypertrophy: "Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,K.,Teragaki,M.,Iwao,H.and Yoshikawa,J." Jpn Circ J. 62(1). 47-52 (1998)
钙拮抗剂盐酸马尼地平对异丙肾上腺素引起的左心室肥厚的影响:“Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:

的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('', 18)}}的其他基金

An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
  • 批准号:
    2901954
  • 财政年份:
    2028
  • 资助金额:
    --
  • 项目类别:
    Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
  • 批准号:
    2896097
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
  • 批准号:
    2780268
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
  • 批准号:
    2908918
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂:了解燃料-不锈钢界面
  • 批准号:
    2908693
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
  • 批准号:
    2908917
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
  • 批准号:
    2879438
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型,以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
  • 批准号:
    2890513
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年,预计 2024 年 10 月
  • 批准号:
    2879865
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
  • 批准号:
    2876993
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship

相似国自然基金

基于P-ordering的Bhargava阶乘在函数中的若干应用
  • 批准号:
    12001312
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Enabling L10 Ordering in Bulk FeNi Alloys and an Alternative for Nd2Fe14B- Based Permanent Magnets
实现散装 FeNi 合金的 L10 订购以及基于 Nd2Fe14B 的永磁体的替代品
  • 批准号:
    2400480
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
CAREER: Local Chemical Ordering-Assisted Faulting Plasticity in Complex Concentrated Alloys
职业:复杂浓缩合金中的局部化学有序辅助断层塑性
  • 批准号:
    2339155
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Ordering the disordered in Parkinson's disease to derive peptide inhibitors of alpha-synuclein toxicity
命令帕金森病患者衍生出α-突触核蛋白毒性的肽抑制剂
  • 批准号:
    2884235
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Studentship
Exploration of novel electromagnetic coupling in organic conductors by the combination of molecular arrangement and magnetic ordering
分子排列与磁有序相结合探索有机导体中新型电磁耦合
  • 批准号:
    23K03333
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Effects of age of acquisition and of community on argument ordering
习得年龄和社区对论证顺序的影响
  • 批准号:
    10825319
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
Simultaneous Wide and Small Angle Operando Neutron Total Scattering to Probe Electrolyte Ordering in Supercapacitors
同时进行广角和小角操作中子全散射来探测超级电容器中的电解质排序
  • 批准号:
    2879388
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Studentship
TASK ORDER 01 COCAINE INTERACTION SAFETY STUDIES IN RATS. TOXICOLOGICAL EVALUATIONS OF POTENTIAL MEDICATIONS IDIQ. ORDERING PERIOD: 09/12/2023 - 09/11/2024. NIDA REF. NO. N01DA-23-8939
任务单 01 可卡因相互作用在大鼠中的安全性研究。
  • 批准号:
    10947939
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
Ordering in supercooled liquid and medium-range order of glass
过冷液体订购和玻璃中程订购
  • 批准号:
    23K03351
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
CSR: Small: Squeezing More Performance Out of Distributed Storage Systems With a Transparent Ordering-Control Layer
CSR:小:通过透明排序控制层从分布式存储系统中榨取更多性能
  • 批准号:
    2327609
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Maximizing the Performance of Practical Transistors by Elucidating the Ordering Process of Organic Semiconductors
通过阐明有机半导体的订购过程,最大限度地提高实际晶体管的性能
  • 批准号:
    23KJ0396
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了