Generalizations of noisy quantum channels and constructions on quantum error-correcting codes for the channel

• Project/Area Number: 23K21642
• Project/Area Number (Other): 21H03393 (2021-2023)
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Multi-year Fund (2024); Single-year Grants (2021-2023)
• Section: 一般
• Review Section: Basic Section 60010:Theory of informatics-related
• Research Institution: Chiba University
• Principal Investigator: 萩原 学 千葉大学, 大学院理学研究院, 教授 (80415728)
• Project Period (FY): 2021-04-01 – 2026-03-31
• Project Status: Granted (Fiscal Year 2024)
• Budget Amount: ¥17,290,000 (Direct Cost: ¥13,300,000、Indirect Cost: ¥3,990,000); Fiscal Year 2025: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000); Fiscal Year 2024: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000); Fiscal Year 2023: ¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000); Fiscal Year 2022: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000); Fiscal Year 2021: ¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
• Keywords: 量子誤り訂正 / 量子符号 / 削除誤り / 符号理論 / 挿入誤り / 量子削除誤り / 量子挿入誤り / Knill-Laflamme条件 / 誤り訂正 / 組合せ論 / マルチ削除 / MDS符号 / 量子情報 / 量子誤り訂正符号 / 削除符号 / 平面配置 / 量子削除符号 / 量子挿入符号 / 挿入／削除符号

Outline of Research at the Start

目標は、既存の量子通信路を一般化したモデルに対する誤り訂正符号の理論的実現である。
もう１つの目標は、古典符号理論から自然に導かれる予想である。古典符号理論では、削
除誤りを訂正する符号は、削除誤りと挿入誤りを組合わせた誤り訂正できる、という強力な定理がある。この量子版を証明することが目標である。

Outline of Annual Research Achievements

量子削除符号の一般論を探るべく「Knill-Laflamme条件」および「削除誤りと挿入誤りの可換性」に関する考察を行い成果を得た。「Knill-Laflamme条件」とは、量子符号があるクラスの誤りに対して誤り訂正可能であることを局所的に解析する条件である。そのクラスにはパウリ誤りを含むことが知られている。今年度の研究において、量子削除誤り訂正ができない符号でもKnill-Laflamme条件を満たすことを反例を以て示した。これは、そのクラスに量子削除誤りが含まれないことを意味している。続く「削除誤りと挿入誤りの可換性」は、古典符号理論で良く知られた理論である。具体的には「ある系列Xに対して削除誤りと挿入誤りを順番に作用させて系列Yを得たとする。このとき、系列Xに対して挿入誤りと削除誤りを順番に作用させて系列Yを得ることができる。逆も真なり」という言明である。これが量子版では成り立たないことを、反例を以て示した。以上が今年度得られた主な理論的な成果である。
成果発表として、米国ハワイ大学でのセミナーでの講演、シンガポール南洋理工大学およびシンガポール国立大学での講演を行った。電子情報通信学会の会誌から量子削除誤り訂正に関する入門論文を招待論文として執筆依頼頂いた。すでに書き上げて投稿している。２０２４年度中に出版される予定である。
その他、削除誤り訂正符号の研究で得られた知見を活かして、Array Typeの古典削除誤り訂正符号について、韓国の江原大学校、西江大学校と共同研究を行い、論文として出版した。

Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

量子削除誤り訂正および量子挿入誤り訂正の研究は基礎理論が乏しく研究成果を挙げずらい。今年度は、他の量子誤り訂正や古典削除誤り訂正との本質的な差異があることを明らかにしたという意味で、基盤的な知見が得られた。こういった知見の積み重ねが続けることが、科学として大切なことと考えられる。

Strategy for Future Research Activity

量子削除誤り訂正符号の入門的な講演を各所で開催し、当該分野の研究人口を増やす活動を行いたい。量子削除誤り訂正符号は日本がリードしている。このリードを保てるように、国内の研究人口を増やしていく。一方で、海外にも知見を広めて、国際共同研究の機会を増やしつつ、日本のイニシアティブを確保する。

Research Products

