Determining boundary sets of bounded symmetric domains

We consider bounded symmetric domains in complex Banach spaces. It is known that each of these domains can be realized as open unit ballD of a uniquely determined complex Banach spaceE and that every biholomorphic automorphismg ofD extends holomorphically to the closure ofD inE. We study subsetsS of (and in particular of the boundary ϖD) such that every automorphismg is already uniquely determined by its values onS. We also consider subsetsS with the analogue topological property: For every sequence (g _n ) of automorphisms converging uniformly onS tog the convergence is already uniform onD. Supported by Acción Integrada Hispano-Alemana Supported by Xunta de Galicia, project Xuga 20702 B 90     

Universal meromorphic approximation on Vitushkin sets

The paper proves the following result on universal meromorphic approximation: Given any unbounded sequence {λ _n } ? ?, there exists a function ?, meromorphic on ?, with the following property. For every compact set K of rational approximation (i.e. Vitushkin set), and every function f, continuous on K and holomorphic in the interior of K, there exists a subsequence {n _k } of ? such that $ \left\{ {\varphi \left( {z + \lambda _{n_k } } \right)} \right\} The paper proves the following result on universal meromorphic approximation: Given any unbounded sequence {λ _n } ⊂ ℂ, there exists a function ϕ, meromorphic on ℂ, with the following property. For every compact set K of rational approximation (i.e. Vitushkin set), and every function f, continuous on K and holomorphic in the interior of K, there exists a subsequence {n _k } of ℕ such that converges to f(z) uniformly on K. A similar result is obtained for arbitrary domains G ≠ ℂ. Moreover, in case {λ _n }={n} the function ϕ is frequently universal in terms of Bayart/Grivaux [3]. Original Russian Text ? W.Luh, T.Meyrath, M.Niess, 2008, published in Izvestiya NAN Armenii. Matematika, 2008, No. 6, pp. 66–75.     

On sandwich sets and congruences on regular semigroups

Let S be a regular semigroup and E(S) be the set of its idempotents. We call the sets S(e, f)f and eS(e, f) one-sided sandwich sets and characterize them abstractly where e, f ∈ E(S). For a, a′ ∈ S such that a = aa′a, a′ = a′aa′, we call S(a) = S(a′a, aa′) the sandwich set of a. We characterize regular semigroups S in which all S(e; f) (or all S(a)) are right zero semigroups (respectively are trivial) in several ways including weak versions of compatibility of the natural order. For every a ∈ S, we also define E(a) as the set of all idempotets e such that, for any congruence ϱ on S, aϱa ² implies that aϱe. We study the restrictions on S in order that S(a) or be trivial. For , we define on S by a b if . We establish for which S are or congruences.     

K-functional, weighted moduli of smoothness, and best weighted polynomial approximation on a simplex

An inverse theorem for the best weighted polynomial approximation of a function in (S) is established. We also investigate Besov spaces generated by Freud weight and their connection with algebraic polynomial approximation in , wherew _α is a Jacobi-type weight onS, 0<p ≤ ∞,S is a simplex andW _λ is a Freud weight. For Ditzian-TotikK-functionals onL _p(S), 1 ≤p ≤ ∞, we obtain a new equivalence expression.     

Completeness of systems of entire functions in spaces of holomorphic functions

Letf be an entire function in . For a broad class of distribution densities of the set Λ, a scale of sufficient conditions for the completeness of the system of functions {f(λ×z):λ∈Λ},z∈E, where , in the spaceH(E) of holomorphic functions onE with respect to the topology of uniform convergence on compact subsets is given in terms of the mutual indicator of the functionf and the setE. These conditions are new already forn=1 even ifE is a disk. Translated fromMatematicheskie Zametki, Vol. 66, No. 4, pp. 603–616, October, 1999.     

On left C-U-liberal semigroups

In this paper the equivalence on a semigroup S in terms of a set U of idempotents in S is defined. A semigroup S is called a U-liberal semigroup with U as the set of projections and denoted by S(U) if every -class in it contains an element in U. A class of U-liberal semigroups is characterized and some special cases are considered.     

On matroid intersections

This paper exploits and extends results of Edmonds, Cunningham, Cruse and McDiarmid on matroid intersections. Letr ₁ andr ₂ be rank functions of two matroids defined on the same setE. For everyS ⊂E, letr ₁₂(S) be the largest cardinality of a subset ofS independent in both matroids, 0≦k≦r ₁₂(E)−1. It is shown that, ifc is nonnegative and integral, there is ay: 2 ^E →Z ⁺ which maximizes and , subject toy≧0, ∀j∈E, .     

Co-Artinian rings and Morita duality

