Idempotent elements of the semigroup corresponding to an X-semilattice of unions of the class Σ16(X, 6)

It is known that if we know all XI-subsemilattices of a given X-semilattice of unions, then we can determine all idempotent elements of the semigroup, and the structure of idempotent elements is characterized. In this work, we find idempotent elements of the semigroup corresponding to X-semilattices of unions of the class ??₁₆(X, 6). Moreover, we give formulas for the number of idempotent elements, where X is finite.     

Regular elements of semigroups B X ( D ) defined by generalized elementary B X ( D )-semilattices of unions

In the paper, the class of complete semigroups of binary relations is considered, each of whose elements is defined by a complete B _X (D)-semilattice of unions which belongs to the class of generalized elementary X-semilattices. Regular elements are described for each semigroup of this class. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 49, Algebra and Geometry, 2007.     

On finite <Emphasis Type="Italic">X</Emphasis>-semilattices of unions

Using a characteristic family of sets, a characteristic mapping, and basis sources of an X-semilattice of unions D, we characterize the class Σ(X, m) consisting of all finite X-semilattices of unions that are isomorphic to a semilattice D given in advance. For a finite set X, the number of elements in the considered class is found. Commutative semigroups of idempotents are known to play a significant role in semigroup theory (see [25, 26]). Moreover, any commutative idempotent semigroup is isomorphic to some X-semilattice of unions (see [26]), whereas X-semilattices play an especially important role in studying many abstract properties of complete semigroups of binary relations (see [1–4, 7–24]). __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 27, Algebra and Geometry, 2005.     

Irreducible generating sets of complete semigroups of unions B x (D) defined by semilattices of the class Σ2(X, 4)

In complete semigroups of unions B _x (D) defined by semilattices of class ??₂(X, 4), we selecte subsets of certain type on which equivalent binary relations are defined and by means of these relations, irreducible generating sets of the considered semigroups are described.     

On double bound graphs and forbidden subposets

For a poset P=(X,≤_P), the double bound graph (DB-graph) of P is the graph DB(P)=(X,E_DB(P)), where xy∈E_DB(P) if and only if x≠y and there exist n,m∈X such that n≤_Px,y≤_Pm. We obtain that for a subposet Q of a poset P,Q is an (n, m)-subposet of P if and only if DB(Q) is an induced subgraph DB(P). Using this result, we show some characterizations of split double bound graphs, threshold double bound graphs and difference double bound graphs in terms of (n, m)-subposets and double canonical posets.     

Characterization of Hermitian and skew-Hermitian maps between matrix algebras

