Generalized root model
Model Families AIMech:GeneralizedRootModel DRAFT
Aliases: Generalized root graphical model
A family of finite undirected probability models that retains univariate exponential-family base measures and couples coordinatewise roots of sufficient statistics in symmetric interactions of configurable order, restricted to parameters with a finite joint partition function.
Identity Notes & Concept Scope
This is the generalized root construction of Inouye et al., abbreviated GRM in that paper. GRM is not globally unique: search results also use it for unrelated growth, regression and rendering models, so the bare acronym is not an asserted alias. The family extends the square-root construction beyond pairwise interactions and includes it at k=2; inclusion is not equivalence of the unrestricted families. Its Poisson and exponential specializations differ in support, base measure and validity regime. A root transformation followed by an arbitrary model is not this construction. No normalized identity match was found across all 442 pinned AIO labels and all scoped synonyms and 412 preceding native IDs, names and aliases. Full-checkout fixed-string searches included ignored and hidden files in worktree and main, yielding four and zero matched lines; all three unique contents were read and refer to the prior GRM frontier or publication URL, not existing records. Search preparation occurred before the preceding SQR merge; those three inspected record bytes are unchanged. The provisional bare GRM acronym was checked in normalized identities but omitted from broad text searches; because web results expose unrelated acronym meanings, it is not asserted as an alias. All 186 semantic label/synonym hits were read. Forty-six fully annotated exact CLASS nodes and outgoing edges were byte-verified against prior inspected nodes. Sixty-seven full contextual YAMLs comprise 46 generated and 21 native records: 64 were byte-verified after prior full reading and three SQR records were fully read again. Absence is bounded to the pinned snapshot, maintained corpus and inspected semantic neighborhood.
Claims & Grounded Evidence
1 Claim
Mechanism
#method
Choose finite p and a finite maximum interaction order k, a scalar nonnegative sufficient statistic T, a base log measure B and a product reference measure. Let s_j(t) be the specified j-th-root statistic. Normally s_j=T^(1/j); the paper explicitly uses s_j=f^c when T=f^(c*j) for a positive integer c, allowing the signed Gaussian convention s_2(x)=x when T=x^2. For 1<=ell<=j<=k, let Psi_j^ell be a finite real super-symmetric order-ell tensor with zero entries whenever indices repeat. Define H(x)=sum_j sum_(ell<=j) <Psi_j^ell,s_j(x)^(tensor ell)> using all ordered indices, and p(x)=Z^(-1)*exp[H(x)+sum_i B(x_i)], requiring 0<Z<infinity. The site-s conditional has kernel exp[sum_j eta_js*s_j(t)+B(t)], where eta_js=sum_(ell<=j) ell*<the slice of Psi_j^ell with one index fixed at s,s_j(x_-s)^(tensor (ell-1))>. Zero repeated-index entries remove terms with the site occurring more than once. At k=1 the law is an independent base family at valid parameters. At k=2 it recovers SQR with Psi_1^1=diag(Phi), Psi_2^1=theta and Psi_2^2 equal to off-diagonal Phi. Higher-order terms can encode interactions not representable by a pairwise log potential.
⚠️ Curated Limitations & Negative Results
- Roots, statistic domains and reference measures must be specified. The signed convention is not the ordinary identity sqrt(x^2)=x on the real line. This record does not assert a general Gaussian higher-order normalization theorem.
- Finite partition is an explicit requirement, not a theorem that every base exponential family permits every finite tensor. Poisson factorial domination and exponential tail restrictions require separate reasoning.
- Tensors are super-symmetric and zero on repeated indices. Full ordered-index contraction counts a distinct unordered ell-variable term ell! times; coefficients must be translated consistently when switching to once-counted clique notation. Separately fitted node regressions do not automatically agree on compatible joint tensors.
- The general family includes all 1<=ell<=j<=k terms. The paper’s strongest-interaction subfamily retains only ell=j and omits lower-degree terms; its experiments do not evaluate every member of the general family. Nonzero higher-order interactions do not require nonzero lower-order interactions.
- Base-family naming does not make all full conditionals or marginals ordinary Poisson or exponential laws. An interaction coefficient is not a universal marginal-correlation or causal-effect measure.
- For T=x, the printed radial expression omits the z^(p-1) Jacobian needed for a continuous L1-radius law under x=z*v. A bounded directional domain also does not alone establish integrability from pointwise finite ray integrals. Count directions require their own discrete measure. Direct joint domination is used for the Poisson and strict exponential regimes.
- The numerical section requires qualification: after Equation (15), E[x^a] must use exp(M(a)-M(0)), not the printed subtraction of M(1). The first row of Equation (14) requires exponent 1/j+1 for covariance with x, not the printed 1/j+1/2. Linear bounds must retain the base log measure B; inclusive count-interval probabilities need F(b)-F(a-1), and zero atoms need explicit handling. These are curator checks of displayed expressions, not a reproduced implementation defect or an author-issued correction.
- Nodewise l1 fitting, approximate conditional normalizers and Newton-like updates are estimation procedures separate from the model definition. A fixed number of approximation intervals gives no universal accuracy guarantee. No author code, empirical fit, optimizer benchmark or graph-recovery experiment was reproduced.
- The reported k=3 Poisson word-count examples rank weighted tuples from Classic3 abstracts and sampled Grolier articles. They are qualitative context, not evidence of held-out prediction, causal discovery or universal graph recovery. The proposed low-rank and staged parameter reductions are not established evaluated variants in this source.
Artificial Intelligence Ontology (AIO) Grounding
Mapped AIO Classes
| AIO Target Class | Mapping Relation | Mapping Rationale |
|---|---|---|
AIO:Model
Model
|
broad_match | This concept denotes a specified family of joint probability distributions and therefore falls within the broader mathematical representation described by Model. Particular estimation algorithms and data applications do not define its identity. |
AIO:ProbabilisticGraphicalModel
Probabilistic Graphical Model
|
related_match | The construction encodes undirected probabilistic dependencies. The pinned AIO target is task-scoped, so related_match connects the model family to graphical modeling without asserting a model is-a task relation. |
Evidence Sources & Primary Literature
1 Source| Source ID | Publication / Document | Type / Access | Reference & Checksum |
|---|---|---|---|
method-source
|
David I. Inouye, Pradeep Ravikumar, Inderjit S. Dhillon
|
primary paper
full_text
|
ID: arXiv:1606.00813v1
sha256:0c423a7f6c54…
|
Curation Provenance
Curator: Codex
Method: ai_assisted
Model: GPT-6
Created: 2026-10-11T22:55:13Z
Updated: 2026-10-11T22:55:50Z
Source File:
data/curated/GeneralizedRootModel.yaml