Classes of orderings of measures and related correlation inequalities. I. Multivariate totally positive distributions

A function f(x) defined on $\text{X}$ = $\text{X}$₁ × $\text{X}$₂ × … × $\text{X}$_n where each $\text{X}$_i is totally ordered satisfying f(x ∨ y) f(x ∧ y) ≥ f(x) f(y), where the lattice operations ∨ and ∧ refer to the usual ordering on $\text{X}$, is said to be multivariate totally positive of order 2 (MTP₂). A random vector Z = (Z₁, Z₂,…, Z_n) of n-real components is MTP₂ if its density is MTP₂. Classes of examples include independent random variables, absolute value multinormal whose covariance matrix Σ satisfies ?DΣ^?1D with nonnegative off-diagonal elements for some diagonal matrix D, characteristic roots of random Wishart matrices, multivariate logistic, gamma and F distributions, and others. Composition and marginal operations preserve the MTP₂ properties. The MTP₂ property facilitate the characterization of bounds for confidence sets, the calculation of coverage probabilities, securing estimates of multivariate ranking, in establishing a hierarchy of correlation inequalities, and in studying monotone Markov processes. Extensions on the theory of MTP₂ kernels are presented and amplified by a wide variety of applications.     

Projections on spaces of invariant functions

Let (X, ∑, μ) be a measure space and S be a semigroup of measure-preserving transformations T:X → X. In case μ(X) < ∞, Aribaud [1] proved the existence of a positive contractive projection P of L¹(μ) such that for every $\text{? ? L}{}^1\text{(μ), Pf}$ belongs to the closure $\text{C}{}_1\text{(?)}\text{in}\text{L}{}^1\text{(μ)}$ of the convex hull $\text{C(?)}$ of the set {$\text{? ○ T:T ? S}$}. In this paper we extend this result in three directions: we consider infinite measure spaces, vector-valued functions, and L^p spaces with 1 ? p < ∞, and prove that P is in fact the conditional expectation with respect to the σ-algebra Λ of sets of ∑ which are invariant with respect to all T?S.     

Duality theorems for linear systems and convex systems

We show that, if (F →^uX) is a linear system, $\text{Ω ? X}$ a convex target set and $\text{h: X →}\text{R}\text{?}$ a convex functional, then, under suitable assumptions, the computation of inf $\text{h({y ? F ¦ u(y) ? Ω}}$) can be reduced to the computation of the infimum of h on certain strips or hyperplanes in F, determined by elements of $\text{u}{}^1\text{(X}{}^1\text{)}$, or of the infima on F of Lagrangians, involving elements of $\text{u}{}^1\text{(X}{}^1\text{)}$. Also, we prove similar results for a convex system (F →^uX) and the convex cone Ω of all non-positive elements in X.     

On Artin's conjecture

Let $\text{F}$ be a family of number fields which are normal and of finite degree over a given number field K. Consider the lattice L(scF) spanned by all the elements of $\text{F}$. The generalized Artin problem is to determine the set of prime ideals of K which do not split completely in any element H of L(scF), H≠K. Assuming the generalized Riemann hypothesis and some mild restrictions on $\text{F}$, we solve this problem by giving an asymptotic formula for the number of such prime ideals below a given norm. The classical Artin conjecture on primitive roots appears as a special case. In another case, if $\text{F}$ is the family of fields obtained by adjoining to $\text{Q}$ the q-division points of an elliptic curve E over $\text{Q}$, the Artin problem determines how often E($\text{F}$_p) is cyclic. If E has complex multiplication, the generalized Riemann hypothesis can be removed by using the analogue of the Bombieri-Vinogradov prime number theorem for number fields.     

Principle of inclusion-exclusion on semilattices

We introduce an enumeration theorem under lattice action. Let L be a finite semilattice and Ω be a nonempty set. Let $\text{f: L → P(Ω)}$ be a map satisfying f(x ? y) ? f(x) ∩ f(y), where ? and $\text{P}$(Ω) mean “join” and the power set of Ω, respectively. Then

