arxiv: v1 [math.co] 21 Dec 2016

Transcription

1 The integrall representable trees of norm 3 Jack H. Koolen, Masood Ur Rehman, Qianqian Yang Februar 6, 08 Abstract In this paper, we determine the integrall representable trees of norm 3. arxiv:6.0697v [math.co] Dec 06 Kewords and phrases: Integrall representable trees, integral lattices, trees, seedlings Mathematics Subject Classification: 05C50, 05C6, H99 Introduction The connected graphs with spectral radius two were classified b Smith (see [, Theorem 3..5] and [3]) and the are as follows (where the inde equals V (G) ): Ã m (m ) : ; D m (m 4) : ; Ẽ 6 : ; Ẽ 7 : Ẽ 8 : Moreover, each connected graph with spectral radius at most is a subgraph of one of the graphs above, and each connected graph with radius at least contains one of the above graphs as an induced subgraph. Note that ecept for Ãm, the are all trees. And this classification is closel related to the classification of the irreducible root lattices. In this paper, we will look at trees with spectral radius at most 3 and hence with smallest eigenvalue at least 3. Note that there are infinite trees with spectral radius 3. For eample, the famil of trees in Figure : ;. Figure J.H. Koolen is partiall supported b the National Natural Science Foundation of China (Grant No and Grant No ). M.U. Rehman is supported b the Chinese Scholarship Council at USTC, China.

2 Now let us look at graphs with smallest eigenvalue at least 3. Let G be a graph with m vertices, adjacenc matri A and smallest eigenvalue at least 3. Then A + 3I is positive semidefinite and hence the Gram matri of a set of vectors S = {,..., m }. Then the lattice generated b S is an integral lattice generated b vectors with norm 3 (= length 3). So understanding graphs with smallest eigenvalue at least 3 helps us to understand the integral lattices generated b norm 3 vectors. And the trees with smallest eigenvalue at least 3 are the simplest among them. In this paper, we will look at a restricted class of trees with spectral radius at most 3, namel, those that are integrall representable of norm 3. We sa that the graph G with adjacenc matri A is integrall representable of norm t if there eists a matri N with integral entries such that A + ti = N T N. Note that an integrall representable graph G with norm t has smallest eigenvalue at least t. In this paper, we will classif the integrall representable trees of norm 3. For some other research on integral lattices, we refer to [3], [0], [] and []. For some earlier work on integral lattices generated b vectors of norm 3, we refer to [9] and [, p.]. The paper is organized as follows. In Section 3, we will give a construction to construct integrall representable trees of norm 3. Moreover, in Section 4, we will show that with the construction we can construct all integrall representable trees of norm 3. We will use Hoffman graphs as our main tool. Properties of Hoffman graphs and other definitions and preliminaries will be discussed in Section. We will conclude the paper with a discussion about seedlings. Preliminaries. Graphs Throughout the paper we will consider onl undirected graphs without loops or multiple edges. Let G = (V (G), E(G)) be a graph on m vertices. Recall that the adjacenc matri A of G is an m m matri indeed b the vertices of G such that A = if the verte is adjacent to the verte and A = 0 otherwise. We write if the vertices and are adjacent and if the are not adjacent. B the eigenvalues of G we mean the eigenvalues of A and denote λ min (G) the smallest eigenvalue of G. Let t be a positive integer. The graph G is called integrall representable of norm t, if there eists a map ϕ : V (G) Z n for some positive integer n such that t if =, (ϕ(), ϕ()) = if, 0 otherwise. We also call the map ϕ an integral representation of G of norm t. When t = 3, we have ϕ() i {0, ±} for all V (G) and i {,..., m}. Let ϕ be an integral representation of G of norm t. Assume that G has vertices,..., m and let N be the matri whose th i column is equal to ϕ( i ) for i =,..., m. Then N T N = A + ti, where A is the adjacenc matri of G. This means λ min (G) t. A tree T is a connected undirected graph without ccles. If the tree T has an integral representation of norm 3, we call it an integrall representable tree of norm 3.. Matrices In this subsection, we will introduce two main theorems about matrices and its eigenvalues: eigenvalue interlacing and the Perron-Frobenius Theorem.

3 Theorem.. ([5, Interlacing]) Let A be a real smmetric n n matri with eigenvalues θ θ n. For some m < n, let S be a real n m matri with orthonormal columns, S T S = I, and consider the matri B = S T AS, with eigenvalues µ µ m. Then, (i) the eigenvalues of B interlace those of A, that is, θ i µ i θ n m+i, i =,..., m; (ii) if there eists an integer j {,,..., m} such that θ i = µ i for i j and θ n m+i = µ i for j + i m, then the interlacing is tight and SB = AS. For a matri A, we write A > 0 (resp. A 0) when all its entries are positive (nonnegative). Let A be a real n n matri with nonnegative entries. The matri A is called irreducible if there eists an integer p such that A p > 0. Note that the matri A is irreducible if and onl if the directed graph G A with vertices {,..., n} and edges ij whenever A ij > 0 is strongl connected. Now we recall the Perron-Frobenius Theorem as follows: Theorem.. ([, Theorem 3..]) Let A be a nonnegative irreducible matri, then the following holds: (i) There is a real number θ 0 and a real vector 0 with A 0 = θ 0 0, θ 0 > 0, 0 > 0. If a vector 0, 0 and A θ, then θ θ 0. (ii) The eigenvalue θ 0 of A has geometric and algebraic multiplicit one. (iii) For each eigenvalue θ of A we have θ θ 0. (iv) If a vector 0, 0 and A θ, then > 0 and θ θ 0 ; moreover, θ = θ 0 if and onl if A = θ. (v) If 0 B A and B A, then ever eigenvalue µ of B satisfies µ < θ 0..3 Hoffman graphs Now we are in the position to give definitions and preliminaries of Hoffman graphs. Hoffman graphs were introduced b Woo and Neumaier [4]. Most of the material of this section comes from [7] and [4]. Definition.3. A Hoffman graph h is a pair (H, l) where H = (V, E) is a graph and l : V {f, s} is a labeling map satisfing the following conditions: (i) ever verte with label f is adjacent to at least one verte with label s; (ii) vertices with label f are pairwise non-adjacent. We call a verte with label s a slim verte, and a verte with label f a fat verte. We denote b V s (h) (resp. V f (h)) the set of slim (resp. fat) vertices of h. For a verte of h, we define Nh s() (resp. N f h ()) the set of slim (resp. fat) neighbors of in h. If ever slim verte of the Hoffman graph h has a fat neighbor, then we call h fat. In a similar fashion, we define N f h (, ) to be the set of common fat neighbors of two slim vertices and in h and Nh s(f, f ) to be the set of common slim neighbors of two fat vertices f and f in h. The slim graph of the Hoffman graph h is the subgraph of H induced on V s (h). A Hoffman graph h = (H, l ) is called an induced Hoffman subgraph of h = (H, l), if H is an induced subgraph of H and l () = l() holds for all vertices of H. 3

