{"id":"https://openalex.org/W7213609296","doi":"https://doi.org/10.48550/arxiv.2609.20255","title":"Canonical resolved-transport decomposition and reconstruction of local-unit-aligned ordered semigroups","display_name":"Canonical resolved-transport decomposition and reconstruction of local-unit-aligned ordered semigroups","publication_year":2026,"publication_date":"2026-07-28","ids":{"openalex":"https://openalex.org/W7213609296","doi":"https://doi.org/10.48550/arxiv.2609.20255"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.20255","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.20255","pdf_url":"https://arxiv.org/pdf/2609.20255","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.20255","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038339107","display_name":"S\u00e1ndor Jenei","orcid":"https://orcid.org/0000-0001-8664-4226","observed_orcids":["https://orcid.org/0000-0001-8664-4226"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jenei, S\u00e1ndor","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5038339107"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T11567","display_name":"semigroups and automata theory","score":0.8773999810218811,"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/T11567","display_name":"semigroups and automata theory","score":0.8773999810218811,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.06480000168085098,"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.020999999716877937,"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/ordered-semigroups","display_name":"ordered semigroups","score":0.9279999732971191},{"id":"https://openalex.org/keywords/direct-systems","display_name":"direct systems","score":0.6880000233650208},{"id":"https://openalex.org/keywords/order-reconstruction","display_name":"order reconstruction","score":0.6359999775886536},{"id":"https://openalex.org/keywords/anti-automorphisms","display_name":"anti-automorphisms","score":0.8309999704360962},{"id":"https://openalex.org/keywords/lexicographic-order","display_name":"lexicographic order","score":0.7229999899864197}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8519999980926514},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.6510000228881836},{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.6085000038146973},{"id":"https://openalex.org/C159254197","wikidata":"https://www.wikidata.org/wiki/Q1144915","display_name":"Lexicographical order","level":2,"score":0.6025999784469604},{"id":"https://openalex.org/C172252984","wikidata":"https://www.wikidata.org/wiki/Q368988","display_name":"Idempotence","level":2,"score":0.5421000123023987},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5131000280380249},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.48660001158714294},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.46950000524520874},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.45980000495910645},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.43309998512268066},{"id":"https://openalex.org/C204707403","wikidata":"https://www.wikidata.org/wiki/Q1152398","display_name":"Canonical form","level":2,"score":0.4237000048160553},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.4169999957084656},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.4162999987602234},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.4097000062465668},{"id":"https://openalex.org/C201640847","wikidata":"https://www.wikidata.org/wiki/Q2362924","display_name":"Complete lattice","level":3,"score":0.4000000059604645},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3937000036239624},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3783000111579895},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.37560001015663147},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.3725999891757965},{"id":"https://openalex.org/C2776124973","wikidata":"https://www.wikidata.org/wiki/Q3183033","display_name":"Join (topology)","level":2,"score":0.37040001153945923},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.3684999942779541},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.3474999964237213},{"id":"https://openalex.org/C54654531","wikidata":"https://www.wikidata.org/wiki/Q6073574","display_name":"Irreducible component","level":5,"score":0.33809998631477356},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.3361999988555908},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.325300008058548},{"id":"https://openalex.org/C132170107","wikidata":"https://www.wikidata.org/wiki/Q834585","display_name":"Semilattice","level":3,"score":0.31279999017715454},{"id":"https://openalex.org/C58193220","wikidata":"https://www.wikidata.org/wiki/Q1778193","display_name":"Direct product","level":2,"score":0.3091999888420105},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.3061999976634979},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.30399999022483826},{"id":"https://openalex.org/C193435613","wikidata":"https://www.wikidata.org/wiki/Q2997928","display_name":"Connected component","level":2,"score":0.2930999994277954},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.2797999978065491},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.26660001277923584},{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.26339998841285706},{"id":"https://openalex.org/C144901957","wikidata":"https://www.wikidata.org/wiki/Q369377","display_name":"Total order","level":3,"score":0.2632000148296356},{"id":"https://openalex.org/C2987642246","wikidata":"https://www.wikidata.org/wiki/Q5452196","display_name":"First order","level":2,"score":0.2615000009536743}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.20255","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.20255","pdf_url":"https://arxiv.org/pdf/2609.20255","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.20255","doi":"https://doi.org/10.48550/arxiv.2609.20255","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.20255","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.20255","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.20255","pdf_url":"https://arxiv.org/pdf/2609.20255","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7213609296.pdf","grobid_xml":"https://content.openalex.org/works/W7213609296.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W7171558571"],"related_works":["https://openalex.org/W7171558117","https://openalex.org/W7171558571","https://openalex.org/W2331710082","https://openalex.org/W7222775158","https://openalex.org/W1994939124","https://openalex.org/W7213583508","https://openalex.org/W1988680656","https://openalex.org/W2102775730","https://openalex.org/W3107247816","https://openalex.org/W571866651"],"abstract_inverted_index":{"This":[0],"paper":[1],"develops":[2],"a":[3,36,59,78,127,131,172,182,186,195,200,213],"canonical":[4,39,94],"decomposition":[5],"and":[6,109,211,227],"reconstruction":[7],"theory":[8],"for":[9],"local-unit-aligned":[10,152],"ordered":[11,151],"semigroups.":[12],"Two":[13],"coherentizations":[14],"of":[15,38,45,116,142],"the":[16,25,32,43,65,83,113,165,190,221],"positive-idempotent":[17],"skeleton":[18],"are":[19,42,103,225],"introduced.":[20],"The":[21,134],"finer":[22],"one":[23],"records":[24],"closure":[26],"forced":[27],"within":[28],"local-unit":[29],"blocks,":[30],"while":[31],"multiplication-coherent":[33],"quotient":[34],"yields":[35],"join-semilattice":[37],"blocks.":[40,47],"Components":[41],"fibers":[44],"these":[46,204],"For":[48],"comparable":[49],"blocks":[50],"$A\\le":[51],"B$,":[52],"each":[53,179],"positive":[54,188],"idempotent":[55],"$q\\in":[56],"B$":[57],"defines":[58],"transport":[60],"homomorphism":[61],"$x\\mapsto":[62],"xq$":[63],"from":[64,126,167],"component":[66,129,180],"over":[67,71],"$A$":[68],"to":[69,105,130,194],"that":[70],"$B$.":[72],"Keeping":[73],"all":[74],"such":[75],"maps":[76,205],"gives":[77],"resolved-transport":[79,159],"family,":[80],"which":[81],"replaces":[82],"single":[84,196],"connecting":[85],"map":[86],"used":[87],"in":[88,232],"an":[89,207],"ordinary":[90,208,237],"direct":[91,209],"system.":[92],"These":[93],"data":[95],"reconstruct":[96],"multiplication":[97],"without":[98],"additional":[99,222],"assumptions:":[100],"two":[101],"elements":[102],"transported":[104,118],"their":[106,110],"join":[107],"component,":[108],"product":[111,115],"is":[112,138,154,176],"least":[114,187],"corresponding":[117],"images.":[119],"They":[120],"also":[121],"determine":[122],"every":[123,149],"comparison":[124],"directed":[125,214],"lower":[128],"higher":[132],"one.":[133],"full":[135],"ambient":[136],"order":[137,166,169,223],"recovered":[139],"under":[140],"any":[141],"three":[143],"explicit":[144],"order-recovery":[145],"conditions.":[146],"In":[147],"particular,":[148],"totally":[150],"semigroup":[153],"completely":[155],"reconstructed":[156],"by":[157,236],"its":[158],"data.":[160],"A":[161],"complementary":[162],"result":[163],"recovers":[164],"componentwise":[168],"duality":[170],"when":[171],"suitable":[173],"component-preserving":[174],"anti-automorphism":[175],"available.":[177],"When":[178],"receiving":[181],"proper":[183],"transition":[184,238],"has":[185],"idempotent,":[189],"resolved":[191,229],"family":[192],"collapses":[193],"least-target":[197],"map.":[198],"Under":[199],"natural":[201],"monotonicity":[202],"condition,":[203],"form":[206],"system":[210],"induce":[212],"lexicographic":[215],"order.":[216],"Examples":[217],"show":[218],"both":[219],"why":[220,228],"conditions":[224],"needed":[226],"transports":[230],"cannot":[231],"general":[233],"be":[234],"replaced":[235],"maps.":[239]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-19T00:00:00"}