Lattice Polytopes Associated to Certain Demazure Modules of sl n + 1

Let w be an element of the Weyl group of sl _{n + 1}. We prove that for a certain class of elements w (which includes the longest element w₀ of the Weyl group), there exist a lattice polytope R ^l(w) , for each fundamental weight _i of sl _{n + 1}, such that for any dominant weight = _{i = 1} ⁿ a _{i i} , the number of lattice points in the Minkowski sum _w = _{i = 1} ⁿ a _{i i} ^w is equal to the dimension of the Demazure module E _w (). We also define a linear map A ^w : R ^l(w) P _Z R where P denotes the weight lattice, such that char E _w () = e e^–A(x) where the sum runs through the lattice points x of ^w .     

The core of a chain complete poset with no one-way infinite fence and no tower

Like dismantling for finite posets, a perfect sequence = P : of a chain complete posetP represents a canonical procedure to produce a coreP . It has been proved that if the posetP contains no infinite antichain then this coreP is a retract ofP andP has the fixed point property iffP has this property. In this paper the condition of having no infinite antichain is replaced by a weaker one. We show that the same conclusion holds under the assumption thatP does not contain a one-way infinite fence or a tower.Supported by a grant from The National Natural Science Foundation of China.     

Exact estimates for partially monotone approximation

f(x) — , - [–1,1], (f, ) — , as— f, . . (- ) (x _i,x _{i+ 1}) (i=0, 1, ...,s–1; =–1,x _s,=1), f(x) . , n=0,1,... _n() , [– 1,1] signf(x) sign _n(x) 0, ¦f(x)– _n(x)¦ C(s) (f, 1/n+1, C(s) s. , - , « » .     

Weakly isomorphic transformations that are not isomorphic

Summary A new method for construction of transformations T _i: (X _i, B _i, _i) , i=1,2, that are factors of each other but that are not measuretheoretically isomorphic is provided. This method uses ergodic product cocycles of the form S ⁱ ₁xS ⁱ ₂x...,, where : XZ ₂ is a cocycle, S belongs to the centralizer of T and T is an ergodic translation on a compact, monothetic group X.     

Solution of the nonlinear functional equations representing the roll gap relationships in a cold mill

In the development of a roll force model for cold rolling, techniques were developed for solving the system equations which are of general interest. This paper gives a brief introduction to the physical model but concentrates on the solution of the model equations and the simulation. An unusual feature of the model was that the calculated profiles had to satisfy a number of boundary conditions at different points throughout the roll arc. A new method was developed for calculating these profiles and for determining the gradient functions which satisfied the boundary constraints.Nomenclature p() pressure at roll angle - h() gauge - a() roll radius - y() yield stress - g _i () gradient function on iterationi - e() gauge error - (, ) transition function - H(–) Heaviside unit step function at = - (–) unit impulse function at = - H(, ₁, ₂) defined asH( – ₁) –H( – ₂) - angular position from the roll center line - _T angular limits of roll arc represented - _n angular position of the neutral angle - _i angular position ofith strip elastic-plastic boundary - _pi pressure change at the boundaryi - _i , _i , _i constants defined in Appendix A - k ₁,k ₂ elastic region constants - k total number of strip boundaries (elastic-plastic and entry and exit points) - R undeformed work roll radius - R _s roll separation—distance between roll centers - h ₀₁ unstrained gauge in an elastic region - h _in gauge of the strip at the entry to the roll gap - J gauge error cost function - <x, y> inner product ofx andy - x norm ofx - L ₂[0, _T ] the space of Lebesgue square-integrable functions defined on the interval [0, _T ] - JUVY denotes (Dx)() =dx()/d The author would like to acknowledge the help given by Dr. G. F. Bryant, Director, and Mr. M. A. Fuller, Senior Research Engineer, the Industrial Automation Group, Imperial College of Science and Technology, London. He is also grateful to M. J. G. Henderson of the University of Birmingham for his advice and encouragement during the project. He would like to thank the Directors of GEC Electrical Projects Limited for allowing him to undertake the work and also Mr. J. McTaggart and Mr. C. McKenzie (GEC), Professor H. A. Prime of the University of Birmingham, and Dr. G. F. Bryant for arranging the project.     

The Terwilliger Algebra of a Distance-Regular Graph that Supports a Spin Model

Let denote a distance-regular graph with vertex set X, diameter D 3, valency k 3, and assume supports a spin model W. Write W = _{i = 0}^D t_i A_i where A_i is the ith distance-matrix of . To avoid degenerate situations we assume is not a Hamming graph and t_i {t₀, –t₀ } for 1 i D. In an earlier paper Curtin and Nomura determined the intersection numbers of in terms of D and two complex parameters and q. We extend their results as follows. Fix any vertex x X and let T = T(x) denote the corresponding Terwilliger algebra. Let U denote an irreducible T-module with endpoint r and diameter d. We obtain the intersection numbers c_i(U), b_i(U), a_i(U) as rational expressions involving r, d, D, and q. We show that the isomorphism class of U as a T-module is determined by r and d. We present a recurrence that gives the multiplicities with which the irreducible T-modules appear in the standard module. We compute these multiplicites explicitly for the irreducible T-modules with endpoint at most 3. We prove that the parameter q is real and we show that if is not bipartite, then q > 0 and is real.AMS 2000 Subject Classification: Primary 05E30     

On the Uniform Summability of Multiple Walsh-Fourier Series

In this paper we prove that if f C (0, 1 ^N ) and the function f is of bounded partial variation, then the N-dimensional Walsh-Fourier series of the function f is uniformly (C,–) summable (₁ +...+ _N < 1, _i > 0, i = 1,...,N) in the sense of Pringsheim. If ₁ +...+ _N = 1, _i > 0, i = 1,2,...,N, then there exists a continuous function f ₀ of bounded partial variation on [0, 1] ^N such that the Cesàro (C,–) means _m ^– (f₀,Õ) of the N-dimensional Walsh-Fourier series of f ₀ diverge over cubes.     

The Dual of the martingale Hardy space ℋΦ with general Young function Φwith general Young function Φ

[10], ¹ . [4] K _q-, , 1p2 _pp K _q, q=p/p–1)(q=+, p=1 K = ). — p ⊃<<. , , , — , K . , ( ) , q .     

