{"id":"https://openalex.org/W7162527125","doi":"https://doi.org/10.48550/arxiv.2605.26815","title":"Prime Certificates for Exact Vertex-Coprime Ramsey Numbers","display_name":"Prime Certificates for Exact Vertex-Coprime Ramsey Numbers","publication_year":2026,"publication_date":"2026-05-26","ids":{"openalex":"https://openalex.org/W7162527125","doi":"https://doi.org/10.48550/arxiv.2605.26815"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.26815","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.26815","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.26815","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5137135622","display_name":"Zhicheng Du","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Du, Zhicheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121927659","display_name":"Wenji Xi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xi, Wenji","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137089380","display_name":"Zhuo Deng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Deng, Zhuo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5137120777","display_name":"Lan Ma","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ma, Lan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9549000263214111,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9549000263214111,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.01889999955892563,"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/T12541","display_name":"Graph Labeling and Dimension Problems","score":0.011599999852478504,"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/coprime-integers","display_name":"Coprime integers","score":0.6312999725341797},{"id":"https://openalex.org/keywords/ramseys-theorem","display_name":"Ramsey's theorem","score":0.588100016117096},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.5462999939918518},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5314000248908997},{"id":"https://openalex.org/keywords/diagonal","display_name":"Diagonal","score":0.4156999886035919},{"id":"https://openalex.org/keywords/prime-power","display_name":"Prime power","score":0.3937000036239624},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.3919999897480011},{"id":"https://openalex.org/keywords/clique","display_name":"Clique","score":0.3643999993801117}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8429999947547913},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7955999970436096},{"id":"https://openalex.org/C23230895","wikidata":"https://www.wikidata.org/wiki/Q104752","display_name":"Coprime integers","level":2,"score":0.6312999725341797},{"id":"https://openalex.org/C44115641","wikidata":"https://www.wikidata.org/wiki/Q918099","display_name":"Ramsey's theorem","level":3,"score":0.588100016117096},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.5462999939918518},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5400000214576721},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5314000248908997},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.4156999886035919},{"id":"https://openalex.org/C174072685","wikidata":"https://www.wikidata.org/wiki/Q1667469","display_name":"Prime power","level":3,"score":0.3937000036239624},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3919999897480011},{"id":"https://openalex.org/C2777035058","wikidata":"https://www.wikidata.org/wiki/Q1662634","display_name":"Clique","level":2,"score":0.3643999993801117},{"id":"https://openalex.org/C113429393","wikidata":"https://www.wikidata.org/wiki/Q49008","display_name":"Prime number","level":2,"score":0.32359999418258667},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.3197999894618988},{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.2985999882221222},{"id":"https://openalex.org/C43711488","wikidata":"https://www.wikidata.org/wiki/Q7534783","display_name":"Skew","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.2709999978542328},{"id":"https://openalex.org/C2985491264","wikidata":"https://www.wikidata.org/wiki/Q761631","display_name":"Clique number","level":3,"score":0.2680000066757202},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.262800008058548},{"id":"https://openalex.org/C65236422","wikidata":"https://www.wikidata.org/wiki/Q173740","display_name":"Cartesian product","level":2,"score":0.2542000114917755}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.26815","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.26815","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.26815","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.26815","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Let":[0],"$G_n$":[1],"be":[2],"the":[3,11,24,31,38,48,72,76,103,118,126,132,146],"coprime":[4,14],"graph":[5,79],"on":[6,75],"$\\{1,\\ldots,n\\}$.":[7],"We":[8,65,122],"prove":[9,124],"that":[10,125],"mixed":[12],"vertex-coloring":[13,70],"Ramsey":[15,108],"number":[16],"satisfies":[17],"\\[":[18],"\\Rcop(k_1,\\ldots,k_c)=p_{\\sum_{i=1}^c(k_i-1)},":[19],"\\]":[20],"where":[21],"$p_m$":[22],"is":[23,29,80],"$m$-th":[25],"prime.":[26],"The":[27,83],"proof":[28],"elementary:":[30],"prime":[32,63],"clique":[33],"$\\{1\\}\\cup\\{p\\le":[34],"n:p\\text{":[35],"prime}\\}$":[36],"gives":[37,47],"upper":[39],"bound":[40,51],"by":[41,52],"pigeonhole,":[42],"while":[43],"a":[44,57,91,94,140],"prime-bin":[45,142],"partition":[46],"matching":[49],"lower":[50],"coloring":[53],"each":[54],"composite":[55],"with":[56],"bin":[58],"containing":[59],"one":[60],"of":[61,102],"its":[62],"divisors.":[64],"reserve":[66],"$\\Rcop$":[67],"for":[68,136],"this":[69],"parameter;":[71],"edge-coloring":[73,104],"parameter":[74],"same":[77,84,119],"host":[78],"denoted":[81],"$\\Redge$.":[82],"certificate":[85],"viewpoint":[86],"yields":[87],"several":[88],"extensions,":[89],"including":[90],"support-disjointness":[92],"generalization,":[93],"polynomial-time":[95],"certificate-extraction":[96],"primitive,":[97],"and":[98],"an":[99],"exact":[100],"reduction":[101],"variant":[105],"to":[106],"classical":[107],"numbers:":[109],"$\\Redge(k_1,\\ldots,k_c)=p_{\\Rcl(k_1,\\ldots,k_c)-1}$.":[110],"These":[111],"two":[112],"formulas":[113],"are":[114],"rank":[115],"transfers":[116],"from":[117],"clique-label":[120],"certificate.":[121],"also":[123],"balanced":[127],"two-color":[128],"diagonal":[129],"threshold":[130,134],"equals":[131],"unrestricted":[133],"$p_{2k-2}$":[135],"all":[137],"$k\\ge2$,":[138],"via":[139],"deterministic":[141],"split":[143],"requiring":[144],"only":[145],"weak":[147],"inequality":[148],"$2p_m":[149]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-28T00:00:00"}