25
Adam Sawicki, Rami Band, Uzy Smilansky Scattering from isospectral graphs

Adam Sawicki, Rami Band, Uzy Smilansky

  • Upload
    ena

  • View
    51

  • Download
    12

Embed Size (px)

DESCRIPTION

Adam Sawicki, Rami Band, Uzy Smilansky. Scattering from isospectral graphs. ‘Can one hear the shape of a drum ?’. This question was asked by Marc Kac (1966). Is it possible to have two different drums with the same spectrum ( isospectral drums ) ?. Marc Kac (1914-1984). - PowerPoint PPT Presentation

Citation preview

Page 1: Adam Sawicki, Rami Band, Uzy Smilansky

Adam Sawicki, Rami Band, Uzy Smilansky

Scattering from isospectral graphs

Page 2: Adam Sawicki, Rami Band, Uzy Smilansky

This question was asked by Marc Kac (1966).

Is it possible to have two different drums with the same spectrum (isospectral drums) ?

‘Can one hear the shape of a drum ?’

Marc Kac (1914-1984)

Page 3: Adam Sawicki, Rami Band, Uzy Smilansky

A Drum is an elastic membranewhich is attached to a solid planar frame.

The spectrum is the set of the Laplacian’s eigenvalues, ,(usually with Dirichlet boundary conditions):

A few wavefunctions of the Sinai ‘drum’:

The spectrum of a drum

fkfyx

22

2

2

2

0boundaryf

1f 9f 201f , … , , … ,

12nnk

Page 4: Adam Sawicki, Rami Band, Uzy Smilansky

Isospectral drums

Gordon, Webb and Wolpert (1992):

‘One cannot hear the shape of a drum’

Using Sunada’s construction (1985)

Page 5: Adam Sawicki, Rami Band, Uzy Smilansky

Isospectral drums – A transplantation proof

Given an eigenfunction on drum (a), create an eigenfunction with the same eigenvalue on drum (b).

(a) (b)

fkfyx

22

2

2

2

0boundaryf

Page 6: Adam Sawicki, Rami Band, Uzy Smilansky

Isospectral drums – A transplantation proof

Given an eigenfunction on drum (a), create an eigenfunction with the same eigenvalue on drum (b).

(a) (b)

fkfyx

22

2

2

2

0boundaryf

Page 7: Adam Sawicki, Rami Band, Uzy Smilansky

We can use another basic building block

Isospectral drums – A transplantation proof

Page 8: Adam Sawicki, Rami Band, Uzy Smilansky

… or even a funny shaped building block …

Isospectral drums – A transplantation proof

Page 9: Adam Sawicki, Rami Band, Uzy Smilansky

… or cut it in a nasty way (and ruin the connectivity) …

Isospectral drums – A transplantation proof

Page 10: Adam Sawicki, Rami Band, Uzy Smilansky

Okada, Shudo, Tasaki and Harayama conjecture (2005) that ‘One can distinguish isospectral drums by measuring their scattering poles’

‘Can one hear the shape of a drum ?’: revisited

Page 11: Adam Sawicki, Rami Band, Uzy Smilansky

What’s next?

Scattering matrices of quantum graphs.

Isospectral construction.

Scattering from isospectral quantum graphs.

Back to drums.

Page 12: Adam Sawicki, Rami Band, Uzy Smilansky

A quantum graph is defined by: A graph A length for each edge A scattering matrix for each vertex

(indicates vertex conditions)

The eigenfunctions of the Laplacianare given by

on each of the edges e of the graph.

They can be described by these coefficients .

L13

L23

L34L45

L46

1

43

5

2 62

1

3 4

5

6

10Ca

Quantum Graphsfkf 2

eoutee

