Unbounded disjointness preserving linear functionals and operators

Let E and F be Banach lattices. We show first that the disjointness preserving linear functionals separate the points of any infinite dimensional Banach lattice E, which shows that in this case the unbounded disjointness preserving operators from \({E\to F}\) separate the points of E. Then we show that every disjointness preserving operator \({T:E\to F}\) is norm bounded on an order dense ideal. In case E has order continuous norm, this implies that every unbounded disjointness preserving map \({T:E\to F}\) has a unique decomposition T = R + S, where R is a bounded disjointness preserving operator and S is an unbounded disjointness preserving operator, which is zero on a norm dense ideal. For the case that E = C(X), with X a compact Hausdorff space, we show that every disjointness preserving operator \({T:C(X)\to F}\) is norm bounded on a norm dense sublattice algebra of C(X), which leads then to a decomposition of T into a bounded disjointness preserving operator and a finite sum of unbounded disjointness preserving operators, which are zero on order dense ideals.     

A note on transitively <Emphasis Type="Italic">D</Emphasis>-spaces

In this note, we show that if for any transitive neighborhood assignment φ for X there is a point-countable refinement ? such that for any non-closed subset A of X there is some V ∈ ? such that |V ∩ A| ? ω, then X is transitively D. As a corollary, if X is a sequential space and has a point-countable wcs*-network then X is transitively D, and hence if X is a Hausdorff k-space and has a point-countable k-network, then X is transitively D. We prove that if X is a countably compact sequential space and has a pointcountable wcs*-network, then X is compact. We point out that every discretely Lindelöf space is transitively D. Let (X, τ) be a space and let (X, ?) be a butterfly space over (X, τ). If (X, τ) is Fréchet and has a point-countable wcs*-network (or is a hereditarily meta-Lindelöf space), then (X, ?) is a transitively D-space.     

Mortality Risk and Life Expectancy

Changing the mortality risks we face would change human life expectancy. As a special case, one could imagine adding a fixed increment R to all the age-specific mortality rates from age zero upwards. For this case we seek a constant K(A) such that K(A) x R approximates the resulting change in life expectancy remaining at age A, at least for small values of R. The formula for K(A) derived here corrects a heuristic argument that appeared in JORS earlier. An estimate of K(0) suggests that the permanent addition of a one-in-a-million risk at each year of life would reduce life expectancy at birth by about 1 day—a useful fact for risk communication.     

A modified large-scale structure-preserving doubling algorithm for a large-scale Riccati equation from transport theory

A large scale nonsymmetric algebraic Riccati equation XCX ? XE ? AX + B = 0 arising in transport theory is considered, where the n × n coefficient matrices B,C are symmetric and low-ranked and A, E are rank one updates of nonsingular diagonal matrices. By introducing a balancing strategy and setting appropriate initial matrices carefully, we can simplify the large-scale structure-preserving doubling algorithm (SDA_ls) for this special equation. We give modified large-scale structure-preserving doubling algorithm, which can reduce the flop count of original SDA_ls by half. Numerical experiments illustrate the effectiveness of our method.     

A note on generalized Lie derivations of prime rings

Let R be a prime ring of characteristic not 2, A be an additive subgroup of R, and F, T, D, K: A-R be additive maps such that F([x, y]) = F(x)_y-yK(x)-T(y)_{x + x}D(y) for all x, yEA. Our aim is to deal with this functional identity when A is R itself or a noncentral Lie ideal of R. Eventually, we are able to describe the forms of the mappings F, T, D, and K in case A = R with deg(R) > 3 and also in the case A is a noncentral Lie ideal and deg(R) > 9. These enable us in return to characterize the forms of both generalized Lie derivations, D-Lie derivations and Lie centralizers of R under some mild assumptions. Finally, we give a generalization of Lie homomorphisms on Lie ideals.     

Differences of Idempotents In <Emphasis Type="Italic">C</Emphasis>*-Algebras and the Quantum Hall Effect

Let ? be a trace on the unital C*-algebra A and M _? be the ideal of the definition of the trace ?. We obtain a C*analogue of the quantum Hall effect: if P,Q ∈ A are idempotents and P ? Q ∈ M _? , then ?((P ? Q)²ⁿ⁺¹) = ?(P ? Q) ∈ R for all n ∈ N. Let the isometries U ∈ A and A = A*∈ A be such that I+A is invertible and U-A ∈ M _? with ?(U-A) ∈ R. Then I-A, I?U ∈ M _? and ?(I?U) ∈ R. Let n ∈ N, dimH = 2n + 1, the symmetry operators U, V ∈ B(H), and W = U ? V. Then the operator W is not a symmetry, and if V = V*, then the operator W is nonunitary.     

<Emphasis Type="Italic">UA</Emphasis>-properties of modules over commutative Noetherian rings

A semigroup (R, ·) is said to be a UA-ring if there exists a unique binary operation “+” transforming (R, ·, +) into a ring. An R-module A is said to be a UA-module if it is not possible to define a new addition in A without changing the action of R on A. In this paper we investigate topics that are related to the structure of UA-rings of endomorphisms and UA-modules over commutative Noetherian rings.     

