Der Beweis eines Satzes von G. Choodnovsky

1. If is a weakly compact cardinal then ( ⁺)( ). 2. If is measurable andU a normal ultrafilter then ( ⁺)(U ).

---

---

Diese Arbeit ist ein Teil der Dissertation des Autors. Teilweise gefördert von der DFG.     

Note on initial topologies on rational vector spaces induced by realvalued linear mappings

LetG be a vector space over the field of rational numbers andf, g:G -linear mappings. equipped with the usual norm topology. Denote by _f , _g the initial topologies onG induced byf respectivelyg.Then the following result holds: If there is a nonvoid open setU whose complement contains at least one inner point such thatf ^–1 U _g , then there is ac withf=cg. In particular, iff0, the topologies coincide.Furthermore, a -linear mappingh: (G, _f )(G, _g ) is continuous if and only if there is a real constantc withg ^o h=cf.Dedicated to Professor János Aczél on his 60th birthday     

Π r P1-bundle from which a surjective morphism to Π m P1 exists

Let : X Y be a morphism of smooth projective varieties over an algebraically closed field k of characteristic not equal to 2 whose closed fibres are all isomorphic to ^r P¹ and let ': X ^r P¹ be a surjective morphism. This article gives a sufficient condition concerning ' and Y under which X is isomorphic to Y× ^r P¹.     

A note on left-recursive rules and the partitioning of a recognition matrix for syntax-directed translation

Given a context-free grammarG with a cycle of productionsA ₁ A _{2 1},A ₂ A _{3 2}, ...,A _m A _{1 m}, it is shown that there is a grammarG ₁ in which the only left-recursive rules are of the formA ₁ A ₁ , andL(G ₁)=L(G). Using this normalization it is then shown that a Boolean matrix used in the analysis phase of some syntax-directed translation schemes may be partitioned into rectangular and upper-triangular submatrices.     

Rates of convergence and optimal spectral bandwidth for long range dependence

Summary For a realization of lengthn from a covariance stationary discrete time process with spectral density which behaves like ^1–2H as 0+ for 1/2<H<1 (apart from a slowly varying factor which may be of unknown form), we consider a discrete average of the periodogram across the frequencies 2j/n,j=1,..., m, wherem andm/n0 asn. We study the rate of convergence of an analogue of the mean squared error of smooth spectral density estimates, and deduce an optimal choice ofm.     

On the Cohomology Sequence in a Semiabelian Category

In a semiabelian category, a strictly exact sequence 0ABC0 of cochain complexes gives rise to the cohomology sequence ...H ⁿ(A) H ⁿ(B) H ⁿ(C) H ⁿ⁺¹ (A) .... We study conditions for exactness of the homology sequence at a given term.     

A Result on Localization of Equilibria

In this paper, we deal with a general equilibrium problem where a bimap F: A×B X×Y2 ^Z is involved. This problem contains the scalar equilibrium problem as a very special case. The general equilibrium is considered via the properties of the map G: B2 ^A naturally associated to the problem. The main result shows that, to have solutions on every convex subsets B ₁ of B, localized via a map T: B2 ^A , a necessary and sufficient condition is the KKM property of the map G with respect to T. The assumptions require that T satisfies a regularity condition with respect to G, and it is proved that this condition is quite sharp, providing a suitable counterexample.     

Theorems on Lower Semicontinuity and Relaxation for Integrands with Fast Growth

