New results on the peak algebra

The peak algebra is a unital subalgebra of the symmetric group algebra, linearly spanned by sums of permutations with a common set of peaks. By exploiting the combinatorics of sparse subsets of [n−1] (and of certain classes of compositions of n called almost-odd and thin), we construct three new linear bases of . We discuss two peak analogs of the first Eulerian idempotent and construct a basis of semi-idempotent elements for the peak algebra. We use these bases to describe the Jacobson radical of and to characterize the elements of in terms of the canonical action of the symmetric groups on the tensor algebra of a vector space. We define a chain of ideals of , j = 0,..., , such that is the linear span of sums of permutations with a common set of interior peaks and is the peak algebra. We extend the above results to , generalizing results of Schocker (the case j = 0). Aguiar supported in part by NSF grant DMS-0302423 Orellana supported in part by the Wilson Foundation     

On the graph of a function in two variables over a finite field

We show that if the number of directions not determined by a pointset of , of size q² is at least p^e q then every plane intersects in 0 modulo p^e+1 points and apply the result to ovoids of the generalised quadrangles and .     

A Ring Theoretic Construction of Hadamard Difference Sets in ℤ<Subscript>8</Subscript><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>×ℤ<Subscript>2</Subscript><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Let be the Galois ring of characteristic 2³ and rank n and let . We give an explicit construction of Hadamard difference sets in .}Research supported by NSA grant MDA 904-02-1-0080.     

The isometries of the cut, metric and hypermetric cones

We show that the symmetry groups of the cut cone Cut_n and the metric cone Met_n both consist of the isometries induced by the permutations on , that is, for n ≥ 5. For n = 4 we have . This result can be extended to cones containing the cuts as extreme rays and for which the triangle inequalities are facet-inducing. For instance, for n ≥ 5, where Hyp_n denotes the hypermetric cone.     

Remarks on ample vector bundles of curve genus two

Let be an ample vector bundle of rank n – 1 on a smooth complex projective variety X of dimension n≥ 3 such that X is a -bundle over and that for any fiber F of the bundle projection . The pairs with = 2 are classified, where is the curve genus of . This allows us to improve some previous results. Received: 13 June 2006     

On the Range of the Aluthge Transform

Let be the algebra of all bounded linear operators on a complex separable Hilbert space For an operator let be the Aluthge transform of T and we define for all where T = U|T| is a polar decomposition of T. In this short note, we consider an elementary property of the range of Δ. We prove that R(Δ) is neither closed nor dense in However R(Δ) is strongly dense if is infinite dimensional. An erratum to this article is available at .     

On the Optimal Value Function of a Linearly Perturbed Quadratic Program

The optimal value function of the quadratic program , where is a given symmetric matrix, a given matrix, and are the linear perturbations, is considered. It is proved that is directionally differentiable at any point in its effective domain . Formulae for computing the directional derivative of at in a direction are obtained. We also present an example showing that, in general, is not piecewise linear-quadratic on W. The preceding (unpublished) example of Klatte is also discussed.     

Covers of Point-Hyperplane Graphs

A cover of the non-incident point-hyperplane graph of projective dimension 3 for fields of characteristic 2 is constructed. For fields of even order larger than 2, this leads to an elementary construction of the non-split extension of SL₄( )by ⁶.     

Non- (Quantum) Differentiable C 1-Functions in the Spaces with Trivial Boyd Indices

If E is a separable symmetric sequence space with trivial Boyd indices and is the corresponding ideal of compact operators, then there exists a C¹-function f_E, a self-adjoint element and a densely defined closed symmetric derivation δ on such that , but      

The Torsion Theory Generated by <Emphasis Type="Italic">M</Emphasis>-Small Modules

Let M be a right R-module, the class of all M-small modules, and P a projective cover of M in [M]. We consider the torsion theories = ( ), = ( ), and = ( ) in [M], where is the torsion theory generated by is the torsion theory cogenerated by , and is the dual Lambek torsion theory. We study some conditions for to be cohereditary, stable, or split, and prove that Rej(M, ) = M = (= = ) = Gen_M(P) .2000 Mathematics Subject Classification: 16S90     

