Statistics Graduate Level Quiz: Independence And Conditioning
10 questions · exam conditions
0:00
Independence And ConditioningQuestion 1 of 10

Let AA, BB, and CC be events with P(C)>0P(C)>0. Which equality is exactly equivalent to conditional independence of AA and BB given CC?

P(ABC)P(C)=P(AC)P(BC)P(A\cap B\cap C)P(C)=P(A\cap C)P(B\cap C)
P(ABC)=P(A)P(B)P(C)P(A\cap B\cap C)=P(A)P(B)P(C)
P(ABC)P(C)=P(AB)P(AC)P(A\cap B\cap C)P(C)=P(A\cap B)P(A\cap C)
P(ABC)=P(AC)P(BC)P(A\cap B\cap C)=P(A\mid C)P(B\mid C)
← Back to quizzes

Statistics Graduate Level Quiz

Statistics Graduate Level Quiz: Independence And Conditioning

Practice Independence And Conditioning in Statistics Graduate Level with focused quiz questions that help you check what you know, review explanations, and build confidence with test-style prompts.

What this quiz covers

This quiz focuses on Independence And Conditioning, giving you a quick way to practice the rules, question types, and explanations that matter most for Statistics Graduate Level.

How to use this quiz

Try each quiz question before looking at the correct answer. Use the explanations to review missed ideas, then come back to similar questions until the pattern feels familiar.

All questions

Question 1

Let AA, BB, and CC be events with P(C)>0P(C)>0. Which equality is exactly equivalent to conditional independence of AA and BB given CC?

  1. P(ABC)P(C)=P(AC)P(BC)P(A\cap B\cap C)P(C)=P(A\cap C)P(B\cap C) (correct answer)
  2. P(ABC)=P(A)P(B)P(C)P(A\cap B\cap C)=P(A)P(B)P(C)
  3. P(ABC)P(C)=P(AB)P(AC)P(A\cap B\cap C)P(C)=P(A\cap B)P(A\cap C)
  4. P(ABC)=P(AC)P(BC)P(A\cap B\cap C)=P(A\mid C)P(B\mid C)
Explanation: Conditional independence is one of those concepts where precision in notation makes all the difference. When we say AA and BB are conditionally independent given CC, the formal definition is P(ABC)=P(AC)P(BC)P(A \cap B \mid C) = P(A \mid C)P(B \mid C). Your job on a question like this is to algebraically manipulate that definition into an equivalent form using only intersection and unconditional probabilities. Starting from P(ABC)=P(AC)P(BC)P(A \cap B \mid C) = P(A \mid C)P(B \mid C), expand each term using the definition of conditional probability: P(ABC)P(C)=P(AC)P(C)P(BC)P(C)\frac{P(A \cap B \cap C)}{P(C)} = \frac{P(A \cap C)}{P(C)} \cdot \frac{P(B \cap C)}{P(C)}. Multiply both sides by P(C)2P(C)^2 to clear denominators, and you get P(ABC)P(C)=P(AC)P(BC)P(A \cap B \cap C) \cdot P(C) = P(A \cap C) \cdot P(B \cap C), which is exactly answer A. The distractors each represent a distinct misconception. B describes mutual independence of three events — the condition P(ABC)=P(A)P(B)P(C)P(A \cap B \cap C) = P(A)P(B)P(C) — which is an entirely different concept from conditional independence. C looks structurally similar to A but replaces P(BC)P(B \cap C) with P(AB)P(A \cap B), which has no grounding in the definition and mixes events incorrectly. D is dimensionally wrong: the left side is a probability of an intersection (a number), while the right side omits P(C)P(C) from the denominator, making it not a valid probability expression for the joint event. The key study tip: always return to the formal definition and manipulate algebraically. Questions like this test whether you can translate conditional probability statements into intersection form — so practice that substitution until it's automatic.

Question 2

Let XX and YY be independent Bernoulli random variables with success probability 1/21/2, and define ZZ by Z=1Z=1 exactly when XYX\ne Y.

