The birth and death processes with zero as their absorbing barrier

LetE=(0, 1,...), Q ^b=(q_ij), i, j=0, 1, ..., whereq _{i, i–1}=a_i, q_{i, i+1}=b_i, q_ii=–(a_i+b_i), q_ij=0, when|i–j|>1. a ₀=0, b₀=b>0, a_i, b_i>0 (i>0). Lettingb=0 inQ ^b, we get the matrixQ ⁰.The time homogeneous Markov processX ^b ={x ^b (t,w), 0t< ^b (w)} (X ⁰={x⁰(t,w), 0t<⁰(w)}), withQ ^b (Q ⁰, respectively) as its density matrix and withE as its state space, is calledQ ^b (Q ⁰, respectively) process in this paper.Q ^b andQ ⁰ processes are all called the birth and death processes, with zero being the reflecting barrier ofQ ^b processes, the absorbing barrier ofQ ⁰ processes.AllQ ^b processes have been constructed by both probability and analytical methods (Wang [2], Yang [1]). In this paper, theQ ⁰ processes are imbedded intoQ ^b processes and all theQ ⁰ processes are directly constructed from theQ ^b processes. The main results are:Letb>0 be arbitrarily fixed, then there is a one to one correspondence between theQ ⁰ processes and theQ ^b processes (in the sense of transition probability).TheQ ⁰ process is unique iffR ^*=. SupposingR<, then:IfX ⁰={x⁰(t,w), 0t<⁰(w)} is a non-minimalQ ⁰ process, then its eigensequence (p, q, r _n, n–1) satisfies § 4(7).Conversely, let a non-negative number sequence (p, q, r _n, n–1) satisfying § 4(7) be arbitrarily given, then there exists a unique non-minimalQ ⁰ processX ⁰ with eigensequence (p, q, r _n, n–1). The Laplace transform of the transition probability (p _ij ⁰ (t)) ofX ⁰ is determined by § 4(15). X ⁰ is honest iffr _–1=0.X ⁰ satisfies the forward equation iffp=0.     

Strong characterizing sequences for subgroups of compact groups

In [A. Biró, V.T. Sós, Strong characterizing sequences in simultaneous Diophantine approximation, J. Number Theory 99 (2003) 405–414] we proved that if Γ is a subgroup of the torus R/Z generated by finitely many independent irrationals, then there is an infinite subset AZ which characterizes Γ in the sense that for γR/Z we have ∑_aAaγ<∞ if and only if γΓ. Here we consider a general compact metrizable Abelian group G instead of R/Z, and we characterize its finitely generated free subgroups Γ by subsets AG^*, where G^* is the Pontriagin dual of G. For this case we prove stronger forms of the analogue of the theorem of the above mentioned work, and we find necessary and sufficient conditions for a kind of strengthening of this statement to be true.     

Uniform estimates for polynomial approximation in domains with corners

Let be a domain with a Jordan boundary ∂G, consisting of l smooth curves Γ_j, such that {z_j}Γ_j-1∩Γ_j≠, j=1,…,l, where Γ₀Γ_l. Denote by α_jπ, 0<α_j2, the angles at z_j's between the curves Γ_j-1 and Γ_j, exterior with respect to G. Let Φ be a conformal mapping of the exterior of onto the exterior of the unit disk, normed by Φ^′(∞)>0. We assume that there is a neighborhood U of , such that , where

z≠z_j if α_j1. Set g_Gsup{|g(z)|:zG}. Then we prove Theorem. Let and 0βr. If a function f is analytic in G and f^(r)β_G<+∞, then for each nlr there is an algebraic polynomial P_n of degree <n, such that

     

Abelian subalgebras of von Neumann algebras from flat tori in locally symmetric spaces

Consider a compact locally symmetric space M of rank r, with fundamental group Γ. The von Neumann algebra VN(Γ) is the convolution algebra of functions fℓ₂(Γ) which act by left convolution on ℓ₂(Γ). Let T^r be a totally geodesic flat torus of dimension r in M and let be the image of the fundamental group of T^r in Γ. Then VN(Γ₀) is a maximal abelian -subalgebra of VN(Γ) and its unitary normalizer is as small as possible. If M has constant negative curvature then the Pukánszky invariant of VN(Γ₀) is ∞.     

Pairwise intersections and forbidden configurations

Let f_m(a,b,c,d) denote the maximum size of a family of subsets of an m-element set for which there is no pair of subsets with

