Fibers in Ore Extensions

Let R be a finitely generated commutative algebra over an algebraically closed field k and let A=R[t;,] be the Ore extension with respect to an automorphism and a -derivation . We view A as the coordinate ring of an affine noncommutative space X. The inclusion RA gives an affine map : XSpecR, and X is a noncommutative analogue of A ¹×SpecR. We define the fiber X _p of over a closed point pSpecR as a certain full subcategory ModX _p of ModA. The category ModX _p has the following structure. If p has infinite -orbit, then ModX _p is equivalent to the category of graded modules over the polynomial ring k[x] with degx=1. If p is not fixed by , but has finite -orbit, say of size n, then ModX _p is equivalent to the representations of the quiver à _n–1 with the arrows all going in the same direction. If p is fixed by , then ModX _p is equivalent to either Modk or Modk[x]. It is also shown that X is the disjoint union of the fibers X _p in a certain sense.     

Generalized One-Sided Laws for the Larger Observations of a Triangular Array

Consider independent and identically distributed random variables {X,X _nj , 1jn,n1} with density f(x)=px ^–p–1 I(x1), where p>0. We show that there exist unusual generalized Laws of the Iterated Logarithm involving the larger order statistics from our array.     

Stochastically monotone Markov Chains

Summary A real-valued discrete time Markov Chain {X _n} is defined to be stochastically monotone when its one-step transition probability function pr {X _n+1y¦ X _n=x} is non-increasing in x for every fixed y. This class of Markov Chains arises in a natural way when it is sought to bound (stochastically speaking) the process {X _n} by means of a smaller or larger process with the same transition probabilities; the class includes many simple models of applied probability theory. Further, a given stochastically monotone Markov Chain can readily be bounded by another chain {Y _n}, with possibly different transition probabilities and not necessarily stochastically monotone, and this is of particular value when the latter process leads to simpler algebraic manipulations. A stationary stochastically monotone Markov Chain {X _n} has cov(f(X ₀), f(X _n)) cov(f(X ₀), f(X _n+1))0 (n =1, 2,...) for any monotonic function f(·). The paper also investigates the definition of stochastic monotonicity on a more general state space, and the properties of integer-valued stochastically monotone Markov Chains.     

On the existence of wave operators for the Klein-Gordon equation

The problem of existence of wave operators for the Klein-Gordon equation ( _t ² –+²+iV_1t+V₂)u(x,t)=0 (x R ⁿ,t R, n3, >0) is studied where V₁ and V₂ are symmetric operators in L₂(R ⁿ) and it is shown that conditions similar to those of Veseli-Weidmann (Journal Functional Analysis 17, 61–77 (1974)) for a different class of operators are also sufficient for the Klein-Gordon equation.     

Extremes of a Gaussian Process and the Constant H α

Consider a triangular array of standard Gaussian random variables {_n,i, i 0, n 1} such that {_n,i, i 0} is a stationary normal sequence for each n 1. Let _n,k = corr(_n,i,_n,i+k). If (1-_n,k)log n _k (0,) as n for some k, then the locations where the extreme values occur cluster and the limiting distribution of the maxima is still the Gumbel distribution as in the stationary or i.i.d. case, but shifted by a parameter measuring the clustering. Triangular arrays of Gaussian sequences are used to approximate a continuous Gaussian process X(t), t 0. The cluster behavior of the random sequence refers to the behavior of the extremes values of the continuous process. The relation is analyzed. It reveals a new definition of the constants H used for the limiting distribution of maxima of continuous Gaussian processes and provides further understanding of the limit result for these extremes.     

Efficient Regular Polygon Dissections

We study the minimum number g(m,n) (respectively, p(m,n)) of pieces needed to dissect a regular m-gon into a regular n-gon of the same area using glass-cuts (respectively, polygonal cuts). First we study regular polygon-square dissections and show that n/2 -2 g(4,n) (n/2) + o(n) and n/4 g(n,4) (n/2) + o(n) hold for sufficiently large n. We also consider polygonal cuts, i.e., the minimum number p(4,n) of pieces needed to dissect a square into a regular n-gon of the same area using polygonal cuts and show that n/4 p(4,n) (n/2) + o(n) holds for sufficiently large n. We also consider regular polygon-polygon dissections and obtain similar bounds for g(m,n) and p(m,n).     

Characterization theorem of generalized polynomial of best approximation having bounded coefficients

