양자 상태는 단위 벡터입니다… 어느 규범과 관련하여?


15

내가 발견 한 양자 상태의 가장 일반적인 정의는 ( Wikipedia 에서 정의를 해석하는 것입니다 )

양자 상태는 복소수에 걸쳐 유한 또는 무한 차원의 힐버트 공간에서 광선으로 표현된다.

또한, 유용한 표현을하기 위해서는 양자 상태를 나타내는 벡터단위 벡터 라는 것을 보장해야합니다 .

그러나 위의 정의에서, 그들은 힐버트 공간과 관련된 규범 (또는 스칼라 곱)을 정확하지 않습니다. 언뜻보기에 나는 규범이 실제로 중요하지 않다고 생각했지만 어제 규범이 모든 곳 에서 유클리드 규범 (2-norm)으로 선택 되었다는 것을 깨달았습니다 . 브라켓 표기 조차도 유클리드 표준을 위해 특별히 만들어진 것으로 보입니다.

내 질문 : 왜 유클리드 표준이 모든 곳에서 사용됩니까? 왜 다른 표준을 사용하지 않습니까? 유클리드 표준에는 다른 사람이 할 수없는 양자 역학에 사용할 수있는 유용한 속성이 있습니까?


2
실제로 나는 단지 의견을 추가하고 싶었지만 그것에 대한 평판을 얻지 못했습니다. 질문에 쓸 때 양자 상태는 Hilbert 공간의 광선입니다. 즉, 정규화되지 않았지만 힐버트 공간에서 같은 방향을 가리키는 모든 벡터는 동일합니다. 정규화 된 상태로 작업하는 것이 더 편리하지만 물리는 실제로 상태가 서로 겹치는 곳에 숨겨져 있습니다. 이러한 이유로 국가 정의에는 규범이 존재하지 않습니다.
Omri Har-Shemesh

답변:


6

Born 's rule 은 측정 후 상태에서 양자 시스템을 찾을 확률 인 라고 말합니다 . 모든 에 대한 합 (또는 정수!) 이 1이되어야합니다.| X X|ψ(x)|2=P(x)|xx

xPx=x|ψx|2=1,P(x)dx=|ψ(x)|2dx=1.

이것들은 동 질적 이지 않기 때문에 유효한 규범이 아닙니다 . 제곱근을 수행하여 간단히 균질하게 만들 수 있습니다.

x|ψx|2=1,|ψ(x)|2dx=1.

그리고 이것을 유클리드 표준으로, 유클리드 표준을 비 이종 도메인으로 일반화 한 것으로 인식 할 수 있습니다. 우리는 다른 표준을 사용할 수도 있습니다.

xψxAψx=1,ψ(x)Aψ(x)=1,

양의 명확한 행렬 / 함수 A.


그러나와 -norm때문에 예를 들어 유용한로하지 않을 것입니다 :p > 2pp>2

x|ψx|55

1 일 필요는 없습니다.

이런 식으로 유클리드 표준은 특별하다. 왜냐하면 2는 양자 역학의 가정 중 하나 인 Born 's rule의 힘이기 때문이다.


이 답변은 @ DaftWullie 's one 에 대한 내 의견과 관련이 있습니다. 측정의 가정은 그것이 유일한 norm이라는 것을 알려주기 때문에 euclidian 규범이 사용 됩니까? p
Nelimee

