{"title":"On the Existence and Properties of Convex Extensions of Boolean Functions","authors":"D. N. Barotov","doi":"10.1134/s0001434624030210","DOIUrl":null,"url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p> We study the problem of the existence of a convex extension of any Boolean function <span>\\(f(x_1,x_2,\\dots,x_n)\\)</span> to the set <span>\\([0,1]^n\\)</span>. A convex extension <span>\\(f_C(x_1,x_2,\\dots,x_n)\\)</span> of an arbitrary Boolean function <span>\\(f(x_1,x_2,\\dots,x_n)\\)</span> to the set <span>\\([0,1]^n\\)</span> is constructed. On the basis of the constructed convex extension <span>\\(f_C(x_1,x_2,\\dots,x_n)\\)</span>, it is proved that any Boolean function <span>\\(f(x_1,x_2,\\dots,x_n)\\)</span> has infinitely many convex extensions to <span>\\([0,1]^n\\)</span>. Moreover, it is proved constructively that, for any Boolean function <span>\\(f(x_1,x_2,\\dots,x_n)\\)</span>, there exists a unique function <span>\\(f_{DM}(x_1,x_2,\\dots,x_n)\\)</span> being its maximal convex extensions to <span>\\([0,1]^n\\)</span>. </p>","PeriodicalId":18294,"journal":{"name":"Mathematical Notes","volume":"3 1","pages":""},"PeriodicalIF":0.6000,"publicationDate":"2024-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Notes","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1134/s0001434624030210","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
We study the problem of the existence of a convex extension of any Boolean function \(f(x_1,x_2,\dots,x_n)\) to the set \([0,1]^n\). A convex extension \(f_C(x_1,x_2,\dots,x_n)\) of an arbitrary Boolean function \(f(x_1,x_2,\dots,x_n)\) to the set \([0,1]^n\) is constructed. On the basis of the constructed convex extension \(f_C(x_1,x_2,\dots,x_n)\), it is proved that any Boolean function \(f(x_1,x_2,\dots,x_n)\) has infinitely many convex extensions to \([0,1]^n\). Moreover, it is proved constructively that, for any Boolean function \(f(x_1,x_2,\dots,x_n)\), there exists a unique function \(f_{DM}(x_1,x_2,\dots,x_n)\) being its maximal convex extensions to \([0,1]^n\).
期刊介绍:
Mathematical Notes is a journal that publishes research papers and review articles in modern algebra, geometry and number theory, functional analysis, logic, set and measure theory, topology, probability and stochastics, differential and noncommutative geometry, operator and group theory, asymptotic and approximation methods, mathematical finance, linear and nonlinear equations, ergodic and spectral theory, operator algebras, and other related theoretical fields. It also presents rigorous results in mathematical physics.