Theoretical methods of constructing fuzzy inference relations

In this paper, a theoretical method is presented to select fuzzy implication operators for the fuzzy inference sentence “if x is A, then y is B”. By applying representation theorems, thirty-two fuzzy implication operators are obtained. It is shown that the obtained operators are generalizations of classical inference rule A → B, A ^c → B, A → B ^c and A ^c → B ^c respectively and can be divided into four classes. By discussion, it is found that thirty of them among 420 fuzzy implication operators presented by Li can be derived by applying representation theorems and another two new ones are obtained by the use of our methods.     

Provability interpretations of modal logic

We consider interpretations of modal logic in Peano arithmetic (P) determined by an assignment of a sentencev ^* ofP to each propositional variablev. We put (⊥)*=“0 = 1”, (χ → ψ)* = “χ* → ψ*” and let (□ψ)* be a formalization of “ψ)* is a theorem ofP”. We say that a modal formula, χ, isvalid if ψ* is a theorem ofP in each such interpretation. We provide an axiomitization of the class of valid formulae and prove that this class is recursive.     

Cantor set and interpolation

In 1998, Y. Benyamini published interesting results concerning interpolation of sequences using continuous functions ℝ → ℝ. In particular, he proved that there exists a continuous function ℝ → ℝ which in some sense “interpolates” all sequences (x _n ) _n∈ℤ ∈ [0, 1]^ℤ “simultaneously.” In 2005, M.R. Naulin and C. Uzcátegui unified and generalized Benyamini’s results. In this paper, the case of topological spaces X and Y with an Abelian group acting on X is considered. A similar problem of “simultaneous interpolation” of all “generalized sequences” using continuous mappings X → Y is posed. Further generalizations of Naulin-Uncátegui theorems, in particular, multidimensional analogues of Benyamini’s results are obtained.     

Spectral representation of generalized transition kernels

Let (X, A) be a set with a countably σ-generated “Borel” field of subsets; letW be a “Borel” subset of the product of (X, A) with the real line ℝ and its Borel fieldB; and for eachx∈X let γ _x be a measure on the “slice”W _x={(w, t)∈W:w=x}. It is shown that, under reasonable conditions, the σ-field A⊗B|W can be generated by a real-valued functiong in such a way that, given any measurablef:W→ℝ,g can be chosen to be arbitrarily close tof and so that its “slice-integrals” coincide with those off. This theorem is the first step in a study of monotonic sequences of countably generated σ-fields.     

C-semigroups and strongly continuous semigroups

We show that, whenA generates aC-semigroup, then there existsY such that [M(C)] →Y →X, andA| _Y , the restriction ofA toY, generates a strongly continuous semigroup, where ↪ means “is continuously embedded in” and ‖x‖_[Im(C)]≡‖C ⁻¹ x‖. There also existsW such that [C(W)] →X →W, and an operatorB such thatA=B| _X andB generates a strongly continuous semigroup onW. If theC-semigroup is exponentially bounded, thenY andW may be chosen to be Banach spaces; in general,Y andW are Frechet spaces. If ρ(A) is nonempty, the converse is also true. We construct fractional powers of generators of boundedC-semigroups. We would like to thank R. Bürger for sending preprints, and the referee for pointing out reference [37]. This research was supported by an Ohio University Research Grant.     

Extensions of commutative rings in which trees of prime ideals contract to trees

Résumé  Une extensionA⊂B des anneaux (commutatifs) satisfait à la propriété si tout arbre dans Spec(B) couvre un arbre dans Spec(A). Il est possible qu'une extension entière d'un anneau Noethérien ne satisfait pas à . SiA⊂B soit unei-extension satisfaisante à soit “going-up” soit “going-down”, alorsA⊂B satisfait à . Cependant, une extension d'anneaux satisfaisante à “going-up”, “going-down”, et peut être nonunibranche dans hauteur >1. Un anneau intègreA a le spectre d'un arbre si et seulement siA⊂B satisfait àP pour tout anneau intègreB contenantA (resp., suranneau de BézoutB deA). De plus, si un anneau intègreA n'ait pas de spectre d'un arbre mais soit localement de dimension finie, (par exemple, tout anneau intègre Noethérien de dimension au moins 2), alors il existe un suranneau de BézoutB deA et un arbre saturé dans Spec(B) de sorte que card=4 et l'image de à l'égard de la flèche canonique Spec(B)→Spec(A) est un ensemble saturé tel que card =3 mais n'est pas d'arbre. On donne également des caractérisations associées des classes desi-domaines et des ai-domaines.      