4 Let W be a subset of V s (h). An induced Hoffman subgraph of h generated b W, denoted b W h, is the Hoffman subgraph of h induced b W {f V f (h) f w for some w W }. Note that an graph can be considered as a Hoffman graph with onl slim vertices, and vice versa. We will not distinguish between Hoffman graphs with onl slim vertices and graphs. Definition.4. A Hoffman graph t = (T, l) is called tree-like if the graph T is a tree. Definition.5. Two Hoffman graphs h = (H, l) and h = (H, l ) are isomorphic if there eists an isomorphism σ : H H such that σ preserves the labeling. Definition.6. For a Hoffman graph h = (H, l), let A be the adjacenc matri of H ( ) As C A = C T O in a labeling in which the fat vertices come last. The special matri Sp(h) of h is the real smmetric matri Sp(h) := A s CC T. The eigenvalues of h are the eigenvalues of Sp(h). We denote λ min (h) the smallest eigenvalue of h. Definition.7. Let h be a Hoffman graph and let n be a positive integer. A mapping φ : V (h) R n satisfing t if = V s (h), if = V f (h), (φ(), φ()) = if and are adjacent, 0 otherwise, is called a representation of norm t, where (, ) is the standard inner product on R n. We denote b Λ(h, t) the lattice generated b {φ() V (h)}. Note that the isomorphism class of Λ(h, t) depends onl on t, and is independent of φ, justifing the notation. Definition.8. Let h be a Hoffman graph and let n be a positive integers. A mapping ψ : V s (h) R n satisfing t N f h () if =, (ψ(), ψ()) = N f h (, ) if, N f h (, ) otherwise, is called a reduced representation of norm t, where (, ) is the standard inner product on R n. We denote b Λ red (h, t) the lattice generated b {ψ() V s (h)}. Note that the isomorphism class of Λ red (h, t) depends onl on t, and is independent of ψ, justifing the notation. Lemma.9. ([7, Theorem.8]) For a Hoffman graph h, the following conditions are equivalent: (i) h has a representation of norm t; (ii) h has a reduced representation of norm t; (iii) λ min (h) t. The following lemma shows how to construct a reduced representation of norm t from a given representation of norm t. 4

5 Lemma.0. ([7, Lemma.7]) Let h be a Hoffman graph having a representation of norm t. Then h has a reduced representation of norm t, and Λ(h, t) is isomorphic to Λ red (h, t) Z V f (h) as a lattice. A Hoffman graph h is called integrall representable of norm t, if h has an integral represention φ : V (h) Z n of norm t for some n. From Lemma.0, we find that a Hoffman graph h is integrall representable of norm t is also equivalent to that h has an integral reduced representation ψ : V s (h) Z n of norm t for some n. An edge-signed graph S is a pair (S, sgn) of a graph S and a map sgn : E(S) {+, }. Let V (S) = V (S), E + (S) := sgn (+) and E (S) := sgn ( ). Each element in E + (S) (resp. E (S)) is called a (+)-edge (resp. ( )-edge) of S. We represent an edge-signed graph S also b the triple (V (S), E + (S), E (S)). For an edge-signed graph S, we define its signed adjacenc matri B(S) b if E + (S), B(S) = if E (S), 0 otherwise. A switching at verte is swapping the sign of each edge incident to. Two edge-signed graphs S and S are called switching equivalent, if there eists a subset U V (S) such that S is isomorphic to the edge-signed graph obtained from S b switching at each verte in U. Note that switching equivalence is an equivalence relation that preserves eigenvalues. Let ψ be a reduced representation of norm t of h. The special graph of h is the edge-signed graph S(h) := (V (S(h)), E + (S(h)), E (S(h))), where V (S(h)) = V s (h) and E + (S(h)) = { {, }, V s (h),, sgn(ψ(), ψ()) = + }, E (S(h)) = { {, }, V s (h),, sgn(ψ(), ψ()) = }. The special ε-graph of h is the graph S ɛ (h) = (V s (h), E ɛ (S(h))) for ɛ {+, }. Now, we introduce direct sums of Hoffman graphs. Definition.. Let h and h be two Hoffman graphs. We call a Hoffman graph h the direct sum of h and h, denoted b h = h h, if h satisfies the following condition: There eists a partition { Vs (h), Vs (h) } of V s (h) such that induced Hoffman subgraphs generated b Vs i (h) are h i for i =, and Sp(h) = { V s (h), Vs (h) } of V s (h). ( Sp(h ) 0 0 Sp(h ) ) with respect to the partition Clearl, b definition, the direct sum is associative, so that the sum r i= hi is well-defined. We can check that h is a direct sum of two non-empt Hoffman graphs if and onl if Sp(h) is a block matri with at least blocks. If h = h h for some non-empt Hoffman subgraphs h and h, then we call h decomposable. Otherwise, h is called indecomposable. The following lemma gives a combinatorial interpretation of a direct sum of two Hoffman graphs. Lemma.. Let h be a Hoffman graph and h and h be two induced Hoffman subgraphs of h. The Hoffman graph h is the direct sum of h and h if and onl if h, h, and h satisf the following conditions: (i) V (h) = V (h ) V (h ); (ii) { V s (h ), V s (h ) } is a partition of V s (h); 5

