---
title: Motif Parameters over Categories
url: https://www.emergentmind.com/topics/motif-parameters-over-categories
type: topic
---

# Motif Parameters over Categories

Searching arXiv for recent papers on motif parameters over categories and related graph motif parameters.
Motif parameters over categories are counting functions defined by taking finite linear combinations of subobject-counting basis functions in a category equipped with a designated class of morphisms that play the role of embeddings. In the formulation introduced in "Which graph motif parameters count?" [2507.12244], if \(C\) is a category with a chosen class \(\mathcal M\) of morphisms, then for objects \(a,b\in C\), the \(\mathcal M\)-subobjects of \(a\) under \(b\) are morphisms \(a\to b\) in \(\mathcal M\), modulo isomorphism of the domain, and a motif parameter has the form
\[
\varphi(b)=\sum_{i=1}^s \alpha_i \cdot Sub_{a_i}(b),
\]
with pairwise non-isomorphic pattern objects \(a_i\). This abstracts the graph-theoretic notion of graph motif parameters from induced-subgraph counting to a categorical setting, and it yields a general dichotomy: under structural hypotheses on the category and its pure objects, combinatorial interpretability is equivalent to having nonnegative integer coefficients [2507.12244]. Related work on labeled graphs studies graph motif parameters as finite linear combinations of homomorphism counts and shows that their Weisfeiler–Leman dimension is exactly the maximum treewidth of the support patterns [2309.17053].

## 1. From graph motif parameters to categorical motif parameters

In the graph case, the basis function associated with a fixed finite graph \(H\) is
\[
H(G)=\#\{\text{induced copies of }H\text{ in }G\},
\]
and a graph motif parameter is a finite rational linear combination
\[
\varphi(G)=\sum_{i=1}^s \alpha_i \cdot H_i(G),
\]
where the \(H_i\) are pairwise non-isomorphic patterns [2507.12244]. The coefficients are unique, integer-valuedness forces all coefficients to be integers, and motif parameters are described as the natural linear span of induced-subgraph counts because of a linearization phenomenon: polynomials in such counts can be rewritten uniquely as linear combinations of basis counts [2507.12244].

The categorical generalization retains this linear-combination viewpoint while replacing induced subgraphs by \(\mathcal M\)-subobjects. For a fixed target object \(b\), the class of all \(\mathcal M\)-subobjects under \(b\) is denoted \(P_b\), and the counting basis functions are \(Sub_a(b)\) for pattern objects \(a\) [2507.12244]. The “pure” condition is the categorical analogue of the graph restriction “no isolated vertices”: one fixes a subcategory \(P\subseteq C\) of pure objects and only allows patterns \(a_i\in P\) [2507.12244].

A related but distinct line of work defines a labeled graph motif parameter as any graph parameter expressible as a finite linear combination of homomorphism counts,
\[
\Gamma(G)=\sum_{i=1}^{\ell}\mu_i\,{\sf homs}(F_i,G),
\]
for fixed labeled graphs \(F_1,\dots,F_\ell\), with support
\[
{\sf Supp}(\Gamma)=\{F_1,\dots,F_\ell\},
\]
thereby subsuming subgraph counting and induced subgraph counting in the labeled setting [2309.17053]. This suggests two complementary notions of motif parameter: one centered on induced-subobject basis functions and combinatorial interpretability, the other on homomorphism-count expansions and WL/GNN expressivity.

## 2. Categorical formulation and the role of purity

The general theory is formulated for a category \(C\) together with a chosen class of morphisms \(\mathcal M\), intended to model subobject embeddings [2507.12244]. For objects \(a,b\in C\), \(\mathcal M\)-subobjects of \(a\) under \(b\) are morphisms \(a\to b\) in \(\mathcal M\), modulo isomorphism of the domain. A motif parameter over \(C\) is then
\[
\varphi(b)=\sum_{i=1}^s \alpha_i \cdot Sub_{a_i}(b),
\]
with pairwise non-isomorphic pattern objects \(a_i\) [2507.12244].

The categorical framework used for the dichotomy theorem imposes explicit structural assumptions. The category \(C\) and the pure subcategory \(P\) are taken to be locally small and finitely \(\mathcal M\)-well-powered, equipped with a compatible proper factorization system \((\mathcal E,\mathcal M)\), with \(P\) a full subcategory of \(C\) closed under isomorphism [2507.12244]. In addition, the theorem assumes the joint \(\mathcal M\)-embedding property, an \(\mathcal M\)-Ramsey property, a blowup property, and suitable set-instantiators for the oracle encoding under consideration [2507.12244].

