Young Straightening in a Quotient Sn-Module

We describe a straightening algorithm for the action of S _n on a certain graded ring . The ring appears in the work of C. de Concini and C. Procesi [2] and T. Tanisaki [8], and more recently in the work of A. Garsia and C. Procesi [4]. This ring is a graded version of the permutation representation resulting from the action of S _n on the left cosets of a Young subgroup. As a corollary of our straightening algorithm we obtain a combinatorial proof of the fact that the top degree component of affords the irreducible representation of S _n indexed by .     

The Minimal Subgroup of a Random Walk

It is proved that for each random walk (S _n ) _n0 on ^d there exists a smallest measurable subgroup of ^d , called minimal subgroup of (S _n ) _n0, such that P(S _n )=1 for all n1. can be defined as the set of all x ^d for which the difference of the time averages n ^{–1 n} _k=1 P(S _k ) and n ^{–1 n} _k=1 P(S _k +x) converges to 0 in total variation norm as n. The related subgroup * consisting of all x ^d for which lim _n P(S _n )–P(S _n +x)=0 is also considered and shown to be the minimal subgroup of the symmetrization of (S _n ) _n0. In the final section we consider quasi-invariance and admissible shifts of probability measures on ^d . The main result shows that, up to regular linear transformations, the only subgroups of ^d admitting a quasi-invariant measure are those of the form ₁×...× _k × ^l–k ×{0} ^d–l , 0kld, with ₁,..., _k being countable subgroups of . The proof is based on a result recently proved by Kharazishvili⁽³⁾ which states no uncountable proper subgroup of admits a quasi-invariant measure.     

A geometric approach to the cascade approximation operator for wavelets

This paper is devoted to an approximation problem for operators in Hilbert space, that appears when one tries to study geometrically thecascade algorithm in wavelet theory. Let be a Hilbert space, and let be a representation ofL ( ) on . LetR be a positive operator inL ( ) such thatR(1) =1, where1 denotes the constant function 1. We study operatorsM on (bounded, but noncontractive) such that

On the speed of convergence in the central limit theorem of log-likelihood ratio processes

Let , the parameter space, be an open subset ofR ^k ,k1. For each , let the r.v.'sX _n ,n=1, 2,... be defined on the probability space (X, P ) and take values in (S,S,L) whereS is a Borel subset of a Euclidean space andL is the -field of Borel subsets ofS. ForhR _k and a sequence of p.d. normalizing matrices _n = _n ^{k × k} (₀ set _n ^* = ^* = ₀ + _n h, where ₀ is the true value of , such that ^*, . Let _n (^*, _*)( be the log-likelihood ratio of the probability measure with respect to the probability measure , whereP _n is the restriction ofP over _n = (X ₁,X ₂,...,X _n . In this paper we, under a very general dependence setup obtain a rate of convergence of the normalized log-likelihood ratio statistic to Standard Normal Variable. Two examples are taken into account.     

K-Theory of Semi-local Rings with Finite Coefficients and étale Cohomology

Let A be a commutative semi-local ring containing 1/2. We construct natural isomor-phisms

A Characterisation of the Generalized Quadrangle Q (5, q) Using Cohomology

If a GQ S of order (s, s) is contained in a GQ S of order (s, s ²) as a subquadrangle, then for each point X of S\S the set of points of S collinear with X form an ovoid of S. Thas and Payne proved that if S= (4,q),q even, and is an elliptic quadric for each XS\S,thenS (5,q). In this paper we provide a single proof for the q odd and q even cases by establishing a link between the geometry involved and the first cohomology group of a related simplicial complex.     

Divisibility of Certain Partition Functions by Powers of Primes

Let be the prime factorization of a positive integer k and let b _k (n) denote the number of partitions of a non-negative integer n into parts none of which are multiples of k. If M is a positive integer, let S _k (N; M) be the number of positive integers N for which b _k(n ) 0(mod M). If we prove that, for every positive integer j In other words for every positive integer j, b _k(n) is a multiple of for almost every non-negative integer n. In the special case when k=p is prime, then in representation-theoretic terms this means that the number ofp -modular irreducible representations of almost every symmetric groupS _n is a multiple of p ^j. We also examine the behavior of b _k(n) (mod ) where the non-negative integers n belong to an arithmetic progression. Although almost every non-negative integer n (mod t) satisfies b _k(n) 0 (mod ), we show that there are infinitely many non-negative integers n r (mod t) for which b _k(n) 0 (mod ) provided that there is at least one such n. Moreover the smallest such n (if there are any) is less than 2 .     

Parameter-dependent renewal theorems with applications

