Finitely additive integration and local integration with respect to upper integrals

Summary We study the integration theory for general integral metrics when restricted to upper integrals q, finding improvements in the relation between the classes of the q-integrable and the q_l-integrable functions. We give new results and notions which lead to the desirable characterizations of q-integrable functions as q_l-integrable f with q(|f|) < ∞, and of q_l-integrable functions via the integrability of their upper truncations, under natural conditions which are fulfilled in most finitely additive integration theories.     

Physics, mind, society: Back and forth

The life course of the physicist and biologist George Feher may be seen as an epitome of science of the second half of the 20th century and the beginning of the 21st century. Feher, a native of Slovakia, barely escaped Nazism and communism and became a scientist in the USA. The Nazi concentration camps and the communist gulags have become a symbol of the 20th century. This symbol stands here to pose a question: How the two totalitarian systems, fraught with irrationality, may have arisen and thrived in parallel with an unprecedented expansion of science, the paragon of rationalism? The question has become even more urgent in the 21st century. The Ground Zero, an empty spot left after the collapse of the twin towers of the World Trade Center on 11 September 2001, has become the symbol of the entrance of humankind into the new millennium. We can do much, but we understand too little about who we are and what we are doing — this is a message that the two symbols convey about the precarious stage of our evolution. The second message concerns the role of artifacts, specifically scientific instruments, in the advancement of science. Human cultural evolution has been steadily progressing, in a form of a ratchet, only because artifacts have been continually evolving. Contrary to the common Popperian wisdom, the demarcation in science may not consist in the amenability to theoretical falsification, but rather in the amenability to instrumental grasping. Scientific instruments have empowered humans for impressive feats of manipulation with Nature and themselves. Knowledge arising in the course of autonomous evolution of artifacts may surpass the horizon of human understanding and grasping. New knowledge may still be power, but no longer the power of humans. We may need a revision of some fundamental ideas of European thought. Our understanding of the human mind may entirely reshape our comprehension of the nature of physical knowledge, and vice versa.     

Eigenvalue ratios of vibrating strings

Summary New results for the eigenvalue ratios of vibrating strings are presented partially in connection with previous results concerning Schr?dinger operators.     

Sequencing games without initial order

In this note we study uncertainty sequencing situations, i.e., one-machine sequencing situations in which no initial order is specified. We associate cooperative games with these sequencing situations, study their core, and provide links with the classic sequencing games introduced by Curiel et al. (Eur J Oper Res 40:344–351, 1989). Moreover, we propose and characterize two simple cost allocation rules for uncertainty sequencing situations with equal processing times.     

Group-valued measures on coarse-grained quantum logics

In [3] it was shown that a (real) signed measure on a cyclic coarse-grained quantum logic can be extended, as a signed measure, over the entire power algebra. Later ([9]) this result was re-proved (and further improved on) and, moreover, the non-negative measures were shown to allow for extensions as non-negative measures. In both cases the proof technique used was the technique of linear algebra. In this paper we further generalize the results cited by extending group-valued measures on cyclic coarse-grained quantum logics (or non-negative group-valued measures for lattice-ordered groups). Obviously, the proof technique is entirely different from that of the preceding papers. In addition, we provide a new combinatorial argument for describing all atoms of cyclic coarse-grained quantum logics.     

Spectral Properties of Four-Dimensional Compact Flat Manifolds

We study the spectral properties of a large class of compact flat Riemannian manifolds of dimension 4, namely, those whose corresponding Bieberbach groups have the canonical lattice as translation lattice. By using the explicit expression of the heat trace of the Laplacian acting on p-forms, we determine all p-isospectral and L-isospectral pairs and we show that in this class of manifolds, isospectrality on functions and isospectrality on p-forms for all values of p are equivalent to each other. The list shows for any p, 1 ≤ p ≤ 3, many p-isospectral pairs that are not isospectral on functions and have different lengths of closed geodesics. We also determine all length isospectral pairs (i.e. with the same length multiplicities), showing that there are two weak length isospectral pairs that are not length isospectral, and many pairs, p-isospectral for all p and not length isospectral. Mathematics Subject Classifications (2000): 58J53, 58C22, 20H15.     

Hilbert Space of Probability Density Functions Based on Aitchison Geometry

The set of probability functions is a convex subset of L1 and it does not have a linear space structure when using ordinary sum and multiplication by real constants. Moreover, difficulties arise when dealing with distances between densities. The crucial point is that usual distances are not invariant under relevant transformations of densities. To overcome these limitations, Aitchison＇s ideas on compositional data analysis are used, generalizing perturbation and power transformation, as well as the Aitchison inner product, to operations on probability density functions with support on a finite interval. With these operations at hand, it is shown that the set of bounded probability density functions on finite intervals is a pre-Hilbert space. A Hilbert space of densities, whose logarithm is square-integrable, is obtained as the natural completion of the pre-Hilbert space.     

Category with a natural cone

Generally, in homotopy theory a cylinder object (or, its dual, a path object) is used to define homotopy between morphisms, and a cone object is used to build exact sequences of homotopy groups. Here, an axiomatic theory based on a cone functor is given. Suspension objects are associated to based objects and cofibrations, obtaining homotopy groups referred to an object and relative to a cofibration, respectively. Exact sequences of these groups are built. Algebraic and particular examples are given. We point out that the main results of this paper were already stated in [3], and the purpose of this article is to give full details of the foregoing.     

Some notes on the big trip

The big trip is a cosmological process thought to occur in the future by which the entire universe would be engulfed inside a gigantic wormhole and might travel through it along space and time. In this Letter we discuss different arguments that have been raised against the viability of that process, reaching the conclusions that the process can actually occur by accretion of phantom energy onto the wormholes and that it is stable and might occur in the global context of a multiverse model. We finally argue that the big trip does not contradict any holographic bounds on entropy and information.