𝔏-Rickart Modules

It is well known that the Rickart property of rings is not a left-right symmetric property. We extend the notion of the left Rickart property of rings to a general module theoretic setting and define 𝔏-Rickart modules. We study this notion for a right R-module M _R where R is any ring and obtain its basic properties. While it is known that the endomorphism ring of a Rickart module is a right Rickart ring, we show that the endomorphism ring of an 𝔏-Rickart module is not a left Rickart ring in general. If M _R is a finitely generated 𝔏-Rickart module, we prove that End _R (M) is a left Rickart ring. We prove that an 𝔏-Rickart module with no set of infinitely many nonzero orthogonal idempotents in its endomorphism ring is a Baer module. 𝔏-Rickart modules are shown to satisfy a certain kind of nonsingularity which we term “endo-nonsingularity.” Among other results, we prove that M is endo-nonsingular and End _R (M) is a left extending ring iff M is a Baer module and End _R (M) is left cononsingular.     

Boussinesq system with non-homogeneous boundary conditions

A classical stationary Boussinesq system with non-homogeneous Dirichlet boundary conditions in a bounded domain $\Omega \subset {\mathbb{R}}^3$ is considered in this paper; included is the case of a possibly disconnected boundary. We prove existence of a weak, a strong and a very weak solution in $L^p$-theory. Uniqueness of the very weak solution is proved under a small data assumption.     

Fast searches in a recommendation session

In this paper, we introduce a recommendation session and propose a data structure (recommendation Patricia) which is used to accomplish fast searches in a recommendation session. The time cost for a search in each recommendation step is O(E * s²) if a recommendation Patricia is used, where E is the maximal length of words involved and s is the maximal size of each recommendation. In contradistinction, the worst-case time cost for the same goal is Ω(n) if a Patricia is used, where n is the number of words involved.     

Geometry of 2 × 2 hermitian matrices

LetD be a division ring which possesses an involution a → α . Assume that is a proper subfield ofD and is contained in the center ofD. It is pointed out that ifD is of characteristic not two, D is either a separable quadratic extension of F or a division ring of generalized quaternions over F and that if D is of characteristic two,D is a separable quadratic extension ofF. Thus the trace map Tr:D → F, a → a + a is always surjective, which is formerly posed as an assumption in the fundamental theorem of n×n hermitian matrices overD when n ≥ 3 and now can be deleted. WhenD is a field, the fundamental theorem of 2 × 2 hermitian matrices overD has already been proved. This paper proves the fundamental theorem of 2×2 hermitian matrices over any division ring of generalized quaternions of characteristic not two This research was completed during a visit to the Academy of Mathematics and System Sciences, Chinese Academy of Sciences.     

The Galois Theory of Matrix C-rings

A theory of monoids in the category of bicomodules of a coalgebra C or C-rings is developed. This can be viewed as a dual version of the coring theory. The notion of a matrix ring context consisting of two bicomodules and two maps is introduced and the corresponding example of a C-ring (termed a matrix C -ring) is constructed. It is shown that a matrix ring context can be associated to any bicomodule which is a one-sided quasi-finite injector. Based on this, the notion of a Galois module is introduced and the structure theorem, generalising Schneider’s Theorem II [Schneider, Isr. J. Math., 72:167–195, 1990], is proven. This is then applied to the C-ring associated to a weak entwining structure and a structure theorem for a weak A-Galois coextension is derived. The theory of matrix ring contexts for a firm coalgebra (or infinite matrix ring contexts) is outlined. A Galois connection associated to a matrix C-ring is constructed. Dedicated to Stef Caenepeel on the occasion of his 50th birthday.     

Self-similar asymptotic behavior for the solutions of a linear coagulation equation

In this paper we consider the long-time asymptotics of a linear version of the Smoluchowski equation which describes the evolution of a tagged particle moving in a random distribution of fixed particles. The volumes v of these particles are independently distributed according to a probability distribution which decays asymptotically as a power law $v^{?\sigma }$. The validity of the equation has been rigorously proved in [22] taking as a starting point a particle model and for values of the exponent $\sigma >3$, but the model can be expected to be valid, on heuristic grounds, for $\sigma >\frac{5}{3}$. The resulting equation is a non-local linear degenerate parabolic equation. The solutions of this equation display a rich structure of different asymptotic behaviors according to the different values of the exponent σ. Here we show that for $\frac{5}{3}<\sigma <2$ the linear Smoluchowski equation is well-posed and that there exists a unique self-similar profile which is asymptotically stable.     

Rings whose cyclic modules are lifting and ⊕-supplemented

It is proved that a semiperfect module is lifting if and only if it has a projective cover preserving direct summands. Three corollaries are obtained: (1) every cyclic module over a ring R is lifting if and only if every cyclic R-module has a projective cover preserving direct summands; (2) a ring R is artinian serial with Jacobson radical square-zero if and only if every (2-generated) R-module has a projective cover preserving direct summands; (3) a ring R is a right (semi-)perfect ring if and only if (cyclic) lifting R-module has a projective cover preserving direct summands, if and only if every (cyclic) R-module having a projective cover preserving direct summands is lifting. It is also proved that every cyclic module over a ring R is ⊕-supplemented if and only if every cyclic R-module is a direct sum of local modules. Consequently, a ring R is artinian serial if and only if every left and right R-module is a direct sum of local modules.     

Expected reliability of communication protocols

We consider the problem of sending a message from a sender $s$ to a receiver $r$ through an unreliable network by specifying in a protocol what each vertex is supposed to do if it receives the message from one of its neighbors. A protocol for routing a message in such a graph is finite if it never floods $r$ with an infinite number of copies of the message. The expected reliability of a given protocol is the probability that a message sent from $s$ reaches $r$ when the edges of the network fail independently with probability $1?p$.We discuss, for given networks, the properties of finite protocols with maximum expected reliability in the case when $p$ is close to 0 or 1, and we describe networks for which no one protocol is optimal for all values of $p$. In general, finding an optimal protocol for a given network and fixed probability is challenging and many open problems remain.     