• [Int'l Joint Research] National University of Singapore/Nanyang Technological University(シンガポール)
• [Int'l Joint Research] Kapiolani Community College/University of Hawaii/University of Colorado Boulder(米国)
• [Int'l Joint Research] Kangwon National University/Sogang University(韓国)
• [Int'l Joint Research] University of Hawaii/Kapiolani Community College/University of Colorado(米国)
• [Int'l Joint Research] University of Hawaii/Kapiolani Community College(米国)
• [Int'l Joint Research] National University of Singapore(シンガポール)
• [Journal Article] Multi Deletion/Substitution/Erasure Error-Correcting Codes for Information in Array Design (2023)
  • Author(s): HAGIWARA Manabu
  • Journal Title: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume: E106.A Issue: 3 Pages: 368-374
  • DOI: 10.1587/transfun.2022TAP0008
  • ISSN: 0916-8508, 1745-1337
  • Year and Date: 2023-03-01
  • Peer Reviewed
• [Journal Article] Array-designed reversible and complementary codes over GF(4) (2023)
  • Author(s): Hagiwara Manabu、Choi Whan-Hyuk、Kim Jon-Lark
  • Journal Title: Applicable Algebra in Engineering, Communication and Computing Volume: n.a. Issue: 3 Pages: 1-17
  • DOI: 10.1007/s00200-023-00622-6
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Equivalence of Quantum Single Insertion and Single Deletion Error-Correctabilities, and Construction of Codes and Decoders (2022)
  • Author(s): Shibayama Taro、Hagiwara Manabu
  • Journal Title: Proc. of 2022 IEEE International Symposium on Information Theory (ISIT) Volume: 1 Pages: 2970-2975
  • DOI: 10.1109/isit50566.2022.9834635
  • Peer Reviewed
• [Journal Article] Decoding algorithms of monotone codes and azinv codes and their unified view? (2022)
  • Author(s): Hokuto Takahashi, Manabu Hagiwara
  • Journal Title: Designs, Codes and Cryptography Volume: - Issue: 12 Pages: 2893-2922
  • DOI: 10.1007/s10623-021-01004-0
  • Peer Reviewed
• [Journal Article] Permutation-Invariant Quantum Codes for Deletion Errors (2021)
  • Author(s): Taro Shibayama, Manabu Hagiwara
  • Journal Title: Proceeding of 2021 IEEE International Symposium on Information Theory (ISIT) Volume: - Pages: 1493-1498
  • DOI: 10.1109/isit45174.2021.9517870
  • Peer Reviewed
• [Presentation] Construction of Quantum Deletion Error-Correcting Codes: Leveraging the Alternating Sandwich Mapping and Quantum Reed-Solomon Codes (2023)
  • Author(s): Manabu Hagiwara
  • Organizer: Colloquium, Department of Industrial Systems Engineering and Management, National University of Singapore
• [Presentation] Quantum Deletion Codes v.s. Quantum Insertion Codes (2023)
  • Author(s): Manabu Hagiwara
  • Organizer: Information Theory In Singapore Workshop
  • Int'l Joint Research / Invited
• [Presentation] 量子削除誤り訂正符号の構築法：交代サンドイッチ写像と量子リード・ソロモン符号の応用 (2023)
  • Author(s): Manabu Hagiwara
  • Organizer: 量子基礎論・量子情報オンラインセミナー
  • Invited
• [Presentation] 量子削除誤り訂正のための古典誤り訂正符号の構成 (2023)
  • Author(s): 萩原学
  • Organizer: 情報理論研究会
• [Presentation] 単一量子削除誤り訂正符号を与える分割の条件と例 (2022)
  • Author(s): 萩原学
  • Organizer: 第 47 回量子情報技術研究会
• [Presentation] Root Systems and Perfect Codes (2022)
  • Author(s): 萩原学
  • Organizer: Algebraic Lie Theory Seminar, the University of Colorado
  • Invited
• [Presentation] Toward cardinality optimality of a deletion error-correcting code by LEAN theorem prover (2022)
  • Author(s): 萩原学
  • Organizer: Logic Seminar, at the department of mathematics, the university of Hawaii
• [Presentation] 量子削除誤りおよび単一量子削除誤り訂正符号の構成例 (2022)
  • Author(s): 萩原学
  • Organizer: 第 46 回量子情報技術研究会