{"id":"https://openalex.org/W7224082533","doi":"https://doi.org/10.5281/zenodo.23718192","title":"An odd-degree identity for polynomial values at derivative roots","display_name":"An odd-degree identity for polynomial values at derivative roots","publication_year":2026,"publication_date":"2026-10-27","ids":{"openalex":"https://openalex.org/W7224082533","doi":"https://doi.org/10.5281/zenodo.23718192"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23718192","doi":"https://doi.org/10.5281/zenodo.23718192","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23718192","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","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23718192","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5158066045","display_name":"Myeongjin Kang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kang, Myeongjin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5158066045"],"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/T11191","display_name":"Mathematical functions and polynomials","score":0.7128999829292297,"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/T11191","display_name":"Mathematical functions and polynomials","score":0.7128999829292297,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.1096000000834465,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.0551999993622303,"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/polynomial-derivatives","display_name":"polynomial derivatives","score":0.5130000114440918},{"id":"https://openalex.org/keywords/odd-degree-polynomials","display_name":"odd degree polynomials","score":0.8999999761581421},{"id":"https://openalex.org/keywords/apolarity","display_name":"apolarity","score":0.8489999771118164},{"id":"https://openalex.org/keywords/finite-differences","display_name":"finite differences","score":0.906000018119812},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.6579999923706055},{"id":"https://openalex.org/keywords/lean-theorem-prover","display_name":"Lean theorem prover","score":0.8939999938011169}],"concepts":[{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6848000288009644},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.59579998254776},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.5234000086784363},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5228000283241272},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.5221999883651733},{"id":"https://openalex.org/C2780882242","wikidata":"https://www.wikidata.org/wiki/Q14235582","display_name":"Literal (mathematical logic)","level":2,"score":0.51910001039505},{"id":"https://openalex.org/C111771559","wikidata":"https://www.wikidata.org/wiki/Q66295","display_name":"Derivative (finance)","level":2,"score":0.47130000591278076},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.4388999938964844},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.41370001435279846},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4002000093460083},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36559998989105225},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.34200000762939453},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.3181000053882599},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.3172000050544739},{"id":"https://openalex.org/C68797384","wikidata":"https://www.wikidata.org/wiki/Q2746792","display_name":"Noncommutative geometry","level":2,"score":0.3093999922275543},{"id":"https://openalex.org/C39613435","wikidata":"https://www.wikidata.org/wiki/Q846677","display_name":"Remainder","level":2,"score":0.30480000376701355},{"id":"https://openalex.org/C43169469","wikidata":"https://www.wikidata.org/wiki/Q580922","display_name":"Preprint","level":2,"score":0.2802000045776367},{"id":"https://openalex.org/C134121241","wikidata":"https://www.wikidata.org/wiki/Q899301","display_name":"Yield (engineering)","level":2,"score":0.27790001034736633},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2757999897003174},{"id":"https://openalex.org/C101454708","wikidata":"https://www.wikidata.org/wiki/Q17106019","display_name":"Standard Model (mathematical formulation)","level":3,"score":0.26330000162124634},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.26159998774528503},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.25940001010894775},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.257999986410141}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23718192","doi":"https://doi.org/10.5281/zenodo.23718192","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23718192","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.23718193","doi":"https://doi.org/10.5281/zenodo.23718193","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23718193","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.23718192","doi":"https://doi.org/10.5281/zenodo.23718192","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23718192","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/W2043707223","https://openalex.org/W7164751248","https://openalex.org/W2051374611","https://openalex.org/W1659267206","https://openalex.org/W2566846120","https://openalex.org/W1976047512","https://openalex.org/W6885075497","https://openalex.org/W1677398399","https://openalex.org/W7224083685","https://openalex.org/W1585151367"],"abstract_inverted_index":{"We":[0],"prove":[1],"Wojnar,":[2],"Wojnar":[3],"and":[4,35,45,55,92,115,122,135,141,159,172],"Brin":[5],"Conjecture":[6],"2":[7],"for":[8],"every":[9],"complex":[10],"polynomial":[11],"of":[12,144],"odd":[13],"degree,":[14],"with":[15,19,65,138,178],"derivative":[16],"roots":[17],"counted":[18],"multiplicity.":[20],"Normalized":[21],"Newton":[22],"moments":[23],"extend":[24],"the":[25,29,39,82,88,95],"means":[26,44],"polynomially":[27],"in":[28,50,94],"remaining":[30],"degree;":[31],"an":[32],"apolar":[33],"self-pairing":[34],"finite":[36],"differences":[37],"yield":[38],"identity.":[40],"The":[41,77,127],"literal":[42],"source":[43,147,170],"arbitrary-polynomial":[46],"endpoint":[47,171],"are":[48,58,100,125],"proved":[49],"Lean.":[51],"Classical":[52],"Newton,":[53],"apolarity":[54,161],"finite-difference":[56],"ingredients":[57],"credited.":[59],"AI-assisted":[60],"preprint":[61],"by":[62],"Myeongjin":[63],"Kang,":[64],"no":[66,166],"affiliation.":[67],"Internal":[68],"AI":[69],"review":[70,164],"is":[71,109],"not":[72,104,184],"external":[73],"journal":[74],"peer":[75],"review.":[76],"accompanying":[78],"Lean":[79],"certificate":[80],"covers":[81],"precise":[83],"scoped":[84],"main":[85],"statement;":[86],"inspect":[87],"formal":[89],"endpoint,":[90],"assumptions":[91],"provenance":[93],"supporting":[96,129],"package.":[97],"Prior-art":[98],"investigations":[99],"documented":[101],"bounded":[102],"searches,":[103],"worldwide-priority":[105],"certification.":[106],"Original":[107],"prose":[108],"offered":[110],"under":[111,118,175],"CC":[112],"BY":[113],"4.0":[114],"original":[116,132],"code/Lean":[117],"MIT;":[119],"third-party":[120,146],"rights":[121],"existing":[123],"notices":[124],"preserved.":[126],"public":[128],"ZIP":[130],"contains":[131],"proof":[133],"sources":[134],"verification":[136],"evidence,":[137],"bibliographic":[139],"links":[140],"hashes":[142],"instead":[143],"redistributed":[145],"manuscripts.":[148],"Recorded":[149],"prior-art/source-access":[150],"limits:":[151],"Toda1934":[152],"full":[153],"body":[154],"unread;":[155],"actual1936/1940":[156],"neighboring":[157],"formulas":[158],"classical":[160],"read/credited.":[162],"Independent":[163],"found":[165],"explicit":[167],"old":[168],"stronger":[169],"recommends":[173],"acceptance":[174],"documented-prior/no-known-resolution":[176],"standard":[177],"this":[179],"material":[180],"limitation.":[181],"Absolute":[182],"priority":[183],"certified.":[185]},"counts_by_year":[],"updated_date":"2026-10-30T12:39:25.321706","created_date":"2026-10-29T00:00:00"}