Cited by 57Graph theory and applicationsGraph Theory and AlgorithmsMatrix Theory and Algorithms

Spanning Forests of a Digraph and Their Applications

Open access
Agaev, R. P., Chebotarev, P. Yu.·2001·Automation and Remote Control

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

Crossref · 10.1023/a:1002862312617

Cites

Statistics

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • Proposition 11 of [2] states that rank(L) = n − d, where d is the in-forest dimension of G, the minimum possible number of converging trees in a spanning converging forest of G.

    “Proposition 11 of [2] states that rank( L ) = n - d , where d is the so-called in-forest dimension of G , i.e., the minimum possible number of converging trees in a spanning converging forest of G .”

    From Comments on "Consensus and cooperation in networked multi-agent systems" (2010) · cites this paper as [2]

    Proposition 11 (Section 8.1, p. 12) concerns forest-accessibility measures, not the rank of L. Section 5 (p. 8) gives the dimension of the range of Lᵀ as n − v, where v is the out-forest dimension; Section 2 (p. 3) says the in-forest dimension v′ can differ from v. Thus the cited proposition does not state the claimed equation, and the paper’s rank relation uses a different forest dimension. (LLM, conf=0.94)

    Checked by a reasoning model — may be wrong.

    Experimental — accuracy not yet measured
  • By Proposition 11 of [2], rank(J) = d, where d is the in-forest dimension of G.

    “by Proposition 11 of [2] rank ) ( J = d , where d is the in-forest dimension of G.”

    From Comments on "Consensus and cooperation in networked multi-agent systems" (2010) · cites this paper as [2]

    Definition 3 (p. 3) defines the paper’s J as a matrix of maximum out forests, while Section 2 (pp. 2–3) distinguishes out-forest dimension from in-forest dimension and says they need not be equal. The proof of Proposition 11 (Conclusion, p. 20) concerns accessibility measures, not the rank of J. Thus Proposition 11 does not establish the claimed equality. (LLM, conf=0.78)

    Checked by a reasoning model — may be wrong.

    Experimental — accuracy not yet measured
  • The elements of J were characterized in Theorems 2 and 3 of [2].

    “The elements of J were characterized in Theorems ' 2 and 3 of [2].”

    From Comments on "Consensus and cooperation in networked multi-agent systems" (2010) · cites this paper as [2]

    In “Notation and Some Earlier Results” (p. 3), Theorems 2 and 3 establish properties of the matrix J: it is idempotent and satisfies LJ = JL = 0. They do not directly characterize its individual elements; the entry-wise statements appear in Theorem 1 on the same page. (LLM, conf=0.83)

    Experimental — accuracy not yet measured
  • (i) of Lemma 3 in [1] coincides with Proposition 12 of [2].

    “in particular, (i) of Lemma 3 in [1] coincides with Proposition 12 of [2].”

    From Comments on "Consensus and cooperation in networked multi-agent systems" (2010) · cites this paper as [2]

    Proposition 12 appears in §8.2 (p. 13) and states two properties of out forests. The cited paper therefore supports the reference to Proposition 12, but its text does not establish that the proposition coincides with part (i) of Lemma 3 in [1]. (LLM, conf=0.78)

    Experimental — accuracy not yet measured
  • According to Proposition 8, the forest dimension of a digraph is no less than its number of weak components and does not exceed the number of its strong components and the number of its unilateral components.

    “In addition, according to Proposition 8, 'the forest dimension of a digraph is no less than its number of weak components 2 and does not exceed the number of its strong components and the number of its unilateral components.'”

    From Comments on "Consensus and cooperation in networked multi-agent systems" (2010) · cites this paper as [2]

    The definition in §2 (p. 2) makes the lower bound follow: an out forest spans the digraph, so it needs at least one tree per weak component. But Proposition 8 (§6, pp. 9–10) concerns the group inverse of the Kirchhoff matrix, not component-count bounds, and the cited passages do not state the claimed upper bounds for strong or unilateral components. (LLM, conf=0.84)

    Experimental — accuracy not yet measured

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Cites

No references could be resolved yet.

Research works printed but not linked: 22

  1. [1]1. Harary, F., Norman, R.Z., and Cartwright, D., Structural Models : An Introduction to the Theory of Directed Graphs , New York: Wiley, 1965.
  2. [2]2. Fiedler, M. and Sedl´ aˇ cek, J., O W -bas´ ıch Orientovan´ ych Graf ◦ u, ˇ Casopis Pˇ est. Mat. , 1958, vol. 83, pp. 214-225.
  3. [3]3. Kelmans, A.K. and Chelnokov, V.M., A Certain Polynomial of a Graph and Graphs with an Extremal Number of Trees, J. Comb. Theory , 1974, ser. B, vol. 16, pp. 197-214.
  4. [4]4. Liu, C.J. and Chow, Yu., Enumeration of Forests in a Graph, Proc. Amer. Math. Soc. , 1981, vol. 83, pp. 659-663.
  5. [5]5. Chaiken, S., A Combinatorial Proof of the All Minors Matrix Tree Theorem, SIAM J. Discr. Math. , 1982, vol. 3, pp. 319-329.
  6. [6]6. Myrvold, W., Counting k -component Forests of a Graph, Networks , 1992, vol. 22, pp. 647-652.
  7. [7]7. Bapat, R.B. and Constantine, G., An Enumerating Function for Spanning Forests with Color Restrictions, Linear Algebra Appl. , 1992, vol. 173, pp. 231-237.
  8. [8]8. Takacs, L., Enumeration of Rooted Trees and Forests, Math. Scientist. , 1993, vol. 18, pp. 1-10.
  9. [9]9. Erd˝ os, P.L., A New Bijection on Rooted Forests, Discrete Math. , 1993, vol. 111, pp. 179-188.
  10. [10]10. Merris, R., Doubly Stochastic Graph Matrices, Univ. Beograd. Publ. Elektrotehn. Fak. ( Ser. Mat. ), 1997, vol. 8, pp. 64-71.
  11. [11]11. Merris, R., Doubly Stochastic Graph Matrices II, Lin. Multilin. Algebra , 1998, vol. 45, pp. 275-285.
  12. [12]12. Chebotarev, P.Yu. and Agaev, R.P., The Matrix of Maximum Out Forests and Structural Properties of Systems Modeled by Digraphs, Modelling and Simulation of Systems, MOSIS-2000, 34th Spring Int. Conf. , Ostrava, 2000, vol. 1, pp. 101-106.
  13. [13]13. Agaev, R.P. and Chebotarev, P.Yu., The Matrix of Maximum Out Forests and Its Applications, Avtom. Telemekh. , 2000, no. 9, pp. 15-43 [ Automat. Remote Control , 2000, vol. 61, no. 9, pp. 1424-1450.]
  14. [14]14. Chebotarev, P.Yu. and Shamis, E.V., The Matrix-Forest Theorem and Measuring Relations in Small Social Groups, Avtom. Telemekh. , 1997, no. 9, pp. 124-136. [ Automat. Remote Control , 1998, vol. 58, no. 9, pp. 1505-1514].
  15. [15]15. Chebotarev, P.Yu. and Shamis, E.V., On Proximity Measures for Graph Vertices, Avtom. Telemekh. , 1998, no. 10, pp. 113-133 [ Automat. Remote Control , 1998, vol. 59, no. 10, pp. 1443-1459].
  16. [16]16. Harary, F., Graph Theory , Reading, Mass.: Addison-Wesley, 1969.
  17. [17]17. Tutte, W.T., Graph Theory , Reading, Mass.: Addison-Wesley, 1984.
  18. [20]20. Berman, A. and Plemmons, R., Nonnegative Matrices in the Mathematical Sciences , New York: Academic Press, 1979.
  19. [23]23. Chebotarev, P.Yu. and Shamis, E.V., Preference Fusion when the Number of Alternatives Exceeds Two: Indirect Scoring Procedures, J. Franklin Inst. , 1999, vol. 36, pp. 205-226.
  20. [24]24. Hall, K., An r -dimensional Quadratic Placement Problem, Management Sci. , 1970, vol. 17, pp. 219-229.
  21. [25]25. Horn, R.A. and Johnson, C.R., Matrix Analysis , Cambridge: Cambridge Univ. Press, 1986.
  22. [26]26. Chebotarev, P.Yu. and Shamis, E.V., On a Duality Between Metrics and Σ-proximities, Avtom. Telemekh. , 1998, no. 4, pp. 204-209 [ Automat. Remote Control , 1998, vol. 59, no. 4, pp. 608-612; Erratum , 1998, vol. 59, no. 10, p. 1501]. This paper was recommended for publication by V.A. Lototskii, a member of the Editorial Board.

Cited by

Sorted by citations

Authors
Agaev, R. P., & Chebotarev, P. Y.
Affiliations
Russian Academy of Sciences (RU)
Venue
Automation and Remote Control
Published
2001-03
Volume
62
Issue
3
Pages
443-466
ISSN
  • 0005-1179 (ISSN-L)
  • 1608-3032
OpenAlex
W1479963817
Cited by
57
References
21
Citations by year
2026: 2 · 2025: 1 · 2024: 7 · 2023: 2 · 2022: 4 · 2021: 2 · 2020: 3 · 2019: 2 · 2018: 1 · 2017: 3 · 2016: 2 · 2015: 2 · 2014: 3 · 2013: 3 · 2012: 3
FWCI
1.10
Type
journal article
Language
en
Open access
Locations
  • Automation and Remote Control (publishedVersion)
  • arXiv (Cornell University) (submittedVersion)
  • arXiv (Cornell University)
Topics
  • Physical Sciences › Mathematics › Geometry and Topology › Graph theory and applications
  • Physical Sciences › Computer Science › Computer Vision and Pattern Recognition › Graph Theory and Algorithms
  • Physical Sciences › Computer Science › Computational Theory and Mathematics › Matrix Theory and Algorithms
Keywords
spanning forests, directed graphs, graph Laplacian, Moore-Penrose inverse, group inverse, Markov chains, observation model, annihilating polynomials, accessibility measures

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review