On fat Hoffman graphs with smallest eigenvalue at least 3

Similar documents
arxiv: v1 [math.co] 21 Dec 2016

On graphs with smallest eigenvalue at least 3 and their lattices

Fat Hoffman graphs with smallest eigenvalue greater than 3

Line Graphs Eigenvalues and Root Systems

Linear Algebra and its Applications

Applying block intersection polynomials to study graphs and designs

Butson-Hadamard matrices in association schemes of class 6 on Galois rings of characteristic 4

Butson-Hadamard matrices in association schemes of class 6 on Galois rings of characteristic 4

Graphs With Many Valencies and Few Eigenvalues

MATH 829: Introduction to Data Mining and Analysis Graphical Models I

Oriented covers of the triangular graphs

On non-bipartite distance-regular graphs with valency k and smallest eigenvalue not larger than k/2

The Terwilliger algebra of a Q-polynomial distance-regular graph with respect to a set of vertices

Strongly regular graphs and Borsuk s conjecture

Relation between Graphs

Eigenvalues and edge-connectivity of regular graphs

Discrete Mathematics

Extension of Strongly Regular Graphs

Applicable Analysis and Discrete Mathematics available online at GRAPHS WITH TWO MAIN AND TWO PLAIN EIGENVALUES

MAP Examples. Sargur Srihari

Spectral Characterization of Generalized Cocktail-Party Graphs

SKEW-SPECTRA AND SKEW ENERGY OF VARIOUS PRODUCTS OF GRAPHS. Communicated by Ivan Gutman

Uniform Star-factors of Graphs with Girth Three

Root systems and optimal block designs

Complex Hadamard matrices and 3-class association schemes

HOMEWORK #2 - MATH 3260

Algebraically defined graphs and generalized quadrangles

Tilburg University. Strongly Regular Graphs with Maximal Energy Haemers, W. H. Publication date: Link to publication

Root systems. S. Viswanath

Equiangular lines in Euclidean spaces

Bipartite graphs with at most six non-zero eigenvalues

The Signless Laplacian Spectral Radius of Graphs with Given Degree Sequences. Dedicated to professor Tian Feng on the occasion of his 70 birthday

Strongly regular graphs and Borsuk s conjecture

Graph fundamentals. Matrices associated with a graph

Proof of a Conjecture on Monomial Graphs

LOWER BOUNDARY HYPERPLANES OF THE CANONICAL LEFT CELLS IN THE AFFINE WEYL GROUP W a (Ãn 1) Jian-yi Shi

The query register and working memory together form the accessible memory, denoted H A. Thus the state of the algorithm is described by a vector

Ma/CS 6b Class 23: Eigenvalues in Regular Graphs

CS281A/Stat241A Lecture 19

Using Laplacian Eigenvalues and Eigenvectors in the Analysis of Frequency Assignment Problems

Introduction to Association Schemes

Recall: Matchings. Examples. K n,m, K n, Petersen graph, Q k ; graphs without perfect matching

arxiv: v2 [math.co] 24 Mar 2011

QUIVERS AND LATTICES.

On the Dynamic Chromatic Number of Graphs

Intriguing sets of vertices of regular graphs

Every SOMA(n 2, n) is Trojan

On star forest ascending subgraph decomposition

A lower bound for the Laplacian eigenvalues of a graph proof of a conjecture by Guo

Combinatorics 3: Finite geometry and strongly regular graphs

Real symmetric matrices/1. 1 Eigenvalues and eigenvectors

arxiv: v2 [math.co] 4 Sep 2009

On a lower bound on the Laplacian eigenvalues of a graph

Homomorphism Testing

Markov chains, graph spectra, and some static/dynamic scaling limits

3-Class Association Schemes and Hadamard Matrices of a Certain Block Form

Notes on Freiman s Theorem

New feasibility conditions for directed strongly regular graphs

Dominating a family of graphs with small connected subgraphs

1.10 Matrix Representation of Graphs

ON DOMINATING THE CARTESIAN PRODUCT OF A GRAPH AND K 2. Bert L. Hartnell

Zero sum partition of Abelian groups into sets of the same order and its applications

A note on the Isomorphism Problem for Monomial Digraphs

A manifestation of the Grothendieck-Teichmueller group in geometry

ON THE NUMBERS OF CUT-VERTICES AND END-BLOCKS IN 4-REGULAR GRAPHS

arxiv: v4 [math.gr] 17 Jun 2015

Extremal Graphs Having No Stable Cutsets

The Hierarchical Product of Graphs

Vertex subsets with minimal width and dual width

A new upper bound on the clique number of a strongly regular graph

Functional Analysis HW #1

THE DISTINGUISHING NUMBER OF THE ITERATED LINE GRAPH. 1. Introduction

On zero sum-partition of Abelian groups into three sets and group distance magic labeling

