Skip to main content

A Bayesian genome-wide linkage analysis of quantitative traits for rheumatoid arthritis via perfect sampling


Rheumatoid arthritis is a complex disease caused by a combination of genetic, environmental, and hormonal factors, and their additive and/or non-additive effects. We performed a linkage analysis to provide evidence of rheumatoid factor IgM on linkage, based on Bayesian variable selection coupled with the new Haseman-Elston method. For statistical inferences to estimate unknown parameters, we utilized the perfect sampling algorithm, an emerging simulation technique that alleviates concerns over convergence and sampling mixing. Our methods provide powerful and conceptually simple approaches to simultaneous genome scans of main effects and all possible pairwise interactions. We apply them to the Genetic Analysis Workshop 15 data (Problem 2) provided by the North American Rheumatoid Arthritis Consortium (NARAC).


Rheumatoid arthritis (RA) is a clinically heterogeneous disorder with variability in severity, disease course, and response to therapy. Although the exact cause of rheumatoid arthritis is still unknown, RA is known to be a complex disease caused by a combination of genetic, environmental, and hormonal factors, and their additive and/or non-additive effects (epistases or gene × environment interactions). Genetic risk factors not only determine susceptibility for the disease but also correlate with disease severity and phenotype. Among phenotypes, rheumatoid factor IgM is a significant and common measure for diagnosis of RA. Therefore, genetic linkage analyses of IgM levels may reveal major differences in chromosomal regions showing evidence for linkage.

While recent interest has been focused on genome scans using a large number of marker loci, the common approaches of existing statistical methods produce often inconsistent results. This is due in part to the fact that they test markers one after another and fail to capture the substantial information of epistases among disease loci. The use of Bayesian model selection has been the popular method of remedying the pitfalls of conventional methods in recent years, whereby identifying loci with significant effects is viewed as a model selection problem. Unlike conventional methods suggesting a single best model, Bayesian methods consider multiple possible models along with their probabilities to incorporate model uncertainty. One of the powerful Bayesian model selection approaches is the use of stochastic search variable selection (SSVS) [14], in which Markov chain Monte Carlo (MCMC) sampling algorithms are used to sample from the posterior distributions, thus making identification of promising subsets even for many candidate variables (markers) feasible.

Although Bayesian approaches with MCMC techniques have made intensive computations possible and efficient on large-scale data sets arising in modern genomic and genetic applications, an application of Bayesian model selection is still quite challenging and limited from both a computational standpoint as well as the sensitivity to the choice of prior distributions. The usage of MCMC has been often controversial due to the uncertainty of convergence and the dependence on starting positions. In addition, the samples obtained by MCMC are correlated, which can drastically reduce the efficiency of the approaches. These drawbacks of MCMC, however, can be overcome by perfect sampling, which was first proposed by Propp and Wilson [5] under the name of coupling from the past (CFTP). Perfect sampling uses a scheme of coupling chains in order to guarantee that samples are exactly from the target distribution of interest. The basic idea is to run coupled chains that start from all initial states from the past time -T and run them to time 0, in which at any instant of time t [-T, 0), the same random seed and an updating function are applied to all possible chains. Once all the chains meet (coalesce), from this time onward, due to the common random seed and an updating function, they follow the same path, and at a time 0 they arrive at the same state, which is then an exact sample from the posterior distribution. Therefore, this procedure guarantees that the effect of initial states wears off, yielding an exact sample regardless of starting values. Although perfect sampling suggests the ideal approach to draw an exact sample, the framework of running chains from all possible states is almost infeasible because of the large number of markers involved.

Motivated by Huang and Djuric [6], we propose an efficient implementation of perfect sampling for high-dimensional data. Then, coupled with the new Haseman-Elston method [7], we carry out screening to identify susceptibility alleles that are more closely linked to rheumatoid factor IgM. We further evaluate their possible epistases. Most existing methods adopt a two-stage procedure to screen epistases, in which epistases are only considered for previously selected markers with significant main effects, and thereby they are bound to miss important loci whose effects influence a trait primarily through epistasis. In contrast, we perform an efficient simultaneous screening both on main effects and epistases. Our methods can handle large problems involving up to thousands of markers without any strict conditions in a reasonable running time. We apply these methods to the RA data of Genetic Analysis Workshop 15 (GAW15) (Problem 2).


Haseman-Elston method

The simple regression method of the Haseman-Elston [8] offers an effective framework for studying linkage between markers and disease. Later, Elston et al. [7] proposed modifications to the original Haseman-Elston method [8] to improve its power. It is based on regression of the squared sum of mean-centered trait values, CP j = (Y1j- m)(Y2j- m), with mean m on the estimated proportion of alleles shared identically by decent (IBD) by the sibling pair, Y1j, Y2j.

