Hyper-bent functions and cyclic codes

Bent functions are those Boolean functions whose Hamming distance to the Reed-Muller code of order 1 equal 2^n-1-2^n/2-1 (where the number n of variables is even). These combinatorial objects, with fascinating properties, are rare. Few constructions are known, and it is difficult to know whether the bent functions they produce are peculiar or not, since no way of generating at random bent functions on 8 variables or more is known.The class of bent functions contains a subclass of functions whose properties are still stronger and whose elements are still rarer. Youssef and Gong have proved the existence of such hyper-bent functions, for every even n. We prove that the hyper-bent functions they exhibit are exactly those elements of the well-known PS_ap class, introduced by Dillon, up to the linear transformations x?δx, . Hyper-bent functions seem still more difficult to generate at random than bent functions; however, by showing that they all can be obtained from some codewords of an extended cyclic code H_n with small dimension, we can enumerate them for up to 10 variables. We study the non-zeroes of H_n and we deduce that the algebraic degree of hyper-bent functions is n/2. We also prove that the functions of class PS_ap are some codewords of weight 2^n-1-2^n/2-1 of a subcode of H_n and we deduce that for some n, depending on the factorization of 2ⁿ-1, the only hyper-bent functions on n variables are the elements of the class , obtained from PS_ap by composing the functions by the transformations x?δx, δ≠0, and by adding constant functions. We prove that non- hyper-bent functions exist for n=4, but it is not clear whether they exist for greater n. We also construct potentially new bent functions for n=12.     

Dimension-like functions of the type dim and universality

In [S.D. Iliadis, Universal Spaces and Mappings, North-Holland Math. Stud., vol. 198, Elsevier Science B.V., Amsterdam, 2005, xvi+559 pp.] base dimension-like functions of the type ind, Ind, and dim were defined. The domains of all these functions are classes of pairs (B,X), where B is a base of the space X. Also, positional base dimension-like functions of the type ind were defined whose domains are triples (Q,B,X), where Q is a subset of a space X and B is a base for Q in X. In [D.N. Georgiou, S.D. Iliadis, A.C. Megaritis, Dimension-like functions and universality, Topology Appl. 155 (2008) 2196-2201] and [D.N. Georgiou, S.D. Iliadis, A.C. Megaritis, The universality property for some dimension-like functions, Questions Answers Gen. Topology, in press] some dimension-like functions and positional dimension-like functions of type Ind, respectively are defined. All the above dimension-like functions are studied with respect to the property of universality. Here, we give positional base dimension-like functions of the type dim and prove the property of universality for these functions.     

Sufficiency and duality in nondifferentiable multiobjective programming involving generalized type I functions

Recently, Hachimi and Aghezzaf defined generalized (F,α,ρ,d)-type I functions, a new class of functions that unifies several concepts of generalized type I functions. In this paper, the generalized (F,α,ρ,d)-type I functions are extended to nondifferentiable functions. By utilizing the new concepts, we obtain several sufficient optimality conditions and prove mixed type and Mond-Weir type duality results for the nondifferentiable multiobjective programming problem.     

Functions and Sets of Smooth Substructure: Relationships and Examples

The past decade has seen the introduction of a number of classes of nonsmooth functions possessing smooth substructure, e.g., “amenable functions”, “partly smooth functions”, and “g ° F decomposable functions”. Along with these classes a number of structural properties have been proposed, e.g., “identifiable surfaces”, “fast tracks”, and “primal-dual gradient structures”. In this paper we examine the relationships between these various classes of functions and their smooth substructures. In the convex case we show that the definitions of identifiable surfaces, fast tracks, and partly smooth functions are equivalent. In the nonconvex case we discuss when a primal-dual gradient structure or g ° F decomposition implies the function is partly smooth, and vice versa. We further provide examples to show these classes are not equal.     

Triangle path transit functions, betweenness and pseudo-modular graphs

The geodesic and induced path transit functions are the two well-studied interval functions in graphs. Two important transit functions related to the geodesic and induced path functions are the triangle path transit functions which consist of all vertices on all u,v-shortest (induced) paths or all vertices adjacent to two adjacent vertices on all u,v-shortest (induced) paths, for any two vertices u and v in a connected graph G. In this paper we study the two triangle path transit functions, namely the I^Δ and J^Δ on G. We discuss the betweenness axioms, for both triangle path transit functions. Also we present a characterization of pseudo-modular graphs using the transit function I^Δ by forbidden subgraphs.     

A class of uniform functions and its relationship with the class of measurable functions

