约束系统中的时间演化与可观测量

讨论限于一类约束参数化系统，其中时间演化与可观测量的定义并非平凡，并限于有限维系统以使技术细节不遮蔽概念框架。合理真（或物理）自由度的存在被严格定义并称为局部可约性。我们证明任意局部可约系统允许一组完备的常存量。对于局部可约系统，描述了仅利用相空间几何在薛定谔与海森堡形式中构造时间演化的最一般方式。时间平移不要求为对称。得到了常存量与薛定谔或海森堡型可观测量之间的关系：此类可观测量可辨认为某些类的常存量，且类的结构依赖于时间演化。研究了两个非全局横截曲面间的时间演化。问题在普通量子力学框架内提出并求解。所得的非幺正性不同于场论中已知的（霍金效应）：态范数不必守恒，从而系统可在此类演化中丢失。