Let the set of generalized polynomials having bounded coefficients beK={p= _jg_j. _{j j j},j=1, 2, ...,n}, whereg ₁,g ₂, ...,g _n are linearly independent continuous functions defined on the interval [a, b], _j, _j are extended real numbers satisfying _j<+, _j>-, and _{j j}. Assume thatf is a continuous function defined on a compact setX [a, b]. This paper gives the characterization theorem forp being the best uniform approximation tof fromK, and points out that the characterization theorem can be applied in calculating the approximate solution of best approximation tof fromK.     

Convergence of epigraphs and of sublevel sets

Let LSC(X) be the set of the proper lower semicontinuous extended real-valued functions defined on a metric spaceX. Given a sequence f _n in LSC(X) and a functionf LSC(X), we show that convergence of f _n tof in several variational convergence modes implies that for each , the sublevel set at height off is the limit, in the same variational sense, of an appropriately chosen sequence of sublevel sets of thef _n, at height _n approaching . The converse holds true whenever a form of stability of the sublevel sets of the limit function is verified. The results are obtained by regarding a hyperspace topology as the weakest topology for which each member of an appropriate family of excess functionals is upper semicontinuous, and each member of an appropriate family of gap functionals is lower semicontinuous. General facts about the representation of hyperspace topologies in this manner are given.     

Covering a Finite Abelian Group by Subset Sums

Let G be an abelian group of order n. The critical number c(G) of G is the smallest s such that the subset sums set (S) covers all G for eachs ubset SG\{0} of cardinality |S|s. It has been recently proved that, if p is the smallest prime dividing n and n/p is composite, then c(G)=|G|/p+p–2, thus establishing a conjecture of Diderrich.We characterize the critical sets with |S|=|G|/p+p–3 and (S)=G, where p3 is the smallest prime dividing n, n/p is composite and n7p²+3p.We also extend a result of Diderrichan d Mann by proving that, for n67, |S|n/3+2 and S=G imply (S)=G. Sets of cardinality for which (S) =G are also characterized when n183, the smallest prime p dividing n is odd and n/p is composite. Finally we obtain a necessary and sufficient condition for the equality (G)=G to hold when |S|n/(p+2)+p, where p5, n/p is composite and n15p².* Work partially supported by the Spanish Research Council under grant TIC2000-1017 Work partially supported by the Catalan Research Council under grant 2000SGR00079     

Dominated, diagonal polynomials on ℓ p spaces

We show that the r-dominated polynomials on _p(2 p ) are integral on ₁, and give examples proving that the converse is not true. We characterize when the 2-homogeneous, diagonal polynomials on _p(1 < p ) are r-dominated. We prove that, unlike the linear case, there are nuclear polynomials which are not 1-dominated.Received: 6 June 2004; revised: 28 September 2004     

Drachennetze mit geradlinigen Hauptdiagonalen

A C^s-net of curves N (s1) [3] in a regular C^s-2-surface Eⁿ (n2) is called a C^s-kite- net [4] if N and the net N₁ of its angular bisecting curves form a pair of diagonal nets [1] in such a way that each mesh of N-curves possessing two N₁-diagonals shows, with respect to one of these (calledmain diagonal), the same symmetry of angles and lengths as a rectilinear kite in E². Referring to the fact that the main diagonals of any C^s-kite-net N (s2) are geodesics in [5], we ask in this paper for all C^s-kite-nets and, more generally, C^s-D-nets [5] (s1) withstraight main diagonals. This leads, among other results, to a characterization of the skew ruled surfaces in Eⁿ (n3) with constant parameter of distribution and the constant striction /2.

---

---

Herrn Professor Dr. WERNER BURAU zum 70. Geburtstag gewidmet     

Weak Laws with Random Indices for Arrays of Random Elements in Rademacher Type p Banach Spaces

For a sequence of constants {a _n,n1}, an array of rowwise independent and stochastically dominated random elements { V _nj, j1, n1} in a real separable Rademacher type p (1p2) Banach space, and a sequence of positive integer-valued random variables {T _n, n1}, a general weak law of large numbers of the form is established where {c _nj, j1, n1}, _n , b _n are suitable sequences. Some related results are also presented. No assumption is made concerning the existence of expected values or absolute moments of the {V _nj, j1, n1}. Illustrative examples include one wherein the strong law of large numbers fails.     

Relationship between the Hadamard Theorem on Three Disks and Certain Problems of Polynomial Approximation of Analytic Functions