6 (iii) if V s (h i ), f V f (h) and f, then f V f (h i ); (iv) if V s (h ) and V s (h ), then and have at most one common fat neighbor, and the have one if and onl if the are adjacent. Lemma.3. ([7, Lemma 3.4]) A Hoffman graph h is indecomposable if and onl if its special graph S(h) is connected. Lemma.4. ([7, Lemma.]) Suppose Hoffman graph h is the direct sum of Hoffman graphs h and h, that is h = h h, then λ min = min{λ min (h ), λ min (h )}. For an integer t, let h (t) be the Hoffman graph with one slim verte and t fat neighbors. The proof of [7, Lemma 3.5] gives us the following lemma. Lemma.5. Let t be a positive integer. If the Hoffman graph h with λ min (h) t contains h (t) as an induced Hoffman subgraph, then λ min (h) = t and h = h (t) h for some induced Hoffman subgraph h of h. In particular, if h is indecomposable, then h = h (t). Definition.6. Let µ be a real number with µ and let h be a Hoffman graph with λ min (h) µ. Then h is called µ-saturated if no fat verte can be attached to h in such a wa that the resulting Hoffman graph has smallest eigenvalue at least µ. Definition.7. Let µ be a real number with µ and let h be a Hoffman graph with λ min (h) µ. The Hoffman graph h is said to be µ-reducible if there eists a Hoffman graph h containing h as an induced Hoffman subgraph such that there is a decomposition { h i } i= of h with λ min ( h i ) µ and V s ( h i ) V s (h) (i =, ). We sa that h is µ-irreducible if λ min (h) µ and h is not µ-reducible. A Hoffman graph h is said to be reducible if h is λ min (h)-reducible. We sa h is irreducible if h is not reducible. In particular, an irreducible Hoffman graph is indecomposable. But the converse is not true in general..4 Some results on an integrall representable Hoffman graph h of norm 3 Let the Hoffman graph h be integrall representable of norm 3 and φ : V (h) Z n be an integral representation of norm 3. From Lemma.0, we ma assume that φ is a mapping from V (h) to Z n Z V f (h), where its composition with the projection Z n Z V f (h) Z n gives an integral reduced representation ψ : V s (h) Z n. Therefore, in this paper, when a Hoffman graph h is integrall representable of norm 3, we alwas write φ() = ψ() + e f, and f N f h () ψ() = n ψ() j e j, ψ() j {0, ±}. j= B Definition.8, we have { j j {,,..., n}, ψ() j {, } } = 3 N f h (). Let and be two distinct slim vertices of h. If N f h ( ) and N f h ( ), then, from [7, Lemma 3.6], we have (ψ( ), ψ( )) {0, ±} and if N f h ( ) = or N f h ( ) =, then we have (ψ( ), ψ( )) {0, } b Definition.8. The following three results will be important for this paper. 6

7 Lemma.8. ([7, Lemma 4. and Claim 4.4]) Let h be a fat, ( 3)-saturated Hoffman graph with an integral representation ψ of norm 3 and let I = { i i {,..., n} and there eists V s (h) such that ψ() i 0 }. Then the following holds: (i) For each i I, there eist, V s (h) such that ψ( ) i = ψ( ) i =. (ii) If there eists, V s (h) and i I such that ψ( ) i = ψ( ) i =, then and have distance at most in S (h). Lemma.9. [8] Let h be an indecomposable Hoffman graph with an integral representation of norm 3, then there eists a Hoffman graph h satisfing the following properties: (i) h is fat, ( 3)-saturated and integrall representable of norm 3; (ii) h has h as an induced Hoffman subgraph; (iii) h has the same slim graph as h. Theorem.0. ([7, Theorem 3.7 and Theorem 4.9]) Let h be a fat and indecomposable Hoffman graph with λ min (h) 3. Then the following holds: (i) If h is ( 3)-saturated and integrall representable of norm 3, then its special ( )-graph S (h) is isomorphic to A m, D m, Ãm or D m, where m = V s (h). (ii) If h contains a slim verte with at least two fat neighbors, then h is integrall representable of norm 3. 3 Tree-like Hoffman graphs 3. Stripped Hoffman graphs Let t and t be two tree-like Hoffman graphs, then the Hoffman graph t := t t is not treelike. So, in order to construct tree-like Hoffman graphs from smaller ones, we need to remove some fat vertices from the direct sum. This leads us to the definition of the stripped Hoffman graph. Let H = {h i i =,..., r} be a finite famil of Hoffman graphs. We define the stripped Hoffman graph h s (H) b h s (H) = r i=h i i<j V f (h i ) V f (h j ). Lemma 3.. Let H = {h i i =,..., r} be a famil of connected Hoffman graphs. Then the Hoffman graph h s (H) = h s (h,..., h r ) is tree-like if and onl if the following conditions are satisfied: (i) h s (H) is connected; (ii) h i is tree-like for i =,..., r; (iii) V f (h i ) V f (h j ) for an i j; (iv) V f (h i ) V f (h i ) V f (h i3 ) = for all i < i < i 3 r; (v) if a fat verte f V f (h i ) V f (h j ) where i j, then f is a leaf for at lest one of them. Proof. It is straightforward to check that the conditions (i)-(v) are sufficient and necessar to ensure that h s (H) is tree-like. 7