Proof of Springer’s hypothesis

LetG be a reductive group over a finite fieldk of a characteristicp. Π:G _k → AutU is an irreducible representation ofG in “a general position”. Springer formulated a conjecture about values of the character of Π on unipotent elements. This conjecture is proved in the article.     

Nonlinear Preserver Problems on B（H）

Let H be a complex Hilbert space of dimension greater than 2, and B(H) denote the Banach algebra of all bounded linear operators on H. For A, B ∈ B(H), define the binary relation A ≤* B by A*A = A*B and AA* = AB*. Then (B(H), “≤*”) is a partially ordered set and the relation “≤*” is called the star order on B(H). Denote by Bs(H) the set of all self-adjoint operators in B(H). In this paper, we first characterize nonlinear continuous bijective maps on B _s (H) which preserve the star order in both directions. We characterize also additive maps (or linear maps) on B(H) (or nest algebras) which are multiplicative at some invertible operator.     

Bounded homotopy theory and the <Emphasis Type="Italic">K</Emphasis>-theory of weighted complexes

Given a bounding class B, we construct a bounded refinement BK(−) of Quillen’s K-theory functor from rings to spaces. As defined, BK(−) is a functor from weighted rings to spaces, and is equipped with a comparison map BK → K induced by “forgetting control.” In contrast to the situation with B-bounded cohomology, there is a functorial splitting BK(−) ≅ K(−)×BK ^rel(−) where BK ^rel(−) is the homotopy fiber of the comparison map.     

The Connection Between the Metric and Generalized Projection Operators in Banach Spaces

In this paper we study the connection between the metric projection operator PK ： B →K, where B is a reflexive Banach space with dual space B^＊ and K is a non-empty closed convex subset of B, and the generalized projection operators ∏K ： B → K and πK ： B^＊ → K. We also present some results in non-reflexive Banach spaces.     

Défaut d'exactitude des modéles¶de Néron toriques sur un corps local

Let R be a complete discrete valuation ring with mixed characteristic. Denote by K its field of fractions and by k its residue field. Let 0 →A ^K →B ^K →C ^K → 0 be an exact sequence of abelian varieties over K and consider the corresponding complex of Nérons models 0 →A→B→C→ 0, over R. We assume that the identity component B _k ⁰ of the special fibre B _k of B is a torus and we study the defect of exactmess at B in this last sequence.

---

Re?u: 4 décembre 1997/ Version revisée: 15 décembre 1997     

A Fuzzy Vault Scheme

We describe a simple and novel cryptographic construction that we refer to as a fuzzy vault. A player Alice may place a secret value κ in a fuzzy vault and “lock” it using a set A of elements from some public universe U. If Bob tries to “unlock” the vault using a set B of similar length, he obtains κ only if B is close to A, i.e., only if A and B overlap substantially. In constrast to previous constructions of this flavor, ours possesses the useful feature of order invariance, meaning that the ordering of A and B is immaterial to the functioning of the vault. As we show, our scheme enjoys provable security against a computationally unbounded attacker. Fuzzy vaults have potential application to the problem of protecting data in a number of real-world, error-prone environments. These include systems in which personal information serves to authenticate users for, e.g., the purposes of password recovery, and also to biometric authentication systems, in which readings are inherently noisy as a result of the refractory nature of image capture and processing.     

Chern-Simons invariant and conformal embedding of a 3-manifold

