Note on von Neumann and R enyi entropies of a graph Jephian C.-H. - - PowerPoint PPT Presentation

note on von neumann and r enyi entropies of a graph
SMART_READER_LITE
LIVE PREVIEW

Note on von Neumann and R enyi entropies of a graph Jephian C.-H. - - PowerPoint PPT Presentation

Note on von Neumann and R enyi entropies of a graph Jephian C.-H. Lin Department of Mathematics, Iowa State University April 9, 2017 Graduate Student Combinatorics Conference 2017 Entropies of a graph 1/15 Department of Mathematics, Iowa


slide-1
SLIDE 1

Note on von Neumann and R´ enyi entropies

  • f a graph

Jephian C.-H. Lin

Department of Mathematics, Iowa State University

April 9, 2017 Graduate Student Combinatorics Conference 2017

Entropies of a graph 1/15 Department of Mathematics, Iowa State University

slide-2
SLIDE 2

Joshua Lockhart Michael Dairyko Leslie Hogben David Roberson Simone Severini Michael Young

Entropies of a graph 2/15 Department of Mathematics, Iowa State University

slide-3
SLIDE 3

Entropy

Let p = (p1, p2, . . . , pn) be a probability distribution, meaning

n

  • i=1

pi = 1 and pi ≥ 0. The Shannon entropy of p is S(p) =

n

  • i=1

pi log2 1 pi . For a given α ≥ 0 with α = 1, the R´ enyi entropy is Hα(p) = 1 1 − α log2 n

  • i=1

i

  • .

Entropies of a graph 3/15 Department of Mathematics, Iowa State University

slide-4
SLIDE 4

The function x log2

1 x

Entropies of a graph 4/15 Department of Mathematics, Iowa State University

slide-5
SLIDE 5

Convexity and Jensen’s inequality

If f is a convex function, then Jensen’s inequality says 1 n

  • f (pi) ≤ f
  • 1

n

n

  • i=1

pi

  • .

Let p = ( 1

n, . . . , 1 n). Since x log2 1 x ≥ 0 is convex,

0 ≤ S(p) ≤ S(p) for all p. Therefore, S(p) is

  • maximized by ( 1

n, 1 n, . . . , 1 n),

minimized by (1, 0, . . . , 0). Entropy measures mixedness.

Entropies of a graph 5/15 Department of Mathematics, Iowa State University

slide-6
SLIDE 6

Convexity and Jensen’s inequality

If f is a convex function, then Jensen’s inequality says 1 n

  • f (pi) ≤ f
  • 1

n

n

  • i=1

pi

  • .

Let p = ( 1

n, . . . , 1 n). Since x log2 1 x ≥ 0 is convex,

0 ≤ S(p) ≤ S(p) for all p. Therefore, S(p) is

  • maximized by ( 1

n, 1 n, . . . , 1 n),

minimized by (1, 0, . . . , 0). Entropy measures mixedness.

Entropies of a graph 5/15 Department of Mathematics, Iowa State University

slide-7
SLIDE 7

Density matrix

A density matrix M is a (symmetric) positive semi-definite matrix with trace one. Every density matrix has the spectral decomposition M = QDQ⊤ =

n

  • i=1

λiviv⊤

i = n

  • i=1

λiEi, where λi ≥ 0 and n

i=1 λi = tr(M) = 1.

Each of Ei is of rank one and trace one; such a matrix is called a pure state in quantum information. A density matrix is a convex combination of pure states with probability distribution (λ1, . . . , λn).

Entropies of a graph 6/15 Department of Mathematics, Iowa State University

slide-8
SLIDE 8

Density matrix

A density matrix M is a (symmetric) positive semi-definite matrix with trace one. Every density matrix has the spectral decomposition M = QDQ⊤ =

n

  • i=1

λiviv⊤

i = n

  • i=1

λiEi, where λi ≥ 0 and n

i=1 λi = tr(M) = 1.

Each of Ei is of rank one and trace one; such a matrix is called a pure state in quantum information. A density matrix is a convex combination of pure states with probability distribution (λ1, . . . , λn).

Entropies of a graph 6/15 Department of Mathematics, Iowa State University

slide-9
SLIDE 9

Density matrix of a graph

Let G be a graph. The Laplacian matrix of G is a matrix L with Li,j =      di if i = j, −1 if i ∼ j,

  • therwise.

Any Laplacian matrix is positive semi-definite and has tr(L) =

n

  • i=1

di = 2|E(G)| =: dG. The density matrix of G is ρ(G) =

1 dG L.

Entropies of a graph 7/15 Department of Mathematics, Iowa State University

slide-10
SLIDE 10

Entropies of a graph

Let G be a graph and ρ(G) its density matrix. Then spec(ρ(G)) is a probability distribution. The von Neumann entropy of a graph G is S(G) = S(spec(ρ(G))); the R´ enyi entropy of a graph G is Hα(G) = Hα(spec(ρ(G))).

Proposition

Let G1, . . . , Gk be disjoint graphs, ci =

dGi k

i=1 dGi

, and c = (c1, . . . , ck). Then S

  • ˙

k

i=1Gi

  • = c1S(G1) + · · · + ckS(Gk) + S(c).

Entropies of a graph 8/15 Department of Mathematics, Iowa State University

slide-11
SLIDE 11