Purity is essential in the concrete graph theorem. For graphs, “pure” means no isolated vertices [2507.12244]. For relational structures, the analogue is defined via a padding notion \(P\) excluding “padding vertices,” and for colored graphs the theorem applies when the pattern graphs avoid one designated padding color [2507.12244]. By contrast, for finite-dimensional vector spaces over a fixed finite field \(\mathbb F_p\) and for parameter sets, \(P=C\), so no additional purity restriction is needed [2507.12244].

## 3. Combinatorial interpretability and the general dichotomy

The evaluation problem \(Eval(\varphi)\) is formulated as a type-2 or promise counting problem: one computes \(\varphi\) on oracle-coded objects [2507.12244]. For graphs and relational structures, the oracle encodes the object’s relations on a large universe. A nondeterministic oracle Turing machine computes \(Eval(\varphi)\) by having its accepting computation paths correspond to witnesses for the counted subobjects, and the resulting class of functions is denoted \(Pr\), a promise-version of \(\#P\) adapted to objects that may not be easily verifiable from the oracle alone [2507.12244]. Combinatorial interpretability is defined by the equivalence
\[
\varphi \text{ is combinatorially interpretable} \iff Eval(\varphi)\in Pr.
\]

The core theorem is a categorical dichotomy. Under the structural assumptions above, if \(\varphi\) is a \(P\)-pure motif parameter and \(Eval(\varphi)\in Pr\), then \(\varphi\) must be **good**, meaning that all coefficients are nonnegative integers [2507.12244]. Equivalently, any \(P\)-pure motif parameter with a negative coefficient is not in \(Pr\) [2507.12244]. When the obvious upper bound for positive coefficients is also available, this becomes a full characterization:
\[
Eval(\varphi)\in Pr \iff \text{all coefficients of }\varphi\text{ are nonnegative integers}.
\]

This result formalizes a sharp distinction between being nonnegative-valued and genuinely “counting something.” The paper emphasizes that graph motif parameters can be nonnegative for all inputs even when some coefficients are negative [2507.12244]. The obstruction is therefore not pointwise negativity, but failure of combinatorial interpretability in the oracle-\(\#P\) sense.

## 4. Proof architecture: set-instantiators, Ramsey theory, and linear independence

The proof framework in the categorical paper has three stated components [2507.12244]. The first is the construction of **set-instantiators**. For a fixed polynomial-time nondeterministic oracle Turing machine \(M\) computing \(Eval(\varphi)\), one builds, for every finite object \(c\), an encoding \(c'\) such that each accepting path of \(M\) on a subobject instance perceives only some subobject of \(c\), and this perception respects subobject inclusion [2507.12244]. Formally, a set-instantiator consists of a size parameter \(j\), an instantiation map \(P_c\to C_j\), and a perception map \(\{0,1\}^*\to P_c\cup\{\top\}\), with accepting paths corresponding exactly to perceived subobjects and preserving the parameter value [2507.12244].

The second component is **Ramsey theory**. The accepting-path counts induce a coloring of subobjects, and a Ramsey theorem yields a sufficiently large object \(c\) in which one can find a copy \(f_\Phi\) of a target object \(b\) on which the coloring depends only on isomorphism type [2507.12244]. In categorical language, the relevant Ramsey property says that for any \(a,b\) and number of colors \(t\), there is a \(c\) such that every coloring of \(Sub_a(c)\) has a monochromatic copy of \(b\) on all \(a\)-subobjects [2507.12244]. This forces the machine’s local behavior to become good.

The third component is **linear independence and witness extraction**. On a finite subobject poset, the counting functions \(Sub_a(-)\) are linearly independent, and the evaluation matrix is triangular with \(1\)’s on the diagonal [2507.12244]. Consequently, any bad linear combination differs from every good one on some witness object, contradicting the existence of a nondeterministic machine that computes it in \(Pr\) [2507.12244].

## 5. Concrete settings and specialized dichotomies

The general theorem is instantiated in several concrete categories [2507.12244].

| Setting | Basis counts | Criterion |
|---|---|---|
| Graphs | induced copies of pure graphs | \(Eval(\varphi)\in Pr \iff \alpha_i\in\mathbb N\) |
| Relational structures | induced substructures of \(P\)-pure patterns | \(Eval(\varphi)\in Pr \iff\) all coefficients are nonnegative integers |
| Colored graphs | induced colored subgraphs avoiding the padding color | \(Eval(\varphi)\in Pr \iff\) all coefficients are nonnegative integers |
| Finite vector spaces over \(\mathbb F_p\) | subspace counts | \(Eval(\varphi)\in Pr \iff\) coefficients are nonnegative integers |
| Parameter sets | subobject counts in the parameter-set category | \(Eval(\varphi)\in Pr \iff \varphi\) is good |

For graphs, the proof first establishes an ordered-graph version and then reduces unordered graphs by symmetrization,
\[
G(H)=\sum_{\le} G(H,\le),
\]
because the Ramsey property required in the argument fails for unordered graphs [2507.12244]. For relational structures, the same theorem holds with induced substructures replacing induced subgraphs, and the proof uses the Ramsey theorem for relational structures with forbidden irreducible substructures together with the corresponding padding operation [2507.12244].

For finite-dimensional vector spaces over a fixed finite field \(\mathbb F_p\), subobjects are subspaces and the corresponding subobject counts are Gaussian binomial coefficients [2507.12244]. The relevant Ramsey theorem is the Graham–Leeb–Rothschild theorem, and the upper bound is obtained by nondeterministically guessing a basis and checking containment in the oracle subspace [2507.12244]. For parameter sets, the relevant structural input is the Graham–Rothschild theorem [2507.12244].

## 6. Relation to WL-dimension, treewidth, and GNN expressivity

In the labeled-graph setting, the expressive-power question for motif parameters is addressed in a different formalism. A labeled graph motif parameter is any finite linear combination of homomorphism counts from fixed labeled graphs, and its WL-dimension is defined as the least \(k>0\) such that \(k\)-WL distinguishes it [2309.17053]. The principal theorem states
\[
\operatorname{WLdim}(\Gamma)=\max\{\operatorname{tw}(F)\mid F\in {\sf Supp}(\Gamma)\},
\]
so the WL-dimension is exactly the maximum treewidth among the support graphs [2309.17053].

This theorem immediately yields the subgraph and induced-subgraph special cases. For subgraph counting with labeled pattern \(H\), the support is the spasm,
\[
{\sf spasm}(H)=\{\text{loop-free homomorphic images of }H\},
\]
and therefore
\[
\operatorname{WLdim}({\sf Sub}_H)=\max\{\operatorname{tw}(F)\mid F\in {\sf spasm}(H)\}
\]
[2309.17053]. For induced subgraph counting, the support consists of graphs obtained from \(H\) by adding edges, so
\[
\operatorname{WLdim}({\sf Ind}_H)=|V(H)|-1
\]
[2309.17053].

A further consequence is that whenever a motif parameter lies within the expressive power of \(k\)-WL, its exact value can be recovered from the final stable \(k\)-WL colors:
\[
\Gamma(G)=\sum_{\bar v\in V(G)^k}\theta_\Gamma\big(c^k(\bar v)\big),
\]
for a suitable function \(\theta_\Gamma\) on stable colors [2309.17053]. The paper explicitly notes the relevance of this statement for GNNs: under the standard correspondence between message-passing GNNs and \(k\)-WL, the last layer already contains all local information needed for exact motif counting, provided the network is appropriately designed [2309.17053]. It also gives a polynomial-time algorithm, for fixed \(k\), to decide whether the WL-dimension of subgraph counting for a labeled pattern \(H\) is at most \(k\) [2309.17053].

## 7. Misconceptions, examples, and conceptual scope

A central misconception addressed by the categorical theory is that a parameter that is nonnegative on every input should automatically admit a counting interpretation. The graph example
\[
(|V(G)|-1)^2 = 2\,\#K_2 + 2\,\#I_2 - \#K_1 + \#K_0
\]
is nonnegative for all graphs even though the coefficient of \(K_1\) is \(-1\) [2507.12244]. The paper also gives a more substantial graph motif parameter with a negative coefficient that is nevertheless nonnegative for all graphs, and concludes that because all patterns are pure, it is not combinatorially interpretable [2507.12244]. The theorem therefore separates nonnegativity of values from membership in the oracle counting class \(Pr\).

The graph case is historically anchored in the counting-complexity framework inaugurated by the seminal paper of Curticapean, Dell and Marx (STOC’17), and the categorical extension is described as a vast generalization from graphs to relational structures, colored graphs, finite vector spaces, and parameter sets [2507.12244]. The WL-theoretic line of work, by contrast, places motif parameters in the landscape of graph isomorphism methods and GNN expressivity, using labeled versions of homomorphism-count characterizations, homomorphism-distinguishing closed classes, and a linear-algebraic lemma from Seppelt [2309.17053].

Taken together, these developments identify motif parameters as a unifying formalism for local pattern counting across several mathematical settings. In one direction, the categorical theory characterizes when such linear combinations genuinely count subobjects in the oracle-\(\#P\) sense: exactly when the coefficients are nonnegative integers on pure patterns [2507.12244]. In another, the WL theory characterizes when labeled graph motif parameters are visible to the \(k\)-WL hierarchy: exactly when their support patterns have treewidth at most \(k\) [2309.17053]. This combination of counting complexity, structural Ramsey theory, and WL/treewidth analysis is the defining conceptual profile of motif parameters over categories.

Source: https://www.emergentmind.com/topics/motif-parameters-over-categories