8 Remark 3.. (i) A tree-like Hoffman graph is indecomposable. (ii) Let H = {h i i =,..., r} be a famil of Hoffman graphs. If V f (h i ) V f (h i ) V f (h r ) = for all i < i r, then h s (h,..., h r ) = h s (h s (h,..., h r ), h r ). (iii) If a tree-like Hoffman graph t is an induced Hoffman subgraph of the Hoffman graph h h where V s (h h ) = V s (t), then t is an induced Hoffman subgraph of h s (h, h ). 3. Some results on tree-like Hoffman graphs In this subsection, we will give several results about tree-like Hoffman graphs with smallest eigenvalue at least 3. Proposition 3.3. Let t = (T, l) be a tree-like Hoffman graph with λ min (t) 3. Then the special graph of t is an edge-signed tree or t = Proof. Note that the Hoffman graph proper induced Hoffman subgraph of t, then t contains subgraph, because t is tree-like. But λ min (. is ( 3)-saturated (see [8, Table ]). So, if or ) < 3 and λ min ( is a as an induced Hoffman ) < 3. This shows that if t =, then ever fat verte of t has at most two slim neighbors (which are not adjacent in t). Now the special graph of t is obtained b replacing b, and removing the fat leaves of t. This shows the statement. Lemma 3.4. Let T = (T, sgn) be an edge-signed tree. Then (T, sgn) is switching equivalent to (T, ). Therefore, for the signed adjacenc matri B(T ) of T, there eists a real diagonal matri D such that DB(T )D 0, where D = D. Proof. This follows b an eas induction on the number of vertices. Lemma 3.5. Let t = (T, l) be a tree-like Hoffman graph with λ min (t) 3. Then the following holds: (i) There eists a real diagonal matri D such that DSp(t)D 0, where Sp(t) is the special matri of t and D = D. (ii) The multiplicit of λ min (t) is equal to. Proof. If t =, Sp(t) =. If t, its special graph S(t) is an edge-signed tree (T, sgn) and for its special matri Sp(t), there eists a real diagonal matri D such that DSp(t)D 0 where D = D b Lemma 3.4, as each off-diagonal entr of Sp(t) has the same sign of the corresponding entr of the sign adjacenc matri of (T, sgn). Hence (i) holds. Since Sp(t) is similar to a non-negative irreducible matri, (ii) follows b Theorem. (ii). Proposition 3.6. Let t = (T, l ) and t = (T, l ) be tree-like Hoffman graphs with λ min (t ), λ min (t ) 3. Assume that the Hoffman graph t = h s (t, t ) is tree-like. Then one of the following holds: (i) (λ min (t ) λ min (t))(λ min (t ) λ min (t)) < 0; (ii) λ min (t ) = λ min (t ) = λ min (t). 8

9 Proof. Suppose V s (t ) = {,..., p } and V s (t ) = {,..., q }. As t is a tree-like Hoffman graph, we ma assume, b Lemma 3., that V f (t ) V f (t ) = {f} = and the fat verte f is a leaf of t with Vt s (f) = { p } and Vt s (f) = {,..., q }. Since t and t are tree-like Hoffman graphs, there eist real diagonal matrices D and D such that D = D, D = D, D Sp(t )D 0 and D Sp(t )D 0 all hold. For i =,, let S i = Di Sp(t i )D i and λ i = λ ma ( S i ) = λ min (t i ). B Theorem., there eist vectors u and v such that u, v > 0, S u = λ u and S v = λ v. We ma also assume u p = q ( i= v i. Let Sp(t) = S S S S ), where S = Sp(t) Vs(t ), S = Sp(t) Vs(t ), and S = S T = ( ) ( ) ( ) ( ) ( ) 0 0. Then D D Sp(t) D D 0 or D D Sp(t) D D 0. Without loss of generalit, we ma assume that we are in the first case. Let S ( ) ( ) = D D Sp(t) D D and λ 0 = λ ma ( S) = λ min (t). Then we have S ( ) ( ) u v = λ u λ v. First, we assume λ λ. Then ( λ uv ) ( S uv ) ( ) = λ ( u λ v λ uv ). This implies λ λ 0 λ b Theorem.. Moreover, if λ 0 = λ or λ 0 = λ, then ( u v ) is an eigenvector of S for λ0 and λ = λ = λ 0. The case λ λ follows in a similar fashion. This completes the proof. In general, we have the following proposition from Proposition 3.6. Proposition 3.7. Let T = {t i i =,..., r} be a famil of tree-like Hoffman graphs with λ min (t i ) 3 for i =,..., r. Assume that the Hoffman graph t = h s (T) = h s (t,..., t r ) is tree-like. Then the following holds: (i) min{λ min (t i ) i =,..., r} λ min (t) ma{λ min (t i ) i =,..., r}; (ii) λ min (t) = 3 if and onl if λ min (t i ) = 3 for all i {,, r}. Proposition 3.8. Let t be a tree-like Hoffman graph with all internal vertices having valenc 3 and all its leaves fat. Then t = h s (t,..., t m ), where m = V s (t) and t i is isomorphic to for i =,..., m. Moreover, t is integrall representable of norm 3 and λ min (t) = 3. Proof. We proceed b induction on the number of slim vertices of t. The base case m = is trivial. Suppose m. Note that all its internal vertices are slim and there eists a slim verte having onl one slim neighbor. Now attach a fat verte to be eactl the fat neighbor of and. Then the resulting Hoffman graph h = h h and t = h s (h, h ), where h is the tree-like Hoffman graph satisfing the condition of this proposition and h is isomorphic to with the slim verte. B the induction hpothesis, we have h = h s (t,..., t m ). Hence t = h s (h s (t,..., t m ), h ) = h s (t,..., t m ) b Remark 3. (ii). Considering that the Hoffman graph holds. is integrall representable of norm 3 with smallest eigenvalue 3, the proposition Using Proposition 3.8, we obtain the following result. Proposition 3.9. Let t be a tree-like Hoffman graph with all internal vertices have valenc at most 3 and an fat verte is a leaf. Then t is an induced Hoffman subgraph of a tree-like Hoffman graph t = h s (t,..., t m ), where m = V s (t) = V s ( t) and t i is isomorphic to for i =,..., m. In particular, t is integrall representable of norm 3. 9

