Notes on PPT Reconstruction for a Restricted 4-Qutrit Example

"The core concepts and mathematical derivations in this note were generated by an AI assistant. The author validated the results using symbolic verification code and structured the final manuscript."(本稿の核となる概念および数理的導出はAIアシスタントによって生成されたものである。著者は、記号検証コードを用いて結果を検証し、最終的な原稿を構成した。)(著者は、英語の校正および記号検証コードの生成におけるAIアシスタントの支援に感謝する。)本稿(Ver. 6.7)の作成にあたり、AI 言語モデル(Gemini および ChatGPT5.2Pro-Codex)を積極的に利用した。更新予定:理論内容、導出・検証、最終的な記述の判断については、著者が確認・編集し、説明や訂正などする責任を負う。そのため、逐次修正、追記、削除など行なっていく予定。この文章は記録として、残す。 本稿は、関心表明であり、AI を研究パートナーとして用いた試行の記録でもある。洗練は AI の生成能力に、未熟さや誤りの見落としは筆者の運用能力などに、それぞれ由来する。ここでいう研究成果とは、結論の最終的妥当性ではなく、問題設定・概念構成・導出過程とその限界を含む、検証手順を伴う思考の記録を指す。 future survey:PPTが線形になる条件の調査This work is under active development.更新(2026/1/2)Ver. 4.0で論理の欠陥が複数見つかったため,現在訂正中である更新(2026/1/11)Ver. 6.7でwitnessの証明を訂正(codex)"This is a preprint and has not been peer-reviewed yet." (これはプレプリントであり、査読は受けていません。)更新(2026/5/21)Ver8に本体があります。Ver9は問題設定を整理した文章だけあります。更新(2026/6/28) Ver. 10 において、参考文献リストの再整理および Lean による形式検証プログラムの訂正を進めている。あわせて、AI を用いた内容の再検証も実施中。引用された知識も学習中。注:本稿は未完成です。議論・導出・検証のいずれも、現時点では確定的な結論を保証するものではありません。