Information cells and information cell mixture models for concept modelling

By combining the prototype theory and random set theory interpretations of vague concepts, a novel structure named information cell and a combined structure named information cell mixture model are proposed to represent the semantics of vague concepts. An information cell L _i on the domain Ω has a transparent cognitive structure ‘L _i =about P _i ’ which is mathematically formalized by a 3-tuple 〈P _i ,d _i ,δ _i 〉 comprising a prototype set P _i (⊆Ω), a distance function d _i on Ω and a density function δ _i on [0,+∞). An information cell mixture model on domain Ω is actually a set of weighted information cells L _i s. A positive neighborhood function of the information cell mixture model is introduced in this paper to reflect the belief distribution of positive neighbors of the underlying concept. An information cellularization algorithm is also proposed to learn the information cell mixture model from a training data set, which is a direct application of the k-means and EM algorithms. Information cell mixture models provide some tools for information coarsening and concept modelling, and have potential applications in uncertain reasoning and classification.     

On convergence of Weak Thresholding Greedy Algorithm in

For any 0<t<1 we construct a Weak Thresholding Greedy Algorithm with weakness parameter t which converges in L¹(0,1) with respect to the Haar system, i. e. the Haar system is a ‘good non quasi-greedy basis’.     

A robust semi-explicit difference scheme for the Kuramoto–Tsuzuki equation

In this paper, we propose a robust semi-explicit difference scheme for solving the Kuramoto–Tsuzuki equation with homogeneous boundary conditions. Because the prior estimate in L_∞-norm of the numerical solutions is very hard to obtain directly, the proofs of convergence and stability are difficult for the difference scheme. In this paper, we first prove the second-order convergence in L₂-norm of the difference scheme by an induction argument, then obtain the estimate in L_∞-norm of the numerical solutions. Furthermore, based on the estimate in L_∞-norm, we prove that the scheme is also convergent with second order in L_∞-norm. Numerical examples verify the correction of the theoretical analysis.     

Conveniently Hölder Homomorphisms are Smooth in the Convenient Sense

We show that every ‘conveniently Hölder’ homomorphism between Lie groups in the sense of convenient differential calculus is smooth (in the convenient sense). In particular, every ℓip⁰-homomorphism is smooth.     

Convergence rate of Fourier–Laplace series of L-functions

The almost everywhere convergence rates of Fourier–Laplace series are given for functions in certain subclasses of L²(Σ_n−1) defined in terms of moduli of continuity.     

Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces

Let (E,H,μ) be an abstract Wiener space and let D_V:=VD, where D denotes the Malliavin derivative and V is a closed and densely defined operator from H into another Hilbert space . Given a bounded operator B on , coercive on the range , we consider the operators A:=V^*BV in H and in , as well as the realisations of the operators and in L^p(E,μ) and respectively, where 1<p<∞. Our main result asserts that the following four assertions are equivalent:

(1) with for ;

(2) admits a bounded H^∞-functional calculus on ;

(3) with for ;

(4) admits a bounded H^∞-functional calculus on .

Moreover, if these conditions are satisfied, then . The equivalence (1)–(4) is a non-symmetric generalisation of the classical Meyer inequalities of Malliavin calculus (where , V=I, ). A one-sided version of (1)–(4), giving L^p-boundedness of the Riesz transform in terms of a square function estimate, is also obtained. As an application let −A generate an analytic C₀-contraction semigroup on a Hilbert space H and let −L be the L^p-realisation of the generator of its second quantisation. Our results imply that two-sided bounds for the Riesz transform of L are equivalent with the Kato square root property for A. The boundedness of the Riesz transform is used to obtain an L^p-domain characterisation for the operator L.

A parametric representation of linguistic hedges in Zadeh’s fuzzy logic

This paper proposes a model for the parametric representation of linguistic hedges in Zadeh’s fuzzy logic. In this model each linguistic truth-value, which is generated from a primary term of the linguistic truth variable, is identified by a real number r depending on the primary term. It is shown that the model yields a method of efficiently computing linguistic truth expressions accompanied with a rich algebraic structure of the linguistic truth domain, namely De Morgan algebra. Also, a fuzzy logic based on the parametric representation of linguistic truth-values is introduced.     

Asymptotic behavior for the Navier–Stokes equations in 2D exterior domains

We show that the L^p spatial–temporal decay rates of solutions of incompressible flow in an 2D exterior domain. When a domain has a boundary, pressure term makes an obstacle since we do not have enough information on the pressure term near the boundary. To overcome the difficulty, we adopt the ideas in He, Xin [C. He, Z. Xin, Weighted estimates for nonstationary Navier–Stokes equations in exterior domain, Methods Appl. Anal. 7 (3) (2000) 443–458], and our previous results [H.-O. Bae, B.J. Jin, Asymptotic behavior of Stokes solutions in 2D exterior domains, J. Math. Fluid Mech., in press; H.-O. Bae, B.J. Jin, Temporal and spatial decay rates of Navier–Stokes solutions in exterior domains, submitted for publication]. For the spatial decay rate estimate, we first extend temporal decay rate result of the Navier–Stokes solutions for general L^p space when the initial velocity is in , 1<rq<∞ (1<r<q=∞).     