10 3.3 A famil of ( 3)-irreducible tree-like Hoffman graphs In this subsection, we will introduce an infinite famil F of tree-like Hoffman graphs, which are integrall representable of norm 3. In Section 4, we will use the tree-like Hoffman graphs in this famil to construct the integrall representable tree-like Hoffman graphs of norm 3. Definition 3.0. Let m be a positive integer. We define c m to be the tree-like Hoffman graph with slim verte set V s (c m ) and fat verte set V f (c m ) as follows: V s (c m ) = {,,..., m }, V f (c m ) = {f, f,, f m }, where the adjacenc relation is i i+, i =,,..., m, f, f,, f,, f m m. Note that c is the tree-like Hoffman graph and c 3 is the tree-like Hoffman graph. Definition 3.. We define the famil F of tree-like Hoffman graphs as the union of the families F and C, where F = {,, } and C = {c i i =, 3,...}. In Lemma 3., we will show that the tree-like Hoffman graphs in F are ( 3)-irreducible. Note that, b Definition.7, if a Hoffman graph h is ( 3)-reducible, then there eists a wa to attach fat vertices to h such that the obtained Hoffman graph h is decomposable and satisfies λ min ( h) 3. Lemma 3.. Let t be a tree-like Hoffman graph in F. Then λ min (t) = 3. Moreover, t is ( 3)-irreducible and integrall representable of norm 3. Proof. If t F, the result is obvious. Now we assume that t = c m C. First, we prove that λ min (c m ) = 3. It is eas to obtain that λ min (c ) = 3. If m 3, define the reduced representation ψ cm of c m of norm 3 as follows: ψ cm ( ) = e, ψ cm ( ) = e + e, ψ cm ( i ) = e i + ( ) i e i + e i, i = 3,..., m, ψ cm ( m ) = e m + ( ) m e m. This shows that c m is integrall representable of norm 3. Let N be the matri whose th i column is equal to ψ cm ( i ), for i =,..., m. Then Sp(c m ) + 3I = N T N and λ min (c m ) 3. Note that N is an (m ) m matri. This implies that the rank of the matri Sp(c m ) + 3I is at most m and 3 is an eigenvalue of c m. Hence λ min (c m ) = 3. Now we show that c m is ( 3)-irreducible. Suppose this is not the case. Let c m be the decomposable Hoffman graph with λ min ( c m ) 3, which is obtained b attaching smallest number of fat vertices to c m. Let c m, be the indecomposable factor of c m with V s ( c m, ). Note that there is no fat verte f V f ( c m, ) V f (c m ) such that f N f c m, ( i, j ) with i j = ( mod ), where i, j V s ( c m, ). Let m = min{i i has a fat neighbor in the set V f ( c m, ) V f (c m )}. It is eas to check that m < m. Then c m, has the tree-like Hoffman graph c m ( m +), which is obtained b attaching slim verte m + to c m as a slim neighbor of the verte m, as an induced Hoffman subgraph. B Lemma 3.5 (i) and Theorem. (v), we have that λ min (c m ) = 3 > λ min (c m ( m +)). Hence 3 > λ min (c m ( m +)) λ min ( c m, ) λ min ( c m ) = 3. This gives a contradiction and the lemma holds. Remark 3.3. The tree-like Hoffman graph c m has a unique integral representation of norm 3, up to isomorphism. 0

11 4 Integrall representable tree-like Hoffman graphs In this section, we will stud integrall representable tree-like Hoffman graphs of norm 3 and in Corollar 4.9, we will show that each of them is a stripped Hoffman graph of a finite famil of tree-like Hoffman graphs. Now we start with the following lemma. Lemma 4.. Let t be an integrall representable tree-like Hoffman graph of norm 3. Then there eists a famil of tree-like Hoffman graphs T = {t,..., t r(t) } such that t is an induced Hoffman subgraph of the Hoffman graph r(t) i= t i, where (i) t i is integrall representable of norm 3; (ii) each Hoffman graph h i that is integrall representable of norm 3 and contains t i as an induced Hoffman subgraph with V s (h i ) = V s (t i ) is indecomposable; (iii) the Hoffman graph r(t) i= t i has the same slim graph as t. Proof. The proof is given b induction on the number m of slim vertices of t. If m =, the result is obviousl true. So we ma assume that m and there eists a decomposable and integrall representable Hoffman graph g of norm 3, that contains t as an induced Hoffman subgraph with V s (g) = V s (t), as otherwise T = {t}. Suppose g = r i= g i, where g i is the indecomposable factor of g for i =,..., r with r. Note that for each i, the slim graph of g i is a tree or forest. Let g i be the induced subgraph of g i, where V s (g i ) = V s(g i ) and V f (g i ) = {f V f (g i ) f V f (t) or there eists j i such that f V f (g j )}. As a consequence, g i is a disjoint union of treelike Hoffman graphs, that is g i = r i j= t i,j = r i j= t i,j, where t i,j is an integrall representable tree-like Hoffman graph of norm 3. B the induction hpothesis, we have that t i,j is an induced Hoffman subgraph of the Hoffman graph r(t i,j) k= t i,j,k, where r(t i,j) k= t i,j,k has the same slim graph as t i,j and t i,j,k satisfies (i) and (ii). Hence t is an induced Hoffman subgraph of Hoffman graph r i= r i j= r(t i,j) k= t i,j,k, which satisfies (i)-(iii) and this completes the proof. For the proof of the net theorem, we need to introduce the definition of the weighted graph. A weighted graph is a pair (G, w) of a graph G and a weight function w : V (G) Z 0. The weighted special ( )-graph of a Hoffman graph h is the weighted graph (S (h), w), where w() := {f : f is a fat neighbor of in h}. Theorem 4.. Let T be the famil of non-isomorphic tree-like Hoffman graphs t which satisf the following properties: (i) t is integrall representable of norm 3; (ii) each Hoffman graph h that is integrall representable of norm 3 and contains t as an induced Hoffman subgraph with V s (h) = V s (t) is indecomposable. Then the maimal tree-like Hoffman graphs in T are isomorphic to one of the Hoffman graphs in F. Proof. Let t be a maimal tree-like Hoffman graph in T. Lemma.9 shows that there eists a fat, ( 3)-saturated and integrall representable Hoffman graph h of norm 3, whic is obtained b attaching fat vertices to t. The assumption of the theorem implies that h is indecomposable. Let the graph T be the slim graph of h and V s (h) = V s (t) = V s (T ) = {,..., m } = m. Note that T is a tree or forest. If m 3, then Koolen et al. [8] showed that h is one of the Hoffman graphs in Figure.

