Spin Models and Strongly Hyper-Self-Dual Bose-Mesner Algebras

We introduce the notion of hyper-self-duality for Bose-Mesner algebras as a strengthening of formal self-duality. Let denote a Bose-Mesner algebra on a finite nonempty set X. Fix p X, and let and denote respectively the dual Bose-Mesner algebra and the Terwilliger algebra of with respect to p. By a hyper-duality of , we mean an automorphism of such that for all ; and is a duality of . is said to be hyper-self-dual whenever there exists a hyper-duality of . We say that is strongly hyper-self-dual whenever there exists a hyper-duality of which can be expressed as conjugation by an invertible element of . We show that Bose-Mesner algebras which support a spin model are strongly hyper-self-dual, and we characterize strong hyper-self-duality via the module structure of the associated Terwilliger algebra.     

Elementary Abelian Covers of Graphs

Let _G (X) be the set of all (equivalence classes of) regular covering projections of a given connected graph X along which a given group G Aut X of automorphisms lifts. There is a natural lattice structure on _G (X), where _{1 2} whenever ₂ factors through ₁. The sublattice _G () of coverings which are below a given covering : X^~ X naturally corresponds to a lattice _G () of certain subgroups of the group of covering transformations. In order to study this correspondence, some general theorems regarding morphisms and decomposition of regular covering projections are proved. All theorems are stated and proved combinatorially in terms of voltage assignments, in order to facilitate computation in concrete applications.For a given prime p, let _G ^p (X) _G (X) denote the sublattice of all regular covering projections with an elementary abelian p-group of covering transformations. There is an algorithm which explicitly constructs _G ^p (X) in the sense that, for each member of _G ^p (X), a concrete voltage assignment on X which determines this covering up to equivalence, is generated. The algorithm uses the well known algebraic tools for finding invariant subspaces of a given linear representation of a group. To illustrate the method two nontrival examples are included.     

Derangements and Tensor Powers of Adjoint Modules for \mathfrak{s}\mathfrak{l}_n

We obtain the decomposition of the tensor space as a module for , find an explicit formula for the multiplicities of its irreducible summands, and (when n 2k) describe the centralizer algebra = ( ) and its representations. The multiplicities of the irreducible summands are derangement numbers in several important instances, and the dimension of is given by the number of derangements of a set of 2k elements.     

Commutants and derivation ranges

In this paper we obtain some results concerning the set , where is the closure in the norm topology of the range of the inner derivation _A defined by _A (X) = AX – XA. Here stands for a Hilbert space and we prove that every compact operator in is quasinilpotent if A is dominant, where is the closure of the range of _A in the weak topology.     

Some Combinatorial Properties of Schubert Polynomials

Schubert polynomials were introduced by Bernstein et al. and Demazure, and were extensively developed by Lascoux, Schützenberger, Macdonald, and others. We give an explicit combinatorial interpretation of the Schubert polynomial in terms of the reduced decompositions of the permutation w. Using this result, a variation of Schensted's correspondence due to Edelman and Greene allows one to associate in a natural way a certain set of tableaux with w, each tableau contributing a single term to . This correspondence leads to many problems and conjectures, whose interrelation is investigated. In Section 2 we consider permutations with no decreasing subsequence of length three (or 321-avoiding permutations). We show for such permutations that is a flag skew Schur function. In Section 3 we use this result to obtain some interesting properties of the rational function , where denotes a skew Schur function.Sara C. Billey: Supported by the National Physical Science Consortium. William Jockusch: Supported by an NSF Graduate Fellowship. Richard P. Stanley: Partially supported by NSF grants DMS-8901834 and DMS-9206374     

A Geometric Characterization of Fischer's Baby Monster

The sporadic simple group F ₂ known as Fischer's Baby Monster acts flag-transitively on a rank 5 P-geometry . P-geometries are geometries with string diagrams, all of whose nonempty edges except one are projective planes of order 2 and one terminal edge is the geometry of the Petersen graph. Let be a flag-transitive P-geometry of rank 5. Suppose that each proper residue of is isomorphic to the corresponding residue in . We show that in this case is isomorphic to . This result realizes a step in classification of the flag-transitive P-geometries and also plays an important role in the characterization of the Fischer–Griess Monster in terms of its 2-local parabolic geometry.     

Imprimitive Q-polynomial Association Schemes

It is well known that imprimitive P-polynomial association schemes with are either bipartite or antipodal, i.e., intersection numbers satisfy either for all for all . In this paper, we show that imprimitive -polynomial association schemes with are either dual bipartite or dual antipodal, i.e., dual intersection numbers satisfy either .     

Levi Classes Generated by Nilpotent Groups

Let be a class of all groups G for which the normal closure (x) ^G of every element x belongs to a class . is a Levi class generated by . Let and ₀ be classes of finitely generated nilpotent groups and of torsion-free, finitely generated, nilpotent groups, respectively. We prove that and , and so and . It is shown that quasivarieties and are closed under free products, and that each contains at most one maximal proper subquasivariety. It is also proved that is closed under free products if so is .     

The Asymptotic Distributions of Sums of Records

LetX ₁,X ₂... be a sequence of i.i.d. random variables and let be the associated (upper) record sequence. Resnick (1973) identified the class of all possible limit distributions for . Here we focus on sums of records, . We describe three cases in which T _n can be normalized to have a non-trivial limiting distribution. The problem of identifying all possible limit laws for normalized sums of records remains open.     

The Spectrum of the C*-Algebra of Pseudodifferential Boundary Value Problems on a Manifold with Smooth Edges

