Strict Betweennesses Induced by Posets as well as by Graphs

For a finite poset P = (V, ≤ ), let _s(P){\cal B}_s(P) consist of all triples (x,y,z) ∈ V ³ such that either x < y < z or z < y < x. Similarly, for every finite, simple, and undirected graph G = (V,E), let B_s(G){\cal B}_s(G) consist of all triples (x,y,z) ∈ V ³ such that y is an internal vertex on an induced path in G between x and z. The ternary relations B_s(P){\cal B}_s(P) and B_s(G){\cal B}_s(G) are well-known examples of so-called strict betweennesses. We characterize the pairs (P,G) of posets P and graphs G on the same ground set V which induce the same strict betweenness relation B_s(P)=B_s(G){\cal B}_s(P)={\cal B}_s(G).     

On Poset Boolean Algebras

Let (P,≤) be a partially ordered set. The poset Boolean algebra of P, denoted F(P), is defined as follows: The set of generators of F(P) is {x _p  : p∈P}, and the set of relations is {x _p ⋅x _q =x _p  : p≤q}. We say that a Boolean algebra B is well-generated, if B has a sublattice G such that G generates B and (G,≤ ^B |G) is well-founded. A well-generated algebra is superatomic. THEOREM 1. Let (P,≤) be a partially ordered set. The following are equivalent. (i) P does not contain an infinite set of pairwise incomparable elements, and P does not contain a subset isomorphic to the chain of rational numbers, (ii) F(P) is superatomic, (iii) F(P) is well-generated. The equivalence (i) ⇔ (ii) is due to M. Pouzet. A partially ordered set W is well-ordered, if W does not contain a strictly decreasing infinite sequence, and W does not contain an infinite set of pairwise incomparable elements. THEOREM 2. Let F(P) be a superatomic poset algebra. Then there are a well-ordered set W and a subalgebra B of F(W), such that F(P) is a homomorphic image of B. This is similar but weaker than the fact that every interval algebra of a scattered chain is embeddable in an ordinal algebra. Remember that an interval algebra is a special case of a poset algebra. This revised version was published online in June 2006 with corrections to the Cover Date.     

Limit T-spaces

Let F be a field of prime characteristic p and let V _p be the variety of associative algebras over F without unity defined by the identities [[x, y], z] = 0 and x ⁴ = 0 if p = 2 and by the identities [[x, y], z] = 0 and x ^p = 0 if p > 2 (here [x, y] = xy − yx). Let A/V _p be the free algebra of countable rank of the variety V _p and let S be the T-space in A/V _p generated by x ₁² x ₂² ⋯ x _k² + V ₂, where k ∈ ℕ if p = 2, and by {ie4170-01}, where k ∈ ℕ and α ₁, …, α _2k ∈ {0, p − 1} if p > 2. As is known, S is not finitely generated as a T-space. In the present paper, we prove that S is a limit T-space, i.e., a maximal nonfinitely generated T-space. As a corollary, we have constructed a limit T-space in the free associative F-algebra without unity of countable rank. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 1, pp. 135–159, 2007.     

When Will Every Maximal <Emphasis Type="BoldItalic">F</Emphasis>-free Subposet Contain a Maximal Element?

Let F be a partially ordered set (poset). A poset P is called F-free if P contains no subposet isomorphic to F. A finite poset F is said to have the maximal element property if every maximal F-free subposet of any finite poset P contains a maximal element of P. It is shown that a poset F with at least two elements has the maximal element property if and only if F is an antichain or F ≅ 2 + 2.     

On the approximation of entire functions by trigonometric polynomials

Let a set B have the following properties: if z ∈ B, then z ± 2π ∈ B and the intersection of B with the vertical strip 0 ≤ Re x ≤ π is a closed and bounded set. In this paper we study the approximation of a continuous on B and 2π-periodic function f(z) by trigonometric polynomials T _n (z). We establish the necessary and sufficient conditions for the function f(z) to be entire and specify a formula for calculating its order. In addition, we describe some metric properties of periodic sets in a plane.     

Posets with the Maximal Antichain Property

A finite poset F has the maximal antichain property if every maximal F-free subposet of every finite poset P contains a maximal antichain of P. We find all finite posets with the maximal antichain property.     

Asymptotic representations of solutions of nonautonomous ordinary differential equations with regularly varying nonlinearities

