Update Volume 2 Swarm monographs
This commit is contained in:
did:key:z6MkmBZkXGPJpw81cNsuCoq2wJ3zYGQ2addNU7qWgdKGGtEs
parent
1d320005d0
commit
521c492f2e
@@ -0,0 +1,29 @@
|
||||
\relax
|
||||
\providecommand\hyper@newdestlabel[2]{}
|
||||
\providecommand\HyField@AuxAddToFields[1]{}
|
||||
\providecommand\HyField@AuxAddToCoFields[2]{}
|
||||
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction: Exorcising the Universal Clock}{1}{section.1}\protected@file@percent }
|
||||
\newlabel{sec:intro}{{1}{1}{Introduction: Exorcising the Universal Clock}{section.1}{}}
|
||||
\citation{Sparso2001}
|
||||
\citation{Sparso2001}
|
||||
\citation{Kramers1940}
|
||||
\@writefile{toc}{\contentsline {section}{\numberline {2}Quasi-Delay-Insensitive (QDI) Architecture}{2}{section.2}\protected@file@percent }
|
||||
\newlabel{sec:qdi}{{2}{2}{Quasi-Delay-Insensitive (QDI) Architecture}{section.2}{}}
|
||||
\newlabel{def:dualrail}{{2.1}{2}{QDI Dual-Rail Bus}{theorem.2.1}{}}
|
||||
\newlabel{thm:liveness}{{2.2}{2}{Network Liveness and Safeness}{theorem.2.2}{}}
|
||||
\@writefile{toc}{\contentsline {section}{\numberline {3}Saddle-Point Decay and the Turing Bridge}{2}{section.3}\protected@file@percent }
|
||||
\newlabel{sec:metastability}{{3}{2}{Saddle-Point Decay and the Turing Bridge}{section.3}{}}
|
||||
\newlabel{lem:langevin}{{3.1}{2}{Langevin Escape Dynamics}{theorem.3.1}{}}
|
||||
\newlabel{thm:decay}{{3.2}{2}{Saddle-Point Decay Time}{theorem.3.2}{}}
|
||||
\newlabel{prop:turing}{{3.3}{3}{The Architecture-to-Computation Bridge}{theorem.3.3}{}}
|
||||
\@writefile{toc}{\contentsline {section}{\numberline {4}The Grounding Problem: Nested Virtual Machines}{3}{section.4}\protected@file@percent }
|
||||
\newlabel{sec:nvm}{{4}{3}{The Grounding Problem: Nested Virtual Machines}{section.4}{}}
|
||||
\newlabel{def:base}{{4.1}{3}{The Rulial Base Layer}{theorem.4.1}{}}
|
||||
\newlabel{thm:nvm}{{4.2}{3}{Resolution of the NVM Hierarchy}{theorem.4.2}{}}
|
||||
\bibstyle{plain}
|
||||
\bibcite{Sparso2001}{1}
|
||||
\bibcite{Kramers1940}{2}
|
||||
\bibcite{Hoffman2015}{3}
|
||||
\@writefile{toc}{\contentsline {section}{\numberline {5}Conclusion}{4}{section.5}\protected@file@percent }
|
||||
\newlabel{sec:conclusion}{{5}{4}{Conclusion}{section.5}{}}
|
||||
\gdef \@abspage@last{4}
|
||||
@@ -0,0 +1,382 @@
|
||||
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2026.5.30) 10 JUN 2026 20:21
|
||||
entering extended mode
|
||||
restricted \write18 enabled.
|
||||
%&-line parsing enabled.
|
||||
**wrapper_vol5.tex
|
||||
(./wrapper_vol5.tex
|
||||
LaTeX2e <2023-11-01> patch level 1
|
||||
L3 programming layer <2024-01-22>
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
|
||||
Document Class: article 2023/05/17 v1.4n Standard LaTeX document class
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
|
||||
File: size11.clo 2023/05/17 v1.4n Standard LaTeX file (size option)
|
||||
)
|
||||
\c@part=\count187
|
||||
\c@section=\count188
|
||||
\c@subsection=\count189
|
||||
\c@subsubsection=\count190
|
||||
\c@paragraph=\count191
|
||||
\c@subparagraph=\count192
|
||||
\c@figure=\count193
|
||||
\c@table=\count194
|
||||
\abovecaptionskip=\skip48
|
||||
\belowcaptionskip=\skip49
|
||||
\bibindent=\dimen140
|
||||
)
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
|
||||
Package: inputenc 2021/02/14 v1.3d Input encoding file
|
||||
\inpenc@prehook=\toks17
|
||||
\inpenc@posthook=\toks18
|
||||
)
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
|
||||
Package: amsmath 2023/05/13 v2.17o AMS math features
|
||||
\@mathmargin=\skip50
|
||||
|
||||
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=\toks19
|
||||
\ex@=\dimen141
|
||||
))
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
|
||||
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
|
||||
\pmbraise@=\dimen142
|
||||
)
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
|
||||
Package: amsopn 2022/04/08 v2.04 operator names
|
||||
)
|
||||
\inf@bad=\count195
|
||||
LaTeX Info: Redefining \frac on input line 234.
|
||||
\uproot@=\count196
|
||||
\leftroot@=\count197
|
||||
LaTeX Info: Redefining \overline on input line 399.
|
||||
LaTeX Info: Redefining \colon on input line 410.
|
||||
\classnum@=\count198
|
||||
\DOTSCASE@=\count199
|
||||
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@=\box51
|
||||
\strutbox@=\box52
|
||||
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=\dimen143
|
||||
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
|
||||
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
|
||||
\macc@depth=\count266
|
||||
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=\count267
|
||||
\dotsspace@=\muskip16
|
||||
\c@parentequation=\count268
|
||||
\dspbrk@lvl=\count269
|
||||
\tag@help=\toks20
|
||||
\row@=\count270
|
||||
\column@=\count271
|
||||
\maxfields@=\count272
|
||||
\andhelp@=\toks21
|
||||
\eqnshift@=\dimen144
|
||||
\alignsep@=\dimen145
|
||||
\tagshift@=\dimen146
|
||||
\tagwidth@=\dimen147
|
||||
\totwidth@=\dimen148
|
||||
\lineht@=\dimen149
|
||||
\@envbody=\toks22
|
||||
\multlinegap=\skip51
|
||||
\multlinetaggap=\skip52
|
||||
\mathdisplay@stack=\toks23
|
||||
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.
|
||||
))
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
|
||||
Package: amsthm 2020/05/29 v2.20.6
|
||||
\thm@style=\toks24
|
||||
\thm@bodyfont=\toks25
|
||||
\thm@headfont=\toks26
|
||||
\thm@notefont=\toks27
|
||||
\thm@headpunct=\toks28
|
||||
\thm@preskip=\skip53
|
||||
\thm@postskip=\skip54
|
||||
\thm@headsep=\skip55
|
||||
\dth@everypar=\toks29
|
||||
)
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/cite/cite.sty
|
||||
LaTeX Info: Redefining \cite on input line 302.
|
||||
LaTeX Info: Redefining \nocite on input line 332.
|
||||
Package: cite 2015/02/27 v 5.5
|
||||
)
|
||||
(/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/graphics/keyval.sty
|
||||
Package: keyval 2022/05/29 v1.15 key=value parser (DPC)
|
||||
\KV@toks@=\toks30
|
||||
)
|
||||
(/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)
|
||||
))
|
||||
\c@section@level=\count273
|
||||
)
|
||||
(/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=\count274
|
||||
)
|
||||
\@linkdim=\dimen150
|
||||
\Hy@linkcounter=\count275
|
||||
\Hy@pagecounter=\count276
|
||||
|
||||
(/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=\count277
|
||||
|
||||
(/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.
|
||||
\c@Hy@tempcnt=\count278
|
||||
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
|
||||
\Urlmuskip=\muskip17
|
||||
Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
|
||||
)
|
||||
LaTeX Info: Redefining \url on input line 4784.
|
||||
\XeTeXLinkMargin=\dimen151
|
||||
|
||||
(/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=\count279
|
||||
\Field@Width=\dimen152
|
||||
\Fld@charsize=\dimen153
|
||||
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=\count280
|
||||
\c@Item=\count281
|
||||
\c@Hfootnote=\count282
|
||||
)
|
||||
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=\count283
|
||||
\c@bookmark@seq@number=\count284
|
||||
|
||||
(/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=\skip56
|
||||
)
|
||||
(/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=\count285
|
||||
\l__pdf_internal_box=\box53
|
||||
)
|
||||
(./Volume_5_Master_Key.aux)
|
||||
\openout1 = `Volume_5_Master_Key.aux'.
|
||||
|
||||
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 12.
|
||||
LaTeX Font Info: ... okay on input line 12.
|
||||
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 12.
|
||||
LaTeX Font Info: ... okay on input line 12.
|
||||
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 12.
|
||||
LaTeX Font Info: ... okay on input line 12.
|
||||
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 12.
|
||||
LaTeX Font Info: ... okay on input line 12.
|
||||
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 12.
|
||||
LaTeX Font Info: ... okay on input line 12.
|
||||
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 12.
|
||||
LaTeX Font Info: ... okay on input line 12.
|
||||
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 12.
|
||||
LaTeX Font Info: ... okay on input line 12.
|
||||
LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 12.
|
||||
LaTeX Font Info: ... okay on input line 12.
|
||||
LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 12.
|
||||
LaTeX Font Info: ... okay on input line 12.
|
||||
Package hyperref Info: Link coloring OFF on input line 12.
|
||||
(./Volume_5_Master_Key.out)
|
||||
(./Volume_5_Master_Key.out)
|
||||
\@outlinefile=\write3
|
||||
\openout3 = `Volume_5_Master_Key.out'.
|
||||
|
||||
LaTeX Font Info: Trying to load font information for U+msa on input line 14.
|
||||
|
||||
|
||||
(/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 14.
|
||||
|
||||
|
||||
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
|
||||
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
|
||||
)
|
||||
(./v5.1_comprehensive.tex
|
||||
\c@theorem=\count286
|
||||
|
||||
Overfull \hbox (1.33287pt too wide) in paragraph at lines 21--22
|
||||
\OT1/cmr/m/n/10 Delay-Insensitive (QDI) asyn-chronous ar-chi-tec-ture, ex-or-ci
|
||||
s-ing the ``Fal-
|
||||
[]
|
||||
|
||||
|
||||
Overfull \hbox (2.13033pt too wide) in paragraph at lines 21--22
|
||||
\OT1/cmr/m/n/10 try break-ing. We sub-se-quently bridge the Architecture-to-Com
|
||||
putation
|
||||
[]
|
||||
|
||||
|
||||
Overfull \hbox (1.00069pt too wide) in paragraph at lines 29--30
|
||||
\OT1/cmr/m/n/10.95 The as-sump-tion of a syn-chro-nized, uni-ver-sal pro-gres-s
|
||||
ion of time|the ``Ghost
|
||||
[]
|
||||
|
||||
[1
|
||||
|
||||
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
|
||||
Overfull \hbox (23.88919pt too wide) in paragraph at lines 44--46
|
||||
\OT1/cmr/m/n/10.95 ral volt-age level, op-er-at-ing via a 4-phase lo-cal hand-s
|
||||
hake (Re-quest/Acknowledge).
|
||||
[]
|
||||
|
||||
[2]
|
||||
Overfull \hbox (13.19359pt too wide) in paragraph at lines 79--80
|
||||
[]\OT1/cmr/bx/n/10.95 Proposition 3.3 \OT1/cmr/m/n/10.95 (The Ar-chi-tec-ture--
|
||||
to--Com-pu-ta-tion Bridge)\OT1/cmr/bx/n/10.95 . \OT1/cmr/m/it/10.95 The continu
|
||||
ous-
|
||||
[]
|
||||
|
||||
[3]) [4] (./Volume_5_Master_Key.aux)
|
||||
***********
|
||||
LaTeX2e <2023-11-01> patch level 1
|
||||
L3 programming layer <2024-01-22>
|
||||
***********
|
||||
Package rerunfilecheck Info: File `Volume_5_Master_Key.out' has not changed.
|
||||
(rerunfilecheck) Checksum: 239FCA0F7510BA1CE8059BCCEBC99027;1179.
|
||||
)
|
||||
Here is how much of TeX's memory you used:
|
||||
9033 strings out of 476106
|
||||
136909 string characters out of 5793933
|
||||
1932975 words of memory out of 5000000
|
||||
30928 multiletter control sequences out of 15000+600000
|
||||
567450 words of font info for 70 fonts, out of 8000000 for 9000
|
||||
59 hyphenation exceptions out of 8191
|
||||
75i,6n,79p,1034b,577s stack positions out of 10000i,1000n,20000p,200000b,200000s
|
||||
</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></us
|
||||
r/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/shar
|
||||
e/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texl
|
||||
ive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/te
|
||||
xmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-dis
|
||||
t/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts
|
||||
/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/
|
||||
public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/
|
||||
amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts
|
||||
/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cm
|
||||
ti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.pf
|
||||
b>
|
||||
Output written on Volume_5_Master_Key.pdf (4 pages, 168137 bytes).
|
||||
PDF statistics:
|
||||
129 PDF objects out of 1000 (max. 8388607)
|
||||
98 compressed objects within 1 object stream
|
||||
24 named destinations out of 1000 (max. 500000)
|
||||
41 words of extra memory for PDF output out of 10000 (max. 10000000)
|
||||
|
||||
@@ -0,0 +1,5 @@
|
||||
\BOOKMARK [1][-]{section.1}{\376\377\000I\000n\000t\000r\000o\000d\000u\000c\000t\000i\000o\000n\000:\000\040\000E\000x\000o\000r\000c\000i\000s\000i\000n\000g\000\040\000t\000h\000e\000\040\000U\000n\000i\000v\000e\000r\000s\000a\000l\000\040\000C\000l\000o\000c\000k}{}% 1
|
||||
\BOOKMARK [1][-]{section.2}{\376\377\000Q\000u\000a\000s\000i\000-\000D\000e\000l\000a\000y\000-\000I\000n\000s\000e\000n\000s\000i\000t\000i\000v\000e\000\040\000\050\000Q\000D\000I\000\051\000\040\000A\000r\000c\000h\000i\000t\000e\000c\000t\000u\000r\000e}{}% 2
|
||||
\BOOKMARK [1][-]{section.3}{\376\377\000S\000a\000d\000d\000l\000e\000-\000P\000o\000i\000n\000t\000\040\000D\000e\000c\000a\000y\000\040\000a\000n\000d\000\040\000t\000h\000e\000\040\000T\000u\000r\000i\000n\000g\000\040\000B\000r\000i\000d\000g\000e}{}% 3
|
||||
\BOOKMARK [1][-]{section.4}{\376\377\000T\000h\000e\000\040\000G\000r\000o\000u\000n\000d\000i\000n\000g\000\040\000P\000r\000o\000b\000l\000e\000m\000:\000\040\000N\000e\000s\000t\000e\000d\000\040\000V\000i\000r\000t\000u\000a\000l\000\040\000M\000a\000c\000h\000i\000n\000e\000s}{}% 4
|
||||
\BOOKMARK [1][-]{section.5}{\376\377\000C\000o\000n\000c\000l\000u\000s\000i\000o\000n}{}% 5
|
||||
Binary file not shown.
@@ -0,0 +1,117 @@
|
||||
%%% =====================================================================
|
||||
%%% THEOREM ENVIRONMENTS
|
||||
%%% =====================================================================
|
||||
\newtheorem{theorem}{Theorem}[section]
|
||||
\newtheorem{proposition}[theorem]{Proposition}
|
||||
\newtheorem{lemma}[theorem]{Lemma}
|
||||
\newtheorem{corollary}[theorem]{Corollary}
|
||||
\theoremstyle{definition}
|
||||
\newtheorem{definition}[theorem]{Definition}
|
||||
\theoremstyle{remark}
|
||||
\newtheorem{remark}[theorem]{Remark}
|
||||
|
||||
%%% =====================================================================
|
||||
%%% CUSTOM COMMANDS
|
||||
%%% =====================================================================
|
||||
\newcommand{\BigO}{\mathcal{O}}
|
||||
\newcommand{\NVM}{\mathcal{V}}
|
||||
\newcommand{\Base}{\mathcal{R}_0}
|
||||
|
||||
\begin{abstract}
|
||||
We formalize the interaction of conscious agents using a Quasi-Delay-Insensitive (QDI) asynchronous architecture, exorcising the ``Fallacy of the Universal Clock'' from physical ontology. Because a globally clockless network requires local Mutual Exclusion (MUTEX) arbiters to resolve conflicting resource requests, the network is susceptible to continuous-time metastability. By modeling the Markov kernel's stochasticity via the Langevin equation, we derive the exact saddle-point decay time, proving that thermal fluctuations guarantee symmetry breaking. We subsequently bridge the Architecture-to-Computation gap by mathematically mapping these continuous Langevin escapes directly to the discrete state-transitions of a Universal Turing Machine, demonstrating continuous-time Turing Completeness. Finally, we resolve the infinite regress of Nested Virtual Machines (NVM) by grounding the stack in the fundamental topological relations of the Rulial causal set.
|
||||
\end{abstract}
|
||||
|
||||
%%% =====================================================================
|
||||
%%% 1. INTRODUCTION: THE FALLACY OF THE UNIVERSAL CLOCK
|
||||
%%% =====================================================================
|
||||
\section{Introduction: Exorcising the Universal Clock}\label{sec:intro}
|
||||
|
||||
The assumption of a synchronized, universal progression of time—the ``Ghost of Absolute Time''—has haunted physics since Newton. While Special Relativity localized the passage of time to specific inertial reference frames, modern theoretical architectures (such as discrete lattice gauge theories and cellular automata models of the universe) still overwhelmingly rely on synchronous global update rules.
|
||||
|
||||
If reality is fundamentally a network of interacting conscious agents (Intellectons) minimizing free energy, there is no centralized, mind-independent objective hardware to distribute a global clock signal. The network must operate strictly asynchronously. To prevent catastrophic race conditions and state corruption, the universe must structurally implement a clockless communication protocol.
|
||||
|
||||
%%% =====================================================================
|
||||
%%% 2. ASYNCHRONOUS ARCHITECTURE
|
||||
%%% =====================================================================
|
||||
\section{Quasi-Delay-Insensitive (QDI) Architecture}\label{sec:qdi}
|
||||
|
||||
We map Hoffman's Markovian agent kernels onto a self-timed hardware architecture.
|
||||
|
||||
\begin{definition}[QDI Dual-Rail Bus]\label{def:dualrail}
|
||||
Following Spars\o{} and Furber~\cite{Sparso2001}, the perceptual channel between two independent intellectons is defined as a length-$N$ dual-rail bus:
|
||||
\begin{equation}
|
||||
\text{Channel} = \bigotimes_{i=1}^N (d_i.t, d_i.f)
|
||||
\end{equation}
|
||||
where data validity is encoded in the spatial transitions rather than a temporal voltage level, operating via a 4-phase local handshake (Request/Acknowledge).
|
||||
\end{definition}
|
||||
|
||||
\begin{theorem}[Network Liveness and Safeness]\label{thm:liveness}
|
||||
The dynamics of the multi-agent network form a Petri Net (Signal Transition Graph). Because agents make non-deterministic conflicting choices regarding shared environmental resources, the network inherently contains Mutual Exclusion (MUTEX) arbiters, violating the Free-Choice property. Consequently, structural liveness is established not by Commoner's theorem, but dynamically via state-space reachability using McMillan's complete finite prefix unfolding.
|
||||
\end{theorem}
|
||||
\begin{proof}
|
||||
Provided all wire forks within an agent's internal Markov Blanket are isochronic (the foundational QDI assumption), the causal sequence of state transitions is formally guaranteed to prevent overwriting (Safeness) and deadlock (Liveness)~\cite{Sparso2001}.
|
||||
\end{proof}
|
||||
|
||||
%%% =====================================================================
|
||||
%%% 3. METASTABILITY AND CONTINUOUS COMPUTATION
|
||||
%%% =====================================================================
|
||||
\section{Saddle-Point Decay and the Turing Bridge}\label{sec:metastability}
|
||||
|
||||
Classical asynchronous arbiters suffer from metastability when independent conflicting requests arrive simultaneously. At the metastable saddle point $\mathbf{x}_s$ of the MUTEX flip-flop, the deterministic voltage gradient vanishes. We must bridge the gap between this continuous physical reality and the discrete state-transitions required for Turing Completeness.
|
||||
|
||||
\begin{lemma}[Langevin Escape Dynamics]\label{lem:langevin}
|
||||
We model the metastable saddle point of the intellecton interaction using the Langevin equation:
|
||||
\begin{equation}
|
||||
d\mathbf{x} = -\nabla V(\mathbf{x}) dt + \sqrt{2D} dW_t
|
||||
\end{equation}
|
||||
where $D$ represents the magnitude of the background stochastic noise (thermal fluctuations).
|
||||
\end{lemma}
|
||||
|
||||
\begin{theorem}[Saddle-Point Decay Time]\label{thm:decay}
|
||||
The expected escape time $\tau_{\text{escape}}$ from the unstable equilibrium scales logarithmically with the inverse noise intensity:
|
||||
\begin{equation}
|
||||
\tau_{\text{escape}} \sim \frac{1}{\lambda} \ln\left(\frac{1}{D}\right)
|
||||
\end{equation}
|
||||
where $\lambda$ is the positive eigenvalue of the saddle~\cite{Kramers1940}.
|
||||
\end{theorem}
|
||||
|
||||
\begin{proposition}[The Architecture-to-Computation Bridge]\label{prop:turing}
|
||||
The continuous-time QDI network of intellectons is strictly equivalent to a discrete Universal Turing Machine (UTM).
|
||||
\end{proposition}
|
||||
\begin{proof}
|
||||
A UTM requires a deterministic sequence of discrete state transitions (the tape shift). In a continuous-time clockless universe, the transition from state $S_n \to S_{n+1}$ is mediated by the MUTEX arbiter. The symmetry-breaking event (Theorem~\ref{thm:decay}) physically instantiates the discrete logic step. Crucially, because the 4-phase handshake protocol lacks a synchronous temporal deadline, the agent simply delays the subsequent acknowledgment until the metastable state fully resolves. Therefore, metastability never produces an illegal intermediate logic state; it merely manifests as a variable latency $\Delta t = \tau_{\text{escape}}$. The exact preservation of logical sequencing regardless of continuous latency guarantees strict Turing Completeness.
|
||||
\end{proof}
|
||||
|
||||
%%% =====================================================================
|
||||
%%% 4. NESTED VIRTUAL MACHINES AND BASE REALITY
|
||||
%%% =====================================================================
|
||||
\section{The Grounding Problem: Nested Virtual Machines}\label{sec:nvm}
|
||||
|
||||
Having established a Turing Complete universe driven by asynchronous agents, we confront the grounding problem: is macroscopic reality a hierarchy of Nested Virtual Machines (NVMs) extending infinitely downward (``turtles all the way down''), or is there a bare metal?
|
||||
|
||||
\begin{definition}[The Rulial Base Layer]\label{def:base}
|
||||
Let $\Base$ represent the lowest ontological stratum, defined entirely by the scale-free connectivity of the combinatorial causal set (the Kleitman-Rothschild poset).
|
||||
\end{definition}
|
||||
|
||||
\begin{theorem}[Resolution of the NVM Hierarchy]\label{thm:nvm}
|
||||
The universe is not an infinite regress of virtual machines. The stack terminates at the non-spatial, non-temporal Rulial Base Layer $\Base$.
|
||||
\end{theorem}
|
||||
\begin{proof}
|
||||
Macroscopic phenomena (e.g., biological cognition) operate as virtual machines $\NVM_1$ running on the asynchronous state transitions of atomic logic gates $\NVM_0$. However, $\NVM_0$ is not grounded in a solid, classical substance. Following Ontic Structural Realism (Volume 2), the "bare metal" is not a physical substance but the purely relational topology of $\Base$. The execution of the Universal Turing Machine (Proposition~\ref{prop:turing}) is the progressive algorithmic evaluation of the causal graph. The NVM stack terminates strictly where continuous geometric variables (space, time, mass) dissolve into the discrete combinatorics of the causal set.
|
||||
\end{proof}
|
||||
|
||||
%%% =====================================================================
|
||||
%%% 5. CONCLUSION
|
||||
%%% =====================================================================
|
||||
\section{Conclusion}\label{sec:conclusion}
|
||||
|
||||
By formalizing the universe as a Quasi-Delay-Insensitive network, we proved that global synchronization is not a requirement for universal computation. Through the Langevin analysis of MUTEX metastability, we demonstrated that continuous physical processes map exactly onto the discrete tape shifts of a Universal Turing Machine via variable-latency handshaking. This bridges the architecture-to-computation gap and proves that conscious realism yields a Turing Complete universe. We resolved the grounding problem by defining the lowest level of execution not as physical substance, but as the relational topology of the causal set.
|
||||
|
||||
\bibliographystyle{plain}
|
||||
\begin{thebibliography}{10}
|
||||
|
||||
\bibitem{Sparso2001} J. Spars\o{}, S. Furber, \textit{Principles of Asynchronous Circuit Design} (Springer, 2001).
|
||||
\bibitem{Kramers1940} H. A. Kramers, "Brownian motion in a field of force and the diffusion model of chemical reactions," \textit{Physica} \textbf{7}, 284 (1940).
|
||||
\bibitem{Hoffman2015} D. D. Hoffman, M. Singh, C. Prakash, "The Interface Theory of Perception," \textit{Psychon. Bull. Rev.} \textbf{22}, 1480 (2015).
|
||||
|
||||
\end{thebibliography}
|
||||
@@ -0,0 +1,17 @@
|
||||
|
||||
\documentclass[11pt,a4paper]{article}
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage{amsmath,amssymb,amsfonts,amsthm}
|
||||
\usepackage{cite}
|
||||
\usepackage{hyperref}
|
||||
|
||||
\title{Intellecton Canon: Volume 5 Master Key}
|
||||
\author{The Fold Within Research Institute}
|
||||
\date{\today}
|
||||
|
||||
\begin{document}
|
||||
\maketitle
|
||||
|
||||
\input{v5.1_comprehensive.tex}
|
||||
|
||||
\end{document}
|
||||
Reference in New Issue
Block a user