35
Introduction Stable Sand Piles Model Some examples Additions Stability of the Sand Piles Model H.D.Phan and T.H.Tran Institute of Mathematics Hanoi, Vietnam Workshop on Lattice Theory Marseille, April 22–27, 2007 H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Stability of the Sand Piles Model

H.D.Phan and T.H.Tran

Institute of Mathematics Hanoi, Vietnam

Workshop on Lattice TheoryMarseille, April 22–27, 2007

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 2: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Introduction

Stable Sand Piles Model

Some examples

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 3: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Sand Piles Model

Sand Piles Model (SPM)

� Context: Discrete dynamical system, sand piles system

� Sand Piles System- Configurations: are sequences of sand piles of decreasingheight from left to right- Evolution rule: 2 rules

Falling rule: One grain falls down from one column to theright next column if their height difference is at least 2.

Adding rule: Adding one grain on one random columnsuch that the obtained one is a configuration

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 4: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Sand Piles Model

Sand Piles Model

A grain A configuration of SPM A stable configuration

.

................

................

......................................................................................

��

Falling rule

��

Adding rule

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 5: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Sand Piles Model

Problem

1. Stationary

2. Structure

3. Uniqueness

4. Time

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 6: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Sand Piles Model

Well known results on SPM

� Goles+Kiwi (1993): falling rule: SPM(n) is of a latticestructure, unique fixed point

� Goles+Morvan+Phan (1998): falling rule: Describe allelements of SPM(n), show the recursive structure

� Bak (1973): falling +adding rule: Show observation,investigations, examples and diagrams

� Phan+Tran (2006): falling+adding rule:Simulatemathematically, inverstigate the tranformations betweenstable configurations, show the lattice structure and measurethe time

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 7: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Sand Piles Model

Well known results on SPM

� Goles+Kiwi (1993): falling rule: SPM(n) is of a latticestructure, unique fixed point

� Goles+Morvan+Phan (1998): falling rule: Describe allelements of SPM(n), show the recursive structure

� Bak (1973): falling +adding rule: Show observation,investigations, examples and diagrams

� Phan+Tran (2006): falling+adding rule:Simulatemathematically, inverstigate the tranformations betweenstable configurations, show the lattice structure and measurethe time

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 8: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Fundamental definitions

� Partition of the positive integer n is a k-tuple of positiveintegers a = (a1, . . . , ak) such thatk∑

i=1ai = n, a1 ≥ a2 ≥ · · · ≥ ak .

� Smooth partition is a partition (a1, a2, . . . , ak) such that0 ≤ ai − ai+1 ≤ 1.

� Strict partition is a partition (a1, a2, . . . , ak) such thatai − ai+1 ≥ 1.

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 9: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Fundamental definitions

� Partition of the positive integer n is a k-tuple of positiveintegers a = (a1, . . . , ak) such thatk∑

i=1ai = n, a1 ≥ a2 ≥ · · · ≥ ak .

� Smooth partition is a partition (a1, a2, . . . , ak) such that0 ≤ ai − ai+1 ≤ 1.

� Strict partition is a partition (a1, a2, . . . , ak) such thatai − ai+1 ≥ 1.

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 10: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Fundamental definitions

� Partition of the positive integer n is a k-tuple of positiveintegers a = (a1, . . . , ak) such thatk∑

i=1ai = n, a1 ≥ a2 ≥ · · · ≥ ak .

� Smooth partition is a partition (a1, a2, . . . , ak) such that0 ≤ ai − ai+1 ≤ 1.

� Strict partition is a partition (a1, a2, . . . , ak) such thatai − ai+1 ≥ 1.

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 11: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Fundamental definitions

� Partition of the positive integer n is a k-tuple of positiveintegers a = (a1, . . . , ak) such thatk∑

i=1ai = n, a1 ≥ a2 ≥ · · · ≥ ak .

� Smooth partition is a partition (a1, a2, . . . , ak) such that0 ≤ ai − ai+1 ≤ 1.

� Strict partition is a partition (a1, a2, . . . , ak) such thatai − ai+1 ≥ 1.

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 12: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Partitions

Strict partitionSmooth partition

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 13: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

� Young lattice is the lattice of all partitions ordered bycontainment

0

1

2

3

4

5

11

111

1111

11111

21

31211 22

2111 311221 4132

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 14: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Stable Sand Piles Model

� Configurations:are represented by partitions- The initial configuration is (0)- Stable configurations (temporary) are smooth partitions

� Evolution rule:- Falling rule: the same as the evolution rule of Sand PilesModel.- Adding rule: adding one grain on random column of asmooth partition.

� Stable Sand Piles Model (SSPM): Configurations are stable

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 15: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Stable Sand Piles Model

21

22

2

211

3

31

21122

211

1

0

1

11

111

1111

11111

211

2111 221

21

First elements of SSPM

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 16: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Main results

1. Properties of the SSPM- Configurations: smooth partitions- Structure: sublattice of Young lattice: Theorem 1

2. Avalanche- Minimal lenghth: Theorem 2- Maximal length: Theorem 3

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 17: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Main results

1. Properties of the SSPM- Configurations: smooth partitions- Structure: sublattice of Young lattice: Theorem 1

2. Avalanche- Minimal lenghth: Theorem 2- Maximal length: Theorem 3

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 18: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Main results

1. Properties of the SSPM- Configurations: smooth partitions- Structure: sublattice of Young lattice: Theorem 1

2. Avalanche- Minimal lenghth: Theorem 2- Maximal length: Theorem 3

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 19: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Lattice structure of SSPM

Theorem 1SSPM is sublattice of the Young lattice and isomorphism to thelattice of strict partitions.