A lower bound for the spectral radius of graphs with fixed diameter

Distinguishing infinite graphs

Learning from Sensor Data: Set II. Behnaam Aazhang J.S. Abercombie Professor Electrical and Computer Engineering Rice University

New Constructions of Antimagic Graph Labeling

Locating-Total Dominating Sets in Twin-Free Graphs: a Conjecture

Distinguishing infinite graphs

Explicit Construction of Small Folkman Graphs

Pairs of a tree and a nontree graph with the same status sequence

Math 5707: Graph Theory, Spring 2017 Midterm 3

Combinatorial semigroups and induced/deduced operators

Graceful Tree Conjecture for Infinite Trees

On spectral radius and energy of complete multipartite graphs

2-bondage in graphs. Marcin Krzywkowski*

The tiling by the minimal separators of a junction tree and applications to graphical models Durham, 2008

Commutative Banach algebras 79

On S-packing edge-colorings of cubic graphs

The maximum forcing number of a polyomino

The anti-ramsey number of perfect matching.

Properties of θ-super positive graphs

MATH 829: Introduction to Data Mining and Analysis Clustering II

Characterization of quasi-symmetric designs with eigenvalues of their block graphs

The Mixed Chinese Postman Problem Parameterized by Pathwidth and Treedepth

The maximum size of a partial spread in H(4n + 1,q 2 ) is q 2n+1 + 1

Complex Hadamard matrices and 3-class association schemes

DECOMPOSITIONS OF MULTIGRAPHS INTO PARTS WITH THE SAME SIZE

Random Walks and Electric Resistance on Distance-Regular Graphs

An algebraic proof of the Erdős-Ko-Rado theorem for intersecting families of perfect matchings

Transcription:

On fat Hoffman graphs with smallest eigenvalue at least 3 Qianqian Yang University of Science and Technology of China Ninth Shanghai Conference on Combinatorics Shanghai Jiaotong University May 24-28, 2017 (Joint work with Jack Koolen and Yan-Ran Li.) 1 / 24

1 Motivation 2 Main tool Hoffman graphs Representation of Hoffman graphs Special matrix 3 Result Special ( )-graphs Weighted graphs 2 / 24

In 1976, Cameron et al. showed that If G is a connected graph with smallest eigenvalue at least 2, then 1 G is a generalized line graph; or 2 G has at most 36 vertices. Denote A(G) the adjacency matrix of G. G is a generalized line graph, that is, there exists a matrix N such that A(G) + 2I = N T N, where N ij Z for all i, j. P.J. Cameron, J.-M. Goethals, J.J. Seidel and E.E. Shult, Line graphs, root systems, and elliptic geometry, J. Algebra 43 (1976), no. 1, 305 327. 3 / 24

Questions If G is a connected graph with smallest eigenvalue at least 3, then G is??? Suppose there exists a matrix N such that then G is??? A(G) + 3I = N T N, where N ij Z, Definition A graph G is called integrally representable of norm 3, if there exists a map ϕ : V (G) Z m for some positive integer m such that 3, if x = y; ϕ(x), ϕ(y) = 1, if x y; 0, otherwise. 4 / 24

Question What are the connected integrally representable graphs of norm 3? 5 / 24

Example Let G be the graph, then there are two integral representations ϕ 1 and ϕ 2 of G of norm 3, where ϕ 1 ( ) ϕ 1 ( ) ϕ 2 ( ) ϕ 2 ( ) 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 1 0 0 f 1 f 1 f 2 f 3 f 4 f 5 f 1 f 1 f 2 f 2 f 1 f 1 f 2 f 2 f 3 f 3 f 4 f 4 f 5 f 5 g ϕ1 g ϕ2 6 / 24

Definition A Hoffman graph h is a pair (H, µ) of a graph H = (V, E) and a labeling map µ : V {f, s} satisfying the following conditions: 1 every vertex with label f is adjacent to at least one vertex with label s; 2 vertices with label f are pairwise non-adjacent. slim vertex f 1 f 2 fat vertex f 1 f 2 f 3 f 4 f 5 7 / 24

Definitions and notations f 1 f 2 h V f (h) = {f 1, f 2 }, V s (h) = {, }, N f h () = {f 1, f 2 }, Nh s() = { }, N f h () = {f 1, f 2 }, Nh s() = { }, h is 2-fat, slim graph of h is. V f (h) (V s (h)) the set of fat (slim) vertices of h. N f h (x) (N h s (x)) the set of fat (slim) neighbors of x in h; If every slim vertex has a fat neighbor, we call h fat; If every slim vertex has at least t fat neighbors, we call h t-fat. The slim graph of a Hoffman graph h = (H, µ) is the subgraph of H induced by V s (h). 8 / 24

