Skip to content

Back to the catalog

Covariate-dependent Nonparametric $g$-modeling for regression via infinite Mixture-of-Expertizing class
arxiv.orgpaper

Covariate-dependent Nonparametric $g$-modeling for regression via infinite Mixture-of-Expertizing class

This arXiv methodology paper extends empirical Bayes g-modeling, which estimates a latent prior over regression coefficients from data, to the case where the entire prior distribution depends on covariates. The authors show the unrestricted nonparametric MLE (NPMLE) of this covariate-dependent prior is ill-posed, and resolve it by introducing an "infinite Mixture-of-Expertizing" class of conditional priors, proving that the resulting NPMLE is exactly a softmax-gated Mixture of Experts whose number of experts is determined by the data rather than fixed in advance. They give two exemplar-based estimation algorithms with automatic expert selection, a post-hoc aggregation step for interpretability, and theoretical results (Lipschitz continuity of conditional priors, universal approximation of continuous gating functions by aggregated softmax gates), validated on synthetic and real datasets.

TL;DR A statistics paper proves that the NPMLE for covariate-dependent empirical Bayes g-modeling is exactly a data-determined softmax-gated Mixture of Experts, with new estimation algorithms and approximation theory.
Document

What it claims

Empirical Bayes regression where each unit has its own coefficient vector βᵢ, drawn from a prior that depends on an observed covariate zᵢ. The prior is estimated nonparametrically by maximum likelihood (NPMLE). The covariate z that drives the prior can differ from the regressors x. For example, z can be latitude and longitude while x holds housing characteristics. The model splits heterogeneity into two parts:

  • a part explained by z, which moves the prior;
  • an irreducible spread among units with similar z.

How it works

Base model. A unit-level GLM: yᵢ follows an exponential family with ηᵢ = xᵢᵀβᵢ and βᵢ ~ G*(β | zᵢ). Gaussian, Bernoulli, Poisson and gamma families with standard links all satisfy the stated assumptions.

Why the naive estimator fails. Maximizing over all conditional priors is ill-posed. Placing a point mass at each unit's own maximizing β reaches the per-unit likelihood upper bound, so the solution interpolates the data.

The fix: the iMoE class. The prior is restricted to a mixing measure H over pairs (β, γ) on compact sets B × Γ. The conditional prior at z weights each β by e^{γᵀz} and then normalizes. When H is discrete, this is a softmax gate:

gⱼ(z) = αⱼ e^{γⱼᵀz} / Σₖ αₖ e^{γₖᵀz}

The support points βⱼ are shared across all z; only their weights change with z.

Existence and finite size. The log-likelihood can be written as Σ(log Ξᵢ − log Λᵢ), which is linear in H inside a convex hull. Carathéodory's theorem then gives a discrete maximizer with at most 2n support points. That is the bound on the number of experts.

Resulting model. The fitted marginal density is a softmax-gated mixture of experts. z feeds the gate, x feeds the GLM experts, and the gate-weighted sum gives the density:

flowchart LR
  Z[covariate z] --> G[softmax gate g_j]
  X[regressors x] --> E[GLM experts β_j]
  G --> F[weighted sum f y given x,z]
  E --> F

Fitting. The two algorithms extend the exemplar method of Jiang & Guntuboyina (2025), which was developed for a single shared prior in the Gaussian linear model. They use a first-order optimality condition: the directional derivative of the likelihood toward adding a point mass at (β, γ). Experts are selected automatically during optimization. A post-hoc aggregation step then merges the estimate into a few support points with aggregated softmax gates, for interpretation.

How it differs from earlier covariate-aware empirical Bayes. Earlier methods let the covariate set only the prior's mean, or the weight in a two-group mixture. Here the covariate moves the entire nonparametric prior.

Evidence

The fetched text has no quantitative results. Its only applied illustration is qualitative, on the California housing data:

  • Response: median house value per census block.
  • Regressors: six explanatory variables.
  • z: geographic coordinates.
  • Finding: the estimated priors for the MedInc and HouseAge coefficients shift visibly along a path through San Diego, Los Angeles, Fresno, San Francisco, Sacramento and Redding.

An NHANES depression-score application and simulation studies are listed, but their results are not in the fetched text.

Limits

  • Truncated page. The text stops at the optimality condition in §2.3. The algorithm details, simulations, real-data numbers and discussion are missing.
  • No code. The page mentions no code or software.
  • Assumptions to check before relying on the theory:
  • B and Γ must be compact.
  • The exponential-family density must be strictly positive and continuous in β.
  • The constant term must be excluded from z.
  • Lipschitz continuity of the prior in z holds only for bounded gate parameters.
  • Discrete supports. The estimated prior is always discrete with shared support points. Only the weights vary with z; the coefficient values themselves do not.
  • Version. This is a v1 preprint (stat.ME), posted 6 Oct 2026.

Technologies named here

  • Mixture of Experts

Techniques named here

  • Empirical Bayes g-modeling