Researcher profile

Jean-Luc Marichal

Jean-Luc Marichal contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
45works
0followers
12topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

45 published item(s)

preprint2022arXiv

A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions

In 1922, Harald Bohr and Johannes Mollerup established a remarkable characterization of the Euler gamma function using its log-convexity property. A decade later, Emil Artin investigated this result and used it to derive the basic properties of the gamma function using elementary methods of the calculus. Bohr-Mollerup's theorem was then adopted by Nicolas Bourbaki as the starting point for his exposition of the gamma function. This open access book develops a far-reaching generalization of Bohr-Mollerup's theorem to higher order convex functions, along lines initiated by Wolfgang Krull, Roger Webster, and some others but going considerably further than past work. In particular, this generalization shows using elementary techniques that a very rich spectrum of functions satisfy analogues of several classical properties of the gamma function, including Bohr-Mollerup's theorem itself, Euler's reflection formula, Gauss' multiplication theorem, Stirling's formula, and Weierstrass' canonical factorization. The scope of the theory developed in this work is illustrated through various examples, ranging from the gamma function itself and its variants and generalizations (q-gamma, polygamma, multiple gamma functions) to important special functions such as the Hurwitz zeta function and the generalized Stieltjes constants. This volume is also an opportunity to honor the 100th anniversary of Bohr-Mollerup's theorem and to spark the interest of a large number of researchers in this beautiful theory.

preprint2022arXiv

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

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$.

preprint2020arXiv

On the best constants associated with $n$-distances

We pursue the investigation of the concept of $n$-distance, an $n$-variable version of the classical concept of distance recently introduced and investigated by Kiss, Marichal, and Teheux. We especially focus on the challenging problem of computing the best constant associated with a given $n$-distance. In particular, we define and investigate the best constants related to partial simplex inequalities. We also introduce and discuss some subclasses of $n$-distances defined by considering some properties. Finally, we discuss an interesting link between the concepts of $n$-distance and multidistance.

preprint2016arXiv

Strongly barycentrically associative and preassociative functions

We study the property of strong barycentric associativity, a stronger version of barycentric associativity for functions with indefinite arities. We introduce and discuss the more general property of strong barycentric preassociativity, a generalization of strong barycentric associativity which does not involve any composition of functions. We also provide a generalization of Kolmogoroff-Nagumo's characterization of the quasi-arithmetic mean functions to strongly barycentrically preassociative functions.

preprint2015arXiv

Algorithms and formulas for conversion between system signatures and reliability functions

The concept of signature is a useful tool in the analysis of semicoherent systems with continuous and i.i.d. component lifetimes, especially for the comparison of different system designs and the computation of the system reliability. For such systems, we provide conversion formulas between the signature and the reliability function through the corresponding vector of dominations and we derive efficient algorithms for the computation of any of these concepts from the other. We also show how the signature can be easily computed from the reliability function via basic manipulations such as differentiation, coefficient extraction, and integration.

preprint2015arXiv

Barycentrically associative and preassociative functions

We investigate the barycentric associativity property for functions with indefinite arities and discuss the more general property of barycentric preassociativity, a generalization of barycentric associativity which does not involve any composition of functions. We also provide a generalization of Kolmogoroff-Nagumo's characterization of the quasi-arithmetic mean functions to barycentrically preassociative functions.

preprint2015arXiv

Preassociative aggregation functions

The classical property of associativity is very often considered in aggregation function theory and fuzzy logic. In this paper we provide axiomatizations of various classes of preassociative functions, where preassociativity is a generalization of associativity recently introduced by the authors. These axiomatizations are based on existing characterizations of some noteworthy classes of associative operations, such as the class of Aczélian semigroups and the class of t-norms.

preprint2014arXiv

Associative string functions

We introduce the concept of associativity for string functions, where a string function is a unary operation on the set of strings over a given alphabet. We discuss this new property and describe certain classes of associative string functions. We also characterize the recently introduced preassociative functions as compositions of associative string functions with injective unary maps. Finally, we provide descriptions of the classes of associative and preassociative functions which depend only on the length of the input.

preprint2014arXiv

Computing subsignatures of systems with exchangeable component lifetimes

