Influence Algebra: Operator Approaches

• Influence Algebra is an algebraic framework that represents how local inputs generate global effects using operators, vector spaces, bilinear forms, and semigroups across different fields.
• The methodology employs resolvent calculus, Hessian inversions, Fourier analysis, and polynomial rings to decompose influence phenomena and support perturbation analysis and computational tractability.
• Its applications span social dynamics, machine learning influence functions, Boolean function analysis, and network centrality, each with domain-specific assumptions and limitations.

“Influence Algebra” denotes, across several distinct research programs, an algebraic organization of influence phenomena in terms of operators, vector spaces, bilinear forms, semigroups, polynomial families, and subspace projections. In the Friedkin–Johnsen model, the algebraic elements are the vector space $\mathbb{R}^n$ of opinions, the linear operator $A:=SW$ for influence propagation, the diagonal anchoring operator $B:=I-S$, the resolvent $R_A:=(I-A)^{-1}$, and the influence operator $H:=R_A B$, with steady state $x^*=H x^0$ (Boudourides, 9 Feb 2026). In machine learning, the same label is used for a calculus built from $H_{\hat\theta}^{-1}$, bilinear test-loss influence, dimensionality-reduced approximations on classifier parameters, scalar invariance under relative Hessians, and norm-thresholded predicates for memorization and generalization (Kounavis et al., 2023). In Boolean analysis, it refers to an operator-theoretic and Fourier-analytic scaffold relating multi-bit derivatives, their energies, and Fourier tails through semigroup evolution and functional inequalities (Przybyłowski, 2024). This suggests that the term does not identify a single canonical formalism; rather, it names a recurring style of analysis in which influence is represented by algebraic objects that support decomposition, perturbation analysis, and computation.

1. Conceptual scope and recurring algebraic motifs

The recurring content of “Influence Algebra” is the use of explicit algebraic objects to encode how local inputs produce global effects. In social influence, the basic objects are $A:=SW$, $B:=I-S$, $R_A:=(I-SW)^{-1}$, and $A:=SW$0, together with an interior Green’s operator $A:=SW$1 (Boudourides, 9 Feb 2026). In large-scale machine learning, the corresponding objects are the Hessian inverse $A:=SW$2, the linear map $A:=SW$3, and the bilinear form $A:=SW$4 (Kounavis et al., 2023). In Boolean function analysis, the basic operators are the commuting derivatives $A:=SW$5 and $A:=SW$6, the heat semigroup $A:=SW$7, and the associated energies $A:=SW$8 (Przybyłowski, 2024). In symbolic influence diagrams, expected utilities correspond to families of polynomials, and chance elimination, decision maximization, and utility aggregation become algebraic transformations such as Schur products, block summations, and selector matrices (Leonelli et al., 2016).

A second recurring motif is that influence is often characterized by membership in a structured linear space. For separable Bayesian networks, separable conditional probability tables are exactly those whose columns lie in the column space $A:=SW$9 of an event matrix $B:=I-S$0, with separability tested by the fixed-point condition $B:=I-S$1 for the orthogonal projection $B:=I-S$2 (Asavathiratham, 2012). For influence-based network centrality, influence profiles are vectorized into $B:=I-S$3, layered-graph instances form a basis of $B:=I-S$4, and every Bayesian centrality is uniquely determined by its values on that basis (Chen et al., 2018). This suggests that “influence algebra” is less a domain-specific definition than a common research strategy: represent influence by algebraic objects on which one can prove uniqueness, approximation, stability, and computational tractability.

2. Friedkin–Johnsen dynamics as a resolvent-enabled linear framework

In the Friedkin–Johnsen model, the network is a directed graph $B:=I-S$5 of $B:=I-S$6 agents with row-stochastic influence matrix $B:=I-S$7, susceptibilities $B:=I-S$8 with $B:=I-S$9, anchoring operator $R_A:=(I-A)^{-1}$0, opinion vector $R_A:=(I-A)^{-1}$1, and exogenous opinion vector $R_A:=(I-A)^{-1}$2. The core dynamics are

$R_A:=(I-A)^{-1}$3

If $R_A:=(I-A)^{-1}$4, then the global steady state is

$R_A:=(I-A)^{-1}$5

where $R_A:=(I-A)^{-1}$6 is the influence operator mapping exogenous opinions to the steady state. The Neumann series

$R_A:=(I-A)^{-1}$7

gives the path expansion

$R_A:=(I-A)^{-1}$8

