文献

J-GLOBAL ID：201602214067466010   整理番号：16A0020489

凝集Khovanovホモトピー型理論における位相幾何学的量子計算と幾何学的量子計算

Topological and Geometrical Quantum Computation in Cohesive Khovanov Homotopy Type Theory

著者 (1件)： OSPINA Juan (EAFIT Univ., Medellin, COL)
資料名： Proceedings of SPIE  (Proceedings of SPIE)
巻： 9500  ページ： 95000Z.1-95000Z.21  発行年： 2015年 
JST資料番号： D0943A  ISSN： 0277-786X  CODEN： PSISDG  資料種別： 会議録 (C)
記事区分： 短報  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 標記理論の枠内で標記二種の量子計算に対する形式的基礎付けを与えた。これにより量子アルゴリズムの概念が解明できる。「開-閉ストリング状位相幾何学的量子計算機」はKhovanovホモトピーを計算でき,普遍的な量子計算機である。この場合の普遍代数はFrobenius代数である。開-閉ストリング状位相幾何学的量子計算機の数学的設計は,一般化Frobenius代数に対する計算と定理証明である。

シソーラス用語： *量子計算 ,  *位相幾何学 ,  ホモトピー ,  超対称性 ,  ホモロジー ,  コホモロジー ,  *計算機アルゴリズム ,  普遍性 ,  *定理証明 ,  Hilbert空間
準シソーラス用語： トポロジー ,  量子アルゴリズム ,  Frobenius代数 ,  代数 ,  自動定理証明

分類 (2件)： 量子力学一般  (BA06010C) ,  計算理論  (JB02000A)

タイトルに関連する用語 (6件)： 凝集 ,  ホモトピー ,  型理論 ,  位相幾何学 ,  量子計算 ,  幾何学