Separativity of modules with finite exchange property

We introduce the notion of separativity of modules and show that many classes of modules possess the separativity. The present work generalizes many known results.     

SELF-CANCELLATION OF MODULES HAVING THE FINITE EXCHANGE PROPERTY

Self-cancellation of modules having the finite exchange property is introduced. If a right R-module M has the finite exchange property, it is shown that M has self-cancellation if and only if EndR(M) is a strongly separative ring. Using this result, some new characterizations of strong separativity are obtained.     

Probability of fuzzy events defined as denumerable additivity measure

In this paper the probability of fuzzy events is defined as a denumerable additivity measure. This definition is based on a non-conventional approach of separativity between fuzzy subsets. The presented measure fulfils all properties analogous to the properties of classical probability in the crisp case. Further, the notion of conditional probability of fuzzy events, complete fuzzy repartition and independent fuzzy events are defined by means of the probability measure considered here. Connections between all the above notions are presented in this paper, too. Finally, the Bayes formula is proved for the fuzzy case.     

Comparability,separativity, and exchange rings

There are several long-standing open problems which ask whether regular rings, and C^?-algebras of real rank zero, satisfy certain module cancellation properties. Ara, Goodearl, O'Meara and Pardo recently observed that both types of rings are exchange rings, and showed that separative exchange rings have these good cancellation properties, thus answering the questions affirmatively in the separative case. In this article, we prove that, for any positive integer s, exchange rings satisfying s-comparability are separative, thus answering the questions affirmatively in the s-comparable case. We also introduce the weaker, more technical, notion of generalized s-comparability, and show that this condition still implies separativity for exchange rings. On restricting to directly finite regular rings, we recover results of Ara, O'Meara and Tyukavkin.     

Generalized symmetry of graphs — A survey

Symmetry of graphs has been extensively studied over the past fifty years by using automorphisms of graphs and group theory which have played and still play an important role for graph theory, and promising and interesting results have been obtained, see for examples, [L.W. Beineke, R.J. Wilson, Topics in Algebraic Graph Theory, Cambridge University Press, London, 2004; N. Biggs, Algebraic Graph Theory, Cambridge University Press, London, 1993; C. Godsil, C. Royle, Algebraic graph theory, Springer-Verlag, London, 2001; G. Hahn, G. Sabidussi, Graph Symmetry: Algebraic Methods and Application, in: NATO ASI Series C, vol. 497, Kluwer Academic Publishers, Dordrecht, 1997]. We introduced generalized symmetry of graphs and investigated it by using endomorphisms of graphs and semigroup theory. In this paper, we will survey some results we have achieved in recent years. The paper consists of the following sections.

1. Introduction

2. End-regular graphs

3. End-transitive graphs

4. Unretractive graphs

5. Graphs and their endomorphism monoids.

Sensitivity analysis for parametric generalized implicit quasi-variational-like inclusions involving P-η-accretive mappings

In this paper, using proximal-point mapping technique of P-η-accretive mapping and the property of the fixed-point set of set-valued contractive mappings, we study the behavior and sensitivity analysis of the solution set of a parametric generalized implicit quasi-variational-like inclusion involving P-η-accretive mapping in real uniformly smooth Banach space. Further, under suitable conditions, we discuss the Lipschitz continuity of the solution set with respect to the parameter. The technique and results presented in this paper can be viewed as extension of the techniques and corresponding results given in [R.P. Agarwal, Y.-J. Cho, N.-J. Huang, Sensitivity analysis for strongly nonlinear quasi-variational inclusions, Appl. Math. Lett. 13 (2002) 19-24; S. Dafermos, Sensitivity analysis in variational inequalities, Math. Oper. Res. 13 (1988) 421-434; X.-P. Ding, Sensitivity analysis for generalized nonlinear implicit quasi-variational inclusions, Appl. Math. Lett. 17 (2) (2004) 225-235; X.-P. Ding, Parametric completely generalized mixed implicit quasi-variational inclusions involving h-maximal monotone mappings, J. Comput. Appl. Math. 182 (2) (2005) 252-269; X.-P. Ding, C.L. Luo, On parametric generalized quasi-variational inequalities, J. Optim. Theory Appl. 100 (1999) 195-205; Z. Liu, L. Debnath, S.M. Kang, J.S. Ume, Sensitivity analysis for parametric completely generalized nonlinear implicit quasi-variational inclusions, J. Math. Anal. Appl. 277 (1) (2003) 142-154; R.N. Mukherjee, H.L. Verma, Sensitivity analysis of generalized variational inequalities, J. Math. Anal. Appl. 167 (1992) 299-304; M.A. Noor, Sensitivity analysis framework for general quasi-variational inclusions, Comput. Math. Appl. 44 (2002) 1175-1181; M.A. Noor, Sensitivity analysis for quasivariational inclusions, J. Math. Anal. Appl. 236 (1999) 290-299; J.Y. Park, J.U. Jeong, Parametric generalized mixed variational inequalities, Appl. Math. Lett. 17 (2004) 43-48].     