so $R_A:=(I-A)^{-1}$9 encodes influence propagation along length-$H:=R_A B$0 walks, attenuated by susceptibilities (Boudourides, 9 Feb 2026).

The boundary-value formulation partitions the agents into stubborn boundary agents $H:=R_A B$1 and susceptible interior agents $H:=R_A B$2. With $H:=R_A B$3 and

$H:=R_A B$4

fully stubborn boundary nodes satisfy $H:=R_A B$5, while the interior steady state solves

$H:=R_A B$6

On the interior, the Green’s operator is

$H:=R_A B$7

and

$H:=R_A B$8

Boundary agents act as Dirichlet boundary conditions; interior agents satisfy a linear system driven by a discounted random walk $H:=R_A B$9.

The framework yields precise transient, sensitivity, and robustness results. The error recursion is

$x^*=H x^0$0

hence

$x^*=H x^0$1

For any submultiplicative norm and $x^*=H x^0$2, $x^*=H x^0$3, so

$x^*=H x^0$4

The differential of the steady state under $x^*=H x^0$5 and $x^*=H x^0$6 is

$x^*=H x^0$7

and the resolvent identity

$x^*=H x^0$8

delivers first-order and non-asymptotic perturbation bounds. Under boundary reachability, $x^*=H x^0$9 iff every directed cycle in the interior contains a node with $H_{\hat\theta}^{-1}$0; undamped interior cycles with $H_{\hat\theta}^{-1}$1 on a cycle preclude invertibility of $H_{\hat\theta}^{-1}$2.

The same algebra supports influenceability measures. For the $H_{\hat\theta}^{-1}$3th canonical basis vector $H_{\hat\theta}^{-1}$4, define $H_{\hat\theta}^{-1}$5 and

$H_{\hat\theta}^{-1}$6

These column-wise broadcasting centralities measure how much agent $H_{\hat\theta}^{-1}$7’s initial opinion affects the network at steady state. They satisfy

$H_{\hat\theta}^{-1}$8

while broadcasting centralization is

$H_{\hat\theta}^{-1}$9

A Gini index over $A:=SW$0 is an alternative inequality measure. On the Zachary karate club graph with $A:=SW$1, the Monte Carlo illustration uses $A:=SW$2, draws $A:=SW$3 via zero-inflated Beta, scans sources, and computes steady-state broadcasting. The empirical findings are that broadcasting centralities align strongly with classical degree, closeness, betweenness, eigenvector, and PageRank, with Pearson $A:=SW$4 roughly $A:=SW$5–$A:=SW$6, Spearman $A:=SW$7–$A:=SW$8, and high top-5 overlap; susceptibility heterogeneity attenuates magnitudes and induces variability in graph-level centralization, especially for path-dependent indices such as log-metric closeness and betweenness.

3. Influence functions, relative influence, and memorization in machine learning

In the machine-learning setting, the starting point is a training set $A:=SW$9, empirical risk

$B:=I-S$0

ERM parameters $B:=I-S$1, and Hessian

$B:=I-S$2

assumed positive definite and invertible. Under negligible higher-order terms, the parameter influence of reweighting a point $B:=I-S$3 is

$B:=I-S$4

the removal perturbation is

$B:=I-S$5

and the test-loss influence is

$B:=I-S$6

The induced loss change satisfies

$B:=I-S$7

under negligible terms (Kounavis et al., 2023).

The paper formalizes a dimensionality-reduced version called classification influence. With prediction $B:=I-S$8, $B:=I-S$9, and parameter split $R_A:=(I-SW)^{-1}$0, the featurized dataset is

$R_A:=(I-SW)^{-1}$1

At the optimum,

$R_A:=(I-SW)^{-1}$2

The classifier parameter influence and classifier test-loss influence are

$R_A:=(I-SW)^{-1}$3

$R_A:=(I-SW)^{-1}$4

Theorem 1 gives an approximation ratio involving $R_A:=(I-SW)^{-1}$5. If the classifier inverse-Hessian eigenvalues in $R_A:=(I-SW)^{-1}$6 and eigenvectors $R_A:=(I-SW)^{-1}$7 dominate, then $R_A:=(I-SW)^{-1}$8 are negligible, $R_A:=(I-SW)^{-1}$9 and $A:=SW$00 are negligible, and $A:=SW$01 is a close approximation to $A:=SW$02. The paper states that this can reduce the parameter count from hundreds of millions to thousands.

