Perturbation method for determining the group of invariance of hierarchical models

Size: px
Start display at page:

Download "Perturbation method for determining the group of invariance of hierarchical models"

Transcription

1 Perturbation method for determining the group of invariance of hierarchical models /11/27 ( ) 2009/11/27 1 / 31

2 2 3 p 11 p 12 p 13 p 21 p 22 p 23 (p ij 0, i;j p ij = 1). p ij = a i b j log p ij = α i + β j. (log p ij ) (α i ) (β j ) (1, j) (2, j) ( ) 2009/11/27 2 / 31

3 ( ) 2009/11/27 3 / 31

4 m (p i1 i m ) R I 1ˆ ˆI m. (log p i1 i m ) L, L L = {(α i + β j )}. S I1ˆ ˆI m. Problem (Aoki & Takemura 2008, J. Symbolic Comput.) L G S I1ˆ ˆI m Sei, T., Aoki, S. and Takemura, A. (2009). Perturbation method for determining the group of invariance of hierarchical models, Advances in Applied Mathematics, 43 (4), ( ) 2009/11/27 4 / 31

5 1 2 (setwise stabilizer) ( ) 2009/11/27 5 / 31

6 I = m j=1 I j, I j = {1,..., I j }. (p i ) i2i I p i = K k=1 qa k(i) k ( (log p i ) span(a k )) F(t) = {x i A k(i)x i = t k } Remark: K[p] p x i i ( P ) i q A k(i)x i k K[q]. i k (Diaconis & Strumfels 1998). ( ) 2009/11/27 6 / 31

7 2 = x i+ x +j F({r i }, {c j }) = {{x ij } x i+ = r i, x +j = c j }. move: 2 F({r i }, {c j }) move j j M(i, i 0, j, j 0 ) = i +1 1 i 1 +1 {M(i, i 0, j, j 0 )} 1 M(1, 2, 1, 2) ( ) 2009/11/27 7 / 31

8 {{1, 2}, {2, 3}} log p ijk = α ij + β jk M = (z ijk ) j 0 (z ijk ) j=j0 = k i , OK. (Dobra 2003 ) (Aoki & Takemura 2003 ) ( ) 2009/11/27 8 / 31

9 3 log p ijk = α ij + β jk + γ ik. Table: 3 3 K (Aoki & Takemura 2003) K # unique minimal MB # reduced GB # orbits in the MB ( ) 2009/11/27 9 / 31

