{"id":"https://openalex.org/W4405054900","doi":"https://doi.org/10.1137/22m1512612","title":"Decidability of Membership Problems for Flat Rational Subsets of \\(\\boldsymbol{{\\textrm{GL}}(2,\\boldsymbol{{\\mathbb{Q}}})}\\) and Singular Matrices","display_name":"Decidability of Membership Problems for Flat Rational Subsets of \\(\\boldsymbol{{\\textrm{GL}}(2,\\boldsymbol{{\\mathbb{Q}}})}\\) and Singular Matrices","publication_year":2024,"publication_date":"2024-12-03","ids":{"openalex":"https://openalex.org/W4405054900","doi":"https://doi.org/10.1137/22m1512612"},"language":"en","primary_location":{"id":"doi:10.1137/22m1512612","is_oa":false,"landing_page_url":"https://doi.org/10.1137/22m1512612","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://researchonline.ljmu.ac.uk/id/eprint/24543/1/2024SIAMfinal_submittion.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054093863","display_name":"Volker Diekert","orcid":"https://orcid.org/0000-0002-5994-3762"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Volker Diekert","raw_affiliation_strings":["Formale Methoden der Informatik, Universit\u00e4t Stuttgart, 70569 Stuttgart, Germany"],"affiliations":[{"raw_affiliation_string":"Formale Methoden der Informatik, Universit\u00e4t Stuttgart, 70569 Stuttgart, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059249954","display_name":"\u0418.\u0418. \u041f\u043e\u0442\u0430\u043f\u043e\u0432","orcid":"https://orcid.org/0000-0002-3323-2727"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Igor Potapov","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Liverpool L69 3GJ, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool L69 3GJ, UK","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050813521","display_name":"Pavel Semukhin","orcid":"https://orcid.org/0000-0002-7547-6391"},"institutions":[{"id":"https://openalex.org/I63098007","display_name":"Liverpool John Moores University","ror":"https://ror.org/04zfme737","country_code":"GB","type":"education","lineage":["https://openalex.org/I63098007"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Pavel Semukhin","raw_affiliation_strings":["Department of Computer Science, Liverpool John Moores University, Liverpool L3 3AF, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Liverpool John Moores University, Liverpool L3 3AF, UK","institution_ids":["https://openalex.org/I63098007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5054093863"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.26999938,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"53","issue":"6","first_page":"1663","last_page":"1708"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9997000098228455,"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.9997000098228455,"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/T10304","display_name":"Geometric and Algebraic Topology","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T10849","display_name":"Finite Group Theory Research","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/combinatorics","display_name":"Combinatorics","score":0.7158206701278687},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6951935887336731},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6093984246253967},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.38540562987327576},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.3751349151134491}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7158206701278687},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6951935887336731},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6093984246253967},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.38540562987327576},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.3751349151134491}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1137/22m1512612","is_oa":false,"landing_page_url":"https://doi.org/10.1137/22m1512612","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:oai:researchonline.ljmu.ac.uk:24543","is_oa":true,"landing_page_url":"https://orcid.org/0000-0002-7547-6391","pdf_url":"https://researchonline.ljmu.ac.uk/id/eprint/24543/1/2024SIAMfinal_submittion.pdf","source":{"id":"https://openalex.org/S4306401246","display_name":"Liverpool John Moores University","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I63098007","host_organization_name":"Liverpool John Moores University","host_organization_lineage":["https://openalex.org/I63098007"],"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":"PeerReviewed"}],"best_oa_location":{"id":"pmh:oai:researchonline.ljmu.ac.uk:24543","is_oa":true,"landing_page_url":"https://orcid.org/0000-0002-7547-6391","pdf_url":"https://researchonline.ljmu.ac.uk/id/eprint/24543/1/2024SIAMfinal_submittion.pdf","source":{"id":"https://openalex.org/S4306401246","display_name":"Liverpool John Moores University","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I63098007","host_organization_name":"Liverpool John Moores University","host_organization_lineage":["https://openalex.org/I63098007"],"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":"PeerReviewed"},"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4405054900.pdf"},"referenced_works_count":52,"referenced_works":["https://openalex.org/W11603665","https://openalex.org/W182615761","https://openalex.org/W204546099","https://openalex.org/W1518573520","https://openalex.org/W1529497146","https://openalex.org/W1532752671","https://openalex.org/W1537474368","https://openalex.org/W1570445666","https://openalex.org/W1583935850","https://openalex.org/W1601518920","https://openalex.org/W1605883930","https://openalex.org/W1834971440","https://openalex.org/W1970153334","https://openalex.org/W1971435636","https://openalex.org/W1973552094","https://openalex.org/W1986256453","https://openalex.org/W1987296142","https://openalex.org/W1987543317","https://openalex.org/W1990911636","https://openalex.org/W1998501436","https://openalex.org/W2010175469","https://openalex.org/W2032980094","https://openalex.org/W2033064897","https://openalex.org/W2039807511","https://openalex.org/W2040556423","https://openalex.org/W2050134513","https://openalex.org/W2074726337","https://openalex.org/W2079162006","https://openalex.org/W2083368929","https://openalex.org/W2083696051","https://openalex.org/W2089919742","https://openalex.org/W2160707732","https://openalex.org/W2167954650","https://openalex.org/W2276040470","https://openalex.org/W2319683215","https://openalex.org/W2328824725","https://openalex.org/W2911443069","https://openalex.org/W2962688057","https://openalex.org/W2982293980","https://openalex.org/W2995323499","https://openalex.org/W3039948875","https://openalex.org/W3159824982","https://openalex.org/W3183733731","https://openalex.org/W3212255590","https://openalex.org/W4213009134","https://openalex.org/W4238472920","https://openalex.org/W4240747429","https://openalex.org/W4253313367","https://openalex.org/W4302339081","https://openalex.org/W4302964898","https://openalex.org/W4381479919","https://openalex.org/W4388288416"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2935759653","https://openalex.org/W2440791454","https://openalex.org/W4297670065","https://openalex.org/W1618267488","https://openalex.org/W1543051890","https://openalex.org/W2611810425","https://openalex.org/W4205250428","https://openalex.org/W1563786920","https://openalex.org/W2056142535"],"abstract_inverted_index":{"We":[0],"consider":[1],"membership":[2,94,105,203,221],"problems":[3],"for":[4,95,106,146,204,223],"rational":[5,20,65,205],"subsets":[6,21,66,206],"of":[7,10,37,63,67,76,80,83,115,138,149,190,195],"the":[8,19,26,60,84,93,104,143,169,191,202,210,220,234],"semigroup":[9,17],"2\u00d72":[11],"matrices":[12],"over":[13,69],"Q.":[14],"For":[15,213],"a":[16,74,113,116,122,175],"M,":[18],"Rat(M)":[22],"are":[23,33],"defined":[24],"as":[25,166],"sets":[27,150],"accepted":[28],"by":[29,35,168,237],"NFAs":[30],"whose":[31],"transitions":[32],"labeled":[34],"elements":[36],"M.":[38,77],"In":[39],"general,":[40],"it":[41],"is":[42,73,97,108,112,128,153,156,174,199,207,225,233],"undecidable":[43],"on":[44],"inputs":[45],"m\u2208M":[46],"and":[47,89],"R\u2208Rat(M)":[48],"whether":[49,201],"m":[50],"belongs":[51],"to":[52,59,136],"R.":[53],"Therefore,":[54],"we":[55,99,120,216],"restrict":[56],"our":[57,139],"attention":[58],"family":[61],"FRat(M,S)":[62,107],"flat":[64],"M":[68],"S,":[70],"where":[71,87,231],"S":[72,232],"subsemigroup":[75],"It":[78,155,198],"consists":[79],"finite":[81],"unions":[82],"form":[85],"g0L1g1\u22efLtgt,":[86],"Li\u2208Rat(S)":[88],"gi\u2208M.":[90],"Assuming":[91],"that":[92,142,158,180,219],"Rat(S)":[96],"decidable,":[98],"prove":[100],"various":[101],"results":[102,141],"when":[103,126],"decidable.":[109,154],"If":[110],"H":[111],"subgroup":[114],"group":[117,178,193],"G,":[118],"then":[119,182],"provide":[121],"rather":[123],"general":[124],"condition":[125],"FRat(G,H)":[127],"an":[129,188],"(effective)":[130],"relative":[131],"Boolean":[132,147],"algebra.":[133],"This":[134],"leads":[135],"one":[137],"main":[140],"emptiness":[144],"problem":[145,222],"combinations":[148],"in":[151,209,227],"FRat(GL(2,Q),GL(2,Z))":[152],"possible":[157],"this":[159],"result":[160],"cannot":[161],"be":[162],"pushed":[163],"any":[164],"further":[165],"indicated":[167],"following":[170],"dichotomy:":[171],"if":[172],"G":[173,186],"finitely":[176],"generated":[177,236],"such":[179],"GL(2,Z)<G<GL(2,Q),":[181],"either":[183],"G\u2245GL(2,Z)\u00d7Zk":[184],"or":[185],"contains":[187],"extension":[189],"Baumslag-Solitar":[192],"BS(1,q)":[194],"infinite":[196],"index.":[197],"open":[200],"decidable":[208,226],"latter":[211],"case.":[212],"singular":[214],"matrices,":[215],"will":[217],"show":[218],"FRat(Q2\u00d72,S)":[224],"doubly":[228],"exponential":[229],"time,":[230],"monoid":[235],"GL(2,Z)\u222a{r\u2208Q\u2223r>1}\u222a{0,(1000)}.":[238]},"counts_by_year":[],"updated_date":"2026-03-11T14:59:36.786465","created_date":"2024-12-06T00:00:00"}