Hilbert space on probability density functions with Aitchison geometry

Compositional data analysis motivated the introduction of a complete Euclidean structure in the simplex of D parts. This was based on the early work of J. Aitchison (1986) and completed recently when Aitchinson distance in the simplex was associated with an inner product and orthonormal bases were identified (Aitchison and others, 2002; Egozcue and others, 2003). A partition of the support of a random variable generates a composition by assigning the probability of each interval to a part of the composition. One can imagine that the partition can be refined and the probability density would represent a kind of continuous composition of probabilities in a simplex of infinitely many parts. This intuitive idea would lead to a Hilbert-space of probability densities by generalizing the Aitchison geometry for compositions in the simplex into the set probability densities

Compositional analysis of bivariate discrete probabilities

A joint distribution of two discrete random variables with finite support can be displayed as a two way table of probabilities adding to one. Assume that this table has n rows and m columns and all probabilities are non-null. This kind of table can be seen as an element in the simplex of n · m parts. In this context, the marginals are identified as compositional amalgams, conditionals (rows or columns) as subcompositions. Also, simplicial perturbation appears as Bayes theorem. However, the Euclidean elements of the Aitchison geometry of the simplex can also be translated into the table of probabilities: subspaces, orthogonal projections, distances. Two important questions are addressed: a) given a table of probabilities, which is the nearest independent table to the initial one? b) which is the largest orthogonal projection of a row onto a column? or, equivalently, which is the information in a row explained by a column, thus explaining the interaction? To answer these questions three orthogonal decompositions are presented: (1) by columns and a row-wise geometric marginal, (2) by rows and a columnwise geometric marginal, (3) by independent two-way tables and fully dependent tables representing row-column interaction. An important result is that the nearest independent table is the product of the two (row and column)-wise geometric marginal tables. A corollary is that, in an independent table, the geometric marginals conform with the traditional (arithmetic) marginals. These decompositions can be compared with standard log-linear models. Key words: balance, compositional data, simplex, Aitchison geometry, composition, orthonormal basis, arithmetic and geometric marginals, amalgam, dependence measure, contingency table

Mixing compositions and other scales

Theory of compositional data analysis is often focused on the composition only. However in practical applications we often treat a composition together with covariables with some other scale. This contribution systematically gathers and develop statistical tools for this situation. For instance, for the graphical display of the dependence of a composition with a categorical variable, a colored set of ternary diagrams might be a good idea for a first look at the data, but it will fast hide important aspects if the composition has many parts, or it takes extreme values. On the other hand colored scatterplots of ilr components could not be very instructive for the analyst, if the conventional, black-box ilr is used. Thinking on terms of the Euclidean structure of the simplex, we suggest to set up appropriate projections, which on one side show the compositional geometry and on the other side are still comprehensible by a non-expert analyst, readable for all locations and scales of the data. This is e.g. done by defining special balance displays with carefully- selected axes. Following this idea, we need to systematically ask how to display, explore, describe, and test the relation to complementary or explanatory data of categorical, real, ratio or again compositional scales. This contribution shows that it is sufficient to use some basic concepts and very few advanced tools from multivariate statistics (principal covariances, multivariate linear models, trellis or parallel plots, etc.) to build appropriate procedures for all these combinations of scales. This has some fundamental implications in their software implementation, and how might they be taught to analysts not already experts in multivariate analysis

Recovering Euclidean deformable models from stereo-motion

In this paper we present a novel structure from motion (SfM) approach able to infer 3D deformable models from uncalibrated stereo images. Using a stereo setup dramatically improves the 3D model estimation when the observed 3D shape is mostly deforming without undergoing strong rigid motion. Our approach first calibrates the stereo system automatically and then computes a single metric rigid structure for each frame. Afterwards, these 3D shapes are aligned to a reference view using a RANSAC method in order to compute the mean shape of the object and to select the subset of points on the object which have remained rigid throughout the sequence without deforming. The selected rigid points are then used to compute frame-wise shape registration and to extract the motion parameters robustly from frame to frame. Finally, all this information is used in a global optimization stage with bundle adjustment which allows to refine the frame-wise initial solution and also to recover the non-rigid 3D model. We show results on synthetic and real data that prove the performance of the proposed method even when there is no rigid motion in the original sequence

The geometry of optimal control solutions on some six dimensional lie groups

