A hybrid approximation method for equilibrium and fixed point problems for a family of infinitely nonexpansive mappings and a monotone mapping

In this paper, we introduce a new iterative scheme for finding a common element of the set of fixed points of a family of infinitely nonexpansive mappings, the set of solutions of an equilibrium problem and the set of solutions of the variational inequality for α-inverse-strongly monotone mapping in the framework of a Hilbert space. Under suitable conditions, some strong convergence theorems for approximating a common element of the above three sets are obtained. Additionally, we utilize our results to study the optimization problem and find a zero of a maximal monotone operator and a strictly pseudocontractive mapping in a real Hilbert space. Our results improve and extend the results announced by many others.     

Operation properties and -equalities of complex fuzzy sets

A complex fuzzy set is a fuzzy set whose membership function takes values in the unit circle in the complex plane. This paper investigates various operation properties and proposes a distance measure for complex fuzzy sets. The distance of two complex fuzzy sets measures the difference between the grades of two complex fuzzy sets as well as that between the phases of the two complex fuzzy sets. This distance measure is then used to define δ-equalities of complex fuzzy sets which coincide with those of fuzzy sets already defined in the literature if complex fuzzy sets reduce to real-valued fuzzy sets. Two complex fuzzy sets are said to be δ-equal if the distance between them is less than 1-δ. This paper shows how various operations between complex fuzzy sets affect given δ-equalities of complex fuzzy sets. An example application of signal detection demonstrates the utility of the concept of δ-equalities of complex fuzzy sets in practice.     

Central limit theorem and the bootstrap for -statistics of strongly mixing data