$\text{m}\text{∪}\text{x?L}\text{?(x)}\text{=}\text{Σ}\text{c?C}\text{(?1)}{}^{\mathrm{l(c)}}\text{m}\text{∩}\text{x?c}\text{?(x)}$

, where C is the set of all chains in L and l(c) denotes the length of a chain c. Also the theorem can be dualized. Furthermore, we describe two applications of the theorem to a Boolean lattice of sets and a partition lattice of a set.     

Minimum norm solutions of single stiff linear analytic differential equations

The $\text{l}$₂-norm of the infinite vector of the terms of the Taylor series of an analytic function is used to measure the “unsmoothness” of the function. The sets of solutions to the scalar differential equations y′(t) = λy(t) + f(t) and y′(t) = q(t)y(t) + f(t) are analyzed with respect to this norm. A number of results on the particular solution with minimum norm are given.     

Eigen fuzzy sets and fuzzy relations

When R is a fuzzy relation between the elements of a finite set X, the fuzzy sets A of X such that R ° A = A (MAX-MIN composition) are called eigen fuzzy sets. The main result of this paper is the determination of the greatest eigen fuzzy set associated with a given fuzzy relation and we give three methods illustrated by an example. We then state that the greatest eigen fuzzy set associated with $\text{R}\text{?}$, the transitive closure of R, is exactly the one associated with R. Finally we describe how to obtain all fuzzy relations keeping invariant a given fuzzy set.     

Un probleme de partition de l'ensemble des parties a trois elements d'un ensemble fini

Let X be a set of n elements. Let $\text{T}$₃(X) be the set of all triples of X. We define a clique as a set of triples which intersect pairwise in two elements. In this paper we prove that if n?6, the minimum cardinality of a partition of $\text{T}$₃(X) into cliques is $\text{[}\text{1}\text{4}\text{(n?1)}{}^2\text{]}$.     

Upper semicontinuous fuzzy sets and applications

Let (X, τ) be a generalized topological space of type $\text{V}$_α (see A. Appert and K. Fan, “Espaces topologiques intermédiares,” Herman, Paris, 1951) and (L, ?) be a complete Brouwerian lattice such that the dual lattice of (L, ?) is also Brouwerian. We prove that every upper semicontinuous L-fuzzy subset of X can be represented by a τ-closed random set. As an important application we obtain a fuzzification of measurable spaces as well as of topological spaces. In particular a concept of measurable (open) L-fuzzy sets is developed.     

Fuzzy sets as a basis for a theory of possibility

The theory of possibility described in this paper is related to the theory of fuzzy sets by defining the concept of a possibility distribution as a fuzzy restriction which acts as an elastic constraint on the values that may be assigned to a variable. More specifically, if F is a fuzzy subset of a universe of discourse U = {u} which is characterized by its membership function μ_F, then a proposition of the form $\text{“X}\text{is}\text{F”}$, where X is a variable taking values in U, induces a possibility distribution $\text{t}\text{?}{}_{\mathrm{x}}$ which equates the possibility of X taking the value u to μ_F(u)—the compatibility of u with F. In this way, X becomes a fuzzy variable which is associated with the possibility distribution $\text{t}\text{?}{}_{\mathrm{x}}$ in much the same way as a random variable is associated with a probability distribution. In general, a variable may be associated both with a possibility distribution and a probability distribution, with the weak connection between the two expressed as the possibility/probability consistency principle.A thesis advanced in this paper is that the imprecision that is intrinsic in natural languages is, in the main, possibilistic rather than probabilistic in nature. Thus, by employing the concept of a possibility distribution, a proposition, p, in a natural language may be translated into a procedure which computes the probability distribution of a set of attributes which are implied by p. Several types of conditional translation rules are discussed and, in particular, a translation rule for propositions of the form $\text{“X}\text{is}\text{F}$ is α-possible”, where α is a number in the interval [0,1], is formulated and illustrated by examples.     

