{"id":"https://openalex.org/W7225611719","doi":"https://doi.org/10.5281/zenodo.24088676","title":"Pure O-sequences in four variables are unimodal up to socle degree six","display_name":"Pure O-sequences in four variables are unimodal up to socle degree six","publication_year":2026,"publication_date":"2026-11-09","ids":{"openalex":"https://openalex.org/W7225611719","doi":"https://doi.org/10.5281/zenodo.24088676"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24088676","doi":"https://doi.org/10.5281/zenodo.24088676","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24088676","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.24088676","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017497939","display_name":"William Huanshan Chuang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Chuang, William Huanshan","raw_affiliation_strings":["Logarcheon Inc"],"raw_orcid":"https://orcid.org/0009-0008-0796-9478","affiliations":[{"raw_affiliation_string":"Logarcheon Inc","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5017497939"],"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9761000275611877,"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9761000275611877,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.016200000420212746,"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.002400000113993883,"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/unimodality","display_name":"unimodality","score":0.8700000047683716},{"id":"https://openalex.org/keywords/socle-degree","display_name":"socle degree","score":0.8949999809265137},{"id":"https://openalex.org/keywords/four-variables","display_name":"four variables","score":0.7250000238418579},{"id":"https://openalex.org/keywords/hilbert-functions","display_name":"Hilbert functions","score":0.5730000138282776},{"id":"https://openalex.org/keywords/integer-programming","display_name":"integer programming","score":0.7889999747276306},{"id":"https://openalex.org/keywords/sat-solving","display_name":"SAT solving","score":0.753000020980835},{"id":"https://openalex.org/keywords/cnf-formulas","display_name":"CNF formulas","score":0.6930000185966492}],"concepts":[{"id":"https://openalex.org/C2776306272","wikidata":"https://www.wikidata.org/wiki/Q7553048","display_name":"Socle","level":4,"score":0.8981000185012817},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.7832000255584717},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7646999955177307},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.4553000032901764},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.3767000138759613},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.3749000132083893},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.31369999051094055},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.3052999973297119},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2784000039100647},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.2752000093460083},{"id":"https://openalex.org/C83979697","wikidata":"https://www.wikidata.org/wiki/Q1778247","display_name":"Codimension","level":2,"score":0.26420000195503235},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.25619998574256897}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24088676","doi":"https://doi.org/10.5281/zenodo.24088676","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24088676","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.24088677","doi":"https://doi.org/10.5281/zenodo.24088677","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24088677","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.24088676","doi":"https://doi.org/10.5281/zenodo.24088676","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24088676","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/W7225590627","https://openalex.org/W3215609927","https://openalex.org/W3217635579","https://openalex.org/W3215789491","https://openalex.org/W1570981959","https://openalex.org/W4241483205","https://openalex.org/W2004918406","https://openalex.org/W4408889744","https://openalex.org/W7222939574","https://openalex.org/W2963824623"],"abstract_inverted_index":{"Boyle":[0],"proved":[1,116],"that":[2,17,40,161],"pure":[3,57,77,173],"O-sequences":[4,78],"in":[5,21,41,59,73,179],"four":[6,22,62,74,180],"variables":[7,23,63],"are":[8,83,137,198],"unimodal":[9,84],"for":[10,24],"socle":[11,26,45,65,80,176],"degree":[12,27,66,81,177],"at":[13,28,60],"most":[14,61],"4,":[15,183],"and":[16,36,48,86,127,156,195],"nonunimodal":[18,172],"ones":[19],"exist":[20],"every":[25,56],"least":[29],"7;":[30],"the":[31,162],"survey":[32],"of":[33,64,79,98,107,175],"Migliore,":[34],"Nagel":[35],"Zanello":[37],"(arXiv:1204.5247)":[38],"records":[39],"codimension":[42],"4":[43],"only":[44,87],"degrees":[46],"5":[47,67],"6":[49,69],"remained":[50],"open.":[51],"We":[52,167],"settle":[53],"both":[54],"cases:":[55],"O-sequence":[58,174],"or":[68],"is":[70,121,129,144,165],"unimodal.":[71],"Consequently,":[72],"variables,":[75,181],"all":[76],"e":[82,89],"if":[85,88],"\u2264":[90],"6.":[91],"The":[92,141,190],"proof":[93],"reduces":[94],"each":[95,128],"possible":[96],"failure":[97],"unimodality,":[99],"h_j":[100],">":[101],"h_k":[102],"<":[103],"h_l,":[104],"to":[105],"one":[106],"30":[108],"explicit":[109,171],"0/1":[110],"systems,":[111],"using":[112],"an":[113,157,170,201],"encoding":[114],"lemma":[115],"by":[117,124,131,139,146],"hand.":[118],"Each":[119],"system":[120,143],"shown":[122],"infeasible":[123],"integer":[125],"programming,":[126],"refuted":[130],"SAT":[132],"solvers":[133],"whose":[134],"DRUP/DRAT":[135],"proofs":[136],"checked":[138],"drat-trim.":[140],"hardest":[142],"split,":[145],"three":[147],"elementary":[148],"covering":[149],"arguments,":[150],"into":[151],"454":[152],"separately":[153],"certified":[154],"cases,":[155],"audit":[158,196],"script":[159],"confirms":[160],"case":[163],"tree":[164],"complete.":[166],"also":[168],"record":[169],"7":[178],"(1,":[182],"10,":[184],"20,":[185],"35,":[186],"42,":[187],"41,":[188],"42).":[189],"CNF":[191],"formulas,":[192],"logs,":[193],"scripts":[194],"tools":[197],"provided":[199],"as":[200],"ancillary":[202],"package.":[203]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}