{"id":"https://openalex.org/W7213525555","doi":"https://doi.org/10.48550/arxiv.2609.17561","title":"A closed form for the block-statistic generating function of the $2\\times n$ rectangle: the two-row case of Kahane's conjecture","display_name":"A closed form for the block-statistic generating function of the $2\\times n$ rectangle: the two-row case of Kahane's conjecture","publication_year":2026,"publication_date":"2026-07-22","ids":{"openalex":"https://openalex.org/W7213525555","doi":"https://doi.org/10.48550/arxiv.2609.17561"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.17561","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.17561","pdf_url":"https://arxiv.org/pdf/2609.17561","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/2609.17561","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5151846696","display_name":"Patrick White","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"White, Patrick","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5151846696"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":1.0,"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":1.0,"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/T11428","display_name":"Advanced Mathematical Identities","score":0.0,"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/T13500","display_name":"Probability and Statistical Research","score":0.0,"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/catalan-triangle","display_name":"Catalan triangle","score":0.9309999942779541},{"id":"https://openalex.org/keywords/permutation-statistics","display_name":"permutation statistics","score":0.5199999809265137}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8842999935150146},{"id":"https://openalex.org/C204911207","wikidata":"https://www.wikidata.org/wiki/Q860609","display_name":"Generating function","level":2,"score":0.7315000295639038},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.70169997215271},{"id":"https://openalex.org/C159254197","wikidata":"https://www.wikidata.org/wiki/Q1144915","display_name":"Lexicographical order","level":2,"score":0.6064000129699707},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.5648000240325928},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.5443000197410583},{"id":"https://openalex.org/C135598885","wikidata":"https://www.wikidata.org/wiki/Q1366302","display_name":"Row","level":2,"score":0.5370000004768372},{"id":"https://openalex.org/C48659774","wikidata":"https://www.wikidata.org/wiki/Q4907197","display_name":"Bijection, injection and surjection","level":3,"score":0.5037999749183655},{"id":"https://openalex.org/C2781302577","wikidata":"https://www.wikidata.org/wiki/Q209","display_name":"Rectangle","level":2,"score":0.4997999966144562},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.49559998512268066},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.49059998989105225},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.484499990940094},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4787999987602234},{"id":"https://openalex.org/C43711488","wikidata":"https://www.wikidata.org/wiki/Q7534783","display_name":"Skew","level":2,"score":0.4537000060081482},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.42309999465942383},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.4171999990940094},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.37229999899864197},{"id":"https://openalex.org/C169611556","wikidata":"https://www.wikidata.org/wiki/Q230689","display_name":"Contractible space","level":2,"score":0.36629998683929443},{"id":"https://openalex.org/C204707403","wikidata":"https://www.wikidata.org/wiki/Q1152398","display_name":"Canonical form","level":2,"score":0.35269999504089355},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.34860000014305115},{"id":"https://openalex.org/C206743973","wikidata":"https://www.wikidata.org/wiki/Q178377","display_name":"Mathematical induction","level":2,"score":0.3346000015735626},{"id":"https://openalex.org/C116493835","wikidata":"https://www.wikidata.org/wiki/Q764287","display_name":"Van der Waerden's theorem","level":2,"score":0.31299999356269836},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.3127000033855438},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.30320000648498535},{"id":"https://openalex.org/C77670614","wikidata":"https://www.wikidata.org/wiki/Q212130","display_name":"Cyclic permutation","level":3,"score":0.27140000462532043},{"id":"https://openalex.org/C104140500","wikidata":"https://www.wikidata.org/wiki/Q2088159","display_name":"Row and column spaces","level":3,"score":0.2632000148296356},{"id":"https://openalex.org/C180375552","wikidata":"https://www.wikidata.org/wiki/Q2635326","display_name":"Structured program theorem","level":2,"score":0.251800000667572}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.17561","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.17561","pdf_url":"https://arxiv.org/pdf/2609.17561","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.2609.17561","doi":"https://doi.org/10.48550/arxiv.2609.17561","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.17561","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":"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.17561","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.17561","pdf_url":"https://arxiv.org/pdf/2609.17561","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":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7213525555.pdf","grobid_xml":"https://content.openalex.org/works/W7213525555.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W7168149126","https://openalex.org/W7168264810"],"related_works":["https://openalex.org/W4281618460","https://openalex.org/W3013625416","https://openalex.org/W3197456212","https://openalex.org/W2903533870","https://openalex.org/W2055434748","https://openalex.org/W4405765797","https://openalex.org/W1996930411","https://openalex.org/W7099974972","https://openalex.org/W2010682838","https://openalex.org/W4407100894"],"abstract_inverted_index":{"Kahane":[0],"(arXiv:2607.11225)":[1],"proves":[2],"that":[3,25],"for":[4,49],"a":[5,17,41,70,78,120,142,158,178],"fence":[6],"poset":[7,32],"$P$":[8],"of":[9,33,73,90,98],"size":[10],"$n$,":[11],"$n!\\,\u03a9(P;t)=\\sum_{\u03c3\\in":[12],"S_n}":[13],"t^{\\mathrm{bl}(\u03c3)}$,":[14],"with":[15,37],"$\\mathrm{bl}(\u03c3)$":[16],"canonical":[18],"block":[19],"count,":[20],"and":[21,66,94,104,118,185,196,206],"conjectures":[22],"(Conjecture":[23],"4.4)":[24],"the":[26,30,47,55,67,87,91,95,99,106,115,139,149,155,182,186],"identity":[27],"extends":[28],"to":[29,157,165],"cell":[31,146],"any":[34],"skew":[35,204],"shape,":[36],"$\\mathrm{bl}$":[38],"replaced":[39],"by":[40,86,168,191],"constructively-defined":[42],"extension":[43],"$\\widetilde{\\mathrm{bl}}$.":[44],"We":[45,76],"prove":[46,105],"conjecture":[48],"every":[50],"$2\\times":[51],"n$":[52],"rectangle":[53],"--":[54,138,153],"first":[56],"genuinely":[57],"two-dimensional":[58],"case,":[59],"where":[60,112],"blocks":[61],"are":[62,189],"no":[63],"longer":[64],"path-intervals":[65],"statistic":[68],"is":[69,114,125,147,177],"correlated":[71],"function":[72,82],"both":[74],"rows.":[75],"introduce":[77],"two-parameter":[79],"growth-state":[80],"generating":[81],"$W_n(\u03b1,\u03b2;t)$":[83],"refining":[84],"$\\sum_\u03c3t^{\\widetilde{\\mathrm{bl}}(\u03c3)}$":[85],"rank":[88,96],"$\u03b1$":[89],"bottom-row":[92,151],"minimum":[93,152],"$\u03b2$":[97],"rightmost":[100],"top":[101,145],"cell's":[102],"block-root,":[103],"closed":[107],"form":[108],"$W_n(\u03b1,\u03b2;t)=(\u03b1-1)!\\,B(n,\u03b2-2)\\,S_n(\u03b1,\u03b2;t)$":[109],"($n\\ge":[110],"1$),":[111],"$B(n,k)$":[113],"Catalan":[116],"triangle":[117],"$S_n$":[119],"rising-factorial":[121],"skeleton.":[122],"The":[123],"proof":[124],"an":[126,199],"induction":[127,156],"on":[128],"$n$":[129],"through":[130],"Kahane's":[131],"column-insertion":[132],"transition,":[133],"whose":[134],"load-bearing":[135,175],"structural":[136],"fact":[137],"block-root":[140],"below":[141],"newly":[143],"inserted":[144],"always":[148],"global":[150],"reduces":[154],"Catalan-triangle":[159],"computation.":[160],"Summing":[161],"over":[162],"$(\u03b1,\u03b2)$":[163],"telescopes":[164],"$C_n\\,t^{\\overline{n}}(t+1)^{\\overline{n}}$,":[166],"which":[167],"MacMahon's":[169],"product":[170],"formula":[171],"equals":[172],"$(2n)!\\,\u03a9(R_{2,n};t)$.":[173],"Every":[174],"step":[176,188],"complete":[179],"general-$n$":[180],"argument;":[181],"transition":[183],"table":[184],"inductive":[187],"cross-checked":[190],"exhaustive":[192],"enumeration":[193],"(through":[194],"$n=8$":[195],"$n=9$)":[197],"via":[198],"independent":[200],"from-scratch":[201],"implementation.":[202],"General":[203],"shapes":[205],"$m>2$":[207],"rows":[208],"remain":[209],"open.":[210]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-18T00:00:00"}