Showing 1–27 of 27 results for author: Waldhauser, T

Associativity conditions for linear quasigroups and equivalence relations on binary trees

Authors: Erkko Lehtonen, Tamás Waldhauser

Abstract: We characterise the bracketing identities satisfied by linear quasigroups with the help of certain equivalence relations on binary trees that are based on the left and right depths of the leaves modulo some integers. The numbers of equivalence classes of $n$-leaf binary trees are variants of the Catalan numbers, and they form the associative spectrum (a kind of measure of non-associativity) of a q… ▽ More We characterise the bracketing identities satisfied by linear quasigroups with the help of certain equivalence relations on binary trees that are based on the left and right depths of the leaves modulo some integers. The numbers of equivalence classes of $n$-leaf binary trees are variants of the Catalan numbers, and they form the associative spectrum (a kind of measure of non-associativity) of a quasigroup. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Comments: 32 pages

Associative spectra of graph algebras II. Satisfaction of bracketing identities, spectrum dichotomy

Authors: Erkko Lehtonen, Tamás Waldhauser

Abstract: A necessary and sufficient condition is presented for a graph algebra to satisfy a bracketing identity. The associative spectrum of an arbitrary graph algebra is shown to be either constant or exponentially growing. A necessary and sufficient condition is presented for a graph algebra to satisfy a bracketing identity. The associative spectrum of an arbitrary graph algebra is shown to be either constant or exponentially growing. △ Less

Submitted 17 November, 2020; originally announced November 2020.

Comments: 20 pages

Journal ref: J. Algebraic Combin. 55 (2022) 533-557

Associative spectra of graph algebras I. Foundations, undirected graphs, antiassociative graphs

Authors: Erkko Lehtonen, Tamás Waldhauser

Abstract: Associative spectra of graph algebras are examined with the help of homomorphisms of DFS trees. Undirected graphs are classified according to the associative spectra of their graph algebras; there are only three distinct possibilities: constant 1, powers of 2, and Catalan numbers. Associative and antiassociative digraphs are described, and associative spectra are determined for certain families of… ▽ More Associative spectra of graph algebras are examined with the help of homomorphisms of DFS trees. Undirected graphs are classified according to the associative spectra of their graph algebras; there are only three distinct possibilities: constant 1, powers of 2, and Catalan numbers. Associative and antiassociative digraphs are described, and associative spectra are determined for certain families of digraphs, such as paths, cycles, and graphs on two vertices. △ Less

Submitted 15 November, 2020; originally announced November 2020.

Comments: 21 pages

Journal ref: J. Algebraic Combin. 53 (2021) 613-638

Polymorphism-homogeneity and universal algebraic geometry

Authors: Endre Tóth, Tamás Waldhauser

Abstract: We assign a relational structure to any finite algebra in a canonical way, using solution sets of equations, and we prove that this relational structure is polymorphism-homogeneous if and only if the algebra itself is polymorphism-homogeneous. We show that polymorphism-homogeneity is also equivalent to the property that algebraic sets (i.e., solution sets of systems of equations) are exactly those… ▽ More We assign a relational structure to any finite algebra in a canonical way, using solution sets of equations, and we prove that this relational structure is polymorphism-homogeneous if and only if the algebra itself is polymorphism-homogeneous. We show that polymorphism-homogeneity is also equivalent to the property that algebraic sets (i.e., solution sets of systems of equations) are exactly those sets of tuples that are closed under the centralizer clone of the algebra. Furthermore, we prove that the aforementioned properties hold if and only if the algebra is injective in the category of its finite subpowers. We also consider two additional conditions: a stronger variant for polymorphism-homogeneity and for injectivity, and we describe explicitly the finite semilattices, lattices, Abelian groups and monounary algebras satisfying any one of these three conditions. △ Less

Submitted 12 March, 2022; v1 submitted 8 July, 2020; originally announced July 2020.

Comments: 18 pages, 1 figure

MSC Class: 03C07 (Primary) 03C10; 08A02; 08A35; 08A40; 08B30; 14A99 (Secondary)

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 2, special issue in honour of Maurice Pouzet, Special issues (March 21, 2022) dmtcs:6904

On centralizers of finite lattices and semilattices

Authors: Endre Tóth, Tamás Waldhauser