Which statement correctly describes the independence structure and the indicated conditional probability?

  1. The variables are pairwise independent but not mutually independent, and P(X=1Y=1,Z=1)=0P(X=1\mid Y=1,Z=1)=0. (correct answer)
  2. The variables are mutually independent, and P(X=1Y=1,Z=1)=1/2P(X=1\mid Y=1,Z=1)=1/2.
  3. Only XX and YY are independent, and P(X=1Y=1,Z=1)=0P(X=1\mid Y=1,Z=1)=0.
  4. The variables are pairwise independent but not mutually independent, and P(X=1Y=1,Z=1)=1P(X=1\mid Y=1,Z=1)=1.
Explanation: Questions like this test your ability to distinguish pairwise independence from mutual independence — a subtle but critical distinction in probability theory. Start by building the joint distribution. Since X,Y{0,1}X, Y \in \{0,1\} each with probability 1/21/2, there are four equally likely outcomes: (0,0),(0,1),(1,0),(1,1)(0,0), (0,1), (1,0), (1,1). By definition, Z=1Z=1 when XYX \neq Y, so Z=1Z=1 for outcomes (0,1)(0,1) and (1,0)(1,0), and Z=0Z=0 for (0,0)(0,0) and (1,1)(1,1). Pairwise independence holds for all three pairs. For example, P(Z=1X=1)=P(Y=0X=1)=1/2=P(Z=1)P(Z=1 \mid X=1) = P(Y=0 \mid X=1) = 1/2 = P(Z=1), and similarly for the other pairs. However, mutual independence requires P(X=1,Y=1,Z=1)=P(X=1)P(Y=1)P(Z=1)P(X=1, Y=1, Z=1) = P(X=1)P(Y=1)P(Z=1). But P(X=1,Y=1,Z=1)=0P(X=1, Y=1, Z=1) = 0 since Z=1Z=1 is impossible when X=YX=Y. Since 1/801/8 \neq 0, mutual independence fails. For the conditional probability: P(X=1Y=1,Z=1)P(X=1 \mid Y=1, Z=1) asks for the probability that X=1X=1 given Y=1Y=1 and Z=1Z=1. The only outcome with Y=1Y=1 and Z=1Z=1 is (0,1)(0,1), where X=0X=0. Therefore P(X=1Y=1,Z=1)=0P(X=1 \mid Y=1, Z=1) = 0. This confirms answer A. Answer B is wrong because mutual independence fails as shown. Answer C incorrectly claims only XX and YY are independent, ignoring the other pairwise relationships. Answer D correctly identifies pairwise-but-not-mutual independence but gets the conditional probability wrong — XX must equal 0 when Y=1Y=1 and Z=1Z=1. Study tip: When you see a derived variable like ZZ, always construct the full joint table explicitly — it makes both independence checks and conditional probabilities mechanical rather than guesswork.

Question 3

Let X1,,XnX_1,\ldots,X_n be independent Bernoulli random variables with common success probability pp. Define K=r=1nXrK=\sum_{r=1}^n X_r, and suppose 0<k<n0<k<n.

For distinct indices ii and jj, what is Cov(Xi,XjK=k)\operatorname{Cov}(X_i,X_j\mid K=k)?

  1. 00
  2. k(nk)n(n1)-\dfrac{k(n-k)}{n(n-1)}
  3. k(nk)n2(n1)\dfrac{k(n-k)}{n^2(n-1)}
  4. k(nk)n2(n1)-\dfrac{k(n-k)}{n^2(n-1)} (correct answer)
