물리 상태와 관측 가능한 정보

물리 상태와 관측 사상에서 시작하기

물리 상태는 모형에 들어 있는 양을 설명하고 관측은 센서나 데이터 처리 과정이 보고하는 양입니다. 둘이 같은 정보를 담는 것은 아닙니다. 이 단원은 앞의 교환 뒤 누출 법칙을 유지하고 초기 상태 두 개를 비교합니다. 가설 0은 (8,2,0), 가설 1은 (2,8,0)kg에서 시작합니다.

이동 매개변수는 두 가설에서 같고 알려져 있습니다. 실습은 측정 데이터를 생성하거나 두 세계에 사전확률을 부여하지 않습니다. 정한 기록 시각들에서 잡음 없는 예측 출력을 비교합니다. 실제 데이터는 한 가설, 둘 모두, 또는 둘 다 아닌 경우를 지지할 수 있습니다. 후보 예측의 일치는 정보 범위에 관한 말이지 현실의 자동 추정값이 아닙니다.

계산 경계와 센서 분리하기

센서는 A, B, A+B, A−B 중 하나를 보고합니다. 세 성분 상태에 관측 함수를 적용한 값입니다.

$$y_n=Hx_n,\qquad x_n=(A_n,B_n,E_n)^{\mathsf T}.$$

총량 센서는 H=(1,1,0), 차이 센서는 H=(1,−1,0)입니다. 차이는 음수가 될 수 있습니다. kg 단위의 부호 있는 유도 측정이며 실제 영역 안에 저장된 비음수 질량 자체는 아닙니다.

계산 경계는 수지식에서 어떤 이동이 내부 또는 외부인지 정합니다. 센서는 상태의 어떤 조합을 기록하는지 정합니다. 센서가 선택 경계의 질량을 직접 잴 수는 있지만 개념은 구분해야 합니다. 여기서 센서를 바꿔도 물리 궤적은 바뀌지 않습니다.

기록 구간도 정보에 포함하기

처음 기록한 분과 마지막 기록한 분을 0부터 20 사이에서 선택하며 양 끝을 포함합니다. 0분은 초기 상태의 관측입니다. 1분부터 시작하면 그 정보가 없습니다. 기록하지 않은 시각에서 두 가설이 다르다고 사용 가능한 기록으로 구별된다고 할 수는 없습니다.

시작이 끝보다 늦으면 기록이 없습니다. 실습은 일치 비교를 미정으로 표시합니다. 빈 집합에서 모든 명제가 성립한다는 논리적 관례를 경험적인 일치 판정으로 오해하지 않도록 합니다. 기록 없음은 두 가설의 예측이 실제로 같음을 확인한 결과가 아닙니다.

선분은 이산 기록을 시각적으로 이어 읽도록 돕습니다. 모형은 매분 한 연산을 정하며 기록 사이에 별도의 연속 시간 궤적을 주장하지 않습니다.

총량 센서가 내부 상태를 숨기는 이유

누출이 없으면 허용한 모든 교환 비율에서 A+B가 보존됩니다. 두 초기 가설의 총량은 10kg이므로 총량 센서는 모든 기록 시각에서 10을 보고합니다.

$$Hx_n^{(0)}=Hx_n^{(1)}=10\quad\text{for }H=(1,1,0),\ \ell=0.$$

그래도 내부 A,B는 다를 수 있습니다. 기본 예제 p=0.2에서 불균형 D=A−B는 매 단계 0.6배가 됩니다. 두 가설은 같은 총량과 반대 부호의 불균형을 가지므로 총량 기록은 같고 내부 상태는 다릅니다.

이는 특정 관측의 일치에서 상태의 일치를 결론 내리는 주장에 대한 반례입니다. 모든 센서가 정보를 주지 못한다는 뜻은 아닙니다. 센서만 A로 바꾸면 초기 값 8kg와 2kg를 보고 두 가설을 즉시 구별할 수 있습니다.

지연 기록에서 정보가 사라지는 예제 유도하기

누출이 없을 때 불균형은 다음과 같습니다.

$$D_{n+1}=(1-2p)D_n,\qquad A_n=\frac{10+D_n}{2}.$$

p=1/2이면 첫 연산 뒤 D가 0입니다. 두 세계 모두 A=B=5가 됩니다. 1분부터 A를 기록하면 이용할 수 있는 모든 A 기록이 같습니다. 0분 기록을 포함하면 초기 A가 다르므로 구별됩니다.

이 경우에는 모형의 상태 자체가 첫 연산 뒤 합쳐집니다. 차이가 다른 구획에 계속 숨어 있는 경우와도 구별해야 합니다. 정한 거시 구획 상태의 이동 사상이 초기 차이를 없앤 것입니다. 이 계산으로 모든 실제 미시적 물리 실현의 가역성에 관해 결론 내리는 것은 아닙니다.

별도의 내부 상태 그래프는 두 가설의 A 이력입니다. 관측값이나 복원한 상태가 아닙니다. 관측자의 정보는 제한되어 있음을 유지하면서 모호함의 원인을 설명하는 장치입니다.

누출이 다른 구별을 드러낼 수 있다

물리 법칙을 바꾸면 센서가 주는 정보도 달라질 수 있습니다. p=0.2, ℓ=0.1일 때 첫 세계의 섞인 B는 3.2kg, 둘째는 6.8kg입니다. 환경으로 가는 양은 0.32kg와 0.68kg이고 첫 분 뒤 A+B는 9.68kg와 9.32kg입니다.