12 f z z f z z z f3 f 3 f f4 z f3 z f f f f f z z f z f z f f3 4 f f f3 z 3 f3 z z f f z f z f f 3 f3 4 f f3 f z f z f3 3 f f4 f3 f f f f h h h 3 h 4 h 5 h 6 h 7 h 8 Claim 4.4. Suppose that the path P = is an induced subgraph of S (h) with w( ) = Figure Since the tree-like Hoffman graph t is an induced Hoffman subgraph of h i for some i {,..., 8}, it is eas to check that t is eactl isomorphic to one of the Hoffman graphs,,,, and the theorem holds. Now we consider the case m 4. We will proceed with a sequence of claims, which we will use later in the proof. Denote b S (h) (resp. (S (h), w)) the special ( )-graph (resp. weighted special ( )-graph) of h. Denote b φ (resp. ψ) an integral representation (resp. reduced representation) of h of norm 3. If there eists a verte i such that w( i ) = 3 in (S (h), w), then h is isomorphic to the Hoffman graph b Lemma.5 with m =. Hence we have w( i ) {, } for an verte i of S (h). Claim 4.3. Suppose that and are two distinct slim vertices of h, then N f h (, ). (Proof of Claim 4.3). If N f h (, ), then (ψ( ), ψ( )) = and in h for (ψ( ), ψ( )) {0, ±}. From [8], we find that h is eactl the Hoffman graph and this contradicts the condition m i j w( ) =. Then one of and is a leaf of S (h). Moreover, if there eists a verte 3 adjacent to in S (h), then 3 in h. f f4 ff3 f4 f3f f4 f3 (Proof of Claim 4.4). B [8], if neither nor is a leaf of S (h), then h is one of the Hoffman graphs, and. As the slim graph T of h has no ccle, h is not the Hoffman graph. If h is the Hoffman graph, then the tree-like Hoffman graph t is eactl the Hoffman graph. It is eas to see that t is an induced subgraph of g = and g is f f f f f f f f f f f f integrall representable of norm 3 and decomposable. This contradicts the assumption of the theorem. If h is the Hoffman graph, then t is eactl the Hoffman graph and this gives a contradiction to the assumption of the theorem again b Proposition 3.9. Without loss of generalit, we ma define ψ( ) = e and ψ( ) = e, it is eas to see that if 3 is adjacent to in S (h), then (ψ( 3 ), e ) = and 3 in h. Claim 4.5. Suppose that the path P = p is an induced subgraph of S (h) with w( i ) = for i =, 3,..., p. Then the graph P, the complement of P, is an induced subgraph of T. Hence P has no ccle and p 4. In particular, if p = 3 or 4, then p in h. (Proof of Claim 4.5). This follows b the fact that the unique fat neighbor of is the fat neighbor of all the other i s.

13 f z z f z z z f3 f z z f f z z z z f Claim 4.6. Suppose that the path P = 3 is an induced subgraph of S (h) with w( ) = w( 3 ) = and w( ) =. Then N f h (, 3 ) =. (Proof of Claim 4.6). Otherwise, N f h (, 3 ) = and (ψ( ), ψ( 3 )) 0. As 3 in S (h), we have (ψ( ), ψ( 3 )) = 0 and 3 in h. Now we ma define ψ( ) = e + e, ψ( ) = e, ψ( 3 ) = e +e, and φ( ) = e +e +e f, φ( ) = e +e f +e f, φ( 3 ) = e +e +e f. If there eists a verte i adjacent to or 3 in S (h) where i, then N f h ( i, j ) = {f } and (ψ( i ), ψ( j )) 0 for j =,, 3. This is not possible. Hence there eists a verte k adjacent to in S (h) as S (h) is connected b Theorem.0 (i) and V s (h) = m 4. But we have k and k 3 in S (h), since S (h) is isomorphic to A m, Ã m, D m or D m. Hence (ψ( k ), ψ( )) < 0, (ψ( k ), ψ( )) 0 and (ψ( k ), ψ( 3 )) 0. It is eas to check that (ψ( k ), ψ( )) = 0 or (ψ( k ), ψ( 3 )) = 0 is not possible. Hence (ψ( k ), ψ( )) > 0 and (ψ( k ), ψ( 3 )) > 0 and this implies that k and k 3 in h and 3 k is a ccle of T. This gives a contradiction. Claim 4.7. Suppose the path P = 3 is an induced subgraph of S (h) with w( ) = w( 3 ) = and w( ) =. Then one of the following holds: (a) 3 in h; (b) or 3 is a leaf of S (h). (Proof of Claim 4.6). Suppose this is not the case. Then 3 in h. We also have 3 in S (h). So (ψ( ), ψ( 3 )) = 0 and we ma define ψ( ) = e + e, ψ( ) = e, ψ( 3 ) = e + e. From Claim 4.6, we find N f h (, 3 ) =. Hence without loss of generalit, define φ( ) = e + e + e f, φ( ) = e + e f + e f, φ( 3 ) = e + e + e f. As neither nor 3 is a leaf of S (h), there eists a verte i i in S (h) for i =, 3. It follows that (φ( ), e + e f ) = and (φ( 3 ), e + e f ) =. From Lemma.8 (ii), the vertices and 3 have distance at most in S (h). If there eists a verte 4 adjacent to and 3 in S (h), then w( 4 ) = as otherwise 3 b Claim 4.5 and 3 is a ccle in T. But, if w( 4) =, we can not find ψ( 4 ) satisfing (ψ( 4 ), ψ( )) = and (ψ( 4), ψ( 3 )) =, as (ψ( ), e ) =, (ψ( 3 ), e ) = and (ψ( ), ψ( 3 )) 0. Hence 3 in S (h) and V s (h) = {,, 3,, 3 }. If w( ) in (S (h), w), then 3 ψ( ) = e ± e q for some q 3 and (ψ( 3 ), e q) = 0. Now we can not find V s (h) such that ψ() q = ψ( ) 4 q. This contracts Lemma.8 (i). So w( ) =. Similarl, w( 3 ) =. Then b Claim 4.4, we obtain a contradiction. Claim 4.8. The graph can not be an induced subgraph of S (h). (Proof of Claim 4.8). Assume From [8], we obtain thatall leaves 4 adjacent to in S (h) have weight, otherwise h is one of 4 is an induced subgraph of S (h) with and 3 as leaves. the Hoffman graphs and and this is not possible as their slim graphs have a ccle. If w( ) =, then 3 4 is a ccle in T b Claim 4.5. Hence w( ) =. If w( 4 ) =, then 4 is a leaf in h b Claim 4.4 and this is also not possible. So w( 4 ) =. Then for, and 4, there must be vertices share one common 3 fat neighbor as w( ) = and it contradicts Claim 4.6. Claim 4.8 and Theorem.0 impl that the special ( )-graph S (h) is isomorphic to either A m or Ãm. Let us first consider that S (h) = Ãm, that is, S (h) is the ccle m. For the path P = i i i+ (where i mod m) of S (h), we have (w( i ), w( i ), w( i+ )) {(,, ), (,, ), (,, ), (,, ), (,, )}. B using Claim 4.5 and Claim 4.7, we have i 3

