Decompositions of functions based on arity gap

We study the arity gap of functions of several variables defined on an arbitrary set A and valued in another set B. The arity gap of such a function is the minimum decrease in the number of essential variables when variables are identified. We establish a complete classification of functions according to their arity gap, extending existing results for finite functions. This classification is refined when the codomain B has a group structure, by providing unique decompositions into sums of functions of a prescribed form. As an application of the unique decompositions, in the case of finite sets we count, for each n and p, the number of n-ary functions that depend on all of their variables and have arity gap p.

[1]  Igor E. Zverovich,et al.  Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes , 2005, Discret. Appl. Math..

[2]  Andrzej Kisielewicz,et al.  On the number of operations in a clone , 1994 .

[3]  William Wernick.  An enumeration of logical functions , 1939 .

[4]  Miguel Couceiro,et al.  On the arity gap of polynomial functions , 2011 .

[5]  Erkko Lehtonen,et al.  Equivalence of operations with respect to discriminator clones , 2009, Discret. Math..

[6]  Roy O. Davies.  Two Theorems on Essential Variables , 1966 .

[7]  Miguel Couceiro.  On the Lattice of Equational Classes of Boolean Functions and Its Closed Intervals , 2008, J. Multiple Valued Log. Soft Comput..

[8]  Miguel Couceiro,et al.  On a quasi-ordering on Boolean functions , 2008, Theor. Comput. Sci..

[9]  Ross Willard,et al.  Essential arities of term operations in finite algebras , 1996, Discret. Math..

[10]  K. Denecke,et al.  Essential variables in hypersubstitutions , 2001 .

[11]  I. G. Rosenberg,et al.  Finite Algebra and Multiple-Valued Logic , 1981 .

[12]  Nicholas Pippenger,et al.  Galois theory for minors of finite functions , 1998, Discret. Math..

[13]  M. I. Zhurina,et al.  SOME PROPERTIES OF THE FUNCTIONS , 1966 .

[14]  Chi Wang,et al.  Boolean minors , 1995, Discret. Math..

[15]  Arto Salomaa,et al.  On essential variables of functions, especially in the algebra of logic , 1964 .

[16]  Slavcho Shtrakov,et al.  On finite functions with non-trivial arity gap , 2008 .

[17]  Lisa Hellerstein,et al.  The Forbidden Projections of Unate Functions , 1997, Discret. Appl. Math..

[18]  Erkko Lehtonen.  Descending Chains and Antichains of the Unary, Linear, and Monotone Subfunction Relations , 2006, Order.

[19]  Miguel Couceiro,et al.  Generalizations of Swierczkowski's lemma and the arity gap of finite functions , 2007, Discret. Math..

[20]  Miguel Couceiro,et al.  On the Effect of Variable Identification on the Essential Arity of Functions on Finite Sets , 2007, Int. J. Found. Comput. Sci..