Coordinate and subspace optimization methods for linear least squares with non-quadratic regularization

This work addresses the problem of regularized linear least squares (RLS) with non-quadratic separable regularization. Despite being frequently deployed in many applications, the RLS problem is often hard to solve using standard iterative methods. In a recent work [M. Elad, Why simple shrinkage is still relevant for redundant representations? IEEE Trans. Inform. Theory 52 (12) (2006) 5559–5569], a new iterative method called parallel coordinate descent (PCD) was devised. We provide herein a convergence analysis of the PCD algorithm, and also introduce a form of the regularization function, which permits analytical solution to the coordinate optimization. Several other recent works [I. Daubechies, M. Defrise, C. De-Mol, An iterative thresholding algorithm for linear inverse problems with a sparsity constraint, Comm. Pure Appl. Math. LVII (2004) 1413–1457; M.A. Figueiredo, R.D. Nowak, An EM algorithm for wavelet-based image restoration, IEEE Trans. Image Process. 12 (8) (2003) 906–916; M.A. Figueiredo, R.D. Nowak, A bound optimization approach to wavelet-based image deconvolution, in: IEEE International Conference on Image Processing, 2005], which considered the deblurring problem in a Bayesian methodology, also obtained element-wise optimization algorithms. We show that the last three methods are essentially equivalent, and the unified method is termed separable surrogate functionals (SSF). We also provide a convergence analysis for SSF. To further accelerate PCD and SSF, we merge them into a recently developed sequential subspace optimization technique (SESOP), with almost no additional complexity. A thorough numerical comparison of the denoising application is presented, using the basis pursuit denoising (BPDN) objective function, which leads all of the above algorithms to an iterated shrinkage format. Both with synthetic data and with real images, the advantage of the combined PCD-SESOP method is demonstrated.     

New fixed point theorems for <Emphasis Type="Italic">P</Emphasis><Subscript>1</Subscript>-compact mappings in Banach spaces

E E. Browder and W. V. Petryshyn defined the topological degree for A- proper mappings and then W. V. Petryshyn studied a class of A-proper mappings, namely, P1-compact mappings and obtained a number of important fixed point theorems by virtue of the topological degree theory. In this paper, following W. V. Petryshyn, we continue to study P1-compact mappings and investigate the boundary condition, under which many new fixed point theorems of P1-compact mappings are obtained. On the other hand, this class of A-proper mappings with the boundedness property includes completely continuous operators and so, certain interesting new fixed point theorems for completely continuous operators are obtained immediately. As a result of it, our results generalize several famous theorems such as Leray-Schauder＇s theorem, Rothe＇s theorem, Altman＇s theorem, Petryshyn＇s theorem, etc.     

A Sequent Calculus for Propositional Dynamic Logic for Agents with Interactions

We consider a propositional dynamic logic for agents with interactions such as known commitment, no learning, and perfect recall. For this logic, we present a sequent calculus with a restricted cut rule and prove the soundness and completeness for the calculus.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 2, pp. 261–269, April–June, 2005.     

Exclusive traveling waves for competitive reaction-diffusion systems and their stabilities

We study the existence, uniqueness and asymptotic behavior, as well as the stability of a special kind of traveling wave solutions for competitive PDE systems involving intrinsic growth, competition, crowding effects and diffusion. The traveling waves are exclusive in the sense that as the variable goes to positive or negative infinity, different species are close to extinction or carrying capacity. We perform an appropriate affine transformation of the traveling wave equations into monotone form and construct appropriate upper and lower solutions. By this means, we reduce the existence proof to application of well-known theory about monotone traveling wave systems (cf. [A. Leung, Systems of Nonlinear Partial Differential Equations: Applications to Biology and Engineering, MIA, Kluwer, Boston, 1989; J. Wu, X. Zou, Traveling wave fronts of reaction-diffusion systems with delay, J. Dynam. Differential Equations 13 (2001) 651-687] and [I. Volpert, V. Volpert, V. Volpert, Traveling Wave Solutions of Parabolic Systems, Transl. Math. Monogr., vol. 140, Amer. Math. Soc., Providence, RI, 1994]). Then, by using spectral analysis of the linearization over the profile, we prove the orbital stability of the traveling wave in some Banach spaces with exponentially weighted norm. Furthermore, we show that the introduction of some weight is necessary in the sense that, in general, traveling wave solutions with initial perturbations in the (unweighted) space C₀ are unstable (cf. [I. Volpert, V. Volpert, V. Volpert, Traveling Wave Solutions of Parabolic Systems, Transl. Math. Monogr., vol. 140, Amer. Math. Soc., Providence, RI, 1994] and [D. Henry, Geometric Theory of Semilinear Parabolic Equations, Lecture Notes in Math., vol. 840, Springer-Verlag, New York, 1981]).     

