1

1: If $e$ is an edge in $G$ connecting $u$ and $v$, then the degree of e in the line graph $L(G)$ is equal to $d‎_{G}(u)+d‎_{G}(v)-2$ so ‎$‎‎d‎_{L(G)}=d‎_{G}(u)+d‎_{G}(v)-2‎‎‎$.Then ‎ $\sum‎_{‎‎e\in V(L(G))}=‎\sum‎_{uv\in E(V(G))}(d‎_{G}(u)+d‎_{G}(v) -2)=‎[‎\sum‎_{uv\in E(V(G))} d‎_{G}(u)‎^{2}‎] -2m(G)$. ($m$ is the number of edges)

2:‎Let $G=(V,E)$ be a finite simple graph‎. ‎The Sombor index $SO(G)$ of $G$ is defined as $SO(G)=\sum_{uv\in E(G)}\sqrt{d_u^{2}+d_v^{2}}$‎, ‎where $d_u$ is the degree of vertex $u$ in $G$‎.

‎> I got the sombor index value for many graphs, but none of them are integer number. For which graph is the Sombor index value an integer?

I would like to find graphs where the value of the Sambor index ‎$‎L(G)‎$ is ‎an integer. Please help me.

1 Answers1

1

You have a sum of terms that look like $\sqrt{d_u^2+d_v^2}$. Now, $d_u^2+d_v^2$ is an integer, and the square root of an integer is either an integer or an irrational. Now we can ask whether some square roots could have some linear dependencies, and the answer is essentially no (see for instance here). This means that $SO(G)$ is an integer if and only if each summand is integer. This implies that each summand is of the form $\sqrt{a^2+b^2}$, where $a^2+b^2 = c^2$ for an integer $c$, i.e., $(a, b, c)$ is a Pythagorean triple. An example of such a graph would be $K_{3,4}$, since $(3,4,5)$ is a Pythagorean triple.

  • Thank you for your answer. I think it is only true for graphs $K_{3,4}$ and $K_{6,8}$. Is it right? –  Nov 16 '24 at 05:41
  • No, there are infinitely many Pythagorean triples (see https://en.wikipedia.org/wiki/Pythagorean_triple), so there are infinitely many examples of the form $K_{n,m}$. But there are also many other examples that are not bipartite. You just need that every edge satisfies this Pythagorean triple property. – Mathieu Rundström Nov 16 '24 at 06:06
  • According to your answer, two questions came to my mind, please help me. First question 1: In the article "On the Sombor index of graphs" by Tamas Reti, Theorem 3-1: Let G be a connected graph and let So(G) be an integer. Then G is a multipartite graph with the smallest degree at least three.

    Shouldn't the graph be only two parts? What does "multipartite graph" mean? What is the shape of the graph?

    –  Nov 21 '24 at 18:42
  • Second question: Are there 3,4- graphs that are not complete? Is their number finite? What are the limits for "m" number of edges and "n" number of vertices? –  Nov 21 '24 at 18:48
  • See https://en.wikipedia.org/wiki/Multipartite_graph. Your second question might be better suited for a new post. – Mathieu Rundström Nov 21 '24 at 19:25