By using the classical Hadamard theorem, we obtain an exact (in a certain sense) inequality for the best polynomial approximations of an analytic function f(z) from the Hardy space H _p, p 1, in disks of radii , ₁, and ₂, 0 < ₁ < < ₂ < 1.     

There Exists a Simple Non Trivial t-design with an Arbitrarily Large Automorphism Group for Every t

In 1987, Teirlinckproved that if t and are two integers such that v t(mod(t + 1)!^(2t+1) and v t + 1 >0, then there exists a t - (v, t + 1, (t + 1)!^(2t+1)) design. We prove that if there exists a (t+1)-(v,k,)design and a t-(v-1,k-2, (k-t-1)/(v-k+1))design with t 2, then there exists a t-(v+1,k, (v-t+1)(v-t)/ (v-k+1)(k-t))design. Using this recursive construction, we prove that forany pair (t,n) of integers (t 2and n 0), there exists a simple non trivial t-(v,k,) design having an automorphism groupisomorphic to ⁿ ₂.     

On measures that agree on balls

The fundamental result: if and v are two finite Borel measures, defined in the spaceL ^p[0, 1] (1p<) or in C(K) (K is a metric compactum without isolated points), then from the equalities (B)=v(B) for all balls B of radius 1 there follows that =v. In addition, in the spaces C(K) and _p (1p<) from the inequalities (B) v(B) there follows that v.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 177, pp. 122–128, 1989.     

On the Boundedness of a Recurrence Sequence in a Banach Space

We investigate the problem of the boundedness of the following recurrence sequence in a Banach space B: where |y _n} and | _n } are sequences bounded in B, and A _k, k 1, are linear bounded operators. We prove that if, for any > 0, the condition is satisfied, then the sequence |x _n} is bounded for arbitrary bounded sequences |y _n} and | _n } if and only if the operator has the continuous inverse for every z C, |z| 1.     

A New Relaxation Space for Obstacles

The space of obstacles (i.e. p-quasi upper semicontinuous functions) is endowed with a distance which is topologically equivalent to the -convergence. We find the metric completion of this space and we give some application for minimization problems of cost functionals depending on obstacles via their level sets. An element of the completion is a decreasing and _p -continuous on the left mapping Rt _t , where _t are positive Borel measures vanishing on sets of zero p-capacity.     

Ein Kontinuitätssatz für k-holomorphe Mengen

Let k denote a non-trivial non-archimedean complete valuated field and X an irreducible k-affinoid space. We discuss the Hartog's domain H^*:=(X×Eⁿ) (U×Eⁿ) where øUX is an affinoid subdomain, Eⁿ is the n-dimensional unit-polydisc over k and Eⁿ is the ringdomain of all z==(z₁,...,z_n)Eⁿ with some coordinate |z_i|=1. The main result is the non-archimedean version of Rothstein's extensiontheorem for analytic subvarieties: Every k-holomorphic subvariety AH^* whose every branch has dimension (dim X + 1) can be extended to a k-holomorphic subvariety X×Eⁿ such that every branch of has dimension (dim X + l).     

Asymptotic behavior of the dwell time distribution for a random walk on a positive semi-axis

Let ₁, ₂, ... be a sequence of independent identically distributed random variables with zero means. We consider the functional _n = _k=o ⁿ (S _k ) where S₁=0, S_k= _i=1 ^k _i (k1) and(x)=1 for x0,(x) = 0 for x<0. It is readily seen that _n is the time spent by the random walk S_n, n0, on the positive semi-axis after n steps. For the simplest walk the asymptotics of the distribution P (_n = k) for n and k, as well as for k = O(n) and k/n<1, was studied in [1]. In this paper we obtain the asymptotic expansions in powers of n^–1 of the probabilities P(h_n = nx) and P(nx_{1 n} nx₂) for 0<₁, x = k/n ₂<1, 0<₁x₁2₂<1.Translated from Matematicheskie Zametki, Vol. 15, No. 4, pp. 613–620, April, 1974.The author wishes to thank B. A. Rogozin for valuable discussions in the course of his work.     

Imbedding of pseudo-Riemannian manifolds in a pseudo-euclidean space

It is proved that every pseudo-Riemannian manifold M _{(p, q)} ⁿ with the C^k metric (3k) has an isometric C^k imbedding in the large in E _{(p, q)} ^{n(n+1)(3n+11)/2} , p(n+1)², q(n+1)².Translated from Matematicheskie Zametki, Vol. 9, No. 2, pp. 193–198, February, 1971.