We prove theorems on the lower semicontinuity and integral representations of the lower semicontinuous envelopes of integral functionals with integrands L of fast growth: c ₁ G(|Du|) + c ₂ L c ₃ G(|Du|) + c ₄ with c ₃ c ₁ > 0 and G : [0, [ [0, [ is an increasing convex function such that vG (v)/G(v) as v and is increasing for large v. Repeating the results for the case of the standard growth (G() = ||^p) the quasiconvexity of integrands characterizes the lower semicontinuity of integral functionals and their quasiconvexifications yield the integral functionals that are lower semicontinuous envelopes.Original Russian Text Copyright © 2005 Sychev M. A.The author was supported by the Russian Foundation for Basic Research (Grant 03-01-00162).__________Translated from Sibirskii Matematicheskii Zhurnal, Vol. 46, No. 3, pp. 679–697, May–June, 2005.     

Convolution tails,product tails and domains of attraction

Summary A distribution function is said to have an exponential tail F(t) = F(t, ) if e ^u F(t+u) is asymptotically equivalent to F(t), t, t, for all u. In this case F(lnt) is regularly varying. For two such distributions, F and G, the convolution H=F*G also has an exponential tail. We investigate the relationship between H and its components F and G, providing conditions for lim H/F to exist. In addition, we are able to describe the asymptotic nature of H when the limit is infinite, for many cases. This corresponds to determining both the domain of attraction and the norming constants for the product of independent variables whose distributions have regularly varying tails.In addition, we compare the tails of H=F*G with H ₁=F ₁*G ₁when F is asymptotically equivalent to F and G is equivalent to G ₁. Such a comparison corresponds to the balancing consideration for the product of independent variables in stable domains of attraction. We discover that there are several distinct comparisons possible.     

Spectral properties of Neumann Laplacian of horns

We study the Neumann Laplacian of unbounded regions in ⁿ with cusps at infinity so that the corresponding Dirichlet Laplacian has compact resolvent. Typical of our results is that of the region {(x, y)²x, y|<1} the Neumann Laplacian has absolutely continuous spectrum [0, ) of uniform multiplicity four and an infinity of eigenvaluesE _o<E ₁... and that for the region {(x, y)²y|1}, it has absolutely continuous spectrum [1/4, ) of uniform multiplicity 2 and an infinity of eigenvaluesE ₀=0<E ₁.... We use the Enss theory with a suitable asymptotic dynamics.The second author's research is partially funded under NSF grand number DMS-8801918     

A generalization of Brauer''s map of decomposition

We first reformulate Quillen's localization theorem forG-theory in complicial bi-Waldhausen category setting. Secondly, because of this reformulation, we are able to generalize Brauer's decomposition mapd ₀:G ₀(KG)G ₀(kG) to higherG-theory leveld _n :G _n (KG)G _n (kG),n=0, 1 ..., whereG is a finite group,R a Dedekind domain,m a maximal ideal ofR,K=quotient field ofR andk=R/m.     

A generalized conjugate gradient algorithm for minimization

Summary A generalized conjugate gradient algorithm which is invariant to a nonlinear scaling of a strictly convex quadratic function is described, which terminates after at mostn steps when applied to scaled quadratic functionsf: R _n R₁ of the formf(x)=h(F(x)) withF(x) strictly convex quadratic andhC ¹ (R₁) an arbitrary strictly monotone functionh. The algorithm does not suppose the knowledge ofh orF but only off(x) and its gradientg(x).     

Random polytopes in thed-dimensional cube

LetC ^d be the set of vertices of ad-dimensional cube,C ^d ={(x ₁, ...,x _d ):x _i =±1}. Let us choose a randomn-element subsetA(n) ofC ^d . Here we prove that Prob (the origin belongs to the convA(2d+x2d))=(x)+o(1) ifx is fixed andd . That is, for an arbitrary>0 the convex hull of more than (2+)d vertices almost always contains 0 while the convex hull of less than (2-)d points almost always avoids it.     

Differentiable structures on symplectic reductions

LetG be a complex reductive Lie group with maximal compact subgroupK andG×X X a holomorphic action on a Stein manifoldX. LetR _o andR ₁ be two Kempf-Ness sets arising from moment maps induced by strictly plurisubharmonic,K-invariant, proper functions. Then there is a globalK-equivariant diffeomorphism :XX with (R ₀)=R ₁. In particular, the induced differentiable structures on the categorical quotientX G are diffeomorphic. The proof is based on a variant of Moser's method using time-dependent vector fields. An example shows that the differentiable structures can indeed be different, even though they are isomorphic.     

Lower functions for asymmetric Lévy processes

Summary Let {X _t } be a ¹ process with stationary independent increments and its Lévy measurev be given byv{yy>x}=x ^–L ₁ (x), v{yy<–x}=x ^–L ₂ (x) whereL ₁,L ₂ are slowly varying at 0 and and 0<1. We construct two types of a nondecreasing functionh(t) depending on 0<<1 or =1 such that lim inf a.s. ast 0 andt for some positive finite constantC.This research is partialy supported by a grant from Korea University     

Strong bounds for multidimensional spacings

Summary Let U ₁, U ₂,..., U _n be independent random vectors uniformly distributed on (0, 1) ^d . We define the k-th maximal spacing _n ^(k) associated to U ₁, ...,U₁ as the k-th maximal possible value of the length of a side of a d-dimensional square block in (0,1) ^d , which does not intersect the sample, and which cannot be enlarged without doing so. Our main result is that _n ^(k) ={n^–1(Log n+0(Log₂n))} ^1/d almost surely as n. Other bounds are proposed for the limiting almost sure behavior of _n ^(k) as n.     

Equivalence of bar recursors in the theory of functionals of finite type

The main result of this paper is the equivalence of several definition schemas of bar recursion occurring in the literature on functionals of finite type. We present the theory of functionals of finite type, in [T] denoted byqf-WE-HA , which is necessary for giving the equivalence proofs. Moreover we prove two results on this theory that cannot be found in the literature, namely the deduction theorem and a derivation of Spector's rule of extensionality from [S]: ifPT ₁=T ₂ and Q[XT₁], then PQ[X T₂], from the at first sight weaker rule obtained by omitting P.     

Renormalization of cocycles and linear ODE with almost-periodic coefficients

Summary In the current paper we address the problem of classification of cocycles over an irrational rotation. We use the renormalization group approach.A cocycle means aC ^r -mappingu:T SU (2, ) (r2). We fix an irrational rotation :T T. Two cocyclesu, v:T SU(2, ) are considered equivalent (or cohomologous) if there is a continuous maph:TSU (2, ) such thatu·h =h·v. By definition, our problem is to classify cocycles up to this equivalence relation.By introducing a suitable renormalization map we are able to define a notion of afiber rotation number for a class of cocycles which are in the basin of the attractor of the renormalization map. The attractor itself is built of algebraic Anosov maps onT ². We present a number of results and conjecuters resulting from this approach.We show how this approach sheds some light upon the problem of classifying linear ODE with almost-periodic, skew-hermitian coefficient matrix.Oblatum 29-VIII-1990 & 4-III-1992A large part of this paper was written during the author's stay at the Institute for Advanced Study. This is version 1.26 of 2/27/92     

On an optimum test of the equality of two covariance matrices

Let X: p × 1, Y: p × 1 be independently and normally distributed p-vectors with unknown means ₁, ₂ and unknown covariance matrices ₁, ₂ (>0) respectively. We shall show that Pillai's test, which is locally best invariant, is locally minimax for testing H ₀: ₁=₂ against the alternative H ₁: % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiiYdd9qrFfea0dXdf9vqai-hEir8Ve% ea0de9qq-hbrpepeea0db9q8as0-LqLs-Jirpepeea0-as0Fb9pgea% 0lrP0xe9Fve9Fve9qapdbaqaaeGacaGaaiaabeqaamaabaabcaGcba% GaaeiDaiaabkhacaqGOaWaaabmaeaadaaeqaqaaiabgkHiTiaadMea% caGGPaGaaiiiaiabg2da9iaacccacqaHdpWCcaGGGaGaeyOpa4Jaai% iiaiaaicdaaSqaaiaaigdaaeqaniabggHiLdaaleaacaqGYaaabaGa% aeylaiaabgdaa0GaeyyeIuoaaaa!4E3F!\[{\rm{tr(}}\sum\nolimits_{\rm{2}}^{{\rm{ - 1}}} {\sum\nolimits_1 { - I) = \sigma > 0} }\]as 0. However this test is not of type D among G-invariant tests.Research supported by the Canadian N.S.E.R.C. Grant.     

Turán's extremal problem in random graphs: Forbidding odd cycles

For 0<1 and graphsG andH, we writeGH if any -proportion of the edges ofG span at least one copy ofH inG. As customary, we writeC ^k for a cycle of lengthk. We show that, for every fixed integerl1 and real >0, there exists a real constantC=C(l, ), such that almost every random graphG _{n, p} withp=p(n)Cn ^–1+1/2l satisfiesG _n,p1/2+ C ^2l+1. In particular, for any fixedl1 and >0, this result implies the existence of very sparse graphsG withG _1/2+ C ^2l+1.The first author was partially supported by NSERC. The second author was partially supported by FAPESP (Proc. 93/0603-1) and by CNP_q (Proc. 300334/93-1). The third author was partially sopported by KBN grant 2 1087 91 01.