Explanation: When you condition on the sum K=kK = k of nn independent Bernoulli trials, the joint conditional distribution of (X1,,Xn)(X_1, \ldots, X_n) becomes exchangeable and uniform over all binary vectors with exactly kk ones. This is precisely the hypergeometric structure: each XiK=kX_i \mid K=k is marginally Bernoulli with success probability k/nk/n, and the pair (Xi,Xj)(X_i, X_j) follows a hypergeometric-type joint distribution. To find the covariance, use Cov(Xi,XjK=k)=E[XiXjK=k]E[XiK=k]E[XjK=k]\operatorname{Cov}(X_i, X_j \mid K=k) = E[X_i X_j \mid K=k] - E[X_i \mid K=k]\,E[X_j \mid K=k]. Since XiXj=1X_i X_j = 1 only when both are 1, and by symmetry P(Xi=1,Xj=1K=k)=k(k1)n(n1)P(X_i=1, X_j=1 \mid K=k) = \frac{k(k-1)}{n(n-1)}, we get: Cov=k(k1)n(n1)(kn)2=k(k1)n(n1)k2n2=k(nk)n2(n1)\operatorname{Cov} = \frac{k(k-1)}{n(n-1)} - \left(\frac{k}{n}\right)^2 = \frac{k(k-1)}{n(n-1)} - \frac{k^2}{n^2} = -\frac{k(n-k)}{n^2(n-1)} This confirms D. The covariance is negative because fixing the sum creates a competition: if Xi=1X_i = 1, there are fewer "successes" available for XjX_j. A is wrong because conditioning on K=kK=k destroys the independence of the XiX_i's — they are no longer uncorrelated. B is wrong because it omits one factor of nn in the denominator, missing the n2n^2 term. C is wrong in sign — the covariance must be negative under this fixed-sum constraint, not positive. As a strategy, whenever you see conditioning on a sufficient statistic like a sum, remember it typically induces negative pairwise correlations through an exchangeable structure — this is the hallmark of sampling without replacement and hypergeometric distributions.

Question 4

Binary variables form a Markov chain ABCA\to B\to C, so ACBA\perp C\mid B. The probabilities are P(A=1)=0.3P(A=1)=0.3, P(B=1A=1)=0.8P(B=1\mid A=1)=0.8, P(B=1A=0)=0.2P(B=1\mid A=0)=0.2, P(C=1B=1)=0.9P(C=1\mid B=1)=0.9, and P(C=1B=0)=0.1P(C=1\mid B=0)=0.1.

What is P(A=1C=1)P(A=1\mid C=1)?

  1. 3/103/10
  2. 111/202111/202 (correct answer)
  3. 37/5037/50
  4. 9/209/20
Explanation: When you see a Markov chain problem asking for a "reversed" conditional probability like P(A=1C=1)P(A=1\mid C=1), your instinct should be Bayes' theorem combined with the law of total probability. The Markov property ACBA\perp C\mid B means you must route all influence through BB. Start by computing P(C=1)P(C=1) using total probability over both values of BB, and BB over both values of AA: P(B=1)=P(B=1A=1)P(A=1)+P(B=1A=0)P(A=0)=0.8(0.3)+0.2(0.7)=0.24+0.14=0.38P(B=1) = P(B=1\mid A=1)P(A=1) + P(B=1\mid A=0)P(A=0) = 0.8(0.3)+0.2(0.7) = 0.24+0.14 = 0.38 P(C=1)=P(C=1B=1)P(B=1)+P(C=1B=0)P(B=0)=0.9(0.38)+0.1(0.62)=0.342+0.062=0.404P(C=1) = P(C=1\mid B=1)P(B=1)+P(C=1\mid B=0)P(B=0) = 0.9(0.38)+0.1(0.62) = 0.342+0.062 = 0.404 Now apply Bayes' theorem. Because ACBA\perp C\mid B, you compute P(C=1A=1)P(C=1\mid A=1) by conditioning through BB: P(C=1A=1)=0.9(0.8)+0.1(0.2)=0.72+0.02=0.74P(C=1\mid A=1) = 0.9(0.8)+0.1(0.2) = 0.72+0.02 = 0.74 P(A=1C=1)=P(C=1A=1)P(A=1)P(C=1)=0.74×0.30.404=0.2220.404=111202P(A=1\mid C=1) = \frac{P(C=1\mid A=1)P(A=1)}{P(C=1)} = \frac{0.74 \times 0.3}{0.404} = \frac{0.222}{0.404} = \frac{111}{202} That confirms B is correct. Choice A (3/103/10) is simply P(A=1)P(A=1), ignoring the evidence from CC entirely — a classic trap of forgetting to update. Choice C (37/50=0.7437/50 = 0.74) is P(C=1A=1)P(C=1\mid A=1), confusing the direction of conditioning. Choice D (9/209/20) likely arises from using P(C=1B=1)P(C=1\mid B=1) alone without properly propagating through the chain. Your study tip: whenever a chain reversal is required, always build the full joint machinery first — compute marginals bottom-up, then apply Bayes top-down. Don't shortcut the direction of conditioning.

