[論文レビュー] A Theorem of Joseph-Alfred Serret and its Relation to Perfect Quantum State Transfer

Maxim Derevyagin, Anastasiia Minenkova+1 more|arXiv (Cornell University)|Dec 27, 2019

Quantum Information and Cryptography参考文献 16被引用数 6

ひとこと要約

本稿は、ジョゼフ＝アルフレッド・セレの回文的連分数に関する定理と、量子スピン鎖における完全な量子状態転送の間の関係を確立する。セレの回文的連分数に関する基準を多項式連分数および対称三重対角行列（ヤコビ行列）の観点から再解釈することで、著者らは完全な量子状態転送が発生するのは、関連するJ分数が回文的であるとき、かつそのときに限ることを示した。これは、分子多項式の二乗から1を引いたものが分母多項式で割り切れるときに等価である。これにより、対称な再帰係数を用いた完全な状態転送の代数的特徴づけが得られる。

ABSTRACT

In this paper we recast the Serret theorem about a characterization of palindromic continued fractions in the context of polynomial continued fractions. Then, using the relation between symmetric tridiagonal matrices and polynomial continued fractions we give a quick exposition of the mathematical aspect of the perfect quantum state transfer problem.

研究の動機と目的

• 整数の連分数におけるセレの古典的定理を多項式連分数の文脈に再定式化すること。
• J分数の回文的構造とヤコビ行列の対称性の間の関係を確立すること。
• スピン鎖における完全な量子状態転送が、関連する連分数展開の回文的性質に正確に対応することを示すこと。
• セレの定理を整数から複素多項式の環へ一般化し、Q² − 1 がPで割り切れることが回文的P分数を特徴づけることの証明。

提案手法

• 整数係数を多項式に置き換えた多項式連分数（P分数）を用いて、セレの定理を再定式化する。
• 係数が一次多項式である特殊なP分数としてJ分数を定義し、ヤコビ行列と関連付ける。
• 収束項の三項再帰関係を用いて、量子状態転送のダイナミクスをモデル化する。
• 回文的J分数と鏡対称（ペルスプーシアス）ヤコビ行列との同値性を確立する。
• サイト0からサイトNへの完全な量子状態転送が発生するのは、関連するJ分数が回文的であるとき、かつそのときに限ることを証明する。
• セレの基準を多項式へ一般化：P分数が回文的であるのは、Q² − 1 がPで割り切れるとき、かつそのときに限る。

実験結果

リサーチクエスチョン

• RQ1 有限連分数が係数の回文的列を表すための代数的条件は何か？
• RQ2 J分数の回文的構造は、対応するヤコビ行列の対称性とどのように関係するか？
• RQ3 最近接相互作用を有するスピン鎖における完全な量子状態転送の正確な数学的条件は何か？
• RQ4 セレの回文的連分数に関する定理を整数から多項式の環へ拡張できるか？
• RQ5 ロンスキアン行列式は、連分数列の収束性および対称性を特徴づけるために果たす役割は何か？

主な発見

• 有理数 q/p の有限連分数表現が回文的であるのは、q² + 1 または q² − 1 が p で割り切れるとき、かつそのときに限る。
• 収束列 pk と qk のロンスキアンは符号を交互に変え、絶対値が1である。det(pk+1, pk; qk+1, qk) = (−1)^{k+1} を満たす。
• サイト0からサイトNへの完全な量子状態転送が発生するのは、関連するJ分数が回文的であるとき、かつそのときに限る。これはヤコビ行列がペルスプーシアスであることに対応する。
• 一般化されたセレの定理は多項式に対しても成り立つ：P分数が回文的であるのは、Q² − 1 がPで割り切れるとき、かつそのときに限る。ここで Q/P は真の有理関数である。
• ヤコビ行列の対称性（係数の鏡対称性）は、連分数の回文的構造と同値であり、測度の正性とは独立した代数的基準を提供する。
• 本結果は、完全な状態転送が、スペクトル的または測度論的性質に依存するのではなく、代数的対称性条件によって支配されることを示している。