On projections and limit mappings of inverse systems of compact spaces

A compactificaton αX of a completely regular space X is “determined” by a subset F of C¹(X) if αX is the smallest compactificaton of X to which each element of F extends, and is “generated” by F if the evaluation map $\text{e}{}_{\mathrm{F}}\text{:X →}\text{R}{}^{\mathrm{n}}\text{,n = |F|}$, is an embedding and $\text{αX =}\text{e}{}_{\mathrm{F}}\text{(X)}$. Evidently, if F either determines or generates αX, then every elements of F has an extension to αX; whenever F satisfies this latter condition, the set of all such extensions is denoted F^α.A major results of our previous paper is that F determines αX if and only if F^α separates points of αX ? X. A major result of the present paper is that F generates αX if and only if F^α separates points of αX.     

Spectral measures and the Bade reflexivity theorem

Let $\text{B}$ be a strongly equicontinuous Boolean algebra of projections on the quasi-complete locally convex space X and assume that the space L(X) of continuous linear operators on X is sequentially complete for the strong operator topology. Methods of integration with respect to spectral measures are used to show that the closed algebra generated by $\text{B}$ in L(X) consists precisely of those continuous linear operators on X which leave invariant each closed $\text{B}$-invariant subspace of X.     

Bound on integrals: Elimination of the dual and reduction of the number of equality constraints

Let L_j (j = 1, …, n + 1) be real linear functions on the convex set $\text{F}$ of probability distributions. We consider the problem of maximization of L_n+1(F) under the constraint F ? $\text{F}$ and the equality constraints L₁(F) = z₁ (i = 1, …, n). Incorporating some of the equality constraints into the basic set $\text{F}$, the problem is equivalent to a problem with less equality constraints. We also show how the dual problems can be eliminated from the statement of the main theorems and we give a new illuminating proof of the existence of particular solutions.The linearity of the functions L_j(j = 1, …, n + 1) can be dropped in several results.     

Fuzzy addition in the L-fuzzy real line

Under the hypothesis L is a chain, we construct a binary operation ⊕ on the L-fuzzy real line $\text{R}$(L) which reduces to the usual addition on $\text{R}$ if ⊕ is restricted to the embedded image of $\text{R}$ in $\text{R}$(L), which yields a partially ordered, abelian cancellation semigroup with identity, and which is jointly fuzzy continuous on $\text{R}$(L). We show ⊕ is unique, i.e. it is the only extension of addition to $\text{R}$(L) which is consistent. We study the relationship between ⊕ and other fuzzy continuous extensions of the usual addition. We also show that fuzzy translation is a weak fuzzy homeomorphism and, under certain conditions, a fuzzy homeomorphism.     

On some results of Strichartz and of Rallis and Schiffman

