{"id":"https://openalex.org/W7225327671","doi":"https://doi.org/10.5281/zenodo.23968205","title":"Truncation Levels and Spacetime A: Information Conservation, Computability, and Necessary Conditions for the Generation of Hierarchical Structure","display_name":"Truncation Levels and Spacetime A: Information Conservation, Computability, and Necessary Conditions for the Generation of Hierarchical Structure","publication_year":2026,"publication_date":"2026-11-05","ids":{"openalex":"https://openalex.org/W7225327671","doi":"https://doi.org/10.5281/zenodo.23968205"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23968205","doi":"https://doi.org/10.5281/zenodo.23968205","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23968205","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.23968205","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.9199000000953674,"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.9199000000953674,"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.055399999022483826,"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.00430000014603138,"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/conservation-of-information","display_name":"information conservation","score":0.9900000095367432},{"id":"https://openalex.org/keywords/computability","display_name":"computability","score":0.9369999766349792},{"id":"https://openalex.org/keywords/algorithmic-information","display_name":"algorithmic information","score":0.6100000143051147},{"id":"https://openalex.org/keywords/counting-theorems","display_name":"counting theorems","score":0.7509999871253967},{"id":"https://openalex.org/keywords/scale-separation","display_name":"scale separation","score":0.7699999809265137},{"id":"https://openalex.org/keywords/coarse-graining","display_name":"coarse-graining","score":0.7720000147819519}],"concepts":[{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.7146000266075134},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6385999917984009},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5583000183105469},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.4593999981880188},{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.42660000920295715},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.41819998621940613},{"id":"https://openalex.org/C521332185","wikidata":"https://www.wikidata.org/wiki/Q185816","display_name":"Analogy","level":2,"score":0.3962000012397766},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39089998602867126},{"id":"https://openalex.org/C106195933","wikidata":"https://www.wikidata.org/wiki/Q7847935","display_name":"Truncation (statistics)","level":2,"score":0.37380000948905945},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.36970001459121704},{"id":"https://openalex.org/C101721835","wikidata":"https://www.wikidata.org/wiki/Q813908","display_name":"Conditional entropy","level":3,"score":0.3682999908924103},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3555999994277954},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.33959999680519104},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.33640000224113464},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29330000281333923},{"id":"https://openalex.org/C130187892","wikidata":"https://www.wikidata.org/wiki/Q133327","display_name":"Spacetime","level":2,"score":0.28940001130104065},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2824000120162964},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2797999978065491},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.27959999442100525},{"id":"https://openalex.org/C188521023","wikidata":"https://www.wikidata.org/wiki/Q6795644","display_name":"Maximal set","level":3,"score":0.27399998903274536},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.2727000117301941},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.2583000063896179},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.2529999911785126},{"id":"https://openalex.org/C3445786","wikidata":"https://www.wikidata.org/wiki/Q205805","display_name":"Conservation law","level":2,"score":0.25270000100135803}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23968205","doi":"https://doi.org/10.5281/zenodo.23968205","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23968205","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.23968206","doi":"https://doi.org/10.5281/zenodo.23968206","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23968206","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.23968205","doi":"https://doi.org/10.5281/zenodo.23968205","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23968205","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/W7225316901","https://openalex.org/W7220376351","https://openalex.org/W2040067413","https://openalex.org/W205151116","https://openalex.org/W7163891431","https://openalex.org/W7167898724","https://openalex.org/W7131135409","https://openalex.org/W2137894850","https://openalex.org/W2151122657","https://openalex.org/W7202381588"],"abstract_inverted_index":{"This":[0],"paper":[1,98,183],"investigates":[2],"the":[3,10,33,40,65,97,150,194,251],"truncation":[4],"problem":[5],"of":[6,12,25,67,85,117,127,140,255],"hierarchical":[7,18,119],"chains":[8],"under":[9],"twoconstraints":[11],"\u201cinformation":[13],"conservation\u201d":[14],"and":[15,38,59,79,102,109,130,149,175,206,220,248],"\u201ccomputability.\u201d":[16],"A":[17],"chain":[19,120,151,200],"isformalized":[20],"as":[21,105,216],"an":[22,217,226],"indexed":[23],"system":[24],"embedded":[26],"objects;":[27],"a":[28,72,91,111,118,125,197,202],"legal":[29,68,80,86],"extension":[30,133],"requires":[31],"onlythat":[32],"previous":[34],"level":[35,49,116],"remains":[36],"traceable":[37],"that":[39,47,193],"rules":[41],"can":[42],"be":[43],"executed":[44],"finitely,without":[45],"promising":[46],"each":[48,256],"adds":[50],"irremovable":[51],"information.":[52],"Under":[53],"this":[54,95,155],"weak":[55],"definition,":[56],"information":[57],"conservation":[58],"program-level":[60,186],"computability":[61,187],"alone":[62],"cannot":[63],"implythat":[64],"set":[66,84],"truncations":[69,87],"is":[70,88,121,135,176],"nonempty:":[71],"consistent":[73,198],"computable":[74,199],"prefix":[75],"chainsatisfies":[76],"both":[77],"constraints":[78],"extension,":[81],"but":[82],"its":[83],"empty.This":[89],"yields":[90],"negative":[92,238],"boundary.":[93],"On":[94],"basis,":[96],"introduces":[99],"strong":[100,141,162],"generativeextension":[101],"fixed":[103],"carrier":[104],"explicit":[106,227],"additional":[107],"structures":[108],"proves":[110],"conditionalcounting":[112],"theorem:":[113],"if":[114],"every":[115,131],"injectively":[122],"packed":[123],"into":[124],"finitecarrier":[126],"capacity":[128],"N,":[129],"nonterminal":[132],"step":[134],"strongly":[136],"generative,":[137],"thenthe":[138],"number":[139],"generations":[142],"does":[143,168],"not":[144,169,177],"exceed":[145],"N":[146],"\u2212":[147],"n0,":[148],"saturates":[152],"ator":[153],"before":[154],"upper":[156,204],"bound.":[157],"The":[158,182,230],"theorem":[159],"uses":[160],"only":[161],"generation,":[163],"injectivity,":[164],"andfinite":[165],"counting;":[166],"it":[167],"rely":[170],"on":[171],"physical":[172],"entropy":[173],"bounds":[174],"derived":[178],"frommathematical":[179],"analogy":[180],"samples.":[181],"further":[184],"distinguishes":[185],"from":[188],"finite-state":[189],"tracking,":[190],"pointing":[191],"out":[192],"algorithmic":[195],"informationof":[196],"has":[201],"logarithmic-order":[203],"bound":[205],"thereforecannot":[207],"sustain":[208],"linear":[209],"algorithmic-information":[210],"growth":[211],"indefinitely.":[212],"Scale":[213],"separation":[214],"istreated":[215],"operational":[218],"concept":[219],"bears":[221],"conditional":[222,240,245],"structural":[223,246],"interpretation":[224],"onlyin":[225],"scale-coarse-graining":[228],"model.":[229],"conclusions":[231],"are":[232,258],"graded":[233],"by":[234],"strictnessinto":[235],"five":[236],"levels:":[237],"propositions,":[239],"existence":[241],"theorems,":[242],"growth-rate":[243],"obstructions,":[244],"interpretations,":[247],"open":[249],"problems;":[250],"premises":[252],"andapplicability":[253],"boundaries":[254],"conclusion":[257],"explicitly":[259],"registered.":[260]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-11-06T00:00:00"}