A ringA is left co-Noetherian if the injective hull of each simple leftA-module is Artinian. Such rings have been studied by Vámos and Jans. Dually, callA left co-Artinian if the injective hull of each simple leftA-module is Noetherian. Left co-Artinian rings having only finitely many nonisomorphic simple left modules are studied, and such rings are shown to have nilpotent radical. Moreover, it is shown that left co-Artinian implies left co-Noetherian ifA/J is Artinian. For an injective leftA-module _A Q withB=End ( _A Q), andC=End (Q _B ), conditions yielding a Morita duality between and are obtained. In special cases, e.g. _A Q a self-cogenerator, this Morita duality yields chain conditions on _A Q. Specialized to commutative rings, these results give the known fact that every commutative co-Artinian ring is co-Noetherian. Finally in the case that the injective hull _A E=E( _A S) of a simple leftA-module _A S is a self-cogenerator, chain conditions on _A E are related to chain conditions onB _B =End ( _A E). The results obtained are analogous to results for commutative rings of Vámos, Rosenberg and Zelinsky. It is shown that ifA is a left co-Artinian ring withE( _A S) a self-cogenerator for each simple _A S, thenJ is nil and .     

On the existence of ordered couplings of random sets — with applications

Letψ andϕ be two given random closed sets in a locally compact second countable topological spaceS. (They need not be based on the same probability space.) The main result gives necessary and sufficient conditions on the distributions ofψ andϕ, for the existence of two random closed sets and , based on the same probability space and such that their distributions coincide with those ofψ andϕ, resp., and a.s. This coupling result tells us in particular when a probability distribution onS is selectionable w.r.t. (the distribution of) a random closed set. An existence result for realizable thinnings of a simple point process is obtained by specializing it to supports of random measures. The coupling result is extended to random variables in a countably based continuous poset. As examples we mention various kinds of random capacities — in particular random measures — and random compact (saturated) sets. Moreover, the extended result tells us when a probability distribution onS is selectionable w.r.t. the distribution of a random compact (saturated) set.     

Abundant and ample straight left orders

A subsemigroup S of a semigroup Q is a straight left order in Q and Q is a semigroup of straight left quotients of S if every q ∈ Q can be written as for some with a b in Q and if, in addition, every element of S that is square cancellable lies in a subgroup of Q. Here a ^♯ denotes the group inverse of a in some (hence any) subgroup of Q. If S is a straight left order in Q, then Q is necessarily regular; the idea is that Q has a better understood structure than that of S. Necessary and sufficient conditions exist on a semigroup S for S to be a straight left order. The technique is to consider a pair of preorders on S. If such a pair satisfies conditions mimicking those satisfied by on a regular semigroup, and if certain subsemigroups of S are right reversible, then S is a straight left order. The conditions required for to satisfy are somewhat lengthy. In this paper we aim to circumvent some of these by specialising in two ways. First we consider only fully stratified left orders, that is, the case where (certainly the most natural choice for ) and the other is to insist that S be abundant, that is, every -class and every -class of S contains an idempotent. Our results may be used to show that the monoid of endomorphisms of a hereditary basis algebra of finite rank is a fully stratified straight left order. This revised version was published online in August 2006 with corrections to the Cover Date.     

The property (DN) and the exponential representation of holomorphic functions

It is shown that a nuclear Fréchet spaceE has the property (DN) if and only if every holomorphic function onE ^*, the strongly dual space ofE, with values in the strongly dual space of a Fréchet spaceF having the property ( ) can be represented in the exponential form. Moreover, it is shown that the space of holomorphic functions onC , the space of all complex number sequences, has a linearly absolutely exponential representation system. But the space of holomorphic functions onE ^* does not have such a system whenE is a nuclear Fréchet space that does not have the property (DN).Supported by the State Program for Fundamental Researches in Natural Sciences     

Fractal penrose tiles II: Tiles with fractal boundary as duals of penrose triangles

Summary Suppose given a quasi-periodic tiling of some Euclidean space E _u which is self-similar under the linear expansiong: E_μ→E_μ. It is known that there is an embedding of E_μ into some higher-dimensional space ℝ ^N and a linear automorphism with integer coefficients such that E _u ⊂ ℝ ^N is invariant under andg is the restriction of to E _u . Let E _s be the -invariant complement of E _u , and . If certain conditions are fulfilled (e.g. must be a lattice automorphism,g ^* is an expansion), we construct a self-similar tiling of E _s whose expansion isg ^*, using the information contained in the original tiling of E_μ. The term “Galois duality” of tilings is motivated by the fact that the eigenvalues ofg ^* are Galois conjugates of those ofg. Our method can be applied to find the Galois duals which are given by Thurston, obtained in a somewhat other way for the case that dim E_μ=1, andg is the multiplication by a cubic Pisot unit. Bandt and Gummelt have found fractally shaped tilings which can be considered as strictly self-similar modifications of the kites-and-darts, and the rhombi tilings of Penrose. As one of the examples, we show that these fractal versions can be constructed by dualizing tilings by Penrose triangles.     