Union of graphs

Theorem (Passerini and Severini 2009)

If G1 and G2 are two graphs on the same vertex set and E(G1) ∩ E(G2) = ∅, then S(G1 ∪ G2) ≥ c1S(G1) + c2S(G2), where ci =

dGi dG1+dG2 .

In particular, for a graph G and e ∈ E(G), then S(G + e) ≥ dG dG + 2S(G).

Entropies of a graph 9/15 Department of Mathematics, Iowa State University

slide-12
SLIDE 12

Adding an edge can decrease the von Neumann entropy

K2,n−2 K2,n−2 + e S(K2,n−2) ∼ 1 + (n − 3) · 1 2n − 4 log2(2n − 4) S(K2,n−2 + e) ∼ 1 + (n − 3) · 1 2n − 3 log2(2n − 3)

Entropies of a graph 10/15 Department of Mathematics, Iowa State University

slide-13
SLIDE 13

Extreme values of the von Neumann entropy

Recall S(p) is

  • maximized by ( 1

n, 1 n, . . . , 1 n),

minimized by (1, 0, . . . , 0). For graphs on n vertices, S(G) is

  • maximized by Kn,

minimized by K2 ˙ ∪(n − 2)K1.

Conjecture (DHLLRSY 2017)

For connected graphs on n vertices, the minimum von Neumann entropy is attained by K1,n−1.

Entropies of a graph 11/15 Department of Mathematics, Iowa State University

slide-14
SLIDE 14

Computational results and possible approaches

By Sage, S(K1,n−1) ≤ S(G) for all connected graphs G on n ≤ 8 vertices, and S(K1,n−1) ≤ S(T) for all trees T on n ≤ 20 vertices. The conjecture is still open, but we can prove assymptotically. Idea: The R´ enyi entropy Hα(p) ր S(p) as α ց 1. In particular, H2(G) ≤ S(G).

Entropies of a graph 12/15 Department of Mathematics, Iowa State University

slide-15
SLIDE 15

Computational results and possible approaches

By Sage, S(K1,n−1) ≤ S(G) for all connected graphs G on n ≤ 8 vertices, and S(K1,n−1) ≤ S(T) for all trees T on n ≤ 20 vertices. The conjecture is still open, but we can prove assymptotically. Idea: The R´ enyi entropy Hα(p) ր S(p) as α ց 1. In particular, H2(G) ≤ S(G).

Entropies of a graph 12/15 Department of Mathematics, Iowa State University

slide-16
SLIDE 16

Computational results and possible approaches

By Sage, S(K1,n−1) ≤ S(G) for all connected graphs G on n ≤ 8 vertices, and S(K1,n−1) ≤ S(T) for all trees T on n ≤ 20 vertices. The conjecture is still open, but we can prove assymptotically. Idea: The R´ enyi entropy Hα(p) ր S(p) as α ց 1. In particular, H2(G) ≤ S(G).

Entropies of a graph 12/15 Department of Mathematics, Iowa State University

slide-17
SLIDE 17

What’s nice about H2(G)?

Let M = ρ(G). Then by definition, the R´ enyi entropy H2(G) is 1 1 − 2 log2 n

  • i=1

λ2

i

  • = − log2(tr M2) = log2
  • d2

G

dG +

i d2 i

  • .

Theorem (DHLLRSY 2017)

If d2

G

dG + n

i=1 d2 i

≥ 2n − 2 n

n 2n−2 , then S(G) ≥ H2(G) ≥ S(K1,n−1).

It is known that n

i=1 d2 i ≤ m

  • 2m

n−1 + n − 2

  • . By some

computation, almost all graphs have S(G) ≥ S(K1,n−1) when n → ∞.

Entropies of a graph 13/15 Department of Mathematics, Iowa State University

slide-18
SLIDE 18

Conclusion

Whether S(G) ≥ S(K1,n−1) for all G or not remains open.

Conjecture (DHLLRSY 2017)

For every connected graph G on n vertices and α > 1, Hα(G) ≥ Hα(K1,n−1). We are able to show H2(G) ≥ H2(K1,n−1) for every connected graphs on n vertices.

Thank You!

Entropies of a graph 14/15 Department of Mathematics, Iowa State University

slide-19
SLIDE 19

Conclusion

Whether S(G) ≥ S(K1,n−1) for all G or not remains open.

Conjecture (DHLLRSY 2017)

For every connected graph G on n vertices and α > 1, Hα(G) ≥ Hα(K1,n−1). We are able to show H2(G) ≥ H2(K1,n−1) for every connected graphs on n vertices.

Thank You!

Entropies of a graph 14/15 Department of Mathematics, Iowa State University

slide-20
SLIDE 20
  • D. de Caen. An upper bound on the sum of squares of degrees

in a graph. Discrete Math., 185:245–248, 1998.

  • M. Dairyko, L. Hogben, J. C.-H. Lin, J. Lockhart,
  • D. Roberson, S. Severini, and M. Young. Note on von

Neumann and R´ enyi entropies of a graph. Linear Algebra Appl., 521:240–253, 2017.

  • F. Passerini and S. Severini. Quantifying complexity in

networks: the von Neumann entropy. Int. J. Agent Technol. Syst., 1:58–68, 2009.

Entropies of a graph 15/15 Department of Mathematics, Iowa State University