{"id":"https://openalex.org/W4287715820","doi":"https://doi.org/10.5070/c65365561","title":"Boolean elements in the Bruhat order","display_name":"Boolean elements in the Bruhat order","publication_year":2025,"publication_date":"2025-09-12","ids":{"openalex":"https://openalex.org/W4287715820","doi":"https://doi.org/10.5070/c65365561"},"language":"en","primary_location":{"id":"doi:10.5070/c65365561","is_oa":true,"landing_page_url":"https://doi.org/10.5070/c65365561","pdf_url":"https://escholarship.org/content/qt6v0196p6/qt6v0196p6.pdf","source":{"id":"https://openalex.org/S4210174179","display_name":"Combinatorial Theory","issn_l":"2766-1334","issn":["2766-1334"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Combinatorial Theory","raw_type":"journal-article"},"type":"preprint","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://escholarship.org/content/qt6v0196p6/qt6v0196p6.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085783736","display_name":"Yibo Gao","orcid":"https://orcid.org/0000-0003-3060-2259"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Yibo Gao","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5042702348","display_name":"Kaarel H\u00e4nni","orcid":"https://orcid.org/0000-0003-0090-2234"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kaarel H\u00e4nni","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5085783736"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00263432,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9642999768257141,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9642999768257141,"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/boolean-function","display_name":"Boolean function","score":0.7731751799583435},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6706438660621643},{"id":"https://openalex.org/keywords/stones-representation-theorem-for-boolean-algebras","display_name":"Stone's representation theorem for Boolean algebras","score":0.6347372531890869},{"id":"https://openalex.org/keywords/complete-boolean-algebra","display_name":"Complete Boolean algebra","score":0.6089229583740234},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.5948594808578491},{"id":"https://openalex.org/keywords/parity-function","display_name":"Parity function","score":0.5871009230613708},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.559209406375885},{"id":"https://openalex.org/keywords/free-boolean-algebra","display_name":"Free Boolean algebra","score":0.544377326965332},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.5181466341018677},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5117854475975037},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4990692138671875},{"id":"https://openalex.org/keywords/boolean-algebras-canonically-defined","display_name":"Boolean algebras canonically defined","score":0.4725368022918701},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.44391068816185},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.42111191153526306},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.41994619369506836},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.24475416541099548},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.1692485213279724},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.16069915890693665},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.058931052684783936}],"concepts":[{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.7731751799583435},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6706438660621643},{"id":"https://openalex.org/C10021369","wikidata":"https://www.wikidata.org/wiki/Q1166774","display_name":"Stone's representation theorem for Boolean algebras","level":5,"score":0.6347372531890869},{"id":"https://openalex.org/C81518389","wikidata":"https://www.wikidata.org/wiki/Q5156447","display_name":"Complete Boolean algebra","level":5,"score":0.6089229583740234},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.5948594808578491},{"id":"https://openalex.org/C188183281","wikidata":"https://www.wikidata.org/wiki/Q2898309","display_name":"Parity function","level":4,"score":0.5871009230613708},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.559209406375885},{"id":"https://openalex.org/C188159880","wikidata":"https://www.wikidata.org/wiki/Q5499761","display_name":"Free Boolean algebra","level":5,"score":0.544377326965332},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.5181466341018677},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5117854475975037},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4990692138671875},{"id":"https://openalex.org/C45503250","wikidata":"https://www.wikidata.org/wiki/Q4943350","display_name":"Boolean algebras canonically defined","level":5,"score":0.4725368022918701},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.44391068816185},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42111191153526306},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.41994619369506836},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.24475416541099548},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.1692485213279724},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.16069915890693665},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.058931052684783936},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C169171071","wikidata":"https://www.wikidata.org/wiki/Q5449241","display_name":"Filtered algebra","level":3,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5070/c65365561","is_oa":true,"landing_page_url":"https://doi.org/10.5070/c65365561","pdf_url":"https://escholarship.org/content/qt6v0196p6/qt6v0196p6.pdf","source":{"id":"https://openalex.org/S4210174179","display_name":"Combinatorial Theory","issn_l":"2766-1334","issn":["2766-1334"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Combinatorial Theory","raw_type":"journal-article"},{"id":"pmh:doi:10.5070/C65365561","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text/journal article"}],"best_oa_location":{"id":"doi:10.5070/c65365561","is_oa":true,"landing_page_url":"https://doi.org/10.5070/c65365561","pdf_url":"https://escholarship.org/content/qt6v0196p6/qt6v0196p6.pdf","source":{"id":"https://openalex.org/S4210174179","display_name":"Combinatorial Theory","issn_l":"2766-1334","issn":["2766-1334"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Combinatorial Theory","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4287715820.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W47695625","https://openalex.org/W11504065","https://openalex.org/W1599847","https://openalex.org/W47894659","https://openalex.org/W27980923","https://openalex.org/W30606603","https://openalex.org/W23427823","https://openalex.org/W37296843","https://openalex.org/W46616096","https://openalex.org/W37428843"],"abstract_inverted_index":{"We":[0,39,81,93,114],"show":[1,49,115],"that":[2,50,95,116],"$w\\in":[3,96],"W$":[4,97],"is":[5,24,34,98],"boolean":[6,51],"if":[7,10,100],"and":[8,32,48,73,132,134],"only":[9],"it":[11,33],"avoids":[12],"a":[13,136],"set":[14],"of":[15,29,44,88,111,120,143,146],"Billey-Postnikov":[16],"patterns,":[17],"which":[18],"we":[19],"describe":[20],"explicitly.":[21],"Our":[22],"proof":[23],"based":[25],"on":[26],"an":[27],"analysis":[28],"inversion":[30],"sets,":[31],"in":[35],"large":[36],"part":[37],"type-uniform.":[38],"also":[40,82],"introduce":[41],"the":[42,58,84,117,121,129,141],"notion":[43],"linear":[45,60],"pattern":[46],"avoidance,":[47],"elements":[52,119,145],"are":[53,125],"characterized":[54,126],"by":[55,127],"avoiding":[56,128],"just":[57],"$3$":[59],"patterns":[61,130],"$s_1":[62],"s_2":[63,70,78],"s_1":[64,68,75],"\\in":[65,71,79],"W(A_2)$,":[66],"$s_2":[67,74],"s_3":[69,76],"W(A_3)$,":[72],"s_4":[77],"W(D_4)$.":[80],"consider":[83],"more":[85],"general":[86],"case":[87],"$k$-boolean":[89,99],"Weyl":[90],"group":[91,123],"elements.":[92],"say":[94],"every":[101],"reduced":[102],"expression":[103],"for":[104,140],"$w$":[105],"contains":[106],"at":[107],"most":[108],"$k$":[109],"copies":[110],"each":[112],"generator.":[113],"$2$-boolean":[118,144],"symmetric":[122],"$S_n$":[124],"$3421,4312,4321,$":[131],"$456123$,":[133],"give":[135],"rational":[137],"generating":[138],"function":[139],"number":[142],"$S_n$.":[147]},"counts_by_year":[],"updated_date":"2025-12-29T23:06:16.900395","created_date":"2025-10-10T00:00:00"}