Clifford+T量子力学に対するZX計算の完全公理化【JST・京大機械翻訳】

Jeandel Emmanuel; Perdrix Simon; Vilmart Renaud

文献

J-GLOBAL ID：202002240905659929 整理番号：20A1865080

Clifford+T量子力学に対するZX計算の完全公理化【JST・京大機械翻訳】

A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1865080&from=J-GLOBAL&jstjournalNo=D0698C") }}

著者 (3件)： , ,
資料名：
号： LICS ’18 ページ： 559-568 発行年： 2018年
JST資料番号： D0698C 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

量子力学のための最初の完全およびほぼ普遍的な図表言語を導入した。ZX-Calculus,CoeckeとDuncanによって導入された図式言語,を言語に2つの新しいアキシムを加えることによって,いわゆるClifford+T量子力学のために完成した。Clifford+T量子力学に対するZX-Calculusの完全性は,ZX-Calculusのπ/4-フラグメントとも呼ばれるが,これは,カテゴリ量子力学における主な未解決問題の一つである。整数行列を扱う計算である最近研究されたZW-Calculusを用いて,このフラグメントの完全性を証明した。また,ZX-Calculusのπ/4-フラグメントは,ダイアディック有理のリングのいくつかの有限次元拡張にわたって,すべてのマトリックスを正確に表現することを証明した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

, , ,
, 【Automatic Indexing@JST】

著者キーワード (4件)： , , ,

計算理論 , 量子力学一般

, ,

前のページに戻る