SOKENDAI JOURNAL 総合に向かう しなやかな専門性 · は 量 報 情 る。k-l あ で と こ た い 用 を 量 報 ボルツマンのエントロピーとも密接に関
Thermodynamic entropy as a Noether invariant...2015年7月7日 2 3輪車上@バンガロール...
Transcript of Thermodynamic entropy as a Noether invariant...2015年7月7日 2 3輪車上@バンガロール...
Thermodynamic entropy
as a Noether invariant
Shin-ichi Sasa (Kyoto University)
in collaboration with Yuki Yokokura
See http://arxiv.org/abs/1509.08943
PRL 2016; Editors’ suggestion
@ 益川塾、京都産業大学
2016/08/02 1
2015年7月7日
2
3輪車上@バンガロール
横倉「熱力学エントロピーを対称性から導出する、 という研究はないでしょうか?」
佐々「聞いたことない。いかにも僕が考えそうな 問題なのに、考えたこともなかった。 でも、待てよ、あり得るわ。うん、あるわ。」
背景:ブラックホールエントロピーをネーター電荷として 導出するのは重力業界では有名な話 R. M. Wald, Black hole entropy is the Noether charge, Phys. Rev. D (1993) (一般相対論100周年 Phys Rev 記念碑論文のひとつに選出)
基本事項
3
(ネーターの定理) 対称性があれば、解に沿って保存量がある。
(断熱定理)
相空間の点に対してそれを含むエネルギー面で囲まれた 相空間体積は、準静的操作に対するほとんど全ての解に おいて不変である。
Quick question
4
What is the symmetry ?
Wait for the slide [36] !
5
This is the goal of my talk
You will find a surprising result!
Plan of this talk
6
1. Introduction
2. Adiabatic theorem
3. Noether’s theorem
6. Concluding remarks
4. Derivation of the symmetry
5. Macroscopic systems
Part II
Adiabatic theorem
7
Basic concept : entropy
8
quasi-static adiabatic process:
Thermodynamics:
Adiabatic wall
piston
Mechanical description
9
Classical mechanics: Adiabatic wall
piston
time-dependent control parameter e.g.
phase space coordinate
Hamiltonian
Statistical mechanics
10
Any physical quantity
Entropy
Thermodynamic concepts
11
Inverse temperature
Fundamental relation in thermodynamics:
Time-dependent entropy
12
protocol : fix
solution to the Hamiltonian equation
Adiabatic theorem
13
Quasi-static operation
Ergodic (with respect to the MC measure)
Remarks on history
14
Kasuga, On the adiabatic theorem for the Hamiltonian System of differential equations in the classical mechanics I-III Proceedings of the Japan Academy 37, 366-382(1961)
Lochak and Meunier, Multiphase averaging for classical systems (Springer, 1988)
Ott, Goodness of ergodic adiabatic invariants, Phys. Rev. Lett. 42, 1628-1631 (1979). Jarzynski, Multipule-time-scale approach to ergodic adiabatic systems: Another look, Phys. Rev. Lett. 71 839-842 (1993).
Physical arguments (proofs) : 1905-1915 e.g. Hertz
Anosov, Averaging in systems of ordinary differential equations with rapidly oscillating solutions, Izv. Akad. Nauk SSSR ser. mat. 24 721-742 (1960)
Part III
Noether’s theorem
15
Setting up I
16
Adiabatic wall
piston
coordinates of particles
control parameter e.g.
protocol : fix
any trajectory
Setting up II
17
Action:
Lagrangian:
Energy:
Transformation I
18
an infinitely small parameter
non-uniform translation of time
The protocol ( as a function of time) is fixed
Positions are independent of time labeling
Transformation II
19
Result
20
Suppose that there exist and
that satisfy
is an invariant quantity
Noether, 1918; Bessel-Hagen 1921
Trautman, CMP, 1967
Remark on the symmetry
21 Each solution trajectory is transformed to another solution trajectory
Part IV Derivation of the symmetry
22
Condition for the Symmetry
23 Do and exist for any with a fixed quasi-static ?
Starter
24
The Noether invariant is the energy.
there are no and for a general quasi-static protocol .
When , and lead to
However,
Because
25
piston
piston
trajectories may be too wild to describe quasi-static processes
We restrict trajectories to
26
piston
piston
those consistent with quasi-static processes in thermodynamics
Thermodynamically
consistent trajectories
27
Two conditions:
(1)
(2)
Mechanical work = Thermodynamic work
which defines a path
(quasi-static operation)
in the limit
Condition for the Symmetry II
28
for thermodynamically consistent trajectories
Integrability condition
29
Total derivative !
(small trick )
Solution
30
an arbitrary function
Summary of Results so far
31
Noether invariant:
Symmetry:
Transformation:
for thermodynamically consistent trajectories
Part V Macroscopic systems
32
Extensive Noether invariant
33
is an extensive variable
A A Scaled copy
is intensive!
Determination of
34
A B
is intensive!
is independent of
Universality
35
the universal constant of the action-dimension
If there exist no such quantity (like in 19 th century), we may conclude that there is no transformation …..
Universality II
36
the universal constant of the action-dimension
Main result
37
The macroscopic system we study is symmetric for the transformation when the domain of the action is restricted to “thermodynamically consistent trajectories”
The Noether invariant is then
The extensive Noether invariant provides the unique characterization of thermodynamic entropy
Part VI
Concluding remarks 38
Next problems
39
What is ?
Relation with ?
“emergent symmetry”
e.g. Symmetry in the action for the perfect fluid
Hael et al, JHEP 2015 Boer et al, JHEP 2015
Connection with black hole entropy (as the Noether charge) ?
Unification with the second law of thermodynamics ?
Entropy
40
Entropy
Thermodynamics
Statistical mechanics
Information
Complexity
Entanglement
Black hole