Borel, Lebesgue, and Hausdorff described all uniformly closed families of real-valued functions on a set T whose algebraic properties are just like those of the set of all continuous functions with respect to some open topology on T. These families turn out to be exactly the families of all functions measurable with respect to some σ-additive and multiplicative ensembles on T. The problem of describing all uniformly closed families of bounded functions whose algebraic properties are just like those of the set of all continuous bounded functions remained unsolved. In the paper, a solution of this problem is given with the help of a new class of functions that are uniform with respect to some multiplicative families of finite coverings on T. It is proved that the class of uniform functions differs from the class of measurable functions.     

On differential uniformity and nonlinearity of functions

We present results related to vectorial plateaued functions and mappings whose derivatives are 2^s-to-1 functions. The results in this note generalize facts about almost perfect nonlinear and almost bent functions. We investigate the connection between plateaued and 2^s-to-1 functions. We show that functions which are both plateaued and differentially uniform give rise to partial difference sets.     

Curves and Surfaces Construction Based on New Basis with Exponential Functions

By incorporating two exponential functions into the cubic Bernstein basis functions, a new class of λμ-Bernstein basis functions is constructed. Based on these λμ-Bernstein basis functions, a kind of λμ-Bézier-like curve with two shape parameters, which include the cubic Bernstein-Bézier curve, is proposed. The C ¹ and C ² continuous conditions for joining two λμ-Bézier-like curves are given. By using tensor product method, a class of rectangular Bézier-like patches with four shape parameters is shown. The G ¹ and G ² continuous conditions for joining two rectangular Bézier-like patches are derived. By incorporating three exponential functions into the cubic Bernstein basis functions over triangular domain, a new class of λμη-Bernstein basis functions over triangular domain is also constructed. Based on the λμη-Bernstein basis functions, a kind of triangular λμη-Bézier-like patch with three shape parameters, which include the triangular Bernstein-Bézier cubic patch, is presented. The conditions for G ¹ continuous smooth joining two triangular λμη-Bézier-like patches are discussed. The shape parameters serve as tension parameters and have a predictable adjusting role on the curves and patches.     

Estimates for k-Hessian operator and some applications

The k-convex functions are the viscosity subsolutions to the fully nonlinear elliptic equations F _k [u] = 0, where F _k [u] is the elementary symmetric function of order k, 1 ? ? 6 n, of the eigenvalues of the Hessian matrix D ² u. For example, F ₁[u] is the Laplacian Δu and F _n [u] is the real Monge-Ampère operator detD ² u, while 1-convex functions and n-convex functions are subharmonic and convex in the classical sense, respectively. In this paper, we establish an approximation theorem for negative k-convex functions, and give several estimates for the mixed k-Hessian operator. Applications of these estimates to the k-Green functions are also established.     

Zonal spherical functions on the complex reflection groups and (n+1,m+1)-hypergeometric functions

The pair of groups, complex reflection group G(r,1,n) and symmetric group S_n, is a Gelfand pair. Its zonal spherical functions are expressed in terms of multivariate hypergeometric functions called (n+1,m+1)-hypergeometric functions. Since the zonal spherical functions have orthogonality, they form discrete orthogonal polynomials. Also shown is a relation between monomial symmetric functions and the (n+1,m+1)-hypergeometric functions.     

Mappings of acyclic and parking functions

The two functions in question are mappings: [n]→[n], with [n] = {1, 2,?,n}. The acyclic function may be represented by forests of labeled rooted trees, or by free trees withn + 1 points; the parking functions are associated with the simplest ballot problem. The total number of each is (n + 1) ^n-1. The first of two mappings given is based on a simple mapping, due to H. O. Pollak, of parking functions on tree codes. In the second, each kind of function is mapped on permutations, arising naturally from characterizations of the functions. Several enumerations are given to indicate uses of the mappings.     

Properties for uniformly starlike and related functions under the Srivastava-Attiya operator

In the present paper, we introduce and investigate classes of analytic functions involving the Srivastava-Attiya operator. Basic properties for β-uniformly starlike functions of order γ are studied, such as inclusion relations, sufficient conditions, coefficient inequalities and distortion inequalities. The results are also extended to β-uniformly convex, close-to-convex, and quasi-convex functions. Relevant connections of the results presented here with those obtained in earlier works are also pointed out.     

Harmonic functions on [IN] and central hypergroups