A second reduction is relative influence on a small subset $A:=SW$03, using

$A:=SW$04

$A:=SW$05

$A:=SW$06

The Loss Estimate Preserving result fixes $A:=SW$07, defines ratios

$A:=SW$08

and, under two negligibility conditions involving $A:=SW$09 and $A:=SW$10, proves uniform scaling:

$A:=SW$11

omitting negligible terms. The interpretation given is scalar invariance: sign, ordering, and relative comparisons are preserved up to a constant for fixed $A:=SW$12.

The framework also defines pointwise memorization and generalization. A point is $A:=SW$13-memorizable if

$A:=SW$14

and $A:=SW$15-generalizable if

$A:=SW$16

with norms taken in the orthonormal eigenbasis of $A:=SW$17. The sign-to-memorization theorem introduces $A:=SW$18, $A:=SW$19, $A:=SW$20, $A:=SW$21, $A:=SW$22, and $A:=SW$23, and states:

$A:=SW$24

$A:=SW$25

For a single linear layer classifier with BCE,

$A:=SW$26

the paper derives sign conditions under $A:=SW$27 for all $A:=SW$28 and an inverse Hessian with almost positive elements. Under these assumptions and the classification approximation, the sign of test-loss influence satisfies

$A:=SW$29

The corresponding loss-change statements are

$A:=SW$30

$A:=SW$31

$A:=SW$32

$A:=SW$33

The paper presents theoretical derivations, design principles, and qualitative insights, but does not report empirical datasets or model scales with quantitative metrics.

4. Boolean influence: multi-bit derivatives, Fourier tails, and total $A:=SW$34 influence

In Boolean analysis on the discrete cube $A:=SW$35 with uniform product measure, every Boolean function $A:=SW$36 has a Fourier–Walsh expansion

$A:=SW$37

with Walsh characters $A:=SW$38. For $A:=SW$39, the discrete derivative is

$A:=SW$40

and for a set $A:=SW$41,

$A:=SW$42

The multi-bit influence of Tal is

$A:=SW$43

The Fourier tail is

$A:=SW$44

and the total influence is

$A:=SW$45

The heat semigroup is

$A:=SW$46

and Bonami’s hypercontractivity is

$A:=SW$47

The main theorem states that for fixed integers $A:=SW$48, every Boolean $A:=SW$49 admits a $A:=SW$50-set $A:=SW$51 with

$A:=SW$52

For $A:=SW$53, this recovers KKL up to constants (Przybyłowski, 2024).

The proof is driven by a semigroup identity and hypercontractive control. The exact identity is

$A:=SW$54

For any $A:=SW$55 and any $A:=SW$56 of size $A:=SW$57 with $A:=SW$58 taking values in the lattice $A:=SW$59,

$A:=SW$60

The paper also gives an essentially sharp family of $A:=SW$61-hypertribes $A:=SW$62, for which $A:=SW$63 while

$A:=SW$64

A further theorem generalizes Oleszkiewicz: if $A:=SW$65 for every $A:=SW$66-set $A:=SW$67 and $A:=SW$68, then there exists a degree-$A:=SW$69 Boolean function $A:=SW$70 such that for every $A:=SW$71 with $A:=SW$72,

$A:=SW$73

A distinct but related “Influence Algebra” concerns total $A:=SW$74 influence of bounded functions on the cube. For $A:=SW$75, the discrete derivative is

$A:=SW$76

the $A:=SW$77th $A:=SW$78 influence is $A:=SW$79, and the total $A:=SW$80 influence is

$A:=SW$81

The main theorem states that if $A:=SW$82 is $A:=SW$83-valued with Fourier degree $A:=SW$84, then

$A:=SW$85

and if $A:=SW$86 is homogeneous of degree $A:=SW$87, then

$A:=SW$88

The central new operator is

$A:=SW$89

together with the proxy quantity

$A:=SW$90

For homogeneous $A:=SW$91,

$A:=SW$92

while generally

$A:=SW$93

The upper bound comes from $A:=SW$94, proved via convolution kernels $A:=SW$95 built from $A:=SW$96-admissible measures $A:=SW$97 with $A:=SW$98. This gives a specifically $A:=SW$99 toolkit where no simple Parseval-type identity is available (Bačkurs et al., 2013).

Taken together, these two lines of work show two distinct operator languages for Boolean influence: one centered on $B:=I-S$00, $B:=I-S$01, and Fourier tails, the other on $B:=I-S$02, $B:=I-S$03, $B:=I-S$04, and noise operators. This suggests that “influence algebra” in Boolean settings names a family of compatible operator frameworks rather than a single definition.