Let ₁, ₂, ... be a sequence of i.i.d. random variables with positive mean and finite variance and letr(b), b0, be real numbers tending to 0 asb . Definings _n=₁+...+_n andS _n=S_n(b)=s_n+r(b)n, the stopping time =(b)=inf {n>/1:S_n >b} whereb=b(b) , will be considered with special regard to the excess over the boundaryR _b=s+r(b)–b. It turns out that the limiting distribution ofR _b is the same as in the caser(b)0 for allb. Proving this, Blackwell's renewal theorem and its integral version have to be established first in the above stated situation. Finally, an expansion ofE to vanishing terms asb will be provided and applied to some examples arising in economics.

---

Zusammenfassung Seien ₁, ₂, ... unabhängige identisch verteilte Zufallsgrößen mit positivem Erwartungswert und endlicher Varianz sowier(b), b0, reelle Zahlen mitr(b)0 für b. Sei ferners ₁, s₂, ... der zugehörige Summenprozeß,S _n= S_n(b)=s_n+r(b)n fürn1 und =(b)=inf {n1: S_n>b, wobeib=b(b) fürb . Es wird gezeigt, daß die asymptotische Verteilung des ExzessesR _b=s +r(b) –b mit der im Fallr(·)0 übereinstimmt. Dazu werden sowohl das Blackwellsche Erneuerungstheorem als auch seine Integralversion in der vorher beschriebenen parameterabhängigen Situation geeignet formuliert und bewiesen. Als Folgerung ergibt sich dann eine asymptotische Entwicklung vonE(b) fürb bis zu Termen o(1). Anh- and einiger Beispiele aus dem ökonomischen Bereich wird schließlich noch aufgezeigt, wo Approximationen fürE(b) von Interesse sein können.

     

Adjoints of slant Toeplitz operators II

Let be the unit circle {z|z|=1} and _n c _n e ⁱⁿ be a bounded measurable function on . Theslant Toeplitz operator A onL ² ( ) is defined by A e _n ,e _m =c _2m–n for allm, n wheree _n (z)=z ⁿ , . In this paper, we continue the study initiated in [6] onA ^* , the adjoint ofA . Specifically, we will show that for a certain dense set of continuous functions on ,A ^* is similar to some constant multiple of either a shift, or a shift plus a rank one operator.     

Hypersurfaces of restricted type in Minkowski space

A submanifold M _n ^r of Minkowski space is said to be of restricted type if its shape operator with respect to the mean curvature vector is the restriction of a fixed linear transformation of to the tangent space of M _n ^r at every point of M _n ^r . In this paper we completely classify hypersurfaces of restricted type in . More precisely, we prove that a hypersurface of is of restricted type if and only if it is either a minimal hypersurface, or an open part of one of the following hypersurfaces: S ^k × , S _k ¹ × , H ^k × , S _n ¹ , H ⁿ , with 1kn–1, or an open part of a cylinder on a plane curve of restricted type.This work was done when the first and fourth authors were visiting Michigan State University.Aangesteld Navorser N.F.W.O., Belgium.     

Nonabelian K-theory: The nilpotent class of K1 and general stability

A functorial filtration GL _n =S^–1L _n S⁰L _n S ⁱ L _n E _n of the general linear group GL _{n, n} 3, is defined and it is shown for any algebra A, which is a direct limit of module finite algebras, that S^–1 L _n (A)/S⁰L _n (A) is abelian, that S⁰L _n (A) S¹L _n (A) is a descending central series, and that S ⁱ L _n (A) = E _n(A) whenever i the Bass-Serre dimension of A. In particular, the K-functors k ₁ S ⁱ L _n =S ⁱ L _n /E _n are nilpotent for all i 0 over algebras of finite Bass-Serre dimension. Furthermore, without dimension assumptions, the canonical homomorphism S ⁱ L _n (A)/S ⁱ⁺¹ L _n (A)S ⁱ L _{n+ 1}(A)/S ⁱ⁺¹ L _{n + 1} (A) is injective whenever n i + 3, so that one has stability results without stability conditions, and if A is commutative then S⁰L _n (A) agrees with the special linear group SL _n (A), so that the functor S⁰L _n generalizes the functor SL _n to noncommutative rings. Applying the above to subgroups H of GL _n (A), which are normalized by E _n(A), one obtains that each is contained in a sandwich GL _n (A, ) H E _n(A, ) for a unique two-sided ideal of A and there is a descending S⁰L _n (A)-central series GL _n (A, ) S⁰L _n (A, ) S¹L _n (A, ) S ⁱ L _n (A, ) E _n(A, ) such that S ⁱ L _n (A, )=E _n(A, ) whenever i Bass-Serre dimension of A.Dedicated to Alexander Grothendieck on his sixtieth birthday     

Quasi sure version of a theorem of littlewood

Let (c _n) _nZ be a double-sided sequence of complex numbers; if, for quasi-all (i.e. in the Baire sense) choices of signs ( _n) _nZ , ( _n c _n) _nZ is a Fourier-Stieltjes sequence, then we prove that (c _n) _nZ l ² (Z); this extends a result of Littlewood and at the same time provides a very simple proof of this result.     

Two natural metrics and their covariant derivatives on a manifold of embeddings

OnE(M, ⁿ ), the Fréchet-manifold of all smooth embeddings of a smooth, compact, closed, orientable manifoldM (of dimensionn-1) into ⁿ two natural metricsG and are considered. The metric plays a central rôle in elasticity theory. Using a generalised notion of the Fréchet derivative their respective spraysS and and the correspoonding Levi-Civita connections are computed. BothS and are smooth in a well defined sense. In contrast toS the spray turns out to be trivial.     

Lemniscate as the Spectrum of the Perturbed Shift

We study the spectrum of the perturbed shift operator on the space assuming that the set of values of the function a(n) is finite. It is shown that if the values of a(n) are distributed on the axis Z with a uniform frequency, then the essential part of the spectrum fills a generalized lemniscate. Bibliography: 9 titles.     

An infinite order operator on the lattice of varieties of completely regular semigroups

Let be a variety of completely regular semigroups. Define C ^* to be the class of all completely regular semigroupsS whose least full and self-conjugate subsemigroupC ^*(S) belongs to . ThenC ^* is an operator on the lattice of varieties of completely regular semigroups. In this note we show that the order ofC ^* is infinite. This fact yields that the Mal'cev project is not associative on . We describe (C ^*)¹, andi 0, in terms of -invariant normal subgroups of the free group over a countably infinite set. The lattice theoretic properties ofC ^* are also studied.Presented by W. Taylor.     

Reducibility of lacunary polynomials,VII

Letk>1 and let be non-zero algebraic numbers contained in the field . It is shown that for almost all, in the sense of density integer vectorsn ₁,...,n _k the polynomial becomes irreducible over on dividing by the product of all factorsx–, where is a root of unity.Dedicated to Professor E. Hlawka on the occasion of his seventieth birthday     

On the concept of code-isomorphy

LetF be a finite set of cardinality ¦F¦ =q 2,n 1 an integer and :F ⁿ×Fⁿ₀ theHamming metric. Acode isomorphism C D between two block codesC,D Fⁿ is defined as an isometry which can be extended to an isometry of the whole space Fⁿ. Any permutation S _n of the positions canonically induces a so-calledequivalence map Aut Fⁿ; any system (₁,₂,...,_n) ofn permutations of the character setF induces a so-calledconfiguration Aat Fⁿ. The group Aut Fⁿ of all isometries of Fⁿ turns out to be semidirect product of the configuration group with the symmetric group of degreen. The codeword estimating failure probability of a maximum likelihood codeword estimator for aq-nary symmetric channel does not depend on the transmitted codeword, if the automorphism group of the code acts transitively on the set of codewords. When using a systematic (n, k)-encoder, the symbol decoding failure probability does not depend on the transmitted symbol or on the time of transmission if the configuration group and the automorphism group act transitively on the set of codewords resp. on the set of thek information positions.In memoriam Giuseppe Tallini     

The Lie algebra of polynomial vector fields and the Jacobian conjecture

The Jacobian conjecture for polynomial maps :K ⁿ K ⁿ is shown to be equivalent to a certain Lie algebra theoretic property of the Lie algebra of formal vector fields inn variables. To be precise, let be the unique subalgebra of codimensionn (consisting of the singular vector fields),H a Cartan subalgebra of ,H the root spaces corresponding to linear forms onH and . Then every polynomial map :K ⁿ K ⁿ with invertible Jacobian matrix is an automorphism if and only if every automorphism of with (A) satisfies (A)=A.     

A greedy algorithm for solving a certain class of linear programmes

If is a collection of subsets ofS andw is a nonnegative weight function onS, the problem of selecting a subset belonging to which has maximum weight is solved by a greedy-type algorithm forall w if and only if is the set of independent sets of a matroid. This result is then generalised to show that greedy-type algorithms select an optimum forall linear functionsc·x; x in some compact set andc > 0 if and only if the convex closure ofU is essentially a polymatroid. A byproduct of this is a new characterization of polymatroids.     

A Series Criterion for the Almost-Sure Growth Rate of the Generalized Diameter of an Increasing Sequence of Random Points

Let U ₁, U ₂,... be a sequence of i.i.d. random mappings taking values in a space S and let h be a symmetric function on S×S with global maximum Let {x _n} be any nondecreasing real sequence converging to Then p=P(H _n>x _n, infinitely often) is either zero or one, where H _n=max{h(U _i, U _j), 1 ijn}. This paper provides a nonrandom series criterion which is necessary and sufficient to determine the value of p. In addition, various sufficient conditions are presented which may be easier to apply. A number of metric space applications are given.