Abstract: We study centralizer clones of finite lattices and semilattices. For semilattices, we give two characterizations of the centralizer and also derive formulas for the number of operations of a given essential arity in the centralizer. We also characterize operations in the centralizer clone of a distributive lattice, and we prove that the essential arity of operations in the centralizer is bounded f… ▽ More We study centralizer clones of finite lattices and semilattices. For semilattices, we give two characterizations of the centralizer and also derive formulas for the number of operations of a given essential arity in the centralizer. We also characterize operations in the centralizer clone of a distributive lattice, and we prove that the essential arity of operations in the centralizer is bounded for every finite (possibly nondistributive) lattice. Using these results, we present a simple derivation for the centralizers of clones of Boolean functions. △ Less

Submitted 14 January, 2020; originally announced January 2020.

Comments: 21 pages, 4 figures

MSC Class: 08A40; 06A07; 06A12; 06B05; 06B25; 06D05

Multiplication of matrices over lattices

Authors: Kamilla Kátai-Urbán, Tamás Waldhauser

Abstract: We study the multiplication operation of square matrices over lattices. If the underlying lattice is distributive, then matrices form a semigroup; we investigate idempotent and nilpotent elements and the maximal subgroups of this matrix semigroup. We prove that matrix multiplication over nondistributive lattices is antiassociative, and we determine the invertible matrices in the case when the leas… ▽ More We study the multiplication operation of square matrices over lattices. If the underlying lattice is distributive, then matrices form a semigroup; we investigate idempotent and nilpotent elements and the maximal subgroups of this matrix semigroup. We prove that matrix multiplication over nondistributive lattices is antiassociative, and we determine the invertible matrices in the case when the least or the greatest element of the lattice is irreducible. △ Less

Submitted 14 January, 2020; originally announced January 2020.

Comments: 17 pages, 3 figures

Solution sets of systems of equations over finite lattices and semilattices

Authors: Endre Tóth, Tamás Waldhauser

Abstract: Solution sets of systems of homogeneous linear equations over fields are characterized as being subspaces, i.e., sets that are closed under linear combinations. Our goal is to characterize solution sets of systems of equations over arbitrary finite algebras by a similar closure condition. We show that solution sets are always closed under the centralizer of the clone of term operations of the give… ▽ More Solution sets of systems of homogeneous linear equations over fields are characterized as being subspaces, i.e., sets that are closed under linear combinations. Our goal is to characterize solution sets of systems of equations over arbitrary finite algebras by a similar closure condition. We show that solution sets are always closed under the centralizer of the clone of term operations of the given algebra; moreover, the centralizer is the only clone that could characterize solution sets. If every centralizer-closed set is the set of all solutions of a system of equations over a finite algebra, then we say that the algebra has Property (SDC). Our main result is the description of finite lattices and semilattices with Property (SDC): we prove that a finite lattice has Property (SDC) if and only if it is a Boolean lattice, and a finite semilattice has Property (SDC) if and only if it is distributive. △ Less

Submitted 9 July, 2020; v1 submitted 13 January, 2020; originally announced January 2020.

Comments: 16 pages, 5 figures, minor corrections

MSC Class: 08A40; 06A12; 06B99; 06D99; 06E99; 03C10

Journal ref: Algebra Universalis 81 (2020) article number: 13

A general framework for island systems

Authors: Stephan Foldes, Eszter K. Horváth, Sándor Radeleczki, Tamás Waldhauser

Abstract: The notion of an island defined on a rectangular board is an elementary combinatorial concept that occurred first in [G. Czédli, The number of rectangular islands by means of distributive lattices, European J. Combin. 30 (2009), 208-215]. Results of this paper were starting points for investigations exploring several variations and various aspects of this notion. In this paper we introduce a gener… ▽ More The notion of an island defined on a rectangular board is an elementary combinatorial concept that occurred first in [G. Czédli, The number of rectangular islands by means of distributive lattices, European J. Combin. 30 (2009), 208-215]. Results of this paper were starting points for investigations exploring several variations and various aspects of this notion. In this paper we introduce a general framework for islands that subsumes all earlier studied concepts of islands on finite boards, moreover we show that the prime implicants of a Boolean function, the formal concepts of a formal context, convex subgraphs of a simple graph, and some particular subsets of a projective plane also fit into this framework. We axiomatize those cases where islands have the comparable or disjoint property, or they are distant, introducing the notion of a connective island domain and of a proximity domain, respectively. In the general case the maximal systems of islands are characterised by using the concept of an admissible system. We also characterise all possible island systems in the case of island domains and proximity domains. △ Less

