The inverse eigenvalue problem of a graph: Multiplicities and minors - - PowerPoint PPT Presentation

the inverse eigenvalue problem of a graph multiplicities
SMART_READER_LITE
LIVE PREVIEW

The inverse eigenvalue problem of a graph: Multiplicities and minors - - PowerPoint PPT Presentation

The inverse eigenvalue problem of a graph: Multiplicities and minors Jephian C.-H. Lin Department of Mathematics and Statistics, University of Victoria Jan 13, 2018 Joint Mathematics Meetings, San Diego, CA IEPG: Multiplicities and minors


slide-1
SLIDE 1

The inverse eigenvalue problem of a graph: Multiplicities and minors

Jephian C.-H. Lin

Department of Mathematics and Statistics, University of Victoria

Jan 13, 2018 Joint Mathematics Meetings, San Diego, CA

IEPG: Multiplicities and minors 1/14 Math & Stats, University of Victoria

slide-2
SLIDE 2

Joint work with Wayne Barrett, Steve Butler, Shaun M. Fallat, H. Tracy Hall, Leslie Hogben, Bryan L. Shader and Michael Young.

IEPG: Multiplicities and minors 2/14 Math & Stats, University of Victoria

slide-3
SLIDE 3

Inverse eigenvalue problem of a graph

Let G be a simple graph on n vertices. The family S(G) consists

  • f all n × n real symmetric matrix M =
  • Mi,j
  • with

     Mi,j = 0 if i = j and {i, j} is not an edge, Mi,j = 0 if i = j and {i, j} is an edge, Mi,j ∈ R if i = j. S( ) ∋   1 1 1 1   ,   1 −1 −1 2 −1 −1 1   ,   2 0.1 0.1 1 π π   , · · · The inverse eigenvalue problem of a graph (IEPG) asks what are all spectra appeared in S(G) for a given graph G.

IEPG: Multiplicities and minors 3/14 Math & Stats, University of Victoria

slide-4
SLIDE 4

Theorem (Monfared and Shader 2013)

Let G be a graph on n vertices. For any n distinct real numbers {λ1, . . . , λn}, there is a matrix A ∈ S(G) with spec(A) = {λ1, . . . , λn}. Key idea: Use Implicit Function Theorem to perturb the diagonal matrix.        λ1 λ2 λ3 ... λn        − →        ∼ λ1 ǫ ǫ ǫ ∼ λ2 ǫ ǫ ǫ ∼ λ3 ǫ ǫ ǫ ... ǫ ǫ ǫ ∼ λn       

IEPG: Multiplicities and minors 4/14 Math & Stats, University of Victoria

slide-5
SLIDE 5

Theorem (Monfared and Shader 2013)

Let G be a graph on n vertices. For any n distinct real numbers {λ1, . . . , λn}, there is a matrix A ∈ S(G) with spec(A) = {λ1, . . . , λn}. Key idea: Use Implicit Function Theorem to perturb the diagonal matrix.        λ1 λ2 λ3 ... λn        − →        ∼ λ1 ǫ ǫ ǫ ∼ λ2 ǫ ǫ ǫ ∼ λ3 ǫ ǫ ǫ ... ǫ ǫ ǫ ∼ λn       

IEPG: Multiplicities and minors 4/14 Math & Stats, University of Victoria

slide-6
SLIDE 6

Example on P3

A(x1, x2, x3, y) =   x1 y y x2 y y x3   Goal: Given λi’s, find xi’s and y = 0 such that spec(A(x1, x2, x3, y)) = {λi}3

i=1.

Note: spec(A(λ1, λ2, λ3, 0)) = {λi}3

i=1,

but y = 0.

IEPG: Multiplicities and minors 5/14 Math & Stats, University of Victoria

slide-7
SLIDE 7

Example on P3

A(x1, x2, x3, y) =   x1 y y x2 y y x3   Consider the function f (x1, x2, x3, y) → (tr(A), 1 2 tr(A2), 1 3 tr(A3)). The right hand side controls the spectrum. When xi = λi and y = 0, it has the desired spectrum.