The Corona problem on a complete ultrametric algebraically closed field

Let IK be a complete ultrametric algebraically closed field and let A be the Banach IK-algebra of bounded analytic functions in the ”open” unit disk D of IK provided with the Gauss norm. Let Mult(A, ‖. ‖) be the set of continuous multiplicative semi-norms of A provided with the topology of simple convergence, let Mult _m (A, ‖. ‖) be the subset of the ? ∈ Mult(A, ‖. ‖) whose kernel is amaximal ideal and let Mult ₁(A, ‖. ‖) be the subset of the ? ∈ Mult(A, ‖. ‖) whose kernel is a maximal ideal of the form (x ? a)A with a ∈ D. By analogy with the Archimedean context, one usually calls ultrametric Corona problem the question whether Mult ₁(A, ‖. ‖) is dense in Mult _m (A, ‖. ‖). In a previous paper, it was proved that when IK is spherically complete, the answer is yes. Here we generalize this result to any algebraically closed complete ultrametric field, which particularly applies to ? _p . On the other hand, we also show that the continuous multiplicative seminorms whose kernel are neither a maximal ideal nor the zero ideal, found by Jesus Araujo, also lie in the closure of Mult ₁(A, ‖. ‖), which suggest that Mult ₁(A, ‖. ‖)might be dense in Mult(A, ‖. ‖).     

Linear preservers of row-dense matrices

Let M_m,n be the set of all m × n real matrices. A matrix A ∈ M_m,n is said to be row-dense if there are no zeros between two nonzero entries for every row of this matrix. We find the structure of linear functions T: M_m,n → M_m,n that preserve or strongly preserve row-dense matrices, i.e., T(A) is row-dense whenever A is row-dense or T(A) is row-dense if and only if A is row-dense, respectively. Similarly, a matrix A ∈ M_n,m is called a column-dense matrix if every column of A is a column-dense vector. At the end, the structure of linear preservers (strong linear preservers) of column-dense matrices is found.     

Commutative Rings whose Proper Ideals are Serial

A result of Nakayama and Skornyakov states that a ring R is an Artinian serial ring if and only if every R-module is serial. This motivated us to study commutative rings for which every proper ideal is serial. In this paper, we determine completely the structure of commutative rings R of which every proper ideal is serial. It is shown that every proper ideal of R is serial, if and only if, either R is a serial ring, or R is a local ring with maximal ideal \({\mathcal {M}}\) such that there exist a uniserial module U and a semisimple module T with \({\mathcal {M}}=U\oplus T\). Moreover, in the latter case, every proper ideal of R is isomorphic to \(U^{\prime }\oplus T^{\prime }\), for some \(U^{\prime }\leq U\) and \(T^{\prime }\leq T\). Furthermore, it is shown that every proper ideal of a commutative Noetherian ring R is serial, if and only if, either R is a finite direct product of discrete valuation domains and local Artinian principal ideal rings, or R is a local ring with maximal ideal \({\mathcal {M}}\) containing a set of elements {w ₁,…,w _n } such that \({\mathcal {M}}=\bigoplus _{i=1}^{n} Rw_{i}\) with at most one non-simple summand. Moreover, another equivalent condition states that: there exists an integer n ≥ 1 such that every proper ideal of R is a direct sum of at most n uniserial R-modules. Finally, we discuss some examples to illustrate our results.     

On (<Emphasis Type="Italic">m</Emphasis>, <Emphasis Type="Italic">n</Emphasis>)-absorbing ideals of commutative rings

Let R be a commutative ring with 1 ≠ 0 and U(R) be the set of all unit elements of R. Let m, n be positive integers such that m > n. In this article, we study a generalization of n-absorbing ideals. A proper ideal I of R is called an (m, n)-absorbing ideal if whenever a ₁?a _m ∈I for a ₁,…, a _m ∈R?U(R), then there are n of the a _i ’s whose product is in I. We investigate the stability of (m, n)-absorbing ideals with respect to various ring theoretic constructions and study (m, n)-absorbing ideals in several commutative rings. For example, in a Bézout ring or a Boolean ring, an ideal is an (m, n)-absorbing ideal if and only if it is an n-absorbing ideal, and in an almost Dedekind domain every (m, n)-absorbing ideal is a product of at most m ? 1 maximal ideals.     

A Mayer–Vietoris Formula for Persistent Homology with an Application to Shape Recognition in the Presence of Occlusions

In algebraic topology it is well known that, using the Mayer–Vietoris sequence, the homology of a space X can be studied by splitting X into subspaces A and B and computing the homology of A, B, and A∩B. A natural question is: To what extent does persistent homology benefit from a similar property? In this paper we show that persistent homology has a Mayer–Vietoris sequence that is generally not exact but only of order 2. However, we obtain a Mayer–Vietoris formula involving the ranks of the persistent homology groups of X, A, B, and A∩B plus three extra terms. This implies that persistent homological features of A and B can be found either as persistent homological features of X or of A∩B. As an application of this result, we show that persistence diagrams are able to recognize an occluded shape by showing a common subset of points.     