Submitted 21 May, 2013; v1 submitted 5 October, 2012; originally announced October 2012.

Comments: 17 pages, 3 figures; minor corrections

Journal ref: Acta Sci. Math. (Szeged) 81 (2015) 3--24

Invariance groups of finite functions and orbit equivalence of permutation groups

Authors: Eszter K. Horváth, Géza Makay, Reinhard Pöschel, Tamás Waldhauser

Abstract: Which subgroups of the symmetric group S_n arise as invariance groups of n-variable functions defined on a k-element domain? It appears that the higher the difference n-k, the more difficult it is to answer this question. For k>=n, the answer is easy: all subgroups of S_n are invariance groups. We give a complete answer in the cases k=n-1 and k=n-2, and we also give a partial answer in the general… ▽ More Which subgroups of the symmetric group S_n arise as invariance groups of n-variable functions defined on a k-element domain? It appears that the higher the difference n-k, the more difficult it is to answer this question. For k>=n, the answer is easy: all subgroups of S_n are invariance groups. We give a complete answer in the cases k=n-1 and k=n-2, and we also give a partial answer in the general case: we describe invariance groups when n is much larger than n-k. The proof utilizes Galois connections and the corresponding closure operators on S_n, which turn out to provide a generalization of orbit equivalence of permutation groups. We also present some computational results, which show that all primitive groups except for the alternating groups arise as invariance groups of functions defined on a three-element domain. △ Less

Submitted 4 December, 2012; v1 submitted 3 October, 2012; originally announced October 2012.

Comments: 21 pages; change of terminology, a new example (on p.18) and minor corrections

MSC Class: 06A15; 06E30; 20B10; 20B15; 20B25; 20B35; 94C10

Pseudo-polynomial functions over finite distributive lattices

Authors: Miguel Couceiro, Tamás Waldhauser

Abstract: In this paper we consider an aggregation model f: X1 x ... x Xn --> Y for arbitrary sets X1, ..., Xn and a finite distributive lattice Y, factorizable as f(x1, ..., xn) = p(u1(x1), ..., un(xn)), where p is an n-variable lattice polynomial function over Y, and each uk is a map from Xk to Y. The resulting functions are referred to as pseudo-polynomial functions. We present an axiomatization for this… ▽ More In this paper we consider an aggregation model f: X1 x ... x Xn --> Y for arbitrary sets X1, ..., Xn and a finite distributive lattice Y, factorizable as f(x1, ..., xn) = p(u1(x1), ..., un(xn)), where p is an n-variable lattice polynomial function over Y, and each uk is a map from Xk to Y. The resulting functions are referred to as pseudo-polynomial functions. We present an axiomatization for this class of pseudo-polynomial functions which differs from the previous ones both in flavour and nature, and develop general tools which are then used to obtain all possible such factorizations of a given pseudo-polynomial function. △ Less

Submitted 9 October, 2011; originally announced October 2011.

Comments: 16 pages, 2 figures

A generalization of Goodstein's theorem: interpolation by polynomial functions of distributive lattices

Authors: Miguel Couceiro, Tamás Waldhauser

Abstract: We consider the problem of interpolating functions partially defined over a distributive lattice, by means of lattice polynomial functions. Goodstein's theorem solves a particular instance of this interpolation problem on a distributive lattice L with least and greatest elements 0 and 1, resp.: Given an n-ary partial function f over L, defined on all 0-1 tuples, f can be extended to a lattice poly… ▽ More We consider the problem of interpolating functions partially defined over a distributive lattice, by means of lattice polynomial functions. Goodstein's theorem solves a particular instance of this interpolation problem on a distributive lattice L with least and greatest elements 0 and 1, resp.: Given an n-ary partial function f over L, defined on all 0-1 tuples, f can be extended to a lattice polynomial function p over L if and only if f is monotone; in this case, the interpolating polynomial p is unique. We extend Goodstein's theorem to a wider class of n-ary partial functions f over a distributive lattice L, not necessarily bounded, where the domain of f is a cuboid of the form D={a1,b1}x...x{an,bn} with ai<bi, and determine the class of such partial functions which can be interpolated by lattice polynomial functions. In this wider setting, interpolating polynomials are not necessarily unique; we provide explicit descriptions of all possible lattice polynomial functions which interpolate these partial functions, when such an interpolation is available. △ Less