Speed of convergence as a function of given accuracy for random search methods

The essence of this article lies in a demonstration of the fact that for some random search methods (r.s.m.) of global optimization, the number of the objective function evaluations required to reach a given accuracy may have very slow (logarithmic) growth to infinity as the accuracy tends to zero. Several inequalities of this kind are derived for some typical Markovian monotone r.s.m. in metric spaces including thed-dimensional Euclidean space ^d and its compact subsets. In the compact case, one of the main results may be briefly outlined as a constructive theorem of existence: if is a first moment of approaching a good subset of-neighbourhood ofx ₀=arg maxf by some random search sequence (r.s.s.), then we may choose parameters of this r.s.s. in such a way that E c(f) In² . Certainly, some restrictions on metric space and functionf are required.     

A priori estimates of the solution of the dirichlet problem for the Monge-ampére equation in weight spaces

One proves that a priori boundedness of the norm of the solution of the problem det(U_xx)=f(x,u,u_x)>>0,u¦=0. The magnitudes of the exponents,() depends on whether the arguments u p occur or not in f (x,u,p).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 125, pp. 74–90, 1983.     

On weakly mixing Markov operators and non-singular transformations

Summary Let P be a Markov operator on L (X, , m). Theorem 1: (i) P is weakly mixing (ii) For every fL there is a sequence {n_t} of density 1 such that all w ^*-cluster points of are constants (iii) For every fL there is a {k_j} with w ^*-convergent to a constant. Theorem 2: If P is induced by a non-singular transformation , P is weakly mixing For every A, { ^–n(A)} has a remotely trivial subsequence. The existence of a finite invariant measure is not required in these results.     

Einschließungsaussagen für gewöhnliche Differentialoperatoren

Summary For differential operatorsM of second order (as defined in (1.1)) we describe a method to prove Range-Domain implications—Mu–u and an algorithm to construct these functions , , , . This method has been especially developed for application to non-inverse-positive differential operators. For example, for non-negativea ₂ and for given functions = we require =C ₀[0, 1] C ₂([0, 1]–T) whereT is some finite set), (M) (t)(t), (t[0, 1]–T) and certain additional conditions for eachtT. Such Range-Domain implications can be used to obtain a numerical error estimation for the solution of a boundary value problemMu=r; further, we use them to guarantee the existence of a solution of nonlinear boundary value problems between the bounds- and .     

On depth first search strees inm-out digraphs

