Specialization, inequality and the social stability of economies with collective property rights

Many, if not most, economies are observed to exhibit some form of collective ownership with some goods. These economies may fail to be socially stable, in the sense that the economy has an empty core; some groups may have an incentive to ‘recontract out’. We show that, for a class of economies with collective ownership, sufficient ‘specialization’ in the endowment holdings of these economies gives rise to a non-empty core, so achieving social stability. It is shown, moreover, that reductions in income inequality are consistent with social stability, to the extent that these reductions preserve or increase ‘specialization’ in the economy. Finally, we show that our notion of specialization is not limited to the privatized sector of the economy. Even in economies in which there is no privately held property, sufficient specialization guarantees that the economy is socially stable.     

Cyclic permutations and evolutionary trees

Given a tree with leaf set X, there are certain ways of arranging the elements of X in a circular order so that can be embedded in the plane and ‘preserve’ this ordering. We investigate some new combinatorial properties of these ‘circular orderings.’ We then use these properties to establish two results concerning dissimilarity maps on X that are induced by edge-weighted trees with leaf set X.     

The Heegaard Genus of Amalgamated 3-Manifolds

Let M and M′ be simple 3-manifolds, each with connected boundary of genus at least two. Suppose that Mand M′ are glued via a homeomorphism between their boundaries. Then we show that, provided the gluing homeomorphism is ‘sufficiently complicated’, the Heegaard genus of the amalgamated manifold is completely determined by the Heegaard genus of Mand M′ and the genus of their common boundary. Here, a homeomorphism is ‘sufficiently complicated’ if it is the composition of a homeomorphism from the boundary ofM to some surface S, followed by a sufficiently high power of a pseudo-Anosov onS, followed by a homeomorphism to the boundary of M′. The proof uses the hyperbolic geometry of the amalgamated manifold, generalised Heegaard splittings and minimal surfaces.     

Estimation of a mean in the presence of an extreme observation

The performance of Anscombe, semi-Winsorization and Winsorization (A, S and W) rules for dealing with extreme observations are investigated for observations from N(μ, σ²) and the simple case where it is assumed that at most one observation in the sample may be biased, arising from N(μ + aσ, σ²) and the primary objective is to estimate μ when σ is unknown. Each of these rules is separately treated in terms of the estimated standard deviation, range and interquartile range. A Monte Carlo method is used to evaluate certain expectation integrals that arise in the computations. We give the results for sample sizes n = 6, 8, 10, 12, 14, 16, 20, 30, 40, 50, 60, 80, 100 of determining the constants necessary to give ‘premiums’ of 0.01 and 0.05 for each of the rules. The performance of the rules is measured in terms of ‘protection’. Features of the resulting tables are discussed.     

Quantum repulsive Nonlinear Schrödinger models and their ‘Superconductivity’

The fundamental role played by the quantum repulsive Nonlinear Schrödinger (NLS) equation in the evolution of our understanding of the phenomenon of superconductivity in appropriate metals at very low temperatures is surveyed. The first major work was that in 1947 by N. N. Bogoliubov, who studied the very physical 3-space-dimensions problem and super fluidity; and the survey takes the form of an actual dedication to that outstanding scientist who died four years ago. The 3-space-dimensions NLS equation is not integrable either classically or quantum mechanically. But a number of recently discovered closely related lattices in one space dimension (one space plus one time dimension) are integrable as both classical lattices and quantum lattices while their continuum limits are the now well-known fundamental and integrable system the quantum ‘Bose gas’. These models are all examined in this paper in a physical application of recent so-called ‘quantum groups’ theory, itself fundamental to integrability theory. The ‘superfluid’ phase transitions shown by these lattices, as well as by the bose gas, all at zero temperature in 1 + 1 dimensions, are analysed in terms of the behaviour of certain lattice correlation functions which are either quantum or, in the case of the so-called XY-model, classical correlation functions. Although the repulsive NLS models in 1 + 1 are integrable, they do not have actual soliton solutions. Nevertheless the material as surveyed here is a fundamental application of soliton-theory in the broader context of integrability or near-integrability which has had profound effects in the evolution of current understandings in all of modern theoretical physics.     

An algebraical system for polynomial representation of k-valued logical functions

An algebraical system < A_k;+; >, in which ‘almost each’ k-valued logical function (k-composite integer) had representation in the form of polynomial in modulo k, is presented.     

Subtractive Categories

