• ベストアンサー

量子状態について

混合状態を含む一般の量子状態 ρ は有限次元の場合、 (positive Hermite で trρ=1 の)行列ですが、その要素は 有界なんでしょうか? 2次元だったら、3つの要素が Bloch sphere 内の 3次元ベクトルで表現できるので有界ですが、 一般の場合はどうなんでしょうか? よろしくお願いします。

質問者が選んだベストアンサー

  • ベストアンサー
  • motsuan
  • ベストアンサー率40% (54/135)
回答No.2

例えば行列の(1,1)成分が1(それ以外が0)の行列から ユニタリ行列により他のすべて状態(?)に変換できます。 このときユニタリ行列は有界なので、その変換した値も有界になる というように考えればいいのではないでしょうか? (ユニタリ行列が有界になるのはその作り方からあきらか  でしょう(確率の保存)。たぶん。)

その他の回答 (1)

  • motsuan
  • ベストアンサー率40% (54/135)
回答No.1

なにぶん量子状態の行列というのがよくわからないのですが 密度行列のようなものなのでしょうか? 密度行列のベクトル空間をはる すべての状態が規格化できるのであれば(かつ有限個であれば) どの状態との内積よりも自分自身との内積が 一番おおきいので有界になるような気がします。

naokichi24
質問者

お礼

失礼しました。考えているのは、密度行列そのものです。 確かに、状態が有限個で規格化できれば、密度行列の 成分は有界ですよね。 ということは、有限次元の状態に関しては、 全ての密度行列の成分は有界ということですかね?

