Minimum Localized Bayesian Networks

• Minimum Localized Bayesian Networks are a framework that constructs minimal subnetworks guaranteeing exact inference for selected variable sets.
• They leverage directed convexity and iterative absorption algorithms to preserve all marginal and conditional distributions accurately.
• Empirical studies show substantial node reduction and up to 50× faster inference compared to traditional Bayesian network methods.

Minimum Localized Bayesian Networks (MLBNs) represent a rigorous framework for minimizing the complexity of Bayesian networks while preserving the full inferential power for selected variables. MLBNs leverage structural reductions, scoring-based selection, and context-specific parameterizations to yield models that are both parsimonious and inferentially sound. This article details the foundational principles, algorithmic construction, theoretical guarantees, and empirical characteristics of MLBNs, with an emphasis on the interplay between structural dimension reduction and localized parameter learning.

1. Formal Definition and Theoretical Foundations

Given a Bayesian network $\mathcal{B} = (G, \mathbb{P}(G))$, where $G = (V, E)$ is a directed acyclic graph (DAG), the objective of minimum localization is, for a specified query set $S \subseteq V$, to construct the smallest subnetwork that exactly preserves all marginal and conditional distributions involving only $S$ (and potentially an additional set of query variables $Q$ disjoint from $S$).

Minimum Localized Bayesian Network (MLBN):

A subset $H \subseteq V$ is the MLBN-node set for $S$ if:

• (i) The family of marginals of $\mathbb{P}(G)$ on $X_H$ coincides with the family of distributions factorizing according to the induced subgraph $G = (V, E)$0;
• (ii) No strict subset $G = (V, E)$1 of $G = (V, E)$2 satisfies this property.

This translates to MLBNs being the minimal subnetworks onto which the original network can be "collapsed" without altering the relevant inferences for variables in $G = (V, E)$3 (Heng et al., 13 Jan 2026).

2. Directed Convexity, Inducing Paths, and the Directed Convex Hull

The critical combinatorial concept underpinning MLBNs is directed convexity ("d-convexity"):

• A subgraph $G = (V, E)$4 is d-convex if no inducing path of $G = (V, E)$5 exists—that is, there is no simple path $G = (V, E)$6 (with $G = (V, E)$7 and nonadjacent) such that all intermediate colliders are in $G = (V, E)$8 and are ancestors of $G = (V, E)$9 or $S \subseteq V$0, and all non-colliders are outside $S \subseteq V$1.
• The directed convex hull $S \subseteq V$2 is defined as the intersection of all d-convex supersets of $S \subseteq V$3 in $S \subseteq V$4.

The central equivalence theorem formalizes that: Theorem: Under faithfulness of $S \subseteq V$5 to $S \subseteq V$6, the MLBN-node set $S \subseteq V$7, and the MLBN for $S \subseteq V$8 is exactly the DAG induced by the directed convex hull of $S \subseteq V$9.

Thus, the MLBN construction is entirely characterized by the unique minimal d-convex superset of $S$0 (Heng et al., 13 Jan 2026).

3. Algorithms for Extraction and Complexity

The construction of MLBNs reduces to computing the directed convex hull. The principal algorithm is CMDSA (Close Minimal D-Separator Absorption):

1. Initialize $S$1.
2. Iteratively, for each pair $S$2 in $S$3 that are nonadjacent but not d-separated by $S$4:
   • Identify minimal d-separators $S$5 and $S$6 (based on the Markov boundaries and Bayes-ball traversal).
   • Absorb these into $S$7 ($S$8).
3. Terminate when no inducing pair remains.

Each absorption strictly enlarges $S$9 until d-convexity is achieved. The overall complexity is $Q$0 per query set $Q$1. The resulting $Q$2 comprises the node set for the MLBN (Heng et al., 13 Jan 2026).

4. Inference Consistency and Faithfulness Guarantees

For any disjoint sets $Q$3 and $Q$4,

$Q$5

where $Q$6 is the MLBN induced by $Q$7. All d-separation relations among subsets of $Q$8 are preserved, and the factorization of $Q$9 remains identical in the MLBN and the original BN. This property ensures exact preservation of all query answers regarding $S$0 after reduction. The faithfulness assumption is required for the correctness of this equivalence, as the characterization hinges on graphical criteria (Heng et al., 13 Jan 2026).