This paper examines optimal solutions of control systems with drift defined on the orthonormal frame bundle of particular Riemannian manifolds of constant curvature. The manifolds considered here are the space forms Euclidean space E-3, the spheres S-3 and the hyperboloids H-3 with the corresponding frame bundles equal to the Euclidean group of motions SE(3), the rotation group SO(4) and the Lorentz group SO(1,3). The optimal controls of these systems are solved explicitly in terms of elliptic functions. In this paper, a geometric interpretation of the extremal solutions is given with particular emphasis to a singularity in the explicit solutions. Using a reduced form of the Casimir functions the geometry of these solutions are illustrated.

A numerical scheme for two-dimensional, open channel flows with non-rectangular geometries

An algorithm based on flux difference splitting is presented for the solution of two-dimensional, open channel flows. A transformation maps a non-rectangular, physical domain into a rectangular one. The governing equations are then the shallow water equations, including terms of slope and friction, in a generalized coordinate system. A regular mesh on a rectangular computational domain can then be employed. The resulting scheme has good jump capturing properties and the advantage of using boundary/body-fitted meshes. The scheme is applied to a problem of flow in a river whose geometry induces a region of supercritical flow.

Adsorption and dissociation of benzene on bimetallic surfaces - the influence of surface geometry and electronic structure

This topical review discusses the influence of the surface geometry (e.g. lattice parameters and termination) and electronic structure of well-defined bimetallic surfaces on the adsorption and dissociation of benzene. The available data can be divided into two categories with combinations of non-transition metals and transition metals on the one side and combinations of two transition metals on the other. The main effect of non-transition metals in surface alloys is site blocking which can suppress chemisorption and dissociation of the molecules completely. When two transition metals are combined, the effects are less dramatic. They mainly affect the strength of the chemisorption bond and the degree of dissociation due to electronic and template effects.

The surface geometry of carbon monoxide and oxygen co-adsorbed on Ni{111}

Low energy electron diffraction (LEED) structure determinations have been performed for the p(2 x 2) structures of pure oxygen and oxygen co-adsorbed with CO on Ni{111}. Optimisation of the non-geometric parameters led to very good agreement between experimental and theoretical IV-curves and hence to a high accuracy in the structural parameters. In agreement with earlier work atomic oxygen is found to adsorb on fee sites in both structures. In the co-adsorbed phase CO occupies atop sites. The positions of the substrate atoms are almost identical, within 0.02 Angstrom, in both structures, implying that the interaction with oxygen dominates the arrangement of Ni atoms at the surface.

3-manifolds in Euclidean space from a contact viewpoint

We study the geometry of 3-manifolds generically embedded in R(n) by means of the analysis of the singularities of the distance-squared and height functions on them. We describe the local structure of the discriminant (associated to the distribution of asymptotic directions), the ridges and the flat ridges.

Pseudoclassical description of scalar particle in non-abelian background and path-integral representations

Path-integral representations for a scalar particle propagator in non-Abelian external backgrounds are derived. To this aim, we generalize the procedure proposed by Gitman and Schvartsman of path-integral construction to any representation of SU(N) given in terms of antisymmetric generators. And for arbitrary representations of SU(N), we present an alternative construction by means of fermionic coherent states. From the path-integral representations we derive pseudoclassical actions for a scalar particle placed in non-Abelian backgrounds. These actions are classically analyzed and then quantized to prove their consistency.

An algorithm for automatic checking of exercises in a dynamic geometry system: iGeom

One of the key issues in e-learning environments is the possibility of creating and evaluating exercises. However, the lack of tools supporting the authoring and automatic checking of exercises for specifics topics (e.g., geometry) drastically reduces advantages in the use of e-learning environments on a larger scale, as usually happens in Brazil. This paper describes an algorithm, and a tool based on it, designed for the authoring and automatic checking of geometry exercises. The algorithm dynamically compares the distances between the geometric objects of the student`s solution and the template`s solution, provided by the author of the exercise. Each solution is a geometric construction which is considered a function receiving geometric objects (input) and returning other geometric objects (output). Thus, for a given problem, if we know one function (construction) that solves the problem, we can compare it to any other function to check whether they are equivalent or not. Two functions are equivalent if, and only if, they have the same output when the same input is applied. If the student`s solution is equivalent to the template`s solution, then we consider the student`s solution as a correct solution. Our software utility provides both authoring and checking tools to work directly on the Internet, together with learning management systems. These tools are implemented using the dynamic geometry software, iGeom, which has been used in a geometry course since 2004 and has a successful track record in the classroom. Empowered with these new features, iGeom simplifies teachers` tasks, solves non-trivial problems in student solutions and helps to increase student motivation by providing feedback in real time. (c) 2008 Elsevier Ltd. All rights reserved.