関連するQ&A

  • 量子論の計算方法

    量子論の計算において離散量で有限の場合は行列表示、連続量をあつかう場合は積分を用いて計算します。しかし一次元調和振動子の場合などはシュレディンガー方程式を変数変換してエルミート多項式をとけばエネルギーが求まりますが、この場合は消滅生成演算子を用いてH=aa*+1/2(無時限化しました)とおいてからa*を固有ベクトルにかけて計算すれば特殊関数を用いるよりもはるかに簡単にエネルギーを求めることができます。この方法は非常に便利なのですが、量子論のほかの計算(たとえば井戸型ポテンシャルや粒子の散乱等)には用いることができません。どうして調和振動子だけこの方法が適用できてほかのケースには当てはまらないのでしょうか。その理論的背景にはどのようなものがあるのでしょうか。わかる方がいらしたら教えてくれませんか。

  • 量子力学の問題

    量子力学の問題 次の問題に答えられません。 解等を教えていただけるとうれしいです。 --- ハミルトニアンが2行2列の行列(1)式で与えられている。 ただしωとθは定数である。以下の問いに答えよ。 (1)Hの固有値E+,E-と、それぞれの固有値に対応する規格化された固有ベクトルψ+、ψ-を求めよ。 (2)シュレティンガー方程式を満たす、時刻tにおける状態ベクトルψ(t)をE+、E-とψ+、ψ-を用いてあらわせ。さらに、初期状態を(2)式として、ψ(t)をωとθであらわせ。 (3)上記(2)の量子状態に対して時刻tにおいて測定を行い、(3)を得る確率を求めよ。 (4)このハミルトニアンは、磁気モーメントμを持つ1/2スピンの粒子が、磁束密度Bにおかれた場合の量子力学を記述する。θの幾何学的な意味を述べて、ハミルトニアン(1)のパラメータωをμとBで表せ。参考としてパウリ行列は(4)である。

  • 量子論について

    長さLの一次元の箱に粒子を閉じ込めた場合、量子数が0の状態というのは存在するのでしょうか?

  • 有限要素法解析(剛性、質量マトリックス)

    突然失礼します。 今現在、有限要素法を用いた構造物の解析をしていまして、 2次元から3次元のほうに急に移行しなくてはならなくなりました。 運動方程式にある、剛性マトリックスと質量マトリックスは 2次元の場合だと、1つの要素について6*6行列だったんですが、 3次元の場合だと、1つの要素について12*12行列にしなくてはならないみたいです。 しかしながら、これらの3次元要素の式を探そうと必死に探せど 全くその式が出てきません。 また、変換行列も必要です。。。 もしあればその式の転用先を教えていただけないでしょうか? また本に関しての情報も宜しくお願いします(あれば) 非常に困っています。。。何卒宜しくお願いします。

  • 二次元配列が、勝手に一次元配列になってしまう

    Excelのマクロで、二次元配列を格納したバリアント型を戻り値とする関数を作ったのですが、… 二次元型配列のひとつの要素数が1の時、受け取ったバリアント型変数は、一次元配列になっています。 列ベクトルなら、それもありかな~と思うのですが、なんで、行ベクトルまで、一次元配列にするんだよ~って、困っています。 シートから関数を呼んだ場合は、列ベクトルは列ベクトル、行ベクトルは行ベクトルとして、表示されるので、マクロの中で関数を呼び出した場合も、行列の情報を保持できる方法があるんじゃないかと思ったのですが。 どなたか、ご教示頂けるとありがたいです。 よろしくお願いします。

  • 要素分割された要素の並び替え

     実際は三次元で行うのですが(自分でプログラムを作成しようと考えています)、二次元でも考え方は同じだと思いますので二次元で質問させていただきます。  有限要素法で円形領域を三角形要素で要素分割して計算を行う場合、計算速度やメモリ領域を考慮して要素の並び替え(バンドマトリクスのバンド幅を狭めるため)を行うと思います。(この場合、要素と節点は既にファイルとして与えられているとします)  これは、有限要素法で解く連立方程式をAX=Bとした場合、対称行列Aの対角成分に行列成分を集めることに相当すると思います。  その場合の要素の並び替えの方法を教えてください。 四角形領域を四角形要素で分割した場合は四角の1辺(例えばX軸方向)に沿って並べ、その行が終われば次の行(Y軸方向)から並べるようにすればよいと思うのですが...。(下図参照)    ----→    ----→    ----→             ----→    ----→  書籍、WEB情報でも結構ですのでよろしくお願い致します。

  • 多次元の行列式の幾何学的意味

    2次元正方行列の行列式(の絶対値)は、それの要素であるベクトルが張る平行四辺形の面積。3次元正方行列の行列式は、同様に平行六面体の体積。と、ここまでは多くの線形代数の教科書に出ているのですが、4次元以上でも、行列式は同様に平行な多面体領域の体積をあらわすのでしょうか?このような話題が解説されている書籍を教えて頂けると助かります。

  • ベクトルの項数と次元

    最近の数学カテの皆さんの回答を見てふと思ったのですが、 昔大学で ベクトルの項数⇒ベクトルの要素の数 次元⇒ベクトルの属す部分空間の広がり なので3項の1次元ベクトルというものもあって 項数と次元を混同してはいけないと厳しく習いました。 #30年前くらいですが・・・ なので項数のことを次元ということは控えていたのですが、 インターネット上の様々な解説やこのカテゴリの回答などでは ベクトルの要素数=次元がかなり一般的に思えます。 で、質問です。 A) 現在は ベクトルの要素数=次元 ということになったのでしょうか? B) 実は昔から ベクトルの要素数=次元 とすることが多かったのでしょうか? 以上よろしくお願い致します。

  • 行列の要素にベクトルの成分をいれる?

    ベクトルの成分を行列にするというのは習いました。 では、ベクトルを並べて 例えば 2次元のベクトルA,BとベクトルC,Dがあり、それぞれを並べて ( (2,1) , (3.5) ) と ( (2,4), (1.6) ) というようにして、A,Cの内積、B,Dの内積が入った行列を導出するようなことはできますか? (A,B)・(C,D) = (A・C , B・D) 仮にベクトルの成分行列を要素に持つ行列があると仮定して、(C,D)行列を転置すれば行列の 掛け算はできますが、内積を行うようなこうはできるのでしょうか。

  • トレースと行列式のみから固有値を求める方法

    一般的な方法で固有値を求める方法は理解したのですが、 Aの固有値を求めたいとき、 Aが二次元の場合、 (tr(A)±sqrt(tr(A)^2-4det(A)))/2という式が成り立つと思うのですが、 Aが三次元、もしくはn次元の場合、 このようにAのトレースと行列式だけで固有値を求める方法はありますか。 似たような例や考え方のヒントだけでも教えていただければ幸いです。 よろしくお願いいたします。