REVIEW 2 major objections 6 minor 13 references
This paper claims a layer-specific squeeze theorem that bounds the strong structural controllable subspace of matrix-weighted networks tightly from both sides.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 00:15 UTC pith:3SIRUHUV
load-bearing objection Nice layer-decomposition idea for matrix-weighted SSC, but the central squeeze theorem's lower bound is false as stated — a 2-agent d=2 counterexample gives dimension 3 against a claimed bound of 4 — and the upper-bound proof has a configuration-transfer gap. the 2 major comments →
On the Strong Structural Controllability of Matrix-Weighted Networks
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central discovery is Theorem 3, the Layer-specific Squeeze Theorem. For a matrix-weighted network whose d mutually orthogonal basis layers drive the dynamics, the dimension of the strong structural controllable subspace W' satisfies Σ_{m∈D} |π_LDP^(m)| ≤ dim(W') ≤ |π_jm| × d. The upper bound comes from a generalized equitable partition: nodes that are indistinguishable under weighted in-degree sums collapse into the same state-space limitation, so the controllable subspace sits inside the image of that partition's characteristic matrix. The lower bound uses a new layer-specific distance partition: within each scalar layer, signals propagate only along edges present in that layer, so the
What carries the argument
The central object is the layer-specific distance partition (LDP), defined per scalar layer m as the partition of vertices by shortest-path distance from the leader set in the layer's subgraph; its cell count |π_LDP^(m)| = d_max^(m)+1 lower-bounds the controllable dimension contributed by that layer. The paper couples this with a matrix-space basis decomposition, writing each matrix weight as a combination of d^2 basis matrices, which converts the matrix-weighted network into multiplex scalar layers. The upper bound uses a generalized equitable partition, whose characteristic matrix spans an L-invariant subspace containing the controllable subspace. Finally, the optimal basis is characterize
Load-bearing premise
The lower-bound half of the squeeze theorem assumes that the controllable subspaces contributed by the mutually orthogonal basis layers are linearly independent, so their dimensions add; if those layer subspaces overlap, the bound can overestimate the true dimension.
What would settle it
Take the 4-node, d=2 network from Example 3 and compute the exact controllability-matrix rank for generic nonzero weights matching the structural pattern (with the shortcut edge zero on layer 1). If the rank is 6 or less, the claimed lower bound of 7 fails; if it is 7 or more, the LDP bound is validated.
If this is right
- If Theorem 3 holds, the dimension of the strong structural controllable subspace of any matrix-weighted network can be certified by computing two purely topological quantities, without enumerating edge-weight realizations.
- The upper bound |π_jm| × d gives a quantitative symmetry index: when it is less than nd, an invariant uncontrollable subspace of positive dimension provably exists for every admissible weight choice.
- The lower bound improves on the classical distance-partition bound in exactly the cases where a shortcut edge exists macroscopically but is absent in the layer that carries the control signal, so network designers can see where controllability is genuinely degraded.
- The null-space selection criterion plus generic-rank guarantee implies that a single random projection basis consistent with the structural pattern will almost surely achieve the tightest bounds, matching the parameter-independence requirement of strong structural controllability.
- By duality, the same bounds carry over to strong structural observability, giving an upper bound on the observable subspace from an equitable partition of the transposed network.
Where Pith is reading between the lines
- In this reading, the lower bound of Theorem 3 rests on a direct-sum assumption for the layer subspaces; if that independence fails, the additive bound could overcount. One testable fix would be to subtract an overlap term based on the dimension of intersections between pairwise layer controllable subspaces.
- The polynomial-time WL discovery suggests the same pipeline could be applied online for time-varying topologies, a direction the paper only names as future work; one could re-run color refinement after each topology change and recompute the bounds.
- The generic-rank result has a measure-theoretic corollary the paper does not state explicitly: for almost every assignment of edge weights consistent with the pattern, the optimal basis exists, so the bounds are not fragile artifacts of particular weight choices.
- The LDP lower bound could be sharpened further by considering inter-layer switches, where a signal may move from one layer to another along a shared dimension; this is a natural extension beyond the paper's strictly per-layer analysis.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies strong structural controllability of matrix-weighted multi-agent networks with d-dimensional states. It introduces a generalized equitable partition upper bound (Theorem 1), a layered decomposition of matrix weights into scalar layers (Theorem 2), and a 'layer-specific distance partition' (LDP) lower bound summarized as a Squeeze Theorem (Theorem 3). It then proposes an optimal-basis algorithm via null-space intersection with a generic-rank existence result (Theorems 4 and 5), a WL-refinement algorithm for automatic partition/shortcut discovery (Theorem 6), and extensions to observability and invariant subspaces (Theorems 7-8). The main claimed contribution is closed-form, layer-aware upper and lower bounds on the dimension of the strong structural controllable subspace.
Significance. The layer-decomposition idea is potentially useful: it attempts to handle singular and asymmetric matrix weights by projecting onto scalar layers, and the automated WL-based partition discovery addresses a real combinatorial bottleneck. If the bounds were correct, they would provide practical estimates for strong structural controllability in matrix-weighted networks, an area with few quantitative tools. However, the central lower bound (Theorem 3) is false in the singular case the paper explicitly targets, and the proof of the upper bound (Theorem 1) does not establish containment across all admissible weight configurations. The paper provides no machine-checked proofs or reproducible code; its numerical examples mostly illustrate the formulas rather than test the bounds.
major comments (2)
- [Section III.C, Eq. (19)] The lower bound is false. The proof asserts 'Due to orthogonality, the overall controllable subspace structurally admits a direct sum' and concludes dim(W') >= sum_m dim(W'_m). Trace/Frobenius orthogonality of the B_m does not imply that the lifted layer subspaces are disjoint in R^{nd}; trace-orthogonal matrices can share the same column space. Counterexample: n=d=2, internal dynamics A=0, leader v1, B1=[[1,0],[0,0]], B2=[[0,1],[0,0]] (trace-orthogonal, both with im = span{e1}), and A21 = alpha B1 + beta B2 with alpha,beta arbitrary nonzero. The controllability matrix of (L,M) has rank 3 for all nonzero alpha,beta, so dim(W')=3. Each scalar layer is a single edge, hence |pi_LDP^(1)|=|pi_LDP^(2)|=2, giving lower bound 4. Thus Eq. (19) fails in exactly the singular/asymmetric setting the paper claims to cover.
- [Section III.A, proof of Theorem 1] The deduction W' ⊆ im(P_{π_jm}) uses Lemma 1, but Lemma 1 requires containment W_j ⊆ im(P_{π_jm}) for every admissible weight configuration j. The proof establishes this containment only for the particular Laplacian L used to define π_jm; for another weight configuration the partition π_jm need not be equitable, so im(P_{π_jm}) need not be L-invariant. Therefore the upper bound dim(W') ≤ |π_jm| d is not proved for the strong structural (all-configuration) subspace.
minor comments (6)
- [Section III.C, indexing] The layer indexing is inconsistent. Eq. (14) uses d^2 basis layers, while Theorem 3 sums over D={1,...,d}. Please state how the d active layers are selected and whether the result is meant to hold for an arbitrary subset of d orthogonal basis matrices.
- [Section III.D, Definition 4/Theorem 5] Since g-rank is defined as the maximum rank over all λ, the condition g-rank(Hbar)<d^2 already implies rank deficiency at every λ. The conclusion 'the optimal basis exists almost everywhere' is therefore a restatement of the definition; the algebraic-geometry discussion is redundant for that implication.
- [Section IV.B, Example 2] The example only checks that layer 1 satisfies the generalized equitable partition condition; it does not compute the claimed upper/lower dimension or compare it with an actual strong structural controllable subspace. It is therefore not a numerical verification of the bound.
- [Section III.F, Theorem 7] The argument that the orthogonal complement of W' is non-empty does not establish a fixed invariant uncontrollable subspace. Since W' is defined as a minimum dimension over configurations, it is not a fixed subspace; one must exhibit a nonzero vector that is outside W_i for all i and lies in a common L_i-invariant subspace.
- [Section III.E, Algorithm 1] The claim of convergence to the 'unique maximal structural equitable partition' is not proved for directed labeled graphs; WL stabilization gives a color refinement partition, not necessarily the coarsest equitable partition. The shortcut detection also uses macroscopic BFS levels, which is at odds with the layer-specific LDP construction.
- [General presentation] References [2] and [6] are duplicates; [14] is cited as a prior result but appears to be an unreviewed arXiv preprint. Some equations, e.g., Eq. (10)-(12), have notation that is hard to parse.
Circularity Check
No significant circularity in the central bounds; Theorem 5 is a minor definitional restatement of generic rank.
specific steps
-
self definitional
[Definition 4 and Theorem 5, Section III.D]
"Definition 4 (Generic Rank): The generic rank (g-rank) of the structural pattern matrix ¯H(λ) is defined as the maximum rank it can achieve over the entire parameter space R^q: g-rank( ¯H) = max_{λ∈R^q} rank( ¯H(λ)). ... Theorem 5: If the structural pattern matrix satisfies g-rank( ¯H)<d^2, then the optimal projection basis p_m exists almost everywhere ... Given the structural premise g-rank( ¯H)<d^2, the maximum possible rank over the entire space R^q is strictly less than d^2."
The theorem's hypothesis is exactly Definition 4 restated: if the maximum rank over all λ is < d^2, then rank( ¯H(λ))<d^2 for every λ, so a non-trivial left null-space exists for all admissible parameter realizations. The 'almost everywhere' conclusion therefore follows immediately from the definition of g-rank as a maximum; no independent structural or parameter-independent argument is supplied beyond that definition. This is a definitional tautology in a supporting existence claim, not a fitted prediction and not the source of the main Squeeze Theorem bounds.
full rationale
The central derivation chain is not circular: Theorem 1 derives an upper bound from L-invariance of im(P_π) under equitable partitions; Theorem 3 aggregates layer-wise distance partitions into a lower bound; Theorem 4 obtains optimal-basis existence from rank-nullity on an augmented matrix. None of these steps fits parameters to data, renames a known result, or rests on a self-citation for its load-bearing content; [12] and [14] are used contextually for observability/invariant extensions. The one genuinely circular-looking item is Theorem 5, where the generic-rank condition is defined as the maximum rank over the parameter space, making the asserted parameter-independent null-space existence a direct unpacking of the definition. I treat that as a minor definitional tautology and score it accordingly. The disputed 'orthogonality implies direct sum' step in Theorem 3 is a mathematical-support/correctness concern about the lower bound, not a reduction of an output to an input of the kind this circularity pass targets, so it is not scored as circularity here.
Axiom & Free-Parameter Ledger
free parameters (3)
- Basis matrices B_m =
chosen by hand in Examples 2-4 (e.g., B1 = I, B2 = [[0,1],[-1,0]])
- Target equitable partition π and shortcut set E_short =
Example 4 fixes π = {{v1},{v2,v3},{v4}} and E_short = {(v1,v4)}
- d mutually orthogonal basis layers D =
Example 3 uses d = 2 layers B1, B2
axioms (5)
- domain assumption Strong structural controllability requires a property to hold for every admissible nonzero weight configuration.
- standard math Equitable partitions induce L-invariant subspaces (Lemma 2).
- domain assumption Scalar distance partitions give lower bounds on controllable subspace dimension (from [5]-[9]).
- ad hoc to paper Matrix orthogonality implies direct-sum independence of the lifted layer subspaces.
- ad hoc to paper WL color refinement returns the unique maximal structural equitable partition.
invented entities (3)
-
Layer-specific distance partition (LDP)
no independent evidence
-
Optimal projection basis p_m
no independent evidence
-
Multi-layer WL color refinement partition
no independent evidence
read the original abstract
This paper investigates the strong structural controllability of multi-agent networks. Based on the definition of equitable partitions, an upper bound for the strong structural controllable subspace (SSCS) is established. To reflect the physical significance of matrix weights where the state dimension is greater than one, the multi-agent system is modeled using higher-order dynamics. Furthermore, to address matrix singularity and asymmetric couplings, a matrix space basis decomposition method is proposed to transform the matrix-weighted network into layered scalar networks. Additionally, by extending this basis decomposition to the lower bound estimation, a layer-specific distance partition (LDP) is introduced. This formulation establishes a tighter Squeeze Theorem, narrowing the mathematical boundaries for the controllable subspace by capturing layer-specific structural delays. To systematically identify the optimal basis that minimizes the bounds gap, an algebraic algorithm based on null-space projection is formulated. Furthermore, by introducing pattern matrices and generic rank, the almost-everywhere existence of this optimal basis in the parameter space is rigorously proved, perfectly aligning with the definition of strong structural controllability. To break the NP-hard combinatorial bottleneck of manually pre-defining the targets, a polynomial-time automated discovery algorithm based on the multi-layer Weisfeiler-Lehman (WL) color refinement is proposed. Finally, the strong structural observability and invariant attributes of the network are evaluated. Numerical examples with asymmetric matrix weights and directed multi-layer topologies are provided to verify the derived theorems.
Figures
Reference graph
Works this paper leans on
-
[1]
Strong structural controllability,
H. Mayeda and T. Yamada, “Strong structural controllability,”SIAM Journal on Control and Optimization, vol. 17, no. 1, pp. 123-138, 1979
1979
-
[3]
On the structural and strong structural controllability of undirected networks,
S. S. Mousavi, M. Haeri, and M. Mesbahi, “On the structural and strong structural controllability of undirected networks,”IEEE Transactions on Automatic Control, vol. 63, no. 7, pp. 2234-2241, 2017
2017
-
[4]
A uni- fying framework for strong structural controllability,
J. Jia, H. J. van Waarde, H. L. Trentelman, and M. K. Camlibel, “A uni- fying framework for strong structural controllability,”IEEE Transactions on Automatic Control, vol. 66, no. 1, pp. 391-398, 2020
2020
-
[5]
Determination of the dimensions of strong structural controllable subspaces,
J. C. Jarczyk, F. Svaricek, and B. Alt, “Determination of the dimensions of strong structural controllable subspaces,”IFAC Proceedings Volumes, vol. 43, no. 21, pp. 131-137, 2010
2010
-
[6]
On strong structural controllability of networked systems: A constrained matching approach,
A. Chapman and M. Mesbahi, “On strong structural controllability of networked systems: A constrained matching approach,” in2013 American Control Conference. IEEE, 2013, pp. 6126-6131
2013
-
[7]
On the computation of the distance-based lower bound on strong structural controllability in networks,
M. Shabbir, W. Abbas, and Y . Yazıcıo ˘glu, “On the computation of the distance-based lower bound on strong structural controllability in networks,” in2019 IEEE 58th Conference on Decision and Control (CDC). IEEE, 2019, pp. 5468-5473
2019
-
[8]
Strong structural controllability of diffusively coupled networks: Comparison of bounds based on distances and zero forcing,
Y . Yazıcıo ˘glu, M. Shabbir, W. Abbas, and X. Koutsoukos, “Strong structural controllability of diffusively coupled networks: Comparison of bounds based on distances and zero forcing,” in2020 59th IEEE Conference on Decision and Control (CDC). IEEE, 2020, pp. 566-571
2020
-
[9]
Upper and lower bounds for controllable subspaces of networks of diffusively coupled agents,
S. Zhang, M. Cao, and M. K. Camlibel, “Upper and lower bounds for controllable subspaces of networks of diffusively coupled agents,”IEEE Transactions on Automatic control, vol. 59, no. 3, pp. 745-750, 2013
2013
-
[10]
Controllability of multiagent networks with antagonistic interactions,
C. Sun, G. Hu, and L. Xie, “Controllability of multiagent networks with antagonistic interactions,”IEEE transactions on automatic control, vol. 62, no. 10, pp. 5457-5462, 2017
2017
-
[11]
On the controllability of matrix-weighted networks,
L. Pan, H. Shao, M. Mesbahi, Y . Xi, and D. Li, “On the controllability of matrix-weighted networks,”IEEE Control Systems Letters, vol. 4, no. 3, pp. 572-577, 2020
2020
-
[12]
Controllability of general linear dis- crete multiagent systems with directed and weighted signed networks,
L. Zhao, Z. Ji, Y . Liu, and C. Lin, “Controllability of general linear dis- crete multiagent systems with directed and weighted signed networks,” Journal of Systems Science and Complexity, 2022
2022
-
[13]
Equitable partitions in the controllability of undirected signed graphs,
H. Gao, Z. Ji, and T. Hou, “Equitable partitions in the controllability of undirected signed graphs,” in2018 IEEE 14th International Conference on Control and Automation (ICCA), IEEE, 2018, pp. 532-537
2018
-
[14]
L. Zhao, Z. Ji, Y . Liu, and C. Lin, “Controllability and observability of linear multi-agent systems over matrix-weighted signed networks,” arXiv. 2204.00995, 2022
Pith/arXiv arXiv 2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.