The asymptotic normality of U-statistics has so far been proved for iid data and under various mixing conditions such as absolute regularity, but not for strong mixing. We use a coupling technique introduced in 1983 by Bradley [R.C. Bradley, Approximation theorems for strongly mixing random variables, Michigan Math. J. 30 (1983),69–81] to prove a new generalized covariance inequality similar to Yoshihara’s [K. Yoshihara, Limiting behavior of U-statistics for stationary, absolutely regular processes, Z. Wahrsch. Verw. Gebiete 35 (1976), 237–252]. It follows from the Hoeffding-decomposition and this inequality that U-statistics of strongly mixing observations converge to a normal limit if the kernel of the U-statistic fulfills some moment and continuity conditions.The validity of the bootstrap for U-statistics has until now only been established in the case of iid data (see [P.J. Bickel, D.A. Freedman, Some asymptotic theory for the bootstrap, Ann. Statist. 9 (1981), 1196–1217]. For mixing data, Politis and Romano [D.N. Politis, J.P. Romano, A circular block resampling procedure for stationary data, in: R. Lepage, L. Billard (Eds.), Exploring the Limits of Bootstrap, Wiley, New York, 1992, pp. 263–270] proposed the circular block bootstrap, which leads to a consistent estimation of the sample mean’s distribution. We extend these results to U-statistics of weakly dependent data and prove a CLT for the circular block bootstrap version of U-statistics under absolute regularity and strong mixing. We also calculate a rate of convergence for the bootstrap variance estimator of a U-statistic and give some simulation results.     

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

On a signless Laplacian spectral characterization of -shape trees

Let M be an associated matrix of a graph G (the adjacency, Laplacian and signless Laplacian matrix). Two graphs are said to be cospectral with respect to M if they have the same M spectrum. A graph is said to be determined by M spectrum if there is no other non-isomorphic graph with the same spectrum with respect to M. It is shown that T-shape trees are determined by their Laplacian spectra. Moreover among them those are determined by their adjacency spectra are characterized. In this paper, we identify graphs which are cospectral to a given T-shape tree with respect to the signless Laplacian matrix. Subsequently, T-shape trees which are determined by their signless Laplacian spectra are identified.     

Finitely additive representation of spaces

Let be any atomless and countably additive probability measure on the product space with the usual σ-algebra. Then there is a purely finitely additive probability measure λ on the power set of a countable subset such that can be isometrically isomorphically embedded as a closed subspace of L^p(λ). The embedding is strict. It is also ‘canonical,’ in the sense that it maps simple and continuous functions on to their restrictions to T.     

-Linked planar graphs

A graph G is (m,n)-linked if for any two disjoint subsets R,BV(G) with |R|m and |B|n, G has two disjoint connected subgraphs containing R and B, respectively. We shall prove that a planar graph with at least six vertices is (3,3)-linked if and only if G is 4-connected and maximal.     

Norm of weighted composition operators from -Bloch spaces to weighted-type spaces

We calculate in an elegant way operator norm of the weighted composition operator from the α-Bloch space, with α(0,∞){1}, to a weighted-type space on the unit ball. This result can be regarded as a complement to our recent result regarding the same problem for the case α=1.     

A new iterative method for equilibrium problems and fixed point problems of infinitely nonexpansive mappings and monotone mappings

In this paper, we introduce a new iterative scheme for finding the common element of the set of common fixed points of infinitely many nonexpansive mappings, the set of solutions of an equilibrium problem and the set of solutions of the variational inequality for α-inverse-strongly monotone mapping in Hilbert spaces. We prove that the sequence converges strongly to a common element of the above three sets under some parameters controlling conditions. This main result improve and extend Plubtieng and Punpaeng’s corresponding result [S. Plubtieng, R. Punpaeng, A new iterative method for equilibrium problems and fixed point problems of nonexpansive mappings and monotone mappings, Applied Mathematics and Computation 197 (2008), 548–558]. Using this theorem, we obtain three corollaries.     

The behavior of best -approximations as . A counterexample of convergence

In the space of summable sequences we give an example of a one-dimensional affine subspace C such that the best L_p-approximations of 0 from C fail to converge as p↓1. We thus give an answer to this problem of convergence in infinite measure spaces.     

Bayesian factor analysis with fat-tailed factors and its exact marginal likelihood

The traditional Bayesian factor analysis method is extended. In contrast to the case for previous studies, the matrix variate t-distribution is utilized to provide a prior density on the latent factors. This is a natural extension of the traditional model and yields many advantages. The crucial issue is the selection of the number of factors. The marginal likelihood, constructed by asymptotic and computational approaches, is generally utilized for this problem. However, both theoretical and computational problems have arisen.In this paper, the exact marginal likelihood is derived. It enables us to evaluate posterior model probabilities without inducing the above problems. Monte Carlo experiments were conducted to examine the performance of the proposed Bayesian factor analysis modelling methodology. The simulation results show that the proposed methodology performs well.     

A cone complementarity linearization approach to robust controller design for continuous-time piecewise linear systems with linear fractional uncertainties

This paper investigates the robust H_∞ control problem for uncertain continuous-time piecewise systems by using the piecewise continuous Lyapunov function. The uncertainties of the systems under consideration are expressed in a linear fractional form. A strict linear matrix inequality approach is developed to obtain stability condition and H_∞ performance. The H_∞ controller design problem is solved by exploiting the cone complementarity linearization (CCL) method, which can be cast into an iterative minimization problem subject to LMI constraints. Finally two examples are given to illustrate the application of the proposed approach.     

Lineability of sets of nowhere analytic functions

Although the set of nowhere analytic functions on [0,1] is clearly not a linear space, we show that the family of such functions in the space of C^∞-smooth functions contains, except for zero, a dense linear submanifold. The result is even obtained for the smaller class of functions having Pringsheim singularities everywhere. Moreover, in spite of the fact that the space of differentiable functions on [0,1] contains no closed infinite-dimensional manifold in C([0,1]), we prove that the space of real C^∞-smooth functions on (0,1) does contain such a manifold in C((0,1)).     

Discrete -convex extremal distributions: Theory and applications

Given a nondegenerate moment space with s fixed moments, explicit formulas for the discrete s-convex extremal distribution have been derived for s=1,2,3 (see [M. Denuit, Cl. Lefèvre, Some new classes of stochastic order relations among arithmetic random variables, with applications in actuarial sciences, Insurance Math. Econom. 20 (1997) 197–214]). If s=4, only the maximal distribution is known (see [M. Denuit, Cl. Lefèvre, M. Mesfioui, On s-convex stochastic extrema for arithmetic risks, Insurance Math. Econom. 25 (1999) 143–155]). This work goes beyond this limitation and proposes a method for deriving explicit expressions for general nonnegative integer s. In particular, we derive explicitly the discrete 4-convex minimal distribution. For illustration, we show how this theory allows one to bound the probability of extinction in a Galton–Watson branching process. The results are also applied to derive bounds for the probability of ruin in the compound binomial and Poisson insurance risk models.     

A bilinear form relating two Leonard systems

Let Φ, Φ^′ be Leonard systems over a field , and V, V^′ the vector spaces underlying Φ, Φ^′, respectively. In this paper, we introduce and discuss a balanced bilinear form on V×V^′. Such a form naturally arises in the study of Q-polynomial distance-regular graphs. We characterize a balanced bilinear form from several points of view.     

Embedding fillings of contact 3-manifolds

In this survey article, we describe different ways of embedding fillings of contact 3-manifolds into closed symplectic 4-manifolds.     

The topological structure of fuzzy sets with endograph metric

For a non-degenerate convex subset Y of the n-dimensional Euclidean space Rⁿ, let be the family of all fuzzy sets ofRⁿ, which are upper-semicontinuous, fuzzy convex and normal with compact supports contained in Y. We show that the space with the topology of endograph metric is homeomorphic to the Hilbert cube Q=[-1,1]^ω iff Y is compact; and the space is homeomorphic to {(x_n)Q:sup|x_n|<1} iff Y is non-compact and locally compact.     

Application of continuous-time programming problems to a class of variational-type inequalities

In this paper, we establish sufficiency criteria under generalized ρ−(η,θ)-invexity conditions for general continuous-time programming problems with nonlinear equality/inequality constraints. Using this we establish some existence criteria for solutions of a class of variational-type inequalities.