{"id":"https://openalex.org/W7225463158","doi":"https://doi.org/10.5281/zenodo.24036421","title":"Perron fields and core-preserving homomorphisms of Leavitt path algebras, with an application to the Cuntz splice","display_name":"Perron fields and core-preserving homomorphisms of Leavitt path algebras, with an application to the Cuntz splice","publication_year":2026,"publication_date":"2026-11-07","ids":{"openalex":"https://openalex.org/W7225463158","doi":"https://doi.org/10.5281/zenodo.24036421"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24036421","doi":"https://doi.org/10.5281/zenodo.24036421","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24036421","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.24036421","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017497939","display_name":"William Huanshan Chuang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Chuang, William Huanshan","raw_affiliation_strings":["Logarcheon Inc"],"raw_orcid":"https://orcid.org/0009-0008-0796-9478","affiliations":[{"raw_affiliation_string":"Logarcheon Inc","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5017497939"],"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/T10899","display_name":"Advanced Operator Algebra Research","score":0.663100004196167,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10899","display_name":"Advanced Operator Algebra Research","score":0.663100004196167,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11703","display_name":"Rings, Modules, and Algebras","score":0.2858999967575073,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11673","display_name":"Advanced Topics in Algebra","score":0.014499999582767487,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/leavitt-path-algebras","display_name":"Leavitt path algebras","score":0.9940000176429749},{"id":"https://openalex.org/keywords/perron-root","display_name":"Perron root","score":0.7509999871253967},{"id":"https://openalex.org/keywords/edge-weighting","display_name":"edge weighting","score":0.5820000171661377},{"id":"https://openalex.org/keywords/k0-group","display_name":"K0 group","score":0.6190000176429749},{"id":"https://openalex.org/keywords/primitive-graphs","display_name":"primitive graphs","score":0.41200000047683716},{"id":"https://openalex.org/keywords/lean-4-formalization","display_name":"Lean 4 formalization","score":0.5339999794960022}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8571000099182129},{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.8233000040054321},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5432000160217285},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.5182999968528748},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5108000040054321},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.48489999771118164},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.4226999878883362},{"id":"https://openalex.org/C175316100","wikidata":"https://www.wikidata.org/wiki/Q3882299","display_name":"Algebra homomorphism","level":3,"score":0.42149999737739563},{"id":"https://openalex.org/C2780378348","wikidata":"https://www.wikidata.org/wiki/Q25351438","display_name":"Ring (chemistry)","level":2,"score":0.4016000032424927},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.39309999346733093},{"id":"https://openalex.org/C2779467367","wikidata":"https://www.wikidata.org/wiki/Q863912","display_name":"Prime ideal","level":3,"score":0.373199999332428},{"id":"https://openalex.org/C87598191","wikidata":"https://www.wikidata.org/wiki/Q1571831","display_name":"Ultrafilter","level":2,"score":0.3499000072479248},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.34709998965263367},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.3391000032424927},{"id":"https://openalex.org/C67996461","wikidata":"https://www.wikidata.org/wiki/Q629933","display_name":"Subalgebra","level":3,"score":0.3370000123977661},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.3319999873638153},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.3285999894142151},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.3276999890804291},{"id":"https://openalex.org/C2779863119","wikidata":"https://www.wikidata.org/wiki/Q6423048","display_name":"Knot (papermaking)","level":2,"score":0.32260000705718994},{"id":"https://openalex.org/C128107574","wikidata":"https://www.wikidata.org/wiki/Q182003","display_name":"Injective function","level":2,"score":0.31790000200271606},{"id":"https://openalex.org/C119238805","wikidata":"https://www.wikidata.org/wiki/Q229102","display_name":"Surjective function","level":2,"score":0.3125},{"id":"https://openalex.org/C158338273","wikidata":"https://www.wikidata.org/wiki/Q2154943","display_name":"Homomorphic encryption","level":3,"score":0.29089999198913574},{"id":"https://openalex.org/C188971069","wikidata":"https://www.wikidata.org/wiki/Q1636734","display_name":"Universal algebra","level":3,"score":0.2897999882698059},{"id":"https://openalex.org/C161491579","wikidata":"https://www.wikidata.org/wiki/Q858656","display_name":"Commutative ring","level":3,"score":0.27790001034736633},{"id":"https://openalex.org/C13851312","wikidata":"https://www.wikidata.org/wiki/Q909412","display_name":"Ordered field","level":2,"score":0.27630001306533813},{"id":"https://openalex.org/C47556283","wikidata":"https://www.wikidata.org/wiki/Q1058314","display_name":"Diffeomorphism","level":2,"score":0.2759000062942505},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C16310669","wikidata":"https://www.wikidata.org/wiki/Q1347208","display_name":"Epimorphism","level":2,"score":0.27000001072883606},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.26930001378059387},{"id":"https://openalex.org/C7036158","wikidata":"https://www.wikidata.org/wiki/Q3385162","display_name":"Graph homomorphism","level":5,"score":0.2662000060081482},{"id":"https://openalex.org/C31498916","wikidata":"https://www.wikidata.org/wiki/Q583034","display_name":"Locally compact space","level":2,"score":0.26499998569488525},{"id":"https://openalex.org/C30860621","wikidata":"https://www.wikidata.org/wiki/Q49008","display_name":"Prime factor","level":3,"score":0.2637999951839447},{"id":"https://openalex.org/C161505775","wikidata":"https://www.wikidata.org/wiki/Q3240280","display_name":"Direct proof","level":2,"score":0.2614000141620636},{"id":"https://openalex.org/C165525559","wikidata":"https://www.wikidata.org/wiki/Q224180","display_name":"Homology (biology)","level":3,"score":0.2549000084400177},{"id":"https://openalex.org/C2776196297","wikidata":"https://www.wikidata.org/wiki/Q17138781","display_name":"Twist","level":2,"score":0.25220000743865967}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5281/zenodo.24036421","doi":"https://doi.org/10.5281/zenodo.24036421","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24036421","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.24036422","doi":"https://doi.org/10.5281/zenodo.24036422","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24036422","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.24036579","doi":"https://doi.org/10.5281/zenodo.24036579","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24036579","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.24036421","doi":"https://doi.org/10.5281/zenodo.24036421","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24036421","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/W3172294366","https://openalex.org/W2962738115","https://openalex.org/W3207934262","https://openalex.org/W2322950123","https://openalex.org/W4281703272","https://openalex.org/W2413732274","https://openalex.org/W2799876407","https://openalex.org/W1874680683","https://openalex.org/W2116696785","https://openalex.org/W2256902140"],"abstract_inverted_index":{"Let":[0],"E":[1,73],"and":[2,7,14,119,151,182,187,224,276],"F":[3],"be":[4],"finite":[5],"graphs,":[6],"grade":[8],"the":[9,21,25,47,55,64,69,76,85,109,112,114,120,147,152,162,165,172,178,193,215,218,229,233,246,252,260,280,285],"Leavitt":[10,148,153],"path":[11,154],"algebras":[12],"L_K(E)":[13,53],"L_K(F)":[15],"by":[16,28,270],"positive":[17],"integer":[18],"weights":[19],"on":[20,192],"edges.":[22],"Assume":[23],"that":[24,40,91,125,213],"graphs":[26],"obtained":[27],"subdividing":[29],"each":[30],"edge":[31,240],"according":[32],"to":[33,184,188,303],"its":[34,117,158],"weight":[35,241],"are":[36,268,278],"primitive.":[37],"We":[38],"prove":[39],"if":[41,203],"some":[42],"nonzero":[43,143],"ring":[44,86,144],"homomorphism":[45,145,197],"carries":[46,161],"degree-zero":[48],"subalgebra":[49],"(the":[50],"core)":[51],"of":[52,57,68,72,84,87,89,111,116,122,124,157,177,180,207,232,255,259,284],"into":[54,164],"core":[56,163,216,219],"L_K(F),":[58],"then":[59],"two":[60,236],"conditions":[61],"hold.":[62],"First,":[63],"Perron":[65,222],"root":[66],"\u03bb_E":[67,93],"subdivided":[70],"graph":[71],"lies":[74],"in":[75,167,242,296],"number":[77],"field":[78],"\u211a(\u03bb_F).":[79],"Second,":[80],"every":[81,138,204,239],"prime":[82,205],"ideal":[83],"integers":[88],"\u211a(\u03bb_F)":[90],"divides":[92,95,209],"also":[94],"\u03bb_F.":[96],"Neither":[97],"unitality":[98],"nor":[99],"linearity":[100],"over":[101,131],"K":[102],"is":[103,128,294],"assumed.":[104],"The":[105,264,272],"proof":[106],"passes":[107],"through":[108],"K\u2080-group":[110],"core,":[113,166],"uniqueness":[115],"state,":[118,126],"group":[121],"values":[123],"which":[127],"a":[129,304],"module":[130],"\u2124[\u03bb,":[132],"\u03bb\u207b\u00b9]":[133],"inside":[134],"\u211a(\u03bb).":[135],"Consequences:":[136],"For":[137,228],"n":[139],"\u2265":[140],"2,":[141,244],"no":[142],"between":[146],"algebra":[149,155],"L_n":[150],"L_{n\u207b}":[156],"Cuntz":[159,230],"splice":[160,231],"either":[168],"direction.":[169],"This":[170],"extends":[171],"case":[173,283],"m":[174],"=":[175],"\u221e":[176],"theorem":[179],"Arnone":[181],"Corti\u00f1as":[183],"non-unital":[185],"maps":[186,189,214],"graded":[190],"only":[191,202],"core.":[194],"A":[195],"core-preserving":[196],"L_k":[198],"\u2192":[199],"L_m":[200],"exists":[201],"factor":[206],"k":[208],"m.":[210],"An":[211],"isomorphism":[212],"onto":[217],"forces":[220],"equal":[221,225],"fields":[223],"prime-ideal":[226],"divisors.":[227],"rose":[234],"with":[235,238,299],"petals,":[237],"{1,":[243],"3},":[245],"criteria":[247],"exclude":[248],"both":[249],"directions":[250],"against":[251],"standard":[253,305],"grading":[254],"L\u2082":[256,275],"for":[257],"4,232":[258],"4,340":[261],"aperiodic":[262],"weightings.":[263],"remaining":[265],"108":[266],"cases":[267],"classified":[269],"type.":[271],"question":[273],"whether":[274],"L_{2\u207b}":[277],"isomorphic,":[279],"central":[281],"open":[282],"algebraic":[286],"Kirchberg\u2013Phillips":[287],"question,":[288],"remains":[289],"open.":[290],"Every":[291],"deterministic":[292],"step":[293],"verified":[295],"Lean":[297],"4":[298],"Mathlib":[300],"or":[301],"cited":[302],"source.":[306]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2026-11-08T00:00:00"}