The subsignatures of a system with continuous and exchangeable component lifetimes form a class of indexes ranging from the Samaniego signature to the Barlow-Proschan importance index. These indexes can be computed through explicit linear expressions involving the values of the structure function of the system. We show how the subsignatures can be computed more efficiently from the reliability function of the system via identifications of variables, differentiations, and integrations.

preprint2014arXiv

Influence and interaction indexes for pseudo-Boolean functions: a unified least squares approach

The Banzhaf power and interaction indexes for a pseudo-Boolean function (or a cooperative game) appear naturally as leading coefficients in the standard least squares approximation of the function by a pseudo-Boolean function of a specified degree. We first observe that this property still holds if we consider approximations by pseudo-Boolean functions depending only on specified variables. We then show that the Banzhaf influence index can also be obtained from the latter approximation problem. Considering certain weighted versions of this approximation problem, we introduce a class of weighted Banzhaf influence indexes, analyze their most important properties, and point out similarities between the weighted Banzhaf influence index and the corresponding weighted Banzhaf interaction index. We also discuss the issue of reconstructing a pseudo-Boolean function from prescribed influences and point out very different behaviors in the weighted and non-weighted cases.

preprint2014arXiv

On modular decompositions of system signatures

Considering a semicoherent system made up of $n$ components having i.i.d. continuous lifetimes, Samaniego defined its structural signature as the $n$-tuple whose $k$-th coordinate is the probability that the $k$-th component failure causes the system to fail. This $n$-tuple, which depends only on the structure of the system and not on the distribution of the component lifetimes, is a very useful tool in the theoretical analysis of coherent systems. It was shown in two independent recent papers how the structural signature of a system partitioned into two disjoint modules can be computed from the signatures of these modules. In this work we consider the general case of a system partitioned into an arbitrary number of disjoint modules organized in an arbitrary way and we provide a general formula for the signature of the system in terms of the signatures of the modules. The concept of signature was recently extended to the general case of semicoherent systems whose components may have dependent lifetimes. The same definition for the $n$-tuple gives rise to the probability signature, which may depend on both the structure of the system and the probability distribution of the component lifetimes. In this general setting, we show how under a natural condition on the distribution of the lifetimes, the probability signature of the system can be expressed in terms of the probability signatures of the modules. We finally discuss a few situations where this condition holds in the non-i.i.d. and nonexchangeable cases and provide some applications of the main results.

preprint2014arXiv

Pivotal decompositions of functions

We extend the well-known Shannon decomposition of Boolean functions to more general classes of functions. Such decompositions, which we call pivotal decompositions, express the fact that every unary section of a function only depends upon its values at two given elements. Pivotal decompositions appear to hold for various function classes, such as the class of lattice polynomial functions or the class of multilinear polynomial functions. We also define function classes characterized by pivotal decompositions and function classes characterized by their unary members and investigate links between these two concepts.

preprint2013arXiv

Discrete integrals based on comonotonic modularity

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.

preprint2013arXiv

Subsignatures of systems

We introduce the concept of subsignature for semicoherent systems as a class of indexes that range from the system signature to the Barlow-Proschan importance index. Specifically, given a nonempty subset M of the set of components of a system, we define the M-signature of the system as the |M|-tuple whose k-th coordinate is the probability that the k-th failure among the components in M causes the system to fail. We give various explicit linear expressions for this probability in terms of the structure function and the distribution of the component lifetimes. We also examine the case of exchangeable lifetimes and the special case when M is a modular set.

preprint2012arXiv

Computing system signatures through reliability functions

It is known that the Barlow-Proschan index of a system with i.i.d. component lifetimes coincides with the Shapley value, a concept introduced earlier in cooperative game theory. Due to a result by Owen, this index can be computed efficiently by integrating the first derivatives of the reliability function of the system along the main diagonal of the unit hypercube. The Samaniego signature of such a system is another important index that can be computed for instance by Boland's formula, which requires the knowledge of every value of the associated structure function. We show how the signature can be computed more efficiently from the diagonal section of the reliability function via derivatives. We then apply our method to the computation of signatures for systems partitioned into disjoint modules with known signatures.

preprint2012arXiv

Locally monotone Boolean and pseudo-Boolean functions

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.

preprint2012arXiv

On the extensions of Barlow-Proschan importance index and system signature to dependent lifetimes

