Weak Mixing of Random Walks on Groups

Let G be a locally compact -compact group with right Haar measure m and a regular probability measure on G. We say that is weakly mixing if for all gL (G) and all fL ¹(G) with fdm=0 we have n ^{–1 n} _k=1| ^k *f,g|0. We show that is weakly mixing if and only if is ergodic and strictly aperiodic. To prove this we use and prove some results about unimodular eigenvalues for general Markov operators.     

Characterization,structure and analysis on abelian ℒ∞ groups

An abelian topological group is an group if and only if it is a locally -compactk-space and every compact subset in it is contained in a compactly generated locally compact subgroup. Every abelian groupG is topologically isomorphic to G ₀ where ₀ andG ₀ is an abelian group where every compact subset is contained in a compact subgroup. Intrinsic definitions of measures, convolution of measures, measure algebra,L ₁-algebra, Fourier transforms of abelian groups are given and their properties are studied.     

Characterization of regular singular linear systems of difference equations

This paper deals with linear systems of difference equations whose coefficients admit generalized factorial series representations atz=. We are concerned with the behavior of solutions near the pointz= (the only fixed singularity for difference equations). It is important to know whether a system of linear difference equations has a regular singularity or an irregular singularity. To a given system () we can assign a number , called the Moser's invariant of (), so that the system is regular singular if and only if 1. We shall develop an algorithm, implementable in a computer algebra system, which reduces in a finite number of steps the system of difference equations to an irreducible form. The computation ot the number can be done explicitly from this irreducible form.     

Long paths and cycles in tough graphs

For a graphG, letp(G) andc(G) denote the length of a longest path and cycle, respectively. Let (t,n) be the minimum ofp(G), whereG ranges over allt-tough connected graphs onn vertices. Similarly, let (t,n) be the minimum ofc(G), whereG ranges over allt-tough 2-connected graphs onn vertices. It is shown that for fixedt>0 there exist constantsA, B such that (t,n)A·log(n) and (t,n)·log((t,n))B·log(n). Examples are presented showing that fort1 there exist constantsA, B such that (t,n)A·log(n) and (t,n)B· log(n). It is conjectured that (t,n) B·log(n) for some constantB. This conjecture is shown to be valid within the class of 3-connected graphs and, as conjectured in Bondy [1] forl=3, within the class of 2-connectedK _1.l-free graphs, wherel is fixed.     

Independent sets,cliques and hamiltonian graphs

LetG be ak-connected (k 2) graph onn vertices. LetS be an independent set ofG. S is called essential if there exist two distinct vertices inS which have a common neighbor inG. LetV _r, be a clique which is a complete subgraph ofG. In this paper it is proven that if every essential independent setS ofk + 1 vertices satisfiesS V _r , thenG is hamiltonian, orG{u} is hamiltonian for someu V _r, orG is one of three classes of exceptional graphs. Our theorem generalizes several well-known theorems.     

The Harish-Chandra theorem for the quantum algebrau q (sl (3))

A basis of a quantum universal enveloping algebraU is constructed; the following theorem is proved with the help of this basis: For any nonzero element U, there exists a finite-dimensional representation such that(u) 0.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45 No. 3, pp. 436–439, March, 1993.     

BRST Operator for Quantum Lie Algebras: Relation to the Bar Complex

Quantum Lie algebras (an important class of quadratic algebras arising in the Woronowicz calculus on quantum groups) are generalizations of Lie (super)algebras. Many notions from the theory of Lie (super)algebras admit quantum generalizations. In particular, there is a BRST operator Q (Q ²=0) that generates the differential in the Woronowicz theory and gives information about (co)homologies of quantum Lie algebras. In our previous papers, we gave and solved a recursive relation for the operator Q for quantum Lie algebras. Here, we consider the bar complex for q-Lie algebras and its subcomplex of q-antisymmetric chains. We establish a chain map (which is an isomorphism) of the standard complex for a q-Lie algebra to the subcomplex of the antisymmetric chains. The construction requires a set of nontrivial identities in the group algebra of the braid group. We also discuss a generalization of the standard complex to the case where a q-Lie algebra is equipped with a grading operator.     

Sugli insiemi di permutazioni strettamente k-transitivi (k ≥ 3)