14 i+ in h for all i {,,..., m}. If m is even, then 3 m is a ccle of T ; if m is odd, then 3 m 4 m is a ccle of T. This shows that S (h) = Ã m. Hence S (h) = A m and assume S (h) = m with m 4. B using Claim 4.5 and Claim 4.7 again, we find that there eists two paths P and P in the graph T, where P = 3 5 m, P = 4 m. As T contains no ccle, both paths P and P are eactl the induced subgraphs of T. Moreover, there eists at most one edge between P and P in the graph T. Note that if there is a weighted path (P, w P ) in (S (h), w), where P = i+ i+ i+3 i+4 with w( i+ ) = w( i+4 ) = and i+ i+3 i+4 w( i+ ) = w( i+3 ) =, then i+ is an induced subgraph of T b Claim 4.5. This implies that there is at most one weighted path isomorphic to (P, w P ) in (S (h), w). Now we focus on the possibilities for the tree-like Hoffman graph t. Note that for help of understanding, the numbers in the Hoffman graphs in Figure 3 and Figure 4 denote the number of its fat neighbors in the Hoffman graph h. (i) w( ) = or w( m ) = in (S (h), w). Suppose w( ) =, b [8], we find w( ) = and w( 3 ) =. Without loss of generalit, we ma 3 define ψ( ) = e + e, ψ( ) = e, ψ( 3 ) = e + e b Lemma.8 and φ( ) = e + e + e f, φ( ) = e + e f + e f, φ( 3 ) = e + e + e f b Claim 4.6. If w( 4 ) =, then ψ( 4 ) = e and φ( 4 ) = e + e f + e fi for some i > 3. Now it is eas to check that there is no another verte adjacent to 4 in S (h) and V s (h) = {,, 3, 4 }. The Hoffman graph t is the Hoffman graph t, in Figure 3 and this is not possible. 3 If w( 4 ) =, then w( 5 ) = b Claim 4.5. This alsoimplies that w( m ) =, as otherwise we find two weighted paths isomorphic to (P, w P ) in (S (h), w). If w( m ) =, the Hoffman graph t is the Hoffman 4 graph t, in Figure 3; if 4 w( 6 m 3 m ) =, m the Hoffman graph t is the Hoffman graph t,3 in Figure m m m m 3 5 m 3 m m 3 m m 4 m m 3 t, 5 m 3 m 5 t, m 3 m t, m 3 m m 4 m Figure 3 m condition (ii) of Theorem m 3 m to (P, w 4 P ) in 6 (S m 4 (h), m w), m then t is the tree-like Hoffman graph such that all its internal vertices have valenc at most 3 and all fat vertices are leaves. B using Proposition 3.9 B using Proposition 3.9, we find that neither t = t, nor t = t,3, since t satisfies the (ii) w( ) = w( m ) =. If w( ) = w( m ) = or there is a weighted path isomorphic again, we find that this is also not possible. Now we have w( ) = or w( m ) = and there is no weighted path isomorphic to (P, w P ) in (S (h), w). Without loss of generalit, we ma assume w( ) =. Then t is one of the following in Figure 4 and t is isomorphic to c m. 4

15 4 m m 4 m m 3 5 m 4 m 3 m m 3 5 m 4 m m 3 5 m 4 m m 3 5 m 4 m 3 m m 3 5 m 4 m 3 m m 3 5 m t, 4 m m 3 t, 5 4 m m 3 Figure 4 m m 3 t,3 5 m 4 m 3 m m 3 5 Thiscompletes the proof. m 4 m 3 m 3 i+ i+ i+4 m m i+5 m 3 i+ i+ Corollar 4.0. Let T be an integrall representable tree of norm 3 with spectral radius 3. i+4 m m i+5 m Corollar 4.9. Let t be an integrall representable tree-like Hoffman graph of norm 3 with m i+3 λ i+3 min (t) = 3, then t = h s (t,..., t r(t) ), where t i is isomorphic to one of the Hoffman graphs in F, for i =,..., r(t). 3 i+ i+4 m 3 m 3 i+ i+4 m 3 m Moreover, if t is an integrall representable tree-like Hoffman graph of norm 3, then t is an induced Hoffman subgraph of an integrall representable tree-like Hoffman graph t of norm 3 i+ i+3 i+5 m m i+ i+3 i+5 m m with λ min ( t) = 3 and V s ( t) = V s (t). Proof. Proposition 3.7, Lemma 4. and Theorem 4. show the result immediatel. Then T = h s (t,..., t r(t ) ), where t i is isomorphic to one of the Hoffman graphs in F, for i =,..., r(t ). Moreover, if T is an integrall representable tree of norm 3, then T is an induced subgraph of an integrall representable tree of norm 3 with spectral radius 3. Proof. Let T be an integral representable tree of norm 3. If λ min (T ) = 3, the result is obtained straightforward from Corollar 4.9. If λ min (T ) > 3, then T is an induced subgraph of h s (t,..., t r ), where h s (t,..., t r ) has T as slim graph and t i is isomorphic to one of the Hoffman graphs in F, for i =,..., r. Note that each fat verte of h s (t,..., t r ) is a leaf. Assume V f (h s (t,..., t r )) = {f,..., f p } and define the Hoffman graph h s (t,..., t r, t,..., t p), where t i is isomorphic to with the fat verte f i. Then h s (t,..., t r, t,..., t p) with smallest eigenvalue 3 has no fat vertices and has T as an induced subgraph. This completes the proof. 5 Seedlings In this section, we introduce and discuss seedlings. The generalize the tree-like Hoffman graphs. Definition 5.. Let µ be a positive real number. A tree-like Hoffman graph t with λ min (t) µ is called a µ-seedling if the following conditions are satisfied: (i) t is ( µ)-irreducible; (ii) t is not a proper induced Hoffman subgraph of an ( µ)-irreducible tree-like Hoffman graph. The onl -seedling is and the -seedlings are,, Ẽ6, Ẽ7 and Ẽ8. We think that it is important to classif the 3-seedlings. This would help us to better understand integral lattices generated b norm 3 vectors. For 3-seedlings, we have the following results. Lemma 5.. Let t be a ( 3)-irreducible tree-like Hoffman graph with λ min (t) = 3. Then t is a 3-seedling. 5

