Construction of Mathematical Logic System to Verify Quantum Communication Networks and Its Quantum Computational Implications
验证量子通信网络的数学逻辑系统的构建及其量子计算意义
基本信息
- 批准号:22KJ1483
- 负责人:
- 金额:$ 1.6万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for JSPS Fellows
- 财政年份:2023
- 资助国家:日本
- 起止时间:2023-03-08 至 2025-03-31
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
本年度は、様相論理(動的論理・線形時相論理)を拡張することで、量子プログラム(量子通信プロトコルを含む)の数理論理体系を構築した。(1)量子プログラムの代数として量子動的代数(Quatum Dynamic Algebra)を新たに提案した。この代数は従来の動的量子論理(Dynamic Quantum Logic)とは異なり、繰り返しを表すクリーネスターを扱える。さらに、量子システムを表現する量子状態遷移系から量子動的代数を構成する方法を確立した。以上の成果を国際会議International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC 2022)において発表した。さらに、同成果はCEUR Workshop Proceedingsに掲載された。(2)線形時相量子論理(Linear Temporal Quantum Logic, LTQL)を新たに提案した。古典計算とは異なり、量子計算には通常の計算(量子ゲート)に加えて測定という操作がある。しかし、従来の線形時相論理には測定を表現するオペレータがない。そこで、さらに動的量子論理のアイディアに基づいてLTQLに測定オペレータを追加した動的線形時相量子論理(Dynamic Linear Temporal Quantum Logic, DLTQL)を提案し、その数学的性質を調べた。以上の成果は国際学術誌ACM Transactions on Computational Logicに掲載された。
は this year, others in logical logical, linear phase when the logical (dynamic) を company, zhang す る こ と で, quantum プ ロ グ ラ ム (quantum communication プ ロ ト コ ル を む) を の mathematical logical system to construct し た. (1) Quantum プログラム プログラム Algebra と て て the algebra of quantum Dynamic (Quatum Dynamic Algebra)を new たに proposal た た. こ の algebra は 従 to の Dynamic Quantum theories, Dynamic Quantum Logic) と は different な り, Qiao り return し を table す ク リ ー ネ ス タ ー を Cha え る. Youdaoplaceholder0, quantum システムを representation する quantum state transition system ら ら the algebraic を composition of quantum motion する method を establishment of た た. The above <s:1> achievements を International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC 2022)にお にお て release た. Youdaoplaceholder0, the same achievement に CEUR Workshop Proceedingsに is presented in された. (2) Linear Temporal Quantum Logic (LTQL)を New たに proposal たに た. Classical computing と は different な り, quantum computing に は usually の calculation (quantum ゲ ー ト) に plus え て determination と い う operation が あ る. The <s:1> 従 and 従 are used to measure the を performance of the <s:1> linear phase theory に に, する, ペレ, タがな and タがな. そ こ で, さ ら に moving Quantum logical の ア イ デ ィ ア に base づ い て LTQL に determination オ ペ レ ー タ を additional し た move when Linear phase Quantum theories, Dynamic Linear Temporal Quantum Logic, DLTQL) を proposal し, そ の mathematical properties of を adjustable べ た. The above <s:1> achievement is published in the international academic journal ACM Transactions on Computational Logicに された.
项目成果
期刊论文数量(3)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
An Algebra of Quantum Programs with the Kleene Star Operator
Kleene Star 算子的量子程序代数
- DOI:
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:段野下 宙志;長谷川 寛;樋口 翔;松田 広志;川崎 卓郎;Stefanus Harjo;梅澤 修;Tsubasa Takagi;Tsubasa Takagi
- 通讯作者:Tsubasa Takagi
Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
量子逻辑的线性时间扩展及其动态方面的语义分析
- DOI:10.1145/3576926
- 发表时间:2023
- 期刊:
- 影响因子:0.5
- 作者:段野下 宙志;長谷川 寛;樋口 翔;松田 広志;川崎 卓郎;Stefanus Harjo;梅澤 修;Tsubasa Takagi
- 通讯作者:Tsubasa Takagi
{{
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 }}
高木 翼其他文献
Jaw1はITPRsとの相互作用を介して細胞内Ca2+シグナルの振幅を制御する
Jaw1 通过与 ITPR 相互作用控制细胞内 Ca2+ 信号的幅度
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
奥村 航;松井 仁美;小薗 拓馬;佐藤 展之;高木 翼;殿塚 隆史;西河 淳 - 通讯作者:
西河 淳
高木 翼的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}