Valeurs d'une fonction de Picard en des points algébriques

Using geometric tools introduced by P. Cohen, H. Shiga, J. Wolfart and G. Wüstholz, we show in Theorem 1 that when a certain Gauss hypergeometric function takes an algebraic value at an algebraic point, then another Gauss hypergeometric function takes a transcendental value at a related algebraic point. Using Appell hypergeometric functions, which generalize to two variables the Gauss functions, we study values at algebraic points of a new transcendental function defined in terms of these two functions. By Theorem 2, these values correspond to abelian varieties in the same isogeny class. Using a result of Edixhoven-Yafaev [B. Edixhoven, A. Yafaev, Subvarieties of Shimura varieties, Ann. of Math. 157 (2003) 621-645], this last result is in turn related to the distribution of the moduli of such abelian varieties in certain Shimura varieties.     

A limit surface formulation for plastically compressible polymers

The tightening of industrial safety standards for structures generates a need for refined computational methods, which, among other things, must be able to describe the yield surface and the deformation behaviour of non-reinforced thermoplastics. To describe the plastic behaviour of materials, a potential formulation is suggested. This formulation contains a number of known potentials as special cases. The parameters of the model, which are obtained from test data, are restricted by the convexity condition for the potential. The new model allows one to take into account effects of the second order, for instance, the unequal behaviour under tension and compression, the plastic compressibility, and the Poynting-Swift effect. For each particular choice of the parameters, the Poisson ratio in tension is computed. If the restrictions imposed on the Poisson ratio do not hold, the application of a non-associated flow rule is necessary. A simple non-associated flow rule with different values of Poisson ratio intension and compression is proposed. Russian translation published in Mekhanika Kompozitnykh Materialov, Vol. 43, No. 3, pp. 367–384, May–June, 2007.     

Conservation laws of turbulence models

The conservation of mass, momentum, energy, helicity, and enstrophy in fluid flow are important because these quantities organize a flow, and characterize change in the flow's structure over time. In turbulent flow, conservation laws remain important in the inertial range of wave numbers, where viscous effects are negligible. It is in the inertial range where energy, helicity (3d), and enstrophy (2d) must be accurately cascaded for a turbulence model to be qualitatively correct. A first and necessary step for an accurate cascade is conservation; however, many turbulent flow simulations are based on turbulence models whose conservation properties are little explored and might be very different from those of the Navier-Stokes equations.We explore conservation laws and approximate conservation laws satisfied by LES turbulence models. For the Leray, Leray deconvolution, Bardina, and Nth order deconvolution models, we give exact or approximate laws for a model mass, momentum, energy, enstrophy and helicity. The possibility of cascades for model quantities is also discussed.     

Sheaves on quantaloids

We generalize the well-known notions of a singleton, completeQ-set, presheaf, and sheaf over a complete Heyting algebra or a right-sided idempotent quantale to arbitrary quantaloids. We show that every completeQ-set can be viewed as a sheaf and vice versa. Published in Lietuvos Matematikos Rinkinys, Vol. 40, No. 2, pp. 133–171, April–June, 2000.     

R-D optimized tree-structured compression algorithms with discrete directional wavelet transform

A new image coding method based on discrete directional wavelet transform (S-WT) and quad-tree decomposition is proposed here. The S-WT is a kind of transform proposed in [V. Velisavljevic, B. Beferull-Lozano, M. Vetterli, P.L. Dragotti, Directionlets: anisotropic multidirectional representation with separable filtering, IEEE Trans. Image Process. 15(7) (2006)], which is based on lattice theory, and with the difference with the standard wavelet transform is that the former allows more transform directions. Because the directional property in a small region is more regular than in a big block generally, in order to sufficiently make use of the multidirectionality and directional vanishing moment (DVM) of S-WT, the input image is divided into many small regions by means of the popular quad-tree segmentation, and the splitting criterion is on the rate-distortion sense. After the optimal quad-tree is obtained, by means of the embedded property of SPECK, a resource bit allocation algorithm is fast implemented utilizing the model proposed in [M. Rajpoot, Model based optimal bit allocation, in: IEEE Data Compression Conference, 2004, Proceedings, DCC 2004.19]. Experiment results indicate that our algorithms perform better compared to some state-of-the-art image coders.     

The generalized hierarchical product of graphs

A generalization of both the hierarchical product and the Cartesian product of graphs is introduced and some of its properties are studied. We call it the generalized hierarchical product. In fact, the obtained graphs turn out to be subgraphs of the Cartesian product of the corresponding factors. Thus, some well-known properties of this product, such as a good connectivity, reduced mean distance, radius and diameter, simple routing algorithms and some optimal communication protocols, are inherited by the generalized hierarchical product. Besides some of these properties, in this paper we study the spectrum, the existence of Hamiltonian cycles, the chromatic number and index, and the connectivity of the generalized hierarchical product.