Mixed-Type Conditional-Invariance Regularizer
Implementation & benchmark of arXiv:2607.12830 — MixCIT: A Kernel Based Local-Polynomial Debiased Test for Conditional Independence on Mixed-Type Data
Source paper: MixCIT: A Kernel Based Local-Polynomial Debiased Test for Conditional Independence on Mixed-Type Data arXiv:2607.12830 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Use the paper's coarse-versus-fine neighborhood comparison as a differentiable penalty on a neural representation. For each sample, compare similarity of target or sensitive-variable embeddings among points close in context Z alone against points close in (Z,R), where R=f_theta(X) is the learned representation. Under conditional independence, adding R should not increase local similarity, so the network is penalized when the fine-neighborhood statistic differs systematically from the coarse one.
Formulas
Mathematical statement
The paper tests H_0:Y independent of X conditional on Z versus H_1:Y not independent of X conditional on Z. For sample i, let C_i be a coarse neighborhood selected using Z only, and let F_i be a fine neighborhood selected using (Z,X); discrete coordinates are matched exactly and continuous coordinates use k_n-nearest neighbors. Let kappa(u,v) be a bounded positive-semidefinite similarity kernel on targets or sensitive attributes, and define s_i(A)=|A|^{-1} sum_{j in A,j not equal to i} kappa(y_i,y_j). The adapted local contrast is d_i=s_i(F_i)-s_i(C_i) and T=n^{-1} sum_i d_i. Under conditional independence, the expected contrast is zero; a nonzero positive contrast means the representation supplies extra information about Y beyond Z. To reduce continuous-neighborhood bias, fit a local polynomial b_hat_i to nearby values of d_j as a function of continuous Z_j and use the residual d_tilde_i=d_i-b_hat_i. The claimed n^{-1/4} detection threshold motivates using this local statistic instead of a global kernel matrix, especially in higher-dimensional conditioning spaces.
Implementation notes
(1) Integration point: apply this during training to a representation R_i=f_theta(X_i), while Y_i is a protected attribute, nuisance label, or future target whose information should be conditionally absent from R_i given context Z_i. Use a differentiable kernel such as kappa(y_i,y_j)=exp(-||e(y_i)-e(y_j)||^2/(2 sigma^2)) for continuous or learned target embeddings, and keep neighbor indices detached so the loss is piecewise differentiable through similarities. (2) Pseudocode: sample a batch; construct C_i by exact equality on discrete Z fields and k-nearest-neighbor distance on normalized continuous Z; construct F_i by exact matching on discrete (Z,R) fields where applicable and k-nearest-neighbor distance on concatenated (Z,R); compute s_i(C_i) and s_i(F_i), then d_i. For each i, select m nearby points in continuous Z, form polynomial features p(z)=[1,z_1,...,z_q] optionally with quadratic terms, use diagonal weights W_jj=exp(-||z_j-z_i||^2/h^2), solve the ridge weighted least-squares expression for b_hat_i, and minimize the squared mean residual plus the task loss. (3) Compute from the paper's construction: mixed-type neighborhood definitions, local similarity contrast, and local-polynomial bias correction. Estimate empirically: k, bandwidth h, kernel scale sigma, ridge lambda, and penalty weight alpha; tune them on validation data. (4) First experiment: train a small MLP on Adult or a synthetic mixed-type regression dataset to predict Y from X with categorical and continuous Z. Compare the baseline, ordinary adversarial conditional-invariance training, and this regularizer at equal batch size and FLOPs. Measure task accuracy, a held-out kNN conditional-independence statistic, and sensitive-variable prediction accuracy from R conditional on Z. Success is lower held-out conditional dependence at no more than 1% task-accuracy loss, with near-quadratic batch computation rather than a dense cubic global-kernel computation.
Verification
This idea has not been verified yet.
Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.
Artifacts
Artifacts unavailable.