On the enumeration of positive cells in generalized cluster complexes and Catalan hyperplane arrangements

Let Φ be an irreducible crystallographic root system with Weyl group W and coroot lattice , spanning a Euclidean space V. Let m be a positive integer and be the arrangement of hyperplanes in V of the form for and . It is known that the number of bounded dominant regions of is equal to the number of facets of the positive part of the generalized cluster complex associated to the pair by S. Fomin and N. Reading. We define a statistic on the set of bounded dominant regions of and conjecture that the corresponding refinement of coincides with the $h$-vector of . We compute these refined numbers for the classical root systems as well as for all root systems when m = 1 and verify the conjecture when Φ has type A, B or C and when m = 1. We give several combinatorial interpretations to these numbers in terms of chains of order ideals in the root poset of Φ, orbits of the action of W on the quotient and coroot lattice points inside a certain simplex, analogous to the ones given by the first author in the case of the set of all dominant regions of . We also provide a dual interpretation in terms of order filters in the root poset of Φ in the special case m = 1. 2000 Mathematics Subject Classification Primary—20F55; Secondary—05E99, 20H15     

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 ⁶.     

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 .     

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 .     

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 Generic Well-posedness of Restricted Chebyshev Center Problems in Banach Spaces

Let B （resp. K, BC,KC） denote the set of all nonempty bounded （resp. compact, bounded convex, compact convex） closed subsets of the Banach space X, endowed with the Hausdorff metric, and let G be a nonempty relatively weakly compact closed subset of X. Let B° stand for the set of all F ∈B such that the problem （F, G） is well-posed. We proved that, if X is strictly convex and Kadec, the set KC ∩ B° is a dense Gδ-subset of KC ／ G. Furthermore, if X is a uniformly convex Banach space, we will prove more, namely that the set B ／B° （resp. K ／ B°, BC ／B°, KC ／ B°） is a-porous in B （resp. K,BC, KC）. Moreover, we prove that for most （in the sense of the Baire category） closed bounded subsets G of X, the set K ／ B° is dense and uncountable in K.     

Structure of Degenerate Block Algebras

Given a non-trivial torsion-free abelian group (A,+,Q), a field F of characteristic 0, and a non-degenerate bi-additive skew-symmetric map : A A F, we define a Lie algebra = (A, ) over F with basis {e_x | x A/{0}} and Lie product [e_x,e_y] = (x,y)e_x+y. We show that is endowed uniquely with a non-degenerate symmetric invariant bilinear form and the derivation algebra Der of is a complete Lie algebra. We describe the double extension D( , T) of by T, where T is spanned by the locally finite derivations of , and determine the second cohomology group H²(D( , T),F) using anti-derivations related to the form on D( , T). Finally, we compute the second Leibniz cohomology groups HL²( , F) and HL²(D( , T), F).2000 Mathematics Subject Classification: 17B05, 17B30This work was supported by the NNSF of China (19971044), the Doctoral Programme Foundation of Institution of Higher Education (97005511), and the Foundation of Jiangsu Educational Committee.     

Group Pairs with Property (T), from Arithmetic Lattices

Let Γ be an arithmetic lattice in an absolutely simple Lie group G with trivial centre. We prove that there exists an integer N ≥ 2, a subgroup Λ of finite index in Γ, and an action of Λ on such that the pair ( ) has property (T). If G has property (T), then so does . If G is the adjoint group of Sp(n, 1), then is a property (T) group satisfying the Baum–Connes conjecture. If Γ is an arithmetic lattice in SO(n, 1), then the associated von Neumann algebra is a II₁-factor in Popa’s class . Elaborating on this result of Popa, we construct a countable family of pairwise nonstably isomorphic group II₁-factors in the class , all with trivial fundamental groups and with all L²-Betti numbers being zero.Mathematics Subject Classiffications (2000). 22E40, 22E47, 46L80, 37A20     

On Some Sets with Even Valued Partition Function

Let IN be the set of positive integers, = {b₁ < ⋅s < b_h}⊂IN, N∊IN and N≥ b_h. = ₀( ,N) is the set (introduced by J.-L. Nicolas, I.Z. Ruzsa and A. Sárközy) such that {1,..., N} = and p( ,n)≡ 0 (mod 2) for n∊IN and n > N, where p( ,n) denotes the number of partitions of n with parts in . Let us denote by σ ( ,n) the sum of the divisors of n belonging to . In a paper jointly written with J.-L. Nicolas, we have recently proved that, for all k≥ 0, the sequence (σ( ,2^k n))_{n≥ 1}mod 2^k+1 is periodic with an odd period q_k. In this paper, we will characterize for any fixed odd positive integer q, the sets and the integers N such that q₀ = q, and those for which q_k = q for all k≥ 0. Moreover, a set = ₀( ,N) is constructed with the property that its period, i.e. the period of (σ( ,n))_{n≥ 1}mod 2, is 217, and for which the counting function is asymptotically equal to that of ₀({1,2,3,4,5},5) which is a set of period 31.Dedicated to Professor J.-L. Nicolas on the occasion of his 60th birthday2000 Mathematics Subject Classification: Primary—11P81, 11P83Research supported by MIRA 2002 program n^o 0203012701, Number Theory, Lyon-Monastir.     

