Alexandr Polujan, Enes Pasalic, Sadmir Kudin, Fengrong Zhang
{"title":"满足对偶弯曲条件的弯曲函数和具有 $$(\\mathcal {A}_m)$$ 属性的排列组合","authors":"Alexandr Polujan, Enes Pasalic, Sadmir Kudin, Fengrong Zhang","doi":"10.1007/s12095-024-00724-z","DOIUrl":null,"url":null,"abstract":"<p>The concatenation of four Boolean bent functions <span>\\(f=f_1||f_2||f_3||f_4\\)</span> is bent if and only if the dual bent condition <span>\\(f_1^* + f_2^* + f_3^* + f_4^* =1\\)</span> is satisfied. However, to specify four bent functions satisfying this duality condition is in general quite a difficult task. Commonly, to simplify this problem, certain relations between <span>\\(f_i\\)</span> are assumed, as well as functions <span>\\(f_i\\)</span> of a special shape are considered, e.g., <span>\\(f_i(x,y)=x\\cdot \\pi _i(y)+h_i(y)\\)</span> are Maiorana-McFarland bent functions. In the case when permutations <span>\\(\\pi _i\\)</span> of <span>\\(\\mathbb {F}_2^m\\)</span> have the <span>\\((\\mathcal {A}_m)\\)</span> property and Maiorana-McFarland bent functions <span>\\(f_i\\)</span> satisfy the additional condition <span>\\(f_1+f_2+f_3+f_4=0\\)</span>, the dual bent condition is known to have a relatively simple shape allowing to specify the functions <span>\\(f_i\\)</span> explicitly. In this paper, we generalize this result for the case when Maiorana-McFarland bent functions <span>\\(f_i\\)</span> satisfy the condition <span>\\(f_1(x,y)+f_2(x,y)+f_3(x,y)+f_4(x,y)=s(y)\\)</span> and provide a construction of new permutations with the <span>\\((\\mathcal {A}_m)\\)</span> property from the old ones. Combining these two results, we obtain a recursive construction method of bent functions satisfying the dual bent condition. Moreover, we provide a generic condition on the Maiorana-McFarland bent functions <span>\\(f_1,f_2,f_3,f_4\\)</span> stemming from the permutations of <span>\\(\\mathbb {F}_2^m\\)</span> with the <span>\\((\\mathcal {A}_m)\\)</span> property, such that the concatenation <span>\\(f=f_1||f_2||f_3||f_4\\)</span> does not belong, up to equivalence, to the Maiorana-McFarland class. Using monomial permutations <span>\\(\\pi _i\\)</span> of <span>\\(\\mathbb {F}_{2^m}\\)</span> with the <span>\\((\\mathcal {A}_m)\\)</span> property and monomial functions <span>\\(h_i\\)</span> on <span>\\(\\mathbb {F}_{2^m}\\)</span>, we provide explicit constructions of such bent functions; a particular case of our result shows how one can construct bent functions from APN permutations, when <i>m</i> is odd. Finally, with our construction method, we explain how one can construct homogeneous cubic bent functions, noticing that only very few design methods of these objects are known.</p>","PeriodicalId":10788,"journal":{"name":"Cryptography and Communications","volume":"38 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Bent functions satisfying the dual bent condition and permutations with the $$(\\\\mathcal {A}_m)$$ property\",\"authors\":\"Alexandr Polujan, Enes Pasalic, Sadmir Kudin, Fengrong Zhang\",\"doi\":\"10.1007/s12095-024-00724-z\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>The concatenation of four Boolean bent functions <span>\\\\(f=f_1||f_2||f_3||f_4\\\\)</span> is bent if and only if the dual bent condition <span>\\\\(f_1^* + f_2^* + f_3^* + f_4^* =1\\\\)</span> is satisfied. However, to specify four bent functions satisfying this duality condition is in general quite a difficult task. Commonly, to simplify this problem, certain relations between <span>\\\\(f_i\\\\)</span> are assumed, as well as functions <span>\\\\(f_i\\\\)</span> of a special shape are considered, e.g., <span>\\\\(f_i(x,y)=x\\\\cdot \\\\pi _i(y)+h_i(y)\\\\)</span> are Maiorana-McFarland bent functions. In the case when permutations <span>\\\\(\\\\pi _i\\\\)</span> of <span>\\\\(\\\\mathbb {F}_2^m\\\\)</span> have the <span>\\\\((\\\\mathcal {A}_m)\\\\)</span> property and Maiorana-McFarland bent functions <span>\\\\(f_i\\\\)</span> satisfy the additional condition <span>\\\\(f_1+f_2+f_3+f_4=0\\\\)</span>, the dual bent condition is known to have a relatively simple shape allowing to specify the functions <span>\\\\(f_i\\\\)</span> explicitly. In this paper, we generalize this result for the case when Maiorana-McFarland bent functions <span>\\\\(f_i\\\\)</span> satisfy the condition <span>\\\\(f_1(x,y)+f_2(x,y)+f_3(x,y)+f_4(x,y)=s(y)\\\\)</span> and provide a construction of new permutations with the <span>\\\\((\\\\mathcal {A}_m)\\\\)</span> property from the old ones. Combining these two results, we obtain a recursive construction method of bent functions satisfying the dual bent condition. Moreover, we provide a generic condition on the Maiorana-McFarland bent functions <span>\\\\(f_1,f_2,f_3,f_4\\\\)</span> stemming from the permutations of <span>\\\\(\\\\mathbb {F}_2^m\\\\)</span> with the <span>\\\\((\\\\mathcal {A}_m)\\\\)</span> property, such that the concatenation <span>\\\\(f=f_1||f_2||f_3||f_4\\\\)</span> does not belong, up to equivalence, to the Maiorana-McFarland class. Using monomial permutations <span>\\\\(\\\\pi _i\\\\)</span> of <span>\\\\(\\\\mathbb {F}_{2^m}\\\\)</span> with the <span>\\\\((\\\\mathcal {A}_m)\\\\)</span> property and monomial functions <span>\\\\(h_i\\\\)</span> on <span>\\\\(\\\\mathbb {F}_{2^m}\\\\)</span>, we provide explicit constructions of such bent functions; a particular case of our result shows how one can construct bent functions from APN permutations, when <i>m</i> is odd. Finally, with our construction method, we explain how one can construct homogeneous cubic bent functions, noticing that only very few design methods of these objects are known.</p>\",\"PeriodicalId\":10788,\"journal\":{\"name\":\"Cryptography and Communications\",\"volume\":\"38 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-06-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Cryptography and Communications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s12095-024-00724-z\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Cryptography and Communications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s12095-024-00724-z","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Bent functions satisfying the dual bent condition and permutations with the $$(\mathcal {A}_m)$$ property
The concatenation of four Boolean bent functions \(f=f_1||f_2||f_3||f_4\) is bent if and only if the dual bent condition \(f_1^* + f_2^* + f_3^* + f_4^* =1\) is satisfied. However, to specify four bent functions satisfying this duality condition is in general quite a difficult task. Commonly, to simplify this problem, certain relations between \(f_i\) are assumed, as well as functions \(f_i\) of a special shape are considered, e.g., \(f_i(x,y)=x\cdot \pi _i(y)+h_i(y)\) are Maiorana-McFarland bent functions. In the case when permutations \(\pi _i\) of \(\mathbb {F}_2^m\) have the \((\mathcal {A}_m)\) property and Maiorana-McFarland bent functions \(f_i\) satisfy the additional condition \(f_1+f_2+f_3+f_4=0\), the dual bent condition is known to have a relatively simple shape allowing to specify the functions \(f_i\) explicitly. In this paper, we generalize this result for the case when Maiorana-McFarland bent functions \(f_i\) satisfy the condition \(f_1(x,y)+f_2(x,y)+f_3(x,y)+f_4(x,y)=s(y)\) and provide a construction of new permutations with the \((\mathcal {A}_m)\) property from the old ones. Combining these two results, we obtain a recursive construction method of bent functions satisfying the dual bent condition. Moreover, we provide a generic condition on the Maiorana-McFarland bent functions \(f_1,f_2,f_3,f_4\) stemming from the permutations of \(\mathbb {F}_2^m\) with the \((\mathcal {A}_m)\) property, such that the concatenation \(f=f_1||f_2||f_3||f_4\) does not belong, up to equivalence, to the Maiorana-McFarland class. Using monomial permutations \(\pi _i\) of \(\mathbb {F}_{2^m}\) with the \((\mathcal {A}_m)\) property and monomial functions \(h_i\) on \(\mathbb {F}_{2^m}\), we provide explicit constructions of such bent functions; a particular case of our result shows how one can construct bent functions from APN permutations, when m is odd. Finally, with our construction method, we explain how one can construct homogeneous cubic bent functions, noticing that only very few design methods of these objects are known.