{"id":"https://openalex.org/W7225567737","doi":"https://doi.org/10.5281/zenodo.24061114","title":"Non-vanishing of commutator-character moments on the minimal SU(3) lattice","display_name":"Non-vanishing of commutator-character moments on the minimal SU(3) lattice","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225567737","doi":"https://doi.org/10.5281/zenodo.24061114"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24061114","doi":"https://doi.org/10.5281/zenodo.24061114","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24061114","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.24061114","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5161298823","display_name":"IAN CANRIGHT","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"CANRIGHT, IAN","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5161298823"],"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/T11680","display_name":"Advanced Algebra and Geometry","score":0.3411000072956085,"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"}},"topics":[{"id":"https://openalex.org/T11680","display_name":"Advanced Algebra and Geometry","score":0.3411000072956085,"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/T10849","display_name":"Finite Group Theory Research","score":0.1469999998807907,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.10909999907016754,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/haar-measure","display_name":"Haar measure","score":0.6909999847412109},{"id":"https://openalex.org/keywords/irreducible-representations","display_name":"irreducible representations","score":0.8859999775886536},{"id":"https://openalex.org/keywords/lean-4-formalization","display_name":"Lean 4 formalization","score":0.6779999732971191},{"id":"https://openalex.org/keywords/computer-assisted-proof","display_name":"computer-assisted proof","score":0.753000020980835}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8216999769210815},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.5651999711990356},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5360000133514404},{"id":"https://openalex.org/C75190567","wikidata":"https://www.wikidata.org/wiki/Q41237","display_name":"Rational function","level":2,"score":0.5206999778747559},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4812999963760376},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.41830000281333923},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3952000141143799},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.39169999957084656},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.38100001215934753},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.38100001215934753},{"id":"https://openalex.org/C139676723","wikidata":"https://www.wikidata.org/wiki/Q1193832","display_name":"Sign (mathematics)","level":2,"score":0.36309999227523804},{"id":"https://openalex.org/C2778134712","wikidata":"https://www.wikidata.org/wiki/Q1047307","display_name":"Bundle","level":2,"score":0.3508000075817108},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3476000130176544},{"id":"https://openalex.org/C142292226","wikidata":"https://www.wikidata.org/wiki/Q13690522","display_name":"Irreducible representation","level":2,"score":0.33640000224113464},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.3343999981880188},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3215999901294708},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.30889999866485596},{"id":"https://openalex.org/C8828549","wikidata":"https://www.wikidata.org/wiki/Q837924","display_name":"Bilinear form","level":2,"score":0.30809998512268066},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.30230000615119934},{"id":"https://openalex.org/C106881136","wikidata":"https://www.wikidata.org/wiki/Q275393","display_name":"Casimir effect","level":2,"score":0.28049999475479126},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.27410000562667847},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2702000141143799},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.26930001378059387},{"id":"https://openalex.org/C135754263","wikidata":"https://www.wikidata.org/wiki/Q4751136","display_name":"Analytic proof","level":3,"score":0.2669000029563904},{"id":"https://openalex.org/C54865166","wikidata":"https://www.wikidata.org/wiki/Q844937","display_name":"Multiple integral","level":2,"score":0.2517000138759613}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24061114","doi":"https://doi.org/10.5281/zenodo.24061114","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24061114","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.24061115","doi":"https://doi.org/10.5281/zenodo.24061115","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24061115","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.24061114","doi":"https://doi.org/10.5281/zenodo.24061114","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24061114","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2014720866","https://openalex.org/W3008957191","https://openalex.org/W1999100787","https://openalex.org/W2025983645","https://openalex.org/W7222350791","https://openalex.org/W3104235045","https://openalex.org/W2022935471","https://openalex.org/W2092374164","https://openalex.org/W2036607464","https://openalex.org/W7098458961"],"abstract_inverted_index":{"Let":[0],"U0,":[1],"U1,":[2],"U2":[3],"in":[4,83,113,125],"SU(3)":[5],"be":[6],"independent":[7,283],"and":[8,26,48,67,105,158,226,242,263,277,285],"Haar-distributed,":[9],"with":[10,78,120,223,228,255,267],"group":[11],"commutators":[12],"W_ij":[13],"=":[14,36,91,117,145,207],"U_i":[15],"U_j":[16],"U_i^-1":[17],"U_j^-1.":[18],"For":[19,89,143],"a":[20,150,155,163,229,296],"fixed":[21],"cubic":[22],"trace":[23],"polynomial":[24],"e":[25],"irreducible":[27,73],"representations":[28],"X,":[29],"Y":[30,75],"we":[31],"study":[32],"the":[33,84,93,101,135,147,197,205,238,273],"moments":[34,108],"E(X,X,Y)":[35],"27":[37],"\u222b":[38],"|e|\u00b2":[39],"\u03c7_X(W01)":[40],"\u03c7_X(W02)":[41],"\u03c7_Y(W12).":[42],"These":[43],"integrals":[44],"have":[45],"signed":[46],"integrands":[47],"reduce":[49],"to":[50],"differences":[51],"of":[52,76,87],"channel":[53,111],"sums,":[54],"so":[55],"their":[56],"sign":[57],"is":[58,95,170,187,300],"not":[59,291],"evident.":[60],"We":[61],"prove":[62],"that":[63,127],"E(1,1,Y)":[64,140],">":[65,69],"0":[66,70],"E(3,3,Y)":[68,169],"for":[71,302],"every":[72,110,167],"representation":[74],"SU(3),":[77],"explicit":[79,122,172],"rational":[80,160,173],"closed":[81,114],"forms":[82],"Dynkin":[85],"labels":[86],"Y.":[88],"X":[90,144,206],"1":[92],"proof":[94,148],"by":[96,237,295],"hand.":[97],"A":[98],"crossing":[99],"identity,":[100],"dual":[102],"Pieri":[103],"rule":[104],"three":[106],"Casimir":[107],"give":[109],"weight":[112],"form,":[115],"Z_Y(R_i)":[116],"(d_i\u00b2/d_Y)":[118],"\u03c1_i,":[119],"an":[121,171],"coefficient":[123],"\u03c1_i":[124],"[0,1)":[126],"depends":[128],"only":[129,179],"on":[130,240],"content":[131],"differences.":[132],"This":[133],"yields":[134],"two-sided":[136],"bounds":[137],"36|A|/d_Y":[138],"<":[139,141],"54|A|/d_Y.":[142],"3":[146,208],"combines":[149],"Young":[151],"seminormal":[152],"path":[153],"model,":[154],"degree":[156],"bound":[157],"exact":[159,183],"evaluation":[161],"into":[162],"computer-assisted":[164],"certificate.":[165],"On":[166],"chamber,":[168],"function":[174],"whose":[175],"shifted":[176],"numerator":[177],"has":[178,290],"positive":[180],"coefficients.":[181],"Scope:":[182],"finite-dimensional":[184],"integrals.":[185],"Nothing":[186],"claimed":[188],"about":[189],"transfer-operator":[190],"spectra,":[191],"mass":[192],"gaps,":[193],"infinite":[194],"volume":[195],"or":[196],"continuum.":[198],"###":[199],"Additional":[200],"notes":[201],"(paste":[202],"as":[203,282],"written)Supplement:":[204],"source":[209],"bundle":[210],"(54":[211],"files),":[212],"Parts":[213],"A\u2013D":[214],"(the":[215],"referee":[216],"carry,":[217],"computation":[218,261],"records,":[219],"Lean":[220,247],"4":[221],"files":[222,248],"build":[224],"log,":[225],"REPRODUCE.txt":[227],"test":[230],"log).":[231],"Reproduction":[232],"commands":[233],"1\u20137":[234],"were":[235,265,280],"run":[236],"author":[239,299],"2026-11-07,":[241],"all":[243,303],"passed.":[244],"The":[245,288,298],"two":[246],"(Lean":[249],"4.35.0":[250],"/":[251],"Mathlib":[252],"v4.35.0)":[253],"compile":[254],"exit":[256],"code":[257],"0.":[258],"Disclosure:":[259],"drafting,":[260],"scripts":[262],"refereeing":[264],"done":[266],"AI":[268],"assistance.":[269],"Claude":[270],"(Anthropic)":[271],"was":[272],"drafter.":[274],"ChatGPT":[275],"(OpenAI)":[276],"Grok":[278],"(xAI)":[279],"used":[281],"hostile":[284],"verifying":[286],"referees.":[287],"paper":[289],"yet":[292],"been":[293],"reviewed":[294],"human.":[297],"responsible":[301],"content.":[304]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-11-09T00:00:00"}