inee ikxaikxaxf expexp)(

Page 13: Adam Sawicki, Rami Band, Uzy Smilansky

A quantum graph is defined by: A graph A length for each edge A scattering matrix for each vertex

(indicates vertex conditions)

The eigenfunctions of the Laplacianare described by

L13

L23

L34L45

L46

1

43

5

2 62

1

3 4

5

6

333

6

5

2

1

444

444

444

333

333

)(kU

34

46

45

23

13

34

46

45

23

13

exp

LL

LL

LL

LL

LL

ik

akUaa )(such that10 C

Quantum Graphsfkf 2

Page 14: Adam Sawicki, Rami Band, Uzy Smilansky

)(kU

34

46

45

23

13

34

46

45

23

13

exp

LL

LL

LL

LL

LL

ik

L13

L23

L34 L45

L46

1

3

5

2 64

333

6

5

2

1

444

444

444

333

333

Quantum Graphs

Page 15: Adam Sawicki, Rami Band, Uzy Smilansky

A quantum graph is defined by: A graph A length for each edge A scattering matrix for each vertex

(indicates boundary conditions)

The eigenfunctions are described by

Examples of several eigenfunctions of the Laplacian on the graph above:

8f 13f 16f

L13

L23

L34L45

L46

1

43

5

2 62

1

3 4

5

6akUaa )(such that10 C

Quantum Graphs - Introduction

Page 16: Adam Sawicki, Rami Band, Uzy Smilansky

L13

L23

L34

L45

L46

1

43

5

26

2

1

3 4

5

6

333

6

5

2

1

4444

4444

4444

3333

3333

4444

3333

)(kU

34

46

45

23

13

34

46

45

23

13

00

exp

LL

LL

LL

LL

LL

ik

Quantum Graphs – Attaching leads

1111 expexp ikxcikxc outin 2222 expexp ikxcikxc outin

Page 17: Adam Sawicki, Rami Band, Uzy Smilansky

L13

L23

L34

L45

L46

1

43

5

26

2

1

3 4

5

6

UT

TR

in

out

~

Quantum Graphs – Attaching leads

1111 expexp ikxcikxc outin 2222 expexp ikxcikxc outin

10

1

2

1

a

accout

out

10

1

2

1

a

accin

in

Page 18: Adam Sawicki, Rami Band, Uzy Smilansky

L13

L23

L34

L45

L46

1

43

5

26

2

1

3 4

5

6

aUcTaaTcRc

inin

outoutout

~

Quantum Graphs – Attaching leads

1111 expexp ikxcikxc outin 2222 expexp ikxcikxc outin

ininout

out cTUTRc 1~1

inout TUTRkS1~1)(

UT

TR

in

out

~

a

c in

a

c out

The poles of S(k) are below the real axis.

Page 19: Adam Sawicki, Rami Band, Uzy Smilansky

Theorem (R. Band , O. Parzanchevski, G. Ben-Shach)Let Γ be a graph which obeys a symmetry group G.Let H1, H2 be two subgroups of G with representations R1, R2 that satisfy

then the graphs , are isospectral.

Theorem (R.Band, O. Parzanchevski, G. Ben-Shach)The graphs , constructed according to the conditions above,possess a transplantation.

Remark – The theorems are applicable for other geometrical objects such as manifolds and drums.

Isospectral theorem

1RΓ

2RΓ

21 21IndInd RR G

HGH

D N

D

NN

D

2RΓ

1RΓ

1RΓ

2RΓ

Page 20: Adam Sawicki, Rami Band, Uzy Smilansky

Transplantation The transplantation of our example is

1111

T

D

NN

D

D N

2RΓ

1RΓ

A

B

A-B A+B

Page 21: Adam Sawicki, Rami Band, Uzy Smilansky

Transplantation & Scattering We may apply the isospectral construction on graphs with leads:

Page 22: Adam Sawicki, Rami Band, Uzy Smilansky

Transplantation & Scattering We may apply the isospectral construction on graphs with leads: The transplantation relates

the function’s values on the leads:

leadsleadsfTg

1111

T

ikxcikxcTikxdikxd outinoutin expexpexpexp

outout

inin

cTdcTd

inout

inout

dkSdckSc

)()(

2

1

inout cTkSTc 121

1 )( TkSTkS )()( 2

11

In particular S1(k), S2(k)have the same pole structure.

In addition, we have the scattering relations:

g f

Page 23: Adam Sawicki, Rami Band, Uzy Smilansky

‘Can one hear the shape of a graph ?’: revisited

Definition – The graphs Γ1 , Γ2 are called isoscattering if they can be extended to scattering systems which share the same pole structure.

The isospectral construction can be used to construct isoscattering graphs.

Two isospectral graphs are also isoscattering.The possible extensions of these graphs to isopolar scattering systems depend on the symmetry that was used in the construction.

The isospectral construction applies also to manifolds and drums - Why the scattering results for drums and graphs are different?

Page 24: Adam Sawicki, Rami Band, Uzy Smilansky

The isospectral drums constructionBuser, Conway, Doyle, Semmler (1994)

Page 25: Adam Sawicki, Rami Band, Uzy Smilansky

AS, Rami Band, Uzy Smilansky

Scattering from isospectral graphs