{"id":"https://openalex.org/W7203500766","doi":"https://doi.org/10.48550/arxiv.2608.12678","title":"On the Gap of Finite Posets","display_name":"On the Gap of Finite Posets","publication_year":2026,"publication_date":"2026-08-13","ids":{"openalex":"https://openalex.org/W7203500766","doi":"https://doi.org/10.48550/arxiv.2608.12678"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.12678","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.12678","pdf_url":"https://arxiv.org/pdf/2608.12678","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/2608.12678","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5137618061","display_name":"Alireza Haqi","orcid":"https://orcid.org/0009-0003-7087-3798","observed_orcids":["https://orcid.org/0009-0003-7087-3798"]},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Haqi, Alireza","raw_affiliation_strings":["Stanford University ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University ,","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5137618061"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9965999722480774,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9965999722480774,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.0017000000225380063,"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/T13500","display_name":"Probability and Statistical Research","score":0.000699999975040555,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/maximal-chains","display_name":"maximal chains","score":0.7910000085830688}],"concepts":[{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.881600022315979},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8483999967575073},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.737500011920929},{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.4855000078678131},{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.4814000129699707},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4706999957561493},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4253000020980835},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.40310001373291016},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4016999900341034},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.3797999918460846},{"id":"https://openalex.org/C195800304","wikidata":"https://www.wikidata.org/wiki/Q7601281","display_name":"Star product","level":2,"score":0.36010000109672546},{"id":"https://openalex.org/C136134351","wikidata":"https://www.wikidata.org/wiki/Q431937","display_name":"Antichain","level":3,"score":0.35899999737739563},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.349700003862381},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3312999904155731},{"id":"https://openalex.org/C2987642246","wikidata":"https://www.wikidata.org/wiki/Q5452196","display_name":"First order","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C144901957","wikidata":"https://www.wikidata.org/wiki/Q369377","display_name":"Total order","level":3,"score":0.29739999771118164},{"id":"https://openalex.org/C196773441","wikidata":"https://www.wikidata.org/wiki/Q1475294","display_name":"Maximal element","level":3,"score":0.2766000032424927}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.12678","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.12678","pdf_url":"https://arxiv.org/pdf/2608.12678","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.2608.12678","doi":"https://doi.org/10.48550/arxiv.2608.12678","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.12678","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.12678","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.12678","pdf_url":"https://arxiv.org/pdf/2608.12678","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":[{"id":"https://openalex.org/G8639786854","display_name":"MFAI: Computational and Statistical Limits in Generative Sampling","funder_award_id":"2501597","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7203500766.pdf","grobid_xml":"https://content.openalex.org/works/W7203500766.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1570731788","https://openalex.org/W1967096152","https://openalex.org/W2007732780","https://openalex.org/W2028521256","https://openalex.org/W2057647623","https://openalex.org/W2061329886","https://openalex.org/W2072370430","https://openalex.org/W2091505308","https://openalex.org/W2110806960","https://openalex.org/W2121956168","https://openalex.org/W2126245116","https://openalex.org/W2130956934","https://openalex.org/W2899242329","https://openalex.org/W2963093962","https://openalex.org/W3155029394","https://openalex.org/W4213266528","https://openalex.org/W4391029864","https://openalex.org/W4413592073","https://openalex.org/W4415088586","https://openalex.org/W4416236515"],"related_works":["https://openalex.org/W7098091658","https://openalex.org/W2950658645","https://openalex.org/W4412816308","https://openalex.org/W7203902568","https://openalex.org/W2106070061","https://openalex.org/W2081184173","https://openalex.org/W7223043275","https://openalex.org/W7204565380","https://openalex.org/W7159556305","https://openalex.org/W7221170487"],"abstract_inverted_index":{"Let":[0],"$P$":[1],"be":[2,12,149],"a":[3,13,55,66,91,104,123],"finite":[4],"nonempty":[5,134],"poset":[6,93,124],"with":[7,110],"$n$":[8],"elements,":[9],"let":[10],"$f:P\\to\\{1,\\ldots,n\\}$":[11],"uniformly":[14],"random":[15],"order-preserving":[16],"bijection,":[17],"and":[18,22,42,76,112],"put":[19],"$h_P(x)=\\mathbb{E}[f(x)]$.":[20],"Aires":[21],"Kahn":[23,75],"(2025)":[24],"introduced":[25],"$\\operatorname{gap}(P)$":[26],"as":[27,115],"the":[28,35,44,51,78,96,128,146,153],"largest":[29,52],"difference":[30],"between":[31],"consecutive":[32],"values":[33],"in":[34],"ordered":[36],"list":[37,98],"consisting":[38],"of":[39,54,69,99,106],"$0$,":[40],"$n+1$,":[41],"all":[43,168],"expected":[45],"ranks":[46],"$h_P(x)$.":[47],"Write":[48],"${w}(P)$":[49],"for":[50,86,118,126],"size":[53],"pairwise":[56],"incomparable":[57],"subset.":[58],"We":[59],"prove":[60,65],"three":[61,169],"results.":[62],"First,":[63],"we":[64,89,121],"weighted":[67],"strengthening":[68],"an":[70],"ideal":[71],"inequality":[72],"conjectured":[73],"by":[74,173],"obtain":[77],"explicit":[79],"gap-width":[80],"bound":[81],"$\\operatorname{gap}(P)\\le":[82],"2":[83],"{w}(P)-1$.":[84],"Second,":[85],"every":[87,100,119,133,157],"$L>0$":[88],"construct":[90,122],"width-two":[92],"such":[94],"that":[95],"expected-rank":[97],"maximal":[101],"chain":[102],"has":[103,138,160],"gap":[105,147],"at":[107],"least":[108],"$L$,":[109],"$0$":[111],"$|P|+1$":[113],"added":[114],"endpoints.":[116],"Finally,":[117],"$r\\in\\mathbb{N}$,":[120],"$P_r$":[125],"which":[127],"relative":[129],"order":[130,155],"induced":[131,154],"on":[132,156],"selected":[135,158],"set":[136,159],"$X$":[137],"base-two":[139],"entropy":[140],"below":[141],"$3|X|$,":[142],"while":[143,152],"$\\operatorname{gap}(P_r)\\ge(3/2)^r$.":[144],"Thus":[145],"can":[148],"arbitrarily":[150],"large":[151],"relatively":[161],"small":[162],"entropy.":[163],"The":[164],"key":[165],"ideas":[166],"behind":[167],"results":[170],"were":[171],"found":[172],"ChatGPT":[174],"5.6":[175],"Sol.":[176]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-08-15T00:00:00"}
