REVIEW 3 major objections 2 minor 46 references
Discrete Bakry-\'Emery curvature tensors and matrices of connection graphs
T0 review · 3 major / 2 minor · reviewed 2026-05-24 · grok-4.3
Pith's one-line read Bakry-Émery curvature at vertices of connection graphs equals the smallest eigenvalue of a family of unitarily equivalent curvature matrices arising from a new tensor.
desk verdict The paper reformulates Bakry-Émery curvature on connection graphs as smallest eigenvalues of curvature matrices via double Schur complements with pseudoinverses, extending the matrix approach to this setting. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
A newly defined curvature tensor on the tangent space at a vertex whose matrix representations in varying orthonormal bases have smallest eigenvalues equal to the Bakry-Émery curvature.
What would settle it
A small explicit connection graph in which the Bakry-Émery curvature computed from its original definition differs from the smallest eigenvalue of any of the constructed curvature matrices.
Extended reading notes
Core claim
We present a reformulation of the Bakry-Émery curvature at a vertex within a connection graph. Our approach expresses this curvature through the smallest eigenvalue of a set of unitarily equivalent curvature matrices. We interpret these matrices as representations of a newly defined curvature tensor, each corresponding to a different orthonormal basis of the vertex's tangent space. This framework significantly extends earlier studies by Cushing et al. and Siconolfi on curvature matrices of standard graphs. We address the issue that constant functions generally fail to serve as eigenfunctions of the connection Laplacian by employing the Schur complement, applied twice using pseudoinverses. We
Load-bearing premise
That applying the Schur complement twice using pseudoinverses correctly overcomes the fact that constant functions generally fail to be eigenfunctions of the connection Laplacian, allowing the curvature definition and matrix reformulation to proceed as described.
Editorial extensions
If this is right
- Curvature values on connection graphs become computable by finding eigenvalues of explicitly constructed matrices rather than by the original variational definition.
- The curvature tensor supplies a uniform language that recovers all earlier curvature-matrix results on ordinary graphs as special cases.
- Cartesian products of connection graphs admit explicit curvature formulas that strengthen the product bounds previously obtained by Liu, Münch, and Peyerimhoff.
- Curvature in locally unbalanced connection structures can be strictly larger or smaller than the curvature of the underlying graph, producing new families of examples.
- The matrix reformulation extends without change to any connection graph whose connection Laplacian admits a well-defined pseudoinverse on the orthogonal complement of constants.
Reading between the lines
- The tensor viewpoint suggests that curvature inequalities on connection graphs may be provable by linear-algebraic arguments on the curvature matrices rather than by direct comparison of quadratic forms.
- Numerical linear algebra routines for smallest eigenvalues could now be used to tabulate Bakry-Émery curvature on large families of connection graphs arising in quantum or signed networks.
- The same Schur-complement technique may apply to other discrete curvature notions once their associated operators fail to have constants as eigenfunctions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript reformulates the Bakry-Émery curvature on connection graphs as the smallest eigenvalue of a family of unitarily equivalent curvature matrices obtained by applying the Schur complement twice with pseudoinverses to the connection Laplacian. These matrices are interpreted as representations of a newly defined curvature tensor, one for each orthonormal basis of the tangent space at a vertex. The work extends matrix-based approaches from standard graphs (Cushing et al., Siconolfi) to the connection-graph setting, where constants are typically not eigenfunctions of the connection Laplacian, and derives results on Cartesian products that strengthen those of Liu, Münch, and Peyerimhoff.
Significance. If the matrix reformulation is rigorously equivalent to the original curvature definition, the paper supplies a concrete linear-algebraic tool for computing and bounding Bakry-Émery curvature on connection graphs, which behave differently from ordinary graphs. The treatment of Cartesian products and the explicit handling of locally unbalanced structures are concrete extensions of prior results and could support further eigenvalue estimates.
major comments (3)
- [reformulation section] The central construction (abstract and the reformulation section): the claim that two successive Schur complements with pseudoinverses produce a matrix whose smallest eigenvalue equals the Bakry-Émery curvature must be accompanied by an explicit verification that the quadratic form is preserved. Because constant functions are not eigenfunctions of the connection Laplacian, it is not immediate that the pseudoinverse step recovers the same infimum over the orthogonal complement of constants that appears in the original definition.
- [reformulation section] Unitary equivalence of the curvature matrices (abstract): the manuscript asserts that the matrices obtained for different orthonormal bases are unitarily equivalent and therefore share the same smallest eigenvalue. A concrete change-of-basis argument or explicit computation showing that the smallest eigenvalue is independent of the chosen basis is required to justify interpreting them as representations of a single curvature tensor.
- [Cartesian products section] Cartesian-product results (final section): while the statements for locally balanced vertices recover earlier work, the claims for locally unbalanced structures rely on the same Schur-complement construction; any gap in the equivalence proof therefore propagates directly to these product formulas.
minor comments (2)
- Notation for the connection Laplacian and its pseudoinverse should be introduced with a short reminder of the precise domain and range, to avoid ambiguity when constants lie outside the kernel.
- A brief comparison table or explicit numerical example contrasting the curvature matrix on a connection graph with the corresponding matrix on the underlying ordinary graph would clarify the claimed behavioral differences.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address each major comment below and will revise the manuscript accordingly to strengthen the rigor of the equivalence arguments.
read point-by-point responses
-
Referee: [reformulation section] The central construction (abstract and the reformulation section): the claim that two successive Schur complements with pseudoinverses produce a matrix whose smallest eigenvalue equals the Bakry-Émery curvature must be accompanied by an explicit verification that the quadratic form is preserved. Because constant functions are not eigenfunctions of the connection Laplacian, it is not immediate that the pseudoinverse step recovers the same infimum over the orthogonal complement of constants that appears in the original definition.
Authors: We agree that an explicit verification is required. In the revised version we will insert a self-contained computation (in the reformulation section) that tracks the quadratic form through both Schur-complement steps with pseudoinverses. The argument will explicitly use the orthogonal complement to the constants (which is the correct domain for the connection-Laplacian Rayleigh quotient) and show that the resulting matrix quadratic form coincides with the original Bakry-Émery expression. revision: yes
-
Referee: [reformulation section] Unitary equivalence of the curvature matrices (abstract): the manuscript asserts that the matrices obtained for different orthonormal bases are unitarily equivalent and therefore share the same smallest eigenvalue. A concrete change-of-basis argument or explicit computation showing that the smallest eigenvalue is independent of the chosen basis is required to justify interpreting them as representations of a single curvature tensor.
Authors: We will add a short subsection (or lemma) that performs the change-of-basis explicitly: if B and B' are two orthonormal bases of the tangent space, the corresponding curvature matrices M_B and M_{B'} satisfy M_{B'} = U^* M_B U for a unitary matrix U constructed from the change-of-basis coefficients. Consequently all eigenvalues, including the smallest one, are independent of the basis choice. This will justify the tensor interpretation. revision: yes
-
Referee: [Cartesian products section] Cartesian-product results (final section): while the statements for locally balanced vertices recover earlier work, the claims for locally unbalanced structures rely on the same Schur-complement construction; any gap in the equivalence proof therefore propagates directly to these product formulas.
Authors: Once the two verifications above are inserted, the product formulas (both balanced and unbalanced) rest on a rigorously equivalent matrix representation. We will add a brief remark in the Cartesian-products section noting that the strengthened equivalence applies uniformly to the locally unbalanced case and therefore validates the new product identities. revision: yes
Circularity Check
Reformulation via double Schur complement with pseudoinverses is a standard linear-algebra adjustment, not circular
full rationale
The paper's central step defines curvature matrices by applying the Schur complement twice (with pseudoinverses) to the connection Laplacian precisely to handle the fact that constants are not eigenfunctions; the resulting smallest eigenvalue is then shown to be unitarily invariant and interpreted as a tensor representation. This is a direct algebraic construction from the Laplacian quadratic form and does not reduce any claimed result to a fitted parameter, a self-citation, or a renamed input. No load-bearing uniqueness theorem or ansatz is imported from the authors' prior work; the derivation remains self-contained against the original Bakry-Émery definition.
Assumptions & free parameters
assumptions (2)
- standard math Unitary equivalence preserves the smallest eigenvalue of the curvature matrices
- domain assumption Schur complement with pseudoinverses correctly reduces the connection Laplacian problem
invented entities (1)
-
Curvature tensor for connection graphs
Cite this review
Pith. "Pith review of Discrete Bakry-\'Emery curvature tensors and matrices of connection graphs." pith.science (2026). https://pith.science/paper/2209.10762
@misc{pith2026220910762,
author = {Pith},
title = {Pith review of: Discrete Bakry-\'Emery curvature tensors and matrices of connection graphs},
year = {2026},
howpublished = {\url{https://pith.science/paper/2209.10762}},
note = {Machine review of arXiv:2209.10762}
}
read the original abstract
Liu, M\"unch, and Peyerimhoff introduced the notion of Bakry-\'Emery curvature for connection graphs as a means to derive Buser-type bounds on the eigenvalues of connection Laplacians. In this work, we present a reformulation of the Bakry-'Emery curvature at a vertex within a connection graph. Our approach expresses this curvature through the smallest eigenvalue of a set of unitarily equivalent curvature matrices. We interpret these matrices as representations of a newly defined curvature tensor, each corresponding to a different orthonormal basis of the vertex's tangent space. This framework significantly extends earlier studies by Cushing et al. and Siconolfi on curvature matrices of standard graphs. It is important to note that the Bakry-\'Emery curvature in connection graphs can behave very differently from that in the underlying graphs. For instance, constant functions generally fail to serve as eigenfunctions of the connection Laplacian, which poses a substantial challenge when attempting to generalize results from standard graphs to connection graphs. We address this issue by employing the Schur complement, applied twice using pseudoinverses. Additionally, we investigate the Bakry-\'Emery curvature in Cartesian products of connection graphs, extending and strengthening the earlier findings of Liu, M\"unch, and Peyerimhoff. While our results for vertices with locally balanced structures encompass previous work, we also shed light on intriguing behaviors that arise in locally unbalanced connection structures.
Figures
Figures from the paper (7 more)
Reference graph
Works this paper leans on
-
[1]
Albert, Conditions for positive and nonnegative defin iteness in terms of pseudoin- verses, SIAM J
A. Albert, Conditions for positive and nonnegative defin iteness in terms of pseudoin- verses, SIAM J. Appl. Math. 17 (1969), 434-440
work page 1969
-
[2]
F. M. Atay, S. Liu, Cheeger constants, structural balanc e, and spectral clustering analysis for signed graphs, Discrete Math. 343 (2020), no. 1 , 111616
work page 2020
-
[3]
D. Bakry, L’hypercontractivité et son utilisation en thé orie des semigroupes, In: Lec- tures on Probability Theory, Lecture Notes in Math. 1581, P. Bernard (Eds.), Springer, Berlin, pp. 1-114, 1994
work page 1994
-
[4]
D. Bakry, Functional inequalities for Markov semigroups , Probability measures on groups: recent directions and trends, 91-147, Tata Inst. Fu nd. Res., Mumbai, 2006
work page 2006
- [5]
- [6]
-
[7]
A. S. Bandeira, A. Singer, D. A. Spielman, A Cheeger inequa lity for the graph con- nection Laplacian, SIAM J. Matrix Anal. Appl. 34 (2013), no. 4, 1611-1630
work page 2013
-
[8]
F. R. K. Chung, S. Sternberg, Laplacian and vibrational s pectra for homogeneous graphs, J. Graph Theory 16 (1992), no. 6, 605-627
work page 1992
Show all 46 references
-
[9]
F. R. K. Chung, Y. Lin, S.-T. Yau: Harnack inequalities fo r graphs with non-negative Ricci curvature. J. Math. Anal. Appl. 415 (2014), no. 1, 25–3 2
2014
-
[10]
Chung, W
F. Chung, W. Zhao, M. Kempton, Ranking and sparsifying a connection graph, In- ternet Math., 10 (2014), no. 1-2, 87-115
2014
-
[11]
Cushing, S
D. Cushing, S. Kamtue, R. Kangaslampi, S. Liu, N. Peyeri mhoff: Curvatures, graph products and Ricci flatness. J. Graph Theory 96 (2021), no.4, 522–553
2021
-
[12]
Cushing, R
D. Cushing, R. Kangaslampi, V. Lipiäinen, S. Liu, G.W. S tagg: The graph curvature calculator and the curvatures of cubic graphs. Exp. Math. 31 (2022), no. 2, 583-595
2022
-
[13]
Cushing, S
D. Cushing, S. Kamtue, S. Liu, F. Münch, N. Peyerimhoff, H . B. Snodgrass, Bakry- Émery curvature sharpness and curvature flow in finite weight ed graphs. I. Theory, arXiv:2204.10064
-
[14]
Cushing, S
D. Cushing, S. Kamtue, S. Liu, N. Peyerimhoff, Bakry-Émer y curvature on graphs as an eigenvalue problem, Calc. Var. Partial Differential Eq uations 61 (2022), no. 2, Article 62
2022
-
[15]
Cushing, S
D. Cushing, S. Liu, F. Münch, N. Peyerimhoff: Curvature c alculations for antitrees. In: Analysis and geometry on graphs and manifolds, London Ma thematical Society Lecture Notes Series, 461, M. Keller, D. Lenz, and R. Wojciec howski (Eds.), Cam- bridge University Press, pp. 21...
2020
-
[16]
Cushing, S
D. Cushing, S. Liu, N. Peyerimhoff, Bakry-Émery curvatur e functions of graphs, Can. J. Math. 72 (2020), no. 1, 89-143
2020
-
[17]
Forman, Determinants of Laplacians on graphs, Topol ogy 32 (1993), no
R. Forman, Determinants of Laplacians on graphs, Topol ogy 32 (1993), no. 1, 35-46
1993
-
[18]
K. D. Elworthy: Manifolds and graphs with mostly positi ve curvatures, in Stochastic analysis and applications (Lisbon, 1989), Progr. Probab., 26, A. B. Cruzeiro and J. C. Zambrini (Eds.), Birkhäuser, pp. 96–110, 1991
1989
-
[19]
Fathi, Y
M. Fathi, Y. Shu: Curvature and transport inequalities for Markov chains in discrete spaces. Bernoulli 24 (2018), no. 1, 672–698
2018
-
[20]
C. Gong, Y. Lin: Equivalent properties for CD inequalit ies on graphs with unbounded Laplacians. Chin. Ann. Math. Ser. B. 38 (2017), 1059–1070
2017
-
[21]
J. L. Gross, Voltage graphs, Discrete Math. 9 (1974), 23 9-246
1974
-
[22]
Harary, On the notion of balance of a signed graph
F. Harary, On the notion of balance of a signed graph. Mic higan Math. J. 2 (1953/54), 143-146
1953
-
[23]
Harary, Structural duality
F. Harary, Structural duality. Behav. Sci. 2 (1957), no. 4, 255-265
1957
-
[24]
Hua: Liouville theorem for bounded harmonic function s on manifolds and graphs satisfying nonnegative curvature dimension condition, Ca lc
B. Hua: Liouville theorem for bounded harmonic function s on manifolds and graphs satisfying nonnegative curvature dimension condition, Ca lc. Var. Partial Differential Equations 58(2019), no. 2, Article 42
2019
-
[25]
B. Hua, Y. Lin: Stochastic completeness for graphs with c urvature dimension condi- tions. Adv. Math. 306 (2017), 279–302
2017
-
[26]
B. Hua, Y. Lin: Graphs with large girth and nonnegative cu rvature dimension condi- tion. Commun. Anal. Geom. 27 (2019), no. 3, 619–638
2019
-
[27]
B. Hua, F. Münch, R. K. Wojciechowski: Coverings and the h eat equation on graphs: stochastic incompleteness, the Feller property, and unifo rm transience. Trans. Am. Math. Soc. 372 (2019), no. 7, 5123–5151
2019
-
[28]
B. W. Jordan, R. Livné, Ramanujan local systems on graphs , Topology 36 (1997), no. 5, 1007-1024
1997
-
[29]
J. Jost, S. Liu: Ollivier’s Ricci curvature, local clus tering and curvature-dimension inequalities on graphs. Discrete Comput. Geom. 51 (2014), n o. 2, 300–322
2014
-
[30]
Klartag, G
B. Klartag, G. Kozma, P. Ralli, P. Tetali: Discrete curva ture and abelian groups. Can. J. Math. 68 (2016), 655–674
2016
-
[31]
Kempton, F
M. Kempton, F. Münch, S.-T. Yau, A homology vanishing th eorem for graphs with positive curvature, Comm. Anal. Geom. 29 (2021), no. 6, 1449 -1473
2021
-
[32]
Kenyon, Spanning forests and the vector bundle Lapla cian, Ann
R. Kenyon, Spanning forests and the vector bundle Lapla cian, Ann. Probab., 39 (2011), no.5, 1983-2017
2011
-
[33]
Langer, S
C. Langer, S. Liu, N. Peyerimhoff, O. Post, Frustration i ndex and Cheeger inequal- ities for discrete and continuous magnetic Laplacians, Cal c. Var. Partial Differential Equations 54 (2015), no. 4, 4165-4196. 56
2015
-
[34]
Lin, S.-T
Y. Lin, S.-T. Yau: Ricci curvature and eigenvalue estim ate on locally finite graphs. Math. Res. Lett. 17(2010), no. 2, 343–356
2010
-
[35]
S. Liu, F. Münch, N. Peyerimhoff, Curvature and higher or der inequalities for the graph connection Laplacian, SIAM J.Discrete Math. 33 (2019 ), no. 1, 257-305
2019
-
[36]
S. Liu, F. Münch, N. Peyerimhoff, Bakry-Émery curvature a nd diameter bounds on graphs, Calc. Var. Partial Differential Equations 57 (2018) , no. 2, Article 67
2018
-
[37]
S. Liu, N. Peyerimhoff, Eigenvalue ratios of nonnegativ ity curved graphs, Comb. Probab. Comput. 27 (2018), no. 5, 829-850
2018
-
[38]
S. Liu, N. Peyerimhoff, A. Vdovina, Signatures, Lifts, a nd Eigenvalues of Graphs, in: F. Atay, P. Kurasov, D. Mugnolo, (eds) Discrete and Conti nuous Models in the Theory of Networks, Operator Theory: Advances and Applicat ions, 281. Birkhäuser, 2020
2020
-
[39]
M. A. Shubin, Discrete magnetic Laplacian, Comm. Math. Phys. 164 (1994), no. 2, 259-275
1994
-
[40]
Siconolfi, Ricci curvature, graphs and eigenvalue, L inear Algebra Appl
V. Siconolfi, Ricci curvature, graphs and eigenvalue, L inear Algebra Appl. 620 (2021), 242-267
2021
-
[41]
Siconolfi, Ricci curvature of Bruhat orders, Adv
V. Siconolfi, Ricci curvature of Bruhat orders, Adv. in Ap pl. Math. 139 (2022), Paper No. 102375, 33pp
2022
-
[42]
Singer, H.-T
A. Singer, H.-T. Wu, Vector diffusion maps and the connec tion Laplacian, Comm. Pure Appl. Math. 65 (2012), no. 8, 1067-1144
2012
-
[43]
Sunada, A discrete analogue of periodic magnetic Sch rödinger operators, Geometry of the spectrum (Seattle, W A, 1993), 283-299, Contemp
T. Sunada, A discrete analogue of periodic magnetic Sch rödinger operators, Geometry of the spectrum (Seattle, W A, 1993), 283-299, Contemp. Math . 173, Am. Math. Soc., Providence, RI, 1994
1993
-
[44]
Zaslavsky, Signed graphs, Discrete Appl
T. Zaslavsky, Signed graphs, Discrete Appl. Math. 4 (19 82), no. 1, 47-74
-
[45]
Zaslavsky, Biased graphs
T. Zaslavsky, Biased graphs. I. Bias, balance, and gains, J. Combin. Theory Ser. B, 47 (1989), no. 1, 32-52
1989
-
[46]
Zaslavsky, Matrices in the theory of signed simple gr pahs, Advances in discrete mathematics and applications (Mysore, 2008), Ramanujan Ma th
T. Zaslavsky, Matrices in the theory of signed simple gr pahs, Advances in discrete mathematics and applications (Mysore, 2008), Ramanujan Ma th. Soc. Lect. Notes Ser. 13, Ramanujan Math. Soc. , pp. 207-229, Mysore, 2010. 57
2008
Reviewed May 24, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.