IEPG: Multiplicities and minors 5/14 Math & Stats, University of Victoria

slide-8
SLIDE 8

Example on P3

A(x1, x2, x3, y) =   x1 y y x2 y y x3   (

independent

  • x1, x2, x3 , y
  • independent

) → (tr(A), 1 2 tr(A2), 1 3 tr(A3)

  • dependent

).

IEPG: Multiplicities and minors 5/14 Math & Stats, University of Victoria

slide-9
SLIDE 9

Example on P3

A(x1, x2, x3, y) =   x1 y y x2 y y x3   (

dependent

  • x1, x2, x3, y
  • independent

) → (tr(A), 1 2 tr(A2), 1 3 tr(A3)

  • fixed

).

IEPG: Multiplicities and minors 5/14 Math & Stats, University of Victoria

slide-10
SLIDE 10

Example on P3

A(x1, x2, x3, y) =   x1 y y x2 y y x3   (

dependent

  • x1, x2, x3, y
  • independent

) → (tr(A), 1 2 tr(A2), 1 3 tr(A3)

  • fixed

). tr(A) = x1 + x2 + x3 tr(A2) = x2

1 + x2 2 + x2 3 + y(???)

tr(A3) = x3

1 + x3 2 + x3 3 + y(???)

= ⇒ Jac

  • xi=λi

y=0

=   1 1 1 λ1 λ2 λ3 λ2

1

λ2

2

λ2

3

 

IEPG: Multiplicities and minors 5/14 Math & Stats, University of Victoria

slide-11
SLIDE 11

Example on P3

A(x1, x2, x3, y) =   x1 y y x2 y y x3   (

dependent

  • x1, x2, x3, y
  • independent

) → (tr(A), 1 2 tr(A2), 1 3 tr(A3)

  • fixed

). When λi’s are all distinct, the Jacobian matrix is invertible. We may perturb y to ǫ = 0 and xi ∼ λi, while preserving the same spectrum. (This proof follows from [Monfared and Khanmohammadi 2018].)

IEPG: Multiplicities and minors 5/14 Math & Stats, University of Victoria

slide-12
SLIDE 12

Another point of view of the theorem

Theorem (Monfared and Shader 2013)

Let Kn be a spanning subgraph of G. If A ∈ S(Kn) has some nice property, then there is B ∈ S(G) with spec(B) = spec(A).

Theorem (BFHHLS 2017)

Let H be a spanning subgraph of G. If A ∈ S(H) has the Strong Spectral Property, then there is B ∈ S(G) with spec(B) = spec(A).

IEPG: Multiplicities and minors 6/14 Math & Stats, University of Victoria

slide-13
SLIDE 13

Another point of view of the theorem

Theorem (Monfared and Shader 2013)

Let Kn be a spanning subgraph of G. If A ∈ S(Kn) has some nice property, then there is B ∈ S(G) with spec(B) = spec(A).

Theorem (BFHHLS 2017)

Let H be a spanning subgraph of G. If A ∈ S(H) has the Strong Spectral Property, then there is B ∈ S(G) with spec(B) = spec(A).

IEPG: Multiplicities and minors 6/14 Math & Stats, University of Victoria

slide-14
SLIDE 14

Isospectral manifolds and pattern manifolds

Let A ∈ S(H). The isospectral manifold is EA = {Q⊤AQ : Q orthogonal}. The pattern manifold is Scl(H) = {M : Mi,j = 0 if {i, j} ∈ E(H)}. Also define Scl

y (H, G) = {M ∈ Scl(G) : Mi,j = y if {i, j} ∈ E(G) \ E(H)}

such that Scl(H) = Scl

0 (H, G) Scl y (H, G) ⊂ Scl(G).

IEPG: Multiplicities and minors 7/14 Math & Stats, University of Victoria

slide-15
SLIDE 15

Transversality and Strong Arnold Property

Two manifolds intersect transversally at a point A if their normal spaces only have trivial intersection. M1

  • ∩ M2 ⇐

⇒ NorM1.A ∩ NorM2.A = {0} Let A ∈ S(H). Then A has the Strong Spectral Property if EA

  • ∩ Scl(H).