The model and prior specifications

Assume that there are p markers on the whole genome with n dependent data (samples). Then, we form a model that includes a number of different marker loci to study their simultaneous effects, which can be best approached in a linear regression fashion such as

y j = μ + i = 1 p x i j β i + ε , j = 1 , ... , n , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeqacaaabaGaemyEaK3aaSbaaSqaaiabdQgaQbqabaGccqGH9aqpiiGacqWF8oqBcqGHRaWkdaaeWbqaaiabdIha4naaBaaaleaacqWGPbqAcqWGQbGAaeqaaOGae8NSdi2aaSbaaSqaaiabdMgaPbqabaGccqGHRaWkcqWF1oqzaSqaaiabdMgaPjabg2da9iabigdaXaqaaiabdchaWbqdcqGHris5aOGaeiilaWcabaGaemOAaOMaeyypa0JaeGymaeJaeiilaWIaeiOla4IaeiOla4IaeiOla4IaeiilaWIaemOBa4MaeiilaWcaaaaa@4F6E@

where μ is the mean, y j is an observed phenotypic value (CP j ) for each sibling pair, x ij is a proportion of IBD for ith marker in jth sample, and β i is an effect of the ith marker. The variance of the trait is assumed to be ε ~ N(0, φ-1I), with φ being a precision parameter. To explore promising subsets (a set of markers having evidence of linkage) over the entire model space efficiently, a binary indicator γ i is used to represent an exclusion or inclusion of ith marker in the model [1]. Then a model is represented by γ = (γ1,..., γ p ) and Eq. (1) can be reduced to the p γ = I p γ variables by ignoring columns of X for which γ i = 0. We denote the corresponding model as X γ and coefficient parameters as β γ . When epistases are considered, the indicator vector γ is expressed as γ = (γ1,..., γ p , γ(1, 2),..., γ(i, j),..., γ(p, p-1)), where γ(i, j) is an indicator of an epistasis of ith and jth markers and Eq. (1) is extended by adding x i j 1 x i j 2 β j 1 j 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWG4baEdaWgaaWcbaGaemyAaKMaemOAaO2aaSbaaWqaaiabigdaXaqabaaaleqaaOGaemiEaG3aaSbaaSqaaiabdMgaPjabdQgaQnaaBaaameaacqaIYaGmaeqaaaWcbeaaiiGakiab=j7aInaaBaaaleaacqWGQbGAdaWgaaadbaGaeGymaedabeaaliabdQgaQnaaBaaameaacqaIYaGmaeqaaaWcbeaaaaa@3EAC@ for an epistatic effect, β j 1 j 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiGacqWFYoGydaWgaaWcbaGaemOAaO2aaSbaaWqaaiabigdaXaqabaWccqWGQbGAdaWgaaadbaGaeGOmaidabeaaaSqabaaaaa@338C@ between loci j1 and j2p. Therefore, a general model to describe both main effects and epistases can be written Y = μ + X γ β γ + ε, where some of the columns of X γ are formed from the original variables by multiplication of columns of X to build the design matrix for epistases and β γ = [β1,..., β2, β1, 2,..., βp-1, p].

The prior distribution for unknown parameters Φ γ = (β γ , γ, φ-1) can be decomposed as π (β γ , γ, φ-1) = π (β γ |γ, φ-1) π (γ) π (φ-1) under a simple independence assumption. We assume the prior Φ γ to be in the conjugate normal-gamma family, namely,

π ( β γ , γ , φ 1 ) = N p γ ( 0 , c φ 1 I γ ) , π ( φ 1 ) φ 1 , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeqacaaabaacciGae8hWdaNaeiikaGIae8NSdi2aaSbaaSqaaiab=n7aNbqabaGccqGGSaalcqWFZoWzcqGGSaalcqWFgpGzdaahaaWcbeqaaiabgkHiTiabigdaXaaakiabcMcaPiabg2da9iabd6eaonaaBaaaleaacqWGWbaCdaWgaaadbaGae83SdCgabeaaaSqabaGccqGGOaakcqaIWaamcqGGSaalcqWGJbWycqWFgpGzdaahaaWcbeqaaiabgkHiTiabigdaXaaakiabdMeajnaaBaaaleaacqWFZoWzaeqaaOGaeiykaKIaeiilaWcabaGae8hWdaNaeiikaGIae8NXdy2aaWbaaSqabeaacqGHsislcqaIXaqmaaGccqGGPaqkcqGHDisTcqWFgpGzdaahaaWcbeqaaiabgkHiTiabigdaXaaakiabcYcaSaaaaaa@5A35@

