Limit theorems for sequences of random trees

We consider a random tree and introduce a metric in the space of trees to define the ""mean tree"" as the tree minimizing the average distance to the random tree. When the resulting metric space is compact we have laws of large numbers and central limit theorems for sequence of independent identically distributed random trees. As application we propose tests to check if two samples of random trees have the same law.

Billiards in a General Domain with Random Reflections

We study stochastic billiards on general tables: a particle moves according to its constant velocity inside some domain D R(d) until it hits the boundary and bounces randomly inside, according to some reflection law. We assume that the boundary of the domain is locally Lipschitz and almost everywhere continuously differentiable. The angle of the outgoing velocity with the inner normal vector has a specified, absolutely continuous density. We construct the discrete time and the continuous time processes recording the sequence of hitting points on the boundary and the pair location/velocity. We mainly focus on the case of bounded domains. Then, we prove exponential ergodicity of these two Markov processes, we study their invariant distribution and their normal (Gaussian) fluctuations. Of particular interest is the case of the cosine reflection law: the stationary distributions for the two processes are uniform in this case, the discrete time chain is reversible though the continuous time process is quasi-reversible. Also in this case, we give a natural construction of a chord ""picked at random"" in D, and we study the angle of intersection of the process with a (d - 1) -dimensional manifold contained in D.

Predicting random effects with an expanded finite population mixed model

Prediction of random effects is an important problem with expanding applications. In the simplest context, the problem corresponds to prediction of the latent value (the mean) of a realized cluster selected via two-stage sampling. Recently, Stanek and Singer [Predicting random effects from finite population clustered samples with response error. J. Amer. Statist. Assoc. 99, 119-130] developed best linear unbiased predictors (BLUP) under a finite population mixed model that outperform BLUPs from mixed models and superpopulation models. Their setup, however, does not allow for unequally sized clusters. To overcome this drawback, we consider an expanded finite population mixed model based on a larger set of random variables that span a higher dimensional space than those typically applied to such problems. We show that BLUPs for linear combinations of the realized cluster means derived under such a model have considerably smaller mean squared error (MSE) than those obtained from mixed models, superpopulation models, and finite population mixed models. We motivate our general approach by an example developed for two-stage cluster sampling and show that it faithfully captures the stochastic aspects of sampling in the problem. We also consider simulation studies to illustrate the increased accuracy of the BLUP obtained under the expanded finite population mixed model. (C) 2007 Elsevier B.V. All rights reserved.

The disk-percolation model on graphs

We study a long-range percolation model whose dynamics describe the spreading of an infection on an infinite graph. We obtain a sufficient condition for phase transition and prove all upper bound for the critical parameter of spherically symmetric trees. (C) 2008 Elsevier B.V. All rights reserved.

Lifestyle and health status in a sample of Swedish women four years after pregnancy : a comparison of women with a history of normal pregnancy and women with a history of gestational diabetes mellitus

Background: Despite the recommendations to continue the regime of healthy food and physical activity (PA) postpartum for women with previous gestational diabetes mellitus (GDM), the scientific evidence reveals that these recommendations may not be complied to. This study compared lifestyle and health status in women whose pregnancy was complicated by GDM with women who had a normal pregnancy and delivery. Methods: The inclusion criteria were women with GDM (ICD-10: O24.4 A and O24.4B) and women with uncomplicated pregnancy and delivery in 2005 (ICD-10: O80.0). A random sample of women fulfilling the criteria (n = 882) were identified from the Swedish Medical Birth Register. A questionnaire was sent by mail to eligible women approximately four years after the pregnancy. A total of 444 women (50.8%) agreed to participate, 111 diagnosed with GDM in their pregnancy and 333 with normal pregnancy/ delivery. Results: Women with previous GDM were significantly older, reported higher body weight and less PA before the index pregnancy. No major differences between the groups were noticed regarding lifestyle at the follow-up. Overall, few participants fulfilled the national recommendations of PA and diet. At the follow-up, 19 participants had developed diabetes, all with previous GDM. Women with previous GDM reported significantly poorer self-rated health (SRH), higher level of sick-leave and more often using medication on regular basis. However, a history of GDM or having overt diabetes mellitus showed no association with poorer SRH in the multivariate analysis. Irregular eating habits, no regular PA, overweight/obesity, and regular use of medication were associated with poorer SRH in all participants. Conclusions: Suboptimal levels of PA, and fruit and vegetable consumption were found in a sample of women with a history of GDM as well as for women with normal pregnancy approximately four years after index pregnancy. Women with previous GDM seem to increase their PA after childbirth, but still they perform their PA at lower intensity than women with a history of normal pregnancy. Having GDM at index pregnancy or being diagnosed with overt diabetes mellitus at follow-up did not demonstrate associations with poorer SRH four years after delivery.

Estimation of Parameters in Random Effect Models with Incidence Matrix Uncertainty

Random effect models have been widely applied in many fields of research. However, models with uncertain design matrices for random effects have been little investigated before. In some applications with such problems, an expectation method has been used for simplicity. This method does not include the extra information of uncertainty in the design matrix is not included. The closed solution for this problem is generally difficult to attain. We therefore propose an two-step algorithm for estimating the parameters, especially the variance components in the model. The implementation is based on Monte Carlo approximation and a Newton-Raphson-based EM algorithm. As an example, a simulated genetics dataset was analyzed. The results showed that the proportion of the total variance explained by the random effects was accurately estimated, which was highly underestimated by the expectation method. By introducing heuristic search and optimization methods, the algorithm can possibly be developed to infer the 'model-based' best design matrix and the corresponding best estimates.

Regular Derivations in Basic Superposition-Based Calculi

We prove the completeness of the regular strategy of derivations for superposition-based calculi. The regular strategy was pioneered by Kanger in [Kan63], who proposed that all equality inferences take place before all other steps in the proof. We show that the strategy is complete with the elimination of tautologies. The implication of our result is the completeness of non-standard selection functions by which in non-relational clauses only equality literals (and all of them) are selected.