transversal not transversal

IEPG: Multiplicities and minors 8/14 Math & Stats, University of Victoria

slide-16
SLIDE 16

Theorem (BFHHLS 2017)

Let H be a spanning subgraph of G. If A ∈ S(H) has the Strong Spectral Property, then there is B ∈ S(G) with spec(B) = spec(A). Scl(H) = Scl

0 (H, G)

EA A ∈ EA

  • ∩ Scl(H)

IEPG: Multiplicities and minors 9/14 Math & Stats, University of Victoria

slide-17
SLIDE 17

Theorem (BFHHLS 2017)

Let H be a spanning subgraph of G. If A ∈ S(H) has the Strong Spectral Property, then there is B ∈ S(G) with spec(B) = spec(A). Scl(H) = Scl

0 (H, G)

EA A ∈ EA

  • ∩ Scl(H)

Scl(G) ⊃ Scl

y (H, G)

B ∈ EA

  • ∩ Scl(G)

IEPG: Multiplicities and minors 9/14 Math & Stats, University of Victoria

slide-18
SLIDE 18

Tangent spaces

Let A ∈ S(H). Then the tangent spaces are TanEA.A = {K ⊤A + AK : K skew-symmetric} TanScl(H).A = Scl(H). Let Q(t) be an orthogonal matrix with Q(0) = I. Then d dt [Q(t)⊤AQ(t)]

  • t=0 = ˙

Q(0)⊤AA ˙ Q(0).

IEPG: Multiplicities and minors 10/14 Math & Stats, University of Victoria

slide-19
SLIDE 19

Tangent spaces

Let A ∈ S(H). Then the tangent spaces are TanEA.A = {K ⊤A + AK : K skew-symmetric} TanScl(H).A = Scl(H). Let Q(t) be an orthogonal matrix with Q(0) = I. Then d dt [Q(t)⊤AQ(t)]

  • t=0 = ˙

Q(0)⊤AQ(0) + Q(0)⊤A ˙ Q(0).

IEPG: Multiplicities and minors 10/14 Math & Stats, University of Victoria

slide-20
SLIDE 20

Tangent spaces

Let A ∈ S(H). Then the tangent spaces are TanEA.A = {K ⊤A + AK : K skew-symmetric} TanScl(H).A = Scl(H). Let Q(t) be an orthogonal matrix with Q(0) = I. Then d dt [Q(t)⊤AQ(t)]

  • t=0 = ˙

Q(0)⊤AQ(0) + Q(0)⊤A ˙ Q(0).

IEPG: Multiplicities and minors 10/14 Math & Stats, University of Victoria

slide-21
SLIDE 21

Tangent spaces

Let A ∈ S(H). Then the tangent spaces are TanEA.A = {K ⊤A + AK : K skew-symmetric} TanScl(H).A = Scl(H). Let Q(t) be an orthogonal matrix with Q(0) = I. Then d dt [Q(t)⊤AQ(t)]

  • t=0 = ˙

Q(0)⊤A + A ˙ Q(0).

IEPG: Multiplicities and minors 10/14 Math & Stats, University of Victoria

slide-22
SLIDE 22

Tangent spaces

Let A ∈ S(H). Then the tangent spaces are TanEA.A = {K ⊤A + AK : K skew-symmetric} TanScl(H).A = Scl(H). Let Q(t) be an orthogonal matrix with Q(0) = I. Then d dt [Q(t)⊤AQ(t)]

  • t=0 = ˙

Q(0)⊤A + A ˙ Q(0). Q(t)⊤Q(t) = I = ⇒ ˙ Q(0)⊤Q(0) + Q(0)⊤ ˙ Q(0) = 0, so ˙ Q(0) is skew-symmetric.

IEPG: Multiplicities and minors 10/14 Math & Stats, University of Victoria

slide-23
SLIDE 23

Tangent spaces

Let A ∈ S(H). Then the tangent spaces are TanEA.A = {K ⊤A + AK : K skew-symmetric} TanScl(H).A = Scl(H). Let Q(t) be an orthogonal matrix with Q(0) = I. Then d dt [Q(t)⊤AQ(t)]

  • t=0 = ˙

