‘Outside’ as a primitive notion in constructive projective geometry

In intuitionistic (or constructive) geometry there are positive counterparts, apart and outside, of the relations = and incident. In this paper it is shown that the relation outside suffices to define incident, apart and equality. The equivalence of the new system with Heyting's system is shown and as a simple corollary one obtains duality for intuitionistic projective geometry.     

Invariant Subspaces for Positive Operators Acting on a Banach Space with Markushevich Basis

We introduce weak quasinilpotence for operators. Then, by substituting Markushevich basis and weak quasinilpotence at a nonzero vector for Schauder basis and quasinilpotence at a nonzero vector, respectively, we answer a question on the invariant subspaces of positive operators in [3].     

Differences of Convex Compact Sets in the Space of Directed Sets. Part I: The Space of Directed Sets

A normed and partially ordered vector space of so-called directed sets is constructed, in which the convex cone of all nonempty convex compact sets in R ⁿ is embedded by a positively linear, order preserving and isometric embedding (with respect to a new metric stronger than the Hausdorff metric and equivalent to the Demyanov one). This space is a Banach and a Riesz space for all dimensions and a Banach lattice for n=1. The directed sets in R ⁿ are parametrized by normal directions and defined recursively with respect to the dimension n by the help of a support function and directed supporting faces of lower dimension prescribing the boundary. The operations (addition, subtraction, scalar multiplication) are defined by acting separately on the support function and recursively on the directed supporting faces. Generalized intervals introduced by Kaucher form the basis of this recursive approach. Visualizations of directed sets will be presented in the second part of the paper.     

Transient solution for a finite capacity M/G a,b /1 queueing system with vacations to the server

In this paper we consider a single server queueing system with Poisson input, general service and a waiting room that allows only a maximum of b customers to wait at any time. A minimum of a customers are required to start a service and the server goes for a vacation whenever he finds less than a customers in the waiting room after a service. If the server returns from a vacation to find less than a customers waiting, he begins another vacation immediately. Using the theory of regenerative processes we derive expressions for the time dependent system size probabilities at arbitrary epochs.     

The Hyperbell Algorithm for Global Optimization: A Random Walk Using Cauchy Densities

This article presents a new algorithm, called theHyperbell Algorithm, that searches for the global extrema ofnumerical functions of numerical variables. The algorithm relies on theprinciple of a monotone improving random walk whose steps aregenerated around the current position according to a gradually scaleddown Cauchy distribution. The convergence of the algorithm is provenand its rate of convergence is discussed. Its performance is tested onsome hard test functions and compared to that of other recentalgorithms and possible variants. An experimental study of complexityis also provided, and simple tuning procedures for applications areproposed.     

Détecteur de tridents dans les émulsions photographiques nucléaires

Summary The direct creation of an electron-positron pair by a high-energy charged particle manifests itself in a certain type of track configuration which is known as a trident. A device for automatic scanning and detection of tridents in nuclear emulsion is described. The device consists of two main parts: a TV camera which analyses the magnified image of the emulsion and a logical detection unit which counts all the observed tracks and also counts the track configurations which may correspond to tridents. The performance of the apparatus is discussed.     

New elliptic potentials

We construct all tangential covers as zeroes of a particular set of polynomials. The resulting pointed curves give rise, through the Krichever dictionary, to elliptic KP solitons. We then give a criterion to detect the so-called hyperelliptic-tangential covers, which give rise to elliptic KdV solitons. Finally we construct new examples of the latter covers and write down the corresponding (doubly periodic finite-gap) source potentials.Dedicated to the memory of J.-L. Verdier     

Generalized logic and the representation of rings

Following the progression towards weaker logics, a number of authors have considered the notion of a sheaf over a quantale or, equivalently, a quantale valued set. In this paper, we use ideas from enriched category theory to motivate the definition of a quantic sheaf. Given a localic subquantale of Q, a quantic sheaf over Q gives a sheaf in the usual sense. As an application, we derive a series of sheaf representations for commutative rings including the familiar Pierce representation.     

Linearity properties of Shimura varieties, II

Let A=A_{g, 1, n} denote the moduli scheme over Z[1/N] of p.p. g-dimensional abelian varieties with a level n structure; its generic fibre can be described as a Shimura variety. We study its Shimura subvarieties. If x A is an ordinary moduli point in characteristic p, then we formulate a local linearity property in terms of the Serre–Tate group structure on the formal deformation space (= formal completion of A at x). We prove that an irreducible algebraic subvariety of A is a Shimura subvariety if, locally at an ordinary point x, it is formally linear. We show that there is a close connection to a differential-geometrical linearity property in characteristic 0.We apply our results to the study of Oort's conjecture on subvarieties Z A with a dense collection of CM-points. We give a reformulation of this conjecture, and we prove it in a special case.     

On minimizing the jump number for interval orders

The purpose of this paper is to give an effective characterization of all interval orders which are greedy with respect to the jump number problem.This research (Math/1406/30) was supported by the Research Center, College of Science, King Saud University, Riyadh, Saudi Arabia.     

