On the Green Function for a Complement of a Finite Number of Real Intervals

We give a new proof (and a generalization) of recent remarkable result by V. Totik concerning the smoothness properties of the equilibrium measure for compact subsets of the real line and the Green function for complement of these subsets taken with respect to the complex plane.     

On Fraenkel’s <Emphasis Type="Italic">N</Emphasis>-Heap Wythoff’s Conjectures

The N-heap Wythoffs game is a two-player impartial game with N piles of tokens of sizes Players take turns removing any number of tokens from a single pile, or removing (a₁,..., a_N) from all piles - a_i tokens from the i-th pile, providing that where is the nim addition. The first player that cannot make a move loses. Denote all the P-positions (i.e., losing positions) by Two conjectures were proposed on the game by Fraenkel [7]. When are fixed, i) there exists an integer N₁ such that when . ii) there exist integers N₂ and _2 such that when , the golden section.In this paper, we provide a sufficient condition for the conjectures to hold, and subsequently prove them for the three-heap Wythoffs game with the first piles having up to 10 tokens.AMS Subject Classification: 91A46, 68R05.     

Stabilization and H{infty} control of two-dimensional Markovian jump systems

This paper extends the results obtained for one-dimensionalMarkovian jump systems, to investigate the problems of stochasticstabilization and H control of two-dimensional (2D) systemswith Markovian jump parameters. The mathematical model of 2Djump systems is established upon the well-known Roesser model,and sufficient conditions are obtained for the existence ofdesired controllers in terms of linear matrix inequalities,which can be readily solved by available numerical software.These obtained results are further extended to more generalcases whose system matrices also contain parameter uncertaintiesrepresented by either polytopic or norm-bounded approaches.A numerical example is provided to show the applicability ofthe proposed theories.     

Two-Parametric Compound Binomial Approximations

We consider two-parametric compound binomial approximation of the generalized Poisson binomial distribution. We show that the accuracy of approximation essentially depends on the symmetry or shifting of distributions and construct asymptotic expansions. For the proofs, we combine the properties of norms with the results for convolutions of symmetric and shifted distributions. In the lattice case, we use the characteristic function method. In the case of almost binomial approximation, we apply Steins method.__________Published in Lietuvos Matematikos Rinkinys, Vol. 44, No. 4, pp. 443–466, October–December, 2004.     

Arithmetic Progressions,Prime Numbers,and Squarefree Integers

In this paper we establish the distribution of prime numbers in a given arithmetic progression p l for which ap + b is squarefree.     

⊕-Cofinitely Supplemented Modules

Let R be a ring and M a right R-module. M is called -cofinitely supplemented if every submodule N of M with M/N finitely generated has a supplement that is a direct summand of M. In this paper various properties of the -cofinitely supplemented modules are given. It is shown that (1) Arbitrary direct sum of -cofinitely supplemented modules is -cofinitely supplemented. (2) A ring R is semiperfect if and only if every free R-module is -cofinitely supplemented. In addition, if M has the summand sum property, then M is -cofinitely supplemented iff every maximal submodule has a supplement that is a direct summand of M.     

On the quantifier complexity of Δ<Subscript> n+1</Subscript> (T)– induction

In this paper we continue the study of the theories I _n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that I _n+1 (T) is _n+2 –axiomatizable. In particular, I _n+1 (I _n+1 ) gives an axiomatization of Th _n+2 (I _n+1 ) and is not finitely axiomatizable. This fact relates the fragment I _n+1 (I _n+1 ) to induction rule for _n+1 –formulas. Our arguments, involving a construction due to R. Kaye (see [9]), provide proofs of Parsons conservativeness theorem (see [16]) and (a weak version) of a result of L.D. Beklemishev on unnested applications of induction rules for _n+2 and _n+1 formulas (see [2]).Research partially supported by grant PB96–1345 (Spanish Goverment)Mathematics Subject Classification (2000): 03F30, 03H15     

Almost flat locally finite coverings of the sphere

For any subset A of the unit sphere of a Banach space X and for [0,2) the notion of -flatness is introduced as a measure of non-flatness of A. For any positive , construction of locally finite tilings of the unit sphere by -flat sets is carried out under suitable -renormings of X in a quite general context; moreover, a characterization of spaces having separable dual is provided in terms of the existence of such tilings. Finally, relationships between the possibility of getting such tilings of the unit sphere in the given norm and smoothness properties of the norm are discussed.