The C ^*-algebra generated by the operators of pseudodifferential boundary value problems on a manifold with smooth closed disjoint edges and boundary is studied. The operators act in the space L ₂( ) L ₂( ). The goal of this paper is to describe all (up to an equivalence) irreducible representations of the algebra Bibliography: 12 titles.     

Orbits of Positive Operators from a Differentiable Viewpoint

Let be a unital C^*-algebra and G the group of units of . A geometrical study of the action of G over the set ⁺ of all positive elements of is presented. The orbits of elements with closed range by this action are provided with a structure of differentiable homogeneous space with a natural connection. The orbits are partitioned in 'components' which also have a rich geometrical structure.     

K-Theory for the Banach Algebra of Operators on James''s Quasi-reflexive Banach Spaces

We prove that the K-groups of the Banach algebra of bounded, linear operators on the pth James space , where 1 < p < , are given by and . Moreover, for each Banach space and each non-zero, closed ideal contained in the ideal of inessential operators, we show that and . This enables us to calculate the K-groups of for each Banach space which is a direct sum of finitely many James spaces and -spaces.     

Towards a Characterization of Self-Similar Tilings in Terms of Derived Voronoï Tessellations

In this paper, a technique for analyzing levels of hierarchy in a tiling of Euclidean space is presented. Fixing a central configuration P of tiles in , a `derived Voronoï' tessellation _P is constructed based on the locations of copies of P in . A family of derived Voronoï tilings is formed by allowing the central configurations to vary through an infinite number of possibilities. The family will normally be an infinite one, but we show that for a self-similar tiling it is finite up to similarity. In addition, we show that if the family is finite up to similarity, then is pseudo-self-similar. The relationship between self-similarity and pseudo-self-similarity is not well understood, and this is the obstruction to a complete characterization of self-similarity via our method. A discussion and conjecture on the connection between the two forms of hierarchy for tilings is provided.     

Homogeneity of a Distance-Regular Graph Which Supports a Spin Model

A spin model is a square matrix that encodes the basic data for a statistical mechanical construction of link invariants due to V.F.R. Jones. Every spin model W is contained in a canonical Bose-Mesner algebra (W). In this paper we study the distance-regular graphs whose Bose-Mesner algebra satisfies W (W). Suppose W has at least three distinct entries. We show that is 1-homogeneous and that the first and the last subconstituents of are strongly regular and distance-regular, respectively.     

On a Family of Hyperplane Arrangements Related to the Affine Weyl Groups

Let be an irreducible crystallographic rootsystem in a Euclidean space V, with ⁺ theset of positive roots. For , , let be the hyperplane . We define a set of hyperplanes . This hyperplane arrangement is significant inthe study of the affine Weyl groups. In this paper it is shown that thePoincaré polynomial of is , where n is the rank of and h is the Coxeter number of the finiteCoxeter group corresponding to .     

Conditions of Local Asymptotic Normality for Gaussian Stationary Processes

Let {\bold x}[] be a stationary Gaussian process with zero mean and spectral density f, let be the -algebra induced by the random variables {\bold x}[], D(R¹), and let _t, t > 0, be the -algebra induced by the random variables x[],supp [-t,t]. Denote by (f) the Gaussian measure on generated by {\bold x}. Let _t(f) be the restriction of (f) to _t. Let f and g be nonnegative functions such that the measures _t(f) and _t(g) are absolutely continuous. Put

Inequalities for Moduli of Continuity in Abstract Banach Spaces

Suppose that X is a Banach space, K denotes the set of real numbers R or the set of nonnegative real numbers R _{+}, is a family of linear operators from X into X such that T _0=I is the identity operator in X, for all , and there exists M such that for all . The expression is called the rth order modulus of continuity of an element x with step h in the space X with respect to the family A(K). The properties of are studied. Bibliography: 3 titles.     

Brauer Diagrams, Updown Tableaux and Nilpotent Matrices

We interpret geometrically a variant of the Robinson-Schensted correspondence which links Brauer diagrams with updown tableaux, in the spirit of Steinberg's result [32] on the original Robinson-Schensted correspondence. Our result uses the variety of all where is a complete flag in is a nondegenerate alternating bilinear form on and N is a nilpotent element of the Lie algebra of the simultaneous stabilizer of both and instead of Steinberg's variety of where are two complete flags in and N is a nilpotent element of the Lie algebra of the simultaneous stabilizer of both .     

Fonctions Séparément Finement Surharmoniques

Nous montrons que toute fonction séparément finement surharmonique sur un ouvert de la topologie produit _{n_1}×s× _{n_k} des topologies fines des espaces R ⁿ ₁,. . ., R ⁿ _k, _{n_1}×s× _{n_k}-localement bornée inférieurement est finement surharmonique dans . On en déduit que toute fonction séparément finement harmonique, _{n_1}×s× _{n_k}-localement bornée sur est finement harmonique dans .Separately Finely Superharmonic Functions Abstract.We prove that every separately finely surperharmonic function on an open set in R ⁿ ₁×s×R ⁿ _k for the product _{n_1}×s× _{n_k} of the fine topologies on the spaces R ⁿ ₁,. . ., R ⁿ _k, _{n_1}×s× _n-_klocally lower bounded, is finely superharmonic in . We then deduce that every separateltly finely harmonic function _{n_1}×s× _{n k}-locally bounded in is finely harmonic.     

Exponential Stability of Semigroups Related to Operator Models in Mechanics

In this paper, we consider equations of the form , where is a function with values in the Hilbert space , the operator B is symmetric, and the operator A is uniformly positive and self-adjoint in . The linear operator generating the C ₀-semigroup in the energy space is associated with this equation. We prove that this semigroup is exponentially stable if the operator B is uniformly positive and the operator A dominates B in the sense of quadratic forms.