Risikominimierung bei der Portfolioplanung unter besonderer Berücksichtigung singulärer Kovarianzmatrizen

Zusammenfassung Bisher waren die Untersuchungen über Erwartungswert-Streuungs-effiziente Wertpapiermischungen auf den Fall nichtsingulärer Kovarianzmatrizen beschränkt. Der Fall singulärer Kovarianzmatrizen war bisher nicht konstruktiv behandelt worden. Es wird in dem vorstehenden Papier in einem allgemeinen Ansatz, der auch den Fall singulärer Kovarianzmatrizen zuläßt, die allgemeine Gültigkeit des Separationstheorems und des Zwei-Fonds-Theorems nachgewiesen.

---

Summary Previous studies of mean-variance-efficient portfolios got constructive results in the case of non-singular covariance matrices only, singular covariance matrices were not treated in a constructional way. The present paper proves the Separation Theorem and the Two-Fonds-Theorem within a general framework including the case of singular covariance matrices.

     

A Numerical Comparison of Some Modified Controlled Random Search Algorithms

In this paper we propose a new version of the Controlled Random Search(CRS) algorithm of Price. The new algorithmhas been tested on thirteen global optimization test problems. Numericalexperiments indicate that the resulting algorithm performs considerablybetter than the earlier versions of the CRS algorithms. The algorithm,therefore, could offer a reasonable alternative to many currently availablestochastic algorithms, especially for problems requiring direct searchtype methods. Also a classification of the CRS algorithms is made based onglobal technique – local technique and the relative performance ofclasses is numerically explored.     

χ-Embeddings of ordered sets

We use the technique of -Embeddings to study retracts and varieties of ordered sets. We investigate the class of all ordered sets which are retract of every ordered set in which is -Embedded.     

Bruck-Ryser abstract theorem and symmetric designs

In [3] U. Ott introduced a Bruck-Ryser abstract theorem concerning lattices of an R-module. As one of the applications of this theorem, he obtained a new proof of the Bruck-Ryser theorem for finite projective planes and studied p-curves in a projective plane. In this paper, we apply the Bruck-Ryser abstract theorem in order to give a new proof of the Bruck-Ryser-Chowla theorem for symmetric (v, k, )-design with (v, k, )=1, and to study p-curves in arbitrary symmetric designs.     

Two-dimensional groups, orbifolds and tilings

Given the triangulation of a 2-dimensional orbifold in terms of the Delaney-Dress symbol of a periodic tiling, we discuss how to compute its orbifold symbol, as defined by J. Conway. It is shown that the number of types of equivariant tilings depends only on the form of the corresponding orbifold symbols. The method is applied to obtain a refined classification of equivariant tilings for certain hyperbolic symmetry groups.Supported by the Deutsche Forschungsgemeinschaft.     

On pure equilibria for bimatrix games

In Shapley (1964) several conditions are given for the existence of pure saddlepoints for a matrix game. In this paper we show that only a few of these conditions, when translated to the situation of a bimatrix game guarantee the existence of pure equilibria. Further, we associate with a bimatrix game a directed graph as well as a so-called binary game. If this graph has no cycles, then the bimatrix game in question has a pure equilibrium. It is shown that the binary game for a bimatrix game without a pure equilibrium possesses a fundamental subgame, which can be characterized by means of minimal cycles.     

An action functional for Lévy Brownian motion

Stoll's construction [7] of Lévy Brownian motion l on ^d as a white noise integral is used to obtain an action functional I(x) defined for the surfaces x of l. This provides a Cameron-Martin formula for translation of Lévy measure , and also a large deviation principle for scaled Lévy measures . Proofs follow the lines of [2], where nonstandard techniques were used to give natural proofs of the corresponding results for Wiener measure.The research for this paper was supported partly by a grant from the SERC.     

Foundational Isomorphisms in Continuous Differentiation Theory

We provide an elementary proof of existence for the Foundational Isomorphism in each of the categories of convergence spaces, compactly generated topological spaces and sequential convergence spaces. This isomorphism embodies the germ of differentiation and its inverse the germ of integration.     

A Categorical Definition of Semidirect Products

For any punctured category, a definition of a semidirect product and its dual counterpart, a semidirect sum, is given. Several examples are studied, among which are semidirect products of commutative Banach algebras and locally compact topological groups, and semidirect sums of compact Hausdorff spaces with basepoint. Also, further applications to commutative Banach algebras are given.     

Special Varieties and Classification Theory: An Overview

Lang's conjectures link the geometric, hyperbolic, and arithmetic properties of projective complex varieties of general type. We propose here an extension of these conjectures to arbitrary projective varieties X. This extension rests on the notion of special variety. This class contains manifolds either rationally connected or with vanishing Kodaira dimension. We further construct for any X its core, which is a fibration c _X : XC(X) with general fibre special and orbifold base of general type. This fibration seems to permit us to decompose X according to the dichotomy special vs general type, and not only leads to the above-mentioned extension of Lang's conjectures but also to a simple global view of classification theory.