A sufficient condition for kernel perfectness of a digraph in terms of semikernels modulo F

A kernel of a directed graph is a set of vertices which is both independent and absorbent. And a digraph is said to be kernel perfect if and only if any induced subdigraph has a kernel. Given a set of arcs F , a semikernel S modulo F is an independent set such that if some Sz-arc is not in F , then there exists a zS-arc. A sufficient condition on the digraph is given in terms of semikernel modulo F in order to guarantee that a digraph is kernel perfect. To do that we give a characterization of kernel perfectness which is a generalization of a previous result given by Neumann-Lara [Seminúcleos de una digrfica. Anales del Instituto de Matemticas 2, Universidad Nacional Autónoma de México, 1971]. And moreover, we show by means of an example that our result is independent of previous known sufficient conditions.     

Intertwining wavelets or multiresolution analysis on graphs through random forests

We propose a new method for performing multiscale analysis of functions defined on the vertices of a finite connected weighted graph. Our approach relies on a random spanning forest to downsample the set of vertices, and on approximate solutions of Markov intertwining relation to provide a subgraph structure and a filter bank leading to a wavelet basis of the set of functions. Our construction involves two parameters q and $q^{\prime }$. The first one controls the mean number of kept vertices in the downsampling, while the second one is a tuning parameter between space localization and frequency localization. We provide an explicit reconstruction formula, bounds on the reconstruction operator norm and on the error in the intertwining relation, and a Jackson-like inequality. These bounds lead to recommend a way to choose the parameters q and $q^{\prime }$. We illustrate the method by numerical experiments.     

On proper holomorphic self-maps of generalized complex ellipsoids

The purpose of this paper is to prove that every proper holomorphic self-mapping of a Reinhardt domain Ω in C ⁿ which is a generalization of a complex ellipsoid is biholomorphic. The main novelty of our result is that Ω is a domain in C ⁿ such that it is allowed to have a boundary point at which the Levi determinant has infinite order of vanishing.     

On Green functions of second-order elliptic operators on Riemannian manifolds: The critical case

Let P be a second-order, linear, elliptic operator with real coefficients which is defined on a noncompact and connected Riemannian manifold M. It is well known that the equation $Pu=0$ in M admits a positive supersolution which is not a solution if and only if P admits a unique positive minimal Green function on M, and in this case, P is said to be subcritical in M. If P does not admit a positive Green function but admits a global positive (super)solution, then such a solution is called a ground state of P in M, and P is said to be critical in M.We prove for a critical operator P in M, the existence of a Green function which is dominated above by the ground state of P away from the singularity. Moreover, in a certain class of Green functions, such a Green function is unique, up to an addition of a product of the ground states of P and $P^{?}$. Under some further assumptions, we describe the behavior at infinity of such a Green function. This result extends and sharpens the celebrated result of P. Li and L.-F. Tam concerning the existence of a symmetric Green function for the Laplace–Beltrami operator on a smooth and complete Riemannian manifold M.     

Commutative rings whose proper ideals are direct sums of uniform modules

An interesting result, obtaining by some theorems of Asano, Köthe and Warfield, states that: “for a commutative ring R, every module is a direct sum of uniform modules if and only if R is an Artinian principal ideal ring.” Moreover, it is observed that: “every ideal of a commutative ring R is a direct sum of uniform modules if and only if R is a finite direct product of uniform rings.” These results raise a natural question: “What is the structure of commutative rings whose all proper ideals are direct sums of uniform modules?” The goal of this paper is to answer this question. We prove that for a commutative ring R, every proper ideal is a direct sum of uniform modules, if and only if, R is a finite direct product of uniform rings or R is a local ring with the unique maximal ideal ? of the form ? = U⊕S, where U is a uniform module and S is a semisimple module. Furthermore, we determine the structure of commutative rings R for which every proper ideal is a direct sum of cyclic uniform modules (resp., cocyclic modules). Examples which delineate the structures are provided.     

Two criteria to check whether ideals are direct sums of cyclically presented modules

A famous theorem of commutative algebra due to I. M. Isaacs states that “if every prime ideal of R is principal, then every ideal of R is principal”. Therefore, a natural question of this sort is “whether the same is true if one weakens this condition and studies rings in which ideals are direct sums of cyclically presented modules?” The goal of this paper is to answer this question in the case R is a commutative local ring. We obtain an analogue of Isaacs's theorem. In fact, we give two criteria to check whether every ideal of a commutative local ring R is a direct sum of cyclically presented modules, it suffices to test only the prime ideals or structure of the maximal ideal of R. As a consequence, we obtain: if R is a commutative local ring such that every prime ideal of R is a direct sum of cyclically presented R-modules, then R is a Noetherian ring. Finally, we describe the ideal structure of commutative local rings in which every ideal of R is a direct sum of cyclically presented R-modules.     

Continuum versus discrete networks,graph Laplacians,and reproducing kernel Hilbert spaces

Motivated by applications to machine learning, we construct a reversible and irreducible Markov chain whose state space is a certain collection of measurable sets of a chosen l.c.h. space $\mathfrak{X}$. We study the resulting network (connected undirected graph), including transience, Royden and Riesz decompositions, and kernel factorization. We describe a construction for Hilbert spaces of signed measures which comes equipped with a new notion of reproducing kernels and there is a unique solution to a regularized optimization problem involving the approximation of $L^2$ functions by functions of finite energy. The latter has applications to machine learning (for Markov random fields, for example).