{"id":"https://openalex.org/W7106478593","doi":"https://doi.org/10.1145/3798129","title":"Average hardness of SIVP for module lattices of fixed rank","display_name":"Average hardness of SIVP for module lattices of fixed rank","publication_year":2025,"publication_date":"2025-11-17","ids":{"openalex":"https://openalex.org/W7106478593","doi":"https://doi.org/10.1145/3798129"},"language":"en","primary_location":{"id":"pmh:oai:HAL:hal-05372629v1","doi":"https://doi.org/10.1145/3798129","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-05372629","pdf_url":"http://arxiv.org/pdf/2511.13659","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"STOC '26: 58th Annual ACM Symposium on Theory of Computing, Jun 2026, Salt Lake City UT USA, France. ACM, 2025, ⟨10.1145/3798129⟩","raw_type":"Proceedings"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://arxiv.org/pdf/2511.13659","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"de Boer, Koen","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"de Boer, Koen","raw_affiliation_strings":["Sans affiliation (Antarctica)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sans affiliation (Antarctica)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089233826","display_name":"Aurel Page","orcid":"https://orcid.org/0000-0002-1247-4970","observed_orcids":["https://orcid.org/0000-0002-1247-4970"]},"institutions":[{"id":"https://openalex.org/I4210166017","display_name":"Institut de Math\u00e9matiques de Bordeaux","ror":"https://ror.org/05m3r1b84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I15057530","https://openalex.org/I4210141950","https://openalex.org/I4210160189","https://openalex.org/I4210166017"]},{"id":"https://openalex.org/I4405258252","display_name":"CANARI: Analyse cryptographique et arithm\u00e9tique","ror":"https://ror.org/00c174c31","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210131512","https://openalex.org/I4405258252"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Page, Aurel","raw_affiliation_strings":["CANARI - Analyse cryptographique et arithm\u00e9tique (200, avenue de la Vieille Tour \r\n33405 Talence cedex - France)","IMB - Institut de Math\u00e9matiques de Bordeaux (351 cours de la Lib\u00e9ration 33405 TALENCE CEDEX - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CANARI - Analyse cryptographique et arithm\u00e9tique (200, avenue de la Vieille Tour \r\n33405 Talence cedex - France)","institution_ids":["https://openalex.org/I4405258252"]},{"raw_affiliation_string":"IMB - Institut de Math\u00e9matiques de Bordeaux (351 cours de la Lib\u00e9ration 33405 TALENCE CEDEX - France)","institution_ids":["https://openalex.org/I4210166017"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Toma, Radu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Toma, Radu","raw_affiliation_strings":["SU - Sorbonne Universite\u0301 (21 rue de l\u2019\u00c9cole de m\u00e9decine - 75006 Paris - France)","UPCit\u00e9 - Universit\u00e9 Paris Cit\u00e9 (85 boulevard Saint-Germain\r\n75006 Paris - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SU - Sorbonne Universite\u0301 (21 rue de l\u2019\u00c9cole de m\u00e9decine - 75006 Paris - France)","institution_ids":["https://openalex.org/I39804081"]},{"raw_affiliation_string":"UPCit\u00e9 - Universit\u00e9 Paris Cit\u00e9 (85 boulevard Saint-Germain\r\n75006 Paris - France)","institution_ids":["https://openalex.org/I204730241"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071198706","display_name":"Benjamin Wesolowski","orcid":"https://orcid.org/0000-0003-1249-6077","observed_orcids":["https://orcid.org/0000-0003-1249-6077"]},"institutions":[{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Wesolowski, Benjamin","raw_affiliation_strings":["CNRS - Centre National de la Recherche Scientifique (France)","ENS de Lyon - \u00c9cole normale sup\u00e9rieure de Lyon (15 parvis Ren\u00e9 Descartes - BP 7000 - 69342 Lyon Cedex 07 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"ENS de Lyon - \u00c9cole normale sup\u00e9rieure de Lyon (15 parvis Ren\u00e9 Descartes - BP 7000 - 69342 Lyon Cedex 07 - France)","institution_ids":["https://openalex.org/I113428412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"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/T10237","display_name":"Cryptography and Data Security","score":0.9136000275611877,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10237","display_name":"Cryptography and Data Security","score":0.9136000275611877,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11166","display_name":"Analytic Number Theory Research","score":0.024700000882148743,"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"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.0071000000461936,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/module-lattices","display_name":"module lattices","score":0.9760000109672546},{"id":"https://openalex.org/keywords/average-case-hardness","display_name":"average-case hardness","score":0.8889999985694885},{"id":"https://openalex.org/keywords/worst-case-to-average-case-reductions","display_name":"worst-case to average-case reductions","score":0.9350000023841858},{"id":"https://openalex.org/keywords/post-quantum-cryptography","display_name":"post-quantum cryptography","score":0.6439999938011169},{"id":"https://openalex.org/keywords/ml-dsa","display_name":"ML-DSA","score":0.875},{"id":"https://openalex.org/keywords/ml-kem","display_name":"ML-KEM","score":0.9929999709129333},{"id":"https://openalex.org/keywords/ideal-lattices","display_name":"ideal lattices","score":0.8289999961853027},{"id":"https://openalex.org/keywords/extended-riemann-hypothesis","display_name":"extended Riemann hypothesis","score":0.8740000128746033},{"id":"https://openalex.org/keywords/automorphic-forms","display_name":"automorphic forms","score":0.9750000238418579},{"id":"https://openalex.org/keywords/random-walks","display_name":"random walks","score":0.8830000162124634},{"id":"https://openalex.org/keywords/number-rings","display_name":"number rings","score":0.5519999861717224},{"id":"https://openalex.org/keywords/lattice-based-cryptography","display_name":"lattice-based cryptography","score":0.5580000281333923}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7979000210762024},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.5813000202178955},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5389000177383423},{"id":"https://openalex.org/C31498916","wikidata":"https://www.wikidata.org/wiki/Q583034","display_name":"Locally compact space","level":2,"score":0.534500002861023},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5270000100135803},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.4742000102996826},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.4722000062465668},{"id":"https://openalex.org/C13336665","wikidata":"https://www.wikidata.org/wiki/Q125977","display_name":"Vector space","level":2,"score":0.43849998712539673},{"id":"https://openalex.org/C186450821","wikidata":"https://www.wikidata.org/wiki/Q17295","display_name":"Euclidean space","level":2,"score":0.4235000014305115},{"id":"https://openalex.org/C129782007","wikidata":"https://www.wikidata.org/wiki/Q162886","display_name":"Euclidean geometry","level":2,"score":0.37540000677108765},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.3727000057697296},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.36899998784065247},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.36809998750686646},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.3546999990940094},{"id":"https://openalex.org/C182964748","wikidata":"https://www.wikidata.org/wiki/Q208216","display_name":"Triangle inequality","level":2,"score":0.3495999872684479},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.3391000032424927},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.3361000120639801},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.31349998712539673},{"id":"https://openalex.org/C137660015","wikidata":"https://www.wikidata.org/wiki/Q6497083","display_name":"Lattice-based cryptography","level":5,"score":0.2928999960422516},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.28360000252723694},{"id":"https://openalex.org/C120174047","wikidata":"https://www.wikidata.org/wiki/Q847073","display_name":"Euclidean distance","level":2,"score":0.2793000042438507},{"id":"https://openalex.org/C12362212","wikidata":"https://www.wikidata.org/wiki/Q728435","display_name":"Linear subspace","level":2,"score":0.2651999890804291},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.263700008392334},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2615000009536743}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:HAL:hal-05372629v1","doi":"https://doi.org/10.1145/3798129","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-05372629","pdf_url":"http://arxiv.org/pdf/2511.13659","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"STOC '26: 58th Annual ACM Symposium on Theory of Computing, Jun 2026, Salt Lake City UT USA, France. ACM, 2025, ⟨10.1145/3798129⟩","raw_type":"Proceedings"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-05372629v1","doi":"https://doi.org/10.1145/3798129","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-05372629","pdf_url":"http://arxiv.org/pdf/2511.13659","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"STOC '26: 58th Annual ACM Symposium on Theory of Computing, Jun 2026, Salt Lake City UT USA, France. ACM, 2025, ⟨10.1145/3798129⟩","raw_type":"Proceedings"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7106478593.pdf","grobid_xml":"https://content.openalex.org/works/W7106478593.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W1496801598","https://openalex.org/W1509320652","https://openalex.org/W1535624876","https://openalex.org/W1968201785","https://openalex.org/W1976923416","https://openalex.org/W1994790157","https://openalex.org/W1996649138","https://openalex.org/W1997418593","https://openalex.org/W1998038366","https://openalex.org/W2030172681","https://openalex.org/W2033092527","https://openalex.org/W2044787565","https://openalex.org/W2049917216","https://openalex.org/W2061949491","https://openalex.org/W2089637645","https://openalex.org/W2100201258","https://openalex.org/W2132050984","https://openalex.org/W2142048307","https://openalex.org/W2148351184","https://openalex.org/W2148367244","https://openalex.org/W2151241472","https://openalex.org/W2165008701","https://openalex.org/W2324303215","https://openalex.org/W2791664942","https://openalex.org/W2798082090","https://openalex.org/W2866028610","https://openalex.org/W2964337207","https://openalex.org/W2977820872","https://openalex.org/W3013541847","https://openalex.org/W3162167817","https://openalex.org/W4214491404","https://openalex.org/W4254062034","https://openalex.org/W4285128392","https://openalex.org/W4297266781","https://openalex.org/W4386843007","https://openalex.org/W4391940666","https://openalex.org/W4392399741","https://openalex.org/W4401442713","https://openalex.org/W4401459825","https://openalex.org/W4415273689"],"related_works":["https://openalex.org/W7206179009","https://openalex.org/W2982522610","https://openalex.org/W2949982547","https://openalex.org/W4391940666","https://openalex.org/W7223080531","https://openalex.org/W3013541847","https://openalex.org/W4415273689","https://openalex.org/W1513014354","https://openalex.org/W7096193905","https://openalex.org/W2977820872"],"abstract_inverted_index":{"The":[0,17,42],"problem":[1,13,83],"of":[2,19,33,44,64,81,99,102,172,202,222],"finding":[3,45],"short":[4,46],"vectors":[5,47],"in":[6,14,48,140,155,219],"Euclidean":[7],"lattices":[8,21,23,88,101,174],"is":[9,32,58,60,128,175,185,199],"a":[10,29,56,110,137,176,189,210],"central":[11],"hard":[12],"complexity":[15],"theory.":[16,41],"case":[18,127,158],"module":[20,87,100,134,223],"(i.e.,":[22],"which":[24,205],"are":[25],"also":[26],"modules":[27],"over":[28,133],"number":[30,40],"ring)":[31],"particular":[34],"interest":[35],"for":[36,84,116,216],"cryptography":[37],"and":[38,71],"computational":[39],"hardness":[43,80],"the":[49,53,62,78,92,97,117,125,129,141,145,156,167,170,183,196,200,220],"asymptotic":[50],"regime":[51],"where":[52,124],"rank":[54],"(as":[55],"module)":[57],"fixed":[59,104],"supporting":[61],"security":[63],"quantum-resistant":[65],"cryptographic":[66],"standards":[67],"such":[68],"as":[69],"ML-DSA":[70],"ML-KEM.":[72],"In":[73,180],"this":[74,82],"article":[75],"we":[76,108,206],"prove":[77,109,209],"average-case":[79,114],"uniformly":[85],"random":[86,217],"(with":[89],"respect":[90],"to":[91,113,194,208],"natural":[93],"invariant":[94],"measure":[95],"on":[96,166],"space":[98,171,184,221],"any":[103],"rank).":[105],"More":[106],"specifically,":[107],"polynomial-time":[111],"worst-case":[112],"self-reduction":[115],"approximate":[118],"Shortest":[119],"Independent":[120],"Vector":[121],"Problem":[122],"(\u03b3-SIVP)":[123],"average":[126],"(discretized)":[130],"uniform":[131],"distribution":[132],"lattices,":[135],"with":[136],"polynomially-bounded":[138],"loss":[139],"approximation":[142],"factor,":[143],"assuming":[144],"Extended":[146],"Riemann":[147],"Hypothesis.":[148],"This":[149],"result":[150,215],"was":[151],"previously":[152],"known":[153],"only":[154],"rank-1":[157],"(so-called":[159],"ideal":[160,173],"lattices).":[161],"That":[162],"proof":[163],"critically":[164],"relied":[165],"fact":[168],"that":[169],"compact":[177,187],"abelian":[178],"group.":[179,190],"higher":[181],"rank,":[182],"neither":[186],"nor":[188],"Our":[191],"main":[192],"tool":[193],"overcome":[195],"resulting":[197],"challenges":[198],"theory":[201],"automorphic":[203],"forms,":[204],"use":[207],"new":[211],"quantitative":[212],"rapid":[213],"equidistribution":[214],"walks":[218],"lattices.":[224]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2025-11-23T00:00:00"}