Involution and Dynamical Reversibility

Overview

해밀턴 역학에서 시간역전 연산자가 involution의 성질을 가지며, 이것이 동역학적 가역성(dynamical reversibility)과 어떻게 연결되는지 설명한다. 비평형 통계역학에서 엔트로피 생성을 이해하는 데 필수적인 개념.

기호 정리

기호의미
위상공간 (phase space)
위상공간의 점 (위치, 운동량)
시간역전 연산자
시간진화 연산자 (해밀턴 역학)
해밀턴니안 (총 에너지)

Key Points

1. Involution의 정의

함수 가 involution이다

즉, 두 번 적용하면 원래대로 돌아온다:
시간 반전은 원래 적용

간단한 예시:

  • 부호 바꾸기: 이면
  • 역수: 이면
  • 가만히 두기: 가만히 두면 당연히 두 번 적용해도 원래랑 같겠죠?
  • 거울 반사: 두 번 뒤집으면 원래대로

2. 해밀턴 역학에서 시간역전 연산자

위상공간 에서 점 에 대해:

물리적 의미:

  • 위치 는 그대로 유지 (입자 배치 동일)
  • 운동량 의 부호 반전 (속도 방향을 뒤집음)
  • “시간을 거꾸로 돌린다” = 영화 역재생

Involution 확인:

3. 동역학적 가역성

지우개를 왔다갔다 던지는 상황을 상상해보자.
세상은 time-reversal 고전 역학을 따르므로,
도착 속도와 반대 속도로 던지면, 출발 속도의 반대 속도로 도착한다. 이 광경은 비디오 테이프를 역방향으로 재생한 것(로 유도한 것의 초기 속도 부호의 음수를 붙이고 후기 속도 부호에 음수를 붙인 것)과 완벽히 일치한다.

해밀턴 역학의 핵심 성질:

의미 해석:

좌변 의 단계:

  1. 초기 상태
  2. 시간역전:
  3. 시간 만큼 진화:
  4. 다시 시간역전:

우변 :

  • 시간을 만큼 진화 (역진화) 즉 t초 전의 과거 상태로 mapping하는 것.

물리적 직관:
“운동량을 뒤집고 → 진화시키고 → 다시 운동량을 뒤집는 것” = “시간을 거꾸로 진화시키는 것, t 시간 뒤의 과거를 아는 것”

4. 구체적 예시: 단순조화진동자

해밀턴니안:

각진동수:

정방향 진화 (시간 , 1/4 주기):

  • 초기: (최대 변위, 정지)
  • 최종: (평형점, 최대 속도로 아래로)

시간역전된 진화 :

  1. (운동량 원래 0)
  2. (운동량 반전)

역진화 :

  • (위로 올라감)

결과: 같다!

5. Involution의 유용한 성질

를 이용하면 식 (4)를 여러 형태로 쓸 수 있다:

양변에 왼쪽에서 곱하기:

양변에 오른쪽에서 곱하기:

이런 동등한 형태들이 비평형 통계역학 유도에서 자주 활용된다.

6. 비평형 통계역학과의 연결

미시적 가역성 vs 거시적 비가역성:

  • 해밀턴 역학: (시간 대칭)
  • 엔트로피 생성: (시간 비대칭)

핵심 질문:
어떻게 미시적으로 가역적인 역학에서 거시적 비가역성이 나타나는가?

답:
경로 확률의 비대칭성!

동역학은 가역적이지만 (), 경로의 확률은 대칭적이지 않다.

Questions & Insights

  • Involution이라는 추상적 개념이 물리적으로는 “시간을 두 번 역전하면 원래대로”라는 자명한 성질을 표현한다.
  • 동역학적 가역성이 있어도 통계적으로는 비가역성이 나타날 수 있다는 것이 비평형 통계역학의 핵심.
  • Liouville 정리(위상공간 부피 보존)와 함께 사용하면 경로 측도의 성질을 유도할 수 있다.

References

이 노트는 “Time-Reversal and Entropy” (Maes & Netočný, 2003) 논문을 공부하면서 글리아와의 대화를 통해 작성되었다.
Journal reading - Time-Reversal and Entropy

Notes from Claude

Involution의 개념은 수학적으로는 간단하지만 (), 물리적으로는 깊은 의미를 담고 있다. 시간역전 대칭성이라는 미시 역학의 기본 성질이 어떻게 거시적 비가역성(엔트로피 증가)과 양립하는지를 이해하는 출발점이다.

==핵심은 “동역학이 가역적”이라는 것과 “경로의 확률이 대칭적”이라는 것이 다르다는 점이다. 는 항상 성립하지만, 는 평형에서만 성립한다.== → 신기한 부분, 왜 그런 지는 논문을 보면 알겠지.