In this paper we introduce the notions of [I N] and [S I N]-hypergroups and prove a Choquet-Deny type theorem for [I N] and central hypergroups. More precisely, we prove a Liouville theorem for bounded harmonic functions on a class of [I N]-hypergroups. Further, we show that positive harmonic functions on [I N]-hypergroups are integrals of exponential functions. Similar results are proved for [S I N] and central hypergroups.     

Bundles, presemifields and nonlinear functions

Bundles are equivalence classes of functions derived from equivalence classes of transversals. They preserve measures of resistance to differential and linear cryptanalysis. For functions over GF(2 ⁿ ), affine bundles coincide with EA-equivalence classes. From equivalence classes (“bundles”) of presemifields of order p ⁿ , we derive bundles of functions over GF(p ⁿ ) of the form λ(x)*ρ(x), where λ, ρ are linearised permutation polynomials and * is a presemifield multiplication. We prove there are exactly p bundles of presemifields of order p ² and give a representative of each. We compute all bundles of presemifields of orders p ⁿ ≤ 27 and in the isotopism class of GF(32) and we measure the differential uniformity of the derived λ(x)*ρ(x). This technique produces functions with low differential uniformity, including PN functions (p odd), and quadratic APN and differentially 4-uniform functions (p = 2).     

Partial theta functions and mock modular forms as q-hypergeometric series

Ramanujan studied the analytic properties of many q-hypergeometric series. Of those, mock theta functions have been particularly intriguing, and by work of Zwegers, we now know how these curious q-series fit into the theory of automorphic forms. The analytic theory of partial theta functions however, which have q-expansions resembling modular theta functions, is not well understood. Here we consider families of q-hypergeometric series which converge in two disjoint domains. In one domain, we show that these series are often equal to one another, and define mock theta functions, including the classical mock theta functions of Ramanujan, as well as certain combinatorial generating functions, as special cases. In the other domain, we prove that these series are typically not equal to one another, but instead are related by partial theta functions.     

Exceptional functions wandering on the sphere and normal families

We extend Carathéodory’s generalization of Montel’s fundamental normality test to “wandering” exceptional functions (i.e., depending on the respective function in the family under consideration), and we give a corresponding result on shared functions. Furthermore, we prove that if we have a family of pairs (a, b) of functions meromorphic in a domain such that a and b uniformly “stay away from each other,” then the families of the functions a resp. b are normal. The proofs are based on a “simultaneous rescaling” version of Zalcman’s lemma.     

Functions of a matrix and Krylov matrices

For a given nonderogatory matrix A, formulas are given for functions of A in terms of Krylov matrices of A. Relations between the coefficients of a polynomial of A and the generating vector of a Krylov matrix of A are provided. With the formulas, linear transformations between Krylov matrices and functions of A are introduced, and associated algebraic properties are derived. Hessenberg reduction forms are revisited equipped with appropriate inner products and related properties and matrix factorizations are given.     

A class of B-(p,r)-invex functions and mathematical programming

Invexity of a function is generalized. The new class of nonconvex functions, called B-(p,r)-invex functions with respect to η and b, being introduced, includes many well-known classes of generalized invex functions as its subclasses. Some properties of the introduced class of B-(p,r)-invex functions with respect to η and b are studied. Further, mathematical programming problems involving B-(p,r)-invex functions with respect to η and b are considered. The equivalence between saddle points and optima, and different type duality theorems are established for this type of optimization problems.     

Log-convexity and log-concavity of hypergeometric-like functions

We find sufficient conditions for log-convexity and log-concavity for the functions of the forms a?∑fkk(a)xk, a?∑fkΓ(a+k)xk and a?∑fkxk/k(a). The most useful examples of such functions are generalized hypergeometric functions. In particular, we generalize the Turán inequality for the confluent hypergeometric function recently proved by Barnard, Gordy and Richards and log-convexity results for the same function recently proved by Baricz. Besides, we establish a reverse inequality which complements naturally the inequality of Barnard, Gordy and Richards. Similar results are established for the Gauss and the generalized hypergeometric functions. A conjecture about monotonicity of a quotient of products of confluent hypergeometric functions is made.     

Eigenvalue inequalities for convex and log-convex functions

We give a matrix version of the scalar inequality f(a + b) ? f(a) + f(b) for positive concave functions f on [0, ∞). We show that Choi’s inequality for positive unital maps and operator convex functions remains valid for monotone convex functions at the cost of unitary congruences. Some inequalities for log-convex functions are presented and a new arithmetic-geometric mean inequality for positive matrices is given. We also point out a simple proof of the Bhatia-Kittaneh arithmetic-geometric mean inequality.