On clones, transformation monoids, and finite Boolean algebras

We prove that, for a finite Boolean algebra, there exist only finitely many clones which consist of polynomial functions of the algebra and contain the monoid of its unary polynomial functions. Received January 7, 2000; accepted in final form December 13, 2000.     

Equivalence of curves with respect to the action of the symplectic group

We establish an equivalence criterion for finite systems of curves with respect to the action of the symplectic group.     

The generation of clones with majority operations

A theorem by Baker and Pixley implies that any clone on a finite set is finitely generated if it contains a near-unanimity operation. This raises the question of what arity the generating operations must have. In this paper, we solve the last open bits of this problem for the majority case by showing that 5 and 8 are the smallest integers k such that every clone with a majority operation on a 3 and 4-element set, respectively, is generated by its k-ary part.     

Binary operations suffice to test collapsing of monoidal intervals

It will be shown that the stabilizer clone of a transformation monoid is either trivial, i.e., it is generated by the monoid itself, or it contains an essentially binary function. Received September 16, 1996; accepted in final form May 21, 1997.     

在仿射等价类中找具有好的密码学性质的布尔函数

The Boolean functions in an affine equivalence class are of the same algebraic degree and nonlinearity, but may satisfy different order of correlation immunity and propagation criterion. A method is presented in this paper to find Boolean functions with higher order correlation immunity or satisfying higher order propagation criterion in an affine equivalence class. 8 AES s-box functions are not better Boolean functions in their affine equivalence class.     

The join of two minimal clones and the meet of two maximal clones

We construct two minimal clones on any finite set such that the join of the two clones contains all operations. Dually, we exhibit two maximal clones on any finite set with at least three elements such that the intersection of the two clones is the trivial clone containing projections only. Received October 20, 1998; accepted in final form December 16, 1998.     

Separation of clones of cooperations by cohyperidentities

An n-ary cooperation is a mapping from a nonempty set A to the nth copower of A. A clone of cooperations is a set of cooperations which is closed under superposition and contains all injections. Coalgebras are pairs consisting of a set and a set of cooperations defined on this set. We define terms for coalgebras, coidentities and cohyperidentities. These concepts will be applied to give a new solution of the completeness problem for clones of cooperations defined on a two-element set and to separate clones of cooperations by coidentities.     

Singularity of self-similar measures with respect to Hausdorff measures

Besicovitch (1934) and Eggleston (1949) analyzed subsets of points of the unit interval with given frequencies in the figures of their base- expansions. We extend this analysis to self-similar sets, by replacing the frequencies of figures with the frequencies of the generating similitudes. We focus on the interplay among such sets, self-similar measures, and Hausdorff measures. We give a fine-tuned classification of the Hausdorff measures according to the singularity of the self-similar measures with respect to those measures. We show that the self-similar measures are concentrated on sets whose frequencies of similitudes obey the Law of the Iterated Logarithm.

     

An integral with respect to probabilistic-valued decomposable measures

Several concepts of approximate reasoning in uncertainty processing are linked to the processing of distribution functions. In this paper we make use of probabilistic framework of approximate reasoning by proposing a Lebesgue-type approach to integration of non-negative real-valued functions with respect to probabilistic-valued decomposable (sub)measures. Basic properties of the corresponding probabilistic integral are investigated in detail. It is shown that certain properties, among them linearity and additivity, depend on the properties of the underlying triangle function providing (sub)additivity condition of the considered (sub)measure. It is demonstrated that the introduced integral brings a new tool in approximate reasoning and uncertainty processing with possible applications in several areas.     

Stability of generalized monotone maps with respect to their characterizations

We show that the known types of generalized monotone maps are not stable with respect to their characterizations (i.e. the characterizations are not maintained if an arbitrary map of this type is disturbed by an element with sufficiently small norm) and introduce s-quasimonotone maps, which are stable with respect to their characterization. For gradient maps, s-quasimonotonicity is related to s-quasiconvexity (introduced by Phu in Optimization, 38, 1996) of the underlying function. A necessary and sufficient condition for a univariate polynomial to be s-quasimonotone is given. Furthermore, some stability properties of s-quasiconvex functions are presented.     

The scattering matrix with respect to an Hermitian matrix of a graph

Recently, Gnutzmann and Smilansky [5] presented a formula for the bond scattering matrix of a graph with respect to an Hermitian matrix. We present another proof for this formula by a technique use in the zeta function of a graph. Furthermore, we generalize Gnutzmann and Smilansky's formula to a regular covering of a graph. Finally, we define an L-function of a graph, and present a determinant expression. As a corollary, we express the generalization of Gnutzmann and Smilansky's formula to a regular covering of a graph by using its L-functions.     

Asymptotic stability and instability with respect to part of variables for solutions to impulsive systems

We obtain sufficient conditions for asymptotic stability with respect to part of variables for the zero solution to an impulsive system with the fixed moments of impulse effects.     

Convexity with respect to Hölder mean involving zero-balanced hypergeometric functions

In this note we investigate the convexity of zero-balanced hypergeometric functions with respect to Hölder mean.     

Multiplication operators on spaces of integrable functions with respect to a vector measure

We study continuity and other properties related to some kind of compactness of multiplication operators between different spaces of pth power integrable scalar functions with respect to a vector measure.     

一类非线性弹性函数的构造

In this paper the decomposition formula of Walsh spectrum of boolean functions is used to construct a class of nonlinear resilient functions.     

Equivalence of Differential System

Using reflecting function of Mironenko we construct some differential systems which are equivalentto the given differential system.This gives us an opportunity to find out the monodromic matrix of these periodicsystems which are not integrable in finite terms.