2
의미있는 유일한 p-norm입니다. 우리는 확률의 합이 1 (수학의 법칙)이되기를 원하고 확률은 파동 함수 (Born 's rule이라고 불리는 양자 역학의 가정)에 의해 정의됩니다.
user1271772

@Nelimee : 채팅 메시지를 보내 주셔서 감사합니다. 2 일 이상 채팅이 금지되어 답장을 보낼 수 없습니다. 첫 번째 대답의 이유는 "유클리드 표준이 왜 모든 곳에 사용됩니까? 왜 다른 표준을 사용하지 않습니까?"라는 질문을 읽었 기 때문입니다. 유효한 규범이 유클리드 규범이 아니라 다른 2- 노름 인 경우, 즉 비 이산 변수 집합의 2- 노름 인 경우를 즉시 고려했습니다. 나는 이것이 유클리드 규범이 유일하게 유효한 규범이 아니며 유클리드 규범이 왜 사용되는지를 설명하기에 충분하다고 생각했다. 그러나 daftwullie가 공감대를 얻었을 때를 보았을 때, 나는
user1271772

2
당신의 대답은 "태어 났기 때문에"입니까? "왜 Born의 규칙이 2의 거듭 제곱을 사용합니까?"라는 질문으로 넘어 가지 않습니까?
DaftWullie

1
"닭이나 계란이 먼저 온 것 같아?" 케이스.
user1271772

8

일부 용어는 여기에서 약간 혼란스러워 보입니다. 양자 상태는 길이가 1 인 복소수 벡터로 유한 유한 힐베르트 공간 내에서 표현되며, 여기서 길이는 유클리드 표준에 의해 측정됩니다. 단위는 벡터가 아니라 행렬의 분류이므로 단위가 아닙니다.

양자 상태는 일부 매트릭스에 따라 변경 / 진화됩니다. 양자 상태의 길이가 1이라고 가정하면, 순수 상태를 순수 상태로 매핑하는 것이 단일 행렬로 설명되는 것이 필요하고 충분하다는 것이 밝혀졌습니다. 이것들은 (유클리드) 규범을 유지하는 유일한 행렬입니다.

" 우리의 양자 상태에 다른 ( ) 규범을 사용할 수 있을까요?" 정규화 된 상태를 정규화 된 상태로 매핑하는 작업을 분류하면 엄청나게 제한됩니다. 경우 유일한 유효 동작 (각 요소에 대해 상이한 위상으로) 순열 행렬이다. 물리학은 훨씬 더 지루할 것입니다.p 2pp2

이 느낌을 얻는 좋은 방법은 2D 축 세트를 그리는 것입니다. 다른 노름 에서 길이 1의 포인트 세트에 해당하는 모양을 그 립니다. 는 원을, 은 다이아몬드를, 는 사각형을 나타냅니다. 모양을 자체에 매핑하는 작업은 무엇입니까? 원의 경우 회전입니다. 다른 것은 배수로 회전하는 것 입니다. 다음은 Wikipedia에서 온 것입니다.p = 2 p = 1 p π / 2pp=2p=1pπ/2

여기에 이미지 설명을 입력하십시오

자세한 내용을 보려면 여기를 참조하십시오 .


용어 정밀도에 감사드립니다! 당신 말이 맞아요
Nelimee

그러나 "unitary"를 "unit vector"로 대체하는 한 문제는 문제가되지 않습니다.
user1271772

그러나이 답변은 왜 우리가 유클리드 표준을 사용하는지에 대한 대답은 아닙니다. 나는 다른 규범이 편리하지 않다는 것을 이해했지만, 물리 법칙에서 "편리한"항목과 그렇지 않은 항목을 실제로 제어 할 수는 없습니다.
Nelimee

@Nelimee 불편하지 않습니다. 2-norm을 사용하지 않으면 많은 작업이 존재하지 않습니다. 우리가 나가서 실험하고 관찰 할 수없는 제곱근과 같은 작업. 따라서 2-norm을 제외한 모든 것을 제외합니다
DaftWullie

1
모든 물리학과 마찬가지로! 모든 이론은 사용 가능한 데이터에 가장 적합한 이론입니다.
DaftWullie

5

수학적 으로 norm 인 은 의 힐버트 공간 이므로 더 수학적 으로 설명합니다 .L p p=2RnLpp=2


나는 당신의 대답을 찬성했습니다 (QCSE에 대한 첫 번째 대답입니다!), 그것은 2 규범이어야합니까? 당신은 1- 노름과 3- 노름이 유효하지 않다고 말하고 있지만, 내 대답에서 2 노름의 제곱 인 규범은 어떻습니까?
user1271772

3
감사합니다! 올바르게 이해하면 제안한 함수는 동종이 아니기 때문에 벡터 규범 이 아닙니다.
Federico Poloni

2
어쨌든, 당신이 제안하는 것은 사실이다 : 하나는보다 규범의 다른과 힐버트 공간 구조를 구축 할 수 (비록 규범 하지 와 2 규범 대신에 표준). 가장 간단한 예는 다음과 같습니다. 양의 한정 행렬 를 선택하고 규범 취하십시오 . L2LpAxA:=xAx
Federico Poloni

그것은 인 포지티브 균질 와 왜에 있어야 않고 ? k = 1k=2k=1
user1271772

@ user1271772 은 정의에서 요구 사항입니다. 벡터 규범의 공리 중 하나는 2 입니다 . p (av) = | a | p (v) (절대적으로 균질하거나 절대적으로 확장 가능해야 함) (위의 Wikipedia 페이지에서 위에 링크 한 빠른 참조를 확인하십시오). 물론, 그것은 "그런 식으로 정의 되었기 때문에"팽팽한 주장 일 뿐이며, 물리학자가 더 물리적 인 이유를 원할 수도 있다는 것을 이해합니다. k=1
Federico Poloni

4

벡터 로 기술 된 이론을 요구하여 우아한 인수를 도출 할 수 있습니다 . 여기서 허용되는 변환은 선형 맵 , 확률은 다음과 같습니다. 어떤 규범에 의해 주어졌고, 그지도에 의해 확률이 보존되어야한다.vLvv=(v1,,vN)vLv

기본적으로 세 가지 옵션 만 있습니다.

  1. 결정론. 그리고 우리는 우리가 하나 개의 특정 상태에 항상 있기 때문에 벡터는 즉, 그 벡터를 필요가 없습니다 등, 그리고 의 경우에만 순열이다.L(0,1,0,0,0)L

  2. 고전적인 확률론. 여기서는 노름 및 확률 론적 맵을 사용합니다. 확률이다.V I1vi

  3. 양자 역학. 여기서 우리는 노름 변환과 단일 변환을 사용합니다. 진폭이다.v 나는2vi

이것이 유일한 가능성입니다. 다른 규범의 경우 흥미로운 변형이 없습니다.

이보다 상세하고 좋은 설명을 원하는 경우에, 스콧 애런 슨의 "데모크리토스 이후 양자 컴퓨팅"이 이에 대한 강의 뿐만 아니라 논문을 .


2

다른 답변 은 어떤 공간을 사용하되 가중치를 사용하지 않는지 이유를 설명했습니다 .p=2Lp

당신은 에르 미트 정부 호 행렬에 넣어 수 그래서 내적이라고 . 그러나 그것은 당신을 많이 얻지 못합니다. 변수를 변경할 수도 있기 때문입니다. 편의상 이 대각선 인 경우를 고려하십시오 . 해석 될 대각선 케이스 대신 확률로서 . 따라서 변수를 바꾸지 마십시오 . 이것을 의해 각 포인트에 가중치를 부여하는 포인트 의 공간에서 함수 로 생각할 수 있습니다 .MijxiMijyjMMiixi2xi2Mii>0x~i=MiixiL2nMii

연속 1 변수의 경우 예, 도 사용할 수 있습니다. 는 길이를 재조정합니다. 그것은 여전히 ​​완벽하게 좋은 Hilbert 공간입니다. 그러나 문제는 변환 은 대칭이어야하고 는 그것을 깨뜨린다는 것입니다. 따라서 사용하지 않을 수도 있습니다 . 어떤 목적을 위해, 그 대칭성이 존재하지 않으므로 있습니다.L2(R,w(x)dx)w(x)xx+aw(x)w(x)w(x)1

어떤 경우에는 표준 양식으로 이동하지 않는 것이 좋습니다. 몇 가지 계산 방법을 뒤섞습니다. 예를 들어, 일부 숫자를 사용하는 경우 이러한 종류의 전환을 통해 오류를 줄여서 기계가 어렵거나 작은 숫자를 피할 수 있습니다.

까다로운 것은 변수를 변경 한 시점과 변경하지 않은 시점을 추적하는 것입니다. 단일 내부 작업을 수행하는 표준 내부 제품으로 변경하고 한 단계에서 변수를 변경하는 것과 다시 변수를 변경하는 것을 혼동하고 싶지 않습니다. 실수 로 등의 요인을 제거 할 가능성이 있으므로주의하십시오.Mii


-1

여기 에 정의 된 것처럼 차원 공간 의 유클리드 표준 은 양자 상태에 사용되는 유일한 표준 은 아닙니다 .n

양자 상태는 n- 차원 힐버트 공간에서 정의 될 필요가 없습니다. 예를 들어, 1D 고조파 발진기의 양자 상태 는 직교 정규가 다음에 의해 정의되는 함수 입니다 :ψi(x)

ψi(x)ψj(x)dx.

경우 우리가 얻을 :i=j

|ψ(x)|2dx=P(x)dx=1,

총 확률은 1을해야하기 때문에
경우 , 우리는 기능이 직교 즉, 0을 얻는다.ij

내가 제공 한 링크에 정의 된 바와 같이 유클리드 표준은 이 계산 가능한 수인 이산 변수에 대한 양자 상태에 더 적합 합니다. 위의 경우, ( 는 가능한 값의 수)을 셀 수 없으므로 규범은 유클리드 규범에 대해 차원 페이스로 주어진 정의에 맞지 않습니다 .n x nnnxn

우리는 또한 위의 규범에 제곱근 연산자를 적용 할 수 있지만 여전히 이라는 필수 속성을 가질 수 있으며, 유클리드 규범은이 규범의 특별한 경우로 생각할 수 있습니다. 는 셀 수있는 값 중 일부만 선택할 수 있는 경우 입니다. 양자 역학에서 위의 규범을 사용하는 이유는 확률 함수 가 1에 통합되도록 보장하기 때문인데 , 이는 확률 의 정의 에 기초한 수학 법칙 입니다. 확률 이론의 모든 법칙을 만족시킬 수있는 다른 규범이 있다면 그 규범도 사용할 수 있습니다.x P ( x )P(x)dx=1xP(x)


@Nelimee : 2 일 이상 채팅이 금지되어 있기 때문에 "0 점으로 답을 얻지 못했습니다"라는 대화 메시지에 회신 할 수 없지만이 답변의 어느 부분이 표시되지 않습니까?
user1271772

@Nelimee? 나는 지금 -1에있다 그래서 어느 부분이 불분명한지 아는 것에 감사하겠습니다
user1271772

당신이 쓰는 것은 무한 차원의 유클리드 표준입니다. 귀하의 문 "여기에 정의 된대로의 n 차원 공간의 유클리드 규범은 양자 상태에 사용되는 유일한 표준이 아니다." 잘못 될 정도로 오해의 소지가 있습니다.
Norbert Schuch

@ 노버트. (1) 이것은 유클리드 규범의 제곱입니다. (2) 여기서는 무한히 무한하다. 셀 수없이 무한한 n에도 더 이상 n 차원이 아닙니다.
user1271772

@ (1) 제곱근을 넣는 것을 잊었 기 때문입니다. 또한,의 제곱근 인 . (2) 사실이 아닙니다. , 규범이있는 규범화 된 함수의 공간은 분리 가능한 공간입니다. 1 L 2 ( R n )11L2(Rn)
Norbert Schuch
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.