Harmonic measure of curves in the disk

A powerful tool for studying the growth of analytic and harmonic functions is Hall's Lemma, which states that there is a constantC>0 so that the harmonic measure of a subsetE of the closed unit disk evaluated at 0 satisfies whereE _rad is the radial projection ofE onto . FitzGerald, Rodin and Warschawski proved that ifE is a continuum in whose radial projection has length at most π then (*) is true withC=1, and they asked how large the length, |E _rad|, can be in order for their result to be valid. We prove that (*) holds withC=1 for every continuum satisfying and θc cannot be replaced by a larger number. Fuchs asked for the largest constantC so that (*) holds for allE. We show that for every continuum , (*) holds withC=C _2π≅.977126698498665669…, whereC _2π is the harmonic measure of the two long sides of a 3∶1 rectangle evaluated at the center. There are Jordan curves for which equality holds in (*) withC=C _2π. The authors are supported in part by NSF grants DMS-9302823 and DMS-9401027, and while at MSRI by NSF grant DMS-9022140.     

On super vertex-graceful unicyclic graphs

A graph G with p vertices and q edges, vertex set V(G) and edge set E(G), is said to be super vertex-graceful (in short SVG), if there exists a function pair (f, f ⁺) where f is a bijection from V(G) onto P, f ⁺ is a bijection from E(G) onto Q, f ⁺((u, v)) = f(u) + f(v) for any (u, v) ∈ E(G),

Uniform approximations of Stieltjes functions by orthogonal projection on the set of rational functions

Let μ be a positive Borel measure having support supp μ ⊂ [1, ∞) and satisfying the conditionf(t−1)⁻¹dμ(t)<∞. In this paper we study the order of the uniform approximation of the function

Remainder estimates for the approximation numbers of weighted Hardy operators acting onL 2

We consider the weighted Hardy integral operatorT:L ²(a, b) →L ²(a, b), −∞≤a<b≤∞, defined by . In [EEH1] and [EEH2], under certain conditions onu andv, upper and lower estimates and asymptotic results were obtained for the approximation numbersa _n(T) ofT. In this paper, we show that under suitable conditions onu andv, where ∥w∥_p=(∫ _a ^b |w(t)|^p dt)^1/p. Research supported by NSERC, grant A4021. Research supported by grant No. 201/98/P017 of the Grant Agency of the Czech Republic.     

On total restrained domination in graphs

In this paper we initiate the study of total restrained domination in graphs. Let G = (V,E) be a graph. A total restrained dominating set is a set S V where every vertex in V - S is adjacent to a vertex in S as well as to another vertex in V - S, and every vertex in S is adjacent to another vertex in S. The total restrained domination number of G, denoted by _r ^t (G), is the smallest cardinality of a total restrained dominating set of G. First, some exact values and sharp bounds for _r ^t (G) are given in Section 2. Then the Nordhaus-Gaddum-type results for total restrained domination number are established in Section 3. Finally, we show that the decision problem for _r ^t (G) is NP-complete even for bipartite and chordal graphs in Section 4.This work was supported by National Natural Sciences Foundation of China (19871036).     

Maximum-cover source location problems with objective edge-connectivity three

Given a graph G = (V, E), a set of vertices covers a vertex if the edge-connectivity between S and v is at least a given number k. Vertices in S are called sources. The maximum-cover source location problem, which is a variation of the source location problem, is to find a source set S with a given size at most p, maximizing the sum of the weight of vertices covered by S. In this paper, we show a polynomial-time algorithm for this problem in the case of k = 3 for a given undirected graph with a vertex weight function and an edge capacity function. Moreover, we show that this problem is NP-hard even if vertex weights and edge capacities are both uniform for general k.     

A boundary Morera theorem

LetD ⊂C ^N ,N ≥ 2 be a bounded open set withC ² boundary and letL be an open connected set of affine complex hyperplanes inC ^N containing a hyperplane that misses . LetE = ∪_Λ∈LΛ, Γ =E ∩bD. Suppose thatf ∈C(Γ) and assume that

A general result on precise asymptotics for linear processes of positively associated sequences

Let {εt; t ∈ Z^＋} be a strictly stationary sequence of associated random variables with mean zeros, let 0〈Eε1^2〈∞ and σ^2=Eε1^2＋1∑j=2^∞ Eε1εj with 0〈σ^2〈∞.{aj;j∈Z^＋} is a sequence of real numbers satisfying ∑j=0^∞｜aj｜〈∞.Define a linear process Xt=∑j=0^∞ ajεt-j,t≥1,and Sn=∑t=1^n Xt,n≥1.Assume that E｜ε1｜^2＋δ′〈 for some δ′〉0 and μ（n）=O（n^-ρ） for some ρ〉0.This paper achieves a general law of precise asymptotics for {Sn}.