Submitted 3 October, 2011; originally announced October 2011.

Comments: 12 pages

Locally monotone Boolean and pseudo-Boolean functions

Authors: Miguel Couceiro, Jean-Luc Marichal, Tamás Waldhauser

Abstract: We propose local versions of monotonicity for Boolean and pseudo-Boolean functions: say that a pseudo-Boolean (Boolean) function is p-locally monotone if none of its partial derivatives changes in sign on tuples which differ in less than p positions. As it turns out, this parameterized notion provides a hierarchy of monotonicities for pseudo-Boolean (Boolean) functions. Local monotonicities are sh… ▽ More We propose local versions of monotonicity for Boolean and pseudo-Boolean functions: say that a pseudo-Boolean (Boolean) function is p-locally monotone if none of its partial derivatives changes in sign on tuples which differ in less than p positions. As it turns out, this parameterized notion provides a hierarchy of monotonicities for pseudo-Boolean (Boolean) functions. Local monotonicities are shown to be tightly related to lattice counterparts of classical partial derivatives via the notion of permutable derivatives. More precisely, p-locally monotone functions are shown to have p-permutable lattice derivatives and, in the case of symmetric functions, these two notions coincide. We provide further results relating these two notions, and present a classification of p-locally monotone functions, as well as of functions having p-permutable derivatives, in terms of certain forbidden "sections", i.e., functions which can be obtained by substituting constants for variables. This description is made explicit in the special case when p=2. △ Less

Submitted 16 May, 2012; v1 submitted 6 July, 2011; originally announced July 2011.

MSC Class: 06E30; 94C10

Journal ref: Discrete Applied Mathematics 160 (12) (2012) 1651-1660

Proofs of some binomial identities using the method of last squares

Authors: Mark Shattuck, Tamás Waldhauser

Abstract: We give combinatorial proofs for some identities involving binomial sums that have no closed form. We give combinatorial proofs for some identities involving binomial sums that have no closed form. △ Less

Submitted 6 July, 2011; originally announced July 2011.

Comments: 8 pages, 16 figures

MSC Class: 05A19; 11B65

Journal ref: Fibonacci Quart. 48 (2010) 290-297

Additive decomposability of functions over abelian groups

Authors: Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser

Abstract: Abelian groups are classified by the existence of certain additive decompositions of group-valued functions of several variables with arity gap 2. Abelian groups are classified by the existence of certain additive decompositions of group-valued functions of several variables with arity gap 2. △ Less

Submitted 17 May, 2011; originally announced May 2011.

Comments: 17 pages

MSC Class: 08A40; 20K01

On the arity gap of polynomial functions

Authors: Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser

Abstract: The authors' previous results on the arity gap of functions of several variables are refined by considering polynomial functions over arbitrary fields. We explicitly describe the polynomial functions with arity gap at least 3, as well as the polynomial functions with arity gap equal to 2 for fields of characteristic 0 or 2. These descriptions are given in the form of decomposition schemes of polyn… ▽ More The authors' previous results on the arity gap of functions of several variables are refined by considering polynomial functions over arbitrary fields. We explicitly describe the polynomial functions with arity gap at least 3, as well as the polynomial functions with arity gap equal to 2 for fields of characteristic 0 or 2. These descriptions are given in the form of decomposition schemes of polynomial functions. Similar descriptions are given for arbitrary finite fields. However, we show that these descriptions do not extend to infinite fields of odd characteristic. △ Less

Submitted 3 June, 2013; v1 submitted 4 April, 2011; originally announced April 2011.

Comments: 14 pages

On composition-closed classes of Boolean functions

Authors: Tamás Waldhauser

