QuantumKitHub/TensorKit.jl

何を解決するか

TensorKit.jl は、対称性を持つテンソルを効率的に表現・操作するためのフレームワークを提供します。特に、対称性群に対して不変なテンソルの処理において、対称性を保持しつつパフォーマンスを最適化する問題を解決し、量子多体系のシミュレーションに特に適しています。

仕組み

このパッケージは、圏論に基づいた構造を用いて、テンソルを空間間の写像として表現します。TensorMap 型とテンソルの縮約・分解のためのメソッドを提供します。パフォーマンスが重要なテンソル因子分解（SVD、QR、固有値分解など）には MatrixAlgebraKit.jl を活用し、TensorOperations.jl との統合により @tensor マクロを用いた高レベルなテンソル縮約を実現しています。

対象ユーザー

対称性の複雑な性質を持つテンソルを扱う必要がある、テンソルネットワークアルゴリズムや量子多体系のシミュレーションに取り組む研究者や開発者。

特徴

• 対称性を意識した計算: 対称性群に対して不変なテンソルを特に設計されており、操作中にこれらの対称性を保持します。
• 高度な因子分解: MatrixAlgebraKit.jl を通じて、切り捨てられたSVD、固有値分解、極分解など、幅広い分解をサポートします。
• 拡張可能な対称性サポート: 一般的な対称性を標準搭載していますが、SUNRepresentations.jl などのパッケージにより SU(N) サポートを拡張可能です。
• テンソルネットワークとの統合: MPSKit.jl、MERAKit.jl、PEPSKit.jl などの上位レベルのライブラリの基盤として機能します。