diff --git a/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.aux b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.aux new file mode 100644 index 00000000..0fbad09e --- /dev/null +++ b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.aux @@ -0,0 +1,155 @@ +\relax +\providecommand\hyper@newdestlabel[2]{} +\providecommand\HyField@AuxAddToFields[1]{} +\providecommand\HyField@AuxAddToCoFields[2]{} +\citation{Bombelli1987,Sorkin2003} +\citation{Malament1977} +\citation{Hawking1976} +\citation{Kleitman1975} +\citation{Brightwell1991} +\citation{Benincasa2010} +\citation{Surya2012,Glaser2018,Cunningham2020} +\citation{Rideout2000} +\citation{Loomis2018} +\citation{Hartle1983} +\citation{DeWitt1967,Isham1993,Page1983,Rovelli1991} +\newlabel{FirstPage}{{}{1}{}{section*.1}{}} +\@writefile{toc}{\contentsline {title}{Observer-conditioned causal set dynamics: \\ Exact suppression of entropic dominance \\ via operational constraints on the path integral}{1}{section*.2}\protected@file@percent } +\@writefile{toc}{\contentsline {abstract}{Abstract}{1}{section*.1}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {I}Introduction}{1}{section*.3}\protected@file@percent } +\newlabel{sec:intro}{{I}{1}{}{section*.3}{}} +\citation{Bombelli1987,Surya2019} +\citation{Cheeger1970,Hoory2006} +\citation{Hoory2006} +\citation{Kleitman1975} +\citation{Benincasa2010} +\@writefile{toc}{\contentsline {section}{\numberline {II}Preliminaries}{2}{section*.4}\protected@file@percent } +\newlabel{sec:preliminaries}{{II}{2}{}{section*.4}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A}Causal sets}{2}{section*.5}\protected@file@percent } +\newlabel{def:causet}{{1}{2}{Causal set}{definition.1}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {B}The Hasse diagram and graph-theoretic properties}{2}{section*.6}\protected@file@percent } +\newlabel{def:cheeger}{{3}{2}{Cheeger constant}{definition.3}{}} +\newlabel{eq:cheeger}{{2}{2}{Cheeger constant}{equation.2.2}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {C}The Kleitman--Rothschild theorem}{2}{section*.7}\protected@file@percent } +\newlabel{thm:KR}{{1}{2}{Kleitman--Rothschild~\cite {Kleitman1975}}{theorem.1}{}} +\newlabel{eq:KR_count}{{3}{2}{Kleitman--Rothschild~\cite {Kleitman1975}}{equation.2.3}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {D}The Benincasa--Dowker action}{2}{section*.8}\protected@file@percent } +\newlabel{eq:BD_action}{{4}{2}{}{equation.2.4}{}} +\newlabel{eq:Z_full}{{5}{2}{}{equation.2.5}{}} +\@writefile{toc}{\contentsline {section}{\numberline {III}The Observer Substructure and Projection Operator}{2}{section*.9}\protected@file@percent } +\newlabel{sec:observer}{{III}{2}{}{section*.9}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A}Motivation}{2}{section*.10}\protected@file@percent } +\citation{Page1983} +\citation{Rovelli1991} +\citation{Kleitman1975} +\@writefile{toc}{\contentsline {subsection}{\numberline {B}Formal definitions}{3}{section*.11}\protected@file@percent } +\newlabel{def:observer}{{4}{3}{Observer substructure}{definition.4}{}} +\newlabel{rem:clocks}{{1}{3}{Relation to internal clocks}{remark.1}{}} +\newlabel{def:gcc}{{5}{3}{Global causal connectedness}{definition.5}{}} +\newlabel{eq:gcc}{{6}{3}{Global causal connectedness}{equation.3.6}{}} +\newlabel{rem:ghyp}{{2}{3}{Comparison with global hyperbolicity}{remark.2}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {C}The projection operator}{3}{section*.12}\protected@file@percent } +\newlabel{def:projection}{{6}{3}{Observer projection operator}{definition.6}{}} +\newlabel{eq:projection}{{7}{3}{Observer projection operator}{equation.3.7}{}} +\newlabel{rem:bkgd}{{3}{3}{Background independence}{remark.3}{}} +\@writefile{toc}{\contentsline {section}{\numberline {IV}Exclusion Theorems}{3}{section*.13}\protected@file@percent } +\newlabel{sec:exclusion}{{IV}{3}{}{section*.13}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A}Exclusion of pure KR orders}{3}{section*.14}\protected@file@percent } +\newlabel{thm:KR_exclusion}{{2}{3}{Temporal depth exclusion}{theorem.2}{}} +\newlabel{rem:exact}{{4}{3}{Exactness}{remark.4}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {B}Exclusion of disconnected composites}{3}{section*.15}\protected@file@percent } +\citation{Brightwell1991,Winkler1985} +\citation{Hayden2007,Sekino2008} +\citation{Alon1985,Dodziuk1984} +\citation{Chung1997,Hoory2006} +\newlabel{thm:composite_exclusion}{{3}{4}{Disconnected composite exclusion}{theorem.3}{}} +\newlabel{cor:connected}{{4}{4}{}{theorem.4}{}} +\newlabel{rem:connected_KR}{{5}{4}{Causally connected KR--chain composites}{remark.5}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {C}Entropy reduction}{4}{section*.16}\protected@file@percent } +\newlabel{prop:entropy}{{5}{4}{Entropy of the observer-compatible ensemble}{theorem.5}{}} +\newlabel{eq:entropy_bound}{{8}{4}{Entropy of the observer-compatible ensemble}{equation.4.8}{}} +\@writefile{toc}{\contentsline {section}{\numberline {V}Scrambling-Time Exclusion of Expander Topologies}{4}{section*.17}\protected@file@percent } +\newlabel{sec:scrambling}{{V}{4}{}{section*.17}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A}Information scrambling on graphs}{4}{section*.18}\protected@file@percent } +\newlabel{def:scrambling}{{7}{4}{Scrambling time}{definition.7}{}} +\newlabel{eq:scrambling_def}{{9}{4}{Scrambling time}{equation.5.9}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {B}Spectral bound on scrambling}{4}{section*.19}\protected@file@percent } +\newlabel{lem:mixing}{{6}{4}{Spectral gap and mixing}{theorem.6}{}} +\newlabel{eq:cheeger_ineq}{{10}{4}{Spectral gap and mixing}{equation.5.10}{}} +\citation{Lashkari2013,Maldacena2016} +\citation{Lashkari2013} +\citation{Maldacena2016} +\citation{Sorkin2003} +\citation{Chung1997,Barlow2017} +\citation{Chung1997,Mohar1991} +\citation{Polya1921} +\newlabel{eq:mixing_time}{{11}{5}{Spectral gap and mixing}{equation.5.11}{}} +\newlabel{prop:scrambling_bound}{{7}{5}{Scrambling bound}{theorem.7}{}} +\newlabel{eq:scrambling_bound}{{12}{5}{Scrambling bound}{equation.5.12}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {C}Expander exclusion theorem}{5}{section*.20}\protected@file@percent } +\newlabel{thm:expander_exclusion}{{8}{5}{Expander exclusion}{theorem.8}{}} +\newlabel{eq:T_condition}{{13}{5}{Expander exclusion}{equation.5.13}{}} +\newlabel{rem:scales}{{6}{5}{Physical scales}{remark.6}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {D}The scaling window for observer persistence}{5}{section*.21}\protected@file@percent } +\newlabel{eq:scaling_window}{{15}{5}{}{equation.5.15}{}} +\@writefile{toc}{\contentsline {section}{\numberline {VI}Dimensional Restrictions from Recurrence}{5}{section*.22}\protected@file@percent } +\newlabel{sec:dimensional}{{VI}{5}{}{section*.22}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A}Spectral gap and dimension}{5}{section*.23}\protected@file@percent } +\newlabel{eq:gap_lattice}{{16}{5}{}{equation.6.16}{}} +\newlabel{eq:tscr_lattice}{{17}{5}{}{equation.6.17}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {B}Recurrence and information localization}{5}{section*.24}\protected@file@percent } +\newlabel{thm:polya}{{9}{5}{P\'olya~\cite {Polya1921}}{theorem.9}{}} +\newlabel{prop:dimension}{{10}{5}{Dimensional bound on observer substrate}{theorem.10}{}} +\citation{Lawler2010,Barlow2017} +\citation{Barlow2017} +\citation{Barlow2017} +\citation{tHooft1993,Susskind1995,Bousso2002} +\citation{Maldacena1999,Ryu2006,VanRaamsdonk2010} +\citation{Carlip2017} +\citation{Hartle1983} +\citation{Sorkin2003,Dowker2020} +\citation{Benincasa2010} +\citation{Loomis2018} +\citation{Surya2012,Glaser2018,Cunningham2020} +\citation{Rideout2000} +\newlabel{rem:polya_scope}{{7}{6}{Scope and caveats}{remark.7}{}} +\newlabel{rem:holography}{{8}{6}{Relation to holographic bounds}{remark.8}{}} +\@writefile{toc}{\contentsline {section}{\numberline {VII}The Observer-Conditioned Path Integral}{6}{section*.25}\protected@file@percent } +\newlabel{sec:path_integral}{{VII}{6}{}{section*.25}{}} +\newlabel{def:conditioned_Z}{{8}{6}{Observer-conditioned partition function}{definition.8}{}} +\newlabel{eq:Z_obs}{{18}{6}{Observer-conditioned partition function}{equation.7.18}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A}Compatibility with the BD action}{6}{section*.26}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {B}Label covariance}{6}{section*.27}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {VIII}Relation to Existing Approaches}{6}{section*.28}\protected@file@percent } +\newlabel{sec:related}{{VIII}{6}{}{section*.28}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A}Dynamical suppression}{6}{section*.29}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {B}Sequential growth dynamics}{6}{section*.30}\protected@file@percent } +\citation{Sorkin1994} +\citation{GellMann1993} +\citation{Carlip2017} +\citation{Winkler1985,Brightwell1991} +\citation{Surya2012,Glaser2018} +\citation{Surya2019} +\citation{Lashkari2013} +\@writefile{toc}{\contentsline {subsection}{\numberline {C}Quantum measure theory}{7}{section*.31}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {D}Dimensional reduction}{7}{section*.32}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {IX}Concrete Predictions and Numerical Tests}{7}{section*.33}\protected@file@percent } +\newlabel{sec:predictions}{{IX}{7}{}{section*.33}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A}Test 1: Height distribution}{7}{section*.34}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {B}Test 2: Cheeger constant distribution}{7}{section*.35}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {C}Test 3: Manifoldlikeness}{7}{section*.36}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {D}Test 4: Action-conditioned convergence}{7}{section*.37}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {X}Discussion and Conclusions}{7}{section*.38}\protected@file@percent } +\newlabel{sec:discussion}{{X}{7}{}{section*.38}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A}Summary}{7}{section*.39}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {B}Limitations}{7}{section*.40}\protected@file@percent } +\citation{Ryu2006,VanRaamsdonk2010} +\citation{Carlip2017} +\bibdata{paper_1a_physics_PRDNotes,references_prd} +\bibstyle{apsrev4-2} +\citation{REVTEX42Control} +\citation{apsrev42Control} +\@writefile{toc}{\contentsline {subsection}{\numberline {C}Outlook}{8}{section*.41}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {}Acknowledgments}{8}{section*.42}\protected@file@percent } +\newlabel{LastPage}{{}{8}{}{}{}} +\gdef \@abspage@last{8} diff --git a/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.bbl b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.bbl new file mode 100644 index 00000000..313e350a --- /dev/null +++ b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.bbl @@ -0,0 +1,435 @@ +%apsrev4-2.bst 2019-01-14 (MD) hand-edited version of apsrev4-1.bst +%Control: key (0) +%Control: author (8) initials jnrlst +%Control: editor formatted (1) identically to author +%Control: production of article title (0) allowed +%Control: page (0) single +%Control: year (1) truncated +%Control: production of eprint (0) enabled +\begin{thebibliography}{42}% +\makeatletter +\providecommand \@ifxundefined [1]{% + \@ifx{#1\undefined} +}% +\providecommand \@ifnum [1]{% + \ifnum #1\expandafter \@firstoftwo + \else \expandafter \@secondoftwo + \fi +}% +\providecommand \@ifx [1]{% + \ifx #1\expandafter \@firstoftwo + \else \expandafter \@secondoftwo + \fi +}% +\providecommand \natexlab [1]{#1}% +\providecommand \enquote [1]{``#1''}% +\providecommand \bibnamefont [1]{#1}% +\providecommand \bibfnamefont [1]{#1}% +\providecommand \citenamefont [1]{#1}% +\providecommand \href@noop [0]{\@secondoftwo}% +\providecommand \href [0]{\begingroup \@sanitize@url \@href}% +\providecommand \@href[1]{\@@startlink{#1}\@@href}% +\providecommand \@@href[1]{\endgroup#1\@@endlink}% +\providecommand \@sanitize@url [0]{\catcode `\\12\catcode `\$12\catcode + `\&12\catcode `\#12\catcode `\^12\catcode `\_12\catcode `\%12\relax}% +\providecommand \@@startlink[1]{}% +\providecommand \@@endlink[0]{}% +\providecommand \url [0]{\begingroup\@sanitize@url \@url }% +\providecommand \@url [1]{\endgroup\@href {#1}{\urlprefix }}% +\providecommand \urlprefix [0]{URL }% +\providecommand \Eprint [0]{\href }% +\providecommand \doibase [0]{https://doi.org/}% +\providecommand \selectlanguage [0]{\@gobble}% +\providecommand \bibinfo [0]{\@secondoftwo}% +\providecommand \bibfield [0]{\@secondoftwo}% +\providecommand \translation [1]{[#1]}% +\providecommand \BibitemOpen [0]{}% +\providecommand \bibitemStop [0]{}% +\providecommand \bibitemNoStop [0]{.\EOS\space}% +\providecommand \EOS [0]{\spacefactor3000\relax}% +\providecommand \BibitemShut [1]{\csname bibitem#1\endcsname}% +\let\auto@bib@innerbib\@empty +% +\bibitem [{\citenamefont {Bombelli}\ \emph {et~al.}(1987)\citenamefont + {Bombelli}, \citenamefont {Lee}, \citenamefont {Meyer},\ and\ \citenamefont + {Sorkin}}]{Bombelli1987}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {L.}~\bibnamefont + {Bombelli}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Lee}}, + \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Meyer}},\ and\ \bibinfo + {author} {\bibfnamefont {R.~D.}\ \bibnamefont {Sorkin}},\ }\bibfield {title} + {\bibinfo {title} {Space-time as a causal set},\ }\href + {https://doi.org/10.1103/PhysRevLett.59.521} {\bibfield {journal} {\bibinfo + {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {59}},\ \bibinfo + {pages} {521} (\bibinfo {year} {1987})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Sorkin}(2003)}]{Sorkin2003}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {R.~D.}\ \bibnamefont + {Sorkin}},\ }\bibfield {title} {\bibinfo {title} {Causal sets: Discrete + gravity},\ }in\ \href {https://doi.org/10.1007/0-387-24992-3_7} {\emph + {\bibinfo {booktitle} {Lectures on Quantum Gravity}}}\ (\bibinfo {publisher} + {Springer},\ \bibinfo {year} {2003})\ pp.\ \bibinfo {pages} + {305--327}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Malament}(1977)}]{Malament1977}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {D.~B.}\ \bibnamefont + {Malament}},\ }\bibfield {title} {\bibinfo {title} {The class of continuous + timelike curves determines the topology of spacetime},\ }\href + {https://doi.org/10.1063/1.523436} {\bibfield {journal} {\bibinfo {journal} + {J. Math. Phys.}\ }\textbf {\bibinfo {volume} {18}},\ \bibinfo {pages} {1399} + (\bibinfo {year} {1977})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Hawking}\ \emph {et~al.}(1976)\citenamefont + {Hawking}, \citenamefont {King},\ and\ \citenamefont + {McCarthy}}]{Hawking1976}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {S.~W.}\ \bibnamefont + {Hawking}}, \bibinfo {author} {\bibfnamefont {A.~R.}\ \bibnamefont {King}},\ + and\ \bibinfo {author} {\bibfnamefont {P.~J.}\ \bibnamefont {McCarthy}},\ + }\bibfield {title} {\bibinfo {title} {A new topology for curved space--time + which incorporates the causal, differential, and conformal structures},\ + }\href {https://doi.org/10.1063/1.522874} {\bibfield {journal} {\bibinfo + {journal} {J. Math. Phys.}\ }\textbf {\bibinfo {volume} {17}},\ \bibinfo + {pages} {174} (\bibinfo {year} {1976})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Kleitman}\ and\ \citenamefont + {Rothschild}(1975)}]{Kleitman1975}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {D.~J.}\ \bibnamefont + {Kleitman}}\ and\ \bibinfo {author} {\bibfnamefont {B.~L.}\ \bibnamefont + {Rothschild}},\ }\bibfield {title} {\bibinfo {title} {Asymptotic enumeration + of partial orders on a finite set},\ }\href + {https://doi.org/10.1090/S0002-9947-1975-0369090-9} {\bibfield {journal} + {\bibinfo {journal} {Trans. Amer. Math. Soc.}\ }\textbf {\bibinfo {volume} + {205}},\ \bibinfo {pages} {205} (\bibinfo {year} {1975})}\BibitemShut + {NoStop}% +\bibitem [{\citenamefont {Brightwell}(1991)}]{Brightwell1991}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {G.~R.}\ \bibnamefont + {Brightwell}},\ }\bibfield {title} {\bibinfo {title} {Counting antichains in + finite partially ordered sets},\ }\href {https://doi.org/10.1007/BF00383444} + {\bibfield {journal} {\bibinfo {journal} {Order}\ }\textbf {\bibinfo + {volume} {8}},\ \bibinfo {pages} {225} (\bibinfo {year} {1991})}\BibitemShut + {NoStop}% +\bibitem [{\citenamefont {Benincasa}\ and\ \citenamefont + {Dowker}(2010)}]{Benincasa2010}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {D.~M.~R.}\ + \bibnamefont {Benincasa}}\ and\ \bibinfo {author} {\bibfnamefont + {F.}~\bibnamefont {Dowker}},\ }\bibfield {title} {\bibinfo {title} {The + scalar curvature of a causal set},\ }\href + {https://doi.org/10.1103/PhysRevLett.104.181301} {\bibfield {journal} + {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {104}},\ + \bibinfo {pages} {181301} (\bibinfo {year} {2010})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Surya}(2012)}]{Surya2012}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont + {Surya}},\ }\bibfield {title} {\bibinfo {title} {Evidence for the continuum + in 2d causal set quantum gravity},\ }\href + {https://doi.org/10.1088/0264-9381/29/13/132001} {\bibfield {journal} + {\bibinfo {journal} {Class. Quantum Grav.}\ }\textbf {\bibinfo {volume} + {29}},\ \bibinfo {pages} {132001} (\bibinfo {year} {2012})}\BibitemShut + {NoStop}% +\bibitem [{\citenamefont {Glaser}\ and\ \citenamefont + {Surya}(2018)}]{Glaser2018}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {L.}~\bibnamefont + {Glaser}}\ and\ \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Surya}},\ + }\bibfield {title} {\bibinfo {title} {Finite size scaling in 2d causal set + quantum gravity},\ }\href {https://doi.org/10.1088/1361-6382/aa9540} + {\bibfield {journal} {\bibinfo {journal} {Class. Quantum Grav.}\ }\textbf + {\bibinfo {volume} {35}},\ \bibinfo {pages} {045006} (\bibinfo {year} + {2018})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Cunningham}\ and\ \citenamefont + {Surya}(2020)}]{Cunningham2020}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {W.~J.}\ \bibnamefont + {Cunningham}}\ and\ \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont + {Surya}},\ }\bibfield {title} {\bibinfo {title} {Dimensionally restricted + causal set quantum gravity},\ }\href + {https://doi.org/10.1088/1361-6382/ab60b7} {\bibfield {journal} {\bibinfo + {journal} {Class. Quantum Grav.}\ }\textbf {\bibinfo {volume} {37}},\ + \bibinfo {pages} {054002} (\bibinfo {year} {2020})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Rideout}\ and\ \citenamefont + {Sorkin}(2000)}]{Rideout2000}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {D.~P.}\ \bibnamefont + {Rideout}}\ and\ \bibinfo {author} {\bibfnamefont {R.~D.}\ \bibnamefont + {Sorkin}},\ }\bibfield {title} {\bibinfo {title} {Classical sequential + growth dynamics for causal sets},\ }\href + {https://doi.org/10.1103/PhysRevD.61.024002} {\bibfield {journal} {\bibinfo + {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {61}},\ \bibinfo + {pages} {024002} (\bibinfo {year} {2000})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Loomis}\ and\ \citenamefont + {Carlip}(2018)}]{Loomis2018}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont + {Loomis}}\ and\ \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont + {Carlip}},\ }\bibfield {title} {\bibinfo {title} {Suppression of + non-manifold-like sets in the causal set path integral},\ }\href + {https://doi.org/10.1088/1361-6382/aa980b} {\bibfield {journal} {\bibinfo + {journal} {Class. Quantum Grav.}\ }\textbf {\bibinfo {volume} {35}},\ + \bibinfo {pages} {015009} (\bibinfo {year} {2018})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Hartle}\ and\ \citenamefont + {Hawking}(1983)}]{Hartle1983}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {J.~B.}\ \bibnamefont + {Hartle}}\ and\ \bibinfo {author} {\bibfnamefont {S.~W.}\ \bibnamefont + {Hawking}},\ }\bibfield {title} {\bibinfo {title} {Wave function of the + universe},\ }\href {https://doi.org/10.1103/PhysRevD.28.2960} {\bibfield + {journal} {\bibinfo {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} + {28}},\ \bibinfo {pages} {2960} (\bibinfo {year} {1983})}\BibitemShut + {NoStop}% +\bibitem [{\citenamefont {DeWitt}(1967)}]{DeWitt1967}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {B.~S.}\ \bibnamefont + {DeWitt}},\ }\bibfield {title} {\bibinfo {title} {Quantum theory of gravity. + {I}. {The} canonical theory},\ }\href + {https://doi.org/10.1103/PhysRev.160.1113} {\bibfield {journal} {\bibinfo + {journal} {Phys. Rev.}\ }\textbf {\bibinfo {volume} {160}},\ \bibinfo {pages} + {1113} (\bibinfo {year} {1967})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Isham}(1993)}]{Isham1993}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {C.~J.}\ \bibnamefont + {Isham}},\ }\bibfield {title} {\bibinfo {title} {Canonical quantum gravity + and the problem of time},\ }in\ \href + {https://doi.org/10.1007/978-94-011-1980-1_6} {\emph {\bibinfo {booktitle} + {Integrable Systems, Quantum Groups, and Quantum Field Theories}}}\ (\bibinfo + {publisher} {Springer},\ \bibinfo {year} {1993})\ pp.\ \bibinfo {pages} + {157--287}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Page}\ and\ \citenamefont + {Wootters}(1983)}]{Page1983}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {D.~N.}\ \bibnamefont + {Page}}\ and\ \bibinfo {author} {\bibfnamefont {W.~K.}\ \bibnamefont + {Wootters}},\ }\bibfield {title} {\bibinfo {title} {Evolution without + evolution: Dynamics described by stationary observables},\ }\href + {https://doi.org/10.1103/PhysRevD.27.2885} {\bibfield {journal} {\bibinfo + {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {27}},\ \bibinfo + {pages} {2885} (\bibinfo {year} {1983})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Rovelli}(1991)}]{Rovelli1991}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {C.}~\bibnamefont + {Rovelli}},\ }\bibfield {title} {\bibinfo {title} {Quantum reference + systems},\ }\href {https://doi.org/10.1088/0264-9381/8/2/012} {\bibfield + {journal} {\bibinfo {journal} {Class. Quantum Grav.}\ }\textbf {\bibinfo + {volume} {8}},\ \bibinfo {pages} {317} (\bibinfo {year} {1991})}\BibitemShut + {NoStop}% +\bibitem [{\citenamefont {Surya}(2019)}]{Surya2019}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont + {Surya}},\ }\bibfield {title} {\bibinfo {title} {The causal set approach to + quantum gravity},\ }\href {https://doi.org/10.1007/s41114-019-0023-1} + {\bibfield {journal} {\bibinfo {journal} {Living Rev. Relativ.}\ }\textbf + {\bibinfo {volume} {22}},\ \bibinfo {pages} {5} (\bibinfo {year} + {2019})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Cheeger}(1970)}]{Cheeger1970}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {J.}~\bibnamefont + {Cheeger}},\ }\bibfield {title} {\bibinfo {title} {A lower bound for the + smallest eigenvalue of the {Laplacian}},\ }\bibfield {booktitle} {\emph + {\bibinfo {booktitle} {Problems in Analysis}},\ }\href@noop {} {\ ,\ \bibinfo + {pages} {195} (\bibinfo {year} {1970})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Hoory}\ \emph {et~al.}(2006)\citenamefont {Hoory}, + \citenamefont {Linial},\ and\ \citenamefont {Wigderson}}]{Hoory2006}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont + {Hoory}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Linial}},\ and\ + \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Wigderson}},\ }\bibfield + {title} {\bibinfo {title} {Expander graphs and their applications},\ }\href + {https://doi.org/10.1090/S0273-0979-06-01126-8} {\bibfield {journal} + {\bibinfo {journal} {Bull. Amer. Math. Soc.}\ }\textbf {\bibinfo {volume} + {43}},\ \bibinfo {pages} {439} (\bibinfo {year} {2006})}\BibitemShut + {NoStop}% +\bibitem [{\citenamefont {Winkler}(1985)}]{Winkler1985}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {P.~M.}\ \bibnamefont + {Winkler}},\ }\bibfield {title} {\bibinfo {title} {Random orders},\ }\href + {https://doi.org/10.1007/BF00582738} {\bibfield {journal} {\bibinfo + {journal} {Order}\ }\textbf {\bibinfo {volume} {1}},\ \bibinfo {pages} {317} + (\bibinfo {year} {1985})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Hayden}\ and\ \citenamefont + {Preskill}(2007)}]{Hayden2007}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {P.}~\bibnamefont + {Hayden}}\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont + {Preskill}},\ }\bibfield {title} {\bibinfo {title} {Black holes as mirrors: + quantum information in random subsystems},\ }\href + {https://doi.org/10.1088/1126-6708/2007/09/120} {\bibfield {journal} + {\bibinfo {journal} {J. High Energy Phys.}\ }\textbf {\bibinfo {volume} + {2007}}\bibinfo {number} { (09)},\ \bibinfo {pages} {120}}\BibitemShut + {NoStop}% +\bibitem [{\citenamefont {Sekino}\ and\ \citenamefont + {Susskind}(2008)}]{Sekino2008}% + \BibitemOpen +\bibfield {number} { }\bibfield {author} {\bibinfo {author} {\bibfnamefont + {Y.}~\bibnamefont {Sekino}}\ and\ \bibinfo {author} {\bibfnamefont + {L.}~\bibnamefont {Susskind}},\ }\bibfield {title} {\bibinfo {title} {Fast + scramblers},\ }\href {https://doi.org/10.1088/1126-6708/2008/10/065} + {\bibfield {journal} {\bibinfo {journal} {J. High Energy Phys.}\ }\textbf + {\bibinfo {volume} {2008}}\bibinfo {number} { (10)},\ \bibinfo {pages} + {065}}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Alon}\ and\ \citenamefont {Milman}(1985)}]{Alon1985}% + \BibitemOpen +\bibfield {number} { }\bibfield {author} {\bibinfo {author} {\bibfnamefont + {N.}~\bibnamefont {Alon}}\ and\ \bibinfo {author} {\bibfnamefont {V.~D.}\ + \bibnamefont {Milman}},\ }\bibfield {title} {\bibinfo {title} {$\lambda_1$, + isoperimetric inequalities for graphs, and superconcentrators},\ }\href + {https://doi.org/10.1016/0095-8956(85)90092-9} {\bibfield {journal} + {\bibinfo {journal} {J. Combin. Theory B}\ }\textbf {\bibinfo {volume} + {38}},\ \bibinfo {pages} {73} (\bibinfo {year} {1985})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Dodziuk}(1984)}]{Dodziuk1984}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {J.}~\bibnamefont + {Dodziuk}},\ }\bibfield {title} {\bibinfo {title} {Difference equations, + isoperimetric inequality and transience of certain random walks},\ }\href + {https://doi.org/10.1090/S0002-9947-1984-0743744-X} {\bibfield {journal} + {\bibinfo {journal} {Trans. Amer. Math. Soc.}\ }\textbf {\bibinfo {volume} + {284}},\ \bibinfo {pages} {787} (\bibinfo {year} {1984})}\BibitemShut + {NoStop}% +\bibitem [{\citenamefont {Chung}(1997)}]{Chung1997}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {F.~R.~K.}\ + \bibnamefont {Chung}},\ }\href@noop {} {\emph {\bibinfo {title} {Spectral + Graph Theory}}},\ \bibinfo {series} {CBMS Regional Conference Series in + Mathematics}, Vol.~\bibinfo {volume} {92}\ (\bibinfo {publisher} {American + Mathematical Society},\ \bibinfo {year} {1997})\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Lashkari}\ \emph {et~al.}(2013)\citenamefont + {Lashkari}, \citenamefont {Stanford}, \citenamefont {Hastings}, \citenamefont + {Osborne},\ and\ \citenamefont {Hayden}}]{Lashkari2013}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont + {Lashkari}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Stanford}}, + \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Hastings}}, \bibinfo + {author} {\bibfnamefont {T.}~\bibnamefont {Osborne}},\ and\ \bibinfo {author} + {\bibfnamefont {P.}~\bibnamefont {Hayden}},\ }\bibfield {title} {\bibinfo + {title} {Towards the fast scrambling conjecture},\ }\href + {https://doi.org/10.1007/JHEP04(2013)022} {\bibfield {journal} {\bibinfo + {journal} {J. High Energy Phys.}\ }\textbf {\bibinfo {volume} {2013}}\bibinfo + {number} { (4)},\ \bibinfo {pages} {22}}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Maldacena}\ \emph {et~al.}(2016)\citenamefont + {Maldacena}, \citenamefont {Shenker},\ and\ \citenamefont + {Stanford}}]{Maldacena2016}% + \BibitemOpen +\bibfield {number} { }\bibfield {author} {\bibinfo {author} {\bibfnamefont + {J.}~\bibnamefont {Maldacena}}, \bibinfo {author} {\bibfnamefont {S.~H.}\ + \bibnamefont {Shenker}},\ and\ \bibinfo {author} {\bibfnamefont + {D.}~\bibnamefont {Stanford}},\ }\bibfield {title} {\bibinfo {title} {A + bound on chaos},\ }\href {https://doi.org/10.1007/JHEP08(2016)106} {\bibfield + {journal} {\bibinfo {journal} {J. High Energy Phys.}\ }\textbf {\bibinfo + {volume} {2016}}\bibinfo {number} { (8)},\ \bibinfo {pages} + {106}}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Barlow}(2017)}]{Barlow2017}% + \BibitemOpen +\bibfield {number} { }\bibfield {author} {\bibinfo {author} {\bibfnamefont + {M.~T.}\ \bibnamefont {Barlow}},\ }\href + {https://doi.org/10.1017/9781107415690} {\emph {\bibinfo {title} {Random + Walks and Heat Kernels on Graphs}}},\ \bibinfo {series} {LMS Lecture Note + Series}, Vol.\ \bibinfo {volume} {438}\ (\bibinfo {publisher} {Cambridge + University Press},\ \bibinfo {year} {2017})\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Mohar}(1991)}]{Mohar1991}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {B.}~\bibnamefont + {Mohar}},\ }\bibfield {title} {\bibinfo {title} {The {Laplacian} spectrum of + graphs},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal} {Graph + Theory, Combinatorics, and Applications}\ }\textbf {\bibinfo {volume} {2}},\ + \bibinfo {pages} {871} (\bibinfo {year} {1991})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {P{\'o}lya}(1921)}]{Polya1921}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {G.}~\bibnamefont + {P{\'o}lya}},\ }\bibfield {title} {\bibinfo {title} {{\"U}ber eine {Aufgabe} + der {Wahrscheinlichkeitsrechnung} betreffend die {Irrfahrt} im + {Stra{\ss}ennetz}},\ }\href {https://doi.org/10.1007/BF01458701} {\bibfield + {journal} {\bibinfo {journal} {Math. Ann.}\ }\textbf {\bibinfo {volume} + {84}},\ \bibinfo {pages} {149} (\bibinfo {year} {1921})}\BibitemShut + {NoStop}% +\bibitem [{\citenamefont {Lawler}\ and\ \citenamefont + {Limic}(2010)}]{Lawler2010}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {G.~F.}\ \bibnamefont + {Lawler}}\ and\ \bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Limic}},\ + }\href {https://doi.org/10.1017/CBO9780511934837} {\emph {\bibinfo {title} + {Random Walk: A Modern Introduction}}}\ (\bibinfo {publisher} {Cambridge + University Press},\ \bibinfo {year} {2010})\BibitemShut {NoStop}% +\bibitem [{\citenamefont {'t~Hooft}(1993)}]{tHooft1993}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {G.}~\bibnamefont + {'t~Hooft}},\ }\bibfield {title} {\bibinfo {title} {Dimensional reduction in + quantum gravity},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal} + {arXiv preprint gr-qc/9310026}\ } (\bibinfo {year} {1993})}\BibitemShut + {NoStop}% +\bibitem [{\citenamefont {Susskind}(1995)}]{Susskind1995}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {L.}~\bibnamefont + {Susskind}},\ }\bibfield {title} {\bibinfo {title} {The world as a + hologram},\ }\href {https://doi.org/10.1063/1.531249} {\bibfield {journal} + {\bibinfo {journal} {J. Math. Phys.}\ }\textbf {\bibinfo {volume} {36}},\ + \bibinfo {pages} {6377} (\bibinfo {year} {1995})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Bousso}(2002)}]{Bousso2002}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {R.}~\bibnamefont + {Bousso}},\ }\bibfield {title} {\bibinfo {title} {The holographic + principle},\ }\href {https://doi.org/10.1103/RevModPhys.74.825} {\bibfield + {journal} {\bibinfo {journal} {Rev. Mod. Phys.}\ }\textbf {\bibinfo {volume} + {74}},\ \bibinfo {pages} {825} (\bibinfo {year} {2002})}\BibitemShut + {NoStop}% +\bibitem [{\citenamefont {Maldacena}(1999)}]{Maldacena1999}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {J.}~\bibnamefont + {Maldacena}},\ }\bibfield {title} {\bibinfo {title} {The large-{N} limit of + superconformal field theories and supergravity},\ }\href + {https://doi.org/10.1023/A:1026654312961} {\bibfield {journal} {\bibinfo + {journal} {Int. J. Theor. Phys.}\ }\textbf {\bibinfo {volume} {38}},\ + \bibinfo {pages} {1113} (\bibinfo {year} {1999})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Ryu}\ and\ \citenamefont + {Takayanagi}(2006)}]{Ryu2006}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont + {Ryu}}\ and\ \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont + {Takayanagi}},\ }\bibfield {title} {\bibinfo {title} {Holographic derivation + of entanglement entropy from the anti-de {Sitter} space/conformal field + theory correspondence},\ }\href + {https://doi.org/10.1103/PhysRevLett.96.181602} {\bibfield {journal} + {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {96}},\ + \bibinfo {pages} {181602} (\bibinfo {year} {2006})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Van~Raamsdonk}(2010)}]{VanRaamsdonk2010}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont + {Van~Raamsdonk}},\ }\bibfield {title} {\bibinfo {title} {Building up + spacetime with quantum entanglement},\ }\href + {https://doi.org/10.1007/s10714-010-1034-0} {\bibfield {journal} {\bibinfo + {journal} {Gen. Relativ. Gravit.}\ }\textbf {\bibinfo {volume} {42}},\ + \bibinfo {pages} {2323} (\bibinfo {year} {2010})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Carlip}(2017)}]{Carlip2017}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont + {Carlip}},\ }\bibfield {title} {\bibinfo {title} {Dimension and dimensional + reduction in quantum gravity},\ }\href + {https://doi.org/10.1088/1361-6382/aa8535} {\bibfield {journal} {\bibinfo + {journal} {Class. Quantum Grav.}\ }\textbf {\bibinfo {volume} {34}},\ + \bibinfo {pages} {193001} (\bibinfo {year} {2017})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Dowker}(2020)}]{Dowker2020}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {F.}~\bibnamefont + {Dowker}},\ }\bibfield {title} {\bibinfo {title} {Being and becoming on the + road to quantum gravity},\ }\href {https://doi.org/10.1098/rsta.2019.0239} + {\bibfield {journal} {\bibinfo {journal} {Phil. Trans. R. Soc. A}\ }\textbf + {\bibinfo {volume} {378}},\ \bibinfo {pages} {20190239} (\bibinfo {year} + {2020})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Sorkin}(1994)}]{Sorkin1994}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {R.~D.}\ \bibnamefont + {Sorkin}},\ }\bibfield {title} {\bibinfo {title} {Quantum mechanics as + quantum measure theory},\ }\href {https://doi.org/10.1142/S021773239400294X} + {\bibfield {journal} {\bibinfo {journal} {Mod. Phys. Lett. A}\ }\textbf + {\bibinfo {volume} {9}},\ \bibinfo {pages} {3119} (\bibinfo {year} + {1994})}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Gell-Mann}\ and\ \citenamefont + {Hartle}(1993)}]{GellMann1993}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont + {Gell-Mann}}\ and\ \bibinfo {author} {\bibfnamefont {J.~B.}\ \bibnamefont + {Hartle}},\ }\bibfield {title} {\bibinfo {title} {Classical equations for + quantum systems},\ }\href {https://doi.org/10.1103/PhysRevD.47.3345} + {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. D}\ }\textbf {\bibinfo + {volume} {47}},\ \bibinfo {pages} {3345} (\bibinfo {year} + {1993})}\BibitemShut {NoStop}% +\end{thebibliography}% diff --git a/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.blg b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.blg new file mode 100644 index 00000000..7fa51a25 --- /dev/null +++ b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.blg @@ -0,0 +1,110 @@ +This is BibTeX, Version 0.99d (TeX Live 2023/Debian) +Capacity: max_strings=200000, hash_size=200000, hash_prime=170003 +The top-level auxiliary file: paper_1a_physics_PRD.aux +The style file: apsrev4-2.bst +Reallocated singl_function (elt_size=4) to 100 items from 50. +Reallocated singl_function (elt_size=4) to 100 items from 50. +Reallocated singl_function (elt_size=4) to 100 items from 50. +Reallocated singl_function (elt_size=4) to 100 items from 50. +Reallocated singl_function (elt_size=4) to 100 items from 50. +Reallocated singl_function (elt_size=4) to 100 items from 50. +Reallocated singl_function (elt_size=4) to 100 items from 50. +Reallocated wiz_functions (elt_size=4) to 6000 items from 3000. +Reallocated singl_function (elt_size=4) to 100 items from 50. +Database file #1: paper_1a_physics_PRDNotes.bib +Database file #2: references_prd.bib +control{REVTEX42Control}, control.key{N/A}, control.author{N/A}, control.editor{N/A}, control.title{N/A}, control.pages{N/A}, control.year{N/A}, control.eprint{N/A}, +control{apsrev42Control}, control.key{N/A}, control.author{08}, control.editor{1}, control.title{0}, control.pages{0}, control.year{1}, control.eprint{N/A}, +Warning--jnrlst (dependency: not reversed) set 1 +Reallocated singl_function (elt_size=4) to 100 items from 50. +Reallocated wiz_functions (elt_size=4) to 9000 items from 6000. +apsrev4-2.bst 2019-01-14 (MD) hand-edited version of apsrev4-1.bst +Control: key (0) +Control: author (8) initials jnrlst +Control: editor formatted (1) identically to author +Control: production of article title (0) allowed +Control: page (0) single +Control: year (1) truncated +Control: production of eprint (0) enabled +"J. High Energy Phys." is a string literal, `journal' is a missing field +---they aren't the same literal types for entry Cheeger1970 +while executing---line 3515 of file apsrev4-2.bst +"J. High Energ. Phys." is a string literal, `journal' is a missing field +---they aren't the same literal types for entry Cheeger1970 +while executing---line 3515 of file apsrev4-2.bst +"JHEP" is a string literal, `journal' is a missing field +---they aren't the same literal types for entry Cheeger1970 +while executing---line 3515 of file apsrev4-2.bst +"Journal of Cosmology and Astroparticle Physics" is a string literal, `journal' is a missing field +---they aren't the same literal types for entry Cheeger1970 +while executing---line 3515 of file apsrev4-2.bst +"J. Cosmol. Astropart. Phys." is a string literal, `journal' is a missing field +---they aren't the same literal types for entry Cheeger1970 +while executing---line 3515 of file apsrev4-2.bst +"JCAP" is a string literal, `journal' is a missing field +---they aren't the same literal types for entry Cheeger1970 +while executing---line 3515 of file apsrev4-2.bst +"Journal of Instrumentation" is a string literal, `journal' is a missing field +---they aren't the same literal types for entry Cheeger1970 +while executing---line 3515 of file apsrev4-2.bst +"J. Instrum." is a string literal, `journal' is a missing field +---they aren't the same literal types for entry Cheeger1970 +while executing---line 3515 of file apsrev4-2.bst +"JINST" is a string literal, `journal' is a missing field +---they aren't the same literal types for entry Cheeger1970 +while executing---line 3515 of file apsrev4-2.bst +"Journal of Statistical Mechanics" is a string literal, `journal' is a missing field +---they aren't the same literal types for entry Cheeger1970 +while executing---line 3515 of file apsrev4-2.bst +"J. of Stat. Mech." is a string literal, `journal' is a missing field +---they aren't the same literal types for entry Cheeger1970 +while executing---line 3515 of file apsrev4-2.bst +"J. Stat. Mech.: Theory Exp." is a string literal, `journal' is a missing field +---they aren't the same literal types for entry Cheeger1970 +while executing---line 3515 of file apsrev4-2.bst +"JSTAT" is a string literal, `journal' is a missing field +---they aren't the same literal types for entry Cheeger1970 +while executing---line 3515 of file apsrev4-2.bst +Warning--missing journal in Cheeger1970 +You've used 44 entries, + 6079 wiz_defined-function locations, + 1956 strings with 21072 characters, +and the built_in function-call counts, 40237 in all, are: += -- 3236 +> -- 701 +< -- 220 ++ -- 250 +- -- 158 +* -- 5565 +:= -- 4027 +add.period$ -- 42 +call.type$ -- 44 +change.case$ -- 211 +chr.to.int$ -- 54 +cite$ -- 45 +duplicate$ -- 3804 +empty$ -- 2984 +format.name$ -- 384 +if$ -- 8182 +int.to.chr$ -- 1 +int.to.str$ -- 51 +missing$ -- 604 +newline$ -- 178 +num.names$ -- 126 +pop$ -- 1515 +preamble$ -- 1 +purify$ -- 210 +quote$ -- 0 +skip$ -- 1945 +stack$ -- 0 +substring$ -- 1104 +swap$ -- 3411 +text.length$ -- 73 +text.prefix$ -- 0 +top$ -- 10 +type$ -- 540 +warning$ -- 2 +while$ -- 137 +width$ -- 0 +write$ -- 422 +(There were 13 error messages) diff --git a/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.log b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.log new file mode 100644 index 00000000..6d8d8bf7 --- /dev/null +++ b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.log @@ -0,0 +1,1013 @@ +This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2026.5.30) 3 JUN 2026 01:50 +entering extended mode + restricted \write18 enabled. + %&-line parsing enabled. +**paper_1a_physics_PRD.tex +(./paper_1a_physics_PRD.tex +LaTeX2e <2023-11-01> patch level 1 +L3 programming layer <2024-01-22> +(/usr/share/texlive/texmf-dist/tex/latex/revtex/revtex4-2.cls +Document Class: revtex4-2 2022/06/05 4.2f (https://journals.aps.org/revtex/ for + documentation) + Copyright (c) 2019 American Physical Society. + mailto:revtex@aps.org + Licensed under the LPPL: +http://www.ctan.org/tex-archive/macros/latex/base/lppl.txt + Arthur Ogawa + Based on work by David Carlisle + Version (4.2d--4.2f): Modified by Mark Doyle and Phelype Oleinik + . +ltxutil[2022/06/05 4.2f utilities package (portions licensed from W. E. Baxter +web at superscript.com)] +LaTeX Info: Redefining \@centercr on input line 356. +Class revtex4-2 Info: Repairing broken LaTeX eqnarray on input line 417. +\eqncolsep=\skip48 +Class revtex4-2 Info: Repairing hyperref-unfriendly LaTeX definition of \mpfoot +note on input line 492. +Class revtex4-2 Info: Repairing broken LateX \@sect on input line 814. +\intertabularlinepenalty=\count187 +\@tbpen=\count188 +\@arstrutbox@hline=\box51 +Class revtex4-2 Info: Repairing broken LaTeX \@xbitor on input line 1845. +Class revtex4-2 Info: Making \typeout \long on input line 2110. +ltxfront[2022/06/05 4.2f frontmatter package (AO,DPC,MD)] +\c@affil=\count189 +\c@collab=\count190 +\absbox=\box52 +ltxgrid[2022/06/05 4.2f page grid package (portions licensed from W. E. Baxter +web at superscript.com)] +\c@linecount=\count191 +\output@latex=\toks17 +\box@size@1=\box53 +\box@size@2=\box54 +\@protection@box=\box55 +\@topmark@saved=\toks18 +\footins@saved=\box56 +\footins@recovered=\box57 +\column@recovered=\box58 +\pagesofar=\box59 +\footsofar=\box60 +\pagegrid@col=\count192 +Class revtex4-2 Info: Overriding \@vspace, \@vspacer, \@no@pgbk, \@newline, and + \\ on input line 5676. +\c@part=\count193 +\c@section=\count194 +\c@subsection=\count195 +\c@subsubsection=\count196 +\c@paragraph=\count197 +\c@subparagraph=\count198 +\abovecaptionskip=\skip49 +\belowcaptionskip=\skip50 +\c@figure=\count199 +\fbox@1=\box61 +\c@table=\count266 +\fbox@2=\box62 +\c@video=\count267 +\fbox@4=\box63 +\@bibdataout=\write3 +\widetext@top=\box64 +\widetext@bot=\box65 +Class revtex4-2 Info: Selecting society aps on input line 7669. +(/usr/share/texlive/texmf-dist/tex/latex/revtex/aps4-2.rtx +File: aps4-2 2022/06/05 4.2f (https://journals.aps.org/revtex/ for documentatio +n) +Class revtex4-2 Info: RevTeX society APS selected on input line 40. +) +Class revtex4-2 Info: Selecting journal prd on input line 7671. +Class revtex4-2 Info: APS journal PRD selected on input line 7672. + + +Class revtex4-2 Warning: No type size specified, using default 10. + +(/usr/share/texlive/texmf-dist/tex/latex/revtex/aps10pt4-2.rtx +File: aps10pt4-2 2022/06/05 4.2f (https://journals.aps.org/revtex/ for document +ation) +Class revtex4-2 Info: RevTeX pointsize 10pt selected on input line 39. +) +(/usr/share/texlive/texmf-dist/tex/latex/textcase/textcase.sty +Package: textcase 2023/07/27 v1.04 Text only upper/lower case changing (DPC) +Package textcase Info: Defining Legacy names on input line 20. +) +(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty +\Urlmuskip=\muskip16 +Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. +) +(/usr/share/texlive/texmf-dist/tex/latex/natbib/natbib.sty +Package: natbib 2010/09/13 8.31b (PWD, AO) +\bibhang=\skip51 +\bibsep=\skip52 +LaTeX Info: Redefining \cite on input line 694. +\c@NAT@ctr=\count268 +) +Class revtex4-2 Info: Repairing natbib's \BibitemShut on input line 7676. + +(/usr/share/texlive/texmf-dist/tex/latex/revtex/revsymb4-2.sty +Package: revsymb4-2 2022/06/05 4.2f (https://journals.aps.org/revtex/ for docum +entation) +LaTeX Info: Redefining \REV@mathfrak on input line 128. +)) +(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty +Package: inputenc 2021/02/14 v1.3d Input encoding file +\inpenc@prehook=\toks19 +\inpenc@posthook=\toks20 +) +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty +Package: amsmath 2023/05/13 v2.17o AMS math features +\@mathmargin=\skip53 + +For additional information on amsmath, use the `?' option. +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty +Package: amstext 2021/08/26 v2.01 AMS text + +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty +File: amsgen.sty 1999/11/30 v2.0 generic functions +\@emptytoks=\toks21 +\ex@=\dimen140 +) +LaTeX Info: Redefining \text on input line 28. +) +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty +Package: amsbsy 1999/11/29 v1.2d Bold Symbols +\pmbraise@=\dimen141 +) +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty +Package: amsopn 2022/04/08 v2.04 operator names +) +\inf@bad=\count269 +LaTeX Info: Redefining \frac on input line 234. +\uproot@=\count270 +\leftroot@=\count271 +LaTeX Info: Redefining \overline on input line 399. +LaTeX Info: Redefining \colon on input line 410. +\classnum@=\count272 +\DOTSCASE@=\count273 +LaTeX Info: Redefining \ldots on input line 496. +LaTeX Info: Redefining \dots on input line 499. +LaTeX Info: Redefining \cdots on input line 620. +\Mathstrutbox@=\box66 +\strutbox@=\box67 +LaTeX Info: Redefining \big on input line 722. +LaTeX Info: Redefining \Big on input line 723. +LaTeX Info: Redefining \bigg on input line 724. +LaTeX Info: Redefining \Bigg on input line 725. +\big@size=\dimen142 +LaTeX Font Info: Redeclaring font encoding OML on input line 743. +LaTeX Font Info: Redeclaring font encoding OMS on input line 744. +\macc@depth=\count274 +LaTeX Info: Redefining \bmod on input line 905. +LaTeX Info: Redefining \pmod on input line 910. +LaTeX Info: Redefining \smash on input line 940. +LaTeX Info: Redefining \relbar on input line 970. +LaTeX Info: Redefining \Relbar on input line 971. +\c@MaxMatrixCols=\count275 +\dotsspace@=\muskip17 +\c@parentequation=\count276 +\dspbrk@lvl=\count277 +\tag@help=\toks22 +\row@=\count278 +\column@=\count279 +\maxfields@=\count280 +\andhelp@=\toks23 +\eqnshift@=\dimen143 +\alignsep@=\dimen144 +\tagshift@=\dimen145 +\tagwidth@=\dimen146 +\totwidth@=\dimen147 +\lineht@=\dimen148 +\@envbody=\toks24 +\multlinegap=\skip54 +\multlinetaggap=\skip55 +\mathdisplay@stack=\toks25 +LaTeX Info: Redefining \[ on input line 2953. +LaTeX Info: Redefining \] on input line 2954. +) +(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty +Package: amssymb 2013/01/14 v3.01 AMS font symbols + +(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty +Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support +\symAMSa=\mathgroup4 +\symAMSb=\mathgroup5 +LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. +LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' +(Font) U/euf/m/n --> U/euf/b/n on input line 106. +LaTeX Info: Redefining \frak on input line 111. +LaTeX Info: Redefining \Bbb on input line 113. +)) +(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty +Package: amsthm 2020/05/29 v2.20.6 +\thm@style=\toks26 +\thm@bodyfont=\toks27 +\thm@headfont=\toks28 +\thm@notefont=\toks29 +\thm@headpunct=\toks30 +\thm@preskip=\skip56 +\thm@postskip=\skip57 +\thm@headsep=\skip58 +\dth@everypar=\toks31 +) +(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty +Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR) + +(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty +Package: keyval 2022/05/29 v1.15 key=value parser (DPC) +\KV@toks@=\toks32 +) +(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty +Package: graphics 2022/03/10 v1.4e Standard LaTeX Graphics (DPC,SPQR) + +(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty +Package: trig 2021/08/11 v1.11 sin cos tan (DPC) +) +(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg +File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration +) +Package graphics Info: Driver file: pdftex.def on input line 107. + +(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def +File: pdftex.def 2022/09/22 v1.2b Graphics/color driver for pdftex +)) +\Gin@req@height=\dimen149 +\Gin@req@width=\dimen150 +) +(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty +Package: hyperref 2024-01-20 v7.01h Hypertext links for LaTeX + +(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty +Package: iftex 2022/02/03 v1.0f TeX engine tests +) +(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty +Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO) +) +(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO) +) +(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty +Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO) + +(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +Package: ltxcmds 2023-12-04 v1.26 LaTeX kernel commands for general use (HO) +) +(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO +) + +(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO) +) +Package pdftexcmds Info: \pdf@primitive is available. +Package pdftexcmds Info: \pdf@ifprimitive is available. +Package pdftexcmds Info: \pdfdraftmode found. +)) +(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty +Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO) +) +(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty +Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO) +) +(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty +Package: nameref 2023-11-26 v2.56 Cross-referencing by name of section + +(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty +Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO) +) +(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty +Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO) + +(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty +Package: kvoptions 2022-06-15 v3.15 Key value format for package options (HO) +)) + +Package nameref Warning: The definition of \label has changed! +(nameref) Check your packages! +(nameref) Replacing it with the kernel definition on input line +149. + +\c@section@level=\count281 +) (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty +Package: etoolbox 2020/10/05 v2.5k e-TeX tools for LaTeX (JAW) +\etb@tempcnta=\count282 +) +\@linkdim=\dimen151 +\Hy@linkcounter=\count283 +\Hy@pagecounter=\count284 + +(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def +File: pd1enc.def 2024-01-20 v7.01h Hyperref: PDFDocEncoding definition (HO) +Now handling font encoding PD1 ... +... no UTF-8 mapping file for font encoding PD1 +) +(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty +Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO) +) +\Hy@SavedSpaceFactor=\count285 + +(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def +File: puenc.def 2024-01-20 v7.01h Hyperref: PDF Unicode definition (HO) +Now handling font encoding PU ... +... no UTF-8 mapping file for font encoding PU +) +Package hyperref Info: Hyper figures OFF on input line 4179. +Package hyperref Info: Link nesting OFF on input line 4184. +Package hyperref Info: Hyper index ON on input line 4187. +Package hyperref Info: Plain pages OFF on input line 4194. +Package hyperref Info: Backreferencing OFF on input line 4199. +Package hyperref Info: Implicit mode ON; LaTeX internals redefined. +Package hyperref Info: Bookmarks ON on input line 4446. +LaTeX Info: Redefining \href on input line 4695. +\c@Hy@tempcnt=\count286 +LaTeX Info: Redefining \url on input line 4784. +\XeTeXLinkMargin=\dimen152 + +(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty +Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO) + +(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty +Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO +) +)) +\Fld@menulength=\count287 +\Field@Width=\dimen153 +\Fld@charsize=\dimen154 +Package hyperref Info: Hyper figures OFF on input line 6063. +Package hyperref Info: Link nesting OFF on input line 6068. +Package hyperref Info: Hyper index ON on input line 6071. +Package hyperref Info: backreferencing OFF on input line 6078. +Package hyperref Info: Link coloring OFF on input line 6083. +Package hyperref Info: Link coloring with OCG OFF on input line 6088. +Package hyperref Info: PDF/A mode OFF on input line 6093. + +(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty +Package: atbegshi-ltx 2021/01/10 v1.0c Emulation of the original atbegshi +package with kernel methods +) +\Hy@abspage=\count288 +\c@Item=\count289 +\c@Hfootnote=\count290 +) +Package hyperref Info: Driver (autodetected): hpdftex. + +(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def +File: hpdftex.def 2024-01-20 v7.01h Hyperref driver for pdfTeX + +(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty +Package: atveryend-ltx 2020/08/19 v1.0a Emulation of the original atveryend pac +kage +with kernel methods +) +\Fld@listcount=\count291 +\c@bookmark@seq@number=\count292 + +(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty +Package: rerunfilecheck 2022-07-10 v1.10 Rerun checks for auxiliary files (HO) + +(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty +Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO) +) +Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 +85. +) +\Hy@SectionHShift=\skip59 +) +(/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty +Package: xcolor 2023/11/15 v3.01 LaTeX color extensions (UK) + +(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg +File: color.cfg 2016/01/02 v1.6 sample color configuration +) +Package xcolor Info: Driver file: pdftex.def on input line 274. + +(/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx) +Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1350. +Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1354. +Package xcolor Info: Model `RGB' extended on input line 1366. +Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1368. +Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1369. +Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1370. +Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1371. +Package xcolor Info: Model `Gray' substituted by `gray' on input line 1372. +Package xcolor Info: Model `wave' substituted by `hsb' on input line 1373. +) +(/usr/share/texlive/texmf-dist/tex/latex/mathtools/mathtools.sty +Package: mathtools 2022/06/29 v1.29 mathematical typesetting tools + +(/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty +Package: calc 2023/07/08 v4.3 Infix arithmetic (KKT,FJ) +\calc@Acount=\count293 +\calc@Bcount=\count294 +\calc@Adimen=\dimen155 +\calc@Bdimen=\dimen156 +\calc@Askip=\skip60 +\calc@Bskip=\skip61 +LaTeX Info: Redefining \setlength on input line 80. +LaTeX Info: Redefining \addtolength on input line 81. +\calc@Ccount=\count295 +\calc@Cskip=\skip62 +) +(/usr/share/texlive/texmf-dist/tex/latex/mathtools/mhsetup.sty +Package: mhsetup 2021/03/18 v1.4 programming setup (MH) +) +\g_MT_multlinerow_int=\count296 +\l_MT_multwidth_dim=\dimen157 +\origjot=\skip63 +\l_MT_shortvdotswithinadjustabove_dim=\dimen158 +\l_MT_shortvdotswithinadjustbelow_dim=\dimen159 +\l_MT_above_intertext_sep=\dimen160 +\l_MT_below_intertext_sep=\dimen161 +\l_MT_above_shortintertext_sep=\dimen162 +\l_MT_below_shortintertext_sep=\dimen163 +\xmathstrut@box=\box68 +\xmathstrut@dim=\dimen164 +) +\c@theorem=\count297 +\c@definition=\count298 +\c@remark=\count299 +Class revtex4-2 Info: Unrecognized LaTeX tabular. Please update this document c +lass! (Proceeding with fingers crossed.) on input line 32. +Class revtex4-2 Info: cite was not loaded (OK!) on input line 32. +Class revtex4-2 Info: mcite was not loaded (OK!) on input line 32. +Class revtex4-2 Info: multicol was not loaded (OK!) on input line 32. + +(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +File: l3backend-pdftex.def 2024-01-04 L3 backend support: PDF output (pdfTeX) +\l__color_backend_stack_int=\count300 +\l__pdf_internal_box=\box69 +) +No file paper_1a_physics_PRD.aux. +\openout1 = `paper_1a_physics_PRD.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 32. +LaTeX Font Info: ... okay on input line 32. +(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii +[Loading MPS to PDF converter (version 2006.09.02).] +\scratchcounter=\count301 +\scratchdimen=\dimen165 +\scratchbox=\box70 +\nofMPsegments=\count302 +\nofMParguments=\count303 +\everyMPshowfont=\toks33 +\MPscratchCnt=\count304 +\MPscratchDim=\dimen166 +\MPnumerator=\count305 +\makeMPintoPDFobject=\count306 +\everyMPtoPDFconversion=\toks34 +) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty +Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf +Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 +85. + +(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg +File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv +e +)) +Package hyperref Info: Link coloring OFF on input line 32. +\@outlinefile=\write4 +\openout4 = `paper_1a_physics_PRD.out'. + +Class revtex4-2 Info: Taking \maketitle back from hyperref on input line 32. +\openout3 = `paper_1a_physics_PRDNotes.bib'. + +LaTeX Font Info: Trying to load font information for U+msa on input line 46. + + +(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd +File: umsa.fd 2013/01/14 v3.01 AMS symbols A +) +LaTeX Font Info: Trying to load font information for U+msb on input line 46. + + +(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd +File: umsb.fd 2013/01/14 v3.01 AMS symbols B +) + +Package hyperref Warning: Token not allowed in a PDF string (Unicode): +(hyperref) removing `\\' on input line 79. + + +Package hyperref Warning: Token not allowed in a PDF string (Unicode): +(hyperref) removing `\\' on input line 79. + + +Package natbib Warning: Citation `Bombelli1987' on page 1 undefined on input li +ne 86. + + +Package natbib Warning: Citation `Sorkin2003' on page 1 undefined on input line + 86. + + +Package natbib Warning: Citation `Malament1977' on page 1 undefined on input li +ne 91. + + +Package natbib Warning: Citation `Hawking1976' on page 1 undefined on input lin +e 92. + + +Package natbib Warning: Citation `Kleitman1975' on page 1 undefined on input li +ne 101. + + +Package natbib Warning: Citation `Brightwell1991' on page 1 undefined on input +line 108. + + +Package natbib Warning: Citation `Benincasa2010' on page 1 undefined on input l +ine 112. + + +Package natbib Warning: Citation `Surya2012' on page 1 undefined on input line +118. + + +Package natbib Warning: Citation `Glaser2018' on page 1 undefined on input line + 118. + + +Package natbib Warning: Citation `Cunningham2020' on page 1 undefined on input +line 118. + + +Package natbib Warning: Citation `Rideout2000' on page 1 undefined on input lin +e 121. + + +Package natbib Warning: Citation `Loomis2018' on page 1 undefined on input line + 123. + + +Package natbib Warning: Citation `Hartle1983' on page 1 undefined on input line + 144. + + +Package natbib Warning: Citation `DeWitt1967' on page 1 undefined on input line + 151. + + +Package natbib Warning: Citation `Isham1993' on page 1 undefined on input line +151. + + +Package natbib Warning: Citation `Page1983' on page 1 undefined on input line 1 +51. + + +Package natbib Warning: Citation `Rovelli1991' on page 1 undefined on input lin +e 151. + +[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] +Underfull \hbox (badness 1661) in paragraph at lines 153--159 +[]\OT1/cmr/m/n/10 We for-mal-ize this through a pro-jec-tion op-er-a-tor + [] + + +LaTeX Warning: Reference `sec:preliminaries' on page 2 undefined on input line +161. + + +LaTeX Warning: Reference `sec:observer' on page 2 undefined on input line 163. + + +LaTeX Warning: Reference `sec:exclusion' on page 2 undefined on input line 165. + + + +LaTeX Warning: Reference `sec:scrambling' on page 2 undefined on input line 167 +. + + +LaTeX Warning: Reference `sec:dimensional' on page 2 undefined on input line 16 +9. + + +LaTeX Warning: Reference `sec:path_integral' on page 2 undefined on input line +171. + + +LaTeX Warning: Reference `sec:related' on page 2 undefined on input line 173. + + +LaTeX Warning: Reference `sec:predictions' on page 2 undefined on input line 17 +5. + + +LaTeX Warning: Reference `sec:discussion' on page 2 undefined on input line 177 +. + + +Package natbib Warning: Citation `Bombelli1987' on page 2 undefined on input li +ne 197. + + +Package natbib Warning: Citation `Surya2019' on page 2 undefined on input line +197. + + +Package natbib Warning: Citation `Cheeger1970' on page 2 undefined on input lin +e 236. + + +Package natbib Warning: Citation `Hoory2006' on page 2 undefined on input line +236. + + +Package natbib Warning: Citation `Hoory2006' on page 2 undefined on input line +239. + + +Package natbib Warning: Citation `Kleitman1975' on page 2 undefined on input li +ne 244. + + +Package natbib Warning: Citation `Benincasa2010' on page 2 undefined on input l +ine 264. + +[2] + +LaTeX Warning: Reference `sec:scrambling' on page 3 undefined on input line 323 +. + + +Package natbib Warning: Citation `Page1983' on page 3 undefined on input line 3 +39. + + +Package natbib Warning: Citation `Rovelli1991' on page 3 undefined on input lin +e 340. + + +LaTeX Warning: Reference `eq:gcc' on page 3 undefined on input line 365. + + +LaTeX Warning: Reference `def:observer' on page 3 undefined on input line 402. + + +Package natbib Warning: Citation `Kleitman1975' on page 3 undefined on input li +ne 434. + +[3] + +LaTeX Warning: Reference `sec:scrambling' on page 4 undefined on input line 531 +. + + +LaTeX Warning: Reference `thm:KR_exclusion' on page 4 undefined on input line 5 +50. + + +LaTeX Warning: Reference `thm:composite_exclusion' on page 4 undefined on input + line 553. + + +Package natbib Warning: Citation `Brightwell1991' on page 4 undefined on input +line 557. + + +Package natbib Warning: Citation `Winkler1985' on page 4 undefined on input lin +e 557. + + +Package natbib Warning: Citation `Hayden2007' on page 4 undefined on input line + 584. + + +Package natbib Warning: Citation `Sekino2008' on page 4 undefined on input line + 584. + + +Package natbib Warning: Citation `Alon1985' on page 4 undefined on input line 6 +20. + + +Package natbib Warning: Citation `Dodziuk1984' on page 4 undefined on input lin +e 620. + + +Package natbib Warning: Citation `Chung1997' on page 4 undefined on input line +627. + + +Package natbib Warning: Citation `Hoory2006' on page 4 undefined on input line +627. + +[4] + +Package natbib Warning: Citation `Lashkari2013' on page 5 undefined on input li +ne 637. + + +Package natbib Warning: Citation `Maldacena2016' on page 5 undefined on input l +ine 637. + + +Package natbib Warning: Citation `Lashkari2013' on page 5 undefined on input li +ne 652. + + +Package natbib Warning: Citation `Maldacena2016' on page 5 undefined on input l +ine 656. + + +LaTeX Warning: Reference `eq:scrambling_bound' on page 5 undefined on input lin +e 659. + + +LaTeX Warning: Reference `eq:cheeger_ineq' on page 5 undefined on input line 67 +9. + + +LaTeX Warning: Reference `prop:scrambling_bound' on page 5 undefined on input l +ine 681. + + +Package natbib Warning: Citation `Sorkin2003' on page 5 undefined on input line + 696. + + +Package natbib Warning: Citation `Chung1997' on page 5 undefined on input line +718. + + +Package natbib Warning: Citation `Barlow2017' on page 5 undefined on input line + 718. + + +Package natbib Warning: Citation `Chung1997' on page 5 undefined on input line +739. + + +Package natbib Warning: Citation `Mohar1991' on page 5 undefined on input line +739. + + +Package natbib Warning: Citation `Polya1921' on page 5 undefined on input line +755. + +[5] + +Package natbib Warning: Citation `Lawler2010' on page 6 undefined on input line + 792. + + +Package natbib Warning: Citation `Barlow2017' on page 6 undefined on input line + 792. + + +Package natbib Warning: Citation `Barlow2017' on page 6 undefined on input line + 804. + + +Package natbib Warning: Citation `Barlow2017' on page 6 undefined on input line + 807. + + +LaTeX Warning: Reference `prop:dimension' on page 6 undefined on input line 815 +. + + +Package natbib Warning: Citation `tHooft1993' on page 6 undefined on input line + 824. + + +Package natbib Warning: Citation `Susskind1995' on page 6 undefined on input li +ne 824. + + +Package natbib Warning: Citation `Bousso2002' on page 6 undefined on input line + 824. + + +Package natbib Warning: Citation `Maldacena1999' on page 6 undefined on input l +ine 832. + + +Package natbib Warning: Citation `Ryu2006' on page 6 undefined on input line 83 +2. + + +Package natbib Warning: Citation `VanRaamsdonk2010' on page 6 undefined on inpu +t line 832. + + +Package natbib Warning: Citation `Carlip2017' on page 6 undefined on input line + 835. + + +LaTeX Warning: Reference `prop:entropy' on page 6 undefined on input line 855. + + +Underfull \hbox (badness 1112) in paragraph at lines 862--868 +\OT1/cmr/m/n/10 Hilbert ac-tion. The ob-server pro-jec-tion elim-i-nates + [] + + +Package natbib Warning: Citation `Hartle1983' on page 6 undefined on input line + 874. + + +Package natbib Warning: Citation `Sorkin2003' on page 6 undefined on input line + 886. + + +Package natbib Warning: Citation `Dowker2020' on page 6 undefined on input line + 886. + + +Package natbib Warning: Citation `Benincasa2010' on page 6 undefined on input l +ine 897. + + +Package natbib Warning: Citation `Loomis2018' on page 6 undefined on input line + 898. + + +Package natbib Warning: Citation `Surya2012' on page 6 undefined on input line +899. + + +Package natbib Warning: Citation `Glaser2018' on page 6 undefined on input line + 899. + + +Package natbib Warning: Citation `Cunningham2020' on page 6 undefined on input +line 899. + + +Package natbib Warning: Citation `Rideout2000' on page 6 undefined on input lin +e 911. + +[6] + +Package natbib Warning: Citation `Sorkin1994' on page 7 undefined on input line + 923. + + +Package natbib Warning: Citation `GellMann1993' on page 7 undefined on input li +ne 931. + + +LaTeX Warning: Reference `prop:dimension' on page 7 undefined on input line 939 +. + + +Package natbib Warning: Citation `Carlip2017' on page 7 undefined on input line + 942. + + +Package natbib Warning: Citation `Winkler1985' on page 7 undefined on input lin +e 969. + + +Package natbib Warning: Citation `Brightwell1991' on page 7 undefined on input +line 969. + + +Underfull \hbox (badness 1009) in paragraph at lines 962--971 +[]\OT1/cmr/m/it/10 Prediction. \OT1/cmr/m/n/10 In the observer-conditioned en-s +em-ble + [] + + +Package natbib Warning: Citation `Surya2012' on page 7 undefined on input line +979. + + +Package natbib Warning: Citation `Glaser2018' on page 7 undefined on input line + 979. + + +Package natbib Warning: Citation `Surya2019' on page 7 undefined on input line +986. + + +LaTeX Warning: Reference `thm:KR_exclusion' on page 7 undefined on input line 1 +017. + + +Underfull \hbox (badness 5091) in paragraph at lines 1017--1020 + []\OT1/cmr/bx/n/10 KR ex-clu-sion \OT1/cmr/m/n/10 (The-o-rem []): All 3-level + [] + + +LaTeX Warning: Reference `thm:composite_exclusion' on page 7 undefined on input + line 1022. + + +LaTeX Warning: Reference `thm:expander_exclusion' on page 7 undefined on input +line 1026. + + +LaTeX Warning: Reference `prop:scrambling_bound' on page 7 undefined on input l +ine 1043. + + +Package natbib Warning: Citation `Lashkari2013' on page 7 undefined on input li +ne 1045. + +[7] + +LaTeX Warning: Reference `prop:dimension' on page 8 undefined on input line 106 +4. + + +LaTeX Warning: Reference `sec:predictions' on page 8 undefined on input line 10 +80. + + +LaTeX Warning: Reference `prop:dimension' on page 8 undefined on input line 108 +5. + + +Package natbib Warning: Citation `Ryu2006' on page 8 undefined on input line 10 +91. + + +Package natbib Warning: Citation `VanRaamsdonk2010' on page 8 undefined on inpu +t line 1091. + + +Package natbib Warning: Citation `Carlip2017' on page 8 undefined on input line + 1093. + +No file paper_1a_physics_PRD.bbl. + +Package natbib Warning: There were undefined citations. + +[8] (./paper_1a_physics_PRD.aux) + *********** +LaTeX2e <2023-11-01> patch level 1 +L3 programming layer <2024-01-22> + *********** + + +LaTeX Warning: There were undefined references. + + +LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. + + +Package rerunfilecheck Warning: File `paper_1a_physics_PRD.out' has changed. +(rerunfilecheck) Rerun to get outlines right +(rerunfilecheck) or use package `bookmark'. + +Package rerunfilecheck Info: Checksums for `paper_1a_physics_PRD.out': +(rerunfilecheck) Before: +(rerunfilecheck) After: 41C01336EDFBD0B94289B349C00C9F4A;8672. + ) +Here is how much of TeX's memory you used: + 12888 strings out of 476106 + 192859 string characters out of 5793933 + 1954975 words of memory out of 5000000 + 34650 multiletter control sequences out of 15000+600000 + 568378 words of font info for 74 fonts, out of 8000000 for 9000 + 59 hyphenation exceptions out of 8191 + 75i,8n,79p,557b,659s stack positions out of 10000i,1000n,20000p,200000b,200000s + + +Output written on paper_1a_physics_PRD.pdf (8 pages, 369452 bytes). +PDF statistics: + 291 PDF objects out of 1000 (max. 8388607) + 225 compressed objects within 3 object streams + 98 named destinations out of 1000 (max. 500000) + 1 words of extra memory for PDF output out of 10000 (max. 10000000) + diff --git a/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.out b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.out new file mode 100644 index 00000000..b981a347 --- /dev/null +++ b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.out @@ -0,0 +1,42 @@ +\BOOKMARK [0][-]{section*.2}{\376\377\000O\000b\000s\000e\000r\000v\000e\000r\000-\000c\000o\000n\000d\000i\000t\000i\000o\000n\000e\000d\000\040\000c\000a\000u\000s\000a\000l\000\040\000s\000e\000t\000\040\000d\000y\000n\000a\000m\000i\000c\000s\000:\000\040\000\040\000E\000x\000a\000c\000t\000\040\000s\000u\000p\000p\000r\000e\000s\000s\000i\000o\000n\000\040\000o\000f\000\040\000e\000n\000t\000r\000o\000p\000i\000c\000\040\000d\000o\000m\000i\000n\000a\000n\000c\000e\000\040\000\040\000v\000i\000a\000\040\000o\000p\000e\000r\000a\000t\000i\000o\000n\000a\000l\000\040\000c\000o\000n\000s\000t\000r\000a\000i\000n\000t\000s\000\040\000o\000n\000\040\000t\000h\000e\000\040\000p\000a\000t\000h\000\040\000i\000n\000t\000e\000g\000r\000a\000l}{}% 2 +\BOOKMARK [1][-]{section*.1}{\376\377\000A\000b\000s\000t\000r\000a\000c\000t}{section*.2}% 1 +\BOOKMARK [1][-]{section*.3}{\376\377\000I\000n\000t\000r\000o\000d\000u\000c\000t\000i\000o\000n}{section*.2}% 3 +\BOOKMARK [1][-]{section*.4}{\376\377\000P\000r\000e\000l\000i\000m\000i\000n\000a\000r\000i\000e\000s}{section*.2}% 4 +\BOOKMARK [2][-]{section*.5}{\376\377\000C\000a\000u\000s\000a\000l\000\040\000s\000e\000t\000s}{section*.4}% 5 +\BOOKMARK [2][-]{section*.6}{\376\377\000T\000h\000e\000\040\000H\000a\000s\000s\000e\000\040\000d\000i\000a\000g\000r\000a\000m\000\040\000a\000n\000d\000\040\000g\000r\000a\000p\000h\000-\000t\000h\000e\000o\000r\000e\000t\000i\000c\000\040\000p\000r\000o\000p\000e\000r\000t\000i\000e\000s}{section*.4}% 6 +\BOOKMARK [2][-]{section*.7}{\376\377\000T\000h\000e\000\040\000K\000l\000e\000i\000t\000m\000a\000n\040\023\000R\000o\000t\000h\000s\000c\000h\000i\000l\000d\000\040\000t\000h\000e\000o\000r\000e\000m}{section*.4}% 7 +\BOOKMARK [2][-]{section*.8}{\376\377\000T\000h\000e\000\040\000B\000e\000n\000i\000n\000c\000a\000s\000a\040\023\000D\000o\000w\000k\000e\000r\000\040\000a\000c\000t\000i\000o\000n}{section*.4}% 8 +\BOOKMARK [1][-]{section*.9}{\376\377\000T\000h\000e\000\040\000O\000b\000s\000e\000r\000v\000e\000r\000\040\000S\000u\000b\000s\000t\000r\000u\000c\000t\000u\000r\000e\000\040\000a\000n\000d\000\040\000P\000r\000o\000j\000e\000c\000t\000i\000o\000n\000\040\000O\000p\000e\000r\000a\000t\000o\000r}{section*.2}% 9 +\BOOKMARK [2][-]{section*.10}{\376\377\000M\000o\000t\000i\000v\000a\000t\000i\000o\000n}{section*.9}% 10 +\BOOKMARK [2][-]{section*.11}{\376\377\000F\000o\000r\000m\000a\000l\000\040\000d\000e\000f\000i\000n\000i\000t\000i\000o\000n\000s}{section*.9}% 11 +\BOOKMARK [2][-]{section*.12}{\376\377\000T\000h\000e\000\040\000p\000r\000o\000j\000e\000c\000t\000i\000o\000n\000\040\000o\000p\000e\000r\000a\000t\000o\000r}{section*.9}% 12 +\BOOKMARK [1][-]{section*.13}{\376\377\000E\000x\000c\000l\000u\000s\000i\000o\000n\000\040\000T\000h\000e\000o\000r\000e\000m\000s}{section*.2}% 13 +\BOOKMARK [2][-]{section*.14}{\376\377\000E\000x\000c\000l\000u\000s\000i\000o\000n\000\040\000o\000f\000\040\000p\000u\000r\000e\000\040\000K\000R\000\040\000o\000r\000d\000e\000r\000s}{section*.13}% 14 +\BOOKMARK [2][-]{section*.15}{\376\377\000E\000x\000c\000l\000u\000s\000i\000o\000n\000\040\000o\000f\000\040\000d\000i\000s\000c\000o\000n\000n\000e\000c\000t\000e\000d\000\040\000c\000o\000m\000p\000o\000s\000i\000t\000e\000s}{section*.13}% 15 +\BOOKMARK [2][-]{section*.16}{\376\377\000E\000n\000t\000r\000o\000p\000y\000\040\000r\000e\000d\000u\000c\000t\000i\000o\000n}{section*.13}% 16 +\BOOKMARK [1][-]{section*.17}{\376\377\000S\000c\000r\000a\000m\000b\000l\000i\000n\000g\000-\000T\000i\000m\000e\000\040\000E\000x\000c\000l\000u\000s\000i\000o\000n\000\040\000o\000f\000\040\000E\000x\000p\000a\000n\000d\000e\000r\000\040\000T\000o\000p\000o\000l\000o\000g\000i\000e\000s}{section*.2}% 17 +\BOOKMARK [2][-]{section*.18}{\376\377\000I\000n\000f\000o\000r\000m\000a\000t\000i\000o\000n\000\040\000s\000c\000r\000a\000m\000b\000l\000i\000n\000g\000\040\000o\000n\000\040\000g\000r\000a\000p\000h\000s}{section*.17}% 18 +\BOOKMARK [2][-]{section*.19}{\376\377\000S\000p\000e\000c\000t\000r\000a\000l\000\040\000b\000o\000u\000n\000d\000\040\000o\000n\000\040\000s\000c\000r\000a\000m\000b\000l\000i\000n\000g}{section*.17}% 19 +\BOOKMARK [2][-]{section*.20}{\376\377\000E\000x\000p\000a\000n\000d\000e\000r\000\040\000e\000x\000c\000l\000u\000s\000i\000o\000n\000\040\000t\000h\000e\000o\000r\000e\000m}{section*.17}% 20 +\BOOKMARK [2][-]{section*.21}{\376\377\000T\000h\000e\000\040\000s\000c\000a\000l\000i\000n\000g\000\040\000w\000i\000n\000d\000o\000w\000\040\000f\000o\000r\000\040\000o\000b\000s\000e\000r\000v\000e\000r\000\040\000p\000e\000r\000s\000i\000s\000t\000e\000n\000c\000e}{section*.17}% 21 +\BOOKMARK [1][-]{section*.22}{\376\377\000D\000i\000m\000e\000n\000s\000i\000o\000n\000a\000l\000\040\000R\000e\000s\000t\000r\000i\000c\000t\000i\000o\000n\000s\000\040\000f\000r\000o\000m\000\040\000R\000e\000c\000u\000r\000r\000e\000n\000c\000e}{section*.2}% 22 +\BOOKMARK [2][-]{section*.23}{\376\377\000S\000p\000e\000c\000t\000r\000a\000l\000\040\000g\000a\000p\000\040\000a\000n\000d\000\040\000d\000i\000m\000e\000n\000s\000i\000o\000n}{section*.22}% 23 +\BOOKMARK [2][-]{section*.24}{\376\377\000R\000e\000c\000u\000r\000r\000e\000n\000c\000e\000\040\000a\000n\000d\000\040\000i\000n\000f\000o\000r\000m\000a\000t\000i\000o\000n\000\040\000l\000o\000c\000a\000l\000i\000z\000a\000t\000i\000o\000n}{section*.22}% 24 +\BOOKMARK [1][-]{section*.25}{\376\377\000T\000h\000e\000\040\000O\000b\000s\000e\000r\000v\000e\000r\000-\000C\000o\000n\000d\000i\000t\000i\000o\000n\000e\000d\000\040\000P\000a\000t\000h\000\040\000I\000n\000t\000e\000g\000r\000a\000l}{section*.2}% 25 +\BOOKMARK [2][-]{section*.26}{\376\377\000C\000o\000m\000p\000a\000t\000i\000b\000i\000l\000i\000t\000y\000\040\000w\000i\000t\000h\000\040\000t\000h\000e\000\040\000B\000D\000\040\000a\000c\000t\000i\000o\000n}{section*.25}% 26 +\BOOKMARK [2][-]{section*.27}{\376\377\000L\000a\000b\000e\000l\000\040\000c\000o\000v\000a\000r\000i\000a\000n\000c\000e}{section*.25}% 27 +\BOOKMARK [1][-]{section*.28}{\376\377\000R\000e\000l\000a\000t\000i\000o\000n\000\040\000t\000o\000\040\000E\000x\000i\000s\000t\000i\000n\000g\000\040\000A\000p\000p\000r\000o\000a\000c\000h\000e\000s}{section*.2}% 28 +\BOOKMARK [2][-]{section*.29}{\376\377\000D\000y\000n\000a\000m\000i\000c\000a\000l\000\040\000s\000u\000p\000p\000r\000e\000s\000s\000i\000o\000n}{section*.28}% 29 +\BOOKMARK [2][-]{section*.30}{\376\377\000S\000e\000q\000u\000e\000n\000t\000i\000a\000l\000\040\000g\000r\000o\000w\000t\000h\000\040\000d\000y\000n\000a\000m\000i\000c\000s}{section*.28}% 30 +\BOOKMARK [2][-]{section*.31}{\376\377\000Q\000u\000a\000n\000t\000u\000m\000\040\000m\000e\000a\000s\000u\000r\000e\000\040\000t\000h\000e\000o\000r\000y}{section*.28}% 31 +\BOOKMARK [2][-]{section*.32}{\376\377\000D\000i\000m\000e\000n\000s\000i\000o\000n\000a\000l\000\040\000r\000e\000d\000u\000c\000t\000i\000o\000n}{section*.28}% 32 +\BOOKMARK [1][-]{section*.33}{\376\377\000C\000o\000n\000c\000r\000e\000t\000e\000\040\000P\000r\000e\000d\000i\000c\000t\000i\000o\000n\000s\000\040\000a\000n\000d\000\040\000N\000u\000m\000e\000r\000i\000c\000a\000l\000\040\000T\000e\000s\000t\000s}{section*.2}% 33 +\BOOKMARK [2][-]{section*.34}{\376\377\000T\000e\000s\000t\000\040\0001\000:\000\040\000H\000e\000i\000g\000h\000t\000\040\000d\000i\000s\000t\000r\000i\000b\000u\000t\000i\000o\000n}{section*.33}% 34 +\BOOKMARK [2][-]{section*.35}{\376\377\000T\000e\000s\000t\000\040\0002\000:\000\040\000C\000h\000e\000e\000g\000e\000r\000\040\000c\000o\000n\000s\000t\000a\000n\000t\000\040\000d\000i\000s\000t\000r\000i\000b\000u\000t\000i\000o\000n}{section*.33}% 35 +\BOOKMARK [2][-]{section*.36}{\376\377\000T\000e\000s\000t\000\040\0003\000:\000\040\000M\000a\000n\000i\000f\000o\000l\000d\000l\000i\000k\000e\000n\000e\000s\000s}{section*.33}% 36 +\BOOKMARK [2][-]{section*.37}{\376\377\000T\000e\000s\000t\000\040\0004\000:\000\040\000A\000c\000t\000i\000o\000n\000-\000c\000o\000n\000d\000i\000t\000i\000o\000n\000e\000d\000\040\000c\000o\000n\000v\000e\000r\000g\000e\000n\000c\000e}{section*.33}% 37 +\BOOKMARK [1][-]{section*.38}{\376\377\000D\000i\000s\000c\000u\000s\000s\000i\000o\000n\000\040\000a\000n\000d\000\040\000C\000o\000n\000c\000l\000u\000s\000i\000o\000n\000s}{section*.2}% 38 +\BOOKMARK [2][-]{section*.39}{\376\377\000S\000u\000m\000m\000a\000r\000y}{section*.38}% 39 +\BOOKMARK [2][-]{section*.40}{\376\377\000L\000i\000m\000i\000t\000a\000t\000i\000o\000n\000s}{section*.38}% 40 +\BOOKMARK [2][-]{section*.41}{\376\377\000O\000u\000t\000l\000o\000o\000k}{section*.38}% 41 +\BOOKMARK [1][-]{section*.42}{\376\377\000A\000c\000k\000n\000o\000w\000l\000e\000d\000g\000m\000e\000n\000t\000s}{section*.2}% 42 diff --git a/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.pdf b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.pdf new file mode 100644 index 00000000..b28f23bd --- /dev/null +++ b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:78baf5ad3993dbcdfe9252ca7c7eaae11ea2c8adff76259f7522cfae2f0d20bc +size 369452 diff --git a/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.tex b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.tex new file mode 100644 index 00000000..59faaae3 --- /dev/null +++ b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRD.tex @@ -0,0 +1,1107 @@ +% paper_1a_physics_PRD.tex +% Target: Physical Review D / Classical and Quantum Gravity +% ============================================================ +\documentclass[aps,prd,twocolumn,superscriptaddress,nofootinbib]{revtex4-2} + +\usepackage[utf8]{inputenc} +\usepackage{amsmath,amssymb,amsfonts,amsthm} +\usepackage{graphicx} +\usepackage{hyperref} +\usepackage{xcolor} +\usepackage{mathtools} +% \usepackage{bbm} + +\newtheorem{theorem}{Theorem} +\newtheorem{lemma}[theorem]{Lemma} +\newtheorem{proposition}[theorem]{Proposition} +\newtheorem{corollary}[theorem]{Corollary} +\newtheorem{definition}{Definition} +\newtheorem{remark}{Remark} + +\DeclareMathOperator{\Tr}{Tr} +\DeclareMathOperator{\diam}{diam} +\newcommand{\height}{\mathrm{ht}} +\newcommand{\CO}{\mathcal{C}_{\mathcal{O}}} +\newcommand{\Oset}{\mathcal{O}} +\newcommand{\Cset}{\mathcal{C}} +\newcommand{\Oobs}{\Omega_{\mathrm{obs}}} +\newcommand{\SBD}{S_{\mathrm{BD}}} +\newcommand{\PiO}{\Pi_{\mathcal{O}}} +\newcommand{\tscr}{\tau_{\mathrm{scr}}} + +\begin{document} + +\title{Observer-conditioned causal set dynamics: \\ +Exact suppression of entropic dominance \\ +via operational constraints on the path integral} + +\author{Mark~Randall~Havens} +\email{mark.r.havens@gmail.com} +\affiliation{The Fold, Dallas, Texas 75201, USA} + +\date{\today} + +\begin{abstract} +The causal set program for quantum gravity faces a severe +measure-theoretic obstruction: among all partial orders on $N$ +elements, Kleitman--Rothschild (KR) posets of height~3 dominate +the counting measure with relative weight +$\exp\!\bigl(\tfrac{1}{4}N^2\bigr)$, overwhelming manifoldlike +orders that scale as $\exp\!\bigl(\mathcal{O}(N\ln N)\bigr)$. +We introduce an \emph{observer-conditioned} restriction of the +causal set path integral that resolves this problem without +modifying the Benincasa--Dowker action or invoking ad hoc +dynamical suppression. We define a projection operator +$\PiO(\Cset)$ that selects causal sets admitting an embedded +\emph{observer substructure}---a causally connected subposet of +macroscopic height supporting persistent localized +correlations. We prove three exact exclusion theorems: +(i)~pure KR posets are annihilated by the temporal-depth +condition; +(ii)~all orders containing causally disconnected components +(including KR blobs glued to thin chains) are annihilated by +a global causal-connectedness condition; +(iii)~high-connectivity non-manifoldlike orders are +suppressed by an information-theoretic bound relating the +spectral gap of the Hasse diagram to the scrambling time. +The surviving ensemble $\Oobs$ is dominated by locally finite, +low-expansion, manifoldlike causal sets---precisely those +from which continuum Lorentzian geometry can be recovered. +We derive a dimensional restriction from the recurrence +properties of random walks on the surviving substrate and +discuss connections to holographic entropy bounds. +The projection operator is background-independent, preserves +the causal covariance of the program, and is compatible with +the Benincasa--Dowker dynamics. We propose concrete numerical +tests for causal set simulations with $N \leq 100$. +\end{abstract} + +\maketitle + +% ================================================================ +\section{Introduction} +\label{sec:intro} +% ================================================================ + +The causal set hypothesis~\cite{Bombelli1987,Sorkin2003} posits +that spacetime is fundamentally a locally finite partial order +$\Cset = (V,\preceq)$, where the order relation encodes causal +structure and cardinality encodes spacetime volume. +This kinematic framework is supported by the theorems of +Malament~\cite{Malament1977} and +Hawking--King--McCarthy~\cite{Hawking1976}, which establish +that the causal order of a distinguishing spacetime determines +its conformal geometry up to a volume factor. + +The central dynamical challenge is to construct a ``sum over +causal sets'' analogous to the gravitational path integral that +preferentially selects manifoldlike orders over the +combinatorially dominant non-manifoldlike majority. The +severity of this challenge was quantified by Kleitman and +Rothschild~\cite{Kleitman1975}, who proved that among all +partial orders on $N$ labeled elements, the fraction that are +3-level ``flat'' posets approaches~1 as $N\to\infty$. The +number of such KR posets scales as +$\exp\!\bigl(\tfrac{1}{4}N^2\bigr)$, while manifoldlike causal +sets embeddable in $d$-dimensional Minkowski spacetime scale as +$\exp\!\bigl(\mathcal{O}(N\ln N)\bigr)$ +\cite{Brightwell1991}. Any uniform or near-uniform measure +is \emph{entropically trapped} in the KR sector. + +Several dynamical approaches have been proposed. The +Benincasa--Dowker (BD) action~\cite{Benincasa2010} provides a +discrete Einstein--Hilbert functional; coupling it to a path +integral via $e^{i\SBD}$ produces oscillatory phases that may +suppress non-manifoldlike contributions. Markov chain Monte +Carlo (MCMC) studies using the BD action have shown partial +suppression of KR dominance for $N \lesssim +100$~\cite{Surya2012,Glaser2018,Cunningham2020}, but +the mechanism has not been proven to achieve exact suppression +in the $N\to\infty$ limit. Classical sequential growth +models~\cite{Rideout2000} produce deep orders naturally but do +not address the full counting measure. The +Loomis--Carlip~\cite{Loomis2018} analysis demonstrated that +the oscillatory BD action provides significant but incomplete +cancellation of non-manifoldlike contributions. + +In this paper, we take a fundamentally different approach. +Rather than seeking a dynamical mechanism that disfavors KR +orders \emph{a posteriori}, we impose an +\emph{operational constraint} on the path integral that renders +KR orders \emph{kinematically inadmissible}. The constraint is +physically motivated: we restrict the sum over histories to +those causal sets that can \emph{in principle} support an +embedded substructure satisfying minimal requirements for an +operational probe---a causally connected subposet of sufficient +temporal depth to maintain persistent localized correlations. + +We emphasize that this is \emph{not} an anthropic selection +principle. It is the gravitational analogue of a standard +requirement in quantum mechanics: the scattering matrix is +defined only on field configurations admitting asymptotic +states, and the path integral sums only over geometries +compatible with specified boundary +conditions~\cite{Hartle1983}. Similarly, physically +meaningful amplitudes in causal set theory should be computed +over orders on which the observational access conditions---the +existence of a probe capable of recording outcomes---are +satisfiable. The probe is an \emph{internal} substructure, +not an external apparatus, consistent with the treatment of +observers in canonical quantum gravity as internal clocks and +rods~\cite{DeWitt1967,Isham1993,Page1983,Rovelli1991}. + +We formalize this through a projection operator +$\PiO(\Cset) \in \{0,1\}$ acting as a characteristic function +on the space of causal sets. We prove that this operator +exactly annihilates all KR orders and, more broadly, all +orders whose Hasse diagrams are expander graphs, via an +information-theoretic scrambling argument. + +The paper is organized as follows. +Section~\ref{sec:preliminaries} reviews causal set kinematics +and the KR entropy problem. +Section~\ref{sec:observer} defines the observer substructure +and the projection operator. +Section~\ref{sec:exclusion} proves the three exclusion +theorems. +Section~\ref{sec:scrambling} develops the scrambling-time +bound for expander topologies. +Section~\ref{sec:dimensional} derives dimensional restrictions +from recurrence properties. +Section~\ref{sec:path_integral} formulates the observer-conditioned +path integral. +Section~\ref{sec:related} discusses the relation to existing +approaches. +Section~\ref{sec:predictions} proposes concrete numerical +tests. +Section~\ref{sec:discussion} presents our conclusions. + +% ================================================================ +\section{Preliminaries} +\label{sec:preliminaries} +% ================================================================ + +\subsection{Causal sets} + +\begin{definition}[Causal set] +\label{def:causet} +A \emph{causal set} is a pair $\Cset = (V, \preceq)$ where +$V$ is a countable set and $\preceq$ is a partial order on +$V$ that is +(i)~reflexive, +(ii)~antisymmetric, +(iii)~transitive, and +(iv)~\emph{locally finite}: for every $x,y \in V$ with +$x \preceq y$, the \emph{Alexandrov set} +$\mathbf{A}(x,y) \equiv \{z \in V : x \preceq z \preceq y\}$ +is finite~\cite{Bombelli1987,Surya2019}. +\end{definition} + +For a finite causal set with $|V| = N$, the +\emph{height} $\height(\Cset)$ is the length of the longest +chain (totally ordered subset) in $\Cset$. The +\emph{width} $w(\Cset)$ is the cardinality of the largest +antichain. + +\begin{definition}[Causal past and future] +For $S \subseteq V$, the \emph{causal past} and +\emph{causal future} are +\begin{align} +J^-(S) &= \{x \in V : \exists\, y \in S,\; x \preceq y\}, +\nonumber \\ +J^+(S) &= \{x \in V : \exists\, y \in S,\; y \preceq x\}. +\end{align} +The \emph{causal diamond} of $x,y$ with $x\preceq y$ is +$\mathbf{A}(x,y) = J^+(x) \cap J^-(y)$. +\end{definition} + +\subsection{The Hasse diagram and graph-theoretic properties} + +The \emph{Hasse diagram} $\mathcal{H}(\Cset) = (V, E_H)$ is +the directed acyclic graph (DAG) whose edges are the +\emph{links} (covering relations) of $\Cset$: +$(x,y) \in E_H$ iff $x \prec y$ and $\nexists\, z$ with +$x \prec z \prec y$. + +\begin{definition}[Cheeger constant] +\label{def:cheeger} +For a finite graph $G = (V,E)$, the +\emph{Cheeger constant} (edge expansion) is +\begin{equation} +\label{eq:cheeger} +h(G) = \min_{\substack{S \subset V \\ 0 < |S| \leq |V|/2}} +\frac{|\partial_E S|}{|S|}, +\end{equation} +where $\partial_E S = \{(u,v) \in E : u \in S,\, v \notin S +\text{ or } u \notin S,\, v \in S\}$~\cite{Cheeger1970,Hoory2006}. +A family $\{G_n\}$ with $|V_n| \to \infty$ is an +\emph{expander family} if $h(G_n) \geq c > 0$ for some fixed +$c$~\cite{Hoory2006}. +\end{definition} + +\subsection{The Kleitman--Rothschild theorem} + +\begin{theorem}[Kleitman--Rothschild~\cite{Kleitman1975}] +\label{thm:KR} +Let $P(N)$ denote the number of partial orders on $N$ labeled +elements. As $N \to \infty$, +\begin{equation} +\label{eq:KR_count} +\ln P(N) = \frac{N^2}{4} + \frac{3N}{2}\ln 2 ++ \mathcal{O}(N). +\end{equation} +The dominant contribution comes from \emph{KR posets}: +3-level orders with $V = A_1 \sqcup A_2 \sqcup A_3$, +$|A_1| \approx |A_3| \approx N/4$, +$|A_2| \approx N/2$, with order relations only between +adjacent levels. These have $\height = 3$, and their fraction +among all partial orders tends to~1 as $N \to \infty$. +\end{theorem} + +\subsection{The Benincasa--Dowker action} + +The causal set analogue of the Einstein--Hilbert action in +$d$ dimensions~\cite{Benincasa2010} is +\begin{equation} +\label{eq:BD_action} +\SBD(\Cset) = \sum_{k=0}^{d} +\alpha_k^{(d)} \!\!\sum_{\substack{x,y \in V \\ x \preceq y}} +\!\!(-1)^{|\mathbf{A}(x,y) \setminus \{x,y\}|}, +\end{equation} +where $\alpha_k^{(d)}$ are dimension-dependent constants +chosen so that +$\SBD \to \ell_P^{-2}\int R\sqrt{-g}\,d^dx$ in the +continuum limit. The standard partition function is +\begin{equation} +\label{eq:Z_full} +Z_N = \sum_{\Cset \in \Omega_N} +\exp\!\bigl(i\,\SBD(\Cset)\bigr), +\end{equation} +where $\Omega_N$ denotes all causal sets on $N$ elements. + +% ================================================================ +\section{The Observer Substructure and Projection Operator} +\label{sec:observer} +% ================================================================ + +\subsection{Motivation} + +The physical content of a gravitational path integral is +accessed through correlation functions involving operators +localized on substructures of the geometry. In continuum +gravity, these are defined on timelike worldtubes, geodesic +observers, or boundary data. In causal set theory, the +analogous requirement is that the partial order admit an +embedded substructure capable of supporting sequential +state recording over a macroscopic chain. We now formalize +this requirement. + +\subsection{Formal definitions} + +\begin{definition}[Observer substructure] +\label{def:observer} +Let $\Cset = (V, \preceq)$ be a finite causal set with +$|V| = N$. An \emph{observer substructure of depth $T$} +is a subposet $\Oset = (V_\Oset, \preceq|_{V_\Oset})$ +with $V_\Oset \subseteq V$ satisfying three conditions: + +\begin{itemize} +\item[\textbf{(O1)}] \textbf{Temporal depth.} +$V_\Oset$ contains a maximal chain (worldline) +$\gamma = (v_1, v_2, \ldots, v_T)$ with +$v_1 \prec v_2 \prec \cdots \prec v_T$ +and each $(v_k, v_{k+1})$ a link in the Hasse diagram. + +\item[\textbf{(O2)}] \textbf{Bounded local degree.} +There exists $\kappa \in \mathbb{N}$ such that for every +$v \in \gamma$, the number of links incident to $v$ in +$\mathcal{H}(\Cset)$ satisfies $\deg(v) \leq \kappa$. + +\item[\textbf{(O3)}] \textbf{Correlation persistence.} +The \emph{scrambling time} +$\tscr(\Oset, \Cset)$---defined precisely in +Sec.~\ref{sec:scrambling}---satisfies +$\tscr(\Oset, \Cset) > T$. +\end{itemize} +\end{definition} + +Condition~(O1) ensures sufficient ``proper time'' for +sequential state transitions. Condition~(O2) prevents the +worldline from lying in a region of divergent connectivity, +enforcing spatial locality. Condition~(O3) requires that +localized correlations along $\gamma$ survive against +information diffusion into the bulk. + +\begin{remark}[Relation to internal clocks] +\label{rem:clocks} +The chain $\gamma$ is the discrete analogue of a proper-time +parametrization. This is consistent with the Page--Wootters +mechanism~\cite{Page1983} and with the ``evolving constants'' +approach to the problem of time~\cite{Rovelli1991}, where +physical time is defined relationally through an internal +subsystem's evolution. +\end{remark} + +\begin{definition}[Global causal connectedness] +\label{def:gcc} +A causal set $\Cset = (V, \preceq)$ is \emph{globally +causally connected to an observer substructure $\Oset$} if +\begin{equation} +\label{eq:gcc} +V = J^-(V_\Oset) \cup J^+(V_\Oset). +\end{equation} +\end{definition} + +This condition states that every element of $V$ lies in the +causal past or future of some element of the observer. It is +the discrete analogue of requiring the spacetime to be +contained within the observer's causal diamond and excludes +``dark sectors'' that are operationally inaccessible. + +\begin{remark}[Comparison with global hyperbolicity] +\label{rem:ghyp} +In the continuum, a globally hyperbolic spacetime is one that +contains a Cauchy surface---every inextendible causal curve +intersects it exactly once. Condition~(\ref{eq:gcc}) is +weaker: it requires only causal connectedness to the observer, +not the existence of a Cauchy surface. However, for +manifoldlike causal sets faithfully embedded in a globally +hyperbolic spacetime, the condition is automatically +satisfied when the observer's worldline extends from the +past to the future boundary. +\end{remark} + +\subsection{The projection operator} + +\begin{definition}[Observer projection operator] +\label{def:projection} +The \emph{observer projection operator} is +\begin{equation} +\label{eq:projection} +\PiO(\Cset) = \max_{\Oset \subseteq \Cset} \Big\{ +\chi_{\mathrm{GCC}}(\Cset, \Oset) \cdot +\chi_{\mathrm{TD}}(\Oset, T) \cdot +\chi_{\mathrm{CP}}(\Oset, T) +\Big\}, +\end{equation} +where: +\begin{itemize} +\item $\chi_{\mathrm{GCC}}(\Cset, \Oset) = +\mathbf{1}\!\left[V = J^-(V_\Oset) \cup J^+(V_\Oset)\right]$ +(global causal connectedness); +\item $\chi_{\mathrm{TD}}(\Oset, T) = +\Theta\!\left(\height(\Oset) - T\right)$ +(temporal depth); +\item $\chi_{\mathrm{CP}}(\Oset, T) = +\Theta\!\left(\tscr(\Oset, \Cset) - T\right)$ +(correlation persistence). +\end{itemize} +Here $\Theta$ is the Heaviside step function and +$\mathbf{1}[\cdot]$ is the indicator function. +The maximum is over all subposets $\Oset$ satisfying +Definition~\ref{def:observer}. Since each factor is +$\{0,1\}$-valued, $\PiO(\Cset) \in \{0,1\}$. +\end{definition} + +\begin{remark}[Background independence] +\label{rem:bkgd} +$\PiO$ is defined entirely in terms of the partial order +structure---heights, causal relations, graph-theoretic +expansion---and makes no reference to coordinates, embedding +dimensions, or background metrics. It preserves the +background independence and label covariance of the causal +set program. +\end{remark} + +% ================================================================ +\section{Exclusion Theorems} +\label{sec:exclusion} +% ================================================================ + +We now prove three theorems establishing that $\PiO$ exactly +annihilates the dominant entropy sectors of $\Omega_N$. + +\subsection{Exclusion of pure KR orders} + +\begin{theorem}[Temporal depth exclusion] +\label{thm:KR_exclusion} +For any $T \geq 4$, every KR poset +$\Cset_{\mathrm{KR}}$ satisfies +$\PiO(\Cset_{\mathrm{KR}}) = 0$. +\end{theorem} + +\begin{proof} +By definition~\cite{Kleitman1975}, a KR poset has +$V = A_1 \sqcup A_2 \sqcup A_3$ with all order +relations between adjacent levels only. +Every chain passes through at most one element per level, +so $\height(\Cset_{\mathrm{KR}}) = 3$. For any +$\Oset \subseteq \Cset_{\mathrm{KR}}$, the induced +subposet inherits $\height(\Oset) \leq 3 < T$. Therefore +$\chi_{\mathrm{TD}}(\Oset, T) = \Theta(3 - T) = 0$ +for every $\Oset$, and $\PiO(\Cset_{\mathrm{KR}}) = 0$. +\end{proof} + +\begin{remark}[Exactness] +\label{rem:exact} +This exclusion holds for \emph{every} $N$, not merely +asymptotically. The entire $\exp(N^2/4)$ KR entropy is +annihilated by a single structural inequality. No +cancellation by oscillatory phases is required. +\end{remark} + +\subsection{Exclusion of disconnected composites} + +A natural concern is that a causal set might combine a large +KR component with a separate thin chain of length $\geq T$. + +\begin{theorem}[Disconnected composite exclusion] +\label{thm:composite_exclusion} +Let $\Cset$ be a causal set containing a causally +disconnected component: $V = V_1 \sqcup V_2$ with no +order relations between $V_1$ and $V_2$. Then +$\PiO(\Cset) = 0$. +\end{theorem} + +\begin{proof} +For any subposet $\Oset \subseteq \Cset$, either +$V_\Oset \subseteq V_1$, or $V_\Oset \subseteq V_2$, +or $V_\Oset$ has elements in both components. + +\emph{Case 1:} $V_\Oset \subseteq V_1$. Then +$J^-(V_\Oset) \cup J^+(V_\Oset) \subseteq V_1$, so +$V_2 \not\subseteq J^-(V_\Oset) \cup J^+(V_\Oset)$ +and $\chi_{\mathrm{GCC}} = 0$. + +\emph{Case 2:} $V_\Oset \subseteq V_2$. Symmetric to +Case~1. + +\emph{Case 3:} +$V_\Oset \cap V_1 \neq \emptyset$ and +$V_\Oset \cap V_2 \neq \emptyset$. Since $V_1$ and +$V_2$ are causally disconnected, no element of $V_1$ +lies in $J^-(V_\Oset \cap V_2) \cup J^+(V_\Oset \cap V_2)$ +and vice versa. Therefore +$J^-(V_\Oset) \cup J^+(V_\Oset) = +[J^-(V_\Oset \cap V_1) \cup J^+(V_\Oset \cap V_1)] +\sqcup +[J^-(V_\Oset \cap V_2) \cup J^+(V_\Oset \cap V_2)]$. +For $\chi_{\mathrm{GCC}} = 1$, we would need +$V_1 \subseteq J^-(V_\Oset \cap V_1) \cup J^+(V_\Oset \cap V_1)$ +\emph{and} +$V_2 \subseteq J^-(V_\Oset \cap V_2) \cup J^+(V_\Oset \cap V_2)$. +This requires finding an observer substructure +\emph{independently satisfying GCC within each component}, +which by Cases~1 and~2 is equivalent to having a valid +$\Oset$ within each component separately. But the chain +condition (O1) then requires +$\height(\Oset \cap V_1) \geq T$ \emph{and} +$\height(\Oset \cap V_2) \geq T$---both components must +independently support an observer. If either component is +a KR poset (height~3), or any finite structure with +height~$3$ satisfy +$\ln|\{\Cset : \height(\Cset) > 3\}| += \mathcal{O}(N\ln N)$~\cite{Brightwell1991,Winkler1985}, +establishing the bound. +\end{proof} + +% ================================================================ +\section{Scrambling-Time Exclusion of Expander Topologies} +\label{sec:scrambling} +% ================================================================ + +The exclusion theorems of the previous section eliminate the +dominant KR sector. However, non-manifoldlike causal sets +of arbitrary height exist---for example, high-dimensional +random graphs or deterministic expanders---that survive the +temporal-depth filter. We now show that these are excluded +by the correlation persistence condition~(O3). + +\subsection{Information scrambling on graphs} + +Consider a causal set $\Cset$ and a subposet +$\Oset \subseteq \Cset$ containing a chain $\gamma$ of +length $T$. We model the propagation of correlations along +$\gamma$ in the background of $\Cset$ by assigning a +$q$-dimensional Hilbert space $\mathcal{H}_v \cong \mathbb{C}^q$ +to each element $v \in V$, and modeling each link +$(v,w)$ in the Hasse diagram as a local unitary gate +$U_{vw} \in U(q^2)$. The circuit depth corresponds to the +height of $\Cset$. This tensor-network model is standard in +the study of information scrambling~\cite{Hayden2007,Sekino2008}. + +\begin{definition}[Scrambling time] +\label{def:scrambling} +Let $\Oset$ be an observer substructure with worldline +$\gamma$ in a causal set $\Cset$. The \emph{scrambling time} +$\tscr(\Oset, \Cset)$ is the minimum circuit depth $t$ after +which the reduced density matrix of any subsystem +$A \subset V_\Oset$ with $|A| \leq |V_\Oset|/2$ is +$\varepsilon$-close (in trace distance) to maximally mixed, +for all initial product states: +\begin{equation} +\label{eq:scrambling_def} +\tscr = \inf\!\left\{t : +\left\|\rho_A(t) - \frac{\mathbf{1}}{q^{|A|}} +\right\|_1 < \varepsilon,\;\forall\, A,\, \forall\,\rho_0 +\right\}. +\end{equation} +\end{definition} + +The physical content is that $\tscr$ measures how quickly the +geometry of $\Cset$ destroys localized correlations in +$\Oset$. A causal set that scrambles faster than the +observer's temporal depth $T$ cannot support persistent +local recordings. + +\subsection{Spectral bound on scrambling} + +The connection between graph expansion and scrambling is +provided by spectral graph theory. + +\begin{lemma}[Spectral gap and mixing] +\label{lem:mixing} +Let $G = (V,E)$ be a finite connected graph with maximum +degree $d_{\max}$, and let $\lambda_1(G)$ denote the +smallest nonzero eigenvalue of the normalized graph Laplacian. +The discrete Cheeger inequality~\cite{Alon1985,Dodziuk1984} +states +\begin{equation} +\label{eq:cheeger_ineq} +\frac{h(G)^2}{2d_{\max}} \leq \lambda_1(G) \leq 2h(G). +\end{equation} +The mixing time of a random walk on $G$ +satisfies~\cite{Chung1997,Hoory2006} +\begin{equation} +\label{eq:mixing_time} +t_{\mathrm{mix}}(G) = \Theta\!\left( +\frac{1}{\lambda_1}\ln |V|\right). +\end{equation} +\end{lemma} + +For quantum circuits on graphs, the scrambling time is +bounded by the mixing time of the associated random +walk~\cite{Lashkari2013,Maldacena2016}: + +\begin{proposition}[Scrambling bound] +\label{prop:scrambling_bound} +For Haar-random local unitaries on a graph $G$ with spectral +gap $\lambda_1$, +\begin{equation} +\label{eq:scrambling_bound} +\tscr \leq \frac{C}{\lambda_1}\ln |V|, +\end{equation} +where $C$ is a constant depending on $q$ and $\varepsilon$. +\end{proposition} + +\begin{proof} +This follows from Theorem~1 of +Ref.~\cite{Lashkari2013}, which establishes that the +scrambling time on a graph is bounded above by +$\mathcal{O}(\lambda_1^{-1}\ln n)$ for random local +unitaries, and from the bound on chaos of +Ref.~\cite{Maldacena2016}, which establishes that no +system scrambles faster than $\tscr \sim \frac{1}{2\pi T_H} +\ln S$ (the Lyapunov bound). The upper bound in +Eq.~(\ref{eq:scrambling_bound}) is achieved by systems +saturating the fast-scrambling conjecture. +\end{proof} + +\subsection{Expander exclusion theorem} + +\begin{theorem}[Expander exclusion] +\label{thm:expander_exclusion} +Let $\Cset$ be a causal set whose Hasse diagram, viewed +as an undirected graph $G(\Cset)$, is a $c$-expander +($h(G) \geq c > 0$) with bounded degree $d_{\max} \leq D$. +Then for any observer depth satisfying +\begin{equation} +\label{eq:T_condition} +T > \frac{C \cdot 2D}{c^2}\,\ln N, +\end{equation} +we have $\PiO(\Cset) = 0$. +\end{theorem} + +\begin{proof} +By the Cheeger inequality~(\ref{eq:cheeger_ineq}), +$\lambda_1(G) \geq c^2/(2D)$. By +Proposition~\ref{prop:scrambling_bound}, +\begin{equation} +\tscr(\Oset, \Cset) \leq \frac{C}{\lambda_1}\ln N +\leq \frac{2CD}{c^2}\ln N. +\end{equation} +Since $T > \frac{2CD}{c^2}\ln N$, we have +$\tscr < T$, so +$\chi_{\mathrm{CP}}(\Oset, T) = \Theta(\tscr - T) = 0$ +for every $\Oset \subseteq \Cset$. Therefore +$\PiO(\Cset) = 0$. +\end{proof} + +\begin{remark}[Physical scales] +\label{rem:scales} +For the observable universe modeled as a causal set with +$N \sim 10^{240}$ Planck-scale elements~\cite{Sorkin2003}, +$\ln N \approx 553$. A macroscopic observer requires +$T \sim 10^{43}$ Planck times ($\approx 1\;\mathrm{s}$). +The hierarchy $T/\ln N \sim 10^{40}$ ensures the scaling +window is comfortably satisfied. Any expander topology +with $h = \Theta(1)$ has $\tscr = \mathcal{O}(553)$, +which is negligible compared to $T \sim 10^{43}$. +\end{remark} + +\subsection{The scaling window for observer persistence} + +Combining conditions (O1) and (O3), a valid observer +substructure requires +\begin{equation} +\label{eq:scaling_window} +\ln N \ll T < \tscr(\Oset, \Cset). +\end{equation} +This is satisfiable only for causal sets whose local Hasse +structure has $\lambda_1 \to 0$ as $N \to \infty$ (shrinking +spectral gap)---i.e., sparse, low-expansion graphs. +Manifoldlike causal sets, whose Hasse diagrams approximate +$d$-dimensional lattice structures, have +$\lambda_1 \sim N^{-2/d}$~\cite{Chung1997,Barlow2017}, +giving $\tscr \sim N^{2/d}$, which grows polynomially and +vastly exceeds $T$ for any finite $d$. + +% ================================================================ +\section{Dimensional Restrictions from Recurrence} +\label{sec:dimensional} +% ================================================================ + +The scrambling-time analysis provides a \emph{quantitative} +bound on the expansion of the surviving causal sets. We +now show that this bound, combined with the recurrence +properties of random walks, constrains the effective +dimensionality. + +\subsection{Spectral gap and dimension} + +For a manifoldlike causal set faithfully embeddable in +$\mathbb{M}^{1,d-1}$, the spatial slice of the Hasse diagram +at any given proper time is a graph approximating the +$(d{-}1)$-dimensional spatial lattice. The spectral gap +of such a graph scales as~\cite{Chung1997,Mohar1991} +\begin{equation} +\label{eq:gap_lattice} +\lambda_1 \sim N_{\mathrm{spatial}}^{-2/(d-1)}, +\end{equation} +where $N_{\mathrm{spatial}} \sim N/T$ is the number of +elements per spatial slice. The scrambling time on this +slice is +\begin{equation} +\label{eq:tscr_lattice} +\tscr \sim \frac{1}{\lambda_1}\ln N_{\mathrm{spatial}} +\sim N_{\mathrm{spatial}}^{2/(d-1)} \ln N_{\mathrm{spatial}}. +\end{equation} + +\subsection{Recurrence and information localization} + +\begin{theorem}[P\'olya~\cite{Polya1921}] +\label{thm:polya} +A simple random walk on $\mathbb{Z}^d$ is recurrent +(returns to the origin with probability~1) iff $d \leq 2$. +For $d \geq 3$ the walk is transient. +\end{theorem} + +The physical relevance is as follows. An observer +substructure stores correlations in a local memory register +along the worldline $\gamma$. These correlations propagate +into the surrounding spatial substrate via the causal +links. The question is whether these correlations +\emph{return} to the vicinity of $\gamma$ (enabling +persistent storage) or \emph{diffuse irreversibly} to +spatial infinity (destroying the record). + +\begin{proposition}[Dimensional bound on observer substrate] +\label{prop:dimension} +Let $\Cset$ be a manifoldlike causal set faithfully +embeddable in $\mathbb{M}^{1,d-1}$, with the spatial +slices of the Hasse diagram approximating +$(d{-}1)$-dimensional lattice graphs. Then: + +\begin{enumerate} +\item[(a)] For $d{-}1 \leq 2$ (i.e., $d \leq 3$): +Random walks on the spatial slices are recurrent. +Correlations stored along $\gamma$ return to the +observer with probability~1, and $\tscr$ grows +polynomially in $N_{\mathrm{spatial}}$. Condition +(O3) is satisfiable for macroscopic $T$. + +\item[(b)] For $d{-}1 \geq 3$ (i.e., $d \geq 4$): +Random walks are transient. The return probability +for $d{-}1 = 3$ is $P_{\mathrm{return}} \approx 0.34$, +and decreases with $d$. Correlations undergo a net +outward flux and the mutual information between the +memory register and its initial state decays as +$I(t) \sim t^{-(d-1)/2}$~\cite{Lawler2010,Barlow2017}. +For macroscopic $T$, the memory content is +effectively destroyed. +\end{enumerate} +\end{proposition} + +\begin{remark}[Scope and caveats] +\label{rem:polya_scope} +P\'olya's theorem applies to simple random walks on the +integer lattice $\mathbb{Z}^d$, not directly to quantum +dynamics on a DAG. However, several results extend the +transience/recurrence dichotomy to more general graphs: +(i)~the Nash--Williams criterion~\cite{Barlow2017} gives +recurrence conditions for weighted graphs; +(ii)~the heat kernel estimates of +Coulhon--Grigor'yan~\cite{Barlow2017} establish the +on-diagonal decay rate $p_t(v,v) \sim t^{-d/2}$ for +graphs with spectral dimension $d$, independently of +the lattice assumption. +For causal sets in $\Oobs$, the spatial slices need not +be perfect lattices; what matters is the spectral +dimension, which for manifoldlike causal sets is +$d_S = d{-}1$ by design. Nevertheless, we state +Proposition~\ref{prop:dimension} as a bound on +manifoldlike causal sets specifically, not as a general +result for all of $\Oobs$. +\end{remark} + +\begin{remark}[Relation to holographic bounds] +\label{rem:holography} +The restriction to $d \leq 3$ (spatial dimension $\leq 2$) +is reminiscent of the holographic +principle~\cite{tHooft1993,Susskind1995,Bousso2002}, which +bounds entropy by the area of a bounding surface rather than +the enclosed volume. Our result provides a complementary +\emph{operational} derivation: the substrate supporting a +persistent observer is at most $(2{+}1)$-dimensional. +If $(3{+}1)$-dimensional physics is recovered from causal set +dynamics, it must emerge as an effective description on a +lower-dimensional substrate, consistent with holographic +proposals~\cite{Maldacena1999,Ryu2006,VanRaamsdonk2010} and +with the observation of dimensional reduction at short +distances across multiple quantum gravity +approaches~\cite{Carlip2017}. +\end{remark} + +% ================================================================ +\section{The Observer-Conditioned Path Integral} +\label{sec:path_integral} +% ================================================================ + +\begin{definition}[Observer-conditioned partition function] +\label{def:conditioned_Z} +\begin{equation} +\label{eq:Z_obs} +Z_{\mathrm{obs}}(N,T) = \sum_{\Cset \in \Omega_N} +\PiO(\Cset)\,\exp\!\bigl(i\,\SBD(\Cset)\bigr). +\end{equation} +\end{definition} + +Since $\PiO \in \{0,1\}$, the effect of the observer +conditioning is to restrict the summation domain from +$\Omega_N$ to $\Oobs(N,T) \subset \Omega_N$. By +Proposition~\ref{prop:entropy}, the dominant KR entropy +sector has been removed: the remaining sum is over at most +$\exp(\mathcal{O}(N\ln N))$ causally connected, temporally +deep, low-expansion causal sets. + +\subsection{Compatibility with the BD action} + +Within $\Oobs$, the BD action plays its standard role: +weighting manifoldlike orders via the discrete +Einstein--Hilbert action. The observer projection +eliminates the non-manifoldlike configurations that the BD +action struggles to suppress; the BD action then governs +the \emph{relative} weights within the surviving ensemble. + +This separation of roles is natural. The observer +projection $\PiO$ imposes a \emph{kinematic} constraint +(which orders are summed over), while $\SBD$ provides the +\emph{dynamical} weighting (how they are weighted). +The analogy to continuum gravity is direct: +the no-boundary proposal~\cite{Hartle1983} restricts the +path integral to compact geometries, after which the +Einstein--Hilbert action governs the saddle-point +approximation. + +\subsection{Label covariance} + +The projection operator $\PiO$ is invariant under +relabeling of the elements of $V$: the conditions +(O1)--(O3) depend only on the partial order structure, not +on the labeling. This is essential for consistency with +the causal set program, where physical quantities must be +label-invariant~\cite{Sorkin2003,Dowker2020}. + +% ================================================================ +\section{Relation to Existing Approaches} +\label{sec:related} +% ================================================================ + +\subsection{Dynamical suppression} + +The observer conditioning is \emph{complementary} to, not a +replacement for, dynamical suppression mechanisms. The BD +action~\cite{Benincasa2010}, the Loomis--Carlip oscillatory +analysis~\cite{Loomis2018}, and the MCMC +studies~\cite{Surya2012,Glaser2018,Cunningham2020} all +operate within the path integral \emph{after} the summation +domain has been fixed. Our approach restricts the domain +\emph{before} the dynamical weighting is applied. +The two mechanisms address different aspects of the entropy +problem: the observer projection removes the KR sector +exactly, while the BD action selects among the surviving +manifoldlike orders. + +\subsection{Sequential growth dynamics} + +The classical sequential growth (CSG) dynamics of Rideout +and Sorkin~\cite{Rideout2000} generates causal sets by +element-by-element accretion, naturally producing deep +orders. CSG dynamics can be viewed as a specific measure +on $\Omega_N$ that avoids the KR problem by construction +(since the growth process generically produces connected +deep orders). Our approach provides a +\emph{measure-independent} criterion: regardless of how +the sum over causal sets is performed, only orders in +$\Oobs$ contribute. + +\subsection{Quantum measure theory} + +Sorkin's quantum measure theory~\cite{Sorkin1994} provides +a framework for quantum dynamics on histories (sets of +trajectories) without requiring a Hilbert space. The +observer projection $\PiO$ can be embedded in this +framework as a \emph{coarse-graining}: the physically +relevant amplitudes are computed by partitioning +$\Omega_N$ into $\Oobs$ and $\Omega_N \setminus \Oobs$ +and retaining only the former. This is analogous to the +decoherent histories framework~\cite{GellMann1993}, where +only decoherent coarse-grainings yield +quasi-classical probabilities. + +\subsection{Dimensional reduction} + +The observation that the effective dimensionality of the +observer-compatible substrate is $d \leq 3$ +(Proposition~\ref{prop:dimension}) connects to a growing +body of evidence for dimensional reduction at short +distances in quantum gravity, reviewed by +Carlip~\cite{Carlip2017}. Loop quantum gravity, causal +dynamical triangulations, asymptotic safety, and +Ho\v{r}ava--Lifshitz gravity all exhibit a spectral +dimension that flows from $d_S = 4$ at large scales to +$d_S \approx 2$ at the Planck scale. Our result provides +an independent derivation of this phenomenon within the +causal set framework, grounded in information-theoretic +rather than renormalization-group arguments. + +% ================================================================ +\section{Concrete Predictions and Numerical Tests} +\label{sec:predictions} +% ================================================================ + +The observer-conditioned path integral makes several +testable predictions that can be verified in existing +causal set simulation frameworks. + +\subsection{Test 1: Height distribution} + +\emph{Prediction.} In the observer-conditioned ensemble +$\Oobs(N, T)$ with $T \geq 4$, the height distribution +$P(\height = k)$ satisfies $P(\height \leq 3) = 0$ +exactly. This can be verified by enumerating all partial +orders on $N \leq 15$ elements, computing $\PiO$ for each, +and comparing the height distributions of $\Omega_N$ vs.\ +$\Oobs$. Existing enumeration +algorithms~\cite{Winkler1985,Brightwell1991} make this +feasible. + +\subsection{Test 2: Cheeger constant distribution} + +\emph{Prediction.} The mean Cheeger constant +$\langle h \rangle$ of the Hasse diagrams in $\Oobs$ +is strictly less than that of $\Omega_N$, with the +difference growing with $N$. This can be tested using +MCMC sampling of causal sets with the BD +action~\cite{Surya2012,Glaser2018}, augmented by the hard +constraint $\PiO = 1$. + +\subsection{Test 3: Manifoldlikeness} + +\emph{Prediction.} The fraction of orders in $\Oobs$ that +are manifoldlike (as determined by the Myrheim--Meyer +dimension estimator~\cite{Surya2019}) is significantly +higher than in $\Omega_N$. This provides a direct test of +whether the observer projection preferentially selects +manifoldlike orders beyond the trivial effect of removing +KR posets. + +\subsection{Test 4: Action-conditioned convergence} + +\emph{Prediction.} MCMC simulations using +$e^{i\SBD}$ as the Boltzmann weight, restricted to +$\Oobs$, achieve convergence to manifoldlike geometries at +\emph{smaller} $N$ than unrestricted simulations, due to +the removal of the KR entropy barrier. + +% ================================================================ +\section{Discussion and Conclusions} +\label{sec:discussion} +% ================================================================ + +\subsection{Summary} + +We have introduced an observer-conditioned restriction of +the causal set path integral defined by a projection +operator $\PiO(\Cset) \in \{0,1\}$. The operator selects +causal sets admitting an embedded observer substructure +satisfying three conditions: temporal depth (O1), bounded +local degree (O2), and correlation persistence (O3). + +Three exact exclusion results have been proven: + +\begin{enumerate} +\item \textbf{KR exclusion} (Theorem~\ref{thm:KR_exclusion}): +All 3-level posets annihilated by temporal depth, removing +$\exp(N^2/4)$ from the counting measure. + +\item \textbf{Disconnected exclusion} +(Theorem~\ref{thm:composite_exclusion}): +All disconnected orders annihilated by GCC. + +\item \textbf{Expander exclusion} +(Theorem~\ref{thm:expander_exclusion}): +Orders with $h = \Omega(1)$ annihilated by +scrambling-time bound. +\end{enumerate} + +The surviving ensemble $\Oobs$ consists of connected, +deep, low-expansion causal sets. The BD action governs +the relative weights within $\Oobs$, providing a natural +separation between kinematic (projection) and dynamical +(action) roles. + +\subsection{Limitations} + +We identify four principal limitations: + +\begin{enumerate} +\item[(i)] The scrambling-time bound +(Proposition~\ref{prop:scrambling_bound}) is established +rigorously for random local unitaries +\cite{Lashkari2013}, but the extension to deterministic +causal set evolution requires further justification. We +have used it here as an upper bound; more refined +calculations for specific causal set topologies are a +target for future work. + +\item[(ii)] The observer depth $T$ is an external +parameter, not derived from the theory. Ideally, $T$ +would be determined dynamically by the BD action through +a saddle-point condition. We leave this for future +investigation. + +\item[(iii)] The surviving ensemble $\Oobs$ may contain +exotic low-dimensional non-manifoldlike structures that +are not obviously pathological. The observer projection +removes the \emph{dominant} obstructions but does not +guarantee manifoldlikeness. + +\item[(iv)] The dimensional bound +(Proposition~\ref{prop:dimension}) relies on the spatial +slices of the Hasse diagram approximating +$(d{-}1)$-dimensional lattice graphs. For generic causal +sets in $\Oobs$, this requires justification via +the spectral dimension, which we have not computed +explicitly. +\end{enumerate} + +\subsection{Outlook} + +The observer-conditioned path integral provides a +principled kinematic starting point for the study of +continuum emergence in causal set theory. By exactly +removing the KR entropy barrier, it allows the BD dynamics +to operate on an ensemble already enriched in manifoldlike +orders. The concrete predictions of +Sec.~\ref{sec:predictions} are testable with existing +simulation technology and would provide +immediate validation or falsification of the approach. + +More ambitiously, the dimensional bound +(Proposition~\ref{prop:dimension}) suggests that the +fundamental causal substrate is at most +$(2{+}1)$-dimensional. If $(3{+}1)$-dimensional physics +is to emerge, it must do so as an effective description +on a lower-dimensional substrate---a possibility that +connects naturally to holographic +programs~\cite{Ryu2006,VanRaamsdonk2010} and to the +widespread evidence for dimensional reduction across +quantum gravity approaches~\cite{Carlip2017}. + +\begin{acknowledgments} +The author thanks the causal set community, in particular +the participants of the Causal Sets workshops series, for +the foundational contributions upon which this work +builds. Special acknowledgment is due to R.~D.~Sorkin, +F.~Dowker, S.~Surya, and S.~Carlip, whose work on causal +set dynamics and the entropy problem directly motivated +the present approach. +\end{acknowledgments} + +\bibliography{references_prd} + +\end{document} diff --git a/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRDNotes.bib b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRDNotes.bib new file mode 100644 index 00000000..8f3dc15d --- /dev/null +++ b/papers/project_paper_1_relativity/armada_1_prd/paper_1a_physics_PRDNotes.bib @@ -0,0 +1,2 @@ +@CONTROL{REVTEX42Control} +@CONTROL{apsrev42Control,author="08",editor="1",pages="0",title="0",year="1"} diff --git a/papers/project_paper_1_relativity/armada_1_prd/references_prd.bib b/papers/project_paper_1_relativity/armada_1_prd/references_prd.bib new file mode 100644 index 00000000..7fb6a14a --- /dev/null +++ b/papers/project_paper_1_relativity/armada_1_prd/references_prd.bib @@ -0,0 +1,492 @@ +% references_prd.bib +% Bibliography for Armada 1 / PRD paper +% Curated for Physical Review D / Classical and Quantum Gravity +% ============================================================= + +% ---- Causal Set Theory Foundations ---- + +@article{Bombelli1987, + author = {Bombelli, Luca and Lee, Joohan and Meyer, David and Sorkin, Rafael D}, + title = {Space-time as a causal set}, + journal = {Phys. Rev. Lett.}, + volume = {59}, + number = {5}, + pages = {521--524}, + year = {1987}, + doi = {10.1103/PhysRevLett.59.521} +} + +@incollection{Sorkin2003, + author = {Sorkin, Rafael D}, + title = {Causal sets: Discrete gravity}, + booktitle = {Lectures on Quantum Gravity}, + pages = {305--327}, + publisher = {Springer}, + year = {2003}, + doi = {10.1007/0-387-24992-3_7} +} + +@article{Surya2012, + author = {Surya, Sumati}, + title = {Evidence for the continuum in 2D causal set quantum gravity}, + journal = {Class. Quantum Grav.}, + volume = {29}, + number = {13}, + pages = {132001}, + year = {2012}, + doi = {10.1088/0264-9381/29/13/132001} +} + +@article{Surya2019, + author = {Surya, Sumati}, + title = {The causal set approach to quantum gravity}, + journal = {Living Rev. Relativ.}, + volume = {22}, + number = {1}, + pages = {5}, + year = {2019}, + doi = {10.1007/s41114-019-0023-1} +} + +@article{Rideout2000, + author = {Rideout, David P and Sorkin, Rafael D}, + title = {Classical sequential growth dynamics for causal sets}, + journal = {Phys. Rev. D}, + volume = {61}, + number = {2}, + pages = {024002}, + year = {2000}, + doi = {10.1103/PhysRevD.61.024002} +} + +@article{Sorkin1994, + author = {Sorkin, Rafael D}, + title = {Quantum mechanics as quantum measure theory}, + journal = {Mod. Phys. Lett. A}, + volume = {9}, + number = {33}, + pages = {3119--3127}, + year = {1994}, + doi = {10.1142/S021773239400294X} +} + +@article{Sorkin2009, + author = {Sorkin, Rafael D}, + title = {Scalar field theory on a causal set in histories form}, + journal = {J. Phys.: Conf. Ser.}, + volume = {306}, + pages = {012017}, + year = {2009}, + doi = {10.1088/1742-6596/306/1/012017} +} + +@article{Dowker2020, + author = {Dowker, Fay}, + title = {Being and becoming on the road to quantum gravity}, + journal = {Phil. Trans. R. Soc. A}, + volume = {378}, + pages = {20190239}, + year = {2020}, + doi = {10.1098/rsta.2019.0239} +} + +@article{Carlip2023, + author = {Carlip, Steven}, + title = {Causal sets: Overview and status}, + journal = {J. Phys.: Conf. Ser.}, + volume = {2533}, + pages = {012001}, + year = {2023}, + doi = {10.1088/1742-6596/2533/1/012001} +} + +% ---- Benincasa-Dowker Action & Dynamics ---- + +@article{Benincasa2010, + author = {Benincasa, Dionigi M R and Dowker, Fay}, + title = {The Scalar Curvature of a Causal Set}, + journal = {Phys. Rev. Lett.}, + volume = {104}, + number = {18}, + pages = {181301}, + year = {2010}, + doi = {10.1103/PhysRevLett.104.181301} +} + +@article{Loomis2018, + author = {Loomis, S and Carlip, Steven}, + title = {Suppression of non-manifold-like sets in the causal set path integral}, + journal = {Class. Quantum Grav.}, + volume = {35}, + number = {1}, + pages = {015009}, + year = {2018}, + doi = {10.1088/1361-6382/aa980b} +} + +@article{Glaser2018, + author = {Glaser, Lisa and Surya, Sumati}, + title = {Finite size scaling in 2d causal set quantum gravity}, + journal = {Class. Quantum Grav.}, + volume = {35}, + number = {4}, + pages = {045006}, + year = {2018}, + doi = {10.1088/1361-6382/aa9540} +} + +@article{Cunningham2020, + author = {Cunningham, William J and Surya, Sumati}, + title = {Dimensionally restricted causal set quantum gravity}, + journal = {Class. Quantum Grav.}, + volume = {37}, + pages = {054002}, + year = {2020}, + doi = {10.1088/1361-6382/ab60b7} +} + +% ---- Kleitman-Rothschild and Combinatorics ---- + +@article{Kleitman1975, + author = {Kleitman, Daniel J and Rothschild, Bruce L}, + title = {Asymptotic enumeration of partial orders on a finite set}, + journal = {Trans. Amer. Math. Soc.}, + volume = {205}, + pages = {205--220}, + year = {1975}, + doi = {10.1090/S0002-9947-1975-0369090-9} +} + +@article{Brightwell1991, + author = {Brightwell, Graham R}, + title = {Counting antichains in finite partially ordered sets}, + journal = {Order}, + volume = {8}, + number = {3}, + pages = {225--235}, + year = {1991}, + doi = {10.1007/BF00383444} +} + +@article{Winkler1985, + author = {Winkler, Peter M}, + title = {Random orders}, + journal = {Order}, + volume = {1}, + number = {4}, + pages = {317--331}, + year = {1985}, + doi = {10.1007/BF00582738} +} + +@book{Bollobas2001, + author = {Bollob\'as, B\'ela}, + title = {Random Graphs}, + edition = {2nd}, + publisher = {Cambridge University Press}, + year = {2001}, + doi = {10.1017/CBO9780511814068} +} + +% ---- Causal Structure and GR ---- + +@article{Malament1977, + author = {Malament, David B}, + title = {The class of continuous timelike curves determines the topology of spacetime}, + journal = {J. Math. Phys.}, + volume = {18}, + pages = {1399--1404}, + year = {1977}, + doi = {10.1063/1.523436} +} + +@article{Hawking1976, + author = {Hawking, S W and King, A R and McCarthy, P J}, + title = {A new topology for curved space--time which incorporates the causal, differential, and conformal structures}, + journal = {J. Math. Phys.}, + volume = {17}, + pages = {174--181}, + year = {1976}, + doi = {10.1063/1.522874} +} + +@book{Wald1984, + author = {Wald, Robert M}, + title = {General Relativity}, + publisher = {University of Chicago Press}, + year = {1984}, + doi = {10.7208/chicago/9780226870373.001.0001} +} + +% ---- Quantum Gravity Foundations ---- + +@article{DeWitt1967, + author = {DeWitt, Bryce S}, + title = {Quantum Theory of Gravity. {I}. {The} Canonical Theory}, + journal = {Phys. Rev.}, + volume = {160}, + pages = {1113--1148}, + year = {1967}, + doi = {10.1103/PhysRev.160.1113} +} + +@inproceedings{Isham1993, + author = {Isham, Chris J}, + title = {Canonical quantum gravity and the problem of time}, + booktitle = {Integrable Systems, Quantum Groups, and Quantum Field Theories}, + pages = {157--287}, + publisher = {Springer}, + year = {1993}, + doi = {10.1007/978-94-011-1980-1_6} +} + +@article{Hartle1983, + author = {Hartle, James B and Hawking, S W}, + title = {Wave function of the Universe}, + journal = {Phys. Rev. D}, + volume = {28}, + pages = {2960--2975}, + year = {1983}, + doi = {10.1103/PhysRevD.28.2960} +} + +@article{Page1983, + author = {Page, Don N and Wootters, William K}, + title = {Evolution without evolution: Dynamics described by stationary observables}, + journal = {Phys. Rev. D}, + volume = {27}, + pages = {2885--2892}, + year = {1983}, + doi = {10.1103/PhysRevD.27.2885} +} + +@article{Rovelli1991, + author = {Rovelli, Carlo}, + title = {Quantum reference systems}, + journal = {Class. Quantum Grav.}, + volume = {8}, + pages = {317--331}, + year = {1991}, + doi = {10.1088/0264-9381/8/2/012} +} + +% ---- Quantum Information and Scrambling ---- + +@article{Sekino2008, + author = {Sekino, Yasuhiro and Susskind, Leonard}, + title = {Fast scramblers}, + journal = {J. High Energy Phys.}, + volume = {2008}, + number = {10}, + pages = {065}, + year = {2008}, + doi = {10.1088/1126-6708/2008/10/065} +} + +@article{Hayden2007, + author = {Hayden, Patrick and Preskill, John}, + title = {Black holes as mirrors: quantum information in random subsystems}, + journal = {J. High Energy Phys.}, + volume = {2007}, + number = {09}, + pages = {120}, + year = {2007}, + doi = {10.1088/1126-6708/2007/09/120} +} + +@article{Lashkari2013, + author = {Lashkari, Nima and Stanford, Douglas and Hastings, Matthew and Osborne, Tobias and Hayden, Patrick}, + title = {Towards the fast scrambling conjecture}, + journal = {J. High Energy Phys.}, + volume = {2013}, + number = {4}, + pages = {22}, + year = {2013}, + doi = {10.1007/JHEP04(2013)022} +} + +@article{Maldacena2016, + author = {Maldacena, Juan and Shenker, Stephen H and Stanford, Douglas}, + title = {A bound on chaos}, + journal = {J. High Energy Phys.}, + volume = {2016}, + number = {8}, + pages = {106}, + year = {2016}, + doi = {10.1007/JHEP08(2016)106} +} + +% ---- Spectral Graph Theory ---- + +@book{Chung1997, + author = {Chung, Fan R K}, + title = {Spectral Graph Theory}, + series = {CBMS Regional Conference Series in Mathematics}, + volume = {92}, + publisher = {American Mathematical Society}, + year = {1997} +} + +@article{Alon1985, + author = {Alon, Noga and Milman, Vitali D}, + title = {$\lambda_1$, isoperimetric inequalities for graphs, and superconcentrators}, + journal = {J. Combin. Theory B}, + volume = {38}, + number = {1}, + pages = {73--88}, + year = {1985}, + doi = {10.1016/0095-8956(85)90092-9} +} + +@article{Dodziuk1984, + author = {Dodziuk, J\'ozef}, + title = {Difference equations, isoperimetric inequality and transience of certain random walks}, + journal = {Trans. Amer. Math. Soc.}, + volume = {284}, + pages = {787--794}, + year = {1984}, + doi = {10.1090/S0002-9947-1984-0743744-X} +} + +@article{Cheeger1970, + author = {Cheeger, Jeff}, + title = {A lower bound for the smallest eigenvalue of the {Laplacian}}, + booktitle = {Problems in Analysis}, + pages = {195--199}, + publisher = {Princeton University Press}, + year = {1970} +} + +@article{Hoory2006, + author = {Hoory, Shlomo and Linial, Nathan and Wigderson, Avi}, + title = {Expander graphs and their applications}, + journal = {Bull. Amer. Math. Soc.}, + volume = {43}, + number = {4}, + pages = {439--561}, + year = {2006}, + doi = {10.1090/S0273-0979-06-01126-8} +} + +@article{Mohar1991, + author = {Mohar, Bojan}, + title = {The {Laplacian} spectrum of graphs}, + journal = {Graph Theory, Combinatorics, and Applications}, + volume = {2}, + pages = {871--898}, + year = {1991} +} + +% ---- Random Walks and Recurrence ---- + +@article{Polya1921, + author = {P{\'o}lya, George}, + title = {{\"U}ber eine {Aufgabe} der {Wahrscheinlichkeitsrechnung} betreffend die {Irrfahrt} im {Stra{\ss}ennetz}}, + journal = {Math. Ann.}, + volume = {84}, + pages = {149--160}, + year = {1921}, + doi = {10.1007/BF01458701} +} + +@book{Lawler2010, + author = {Lawler, Gregory F and Limic, Vlada}, + title = {Random Walk: A Modern Introduction}, + publisher = {Cambridge University Press}, + year = {2010}, + doi = {10.1017/CBO9780511934837} +} + +@book{Barlow2017, + author = {Barlow, Martin T}, + title = {Random Walks and Heat Kernels on Graphs}, + series = {LMS Lecture Note Series}, + volume = {438}, + publisher = {Cambridge University Press}, + year = {2017}, + doi = {10.1017/9781107415690} +} + +% ---- Holography and Dimensional Reduction ---- + +@article{tHooft1993, + author = {'t Hooft, Gerard}, + title = {Dimensional reduction in quantum gravity}, + journal = {arXiv preprint gr-qc/9310026}, + year = {1993} +} + +@article{Susskind1995, + author = {Susskind, Leonard}, + title = {The world as a hologram}, + journal = {J. Math. Phys.}, + volume = {36}, + pages = {6377--6396}, + year = {1995}, + doi = {10.1063/1.531249} +} + +@article{Maldacena1999, + author = {Maldacena, Juan}, + title = {The large-{N} limit of superconformal field theories and supergravity}, + journal = {Int. J. Theor. Phys.}, + volume = {38}, + number = {4}, + pages = {1113--1133}, + year = {1999}, + doi = {10.1023/A:1026654312961} +} + +@article{Bousso2002, + author = {Bousso, Raphael}, + title = {The holographic principle}, + journal = {Rev. Mod. Phys.}, + volume = {74}, + pages = {825--874}, + year = {2002}, + doi = {10.1103/RevModPhys.74.825} +} + +@article{Ryu2006, + author = {Ryu, Shinsei and Takayanagi, Tadashi}, + title = {Holographic derivation of entanglement entropy from the anti-de {Sitter} space/conformal field theory correspondence}, + journal = {Phys. Rev. Lett.}, + volume = {96}, + pages = {181602}, + year = {2006}, + doi = {10.1103/PhysRevLett.96.181602} +} + +@article{VanRaamsdonk2010, + author = {Van Raamsdonk, Mark}, + title = {Building up spacetime with quantum entanglement}, + journal = {Gen. Relativ. Gravit.}, + volume = {42}, + pages = {2323--2329}, + year = {2010}, + doi = {10.1007/s10714-010-1034-0} +} + +@article{Carlip2017, + author = {Carlip, Steven}, + title = {Dimension and dimensional reduction in quantum gravity}, + journal = {Class. Quantum Grav.}, + volume = {34}, + number = {19}, + pages = {193001}, + year = {2017}, + doi = {10.1088/1361-6382/aa8535} +} + +% ---- Decoherent Histories ---- + +@article{GellMann1993, + author = {Gell-Mann, Murray and Hartle, James B}, + title = {Classical equations for quantum systems}, + journal = {Phys. Rev. D}, + volume = {47}, + number = {8}, + pages = {3345}, + year = {1993}, + doi = {10.1103/PhysRevD.47.3345} +}