By symmetry we can assume a≥d and b≥c. We show that f_m(a,b,c,d) is Θ(m^a+b−1) if either b>c or a,b≥1. We also show that f_m(0,b,b,0) is Θ(m^b) and f_m(a,0,0,d) is Θ(m^a). The asymptotic results are as m→∞ for fixed non-negative integers a,b,c,d. This can be viewed as a result concerning forbidden configurations and is further evidence for a conjecture of Anstee and Sali. Our key tool is a strong stability version of the Complete Intersection Theorem of Ahlswede and Khachatrian, which is of independent interest.     

Irrfahrten aufF 2

LetF ₂ be the free group with two generatorsa, b andP be a probability measure onF ₂ with support {a, a ^–1,b, b ^–1}. The asymptotic behavior forn of the convolution powersP ⁿ (e) at the identitye is found.

---

---

Herrn Prof. Dr. E. Hlawka zum 60. Geburtstag gewidmet     

Deformation of Minimal Polynomials and Approximation of Several Intervals by an Inverse Polynomial Mapping

In this paper we show that for a given set of l real disjoint intervals E_l=^l_j=1 [a_2j−1, a_2j] and given >0 there exists a real polynomial and a set of l disjoint intervals E_l=^l_j=1 [ã_2j−1, ã_2j] with E_lE_l and (ã₁, …, ã_2l)−(a₁, …, a_2l)_max<, such that ⁻¹([−1, 1])=E_l. The statement follows by showing how to get in a constructive way by a continuous deformation procedure from a minimal polynomial on E_l with respect to the maximum norm a polynomial mapping of E_l.     

Regularity of smooth curves in biprojective spaces

Maclagan and Smith [D. Maclagan, G.G. Smith, Multigraded Castelnuovo–Mumford regularity, J. Reine Angew. Math. 571 (2004) 179–212] developed a multigraded version of Castelnuovo–Mumford regularity. Based on their definition we will prove in this paper that for a smooth curve (a,b2) of bidegree (d₁,d₂) with nondegenerate birational projections the ideal sheaf is (d₂−b+1,d₁−a+1)-regular. We also give an example showing that in some cases this bound is the best possible.     

Rigidity of commutators and elementary operators on Calkin algebras

LetA=(A ₁,...,A _n ),B=(B ₁,...,B _n )εL(ℓ ^p ) ⁿ be arbitraryn-tuples of bounded linear operators on (ℓ ^p ), with 1<p<∞. The paper establishes strong rigidity properties of the corresponding elementary operators ε _a,b on the Calkin algebraC(ℓ ^p )≡L(ℓ ^p )/K(ℓ ^p ); , where quotient elements are denoted bys=S+K(ℓ ^p ) forSεL(ℓ ^p ). It is shown among other results that the kernel Ker(ε _a,b ) is a non-separable subspace ofC(ℓ ^p ) whenever ε _a,b fails to be one-one, while the quotient is non-separable whenever ε _a,b fails to be onto. These results extend earlier ones in several directions: neither of the subsets {A ₁,...,A _n }, {B ₁,...,B _n } needs to consist of commuting operators, and the results apply to other spaces apart from Hilbert spaces. Supported by the Academy of Finland, Project 32837.     

A remark on the intersection arrays of distance regular graphs and the distance regular graphs of diameter d = 3i − 1 with b i = 1 and k > 2

Let be a distance regular graph with intersection array b ₀, b ₁,..., b _d–1; c ₁,..., c _d. It is shown that in some cases (c _i–1, a _i–1, b _i–1) = (c ₁, a ₁, b ₁)and (c _2i–1, a _2i–1, b _2i–1) imply k 2b _i + 1. As a corollary all distance regular graphs of diameter d = 3i – 1 with b _i = 1 and k > 2 are determined.     

Number of points on certain hyperelliptic curves defined over finite fields

For odd primes p and l such that the order of p modulo l is even, we determine explicitly the Jacobsthal sums _l(v), ψ_l(v), and ψ_2l(v), and the Jacobsthal–Whiteman sums and , over finite fields F_q such that . These results are obtained only in terms of q and l. We apply these results pertaining to the Jacobsthal sums, to determine, for each integer n1, the exact number of F_qⁿ-rational points on the projective hyperelliptic curves aY²Z^e−2=bX^e+cZ^e (abc≠0) (for e=l,2l), and aY²Z^l−1=X(bX^l+cZ^l) (abc≠0), defined over such finite fields F_q. As a consequence, we obtain the exact form of the ζ-functions for these three classes of curves defined over F_q, as rational functions in the variable t, for all distinct cases that arise for the coefficients a,b,c. Further, we determine the exact cases for the coefficients a,b,c, for each class of curves, for which the corresponding non-singular models are maximal (or minimal) over F_q.     

Distance-regular subgraphs in a distance-regular graph, II

Let Γ be a distance-regular graph with r = l(1, a₁, b₁), a₁ > 0 and c_2r+1 = 1. We show the existence of a collinearity graph of a Moore geometry of diameter r + 1 as a subgraph in Γ. In particular, we show that r = 1.     

