Upload
others
View
0
Download
0
Embed Size (px)
Citation preview
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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