
線形代数のただの演習問題だとも思うのですが、うまく解けないのでヒントをいただけたらと思います。
n次複素正方行列Aが密度行列であるとは、正定値行列で、トレースが1である行列であることとします。すなわちエルミート行列で、固有値は全部非負でその和が1になるような行列です。
このときAは{α_1,・・・,α_n}なる[0,1]の実数でα_1+・・・+α_n=1を満たすものと、rank 1の射影行列{P_1,・・・,P_n}で単位の分解になっているもの(すなわちrank P_i=1、P_iP_j=0[if i≠j]、P_i^2=P_i=P_i^*[^*は共役転置]、P_1+・・・+P_n=I_n[I_nはn次単位行列])によってA=α_1P_1+・・・+α_nP_nのように分解することができます。これをシャッテン分解というそうです。ただし分解の仕方に一意性はありません。
このとき-Σα_ilog(α_i)を密度行列Aのフォン・ノイマン・エントロピーと呼ぶのですが、これがシャッテン分解の仕方によらず一意的に決まることを証明したいです。よろしくお願いします。
No.2ベストアンサー
- 回答日時:
シャッテン分解というのはただ単に固有展開のひとつですよね?シャッテン分解の定義より{α_1,...α_n}は必ずAの固有値の集合でなければなりませんがそれはAが与えられれば一意です。
ありがとうございます。{α_1,...α_n}は集合としてはユニークに決まるんですね。P_iの方が一意的に決まらない場合があるから、α_iの方も動くものだと決め込んでつまってしまっていました。ところでシャッテン分解は確かに固有展開になっているように思いますが、それは自明にわかることなのでしょうか。たとえばP_iP_j=OからA=α_1P_1+・・・+α_nP_nの右辺は同時対角化できるので、固有分解であることは直ちにわかりますが、同時対角化とは少し大げさすぎる気もしますし。

