arXiv subjects
Publications and source records attributed to Pierre Mathonet.
We provide a complete classification of the n-ary semigroup structures defined by polynomial functions over infinite commutative integral domains with identity, thus generalizing Głazek and Gleichgewicht's classification of the corresponding ternary semigroups.
We investigate the concept of equivariant quantization over the superspace R^{p+q|2r}, with respect to the orthosymplectic algebra osp(p+1,q+1|2r). Our methods and results vary upon the superdimension p+q-2r. When the superdimension is nonzero, we manage to obtain a result which is similar to the classical theorem of Duval, Lecomte and Ovsienko: we prove the existence and uniqueness of the equivariant quantization except in some resonant situations. To do so, we have to adapt their methods to take into account the fact that the Casimir operator of the orthosymplectic algebra on supersymmetric tensors is not always diagonalizable, when the superdimension is negative and even. When the superdimension is zero, the situation is always resonant, but we can show the existence of a one-parameter family of equivariant quantizations for symbols of degree at most two.
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.
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.
We investigate the concept of projectively equivariant quantization in the framework of super projective geometry. When the projective superalgebra pgl(p+1|q) is simple, our result is similar to the classical one in the purely even case: we prove the existence and uniqueness of the quantization except in some critical situations. When the projective superalgebra is not simple (i.e. in the case of pgl(n|n)\not\cong sl(n|n)), we show the existence of a one-parameter family of equivariant quantizations. We also provide explicit formulas in terms of a generalized divergence operator acting on supersymmetric tensor fields.
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.
The Banzhaf power index was introduced in cooperative game theory to measure the real power of players in a game. The Banzhaf interaction index was then proposed to measure the interaction degree inside coalitions of players. It was shown that the power and interaction indexes can be obtained as solutions of a standard least squares approximation problem for pseudo-Boolean functions. Considering certain weighted versions of this approximation problem, we define a class of weighted interaction indexes that generalize the Banzhaf interaction index. We show that these indexes define a subclass of the family of probabilistic interaction indexes and study their most important properties. Finally, we give an interpretation of the Banzhaf and Shapley interaction indexes as centers of mass of this subclass of interaction indexes.
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.
A quantization over a manifold can be seen as a way to construct a differential operator with prescribed principal symbol. The quantization map is moreover required to be a linear bijection. It is known that there is in general no natural quantization procedure. However, considering manifolds endowed with additional structures, such as projective or pseudo-conformal structures, one can seek for quantizations that depend on this additional structure and that are natural if the dependence with respect to the structure is taken into account. The question of existence of such a quantization was addressed in a series of papers in the context of projective geometry, using the framework of Thomas-Whitehead connections (see Bordemann, Hansoul and Fox). Recently, we recovered these existence results, using the theory of Cartan projective connections. In the present work, we show that our method can be adapted to pseudo-conformal geometry to yield the so-called natural and conformally invariant quantization for arbitrary symbols, still outside some critical situations. Our method is general enough to analyze the problem of invariant quantizations in the context of manifolds with irreducible parabolic geometries.
In recent years, algebras and modules of differential operators have been extensively studied. Equivariant quantization and dequantization establish a tight link between invariant operators connecting modules of differential operators on tensor densities, and module morphisms that connect the corresponding dequantized spaces. In this paper, we investigate dequantized differential operators as modules over a Lie subalgebra of vector fields that preserve an additional structure. More precisely, we take an interest in invariant operators between dequantized spaces, viewed as modules over the Lie subalgebra of infinitesimal contact or projective contact transformations. The principal symbols of these invariant operators are invariant tensor fields. We first provide full description of the algebras of such affine-contact- and contact-invariant tensor fields. These characterizations allow showing that the algebra of projective-contact-invariant operators between dequantized spaces implemented by the same density weight, is generated by the vertical cotangent lift of the contact form and a generalized contact Hamiltonian. As an application, we prove a second key-result, which asserts that the Casimir operator of the Lie algebra of infinitesimal projective contact transformations, is diagonal. Eventually, this upshot entails that invariant operators between spaces induced by different density weights, are made up by a small number of building bricks that force the parameters of the source and target spaces to verify Diophantine-type equations.
Let $M$ be an odd-dimensional Euclidean space endowed with a contact 1-form $α$. We investigate the space of symmetric contravariant tensor fields on $M$ as a module over the Lie algebra of contact vector fields, i.e. over the Lie subalgebra made up by those vector fields that preserve the contact structure. If we consider symmetric tensor fields with coefficients in tensor densities, the vertical cotangent lift of contact form $α$ is a contact invariant operator. We also extend the classical contact Hamiltonian to the space of symmetric density valued tensor fields. This generalized Hamiltonian operator on the symbol space is invariant with respect to the action of the projective contact algebra $sp(2n+2)$. The preceding invariant operators lead to a decomposition of the symbol space (expect for some critical density weights), which generalizes a splitting proposed by V. Ovsienko.
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).
Let ${\cal F}\_λ(S^1)$ be the space of tensor densities of degree (or weight) $λ$ on the circle $S^1$. The space ${\cal D}^k\_{λ,μ}(S^1)$ of $k$-th order linear differential operators from ${\cal F}\_λ(S^1)$ to ${\cal F}\_μ(S^1)$ is a natural module over $\mathrm{Diff}(S^1)$, the diffeomorphism group of $S^1$. We determine the algebra of symmetries of the modules ${\cal D}^k\_{λ,μ}(S^1)$, i.e., the linear maps on ${\cal D}^k\_{λ,μ}(S^1)$ commuting with the $\mathrm{Diff}(S^1)$-action. We also solve the same problem in the case of straight line $\mathbb{R}$ (instead of $S^1$) and compare the results in the compact and non-compact cases.