Decay of geometry for Fibonacci critical covering maps of the circle

We study the growth of Df `` (f(c)) when f is a Fibonacci critical covering map of the circle with negative Schwarzian derivative, degree d >= 2 and critical point c of order l > 1. As an application we prove that f exhibits exponential decay of geometry if and only if l <= 2, and in this case it has an absolutely continuous invariant probability measure, although not satisfying the so-called Collet-Eckmann condition. (C) 2009 Elsevier Masson SAS. All rights reserved.

Periodic geodesics and geometry of compact Lorentzian manifolds with a Killing vector field

We study the geometry and the periodic geodesics of a compact Lorentzian manifold that has a Killing vector field which is timelike somewhere. Using a compactness argument for subgroups of the isometry group, we prove the existence of one timelike non self-intersecting periodic geodesic. If the Killing vector field is nowhere vanishing, then there are at least two distinct periodic geodesics; as a special case, compact stationary manifolds have at least two periodic timelike geodesics. We also discuss some properties of the topology of such manifolds. In particular, we show that a compact manifold M admits a Lorentzian metric with a nowhere vanishing Killing vector field which is timelike somewhere if and only if M admits a smooth circle action without fixed points.

Adaptations architecturales du tissu osseux en réponse à l'exercice physique : intérêts et limites des méthodes non invasives utilisées chez l'homme

Aim
The purpose of this paper is to give an overview of the imaging techniques that are currently used to study the effects of exercise on bone architecture.

Current knowledge
It is now widely accepted that the prevention of osteoporosis must be initiated in childhood, because the immature skeleton is more responsive to physical loading. Exercise recommendations for bone health promotion must consider the effects of loading not only on the more traditional measures of bone mineral content and macroarchitecture, but also on the microarchitecture and structural properties of the skeleton. The latter requires high precision 3D methods like quantitative computed tomography and magnetic resonance imaging.

Prospects
Imaging resolutions used most commonly in exercise studies of children have sufficient precision to assess bone density and gross geometry. However, they remain insufficient to clearly depict and quantify the trabecular bone microarchitecture in vivo in humans.

Cross-sectional geometry of weight-bearing tibia in female athletes subjected to different exercise loadings

Summary The association of long-termsport-specific exercise loading with cross-sectional geometry of the weight-bearing tibia was evaluated among 204 female athletes representing five different exercise loadings and 50 referents. All exercises involving ground impacts (e.g., endurance running, ball games, jumping) were associated with thicker cortex at the distal and diaphyseal sites of the tibia and also with large diaphyseal cross-section, whereas the high-magnitude (powerlifting) and non-impact (swimming) exercises were not. Introduction Bones adapt to the specific loading to which they are habitually subjected. In this cross-sectional study, the association of long-term sport-specific exercise loading with the geometry of the weight-bearing tibia was evaluated among premenopausal female athletes representing 11 different sports.

Methods A total of 204 athletes were divided into five exercise loading groups, and the respective peripheral quantitative computed tomographic data were compared to data obtained from 50 physically active, non-athletic referents. Analysis of covariance was used to estimate the between-group differences.

Results At the distal tibia, the high-impact, odd-impact, and repetitive low-impact exercise loading groups had ~30% to 50% (p<0.05) greater cortical area (CoA) than the referents. At the tibial shaft, these three impact groups had ~15% to 20% (p<0.05) greater total area (ToA) and ~15% to 30% (p<0.05) greater CoA. By contrast, both the high-magnitude and repetitive non-impact groups had similar ToA and CoA values to the reference group at both tibial sites.

Conclusions High-impact, odd-impact, and repetitive lowimpact exercise loadings were associated with thicker cortex at the distal tibia. At the tibial shaft, impact loading was not only associated with thicker cortex, but also a larger cross-sectional area. High-magnitude exercise loading did not show such associations at either site but was comparable to repetitive non-impact loading and reference data. Collectively, the relevance of high strain rate together with moderate-to-high strain magnitude as major determinants of osteogenic loading of the weight-bearing tibia is implicated.