Abstract: We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras: they are closed under composition, permutation and identification (diagonalization) of variables and under introduction of inessential variables (cylindrification), but they do not necessarily contain projections. Thus the lattice formed by t… ▽ More We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras: they are closed under composition, permutation and identification (diagonalization) of variables and under introduction of inessential variables (cylindrification), but they do not necessarily contain projections. Thus the lattice formed by these classes is an extension of the Post lattice. The cardinality of this lattice is continuum, yet it is possible to describe its structure to some extent. △ Less

Submitted 21 February, 2011; originally announced February 2011.

Comments: 20 pages, 8 figures

MSC Class: 08A40; 06E30; 06A15; 94C10

On associative spectra of operations

Authors: Sebastian Liebscher, Tamás Waldhauser

Abstract: The distance of an operation from being associative can be "measured" by its associative spectrum, an appropriate sequence of positive integers. Associative spectra were introduced in a publication by B. Csákány and T. Waldhauser in 2000 for binary operations (see arXiv:1102.2124). We generalize this concept to p-ary operations, interpret associative spectra in terms of equational theories, and us… ▽ More The distance of an operation from being associative can be "measured" by its associative spectrum, an appropriate sequence of positive integers. Associative spectra were introduced in a publication by B. Csákány and T. Waldhauser in 2000 for binary operations (see arXiv:1102.2124). We generalize this concept to p-ary operations, interpret associative spectra in terms of equational theories, and use this interpretation to find a characterization of fine spectra, to construct polynomial associative spectra, and to show that there are continuously many different spectra. Furthermore, an equivalent representation of bracketings is studied. △ Less

Submitted 11 February, 2011; originally announced February 2011.

Comments: 16 pages

MSC Class: 08B05; 08A62; 08B15

Journal ref: Acta Sci. Math. (Szeged) 75 (2009) 433-456

Minimal clones with many majority operations

Authors: Mike Behrisch, Tamás Waldhauser

Abstract: We present two minimal clones containing 26 and 78 majority operations respectively, more than any other previously known example. We present two minimal clones containing 26 and 78 majority operations respectively, more than any other previously known example. △ Less

Submitted 11 February, 2011; originally announced February 2011.

Comments: 11 pages

MSC Class: 08A40

Journal ref: Acta Sci. Math. (Szeged) 77(3-4) (2011) 389-402

Minimal clones with few majority operations

Authors: Tamás Waldhauser

Abstract: We characterize minimal clones generated by a majority function containing at most seven ternary operations. We characterize minimal clones generated by a majority function containing at most seven ternary operations. △ Less

Submitted 10 February, 2011; originally announced February 2011.

Comments: 11 pages

MSC Class: 08A40

Journal ref: Acta Sci. Math. (Szeged) 73 (2007) 471-486

Almost associative operations generating a minimal clone

Authors: Tamás Waldhauser

Abstract: Characterizations of "almost associative" binary operations generating a minimal clone are given for two interpretations of the term "almost associative". One of them uses the associative spectrum, the other one uses the index of nonassociativity to measure how far an operation is from being associative. Characterizations of "almost associative" binary operations generating a minimal clone are given for two interpretations of the term "almost associative". One of them uses the associative spectrum, the other one uses the index of nonassociativity to measure how far an operation is from being associative. △ Less

Submitted 10 February, 2011; originally announced February 2011.

Comments: 17 pages

MSC Class: 08A40; 20N02

Journal ref: Discuss. Math. Gen. Algebra Appl. 26 (2006) 45-73

Associative spectra of binary operations

Authors: Béla Csákány, Tamás Waldhauser

Abstract: The distance of a binary operation from being associative can be "measured" by its associative spectrum, an appropriate sequence of positive integers. Particular instances and general properties of associative spectra are studied. The distance of a binary operation from being associative can be "measured" by its associative spectrum, an appropriate sequence of positive integers. Particular instances and general properties of associative spectra are studied. △ Less

Submitted 10 February, 2011; originally announced February 2011.

Comments: 17 pages, 1 figure

MSC Class: 20N02

Journal ref: Mult.-Valued Log. 5 (2000) 175-200

Minimal clones with weakly abelian representations

Authors: Tamás Waldhauser

Abstract: We show that a minimal clone has a nontrivial weakly abelian representation iff it has a nontrivial abelian representation, and that in this case all representations are weakly abelian. We show that a minimal clone has a nontrivial weakly abelian representation iff it has a nontrivial abelian representation, and that in this case all representations are weakly abelian. △ Less