Localization of dominant eigenpairs and planted communities by means of Frobenius inner products

We propose a new localization result for the leading eigenvalue and eigenvector of a symmetric matrix A. The result exploits the Frobenius inner product between A and a given rank-one landmark matrix X. Different choices for X may be used, depending on the problem under investigation. In particular, we show that the choice where X is the all-ones matrix allows to estimate the signature of the leading eigenvector of A, generalizing previous results on Perron-Frobenius properties of matrices with some negative entries. As another application we consider the problem of community detection in graphs and networks. The problem is solved by means of modularity-based spectral techniques, following the ideas pioneered by Miroslav Fiedler in mid-’70s.     

On Hyperbolic Metric and Invariant Beltrami Differentials for Rational Maps

Given a rational map R, we consider the complement of the postcritical set \(S_R\). In this paper we discuss the existence of invariant Beltrami differentials supported on an R invariant subset X of \(S_R\). Under some geometrical restrictions on X, we show the absence of invariant Beltrami differentials with support intersecting X. In particular, we show that if X has finite hyperbolic area, then X cannot support invariant Beltrami differentials except in the case where R is a Lattès map.     

Algebraic games—playing with groups and rings

Two players alternate moves in the following impartial combinatorial game: Given a finitely generated abelian group A, a move consists of picking some \(0 \ne a \in A\). The game then continues with the quotient group \(A/\langle a \rangle \). We prove that under the normal play rule, the second player has a winning strategy if and only if A is a square, i.e. \(A \cong B \times B\) for some abelian group B. Under the misère play rule, only minor modifications concerning elementary abelian groups are necessary to describe the winning situations. We also compute the nimbers, i.e. Sprague–Grundy values of 2-generated abelian groups. An analogous game can be played with arbitrary algebraic structures. We study some examples of non-abelian groups and commutative rings such as R[X], where R is a principal ideal domain.     

Bezout modules and rings

For any ring A, there exist a Bezout ring R and an idempotent e ∈ R with A ? eRe. Every module over any ring is a direct summand of an endo-Bezout module. Over any ring, every free module of infinite rank is an endo-Bezout module.     

The approximation properties determined by operator ideals

We introduce the notion of the right approximation property with respect to an operator ideal A and solve the duality problem for the approximation property with respect to an operator ideal A, that is, a Banach space X has the approximation property with respect to A ^d whenever X* has the right approximation property with respect to an operator ideal A. The notions of the left bounded approximation property and the left weak bounded approximation property for a Banach operator ideal are introduced and new symmetric results are obtained. Finally, the notions of the p-compact sets and the p-approximation property are extended to arbitrary Banach operator ideals. Known results of the approximation property with respect to an operator ideal and the p-approximation property are generalized.     

Ultrafilter semigroups generated by direct sums

Let λ be an infinite cardinal and for every ordinal α<λ, let A _α be a set with a distinguished element 0 _α ∈A _α . The direct sum of sets A _α , α<λ, is the subset \(X=\bigoplus_{\alpha<\lambda}A_{\alpha}\) of the Cartesian product ∏_α<λ A _α consisting of all x with finite supp?(x)={α<λ:x(α)≠0 _α }. Endow X with a topology by taking as a neighborhood base at x∈X the subsets of the form {y∈X:y(α)=x(α) for all α<γ} where γ<λ. Let Ult?(X) denote the set of all nonprincipal ultrafilters on X converging to 0∈X. There is a natural partial semigroup operation on X which induces a semigroup operation on Ult?(X). We show that if direct sums X and Y are homeomorphic, then the semigroups Ult?(X) and Ult?(Y) are isomorphic.     

Possible isolation number of a matrix over nonnegative integers

Let ?₊ be the semiring of all nonnegative integers and A an m × n matrix over ?₊. The rank of A is the smallest k such that A can be factored as an m × k matrix times a k×n matrix. The isolation number of A is the maximum number of nonzero entries in A such that no two are in any row or any column, and no two are in a 2 × 2 submatrix of all nonzero entries. We have that the isolation number of A is a lower bound of the rank of A. For A with isolation number k, we investigate the possible values of the rank of A and the Boolean rank of the support of A. So we obtain that the isolation number and the Boolean rank of the support of a given matrix are the same if and only if the isolation number is 1 or 2 only. We also determine a special type of m×n matrices whose isolation number is m. That is, those matrices are permutationally equivalent to a matrix A whose support contains a submatrix of a sum of the identity matrix and a tournament matrix.     

Obstructions to the uniform stability of a <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>-semigroup

Let T _t : X → X be a C ₀-semigroup with generator A. We prove that if the abscissa of uniform boundedness of the resolvent s ₀(A) is greater than zero then for each nondecreasing function h(s): ?₊ → R ₊ there are x′ ∈ X′ and x ∈ X satisfying ∫ ₀ ^∞ h(|〈x′, T _x x〉|)dt = ∞. If i? ∩ Sp(A) ≠ Ø then such x may be taken in D(A ^∞).