We obtain asymptotic representations as t ↑ ω, ω ≤ + ∞, for all possible types of P _ω(Y ₀, λ ₀)-solutions (where Y ₀ is zero or ±∞ and −∞ ≤ λ₀ ≤ +∞) of nonlinear differential equations y ⁽ⁿ⁾ = α ₀ p(t)φ(y), where α ₀ ∈ {−1, 1}, p: [a, ω[→]0,+∞[ is a continuous function, and φ is a continuous regularly varying function in a one-sided neighborhood of Y ₀.     

Lösungsanzahl der Gleichung |xd−czyd|=p

For a homogenous polynomP ∈ℤ[X, Y] of degreed and forh ∈ ℕ letL(P, h) be the number of coprime solutions of the equation |P(x,y)|=h. Ift(h) is the number of distinct primefactors ofh, a theorem of Bombieri-Schmidt [1] givesL(P, h)≤Md ^t(h) +1 in the cased≥3. We prove for a finite collection of polynomialsP _w ∈ℤ[X, Y] under some conditions, that for almost allh ∈ℤ (Satz 1; “almost all” in the sense “except finitely many cases”). As a corollary (Folgerung 3/4) we get for sufficiently large primesp, that the equation |x ^d −c ^z y ^d |=p has at mostd+1 many solutions (x, y, z) ∈ ℕ ³ withc∤y. Ford=2 we get an analogon to a theorem of Mao-Hua (Folgerung 5).      

Partitioning Posets

Given a poset P = (X, ≺ ), a partition X ₁, ..., X _k of X is called an ordered partition of P if, whenever x ∈ X _i and y ∈ X _j with x ≺ y, then i ≤ j. In this paper, we show that for every poset P = (X, ≺ ) and every integer k ≥ 2, there exists an ordered partition of P into k parts such that the total number of comparable pairs within the parts is at most (m − 1)/k, where m ≥ 1 is the total number of edges in the comparability graph of P. We show that this bound is best possible for k = 2, but we give an improved bound, , for k ≥ 3, where c(k) is a constant depending only on k. We also show that, given a poset P = (X, ≺ ) and an integer 2 ≤ k ≤ |X|, we can find an ordered partition of P into k parts that minimises the total number of comparable pairs within parts in time polynomial in the size of P. We prove more general, weighted versions of these results. Supported by an EPSRC doctoral training grant.     

Kolmogorov and linear widths of classes of <Emphasis Type="Italic">s</Emphasis>-monotone integrable functions

Let s ∈ ℕ and let Δ ₊ ^s be the set of functions x: I ↦ ℝ on a finite interval I such that the divided differences [x; t ₀, ..., t _s ] of order s of these functions are nonnegative for all collections of s + 1 different points t ₀, ..., t _s ∈ I. For the classes Δ ₊ ^s B _p : = Δ ₊ ^s ∩ B _p , where B _p is the unit ball in L _p , we determine the orders of Kolmogorov and linear widths in the spaces _Lq for 1 ≤ q > p ≤ ∞. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 12, pp. 1633–1652, December, 2005.     

Banach spaces of operators that are complemented in their biduals

Let [A, a] be a normed operator ideal. We say that [A, a] is boundedly weak*-closed if the following property holds: for all Banach spaces X and Y, if T: X → Y** is an operator such that there exists a bounded net (T _i ) _i∈I in A(X, Y) satisfying lim _i 〈y*, T _i x y*〉 for every x ∈ X and y* ∈ Y*, then T belongs to A(X, Y**). Our main result proves that, when [A, a] is a normed operator ideal with that property, A(X, Y) is complemented in its bidual if and only if there exists a continuous projection from Y** onto Y, regardless of the Banach space X. We also have proved that maximal normed operator ideals are boundedly weak*-closed but, in general, both concepts are different.      

The nearness problems for symmetric centrosymmetric with a special submatrix constraint

We say that X=[x_ij]_i,j=1ⁿX=[x_{ij}]_{i,j=1}^n is symmetric centrosymmetric if x _ij  = x _ji and x _{n − j + 1,n − i + 1}, 1 ≤ i,j ≤ n. In this paper we present an efficient algorithm for minimizing ||AXA ^T  − B|| where ||·|| is the Frobenius norm, A ∈ ℝ ^m×n , B ∈ ℝ ^m×m and X ∈ ℝ ^n×n is symmetric centrosymmetric with a specified central submatrix [x _ij ] _{p ≤ i,j ≤ n − p} . Our algorithm produces a suitable X such that AXA ^T  = B in finitely many steps, if such an X exists. We show that the algorithm is stable any case, and we give results of numerical experiments that support this claim.     

Wavelet expansions of fractal measures

Let μ be a measure on ℝⁿ that satisfies the estimate μ(B _r(x))≤cr ^α for allx ∈ ℝⁿ and allr ≤ 1 (B _r(x) denotes the ball of radius r centered atx. Let ϕ _j,k ^(ɛ) (x)=2 ^nj2ϕ^(ɛ)(2 ^j x-k) be a wavelet basis forj ∈ ℤ, κ ∈ ℤⁿ, and ∈ ∈E, a finite set, and letP _j (T)=Σ_ɛ,k <T,ϕ _j,k ^(ɛ) >ϕ _j,k ^(ɛ) denote the associated projection operators at levelj (T is a suitable measure or distribution). Iff ∈Ls ^p(dμ) for 1 ≤p ≤ ∞, we show thatP _j(f dμ) ∈ L^p(dx) and ||P _j (fdμ)||L _p(dx)≤c2 ^{j((n-α)/p′))}||f||L _p(dμ) for allj ≥ 0. We also obtain estimates for the limsup and liminf of ||P _j (fdμ)||L _p(dx) under more restrictive hypotheses. Communicated by Guido Weiss     

Generalization of the perron effect whereby the characteristic exponents of all solutions of two differential systems change their sign from negative to positive

We obtain a generalization of the complete Perron effect whereby the characteristic exponents of all solutions change their sign from negative for the linear approximation system to positive for a nonlinear system with perturbations of higher-order smallness [Differ. Uravn., 2010, vol. 46, no. 10, pp. 1388–1402]. Namely, for arbitrary parameters λ ₁ ≤ λ ₂ < 0 and m > 1 and for arbitrary intervals [b _i , d _i ) ⊂ [λ _i ,+∞), i = 1, 2, with boundaries d ₁ ≤ b ₂, we prove the existence of (i) a two-dimensional linear differential system with bounded coefficient matrix A(t) infinitely differentiable on the half-line t ≥ 1 and with characteristic exponents λ ₁(A) = λ ₁ ≤ λ ₂(A) = λ ₂ < 0; (ii) a perturbation f(t, y) of smallness order m > 1 infinitely differentiable with respect to time t > 1 and continuously differentiable with respect to y ₁ and y ₂, y = (y ₁, y ₂) ∈ R ² such that all nontrivial solutions y(t, c), c ∈ R ², of the nonlinear system .y = A(t)y + f(t, y), y ∈ R ², t ≥ 1, are infinitely extendible to the right and have characteristic exponents λ[y] ∈ [b ₁, d ₁) for c ₂ = 0 and λ[y] ∈ [b ₂, d ₂) for c ₂ ≠ 0.     

Strongly Closed Subgraphs in a Distance-Regular Graph with <Emphasis Type="Italic">c</Emphasis><Subscript>2</Subscript> > 1

Let Γ be a distance-regular graph of diameter d ≥ 3 with c ₂ > 1. Let m be an integer with 1 ≤ m ≤ d − 1. We consider the following conditions:

On symmetric basic sequences in lorentz sequence spaces II

It is shown that if {y _n} is a block of type I of a symmetric basis {x _n} in a Banach spaceX, then {y _n} is equivalent to {x _n} if and only if the closed linear span [y _n] of {y _n} is complemented inX. The result is used to study the symmetric basic sequences of the dual space of a Lorentz sequence spaced(a, p). Let {x _n,f _n} be the unit vector basis ofd(a, p), for 1≤p<+∞. It is shown that every infinite-dimensional subspace ofd(a, p) (respectively, [f _n] has a complemented subspace isomorphic tol _p (respectively,l _q, 1/p+1/q=1 when 1<p<+∞ andc ₀ whenp=1) and numerous other results on complemented subspaces ofd(a, p) and [f _n] are obtained. We also obtain necessary and sufficient conditions such that [f _n] have exactly two non-equivalent symmetric basic sequences. Finally, we exhibit a Banach spaceX with symmetric basis {x _n} such that every symmetric block basic sequence of {x _n} spans a complemented subspace inX butX is not isomorphic to eitherc ₀ orl _p, 1≤p<+∞.     

A fixed point theorem for a class of star-shaped sets inc 0

A subsetK ofc ₀ is coordinatewise star-shaped (c.s.s.) if there exists a center pointx ∈K such that fory ∈K andz ∈c ₀, ifz is coordinatewise betweenx andy thenz ∈K. We prove that a weakly compact c.s.s. subset ofc ₀ has the fixed point property for nonexpansive mappings and that a fixed point for such a mapping can be obtained in a constructive manner. Research of the first two authors was partially supported by NSF Grant MCS78-01344 and of the last author by MCS78-01501.     

Best linear methods for the approximation of functions of the Bergman class by algebraic polynomials

On concentric circles T _ϱ = {z ∈ ℂ: ∣z∣ = ϱ}, 0 ≤ ϱ < 1, we determine the exact values of the quantities of the best approximation of holomorphic functions of the Bergman class A _p , 2 ≤ p ≤ ∞, in the uniform metric by algebraic polynomials generated by linear methods of summation of Taylor series. For 1 ≤ p < 2, we establish exact order estimates for these quantities. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 12, pp. 1674–1685, December, 2006.     

Rings with nil and power centralK-th commutators

We define thek-th commutator forx, y in a ringR inductively as follows: [x,y]₁=[x,y]=xy−yx and [x,y] _k =[[x,y] _{k−1, y} ]. Assume thatR is a ring without nonzero nil onesided ideals. The following are shown: (1) If [x,y] _k is nilpotent for allx,y∈R, thenR must be commutative. (2) If [x,y] _k is power central for allx,y∈R, thenR must satisfy the standard polynomial of degree 4. 1980 Mathematics Subject Classification (1985 Revision). Primary 16A70, Secondary 16A12.