where c is an unknown positive scalar.

Posterior inference

The statistical inference for the identification of marker loci having evidence of linkage is retrieved through the posterior distribution of γ, which is given by Bayes' rule, π (γ|Y) π (γ)f(Y|γ). After nuisance parameters β γ and φ-1are integrated out from the marginalized likelihood, it is simplified to

π ( γ | Y ) π ( γ ) f ( Y | β γ , γ , φ 1 ) π ( β γ | φ 1 , γ ) π ( φ 1 ) d β γ d φ = π ( γ ) ( Y T Y Y T X γ ( c 1 I P γ + X γ T X γ ) 1 X γ T Y ) ( n 1 ) / 2 | 1 + c X γ T X γ | 1 / 2 . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqadeGabaaabaacciGae8hWdaNaeiikaGIae83SdCMaeiiFaWNaemywaKLaeiykaKIaeyyhIuRae8hWdaNaeiikaGIae83SdCMaeiykaKYaa8qaaeaadaWdbaqaaiabdAgaMjabcIcaOiabdMfazjabcYha8jab=j7aInaaBaaaleaacqWFZoWzaeqaaOGaeiilaWIae83SdCMaeiilaWIae8NXdy2aaWbaaSqabeaacqGHsislcqaIXaqmaaGccqGGPaqkcqWFapaCcqGGOaakcqWFYoGydaWgaaWcbaGae83SdCgabeaakiabcYha8jab=z8aMnaaCaaaleqabaGaeyOeI0IaeGymaedaaOGaeiilaWIae83SdCMaeiykaKIae8hWdaNaeiikaGIae8NXdy2aaWbaaSqabeaacqGHsislcqaIXaqmaaGccqGGPaqkcqWGKbazcqWFYoGydaWgaaWcbaGae83SdCgabeaakiabdsgaKjab=z8aMbWcbeqab0Gaey4kIipaaSqabeqaniabgUIiYdaakeaacqGH9aqpcqWFapaCcqGGOaakcqWFZoWzcqGGPaqkcqGHflY1daWcaaqaamaabmaabaGaemywaK1aaWbaaSqabeaacqWGubavaaGccqWGzbqwcqGHsislcqWGzbqwdaahaaWcbeqaaiabdsfaubaakiabdIfaynaaBaaaleaacqWFZoWzaeqaaOGaeiikaGIaem4yam2aaWbaaSqabeaacqGHsislcqaIXaqmaaGccqWGjbqsdaWgaaWcbaGaemiuaa1aaSbaaWqaaiab=n7aNbqabaaaleqaaOGaey4kaSIaemiwaG1aa0baaSqaaiab=n7aNbqaaiabdsfaubaakiabdIfaynaaBaaaleaacqWFZoWzaeqaaOGaeiykaKYaaWbaaSqabeaacqGHsislcqaIXaqmaaGccqWGybawdaqhaaWcbaGae83SdCgabaGaemivaqfaaOGaemywaKfacaGLOaGaayzkaaWaaWbaaSqabeaacqGHsislcqGGOaakcqWGUbGBcqGHsislcqaIXaqmcqGGPaqkcqGGVaWlcqaIYaGmaaaakeaadaabdaqaaiabigdaXiabgUcaRiabdogaJjabdIfaynaaDaaaleaacqWFZoWzaeaacqWGubavaaGccqWGybawdaWgaaWcbaGae83SdCgabeaaaOGaay5bSlaawIa7amaaCaaaleqabaGaeGymaeJaei4la8IaeGOmaidaaaaakiabc6caUaaaaaa@B42D@

When there are a large number of markers involved, Eq. (2) is estimated via MCMC algorithms by simulating samples from the posterior distribution without knowing the normalizing constant, but at a risk of false inferences and being subject to initialization biases. We use perfect sampling described as follows.

Posterior simulation via perfect sampling

Under a non-epistatic model, γ = (γ1, K, γ p ), for example, we simulate samples from Eq. (2) by updating γ in a component-wise manner. Each component γ i is chosen consecutively or via a random permutation on its index (1,..., p). Then the probability of determining γ i to be 1 conditional on other latest updated components is given from a Bernoulli trial such as