Definition For a Hoffman graph h and a positive integer m, a mapping φ : V (h) Z m such that 3 if x = y and x, y V s (h); 1 if x = y and x, y V φ(x), φ(y) = f (h); 1 if x y; 0 otherwise, is called an integral representation of norm 3 of h. x1 x2 x1 ϕ 2 ( ) ϕ 2 ( ) 1 1 1 1 1 1 f1 f2 f3 f4 f5 f1 x2 f2 φ( ) φ( ) φ(f 1 ) φ(f 2 ) 1 1 1 0 1 1 0 1 1 1 0 0 G g ϕ2 Figure 1 9 / 24

Definition For a Hoffman graph h and a positive integer m, a mapping ψ : V s (h) Z m such that x1 x1 x2 ϕ 2 ( ) ϕ 2 ( ) x 3 N f 1 1 1 f1 h (x) f2 if x = y; 1 1 ψ(x), 1 ψ(y) 1= 1 N f h (x, y) if x y; f1 f2 f3 f4 f5 x2 N f h (x, y) otherwise, G is called an integral reduced representation Figure 1 of norm 3 of h. g ϕ2 φ( ) φ( ) φ(f 1 ) φ(f 2 ) 1 1 1 0 1 1 0 1 1 1 0 0 x1 x2 ϕ 2 ( ) ϕ 2 ( ) 1 1 f 1 f 2 f 3 1 f 4 1 f 5 1 1 f1 f2 f3 f4 f5 f1 f 1 f 2 x1 x2 f2 ψ( ) ψ( ) 1 1 1 1 1 1 G g ϕ2 Figure 2 f 1 f 2 10 / 24

Result Condition: Let G be a connected graph with an integral representation of norm 3. Conclusion: G is the slim graph of a fat Hoffman graph with an integral (reduced) representation of norm 3. Question: What are all fat Hoffman graphs with an integral (reduced) representation of norm 3? 11 / 24

Definition The special matrix of a Hoffman graph h is defined as follows: for any x, y V s (h), Sp(h) (x,y) = N f h (x), if x = y; 1 N f h (x, y), if x y; N f h (x, y), if x y. Eigenvalues of h are the eigenvalues of its special matrix. The smallest eigenvalue of h is denoted by λ min (h). f 3 f 4 f 5 f 1 f 2 ( 2 1 special matrix: 1 2 λ min (g ϕ2 ) = 3 ) g ϕ2 12 / 24

Let h be a Hoffman graph with an integral reduced representation ψ of norm 3. For any x, y V s (h), Sp(h) (x,y) = ψ(x), ψ(y) = N f h (x), if x = y; 1 N f h (x, y), if x y; N f h (x, y), if x y. 3 N f h (x) if x = y; 1 N f h (x, y) if x y; N f h (x, y) otherwise. A Hoffman graph h has an integral reduced representation of norm 3. Equivalently, there exists a matrix N, such that Sp(h) + 3I = N T N, where N ij Z for all i, j. It also implies that all Hoffman graphs with an integral reduced representation of norm 3 has smallest eigenvalue at least 3. 13 / 24

Definition Let µ be a real number with µ 1. A Hoffman graph h is called µ-saturated, if 1 λ min (h) µ; 2 no fat vertex can be attached to h in such a way that the resulting Hoffman graph has smallest eigenvalue at least µ. ( 3)-saturated ( 3)-saturated 14 / 24

Definition A Hoffman graph h is called decomposable, if there exists a partition {Vs 1 (h), Vs 2 (h)} of V s (h), such that ( V s 1 (h) Vs 2 (h) ) Vs 1 (h) 0 Sp(h) = Otherwise, h is indecomposable. V 2 s (h) 0. ( 3 0 Sp(g ϕ1 ) = 0 3 f 1 f 2 ) f 1 f 2 f 3 f 4 f 5 g ϕ1, decomposable 15 / 24

What are fat Hoffman graphs, which have an integral (reduced) representation of norm 3? What is the family H of Hoffman graphs? H is the family of fat, ( 3)-saturated, indecomposable integrally (reduced) representable Hoffman graphs of norm 3. 16 / 24

H: fat, ( 3)-saturated, indecomposable, integrally (reduced) representable of norm 3 Definition The special graph of a Hoffman graph 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)) = { {x, y} x, y V s (h), x y, sgn(sp(h) (x,y) ) = + }, x 3 E (S(h)) = { {x, y} x, y V s (h), x y, sgn(sp(h) (x,y) ) = }. The special ε-graph of h is the graph S ɛ (h) = (V s (h), E ɛ (S(h))) for ɛ {+, }. x 3 + x 3 x1 x2 x3 x 1 x 3 2 1 0 Sp(h) = 1 1 1 x 3 0 1 1 + x 3 x 3 h + x1 x2 x3 Figure 1 S(h) x 3 S (h) 17 / 24