Question 5

Events AA and BB are independent, with P(A)=P(B)=1/2P(A)=P(B)=1/2. A selection event CC satisfies P(CAB)=P(CAcBc)=0.8P(C\mid A\cap B)=P(C\mid A^c\cap B^c)=0.8 and P(CABc)=P(CAcB)=0.2P(C\mid A\cap B^c)=P(C\mid A^c\cap B)=0.2.

Which statement describes the relationship between AA and BB after conditioning on CC?

  1. They remain independent because P(AC)=P(BC)=1/2P(A\mid C)=P(B\mid C)=1/2.
  2. They become positively associated because P(ABC)=0.4P(A\cap B\mid C)=0.4, exceeding 1/41/4. (correct answer)
  3. They become negatively associated because P(ABC)=0.1P(A\cap B\mid C)=0.1, below 1/41/4.
  4. They remain independent because P(ABC)=0.2P(A\cap B\mid C)=0.2, equaling the selection probability.
Explanation: This question tests a subtle but important phenomenon called Berkson's paradox (or collider bias): conditioning on a common effect of two independent variables induces a dependence between them. Start by computing P(C)P(C). Since AA and BB are independent with equal probabilities, each of the four joint events has probability 1/41/4. So: P(C)=14(0.8)+14(0.2)+14(0.2)+14(0.8)=0.5P(C) = \frac{1}{4}(0.8) + \frac{1}{4}(0.2) + \frac{1}{4}(0.2) + \frac{1}{4}(0.8) = 0.5 Now find P(ABC)P(A \cap B \mid C) using Bayes' theorem: P(ABC)=P(CAB)P(AB)P(C)=0.8×0.250.5=0.4P(A \cap B \mid C) = \frac{P(C \mid A \cap B)\,P(A \cap B)}{P(C)} = \frac{0.8 \times 0.25}{0.5} = 0.4 By symmetry, P(AC)=P(BC)=1/2P(A \mid C) = P(B \mid C) = 1/2, so if AA and BB were conditionally independent, we'd need P(ABC)=1/4P(A \cap B \mid C) = 1/4. Instead, we get 0.4>1/40.4 > 1/4, confirming positive association — answer B is correct. Answer A is tempting because the marginals P(AC)=P(BC)=1/2P(A \mid C) = P(B \mid C) = 1/2 look like independence, but equal marginals alone never guarantee independence; you must check the joint. Answer C gets the direction backwards — the joint probability exceeds 1/41/4, making the association positive, not negative. Answer D confuses the conditional selection probability with an independence criterion, which has no statistical basis. The key study tip: marginal conditionals can look symmetric even when variables are strongly dependent. Whenever a "collider" variable CC is influenced by two variables, always check the joint conditional probability, not just the marginals.

Question 6

A disease has prevalence 0.100.10. Two diagnostic tests are independent conditional on disease status and are also independent conditional on absence of disease. Test 1 has sensitivity 0.800.80 and false-positive probability 0.200.20. Test 2 has sensitivity 0.900.90 and false-positive probability 0.100.10.

For a randomly selected person, which statement about a positive result on Test 2 conditional on a positive result on Test 1 is correct?

  1. The probability is 9/269/26, and the two test results are not marginally independent. (correct answer)
  2. The probability is 9/269/26, and the two test results are marginally independent.
  3. The probability is 9/509/50, and the two test results are marginally independent.
  4. The probability is 4/134/13, and the two test results are not marginally independent.