16 Proof. This follows from Lemma 3.5 (i) and Theorem. (v) directl. Remark 5.3. Each of the Hoffman graphs in F is a 3-seedling b Lemma 5. and Lemma 3.. It follows, b Corollar 4.9, that the are the onl integrall representable 3-seedlings of norm 3. Note that if ou add a fat verte to each of the slim vertices of a µ-seedling, ou obtain a (µ + )-seedling. This means that other 3-seedlings, like and. In Theorem 5.5 below, we give a classification of the fat 3-seedlings.,, are also 3-seedlings. There are Proposition 5.4. For each edge-signed graph (Ẽi, sgn) with no two ( )-edges incident, there eists a unique fat 3-seedling having (Ẽi, sgn) as its special graph, where i = 6, 7, 8. Proof. Let (Ẽi, sgn) be an edge-signed graph with no two ( )-edges incident. If a fat 3-seedling having (Ẽi, sgn) as its special graph, then it is not integrall representable of norm 3 b Remark 5.3 and ever slim verte has eactl one fat neighbor b Theorem.0 (ii). Now we define a tree-like Hoffman graph t, which is obtained b replacing b and attaching a fat verte to each verte not incident to ( )-edge. Clearl, the special graph of t is (Ẽi, sgn). We claim that t is ( 3)-irreducible, as otherwise t is an induced Hoffman subgraph of h with λ min (h) 3, which is obtained b attaching fat vertices to t and is integrall representable of norm 3 b Theorem.0 (ii). This is not possible as t is not integrall representable of norm 3. We also have λ min (t) = 3, since Sp(t) is similar to I A(E i ), where A(E i ) is the adjacenc matri of E i b Lemma 3.5 (i). Lemma 5. shows that t is a 3-seedling. So we have shown the eistence. The uniqueness is obvious and this completes the proof. Theorem 5.5. Let t be a fat 3-seedling. Then one of the following holds: (i) t is isomorphic to one of these five Hoffman graphs,,,,. (ii) Its special graph S(t) is switching equivalent to Ẽ6, Ẽ7 or Ẽ8 and has no two ( )-edges incident. Proof. We ma assume that t is not integrall representable of norm 3, as otherwise we are in case (i) b Remark 5.3. B Theorem.0 (ii), we find that each slim verte of t has eactl one fat neighbor. Let S(t) = (G, sgn) be its special graph. Clearl, there is no two ( )-edges incident in S(t), as otherwise t is the Hoffman graph (t is tree-like with λ min (t) 3 and N f t () = for all V s(t)) and this is not possible. Now we focus on G. Lemma.3 shows that G is connected. From Lemma 3.5 (i), we know that there eists a diagonal matri D such that DSp(t)D = I A(G), where Sp(t) is the special matri of t, A(G) is the adjacent matri of G, and D {, } for all V s (t). This implies λ ma (G) = λ min (t) and G is not integrall representable of norm (as t is not integral representable of norm 3). Hence G is an induced subgraph of Ẽi for some i {6, 7, 8}, b Smith s Theorem, as mentioned in the introduction. Definition 5. (ii) and Proposition 5.4 show that G is eactl Ẽi for some i {6, 7, 8}. This completes the proof. Remark 5.6. There are 7 fat 3-seedlings with its special graph switching equivalent to Ẽ6; 8 fat 3-seedlings with its special graph switching equivalent to Ẽ7; 50 fat 3-seedlings with its special graph switching equivalent to Ẽ8. We would like to conclude this paper with the following problems: 6

17 Problem. Classif the 3-seedlings. A subproblem of Problem is the following problem. Problem. Classif the 3-seedlings t such that there eists a reduced representation ψ : V s (t) R n of norm 3 for some n, satisfing ψ() Z n for all V s (t). References [] A.E. Brouwer, A.M. Cohen, A. Neumaier, Distance-Regular Graphs, Springer-Verlag, Berlin, 989. [] P.J. Cameron, J.M. Goethals, J.J. Seidel and E.E. Shult, Line graphs, root sstems and elliptic geometr, J. Algebra 43 (976), [3] J. H. Conwa, N. J. A. Sloane, Comple and integral laminated lattices, Trans. Amer. Math. Soc. 80 (983), [4] D. Cvetković, P. Rowlinson and S. K. Simić, Spectral Generalizations of Line Graphs On Graphs with Least Eigenvalue, Cambridge Univ. Press, Cambridge, 004. [5] W.H. Haemers, Interlacing eigenvalues and graphs, Linear Algebra Appl. 6 8 (995), [6] A.J. Hoffman, On graphs whose least eigenvalue eceeds, Linear Algebra Appl. 6 (977), [7] H.J. Jang, J. Koolen, A. Munemasa and T. Taniguchi, On fat Hoffman graphs with smallest eigenvalue at least 3, Ars Math. Contemp. 7 (04), 05. [8] J.H. Koolen, Y.-R. Li and Q. Yang, On fat Hoffman graphs with smallest eigenvalue at least 3-II, in preparation. [9] A. Neumaier, On Norm Three Vectors in Integral Euclidean Lattices. I, Math. Z. 83 (983), [0] W. Plesken, M. Pohst, Constructing integral lattices with prescribed minimum. I. Math. Comp. 45 (985), 09. [] W. Plesken, M. Pohst, Constructing integral lattices with prescribed minimum. II, Math. Comp. 60 (993), [] R. Scharlau, B. Hemkemeier, Classification of integral lattices with large class number, Math. Comp. 67 (998), [3] J. H. Smith, Some properties of the spectrum of a graph, pp in: Combinatorial Structures and their Applications (Proc. Conf. Calgar 969) (R. Gu et al., eds.), Gordon and Breach, New York, 970. [4] R. Woo and A. Neumaier, On graphs whose smallest eigenvalue is at least, Linear Algebra Appl. 6 8 (995),

18 Address: a) Wen-Tsun Wu Ke Laborator of CAS, School of Mathematical Sciences, Universit of Science and Technolog of China, Hefei, Anhui, 3006, P.R. China b) School of Mathematical Sciences, Universit of Science and Technolog of China, Hefei, Anhui, 3006, P.R. China b) School of Mathematical Sciences, Universit of Science and Technolog of China, Hefei, Anhui, 3006, P.R. China Address: (J. H. Koolen) (M. U. Rehman) (Q. Yang) 8