10 (setwise stabilizer) I = m j=1 I j, I j = {1,..., I j }. (log p i ) i2i L. S I S I = {g : I I one to one}. g S I R I (gx) i = x g`1 (i). g(hx) = (gh)x. L g gl := {gx x L}. L (setwise stabilizer) G L := {g S I gl = L}. ( ) 2009/11/27 10 / 31

11 (setwise stabilizer) G L = {g S I gl = L} L Problem (Aoki & Takemura 2008 ) L G L Remark G L = G L? L? = {x i x iy i = 0, y L} L? = ker A L move ker A G L ( ) 2009/11/27 11 / 31

12 (setwise stabilizer) F = {{1},..., {m}} (Aoki & Takemura, JSC2008) ( ) G L = S I1 S Im, (τ jj 0) Ij =I 0 j τ jj 0 : (, i j,, i j 0, ) (, i j 0,, i j, ) 1 3 F = {{1, 2}, {1, 3}, {2, 3}} 2 Hardy-Weinberg / ( ) 2009/11/27 12 / 31

13 (setwise stabilizer) 2 log p ij = α i + β j. I 1 = I 2 G r( ) = S I1 S I2, ( ) 2009/11/27 13 / 31

14 Lauritzen (1996). m: m I j = {1,..., I j }: j (j = 1,..., m) I = m j=1 I j: : [m] = {1,..., m} F := red( ): m = 3, = {, {1}, {2}, {3}, {1, 2}, {2, 3}} F = {{1, 2}, {2, 3}} ( ) 2009/11/27 14 / 31

15 Definition F (log p i ) L F := D2F L D, L D := {i D }. m = 3, F = {{1, 2}, {2, 3}} log p ijk = α ij + β jk G F := G LF = {g S I gl F = L F }. ( ) 2009/11/27 15 / 31

16 1 wreath product G F. (S I1 ) I 2 = {g : I 2 S I1 } = I 2 I 1 (S I1 ) I 2 S I2 wreath product P j2p (S I j ) A(j) generalized wreath product A(ρ) ρ P = {1, 2, 3}, 1 < 2, 3 < 2 (S I1 ) I 2 S I2 (S I3 ) I 2. log p i1 i 2 i 3 = α i1 i 2 + β i2 i 3 ( ) 2009/11/27 16 / 31

17 2 pseudofactor poset F P {3} {4} {1} {2} {5,6} i j def ( D F (i D j D)). P := [m]/, pseudofactor ρ, ρ 0 P ρ ρ 0 def ( D F (ρ D ρ 0 D)). ( ) 2009/11/27 17 / 31

18 2 pseudofactor poset Remark. 1 pseudofactor poset P intersection poset Q F P Q φ {1} {2} {3} {1,2} {1,3} {2,3} P Q 2 pseudofactor poset poset Problem ( ) poset pseudofactor poset ( ) 2009/11/27 18 / 31

19 Theorem ( ) F G F. G F = (S Ij ) I A(j). j2p ρ pseudofactor poset, A(ρ) ρ I D := j2d I j (D F). j I j 3. ( ) 2009/11/27 19 / 31

20 1 m = 3, F = {{1, 2}, {2, 3}}. {2} {1} {3} G F = (S I1 ) I 2 S I2 (S I3 ) I 2. ( ) 2009/11/27 20 / 31

21 2. m = 5, F = {{1, 3}, {2, 4}, {3, 4, 5}} {3} {4} 4 2 {1} {2} {5} G F = (S I1 ) I 3 (S I2 ) I 4 S I3 S I4 (S I5 ) I f3;4g ( ) 2009/11/27 21 / 31

22 2 ( ) m = 5, F = {{1, 3}, {2, 4}, {3, 4, 5}}. G F = (S I1 ) I f3g (S I2 ) I f4g S I3 S I4 (S I5 ) I 3;4. 2 move (indispensable) M 1 = (11111)(12211) (12111)(11211), M 2 = (11112)(12211) (12112)(11211). M 1 M 2, (i 3 i 4 ) = (11) i 5 = 1, 2 M 1 = (11111)(12211) (12111)(11211), M 2 = (11112)(12211) (12112)(11211). ( ) 2009/11/27 22 / 31

23 3,. m = 6, F = {{1, 4, 5}, {2, 5, 6}, {3, 4, 6}}. ({4, 5, 6} / F). 1 {4} {5} {6} {1} {2} {3} G F = (S I1 ) I f4;5g (S I2 ) I f5;6g (S I3 ) I f4;6g S I4 S I5 S I6 ( ) 2009/11/27 23 / 31

24 (Russell & Jarvis 2006) ( ) 2009/11/27 24 / 31

25 3 4 9 (x ijklc ) (Lawrence lifting). x ij++c = x i+k+c = x ++klc = x ijkl+ = 1.. F = {{1, 2, 5}, {1, 3, 5}, {3, 4, 5}, {1, 2, 3, 4}} , S I1 (S I2 ) I 1 S I3 (S I4 ) I 3 S I5.. ( ) 2009/11/27 25 / 31

26 Theorem ( ) G F = j2p (S I j ) I A(j). 1 (Bailey et al ) G fdg = (S Ij ) I A(j) D2F j2p 2 G F D2F G fdg 3 D 0 = argmin D2F I D G F D2FnfD 0 g G fdg 4 G F G fd0 g 3, 4 perturbation method ( ) 2009/11/27 26 / 31

27 ( 1/3) I 1 I 2 F = {{1}, {2}} G F = S I1 S I2 I 1 < I 2 I 1 = 2, I 2 = 4 perturbation x = g G F gx = , ,, ( ) 2009/11/27 27 / 31

28 ( 2/3) gx 1 1 gx L = {(α i + β j )} gx = 1 0. (1) gx = α 1 + β 1 α 1 + β 2 α 1 + β 3 α 1 + β 4 α 2 + β 1 α 2 + β 2 α 2 + β 3 α 2 + β (gx) 1 (gx) 2 = α 1 α 2 α 1 α 2 α 1 α 2 α 1 α 2 (2) (1), (2) gx 1 1 ( ) 2009/11/27 28 / 31

29 ( 3/3) g G F g : ,, g G f2g g G f1g g N := L F L > f2g g N perturbation g G f1g ( ) 2009/11/27 29 / 31

30 ,. e.g. structural zero, HSM,... pseudofactor poset. ( ) 2009/11/27 30 / 31

31 Bibliography S. Aoki & A. Takemura (2003). Minimal basis for a connected Markov chain over 3 ˆ 3 ˆ K contingency tables with fixed two-dimensional marginals. Aust. N. Z. J. Stardust., 45 (2), S. Aoki & A. Takemura (2008). The largest group of invariance for Markov bases and toric ideals. J. Symbolic Com-put., 43 (5), R. A. Bailey, C. E. Praeger, C. A. Rowley & T. P. Speed (1983). Generalized wreath products of permutation groups. Proc. London Math. Soc., 47 (3), D. A. Cox. (2007). Gröbner basis tutorial. Part II. A sampler from recent developments. (available from Cox s homepage). A. Dobra (2003). Markov bases for decomposable graphical models, Bernoulli, 9 (6), R. Fontana & M.-P. Rogantin (2008). Indicator function and sudoku designs, in press. E. Russel & F. Jarvis (2006), Mathematics of Sudoku II, Preprint. T. Sei, S. Aoki & A. Takemura (2008). Perturbation method for determining the group of invariance of hierarchical models, Advances in Applied Mathematics, 43 (4), (arxiv: v2) ( ) 2009/11/27 31 / 31

1. 1 A : l l : (1) l m (m 3) (2) m (3) n (n 3) (4) A α, β γ α β + γ = 2 m l lm n nα nα = lm. α = lm n. m lm 2β 2β = lm β = lm 2. γ l 2. 3

1. 1 A : l l : (1) l m (m 3) (2) m (3) n (n 3) (4) A α, β γ α β + γ = 2 m l lm n nα nα = lm. α = lm n. m lm 2β 2β = lm β = lm 2. γ l 2. 3 1. 1 A : l l : (1) l m (m 3) (2) m (3) n (n 3) (4) A 2 1 2 1 2 3 α, β γ α β + γ = 2 m l lm n nα nα = lm. α = lm n. m lm 2β 2β = lm β = lm 2. γ l 2. 3 4 P, Q R n = {(x 1, x 2,, x n ) ; x 1, x 2,, x n R}

More information

v v = v 1 v 2 v 3 (1) R = (R ij ) (2) R (R 1 ) ij = R ji (3) 3 R ij R ik = δ jk (4) i=1 δ ij Kronecker δ ij = { 1 (i = j) 0 (i

v v = v 1 v 2 v 3 (1) R = (R ij ) (2) R (R 1 ) ij = R ji (3) 3 R ij R ik = δ jk (4) i=1 δ ij Kronecker δ ij = { 1 (i = j) 0 (i 1. 1 1.1 1.1.1 1.1.1.1 v v = v 1 v 2 v 3 (1) R = (R ij ) (2) R (R 1 ) ij = R ji (3) R ij R ik = δ jk (4) δ ij Kronecker δ ij = { 1 (i = j) 0 (i j) (5) 1 1.1. v1.1 2011/04/10 1. 1 2 v i = R ij v j (6) [

More information

09 II 09/12/ (3D ) f(, y) = 2 + y 2 3D- 1 f(0, 0) = 2 f(1, 0) = 3 f(0, 1) = 4 f(1, 1) = 5 f( 1, 2) = 6 f(0, 1) = z y (3D ) f(, y) = 2 + y

09 II 09/12/ (3D ) f(, y) = 2 + y 2 3D- 1 f(0, 0) = 2 f(1, 0) = 3 f(0, 1) = 4 f(1, 1) = 5 f( 1, 2) = 6 f(0, 1) = z y (3D ) f(, y) = 2 + y 09 II 09/12/21 1 1 7 1.1 I 2D II 3D f() = 3 6 2 + 9 2 f(, y) = 2 2 + 2y + y 2 6 4y f(1) = 1 3 6 1 2 9 1 2 = 2 y = f() f(3, 2) = 2 3 2 + 2 3 2 + 2 2 6 3 4 2 = 8 z = f(, y) y 2 1 z 8 3 2 y 1 ( y ) 1 (0,

More information

1 911 9001030 9:00 A B C D E F G H I J K L M 1A0900 1B0900 1C0900 1D0900 1E0900 1F0900 1G0900 1H0900 1I0900 1J0900 1K0900 1L0900 1M0900 9:15 1A0915 1B0915 1C0915 1D0915 1E0915 1F0915 1G0915 1H0915 1I0915

More information

‚åŁÎ“·„´Šš‡ðŠp‡¢‡½‹âfi`fiI…A…‰…S…−…Y…•‡ÌMarkovŸA“½fiI›ð’Í

