Bisymmetric and quasitrivial operations: characterizations and enumerations

in Aequationes Mathematicae (2019), 93(3), 501-526

We investigate the class of bisymmetric and quasitrivial binary operations on a given set and provide various characterizations of this class as well as the subclass of bisymmetric, quasitrivial, and ... [more ▼]

We investigate the class of bisymmetric and quasitrivial binary operations on a given set and provide various characterizations of this class as well as the subclass of bisymmetric, quasitrivial, and order-preserving binary operations. We also determine explicitly the sizes of these classes when the set is finite. [less ▲]

On the generalized associativity equation

in Aequationes Mathematicae (2017), 91(2), 265-277

The so-called generalized associativity functional equation G(J(x,y),z) = H(x,K(y,z)) has been investigated under various assumptions, for instance when the unknown functions G, H, J, and K are real ... [more ▼]

The so-called generalized associativity functional equation G(J(x,y),z) = H(x,K(y,z)) has been investigated under various assumptions, for instance when the unknown functions G, H, J, and K are real, continuous, and strictly monotonic in each variable. In this note we investigate the following related problem: given the functions J and K, find every function F that can be written in the form F(x,y,z) = G(J(x,y),z) = H(x,K(y,z)) for some functions G and H. We show how this problem can be solved when any of the inner functions J and K has the same range as one of its sections. [less ▲]

On spectral synthesis in varieties containing the solutions of inhomogeneous linear functional equations

in Aequationes Mathematicae (2017)

As a continuation of our previous work [2] the aim of the recent paper is to investigate the solutions of special inhomogeneous linear functional equations by using spectral synthesis in translation ... [more ▼]

As a continuation of our previous work [2] the aim of the recent paper is to investigate the solutions of special inhomogeneous linear functional equations by using spectral synthesis in translation invariant closed linear subspaces of additive/multiadditive functions containing the restrictions of the solutions to finitely generated fields. The idea is based on the fundamental work of [5]. Using spectral analysis in some related varieties we can prove the existence of special solutions (automorphisms) of the functional equation but spectral synthesis allows us to describe the entire space of solutions on a large class of finitely generated fields. It is spanned by the so-called exponential monomials which can be given in terms of automorphisms of CC and differential operators. We apply the general theory to some inhomogeneous problems motivated by quadrature rules of approximate integration [8], see also [7, 9]. [less ▲]

A classification of barycentrically associative polynomial functions

in Aequationes Mathematicae (2015), 89(5), 1281-1291

We describe the class of polynomial functions which are barycentrically associative over an infinite commutative integral domain.

Existence of nontrivial solutions of linear functional equations.

in Aequationes Mathematicae (2014), 88(1-2), 151162

We investigate the existence of a solution of linear functional equations.

A classification of bisymmetric polynomial functions over integral domains of characteristic zero

in Aequationes Mathematicae (2012), 84(1-2), 125-136

We describe the class of n-variable polynomial functions that satisfy Aczél's bisymmetry property over an arbitrary integral domain of characteristic zero with identity.

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

in Aequationes Mathematicae (2011), 82(3), 213-231

We introduce the concept of quasi-Lov\'asz 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,\ldots,x_n)=L ... [more ▼]

We introduce the concept of quasi-Lov\'asz 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,\ldots,x_n)=L(\varphi(x_1),\ldots,\varphi(x_n))$, where $L$ is the Lov\'asz extension of a pseudo-Boolean function $\psi\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 $\psi$ at the vertices of this simplex) and $\varphi\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\'asz extensions, we propose generalizations of properties used to characterize the Lov\'asz 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\'asz extensions, which are compositions of symmetric Lov\'asz extensions with $1$-place nondecreasing odd functions. [less ▲]

Quasi-polynomial functions over bounded distributive lattices

in Aequationes Mathematicae (2010), 80(3), 319-334

In [6] the authors introduced the notion of quasi-polynomial function as being a mapping $f\colon X^n\to X$ defined and valued on a bounded chain $X$ and which can be factorized as $f(x_1,\ldots,x_n)=p ... [more ▼]

In [6] the authors introduced the notion of quasi-polynomial function as being a mapping $f\colon X^n\to X$ defined and valued on a bounded chain $X$ and which can be factorized as $f(x_1,\ldots,x_n)=p(\varphi(x_1),\ldots,\varphi(x_n))$, where $p$ is a polynomial function (i.e., a combination of variables and constants using the chain operations $\wedge$ and $\vee$) and $\varphi$ 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 [6] 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 ▲]

Axiomatizations of quasi-polynomial functions on bounded chains

in Aequationes Mathematicae (2009), 78(1-2), 195-213

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 ... [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 ▲]

A complete description of comparison meaningful functions

in Aequationes Mathematicae (2005), 69(3), 309-320

Comparison meaningful functions acting on some real interval E are completely described as transformed coordinate projections on minimal invariant subsets. The case of monotone comparison meaningful ... [more ▼]

Comparison meaningful functions acting on some real interval E are completely described as transformed coordinate projections on minimal invariant subsets. The case of monotone comparison meaningful functions is further specified. Several already known results for comparison meaningful functions and invariant functions are obtained as consequences of our description. [less ▲]