This note studies the Chern-Simons invariant of a closed oriented Riemannian 3-manifold M. The first achievement is to establish the formula CS（e） - CS（e） = degA, where e and e are two （global） frames of M, and A ： M → SO（3） is the ＂difference＂ map. An interesting phenomenon is that the ＂jumps＂ of the Chern-Simons integrals for various frames of many 3-manifolds are at least two, instead of one. The second purpose is to give an explicit representation of CS（e＋） and CS（e_）, where e＋ and e_ are the ＂left＂ and ＂right＂ quaternionic frames on M3 induced from an immersion M^3 → E^4, respectively. Consequently we find many metrics on S^3 （Berger spheres） so that they can not be conformally embedded in E^4.     

Split Short Five Lemma for Clots and Subtractive Categories

It is well-known that a pointed variety is classically ideal determined (or “BIT speciale”) if and only if it satisfies the split short five lemma (i.e. if and only if it is a protomodular category in the sense of D. Bourn). A much weaker property than being classically ideal determined is “subtractivity”, defined as follows: a variety with a constant 0 is said to be subtractive if its theory contains a binary term s satisfying s(x,x) = 0 and s(x,0) = x. In the case of a pointed variety (i.e. when 0 is the unique constant), this condition can be reformulated purely categorically (as many other similar term conditions), which gives rise to the notion of a subtractive category. In the present paper we show that in a certain general categorical context subtractivity is equivalent to a special restriction of the split short five lemma to the class of clots, i.e. monomorphisms that are pullbacks of reflexive relations R→Y×Y along product injections (1 _Y ,0): Y→Y×Y.     

Going-down pairs of commutative rings

Résumé  D'après D. E. Dobbs, Houston J. Math. 23 (1997), 1–11, nous disons que l'anneau (commutatif)A est un anneau-“going-down” siA/P est un domaine-“going-down” pour chaque idéal premier deA. Etant donné une extension,R⊆T, nous disons que (R, T) est une paire d'anneaux-“going-down” (respectivement, une paire “going-down”) siS est un anneau-“going-down” pour chaque anneau tels queR⊆S⊆T (resp., si “going-down” est satisfait par chaque extension d'anneauxA⊆B tels queR⊆A⊆B⊆T). On montre que siR est un anneau de la dimension 0 (au sens de Krull), alors (R, T) est une paire d'anneaux-“going-down” si et seulement sitr.deg. _R/(P∩R) T/P≤1 pour chaque idéal premier minimalP deT. Des résultats partiels sont obtenus quandR n'est pas de dimension 0. En outre, si (R, T) est une paire d'anneaux-“going-down” tel queT ait un seul idéal premier minimal, alors (R, T) est une paire “going-down”. Des résultats dans l'esprit ci-dessus sont également obtenus pour quelques autres types de paires.

---

---

This paper is taken from the author's doctoral dissertation of May 2000, written under the direction of Professor David E. Dobbs of the University of Tennessee, Knoxville.     

Rational category of the space of sections of a nilpotent bundle

Denote by ζ :F →E→pB a nilpotent fibration whereF is a 1-connected space of finite category andB a finite c.w. complex with non trivial rational cohomology. In this note we compute the rational category of the space Γ_* of continuous pointed sections of ζ. Chercheur qualifié FNRS.     

On Rich Lines in Grids

In this paper we show that if one has a grid A×B, where A and B are sets of n real numbers, then there can be only very few “rich” lines in certain quite small families. Indeed, we show that if the family has lines taking on n ^ε distinct slopes, and where each line is parallel to n ^ε others (so, at least n ^2ε lines in total), then at least one of these lines must fail to be “rich”. This result immediately implies non-trivial sumproduct inequalities; though, our proof makes use of the Szemeredi-Trotter inequality, which Elekes used in his argument for lower bounds on |C+C|+|C.C|.     

A note on the tensor product of Lie soluble algebras

D. M. Riley proved in [3] that, if A and B are either Lie nilpotent or Lie metabelian algebras, then their tensor product A ⊗ B is Lie soluble and obtained bounds on the Lie derived length of A ⊗ B. The aim of the present note is to improve Riley’s bounds; moreover we consider also the cases in which A and B are either strongly Lie soluble or strongly Lie nilpotent algebras. Received: 5 April 2006 The first two authors partially supported by MIUR-Italy via PRIN “Group theory and applications”.