{"id":"https://openalex.org/W7225225536","doi":"https://doi.org/10.5281/zenodo.23936888","title":"The determinantal complexity of the $4\\times 4$ permanent is 15","display_name":"The determinantal complexity of the $4\\times 4$ permanent is 15","publication_year":2026,"publication_date":"2026-11-04","ids":{"openalex":"https://openalex.org/W7225225536","doi":"https://doi.org/10.5281/zenodo.23936888"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23936888","doi":"https://doi.org/10.5281/zenodo.23936888","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23936888","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":"article-journal"},"volume":null,"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23936888","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079058473","display_name":"Karthik Sheshadri","orcid":"https://orcid.org/0000-0001-9238-9698","observed_orcids":["https://orcid.org/0000-0001-9238-9698"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Sheshadri, Karthik","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-9238-9698","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5079058473"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.83509839,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9355000257492065,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9355000257492065,"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"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.026200000196695328,"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"}},{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.019099999219179153,"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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8532999753952026},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.6096000075340271},{"id":"https://openalex.org/C203616005","wikidata":"https://www.wikidata.org/wiki/Q620495","display_name":"Hessian matrix","level":2,"score":0.4918999969959259},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.48820000886917114},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.4733999967575073},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.4535999894142151},{"id":"https://openalex.org/C84597430","wikidata":"https://www.wikidata.org/wiki/Q106227","display_name":"Locus (genetics)","level":3,"score":0.43779999017715454},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.4187000095844269},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3882000148296356},{"id":"https://openalex.org/C176370821","wikidata":"https://www.wikidata.org/wiki/Q1826459","display_name":"Linear space","level":2,"score":0.38760000467300415},{"id":"https://openalex.org/C109282560","wikidata":"https://www.wikidata.org/wiki/Q4166054","display_name":"Singular value","level":3,"score":0.37400001287460327},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3555999994277954},{"id":"https://openalex.org/C72010251","wikidata":"https://www.wikidata.org/wiki/Q5265688","display_name":"Determinantal point process","level":4,"score":0.35370001196861267},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.3409999907016754},{"id":"https://openalex.org/C96442724","wikidata":"https://www.wikidata.org/wiki/Q242188","display_name":"Invertible matrix","level":2,"score":0.32600000500679016},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.3257000148296356},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2989000082015991},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C20050597","wikidata":"https://www.wikidata.org/wiki/Q261527","display_name":"Linear form","level":2,"score":0.259799987077713},{"id":"https://openalex.org/C49766605","wikidata":"https://www.wikidata.org/wiki/Q207643","display_name":"Linear map","level":2,"score":0.2583000063896179}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23936888","doi":"https://doi.org/10.5281/zenodo.23936888","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23936888","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":"article-journal"},{"id":"doi:10.5281/zenodo.23936889","doi":"https://doi.org/10.5281/zenodo.23936889","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23936889","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":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23936888","doi":"https://doi.org/10.5281/zenodo.23936888","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23936888","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":"article-journal"},"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":[],"abstract_inverted_index":{"The":[0,111,191,231],"best":[1],"known":[2],"lower":[3,57,123],"bound":[4,114],"on":[5,151],"the":[6,10,27,31,63,85,91,95,100,122,135,138,144,147,156,160,166,169,183,223,244],"determinantal":[7,92],"complexity":[8,93],"of":[9,33,37,45,70,90,94,134,143,159,168,173,179,187,207,222],"$4\\times4$":[11,28],"permanent":[12,29,96],"is":[13,24,30,76,193,233,241],"10.":[14],"In":[15,137,220],"this":[16,22,109],"short":[17,234],"note,":[18],"I":[19,52,66,125,209,225],"prove":[20],"that":[21,44,74,174,203],"value":[23,89,101],"exactly":[25,105],"15:":[26],"determinant":[32],"a":[34,56,128,132,152,177,201],"$15\\times15$":[35],"matrix":[36,170,178],"affine":[38],"linear":[39,148,153],"forms,":[40],"and":[41,58,235],"cannot":[42],"be":[43],"any":[46,186],"smaller":[47],"matrix.":[48],"To":[49,61,120],"do":[50],"so,":[51],"must":[53],"establish":[54,62,121],"both":[55],"upper":[59,64],"bound.":[60],"bound,":[65,124],"use":[67],"Grenet's":[68],"construction":[69,75],"size":[71,167],"$2^n-1$.":[72],"Hence":[73],"optimal":[77],"at":[78,97,102,131],"$n=4$":[79],"(and":[80,141],"$n=3$).":[81],"This":[82,239],"now":[83],"constitutes":[84],"first":[86,139],"knwon":[87],"exact":[88],"$n=4$.":[98,119],"Only":[99],"$n=3$":[103],"was":[104],"known,":[106],"prior":[107],"to":[108,196,205,237],"note.":[110],"general":[112],"quadratic":[113],"only":[115],"gives":[116],"8":[117],"for":[118],"work":[126],"from":[127],"normal":[129,145],"form":[130],"zero":[133],"permanent.":[136,161],"row":[140],"column)":[142],"form,":[146],"forms":[149],"vanish":[150],"space":[154,184],"inside":[155],"singular":[157],"locus":[158],"A":[162],"hessian":[163],"inequality":[164],"bounds":[165],"in":[171],"terms":[172],"space.":[175],"Then,":[176],"sie":[180],"14":[181],"foces":[182],"into":[185,200],"nine":[188],"corordinate":[189],"types.":[190],"forcing":[192],"either":[194],"up":[195],"symmetry,":[197],"or":[198],"else":[199],"family":[202],"degenerates":[204],"one":[206],"them.":[208],"then":[210],"rule":[211],"out":[212],"every":[213],"case.":[214],"All":[215],"involved":[216],"computations":[217],"are":[218],"exact.":[219],"respect":[221],"claim,":[224],"have":[226],"made":[227],"all":[228],"certificates":[229],"public.":[230],"proof":[232],"easy":[236],"follow.":[238],"note":[240],"hand-written":[242],"by":[243],"human":[245],"author.":[246]},"counts_by_year":[],"updated_date":"2026-11-05T12:25:35.769452","created_date":"2026-11-05T00:00:00"}