Coloured Permutations Containing and Avoiding Certain Patterns

Let be the set of all coloured permutations on the symbols 1, 2, . . . , n with colours 1, 2, . . . , r, which is the analogous of the symmetric group when r = 1, and the hyperoctahedral group when r = 2. Let be a subset of d colours; we define to be the set of all coloured permutations . We prove that the number of -avoiding coloured permutations in . We then prove that for any , the number of coloured permutations in which avoid all patterns in except for and contain exactly once equals . Finally, for any , this number equals . These results generalize recent results due to Mansour, Mansour and West, and Simion.AMS Subject Classification: 05A05, 05A15.     

Spectral triangles of Schrödinger operators with complex potentials

Consider the Schrödinger operator with a complex-valued potential v of period Let and be the eigenvalues of L that are close to respectively, with periodic (for n even), antiperiodic (for n odd), and Dirichelet boundary conditions on [0,1], and let be the diameter of the spectral triangle with vertices We prove the following statement: If then v(x) is a Gevrey function, and moreover      

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     

Beckman-Quarles type theorems for mappings from $$ \mathbb{R}^n $$ to $$ \mathbb{C}^n $$

Summary. Let We say that preserves the distance d 0 if for each implies Let A _n denote the set of all positive numbers d such that any map that preserves unit distance preserves also distance d. Let D _n denote the set of all positive numbers d with the property: if and then there exists a finite set S _xy with such that any map that preserves unit distance preserves also the distance between x and y. Obviously, We prove: (1) (2) for n 2 D _n is a dense subset of (2) implies that each mapping f from to (n 2) preserving unit distance preserves all distances, if f is continuous with respect to the product topologies on and      

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     

The Maximum Size Of Graphs With A Unique<Emphasis Type="Italic">k</Emphasis>- Factor

For suitable positive integers n and k let m(n, k) denote the maximum number of edges in a graph of order n which has a unique k-factor. In 1964, Hetyei and in 1984, Hendry proved for even n and , respectively. Recently, Johann confirmed the following conjectures of Hendry: for and kn even and for n = 2kq, where q is a positive integer. In this paper we prove for and kn even, and we determine m(n, 3).     

Algebras Generated by the Bergman and Anti-Bergman Projections and by Multiplications by Piecewise Continuous Functions

The C*-algebra generated by the Bergman and anti-Bergman projections and by the operators of multiplication by piecewise continuous functions on the Lebesgue space L²(Π) over the upper half-plane is studied. Making use of a local principle, limit operators techniques, and the Plamenevsky results on two-dimensional singular integral operators with coefficients admitting homogeneous discontinuities we reduce the study to simpler C*-algebras associated with points and pairs We construct a symbol calculus for unital C*-algebras generated by n orthogonal projections sum of which equals the unit and by m one-dimensional orthogonal projections. Such algebras are models of local algebras at points z ∈∂Π being the discontinuity points of coefficients. A symbol calculus for the C*- algebra and a Fredholm criterion for the operators are obtained. Finally, a C*-algebra isomorphism between the quotient algebra where is the ideal of compact operators, and its analogue for the unit disk is constructed.     

On the structure of level sets of uniform and Lipschitz quotient mappings from $$ \mathbb{R}^n $$ to $$ \mathbb{R} $$

We study two questions posed by Johnson, Lindenstrauss, Preiss, and Schechtman, concerning the structure of level sets of uniform and Lipschitz quotient mappings from . We show that if , is a uniform quotient mapping then for every has a bounded number of components, each component of separates and the upper bound of the number of components depends only on and the moduli of co-uniform and uniform continuity of .Next we prove that all level sets of any co-Lipschitz uniformly continuous mapping from to are locally connected, and we show that for every pair of a constant and a function with , there exists a natural number , so that for every co-Lipschitz uniformly continuous map with a co-Lipschitz constant and a modulus of uniform continuity , there exists a natural number and a finite set with card so that for all has exactly components, has exactly components and each component of is homeomorphic with the real line and separates the plane into exactly 2 components. The number and form of components of for are also described - they have a finite tree structure.     

C*-Modular Vector States

Let be a C*-algebra and X a Hilbert C* -module. If is a projection, let be the p-sphere of X. For φ a state of with support p in and consider the modular vector state φ_x of given by The spheres provide fibrations

The Ideal Structure of Toeplitz Algebras

We investigate the ideal structure of the Toeplitz algebra of a totally ordered abelian group . We show that the primitive ideals of are parametrised by the disjoint union of the duals of the order ideals of , and identify the hull-kernel topology on when the chain of orderideals in is isomorphic to a subset of      

The dimension of the kernel in finite and infinite intersections of starshaped sets

Summary. We establish the following Helly-type result for infinite families of starshaped sets in Define the function f on {1, 2} by f(1) = 4, f(2) = 3. Let be a fixed positive number, and let be a uniformly bounded family of compact sets in the plane. For k = 1, 2, if every f(k) (not necessarily distinct) members of intersect in a starshaped set whose kernel contains a k-dimensional neighborhood of radius , then is a starshaped set whose kernel is at least k-dimensional. The number f(k) is best in each case. In addition, we present a few results concerning the dimension of the kernel in an intersection of starshaped sets in Some of these involve finite families of sets, while others involve infinite families and make use of the Hausdorff metric.     

On the Singularities of the Magnetic Spectral Shift Function at the Landau Levels

We consider the three-dimensional Schrödinger operators and where , A is a magnetic potential generating a constant magnetic field of strength , and where decays fast enough at infinity. Then, A. Pushnitskis representation of the spectral shift function (SSF) for the pair of operators is well defined for energies We study the behaviour of the associated representative of the equivalence class determined by the SSF, in a neighbourhood of the Landau levels Reducing our analysis to the study of the eigenvalue asymptotics for a family of compact operators of Toeplitz type, we establish a relation between the type of the singularities of the SSF at the Landau levels and the decay rate of V at infinity. Communicated by Bernard HelfferSubmitted 23/09/03, accepted 15/01/04     

A class of bounded operators on Sobolev spaces

We describe a class of nonlinear operators which are bounded on the Sobolev spaces , for and 1 < p < . As a corollary, we prove that the Hardy-Littlewood maximal operator is bounded on , for and 1 < p < ; this extends the result of J. Kinnunen [7], valid for s = 1. Received: 5 December 2000     

A cohomological property of <Emphasis Type="Italic">p</Emphasis>-groups

Let p be a prime, a finite p-group, any finite group with order divisible by p, and any action of on . We show that the cardinality of the set of all derivations with respect to this action is a multiple of p. This generalises theorems of Frobenius and Hall. Received: 16 June 2003     

Proof of the Ergodic Hypothesis for Typical Hard Ball Systems

We consider the system of hard balls with masses and radius r in the flat torus of size . We prove the ergodicity (actually, the Bernoulli mixing property) of such systems for almost every selection of the outer geometric parameters. This theorem complements my earlier result that proved the same, almost sure ergodicity for the case . The method of that proof was primarily dynamical-geometric, whereas the present approach is inherently algebraic. Communicated by Eduard ZehnderSubmitted 17/10/02, accepted 01/12/03     

Transformations of Grassmannians preserving the class of base subsets

Let be a finite-dimensional projective space and be the Grassmannian consisting of all k-dimensional subspaces of . In the paper we show that transformations of sending base subsets to base subsets are induced by collineations of to itself or to the dual projective space . This statement generalizes the main result of the authors paper [19].