{"id":"https://openalex.org/W4415054511","doi":"https://doi.org/10.4230/lipics.itcs.2026.103","title":"A General Framework for Low Soundness Homomorphism Testing","display_name":"A General Framework for Low Soundness Homomorphism Testing","publication_year":2025,"publication_date":"2025-09-07","ids":{"openalex":"https://openalex.org/W4415054511","doi":"https://doi.org/10.4230/lipics.itcs.2026.103"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2509.05871","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.05871","pdf_url":"https://arxiv.org/pdf/2509.05871","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"},"type":"article","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2509.05871","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090441538","display_name":"Tushant Mittal","orcid":"https://orcid.org/0000-0002-4017-2662"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mittal, Tushant","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5033973608","display_name":"Sourya Roy","orcid":"https://orcid.org/0000-0001-9160-1503"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Roy, Sourya","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5090441538"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.30253139,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8277999758720398,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8277999758720398,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/homomorphism","display_name":"Homomorphism","score":0.9154999852180481},{"id":"https://openalex.org/keywords/automorphism","display_name":"Automorphism","score":0.7864999771118164},{"id":"https://openalex.org/keywords/abelian-group","display_name":"Abelian group","score":0.5884000062942505},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5619000196456909},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4246000051498413},{"id":"https://openalex.org/keywords/dihedral-group","display_name":"Dihedral group","score":0.4131999909877777},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3734999895095825}],"concepts":[{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.9154999852180481},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.7864999771118164},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7838000059127808},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.5884000062942505},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5619000196456909},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4323999881744385},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4246000051498413},{"id":"https://openalex.org/C72409365","wikidata":"https://www.wikidata.org/wiki/Q558339","display_name":"Dihedral group","level":3,"score":0.4131999909877777},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3734999895095825},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3508000075817108},{"id":"https://openalex.org/C2777404646","wikidata":"https://www.wikidata.org/wiki/Q1057968","display_name":"Finite group","level":3,"score":0.33500000834465027},{"id":"https://openalex.org/C20725272","wikidata":"https://www.wikidata.org/wiki/Q245462","display_name":"Cyclic group","level":3,"score":0.31790000200271606},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.30149999260902405},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2906999886035919},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.2906000018119812},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.25450000166893005}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:arXiv.org:2509.05871","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.05871","pdf_url":"https://arxiv.org/pdf/2509.05871","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"pmh:oai:drops-oai.dagstuhl.de:25390","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.103","pdf_url":null,"source":{"id":"https://openalex.org/S4306402524","display_name":"Leibniz-Zentrum f\u00fcr Informatik (Schloss Dagstuhl)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},{"id":"doi:10.48550/arxiv.2509.05871","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2509.05871","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.4230/lipics.itcs.2026.103","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.itcs.2026.103","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2509.05871","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.05871","pdf_url":"https://arxiv.org/pdf/2509.05871","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,86],"introduce":[1],"a":[2,114],"general":[3],"framework":[4,133],"to":[5,102,162],"design":[6],"and":[7,53,59,70,73,80,99,166,169,171],"analyze":[8],"algorithms":[9],"for":[10,32,94,110,125,139],"the":[11,20,28,89,155],"problem":[12],"of":[13,35,57,65,78,91,146,159],"testing":[14,75,95],"homomorphisms":[15,42,48,96],"between":[16,43,49,97],"finite":[17,51,67],"groups":[18,69,112,141],"in":[19],"low-soundness":[21],"regime.":[22],"In":[23],"this":[24,103],"regime,":[25],"we":[26],"give":[27],"first":[29],"constant-query":[30],"tests":[31,39,106,122],"various":[33],"families":[34],"groups.":[36,127],"These":[37],"include":[38],"for:":[40],"(i)":[41],"arbitrary":[44],"cyclic":[45,140],"groups,":[46,61,72],"(ii)":[47],"any":[50],"group":[52],"$\\mathbb{Z}_p$,":[54],"(iii)":[55],"automorphisms":[56,64],"dihedral":[58],"symmetric":[60],"(iv)":[62],"inner":[63],"non-abelian":[66,126],"simple":[68],"extraspecial":[71],"(v)":[74],"linear":[76],"characters":[77],"$\\mathrm{GL}_n(\\mathbb{F}_q)$,":[79],"finite-dimensional":[81],"Lie":[82],"algebras":[83],"over":[84],"$\\mathbb{F}_q$.":[85,100],"also":[87],"recover":[88],"result":[90],"Kiwi":[92],"[TCS'03]":[93],"$\\mathbb{F}_q^n$":[98],"Prior":[101],"work,":[104],"such":[105],"were":[107,123],"only":[108],"known":[109,124],"abelian":[111],"with":[113,142],"constant":[115],"maximal":[116],"order":[117],"(such":[118],"as":[119],"$\\mathbb{F}_q^n$).":[120],"No":[121],"As":[128],"an":[129],"additional":[130],"corollary,":[131],"our":[132],"gives":[134],"combinatorial":[135],"list":[136,143],"decoding":[137],"bounds":[138],"size":[144],"dependence":[145],"$O(\\varepsilon^{-2})$":[147],"(for":[148],"agreement":[149],"parameter":[150],"$\\varepsilon$).":[151],"This":[152],"improves":[153],"upon":[154],"currently":[156],"best-known":[157],"bound":[158],"$O(\\varepsilon^{-105})$":[160],"due":[161],"Dinur,":[163],"Grigorescu,":[164],"Kopparty,":[165],"Sudan":[167,172],"[STOC'08],":[168],"Guo":[170],"[RANDOM'14].":[173]},"counts_by_year":[],"updated_date":"2026-03-22T08:09:32.410652","created_date":"2025-10-11T00:00:00"}