Let D be a division ring with an involution J such that D is finite-dimensional over its center Z and char D≠2. Let T:M_m(D)→M_n(D) be a Z-linear map between matrix rings over D. We show that T satisfies [T(X)]¹=T(X¹) if and only if T(X)=∑±A¹_kXA_k. Similarly, T satisfies [T(X)]¹ = ? T(X¹) if and only if T(X = ∑(A¹_kXB_k ? B¹_kXA_k). The first of these results generalizes and extends a theorem of R.D. Hill [2] on Hermitian-preserving transformations.     

Some topologies on the spaces of USCO maps and densely continuous forms

We study the completeness of three (metrizable) uniformities on the sets D(X, Y) and U(X, Y) of densely continuous forms and USCO maps from X to Y: the uniformity of uniform convergence on bounded sets, the Hausdorff metric uniformity and the uniformity U _B . We also prove that if X is a nondiscrete space, then the Hausdorff metric on real-valued densely continuous forms D(X, ?) (identified with their graphs) is not complete. The key to guarantee completeness of closed subsets of D(X, Y) equipped with the Hausdorff metric is dense equicontinuity introduced by Hammer and McCoy in [7].     

Perturbing the boundary conditions of the generator of a cosine family

Let A be a densely defined, closed linear operator (which we shall call maximal operator) with domain D(A) on a Banach space X and consider closed linear operators L:D(A)???X and ??:D(A)???X (where ?X is another Banach space called boundary space). Putting conditions on L and ??, we show that the second order abstract Cauchy problem for the operator A _?? with A _?? u=Au and domain D(A _??):={u??D(A):Lu=??u} is well-posed and thus it generates a cosine operator function on the Banach space X.     

Weak similarities of metric and semimetric spaces

Let (X,d _X ) and (Y,d _Y ) be semimetric spaces with distance sets D(X) and D(Y), respectively. A mapping F:?X→Y is a weak similarity if it is surjective and there exists a strictly increasing f:?D(Y)→D(X) such that d _X =f°d _Y °(F?F). It is shown that the weak similarities between geodesic spaces are usual similarities and every weak similarity F:?X→Y is an isometry if X and Y are ultrametric and compact with D(X)=D(Y). Some conditions under which the weak similarities are homeomorphisms or uniform equivalences are also found.     

Rank-1 perturbations of cosine functions and semigroups

Let A be the generator of a cosine function on a Banach space X. In many cases, for example if X is a UMD-space, A+B generates a cosine function for each B∈L(D((ω−A)^1/2),X). If A is unbounded and , then we show that there exists a rank-1 operator B∈L(D(γ(ω−A)),X) such that A+B does not generate a cosine function. The proof depends on a modification of a Baire argument due to Desch and Schappacher. It also allows us to prove the following. If A+B generates a distribution semigroup for each operator B∈L(D(A),X) of rank-1, then A generates a holomorphic C₀-semigroup. If A+B generates a C₀-semigroup for each operator B∈L(D(γ(ω−A)),X) of rank-1 where 0<γ<1, then the semigroup T generated by A is differentiable and ‖T^′(t)‖=O(t−α) as t↓0 for any α>1/γ. This is an approximate converse of a perturbation theorem for this class of semigroups.     

Revisiting queueing output processes: a point process viewpoint

After some historical notes concerning queueing output processes N _dep??, the paper discusses methods for establishing asymptotic linear relations for var??N _dep??(0,t], whether in the crude form B ₁ t or the more detailed form B ₁ t+B ₀+o(1) for t→∞. The crude form holds whenever the process N _adm of customers admitted to service has a linear asymptote, and then (var??N _dep??(0,t])/t and (var??N _adm(0,t])/t share a common limit (that may be infinite) in stationary G/G/k/K systems. A standard integral formula for the variance of a stationary orderly point process shows that, if N _dep?? is a renewal process whose generic lifetime X has finite second moment, then B ₁=(var??X)/([E(X)]²), and the more detailed linear asymptote holds when E(X ³) is finite. Geometric ergodicity of the queue size process Q(?) in stationary M/M/k/K systems establishes that the more detailed linear asymptote is true for them. It is conjectured that var??N(0,t]～B ₁ t for any stationary point process N possessing an embedded regenerative structure.     

A Grothendieck-type theorem for the space of totally measurable functions

Let Σ be a σ-algebra of subsets of a non-empty set Ω. Let X be a real Banach space and let X^* stand for the Banach dual of X. Let B(Σ, X) be the Banach space of Σ-totally measurable functions f: Ω → X, and let B(Σ, X)^* and B(Σ, X)^** denote the Banach dual and the Banach bidual of B(Σ, X) respectively. Let bvca(Σ, X^*) denote the Banach space of all countably additive vector measures ν: Σ → X^* of bounded variation. We prove a form of generalized Vitali-Hahn-Saks theorem saying that relative σ(bvca(Σ, X^*), B(Σ, X))-sequential compactness in bvca(Σ, X^*) implies uniform countable additivity. We derive that if X reflexive, then every relatively σ(B(Σ, X)^*, B(Σ, X))-sequentially compact subset of B(Σ, X)_c^~ (= the σ-order continuous dual of B(Σ, X)) is relatively σ(B(Σ, X)^*, B(Σ, X)^**)-sequentially compact. As a consequence, we obtain a Grothendieck type theorem saying that σ(B(Σ, X)^*, B(Σ, X))-convergent sequences in B(Σ, X)_c^~ are σ(B(Σ, X)^*, B(Σ, X)^**)-convergent.     

Maps preserving the idempotency of products of operators

Let B(X) be the algebra of all bounded linear operators on a complex Banach space X. We give the concrete form of every unital surjective map φ on B(X) such that AB is a non-zero idempotent if and only if φ(A)φ(B) is for all A,B∈B(X) when the dimension of X is at least 3.     

Jordan higher all-derivable points on nontrivial nest algebras

Let A be a Banach algebra with unity I and M be a unital Banach A-bimodule. A family of continuous additive mappings D=(δ_i)_i∈N from A into M is called a higher derivable mapping at X, if δ_n(AB)=∑_i+j=nδ_i(A)δ_j(B) for any A,B∈A with AB=X. In this paper, we show that D is a Jordan higher derivation if D is a higher derivable mapping at an invertible element X. As an application, we also get that every invertible operator in a nontrivial nest algebra is a higher all-derivable point.     

The Dichotomy Theorem for evolution bi-families

We prove that the operator G, the closure of the first-order differential operator −d/dt+D(t) on L₂(R,X), is Fredholm if and only if the not well-posed equation u^′(t)=D(t)u(t), t∈R, has exponential dichotomies on R₊ and R₋ and the ranges of the dichotomy projections form a Fredholm pair; moreover, the index of this pair is equal to the Fredholm index of G. Here X is a Hilbert space, D(t)=A+B(t), A is the generator of a bi-semigroup, B(⋅) is a bounded piecewise strongly continuous operator-valued function. Also, we prove some perturbations results and consider various examples of not well-posed problems.     

On a continuous analogue of the stochastic difference equation Xn=ρXn-1+Bn

Let B₁, B₂, ... be a sequence of independent, identically distributed random variables, letX₀ be a random variable that is independent ofB_n forn?1, let ρ be a constant such that 0<ρ<1 and letX₁,X₂, ... be another sequence of random variables that are defined recursively by the relationshipsX_n=ρX_n-1+B_n. It can be shown that the sequence of random variablesX₁,X₂, ... converges in law to a random variableX if and only ifE[log⁺¦B₁¦]<∞. In this paper we let {B(t):0≦t<∞} be a stochastic process with independent, homogeneous increments and define another stochastic process {X(t):0?t<∞} that stands in the same relationship to the stochastic process {B(t):0?t<∞} as the sequence of random variablesX₁,X₂,...stands toB₁,B₂,.... It is shown thatX(t) converges in law to a random variableX ast →+∞ if and only ifE[log⁺¦B(1)¦]<∞ in which caseX has a distribution function of class L. Several other related results are obtained. The main analytical tool used to obtain these results is a theorem of Lukacs concerning characteristic functions of certain stochastic integrals.     

Generalizing D-graphs

Let ω₀(G) denote the number of odd components of a graph G. The deficiency of G is defined as def(G)=max_X⊆V(G)(ω₀(G-X)-|X|), and this equals the number of vertices unmatched by any maximum matching of G. A subset X⊆V(G) is called a Tutte set (or barrier set) of G if def(G)=ω₀(G-X)-|X|, and an extreme set if def(G-X)=def(G)+|X|. Recently a graph operator, called the D-graph D(G), was defined that has proven very useful in examining Tutte sets and extreme sets of graphs which contain a perfect matching. In this paper we give two natural and related generalizations of the D-graph operator to all simple graphs, both of which have analogues for many of the interesting and useful properties of the original.     

PrÜfer-Like Domains and the Nagata Ring of Integral Domains

A subring A of a Prüfer domain B is a globalized pseudo-valuation domain (GPVD) if (i) A?B is a unibranched extension and (ii) there exists a nonzero radical ideal I, common to A and B such that each prime ideal of A (resp., B) containing I is maximal in A (resp., B). Let D be an integral domain, X be an indeterminate over D, c(f) be the ideal of D generated by the coefficients of a polynomial f ∈ D[X], N = {f ∈ D[X] | c(f) = D}, and N _v  = {f ∈ D[X] | c(f)^?1 = D}. In this article, we study when the Nagata ring D[X] _N (more generally, D[X] _{N v} ) is a GPVD. To do this, we first use the so-called t-operation to introduce the notion of t-globalized pseudo-valuation domains (t-GPVDs). We then prove that D[X] _{N v} is a GPVD if and only if D is a t-GPVD and D[X] _{N v} has Prüfer integral closure, if and only if D[X] is a t-GPVD, if and only if each overring of D[X] _{N v} is a GPVD. As a corollary, we have that D[X] _N is a GPVD if and only if D is a GPVD and D has Prüfer integral closure. We also give several examples of integral domains D such that D[X] _{N v} is a GPVD.