{"id":"https://openalex.org/W7166688022","doi":"https://doi.org/10.48550/arxiv.2606.30330","title":"Value Functions of Separable Convex Integer Programs are Periodically Convex","display_name":"Value Functions of Separable Convex Integer Programs are Periodically Convex","publication_year":2026,"publication_date":"2026-06-29","ids":{"openalex":"https://openalex.org/W7166688022","doi":"https://doi.org/10.48550/arxiv.2606.30330"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2606.30330","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2606.30330","pdf_url":"https://arxiv.org/pdf/2606.30330","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2606.30330","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5124863033","display_name":"Koen Ligthart","orcid":"https://orcid.org/0009-0004-6823-5225","observed_orcids":["https://orcid.org/0009-0004-6823-5225"]},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Ligthart, Koen","raw_affiliation_strings":["Eindhoven University of Technology , Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology , Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5124863033"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9761000275611877,"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.9761000275611877,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.00860000029206276,"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/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.005200000014156103,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"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/value-function","display_name":"value function","score":0.7940000295639038},{"id":"https://openalex.org/keywords/integer-programming","display_name":"integer programming","score":0.6309999823570251},{"id":"https://openalex.org/keywords/integer-decomposition-property","display_name":"integer decomposition property","score":0.8220000267028809},{"id":"https://openalex.org/keywords/fixed-parameter-tractable-algorithms","display_name":"fixed-parameter tractable algorithms","score":0.9340000152587891},{"id":"https://openalex.org/keywords/constraint-matrix","display_name":"constraint matrix","score":0.40799999237060547}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7634000182151794},{"id":"https://openalex.org/C72134830","wikidata":"https://www.wikidata.org/wiki/Q5166524","display_name":"Convexity","level":2,"score":0.7555999755859375},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.6141999959945679},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.5396000146865845},{"id":"https://openalex.org/C145446738","wikidata":"https://www.wikidata.org/wiki/Q319913","display_name":"Convex function","level":3,"score":0.5094000101089478},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4316999912261963},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.42969998717308044},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.42160001397132874},{"id":"https://openalex.org/C157972887","wikidata":"https://www.wikidata.org/wiki/Q463359","display_name":"Convex optimization","level":3,"score":0.41530001163482666},{"id":"https://openalex.org/C12108790","wikidata":"https://www.wikidata.org/wiki/Q2234833","display_name":"Convex analysis","level":4,"score":0.40869998931884766},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4020000100135803},{"id":"https://openalex.org/C136719777","wikidata":"https://www.wikidata.org/wiki/Q3610230","display_name":"Logarithmically convex function","level":5,"score":0.37720000743865967},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.373199999332428},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3619999885559082},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.31610000133514404},{"id":"https://openalex.org/C50862404","wikidata":"https://www.wikidata.org/wiki/Q3075259","display_name":"Proper convex function","level":5,"score":0.31360000371932983},{"id":"https://openalex.org/C111110010","wikidata":"https://www.wikidata.org/wiki/Q2627315","display_name":"Convex combination","level":4,"score":0.30959999561309814},{"id":"https://openalex.org/C178621042","wikidata":"https://www.wikidata.org/wiki/Q7631710","display_name":"Submodular set function","level":2,"score":0.3077000081539154},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.2948000133037567},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.29420000314712524},{"id":"https://openalex.org/C66690126","wikidata":"https://www.wikidata.org/wiki/Q2914302","display_name":"Concave function","level":3,"score":0.28700000047683716},{"id":"https://openalex.org/C200661725","wikidata":"https://www.wikidata.org/wiki/Q289500","display_name":"Subderivative","level":4,"score":0.2809999883174896},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2628999948501587},{"id":"https://openalex.org/C201829737","wikidata":"https://www.wikidata.org/wiki/Q2022760","display_name":"Linear matrix inequality","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C49870271","wikidata":"https://www.wikidata.org/wiki/Q193657","display_name":"Convex set","level":4,"score":0.2565999925136566},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.25279998779296875}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2606.30330","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2606.30330","pdf_url":"https://arxiv.org/pdf/2606.30330","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2606.30330","doi":"https://doi.org/10.48550/arxiv.2606.30330","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.30330","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2606.30330","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2606.30330","pdf_url":"https://arxiv.org/pdf/2606.30330","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7166688022.pdf","grobid_xml":"https://content.openalex.org/works/W7166688022.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W23064316","https://openalex.org/W49239469","https://openalex.org/W1611929244","https://openalex.org/W1997209544","https://openalex.org/W2008131758","https://openalex.org/W2014108043","https://openalex.org/W2065803772","https://openalex.org/W2066529724","https://openalex.org/W2096289723","https://openalex.org/W2117784255","https://openalex.org/W2142730850","https://openalex.org/W2152514082","https://openalex.org/W2267635161","https://openalex.org/W2293616868","https://openalex.org/W2296319761","https://openalex.org/W2726911201","https://openalex.org/W2898977239","https://openalex.org/W2907007587","https://openalex.org/W2912877111","https://openalex.org/W2980518871","https://openalex.org/W2982696310","https://openalex.org/W2989242881","https://openalex.org/W3046255848","https://openalex.org/W3082581272","https://openalex.org/W3164214753","https://openalex.org/W3175301078","https://openalex.org/W3197427365","https://openalex.org/W4205502224","https://openalex.org/W4288376497","https://openalex.org/W4296965663","https://openalex.org/W4304701300","https://openalex.org/W4376874338","https://openalex.org/W4390580342","https://openalex.org/W4401700153","https://openalex.org/W4413062896","https://openalex.org/W6966476264","https://openalex.org/W6966930511","https://openalex.org/W7118699470"],"related_works":["https://openalex.org/W7138872725","https://openalex.org/W2152514082","https://openalex.org/W7010026115","https://openalex.org/W7132072051","https://openalex.org/W3182675220","https://openalex.org/W6966930511","https://openalex.org/W2053352956","https://openalex.org/W280145399","https://openalex.org/W7214066204","https://openalex.org/W2155932672"],"abstract_inverted_index":{"We":[0,15,93,136],"consider":[1],"the":[2,27,35,45,64,85,111,126,178,185,189,193,196,203,226,230,236],"periodic":[3,66,97,104,128,139],"behavior":[4],"of":[5,12,44,68,88,115,132,147,184,188,195,205,229,238],"value":[6,36,144],"functions":[7,70,74,240],"$b\\mapsto\\min\\{f(x)\\":[8],"\\vert\\":[9],"Ax=b,\\,x\\in\\mathbb":[10],"Z_{\\ge0}^n\\}$":[11],"integer":[13,22,112,149,166,170],"programs.":[14],"show":[16,142],"that":[17,34,103,143,241],"there":[18],"exists":[19],"a":[20],"positive":[21],"$M$":[23],"depending":[24],"only":[25],"on":[26,41,225],"constraint":[28,190],"matrix":[29],"$A\\in\\mathbb":[30],"Z^{m\\times":[31],"n}$":[32],"so":[33],"function":[37,58,145],"is":[38,108],"convex":[39,56,90],"extensible":[40],"any":[42,50,54],"subdomain":[43],"form":[46],"$r+M\\mathbb":[47],"Z^m$":[48,52],"for":[49,71],"$r\\in\\mathbb":[51],"and":[53,80,168,181,217,234],"separable":[55,89,248],"objective":[57,73,91,239],"$f$.":[59],"With":[60],"this,":[61],"we":[62,119,162],"extend":[63,125,235],"known":[65],"convexity":[67,98,105,129,140],"such":[69],"linear":[72,246],"$f$,":[75],"as":[76],"established":[77],"by":[78,100,177,212],"Eisenbrand":[79],"Rothvoss":[81],"(SODA":[82],"26),":[83],"to":[84,110,124,130,141,199,247],"broader":[86],"class":[87,237],"functions.":[92],"derive":[94],"our":[95,221],"main":[96],"result":[99],"first":[101],"showing":[102],"along":[106],"lines":[107],"equivalent":[109],"decomposition":[113],"property":[114],"dilated":[116],"polyhedra.":[117],"Subsequently,":[118],"use":[120],"Graver":[121],"basis":[122],"techniques":[123],"$1$-dimensional":[127],"domains":[131],"arbitrary":[133],"fixed":[134],"dimension.":[135],"apply":[137],"this":[138,206],"reformulations":[146],"block-structured":[148],"programs":[150,167,171],"become":[151],"periodically":[152],"convex,":[153],"which":[154,208],"yields":[155],"fixed-parameter":[156],"tractable":[157],"(FPT)":[158],"algorithms.":[159],"More":[160],"specifically,":[161],"optimize":[163],"two-stage":[164],"stochastic":[165],"$n$-fold":[169],"in":[172],"FPT":[173],"time":[174],"when":[175],"parameterized":[176],"block":[179],"dimensions":[180],"coefficient":[182],"size":[183],"local":[186],"blocks":[187,198],"matrix,":[191],"allowing":[192],"coefficients":[194],"global":[197],"be":[200,243],"large.":[201],"In":[202],"setting":[204],"parameterization,":[207],"was":[209],"recently":[210],"introduced":[211],"Cslovjecsek,":[213],"Kouteck\u00fd,":[214],"Lassota,":[215],"Pilipczuk,":[216],"Polak":[218],"(TheoretiCS":[219],"2025),":[220],"algorithms":[222,233],"exponentially":[223],"improve":[224],"running":[227],"times":[228],"previous":[231],"optimization":[232],"can":[242],"optimized":[244],"from":[245],"convex.":[249]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-07-01T00:00:00"}