Dynamics of the Mapping Class Group on the Moduli of a Punctured Sphere with Rational Holonomy

Let M be a four-holed sphere and Γ the mapping class group of M fixing the boundary ∂M. The group Γ acts on which is the space of completely reducible SL (2, -gauge equivalence classes of flat SL -connections on M with fixed holonomy on ∂M. Let and be the compact component of the real points of . These points correspond to SU(2)-representations or SL(2, -representations. The Γ-action preserves and we study the topological dynamics of the Γ-action on and show that for a dense set of holonomy , the Γ-orbits are dense in . We also produce a class of representations such that the Γ-orbit of [ρ] is finite in the compact component of , but is dense in SL(2, .Mathematics Subject Classiffications (2000). 57M05, 54H20, 11D99     

Decreasing Subsequences in Permutations and Wilf Equivalence for Involutions

In a recent paper, Backelin, West and Xin describe a map φ^* that recursively replaces all occurrences of the pattern k... 21 in a permutation σ by occurrences of the pattern (k−1)... 21 k. The resulting permutation φ^*(σ) contains no decreasing subsequence of length k. We prove that, rather unexpectedly, the map φ^* commutes with taking the inverse of a permutation. In the BWX paper, the definition of φ^* is actually extended to full rook placements on a Ferrers board (the permutations correspond to square boards), and the construction of the map φ^* is the key step in proving the following result. Let T be a set of patterns starting with the prefix 12... k. Let T′ be the set of patterns obtained by replacing this prefix by k... 21 in every pattern of T. Then for all n, the number of permutations of the symmetric group _n that avoid T equals the number of permutations of _n that avoid T′. Our commutation result, generalized to Ferrers boards, implies that the number of involutions of _n that avoid T is equal to the number of involutions of _n avoiding T′, as recently conjectured by Jaggard. Both authors were partially supported by the European Commission's IHRP Programme, grant HPRN-CT-2001-00272, “Algebraic Combinatorics in Europe”     

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 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.     

Universal Similarity Factorization Equalities over Generalized Clifford Algebras

For any element a in a generalized 2^n-dimensional Clifford algebra Lln （F） over an arbitrary field F of characteristic not equal to two, it is shown that there exits a universal invertible matrix Pn over Lln（F） such that Pn^-1DnPn= φ（α）∈F^2n×2n, where φ（a） is a matrix representation of α over and Dα is a diagonal matrix consisting of a or its conjugate.     

Minimum-Volume Enclosing Ellipsoids and Core Sets

We study the problem of computing a (1+ε)-approximation to the minimum-volume enclosing ellipsoid of a given point set . Based on a simple, initial volume approximation method, we propose a modification of the Khachiyan first-order algorithm. Our analysis leads to a slightly improved complexity bound of operations for . As a byproduct, our algorithm returns a core set with the property that the minimum-volume enclosing ellipsoid of provides a good approximation to that of . Furthermore, the size of depends on only the dimension d and ε, but not on the number of points n. In particular, our results imply that for .We thank the Associate Editor and an anonymous referee for handling our paper efficiently and for helpful comments and suggestions.This author was supported in part by NSF through Grant CCR-0098172.This author was supported in part by NSF through CAREER Grant DMI-0237415.     

The Density of Linear Symplectic Cocycles with Simple Lyapunov Spectrum in YIC（X, SL（2, R））

Let （X, G（X）, m） be a probability space with a-algebra G（X） and probability measure m. The set V in G is called P-admissible, provided that for any positive integer n and positive-measure set Vn∈ contained in V, there exists a Zn∈G such that Zn belong to Vn and 0 〈 m（Zn） 〈 1/n. Let T be an ergodic automorphism of （X, G） preserving m, and A belong to the space of linear measurable symplectic cocycles     

Blocking sets in PG(2, q n ) from cones of PG(2n, q)

Let Ω and be a subset of Σ = PG(2n−1,q) and a subset of PG(2n,q) respectively, with Σ ⊂ PG(2n,q) and . Denote by K the cone of vertex Ω and base and consider the point set B defined by

A classification of martingale Hardy spaces associated with rearrangement-invariant function spaces

Let X be a rearrangement-invariant Banach function space over a complete probability space , and denote by the Hardy space consisting of all martingales such that . We prove that implies for any filtration if and only if Doobs inequality holds in X, where denotes the martingale defined by , n = 0, 1, 2, ..., and a.s.Received: 1 August 2000     

Dichotomy laws for the behaviour near the unit element of group representations

A well known “zero-two law" shows that if is a strongly continuous one-parameter group of bounded operators on a Banach space X, and if then Here we discuss analogous problems for general unital representations θ of a topological group G on a unital Banach algebra A. Let 1 be the unit of G, and I the unit element of A. We show that either or if, moreover, θ admits “continuous division by any positive integer”, then, either or Our argument also gives automatic continuity results for representations of abelian Baire groups on a separable Banach algebra and representations of compact non abelian groups on a Banach algebra which are locally bounded and satisfy Received: 8 June 2005; revised: 13 October 2005