Homotopy Methods for Solving Variational Inequalities in Unbounded Sets

In this paper, for solving the finite-dimensional variational inequality problem

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     

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     

Auxiliary Problem Principle and Proximal Point Methods

An extension of the auxiliary problem principle to variational inequalities with non-symmetric multi-valued operators in Hilbert spaces is studied. This extension concerns the case that the operator is split into the sum of a single-valued operator , possessing a kind of pseudo Dunn property, and a maximal monotone operator . The current auxiliary problem is k constructed by fixing at the previous iterate, whereas (or its single-valued approximation ^k) k is considered at a variable point. Using auxiliary operators of the form ^k+ , with _k>0, the standard for the auxiliary problem principle assumption of the strong convexity of the function h can be weakened exploiting mutual properties of and h. Convergence of the general scheme is analyzed and some applications are sketched briefly.     

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.     

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     

Exponential Dichotomy on the Real Line and Admissibility of Function Spaces

The purpose of this paper is to give characterizations for uniform exponential dichotomy of evolution families on the real line. We consider a general class of Banach function spaces denoted and we prove that if with and the pair is admissible for an evolution family then is uniformly exponentially dichotomic. By an example we show that the admissibility of the pair for an evolution family is not a sufficient condition for uniform exponential dichotomy. As applications, we deduce necessary and sufficient conditions for uniform exponential dichotomy of evolution families in terms of the admissibility of the pairs and with      

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     

Sampling Theory Associated with a Symmetric Operator with Compact Resolvent and De Branges Spaces

Let be a symmetric operator with compact resolvent defined in a Hilbert space For any fixed we consider an entire function K_a which involves the resolvent of Associated with K_a we obtain, by duality in a Hilbert space of entire functions which becomes a De Branges space of entire functions. This property provides a characterization of regardless of the anti-linear mapping which has as its range space. There exists also a sampling formula allowing to recover any function in from its samples at the sequence of eigenvalues of This work has been supported by the grant BFM2003–01034 from the D.G.I. of the Spanish Ministerio de Ciencia y Tecnología.     

Locally finite varieties of Heyting algebras

We show that for a variety of Heyting algebras the following conditions are equivalent: (1) is locally finite; (2) the -coproduct of any two finite -algebras is finite; (3) either coincides with the variety of Boolean algebras or finite -copowers of the three element chain are finite. We also show that a variety of Heyting algebras is generated by its finite members if, and only if, is generated by a locally finite -algebra. Finally, to the two existing criteria for varieties of Heyting algebras to be finitely generated we add the following one: is finitely generated if, and only if, is residually finite. Received November 11, 2001; accepted in final form July 25, 2005.     

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)     

{\left( {\mathfrak{V},\mathfrak{W}} \right)}{\text{-cotorsion pairs}}

Let R be a unital associative ring and two classes of left R-modules. In this paper we introduce the notion of a In analogy to classical cotorsion pairs as defined by Salce [10], a pair of subclasses and is called a if it is maximal with respect to the classes and the condition for all and Basic properties of are stated and several examples in the category of abelian groups are studied. Received: 17 March 2005     

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 .     

Local Schur’s Lemma and Commutative Semifields

A set of linear maps , V a finite vector space over a field K, is regular if to each there corresponds a unique element such that R(x)=y. In this context, Schur’s lemma implies that is a field if (and only if) it consists of pairwise commuting elements. We consider when is locally commutative: at some μ ∈V*, AB(μ)=BA(μ) for all , and has been normalized to contain the identity. We show that such locally commutative are equivalent to commutative semifields, generalizing a result of Ganley, and hence characterizing commutative semifield spreads within the class of translation planes. This enables the determination of the orders |V| for which all locally commutative on V are (globally) commutative. Similarly, we determine a sharp upperbound for the maximum size of the Schur kernel associated with strictly locally commutative . We apply our main result to demonstrate the existence of a partial spread of degree 5, with nominated shears axis, that cannot be extend to a commutative semifield spread. Finally, we note that although local commutativity for a regular linear set implies that the set of Lie products consists entirely of singular maps, the converse is false.     

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      

A Helly-type transversal theorem for n-dimensional unit balls

Let be a family of unit balls in with the property that the mutual distances of the centers are at least . If any n² members of have a common line transversal, then has a line transversal too. Received: 27 January 2005; revised: 17 October 2005     

The geometry of rational parameterized representations

We study the projective space of univariate rational parameterized equations of degree d or less in real projective space The parameterized equations of degree less than d form a special algebraic variety We investigate the subspaces on and their relation to rational curves in give a geometric characterization of the automorphism group of and outline applications of the theory to projective kinematics.     

Congruence properties in congruence permutable and in ideal determined varieties, with applications.

We define a weak version of EDPC (equationally definable principal congruences), called EDPC*, that is shown to be preserved under varietal closure in congruence permutable varieties. We show that if is a congruence permutable variety generated by a class then has EDPC iff has EDPC* iff has EDPC*. An equational condition is given which, if satisfied by implies that has the CEP (congruence extension property). Similar results are proved for ideal determined varieties. These results are applied to the variety of residuated lattices, with examples.Received January 15, 2004; accepted in final form October 8, 2004.     

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     

Distance sets corresponding to convex bodies

Suppose that is a 0-symmetric convex body which denes the usual norm