Showing 1–50 of 50 results for author: Couceiro, M

The Fine-Grained Complexity of Graph Homomorphism Problems: Towards the Okrasa and Rzążewski Conjecture

Authors: Ambroise Baril, Miguel Couceiro, Victor Lagerkvist

Abstract: In this paper we are interested in the fine-grained complexity of deciding whether there is a homomorphism from an input graph $G$ to a fixed graph $H$ (the $H$-Coloring problem). The starting point is that these problems can be viewed as constraint satisfaction problems (CSPs), and that (partial) polymorphisms of binary relations are of paramount importance in the study of complexity classes of s… ▽ More In this paper we are interested in the fine-grained complexity of deciding whether there is a homomorphism from an input graph $G$ to a fixed graph $H$ (the $H$-Coloring problem). The starting point is that these problems can be viewed as constraint satisfaction problems (CSPs), and that (partial) polymorphisms of binary relations are of paramount importance in the study of complexity classes of such CSPs. Thus, we first investigate the expressivity of binary symmetric relations $E_H$ and their corresponding (partial) polymorphisms pPol($E_H$). For irreflexive graphs we observe that there is no pair of graphs $H$ and $H'$ such that pPol($E_H$) $\subseteq$ pPol($E_{H'}$), unless $E_{H'}= \emptyset$ or $H =H'$. More generally we show the existence of an $n$-ary relation $R$ whose partial polymorphisms strictly subsume those of $H$ and such that CSP($R$) is NP-complete if and only if $H$ contains an odd cycle of length at most $n$. Motivated by this we also describe the sets of total polymorphisms of nontrivial cliques, odd cycles, as well as certain cores, and we give an algebraic characterization of projective cores. As a by-product, we settle the Okrasa and Rzążewski conjecture for all graphs of at most 7 vertices. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Galois theory for analogical classifiers

Authors: Miguel Couceiro, Erkko Lehtonen

Abstract: Analogical proportions are 4-ary relations that read "A is to B as C is to D". Recent works have highlighted the fact that such relations can support a specific form of inference, called analogical inference. This inference mechanism was empirically proved to be efficient in several reasoning and classification tasks. In the latter case, it relies on the notion of analogy preservation. In this p… ▽ More Analogical proportions are 4-ary relations that read "A is to B as C is to D". Recent works have highlighted the fact that such relations can support a specific form of inference, called analogical inference. This inference mechanism was empirically proved to be efficient in several reasoning and classification tasks. In the latter case, it relies on the notion of analogy preservation. In this paper, we explore this relation between formal models of analogy and the corresponding classes of analogy preserving functions, and we establish a Galois theory of analogical classifiers. We illustrate the usefulness of this Galois framework over Boolean domains, and we explicitly determine the closed sets of analogical classifiers, i.e., classifiers that are compatible with the analogical inference, for each pair of Boolean analogies. △ Less

Submitted 9 May, 2022; originally announced May 2022.

Comments: 17 pages

Stability of Boolean function classes with respect to clones of linear functions

Authors: Miguel Couceiro, Erkko Lehtonen

Abstract: We consider classes of Boolean functions stable under compositions both from the right and from the left with clones. Motivated by the question how many properties of Boolean functions can be defined by means of linear equations, we focus on stability under compositions with the clone of linear idempotent functions. It follows from a result by Sparks that there are countably many such linearly def… ▽ More We consider classes of Boolean functions stable under compositions both from the right and from the left with clones. Motivated by the question how many properties of Boolean functions can be defined by means of linear equations, we focus on stability under compositions with the clone of linear idempotent functions. It follows from a result by Sparks that there are countably many such linearly definable classes of Boolean functions. In this paper, we refine this result by completely describing these classes. This work is tightly related with the theory of function minors, stable classes, clonoids, and hereditary classes, topics that have been widely investigated in recent years by several authors including Maurice Pouzet and his coauthors. △ Less

Submitted 30 September, 2022; v1 submitted 17 January, 2021; originally announced January 2021.

Comments: 45 pages

Journal ref: Order 41 (2024) 15--64

Reducibility of $n$-ary semigroups: from quasitriviality towards idempotency

Authors: Miguel Couceiro, Jimmy Devillet, Jean-Luc Marichal, Pierre Mathonet

Abstract: Let $X$ be a nonempty set. Denote by $\mathcal{F}^n_k$ the class of associative operations $F\colon X^n\to X$ satisfying the condition $F(x_1,\ldots,x_n)\in\{x_1,\ldots,x_n\}$ whenever at least $k$ of the elements $x_1,\ldots,x_n$ are equal to each other. The elements of $\mathcal{F}^n_1$ are said to be quasitrivial and those of $\mathcal{F}^n_n$ are said to be idempotent. We show that… ▽ More Let $X$ be a nonempty set. Denote by $\mathcal{F}^n_k$ the class of associative operations $F\colon X^n\to X$ satisfying the condition $F(x_1,\ldots,x_n)\in\{x_1,\ldots,x_n\}$ whenever at least $k$ of the elements $x_1,\ldots,x_n$ are equal to each other. The elements of $\mathcal{F}^n_1$ are said to be quasitrivial and those of $\mathcal{F}^n_n$ are said to be idempotent. We show that $\mathcal{F}^n_1=\cdots =\mathcal{F}^n_{n-2}\subseteq\mathcal{F}^n_{n-1}\subseteq\mathcal{F}^n_n$ and we give conditions on the set $X$ for the last inclusions to be strict. The class $\mathcal{F}^n_1$ was recently characterized by Couceiro and Devillet, who showed that its elements are reducible to binary associative operations. However, some elements of $\mathcal{F}^n_n$ are not reducible. In this paper, we characterize the class $\mathcal{F}^n_{n-1}\setminus\mathcal{F}^n_1$ and show that its elements are reducible. We give a full description of the corresponding reductions and show how each of them is built from a quasitrivial semigroup and an Abelian group whose exponent divides $n-1$. △ Less

Submitted 14 March, 2022; v1 submitted 23 September, 2019; originally announced September 2019.

MSC Class: 20M10; 20N15 (Primary); 16B99; 20K25 (Secondary)

Journal ref: Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry 63 (1) (2022) 149-166

Every quasitrivial n-ary semigroup is reducible to a semigroup

Authors: Miguel Couceiro, Jimmy Devillet

Abstract: We show that every quasitrivial n-ary semigroup is reducible to a binary semigroup, and we provide necessary and sufficient conditions for such a reduction to be unique. These results are then refined in the case of symmetric n-ary semigroups. We also explicitly determine the sizes of these classes when the semigroups are defined on finite sets. As a byproduct of these enumerations, we obtain seve… ▽ More We show that every quasitrivial n-ary semigroup is reducible to a binary semigroup, and we provide necessary and sufficient conditions for such a reduction to be unique. These results are then refined in the case of symmetric n-ary semigroups. We also explicitly determine the sizes of these classes when the semigroups are defined on finite sets. As a byproduct of these enumerations, we obtain several new integer sequences. △ Less

Submitted 23 September, 2019; v1 submitted 11 April, 2019; originally announced April 2019.

MSC Class: 05A15; 20N15 (Primary); 16B99; 20M14 (Secondary)

Quasitrivial semigroups: characterizations and enumerations

Authors: Miguel Couceiro, Jimmy Devillet, Jean-Luc Marichal

Abstract: We investigate the class of quasitrivial semigroups and provide various characterizations of the subclass of quasitrivial and commutative semigroups as well as the subclass of quasitrivial and order-preserving semigroups. We also determine explicitly the sizes of these classes when the semigroups are defined on finite sets. As a byproduct of these enumerations, we obtain several new integer sequen… ▽ More We investigate the class of quasitrivial semigroups and provide various characterizations of the subclass of quasitrivial and commutative semigroups as well as the subclass of quasitrivial and order-preserving semigroups. We also determine explicitly the sizes of these classes when the semigroups are defined on finite sets. As a byproduct of these enumerations, we obtain several new integer sequences. △ Less

Submitted 8 May, 2019; v1 submitted 26 September, 2017; originally announced September 2017.

MSC Class: Primary 05A15; 20M14; 20M99; Secondary 39B72

Journal ref: Semigroup Forum 98 (3) (2019) 472-498

Characterizations of idempotent discrete uninorms

Authors: Miguel Couceiro, Jimmy Devillet, Jean-Luc Marichal

Abstract: In this paper we provide an axiomatic characterization of the idempotent discrete uninorms by means of three conditions only: conservativeness, symmetry, and nondecreasing monotonicity. We also provide an alternative characterization involving the bisymmetry property. Finally, we provide a graphical characterization of these operations in terms of their contour plots, and we mention a few open que… ▽ More In this paper we provide an axiomatic characterization of the idempotent discrete uninorms by means of three conditions only: conservativeness, symmetry, and nondecreasing monotonicity. We also provide an alternative characterization involving the bisymmetry property. Finally, we provide a graphical characterization of these operations in terms of their contour plots, and we mention a few open questions for further research. △ Less

Submitted 29 June, 2017; v1 submitted 25 January, 2017; originally announced January 2017.

MSC Class: 20M14

Journal ref: Fuzzy Sets and Systems 334 (2018) 60-72

Pivotal decomposition schemes inducing clones of operations

Authors: Miguel Couceiro, Bruno Teheux

Abstract: We study pivotal decomposition schemes and investigate classes of pivotally decomposable operations. We provide sufficient conditions on pivotal operations that guarantee that the corresponding classes of pivotally decomposable operations are clones, and show that under certain assumptions these conditions are also necessary. In the latter case, the pivotal operation together with the constant ope… ▽ More We study pivotal decomposition schemes and investigate classes of pivotally decomposable operations. We provide sufficient conditions on pivotal operations that guarantee that the corresponding classes of pivotally decomposable operations are clones, and show that under certain assumptions these conditions are also necessary. In the latter case, the pivotal operation together with the constant operations generate the corresponding clone. △ Less

Submitted 16 January, 2017; originally announced January 2017.

Relaxations of associativity and preassociativity for variadic functions

Authors: Miguel Couceiro, Jean-Luc Marichal, Bruno Teheux

Abstract: In this paper we consider two properties of variadic functions, namely associativity and preassociativity, that are pertaining to several data and language processing tasks. We propose parameterized relaxations of these properties and provide their descriptions in terms of factorization results. We also give an example where these parameterized notions give rise to natural hierarchies of functions… ▽ More In this paper we consider two properties of variadic functions, namely associativity and preassociativity, that are pertaining to several data and language processing tasks. We propose parameterized relaxations of these properties and provide their descriptions in terms of factorization results. We also give an example where these parameterized notions give rise to natural hierarchies of functions and indicate their potential use in measuring the degrees of associativeness and preassociativeness. We illustrate these results by several examples and constructions and discuss some open problems that lead to further directions of research. △ Less

Submitted 13 August, 2015; originally announced August 2015.

MSC Class: 20M05; 20M32; 39B72; 68R99

Journal ref: Fuzzy Sets and Systems 299 (2016) 89-97

On Galois Connections between External Operations and Relational Constraints: Arity Restrictions and Operator Decompositions

Authors: Miguel Couceiro

Abstract: We study the basic Galois connection induced by the "satisfaction" relation between external operations $A^n\rightarrow B$ defined on a set $A$ and valued in a possibly different set $B$ on the one hand, and ordered pairs $(R,S)$ of relations $R\subseteq A^m$ and $S\subseteq B^m$, called relational constraints, on the other hand. We decompose the closure maps associated with this Galois connection… ▽ More We study the basic Galois connection induced by the "satisfaction" relation between external operations $A^n\rightarrow B$ defined on a set $A$ and valued in a possibly different set $B$ on the one hand, and ordered pairs $(R,S)$ of relations $R\subseteq A^m$ and $S\subseteq B^m$, called relational constraints, on the other hand. We decompose the closure maps associated with this Galois connection, in terms of closure operators corresponding to simple closure conditions describing the corresponding Galois closed sets of functions and constraints. We consider further Galois correspondences by restricting the sets of primal and dual objects to fixed arities. We describe the restricted Galois closure systems by means of parametrized analogues of the simpler closure conditions, and present factorizations of the corresponding Galois closure maps, similar to those provided in the unrestricted case. △ Less

Submitted 6 August, 2015; originally announced August 2015.

Journal ref: Acta Scientiarum Mathematicarum (Szeged) 72 (2006) 15-35

Galois Connections for Generalized Functions and Relational Constraints

Authors: Miguel Couceiro

Abstract: In this paper we focus on functions of the form $A^n\rightarrow \mathcal{P}(B)$, for possibly different arbitrary non-empty sets $A$ and $B$, and where $\mathcal{P}(B)$ denotes the set of all subsets of $B$. These mappings are called \emph{multivalued functions}, and they generalize total and partial functions. We study Galois connections between these generalized functions and ordered pairs… ▽ More In this paper we focus on functions of the form $A^n\rightarrow \mathcal{P}(B)$, for possibly different arbitrary non-empty sets $A$ and $B$, and where $\mathcal{P}(B)$ denotes the set of all subsets of $B$. These mappings are called \emph{multivalued functions}, and they generalize total and partial functions. We study Galois connections between these generalized functions and ordered pairs $(R,S)$ of relations on $A$ and $B$, respectively, called \emph{constraints}. We describe the Galois closed sets, and decompose the associated Galois operators, by means of necessary and sufficient conditions which specialize, in the total single-valued case, to those given in the author's previous work [M. Couceiro, S. Foldes. On closed sets of relational constraints and classes of functions closed under variable substitutions, Algebra Universalis 54 (2005) 149-165]. △ Less

Submitted 6 August, 2015; originally announced August 2015.

Journal ref: Contributions to General Algebra 16 (2005) 35-54

On closed sets of relational constraints and classes of functions closed under variable substitutions

Authors: Miguel Couceiro, Stephan Foldes

Abstract: Pippenger's Galois theory of finite functions and relational constraints is extended to the infinite case. The functions involved are functions of several variables on a set $A$ and taking values in a possibly different set $B$, where any or both of $A$ and $B$ may be finite or infinite. Pippenger's Galois theory of finite functions and relational constraints is extended to the infinite case. The functions involved are functions of several variables on a set $A$ and taking values in a possibly different set $B$, where any or both of $A$ and $B$ may be finite or infinite. △ Less

Submitted 6 August, 2015; originally announced August 2015.

Comments: arXiv admin note: text overlap with arXiv:0810.3212

Journal ref: Algebra Universalis 54 (2005) 149-165

Partial clones containing all Boolean monotone self-dual partial functions

Authors: Miguel Couceiro, Lucien Haddad, Ivo G. Rosenberg

Abstract: The study of partial clones on $\mathbf{2}:=\{0,1\}$ was initiated by R. V. Freivald. In his fundamental paper published in 1966, Freivald showed, among other things, that the set of all monotone partial functions and the set of all self-dual partial functions are both maximal partial clones on $\mathbf{2}$. Several papers dealing with intersections of maximal partial clones on $\mathbf{2}$ have a… ▽ More The study of partial clones on $\mathbf{2}:=\{0,1\}$ was initiated by R. V. Freivald. In his fundamental paper published in 1966, Freivald showed, among other things, that the set of all monotone partial functions and the set of all self-dual partial functions are both maximal partial clones on $\mathbf{2}$. Several papers dealing with intersections of maximal partial clones on $\mathbf{2}$ have appeared after Freivald work. It is known that there are infinitely many partial clones that contain the set of all monotone self-dual partial functions on $\mathbf{2}$, and the problem of describing them all was posed by some authors. In this paper we show that the set of partial clones that contain all monotone self-dual partial functions is of continuum cardinality on $\mathbf{2}$. △ Less

Submitted 5 August, 2015; originally announced August 2015.

Comments: To appear in Journal of Multiple-Valued Logic and Soft Computing, 10 pages

Hereditarily rigid relations

Authors: Miguel Couceiro, Lucien Haddad, Maurice Pouzet, Karsten Schölzel

Abstract: An $h$-ary relation $\r$ on a finite set $A$ is said to be \emph{hereditarily rigid} if the unary partial functions on $A$ that preserve $\r$ are the subfunctions of the identity map or of constant maps. A family of relations ${\mathcal F}$ is said to be \emph{hereditarily strongly rigid} if the partial functions on $A$ that preserve every $\r \in {\mathcal F}$ are the subfunctions of projections… ▽ More An $h$-ary relation $\r$ on a finite set $A$ is said to be \emph{hereditarily rigid} if the unary partial functions on $A$ that preserve $\r$ are the subfunctions of the identity map or of constant maps. A family of relations ${\mathcal F}$ is said to be \emph{hereditarily strongly rigid} if the partial functions on $A$ that preserve every $\r \in {\mathcal F}$ are the subfunctions of projections or constant functions. In this paper we show that hereditarily rigid relations exist and we give a lower bound on their arities. We also prove that no finite hereditarily strongly rigid families of relations exist and we also construct an infinite hereditarily strongly rigid family of relations. △ Less

Submitted 11 May, 2015; originally announced May 2015.

Comments: 15pages, to be presented at ISMVL 2015

MSC Class: 08A

Conservative median algebras and semilattices

Authors: Miguel Couceiro, Jean-Luc Marichal, Bruno Teheux

Abstract: We characterize conservative median algebras and semilattices by means of forbidden substructures and by providing their representation as chains. Moreover, using a dual equivalence between median algebras and certain topological structures, we obtain descriptions of the median-preserving mappings between products of finitely many chains. We characterize conservative median algebras and semilattices by means of forbidden substructures and by providing their representation as chains. Moreover, using a dual equivalence between median algebras and certain topological structures, we obtain descriptions of the median-preserving mappings between products of finitely many chains. △ Less

Submitted 12 February, 2016; v1 submitted 5 May, 2014; originally announced May 2014.

MSC Class: 06A11; 06A12; 08A35; 03C05

Journal ref: Order - A Journal on the Theory of Ordered Sets and its Applications 33 (1) (2016) 121-132

Set-reconstructibility of Post classes

Authors: Miguel Couceiro, Erkko Lehtonen, Karsten Schölzel

Abstract: The clones of Boolean functions are classified in regard to set-reconstructibility via a strong dichotomy result: the clones containing only affine functions, conjunctions, disjunctions or constant functions are set-reconstructible, whereas the remaing clones are not weakly reconstructible. The clones of Boolean functions are classified in regard to set-reconstructibility via a strong dichotomy result: the clones containing only affine functions, conjunctions, disjunctions or constant functions are set-reconstructible, whereas the remaing clones are not weakly reconstructible. △ Less

Submitted 29 October, 2013; originally announced October 2013.

Comments: 8 pages. arXiv admin note: text overlap with arXiv:1306.5578

Journal ref: Discrete Appl. Math. 187 (2015) 12-18

A complete classification of equational classes of threshold functions included in clones

Authors: Miguel Couceiro, Erkko Lehtonen, Karsten Schölzel

Abstract: The class of threshold functions is known to be characterizable by functional equations or, equivalently, by pairs of relations, which are called relational constraints. It was shown by Hellerstein that this class cannot be characterized by a finite number of such objects. In this paper, we investigate classes of threshold functions which arise as intersections of the class of all threshold functi… ▽ More The class of threshold functions is known to be characterizable by functional equations or, equivalently, by pairs of relations, which are called relational constraints. It was shown by Hellerstein that this class cannot be characterized by a finite number of such objects. In this paper, we investigate classes of threshold functions which arise as intersections of the class of all threshold functions with clones of Boolean functions, and provide a complete classification of such intersections in respect to whether they have finite characterizations. Moreover, we provide a characterizing set of relational constraints for each class of threshold functions arising in this way. △ Less

Submitted 25 October, 2013; originally announced October 2013.

Comments: 22 pages

Journal ref: RAIRO Oper. Res. 49 (2015) 39-66

Hypomorphic Sperner systems and nonreconstructible functions

Authors: Miguel Couceiro, Erkko Lehtonen, Karsten Schölzel

Abstract: A reconstruction problem is formulated for Sperner systems, and infinite families of nonreconstructible Sperner systems are presented. This has an application to a reconstruction problem for functions of several arguments and identification minors. Sperner systems being representations of certain monotone functions, infinite families of nonreconstructible functions are thus obtained. The clones of… ▽ More A reconstruction problem is formulated for Sperner systems, and infinite families of nonreconstructible Sperner systems are presented. This has an application to a reconstruction problem for functions of several arguments and identification minors. Sperner systems being representations of certain monotone functions, infinite families of nonreconstructible functions are thus obtained. The clones of Boolean functions are completely classified in regard to reconstructibility. △ Less

Submitted 24 June, 2013; originally announced June 2013.

Comments: 38 pages

Journal ref: Order 32 (2015) 255-292

Discrete integrals based on comonotonic modularity

Authors: Miguel Couceiro, Jean-Luc Marichal

Abstract: It is known that several discrete integrals, including the Choquet and Sugeno integrals as well as some of their generalizations, are comonotonically modular functions. Based on a recent description of the class of comonotonically modular functions, we axiomatically identify more general families of discrete integrals that are comonotonically modular, including signed Choquet integrals and symmetr… ▽ More It is known that several discrete integrals, including the Choquet and Sugeno integrals as well as some of their generalizations, are comonotonically modular functions. Based on a recent description of the class of comonotonically modular functions, we axiomatically identify more general families of discrete integrals that are comonotonically modular, including signed Choquet integrals and symmetric signed Choquet integrals as well as natural extensions of Sugeno integrals. △ Less

Submitted 27 August, 2013; v1 submitted 10 April, 2013; originally announced April 2013.

MSC Class: 26B35; 39B22; 39B72

Journal ref: Axioms 2 (3) (2013) 390-403

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

Aczélian n-ary semigroups

Authors: Miguel Couceiro, Jean-Luc Marichal

Abstract: We show that the real continuous, symmetric, and cancellative n-ary semigroups are topologically order-isomorphic to additive real n-ary semigroups. The binary case (n=2) was originally proved by Aczél (1949); there symmetry was redundant. We show that the real continuous, symmetric, and cancellative n-ary semigroups are topologically order-isomorphic to additive real n-ary semigroups. The binary case (n=2) was originally proved by Aczél (1949); there symmetry was redundant. △ Less

Submitted 3 August, 2012; v1 submitted 25 July, 2011; originally announced July 2011.

MSC Class: 20N15; 39B22 (Primary) 20M14 (Secondary)

Journal ref: Semigroup Forum 85 (1) (2012) 81-90

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

On the poset of computation rules for nonassociative calculus

Authors: Miguel Couceiro, Michel Grabisch

Abstract: The symmetric maximum, denoted by v, is an extension of the usual max operation so that 0 is the neutral element, and -x is the symmetric (or inverse) of x, i.e., x v(-x)=0. However, such an extension does not preserve the associativity of max. This fact asks for systematic ways of parenthesing (or bracketing) terms of a sequence (with more than two arguments) when using such an extended maximum.… ▽ More The symmetric maximum, denoted by v, is an extension of the usual max operation so that 0 is the neutral element, and -x is the symmetric (or inverse) of x, i.e., x v(-x)=0. However, such an extension does not preserve the associativity of max. This fact asks for systematic ways of parenthesing (or bracketing) terms of a sequence (with more than two arguments) when using such an extended maximum. We refer to such systematic (predefined) ways of parenthesing as computation rules. As it turns out there are infinitely many computation rules each of which corresponding to a systematic way of bracketing arguments of sequences. Essentially, computation rules reduce to deleting terms of sequences based on the condition x v(-x)=0. This observation gives raise to a quasi-order on the set of such computation rules: say that rule 1 is below rule 2 if for all sequences of numbers, rule 1 deletes more terms in the sequence than rule 2. In this paper we present a study of this quasi-ordering of computation rules. In particular, we show that the induced poset of all equivalence classes of computation rules is uncountably infinite, has infinitely many maximal elements, has infinitely many atoms, and it embeds the powerset of natural numbers ordered by inclusion. △ Less

Submitted 20 May, 2011; originally announced May 2011.

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 lattice of equational classes of Boolean functions and its closed intervals

Authors: Miguel Couceiro

Abstract: Let A be a finite set with at least two elements. The composition of two classes I and J of operations on A, is defined as the set of all compositions of functions in I with functions in J. This binary operation gives a monoid structure to the set E_A of all equational classes of operations on A. The set E_A of equational classes of operations on A also constitutes a complete distributive lattice… ▽ More Let A be a finite set with at least two elements. The composition of two classes I and J of operations on A, is defined as the set of all compositions of functions in I with functions in J. This binary operation gives a monoid structure to the set E_A of all equational classes of operations on A. The set E_A of equational classes of operations on A also constitutes a complete distributive lattice under intersection and union. Clones of operations, i.e. classes containing all projections and idempotent under class composition, also form a lattice which is strictly contained in E_A. In the Boolean case |A|=2, the lattice E_A contains uncountably many equational classes, but only countably many of them are clones. The aim of this paper is to provide a better understanding of this uncountable lattice of equational classes of Boolean functions, by analyzing its "closed" intervals" [C_1,C_2], for clones C_1 and C_2. For |A|=2, we give a complete classification of all such closed intervals in terms of their size, and provide a simple, necessary and sufficient condition characterizing the uncountable closed intervals of E_A. △ Less

Submitted 17 May, 2011; originally announced May 2011.

Journal ref: Journal of Multiple-Valued Logic and Soft Computing 18 (2008) 81--104

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

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.

Axiomatizations of quasi-Lovász extensions of pseudo-Boolean functions

Authors: Miguel Couceiro, Jean-Luc Marichal

Abstract: We introduce the concept of quasi-Lovász extension as being a mapping $f\colon I^n\to\R$ defined on a nonempty real interval $I$ containing the origin and which can be factorized as $f(x_1,...,x_n)=L(φ(x_1),...,φ(x_n))$, where $L$ is the Lovász extension of a pseudo-Boolean function $ψ\colon\{0,1\}^n\to\R$ (i.e., the function $L\colon\R^n\to\R$ whose restriction to each simplex of the standard tri… ▽ More We introduce the concept of quasi-Lovász extension as being a mapping $f\colon I^n\to\R$ defined on a nonempty real interval $I$ containing the origin and which can be factorized as $f(x_1,...,x_n)=L(φ(x_1),...,φ(x_n))$, where $L$ is the Lovász extension of a pseudo-Boolean function $ψ\colon\{0,1\}^n\to\R$ (i.e., the function $L\colon\R^n\to\R$ whose restriction to each simplex of the standard triangulation of $[0,1]^n$ is the unique affine function which agrees with $ψ$ at the vertices of this simplex) and $φ\colon I\to\R$ is a nondecreasing function vanishing at the origin. These functions appear naturally within the scope of decision making under uncertainty since they subsume overall preference functionals associated with discrete Choquet integrals whose variables are transformed by a given utility function. To axiomatize the class of quasi-Lovász extensions, we propose generalizations of properties used to characterize the Lovász extensions, including a comonotonic version of modularity and a natural relaxation of homogeneity. A variant of the latter property enables us to axiomatize also the class of symmetric quasi-Lovász extensions, which are compositions of symmetric Lovász extensions with 1-place nondecreasing odd functions. △ Less

Submitted 29 November, 2011; v1 submitted 29 November, 2010; originally announced November 2010.

MSC Class: 39B22; 39B72 (Primary) 26B35 (Secondary)

Journal ref: Aequationes Mathematicae 82 (3) (2011) 213-231

Axiomatizations of Lovász extensions of pseudo-Boolean functions

Authors: Miguel Couceiro, Jean-Luc Marichal

Abstract: Three important properties in aggregation theory are investigated, namely horizontal min-additivity, horizontal max-additivity, and comonotonic additivity, which are defined by certain relaxations of the Cauchy functional equation in several variables. We show that these properties are equivalent and we completely describe the functions characterized by them. By adding some regularity conditions,… ▽ More Three important properties in aggregation theory are investigated, namely horizontal min-additivity, horizontal max-additivity, and comonotonic additivity, which are defined by certain relaxations of the Cauchy functional equation in several variables. We show that these properties are equivalent and we completely describe the functions characterized by them. By adding some regularity conditions, these functions coincide with the Lovász extensions vanishing at the origin, which subsume the discrete Choquet integrals. We also propose a simultaneous generalization of horizontal min-additivity and horizontal max-additivity, called horizontal median-additivity, and we describe the corresponding function class. Additional conditions then reduce this class to that of symmetric Lovász extensions, which includes the discrete symmetric Choquet integrals. △ Less

Submitted 29 July, 2011; v1 submitted 5 July, 2010; originally announced July 2010.

MSC Class: 39B22; 39B72 (Primary) 26B35 (Secondary)

Journal ref: Fuzzy Sets and Systems 181 (1) (2011) 28-38

Axiomatizations of signed discrete Choquet integrals

Authors: Marta Cardin, Miguel Couceiro, Silvio Giove, Jean-Luc Marichal

Abstract: We study the so-called signed discrete Choquet integral (also called non-monotonic discrete Choquet integral) regarded as the Lovász extension of a pseudo-Boolean function which vanishes at the origin. We present axiomatizations of this generalized Choquet integral, given in terms of certain functional equations, as well as by necessary and sufficient conditions which reveal desirable properties i… ▽ More We study the so-called signed discrete Choquet integral (also called non-monotonic discrete Choquet integral) regarded as the Lovász extension of a pseudo-Boolean function which vanishes at the origin. We present axiomatizations of this generalized Choquet integral, given in terms of certain functional equations, as well as by necessary and sufficient conditions which reveal desirable properties in aggregation theory. △ Less

Submitted 22 October, 2010; v1 submitted 5 July, 2010; originally announced July 2010.

MSC Class: 39B22; 39B72 (Primary); 26B35 (Secondary)

Journal ref: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 19 (2) (2011) 193-199

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

Self-commuting lattice polynomial functions

Authors: Miguel Couceiro, Erkko Lehtonen

Abstract: We provide sufficient conditions for a lattice polynomial function to be self-commuting. We explicitly describe self-commuting polynomial functions over chains. We provide sufficient conditions for a lattice polynomial function to be self-commuting. We explicitly describe self-commuting polynomial functions over chains. △ Less

Submitted 2 December, 2009; originally announced December 2009.

Comments: 10 pages

MSC Class: 08A40; 39B05

Journal ref: Aequationes Math. 81 (2011) 263-278

Invariant functionals on completely distributive lattices

Authors: Marta Cardin, Miguel Couceiro

Abstract: In this paper we are interested in functionals defined on completely distributive lattices and which are invariant under mappings preserving {arbitrary} joins and meets. We prove that the class of nondecreasing invariant functionals coincides with the class of Sugeno integrals associated with $\{0,1\}$-valued capacities, the so-called term functionals, thus extending previous results both to the… ▽ More In this paper we are interested in functionals defined on completely distributive lattices and which are invariant under mappings preserving {arbitrary} joins and meets. We prove that the class of nondecreasing invariant functionals coincides with the class of Sugeno integrals associated with $\{0,1\}$-valued capacities, the so-called term functionals, thus extending previous results both to the infinitary case as well as to the realm of completely distributive lattices. Furthermore, we show that, in the case of functionals over complete chains, the nondecreasing condition is redundant. Characterizations of the class of Sugeno integrals, as well as its superclass comprising all polynomial functionals, are provided by showing that the axiomatizations (given in terms of homogeneity) of their restriction to finitary functionals still hold over completely distributive lattices. We also present canonical normal form representations of polynomial functionals on completely distributive lattices, which appear as the natural extensions to their finitary counterparts, and as a by-product we obtain an axiomatization of complete distributivity in the case of bounded lattices. △ Less

Submitted 19 April, 2010; v1 submitted 4 November, 2009; originally announced November 2009.

Finitely generated maximal partial clones and their intersections

Authors: Miguel Couceiro, Lucien Haddad

Abstract: Let A be a finite non-singleton set. For |A|=2 we show that the partial clone consisting of all selfdual monotone partial functions on A is not finitely generated, while it is the intersection of two finitely generated maximal partial clones on A. Moreover for |A| >= 3 we show that there are pairs of finitely generated maximal partial clones whose intersection is a non-finitely generated partial… ▽ More Let A be a finite non-singleton set. For |A|=2 we show that the partial clone consisting of all selfdual monotone partial functions on A is not finitely generated, while it is the intersection of two finitely generated maximal partial clones on A. Moreover for |A| >= 3 we show that there are pairs of finitely generated maximal partial clones whose intersection is a non-finitely generated partial clone on A. △ Less

Submitted 30 October, 2009; originally announced November 2009.

Galois connection for sets of operations closed under permutation, cylindrification and composition

Authors: Miguel Couceiro, Erkko Lehtonen

Abstract: We consider sets of operations on a set A that are closed under permutation of variables, addition of dummy variables and composition. We describe these closed sets in terms of a Galois connection between operations and systems of pointed multisets, and we also describe the closed sets of the dual objects by means of necessary and sufficient closure conditions. Moreover, we show that the correspon… ▽ More We consider sets of operations on a set A that are closed under permutation of variables, addition of dummy variables and composition. We describe these closed sets in terms of a Galois connection between operations and systems of pointed multisets, and we also describe the closed sets of the dual objects by means of necessary and sufficient closure conditions. Moreover, we show that the corresponding closure systems are uncountable for every A with at least two elements. △ Less

Submitted 26 September, 2010; v1 submitted 28 October, 2009; originally announced October 2009.

Comments: 22 pages; Section 4 added

MSC Class: 08A40; 06A15

Journal ref: Algebra Universalis 67 (2012) 273-297

The arity gap of polynomial functions over bounded distributive lattices

Authors: Miguel Couceiro, Erkko Lehtonen

Abstract: Let A and B be arbitrary sets with at least two elements. The arity gap of a function f: A^n \to B is the minimum decrease in its essential arity when essential arguments of f are identified. In this paper we study the arity gap of polynomial functions over bounded distributive lattices and present a complete classification of such functions in terms of their arity gap. To this extent, we presen… ▽ More Let A and B be arbitrary sets with at least two elements. The arity gap of a function f: A^n \to B is the minimum decrease in its essential arity when essential arguments of f are identified. In this paper we study the arity gap of polynomial functions over bounded distributive lattices and present a complete classification of such functions in terms of their arity gap. To this extent, we present a characterization of the essential arguments of polynomial functions, which we then use to show that almost all lattice polynomial functions have arity gap 1, with the exception of truncated median functions, whose arity gap is 2. △ Less

Submitted 27 October, 2009; originally announced October 2009.

Comments: 7 pages

MSC Class: 08A40; 06D99

Journal ref: 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2010), IEEE Computer Society, Los Alamitos, 2010, pp. 113-116

Quasi-polynomial functions over bounded distributive lattices

Authors: Miguel Couceiro, Jean-Luc Marichal

Abstract: In [arXiv 0811.3913] the authors introduced the notion of quasi-polynomial function as being a mapping f: X^n -> X defined and valued on a bounded chain X and which can be factorized as f(x_1,...,x_n)=p(phi(x_1),...,phi(x_n)), where p is a polynomial function (i.e., a combination of variables and constants using the chain operations / and) and phi is an order-preserving map. In the current paper w… ▽ More In [arXiv 0811.3913] the authors introduced the notion of quasi-polynomial function as being a mapping f: X^n -> X defined and valued on a bounded chain X and which can be factorized as f(x_1,...,x_n)=p(phi(x_1),...,phi(x_n)), where p is a polynomial function (i.e., a combination of variables and constants using the chain operations / and) and phi is an order-preserving map. In the current paper we study this notion in the more general setting where the underlying domain and codomain sets are, possibly different, bounded distributive lattices, and where the inner function is not necessarily order-preserving. These functions appear naturally within the scope of decision making under uncertainty since, as shown in this paper, they subsume overall preference functionals associated with Sugeno integrals whose variables are transformed by a given utility function. To axiomatize the class of quasi-polynomial functions, we propose several generalizations of well-established properties in aggregation theory, as well as show that some of the characterizations given in [arXiv 0811.3913] still hold in this general setting. Moreover, we investigate the so-called transformed polynomial functions (essentially, compositions of unary mappings with polynomial functions) and show that, under certain conditions, they reduce to quasi-polynomial functions. △ Less

Submitted 22 November, 2010; v1 submitted 16 September, 2009; originally announced September 2009.

MSC Class: 28B15; 39B72 (Primary) 06A07; 06D05 (Secondary)

Journal ref: Aequationes Mathematicae 80 (3) (2010) 319-334

Join-irreducible Boolean functions

Authors: Moncef Bouaziz, Miguel Couceiro, Maurice Pouzet

Abstract: This paper is a contribution to the study of a quasi-order on the set $Ω$ of Boolean functions, the \emph{simple minor} quasi-order. We look at the join-irreducible members of the resulting poset $\tildeΩ$. Using a two-way correspondence between Boolean functions and hypergraphs, join-irreducibility translates into a combinatorial property of hypergraphs. We observe that among Steiner systems, t… ▽ More This paper is a contribution to the study of a quasi-order on the set $Ω$ of Boolean functions, the \emph{simple minor} quasi-order. We look at the join-irreducible members of the resulting poset $\tildeΩ$. Using a two-way correspondence between Boolean functions and hypergraphs, join-irreducibility translates into a combinatorial property of hypergraphs. We observe that among Steiner systems, those which yield join-irreducible members of $\tildeΩ$ are the -2-monomorphic Steiner systems. We also describe the graphs which correspond to join-irreducible members of $\tildeΩ$. △ Less

Submitted 23 March, 2009; originally announced March 2009.

Comments: The current manuscript constitutes an extension to the paper "Irreducible Boolean Functions" (arXiv:0801.2939v1)

MSC Class: 05C75; 05C65; 05B05; 05B07; 06A07; 06E30; 94C10

Associative polynomial functions over bounded distributive lattices

Authors: Miguel Couceiro, Jean-Luc Marichal

Abstract: The associativity property, usually defined for binary functions, can be generalized to functions of a given fixed arity n>=1 as well as to functions of multiple arities. In this paper, we investigate these two generalizations in the case of polynomial functions over bounded distributive lattices and present explicit descriptions of the corresponding associative functions. We also show that, in th… ▽ More The associativity property, usually defined for binary functions, can be generalized to functions of a given fixed arity n>=1 as well as to functions of multiple arities. In this paper, we investigate these two generalizations in the case of polynomial functions over bounded distributive lattices and present explicit descriptions of the corresponding associative functions. We also show that, in this case, both generalizations of associativity are essentially the same. △ Less

Submitted 12 March, 2010; v1 submitted 13 February, 2009; originally announced February 2009.

Comments: Final version

MSC Class: 28B15; 39B72 (Primary) 06D05 (Secondary)

Journal ref: Order - A Journal on the Theory of Ordered Sets and its Applications 28 (1) (2011) 1-8

Function classes and relational constraints stable under compositions with clones

Authors: Miguel Couceiro, Stephan Foldes

Abstract: The general Galois theory for functions and relational constraints over arbitrary sets described in the authors' previous paper is refined by imposing algebraic conditions on relations. The general Galois theory for functions and relational constraints over arbitrary sets described in the authors' previous paper is refined by imposing algebraic conditions on relations. △ Less

Submitted 7 February, 2009; originally announced February 2009.

MSC Class: 08A02

Polynomial functions over bounded distributive lattices

Authors: Miguel Couceiro, Jean-Luc Marichal

Abstract: Let L be a bounded distributive lattice. We give several characterizations of those L^n --> L mappings that are polynomial functions, i.e., functions which can be obtained from projections and constant functions using binary joins and meets. Moreover, we discuss the disjunctive normal form representations of these polynomial functions. Let L be a bounded distributive lattice. We give several characterizations of those L^n --> L mappings that are polynomial functions, i.e., functions which can be obtained from projections and constant functions using binary joins and meets. Moreover, we discuss the disjunctive normal form representations of these polynomial functions. △ Less

Submitted 17 February, 2012; v1 submitted 30 January, 2009; originally announced January 2009.

MSC Class: 06A07; 06D05 (Primary) 28B15; 39B72 (Secondary)

Journal ref: Journal of Multiple-Valued Logic and Soft Computing 18 (3-4) (2012) 247-256

Axiomatizations of quasi-polynomial functions on bounded chains

Authors: Miguel Couceiro, Jean-Luc Marichal

Abstract: Two emergent properties in aggregation theory are investigated, namely horizontal maxitivity and comonotonic maxitivity (as well as their dual counterparts) which are commonly defined by means of certain functional equations. We completely describe the function classes axiomatized by each of these properties, up to weak versions of monotonicity in the cases of horizontal maxitivity and minitivit… ▽ More Two emergent properties in aggregation theory are investigated, namely horizontal maxitivity and comonotonic maxitivity (as well as their dual counterparts) which are commonly defined by means of certain functional equations. We completely describe the function classes axiomatized by each of these properties, up to weak versions of monotonicity in the cases of horizontal maxitivity and minitivity. While studying the classes axiomatized by combinations of these properties, we introduce the concept of quasi-polynomial function which appears as a natural extension of the well-established notion of polynomial function. We give further axiomatizations for this class both in terms of functional equations and natural relaxations of homogeneity and median decomposability. As noteworthy particular cases, we investigate those subclasses of quasi-term functions and quasi-weighted maximum and minimum functions, and provide characterizations accordingly. △ Less

Submitted 25 May, 2009; v1 submitted 24 November, 2008; originally announced November 2008.

MSC Class: 28B15; 39B72 (Primary) 06A05; 06D05 (Secondary)

Journal ref: Aequationes Mathematicae 78 (1-2) (2009) 195-213.

Representations and characterizations of polynomial functions on chains

Authors: Miguel Couceiro, Jean-Luc Marichal

Abstract: We are interested in representations and characterizations of lattice polynomial functions f:L^n -> L, where L is a given bounded distributive lattice. In companion papers [arXiv 0901.4888, arXiv 0808.2619], we investigated certain representations and provided various characterizations of these functions both as solutions of certain functional equations and in terms of necessary and sufficient c… ▽ More We are interested in representations and characterizations of lattice polynomial functions f:L^n -> L, where L is a given bounded distributive lattice. In companion papers [arXiv 0901.4888, arXiv 0808.2619], we investigated certain representations and provided various characterizations of these functions both as solutions of certain functional equations and in terms of necessary and sufficient conditions. In the present paper, we investigate these representations and characterizations in the special case when L is a chain, i.e., a totally ordered lattice. More precisely, we discuss representations of lattice polynomial functions given in terms of standard simplices and we present new axiomatizations of these functions by relaxing some of the conditions given in [arXiv 0901.4888, arXiv 0808.2619] and by considering further conditions, namely comonotonic minitivity and maxitivity. △ Less

Submitted 27 May, 2009; v1 submitted 3 November, 2008; originally announced November 2008.

MSC Class: 06A05; 06A07; 06D05 (Primary) 28B15; 39B72 (Secondary)

Journal ref: Journal of Multiple-Valued Logic and Soft Computing 16 (1-2) (2010) 65-86

Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices

Authors: Miguel Couceiro, Jean-Luc Marichal

Abstract: We give several characterizations of discrete Sugeno integrals over bounded distributive lattices, as particular cases of lattice polynomial functions, that is, functions which can be represented in the language of bounded lattices using variables and constants. We also consider the subclass of term functions as well as the classes of symmetric polynomial functions and weighted minimum and maxim… ▽ More We give several characterizations of discrete Sugeno integrals over bounded distributive lattices, as particular cases of lattice polynomial functions, that is, functions which can be represented in the language of bounded lattices using variables and constants. We also consider the subclass of term functions as well as the classes of symmetric polynomial functions and weighted minimum and maximum functions, and present their characterizations, accordingly. Moreover, we discuss normal form representations of these functions. △ Less

Submitted 14 October, 2009; v1 submitted 19 August, 2008; originally announced August 2008.

MSC Class: 06A07; 06D05 (Primary) 28B15; 39B72 (Secondary)

Journal ref: Fuzzy Sets and Systems 161 (5) (2010) 694-707

Irreducible Boolean Functions

Authors: Moncef Bouaziz, Miguel Couceiro, Maurice Pouzet

Abstract: This paper is a contribution to the study of a quasi-order on the set $Ω$ of Boolean functions, the \emph{simple minor} quasi-order. We look at the join-irreducible members of the resulting poset $\tildeΩ$. Using a two-way correspondence between Boolean functions and hypergraphs, join-irreducibility translates into a combinatorial property of hypergraphs. We observe that among Steiner systems, t… ▽ More This paper is a contribution to the study of a quasi-order on the set $Ω$ of Boolean functions, the \emph{simple minor} quasi-order. We look at the join-irreducible members of the resulting poset $\tildeΩ$. Using a two-way correspondence between Boolean functions and hypergraphs, join-irreducibility translates into a combinatorial property of hypergraphs. We observe that among Steiner systems, those which yield join-irreducible members of $\tildeΩ$ are the -2-monomorphic Steiner systems. We also describe the graphs which correspond to join-irreducible members of $\tildeΩ$. △ Less

Submitted 18 January, 2008; originally announced January 2008.

Comments: 10 pages, ROGICS08,Mahdia 12-15 may 2008

MSC Class: 05C75; 05C65; 05B05; 05B07; 06A07; 06E30; 94C10

Generalizations of Swierczkowski's lemma and the arity gap of finite functions

Authors: Miguel Couceiro, Erkko Lehtonen

Abstract: Swierczkowski's Lemma - as it is usually formulated - asserts that if f is an at least quaternary operation on a finite set A and every operation obtained from f by identifying a pair of variables is a projection, then f is a semiprojection. We generalize this lemma in various ways. First, it is extended to B-valued functions on A instead of operations on A and to essentially at most unary funct… ▽ More Swierczkowski's Lemma - as it is usually formulated - asserts that if f is an at least quaternary operation on a finite set A and every operation obtained from f by identifying a pair of variables is a projection, then f is a semiprojection. We generalize this lemma in various ways. First, it is extended to B-valued functions on A instead of operations on A and to essentially at most unary functions instead of projections. Then we characterize the arity gap of functions of small arities in terms of quasi-arity, which in turn provides a further generalization of Swierczkowski's Lemma. Moreover, we explicitly classify all pseudo-Boolean functions according to their arity gap. Finally, we present a general characterization of the arity gaps of B-valued functions on arbitrary finite sets A. △ Less

Submitted 17 March, 2009; v1 submitted 11 December, 2007; originally announced December 2007.

Comments: 11 pages, proofs simplified, contents reorganized

MSC Class: 08A40; 06E30; 06A06

Journal ref: Discrete Math. 309 (2009) 5905-5912

On the effect of variable identification on the essential arity of functions

Authors: Miguel Couceiro, Erkko Lehtonen

Abstract: We show that every function of several variables on a finite set of k elements with n>k essential variables has a variable identification minor with at least n-k essential variables. This is a generalization of a theorem of Salomaa on the essential variables of Boolean functions. We also strengthen Salomaa's theorem by characterizing all the Boolean functions f having a variable identification m… ▽ More We show that every function of several variables on a finite set of k elements with n>k essential variables has a variable identification minor with at least n-k essential variables. This is a generalization of a theorem of Salomaa on the essential variables of Boolean functions. We also strengthen Salomaa's theorem by characterizing all the Boolean functions f having a variable identification minor that has just one essential variable less than f. △ Less

Submitted 11 January, 2007; originally announced January 2007.

Comments: 10 pages

MSC Class: 08A40; 06E30

Journal ref: Int. J. Found. Comput. Sci. 18 (2007) 975-986

On a quasi-ordering on Boolean functions

Authors: Miguel Couceiro, Maurice Pouzet

Abstract: It was proved few years ago that classes of Boolean functions definable by means of functional equations \cite{EFHH}, or equivalently, by means of relational constraints \cite{Pi2}, coincide with initial segments of the quasi-ordered set $(Ω, \leq)$ made of the set $Ω$ of Boolean functions, suitably quasi-ordered. The resulting ordered set $(Ω/\equiv, \sqsubseteq)$ embeds into… ▽ More It was proved few years ago that classes of Boolean functions definable by means of functional equations \cite{EFHH}, or equivalently, by means of relational constraints \cite{Pi2}, coincide with initial segments of the quasi-ordered set $(Ω, \leq)$ made of the set $Ω$ of Boolean functions, suitably quasi-ordered. The resulting ordered set $(Ω/\equiv, \sqsubseteq)$ embeds into $([ω]^{<ω}, \subseteq)$, the set -ordered by inclusion- of finite subsets of the set $ω$ of integers. We prove that $(Ω/\equiv, \sqsubseteq)$ also embeds $([ω]^{<ω}, \subseteq)$. We prove that initial segments of $(Ω, \leq)$ which are definable by finitely many obstructions coincide with classes defined by finitely many equations. This gives, in particular, that the classes of Boolean functions with a bounded number of essential variables are finitely definable. As an example, we provide a concrete characterization of the subclasses made of linear functions. △ Less

Submitted 10 January, 2006; originally announced January 2006.

Comments: 14 pages

MSC Class: 06E30; 06A06