THE SPHERICAL FUNCTIONS AND THE CENTRAL LIMIT THEOREM ON SU（2,2）/S（U（2） × U（2））

Let G = SU（2, 2）, K = S（U（2） × U（2））, and for l ∈ Z, let {Tl}l∈z be a one-dimensional K-type and let El be the line bundle over G/K associated to Tl. It is shown that the Tl-spherical function on G is given by the hypergeometric functions of several variables. By applying this result, a central limit theorem for the space G/K is obtained.     

Fuzzy logics based on [0,1)-continuous uninorms

Axiomatizations are presented for fuzzy logics characterized by uninorms continuous on the half-open real unit interval [0,1), generalizing the continuous t-norm based approach of Hájek. Basic uninorm logic BUL is defined and completeness is established with respect to algebras with lattice reduct [0,1] whose monoid operations are uninorms continuous on [0,1). Several extensions of BUL are also introduced. In particular, Cross ratio logic CRL, is shown to be complete with respect to one special uninorm. A Gentzen-style hypersequent calculus is provided for CRL and used to establish co-NP completeness results for these logics. Research supported by Marie Curie Fellowship Grant HPMF-CT-2004-501043.     

-symmetry for (r,s)-hypergeometric series

Contiguous operators for a two-parameter analogue of hypergeometric series are constructed. These represent a two-parameter quantum enveloping algebra introduced by Takeuchi.     

On A(X) → TC(X) for some X

Let X be a connected based space and p be a two-regular prime number. If the fundamental group of X has order p, we compute the two-primary homotopy groups of the homotopy fiber of the trace map A(X) → TC(X) relating algebraic K-theory of spaces to topological cyclic homology. The proof uses a theorem of Dundas and an explicit calculation of the cyclotomic trace map K(ℤ[C_p])→ TC(ℤ[C_p]).     

The Diophantine equation (x − 1)(y − 1) = (z − 1)

We sharpen work of Bugeaud to show that the equation of the title has, for t = 1 or 2, no solutions in positive integers x, y, z and k with z > 1 and k > 3. The proof utilizes a variety of techniques, including the hypergeometric method of Thue and Siegel, as well as an assortment of gap principles.     

Bifurcations of travelling wave solutions for the mK(n, n) equation

Using the method of planar dynamical systems to the mK(n, n) equation, the existence of uncountably infinite many smooth and non-smooth periodic wave solutions, solitary wave solutions and kink and anti-kink wave solutions is proved. Under different parametric conditions, various sufficient conditions to guarantee the existence of the above solutions are given. All possible exact explicit parametric representations of smooth and non-smooth travelling wave solutions are obtain.     

On the Function w( x)=|{1= s= k : x= a s (mod n s)}|