We consider depth first search (DFS for short) trees in a class of random digraphs: am-out model. Let _i be thei ^th vertex encountered by DFS andL(i, m, n) be the height of _i in the corresponding DFS tree. We show that ifi/n asn, then there exists a constanta(,m), to be defined later, such thatL(i, m, n)/n converges in probability toa(,m) asn. We also obtain results concerning the number of vertices and the number of leaves in a DFS tree.     

Divergence of orthogonal series to +∞

An overall bounded orthonormal set of functions _n (x) is constructed for which there exists a series _m =1 a_nn(x) with coefficients a_n=o(ln'n/n), which diverges to + almost everywhere. The bibliography contains 4 references.Translated from Matematicheskie Zametki, Vol. 2, No. 5, pp. 483–494, November, 1967.     

Lower central series and derived series of net subgroups of the general linear group

Over a commutative ring R with invertible element 2 and with radical , nets (i.e., tables =(_ij) of ideals _ij such that _{irrj ij}) such that _ii are considered. Such nets are called pseudoradical. The groups of the lower central series and the derived series are explicitly constructed for the corresponding net subgroups G () (of the general linear group GL (n,R)) in terms of .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 114, pp. 180–186, 1982.     

A Local Approach to 1-Homogeneous Graphs

Let bea distance-regular graph with diameter d. For vertices x and y of at distancei, 1 i d, we define the setsC _i(x,y) = i–1(x) (y), A _i (x,y) = _i (x) (y) and B _i (x,y) = _i+1(x) (y).Then we say has the CAB_j property,if the partition CAB _i (x,y) = {C _i (x,y),A _i (x,y),B _i (x,y)}of the local graph of y is equitable for each pairof vertices x and y of at distance i j. We show that in with the CAB_j property then the parameters ofthe equitable partitions CAB i(x,y) do not dependon the choice of vertices x and y atdistance i for all i j. The graph has the CAB property if it has the CAB _d property. We show the equivalence of the CAB property and the1-homogeneous property in a distance-regular graph with a ₁ 0. Finally, we classify the 1-homogeneous Terwilligergraphs with c ₂ 2.     

General Blowings-up of ℙ2 and Injectivity of Gauss Maps

We consider the blowing-up Y _k of the projective plane along k general points P ₁,...,P _k . Let _k : Y _k ² be the projection map and E _i the exceptional divisor corresponding to P _i for 1ik. For m2 and km(m+3)/2–4 let _k be the invertible sheaf _k ^*( ²(m)) _{Y k} (–E ₁–···–E _k ) on Y _k , and let _k: Y _k ^N be the morphism corresponding to _k . As _k is a local embedding, the Gauss map _k corresponding to _k is defined on Y _k by _k (x)=(d _{x k} )(T _x (Y _k )) for all xY _k . We prove that this Gauss map _k is injective.     

Harmonic analysis on tori

We consider measurable subsets {ofR}ⁿ with 0<m()<, and we assume that has a spectral set . (In the special case when is also assumed open, may be obtained as the joint spectrum of a family of commuting self-adjoint operators {H _k: 1kn} in L ² () such that each H _k is an extension of i(/x _k) on C _c (), k=1, ..., n.)It is known that is a fundamental domain for a lattice if is itself a lattice. In this paper, we consider a class of examples where is not assumed to be a lattice. Instead is assumed to have a certain inhomogeneous form, and we prove a necessary and sufficient condition for to be a fundamental domain for some lattice in {ofR}ⁿ. We are thus able to decide the question, fundamental domain or not, by considering only properties of the spectrum . Our criterion is obtained as a corollary to a theorem concerning partitions of sets which have a spectrum of inhomogeneous form.Work supported in part by the NSF.Work supported in part by the NSRC, Denmark.     

Subordination des résolvantes

Résumé Soit (V ₎₀ une résolvante définie sur un espace mesurable telle que le noyau initial est borné; on trouve une condition nécéssaire et suffisante pour qu'un noyau borné U possède une résolvante (U ₎₀ telle que U V pour tout 0. On donne plusieurs applications de ce résultat.     

On the representation theory of wreath products of finite groups and symmetric groups

Let G S_N be the wreath product of a finite group G and the symmetric group S_N. The aim of this paper is to prove the branching theorem for the increasing sequence of finite groups G S₁ G S₂ ... G S_N ... and the analog of Young's orthogonal form for this case, using the inductive approach invented by A. Vershik and A. Okounkov for the case of symmetric group.Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 240, 1997, pp. 229–244.