{"id":"https://openalex.org/W7225612884","doi":"https://doi.org/10.5281/zenodo.24077011","title":"Entanglement = geometry, exactly \u2014 the kernel-checked Ryu-Takayanagi equality and the forced emergence direction","display_name":"Entanglement = geometry, exactly \u2014 the kernel-checked Ryu-Takayanagi equality and the forced emergence direction","publication_year":2026,"publication_date":"2026-11-09","ids":{"openalex":"https://openalex.org/W7225612884","doi":"https://doi.org/10.5281/zenodo.24077011"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24077011","doi":"https://doi.org/10.5281/zenodo.24077011","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24077011","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.24077011","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5159119196","display_name":"Rob Mitchell","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Rob Mitchell","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5159119196"],"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/T10025","display_name":"Black Holes and Theoretical Physics","score":0.6054999828338623,"subfield":{"id":"https://openalex.org/subfields/3106","display_name":"Nuclear and High Energy Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10025","display_name":"Black Holes and Theoretical Physics","score":0.6054999828338623,"subfield":{"id":"https://openalex.org/subfields/3106","display_name":"Nuclear and High Energy 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/T11804","display_name":"Quantum many-body systems","score":0.09969999641180038,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"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/T11415","display_name":"Noncommutative and Quantum Gravity Theories","score":0.030500000342726707,"subfield":{"id":"https://openalex.org/subfields/3106","display_name":"Nuclear and High Energy Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/entanglement-entropy","display_name":"entanglement entropy","score":0.8410000205039978},{"id":"https://openalex.org/keywords/maximally-entangled-states","display_name":"maximally entangled states","score":0.7080000042915344},{"id":"https://openalex.org/keywords/mera","display_name":"MERA","score":0.5260000228881836},{"id":"https://openalex.org/keywords/balanced-binary-trees","display_name":"balanced binary trees","score":0.843999981880188},{"id":"https://openalex.org/keywords/emergent-geometry","display_name":"emergent geometry","score":0.5410000085830688},{"id":"https://openalex.org/keywords/lean-4-formal-verification","display_name":"Lean 4 formal verification","score":0.6890000104904175}],"concepts":[{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.8065000176429749},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6567000150680542},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.6079999804496765},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.5936999917030334},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.47510001063346863},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.44440001249313354},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.42969998717308044},{"id":"https://openalex.org/C197855036","wikidata":"https://www.wikidata.org/wiki/Q380172","display_name":"Binary tree","level":2,"score":0.3073999881744385},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.29580000042915344},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.2903999984264374},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.2881999909877777},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2856000065803528},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.28110000491142273},{"id":"https://openalex.org/C116119841","wikidata":"https://www.wikidata.org/wiki/Q954389","display_name":"Logarithmic mean","level":3,"score":0.2736999988555908},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.2687000036239624},{"id":"https://openalex.org/C2778049214","wikidata":"https://www.wikidata.org/wiki/Q7512234","display_name":"Sigma","level":2,"score":0.2597000002861023},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.2529999911785126}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24077011","doi":"https://doi.org/10.5281/zenodo.24077011","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24077011","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.24077012","doi":"https://doi.org/10.5281/zenodo.24077012","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24077012","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.24077011","doi":"https://doi.org/10.5281/zenodo.24077011","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24077011","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7225461713","https://openalex.org/W2484752984","https://openalex.org/W2627171396","https://openalex.org/W2733320142","https://openalex.org/W2259898464","https://openalex.org/W7202296303","https://openalex.org/W7213501712","https://openalex.org/W7092356692","https://openalex.org/W2569548097","https://openalex.org/W2996008662"],"abstract_inverted_index":{"Two":[0],"new":[1],"kernel-checked":[2],"results":[3],"in":[4,64],"the":[5,9,21,29,34,52,60,83,88],"constraint-first":[6],"programme:":[7],"(1)":[8],"EXACT":[10],"Ryu-Takayanagi":[11],"equality":[12],"\u2014":[13,38,95],"srank":[14],"(maximallyEntangled":[15],"D)":[16],"=":[17],"D,":[18],"entanglement":[19],"equals":[20],"cut":[22],"area":[23],"D^m":[24],"as":[25,87],"an":[26],"equality,":[27],"not":[28,90],"usual":[30],"leading-order":[31],"bound;":[32],"(2)":[33],"FORCED":[35],"emergence":[36],"direction":[37],"logDepthForced":[39],"+":[40,67],"meraEmergence":[41],"prove":[42],"logarithmic":[43],"depth":[44],"and":[45],"exponential":[46],"circumference":[47],"are":[48],"forced":[49],"simultaneously,":[50],"so":[51],"balanced":[53],"binary":[54],"tree":[55],"(discrete":[56],"hyperbolic":[57],"geometry)":[58],"is":[59,82],"unique":[61],"optimum.":[62],"Proven":[63],"Lean":[65],"4":[66],"Mathlib":[68],"(pacland-proof/PaclandProof/QM/MERA.lean),":[69],"no":[70],"sorry/axiom,":[71],"reproducible":[72],"via":[73],"lake":[74],"build.":[75],"The":[76],"continuous":[77],"limit":[78],"(tree":[79],"\u2243":[80],"H\u00b2)":[81],"Svarc-Milnor":[84],"step,":[85],"named":[86],"frontier,":[89],"proven":[91],"here.":[92],"Site:":[93],"https://pacland.morpheus.nz":[94],"Repo:":[96],"https://github.com/robmitchellengineering-hub/pacland":[97]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}