P ( γ i = 1 | ) = π ( γ ( i ) ) f ( Y | γ ( i ) ) π ( γ ( i ) ) f ( Y | γ ( i ) ) + π ( γ ( i ) ) f ( Y | γ ( i ) ) , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGqbaucqGGOaakiiGacqWFZoWzdaWgaaWcbaGaemyAaKgabeaakiabg2da9iabigdaXiabcYha8jabgwSixlabcMcaPiabg2da9maalaaabaGae8hWdaNaeiikaGIae83SdC2aaSbaaSqaaiabcIcaOiabdMgaPjabcMcaPaqabaGccqGGPaqkcqWGMbGzcqGGOaakcqWGzbqwcqGG8baFcqWFZoWzdaWgaaWcbaGaeiikaGIaemyAaKMaeiykaKcabeaakiabcMcaPaqaaiab=b8aWjabcIcaOiab=n7aNnaaBaaaleaacqGGOaakcqGHsislcqWGPbqAcqGGPaqkaeqaaOGaeiykaKIaemOzayMaeiikaGIaemywaKLaeiiFaWNae83SdC2aaSbaaSqaaiabcIcaOiabgkHiTiabdMgaPjabcMcaPaqabaGccqGGPaqkcqGHRaWkcqWFapaCcqGGOaakcqWFZoWzdaWgaaWcbaGaeiikaGIaemyAaKMaeiykaKcabeaakiabcMcaPiabdAgaMjabcIcaOiabdMfazjabcYha8jab=n7aNnaaBaaaleaacqGGOaakcqWGPbqAcqGGPaqkaeqaaOGaeiykaKcaaiabcYcaSaaa@761A@

where γ(-i) = (γ1,...., γi-1, γi+1,..., γ p ) and γ(i) = (γ1,...., γi-1, 1, γi+1,..., γ p ). There are 2p-1 possible configurations of Eq. (3). The original perfect sampling method, CFTP [5], entails running parallel chains from every possible 2p-1 state from the past time -T to 0 repeatedly until it achieves coalescence. However, our approaches do not require running all these chains based on two following ideas.

First, for t [-T, 0), instead of attempting to run all possible chains, we construct, sandwich distributions, which bound all the possibilities of Eq. (3) such as

L i t P ( γ i t = 1 | ) U i t , MathType@MTEF@5@5@+=feaafiart1ev1aqatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGmbatdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaOGaeyizImQaemiuaaLaeiikaGccciGae83SdC2aa0baaSqaaiabdMgaPbqaaiabdsha0baakiabg2da9iabigdaXiabcYha8jabgwSixlabcMcaPiabgsMiJkabdwfavnaaDaaaleaacqWGPbqAaeaacqWG0baDaaGccqGGSaalaaa@469D@