A Local Analysis of Imprimitive Symmetric Graphs

Let Г be a G-symmetric graph admitting a nontrivial G-invariant partition . Let Г be the quotient graph of Г with respect to . For each block B ∊ , the setwise stabiliser G_B of B in G induces natural actions on B and on the neighbourhood Г (B) of B in Г . Let G_(B) and G_[B] be respectively the kernels of these actions. In this paper we study certain “local actions" induced by G_(B) and G_[B], such as the action of G_[B] on B and the action of G_(B) on Г (B), and their influence on the structure of Г. Supported by a Discovery Project Grant (DP0558677) from the Australian Research Council and a Melbourne Early Career Researcher Grant from The University of Melbourne.     

A class number formula for the p-cyclotomic field

Let p be an odd prime number and . Let be the classical Stickelberger ideal of the group ring . Iwasawa [6] proved that the index equals the relative class number of . In [2], [4] we defined for each subgroup H of G a Stickelberger ideal of , and studied some of its properties. In this note, we prove that when mod 4 and [G : H] = 2, the index equals the quotient . Received: 13 January 2006     

A Topological View of Ramsey Families of Finite Subsets of Positive Integers

If is an initially hereditary family of finite subsets of positive integers (i.e., if and G is initial segment of F then ) and M an infinite subset of positive integers then we define an ordinal index . We prove that if is a family of finite subsets of positive integers such that for every the characteristic function χ_F is isolated point of the subspace

Second-Order Efficient Test for Inhomogeneous Poisson Processes

We observe a realization X ⁽ⁿ⁾ of a Poisson process on the set with intensity function depending on the unknown real parameter . Based on X ⁽ⁿ⁾ we test simple null hypothesis against one sided alternative for given . We improve the level of the well-known locally asymptotically uniformly most powerful (LAUMP) test by using the Edgeworth type expansion for stochastic integral. We show that the improved test is second-order efficient under certain regularity conditions.      

Representation Rings of Lie Superalgebras

Given a Lie superalgebra , we introduce several variants of the representation ring, built as subrings and quotients of the ring of virtual -supermodules, up to (even) isomorphisms. In particular, we consider the ideal of virtual -supermodules isomorphic to their own parity reversals, as well as an equivariant K-theoretic super representation ring on which the parity reversal operator takes the class of a virtual -supermodule to its negative. We also construct representation groups built from ungraded -modules, as well as degree-shifted representation groups using Clifford modules. The full super representation ring , including all degree shifts, is then a -graded ring in the complex case and a -graded ring in the real case. Our primary result is a six-term periodic exact sequence relating the rings , and . We first establish a version of it working over an arbitrary (not necessarily algebraically closed) field of characteristic 0. In the complex case, this six-term periodic long exact sequence splits into two three-term sequences, which gives us additional insight into the structure of the complex super representation ring . In the real case, we obtain the expected 24-term version, as well as a surprising six-term version, of this periodic exact sequence. (Received: October 2004)     

Extreme values of a portfolio of Gaussian processes and a trend

We consider the extreme values of a portfolio of independent continuous Gaussian processes ( ) which are asymptotically locally stationary, with expectations and variances , and a trend for some constants with . We derive the probability for , which may be interpreted as ruin probability. AMS 2000 Subject Classifications Primary—60G15, 62G32, 91B28     

The Invariance Principle for the Total Length of the Nearest-Neighbor Graph

Let be the Poisson point process with intensity 1 in R^d and let be . We obtain a strong invariance principle for the total length of the nearest-neighbor graph on .     

Spectral Asymptotics of the Harmonic Oscillator Perturbed by Bounded Potentials

Consider the operator in where q is a real function with q′ and bounded. The spectrum of T is purely discrete and consists of simple eigenvalues. We determine their asymptotics and we extend these results for complex q.Communicated by Bernard Helffersubmitted 23/04/04, accepted 26/10/04     

The Essential Norm of Hankel Operators on the Weighted Bergman Spaces with Exponential Type Weights

Let denote the closed subspace of consisting of analytic functions in the unit disc . For certain class of subharmonic functions and , it is shown that the essential norm of Hankel operator is comparable to the distance norm from H_f to compact Hankel operators.