△-Ontology: C*-Algebra of Substitution Mosaics on the Right Isosceles Triangle — K-Theory, Spectral Gap, and Trace Formula

{"This":[0,199],"work":[1,39,358],"presents":[2],"a":[3,11,52,160,249,289],"complete":[4],"exposition":[5],"of":[6,29,35,43,46,69,72,109,117,133,137,205,211,218,243,253,256,286,288,294,296,316,319,365],"the":[7,16,26,32,41,47,66,70,82,97,100,115,118,134,142,202,206,209,219,225,240,244,254,271,284,292,306,309,317,357,366,378],"program":[8,48],"for":[9,196,265],"constructing":[10],"new":[12],"C*-algebra":[13,143],"based":[14],"on":[15,304,326],"right":[17,78,101],"isosceles":[18,79],"triangle":[19,84],"△₁ₓ₁":[20,64],"(legs":[21],"1,":[22],"hypotenuse":[23],"√2)":[24],"—":[25],"base":[27],"object":[28],"Δ-ontology,":[30],"replacing":[31],"structureless":[33],"point":[34],"classical":[36],"mathematics.":[37],"The":[38,103,125,171,216,236,277,299,362],"unifies":[40],"results":[42],"five":[44],"stages":[45],"(Parts":[49],"I–V)":[50],"into":[51],"single":[53],"theory.":[54],"Main":[55],"results.":[56],"1.":[57,167],"Geometric":[58],"basis.":[59],"It":[60,149,181],"is":[61,65,112,121,139,147,150,154,179,182,201,248,268,281,301,312,368],"proved":[62,151,183,379],"that":[63,152,184],"minimal":[67],"generator":[68],"class":[71],"primitive":[73],"substitution":[74,119,245],"mosaics":[75],"generated":[76],"by":[77],"triangles,":[80],"and":[81,94,114,141,158,247,274,308,375],"unique":[83],"possessing":[85],"simultaneously":[86],"four":[87],"structural":[88],"properties:":[89],"orthogonality,":[90],"symmetry,":[91],"irrationality":[92],"√2,":[93],"self-similarity":[95],"via":[96,224],"altitude":[98],"from":[99],"angle.":[102],"binary":[104,241],"hierarchy":[105],"Φⁿ":[106],"(2ⁿ":[107],"triangles":[108],"scale":[110],"(1/√2)ⁿ)":[111],"established,":[113],"primitivity":[116],"Φ":[120,246],"proved.":[122,314],"2.":[123],"C*-algebra.":[124],"étale":[126],"groupoid":[127],"𝒢":[128],"=":[129,145,166,175,190,229,234,331,345],"X":[130,136],"⋊":[131],"ℤ²":[132],"space":[135],"△-mosaics":[138,267],"constructed,":[140],"𝒜":[144,153,221,344],"C_r(𝒢)":[146],"defined.":[148],"separable,":[155],"unital,":[156],"noncommutative,":[157],"possesses":[159],"canonical":[161],"trace":[162,263],"τ":[163],"with":[164,270,291,321],"τ(1)":[165],"3.":[168],"Spectral":[169],"operator.":[170],"discrete":[172,278],"Laplacian":[173],"Δ":[174,320],"I":[176],"−":[177,192],"(1/√2)·Avg₀":[178],"introduced.":[180],"its":[185],"smallest":[186],"eigenvalue":[187],"equals":[188],"λ₁":[189],"1":[191],"√2/2":[193],"≈":[194],"0.2929":[195],"all":[197],"△-mosaics.":[198],"number":[200,285],"spectral":[203],"gap":[204],"theory,":[207],"playing":[208],"role":[210],"vacuum":[212],"energy.":[213],"4.":[214],"K-theory.":[215],"K-groups":[217],"algebra":[220],"are":[222,353],"computed":[223],"Anderson–Putnam":[226],"complex:":[227],"K₀(𝒜)":[228],"ℤ":[230],"⊕":[231,347],"ℤ/2ℤ,":[232],"K₁(𝒜)":[233],"0.":[235],"torsion":[237],"ℤ/2ℤ":[238],"reflects":[239],"nature":[242],"concrete":[250],"algebraic":[251],"witness":[252],"minimality":[255],"△₁ₓ₁.":[257],"5.":[258],"Trace":[259],"formula.":[260],"An":[261],"exact":[262],"formula":[264,280,300],"finite":[266,327],"obtained":[269],"Weyl":[272],"term":[273],"cyclic":[275],"contributions.":[276],"Gauss–Bonnet":[279],"proved,":[282],"connecting":[283],"vertices":[287],"mosaic":[290],"sum":[293],"contributions":[295],"closed":[297],"cycles.":[298],"verified":[302],"numerically":[303],"△₁ₓ₁,":[305],"square,":[307],"hexagon.":[310],"What":[311],"not":[313,334],"Symmetry":[315],"spectrum":[318],"respect":[322],"to":[323],"1/2":[324],"(disproved":[325],"examples),":[328],"identification":[329],"ζ(s)":[330],"Tr(Δ^(−s))":[332],"(does":[333],"hold":[335],"without":[336,373],"an":[337],"explicit":[338],"bijection":[339],"\\"primes":[340],"↔":[341],"mosaics\\"),":[342],"decomposition":[343],"𝒜_corner":[346],"𝒜_linking":[348],"(open":[349],"question).":[350],"These":[351],"questions":[352],"explicitly":[354],"marked":[355],"in":[356,370,377],"as":[359],"open.":[360],"Formalization.":[361],"combinatorial":[363],"core":[364],"theory":[367],"formalized":[369],"Lean":[371],"4":[372],"sorry":[374],"axiom":[376],"parts.":[380]}