5. Polynomial and subspace formulations in graphical decision and probabilistic models

In multiplicative influence diagrams, all random variables and decision spaces are finite and discrete, and expected utilities are represented symbolically as families of polynomials. With utility nodes $B:=I-S$05, criterion weights $B:=I-S$06, and interaction parameter $B:=I-S$07, the global utility is

$B:=I-S$08

where $B:=I-S$09 is the unique non-zero solution $B:=I-S$10 to

$B:=I-S$11

Backward recursion yields stagewise expected utilities $B:=I-S$12, with different recursions for decision and chance nodes and for nodes that immediately precede a utility node. The symbolic propagation algorithm uses three operations:

$B:=I-S$13

$B:=I-S$14

$B:=I-S$15

namely EUMultiSum, EUMarginalization, and EUMaximization. Expected utilities therefore become polynomials in the ring

$B:=I-S$16

and standard influence-diagram manipulations become algebraic transformations: arc reversal becomes a rational reparameterization, barren node removal becomes elimination of variables, sufficiency becomes substitution by marginalization and normalization, and asymmetries are modeled by eliminating monomials corresponding to incompatible configurations (Leonelli et al., 2016).

A different algebraic formulation appears in separable Bayesian networks, also called the Influence Model. For finite discrete variables $B:=I-S$17, the event matrix is

$B:=I-S$18

with rank

$B:=I-S$19

For a conditional probability table $B:=I-S$20 of $B:=I-S$21, the map from a joint PMF $B:=I-S$22 to the output marginal on $B:=I-S$23 is

$B:=I-S$24

Sufficiency means that $B:=I-S$25 implies $B:=I-S$26. Separability means there exist $B:=I-S$27, $B:=I-S$28, and $B:=I-S$29 such that

$B:=I-S$30

or equivalently, at the matrix level,

$B:=I-S$31

The key results are

$B:=I-S$32

$B:=I-S$33

and therefore

$B:=I-S$34

For multiple parents $B:=I-S$35, the general separable form is

$B:=I-S$36

with $B:=I-S$37 (Asavathiratham, 2012).

The computational core is a basis-and-projection method. A full-rank basis $B:=I-S$38 for $B:=I-S$39 is constructed recursively by

$B:=I-S$40

and the orthogonal projection onto $B:=I-S$41 is

$B:=I-S$42

Theorem 10 states that $B:=I-S$43 is separable iff $B:=I-S$44. In the dynamic Influence Model, the next-state PMF at site $B:=I-S$45 is

$B:=I-S$46

with $B:=I-S$47 an $B:=I-S$48 stochastic influence matrix. A DBN in which all CPTs are separable is therefore an Influence Model.

These two strands use different algebraic media—polynomial rings in one case, linear subspaces and orthogonal projections in the other—but both treat influence by replacing direct enumeration of large joint objects with structured algebraic representations.

6. Influence-based network centrality, layered bases, and Bayesian uniqueness

In influence-based network centrality, an influence instance is a tuple

$B:=I-S$49

where $B:=I-S$50 assigns to each seed set $B:=I-S$51 a probability distribution over progressive cascading sequences

$B:=I-S$52

with monotonicity and $B:=I-S$53-continuity. For a cascade, the cascading distance of node $B:=I-S$54 is $B:=I-S$55 if $B:=I-S$56, and $B:=I-S$57 otherwise. Vectorizing all nonredundant valid sequences yields a profile vector $B:=I-S$58. Addition and scalar multiplication are componentwise, and mixtures of influence instances correspond to convex combinations of profile vectors. An influence-based centrality is a map $B:=I-S$59, and the Bayesian axiom requires linearity under convex mixtures:

$B:=I-S$60

Given an anonymous function $B:=I-S$61, the induced graph centrality is

$B:=I-S$62

and the influence-based version is

$B:=I-S$63

Special cases include degree, harmonic, reachability, and radius-$B:=I-S$64 sphere-of-influence centralities (Chen et al., 2018).

The decisive algebraic result is the layered basis theorem. For disjoint nonempty layers $B:=I-S$65, the layered graph $B:=I-S$66 has all edges from $B:=I-S$67 to $B:=I-S$68, and its BFS influence instance is $B:=I-S$69. The theorem states that the vectors

$B:=I-S$70