H: fat, ( 3)-saturated, indecomposable, integrally (reduced) representable of norm 3 Jang et al. showed that x 3 xn 2 x n 1 x n x 3 xn 2 x n 1 x n If a Hoffman graph h H has n slim vertices, then its special ( )-graph S (h) isx n one of the following: x n x 3 xn 2 x n 1 x n A n : 1 x 3 xn 2 x n 1 x n, Ã n 1 : D n : x 3 xn 3 x n 2 x n 1 x 3 x 4 xn 2 x n 1 x n x n 2 3 n 1 xn 3 n 2 x n 1 1 x 3 xn 3 x n 2 x n, Dn 1 : x 3 xn 3 x n 2 x n 1 x n 3 x 34 xn 3 xn 2 x n 2 n 1 x n 1 x n x 3 x 4 xn 2 x n 1 x n 1 n x 3 x 4 xn 3 x n 2. x n, x 3 x 4 xn 2 x n 1 x x n 1 x n 1 x 3 x 4 xn 3 x n 2 x n x 3 xn 3 x n 2 x n 1 H.J. Jang, J. Koolen, A. Munemasa and T. Taniguchi, On fat Hoffman x n graphs with smallest eigenvalue at least 3, Ars Math. Contemp. 7 (2014), no. 1, 105 121. x n 1 x n 1 x 3 xn 3 x n 2 x 3 x 4 xn 3 x n 2 x n x n 18 / 24

H: fat, ( 3)-saturated, indecomposable, integrally (reduced) representable of norm 3 Definition 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 S (h) is the special ( )-graph of h and w(x) := N f h (x). Question What are the necessary and sufficient conditions for a weighted graph to be the weighted special ( )-graph of a Hoffman graph in H? 19 / 24

H: fat, ( 3)-saturated, indecomposable, integrally (reduced) representable of norm 3 A leaf of a graph G is a vertex of valency 1 in G. A t-leaf is a leaf with its unique neighbor having valency t. Necessary conditions Let (G, w) be a weighted special ( )-graph of a Hoffman graph in H, which has n slim vertices where n 6. 1 G is isomorphic to A n, Ã n 1, D n or D n 1 and w(x) {1, 2} for any x V (G). 2 For, V (G), if and w() = w() = 2, then one of them is a leaf of G. 3 If is a 3-leaf of G, then w() = 1. 4 If is a 2-leaf of G with w() = 1, then there exists a unique 4-path x 3x 4 containing in G. Moreover, w() = 2, w(x 3) = w(x 4) = 1. 5 If G is isomorphic to Ãn 1 and w(x) = 2 for some x V (G), then there exist at least 3 vertices having weight 2 in (G, w). 20 / 24

H: fat, ( 3)-saturated, indecomposable, integrally (reduced) representable of norm 3 Given a weighted graph (G, w) which satisfies the above necessary conditions and has at least 6 vertices, we will construct a Hoffman graph h (G,w) H, h (G,w) has (G, w) as its weighted special ( )-graph for each fat vertex f of h (G,w), the induced subgraph of S (h (G,w) ) on N s h (G,w) (f) is connected. We call the Hoffman graphs satisfying the second condition generic. 21 / 24

H: fat, ( 3)-saturated, indecomposable, integrally (reduced) representable of norm 3 Construction For each pair of vertices x and y of V (G), they share exactly one common fat neighbor in h (G,w) if one of the following conditions is satisfied: There exists a path P = x... x py in G such that w(x i) = 1 for i = 1,..., p. Note that the value of p can be zero as well. Both x and y are 3-leaves of G and they have one common neighbor in G. For each pair of vertices x and y of V (G), they are adjacent in h (G,w) if one of the following conditions is satisfied: N f h (G,w) (x, y) = 1 and x y in G; N f h (G,w) (x, y) = 0 and there exists a vertex z with w(z) = 2 in (G, w) such that x and y are adjacent to z in G, except the case where x or y is a 2-leaf of G with weight 1; N f h (G,w) (x, y) = 0, one of them is a 2-leaf with weight 1 in (G, w) and the distance of x and y is 3 in G. 22 / 24

H: fat, ( 3)-saturated, indecomposable, integrally (reduced) representable of norm 3 How to obtain the family H Weighted graph (G, w), which satisfies the necessary conditions Generic Hoffman graph h (G,w), which has (G, w) as weighted special ( )-graph identify fat vertices identify fat vertices Hoffman graph h H Note that the for a Hoffman graph h 1 H, two fat vertices f 1 and f 2 of h 1 can be identified, if and only if N s h 1 (f 1, f 2) = and for any fat vertex f V f (h 1) {f 1, f 2}, N s h 1 (f) (N s h 1 (f 1) N s h 1 (f 2)) 1. 23 / 24

Thank you for your attention! 24 / 24