Comment on "Forget time": completeness of thermal flows and correspondence with physical clocks

This record contains the English and Japanese versions of Comment on “Forget time”: completeness of thermal flows and correspondence with physical clocks, together with accompanying Isabelle/HOL proof sources. The Comment examines the thermal-time construction in Carlo Rovelli’s Forget time (2011, DOI: 10.1007/s10701-011-9561-4) and subsequent proposals concerning thermal clocks, statistical constructions and entropy-based time recovery. 本レコードには、『Forget time』へのコメント論文「熱流の完備性と物理的時計との対応」の英語版・日本語版と、Isabelle/HOLによる証明ソースを収録しています。本稿は、Carlo Rovelliの論文Forget time(2011年、DOI: 10.1007/s10701-011-9561-4)における熱時間構成と、熱時計、統計構成、エントロピーに基づく時間回復に関する後続提案を検討します。 Abstract Carlo Rovelli's Forget time (2011) associates a thermal Hamiltonian with a positive normalized density and uses correlations integrated over the full statistical state to support the existence of a measured time variable for each statistical state. This Comment examines the completeness and measurement correspondence required by that inference. An explicit smooth, everywhere positive, normalized density has a thermal flow undefined on a set of positive probability at every nonzero parameter. Consequently, the proposed full-state correlation is undefined even for bounded smooth observables. Two probability-preserving completions that agree with the same local equations yield different correlations. A second example has a complete thermal flow, yet no change of clock retaining the original motions, conserved quantity and statistical ensemble reproduces its thermal correlation. Subsequent proposals for geometric clock realizations, statistical constructions based on clock averages and entropy-based time recovery are assessed under their respective geometric, dynamical and macroscopic assumptions. Local entropy coordinates and an auxiliary clock are constructed to distinguish conditional recoveries from the arbitrary-state measured-time assertion. The quantum modular group and a covariant clock in its invariant state have distinct existence conditions. Full-state classical correlations at all real parameters require almost-everywhere two-sided completeness; preservation of the original measurements additionally requires correspondence with the clock-indexed observable family. 要旨 Carlo Rovelliの論文Forget time(2011年)は、正の正規化密度に熱ハミルトニアンを対応させ、その統計状態全体で積分した相関を用いて、各統計状態について測定される時間変数が存在するという主張を支える。本稿は、この推論に必要な完備性と測定対応を検討する。明示的に構成した滑らかで全点正の正規化密度では、すべての非零パラメータにおいて、熱流が定義されない集合が正の確率を持つ。そのため、統計状態全体で積分する原著の相関は、有界で滑らかな観測量に対しても未定義となる。同じ局所方程式に一致する二つの確率保存補完は、異なる相関を与える。第二の例は完備な熱流を持つが、元の運動、保存量、統計集団を保持した時計の変更では、その熱相関を再現できない。時計の幾何学的実現、時計平均に基づく統計構成、エントロピーに基づく時間回復に関する後続提案を、それぞれの幾何学的、動力学的、巨視的仮定の下で評価する。局所エントロピー座標と補助時計を構成し、条件付きの回復と任意状態に対する測定時間主張を区別する。量子モジュラー群と、その不変状態内の共変な時計は、異なる存在条件を持つ。全実数パラメータにおける古典論の全状態相関には、ほとんど全初期点での両方向完備性を要し、元の測定の保存には、さらに時計読値を添字とする観測量族との対応を要する。 Comment / コメント論文 forget_time_comment_en.pdf — English version, including the mathematical counterexamples, proofs, examination of subsequent proposals and appendices. / 数学的反例、証明、後続提案の検討、および付録を収録した英語版です。 forget_time_comment_jp.pdf — Japanese original, with corresponding section, proposition and equation numbers. / 対応する節・命題・式番号を備えた日本語原典です。 Proof assets / 証明資産 forget_time_comment_isabelle.zip contains 24 Isabelle2025-2 theory files, the configuration for two sessions, a README linking the formal results to the Comment, a verification record and source checksums. Both sessions were rebuilt on 24 October 2026 with quick_and_dirty=false. Dependency inspection of 141 named theorem collections, comprising 161 theorem results, found zero external oracle dependencies and zero skipped proofs. forget_time_comment_isabelle.zipには、Isabelle2025-2の理論ファイル24本、2セッションの設定、形式的証明結果と本稿の対応を示すREADME、検証記録、およびソースのチェックサムを収録しています。2026年10月24日にquick_and_dirty=falseで両セッションを再ビルドしました。名前付き定理群141件に含まれる定理結果161件の依存検査では、外部オラクルへの依存0件、省略された証明0件を確認しています。 Document and proof navigation / 文書と証明資産の対応 Each PDF contains the Comment and its appendices. The ZIP’s README.md identifies the proof sources for Proposition 1 (positive probability of an undefined flow), Proposition 3 (different correlations from two completions), the observable-correspondence conditions in Eq. (12) and Eq. (B4), the differential condition in Eq. (13), and the affine-clock obstruction in Appendix B.8. Appendix B.12 of the Comment specifies the scope of the mechanized results and the additional arguments proved in the text. The README also gives the command for running both Isabelle sessions; verification.txt lists the checked results. 各PDFには、コメント論文の本文と付録を収録しています。ZIP内のREADME.mdから、本稿の命題1(流が未定義となる集合の正の確率)、命題3(二つの補完による相関の相違)、式(12)と式(B4)の観測量対応条件、式(13)の微分条件、および付録B.8のアフィン時計の障害に対応する証明ソースを確認できます。本稿の付録B.12には、機械検証の範囲と本文で証明する追加の論証を記載しています。READMEにはIsabelleの両セッションを実行するコマンドを、verification.txtには確認済みの定理結果を記載しています。 License scope / ライセンスの適用範囲 The author’s two English and Japanese PDFs, documentation, and audit data are licensed under CC BY-NC-ND 4.0. The author’s verification programs, execution scripts, and formalization code are licensed under BSD-3-Clause. Third-party materials retain their respective copyright notices and license terms. These scopes also apply to the proof archive and its expanded files. 著者による英語・日本語の2PDF、説明文および監査データにはCC BY-NC-ND 4.0を適用します。著者が作成した検証プログラム、実行用スクリプトおよび形式化コードにはBSD-3-Clauseを適用します。第三者資料には、それぞれの著作権表示とライセンスが適用されます。これらの適用範囲は、証明資産のZIPと展開済みファイルにも共通します。