{"id":"https://openalex.org/W7225316901","doi":"https://doi.org/10.5281/zenodo.23971057","title":"Truncation Levels and Spacetime B: The Necessary Termination of Hierarchical Chains under the Two Weakest Constraints","display_name":"Truncation Levels and Spacetime B: The Necessary Termination of Hierarchical Chains under the Two Weakest Constraints","publication_year":2026,"publication_date":"2026-11-05","ids":{"openalex":"https://openalex.org/W7225316901","doi":"https://doi.org/10.5281/zenodo.23971057"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23971057","doi":"https://doi.org/10.5281/zenodo.23971057","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23971057","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23971057","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108680601","display_name":"changzheng zhou","orcid":"https://orcid.org/0009-0002-4186-7877","observed_orcids":["https://orcid.org/0009-0002-4186-7877"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"zhou, changzheng","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0002-4186-7877","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136242336","display_name":"ziqing zhou","orcid":"https://orcid.org/0009-0005-6883-6300","observed_orcids":["https://orcid.org/0009-0005-6883-6300"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"zhou, ziqing","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0005-6883-6300","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.3118000030517578,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.3118000030517578,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14299","display_name":"Complex Systems and Dynamics","score":0.260699987411499,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.24650000035762787,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/truncation-level","display_name":"truncation level","score":0.7390000224113464},{"id":"https://openalex.org/keywords/conservation-of-information","display_name":"information conservation","score":0.8700000047683716},{"id":"https://openalex.org/keywords/computability","display_name":"computability","score":0.9409999847412109},{"id":"https://openalex.org/keywords/causal-closure","display_name":"causal closure","score":0.6320000290870667},{"id":"https://openalex.org/keywords/scale-separation","display_name":"scale separation","score":0.7910000085830688},{"id":"https://openalex.org/keywords/pigeonhole-principle","display_name":"pigeonhole principle","score":0.7649999856948853},{"id":"https://openalex.org/keywords/injectivity","display_name":"injectivity","score":0.4169999957084656},{"id":"https://openalex.org/keywords/besicovitch-sets","display_name":"Besicovitch sets","score":0.9909999966621399},{"id":"https://openalex.org/keywords/godel-incompleteness","display_name":"G\u00f6del incompleteness","score":0.9309999942779541},{"id":"https://openalex.org/keywords/proof-by-contradiction","display_name":"reductio ad absurdum","score":0.6859999895095825}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.660099983215332},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.527899980545044},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.3864000141620636},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3817000091075897},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.3555000126361847},{"id":"https://openalex.org/C106195933","wikidata":"https://www.wikidata.org/wiki/Q7847935","display_name":"Truncation (statistics)","level":2,"score":0.35370001196861267},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.34779998660087585},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.34450000524520874},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.33469998836517334},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.32269999384880066},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.3215999901294708},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.31859999895095825},{"id":"https://openalex.org/C198082294","wikidata":"https://www.wikidata.org/wiki/Q3399648","display_name":"Position (finance)","level":2,"score":0.3183000087738037},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.3172999918460846},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.3172000050544739},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.3043000102043152},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2816999852657318},{"id":"https://openalex.org/C62799726","wikidata":"https://www.wikidata.org/wiki/Q190056","display_name":"Hilbert space","level":2,"score":0.2750000059604645},{"id":"https://openalex.org/C199879729","wikidata":"https://www.wikidata.org/wiki/Q205140","display_name":"Infinite set","level":3,"score":0.2712000012397766},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.2687000036239624},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.2678000032901764},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.2644999921321869},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.2597000002861023},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.257099986076355},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.2533999979496002},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.2529999911785126},{"id":"https://openalex.org/C207390915","wikidata":"https://www.wikidata.org/wiki/Q1230525","display_name":"Divergence (linguistics)","level":2,"score":0.25029999017715454}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23971057","doi":"https://doi.org/10.5281/zenodo.23971057","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23971057","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23971058","doi":"https://doi.org/10.5281/zenodo.23971058","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23971058","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23971057","doi":"https://doi.org/10.5281/zenodo.23971057","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23971057","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7225327671","https://openalex.org/W7220376351","https://openalex.org/W2040067413","https://openalex.org/W7163891431","https://openalex.org/W7106111115","https://openalex.org/W7167898724","https://openalex.org/W7106124518","https://openalex.org/W7221013701","https://openalex.org/W7128961967","https://openalex.org/W7196964894"],"abstract_inverted_index":{"This":[0],"paper":[1],"studies":[2],"the":[3,41,44,69,93,120,126,164,174,181,195,202,212,216,248,255,286,289,292,297,301,313,317,325,331,369,388,392],"termination":[4],"behavior":[5],"of":[6,13,43,137,145,176,185,205,222,243,285,300,316,346],"hierarchical":[7,75,94,318],"chains":[8],"under":[9,125],"thetwo":[10],"weakest":[11],"constraints":[12],"information":[14,24,157,206],"conservation":[15,25],"and":[16,109,119,163,215,239,296,342,357,365,377,391,395],"computability.":[17],"The":[18,86,112,156,208,246,273,372],"twoconstraints":[19],"presuppose":[20],"no":[21,375,379],"physical":[22],"laws:":[23],"requires":[26,39],"that":[27,40,92,128,166,219,230,334],"noevolution":[28],"or":[29,193],"composite":[30],"map":[31,197],"send":[32],"two":[33],"distinguishable":[34],"states":[35],"into":[36],"indistinguishableoutputs;":[37],"computability":[38],"dynamics":[42],"system":[45,144],"can":[46],"be":[47,191,199,268],"approximated":[48],"by":[49],"a":[50,55,74,83,177,227,343],"finite":[51,56,71,146,178],"rule":[52],"set":[53,315],"over":[54],"symbol":[57],"table":[58],"in":[59,173,279,387],"finitely":[60,153],"many":[61,154],"steps.":[62],"Withinthis":[63],"framework,":[64],"truncation":[65,314,338],"is":[66,81,169,187,276,385],"defined":[67],"as":[68,361,399],"first":[70],"event":[72],"on":[73,160,211],"chainat":[76],"which":[77],"\u201cthe":[78],"next":[79],"level":[80,130],"not":[82,252,367],"lawful":[84,97],"extension.\u201d":[85],"argument":[87,373],"proceeds":[88],"inreductio":[89],"form:":[90],"assuming":[91],"chain":[95,319],"admits":[96],"extension":[98],"everywhere,":[99],"three":[100,249],"mutually":[101],"independent":[102,135],"channels":[103,250],"respectively":[104,323],"yield":[105],"descriptive":[106,113],"collapse,information":[107],"runaway,":[108],"structural":[110],"dissolution.":[111],"channel":[114,158,264,303],"relies":[115,159,210],"onthe":[116],"growth":[117,184],"bridge":[118,162,214,389],"global":[121],"single":[122],"finite-description":[123],"reading;":[124],"condition":[127,165],"each":[129],"introduces":[131,378],"at":[132,254,282],"least":[133,283],"one":[134,263,284],"degree":[136],"freedom,":[138],"thepigeonhole":[139],"principle":[140],"forces":[141,194],"any":[142,262],"description":[143],"capacity":[147,168],"to":[148,190,198,267],"lose":[149],"levelby-level":[150],"tracking":[151],"after":[152],"levels.":[155],"thecapacity":[161],"carrier":[167],"sublinearly":[170],"bounded":[171],"withscale;":[172],"face":[175],"upper":[179,308],"bound,":[180],"strictly":[182],"monotone":[183],"capacitydemand":[186],"either":[188],"nowhere":[189],"placed":[192],"loading":[196],"non-injective,thereby":[200],"violating":[201],"algebraic":[203],"reading":[204,333],"conservation.":[207],"structuralchannel":[209],"uniformity":[213],"framework":[217],"convention":[218,327],"theminimal":[220],"structure":[221],"causal":[223],"closure":[224],"takes":[225,337],"alternativity;":[226],"coupling":[228],"spectrum":[229],"iseverywhere":[231],"equivalent":[232],"simultaneously":[233],"deprives":[234],"scale":[235,335],"separation,":[236],"stable":[237],"informationboundaries,":[238],"well-defined":[240],"evolution":[241],"operators":[242],"their":[244],"footing.":[245],"premisesof":[247],"do":[251,366],"overlap":[253],"registration":[256],"granularity;":[257],"whenever":[258],"itsexplicit":[259],"conditions":[260,299],"hold,":[261],"already":[265],"suffices":[266],"incompatible":[269],"withthe":[270],"no-truncation":[271],"hypothesis.":[272],"main":[274,393],"theorem":[275],"therefore":[277],"stated":[278],"conditionalform:":[280],"when":[281],"growth-bridge":[287],"premise,":[288],"capacity-bridge":[290],"premise,and":[291],"uniformity-bridge":[293],"premise":[294],"holds,":[295],"auxiliary":[298],"respective":[302],"(global":[304],"single-description":[305],"reading,":[306],"carrier-capacity":[307],"bound,alternativity":[309],"convention)":[310],"are":[311],"satisfied,":[312],"isnonempty.":[320],"Three":[321],"corollaries":[322],"give":[324],"terminological":[326],"for":[328],"successful":[329],"systems,":[330],"contrapositive":[332],"separation":[336],"asa":[339],"necessary":[340],"condition,":[341],"registration-based":[344],"classification":[345],"failure":[347],"modes.":[348],"Fivemathematical":[349],"facts\u2014Hurwitz":[350],"termination,":[351],"Besicovitch":[352],"sets,":[353],"G\u00a8odel":[354],"incompleteness,Lawvere":[355],"closure,":[356],"percolation":[358],"criticality\u2014are":[359],"registered":[360],"post":[362],"hoc":[363],"corroboration":[364],"enter":[368],"proof":[370],"burden.":[371],"constructs":[374],"physicalpredictions":[376],"tunable":[380],"parameters;":[381],"its":[382],"conditional":[383],"depth":[384],"explicitlymarked":[386],"lemmas":[390],"theorem,":[394],"uncompressed":[396],"parts":[397],"areregistered":[398],"open":[400],"problems.":[401]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-11-06T00:00:00"}