REVIEW 4 major objections 4 minor 15 references
Valid Bayesian Inference based on Variance Weighted Projection for High-Dimensional Logistic Regression with Binary Covariates
T0 review · 4 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read This paper proves that a variance-weighted projection score yields Bayesian credible intervals with correct frequentist coverage for a binary treatment effect in high-dimensional logistic regression.
desk verdict A genuinely new variance-weighted projection for binary treatments, but the coverage theorem rests on an assumption that quietly requires a correct propensity model. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the variance-weighted projection h0(Z_i) = E[X_i Var(Y_i | X_i, Z_i) | Z_i] / E[Var(Y_i | X_i, Z_i) | Z_i], estimated from posterior samples of the nuisance parameters and a logistic working model for the propensity score. Subtracting this projection in the score (X - h0(Z))^T (Y - μ) forces the expected derivative with respect to the nuisance parameter β to vanish, giving Neyman orthogonality. The conditional posterior for θ then uses the working model with linear predictor (X_i - h(Z_i))θ + φ_i, which coincides exactly with the original logistic model at the oracle values; this is what lets the slower nuisance concentration rate be converted into the optimal $n^{-1}$/2 posterior rate for θ.
What would settle it
Run a simulation in which Y follows the assumed logistic model but the true probability that X equals 1 given Z is a nonlinear function, such as a probit or a logistic with interaction terms, that the linear logistic working model cannot represent; then compute the empirical coverage of the nominal 95% credible intervals over many replications. If coverage drops below nominal as n grows, the uniform propensity-concentration assumption fails and the theorem's conclusion is false.
Extended reading notes
Core claim
The paper's central claim is that valid frequentist inference for the log-odds ratio of a binary covariate in a high-dimensional logistic model can be obtained from a Bayesian posterior built on an orthogonal score. Because the standard weighted regression of the binary treatment X on the nuisance covariates Z fails—the required moment condition would force a linear function to equal a bounded nonlinear ratio—the paper instead defines h0(Z_i) as the conditional expectation of X_i weighted by outcome variances, and uses the score (X - h0(Z))^T (Y - μ). Plugging posterior samples of the nuisance parameters into h and a reparametrized φ yields a conditional posterior for the treatment effect θ. Theorem 1 shows this marginal posterior converges in probability to a normal distribution centered at the oracle MLE θ̂0 with scale σ_n, and Corollary 1.1 concludes that the credible intervals have correct frequentist coverage.
Load-bearing premise
The load-bearing premise is that the logistic working model for the probability that the binary treatment equals 1 given the covariates estimates the true probability well enough that its error vanishes uniformly as the sample size grows, even though the paper does not assume that working model is correct; if this premise fails, the projection that removes nuisance bias is itself biased and the credible intervals can lose coverage.
Editorial extensions
If this is right
- Credible intervals from the conditional posterior achieve nominal frequentist coverage for θ at the oracle n^-1/2 rate.
- The method remains valid when the number of covariates grows sub-exponentially in n and does not require nonzero nuisance coefficients to be bounded away from zero.
- The construction extends to a K-category treatment by applying the variance-weighted projection separately to each dummy variable.
- Averaging over posterior samples of the nuisance parameters captures multiple orthogonality instances, in contrast to methods that rely on a single debiased estimate.
Reading between the lines
- The same conditional-posterior construction should transfer to other high-dimensional generalized linear models with discrete exposures, with h0 defined by the same variance-weighted conditional expectation.
- Because h0 is defined through conditional expectations, a nonparametric or doubly robust estimator of h0 could replace the logistic propensity working model and relax the paper's concentration assumption on the propensity score.
- A practical user should treat the logistic propensity working model as a genuine assumption: in real datasets where the treatment depends nonlinearly on covariates, coverage should be checked empirically rather than taken for granted.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a new Bayesian method for inference on a low-dimensional parameter θ in a high-dimensional logistic regression model where the covariate of interest X is binary. The central construction is an orthogonal score based on a variance-weighted projection h0(Z) = E[X Var(Y|X,Z) | Z] / E[Var(Y|X,Z) | Z], which the authors argue is needed because the usual weighted-regression orthogonality condition fails for binary X. The method draws nuisance parameters (θ̃, β) and a propensity parameter γ from conditional posteriors, then forms a working model for θ using estimated h(Z) and φ. The main theoretical result (Theorem 1, Section 3.3) states that the marginal posterior of θ is asymptotically normal around the oracle MLE θ̂0 at the n^{-1/2} rate, and Corollary 1.1 concludes that Bayesian credible intervals have correct frequentist coverage. The paper includes simulations and a real-data analysis of the CKD dataset, plus an extension to categorical X and a general form of the variance-weighted projection.
Significance. If the theorem and its coverage claim were fully established, the paper would provide a valuable Bayesian alternative to existing frequentist de-biasing methods for logistic regression with a binary treatment in high dimensions. The variance-weighted projection is a natural and well-motivated construction, and the use of multiple nuisance samples from posterior distributions is an interesting twist on integrated-likelihood ideas. The simulation study is thorough, covers a range of signal strengths and two sample sizes, and compares well against several existing methods. The paper also identifies a genuine technical obstacle (the failure of continuous-X orthogonality conditions when X is binary) and offers a concrete score that addresses it. The categorical extension and the general expression in Section 8 broaden the potential applicability. The central claim, however, rests on a set of assumptions whose realism and internal consistency need careful scrutiny, and the proof as written leaves several gaps that a revision would need to close.
major comments (4)
- [Section 3.2, Assumption A5 (Eq. 3.5)] Assumption A5 is effectively a correct-specification assumption at a parametric rate, despite the text's claim that no correct model for P(X_i=1|Z_i) is assumed. The assumption requires the logistic working model (γ-WM) to estimate the true propensity with uniform log-odds error M√(log(d∨n)/n). If the true propensity is not exactly logistic, the posterior for γ concentrates at a pseudo-true value, and the log-odds bias Z_i^T(γ* − γ_true_logit) is generically of constant order for at least some i, violating A5. This is not a minor technicality: Lemma 3 uses A5 to control the T3 term in |h(Z_i)−h0(Z_i)|, and Lemma 7 uses the same rate to make the second-order remainder in the score expansion negligible. If A5 fails, the estimated h(Z) is asymptotically biased, the orthogonality correction does not drive E[B_n] to zero after √n scaling, and the posterior no longer centers at θ0. Consequently, the coverage guarantee in Corollary 1.1 is not supported in settings where the propensity model is misspecified. The paper's own Section 5.3 concedes that the working model '(γ-WM) might not strictly apply' in the real-data experiment, so the discrepancy between the theory and the claimed empirical validity is concrete. A revision should either (i) state explicitly that the theory assumes a correctly specified logistic propensity model and soften the 'valid inference' claim accordingly, or (ii) develop a doubly robust version that permits misspecification of one of the nuisance models.
- [Section 3.3, Eq. (3.9) and proof in Appendix B (around B.16)] The definition of σ_n is inconsistent with its use. Eq. (3.9) defines σ_n = √( −∂² L_n/∂θ² |_{θ=θ̂0} ), which is O(√n) and is the square root of the observed Fisher information, not the standard deviation of θ̂0. The correct standard deviation is 1/√(−∂² L_n/∂θ²). The proof then uses (σ_n²)^{-1} = L''_n(θ̂0|h0,φ0), which has the wrong sign and is also inconsistent with (3.9). This matters because Theorem 1 and Corollary 1.1 rely on σ_n as the scaling in the normal approximation; if σ_n is mis-defined, the limiting distribution statement is not well posed. The text in Section 3.3 even says 'σn = O(√n)' immediately after defining σ_n as the standard deviation, which confirms the error. A revision must correct the definition of σ_n and ensure that all subsequent expressions (B.16), (B.20), and (B.25) are consistent with that corrected definition.
- [Lemma 7 (Appendix B, Eq. B.9–B.10)] The proof of Lemma 7 invokes Lemma 2 from Belloni et al. (2013) to control the empirical process deviations in (B.10), but the observations (Y_i, X_i, Z_i) are not independent conditional on the estimated nuisance quantities h(Z) and φ, because h(Z_i) and φ_i are constructed from the same posterior sample (θ̃,β). Lemma 2 as stated applies to independent observations; the manuscript does not verify the required conditions (e.g., uniform entropy or bracketing numbers) for the dependent case. Moreover, the statement 'By Neyman orthogonality, E[∂_t b_n(η0)[η−η0]] = 0' is only true when h0 is the true variance-weighted projection; if A5 fails (see major comment above), this expectation is not zero and the claimed √n|E[b_n − b_n0]| → 0 bound in (B.9) does not follow. The proof of Lemma 7 is therefore incomplete as written.
- [Theorem 1 proof (Appendix B, first paragraph and B.40)] The proof establishes the conclusion only on a high-probability set E and then conditions on a further high-probability set B. The passage from (B.14) shows that the marginal posterior is close to the conditional posterior on B, but the stochastic convergence results used to prove (B.25) and (B.27) are unconditional statements (over the data), not statements conditional on Y, X, Z. To prove that the posterior probability P(θ ∈ (θ̂0 + aσ_n, θ̂0 + bσ_n) | Y,X,Z) converges in probability to the normal CDF, one needs to show that the ratio of integrals converges uniformly over the data with high probability. The manuscript does not provide a rigorous justification connecting the unconditional convergence of the score terms to the conditional posterior probability. This gap is load-bearing because the theorem's conclusion is exactly a convergence in probability of a function of the data.
minor comments (4)
- [Section 2.1, paragraph after Eq. (2.9)] The sentence 'We use the notations h0(Z) and h(Z) to represent the vectors (h0Z1),...,h0(Zn)) and (h(Z1),...,h(Zn)), respectively' contains missing parentheses and is hard to read; it should be edited for clarity.
- [Section 1.3, title] The phrase 'Connections to Causal Inference' contains a typo in the body text: 'casual inference' appears in the first sentence; it should be 'causal inference'.
- [Section 3.3, text before Theorem 1] The sentence 'The theorem states that the posterior concentrates around θ̂0 which is the oracle estimator (3.8) at n−1/2 rate because σn = O(√n)' is misleading: if σ_n were the standard deviation it would be O(n^{-1/2}); the sentence becomes correct only if σ_n is re-defined as the inverse standard deviation. This is a direct consequence of the Eq. (3.9) error and should be fixed.
- [Section 6.2, paragraph 1] The paper states that in the real-data analysis 'we obtain the nuisance estimates via LASSO' without noting that this violates Assumption A4, which is about posterior concentration of the spike-and-slab method. A sentence explaining that this is a heuristic used for computational convenience, not covered by the theory, would be appropriate.
Circularity Check
No significant circularity: the variance-weighted projection is derived from an orthogonality condition, the coverage theorem is proven under explicit assumptions, and the self-citations are motivational rather than load-bearing.
full rationale
The central claim (Theorem 1 and Corollary 1.1) is that the marginal posterior for theta concentrates around the oracle MLE and yields valid credible intervals. The construction is not fitted to theta: h0(Z) is defined in Eq. (2.9) by solving the orthogonality condition E[partial_beta psi]=0 (Eq. 2.8), and the estimated h(Z) and phi are formed from separate nuisance posterior samples ((theta~,beta)-CP and gamma-CP). The proof proceeds by bounding the difference between the estimated and oracle log-likelihoods using Assumptions A4 and A5 plus Lemma 7, whose Neyman-orthogonality step is a mathematical consequence of the h0 definition, not an imported equality. Assumption A5 requires the logistic working model for the propensity to concentrate at rate sqrt(log(d∨n)/n); this is a substantive regularity condition, not a fitted parameter renamed as a prediction. Simulations use known theta0 values and an ORACLE benchmark, so coverage is checked against an external truth rather than calibrated. The self-citations to Wu et al. (2023) and Ojha and Narisetty (2023) supply the conditional-posterior framework and the spike-and-slab concentration rate, but the novel variance-weighted projection and its asymptotic normality are derived and proved in the present paper; none of these citations is invoked as a uniqueness theorem or as a substitute for the proof. The Section 5.3 caveat that the working model 'might not strictly apply' is an applicability limitation, not a circular step. I find no equation whose output is equivalent to its own input.
Assumptions & free parameters
free parameters (2)
- prior variance lambda for theta =
10
- spike-and-slab hyperparameters (tau0n, tau1n, qn) =
tau0n^2=1/n, n*tau1n^2=max(n, 0.01*d^2.1), qn set so P(sum Ij > K)=0.1 with K=max(10, log n)
assumptions (8)
- domain assumption A1: log d = o(n)
- domain assumption A2: nuisance covariates bounded
- domain assumption A3: sparsity s^2 log(d or n) = o(sqrt(n))
- domain assumption A4: posterior concentration of (theta~, beta)
- domain assumption A5: propensity score estimator concentration
- domain assumption A6: prior on theta continuous and positive at theta0, theta0 bounded
- ad hoc to paper Working model (theta-WM) and oracle equivalence
- standard math Pólya-Gamma representation of logistic likelihood
invented entities (2)
-
Variance-weighted projection h0(Z_i)
independent evidence
-
Working model (theta-WM)
Cite this review
Pith. "Pith review of Valid Bayesian Inference based on Variance Weighted Projection for High-Dimensional Logistic Regression with Binary Covariates." pith.science (2026). https://pith.science/paper/MI3OO573
@misc{pith2026241117618,
author = {Pith},
title = {Pith review of: Valid Bayesian Inference based on Variance Weighted Projection for High-Dimensional Logistic Regression with Binary Covariates},
year = {2026},
howpublished = {\url{https://pith.science/paper/MI3OO573}},
note = {Machine review of arXiv:2411.17618}
}
read the original abstract
We address the challenge of conducting inference for a categorical treatment effect related to a binary outcome variable while taking into account high-dimensional baseline covariates. The conventional technique used to establish orthogonality for the treatment effect from nuisance variables in continuous cases is inapplicable in the context of binary treatment. To overcome this obstacle, an orthogonal score tailored specifically to this scenario is formulated which is based on a variance-weighted projection. Additionally, a novel Bayesian framework is proposed to facilitate valid inference for the desired low-dimensional parameter within the complex framework of high-dimensional logistic regression. We provide uniform convergence results, affirming the validity of credible intervals derived from the posterior distribution. The effectiveness of the proposed method is demonstrated through comprehensive simulation studies and real data analysis.
Reference graph
Works this paper leans on
-
[1]
Agresti, A. (2012), Categorical data analysis , vol. 792, John Wiley & Sons. 3 Antonelli, J., Papadogeorgou, G., and Dominici, F. (2022), “Causal in ference in high di- mensions: a marriage between Bayesian modeling and good frequent ist properties,” Bio- metrics, 78, 100–114. 8 Armagan, A., Dunson, D. B., and Lee, J. (2013), “Generalized doub le Pareto s...
work page 2012
-
[2]
Let |hi(t)| ≤ |tTWi|, K/4 > ¯σ2 = sup t∈T ¯E[hi(t)2ξ2 i ], ˜p = dim(Wi), and ‖T ‖1 = sup t∈T ‖t‖1
Consider the notations En(ri) = 1 n ∑ n i=1ri and ¯E(ri) = 1 n ∑ n i=1E[ri]. Let |hi(t)| ≤ |tTWi|, K/4 > ¯σ2 = sup t∈T ¯E[hi(t)2ξ2 i ], ˜p = dim(Wi), and ‖T ‖1 = sup t∈T ‖t‖1. We have P ( sup t∈T |(En − ¯E)[hi(t)ξi]|> K‖T ‖1 √ M√n ) ≤ 32˜p exp (−K 2 16 ) + P ( max j≤˜p En[W 2 ijξ2 i ]>M ) . Lemma 2 has been proved in ( Belloni et al. , 2013). Lemma
work page 2013
-
[5]
Large-scale Baye sian logistic regression for text categorization,
6 41 Genkin, A., Lewis, D. D., and Madigan, D. (2007), “Large-scale Baye sian logistic regression for text categorization,” Technometrics, 49, 291–304. 6 George, E. I. and McCulloch, R. E. (1993), “Variable selection via Gib bs sampling,” Journal of the American Statistical Association , 88, 881–889. 6 Ghosh, J., Li, Y., and Mitra, R. (2018), “On the use ...
work page 2007
-
[7]
A version of the results in this lemma have been proved in ( Belloni et al. , 2013). We will use second order Taylor’s series expansion with directional derivatives. The directional derivative of f at ˜x in the direction of [ x −x0] is defined as: ∂tf (˜x)[x −x0] = lim t→0 f (˜x +t[x −x0]) −f (˜x) t . Similarly, the second directional derivative can be defi...
work page 2013
-
[12]
Lemma 1 consists of preliminary results shown in ( Walker, 1969; Schervish, 2012)
= OP (1). Lemma 1 consists of preliminary results shown in ( Walker, 1969; Schervish, 2012). Lemma
work page 1969
-
[15]
(B.22) From Walker (1969), we already know how to control the ˆθ0 related term
(B.21) Let’s try to understand the behavior of the following integral (for 0<ǫ< 1): Iǫ = ∫ N0(δ) exp(Ln(θ | h(Z),φ ) − Ln(θ | h0(Z),φ 0)) exp [ −(θ − ˆθ0)2(1 ±ǫ) 2σ2 n ] dθ. (B.22) From Walker (1969), we already know how to control the ˆθ0 related term. Because of high dimensional setting, we have new term to deal with. Note that w e can express the differ...
work page 1969
-
[66]
28 Masho, S. W. and Archer, P. W. (2011), “Does maternal birth out come differentially influ- ence the occurrence of infant death among African Americans and European Americans?” Maternal and child health journal , 15, 1249–1256. 28, 29 Narisetty, N. N. and He, X. (2014), “Bayesian variable selection wit h shrinking and diffusing priors,” The Annals of Stati...
work page 2011
-
[108]
Effects of model selection on inferenc e,
49 P¨ otscher, B. M. (1991), “Effects of model selection on inferenc e,” Econometric Theory, 7, 163–185. 7 — (2009), “Confidence sets based on sparse estimators are nece ssarily large,” Sankhy¯ a: The Indian Journal of Statistics, Series A (2008-) , 1–18. 7 P¨ otscher, B. M. and Leeb, H. (2009), “On the distribution of penalized maximum likelihood estimator...
work page 1991
Show all 15 references
-
[119]
Self-concordant analysis for logistic regressio n,
6 Bach, F. (2010), “Self-concordant analysis for logistic regressio n,” Electronic Journal of Statistics, 4, 384–414. 6 Belloni, A., Chen, D., Chernozhukov, V., and Hansen, C. (2012), “Sp arse models and methods for optimal instruments with an application to eminent doma in,” ...
2010 arXiv
-
[232]
Honest variable selection in linear and logistic reg ression models via l1 and l1+ l2 penalization,
6 Bunea, F. (2008), “Honest variable selection in linear and logistic reg ression models via l1 and l1+ l2 penalization,” Electronic Journal of Statistics , 2, 1153–1194. 6 Cai, T. T. and Guo, Z. (2017), “Confidence intervals for high-dimen sional linear regression: Minimax rat...
2008
-
[688]
Chron ic Kidney Disease,
5 Rubini, L., Soundarapandian, P., , and Eswaran, P. (2015), “Chron ic Kidney Disease,” DOI: https://doi.org/10.24432/C5G020. 2, 30 Schervish, M. J. (2012), Theory of Statistics , Springer Science & Business Media. 22, 52 Severini, T. A. (2007), “Integrated likelihood function...
2015 arXiv
-
[773]
Confidence intervals a nd hypothesis testing for high-dimensional regression,
6, 21 Javanmard, A. and Montanari, A. (2014), “Confidence intervals a nd hypothesis testing for high-dimensional regression,” The Journal of Machine Learning Research , 15, 2869–2909. 7 42 Johnson, V. E. and Rossell, D. (2012), “Bayesian model selection in high-dimensional sett...
2014
-
[817]
Skinny Gibbs: A Cons istent and Scalable Gibbs Sampler for Model Selection,
6 Narisetty, N. N., Shen, J., and He, X. (2019), “Skinny Gibbs: A Cons istent and Scalable Gibbs Sampler for Model Selection,” Journal of the American Statistical Association , 114, 1205–1217. 6, 21, 24 Neyman, J. (1959), “Optimal asymptotic tests of composite hypo theses,” Pr...
2019
-
[1490]
Consistent high-dimensiona l Bayesian variable selection via penalized credible regions,
6 Bondell, H. D. and Reich, B. J. (2012), “Consistent high-dimensiona l Bayesian variable selection via penalized credible regions,” Journal of the American Statistical Association , 107, 1610–1624. 6 Breheny, P. and Huang, J. (2011), “Coordinate descent algorith ms for noncon...
2012
-
[2981]
Non-asymptotic oracle inequalities for the La sso and group Lasso in high dimensional logistic model,
7 Kwemou, M. (2016), “Non-asymptotic oracle inequalities for the La sso and group Lasso in high dimensional logistic model,” ESAIM: Probability and Statistics , 20, 309–331. 6 Leeb, H. and P¨ otscher, B. M. (2005), “Model selection and infer ence: Facts and fiction,” Econometri...
2016
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.