For a finite system of arithmetic sequences the covering function is w(x) = |{1 s k : x a_s (mod n_s)}|. Using equalities involving roots of unity we characterize those systems with a fixed covering function w(x). From the characterization we reveal some connections between a period n₀ of w(x) and the moduli n₁, . . . , n_k in such a system A. Here are three central results: (a) For each r=0,1, . . .,n_k/(n₀,n_k)–1 there exists a Jc{1, . . . , k–1} such that . (b) If n₁ ···n_k–l <n_k–l+1 =···=n_k (0 < l < k), then for any positive integer r < n_k/n_k–l with r 0 (mod n_k/(n₀,n_k)), the binomial coefficient can be written as the sum of some (not necessarily distinct) prime divisors of n_k. (c) max_(xw(x) can be written in the form where m₁, . . .,m_k are positive integers.The research is supported by the Teaching and Research Award Fund for Outstanding Young Teachers in Higher Education Institutions of MOE, and the National Natural Science Foundation of P. R. China.     

S-convexity revisited (fuzzy): long version

In this revisional article, we criticize (strongly) the use made by Medar et al., and those whose work they base themselves on, of the name ‘convexity’ in definitions which intend to relate to convex functions, or cones, or sets, but actually seem to be incompatible with the most basic consequences of having the name ‘convexity’ associated to them. We then believe to have fixed the ‘denominations’ associated with Medar’s (et al.) work, up to a point of having it all matching the existing literature in the field [which precedes their work (by long)]. We also expand his work scope by introducing s ₁-convexity concepts to his group of definitions, which encompasses only convex and its proper extension, s ₂-convex, so far. This article is a long version of our previous review of Medar’s work, published by FJMS (Pinheiro, M.R.: S-convexity revisited. FJMS, 26/3, 2007).     

D(β)-vertex-distinguishing total coloring of graphs

A new concept of the D(β)-vertex-distinguishing total coloring of graphs, i.e., the proper total coloring such that any two vertices whose distance is not larger than β have different color sets, where the color set of a vertex is the set composed of all colors of the vertex and the edges incident to it, is proposed in this paper. The D(2)-vertex-distinguishing total colorings of some special graphs are discussed, meanwhile, a conjecture and an open problem are presented.     

Family of multivariate generalized t distributions

In this paper, we introduce a new family of multivariate distributions as the scale mixture of the multivariate power exponential distribution introduced by Gómez et al. (Comm. Statist. Theory Methods 27(3) (1998) 589) and the inverse generalized gamma distribution. Since the resulting family includes the multivariate t distribution and the multivariate generalization of the univariate GT distribution introduced by McDonald and Newey (Econometric Theory 18 (11) (1988) 4039) we call this family as the “multivariate generalized t-distributions family”, or MGT for short. We show that this family of distributions belongs to the elliptically contoured distributions family, and investigate the properties. We give the stochastic representation of a random variable distributed as a multivariate generalized t distribution. We give the marginal distribution, the conditional distribution and the distribution of the quadratic forms. We also investigate the other properties, such as, asymmetry, kurtosis and the characteristic function.     

Fuzzy system reliability analysis by the use of Tω (the weakest t-norm) on fuzzy number arithmetic operations

In general, the sup-min convolution has been used for fuzzy arithmetic to analyze fuzzy system reliability, where the reliability of each system component is represented by fuzzy numbers. It is well known that T_ω-based addition preserves the shape of L-R type fuzzy numbers. In this paper, we show T_ω-based multiplication also preserves the shape of L-R type fuzzy numbers. We then apply T_ω-based arithmetic operations to fuzzy system reliability analysis. In fact, we show that we can simplify fuzzy arithmetic operations and even get the exact solutions for L-R type fuzzy system reliability, while others [Singer, Fuzzy Sets Syst. 34 (1990) 145; Cheng and Mon, Fuzzy Sets Syst. 56 (1993) 29; Chen, Fuzzy Sets Syst. 64 (1994) 31] have got the approximate solutions using sup-min convolution for evaluating fuzzy system reliability.     

The Reception of Frege''sBegriffsschrift

The topic of the paper is the public reception of Gottlob Frege's (1848–1925)Begriffsschriftright after its publication in 1879. According to a widespread conception, the reception of the book was “unfavorable” and even “tragic.” The aim of the paper is to correct this exaggerated and even false view. The arguments are based, above all, on the six journal reviews of Frege's book in 1879 and 1880, and on Leonhard Rabus's critical comment on it in his bookDie neuesten Bestrebungen auf dem Gebiete der Logik bei den Deutschen und die logische Frage(1880). The conclusion is that it is misleading to regard the reception of Frege's first work as unfair and hostile even though it is apparent thatsomereviewers of the book were rather poorly motivated to comment on theBegriffsschrift.Copyright 1998 Academic Press.Der Gegenstand dieses Beitrags ist die öffentliche Rezeption von Gottlob Freges (1848–1925)Begriffsschriftnach ihrer Publikation 1879. Nach einer weitverbreiteten Auffassung war die Rezeption “ungünstig,” sogar “tragisch.” Ziel des Beitrags ist es zu zeigen, dass solche Interpretationen überspannt, teilweise sogar falsch sind. Der Verfasser gründet seine Behauptung vor allem auf die Rezensionen, die in verschiedenen Zeitschriften in den Jahren 1879 und 1880 erschienen sind. Er benutzt auch den Kommentar von Leonhard RabusDie neuesten Bestrebungen auf dem Gebiete der Logik bei den Deutschen und Die logische Frage(1880). Die Untersuchung kommt zu dem Schluss, dass, obwohl offensichtlicheinigeRezensenten dem Buch eher ablehnend gegenüberstanden, es irreführend ist, von einer ungerechtfertigten oder abweisenden Rezeption der Fregeschen Begriffsschrift zu sprechenCopyright 1998 Academic Press.AMS subject classification: 00A30, 01A55, 03A05     

Formal systems of fuzzy logic and their fragments

Formal systems of fuzzy logic (including the well-known Łukasiewicz and Gödel–Dummett infinite-valued logics) are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much wider scope of applicability. In particular, we show how many of these fragments are really distinct and we find axiomatic systems for most of them. In fact, we construct strongly separable axiomatic systems for eight of our nine logics. We also fully answer the question for which of the studied fragments the corresponding class of algebras forms a variety. Finally, we solve the problem how to axiomatize predicate versions of logics without the lattice disjunction (an essential connective in the usual axiomatic system of fuzzy predicate logics).     

Fuzzy n-cell numbers and the differential of fuzzy n-cell number value mappings

In this paper, we give the definition of a special kind of n-dimension fuzzy numbers, fuzzy n-cell numbers, discuss their operations and representation theorems, define a complete metric on the fuzzy n-cell number space and prove that the metric is equivalent to the supremum metric derived by the Hausdorff metric between the level sets of the n-dimension fuzzy numbers, and obtain an embedding theorem of the fuzzy n-cell number space (isometrically embeds it into a concrete Banach space). We also consider the differential of the fuzzy mappings from an interval into the fuzzy n-cell number space by using the embedding theorem.     

Interval Valued Intuitionistic （S, T）-fuzzy Hv-submodules

On the basis of the concept of the interval valued intuitionistic fuzzy sets introduced by K. Atanassov, the notion of interval valued intuitionistic fuzzy Hv-submodules of an Hv-module with respect to a t-norm T and an s-norm S is given and the characteristic properties are described. The homomorphic image and the inverse image are investigated. In particular, the connections between interval valued intuitionistic （S, T）-fuzzy Hv-submodules and interval valued intuitionistic （S, T）-fuzzy submodules are discussed.     

Existence, uniqueness and stability of C m solutions of iterative functional equations

In this paper we discuss a relatively general kind of iterative functional equation G(x,f(x), ...,f ⁿ (x)) = 0 (for allx ∈J), whereJ is a connected closed subset of the real number axis ℝ,G∈C ^m (J ⁿ⁺¹, ℝ) andn ≥ 2. Using the method of approximating fixed points by small shift of maps, choosing suitable metrics on functional spaces and finding a relation between uniqueness and stability of fixed points of maps of general spaces, we prove the existence, uniqueness and stability ofCm solutions of the above equation for any integer m ≥ 0 under relatively weak conditions, and generalize related results in reference in different aspects.