No.4
- 回答日時:
シャッテン分解という言葉がどの分野で使われているのか知りませんが、聴く限りシャッテン分解というのは、エルミート行列の対角化のことでしょう。
知る限りでは、密度行列 A に対して、その von Neumann エントロピーの定義を
(i) S(A) = - tr( A logA )
としているようです。このとき、A を対角化すると、von Neumann エントロピーは
(ii) S(A) = -Σα_i logα_i
と書けます。
もし、(ii)を定義とするのなら、(ii)から(i)を導けば、エントロピーが分解によらないことが分かります。
どうもありがとうございます。対角化というよりはたぶん正定値エルミート行列(トレース1)のスペクトル分解といった方が正確なように思います。無限次元化して、トレースクラスに属する自己共役作用素で、トレースが1であるようなものに対しても同様にvon Neumann エントロピーを定義するようです。こちらもコンパクト作用素のスペクトル分解にしたがってシャッテン分解を考える、とのことでした。検索する限り量子通信とか量子情報で出てくる感じがします。
No.1
- 回答日時:
朝にこういう格調高い質問があると、背筋がシャンとして今日も一日頑張ろうか。
。と思いますよ。敬服します。良く分かりませんが
ほんの参考までですが
1)背理法はどうでしょう?具体的計算で示せれば比較的楽でしょうか。
2)分解の仕方A,Bが存在して、各エントロピーがa,b
a =/ b であったとする。==>矛盾を引き出す
3)計算の途中でシャッテン分解の性質を利用する。
4)矛盾が引き出せれば、数学としては解けたことになりますね!
難しそうです。頑張ってください。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 行列(I-βG)の逆行列が存在することの証明について 1 2023/06/23 01:33
- 数学 一般的な行列の逆行列に関する質問 3 2022/04/21 14:53
- 数学 線形代数 正則 階数 3 2023/03/22 07:52
- PHP 【スプレッドシート】順位のつけ方 2 2022/08/17 13:27
- Visual Basic(VBA) Excel(VBA) 特定の条件に該当する行の値、書式を同じセルにコピ&ペーストしたいです 1 2022/05/21 18:18
- 数学 線形代数の問題がわかりません 1 2022/07/08 17:05
- 数学 線形代数の問題がわかりません。 3 2022/07/08 17:07
- 数学 上三角行列のn乗の証明 2 2023/07/23 21:45
- Excel(エクセル) エクセルのデータ整形について 3 2022/11/12 00:27
- 数学 行列 線形代数 数学 区間行列 ブロック行列 逆行列 区間行列(ブロック行列)でA^-1を求めよとい 2 2022/05/06 00:25
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・思い出すきっかけは 音楽?におい?景色?
- ・あなたなりのストレス発散方法を教えてください!
- ・もし10億円当たったら何に使いますか?
- ・何回やってもうまくいかないことは?
- ・今年はじめたいことは?
- ・あなたの人生で一番ピンチに陥った瞬間は?
- ・初めて見た映画を教えてください!
- ・今の日本に期待することはなんですか?
- ・【大喜利】【投稿~1/31】『寿司』がテーマの本のタイトル
- ・集中するためにやっていること
- ・テレビやラジオに出たことがある人、いますか?
- ・【お題】斜め上を行くスキー場にありがちなこと
- ・人生でいちばんスベッた瞬間
- ・コーピングについて教えてください
- ・あなたの「プチ贅沢」はなんですか?
- ・コンビニでおにぎりを買うときのスタメンはどの具?
- ・おすすめの美術館・博物館、教えてください!
- ・【お題】大変な警告
- ・【大喜利】【投稿~1/20】 追い込まれた犯人が咄嗟に言った一言とは?
- ・洋服何着持ってますか?
- ・みんなの【マイ・ベスト積読2024】を教えてください。
- ・「これいらなくない?」という慣習、教えてください
- ・今から楽しみな予定はありますか?
- ・AIツールの活用方法を教えて
- ・最強の防寒、あったか術を教えてください!
- ・【大喜利】【投稿~1/9】 忍者がやってるYouTubeが炎上してしまった理由
- ・歳とったな〜〜と思ったことは?
- ・モテ期を経験した方いらっしゃいますか?
- ・好きな人を振り向かせるためにしたこと
- ・スマホに会話を聞かれているな!?と思ったことありますか?
- ・それもChatGPT!?と驚いた使用方法を教えてください
- ・見学に行くとしたら【天国】と【地獄】どっち?
- ・これまでで一番「情けなかったとき」はいつですか?
- ・この人頭いいなと思ったエピソード
- ・あなたの「必」の書き順を教えてください
- ・14歳の自分に衝撃の事実を告げてください
- ・人生最悪の忘れ物
- ・あなたの習慣について教えてください!!
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
宇宙は、開放系ですか?それと...
-
標準状態において、1molの水が-...
-
地球の誕生とエントロピーについて
-
dU=TdS-pdVはどうやって出て...
-
標準反応エントロピー
-
飽和した食塩水に砂糖は溶ける...
-
混合による、融点の低下のメカ...
-
エントロピーについて 公式につ...
-
エントロピーは増大する一方で...
-
指数の計算で 底は同じで異符号...
-
どんな集団にもある一定の割合...
-
日本語のアクセントについて教...
-
断熱圧縮は等エントロピー変化...
-
徳山と在日朝鮮人
-
0.5の-3乗が8な理由(急いでます)
-
ガソリンについて詳しいデータ...
-
どうすれば4乗根3の2乗(?)がル...
-
エントロピー 偏微分から全微分?
-
フェヒナーの法則について簡単...
-
こそ~けれは係助詞ですか?そ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
標準反応エントロピー
-
dU=TdS-pdVはどうやって出て...
-
なぜ、エネルギーの変換効率が...
-
宇宙は、開放系ですか?それと...
-
凝固の際、エントロピーは増加...
-
標準状態において、1molの水が-...
-
どうすれば4乗根3の2乗(?)がル...
-
日本語のアクセントについて教...
-
断熱流と等エントロピー流の違...
-
「論理」と「理論」の意味を小...
-
最大エントロピー原理をpython...
-
断熱圧縮は等エントロピー変化...
-
DNAが右巻き螺旋だけ! なぜで...
-
Matthiessenの法則
-
「楽しい」とは何ですか?
-
哲学でいう反エントロピーとは...
-
フェヒナーの法則について簡単...
-
0.5の-3乗が8な理由(急いでます)
-
飽和した食塩水に砂糖は溶ける...
-
氷から水になるときのエントロ...
おすすめ情報