0
$\begingroup$

Let $\mathrm{M}\in\lbrace0,1\rbrace^n$ be the adjacency matrix of a graph $\mathrm{G}\left(V,E\subseteq\lbrace\lbrace u,v\rbrace| u,v\in V\rbrace\right)$ of order $n$.

Let $\mathrm{G}$ additionally be metric in the sense, that $$\lbrace v_i, v_j, v_k\rbrace\subseteq V\ \ \wedge\ \ w_{uv}\in\lbrace 0,1\rbrace\ \ \wedge\ \ w_{uv}=1\iff e_{uv}\in E$$ $$\implies w_{ij}+w_{jk}+w_{ki}\ \in\ \lbrace 0,2,3\rbrace$$

Question: is it then true that $$\mathrm{rank}(\mathrm{M})=\max_{n'}\mathrm{K}_{n'}\subseteq\mathrm{G}$$ resp. how is the the rank of the adjacency matrix related to the size of the maximal clique?

$\endgroup$
2
  • $\begingroup$ For triangle free graphs the adjacency matrix may easily have large rank. Say, consider the long cycle. $\endgroup$ Commented Dec 20, 2018 at 8:56
  • $\begingroup$ @FedorPetrov shame on me; I will have to edit my question to make it non-trivial. $\endgroup$ Commented Dec 20, 2018 at 9:21

1 Answer 1

1
$\begingroup$

I also assume that the graph contains at least one edge, else the maximal clique contains 1 vertex while the rank is 0. In any graph (not necessarily metric) which contains at least one edge the rank of the adjacency matrix is not less than the size of maximal clique (look to corresponding minor).

Your metric condition is equivalent to the following: the vertices may be partitioned onto $m$ disjoint non-empty groups $V_1,\dots,V_m$ so that any two vertices from the same $V_i$ are not joined while any two vertices from different $V_i$'s are joined. It implies that the rank of such a matrix is at most $m$, since there are exactly $m$ different rows. On the other hand, the maximal clique size is exactly $m$. Therefore here we have indeed the equality.

$\endgroup$
2
  • $\begingroup$ So the NP-complete decision problem of whether a graph contains a clique larger than a given size is easy in the case of metric binary graphs; a fact I haven't seen mentioned yet. $\endgroup$ Commented Dec 20, 2018 at 19:14
  • $\begingroup$ Not surprising. It is very concrete class of graphs. $\endgroup$ Commented Dec 20, 2018 at 19:47

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .