{"id":"https://openalex.org/W7213494496","doi":"https://doi.org/10.48550/arxiv.2609.18866","title":"Hamming Ideals and Grobner Bases for ISD-like Syndrome Decoding","display_name":"Hamming Ideals and Grobner Bases for ISD-like Syndrome Decoding","publication_year":2026,"publication_date":"2026-09-16","ids":{"openalex":"https://openalex.org/W7213494496","doi":"https://doi.org/10.48550/arxiv.2609.18866"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.18866","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.18866","pdf_url":"https://arxiv.org/pdf/2609.18866","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.18866","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049840696","display_name":"Roberto La Scala","orcid":"https://orcid.org/0000-0001-7468-0051","observed_orcids":["https://orcid.org/0000-0001-7468-0051"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"La Scala, Roberto","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085428803","display_name":"Marco Marchesin","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I5561750","display_name":"University of Bari Aldo Moro","ror":"https://ror.org/027ynra39","country_code":"IT","type":"education","lineage":["https://openalex.org/I5561750"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marchesin, Marco","raw_affiliation_strings":["Dipartimento di Fisica , Universit\u00e0 degli Studi di Bari \"Aldo Moro\" , Via Orabona 4 , 70125 Bari , Italy","Dipartimento di Matematica , Universit\u00e0 degli Studi di Bari \"Aldo Moro\" , Via Orabona 4 , 70125 Bari , Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Fisica , Universit\u00e0 degli Studi di Bari \"Aldo Moro\" , Via Orabona 4 , 70125 Bari , Italy","institution_ids":["https://openalex.org/I5561750"]},{"raw_affiliation_string":"Dipartimento di Matematica , Universit\u00e0 degli Studi di Bari \"Aldo Moro\" , Via Orabona 4 , 70125 Bari , Italy","institution_ids":["https://openalex.org/I5561750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064830332","display_name":"Sharwan K. Tiwari","orcid":"https://orcid.org/0000-0002-9487-0669","observed_orcids":["https://orcid.org/0000-0002-9487-0669"]},"institutions":[{"id":"https://openalex.org/I4210087059","display_name":"Technology Innovation Institute","ror":"https://ror.org/001kv2y39","country_code":"AE","type":"facility","lineage":["https://openalex.org/I4210087059"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Tiwari, Sharwan K.","raw_affiliation_strings":["Cryptography Research Centre , Technology Innovation Institute , Abu Dhabi , United Arab Emirates"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cryptography Research Centre , Technology Innovation Institute , Abu Dhabi , United Arab Emirates","institution_ids":["https://openalex.org/I4210087059"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"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/T11130","display_name":"Coding theory and cryptography","score":0.923799991607666,"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"}},"topics":[{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.923799991607666,"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"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.04839999973773956,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.020400000736117363,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/syndrome-decoding-problem","display_name":"syndrome decoding problem","score":0.8040000200271606},{"id":"https://openalex.org/keywords/information-set-decoding","display_name":"information set decoding","score":0.8809999823570251},{"id":"https://openalex.org/keywords/elementary-symmetric-functions","display_name":"elementary symmetric functions","score":0.9169999957084656},{"id":"https://openalex.org/keywords/grobner-bases","display_name":"Gr\u00f6bner bases","score":0.8180000185966492},{"id":"https://openalex.org/keywords/mceliece-cryptosystem","display_name":"McEliece cryptosystem","score":0.7850000262260437},{"id":"https://openalex.org/keywords/binary-linear-codes","display_name":"binary linear codes","score":0.6990000009536743},{"id":"https://openalex.org/keywords/cryptanalysis","display_name":"cryptanalysis","score":0.5860000252723694},{"id":"https://openalex.org/keywords/algebraic-decoding","display_name":"algebraic decoding","score":0.4189999997615814}],"concepts":[{"id":"https://openalex.org/C198082693","wikidata":"https://www.wikidata.org/wiki/Q1551631","display_name":"Gr\u00f6bner basis","level":3,"score":0.8282999992370605},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6972000002861023},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.6330000162124634},{"id":"https://openalex.org/C193319292","wikidata":"https://www.wikidata.org/wiki/Q272172","display_name":"Hamming distance","level":2,"score":0.6075999736785889},{"id":"https://openalex.org/C204397858","wikidata":"https://www.wikidata.org/wiki/Q4437907","display_name":"List decoding","level":5,"score":0.5841000080108643},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.4553000032901764},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4408999979496002},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4059999883174896},{"id":"https://openalex.org/C84392682","wikidata":"https://www.wikidata.org/wiki/Q1952404","display_name":"Multilinear map","level":2,"score":0.36800000071525574},{"id":"https://openalex.org/C139352143","wikidata":"https://www.wikidata.org/wiki/Q82571","display_name":"Linear algebra","level":2,"score":0.36489999294281006},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3625999987125397},{"id":"https://openalex.org/C193969084","wikidata":"https://www.wikidata.org/wiki/Q7452500","display_name":"Sequential decoding","level":4,"score":0.3596000075340271},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3582000136375427},{"id":"https://openalex.org/C73150493","wikidata":"https://www.wikidata.org/wiki/Q853922","display_name":"Hamming code","level":4,"score":0.35530000925064087},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34950000047683716},{"id":"https://openalex.org/C6791720","wikidata":"https://www.wikidata.org/wiki/Q1670509","display_name":"Trinomial","level":2,"score":0.34459999203681946},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3416999876499176},{"id":"https://openalex.org/C41054515","wikidata":"https://www.wikidata.org/wiki/Q2000912","display_name":"Standard basis","level":2,"score":0.3375999927520752},{"id":"https://openalex.org/C203208320","wikidata":"https://www.wikidata.org/wiki/Q5150830","display_name":"Combinatorial search","level":4,"score":0.3361000120639801},{"id":"https://openalex.org/C45347329","wikidata":"https://www.wikidata.org/wiki/Q5166604","display_name":"Convolution (computer science)","level":3,"score":0.3239000141620636},{"id":"https://openalex.org/C16935551","wikidata":"https://www.wikidata.org/wiki/Q1042583","display_name":"McEliece cryptosystem","level":4,"score":0.319599986076355},{"id":"https://openalex.org/C105335568","wikidata":"https://www.wikidata.org/wiki/Q7663735","display_name":"System of polynomial equations","level":3,"score":0.313400000333786},{"id":"https://openalex.org/C63361517","wikidata":"https://www.wikidata.org/wiki/Q5645805","display_name":"Hamming weight","level":5,"score":0.30550000071525574},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.304500013589859},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.30309998989105225},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.2896000146865845},{"id":"https://openalex.org/C159254197","wikidata":"https://www.wikidata.org/wiki/Q1144915","display_name":"Lexicographical order","level":2,"score":0.28450000286102295},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2752000093460083},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.27160000801086426},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26460000872612},{"id":"https://openalex.org/C94523830","wikidata":"https://www.wikidata.org/wiki/Q11203","display_name":"System of linear equations","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.2565000057220459}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.18866","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.18866","pdf_url":"https://arxiv.org/pdf/2609.18866","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.18866","doi":"https://doi.org/10.48550/arxiv.2609.18866","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.18866","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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.18866","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.18866","pdf_url":"https://arxiv.org/pdf/2609.18866","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/W7213494496.pdf","grobid_xml":"https://content.openalex.org/works/W7213494496.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2898079189","https://openalex.org/W2148271357","https://openalex.org/W301485227","https://openalex.org/W4366823340","https://openalex.org/W61650635","https://openalex.org/W1991995953","https://openalex.org/W2560006769","https://openalex.org/W1484453194","https://openalex.org/W2000492750","https://openalex.org/W2152727604"],"abstract_inverted_index":{"We":[0,28,182],"investigate":[1],"an":[2,72,93,108,237],"algebraic":[3,136,180],"approach":[4,114,186,224],"to":[5,70,203],"the":[6,15,23,35,89,99,116,119,124,128,140,168,184,191,204,212,219,229],"Syndrome":[7,192],"Decoding":[8,26,193],"Problem,":[9],"based":[10,66],"on":[11,67,84,155,188],"a":[12,31,105,145,151,162,173],"reformulation":[13],"of":[14,34,44,80,107,118,126,153,165,190,211,221,232],"Hamming":[16,36],"weight":[17],"constraint":[18],"and":[19,78,179,225],"its":[20,39],"integration":[21],"with":[22,30,64,75,150],"Information":[24],"Set":[25],"paradigm.":[27],"begin":[29],"systematic":[32],"analysis":[33],"variety,":[37],"deriving":[38],"defining":[40],"equations":[41,50,79],"in":[42,102],"terms":[43],"elementary":[45,60],"symmetric":[46,61],"functions.":[47],"Since":[48],"these":[49],"may":[51],"have":[52],"high":[53],"degree,":[54],"we":[55,87,138],"exploit":[56],"convolution":[57],"identities":[58],"for":[59,195],"functions,":[62],"together":[63],"factorizations":[65],"Lucas'":[68],"identity,":[69],"derive":[71],"equivalent":[73],"formulation":[74],"auxiliary":[76],"variables":[77],"bounded":[81],"degree.":[82],"Building":[83],"this":[85,135,222],"modeling,":[86],"generalize":[88],"ISD":[90],"paradigm":[91],"through":[92],"ISD-like":[94,238],"decoding":[95,239],"strategy,":[96],"implemented":[97],"by":[98,159],"GBDecode":[100],"algorithm,":[101,142],"which":[103,143],"only":[104],"subset":[106],"information":[109],"set":[110,210],"is":[111],"fixed.":[112],"This":[113,171],"reduces":[115],"size":[117],"combinatorial":[120,177],"search":[121,178],"space":[122],"at":[123],"cost":[125],"solving":[127],"associated":[129],"multivariate":[130],"nonlinear":[131],"systems.":[132],"To":[133],"handle":[134],"component,":[137],"employ":[139],"MultiSolve":[141],"replaces":[144],"single":[146],"Grobner":[147,233],"basis":[148,234],"computation":[149],"collection":[152],"computations":[154],"simpler":[156],"systems,":[157],"obtained":[158],"exhaustively":[160],"assigning":[161],"varying":[163],"number":[164],"indeterminates":[166],"over":[167],"finite":[169],"field.":[170],"provides":[172],"tunable":[174],"balance":[175],"between":[176],"solving.":[181],"evaluate":[183],"resulting":[185],"experimentally":[187],"instances":[189],"Problem":[194],"random":[196],"binary":[197],"linear":[198],"codes,":[199],"using":[200],"parameters":[201],"corresponding":[202],"NIST":[205],"Security":[206],"Category":[207],"1":[208],"parameter":[209],"Classic":[213],"McEliece":[214],"cryptosystem.":[215],"The":[216],"experiments":[217],"assess":[218],"feasibility":[220],"combinatorial-algebraic":[223],"provide":[226],"insights":[227],"into":[228],"practical":[230],"behavior":[231],"techniques":[235],"within":[236],"framework.":[240]},"counts_by_year":[],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2026-09-18T00:00:00"}