Inverse Operators, q-Fractional Integrals, and q-Bernoulli Polynomials

We introduce operators of q-fractional integration through inverses of the Askey–Wilson operator and use them to introduce a q-fractional calculus. We establish the semigroup property for fractional integrals and fractional derivatives. We study properties of the kernel of q-fractional integral and show how they give rise to a q-analogue of Bernoulli polynomials, which are now polynomials of two variables, x and y. As q→1 the polynomials become polynomials in x−y, a convolution kernel in one variable. We also evaluate explicitly a related kernel of a right inverse of the Askey–Wilson operator on an L² space weighted by the weight function of the Askey–Wilson polynomials.     

On the Spectrum of Frobenius–Perron Operators

We prove more results on the spectrum of the Frobenius–Perron operator P: L¹ → L¹ associated with a nonsingular transformation S: X → X on a σ-finite measure space (X, Σ, μ).     

Turing oracle machines, online computing, and three displacements in computability theory

We begin with the history of the discovery of computability in the 1930’s, the roles of Gödel, Church, and Turing, and the formalisms of recursive functions and Turing automatic machines (a-machines). To whom did Gödel credit the definition of a computable function? We present Turing’s notion [1939, §4] of an oracle machine (o-machine) and Post’s development of it in [1944, §11], [1948], and finally Kleene-Post [1954] into its present form.A number of topics arose from Turing functionals including continuous functionals on Cantor space and online computations. Almost all the results in theoretical computability use relative reducibility and o-machines rather than a-machines and most computing processes in the real world are potentially online or interactive. Therefore, we argue that Turing o-machines, relative computability, and online computing are the most important concepts in the subject, more so than Turing a-machines and standard computable functions since they are special cases of the former and are presented first only for pedagogical clarity to beginning students. At the end in §10–§13 we consider three displacements in computability theory, and the historical reasons they occurred. Several brief conclusions are drawn in §14.     

On Lp-Generalization of a Theorem of Adamyan, Arov, and Kreın

The paper deals with problems relating to the theory of Hankel operators. Let G be a bounded simple connected domain with the boundary Γ consisting of a closed analytic Jordan curve. Denote by _n,p(G), 1p<∞, the class of all meromorphic functions on G that can be represented in the form h=β/α, where β belongs to the Smirnov class E_p(G), α is a polynomial degree at most n, α0. We obtain estimates of s-numbers of the Hankel operator A_f constructed from fL_p(Γ), 1p<∞, in terms of the best approximation Δ_n,p of f in the space L_p(Γ) by functions belonging to the class _n,p(G).     

An algebra containing the two-sided convolution operators

We present an intrinsically defined algebra of operators containing the right and left invariant Calderón–Zygmund operators on a stratified group. The operators in our algebra are pseudolocal and bounded on L^p (1<p<∞). This algebra provides an example of an algebra of singular integrals that falls outside of the classical Calderón–Zygmund theory.     

Extracting Herbrand disjunctions by functional interpretation

Carrying out a suggestion by Kreisel, we adapt Gödel’s functional interpretation to ordinary first-order predicate logic(PL) and thus devise an algorithm to extract Herbrand terms from PL-proofs. The extraction is carried out in an extension of PL to higher types. The algorithm consists of two main steps: first we extract a functional realizer, next we compute the β-normal-form of the realizer from which the Herbrand terms can be read off. Even though the extraction is carried out in the extended language, the terms are ordinary PL-terms. In contrast to approaches to Herbrand’s theorem based on cut elimination orɛ-elimination this extraction technique is, except for the normalization step, of low polynomial complexity, fully modular and furthermore allows an analysis of the structure of the Herbrand terms, in the spirit of Kreisel ([13]), already prior to the normalization step. It is expected that the implementation of functional interpretation in Schwichtenberg’s MINLOG system can be adapted to yield an efficient Herbrand-term extraction tool.BRICS, Basic Research in Computer Science, funded by the Danish National Research FoundationUlrich Kohlenbach’s research was partially supported by the Danish National Research Council, Grant no. 21-02-0474.     

The coarse Baum–Connes conjecture via coarse geometry

The C₀ coarse structure on a metric space is a refinement of the bounded structure and is closely related to the topology of the space. In this paper we will prove the C₀ version of the coarse Baum–Connes conjecture and show that K_*(C^*X₀) is a topological invariant for a broad class of metric spaces. Using this result we construct a ‘geometric’ obstruction group to the coarse Baum–Connes conjecture for the bounded coarse structure. We then show under the assumption of finite asymptotic dimension that the obstructions vanish, and hence we obtain a new proof of the coarse Baum–Connes conjecture in this context.     

Projective Completions of Jordan Pairs,Part II: Manifold Structures and Symmetric Spaces