Explanation: When two tests are conditionally independent given disease status, they are generally not marginally independent — and this question tests exactly that distinction. Start by finding the marginal probability of a positive on Test 1. Using the law of total probability: P(T1+)=(0.80)(0.10)+(0.20)(0.90)=0.08+0.18=0.26P(T_1^+) = (0.80)(0.10) + (0.20)(0.90) = 0.08 + 0.18 = 0.26. Similarly, P(T2+)=(0.90)(0.10)+(0.10)(0.90)=0.09+0.09=0.18P(T_2^+) = (0.90)(0.10) + (0.10)(0.90) = 0.09 + 0.09 = 0.18. Now compute the joint probability P(T1+T2+)P(T_1^+ \cap T_2^+). Since the tests are conditionally independent given disease status, condition on disease state: P(T1+T2+)=(0.80)(0.90)(0.10)+(0.20)(0.10)(0.90)=0.072+0.018=0.090P(T_1^+ \cap T_2^+) = (0.80)(0.90)(0.10) + (0.20)(0.10)(0.90) = 0.072 + 0.018 = 0.090. The desired conditional probability is: P(T2+T1+)=0.0900.26=926P(T_2^+ \mid T_1^+) = \frac{0.090}{0.26} = \frac{9}{26}. To check marginal independence, ask whether P(T1+T2+)=P(T1+)P(T2+)P(T_1^+ \cap T_2^+) = P(T_1^+) \cdot P(T_2^+): 0.26×0.18=0.04680.0900.26 \times 0.18 = 0.0468 \neq 0.090. The tests are not marginally independent — disease status is a common cause that induces correlation between the two test results in the population. This confirms A is correct. Choice B gets the probability right but incorrectly claims marginal independence. Choice C arrives at 9/50=0.189/50 = 0.18, which simply equals P(T2+)P(T_2^+) — the error of mistakenly treating the tests as marginally independent when computing the conditional. Choice D's value 4/134/13 doesn't follow from any standard calculation here. Key takeaway: Conditional independence does not imply marginal independence when conditioning variables (like disease status) are shared. Always verify independence claims by checking whether the joint equals the product of marginals.

Question 7

Let XX and YY be independent standard normal random variables, and define S=X+YS=X+Y.

For any real ss, which statement about the conditional relationship between XX and YY given S=sS=s is correct?

  1. Cov(X,YS=s)=1\operatorname{Cov}(X,Y\mid S=s)=-1, and the conditional correlation is 1/2-1/2.
  2. Cov(X,YS=s)=0\operatorname{Cov}(X,Y\mid S=s)=0, and the conditional correlation is 00.
  3. Cov(X,YS=s)=1/2\operatorname{Cov}(X,Y\mid S=s)=1/2, and the conditional correlation is 11.
  4. Cov(X,YS=s)=1/2\operatorname{Cov}(X,Y\mid S=s)=-1/2, and the conditional correlation is 1-1. (correct answer)
Explanation: When you condition on a linear combination of jointly normal variables, you're working in the realm of conditional distributions for multivariate normals — a favorite testing ground for graduate statistics exams. The key insight is that fixing S=sS = s creates a deterministic constraint Y=sXY = s - X, which induces a strong negative dependence between XX and YY. To find the conditional distribution of (X,Y)(X, Y) given S=sS = s, note that the joint vector (X,S)(X, S) is bivariate normal with Var(X)=1\operatorname{Var}(X) = 1, Var(S)=2\operatorname{Var}(S) = 2, and Cov(X,S)=1\operatorname{Cov}(X, S) = 1. By standard multivariate normal conditioning, XS=sN(s/2, 1/2)X \mid S = s \sim N(s/2,\ 1/2), and by symmetry YS=sN(s/2, 1/2)Y \mid S = s \sim N(s/2,\ 1/2). Since Y=sXY = s - X deterministically given S=sS = s, we have Cov(X,YS=s)=Cov(X,sX)=Var(XS=s)=1/2\operatorname{Cov}(X, Y \mid S = s) = \operatorname{Cov}(X, s - X) = -\operatorname{Var}(X \mid S = s) = -1/2. The conditional correlation is then ρ=1/21/21/2=1/21/2=1\rho = \frac{-1/2}{\sqrt{1/2}\cdot\sqrt{1/2}} = \frac{-1/2}{1/2} = -1, confirming answer D. Answer A gets the correlation right direction but miscalculates the covariance as 1-1 (forgetting to condition properly) and misreports the correlation as 1/2-1/2. Answer B reflects the unconditional independence of XX and YY — a classic trap of ignoring that conditioning on their sum destroys independence. Answer C inverts the sign entirely, perhaps from confusing Cov(X,S)\operatorname{Cov}(X, S) with Cov(X,YS)\operatorname{Cov}(X, Y \mid S). A powerful study tip: conditioning on a sum always creates perfect negative correlation between the summands when they're exchangeable — the constraint X+Y=sX + Y = s forces them to move in opposite directions, yielding ρ=1\rho = -1 regardless of the marginal variances.