Summary Let G be a sharply 3-transitive permutation set on a finite set E of even cardinality and let 1 be in G. The following theorems are proved. G is one of the known examples if and only if there exists a non-identity normal subgroup N of G and an element of E such that NG G.G is a group if and only if G for every G and for every G and for every G .By using the classification of finite single groups a result concerning sharply k-transitive permutation sets k>3 is also proved.

---

---

Dedicato a Guido Zappa in occasione del suo 70° compleanno

---

Lavoro eseguito nell'ambito dei progetti finanziati dal Ministero della Pubblica Istruzione.     

Weight functions on the Kneser graph and the solution of an intersection problem of Sali

LetX, Y be finite sets and suppose thatF is a collection of pairs of sets (F, G),FX,GY satisfying |FF|s, |GG|t and |FF|+|GG|s+t+1 for all (F, G),F, GF. Extending a result of Sali, we determine the maximum ofF.     

Differential operators on homogeneous spaces. III

Summary LetG be a semi-simple complex algebraic group with Lie algebra and flag varietyX=G/B. For each primitive idealJ with trivial central character in the enveloping algebraU() we define a characteristic variety in the cotangent bundle ofX, which projects under the Springer resolution mapT ^* X onto the closure of a nilpotent orbit. We prove that this characteristic variety is theG-saturation of the characteristic variety of a highest weight module with annihilatorJ. We conjecture that it is irreducible forG=SL _n . Our conjecture would provide a geometrical explanation for the classification of primitive ideals in terms of Weyl group representations, as achieved by A. Joseph. The presentation of these ideas here is simultaneously used to some extent as an opportunity to continue our more general systematic discussion of differential operators on a complete homogeneous space, and to study more generally characteristic varieties of Harish-Chandra modules.Partially supported by N.S.F. research grant     

Uniform Continuity of a Family of Weakly Regular Set Functions on Topological Spaces

Conditions for the uniform continuity of a family of weakly regular set functions defined on an algebra of subsets of a -topological space (T,) and taking values in an arbitrary topological space are found.     

The Spectral Theory of Amenable Actions and Invariants of Discrete Groups

Let G denote a semisimple group, a discrete subgroup, B=G/P the Poisson boundary. Regarding invariants of discrete subgroups we prove, in particular, the following:(1) For any -quasi-invariant measure on B, and any probablity measure on , the norm of the operator () on L ²(B,) is equal to (), where is the unitary representation in L ²(X,), and is the regular representation of .(2) In particular this estimate holds when is Lebesgue measure on B, a Patterson–Sullivan measure, or a -stationary measure, and implies explicit lower bounds for the displacement and Margulis number of (w.r.t. a finite generating set), the dimension of the conformal density, the -entropy of the measure, and Lyapunov exponents of .(3) In particular, when G=PSL₂() and is free, the new lower bound of the displacement is somewhat smaller than the Culler–Shalen bound (which requires an additional assumption) and is greater than the standard ball-packing bound.We also prove that ()=_G() for any amenable action of G and L ¹(G), and conversely, give a spectral criterion for amenability of an action of G under certain natural dynamical conditions. In addition, we establish a uniform lower bound for the -entropy of any measure quasi-invariant under the action of a group with property T, and use this fact to construct an interesting class of actions of such groups, related to 'virtual' maximal parabolic subgroups. Most of the results hold in fact in greater generality, and apply for instance when G is any semi-simple algebraic group, or when is any word-hyperbolic group, acting on their Poisson boundary, for example.     

Existence of compatible families of proper regular conditional probabilities

Summary Let (, , ) be a perfect probability space with countably generated, and let IB be a family of sub--fields of . Under a countability condition on the family IB, I show that there exists a family {}_IB of regular conditional probabilities which are everywhere compatible. Under a more stringent condition on IB, I show that the can furthermore be chosen to be everywhere proper. It follows that in the Dobrushin-Lanford-Ruelle formulation of the statistical mechanics of classical lattice systems, every (perfect) probability measure is a Gibbs measure for some specification.Research supported in part by NSF PHY-78-23952NSF Predoctoral Fellow (1976–79) and Danforth Fellow (1979–81).     

Quantum homogeneous spaces,duality and quantum 2-spheres