5. Empirical Performance: Dimension Reduction and Inference Speed

MLBNs via the directed convex hull demonstrate substantial node reduction and inference acceleration:

• Dimension Reduction Capability (DRC): Measured as $S$1, DRC on real benchmarks includes Alarm (62.7%), Hepar2 (75.1%), Andes (70.9%), Diabetes (55.4%), Link (95.4%), Munin2 (98.7%).
• Inference Times: Constrained Variable Elimination (Con+VE) on the d-convex hull yields order-of-magnitude speedups over traditional variable elimination (VE) and belief propagation (BP), especially evident on large, sparse networks (e.g., Link: VE=305ms, Con+VE=7.43ms).
• Parameter Learning: KL-divergence between ground-truth marginals and re-learned submodels on the hull is negligible for moderate-to-large data ($S$2 at $S$3 for random sparse networks) (Heng et al., 13 Jan 2026).

6. Local Structure and Parameter Minimality

Beyond structural dimension reduction, the notion of "minimum localized" also encompasses context-specific parameter minimization.

• Local Structure Models: Decision trees, default tables, and decision graphs are used for context-specific parameterization of CPTs, reducing parameter complexity from exponential in parent set size to a function of the number of distinct local contexts (Friedman et al., 2013, Chickering et al., 2013).
• Parameter Counting: The total parameter count becomes $S$4, with $S$5 the number of distinct structural or context-specific partitions.
• Learning Algorithms: Global search over graph structures is performed in tandem with greedy or pruned search over local CPT structures, jointly minimizing description length (MDL) or maximizing marginal likelihood (BDeu) (Friedman et al., 2013, Chickering et al., 2013).
• Log-linear Models and Causal Independence: First-Order Models (FOMs), restricting local conditionals to logit models with only additive (no interaction) parent effects, achieve further parameter reduction (from $S$6 to $S$7) (Neil et al., 2013).

These approaches preserve the "minimum localized" property in the sense of parameter economy for a fixed structure or for hull-induced subnetworks.

7. Limitations, Extensions, and Related Methodologies

Limitations:

• MLBN reduction becomes less effective when $S$8 is large or $S$9 is highly connected, as $H \subseteq V$0.
• Each new query set $H \subseteq V$1 requires recomputation of the directed convex hull.

Possible Extensions:

• Incorporation of hard evidence by including observed variables in $H \subseteq V$2 and pruning barren nodes.
• Dynamic maintenance of the convex hull under incremental changes of $H \subseteq V$3.
• Use of the d-convex hull for scalable structure learning or model decomposition.

Relation to Local Structure Discovery and Localized Learning:

Approaches such as SLL (Score-based Local Learning) focus on discovering the Markov blanket or local subgraphs for individual variables via local scoring and symmetry correction, often serving as preliminary steps for global assembly or local-to-global heuristics (Niinimaki et al., 2012). MDL decomposition and search frameworks (Lam et al., 2013) exploit local node-based scoring for scalable and interpretable structure discovery, with mechanisms for local updates and expert constraint integration.

Summary Table: Key MLBN Construction and Performance Results

Aspect	MLBN via Hull (Heng et al., 13 Jan 2026)	Local Parameter Learning (Friedman et al., 2013)
Node Reduction	d-convex hull extraction	Irrelevant for parameterization
Parameter Reduction	Induced subgraph only	Context-specific CPTs (decision trees, graphs)
Inference Consistency	Exact on $H \subseteq V$4	Dependent on parameter model fit
Algorithmic Cost	$H \subseteq V$5	Typically modest over standard CPT
Empirical Gains	55–99% node reduction; 10–50$H \subseteq V$6 speedup	20–80% fewer parameters; faster convergence
Preservation Criteria	Faithfulness, d-convexity	Score equivalence, local structure

Minimum Localized Bayesian Networks offer a principled means of reducing both network structure and parametrization to the minimum required for answering all queries about a set $H \subseteq V$7, with rigorous guarantees for marginal and conditional consistency, algorithmic tractability, and empirical efficacy in large-scale graphical models (Heng et al., 13 Jan 2026, Friedman et al., 2013, Chickering et al., 2013, Niinimaki et al., 2012, Neil et al., 2013, Lam et al., 2013).