AIMech AI

Newman random-walk betweenness matrix computation

Algorithms AIMech:NewmanRandomWalkBetweennessMatrix DRAFT
Aliases: Newman matrix algorithm for random-walk betweenness
An exact network-analysis algorithm that computes random-walk betweenness from an embedded inverse of a grounded graph Laplacian, explicitly enumerates source–target pairs, and averages their incident-current magnitudes with a specified endpoint convention.
Identity Notes & Concept Scope Compared all 442 pinned AIO and 689 native identities; no normalized match. Ignored- and hidden-inclusive searches of three full checkouts returned 88,0,0 lines, all read as prior source leads, references, record renderings or query strings. Semantic assessment covered 147 AIO and 523 native definitions: all 147 AIO and 522 prior native rows verified unchanged and one newly selected native row read. Nine complete AIO contexts and six full native neighbors were assessed. The identity is the four-step matrix and explicit-pair procedure in Newman2003, not only the centrality measure. Its unit-resistance scope, endpoint convention and pair enumeration distinguish it from the later sorted-row algorithm, stochastic pair sampling, shortest-path dependency accumulation and PageRank. It is not a random-walk simulation or a learned predictor.

Claims & Grounded Evidence

6 Claims
Scope #domain-and-grounded-inverse
The maintained domain is a simple connected undirected graph with n>=3 and unit edge resistances. Form L=D-A, remove one corresponding row and column, invert the reduced matrix, and embed it in T by restoring a zero row and column. For source s and target t, p_i=T_is-T_it gives potentials up to the chosen ground. The original source treats separate connected components separately; this record does not impose a whole-disconnected-graph normalization.
Mechanism #pair-enumeration-and-endpoints
For each unordered pair s<t, compute I_i(st)=one half the sum over adjacent j of |T_is-T_it-T_js+T_jt| for internal vertices i. Set I_s=I_t=1 using the source’s adopted endpoint convention. Return b_i=2/[n(n-1)] times the sum of I_i(st) over unordered pairs. The source also permits endpoints zero; changing that choice does not itself change the denominator into the later endpoint-excluded Brandes–Fleischer normalization.
Mechanism #absorbing-walk-interpretation
A walk moves uniformly to an adjacent vertex and stops on first reaching t. With transient matrix M_t=A_t D_t^(-1), the fundamental matrix (I-M_t)^(-1) gives expected transient visits. The method differences expected directed traversals of each edge before taking its absolute value and aggregating incident edges. It is not ordinary node occupancy or the expected absolute net count of an individual walk. In a unit complete four-vertex graph with source 0 and target 3, expected transitions 1-to-2 and 2-to-1 are each 1/4, so their difference is zero. Yet the first-hit paths 0-1-2-3 and 0-2-1-3 each have probability 1/27 and opposite nonzero net counts, proving the expectation of the absolute net count is at least 2/27. This is a curator example.
Scope #computation-and-identity
The original procedure forms one dense grounded inverse and explicitly evaluates pair currents. With ordinary dense inversion its arithmetic cost is O(n^3+mn^2), becoming O(n^3) on sparse graphs, and storage is O(n^2+m) with streamed pair accumulation. The source discusses the dense-matrix memory burden. This pair-enumeration algorithm is distinct from the later sorted-edge-row algorithm and from stochastic pair sampling; neither a random-walk interpretation nor a structural score makes it a simulation or a learned predictor.
Limitation #normalization-comparison
For matched connected unit-resistance graphs with n>=3, let B_i be the later Brandes–Fleischer normalized endpoint-excluded score. Pair counting gives b_i=(n-2)B_i/n+2/n under Newman’s adopted endpoint-included convention. This is explicit curator algebra, not identical reported normalizations. On a unit three-vertex path, Newman’s scores are (2/3,1,2/3), while B is (0,1,0); on a unit triangle they are (7/9,7/9,7/9), while B is (1/3,1/3,1/3). Endpoint contribution must not be interpreted as evidence of internal bridging or causal importance.
Limitation #evidence-and-application-limits
The inspected manuscript uses synthetic graph examples and contact, intermarriage and collaboration networks to illustrate the measure. These illustrations and descriptive comparisons do not validate causal transmission, political success or learned predictive accuracy. No historical runtime, numerical benchmark or author implementation was reproduced. The 2003 arXiv manuscript is the inspected method version; the later 2005 journal publication is bibliographic context, without an assertion of identical bytes.

⚠️ Curated Limitations & Negative Results

Artificial Intelligence Ontology (AIO) Grounding

Explicit AIO Snapshot Assessment: No Match

Rationale: No examined AIO target denotes this grounded-inverse, explicit-pair network centrality algorithm. Random-walk language and matrix computation alone do not identify it with graph language modeling, clustering, bias or data preparation.

Search Scope: Compared all 442 pinned AIO and 689 preceding native identities, including ignored- and hidden-inclusive checkout searches. Semantic context covers 147 AIO and 523 native definitions; prior rows were verified unchanged and the new sampled-current-flow row read. Nine complete AIO contexts and six complete native neighbors were assessed.
Examined AIO Candidate Rejection Reason
AIO:Clustering A centrality vector assigns scores without grouping vertices into clusters.
AIO:UnsupervisedClustering Absence of labels does not turn structural score computation into clustering.
AIO:MathematicalFunction The identity is a specific inverse-matrix and explicit-pair algorithm, not solely an input-output function.
AIO:DataPreparation Computing network prominence is the defined result; incidental downstream feature use does not establish a preprocessing identity.
AIO:GraphLanguageModel The electrical-network computation has no language-model input/output or training mechanism.
AIO:RankingBias A structural graph score is not the belief that high-ranked information is necessarily relevant.
AIO:SelectionAndSamplingBias The exact matrix computation is not a sampling-selection bias; its random-walk interpretation does not change that identity.
AIO:RepresentationBias A graph centrality computation is not subgroup representation bias.
AIO:DeepActiveLearning Neither labels nor a deep neural network are acquired or fitted.

Evidence Sources & Primary Literature

2 Sources
Source ID Publication / Document Type / Access Reference & Checksum
newman2003
M. E. J. Newman
primary paper
full_text
ID: arxiv:cond-mat/0309045v1
sha256:7bb0cfe33986…
brandesfleischer2005
Ulrik Brandes, Daniel Fleischer
primary paper
full_text
ID: doi:10.1007/978-3-540-31856-9_44
sha256:92063e95b544…

Curation Provenance

Curator: Codex
Method: ai_assisted
Model: GPT-6
Created: 2026-10-14T05:40:40Z
Updated: 2026-10-14T05:40:40Z
Source File: data/curated/NewmanRandomWalkBetweennessMatrix.yaml