of all nontrivial layered-graph instances form a basis of $B:=I-S$71. Consequently, every profile vector $B:=I-S$72 is a unique linear combination of layered-graph basis vectors, and every Bayesian centrality is uniquely determined by its values on layered graphs. Conformance with the corresponding graph centrality on BFS instances therefore yields a characterization theorem: for anonymous $B:=I-S$73, $B:=I-S$74 is the unique influence-based centrality that conforms with $B:=I-S$75 and satisfies Anonymity and Bayesian.

The same framework extends to groups and cooperative games. The group centrality is

$B:=I-S$76

and the Shapley centrality is the Shapley value of the cooperative game with characteristic function $B:=I-S$77:

$B:=I-S$78

The paper proves matching characterization theorems for group and Shapley centralities.

For additive functions $B:=I-S$79 with $B:=I-S$80, the paper gives an RR-set estimator under the triggering model. The key identity is

$B:=I-S$81

and the estimator based on $B:=I-S$82 RR sets is unbiased. With probability at least $B:=I-S$83,

$B:=I-S$84

and

$B:=I-S$85

provided $B:=I-S$86. The expected running time is

$B:=I-S$87

This network-centrality line and the Friedkin–Johnsen line both define influence-based centralities, but they do so through different algebraic objects. One uses columns of the resolvent-based operator $B:=I-S$88 to define broadcasting centralities $B:=I-S$89 and centralization $B:=I-S$90 (Boudourides, 9 Feb 2026); the other uses linear functionals on the vector space of cascade profiles (Chen et al., 2018). This suggests that centrality is not a single influence-algebraic primitive. Rather, different models induce different algebras of influence, and the associated centrality notions inherit their structure from those algebras.

7. Limitations, assumptions, and interpretive boundaries

Across the literature, the algebraic representation is always tied to explicit assumptions. In Friedkin–Johnsen dynamics, the main resolvent formulas require $B:=I-S$91 row-stochastic and $B:=I-S$92 globally or $B:=I-S$93 on the interior block, together with boundary reachability; edge cases with $B:=I-S$94 can create undamped cycles and violate invertibility, and reducible $B:=I-S$95 requires treatment by strongly connected components (Boudourides, 9 Feb 2026). In machine learning, the Hessian and all relative Hessians must be positive definite, Taylor truncations require negligible higher-order terms, classifier-space approximation requires dominance of $B:=I-S$96 and $B:=I-S$97, LEP requires the constructed matrices $B:=I-S$98 and $B:=I-S$99 to satisfy negligibility, and the label–sign correlation requires a single-layer classifier with BCE, nonnegative features, and an inverse Hessian with almost positive elements (Kounavis et al., 2023).

In Boolean analysis, the KKL-type and FKN-type results are proved under the uniform product measure on $R_A:=(I-A)^{-1}$00 and Walsh normalization, while the constants depend on $R_A:=(I-A)^{-1}$01 and extensions to biased product measures, Gaussian space, or multi-valued domains remain open (Przybyłowski, 2024). The $R_A:=(I-A)^{-1}$02-influence theory applies to bounded functions on the cube, and the cubic bound $R_A:=(I-A)^{-1}$03 is the tightest bound proved in that paper via its methods, although an optimal $R_A:=(I-A)^{-1}$04 bound is conjectured there (Bačkurs et al., 2013). In multiplicative influence diagrams, variables are finite and discrete, utility parent sets are disjoint, and multiplicative interactions can cause polynomial blow-up, especially when $R_A:=(I-A)^{-1}$05 (Leonelli et al., 2016). In separable Bayesian networks, the linear-subspace characterization covers finite discrete variables with row-stochastic CPTs; separability reduces complexity, but the representation is not unique (Asavathiratham, 2012). In influence-based centrality, the algebra and characterizations assume progressive cascades and full distributions over cascading sequences, while the algorithmic guarantees are established under the triggering model and additive $R_A:=(I-A)^{-1}$06 (Chen et al., 2018).

A common misconception would be to treat “Influence Algebra” as a universally standardized theory. The papers instead present several domain-specific algebras: resolvent calculus for social influence, Hessian-based bilinear forms for influence functions, derivative-semigroup identities for Boolean analysis, polynomial propagation for influence diagrams, subspace geometry for separable Bayesian networks, and basis decompositions for influence-based centrality. This suggests that the phrase is best read as a methodological designation for algebraic representations of influence, rather than as the name of a single formally unified discipline.