‚åŁÎ“·„´Šš‡ðŠp‡¢‡½‹âfi`fiI…A…‰…S…−…Y…•‡ÌMarkovŸA“½fiI›ð’Í Markov 2009 10 2 Markov 2009 10 2 1 / 25 1 (GA) 2 GA 3 4 Markov 2009 10 2 2 / 25 (GA) (GA) L ( 1) I := {0, 1} L f : I (0, ) M( 2) S := I M GA (GA) f (i) i I Markov 2009 10 2 3 / 25 (GA) ρ(i, j), i, j I

More information

X G P G (X) G BG [X, BG] S 2 2 2 S 2 2 S 2 = { (x 1, x 2, x 3 ) R 3 x 2 1 + x 2 2 + x 2 3 = 1 } R 3 S 2 S 2 v x S 2 x x v(x) T x S 2 T x S 2 S 2 x T x S 2 = { ξ R 3 x ξ } R 3 T x S 2 S 2 x x T x S 2

More information

O1-1 O1-2 O1-3 O1-4 O1-5 O1-6

O1-1 O1-2 O1-3 O1-4 O1-5 O1-6 O1-1 O1-2 O1-3 O1-4 O1-5 O1-6 O1-7 O1-8 O1-9 O1-10 O1-11 O1-12 O1-13 O1-14 O1-15 O1-16 O1-17 O1-18 O1-19 O1-20 O1-21 O1-22 O1-23 O1-24 O1-25 O1-26 O1-27 O1-28 O1-29 O1-30 O1-31 O1-32 O1-33 O1-34 O1-35

More information

2019 1 5 0 3 1 4 1.1.................... 4 1.1.1......................... 4 1.1.2........................ 5 1.1.3................... 5 1.1.4........................ 6 1.1.5......................... 6 1.2..........................

More information

,, Poisson 3 3. t t y,, y n Nµ, σ 2 y i µ + ɛ i ɛ i N0, σ 2 E[y i ] µ * i y i x i y i α + βx i + ɛ i ɛ i N0, σ 2, α, β *3 y i E[y i ] α + βx i

,, Poisson 3 3. t t y,, y n Nµ, σ 2 y i µ + ɛ i ɛ i N0, σ 2 E[y i ] µ * i y i x i y i α + βx i + ɛ i ɛ i N0, σ 2, α, β *3 y i E[y i ] α + βx i Armitage.? SAS.2 µ, µ 2, µ 3 a, a 2, a 3 a µ + a 2 µ 2 + a 3 µ 3 µ, µ 2, µ 3 µ, µ 2, µ 3 log a, a 2, a 3 a µ + a 2 µ 2 + a 3 µ 3 µ, µ 2, µ 3 * 2 2. y t y y y Poisson y * ,, Poisson 3 3. t t y,, y n Nµ,

More information

1 Abstract 2 3 n a ax 2 + bx + c = 0 (a 0) (1) ( x + b ) 2 = b2 4ac 2a 4a 2 D = b 2 4ac > 0 (1) 2 D = 0 D < 0 x + b 2a = ± b2 4ac 2a b ± b 2

1 Abstract 2 3 n a ax 2 + bx + c = 0 (a 0) (1) ( x + b ) 2 = b2 4ac 2a 4a 2 D = b 2 4ac > 0 (1) 2 D = 0 D < 0 x + b 2a = ± b2 4ac 2a b ± b 2 1 Abstract n 1 1.1 a ax + bx + c = 0 (a 0) (1) ( x + b ) = b 4ac a 4a D = b 4ac > 0 (1) D = 0 D < 0 x + b a = ± b 4ac a b ± b 4ac a b a b ± 4ac b i a D (1) ax + bx + c D 0 () () (015 8 1 ) 1. D = b 4ac

More information

,, Andrej Gendiar (Density Matrix Renormalization Group, DMRG) 1 10 S.R. White [1, 2] 2 DMRG ( ) [3, 2] DMRG Baxter [4, 5] 2 Ising 2 1 Ising 1 1 Ising

,, Andrej Gendiar (Density Matrix Renormalization Group, DMRG) 1 10 S.R. White [1, 2] 2 DMRG ( ) [3, 2] DMRG Baxter [4, 5] 2 Ising 2 1 Ising 1 1 Ising ,, Andrej Gendiar (Density Matrix Renormalization Group, DMRG) 1 10 S.R. White [1, 2] 2 DMRG ( ) [3, 2] DMRG Baxter [4, 5] 2 Ising 2 1 Ising 1 1 Ising Model 1 Ising 1 Ising Model N Ising (σ i = ±1) (Free

More information

第5章 偏微分方程式の境界値問題

第5章 偏微分方程式の境界値問題 October 5, 2018 1 / 113 4 ( ) 2 / 113 Poisson 5.1 Poisson ( A.7.1) Poisson Poisson 1 (A.6 ) Γ p p N u D Γ D b 5.1.1: = Γ D Γ N 3 / 113 Poisson 5.1.1 d {2, 3} Lipschitz (A.5 ) Γ D Γ N = \ Γ D Γ p Γ N Γ

More information

n (1.6) i j=1 1 n a ij x j = b i (1.7) (1.7) (1.4) (1.5) (1.4) (1.7) u, v, w ε x, ε y, ε x, γ yz, γ zx, γ xy (1.8) ε x = u x ε y = v y ε z = w z γ yz

n (1.6) i j=1 1 n a ij x j = b i (1.7) (1.7) (1.4) (1.5) (1.4) (1.7) u, v, w ε x, ε y, ε x, γ yz, γ zx, γ xy (1.8) ε x = u x ε y = v y ε z = w z γ yz 1 2 (a 1, a 2, a n ) (b 1, b 2, b n ) A (1.1) A = a 1 b 1 + a 2 b 2 + + a n b n (1.1) n A = a i b i (1.2) i=1 n i 1 n i=1 a i b i n i=1 A = a i b i (1.3) (1.3) (1.3) (1.1) (ummation convention) a 11 x

More information

0. I II I II (1) linear type: GL( ), Sp( ), O( ), (2) loop type: loop current Kac-Moody affine, hyperbolic (3) diffeo t

0. I II I II (1) linear type: GL( ), Sp( ), O( ), (2) loop type: loop current Kac-Moody affine, hyperbolic (3) diffeo t e-mail: [email protected] 0. I II I II (1) linear type: GL( ), Sp( ), O( ), (2) loop type: loop current Kac-Moody affine, hyperbolic (3) diffeo type: diffeo universal Teichmuller modular I. I-. Weyl

More information

24 I ( ) 1. R 3 (i) C : x 2 + y 2 1 = 0 (ii) C : y = ± 1 x 2 ( 1 x 1) (iii) C : x = cos t, y = sin t (0 t 2π) 1.1. γ : [a, b] R n ; t γ(t) = (x

24 I ( ) 1. R 3 (i) C : x 2 + y 2 1 = 0 (ii) C : y = ± 1 x 2 ( 1 x 1) (iii) C : x = cos t, y = sin t (0 t 2π) 1.1. γ : [a, b] R n ; t γ(t) = (x 24 I 1.1.. ( ) 1. R 3 (i) C : x 2 + y 2 1 = 0 (ii) C : y = ± 1 x 2 ( 1 x 1) (iii) C : x = cos t, y = sin t (0 t 2π) 1.1. γ : [a, b] R n ; t γ(t) = (x 1 (t), x 2 (t),, x n (t)) ( ) ( ), γ : (i) x 1 (t),

More information

1 12 *1 *2 (1991) (1992) (2002) (1991) (1992) (2002) 13 (1991) (1992) (2002) *1 (2003) *2 (1997) 1

1 12 *1 *2 (1991) (1992) (2002) (1991) (1992) (2002) 13 (1991) (1992) (2002) *1 (2003) *2 (1997) 1 2005 1 1991 1996 5 i 1 12 *1 *2 (1991) (1992) (2002) (1991) (1992) (2002) 13 (1991) (1992) (2002) *1 (2003) *2 (1997) 1 2 13 *3 *4 200 1 14 2 250m :64.3km 457mm :76.4km 200 1 548mm 16 9 12 589 13 8 50m

More information

y = x x R = 0. 9, R = σ $ = y x w = x y x x w = x y α ε = + β + x x x y α ε = + β + γ x + x x x x' = / x y' = y/ x y' =

y = x x R = 0. 9, R = σ $ = y x w = x y x x w = x y α ε = + β + x x x y α ε = + β + γ x + x x x x' = / x y' = y/ x y' = y x = α + β + ε =,, ε V( ε) = E( ε ) = σ α $ $ β w ( 0) σ = w σ σ y α x ε = + β + w w w w ε / w ( w y x α β ) = α$ $ W = yw βwxw $β = W ( W) ( W)( W) w x x w x x y y = = x W y W x y x y xw = y W = w w

More information

A11 (1993,1994) 29 A12 (1994) 29 A13 Trefethen and Bau Numerical Linear Algebra (1997) 29 A14 (1999) 30 A15 (2003) 30 A16 (2004) 30 A17 (2007) 30 A18

A11 (1993,1994) 29 A12 (1994) 29 A13 Trefethen and Bau Numerical Linear Algebra (1997) 29 A14 (1999) 30 A15 (2003) 30 A16 (2004) 30 A17 (2007) 30 A18 2013 8 29y, 2016 10 29 1 2 2 Jordan 3 21 3 3 Jordan (1) 3 31 Jordan 4 32 Jordan 4 33 Jordan 6 34 Jordan 8 35 9 4 Jordan (2) 10 41 x 11 42 x 12 43 16 44 19 441 19 442 20 443 25 45 25 5 Jordan 26 A 26 A1

More information

N cos s s cos ψ e e e e 3 3 e e 3 e 3 e

N cos s s cos ψ e e e e 3 3 e e 3 e 3 e 3 3 5 5 5 3 3 7 5 33 5 33 9 5 8 > e > f U f U u u > u ue u e u ue u ue u e u e u u e u u e u N cos s s cos ψ e e e e 3 3 e e 3 e 3 e 3 > A A > A E A f A A f A [ ] f A A e > > A e[ ] > f A E A < < f ; >

More information

compact compact Hermann compact Hermite ( - ) Hermann Hermann ( ) compact Hermite Lagrange compact Hermite ( ) a, Σ a {0} a 3 1

compact compact Hermann compact Hermite ( - ) Hermann Hermann ( ) compact Hermite Lagrange compact Hermite ( ) a, Σ a {0} a 3 1 014 5 4 compact compact Hermann compact Hermite ( - ) Hermann Hermann ( ) compact Hermite Lagrange compact Hermite ( ) 1 1.1. a, Σ a {0} a 3 1 (1) a = span(σ). () α, β Σ s α β := β α,β α α Σ. (3) α, β

More information

index calculus

index calculus index calculus 2008 3 8 1 generalized Weil descent p :, E/F p 3 : Y 2 = f(x), where f(x) = X 3 + AX + B, A F p, B F p 3 E(F p 3) 3 : Generalized Weil descent E(F p 4) 2 Index calculus Plain version Double-large-prime

More information

II 2 3.,, A(B + C) = AB + AC, (A + B)C = AC + BC. 4. m m A, m m B,, m m B, AB = BA, A,, I. 5. m m A, m n B, AB = B, A I E, 4 4 I, J, K

II 2 3.,, A(B + C) = AB + AC, (A + B)C = AC + BC. 4. m m A, m m B,, m m B, AB = BA, A,, I. 5. m m A, m n B, AB = B, A I E, 4 4 I, J, K II. () 7 F 7 = { 0,, 2, 3, 4, 5, 6 }., F 7 a, b F 7, a b, F 7,. (a) a, b,,. (b) 7., 4 5 = 20 = 2 7 + 6, 4 5 = 6 F 7., F 7,., 0 a F 7, ab = F 7 b F 7. (2) 7, 6 F 6 = { 0,, 2, 3, 4, 5 },,., F 6., 0 0 a F

More information

数学Ⅱ演習(足助・09夏)

数学Ⅱ演習(足助・09夏) II I 9/4/4 9/4/2 z C z z z z, z 2 z, w C zw z w 3 z, w C z + w z + w 4 t R t C t t t t t z z z 2 z C re z z + z z z, im z 2 2 3 z C e z + z + 2 z2 + 3! z3 + z!, I 4 x R e x cos x + sin x 2 z, w C e z+w

More information

n ξ n,i, i = 1,, n S n ξ n,i n 0 R 1,.. σ 1 σ i .10.14.15 0 1 0 1 1 3.14 3.18 3.19 3.14 3.14,. ii 1 1 1.1..................................... 1 1............................... 3 1.3.........................

More information

x V x x V x, x V x = x + = x +(x+x )=(x +x)+x = +x = x x = x x = x =x =(+)x =x +x = x +x x = x ( )x = x =x =(+( ))x =x +( )x = x +( )x ( )x = x x x R

x V x x V x, x V x = x + = x +(x+x )=(x +x)+x = +x = x x = x x = x =x =(+)x =x +x = x +x x = x ( )x = x =x =(+( ))x =x +( )x = x +( )x ( )x = x x x R V (I) () (4) (II) () (4) V K vector space V vector K scalor K C K R (I) x, y V x + y V () (x + y)+z = x +(y + z) (2) x + y = y + x (3) V x V x + = x (4) x V x + x = x V x x (II) x V, α K αx V () (α + β)x

More information

S K(S) = T K(T ) T S K n (1.1) n {}}{ n K n (1.1) 0 K 0 0 K Q p K Z/pZ L K (1) L K L K (2) K L L K [L : K] 1.1.

S K(S) = T K(T ) T S K n (1.1) n {}}{ n K n (1.1) 0 K 0 0 K Q p K Z/pZ L K (1) L K L K (2) K L L K [L : K] 1.1. () 1.1.. 1. 1.1. (1) L K (i) 0 K 1 K (ii) x, y K x + y K, x y K (iii) x, y K xy K (iv) x K \ {0} x 1 K K L L K ( 0 L 1 L ) L K L/K (2) K M L M K L 1.1. C C 1.2. R K = {a + b 3 i a, b Q} Q( 2, 3) = Q( 2

More information

Trapezoidal Rule θ = 1/ x n x n 1 t = 1 [f(t n 1, x n 1 ) + f(t n, x n )] (6) 1. dx dt = f(t, x), x(t 0) = x 0 (7) t [t 0, t 1 ] f t [t 0, t 1 ], x x

Trapezoidal Rule θ = 1/ x n x n 1 t = 1 [f(t n 1, x n 1 ) + f(t n, x n )] (6) 1. dx dt = f(t, x), x(t 0) = x 0 (7) t [t 0, t 1 ] f t [t 0, t 1 ], x x University of Hyogo 8 8 1 d x(t) =f(t, x(t)), dt (1) x(t 0 ) =x 0 () t n = t 0 + n t x x n n x n x 0 x i i = 0,..., n 1 x n x(t) 1 1.1 1 1 1 0 θ 1 θ x n x n 1 t = θf(t n 1, x n 1 ) + (1 θ)f(t n, x n )

More information

No.004 [1] J. ( ) ( ) (1968) [2] Morse (1997) [3] (1988) 1

No.004 [1] J. ( ) ( ) (1968) [2] Morse (1997) [3] (1988) 1 No.004 [1] J. ( ) ( ) (1968) [2] Morse (1997) [3] (1988) 1 1 (1) 1.1 X Y f, g : X Y { F (x, 0) = f(x) F (x, 1) = g(x) F : X I Y f g f g F f g 1.2 X Y X Y gf id X, fg id Y f : X Y, g : Y X X Y X Y (2) 1.3

More information

ver Web

ver Web ver201723 Web 1 4 11 4 12 5 13 7 2 9 21 9 22 10 23 10 24 11 3 13 31 n 13 32 15 33 21 34 25 35 (1) 27 4 30 41 30 42 32 43 36 44 (2) 38 45 45 46 45 5 46 51 46 52 48 53 49 54 51 55 54 56 58 57 (3) 61 2 3

More information

6 6.1 L r p hl = r p (6.1) 1, 2, 3 r =(x, y, z )=(r 1,r 2,r 3 ), p =(p x,p y,p z )=(p 1,p 2,p 3 ) (6.2) hl i = jk ɛ ijk r j p k (6.3) ɛ ijk Levi Civit

6 6.1 L r p hl = r p (6.1) 1, 2, 3 r =(x, y, z )=(r 1,r 2,r 3 ), p =(p x,p y,p z )=(p 1,p 2,p 3 ) (6.2) hl i = jk ɛ ijk r j p k (6.3) ɛ ijk Levi Civit 6 6.1 L r p hl = r p (6.1) 1, 2, 3 r =(x, y, z )=(r 1,r 2,r 3 ), p =(p x,p y,p z )=(p 1,p 2,p 3 ) (6.2) hl i = jk ɛ ijk r j p k (6.3) ɛ ijk Levi Civita ɛ 123 =1 0 r p = 2 2 = (6.4) Planck h L p = h ( h

More information

II Time-stamp: <05/09/30 17:14:06 waki> ii

II Time-stamp: <05/09/30 17:14:06 waki> ii II [email protected] 18 1 30 II Time-stamp: ii 1 1 1.1.................................................. 1 1.2................................................... 3 1.3..................................................

More information

Siegel Hecke 1 Siege Hecke L L Fourier Dirichlet Hecke Euler L Euler Fourier Hecke [Fr] Andrianov [An2] Hecke Satake L van der Geer ([vg]) L [Na1] [Yo

Siegel Hecke 1 Siege Hecke L L Fourier Dirichlet Hecke Euler L Euler Fourier Hecke [Fr] Andrianov [An2] Hecke Satake L van der Geer ([vg]) L [Na1] [Yo Siegel Hecke 1 Siege Hecke L L Fourier Dirichlet Hecke Euler L Euler Fourier Hecke [Fr] Andrianov [An2] Hecke Satake L van der Geer ([vg]) L [Na1] [Yo] 2 Hecke ( ) 0 1n J n =, Γ = Γ n = Sp(n, Z) = {γ GL(2n,

More information

No δs δs = r + δr r = δr (3) δs δs = r r = δr + u(r + δr, t) u(r, t) (4) δr = (δx, δy, δz) u i (r + δr, t) u i (r, t) = u i x j δx j (5) δs 2

No δs δs = r + δr r = δr (3) δs δs = r r = δr + u(r + δr, t) u(r, t) (4) δr = (δx, δy, δz) u i (r + δr, t) u i (r, t) = u i x j δx j (5) δs 2 No.2 1 2 2 δs δs = r + δr r = δr (3) δs δs = r r = δr + u(r + δr, t) u(r, t) (4) δr = (δx, δy, δz) u i (r + δr, t) u i (r, t) = u i δx j (5) δs 2 = δx i δx i + 2 u i δx i δx j = δs 2 + 2s ij δx i δx j

More information

Mazur [Ma1] Schlessinger [Sch] [SL] [Ma1] [Ma1] [Ma2] Galois [] 17 R m R R R M End R M) M R ut R M) M R R G R[G] R G Sets 1 Λ Noether Λ k Λ m Λ k C Λ

Mazur [Ma1] Schlessinger [Sch] [SL] [Ma1] [Ma1] [Ma2] Galois [] 17 R m R R R M End R M) M R ut R M) M R R G R[G] R G Sets 1 Λ Noether Λ k Λ m Λ k C Λ Galois ) 0 1 1 2 2 4 3 10 4 12 5 14 16 0 Galois Galois Galois TaylorWiles Fermat [W][TW] Galois Galois Galois 1 Noether 2 1 Mazur [Ma1] Schlessinger [Sch] [SL] [Ma1] [Ma1] [Ma2] Galois [] 17 R m R R R

More information

SO(3) 7 = = 1 ( r ) + 1 r r r r ( l ) (5.17) l = 1 ( sin θ ) + sin θ θ θ ϕ (5.18) χ(r)ψ(θ, ϕ) l ψ = αψ (5.19) l 1 = i(sin ϕ θ l = i( cos ϕ θ l 3 = i ϕ

SO(3) 7 = = 1 ( r ) + 1 r r r r ( l ) (5.17) l = 1 ( sin θ ) + sin θ θ θ ϕ (5.18) χ(r)ψ(θ, ϕ) l ψ = αψ (5.19) l 1 = i(sin ϕ θ l = i( cos ϕ θ l 3 = i ϕ SO(3) 71 5.7 5.7.1 1 ħ L k l k l k = iϵ kij x i j (5.117) l k SO(3) l z l ± = l 1 ± il = i(y z z y ) ± (z x x z ) = ( x iy) z ± z( x ± i y ) = X ± z ± z (5.118) l z = i(x y y x ) = 1 [(x + iy)( x i y )

More information

18 I ( ) (1) I-1,I-2,I-3 (2) (3) I-1 ( ) (100 ) θ ϕ θ ϕ m m l l θ ϕ θ ϕ 2 g (1) (2) 0 (3) θ ϕ (4) (3) θ(t) = A 1 cos(ω 1 t + α 1 ) + A 2 cos(ω 2 t + α

18 I ( ) (1) I-1,I-2,I-3 (2) (3) I-1 ( ) (100 ) θ ϕ θ ϕ m m l l θ ϕ θ ϕ 2 g (1) (2) 0 (3) θ ϕ (4) (3) θ(t) = A 1 cos(ω 1 t + α 1 ) + A 2 cos(ω 2 t + α 18 I ( ) (1) I-1,I-2,I-3 (2) (3) I-1 ( ) (100 ) θ ϕ θ ϕ m m l l θ ϕ θ ϕ 2 g (1) (2) 0 (3) θ ϕ (4) (3) θ(t) = A 1 cos(ω 1 t + α 1 ) + A 2 cos(ω 2 t + α 2 ), ϕ(t) = B 1 cos(ω 1 t + α 1 ) + B 2 cos(ω 2 t

More information

/ 2 n n n n x 1,..., x n 1 n 2 n R n n ndimensional Euclidean space R n vector point R n set space R n R n x = x 1 x n y = y 1 y n distance dx,

/ 2 n n n n x 1,..., x n 1 n 2 n R n n ndimensional Euclidean space R n vector point R n set space R n R n x = x 1 x n y = y 1 y n distance dx, 1 1.1 R n 1.1.1 3 xyz xyz 3 x, y, z R 3 := x y : x, y, z R z 1 3. n n x 1,..., x n x 1. x n x 1 x n 1 / 2 n n n n x 1,..., x n 1 n 2 n R n n ndimensional Euclidean space R n vector point 1.1.2 R n set

More information

211 [email protected] 1 R *1 n n R n *2 R n = {(x 1,..., x n ) x 1,..., x n R}. R R 2 R 3 R n R n R n D D R n *3 ) (x 1,..., x n ) f(x 1,..., x n ) f D *4 n 2 n = 1 ( ) 1 f D R n f : D R 1.1. (x,

More information

1 = = = (set) (element) a A a A a A a A a A {2, 5, (0, 1)}, [ 1, 1] = {x; 1 x 1}. (proposition) A = {x; P (x)} P (x) x x a A a A Remark. (i) {2, 0, 0,

1 = = = (set) (element) a A a A a A a A a A {2, 5, (0, 1)}, [ 1, 1] = {x; 1 x 1}. (proposition) A = {x; P (x)} P (x) x x a A a A Remark. (i) {2, 0, 0, 2005 4 1 1 2 2 6 3 8 4 11 5 14 6 18 7 20 8 22 9 24 10 26 11 27 http://matcmadison.edu/alehnen/weblogic/logset.htm 1 1 = = = (set) (element) a A a A a A a A a A {2, 5, (0, 1)}, [ 1, 1] = {x; 1 x 1}. (proposition)

More information

医系の統計入門第 2 版 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 第 2 版 1 刷発行時のものです.

医系の統計入門第 2 版 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます.   このサンプルページの内容は, 第 2 版 1 刷発行時のものです. 医系の統計入門第 2 版 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. http://www.morikita.co.jp/books/mid/009192 このサンプルページの内容は, 第 2 版 1 刷発行時のものです. i 2 t 1. 2. 3 2 3. 6 4. 7 5. n 2 ν 6. 2 7. 2003 ii 2 2013 10 iii 1987

More information

A S- hara/lectures/lectures-j.html r A = A 5 : 5 = max{ A, } A A A A B A, B A A A %

A S-   hara/lectures/lectures-j.html r A = A 5 : 5 = max{ A, } A A A A B A, B A A A % A S- http://www.math.kyushu-u.ac.jp/ hara/lectures/lectures-j.html r A S- 3.4.5. 9 phone: 9-8-444, e-mail: [email protected], http://www.math.kyushu-u.ac.jp/ hara/lectures/lectures-j.html Office

More information

(Basics of Proability Theory). (Probability Spacees ad Radom Variables,, (Ω, F, P ),, X,. (Ω, F, P ) (probability space) Ω ( ω Ω ) F ( 2 Ω ) Ω σ (σ-fi

(Basics of Proability Theory). (Probability Spacees ad Radom Variables,, (Ω, F, P ),, X,. (Ω, F, P ) (probability space) Ω ( ω Ω ) F ( 2 Ω ) Ω σ (σ-fi I (Basics of Probability Theory ad Radom Walks) 25 4 5 ( 4 ) (Preface),.,,,.,,,...,,.,.,,.,,. (,.) (Basics of Proability Theory). (Probability Spacees ad Radom Variables...............2, (Expectatios,

More information

1 1.1 R (ring) R1 R4 R1 R (commutative [abelian] group) R2 a, b, c R (ab)c = a(bc) (associative law) R3 a, b, c R a(b + c) = ab + ac, (a + b)c = ac +

1 1.1 R (ring) R1 R4 R1 R (commutative [abelian] group) R2 a, b, c R (ab)c = a(bc) (associative law) R3 a, b, c R a(b + c) = ab + ac, (a + b)c = ac + ALGEBRA II Hiroshi SUZUKI Department of Mathematics International Christian University 2004 1 1 1 2 2 1 3 3 1 4 4 1 5 5 1 6 6 1 7 7 1 7.1....................... 7 1 7.2........................... 7 4 8

More information

linearal1.dvi

linearal1.dvi 19 4 30 I 1 1 11 1 12 2 13 3 131 3 132 4 133 5 134 6 14 7 2 9 21 9 211 9 212 10 213 13 214 14 22 15 221 15 222 16 223 17 224 20 3 21 31 21 32 21 33 22 34 23 341 23 342 24 343 27 344 29 35 31 351 31 352

More information

III III 2010 PART I 1 Definition 1.1 (, σ-),,,, Borel( ),, (σ-) (M, F, µ), (R, B(R)), (C, B(C)) Borel Definition 1.2 (µ-a.e.), (in µ), (in L 1 (µ)). T

III III 2010 PART I 1 Definition 1.1 (, σ-),,,, Borel( ),, (σ-) (M, F, µ), (R, B(R)), (C, B(C)) Borel Definition 1.2 (µ-a.e.), (in µ), (in L 1 (µ)). T III III 2010 PART I 1 Definition 1.1 (, σ-),,,, Borel( ),, (σ-) (M, F, µ), (R, B(R)), (C, B(C)) Borel Definition 1.2 (µ-a.e.), (in µ), (in L 1 (µ)). Theorem 1.3 (Lebesgue ) lim n f n = f µ-a.e. g L 1 (µ)

More information

Macdonald, ,,, Macdonald. Macdonald,,,,,.,, Gauss,,.,, Lauricella A, B, C, D, Gelfand, A,., Heckman Opdam.,,,.,,., intersection,. Macdona

Macdonald, ,,, Macdonald. Macdonald,,,,,.,, Gauss,,.,, Lauricella A, B, C, D, Gelfand, A,., Heckman Opdam.,,,.,,., intersection,. Macdona Macdonald, 2015.9.1 9.2.,,, Macdonald. Macdonald,,,,,.,, Gauss,,.,, Lauricella A, B, C, D, Gelfand, A,., Heckman Opdam.,,,.,,., intersection,. Macdonald,, q., Heckman Opdam q,, Macdonald., 1 ,,. Macdonald,

More information

Einstein 1905 Lorentz Maxwell c E p E 2 (pc) 2 = m 2 c 4 (7.1) m E ( ) E p µ =(p 0,p 1,p 2,p 3 )=(p 0, p )= c, p (7.2) x µ =(x 0,x 1,x 2,x

Einstein 1905 Lorentz Maxwell c E p E 2 (pc) 2 = m 2 c 4 (7.1) m E ( ) E p µ =(p 0,p 1,p 2,p 3 )=(p 0, p )= c, p (7.2) x µ =(x 0,x 1,x 2,x 7 7.1 7.1.1 Einstein 1905 Lorentz Maxwell c E p E 2 (pc) 2 = m 2 c 4 (7.1) m E ( ) E p µ =(p 0,p 1,p 2,p 3 )=(p 0, p )= c, p (7.2) x µ =(x 0,x 1,x 2,x 3 )=(x 0, x )=(ct, x ) (7.3) E/c ct K = E mc 2 (7.4)

More information

I. (CREMONA ) : Cremona [C],., modular form f E f. 1., modular X H 1 (X, Q). modular symbol M-symbol, ( ) modular symbol., notation. H = { z = x

I. (CREMONA ) : Cremona [C],., modular form f E f. 1., modular X H 1 (X, Q). modular symbol M-symbol, ( ) modular symbol., notation. H = { z = x I. (CREMONA ) : Cremona [C],., modular form f E f. 1., modular X H 1 (X, Q). modular symbol M-symbol, ( ). 1.1. modular symbol., notation. H = z = x iy C y > 0, cusp H = H Q., Γ = PSL 2 (Z), G Γ [Γ : G]

More information

(Basics of Proability Theory). (Probability Spacees ad Radom Variables,, (Ω, F, P ),, X,. (Ω, F, P ) (probability space) Ω ( ω Ω ) F ( 2 Ω ) Ω σ (σ-fi

(Basics of Proability Theory). (Probability Spacees ad Radom Variables,, (Ω, F, P ),, X,. (Ω, F, P ) (probability space) Ω ( ω Ω ) F ( 2 Ω ) Ω σ (σ-fi II (Basics of Probability Theory ad Radom Walks) (Preface),.,,,.,,,...,,.,.,,.,,. (Basics of Proability Theory). (Probability Spacees ad Radom Variables...............2, (Expectatios, Meas).............................

More information