{"id":"https://openalex.org/W4407632312","doi":"https://doi.org/10.4230/lipics.approx/random.2025.30","title":"Algorithmic Contiguity from Low-Degree Conjecture and Applications in Correlated Random Graphs","display_name":"Algorithmic Contiguity from Low-Degree Conjecture and Applications in Correlated Random Graphs","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4407632312","doi":"https://doi.org/10.4230/lipics.approx/random.2025.30"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2502.09832","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2502.09832","pdf_url":"https://arxiv.org/pdf/2502.09832","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2502.09832","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017021114","display_name":"Zhangsong Li","orcid":null},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Li, Zhangsong","raw_affiliation_strings":["School of Mathematical Sciences, Peking University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5017021114"],"corresponding_institution_ids":["https://openalex.org/I20231570"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03757861,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9876000285148621,"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.9876000285148621,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9836999773979187,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9700000286102295,"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/contiguity","display_name":"Contiguity","score":0.8761643171310425},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.7630386352539062},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.7148051261901855},{"id":"https://openalex.org/keywords/random-graph","display_name":"Random graph","score":0.6171613931655884},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5356860160827637},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4908924698829651},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4128147065639496},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.36105650663375854},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.17528662085533142},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09891092777252197}],"concepts":[{"id":"https://openalex.org/C68767595","wikidata":"https://www.wikidata.org/wiki/Q1677999","display_name":"Contiguity","level":2,"score":0.8761643171310425},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7630386352539062},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.7148051261901855},{"id":"https://openalex.org/C47458327","wikidata":"https://www.wikidata.org/wiki/Q910404","display_name":"Random graph","level":3,"score":0.6171613931655884},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5356860160827637},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4908924698829651},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4128147065639496},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36105650663375854},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.17528662085533142},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09891092777252197},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2502.09832","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2502.09832","pdf_url":"https://arxiv.org/pdf/2502.09832","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2502.09832","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2502.09832","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.approx/random.2025.30","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.approx/random.2025.30","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:2502.09832","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2502.09832","pdf_url":"https://arxiv.org/pdf/2502.09832","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2085498352","https://openalex.org/W2469797624","https://openalex.org/W2092518157","https://openalex.org/W182477923","https://openalex.org/W2395159952","https://openalex.org/W2532640046","https://openalex.org/W2080840866","https://openalex.org/W1996914340","https://openalex.org/W2026308749"],"abstract_inverted_index":{"In":[0],"this":[1,43,91],"paper,":[2],"assuming":[3],"the":[4,17,23,31,35,40,51,80,88,100,130,144,152,162,200],"low-degree":[5,123,153,163,201],"conjecture,":[6],"we":[7],"provide":[8],"evidence":[9],"of":[10,57,68,99,111,199],"computational":[11],"hardness":[12],"for":[13,187],"two":[14,115,136],"problems:":[15],"(1)":[16],"(partial)":[18],"matching":[19],"recovery":[20],"problem":[21,47,53,95,134],"in":[22,48,96,103,204],"sparse":[24,59],"correlated":[25,58],"Erd\u0151s-R\u00e9nyi":[26],"graphs":[27],"$\\mathcal":[28,63,73,170],"G(n,q;\u03c1)$":[29],"when":[30,75],"edge-density":[32],"$q=n^{-1+o(1)}$":[33],"and":[34,65,84,140,177],"correlation":[36],"$\u03c1<\\sqrt\u03b1$":[37],"lies":[38,78,86],"below":[39,79,87],"Otter's":[41,89],"threshold,":[42,90],"resolves":[44,92],"a":[45,55,66,93,184,196],"remaining":[46,94],"\\cite{DDL23+};":[49],"(2)":[50],"detection":[52],"between":[54,114,135,190],"pair":[56,67],"stochastic":[60,70],"block":[61,71],"models":[62,72],"S(n,\\tfrac\u03bb{n};k,\u03b5;s)$":[64],"independent":[69],"S(n,\\tfrac{\u03bbs}{n};k,\u03b5)$":[74],"$\u03b5^2":[76],"\u03bbs<1$":[77],"Kesten-Stigum":[81],"(KS)":[82],"threshold":[83],"$s<\\sqrt\u03b1$":[85],"\\cite{CDGL24+}.":[97],"One":[98],"main":[101],"ingredient":[102],"our":[104],"proof":[105],"is":[106,166],"to":[107],"derive":[108],"certain":[109],"forms":[110],"\\emph{algorithmic":[112],"contiguity}":[113],"probability":[116,137],"measures":[117,138],"based":[118,142],"on":[119,121,143],"bounds":[120],"their":[122],"advantage.":[124],"To":[125],"be":[126],"more":[127],"precise,":[128],"consider":[129],"high-dimensional":[131],"hypothesis":[132],"testing":[133],"$\\mathbb{P}$":[139],"$\\mathbb{Q}$":[141],"sample":[145],"$\\mathsf":[146],"Y$.":[147],"We":[148],"show":[149],"that":[150,173],"if":[151],"advantage":[154],"$\\mathsf{Adv}_{\\leq":[155],"D}":[156],"\\big(":[157],"\\frac{\\mathrm{d}\\mathbb{P}}{\\mathrm{d}\\mathbb{Q}}":[158],"\\big)=O(1)$,":[159],"then":[160],"(assuming":[161],"conjecture)":[164],"there":[165],"no":[167],"efficient":[168],"algorithm":[169],"A$":[171],"such":[172],"$\\mathbb{Q}(\\mathcal":[174],"A(\\mathsf":[175,179],"Y)=0)=1-o(1)$":[176],"$\\mathbb{P}(\\mathcal":[178],"Y)=1)=\u03a9(1)$.":[180],"This":[181],"framework":[182],"provides":[183],"useful":[185],"tool":[186],"performing":[188],"reductions":[189],"different":[191],"inference":[192],"tasks,":[193],"without":[194],"requiring":[195],"strengthened":[197],"version":[198],"conjecture":[202],"as":[203],"\\cite{MW23+,":[205],"DHSS25+}.":[206]},"counts_by_year":[],"updated_date":"2026-04-02T15:55:50.835912","created_date":"2025-02-18T00:00:00"}