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.     

Forbidden (0,1)-vectors in Hyperplanes of $$\mathbb{R}^{n}$$: The unrestricted case

In this paper, we continue our investigation on “Extremal problems under dimension constraints” introduced [1]. The general problem we deal with in this paper can be formulated as follows. Let be an affine plane of dimension k in . Given determine or estimate .Here we consider and solve the problem in the special case where is a hyperplane in and the “forbidden set” . The same problem is considered for the case, where is a hyperplane passing through the origin, which surprisingly turns out to be more difficult. For this case we have only partial results.AMS Classification: 05C35, 05B30, 52C99     

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     

Elliptic Curves Suitable for Pairing Based Cryptography

For pairing based cryptography we need elliptic curves defined over finite fields whose group order is divisible by some prime with where k is relatively small. In Barreto et al. and Dupont et al. [Proceedings of the Third Workshop on Security in Communication Networks (SCN 2002), LNCS, 2576, 2003; Building curves with arbitrary small Mov degree over finite fields, Preprint, 2002], algorithms for the construction of ordinary elliptic curves over prime fields with arbitrary embedding degree k are given. Unfortunately, p is of size .We give a method to generate ordinary elliptic curves over prime fields with p significantly less than which also works for arbitrary k. For a fixed embedding degree k, the new algorithm yields curves with where or depending on k. For special values of k even better results are obtained.We present several examples. In particular, we found some curves where is a prime of small Hamming weight resp. with a small addition chain.AMS classification: 14H52, 14G50     

Computing the Minkowski Sum of Prisms

Within this paper we study the Minkowski sum of prisms (“Cephoids”) in a finite dimensional vector space. For a vector with positive components we write and denote by the associated prism. We provide a representation of a finite sum of prisms in terms of inequalities. Dedicated to the 65th birthday of Alexander Rubinov.     

Common periodic trajectories of interval maps

We prove that for any continuous piecewise monotone or smooth interval map f and any subset of the set of periods of periodic trajectories of f, there is another map such that the set of periods of periodic trajectories common for f and , which is denoted by , coincides with . At the same time, for each integer , there exists a continuous map f such that for any map if is an infinite set. Dedicated to Vladimir Igorevich Arnold     

Multivariable moment problems

In this paper we solve moment problems for Poisson transforms and, more generally, for completely positive linear maps on unital C^*-algebras generated by universal row contractions associated with , the free semigroup with n generators. This class of C*-algebras includes the Cuntz-Toeplitz algebra (resp. ) generated by the creation operators on the full (resp. symmetric, or anti-symmetric)) Fock space with n generators. As consequences, we obtain characterizations for the orbits of contractive Hilbert modules over complex free semigroup algebras such as ,and, more generally, the quotient algebra , where J is an arbitrary two-sided ideal of . All these results are extended to the generalized Cuntz algebra , where G_i⁺ are the positive cones ofdiscrete subgroups G_i⁺ of the real line . Moreover, we characterize the orbits of Hilbert modules over the quotient algebra , where J is an arbitrary two-sided ideal ofthe free semigroup algebra .     

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.     

Remarks on balance in generalized Tate cohomology

We consider two pairs of complete hereditary cotorsion theories on the category of left R-modules, such that We prove that for any left R-modules M, N and for any n ≧ 1, the generalized Tate cohomology modules can be computed either using a left of M and a left of M or using a right a right of N. Received: 17 December 2004