For a coherent system the Barlow-Proschan importance index, defined when the component lifetimes are independent, measures the probability that the failure of a given component causes the system to fail. Iyer (1992) extended this concept to the more general case when the component lifetimes are jointly absolutely continuous but not necessarily independent. Assuming only that the joint distribution of component lifetimes has no ties, we give an explicit expression for this extended index in terms of the discrete derivatives of the structure function and provide an interpretation of it as a probabilistic value, a concept introduced in game theory. This enables us to interpret Iyer's formula in this more general setting. We also discuss the analogy between this concept and that of system signature and show how it can be used to define a symmetry index for systems.

preprint2012arXiv

Symmetric approximations of pseudo-Boolean functions with applications to influence indexes

We introduce an index for measuring the influence of the k-th smallest variable on a pseudo-Boolean function. This index is defined from a weighted least squares approximation of the function by linear combinations of order statistic functions. We give explicit expressions for both the index and the approximation and discuss some properties of the index. Finally, we show that this index subsumes the concept of system signature in engineering reliability and that of cardinality index in decision making.

preprint2011arXiv

Axiomatizations of Lovász extensions of pseudo-Boolean functions

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.

preprint2011arXiv

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

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.

preprint2011arXiv

Extensions of system signatures to dependent lifetimes: Explicit expressions and interpretations

The concept of system signature was introduced by Samaniego for systems whose components have i.i.d. lifetimes. We consider its extension to the continuous dependent case and give an explicit expression for this extension as a difference of weighted means of the structure function values. We then derive a formula for the computation of the coefficients of these weighted means in the special case of independent continuous lifetimes. Finally, we interpret this extended concept of signature through a natural least squares approximation problem.

preprint2011arXiv

Measuring the interactions among variables of functions over the unit hypercube

By considering a least squares approximation of a given square integrable function $f\colon[0,1]^n\to\R$ by a multilinear polynomial of a specified degree, we define an index which measures the overall interaction among variables of $f$. This definition extends the concept of Banzhaf interaction index introduced in cooperative game theory. Our approach is partly inspired from multilinear regression analysis, where interactions among the independent variables are taken into consideration. We show that this interaction index has appealing properties which naturally generalize the properties of the Banzhaf interaction index. In particular, we interpret this index as an expected value of the difference quotients of $f$ or, under certain natural conditions on $f$, as an expected value of the derivatives of $f$. These interpretations show a strong analogy between the introduced interaction index and the overall importance index defined by Grabisch and Labreuche [7]. Finally, we discuss a few applications of the interaction index.

preprint2011arXiv

On signature-based expressions of system reliability

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.

preprint2011arXiv

Reliability of systems with dependent components based on lattice polynomial description

Reliability of a system is considered where the components' random lifetimes may be dependent. The structure of the system is described by an associated "lattice polynomial" function. Based on that descriptor, general framework formulas are developed and used to obtain direct results for the cases where a) the lifetimes are "Bayes-dependent", that is, their interdependence is due to external factors (in particular, where the factor is the "preliminary phase" duration) and b) where the lifetimes' dependence is implied by upper or lower bounds on lifetimes of components in some subsets of the system. (The bounds may be imposed externally based, say, on the connections environment.) Several special cases are investigated in detail.

preprint2010arXiv

Associative polynomial functions over bounded distributive lattices

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.

preprint2010arXiv

Axiomatizations of signed discrete Choquet integrals

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.

preprint2010arXiv

Measuring the influence of the k-th largest variable on functions over the unit hypercube

By considering a least squares approximation of a given square integrable function f:[0,1]^n --> R by a shifted L-statistic function (a shifted linear combination of order statistics), we define an index which measures the global influence of the k-th largest variable on f. We show that this influence index has appealing properties and we interpret it as an average value of the difference quotient of f in the direction of the k-th largest variable or, under certain natural conditions on f, as an average value of the derivative of f in the direction of the k-th largest variable. We also discuss a few applications of this index in statistics and aggregation theory.

preprint2010arXiv

Quasi-polynomial functions over bounded distributive lattices

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.

preprint2010arXiv

Solving Chisini's functional equation