Q(0)⊤A + A ˙ Q(0). Q(t)⊤Q(t) = I = ⇒ ˙ Q(0)⊤Q(0) + Q(0)⊤ ˙ Q(0) = 0, so ˙ Q(0) is skew-symmetric.

IEPG: Multiplicities and minors 10/14 Math & Stats, University of Victoria

slide-24
SLIDE 24

Tangent spaces

Let A ∈ S(H). Then the tangent spaces are TanEA.A = {K ⊤A + AK : K skew-symmetric} TanScl(H).A = Scl(H). Let Q(t) be an orthogonal matrix with Q(0) = I. Then d dt [Q(t)⊤AQ(t)]

  • t=0 = ˙

Q(0)⊤A + A ˙ Q(0). Q(t)⊤Q(t) = I = ⇒ ˙ Q(0)⊤ + ˙ Q(0) = 0, so ˙ Q(0) is skew-symmetric.

IEPG: Multiplicities and minors 10/14 Math & Stats, University of Victoria

slide-25
SLIDE 25

What if no Strong Spectral Property?

◮ Strong Spectral Property =

⇒ can add any edge.

◮ ??? ??? Property =

⇒ can add some specific edges.

Theorem (Matrix Liberation Lemma, BBFHHLSY 2018)

Let H be a spanning subgraph of G. If A ∈ S(H) has the property that

◮ EA

  • ∩ Scl(G) and

◮ there is Y ∈ TanEA.A ∩ TanScl(G) with supp(Y ) ⊇ E(G) \ E(H),

then there is B ∈ S(G) with spec(B) = spec(A).

IEPG: Multiplicities and minors 11/14 Math & Stats, University of Victoria

slide-26
SLIDE 26

What if no Strong Spectral Property?

◮ Strong Spectral Property =

⇒ can add any edge.

◮ ??? ??? Property =

⇒ can add some specific edges.

Theorem (Matrix Liberation Lemma, BBFHHLSY 2018)

Let H be a spanning subgraph of G. If A ∈ S(H) has the property that

◮ EA

  • ∩ Scl(G) and

◮ there is Y ∈ TanEA.A ∩ TanScl(G) with supp(Y ) ⊇ E(G) \ E(H),

then there is B ∈ S(G) with spec(B) = spec(A).

IEPG: Multiplicities and minors 11/14 Math & Stats, University of Victoria

slide-27
SLIDE 27

The isospectral manifold x z z y

  • : tr = 3, det = 1
  • .

Click here to play with the interactive figure.

IEPG: Multiplicities and minors 12/14 Math & Stats, University of Victoria

slide-28
SLIDE 28

The isospectral manifold x z z y

  • : tr = 3, det = 1
  • .

Click here to play with the interactive figure.

Thank you!

IEPG: Multiplicities and minors 12/14 Math & Stats, University of Victoria

slide-29
SLIDE 29

References I

  • W. Barrett, S. Butler, S. M. Fallat, H. T. Hall, L. Hogben,
  • J. C.-H. Lin, B. Shader, and M. Young.

The inverse eigenvalue problem of a graph: Multiplicities and minors. https://arxiv.org/abs/1708.00064. (under review).

  • W. Barrett, S. M. Fallat, H. T. Hall, L. Hogben, J. C.-H. Lin,

and B. Shader. Generalizations of the Strong Arnold Property and the minimum number of distinct eigenvalues of a graph.

  • Electron. J. Combin., 24:P2.40, 2017.

IEPG: Multiplicities and minors 13/14 Math & Stats, University of Victoria

slide-30
SLIDE 30

References II

  • K. H. Monfared and E. Khanmohammadi.

A structured inverse spectrum problem for infinite graphs. Linear Algebra Appl., 539:28–43, 2018.

  • K. H. Monfared and B. Shader.

Construction of matrices with a given graph and prescribed interlaced spectral data. Linear Algebra Appl., 438:4348–4358, 2013.

IEPG: Multiplicities and minors 14/14 Math & Stats, University of Victoria