{"id":"https://openalex.org/W7204904732","doi":"https://doi.org/10.48550/arxiv.2608.30036","title":"A note on the $\u03a3_2^P$-completeness of the Frobenius number","display_name":"A note on the $\u03a3_2^P$-completeness of the Frobenius number","publication_year":2026,"publication_date":"2026-08-30","ids":{"openalex":"https://openalex.org/W7204904732","doi":"https://doi.org/10.48550/arxiv.2608.30036"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.30036","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.30036","pdf_url":"https://arxiv.org/pdf/2608.30036","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/2608.30036","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008952420","display_name":"Thomas Rothvo\u00df","orcid":"https://orcid.org/0009-0007-8314-0963","observed_orcids":["https://orcid.org/0009-0007-8314-0963"]},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Rothvoss, Thomas","raw_affiliation_strings":["University of Washington , Seattle"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Washington , Seattle","institution_ids":["https://openalex.org/I201448701"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5008952420"],"corresponding_institution_ids":["https://openalex.org/I201448701"],"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9110999703407288,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9110999703407288,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.024299999698996544,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.013000000268220901,"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/frobenius-number","display_name":"Frobenius number","score":0.9940000176429749},{"id":"https://openalex.org/keywords/coin-problem","display_name":"coin problem","score":0.7720000147819519},{"id":"https://openalex.org/keywords/computational-complexity","display_name":"computational complexity","score":0.656000018119812},{"id":"https://openalex.org/keywords/integer-linear-combinations","display_name":"integer linear combinations","score":0.5080000162124634},{"id":"https://openalex.org/keywords/undecidability","display_name":"undecidability","score":0.5680000185966492}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7857000231742859},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.6886000037193298},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.652400016784668},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6419000029563904},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5235999822616577},{"id":"https://openalex.org/C125257309","wikidata":"https://www.wikidata.org/wiki/Q131752","display_name":"Greatest common divisor","level":2,"score":0.5024999976158142},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.4812000095844269},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4715000092983246},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.462799996137619},{"id":"https://openalex.org/C203432157","wikidata":"https://www.wikidata.org/wiki/Q2498974","display_name":"Radical of an integer","level":4,"score":0.41670000553131104},{"id":"https://openalex.org/C203492994","wikidata":"https://www.wikidata.org/wiki/Q909669","display_name":"Divisor (algebraic geometry)","level":2,"score":0.38589999079704285},{"id":"https://openalex.org/C23230895","wikidata":"https://www.wikidata.org/wiki/Q104752","display_name":"Coprime integers","level":2,"score":0.3695000112056732},{"id":"https://openalex.org/C127641909","wikidata":"https://www.wikidata.org/wiki/Q1457165","display_name":"Frobenius group","level":2,"score":0.36309999227523804},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36070001125335693},{"id":"https://openalex.org/C86177461","wikidata":"https://www.wikidata.org/wiki/Q837551","display_name":"Frobenius theorem (differential topology)","level":5,"score":0.34380000829696655},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.3255999982357025},{"id":"https://openalex.org/C164680029","wikidata":"https://www.wikidata.org/wiki/Q1055293","display_name":"Multiple","level":2,"score":0.3050999939441681},{"id":"https://openalex.org/C102607178","wikidata":"https://www.wikidata.org/wiki/Q102761","display_name":"Least common multiple","level":2,"score":0.27900001406669617},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.2572000026702881}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.30036","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.30036","pdf_url":"https://arxiv.org/pdf/2608.30036","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.2608.30036","doi":"https://doi.org/10.48550/arxiv.2608.30036","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.30036","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:2608.30036","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.30036","pdf_url":"https://arxiv.org/pdf/2608.30036","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":[{"id":"https://openalex.org/G8138104059","display_name":"AF: SMALL: The Geometry of Integer Programming and Lattices","funder_award_id":"2318620","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204904732.pdf","grobid_xml":"https://content.openalex.org/works/W7204904732.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W1998732904","https://openalex.org/W2092017668","https://openalex.org/W2128548465","https://openalex.org/W2275706361"],"related_works":["https://openalex.org/W2275706361","https://openalex.org/W1506489923","https://openalex.org/W2036800225","https://openalex.org/W1488679966","https://openalex.org/W3046993266","https://openalex.org/W2092205785","https://openalex.org/W4388578817","https://openalex.org/W4417070596","https://openalex.org/W1994070336","https://openalex.org/W4298427685"],"abstract_inverted_index":{"Given":[0],"a":[1,25,35,82],"finite":[2],"set":[3],"$A$":[4,42],"of":[5,29,60,84],"natural":[6],"numbers":[7,31],"whose":[8],"greatest":[9],"common":[10],"divisor":[11],"is":[12,18,23,50],"one,":[13],"the":[14,19,30,64,67,85],"Frobenius":[15],"number":[16],"$g(A)$":[17],"largest":[20],"integer":[21,27],"that":[22,40],"not":[24],"non-negative":[26],"combination":[28],"in":[32],"$A$.":[33],"In":[34,77],"2016":[36],"preprint,":[37],"Matsubara":[38,90],"states":[39],"given":[41],"and":[43],"$k$,":[44],"deciding":[45],"if":[46],"$g(A)":[47],"\\geq":[48],"k$":[49],"$\u03a3_2^P$-complete.":[51],"A":[52],"decade":[53],"has":[54,69],"passed":[55],"since":[56],"without":[57],"peer-reviewed":[58],"publication":[59],"this":[61,75,78],"result.":[62,76],"At":[63],"same":[65],"time,":[66],"community":[68],"found":[70],"it":[71],"difficult":[72],"to":[73],"verify":[74],"note,":[79],"we":[80],"give":[81],"write-up":[83],"completeness":[86],"proof":[87],"based":[88],"on":[89],"(2016).":[91]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-02T00:00:00"}