Submitted 10 February, 2011; originally announced February 2011.

Comments: 12 pages

MSC Class: 08A40; 20N02

Journal ref: Acta Sci. Math. (Szeged) 69 (2003) 505-521

Minimal clones generated by majority operations

Authors: Tamás Waldhauser

Abstract: We determine all majority operations on a four-element set that generate a minimal clone. We determine all majority operations on a four-element set that generate a minimal clone. △ Less

Submitted 8 February, 2011; originally announced February 2011.

Comments: 9 pages

MSC Class: 08A40

Journal ref: Algebra Universalis 44 (2000) 15-26

Axiomatizations and factorizations of Sugeno utility functions

Authors: Miguel Couceiro, Tamás Waldhauser

Abstract: In this paper we consider a multicriteria aggregation model where local utility functions of different sorts are aggregated using Sugeno integrals, and which we refer to as Sugeno utility functions. We propose a general approach to study such functions via the notion of pseudo-Sugeno integral (or, equivalently, pseudo-polynomial function), which naturally generalizes that of Sugeno integral, and p… ▽ More In this paper we consider a multicriteria aggregation model where local utility functions of different sorts are aggregated using Sugeno integrals, and which we refer to as Sugeno utility functions. We propose a general approach to study such functions via the notion of pseudo-Sugeno integral (or, equivalently, pseudo-polynomial function), which naturally generalizes that of Sugeno integral, and provide several axiomatizations for this class of functions. Moreover, we address and solve the problem of factorizing a Sugeno utility function as a composition of a Sugeno integral with local utility functions, if such a factorization exists. △ Less

Submitted 25 January, 2011; originally announced January 2011.

On signature-based expressions of system reliability

Authors: Jean-Luc Marichal, Pierre Mathonet, Tamás Waldhauser

Abstract: The concept of signature was introduced by Samaniego for systems whose components have i.i.d. lifetimes. This concept proved to be useful in the analysis of theoretical behaviors of systems. In particular, it provides an interesting signature-based representation of the system reliability in terms of reliabilities of k-out-of-n systems. In the non-i.i.d. case, we show that, at any time, this repre… ▽ More The concept of signature was introduced by Samaniego for systems whose components have i.i.d. lifetimes. This concept proved to be useful in the analysis of theoretical behaviors of systems. In particular, it provides an interesting signature-based representation of the system reliability in terms of reliabilities of k-out-of-n systems. In the non-i.i.d. case, we show that, at any time, this representation still holds true for every coherent system if and only if the component states are exchangeable. We also discuss conditions for obtaining an alternative representation of the system reliability in which the signature is replaced by its non-i.i.d. extension. Finally, we discuss conditions for the system reliability to have both representations. △ Less

Submitted 7 July, 2011; v1 submitted 1 October, 2010; originally announced October 2010.

MSC Class: 62N05; 90B25 (Primary) 62G30; 94C10 (Secondary)

Journal ref: Journal of Multivariate Analysis 102 (10) (2011) 1410--1416

The arity gap of order-preserving functions and extensions of pseudo-Boolean functions

Authors: Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser

Abstract: The aim of this paper is to classify order-preserving functions according to their arity gap. Noteworthy examples of order-preserving functions are so-called aggregation functions. We first explicitly classify the Lovász extensions of pseudo-Boolean functions according to their arity gap. Then we consider the class of order-preserving functions between partially ordered sets, and establish a simil… ▽ More The aim of this paper is to classify order-preserving functions according to their arity gap. Noteworthy examples of order-preserving functions are so-called aggregation functions. We first explicitly classify the Lovász extensions of pseudo-Boolean functions according to their arity gap. Then we consider the class of order-preserving functions between partially ordered sets, and establish a similar explicit classification for this function class. △ Less

Submitted 17 May, 2011; v1 submitted 10 March, 2010; originally announced March 2010.

Comments: 11 pages, material reorganized

MSC Class: 08A40

Journal ref: Discrete Appl. Math. 160 (2012) 383-390

Decompositions of functions based on arity gap

Authors: Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser

Abstract: 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 ref… ▽ More 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. △ Less

Submitted 5 March, 2010; originally announced March 2010.

Comments: 13 pages

MSC Class: 08A40

Journal ref: Discrete Math. 312 (2012) 238-247