Uniqueness of solutions of boundary-value problems for operator-differential equations on a finite segment and on a semiaxis

For the equationL ₀ x(t)+L ₁x(t)+...+L _n x ⁽ⁿ⁾(t)=O, whereL _k,k=0,1,...,n, are operators acting in a Banach space, we establish criteria for an arbitrary solutionx(t) to be zero provided that the following conditions are satisfied:x ^(1–1) (a)=0, 1=1, ..., p, andx ^(1–1) (b)=0, 1=1,...,q, for - <a< b< (the case of a finite segment) orx ^(1–1) (a)=0, 1=1,...,p, under the assumption that a solutionx(t) is summable on the semiaxista with its firstn derivatives.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 3, pp. 279–292, March, 1994.This research was supported by the Ukrainian State Committee on Science and Technology.     

Infinite p-groups containing exactly p2 solutions of the equation xP=1

We study arbitrary infinite 2-groups with three involutions and infinite locally finite p-groups (p2), containing p²–1 elements of order p. For odd p the groupG=a, where A is a direct product of two quasicyclic 3-groups ¦b¦=9, b³A, and subgroup A is generated by the elements of the commutator ladder of element b, is a unique infinite non-Abelian locally finite p-group whose equation xP=1 has p² solutions.Translated from Matematicheskie Zametki, Vol. 20, No. 1, pp. 11–18, July, 1976.     

On computing the dispersion function

A two-dimensional analogue of the well-known bisection method for root finding is presented in order to solve the following problem, related to the dispersion function of a set of random variables: given distribution functionsF ₁,...,F _n and a probabilityp, find an interval [a,b] of minimum width such thatF _i(b)–F _i(a ^–)p, fori=1,...,n.The author wishes to thank Dr. I. D. Coope, for helpful advice offered during the preparation of this paper, and the referee, whose comments contributed to a clearer presentation.     

On Chebyshev–Markov Rational Functions over Several Intervals

Chebyshev–Markov rational functions are the solutions of the following extremal problem

Full-size image

withKbeing a compact subset of andω_n(x) being a fixed real polynomial of degree less thann, positive onK. A parametric representation of Chebyshev–Markov rational functions is found forK=[b₁, b₂]…[b_2p−1, b_2p], −∞<b₁b₂<…<b_2p−1b_2p<+∞ in terms of Schottky–Burnside automorphic functions.     

Roots under convolution of sequences

The convolution a * b of the sequences a = a₀, a₁, a₂, and b is the sequence with elements ∑₀ⁿ a_kb_{n − k}. One sets 1, 1, 1, equal to σ. Given that a * a with a ≥ 0 is close to σ * σ, how close is a to σ? More generally, one asks how close a is to σ if the p-th convolution power, a*P with a ≥ 0, is close to σ*P. Power series and complex analysis form a natural tool to estimate the ‘summed deviation’ ρ = σ * (a — σ) in terms of b = a * a — σ * σ or b = a*P − σ*P. Optimal estimates are found under the condition ∑_k=0ⁿ b_k² = %plane1D;512;(n^{2β + 1}) whenever −½ < β < p − 1. It is not known what the optimal estimates are for the special case b_n = %plane1D;512;(n^β).     

Stein-type improvements of confidence intervals for the generalized variance

Based on independent random matices X: p×m and S: p×p distributed, respectively, as N _pm (, I _m ) and W _p (n, ) with unknown and np, the problem of obtaining confidence interval for || is considered. Stein's idea of improving the best affine equivariant point estimator of || has been adapted to the interval estimation problem. It is shown that an interval estimator of the form |S|(b ^–1, a ^–1) can be improved by min{|S|, c|S +XX'|}(b ^–1, a ^–1) for a certain constant c depending on (a, b).     

The free \mathfrak{m} -lattice on the poset H

Let H={a ₀, a ₁, a ₂, b ₀, b ₁, b ₂} be the poset defined by a ₀<a ₂<a ₁, b ₀<b ₂<b ₁, a ₀<b ₁, and b ₀<a ₁. For an infinite regular cardinal , we describe the free -lattice on H. This continues the work of I. Rival and R. Wille who accomplished the same for =. In subsequent papers, we show how to apply this result to describe the free -lattice on a poset for a large class of posets, called slender posets.     

On Rado numbers for

For all integers m3 and all natural numbers a₁,a₂,…,a_m−1, let n=R(a₁,a₂,…,a_m−1) represent the least integer such that for every 2-coloring of the set {1,2,…,n} there exists a monochromatic solution to

a₁x₁+a₂x₂++a_m−1x_m−1=x_m.