{"id":"https://openalex.org/W7225791102","doi":"https://doi.org/10.5281/zenodo.24132162","title":"Gram variance and permutation information in Chollet's permanent inequality","display_name":"Gram variance and permutation information in Chollet's permanent inequality","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225791102","doi":"https://doi.org/10.5281/zenodo.24132162"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24132162","doi":"https://doi.org/10.5281/zenodo.24132162","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24132162","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.24132162","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139533638","display_name":"Zhouding Liu","orcid":"https://orcid.org/0009-0004-1259-3795","observed_orcids":["https://orcid.org/0009-0004-1259-3795"]},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Liu, Zhouding","raw_affiliation_strings":["University of Wisconsin-Madison"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison","institution_ids":["https://openalex.org/I135310074"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5139533638"],"corresponding_institution_ids":["https://openalex.org/I135310074"],"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/T11564","display_name":"Mathematical Inequalities and Applications","score":0.48750001192092896,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/T11564","display_name":"Mathematical Inequalities and Applications","score":0.48750001192092896,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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.19949999451637268,"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"}},{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.08780000358819962,"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":[],"concepts":[{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.6733999848365784},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.6437000036239624},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6183000206947327},{"id":"https://openalex.org/C2777146004","wikidata":"https://www.wikidata.org/wiki/Q14949826","display_name":"CLARITY","level":2,"score":0.6161999702453613},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.511900007724762},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.4884999990463257},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4602000117301941},{"id":"https://openalex.org/C196083921","wikidata":"https://www.wikidata.org/wiki/Q7915758","display_name":"Variance (accounting)","level":2,"score":0.4449999928474426},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39590001106262207},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.38519999384880066},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3596000075340271},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.3562999963760376},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3481999933719635},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3382999897003174},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32089999318122864},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3190000057220459},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3100000023841858},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.3061999976634979},{"id":"https://openalex.org/C45555294","wikidata":"https://www.wikidata.org/wiki/Q28113351","display_name":"Inequality","level":2,"score":0.2976999878883362},{"id":"https://openalex.org/C2778778035","wikidata":"https://www.wikidata.org/wiki/Q967960","display_name":"Mathematics Subject Classification","level":2,"score":0.29089999198913574},{"id":"https://openalex.org/C2776050585","wikidata":"https://www.wikidata.org/wiki/Q7439360","display_name":"Scrutiny","level":2,"score":0.28790000081062317},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C117884012","wikidata":"https://www.wikidata.org/wiki/Q94489","display_name":"n-gram","level":3,"score":0.27639999985694885},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27630001306533813},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2711000144481659},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.2612000107765198},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.260699987411499},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.25760000944137573},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2533999979496002}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24132162","doi":"https://doi.org/10.5281/zenodo.24132162","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24132162","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.24132163","doi":"https://doi.org/10.5281/zenodo.24132163","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24132163","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.24132162","doi":"https://doi.org/10.5281/zenodo.24132162","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24132162","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":[],"abstract_inverted_index":{"\\section*{Declaration":[0],"of":[1,53,112,137,175,180,205,238,269,274,281,342,357,371,434,443,455,462,477,485,518,542],"Interests}This":[2],"research":[3,129,142],"is":[4,337,521,527,532],"not":[5,147,263],"funded":[6],"by":[7,245,321,339,413,497],"any":[8,149,340],"third":[9],"party.":[10],"The":[11,32,155,208,344,466,502,530],"author":[12,111,116,145,156,184,261,289,345,467,490,503,548],"therefore":[13],"has":[14],"no":[15,119],"competing":[16],"interests":[17],"to":[18,188,217,232,256,293,379,409,446,508,552],"declare.":[19],"\\section*{Data":[20],"Availability":[21],"Statement}No":[22],"empirical":[23],"datasets":[24],"were":[25,285],"collected":[26],"or":[27,124,130,335],"analyzed":[28],"in":[29,68,73,76,127,193,271],"this":[30,113,128,138,181,275,291,486,554],"study.":[31],"code,":[33],"exact":[34],"inputs":[35,72],"and":[36,90,97,162,170,202,220,228,236,253,279,311,325,362,369,388,404,418,459,475,480,511,524],"documentation":[37],"for":[38,99,134,152,366,437,471,481],"reproducing":[39,100],"the":[40,51,54,64,78,85,101,109,115,135,141,144,158,164,168,178,183,194,203,234,257,260,266,314,322,347,351,355,358,367,372,382,390,395,401,406,410,453,460,463,472,478,482,489,505,509,512,519,536,540,547,550],"finite":[41,65,102],"verifications":[42],"will":[43],"be":[44,132,294],"provided":[45],"as":[46,544],"supplementary":[47,391],"material":[48],"along":[49],"with":[50,190,313,400],"submission":[52],"main":[55],"article.":[56,139,487],"Online":[57],"Resource~1":[58],"(\\texttt{ESM\\_1.zip},":[59],"v0.2.0)":[60],"provides":[61],"Python":[62,392],"codefor":[63],"calculations":[66,103],"listed":[67],"\\texttt{proof\\_map.csv},":[69],"includingselected":[70],"curvature":[71],"F.1--F.3":[74],"used":[75,185,216],"Theorem~\\ref{thm:new-all-mixed-exposure-payment}and":[77],"moving-reference":[79],"comparisonsin":[80],"Lemmas~\\ref{lem:mixed-reference-cap-lower}":[81],"and~\\ref{lem:mixed-reference-cap-upper}.The":[82],"archive":[83],"includes":[84],"execution":[86],"instructions,":[87],"dependency":[88],"versions,":[89],"review-use":[91],"terms.":[92],"\\smallskip\\noindent\\textbf{Online":[93],"Resource":[94],"1.}Python":[95],"source":[96],"instructions":[98],"indexed":[104],"in\\texttt{proof\\_map.csv}.":[105],"\\section*{Author's":[106],"Contribution":[107],"Statement}As":[108],"sole":[110],"article,":[114,166],"declares":[117],"that":[118,515],"other":[120],"authors":[121],"have":[122],"explicitly":[123],"implicitly":[125],"participated":[126],"should":[131],"responsible":[133],"content":[136,484],"Throughout":[140],"process,":[143,384],"does":[146,262],"consult":[148],"human":[150],"experts":[151],"their":[153],"advice.":[154],"constructs":[157],"proof":[159,306,433],"architecture,":[160],"writes":[161],"proofreads":[163],"entire":[165],"extends":[167],"results,":[169],"takes":[171,363,468],"full":[172,364,469],"responsibility.":[173],"\\section*{Disclosure":[174],"AI":[176],"Usage}During":[177],"revisions":[179,280],"manuscript,":[182,352],"OpenAI":[186],"Codex":[187,246],"assist":[189],"LaTeX":[191],"typesetting":[192],"10-point":[195],"amsart":[196],"document":[197],"class,":[198],"including":[199],"equation":[200],"layout":[201],"correction":[204],"compilation":[206],"errors.":[207],"tool":[209],"(served":[210],"mostly":[211],"like":[212],"\u201cgrammarly\u201d)":[213],"was":[214],"also":[215],"suggest":[218],"keywords":[219],"Mathematics":[221],"Subject":[222],"Classification":[223],"codes,":[224],"identify":[225],"grammatical":[226,242],"errors,":[227,304],"propose":[229],"alternative":[230],"phrasings":[231],"improve":[233],"clarity":[235],"precision":[237],"author-written":[239],"text.":[240],"Some":[241],"suggestions":[243,348],"recommended":[244],"are":[247],"arguably":[248],"more":[249,254],"lucid,":[250],"better":[251],"structured,":[252],"understandable":[255],"readers,":[258],"so":[259],"intentionally":[264],"preserve":[265],"human-specific":[267],"\u201cnaturalness":[268],"expressions\u201d":[270],"some":[272],"parts":[273],"manuscript.":[276,374],"Technical":[277],"reviews":[278],"selected":[282,327],"mathematical":[283,360,483],"arguments":[284,334],"moderately":[286],"applied":[287],"(the":[288],"expects":[290],"ratio":[292],"much":[295],"less":[296],"than":[297],"10":[298,525],"percents).":[299],"This":[300,448],"included":[301],"correcting":[302],"quantifier":[303],"identifying":[305,317],"steps":[307],"requiring":[308],"further":[309],"justification":[310],"assisting":[312],"corresponding":[315],"revisions,":[316,361],"stronger":[318],"conclusions":[319],"supported":[320],"existing":[323],"arguments,":[324],"checking":[326,389],"key":[328],"lemmas":[329],"before":[330],"submission.":[331],"No":[332],"substantial":[333],"contents":[336,543],"generated":[338],"sort":[341],"LLM.":[343],"evaluated":[346],"incorporated":[349],"into":[350],"personally":[353],"verified":[354],"validity":[356],"adopted":[359],"responsibility":[365,470],"accuracy":[368],"integrity":[370],"final":[373,396],"We":[375],"give":[376],"special":[377],"thanks":[378],"Openai.":[380],"In":[381],"verification":[383],"Chatgpt(Openai)":[385],"helps":[386],"developing":[387],"code.":[393],"Before":[394],"submission,":[397],"Chatgpt":[398],"assisted":[399],"literature":[402,479],"search":[403],"drew":[405],"author's":[407],"attention":[408],"2026":[411],"preprint":[412],"Qingfeng":[414],"Li,":[415],"Qirui":[416],"Zhao":[417],"Wenhao":[419],"Luo,":[420],"\\textit{Chollet\u2019s":[421],"Permanent":[422],"Conjecture":[423],"Through":[424],"Order":[425],"Six":[426],"via":[427],"Border":[428],"Induction},":[429],"which":[430],"reports":[431],"a":[432],"Chollet\u2019s":[435],"conjecture":[436],"complex":[438],"Hermitian":[439],"positive":[440],"semidefinite":[441],"matrices":[442],"orders":[444],"up":[445],"six.":[447],"assistance":[449],"tremendously":[450],"helped":[451],"clarify":[452],"scope":[454],"previously":[456],"reported":[457],"results":[458],"positioning":[461],"present":[464],"work.":[465],"selection,":[473],"interpretation":[474],"citation":[476],"Finally,":[488],"run":[491],"an":[492],"AI-check":[493],"at":[494,499],"https://nlplab.cs.duke.edu/snapjudge/":[495],"established":[496],"researchers":[498],"Duke":[500],"University.":[501],"uploads":[504],"pdf":[506],"version":[507],"website,":[510],"result":[513],"shows":[514],"90":[516],"percent":[517,526],"article":[520],"\"Human":[522],"Written\"":[523],"\"AI":[528],"Generated.\"":[529],"report":[531,555],"somehow":[533],"biased":[534],"since":[535],"website":[537],"even":[538],"flagged":[539],"table":[541],"\"AI-Generated.\"":[545],"Therefore,":[546],"advice":[549],"referees":[551],"treat":[553],"cautiously.":[556]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}