Question 8

Let XX and YY be independent exponential random variables with common rate λ\lambda. Suppose it is known that min(X,Y)>t\min(X,Y)>t, where t>0t>0.

For a>0a>0 and b>0b>0, what is P(X>t+a, Y>t+bmin(X,Y)>t)P(X>t+a,\ Y>t+b\mid \min(X,Y)>t)?

  1. exp{λmin(a,b)}\exp\{-\lambda\min(a,b)\}
  2. exp{λmax(a,b)}\exp\{-\lambda\max(a,b)\}
  3. exp{λ(a+b)}\exp\{-\lambda(a+b)\} (correct answer)
  4. exp{λ(t+a+b)}\exp\{-\lambda(t+a+b)\}
Explanation: When you see conditioning on the minimum of independent exponentials, your first instinct should be to apply the memoryless property. For an exponential random variable, P(X>t+aX>t)=P(X>a)=eλaP(X > t + a \mid X > t) = P(X > a) = e^{-\lambda a}. This holds because the exponential "forgets" how long it has already waited. The key insight here is that conditioning on min(X,Y)>t\min(X,Y) > t is equivalent to conditioning on both X>tX > t and Y>tY > t simultaneously. Since XX and YY are independent, this joint conditioning separates cleanly. By the memoryless property applied to each variable independently: P(X>t+a, Y>t+bmin(X,Y)>t)=P(X>t+aX>t)P(Y>t+bY>t)P(X > t+a,\ Y > t+b \mid \min(X,Y)>t) = P(X > t+a \mid X > t)\cdot P(Y > t+b \mid Y > t) =eλaeλb=eλ(a+b)= e^{-\lambda a} \cdot e^{-\lambda b} = e^{-\lambda(a+b)} This confirms C is correct. Choice A, eλmin(a,b)e^{-\lambda \min(a,b)}, would be the answer to a different question — specifically P(min(X,Y)>t+min(a,b)min(X,Y)>t)P(\min(X,Y) > t + \min(a,b) \mid \min(X,Y) > t), which involves the minimum of the shifted variables, not the joint exceedance. Choice B, eλmax(a,b)e^{-\lambda \max(a,b)}, has no natural probabilistic interpretation in this context and likely tempts students who confuse min/max operations. Choice D, eλ(t+a+b)e^{-\lambda(t+a+b)}, is the classic memoryless property trap — it ignores that conditioning on min(X,Y)>t\min(X,Y) > t already "cancels" the tt, leaving only the incremental distances aa and bb. As a study tip: whenever you condition an exponential on survival past time tt, immediately replace it with a fresh exponential — the tt disappears entirely.

Question 9

Suppose XGamma(2,θ)X\sim\mathrm{Gamma}(2,\theta) and YGamma(3,θ)Y\sim\mathrm{Gamma}(3,\theta) are independent, where both distributions use the same scale parameter. Define S=X+YS=X+Y and R=X/SR=X/S.

Which statement about the transformed variables and the conditional mean is correct?

  1. RR and SS are independent, and E(XS=s)=2s/5E(X\mid S=s)=2s/5. (correct answer)
  2. RR and SS are independent, and E(XS=s)=3s/5E(X\mid S=s)=3s/5.
  3. RR and SS are dependent, and E(XS=s)=2s/5E(X\mid S=s)=2s/5.
  4. RR and SS are dependent, and E(XS=s)=3s/5E(X\mid S=s)=3s/5.