We introduce a notion of a subtractive category. It generalizes the notion of a pointed subtractive variety of universal algebras in the sense of A. Ursini. Subtractive categories are closely related to Mal’tsev and additive categories: (i) a category C with finite limits is a Mal’tsev category if and only if for every object X in C the category Pt(X)=((X,1_X)↓(C↓X)) of “points over X” is subtractive; (ii) a pointed category C with finite limits is additive if and only if C is subtractive and half-additive.Mathematics Subject Classifications (2000) 18C99, 18E05, 08B05.     

Component-by-Component Construction of Good Lattice Rules with a Composite Number of Points

We develop algorithms to construct rank-1 lattice rules in weighted Korobov spaces of periodic functions and shifted rank-1 lattice rules in weighted Sobolev spaces of non-periodic functions. Analyses are given which show that the rules so constructed achieve strong QMC tractability error bounds. Unlike earlier analyses, there is no assumption that n, the number of quadrature points, be a prime number. However, we do assume that there is an upper bound on the number of distinct prime factors of n. The generating vectors and shifts characterizing the rules are constructed ‘component-by-component,’ that is, the (d+1)th components of the generating vectors and shifts are obtained using one-dimensional searches, with the previous d components kept unchanged.     

Dyadic Mappings and Dyadic Superparacompact Topological Groups

We introduce the notion of a dyadic superparacompactum which generalizes the classical notion of a dyadic bicompactum and give an analog of V. I. Kuz’minov and L. N. Ivanovskii’s Theorem on dyadicity of the space of a bicompact topological group for superparacompact groups. Moreover, we generalize L. S. Pontryagin’s Theorem on existence of an open bicompact subgroup in each neighborhood of unity of a locally bicompact totally disconnected topological group.Original Russian Text Copyright © 2005 Musaev D. K.__________Translated from Sibirskii Matematicheskii Zhurnal, Vol. 46, No. 4, pp. 851–859, July–August, 2005.     

Binary relations as single primitive notions for hyperbolic three-space and the inversive plane

By interpreting J.A. Lester's [9] result on inversive-distance-preserving mappings as an axiomatizability statement, and by using the Liebmann isomorphism between the inversive plane and hyperbolic three-space, we point out that hyperbolic three-spaces (and inversive geometry) coordinatized by Euclidean fields can be axiomatized with planes (or circles) as variables, by using only the plane-orthogonality (or circle-orthogonality) predicate _p (or _c), or by using only the predicate δ′ (or δ), where δ′(p,p′) (or δ(A, B)) is interpreted as ‘the distance between the planes p and p′ is equal to the length of the segment s whose angle of parallelism is (i. e. II(s) = )’ (or as ‘the numerical distance between the disjoint circles A and B has the value , which corresponds to s via Liebmann's isomorphism’).     

Projective Completions of Jordan Pairs,Part II: Manifold Structures and Symmetric Spaces

We define symmetric spaces in arbitrary dimension and over arbitrary non-discrete topological fields , and we construct manifolds and symmetric spaces associated to topological continuous quasi-inverse Jordan pairs and -triple systems. This class of spaces, called smooth generalized projective geometries, generalizes the well-known (finite or infinite-dimensional) bounded symmetric domains as well as their ‘compact-like’ duals. An interpretation of such geometries as models of Quantum Mechanics is proposed, and particular attention is paid to geometries that might be considered as ‘standard models’ – they are associated to associative continuous inverse algebras and to Jordan algebras of hermitian elements in such an algebra.Mathematics Subject Classiffications (2000). primary: 17C36, 46H70, 17C65; secondary: 17C30, 17C90     

Path-dependent processes and the emergence of macro-structure

Path-dependent systems of the ‘autocatalytic’ or self-reinforcing type typically possess a multiplicity of possible asymptotic outcomes or structures, with early random fluctuations determining which structure is ‘selected’.We explore a wide class of such systems, which we call non-linear Polya systems, where increments to proportions or concentrations occur with probabilities that are non-linear functions of present proportions or concentrations. We show that such systems converge to outcomes (proportions or concentrations) that are represented by the stable fixed points of these functions. These limit theorems are strong laws of large numbers for path-dependent increments, and as such they generalize the standard Borel strong law for independent increments. They are powerful and easy to use.We show applications in chemical kinetics, industrial location theory and in the emergence of technological structure in the economy.     

Linguistic modelling and information coarsening based on prototype theory and label semantics