so that an update is done only on these two distributions. This is because the coupling of these sandwich distributions implies the coalescence of all other chains in between. Second, rather than tracing γ t = ( γ 1 t , , γ p t ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiGacqWFZoWzdaahaaWcbeqaaiabdsha0baakiabg2da9iabcIcaOiab=n7aNnaaDaaaleaacqaIXaqmaeaacqWG0baDaaGccqGGSaalcqWIMaYscqGGSaalcqWFZoWzdaqhaaWcbaGaemiCaahabaGaemiDaqhaaOGaeiykaKcaaa@3E89@ , we generate its support S t = ( s 1 t , , s p t ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGtbWudaahaaWcbeqaaiabdsha0baakiabg2da9iabcIcaOiabdohaZnaaDaaaleaacqaIXaqmaeaacqWG0baDaaGccqGGSaalcqWIMaYscqGGSaalcqWGZbWCdaqhaaWcbaGaemiCaahabaGaemiDaqhaaOGaeiykaKcaaa@3DA4@ to keep track of only possible values, which further reduce the computational burden. That is, for a random seed u i t MathType@MTEF@5@5@+=feaafiart1ev1aqatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWG1bqDdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaaaa@3119@ generated from a uniform distribution on (0, 1), if L i t u i t ( U i t u i t ) , γ i t = 1 ( γ i t = 0 ) MathType@MTEF@5@5@+=feaafiart1ev1aqatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGmbatdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaOGaeyyzImRaemyDau3aa0baaSqaaiabdMgaPbqaaiabdsha0baakiabcIcaOiabdwfavnaaDaaaleaacqWGPbqAaeaacqWG0baDaaGccqGHKjYOcqWG1bqDdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaOGaeiykaKIaeiilaWccciGae83SdC2aa0baaSqaaiabdMgaPbqaaiabdsha0baakiabg2da9iabigdaXiabcIcaOiab=n7aNnaaDaaaleaacqWGPbqAaeaacqWG0baDaaGccqGH9aqpcqaIWaamcqGGPaqkaaa@52F2@ is taken as true and its support s i t MathType@MTEF@5@5@+=feaafiart1ev1aqatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGZbWCdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaaaa@3115@ is assigned as the same value. On the other hand, if L i t u i t U i t , γ i t MathType@MTEF@5@5@+=feaafiart1ev1aqatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGmbatdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaOGaeyizImQaemyDau3aa0baaSqaaiabdMgaPbqaaiabdsha0baakiabgsMiJkabdwfavnaaDaaaleaacqWGPbqAaeaacqWG0baDaaGccqGGSaaliiGacqWFZoWzdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaaaa@426E@ is indeterminate and s i t MathType@MTEF@5@5@+=feaafiart1ev1aqatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGZbWCdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaaaa@3115@ records uncertain values, {0, 1}. Then, for all i = 1, 2,..., p, an updating rule is formulated as

s i t = { { 0 } if  u i t U i t { 1 } if  u i t L i t { 0 , 1 } otherwise . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGZbWCdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaOGaeyypa0ZaaiqabeaafaqaaeWacaaabaGaei4EaSNaeGimaaJaeiyFa0habaGaeeyAaKMaeeOzayMaeeiiaaIaemyDau3aa0baaSqaaiabdMgaPbqaaiabdsha0baakiabgwMiZkabdwfavnaaDaaaleaacqWGPbqAaeaacqWG0baDaaaakeaacqGG7bWEcqaIXaqmcqGG9bqFaeaacqqGPbqAcqqGMbGzcqqGGaaicqWG1bqDdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaOGaeyizImQaemitaW0aa0baaSqaaiabdMgaPbqaaiabdsha0baaaOqaaiabcUha7jabicdaWiabcYcaSiabigdaXiabc2ha9bqaaiabb+gaVjabbsha0jabbIgaOjabbwgaLjabbkhaYjabbEha3jabbMgaPjabbohaZjabbwgaLbaaaiaawUhaaiabc6caUaaa@69EB@

Coalescence is achieved when all supports become settled at time 0, i.e., | s i t MathType@MTEF@5@5@+=feaafiart1ev1aqatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGZbWCdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaaaa@3115@ | = 0 for all i. This procedure in implemented iteratively as follows. At T = -1, for each s i t MathType@MTEF@5@5@+=feaafiart1ev1aqatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGZbWCdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaaaa@3115@ St, we decide two sandwich distributions and update S0 based on Eq. (5). If the coalescence is achieved, a support S0 is reported as a draw from the target posterior in Eq. (2). Otherwise, we move back at T = -2 and repeat updating for t [-2, 0], and then check coalescence at 0. The whole procedure is repeated, and a sample is drawn only if coalescence occurs at 0. Otherwise, the starting time is shifted further back, preferably at -2T [5] and the updates perform by reusing the same random seed, which is critical to preclude the space from growing [5]. One of the main keys in our methods is to construct two bounds, L i t MathType@MTEF@5@5@+=feaafiart1ev1aqatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGmbatdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaaaa@30C7@ and U i t MathType@MTEF@5@5@+=feaafiart1ev1aqatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGvbqvdaqhaaWcbaGaemyAaKgabaGaemiDaqhaaaaa@30D9@ . We have recently proposed how to build these bounds, approximately to succeed the perfect sampling even for high dimensional spaces. The manuscript may be obtained upon request.

Model space prior for epsitases

To account for epistatic effects, we consider two different model space priors of π (γ). An independence prior is usually used when it is believed that effects of markers influence the trait entirely independently of each other. In this case, we have

π ( γ ) = j = 1 p π ( γ i ) i = 1 < j p π ( γ ( i , j ) ) = ( w 1 γ i ( 1 w 1 ) 1 γ i ) ( w 2 γ ( i , j ) ( 1 w 2 ) 1 γ ( i , j ) ) , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiGacqWFapaCcqGGOaakcqWFZoWzcqGGPaqkcqGH9aqpdaqeWbqaaiab=b8aWjabcIcaOiab=n7aNnaaBaaaleaacqWGPbqAaeqaaOGaeiykaKcaleaacqWGQbGAcqGH9aqpcqaIXaqmaeaacqWGWbaCa0Gaey4dIunakmaarahabaGae8hWdaNaeiikaGIae83SdC2aaSbaaSqaaiabcIcaOiabdMgaPjabcYcaSiabdQgaQjabcMcaPaqabaGccqGGPaqkaSqaaiabdMgaPjabg2da9iabigdaXiabgYda8iabdQgaQbqaaiabdchaWbqdcqGHpis1aOGaeyypa0ZaaeWaaeaadaqeaaqaaiabdEha3naaDaaaleaacqaIXaqmaeaacqWFZoWzdaWgaaadbaGaemyAaKgabeaaaaGccqGGOaakcqaIXaqmcqGHsislcqWG3bWDdaWgaaWcbaGaeGymaedabeaakiabcMcaPmaaCaaaleqabaGaeGymaeJaeyOeI0Iae83SdC2aaSbaaWqaaiabdMgaPbqabaaaaaWcbeqab0Gaey4dIunaaOGaayjkaiaawMcaamaabmaabaWaaebaaeaacqWG3bWDdaqhaaWcbaGaeGOmaidabaGae83SdC2aaSbaaWqaaiabcIcaOiabdMgaPjabcYcaSiabdQgaQjabcMcaPaqabaaaaOGaeiikaGIaeGymaeJaeyOeI0Iaem4DaC3aaSbaaSqaaiabikdaYaqabaGccqGGPaqkdaahaaWcbeqaaiabigdaXiabgkHiTiab=n7aNnaaBaaameaacqGGOaakcqWGPbqAcqGGSaalcqWGQbGAcqGGPaqkaeqaaaaaaSqabeqaniabg+GivdaakiaawIcacaGLPaaacqGGSaalaaa@8704@

where w1 and w2 are hyper-priors for the inclusion of main effects and epistases, respectively. It is reasonable to choose that w2w1 ≤ 0.5. Alternatively, we can embed the dependent structure of main effects and epistases [9] such as

π ( γ ) = j = 1 p π ( γ i ) i = 1 < j p π ( γ ( i , j ) | γ i , γ j ) , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiGacqWFapaCcqGGOaakcqWFZoWzcqGGPaqkcqGH9aqpdaqeWbqaaiab=b8aWjabcIcaOiab=n7aNnaaBaaaleaacqWGPbqAaeqaaOGaeiykaKcaleaacqWGQbGAcqGH9aqpcqaIXaqmaeaacqWGWbaCa0Gaey4dIunakmaarahabaGae8hWdaNaeiikaGIae83SdC2aaSbaaSqaaiabcIcaOiabdMgaPjabcYcaSiabdQgaQjabcMcaPaqabaGccqGG8baFcqWFZoWzdaWgaaWcbaGaemyAaKgabeaakiabcYcaSiab=n7aNnaaBaaaleaacqWGQbGAaeqaaOGaeiykaKcaleaacqWGPbqAcqGH9aqpcqaIXaqmcqGH8aapcqWGQbGAaeaacqWGWbaCa0Gaey4dIunakiabcYcaSaaa@5DE8@

where the conditional probability for an epistasis to be included, γ(i, j) = 1 takes on four different values depending on the main effects,

π ( γ ( i , j ) = 1 | γ i , γ j ) = { w 00 if ( γ i , γ j ) = ( 0 , 0 ) w 01 if ( γ i , γ j ) = ( 0 , 1 )  or ( γ i , γ j ) = ( 1 , 0 ) w 11 if ( γ i , γ j ) = ( 1 , 1 ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiGacqWFapaCcqGGOaakcqWFZoWzdaWgaaWcbaGaeiikaGIaemyAaKMaeiilaWIaemOAaOMaeiykaKcabeaakiabg2da9iabigdaXiabcYha8jab=n7aNnaaBaaaleaacqWGPbqAaeqaaOGaeiilaWIae83SdC2aaSbaaSqaaiabdQgaQbqabaGccqGGPaqkcqGH9aqpdaGabeqaauaabaqadiaaaeaacqWG3bWDdaWgaaWcbaGaeGimaaJaeGimaadabeaaaOqaaiabbMgaPjabbAgaMjabbccaGiabbIcaOiab=n7aNnaaBaaaleaacqWGPbqAaeqaaOGaeiilaWIae83SdC2aaSbaaSqaaiabdQgaQbqabaGccqGGPaqkcqGH9aqpcqGGOaakcqaIWaamcqGGSaalcqaIWaamcqGGPaqkaeaacqWG3bWDdaWgaaWcbaGaeGimaaJaeGymaedabeaaaOqaaiabbMgaPjabbAgaMjabbccaGiabbIcaOiab=n7aNnaaBaaaleaacqWGPbqAaeqaaOGaeiilaWIae83SdC2aaSbaaSqaaiabdQgaQbqabaGccqGGPaqkcqGH9aqpcqGGOaakcqaIWaamcqGGSaalcqaIXaqmcqGGPaqkcqqGGaaicqqGVbWBcqqGYbGCcqqGGaaicqqGOaakcqWFZoWzdaWgaaWcbaGaemyAaKgabeaakiabcYcaSiab=n7aNnaaBaaaleaacqWGQbGAaeqaaOGaeiykaKIaeyypa0JaeiikaGIaeGymaeJaeiilaWIaeGimaaJaeiykaKcabaGaem4DaC3aaSbaaSqaaiabigdaXiabigdaXaqabaaakeaacqqGPbqAcqqGMbGzcqqGGaaicqqGOaakcqWFZoWzdaWgaaWcbaGaemyAaKgabeaakiabcYcaSiab=n7aNnaaBaaaleaacqWGQbGAaeqaaOGaeiykaKIaeyypa0JaeiikaGIaeGymaeJaeiilaWIaeGymaeJaeiykaKcaaaGaay5EaaGaeiOla4caaa@982D@

This dependent relationship can be advantageous in that we can reduce the size of the model space by limiting certain epistases to be included in the model. For example, if we believe that an epistasis should be considered only if at least one of the main effects is significant, we let w00 = 0. However, because we might miss important marker loci that might affect a phenotype primarily through epistasis, it may be more reasonable to have 0 ≤ w00w01w11 ≤ 0.5. The hyper-priors, (w1, w2) in Eq. (6) and (w11, w01, w00) in Eq. (7), can indirectly control the expected numbers of effects in the model. Therefore, small values are essential because we expect there are a small number of markers linked to the trait.

Selection criterion

After we collect samples using perfect sampling, the identification of markers that are tightly linked to the genes is given by estimates of marginal posterior probabilities. To this end, we simply count the relative frequencies of model visits in the samples, and the marginal posterior of the ith marker being important is estimated by summing over the posterior of models containing this marker. Then, we list the estimates of marginal posterior probabilities in a numerical order. Their patterns are used to gauge the importance of effects. When the decision is made, the model space prior (w1, w2) in Eq. (6) and (w11, w01, w00) in Eq. (7) play an important role as threshold values. If the marginal posterior probability of the marker is higher than these values, we decide that the corresponding effect of this marker is significant.


We used rheumatoid factor IgM as the quantitative trait values and microsatellite scans for 511 multiplex families over the 22 autosomal chromosomes. The IBD values were obtained using the statistical software MERLIN [10]. A total of 590 independent sib pairs and 407 microsatellite markers were used in the analysis.

Our programs were written in MATLAB and each was run on Super Macintosh G5 with a 2.66 GHz quad-processor.


Choice of hyper-parameters

Before we ran perfect sampling, we had to decide hyper-parameters (c, w1) under a non-epistatic model, and (c, w1, w2) in Eq. (6) or (c, w11, w01, w00) in Eq. (7) under an epistatic model. To specify these values, rescaling and sensitivity analysis may be advisable. We checked the sensitivity of our methods toward the choice of c by re-running our algorithms for several values of c between 1 and 10. The results were not sensitive (data not shown). Choosing (w1, w2) and (w11, w01, w00) in the model space prior is rather straightforward. A smaller value should provide smaller estimates of marginal posteriors, but our results were robust to these values since we took them as threshold values to select important effects. Therefore, in this paper, we only reported the results by fixing (c, w1) = (5, 0.01) for a non-epistatic model and (c, w1, w2) = (5, 0.01, 0.01) in Eq. (6) and (c, w11, w10, w00) = (5, 0.01, 0.01, 0.005) in Eq. (7) for an epistatic model for comparison.

Main effects

We first performed screening of main effects only. We collected 500 samples from perfect sampling. The average coupling time to achieve coalescence for one sample was about 1 minute. Figure 1 displays an empirical frequency of each effect to estimate a marginal posterior probability, π i = 1|Y). We found the highest peak on chromosome 6, and suggestive peaks on chromosomes 2, 4, 5, 11, 19, and 21, which had estimated marginal probabilities greater than w1 = 0.01.

Figure 1

Marginal posterior probabilities of component λ. The highest peak on chromosome 6, and suggestive peaks on chromosomes 2, 4, 5, 11, 19, and 21. All had estimated marginal probabilities higher than the model prior w = 0.01 (dotted line).

Total effects (main and interaction effects)

To assess the evidence for epsitases, we included all main effects and two-way pairwise interaction terms in the model. Therefore, the total number of effects considered was 83,028. We compared two different assumptions Eq. (6) and Eq. (7). We collected 500 samples. The average coupling time to achieve coalescence for one sample was about 25 minutes under Eq. (6) and 21 minutes under Eq. (7). The summary of the results is given in Table 1. The same significant main effects as in the above "main effects" were found. Additionally, we found three suggestive interactions effects between chromosomes 6 and 16, 6 and 19, and 6 and 21 under both Eq. (6) and Eq. (7) prior assumptions.

Table 1 Ranking of empirical estimations of marginal posterior probability of significant effects under two prior assumptions


We have applied Bayesian variable selection via perfect sampling to the RA data of GAW15 to identify markers linked to rheumatoid factor IgM. Our methods can accommodate a large number of markers, permit epistatic effects to be considered in the models, and evaluate all effects simultaneously. Therefore, they have significant advantages over the classic approaches. As opposed to other Bayesian methods, our methods do not require any tunings relating to convergence issues of MCMC techniques and there is no dependence on initial values. Therefore, they are reliable even from a small number of drawn samples.

Our analyses have revealed that there is a strong evidence for main effects on chromosome 6, and also marginal evidence for epistases between chromosomes 6 and 16, 6 and 19, and 6 and 21. To increase the accuracy, we may collect more samples.


  1. 1.

    George EI, McCulloch RE: Variable selection via Gibbs sampling. J Am Stat Assoc. 1993, 88: 881-889. 10.2307/2290777.

    Article  Google Scholar 

  2. 2.

    Yi N, George V, Allison DB: Stochastic search variable selection for identifying mulitple quantitative trait loci. Genetics. 2003, 164: 1129-1138.

    PubMed Central  PubMed  CAS  Google Scholar 

  3. 3.

    Oh C, Ye KQ, He Q, Mendell NR: Locating disease genes using Bayesian variable selection with the Haseman-Elston method. BMC Genet. 2003, 4 (Suppl 1): S69-10.1186/1471-2156-4-S1-S69.

    Article  PubMed Central  PubMed  Google Scholar 

  4. 4.

    Oh C, Wang S, Liu N, Chen L, Zhao H: A genome screen of maximum number of drinks as an alcoholism phenotype using Bayesian variable selection with the Haseman-Elston method. BMC Genet. 2005, 6 (Suppl 1): S116-10.1186/1471-2156-6-S1-S116.

    Article  PubMed Central  PubMed  Google Scholar 

  5. 5.

    Propp JG, Wilson DB: Exact sampling with couple Markov chains and applications to statistical mechanics. Random Structures Algorithms. 1996, 9: 223-252. 10.1002/(SICI)1098-2418(199608/09)9:1/2<223::AID-RSA14>3.0.CO;2-O.

    Article  Google Scholar 

  6. 6.

    Huang Y, Djuric PM: Variable selection by perfect sampling. EURASIP J Applied Signal Proc. 2002, 1: 38-45. 10.1155/S1110865702000409.

    Article  Google Scholar 

  7. 7.

    Elston RC, Buxbaum S, Jacobs KB, Olson JM: Haseman and Elston revisited. Genet Epidemiol. 2000, 19: 1-17. 10.1002/1098-2272(200007)19:1<1::AID-GEPI1>3.0.CO;2-E.

    Article  PubMed  CAS  Google Scholar 

  8. 8.

    Haseman JK: The investigation of linkage between a quantitative trait and a marker locus. Behav Genet. 1972, 2: 3-19. 10.1007/BF01066731.

    Article  PubMed  CAS  Google Scholar 

  9. 9.

    Chipman H: Bayesian variable selection with related predictors. Can J Stat. 1996, 24: 17-36. 10.2307/3315687.

    Article  Google Scholar 

  10. 10.

    Abecasis GR, Cherny SS, Cookson WO, Cardon LR: Merlin-rapid analysis of dense genetic maps using sparse gene flow trees. Nat Genet. 2002, 30: 97-101. 10.1038/ng786.

    Article  PubMed  CAS  Google Scholar 

Download references


This article has been published as part of BMC Proceedings Volume 1 Supplement 1, 2007: Genetic Analysis Workshop 15: Gene Expression Analysis and Approaches to Detecting Multiple Functional Loci. The full contents of the supplement are available online at

Author information



Corresponding author

Correspondence to Cheongeun Oh.

Additional information

Competing interests

The author(s) declare that they have no competing interests.

Rights and permissions

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Cite this article

Oh, C. A Bayesian genome-wide linkage analysis of quantitative traits for rheumatoid arthritis via perfect sampling. BMC Proc 1, S110 (2007).

Download citation


  • Markov Chain Monte Carlo
  • Genetic Analysis Workshop
  • Bayesian Model Selection
  • Bayesian Variable Selection
  • Perfect Sampling