Explanation: Whenever you see a sum and ratio constructed from independent Gamma random variables, your first instinct should be to recall the Gamma-Beta decomposition theorem: if XGamma(α1,θ)X \sim \text{Gamma}(\alpha_1, \theta) and YGamma(α2,θ)Y \sim \text{Gamma}(\alpha_2, \theta) are independent, then S=X+YGamma(α1+α2,θ)S = X+Y \sim \text{Gamma}(\alpha_1+\alpha_2, \theta) and R=X/SBeta(α1,α2)R = X/S \sim \text{Beta}(\alpha_1, \alpha_2), and crucially, RR and SS are independent. This independence is a classical result that follows from the Jacobian transformation of the joint density. Here, α1=2\alpha_1 = 2 and α2=3\alpha_2 = 3, so SGamma(5,θ)S \sim \text{Gamma}(5, \theta) and RBeta(2,3)R \sim \text{Beta}(2,3), and they are independent. To find E(XS=s)E(X \mid S = s), write X=RSX = R \cdot S. Since RR and SS are independent, conditioning on S=sS = s treats ss as a constant: E(XS=s)=E(Rs)=sE(R)E(X \mid S=s) = E(R \cdot s) = s \cdot E(R). The mean of a Beta(α1,α2)\text{Beta}(\alpha_1, \alpha_2) is α1/(α1+α2)=2/5\alpha_1/(\alpha_1+\alpha_2) = 2/5, giving E(XS=s)=2s/5E(X \mid S=s) = 2s/5. This confirms answer A is correct. Answer B incorrectly uses 3/53/5 for the Beta mean — that would be E(Y/S)E(Y/S), not E(X/S)E(X/S), confusing which shape parameter belongs to XX versus YY. Answers C and D both claim RR and SS are dependent, which contradicts the fundamental Gamma-Beta independence theorem — a common misconception among students who assume ratios and sums must share information. Study tip: Memorize the Gamma-Beta decomposition as a single package — sum is Gamma, ratio is Beta, and they are always independent when the scale parameters match. This trio of facts solves an entire class of exam problems.

Question 10

Random elements XX, YY, and ZZ satisfy XYZX\perp Y\mid Z and YZY\perp Z. Which independence conclusion necessarily follows?

  1. XZYX\perp Z\mid Y
  2. X(Y,Z)X\perp (Y,Z)
  3. Y(X,Z)Y\perp (X,Z) (correct answer)
  4. XX, YY, and ZZ are mutually independent.
Explanation: Conditional independence and marginal independence interact in subtle ways, and this question tests whether you can carefully apply their definitions rather than assume they "combine" intuitively. Start with what's given: XYZX \perp Y \mid Z means XX and YY are independent once you know ZZ, and YZY \perp Z means YY and ZZ are marginally independent. Now ask what these two conditions together imply about YY's joint relationship with (X,Z)(X, Z). To show Y(X,Z)Y \perp (X, Z), you need f(y,x,z)=f(y)f(x,z)f(y, x, z) = f(y) \cdot f(x, z). Using the chain rule: f(x,y,z)=f(yx,z)f(x,z)f(x, y, z) = f(y \mid x, z) \cdot f(x, z). From XYZX \perp Y \mid Z, we have f(yx,z)=f(yz)f(y \mid x, z) = f(y \mid z). From YZY \perp Z, we have f(yz)=f(y)f(y \mid z) = f(y). Therefore f(x,y,z)=f(y)f(x,z)f(x, y, z) = f(y) \cdot f(x, z), which is exactly Y(X,Z)Y \perp (X, Z). So C follows necessarily. Choice A, XZYX \perp Z \mid Y, does not follow — the given conditions say nothing about the conditional relationship between XX and ZZ given YY, and counterexamples exist. Choice B, X(Y,Z)X \perp (Y, Z), is too strong; you'd need XZX \perp Z marginally, which isn't guaranteed. Choice D claims full mutual independence, which is even stronger than B and similarly unsupported — knowing YZY \perp Z and XYZX \perp Y \mid Z says nothing definitive about XX's marginal relationship with ZZ. When you see a mix of conditional and marginal independence conditions, chain-rule the joint density step by step — don't guess that independence "transfers" without verification.