Factorization¶
Core Idea¶
Factorization expresses a single object as a product of simpler factors under a native combining operation — the factors are the same type as the parent (closure), bottom out at a library of irreducibles, and recombine to recover the original exactly. Sharper than generic decomposition: the parts must compose back under an operation the system natively supports.
How would you explain it like I'm…
Pieces That Multiply Back
Building Blocks That Multiply
Product Of Irreducibles
Broad Use¶
- Mathematics: prime and polynomial factorization, group decompositions, matrix factorizations (LU, QR, SVD), convolution as multiplication after a Fourier transform.
- Probability: factoring a joint distribution into conditionals along a graphical-model DAG — the content of Bayesian networks.
- Causal inference: factorizing the joint over a causal DAG into local mechanisms, so an intervention is substitution at a single factor.
- Chemistry: factoring molecules into functional groups, with retrosynthesis as factorization in reverse.
- Economics: Cobb–Douglas production factoring output into input contributions, and factor models decomposing returns.
- Computer science: code refactoring, database normalization, and the Chinese Remainder Theorem across coprime moduli.
- Linguistics: morphological factorization of words into root plus affixes.
Clarity¶
Forces three commitments — what combining operation governs this system?, what counts as a factor?, what are the irreducibles? — and separates the object from its generative recipe (60 versus 2²·3·5).
Manages Complexity¶
Once factored, operations respecting the combining rule become factor-local, exponentially cheaper when the combining rule is the cost-driver — and the choice of factorization (LU, QR, SVD of one matrix) is a tunable matching the decomposition to the needed operation.
Abstract Reasoning¶
Licenses independence-as-factorization (a joint factors into marginals), intervention-as-replace-one-factor, library-of-irreducibles reasoning, and hidden-factor hypothesis testing.
Knowledge Transfer¶
- Statistics → program evaluation: causal-DAG factorization moved over, letting policymakers reason about changing one mechanism without re-estimating the whole.
- Numerical algebra → recommender systems: matrix factorization became the "users and items in a shared latent space" pattern.
- Chemistry ↔ AI: retrosynthesis (factoring a target into precursors) is structurally identical to backward planning, and transfers both ways.
Example¶
A Bayesian-network joint factors as a product of local conditional mechanisms,
one per node; a do(X=x) intervention deletes a single factor and substitutes a
point mass, leaving every other factor untouched — exactly why a factored causal
model supports counterfactual reasoning an unfactored table cannot.
Relationships to Other Primes¶
Parents (1) — more general patterns this builds on
- Factorization is a kind of Decomposition — The file: 'Not generic decomposition — factorization adds a hard constraint decomposition lacks': the parts must be same-type and recombine under a NATIVE binary operation under which the kind is closed, recovering the original exactly. A specialization of decomposition (any split).
Path to root: Factorization → Decomposition
Not to Be Confused With¶
- Factorization is not Decomposition because decomposition breaks a thing by any split, whereas factorization demands the parts be same-type and recombine under a native binary operation to recover the original exactly.
- Factorization is not Partition because a partition carves a set into disjoint covering blocks (additive), whereas factorization writes an object as a product of same-type factors with no disjointness or coverage requirement.
- Factorization is not Compositionality because compositionality is the property that a whole's value follows from its parts, whereas factorization is the act of finding such a product form, requiring closure and a library of irreducibles.