We define symmetric spaces in arbitrary dimension and over arbitrary non-discrete topological fields , and we construct manifolds and symmetric spaces associated to topological continuous quasi-inverse Jordan pairs and -triple systems. This class of spaces, called smooth generalized projective geometries, generalizes the well-known (finite or infinite-dimensional) bounded symmetric domains as well as their ‘compact-like’ duals. An interpretation of such geometries as models of Quantum Mechanics is proposed, and particular attention is paid to geometries that might be considered as ‘standard models’ – they are associated to associative continuous inverse algebras and to Jordan algebras of hermitian elements in such an algebra.Mathematics Subject Classiffications (2000). primary: 17C36, 46H70, 17C65; secondary: 17C30, 17C90     

Applying fuzzy weighted average approach to evaluate office layouts with Feng–Shui consideration

Office layout is an important issue, especially in China and the Asian countries, where the Feng–Shui theory frequently plays a vital role. Yet, in the literature, Feng–Shui theory has seldom been discussed. Another problem is the imprecise or vague satisfaction level of the linguistic expression used in this theory. In this article, the fuzzy set theory is applied to deal with this aspect of the problem. Using an improved and efficient fuzzy weighted average (EFWA) algorithm, which has been shown to be more advantageous than the existing FWA algorithms, an empirical study of an office-layout design problem with the consideration of Feng–Shui is presented to illustrate the EFWA approach. The results and the criteria developed, based on the interpretation of the Form school concept of the Feng–Shui are reported.     

Propagation of and Maxwellian weighted bounds for derivatives of solutions to the homogeneous elastic Boltzmann equation

We consider the n-dimensional space homogeneous Boltzmann equation for elastic collisions for variable hard potentials with Grad (angular) cutoff. We prove sharp moment inequalities, the propagation of L¹-Maxwellian weighted estimates, and consequently, the propagation L^∞-Maxwellian weighted estimates to all derivatives of the initial value problem associated to the afore mentioned equation. More specifically, we extend to all derivatives of the initial value problem associated to this class of Boltzmann equations corresponding sharp moment (Povzner) inequalities and time propagation of L¹-Maxwellian weighted estimates as originally developed Bobylev [A.V. Bobylev, Moment inequalities for the Boltzmann equation and applications to spatially homogeneous problems, J. Statist. Phys. 88 (1997) 1183–1214] in the case of hard spheres in 3 dimensions. To achieve this goal we implement the program presented in Bobylev–Gamba–Panferov [A.V. Bobylev, I.M. Gamba, V. Panferov, Moment inequalities and high-energy tails for Boltzmann equation with inelastic interactions, J. Statist. Phys. 116 (5–6) (2004) 1651–1682], which includes a full analysis of the moments by means of sharp moment inequalities and the control of L¹-exponential bounds, in the case of stationary states for different inelastic Boltzmann related problems with ‘heating’ sources where high energy tail decay rates depend on the inelasticity coefficient and the type of ‘heating’ source. More recently, this work was extended to variable hard potentials with angular cutoff by Gamba–Panferov–Villani [I.M. Gamba, V. Panferov, C. Villani, Upper Maxwellian bounds for the spatially homogeneous Boltzmann equation, ARMA (2008), in press] in the elastic case collision case where the L¹-Maxwellian weighted norm was shown to propagate if initial states have such property. In addition, we also extend to all derivatives the propagation of L^∞-Maxwellian weighted estimates, proven in [I.M. Gamba, V. Panferov, C. Villani, Upper Maxwellian bounds for the spatially homogeneous Boltzmann equation, ARMA (2008), in press], to solutions of the initial value problem to the Boltzmann equations for elastic collisions for variable hard potentials with Grad (angular) cutoff.     

Orthogonal Laurent polynomials on the unit circle and snake-shaped matrix factorizations

Let there be given a probability measure μ on the unit circle of the complex plane and consider the inner product induced by μ. In this paper we consider the problem of orthogonalizing a sequence of monomials {z^r_k}_k, for a certain order of the , by means of the Gram–Schmidt orthogonalization process. This leads to a sequence of orthonormal Laurent polynomials {ψ_k}_k. We show that the matrix representation with respect to {ψ_k}_k of the operator of multiplication by z is an infinite unitary or isometric matrix allowing a ‘snake-shaped’ matrix factorization. Here the ‘snake shape’ of the factorization is to be understood in terms of its graphical representation via sequences of little line segments, following an earlier work of S. Delvaux and M. Van Barel. We show that the shape of the snake is determined by the order in which the monomials {z^r_k}_k are orthogonalized, while the ‘segments’ of the snake are canonically determined in terms of the Schur parameters for μ. Isometric Hessenberg matrices and unitary five-diagonal matrices (CMV matrices) follow as a special case of the presented formalism.     

Group classification of the generalized Emden–Fowler-type equation

We perform the Lie group classification of the Emden–Fowler-type equation xu^″+nu^′+x^νF(u)=0, which arises in several applications. These include the theory of stellar structure, the thermal behaviour of a spherical cloud of gas, isothermal gas spheres and the theory of thermionic currents. Seven cases arise for the possible extension of the principal Lie algebra, which in this case is trivial. Three new cases occur for which we have non-trivial Lie point symmetry algebra. We compare these cases with the Noether symmetry cases. Moreover, we also make comparisons with the partial Noether operators. Finally for three cases we reduce the Emden–Fowler-type equation to quadratures.