For a quantum groupG the notion of quantum homogeneousG-space is defined. Two methods to construct such spaces are discussed. The first one makes use of quantum subgroups, the second more general one is based upon the notion of infinitesimal invariance with respect to certain two-sided coideals in the Hopf algebra dual to the Hopf algebra ofG. These methods are applied to the quantum group SU(2). As two-sided coideals we take the subspaces spanned by twisted primitive elements in the sl(2) quantized universal enveloping algebra. A one-parameter series of mutually non-isomorphic quantum 2-spheres is obtained, together with the spectral decomposition of the corresponding right regular representation of quantum SU(2). The link with the quantum spheres defined by Podle is established.     

On Groups with Finite Involution and Locally Finite 2-Isolated Subgroup of Even Period

A proper subgroup H of a group G is said to be strongly isolated if it contains the centralizer of any nonidentity element of H and 2-isolated if the conditions >C _G(g) H 1 and 2(C_G(g)) imply that C_G(g)H. An involution i in a group G is said to be finite if |ii ^g| < (for any g G). In the paper we study a group G with finite involution i and with a 2-isolated locally finite subgroup H containing an involution. It is proved that at least one of the following assertions holds:1) all 2-elements of the group G belong to H;2) (G,H) is a Frobenius pair, H coincides with the centralizer of the only involution in H, and all involutions in G are conjugate;3) G=FFC_G(i) is a locally finite Frobenius group with Abelian kernel F;4) H=V D is a Frobenius group with locally cyclic noninvariant factor D and a strongly isolated kernel V, U=O₂(V) is a Sylow 2-subgroup of the group G, and G is a Z-group of permutations of the set =U ^g g G.     

Yangians and universal enveloping algebras

Starting from the universal enveloping algebras u(gl(n)), n=1,2,... we construct an algebra A, which gives a realization of the Yangian Y(gl(m)) and is a proper way to define the universal enveloping algebra for infinite-dimensional classical Lie algebras.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 164, pp. 142–150, 1987.     

Local partial regularity theorems for suitable weak solutions of a class of degenerate systems

A partial regularity theorem is established for a particular class of weak solutions to the systemu/t– div(K(u)u)=(u)¦¦², div((u))=0 on a bounded domain inR ^N . Under our assumptions, (u) may exhibit exponential decay, and thus the system may be degenerate. Our proof is based upon a blow-up argument.This work was supported in part by NSF Grant DMS9424448.     

Bounds of eigenvalues of a graph

LetG be a simple graph withn vertices. We denote by _i(G) thei-th largest eigenvalue ofG. In this paper, several results are presented concerning bounds on the eigenvalues ofG. In particular, it is shown that –1₂(G)(n–2)/2, and the left hand equality holds if and only ifG is a complete graph with at least two vertices; the right hand equality holds if and only ifn is even andG2K _n/2.     

Interpolation problems and Toeplitz operators on multiply connected domains

LetR be a bounded domain in the complex plane bounded by n + 1 nonintersecting analytic Jordan curves, letE, F, andG be flat unitary vector bundles (in the sense of Abrahamse and Douglas) and let :F G and :E G be bounded analytic bundle maps. A condition is given for the existence of a bounded analytic map D:E F such that D = , together with an estimate for D. An interesting special case is the case whereE = G and = I _E , for which the condition involves a uniform lower bound for a class of Toeplitz operators overR, all of which are induced (formally) by the bundle map (N = rankE). When interpreted for a finite column of analytic scalar functions, this special case gives quantitative information on the corona theorem forR. The main tool is the Sz.Nagy-Foias commutant lifting theorem for regionsR recently obtained by the author.Research supported by National Science Foundation Grant No. MCS 77-00966.     

The existence of probability measures with specified projections

Let X and Y be locally compact-compact topological spaces, F X×Y is closed, and P(F) is the set of all Borel probability measures on F. For us to find, for the pair of probability measures (_x, _y P (X)×P(Y), a probability measure P(F) such that _X = _X ^–1 , _Y = _Y ^–1 it is necessary and sufficient that, for any pair of Borel sets A X, B Y for which (A× B) F=Ø, the condition _XA+ _YB 1 holds.Translated from Matematicheskie Zametki, Vol. 14, No. 4, pp. 573–576, October, 1973.