{"id":"https://openalex.org/W7225575739","doi":"https://doi.org/10.5281/zenodo.24052489","title":"Nakamura's conjecture for consecutive patterns of length seven","display_name":"Nakamura's conjecture for consecutive patterns of length seven","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225575739","doi":"https://doi.org/10.5281/zenodo.24052489"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24052489","doi":"https://doi.org/10.5281/zenodo.24052489","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24052489","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":"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"},"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.24052489","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017497939","display_name":"William Huanshan Chuang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"CHUANG, WILLIAM HUANSHAN","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0008-0796-9478","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5017497939"],"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/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/consecutive-patterns","display_name":"consecutive patterns","score":0.843999981880188},{"id":"https://openalex.org/keywords/permutation-pattern-avoidance","display_name":"permutation pattern avoidance","score":0.7490000128746033},{"id":"https://openalex.org/keywords/cluster-approach","display_name":"cluster approach","score":0.7310000061988831},{"id":"https://openalex.org/keywords/number-of-clusters","display_name":"number of clusters","score":0.8960000276565552},{"id":"https://openalex.org/keywords/linear-extensions","display_name":"linear extensions","score":0.699999988079071},{"id":"https://openalex.org/keywords/bijections","display_name":"bijections","score":0.6340000033378601},{"id":"https://openalex.org/keywords/lean-4-formalization","display_name":"Lean 4 formalization","score":0.6880000233650208}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8914999961853027},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7678999900817871},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7451000213623047},{"id":"https://openalex.org/C24424167","wikidata":"https://www.wikidata.org/wiki/Q180907","display_name":"Bijection","level":2,"score":0.6938999891281128},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.589900016784668},{"id":"https://openalex.org/C2777044963","wikidata":"https://www.wikidata.org/wiki/Q5384707","display_name":"Equivalence class (music)","level":2,"score":0.5005999803543091},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.49880000948905945},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4747999906539917},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4180999994277954},{"id":"https://openalex.org/C2777818330","wikidata":"https://www.wikidata.org/wiki/Q1994695","display_name":"Majorization","level":2,"score":0.3472999930381775},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.31279999017715454},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.26089999079704285},{"id":"https://openalex.org/C164866538","wikidata":"https://www.wikidata.org/wiki/Q367351","display_name":"Cluster (spacecraft)","level":2,"score":0.25870001316070557}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24052489","doi":"https://doi.org/10.5281/zenodo.24052489","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24052489","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":"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"},{"id":"doi:10.5281/zenodo.24052490","doi":"https://doi.org/10.5281/zenodo.24052490","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24052490","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":"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":"doi:10.5281/zenodo.24052489","doi":"https://doi.org/10.5281/zenodo.24052489","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24052489","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":"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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2884595388","https://openalex.org/W7100001826","https://openalex.org/W3101119863","https://openalex.org/W4405365260","https://openalex.org/W7225340639","https://openalex.org/W2785194152","https://openalex.org/W1670851421","https://openalex.org/W2523293069","https://openalex.org/W7167625889","https://openalex.org/W4392432478"],"abstract_inverted_index":{"Two":[0],"permutation":[1],"patterns":[2,55,61,96,226],"are":[3,27],"c-Wilf":[4,29,44,48,65],"equivalent":[5,30],"when,":[6],"for":[7,54,175,306],"every":[8,93,176],"n,":[9],"the":[10,32,36,52,59,78,144,157,168,172,180,183,191,215,218,250,258,264,279,296,302,307,314],"same":[11,192],"number":[12,37],"of":[13,15,20,35,38,56,95,106,123,146,171,182,196,217,241,260,266,282],"permutations":[14],"size":[16],"n":[17],"avoid":[18],"each":[19,68,162],"them":[21],"as":[22],"a":[23,71,98,104,120,124,152,221],"consecutive":[24],"pattern.":[25],"They":[26],"strongly":[28],"when":[31],"whole":[33],"distribution":[34],"occurrences":[39],"agrees.":[40],"Nakamura":[41],"conjectured":[42],"that":[43],"equivalence":[45],"implies":[46],"strong":[47,73],"equivalence.":[49],"We":[50],"prove":[51],"conjecture":[53],"length":[57,86,189],"7:":[58],"5040":[60,225],"fall":[62],"into":[63],"329":[64,90,219],"classes,":[66,91],"and":[67,92,109,185,233,256,262,268,275,284,286,300,304,310,313,321],"class":[69,99,229],"is":[70,100,202,278,288],"single":[72,153],"class.":[74],"The":[75,200,211,244,270,293],"proof":[76,201],"uses":[77],"cluster":[79,85,129,273,280,308],"method.":[80],"Cluster":[81],"numbers":[82,274],"up":[83],"to":[84,149,227],"27":[87],"separate":[88],"exactly":[89],"pair":[94],"in":[97,204,235],"then":[101],"linked":[102],"by":[103],"chain":[105],"known":[107],"equivalences":[108],"two":[110],"new":[111],"criteria:":[112],"Local":[113],"rearrangement":[114],"(Theorem":[115,139],"A).":[116],"This":[117,141],"criterion":[118,142,259,265],"swaps":[119],"few":[121],"entries":[122],"pattern":[125],"without":[126],"changing":[127],"its":[128,318],"numbers.":[130],"It":[131,155],"settles":[132,156],"22":[133],"pairs.":[134,160],"Gluing":[135],"at":[136],"one-point":[137],"overlaps":[138],"B).":[140],"reduces":[143],"comparison":[145],"all":[147,224,239],"chains":[148],"runs":[150],"over":[151],"shift.":[154],"9":[158],"remaining":[159],"For":[161,188],"pair,":[163],"an":[164],"explicit":[165],"bijection":[166],"between":[167,272],"linear":[169],"extensions":[170],"runs,":[173],"valid":[174],"run":[177],"length,":[178],"keeps":[179],"ranks":[181],"first":[184],"last":[186],"position.":[187],"8":[190],"method":[193,281],"leaves":[194],"71":[195],"1330":[197],"classes":[198],"undecided.":[199],"checked":[203],"Lean":[205,246,315],"4":[206],"(core":[207],"library,":[208],"no":[209],"Mathlib).":[210],"kernel-checked":[212],"part":[213],"covers:":[214],"separation":[216],"classes;":[220],"certificate":[222],"linking":[223],"their":[228,242],"representatives;":[230],"Theorems":[231],"A":[232],"B":[234],"general,":[236],"together":[237],"with":[238,317],"31":[240],"applications.":[243],"final":[245],"theorem":[247],"assumes":[248],"only":[249],"cited":[251,289],"results:":[252],"invariance":[253],"under":[254],"reversal":[255],"complement;":[257],"Dwyer":[261],"Elizalde;":[263],"Khoroshkin":[267],"Shapiro.":[269],"link":[271],"occurrence":[276],"distributions":[277],"Elizalde":[283],"Noy,":[285],"it":[287],"rather":[290],"than":[291],"formalised.":[292],"archive":[294],"contains":[295],"paper":[297],"(LaTeX":[298],"source":[299],"PDF),":[301],"programs":[303],"data":[305],"computations":[309],"certificates,":[311],"logs,":[312],"development":[316],"build":[319],"script":[320],"generators.":[322]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-11-09T00:00:00"}