Proof.

� Prove that the ordered set SSPM is isomorphism to the Strictby dual mapping.

� Show explicitly inf(a, b) and sup(a, b)

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 20: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

0

1

2

3

4

5

31

41 32

SSPM latticeStrict lattice

∼=

0

1

21

0

1

11

111

1111

11111

211

2111 221

21

2

3

4

5

11

111

1111

11111

21

31211 22

2111 311221 4132

Young lattice

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 21: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Stable Sand Piles Model

21

22

2

211

3

31

21122

211

1

0

1

11

111

1111

11111

211

2111 221

21

First elements of SSPM

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 22: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Minimal length

By upside down construction

Theorem 2

1. The minimal length from the initial configuration (0) to aequals w(a).

2. The minimal length from a to b equals w(a) − w(b),

where w(a) =k∑

i=1

ai is the weight of a.

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 23: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Maximal length

c1 c2 c3 c4

25

14

1. Difficulties:� We don’t how adding will obtain the

maximal length� The global maximal length is different from

the sum of the local maximal lengths

2. Solutions:� Split a into maximal successive stairs� Assign one suitable value (energy) to each

grain� Calculate the sum of energy of all grains� Construct the way to reach the maximal

length.

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 24: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Maximal length

c1 c2 c3 c4

25

14

1. Difficulties:� We don’t how adding will obtain the

maximal length� The global maximal length is different from

the sum of the local maximal lengths

2. Solutions:� Split a into maximal successive stairs� Assign one suitable value (energy) to each

grain� Calculate the sum of energy of all grains� Construct the way to reach the maximal

length.

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 25: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Maximal length

Theorem 3Given a, b ∈ SSPM, b → a we have

1. The maximal length from 0 to a is

lm(a) =a1(a1 + 1)(2a1 − 1)

2+

(a|c1|+1 + 2|c1| − 1)ac1+1

2

+l∑

i=2

(a|c1|+···+|ci−1|+1 + 2|ci−1| − 3)a|c1|+···+|ci−1| + 1

2

Where c1, c2, . . . , cl are maximal successive stairs of a.

2. The maximal length from b to a is:∑

(i ,j)∈∆(a,b)

ea(i , j),

where ∆(a, b) are grains of a not belonging to b.

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 26: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Maximal length

Theorem 3Given a, b ∈ SSPM, b → a we have

1. The maximal length from 0 to a is

lm(a) =a1(a1 + 1)(2a1 − 1)

2+

(a|c1|+1 + 2|c1| − 1)ac1+1

2

+l∑

i=2

(a|c1|+···+|ci−1|+1 + 2|ci−1| − 3)a|c1|+···+|ci−1| + 1

2

Where c1, c2, . . . , cl are maximal successive stairs of a.

2. The maximal length from b to a is:∑

(i ,j)∈∆(a,b)

ea(i , j),

where ∆(a, b) are grains of a not belonging to b.

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 27: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Fundamental definitionsStable Sand Piles ModelMain resultsMinimal and maximal length

Maximal length

Theorem 3Given a, b ∈ SSPM, b → a we have

1. The maximal length from 0 to a is

lm(a) =a1(a1 + 1)(2a1 − 1)

2+

(a|c1|+1 + 2|c1| − 1)ac1+1

2

+l∑

i=2

(a|c1|+···+|ci−1|+1 + 2|ci−1| − 3)a|c1|+···+|ci−1| + 1

2

Where c1, c2, . . . , cl are maximal successive stairs of a.

2. The maximal length from b to a is:∑

(i ,j)∈∆(a,b)

ea(i , j),

where ∆(a, b) are grains of a not belonging to b.

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 28: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Maximal length

Example

11

1

2

22

3

3

4

4

5

1

2 1

11

1

2

22

3

3

4 51

21

4

2 2

a=(4,3,2,2,2,1,1) b=(3,2,2,1,1)

lm(a) = 34 l(a, b)=12

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 29: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Maximal length

From (3, 2, 2, 1, 1) to (4, 3, 2, 2, 2, 1)

x2x1

x2

x1

2

1

4

4 1

2

211

1

2

4

2 2

1

2

b=(3,2,2,1,1)

a=(4,3,2,2,2,1,1)

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 30: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Maximal length

Difference between lm(a, b) and lm(a) − lm(b)

0

0

0

1

1

22 3 1

0

00

1

1

2

2 3 4

01

3 0

1 1

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 31: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Maximal length

Future works

� Stability of Bidimention Sand Piles Model

� Two directions Sand Piles Model

� Other modified Sand Piles Models

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 32: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Maximal length

Thank you for your attention:-)

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 33: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Containment orderDual mapping

Containment order

a ≤ b if and only if ai ≥ bi for all i = 1, 2, . . . ,min{l(a), l(b)}.

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 34: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Containment orderDual mapping

Dual mapping

a=(4,3,2,2,1) a*=(5,4,2,1)

H.D.Phan and T.H.Tran Stability of the Sand Piles Model

Page 35: Stability of the Sand Piles Modelluigi.santocanale/... · H.D.Phan and T.H.Tran Stability of the Sand Piles Model. Introduction Stable Sand Piles Model Some examples Additions Fundamental

IntroductionStable Sand Piles Model

Some examplesAdditions

Containment orderDual mapping

From (0) to (4, 3, 2, 2, 2, 1)

1111

222

33 4

x2

1111

222

33 4

x24

5

1111

222

33 4

4x1

15 2 2

1111

222

33 4

4 15 2

a=(4,3,2,2,2,1,1)

x10

(0)

H.D.Phan and T.H.Tran Stability of the Sand Piles Model