We investigate the n-variable real functions G that are solutions of the Chisini functional equation F(x)=F(G(x),...,G(x)), where F is a given function of n real variables. We provide necessary and sufficient conditions on F for the existence and uniqueness of solutions. When F is nondecreasing in each variable, we show in a constructive way that if a solution exists then a nondecreasing and idempotent solution always exists. We also provide necessary and sufficient conditions on F for the existence of continuous solutions and we show how to construct such a solution. We finally discuss a few applications of these results.

preprint2009arXiv

Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices

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.

preprint2009arXiv

Representations and characterizations of polynomial functions on chains

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.

preprint2008arXiv

Counting non-isomorphic maximal independent sets of the n-cycle graph

The number of maximal independent sets of the n-cycle graph C_n is known to be the nth term of the Perrin sequence. The action of the automorphism group of C_n on the family of these maximal independent sets partitions this family into disjoint orbits, which represent the non-isomorphic (i.e., defined up to a rotation and a reflection) maximal independent sets. We provide exact formulas for the total number of orbits and the number of orbits having a given number of isomorphic representatives. We also provide exact formulas for the total number of unlabeled (i.e., defined up to a rotation) maximal independent sets and the number of unlabeled maximal independent sets having a given number of isomorphic representatives. It turns out that these formulas involve both Perrin and Padovan sequences.

preprint2008arXiv

On the moments and distribution of discrete Choquet integrals from continuous distributions

We study the moments and the distribution of the discrete Choquet integral when regarded as a real function of a random sample drawn from a continuous distribution. Since the discrete Choquet integral includes weighted arithmetic means, ordered weighted averaging functions, and lattice polynomial functions as particular cases, our results encompass the corresponding results for these aggregation functions. After detailing the results obtained in [1] in the uniform case, we present results for the standard exponential case, show how approximations of the moments can be obtained for other continuous distributions such as the standard normal, and elaborate on the asymptotic distribution of the Choquet integral. The results presented in this work can be used to improve the interpretation of discrete Choquet integrals when employed as aggregation functions.

preprint2007arXiv

Approximations of Lovasz extensions and their induced interaction index

The Lovasz extension of a pseudo-Boolean function $f : \{0,1\}^n \to R$ is defined on each simplex of the standard triangulation of $[0,1]^n$ as the unique affine function $\hat f : [0,1]^n \to R$ that interpolates $f$ at the $n+1$ vertices of the simplex. Its degree is that of the unique multilinear polynomial that expresses $f$. In this paper we investigate the least squares approximation problem of an arbitrary Lovasz extension $\hat f$ by Lovasz extensions of (at most) a specified degree. We derive explicit expressions of these approximations. The corresponding approximation problem for pseudo-Boolean functions was investigated by Hammer and Holzman (1992) and then solved explicitly by Grabisch, Marichal, and Roubens (2000), giving rise to an alternative definition of Banzhaf interaction index. Similarly we introduce a new interaction index from approximations of $\hat f$ and we present some of its properties. It turns out that its corresponding power index identifies with the power index introduced by Grabisch and Labreuche (2001).

preprint2007arXiv

Multivariate integration of functions depending explicitly on the minimum and the maximum of the variables

By using some basic calculus of multiple integration, we provide an alternative expression of the integral $$ \int_{]a,b[^n} f(\mathbf{x},\min x_i,\max x_i) d\mathbf{x}, $$ in which the minimum and the maximum are replaced with two single variables. We demonstrate the usefulness of that expression in the computation of orness and andness average values of certain aggregation functions. By generalizing our result to Riemann-Stieltjes integrals, we also provide a method for the calculation of certain expected values and distribution functions.

preprint2007arXiv

On perfect, amicable, and sociable chains

Let $x = (x_0,...,x_{n-1})$ be an n-chain, i.e., an n-tuple of non-negative integers $< n$. Consider the operator $s: x \mapsto x&#39; = (x&#39;_0,...,x&#39;_{n-1})$, where x&#39;_j represents the number of $j$&#39;s appearing among the components of x. An n-chain x is said to be perfect if $s(x) = x$. For example, (2,1,2,0,0) is a perfect 5-chain. Analogously to the theory of perfect, amicable, and sociable numbers, one can define from the operator s the concepts of amicable pair and sociable group of chains. In this paper we give an exhaustive list of all the perfect, amicable, and sociable chains.