총량 센서가 이번에는 1분에 두 가설을 구별합니다. 0분의 총량은 여전히 같습니다. 그렇다고 누출이 모든 상태나 매개변수를 언제나 식별하게 한다고 일반화할 수는 없습니다. 정보는 물리적 변화, 관측 함수, 기록 시각에 함께 의존합니다.

다른 센서는 계속 구별하지 못할 수 있습니다. 전부 누출하면 완료된 매 연산 뒤 B는 0입니다. 1분부터 B만 기록하면 A가 달라도 기록은 같을 수 있습니다. 무엇을 측정하는지가 추론 문제의 일부입니다.

표시 전에 정확한 기록 비교하기

지원 이동 이력은 정수 분자와 알려진 공통 분모로 표현합니다. 각 기록 시각에서 반올림한 소수를 비교하는 대신 관측 분자를 정확히 비교합니다.

p=0.49, 누출 없음, 20분의 A 기록 하나를 선택하면 두 후보 출력의 차이는 다음과 같습니다.

$$6(0.02)^{20}\ \mathrm{kg}.$$

양수이지만 매우 작습니다. 부동소수점 그림 좌표는 둘 다 5로 보일 수 있어도 정확 정수 비교는 차이를 찾습니다. 최대 차이도 먼저 정확 분자를 뺀 다음 표시 숫자로 변환합니다. 이미 반올림한 두 값의 뺄셈으로 0을 만들어 버리지 않습니다.

수학적 구별이 실제 센서 분해능을 보장하지는 않습니다. 잡음, 양자화, 불확실한 매개변수, 기기의 유한 정밀도 때문에 이상적인 정보 모형에 있던 차이가 사라질 수 있습니다. 그런 효과에는 별도의 관측 법칙이 필요합니다.

두 가설의 비교를 전체 식별 정리로 바꾸지 않기

화면은 이 두 초기 가설이 가능한 기록에서 같은 출력을 만드는지 묻습니다. 0이 아닌 차이는 선언한 정확 모형에서 두 후보를 구별합니다. 가능한 모든 초기 상태, 미지 교환 비율, 다른 물리 법칙 중에서 유일하게 복원했다는 증명은 아닙니다.

기록의 일치도 한 후보가 참임을 뜻하지 않습니다. 실제 측정이 공통 예측 기록과 다르면 두 후보 모두 틀릴 수 있습니다. 일반 식별 문제는 허용한 상태나 매개변수 집합 전체를 정하고 그 전체에 대한 논증을 요구합니다.

마지막 상태의 일치와 기록의 일치도 별도입니다. 마지막 상태가 다른데 투영 기록은 같을 수 있고, 다른 초기 상태가 합쳐져 마지막 상태가 같아질 수도 있습니다. 화면의 표시는 이 명제들을 구분합니다.

물리 기반 학습의 정보 한계 연결하기

보존되는 총량만 학습한 모형은 총량을 정확하게 예측해도 내부 이동을 충분히 제한하지 못할 수 있습니다. 여러 초기 상태, 때로는 여러 매개변수가 같은 관측 이력을 만듭니다. 보존 손실 항이 누락된 상태 정보를 자동으로 제공하지는 않습니다.

같은 정보 없는 출력을 반복하는 대신 센서를 추가하거나 기록 일정을 바꾸는 것이 유용할 수 있습니다. 적절한 설계는 모형에 달려 있습니다. 절반 교환 예제는 초기 과도 기록의 중요성을, 작은 차이 예제는 이론적 구별 가능성을 잡음·분해능과 함께 평가해야 하는 이유를 보여줍니다.

풀이가 있는 연습 문제

1. 문제: 누출이 없을 때 총량 기록으로 두 초기 상태를 구별하나요? 해설: 두 합은 모든 시각에서 10kg이므로 불가능합니다.
2. 문제: 0분에 구별하는 센서는 무엇인가요? 해설: A, B, A−B는 각각 초기 출력이 다르므로 두 후보를 구별합니다.
3. 문제: 절반 교환에서 지연 A 기록이 실패하는 이유는? 해설: 첫 연산에서 불균형에 0을 곱해 두 상태가 기록 시작 전에 같아집니다.
4. 문제: p=0.2, ℓ=0.1의 첫 총량 차이는? 해설: 9.68−9.32=0.36kg입니다.
5. 문제: p=0.49의 20분 A 출력을 소수 셋째 자리로 반올림하면 구별하나요? 해설: 둘 다 5.000입니다. 양자화한 관측 사상은 정확한 사상보다 정보가 적습니다.
6. 문제: 두 후보를 구별하면 모든 미지 매개변수도 식별되나요? 해설: 아닙니다. 정한 두 가설의 질문에 답했을 뿐이며 일반 상태·매개변수 식별에는 더 넓은 논증이 필요합니다.

출처와 후속 학습

MIT의 제어 체적 강의 개요는 물리적 경계 선택의 배경입니다. 관측 사상, 불균형 점화식, 지연 기록 반례와 정확 차이 계산은 이 단원에서 직접 유도했습니다. 이후 관측 가능성, 실험 설계, 역문제, 잡음이 있는 통계 추론으로 확장하더라도 모형의 상태·이용 가능한 정보·실제 측정 데이터의 구분을 유지해야 합니다.