{"id":"https://openalex.org/W7214724406","doi":"https://doi.org/10.48550/arxiv.2609.32356","title":"The finite basis problem for $2\\times 2$ triangular Boolean matrix semirings and incidence semirings","display_name":"The finite basis problem for $2\\times 2$ triangular Boolean matrix semirings and incidence semirings","publication_year":2026,"publication_date":"2026-09-26","ids":{"openalex":"https://openalex.org/W7214724406","doi":"https://doi.org/10.48550/arxiv.2609.32356"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.32356","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.32356","pdf_url":"https://arxiv.org/pdf/2609.32356","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.32356","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5125490017","display_name":"Jun Jiao","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jiao, Jun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5147387592","display_name":"Xiaolei Shao","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shao, Xiaolei","raw_affiliation_strings":[],"raw_orcid":null,"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":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.7440999746322632,"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.7440999746322632,"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.24779999256134033,"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.0020000000949949026,"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/finite-basis-problem","display_name":"finite basis problem","score":0.9869999885559082},{"id":"https://openalex.org/keywords/mixed-identity","display_name":"mixed identity","score":0.6119999885559082},{"id":"https://openalex.org/keywords/lattice-of-subvarieties","display_name":"lattice of subvarieties","score":0.8759999871253967},{"id":"https://openalex.org/keywords/congruences","display_name":"congruences","score":0.8190000057220459},{"id":"https://openalex.org/keywords/free-algebras","display_name":"free algebras","score":0.9739999771118164},{"id":"https://openalex.org/keywords/bounded-distributive-lattices","display_name":"bounded distributive lattices","score":0.8939999938011169},{"id":"https://openalex.org/keywords/additively-idempotent-semirings","display_name":"additively idempotent semirings","score":0.9110000133514404},{"id":"https://openalex.org/keywords/equational-theories","display_name":"equational theories","score":0.8019999861717224},{"id":"https://openalex.org/keywords/partial-orders","display_name":"partially ordered sets","score":0.6809999942779541}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8503000140190125},{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.7282000184059143},{"id":"https://openalex.org/C172252984","wikidata":"https://www.wikidata.org/wiki/Q368988","display_name":"Idempotence","level":2,"score":0.6453999876976013},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.5565999746322632},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.5353999733924866},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.48420000076293945},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.41780000925064087},{"id":"https://openalex.org/C104528550","wikidata":"https://www.wikidata.org/wiki/Q506265","display_name":"Triangular matrix","level":3,"score":0.3926999866962433},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.36309999227523804},{"id":"https://openalex.org/C85136909","wikidata":"https://www.wikidata.org/wiki/Q939272","display_name":"Incidence matrix","level":3,"score":0.35010001063346863},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.3481999933719635},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.3366999924182892},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.3345000147819519},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.3260999917984009},{"id":"https://openalex.org/C192606457","wikidata":"https://www.wikidata.org/wiki/Q2363730","display_name":"Distributive lattice","level":3,"score":0.32580000162124634},{"id":"https://openalex.org/C147073270","wikidata":"https://www.wikidata.org/wiki/Q567083","display_name":"Annihilator","level":3,"score":0.32269999384880066},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.3172999918460846},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.30809998512268066},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.29910001158714294},{"id":"https://openalex.org/C195906000","wikidata":"https://www.wikidata.org/wiki/Q1191722","display_name":"Matrix exponential","level":3,"score":0.28209999203681946},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2759999930858612},{"id":"https://openalex.org/C69177213","wikidata":"https://www.wikidata.org/wiki/Q12880812","display_name":"Reduct","level":3,"score":0.26809999346733093},{"id":"https://openalex.org/C138390121","wikidata":"https://www.wikidata.org/wiki/Q5283219","display_name":"Distributivity","level":3,"score":0.2678999900817871},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.26649999618530273},{"id":"https://openalex.org/C33375987","wikidata":"https://www.wikidata.org/wiki/Q3751720","display_name":"Idempotent matrix","level":3,"score":0.2630999982357025},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.2596000134944916},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.25940001010894775},{"id":"https://openalex.org/C61511704","wikidata":"https://www.wikidata.org/wiki/Q1671857","display_name":"Incidence (geometry)","level":2,"score":0.2567000091075897},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.25619998574256897}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.32356","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.32356","pdf_url":"https://arxiv.org/pdf/2609.32356","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.32356","doi":"https://doi.org/10.48550/arxiv.2609.32356","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.32356","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.32356","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.32356","pdf_url":"https://arxiv.org/pdf/2609.32356","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":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214724406.pdf","grobid_xml":"https://content.openalex.org/works/W7214724406.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W4405715774","https://openalex.org/W7214240825"],"related_works":["https://openalex.org/W2042170685","https://openalex.org/W7223085786","https://openalex.org/W4318621266","https://openalex.org/W4405715774","https://openalex.org/W7168280782","https://openalex.org/W7128555724","https://openalex.org/W7149003946","https://openalex.org/W7222039073","https://openalex.org/W7213295782","https://openalex.org/W7221573598"],"abstract_inverted_index":{"An":[0],"explicit":[1],"finite":[2,46,53,102,154],"identity":[3],"basis":[4,22,47],"is":[5],"given":[6],"for":[7,48,55,119],"the":[8,18,29,49,72,87,95,122,137,158,167],"eight-element":[9],"semiring":[10,82],"of":[11,24,79,94,104,114,140,145,160,169],"upper":[12],"triangular":[13],"Boolean":[14,141],"\\(2\\times2\\)":[15],"matrices":[16],"in":[17],"signature":[19],"\\((+,\\cdot)\\).":[20],"The":[21,42],"consists":[23],"a":[25,45,59,77,90],"known":[26],"multiplicative":[27,50],"basis,":[28],"ai-semiring":[30],"laws,":[31],"and":[32,62,101,121,144],"30":[33],"mixed":[34],"identities,":[35],"each":[36],"using":[37],"at":[38,116],"most":[39,117],"eight":[40],"variables.":[41],"proof":[43],"combines":[44],"reduct":[51],"with":[52],"rules":[54],"shuffling":[56],"words,":[57],"duplicating":[58],"marked":[60],"occurrence,":[61],"interchanging":[63],"adjacent":[64],"occurrences":[65],"while":[66,162],"adding":[67],"prescribed":[68],"witnesses.":[69],"This":[70],"converts":[71],"one-letter":[73],"gap":[74],"criterion":[75],"into":[76],"derivation":[78],"every":[80],"valid":[81],"identity.":[83],"We":[84],"also":[85],"study":[86],"band":[88],"subvariety,":[89],"distinguished":[91],"156-element":[92],"interval":[93],"subvariety":[96],"lattice,":[97],"congruences,":[98],"flat":[99],"members,":[100],"representations":[103],"free":[105,123],"algebras.":[106],"Every":[107],"\\(m\\)-letter":[108],"word":[109],"has":[110],"an":[111],"equivalent":[112],"subword":[113],"length":[115],"\\(m^2\\)":[118],"\\(m\\geq2\\),":[120],"algebras":[124],"have":[125],"doubly":[126],"exponential":[127],"rank":[128],"growth.":[129],"For":[130],"arbitrary":[131],"partially":[132],"ordered":[133],"sets,":[134],"we":[135],"determine":[136],"equational":[138],"theory":[139,159],"relation":[142],"semirings":[143,148],"finite-support":[146],"incidence":[147],"over":[149],"nontrivial":[150],"bounded":[151],"distributive":[152],"lattices:":[153],"height":[155,164],"\\(h\\)":[156],"gives":[157,165],"\\(T_h\\),":[161],"unbounded":[163],"precisely":[166],"identities":[168],"all":[170],"additively":[171],"idempotent":[172],"semirings.":[173]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-30T00:00:00"}