Asymptotic Nonlinearity of Boolean Functions

Boolean functions on the space are not only important in the theory of error-correcting codes, but also in cryptography. In these two cases, the nonlinearity of these functions is a main concept. Carlet, Olejár and Stanek gave an asymptotic lower bound for the nonlinearity of most of them, and I gave an asymptotic upper bound which was strictly larger. In this article, I improve the bounds and get an exact limit for the nonlinearity of most of Boolean functions. This article is inspired by a paper of G. Halász about the related problem of real polynomials with random coefficients. AMS Classification (2000) Primary: 11T71 · Secondary: 06E30 · 42A05 · 94C10     

一类4次旋转对称布尔函数的汉明重量和非线性度

旋转对称布尔函数在密码学中具有重要的应用价值.本文研究了一类特殊4次的旋转对称布尔函数的快速求值及其汉明重量的递归关系,通过将该函数分解成数个子函数,并利用这些函数的傅里叶变换值的递归关系,证明了其汉明重量与非线性度相等.本文的结果和处理指数和的方法对于进一步研究Cusick的一个猜想可能有帮助.     

伪Smarandache函数的上下界

对于正整数n,设Z(n)=min{m|m∈N,1/2m(m+1)≡0(modn)},称为n的伪Smarandache函数.设r是正整数.根据广义Ramanujan-Nagell方程的结果,运用初等数论方法证明了下列结果:i)1/2(-1+(8n+1)≤Z(n)≤2n-1.ii)当r≠1,2,3或5时,Z(2~r+1)≥1/2(-1+(2~(r+3)·5+41)).iii)当r≠1,2,3,4或12时,Z(2~r-1)≥1/2(-1+(2~(r+3)·3-23).     

布尔“复合函数”的Walsh循环谱和自相关函数

本文利用布尔随机变量联合分布的分解式给出了布尔“复合函数”和某布尔函数符合率的分解算式,由此求得了布尔“复合函数”的 Walsh循环谱和自相关函数的计算公式,公式清楚地表明了“复合”所得布尔函数的 Walsh循环谱与起“复合”作用的函数和被“复合”的各函数所有线性组合的 Walsh循环谱之间的关系、“复合”所得布尔函数的自相关函数与起“复合”作用的函数谱和被“复合”的各函数的谱及相关函数之间的关系,这两个公式在布尔函数的密码学性质研究中会有广泛的应用.     

A refinement of Cusick-Cheon bound for the second order binary Reed-Muller code

We prove a stronger form of the conjectured Cusick-Cheon lower bound for the number of quadratic balanced Boolean functions. We also prove various asymptotic results involving B(k,m), the number of balanced Boolean functions of degree ≤k in m variables, in the case k=2. Finally, we connect our results for k=2 with the (still unproved) conjectures of Cusick-Cheon for the functions B(k,m) with k>2.     

Vectorial Resilient PC（l） of Order k Boolean Functions from AG-Codes

Propagation criteria and resiliency of vectorial Boolean functions are important for cryptographic purpose (see [1–4, 7, 8, 10, 11, 16]). Kurosawa, Stoh [8] and Carlet [1] gave a construction of Boolean functions satisfying PC(l) of order k from binary linear or nonlinear codes. In this paper, the algebraic-geometric codes over GF(2m) are used to modify the Carlet and Kurosawa-Satoh’s construction for giving vectorial resilient Boolean functions satisfying PC(l) of order k criterion. This new construction is compared with previously known results.     

关于Wallis不等式的上界和下界

利用Wallis公式对两个已知的不等式进行了改进,相应地,我们得到了两个更加精细的结果.     

布尔函数的判定树复杂性及问题

设f（x₁,x₂,…,x_n）是一个布尔函数。如果计算f（x₁,x₂,…,x_n）的每个判定树算法在最坏情况下都要检查所有n个变量才能求得f的值,则称f是诡秘函数。1988年,A.C.C.Yao提出一个问题:如果一个单调非平凡的布尔函数f（x₁,x₂,…,x_n）在循环群C_m×C_n的直积的可迁作用下不变,则f是诡秘的吗?对这个问题的肯定回答支持著名的Rivest-Vuillemin猜想.本文将部分地解答这一问题.     

An Upper Bound on the Number of Iterations for Transforming a Boolean Function of Degree Greater or Equal Than 4 to a Function of Degree 3

The difficulty involved in characterizing the weight distribution of all Boolean functions of degree 3 is well-known [2, p. 446]. In [1] the author introduces a transformation on Boolean functions which changes their weights in a way that is easy to follow, and which, when iterated, reduces the degree of the function to 2 or 3. He concludes that it is just as difficult to characterize the weight of any function of degree 3 as it is for any other degree. The application of this transformation on a Boolean function defined on , increases the number of its variables by two. On the other hand, in order to reduce the degree of a function to 2 or 3 it is necessary to apply the tranformation a number of times that grows exponentially with respect to m. In this paper, a factorization method on Boolean functions that allows the establishment of an upper bound for the number of applications of the transformation is presented. It shows that, in general, it is possible to significantly decrease the number of iterations in this process of degree reduction.     

Upper and Lower Bounds of Table Sums

For a group G,we produce upper and lower bounds for the sum of the entries of the Brauer character table of G and the projective indecomposable character table of G.When G is a π-separable group,we show that the sum of the entries in the table of Isaacs' partial characters is a real number,and we obtain upper and lower bounds for this sum.     

布尔矩阵维数的缺断区间(英)

本文证明了n维布尔矩阵维数的一个新的缺断区间为这一结果扩充了一些已知的结论．     

Covering Sequences of Boolean Functions and Their Cryptographic Significance

We introduce the notion of covering sequence of a Boolean function, related to the derivatives of the function. We give complete characterizations of balancedness, correlation immunity and resiliency of Boolean functions by means of their covering sequences. By considering particular covering sequences, we define subclasses of (correlation-immune) resilient functions. We derive upper bounds on their algebraic degrees and on their nonlinearities. We give constructions of resilient functions belonging to these classes. We show that they achieve the best known trade-off between order of resiliency, nonlinearity and algebraic degree.     

Construction of balanced Boolean functions with high nonlinearity,good local and global avalanche characteristics

Boolean functions possessing multiple cryptographic criteria play an important role in the design of symmetric cryptosystems. The following criteria for cryptographic Boolean functions are often considered: high nonlinearity, balancedness, strict avalanche criterion, and global avalanche characteristics. The trade-off among these criteria is a difficult problem and has attracted many researchers. In this paper, two construction methods are provided to obtain balanced Boolean functions with high nonlinearity. Besides, the constructed functions satisfy strict avalanche criterion and have good global avalanche characteristics property. The algebraic immunity of the constructed functions is also considered.     

Upper and Lower Bounds on the Dimension of Superspline Spaces

Upper and lower bounds are provided on the dimension of bivariate polynomial superspline spaces which are defined by enforcing smoothness conditions across the interior edges of the underlying triangulation. The results generalize known bounds for classical spline spaces. As an example of the usefulness of such bounds, we show how they can be applied to analyze a new macroelement.     

单调递增分形函数上、下界的估计

Mass distribution principle is one of important tools in studying Hausdorff dimension and Hausdorff measure.In this paper we will give a numerical approximate method of upper bound and lower bound of mass distribution function f(x)(it is a monotone increasing fractal function)and its some applications.     

Upper and Lower Bounds for the Stanley Depth of Certain Classes of Monomial Ideals and Their Residue Class Rings

We give an upper bound for the Stanley depth of the edge ideal of a complete k-partite hypergraph and as an application we give an upper bound for the Stanley depth of a monomial ideal in a polynomial ring S. We also give a lower and an upper bound for the cyclic module S/I associated to the complete k-partite hypergraph.     

Minimization of a Quadratic Function of Many Variables Subject only to Lower and Upper Bounds

Methods for solving this problem are considered with particularreference to achieving maximum efficiency. A streamlined versionof Fletcher's (1971) method for quadratic programming is consideredand also a new approach based on the use of partial LDL^T factorizations.Results on a wide variety of test problems indicate that theLDL^T method is superior in both efficiency and error control.This method can often be expected to solve the problem in atime comparable to that required for a Choleski factorization,and always in a small multiple of this time.     

关于A-H上下界的几个结果

关于算术平均和调和平均的差的估计,利用最值压缩定理,给出了其四个新的上下界.