 Bayes factor for the sign of a normal mean

For a random sample $X_i\mid \theta \sim N(\theta ,{\sigma }^2)$ with known $\sigma >0$ and prior distribution $\theta \sim N(0,{\tau }^2)$ with $\tau >0$, compare $H_0:\theta <0$ to $H_1:\theta \ge 0$. The prior odds are one by symmetry. Normal-normal conjugacy gives a normal posterior distribution withIts negative and nonnegative masses are $\Phi (-z)$ and $\Phi (z)$, whereSince the Bayes factor is the posterior odds divided by the prior odds,Here $\Phi$ is the cumulative distribution function of the standard normal distribution. The ratio decreases with the sample mean. For any threshold $b>0$, the inequality $B_{01}<b$ is equivalent to $\Phi (z)>1/(1+b)$ and hence toFor $b=1/10$, the quantile is ${\Phi }^{-1}(10/11)\approx 1.33518$, and the equivalent posterior probability threshold for $H_0$ is $1/11$. The symmetry and proper normalization of the two hypothesis-conditional priors are essential to replacing the Bayes factor by the posterior odds directly.