The theory of prototypes provides a new semantic interpretation of vague concepts. In particular, the calculus derived from this interpretation results in the same calculus as label semantics proposed by Lawry. In the theory of prototypes, each basic linguistic label L has the form ‘about P’, where P is a set of prototypes of L and the neighborhood size of the underlying concept is described by the word ‘about’ which represents a probability density function δ on [0,+∞). In this paper we propose an approach to vague information coarsening based on the theory of prototypes. Moreover, we propose a framework for linguistic modelling within the theory of prototypes, in which the rules are concise and transparent. We then present a linguistic rule induction method from training data based on information coarsening and data clustering. Finally, we apply this linguistic modelling method to some benchmark time series prediction problems, which show that our linguistic modelling and information coarsening methods are potentially powerful tools for linguistic modelling and uncertain reasoning.     

Families of m-convex polygons:

Polygons are described as almost-convex if their perimeter differs from the perimeter of their minimum bounding rectangle by twice their ‘concavity index’, m. Such polygons are called m-convex polygons. We first use the inclusion–exclusion principle to rederive the known generating function for 1-convex self-avoiding polygons (SAPs). We then use our results to derive the exact anisotropic generating functions for osculating and neighbour-avoiding 1-convex SAPs, their isotropic form having recently been conjectured.     

Higher order differentiability properties of the composition and of the inversion operator

This paper contains theorems of r-th order Fréchet differentiability, with r≥1, for the autonomous composition operator and for the inversion operator in Schauder spaces. The optimality of the differentiability theorems for the composition is indicated by means of an ‘inverse result’. A main point of this paper is that (higher order) ‘sharp’ differentiability theorems for the composition operator can be proved by approximating the operator by composition operators whose superposing function is a polynomial, an idea which may be employed in other function space settings.     

Interpolation of characteristic classes of singular hypersurfaces

We show that the Chern–Schwartz–MacPherson class of a hypersurface X in a nonsingular variety M ‘interpolates’ between two other notions of characteristic classes for singular varieties, provided that the singular locus of X is smooth and that certain numerical invariants of X are constant along this locus. This allows us to define a lift of the Chern–Schwartz–MacPherson class of such ‘nice’ hypersurfaces to intersection homology. As another application, the interpolation result leads to an explicit formula for the Chern–Schwartz–MacPherson class of X in terms of its polar classes.     

Linear homeomorphisms of non-classical Hilbert spaces

Let K be a complete infinite rank valued field. In [4] we studied Norm Hilbert Spaces (NHS) over K i.e. K-Banach spaces for which closed subspaces admit projections of norm ≤ 1. In this paper we prove the following striking properties of continuous linear operators on NHS. Surjective endomorphisms are bijective, no NHS is linearly homeomorphic to a proper subspace (Theorem 3.7), each operator can be approximated, uniformly on bounded sets, by finite rank operators (Theorem 3.8). These properties together — in real or complex theory shared only by finite-dimensional spaces — show that NHS are more ‘rigid’ than classical Hilbert spaces.     

Odd Unitary Groups

In the present paper, we introduce a new type of classical-like groups, the so-called odd unitary groups. This notion covers the cases of Bak’s quadratic groups and Hermitian groups. The normality of the elementary subgroup and the surjective stability of the K₁-functor are proved in this context. Bibliography: 23 titles.__________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 305, 2003, pp. 195–225.     

Classification of a family of symmetric graphs with complete 2-arc-transitive quotients

In this paper we give a classification of a family of symmetric graphs with complete 2-arc-transitive quotients. Of particular interest are two subfamilies of graphs which admit an arc-transitive action of a projective linear group. The graphs in these subfamilies can be defined in terms of the cross ratio of certain 4-tuples of elements of a finite projective line, and thus may be called the second type ‘cross ratio graphs’, which are different from the ‘cross ratio graphs’ studied in [A. Gardiner, C. E. Praeger, S. Zhou, Cross-ratio graphs, J. London Math. Soc. (2) 64 (2001), 257–272]. We also give a combinatorial characterisation of such second type cross ratio graphs.     

Regional controllability of semilinear degenerate parabolic equations in bounded domains

In this paper we study controllability properties of semilinear degenerate parabolic equations. Due to degeneracy, classical null controllability results do not hold in general. Thus we investigate results of ‘regional null controllability’, showing that we can drive the solution to rest at time T on a subset of the space domain, contained in the set where the equation is nondegenerate.