Let (i, H, E) and (j, K, F) be abstract Wiener spaces and let α be a reasonable norm on E ? F. We are interested in the following problem: is ($\text{i ? j, H}\text{}\text{?}\text{bo}{}_2\text{K, E}\text{}\text{?}\text{bo}{}_{\mathrm{\alpha F}}$) an abstract Wiener space ? The first thing we do is to prove that the setting of the problem is meaningfull: namely, i ? j is always a continuous one to one map from $\text{H}\text{}\text{?}\text{bo}{}_2\text{K}$ into $\text{E}\text{}\text{?}\text{bo}{}_{\mathrm{\alpha }}\text{F}$. Then we exhibit an example which shows that the answer cannot be positive in full generality. Finally we prove that if F=L^p(X,$\text{X}$,λ) for some σ-finite measure λ ? 0 then $\text{(i?j, H}\text{?}{}_2\text{K,L}{}^{\mathrm{p}}$(X,$\text{X}$,λ) is an abstract Wiener space. By-products are some new results on γ-radonifying operators, and new examples of Banach spaces and cross norms for which the answer is affirmative (in particular α = π the projective norm, and F=L¹(X,$\text{X}$,λ)).     

Existence and asymptotic behavior of a functional differential equation in Banach space

Existence and asymptotic behavior of solutions are given for the equation u′(t) = ?A(t)u(t) + F(t,u_t) (t ? 0) and u₀ = ? ? C([?r,0]; X)  C. The space X is a Banach space; the family $\text{{A(t) ¦ 0 ? t ? T}}$ of unbounded linear operators defined on D(A) ? X → X generates a linear evolution system and F: C → X is continuous with respect to a fractional power of A(t₀) for some t₀ ? [0, T].     

Graph equations for line graphs,total graphs,middle graphs and quasi-total graphs

Let G be a graph with vertex-set V(G) and edge-set X(G). Let L(G) and T(G) denote the line graph and total graph of G. The middle graph M(G) of G is an intersection graph Ω(F) on the vertex-set V(G) of any graph G. Let F = V′(G) ∪ X(G) where V′(G) indicates the family of all one-point subsets of the set V(G), then $\text{M(G) = Ω(F)}$.The quasi-total graph P(G) of G is a graph with vertex-set V(G)∪X(G) and two vertices are adjacent if and only if they correspond to two non-adjacent vertices of G or to two adjacent edges of G or to a vertex and an edge incident to it in G.In this paper we solve graph equations $\text{L(G) ? P(H);}\text{L(G)}\text{? P(H); P(G) ? T(H);}\text{P(G)}\text{? T(H); M(G) ? P(H);}\text{M(G)}\text{? P(H)}$.     

Solution of fuzzy equations with extended operations

Assuming that 1 is any operation defined on a product set X × Y and taking values on a set Z, it can be extended to fuzzy sets by means of Zadeh's extension principle. Given a fuzzy subset C of Z, it is here shown how to solve the equation $\text{A 1 B = C}$ (or $\text{A 1 B ? C}$) when a fuzzy subset A of X (or a fuzzy subset B of Y) is given. The methodology we provide includes, as a special case, the resolution of fuzzy arithmetical operations, i.e. when 1 stands for +, ?, × or ÷, extended to fuzzy numbers (fuzzy subsets of the real line). The paper is illustrated with several examples in fuzzy arithmetic.     

Bessel functions and representation theory. I

In this paper a general theory of operator-valued Bessel functions is presented. These functions arise naturally in representation theory in the context of metaplectic representations, discrete series, and limits of discrete series for certain semi-simple Lie groups. In general, Bessel functions J_λ are associated to the action by automorphisms of a compact group U on a locally compact abelian group X, and are indexed by the irreducible representations λ of U that appear in the primary decomposition of the regular representation of U on L²(X). Then on the λ-primary constituent of L²(X), the Fourier transform is described by the Hankel transform corresponding to J_λ. More detailed information is available in the case in which (U, X) is an orthogonal transformation group which possesses a system of polar coordinates. In particular, when X=$\text{F}$^k×n,$\text{F}$ a real finite-dimensional division algebra, with k ? 2n and $\text{O}$(k, $\text{F}$), the representations λ of U are induced in a certain sense from representations π of GL(n, $\text{F}$). This leads to a characterization of J_λ as a reduced Bessel function defined on the component of 1 in GL(n, $\text{F}$) and to the connection between metaplectic representations and holomorphic discrete series for the group of biholomorphic automorphisms of the Siegel upper half-plane in the complexification of $\text{F}$^{n × n}.     

Periodic forcing of solutions of a boundary value problem for a second-order differential equation in Hilbert space

We show that if u is a bounded solution on $\text{R}$⁺ of u″(t) ?Au(t) + f(t), where A is a maximal monotone operator on a real Hilbert space H and f∈L_loc²($\text{R}$⁺;H) is periodic, then there exists a periodic solution ω of the differential equation such that u(t) ? ω(t)   0 and u′(t) ? ω′(t) → 0 as t → ∞. We also show that the two-point boundary value problem for this equation has a unique solution for boundary values in $\text{D(A)}$ and that a smoothing effect takes place.