{"id":"https://openalex.org/W7225655568","doi":"https://doi.org/10.5281/zenodo.24069888","title":"The Kesten\u2013Stigum bound is tight for the four-state Potts model on the binary tree","display_name":"The Kesten\u2013Stigum bound is tight for the four-state Potts model on the binary tree","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225655568","doi":"https://doi.org/10.5281/zenodo.24069888"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24069888","doi":"https://doi.org/10.5281/zenodo.24069888","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24069888","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24069888","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041315596","display_name":"Yitzchak Shmalo","orcid":"https://orcid.org/0000-0002-2886-3049","observed_orcids":["https://orcid.org/0000-0002-2886-3049"]},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Shmalo, Yitzchak","raw_affiliation_strings":["Einstein Institute of Mathematics, The Hebrew University of Jerusalem, Jerusalem, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Einstein Institute of Mathematics, The Hebrew University of Jerusalem, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5041315596"],"corresponding_institution_ids":["https://openalex.org/I197251160"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T11152","display_name":"Stochastic processes and statistical mechanics","score":0.9707000255584717,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T11152","display_name":"Stochastic processes and statistical mechanics","score":0.9707000255584717,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T13234","display_name":"p-Adic Analysis and Mathematical Physics","score":0.010599999688565731,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T10591","display_name":"Theoretical and Computational Physics","score":0.008299999870359898,"subfield":{"id":"https://openalex.org/subfields/3104","display_name":"Condensed Matter Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/potts-model","display_name":"Potts model","score":0.8149999976158142},{"id":"https://openalex.org/keywords/binary-trees","display_name":"binary trees","score":0.7940000295639038},{"id":"https://openalex.org/keywords/reconstruction-threshold","display_name":"reconstruction threshold","score":0.8679999709129333},{"id":"https://openalex.org/keywords/belief-propagation","display_name":"belief propagation","score":0.6320000290870667},{"id":"https://openalex.org/keywords/posterior-distribution","display_name":"posterior distribution","score":0.4740000069141388},{"id":"https://openalex.org/keywords/computer-assisted-proof","display_name":"computer-assisted proof","score":0.621999979019165},{"id":"https://openalex.org/keywords/second-moment-bounds","display_name":"second moment bounds","score":0.5569999814033508}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8245000243186951},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6678000092506409},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5648000240325928},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5153999924659729},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5116000175476074},{"id":"https://openalex.org/C98925819","wikidata":"https://www.wikidata.org/wiki/Q7235385","display_name":"Potts model","level":3,"score":0.503600001335144},{"id":"https://openalex.org/C197855036","wikidata":"https://www.wikidata.org/wiki/Q380172","display_name":"Binary tree","level":2,"score":0.4584999978542328},{"id":"https://openalex.org/C11829167","wikidata":"https://www.wikidata.org/wiki/Q751292","display_name":"Random binary tree","level":3,"score":0.38530001044273376},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.37549999356269836},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3508000075817108},{"id":"https://openalex.org/C161677786","wikidata":"https://www.wikidata.org/wiki/Q2478475","display_name":"Neighbourhood (mathematics)","level":2,"score":0.3479999899864197},{"id":"https://openalex.org/C179254644","wikidata":"https://www.wikidata.org/wiki/Q13222844","display_name":"Moment (physics)","level":2,"score":0.3319000005722046},{"id":"https://openalex.org/C171078966","wikidata":"https://www.wikidata.org/wiki/Q111029","display_name":"Root (linguistics)","level":2,"score":0.3305000066757202},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.29840001463890076},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.2939999997615814},{"id":"https://openalex.org/C100560664","wikidata":"https://www.wikidata.org/wiki/Q3608019","display_name":"K-ary tree","level":4,"score":0.28459998965263367},{"id":"https://openalex.org/C64331007","wikidata":"https://www.wikidata.org/wiki/Q831672","display_name":"Spanning tree","level":2,"score":0.2759000062942505},{"id":"https://openalex.org/C2781302577","wikidata":"https://www.wikidata.org/wiki/Q209","display_name":"Rectangle","level":2,"score":0.2743000090122223},{"id":"https://openalex.org/C2776839635","wikidata":"https://www.wikidata.org/wiki/Q14942679","display_name":"Random tree","level":4,"score":0.2603999972343445},{"id":"https://openalex.org/C162307627","wikidata":"https://www.wikidata.org/wiki/Q204833","display_name":"Enhanced Data Rates for GSM Evolution","level":2,"score":0.25110000371932983}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24069888","doi":"https://doi.org/10.5281/zenodo.24069888","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24069888","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.24069889","doi":"https://doi.org/10.5281/zenodo.24069889","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24069889","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"doi:10.5281/zenodo.24069888","doi":"https://doi.org/10.5281/zenodo.24069888","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24069888","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7225586090","https://openalex.org/W7225019892","https://openalex.org/W2042790585","https://openalex.org/W7224996434","https://openalex.org/W140324936","https://openalex.org/W7214764394","https://openalex.org/W2773669062","https://openalex.org/W1996199671","https://openalex.org/W7225006468","https://openalex.org/W7096225755"],"abstract_inverted_index":{"Consider":[0],"the":[1,9,12,31,42,52,62,68,72,76,82,95,99,109,113,122],"broadcast":[2],"of":[3,11,30,64,98,108,121],"a":[4,118],"uniformly":[5],"random":[6],"colour":[7,22],"from":[8,103],"root":[10,53,100],"infinite":[13],"binary":[14,83],"tree,":[15],"where":[16],"each":[17],"edge":[18],"copies":[19],"its":[20],"parent's":[21],"with":[23],"probability":[24],"$\\lambda+(1-\\lambda)/4$":[25],"and":[26,66],"otherwise":[27],"chooses":[28],"one":[29],"other":[32],"three":[33],"colours":[34,43],"uniformly.":[35],"We":[36],"prove":[37],"that":[38,131,139],"for":[39,59,75],"$0<\\lambda\\le":[40],"1/\\sqrt2$":[41],"at":[44],"depth":[45],"$n$":[46],"carry":[47],"asymptotically":[48],"no":[49,132],"information":[50],"about":[51],"colour.":[54],"Since":[55],"reconstruction":[56,73],"is":[57,71,87],"possible":[58],"$2\\lambda^2>1$":[60],"by":[61],"theorem":[63],"Kesten":[65],"Stigum,":[67],"Kesten\u2013Stigum":[69],"bound":[70,93],"threshold":[74],"ferromagnetic":[77],"four-state":[78],"Potts":[79],"channel":[80],"on":[81,94],"tree.":[84],"The":[85],"proof":[86],"computer":[88],"assisted.":[89],"A":[90],"certified":[91],"upper":[92],"second":[96],"moment":[97],"posterior,":[101],"obtained":[102],"an":[104,125],"exact":[105,126],"finite-state":[106],"upgrade":[107],"belief-propagation":[110,134],"recursion,":[111],"places":[112],"limiting":[114],"posterior":[115],"law":[116],"in":[117,138],"small":[119],"neighbourhood":[120],"uniform":[123],"law;":[124],"polynomial":[127],"certificate":[128],"then":[129],"shows":[130],"nontrivial":[133],"fixed":[135],"point":[136],"lies":[137],"neighbourhood.":[140]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}