THE SPLITTING SUBSPACE CONJECTURE
|
|
- Ashlee Gregory
- 5 years ago
- Views:
Transcription
1 THE SPLITTING SUBSPAE ONJETURE ERI HEN AND DENNIS TSENG Abtract We anwer a uetion by Niederreiter concerning the enumeration of a cla of ubpace of finite dimenional vector pace over finite field by proving a conjecture by Ghorpade and Ram Introduction We poitively reolve the Splitting Subpace onjecture, temming from a uetion poed by Niederreiter (995) [3, p and tated by Ghorpade and Ram [2 We firt define the notion of a σ-plitting ubpace Definition In the vector pace F mn over the finite field F, given a σ F mn uch that F mn F (σ), a (m-dimenional) ubpace W of F mn i a σ-plitting ubpace if W σw σ n W F mn For example, {, σ m, σ 2m,, σ (n )m} pan a σ-plitting ubpace If n, then F mn i the only σ-plitting ubpace; if m, then each -dimenional ubpace of F mn i σ-plitting onjecture (Ghorpade-Ram) The number of σ-plitting ubpace i mn m m(m )(n ) Thi follow a orollary 34 from our main reult, Theorem 33 The next two ection are devoted to proving thi theorem We firt contruct a recurion that give the cardinality of more general clae of ubpace, including the σ-plitting ubpace, and then olve thi recurrence to obtain the reult Finally, we dicu ome pecial cae of our more general reult 2 Recurion For the remainder of thi report, unle otherwie noted, conider more generally the vector pace F N ( F N ) over the finite field F, given a σ F N uch that F N F (σ) We begin by iolating the key property of the linear tranformation v σv Propoition 2 The linear endomorphim of F N that preerve no ubpace other than {0} and all of F N are exactly thoe which act a multiplication by a primitive element σ that generate the extenion F (σ) F N Proof Operator defined a multiplication by a primitive element σ generating the extenion F (σ) F N cannot preerve any ubpace except {0} and F N, for if W i uch a ubpace with nonzero w W, then w N i0 a iσ i W, a i F, o W F N onverely, note that any linear operator T together with the vector pace F N can be viewed a a finitely generated
2 2 ERI HEN AND DENNIS TSENG F [x module M, where x act a T Since F [x i a principal ideal domain, we can ue the primary decompoition of M to find M k i F [x/(p i (x) r i ), where p i i a polynomial for each i and r i i a poitive integer If T preerve no proper ubpace of F N, then k Alo, r unle p (T )M i a proper ubmodule of M Therefore, we have M i eual to F [x/(p (x)), where p i an irreducible polynomial Thi i exactly what it mean for x( T ) to act a the primitive element of the field extenion F (σ) F N F N with minimal polynomial p (x) We next define notation to decribe the et to be counted by the general recurion Definition Suppoe that A, A 2,, A k are et of ubpace of F N Let [A, A 2,, A k be the et of all k-tuple (W, W 2,, W k ) uch that W i A i for i k, W i W i+ + σw i+ for i k If A i i the et of all ubpace of F N with dimenion d i, then A i i denoted within the bracket a d i For example, [3, A 2 denote all tuple (W, W 2 ) uch that dim(w ) 3, W 2 A 2 and W W 2 + σw 2 Definition For nonnegative integer a, b with N > a > b or a b 0 (a, b) : { W F N : dim(w ) a and dim(w σ W ) b } For example, (, 0) i the et of all -dimenional ubpace and (2, ) i the et of all 2-dimenional ubpace W uch that dim(w σ W ) Definition Given et [A,, A,2, [A 2,, A 2,2,, [A r,, A r,2 a defined above, let [A,, A,2, [A 2,, A 2,2,, [A r,, A r,2 denote the et of 2r-tuple of ubpace (W,, W,2, W 2,, W 2,2, W r,, W r,2 ) uch that (W i,, W i,2 ) [A i,, A i,2 for i r, W i,2 W i+, for i r For example, [3, 2, [2, i the et of all 4-tuple of ubpace (W, W 2, W 3, W 4 ) uch that dim(w ) 3, dim(w 2 ) 2, dim(w 3 ) 2, dim(w 4 ), W W 2 + σw 2, W 3 W 4 + σw 4, W 2 W 3 We ue the following propoition extenively in contructing the recurion Propoition 22 For nonnegative integer N > a > b or a b 0 [a, b max(a,0) ib max(b,0) j0 [(a, i), b [a, (b, j) Proof Follow from Propoition 2 and the definition of [,, (, )
3 THE SPLITTING SUBSPAE ONJETURE 3 We next define an ordering on the tuple labelling the et of ubpace [(a,, a,2 ), (a 2,, a 2,2 ),, (a r,, a r,2 ) The recurion in Lemma 23 will give the cardinality of et of ubpace o labelled in term of the cardinality of et labelled by tuple before it in the ordering The bae cae i [(0, 0), containing one element Definition Firt, define an ordering on the ordered pair of the form (a, b) uch that (a, b ) (a 2, b 2 ) if a > a 2 or a a 2 and b < b 2 Next, define an ordering on tuple of the form [(a,, a,2 ), (a 2,, a 2,2 ),, (a r,, a r,2 ) uch that the order i lexicographic in term of the ordered pair (a i,, a i,2 ) from left to right Finally, define an ordering on the ame tuple for 0 uch that [(a,, a,2 ), (a 2,, a 2,2 ),, (a r+,, a r+,2 ) [(a,, a,2 ), (a 2,, a 2,2 ),, (a r,, a r,2 ) For example, (3, ) (3, 2) (2, 0) and [(6, 5), (4, 2) [(6, 5), (4, 3) [(5, 2), (2, 0) Lemma 23 Suppoe N > a, > a,2 a 2, > a 2,2 a r, > a r,2 0 a r+, a r+,2 a r+, a r+,2 and after etting a 0, a 0,2 N, a r+, a r+,2 0, j r+ k r+ 0, that (or ele [(a,, a,2 ), (a 2,, a 2,2 ),, (a r,, a r,2 ) i empty) Let Then a i, 2a i, a i,2 for i r {(j,, j r ) : max(a i+,2, 2a i,2 a i, ) j i max(a i,2, 0), i r}, D {(k,, k r ) : a i,2 k i a i,, i r} [(a,, a,2 ), (a 2,, a 2,2 ),, (a r+,, a r+,2 ) [(a,, a,2 ), (a 2,, a 2,2 ),, (a r,, a r,2 ) [ ai,2 (2a i,2 j i ) [(a,2, j ), (a 2,2, j 2 ),, (a r,2, j r ) a (j,,j r) i i, (2a i,2 j i ) [ ki a i+, [(a,, k ), (a 2,, k 2 ),, (a r,, k r ) a i,2 a i+, (k,,k r) D\(a,2,,a r,2 ) Proof We give an example before the general cae Let r 2; we compute [(3, ), (, 0) by counting [3,, [, 0 in two different way Applying Propoition 22 to the term on the left within the bracket give [3,, [, 0 [(3, 2),, [(, 0), 0 + [(3, ),, [(, 0), 0 Above, if (W, W 2, W 3, W 4 ) [(3, 2),, [(, 0), 0 then W 2 W 3 and W 4 {0} So [(3, 2),, [(, 0), 0 [(3, 2), (, 0) Likewie for (W, W 2, W 3, W 4 ) [(3, ),, [(, 0), 0 then W 2 W 3 and W 4 {0} So [(3, ),, [(, 0), 0 [(3, ), (, 0), i
4 4 ERI HEN AND DENNIS TSENG and [3,, [, 0 [(3, 2), (, 0) + [(3, ), (, 0) Next, applying Propoition 22 to the term on the right within the bracket give [3,, [, 0 [3, (, 0), [, (0, 0) If (W, W 2, W 3, W 4 ) [3, (, 0), [, (0, 0), then W 3 W 2, W 4 {0} and thu W i a 3-dimenional ubpace containing the 2-dimenional pace W 2 + σw 2 So [ N 2 [3, (, 0), [, (0, 0) [(, 0), (0, 0) and therefore [ N 2 [3, (, 0), [, (0, 0) [(, 0), (0, 0) We then have, after rearranging, that [ N 2 [(3, ), (, 0) [(, 0), (0, 0) Note that [(3, 2), (, 0), [(, 0), (0, 0), [(3, 2), (, 0) come before [(3, ), (, 0) in the ordering on tuple The proof of the Lemma i a generalization of thi proce The firt euality i clear The ize of [(a,, a,2 ), (a 2,, a 2,2 ),, (a r,, a r,2 ) i computed by applying Propoition 22 (R) [a,, a,2, [a 2,, a 2,2,, [a r,, a r,2 [(a,, k ), a,2, [(a 2,, k 2 ), a 2,2,, [(a r,, k r ), a r,2 (k,,k r) D (k,,k r) D Expanding in the other way, we get (L) [(a,, k ), (a 2,, k 2 ),, (a r,, k r ) [ ki a i+, i a i,2 a i+, [a,, a,2, [a 2,, a 2,2,, [a r,, a r,2 [a,, (a,2, j ), [a 2,, (a 2,2, j 2 ),, [a r,, (a r,2, j r ) (j,,j r) (j,,j r) [(a,2, j ), (a 2,2, j 2 ),, (a r,2, j r ) Subtracting from (R) and (L) the uantity produce the tated reult of the Lemma i [(a,, a,2 ), (a 2,, a 2,2 ),, (a r,, a r,2 ) [ ai,2 (2a i,2 j i ) a i, (2a i,2 j i ) Finally, we relate et of the form [(a,, a,2 ), (a 2,, a 2,2 ),, (a r,, a r,2 ) to σ-plitting ubpace
5 Propoition 24 Let F N THE SPLITTING SUBSPAE ONJETURE 5 F mn Then [((n )m, (n 2)m), ((n 2)m, (n 3)m),, (2m, m), (m, 0) { } n 2 n 3 n ( σ i W, σ i W,, W σw, W ) : σ i W F mn i0 i0 In particular [((n )m, (n 2)m), ((n 2)m, (n 3)m),, (2m, m), (m, 0) i the number of σ-plitting ubpace Proof If W i a σ-plitting ubpace, then n 3 σ i W, σ i W,, W σw, W ) n 2 ( i0 i0 [((n )m, (n 2)m), ((n 2)m, (n 3)m),, (2m, m), (m, 0) On the other hand, uppoe that (W n,, W ) [((n )m, (n 2)m), ((n 2)m, (n 3)m),, (2m, m), (m, 0) Then for k n 2 dim(w k+ ) (k + )m 2km (k )m dim(w k + σw k ) So W k+ W k + σw k for k n 2 Alo, W 2 W σw a W σw {0} Suppoe that W k k i0 σi W Then, ince dim(w k+ ) dim(w k + σw k ) (k + )m, we obtain W k+ W k + σw k i0 W + σ 2 W + + σ k W k σ i W i0 When k n, we have that W n + σw n n i0 σi W, ince W n + σw n F mn i mn-dimenional So W i indeed a σ-plitting ubpace orollary 25 The number of σ-plitting ubpace in F mn over F i independent of choice of primitive element σ Proof Neither the bae cae [(0, 0 nor Lemma 23 depend on the σ choen Remark More generally, given an arbitrary invertible linear operator T on F mn over F, we might conider how many T -plitting ubpace exit; that i, the number of m-dimenional ubpace W uch that W T W T n W F mn We may then redefine (, ), [,,, by replacing the expreion W + σw with W + T W and W σ W with W T W Recall from Propoition 2 and Lemma 23 that when T (v) σv, the nonzero number [(a,, a,2 ), (a 2,, a 2,2 ),, (a r,, a r,2 ) can be computed from the bae cae [0, 0
6 6 ERI HEN AND DENNIS TSENG But if T i any invertible linear operator, there may exit nonempty et of the form [(a, a ), (a 2, a 2 ),, (a r, a r ) where a r 0 In fact, uch et cannot be computed recurively For example [4, 4, [2, 2 [(4, 4), 4, [(2, 2), 2 [(4, 4), (2, 2) [4, (4, 4), [2, (2, 2) [(4, 4), (2, 2) We may till apply Lemma 23 in the cae of general T, however, with the cardinalitie of thee et a additional bae cae Remark One might try to apply the method in Lemma 23 to try to count pointed ubpace Namely, given a fixed vector v, it i not difficult to how that the number of tuple in [(a,, a,2 ), (a 2,, a 2,2 ),, (a r,, a r,2 ) whoe l th ubpace contain v i eual to a l, N [(a,, a,2 ), (a 2,, a 2,2 ),, (a r,, a r,2 ), and the number of tuple (W,, W,2,, W r,, W r,2 ) in [a,, a,2, [a 2,, a 2,2,, [a r,, a r,2 uch that W l, contain v i eual to a l, N [a,, a,2, [a 2,, a 2,2,, [a r,, a r,2 ounting thee tuple (W,, W,2,, W r,, W r,2 ) in [a,, a,2, [a 2,, a 2,2,, [a r,, a r,2 by expanding at a,, a 2,,, a r, a in (R), we get exactly a l, N (k,,k r) D [(a,, k ), (a 2,, k 2 ),, (a r,, k r ) [ ki a i+, i a i,2 a i+, which i jut (R) caled by al, It i le obviou that expanding at a N,2,, a r,2 will reult in (L) caled by al, onidering two cae, one where the ubpace W N l, +σw l, contain v and the other where the ubpace W l, + σw l, doe not contain v, yield the expanion (j,,j r) [ 2al,2 j l [ al,2 (2a l,2 j l ) a l, (2a l,2 j l ) + ([ a l,2 [(a,2, j ), (a 2,2, j 2 ),, (a r,2, j r ) [ 2a l,2 j l i,i l, )[ a l,2 (2a l,2 j l ) a l, (2a l,2 j l ) [ ai,2 (2a i,2 j i ) a i, (2a i,2 j i ) It can be checked that [ 2al,2 j l [ al,2 (2a l,2 j l ) a l, (2a l,2 j l ) + ([ a l,2 [ 2a l,2 j l )[ a l,2 (2a l,2 j l ) a l, (2a l,2 j l ) [ al, [ al,2 (2a l,2 j l ) a l, (2a l,2 j l ), which mean that we again jut get the expanion (L) caled by a l, N
7 THE SPLITTING SUBSPAE ONJETURE 7 3 Solution to the Recurion The next two lemma are pecial cae of the following -hu-vandermonde identity for N a nonnegative integer [, p 354 Refer to Appendix A for proof of the lemma ( ) 2φ N, a; c N /a N ( ) ( N ; ) m (a; ) m c N m : c (; ) m (c; ) m a m0 (c/a; ) N (c; ) N Lemma 3 If B D A are non-negative integer, then B [ [ [ [ A B B A (2B ) B D (2B ) [B [ [ [ B A B D [D D B B (B )(B ) Lemma 32 If D B A are non-negative integer, then B [ [ [ [ A B B (B )(B ) B D D [B [ [ [ B B A D [A D D B D We now give the main theorem of thi report Theorem 33 Suppoe that () Then where N > a, > a,2 a 2, > a 2,2 a r, > a r,2 0, [(a,, a,2 ),, (a r,, a r,2 ) E a 0, a 0,2 N, a r+, a r+,2 0 [ a, r [ ai, a i+, i0 a i+, a i+,2 r i r (a i, a i,2 )(a i, a i,2 ) i [ ai+, [ ai, a i+, a i+,2 [ ai+,2 a i+2, orollary 34 (Splitting Subpace onjecture) We have, when N mn, the euality [ N mn + m [((n )m, (n 2)m),, (2m, m), (m, 0) [ m m In particular, when N mn, [((n )m, (n 2)m),, (2m, m), (m, 0) [ mn [ m m(m )(n ) E, m(m )(n )
8 8 ERI HEN AND DENNIS TSENG Proof From plugging into () [((n )m, (n 2)m), ((n 2)m, (n 3)m),, (2m, m), (m, 0) ( [N (n )m [m ) ( [(n )m [m ) [ (n )m [ (n )m m (n )m Since for each k n 2, [ (n )m [ m m [ m m m [ (n )m (n 2)m [ (n )m (n 2)m [ (n )m (n 2)m [ (n k)m (n k )m [ (n k)m (n k )m [ N (n )m m [ N mn + m m [m 0 (n 2)m [2m m 0 [m m(m )(n ) [(n k)m! [m![(n k )m! [(n k)m! [m![(n k )m! 0 n i m(m ) (n k)m (n k )m, thi reduce to (n )m m m(m )(n ) m(m )(n ) Proof of Theorem 33 We verify that () atifie the recurion in Lemma 23 Recall that L [ ai,2 (2a i,2 j i ) [(a,2, j ), (a 2,2, j 2 ),, (a r,2, j r ) a (j,,j r) i i, (2a i,2 j i ) [ ki a i+, R [(a,, k ), (a 2,, k 2 ),, (a r,, k r ) a i,2 a i+, (k,,k r) D We firt check euality when a r,2 0 o that the expreion obtained for (L) and (R) uing () do not contain negative -binomial Subtituting () and applying Lemma 3 to the reulting independent um in (L) give L R [ a,2 [ a,2 [ a, r i j i [ ai,2 a i,2 a i,2 j i i [a i,2 [a i, a i+,2 i [ ai,2 [ ji [ ai,2 (2a i,2 j i ) j i a i+,2 a i, (2a i,2 j i ) (a i,2 j i )(a i,2 j i ) r [ ai,2 i a i+,2 [ ai,2 a i+,2 [ ai,2 a i,2 a i, a i,2 [ ai, a i+,2 a i,2 a i+,2 r i, [ ai,2 a i+,2 Subtituting () and applying Lemma 32 to the reulting independent um in (R) give r [ ai, a i, [ ai, [ ki [ ki a i+, i k i a i, k i a i,2 a i+, [ a, i [a i, [a i, a i,2 a i+, k i r i a i+, [ ai,2 a i+,2 a i,2 a i+, (a i, k i )(a i, k i ) [ [ [ ai, ai, a i+, ai, a i,2 a i, a i,2 r i [ ai, a i+,
9 (2) After implification (ee Appendix B) L R ( N )[N a,2! [N a,! [a r,2! THE SPLITTING SUBSPAE ONJETURE 9 i [a i, a i+,2! [a i, a i,2! [a i, a i,2! i2 [a i,2 a i,! Finally, we deal with the cae a r,2 0, when the expreion obtained by directly applying () to (L) may contain negative -binomial ((R) i unaffected) Suppoe r > By definition, we know that [a,, a,2, [a 2,, a 2,2,, [a r,, 0 [a,, a,2, [a 2,, a 2,2,, [a r,, a r,2 Thi mean that L (j,,j r) [(a,2, j ), (a 2,2, j 2 ),, (a r,2, j r ) [a,, a,2,,, [a r,, a r,2 [ ar,2 Since a r,2 a r, > 0, we may apply our previou reult to obtain [ ar,2 [a,, a,2,, [a r,, a r,2 [ ar,2 a r, a r, ( N )[N a,2! [N a,! [a r,2! We wih to how that thi i eual to ( N )[N a,2! [N a,! [a r,2! i r when a r,2 0 Take the uotient to find i a r, i [a i, a i+,2! [a i, a i,2! [a i, a i,2! [a i, a i+,2! [a i, a i,2! [a i, a i,2! ( N )[N a,2! r [a i, a i+,2! r [N a,! [a r,2! i [a i, a i,2! [a i, a i,2! i2 [ ar,2 ( a r, N )[N a,2! r [a i, a i+,2! r [N a,! [a r,2! i [a i, a i,2! [a i, a i,2! i2 [a r,2! [a r,2! [a r,2!, [a r, a r+,2! [a r, a r,2! [a r, a r,2! [a r,2 a r,! [ar,2 a r, [a r,2! [a r,! [a r,! [a r,! [a r,2 a r,! [ar,2 a r, [a r,! [a r,2 a r,! [ar,2 a r, [ ai,2 (2a i,2 j i ) a i, (2a i,2 j i ) i2 r i2 [ ar,2 a r, [a i,2 a i,! [a i,2 a i,! [a i,2 a i,! [a i,2 a i,!
10 0 ERI HEN AND DENNIS TSENG a deired Therefore, when a r,2 0, the euality L (j,,j r) [[a,2, j ), [a 2,2, j 2 ),, [a r,2, j r ) ( N )[N a,2! [N a,! [a r,2! R i till hold Finally, uppoe r Then, [ N L [(0, 0) [ ai,2 (2a i,2 j i ) a i i, (2a i,2 j i ) [a i, a i+,2! [a i, a i,2! [a i, a i,2! [a i,2 a i,! a, [ N If we plug in [a,, 0 into (2), then we get a,, a deired orollary 35 The number are given by L R ( N )[N a,2! [N a,! [a r,2! a, [a,, a,2, [a 2, a 22,, [a r,, a r,2 i [a i, a i+,2! [a i, a i,2! [a i, a i,2! 4 Special ae: (k,k-) i2 i2 [a i,2 a i,! Note that when r and a, k, a,2 k, with k N, the formula () give [ N (k, k ) a number independent of k Propoition 4 There i a bijection between et of the form (k, k ) and (k 2, k 2 ) when k, k 2 N Proof It uffice to how that there exit a bijection between (k, k ) and (k, k 2) for 2 k N Define The map φ i well defined:, φ : (k, k 2) (k, k ) W W + σw dim(w + σw ) k, dim((w + σw ) (σ W + W )) k The econd euality follow from the fact that (W + σw ) (σ W + W ) contain W and ha dimenion trictly le than k by Propoition 2 Next, φ i injective: if W, W 2 (k, k 2) and W +σw W 2 +σw 2 W (k, k ), then W σ W W W 2 Finally, φ i urjective: if W (k, k ), then W σ W (k, k 2) ince (W σ W ) + σ(w σ W ) W ; in fact (W σ W ) + σ(w σ W ) W
11 THE SPLITTING SUBSPAE ONJETURE 5 A analogue In light of our reult, we might ak what () count when we et In thi ection we will ee that the ituation tranlate from enumerating ubpace of vector pace to enumerating ubet of et Intead of ubpace of F N, we conider ubet of {,, N} Rather than multiplying by the element σ, we let σ cyclically permute the element of {,, N}, o that σ preerve no proper ubet, in analogy with Propoition 2 onverely, it i eay to ee that any permutation of the et {,, N} that preerve no proper ubet i cyclic, and we can reorder the element o that σ (2 N) in cycle notation For example, we have σ{, 3, 4} {2, 4, 5} for N 5 When N mn, the number of m-element ubet W of {,, N} uch that n i0 σi W {,, N} i eaily een to be n Propoition 5 will how thi in a lightly more general etting We retain the [,, (, ), <, > notation a before with the definition retated in the etting of ubet of {,, N} below Definition Suppoe A, A 2,, A k are et of ubet of {,, N} Let [A, A 2,, A k be the et of all k-tuple (W, W 2,, W k ) uch that W i A i for i k, W i W i+ σw i+ for i k If A i i the et of all ubet of {,, N} with cardinality d i, then A i i denoted within the bracket a d i Definition For nonnegative integer a, b with N > a > b or a b 0 (a, b) : { W F N : W a, W σ W b } Definition Given et [A,, A,2, [A 2,, A 2,2,, [A r,, A r,2 a defined above, let [A,, A,2, [A 2,, A 2,2,, [A r,, A r,2 denote the et of 2r-tuple of ubet (W,, W,2, W 2,, W 2,2, W r,, W r,2 ) uch that (W i,, W i,2 ) [A i,, A i,2 for i r, W i,2 W i+, for i r It can be checked that Lemma 23 i till valid in thi etting, o our formula are till valid by jut plugging in Thi occur ince the -binomial counting way to extend ubpace become binomial term counting way to enlarge ubet However, we can directly count ome pecial cae and check that they agree with the general formula Propoition 5 (Analogue of the Splitting Subpace onjecture) For and N mn we have [((n )m, (n 2)m), ((n 2)m, (n 3)m),, (2m, m), (m, 0) N ( ) N mn + m m m In particular, if N mn, then [((n )m, (n 2)m), ((n 2)m, (n 3)m),, (2m, m), (m, 0) n
12 2 ERI HEN AND DENNIS TSENG Proof The ame argument ued in Propoition 24 can be ued to how that if (W n,, W ) [((n )m, (n 2)m), ((n 2)m, (n 3)m),, (2m, m), (m, 0), then W i+ W i σw i Therefore, the problem of counting thi et reduce to finding the number of m-element ubet W uch that W σw σ n W ha cardinality mn We count the number of ordered pair (W, k), where W i an m-element ubet atifying the deired property and k i an element of W Firt, we fix k and count the number of et W that contain k Without lo of generality, uppoe k N n + Since W cannot have any element between N 2n + 2 and N n incluive, chooing the ret of W amount to chooing m element from {,, N 2n + } uch that the element are at leat n apart By an elementary counting argument, there i a bijection between chooing m element from {,, N 2n + } uch that the element are at leat n apart and chooing m element from an N 2n + (m 2)(n ) N mn + m element et Thi i exactly ( ) ( N mn+m m Therefore, the number of ordered pair (W, k) i N N mn+m ) m, ince there are N choice of k We can alo count the number of ordered pair (W, k) by chooing W firt and then k Since there are m poibilitie once we fix W, each W appear in m ordered pair So a deired [((n )m, (n 2)m), ((n 2)m, (n 3)m),, (2m, m), (m, 0) N ( ) N mn + m m m In particular, if N mn then mn m ( mn mn+m ) m n Remark A, the formula in Propoition 5 agree with the formula in orollary 34 ( Propoition 52 If, then (m, k) N N m ) ( N m m k N N m m ) m m k )( k )( m k Proof We count in two way the ordered pair (W, a) where W i an m-element et uch that W σw k and a / W Firt, fix a and count the number of poible W not containing a Without lo of generality, uppoe a N Then, define a block of W {,, N } to be a ubet {b, b +,, b + l } of conecutive number contained in W uch that b, b + l / W (if b, then b i undertood to be N, which i already fixed to not be in W ) We know that the um of the ize of the block of W i m, ince the union of the block i m Alo, if B,, B i are the block of W, then we know that ( B ) + + ( B i ) k, ince the interection of W with σw i preciely the dijoint union of all the block of W without the firt element of each block In particular, the number of block mut be m k Therefore, to count the number of poibilitie of W, we count the number of way to pace out the block of W : the number of way to chooe m k element out of (N ) k conecutive number uch that no two element are adjacent Thi i euivalent to the number of way to chooe m k element out of an N k (m k ) N m element et Now that we have fixed the pacing of the block, the number of way to ditributing the remaining k element of W into the m k block i ( ) (m k )+k k Therefore, the number of
13 THE SPLITTING SUBSPAE ONJETURE 3 )( m poible ordered pair (W, a) i N ( ) N m m k k, ince there are N choice for the initial value of a We can alo count the number of ordered pair (W, a) by fixing W and then finding the number of poibilitie for a For a fixed W there are N m poible a Thi mean that (m, k) N N m ( N m m k )( m k ) N m k ( N m m k )( m k ) N m Remark For a power of a prime, () how that [ [ N m m (m, k) [ m m k k Thi give the ame anwer a Propoition 52 when ( N m m k )( m k ) (m k)(m k ) Appendix A Proof of Lemma 3 and 32 Proof of Lemma 3 Firt ubtitute B for to find that the identity i euivalent to B [ [ [ [ A B B B A B (+) 0 B D B [B [ [ [ B A B D [D D B B Then [ A B ( A B ) ( A B ) ( ) ( ) ( ) (A B ) ( 2) (B+ A ; ) (; ), and [ [ B B B (; ) B (; ) B (; ) + (; ) B (; ) (; ) B (; ) B ( )( 2 ; ) (; ) (; ) B ( B ) ( B ) ( B ) ( )( 2 ; ) (; ) [ B ( B ) ( B ) ( B ) ( )( 2 ; )
14 4 ERI HEN AND DENNIS TSENG Finally [ B ( B ) ( )( 2 ; ) [ A B D B [ A B D B [ A B D B [ A B D B [ A B D B [ A B D B [ A B D B (;) A B (;) D B (;) A D (;) A B (;) D B (;) A D ( D B ) ( D B ) ( A B ) ( A B ) ( ) (D B ) ( 2) ( B+ D ; ) ( ) (A B ) ( 2) ( B+ A ; ) ombining thee term [ [ A B B [ B B [ [ B B A B D B B [ B [ A B D B The power of i (D ) ince ( ) (A B ) + (B ) 2 ( ) + (D B ) ((A B ) 2 (D ) Thi mean that B [ [ A B B [ B 0 B [ [ B B A B D B 0 [ [ [ B B A B D B ( ) (B ) ( 2) ( + B ; ) [ A B (+) D B (D ) (B+ A ; ) ( + B ; ) ( B+ D ; ) (; ) ( 2 ; ) ( B+ A ; ) (D ) (+ B ; ) ( B+ D ; ) (; ) ( 2 ; ) B ( ) 2 ( ) ) + ( + ) 2 [ A B (+) D B ( + B ; ) ( B+ D ; ) (D ) (; ) ( 2 ; ) ( ) 2φ + B, B+ D ; D 2
15 a deired THE SPLITTING SUBSPAE ONJETURE 5 [ [ [ B B A B ( D+ B ; ) B D B ( 2 ; ) B [ [ [ B B A B ( D+ B ) ( D ) D B ( 2 ) ( B ) [ [ [ [ B B A B D D B B D [ [ [ B B A B D D D B B Proof of Lemma 32 The proof i identical to that of Lemma 3 Subtitute B for to find that the lemma i euivalent to B D [ [ [ [ A B B B B (+) 0 B D [B [ [ [ B B A D [A D D B D We ee that [B D [ B D (;) B (;) D (;) B D (;) B (;) D (;) B D [ B D [ B D [ B D [ B D ( B D ) ( B D ) ( B ) ( B ) (B D ) ( 2) ( D+ B ; ) (B ) ( 2) ( + B ; ) ombining thi with the expreion for [ A B and [ B B Lemma 3 [ [ [ A B B B B D B B [ [ B B D [ [ B B D [ B [ B (+) from the proof of (A D) (B+ A ; ) ( + B ; ) ( D+ B ; ) (; ) ( 2 ; ) ( + B ; ) (A D) (B+ A ; ) ( D+ B ; ) (; ) ( 2 ; )
16 6 ERI HEN AND DENNIS TSENG The power of i (A D) becaue ( ) ( ) (A B ) + (B ) 2 2 ( ) ( ) + (D + B) ((B ) ) + ( + ) 2 2 (A D) Thi mean that B D [ [ A B B [ [ B B 0 B D [ [ B B D B B D 0 [ [ B B B D a deired B B B B A D (+) ( B+ A ; ) ( D+ B ; ) (A D) (; ) ( 2 ; ) ( ) 2φ B+ A, D+ B ; A D 2 [ [ B B ( B+ D ; ) A B D ( 2 ; ) A B [ [ B B ( B+ D ) ( A D ) D ( 2 ) ( A B ) [ [ [ B B A D D A B A D [ [ [ B B A D D B D Proof L r i [ a,2 i [N! [N! [! [a,2! [a,2! [! [a i,2! [a i,2! [! Appendix B Proof of Theorem 33, LR [a i,2 [a i, a i+,2 [a r,2! [a r,2! [! [a r,! [a r,! [! [ ai,2 a i+,2 [ ar,2 a r,2 a r, a r,2 [a i+,2! [a i,2 a i+,2! [a i,2! [a i, a i+,2! [a i, a i+,2! [! [ [ ai,2 a i,2 ai, a i+,2 a i, a i,2 a i,2 a i+,2 [a r,! [a r,2! [a r, a r,2! [ ai,2 a i,2 a i, a i,2 r i [ ai,2 a i+,2 [a i, a i+,2! [a i,2 a i+,2! [a i, a i,2! [a i,2! [a i+,2! [a i,2 a i+,2!
17 THE SPLITTING SUBSPAE ONJETURE 7 [N! [ [N! ar,2 a r,2 [a,2! [a r,! [a r,2! a r, a r,2 [a,2! [a r, a r,2! r i [a i,2! [a i,2! [a i, a i+,2! [a i+,2! [a i,2 a i+,2! [a i,2 a i,2! [a i, a i,2! [a i,2 a i,! [a i+,2! [a i, a i,2! [N! [ [N! ar,2 a r,2 [a,2! [a r,! [a r,2! a r, a r,2 [a,2! [a r, a r,2! r i [a i,2! [a i+,2! [a i+,2! [a i,2! [a i,2 a i,2! [a i,2 a i+,2! [a i, a i+,2! [a i, a i,2! [a i,2 a i,! [a i, a i,2! [N! [N! [a r,2 a r,2! [a,2! [a r,! [a r,2! [a r, a r,2! [a r,2 a r,! [a r, a r,2! [a,2! [a,2! [a r,2! [N a,2! [a r,2! [a,2! [a r,2 a r,2! ( N )[N a,2! [a r,2! ( N )[N a,2! [N a,! [a r,2! i r i [a i, a i+,2! [a i, a i,2! [a i,2 a i,! [a i, a i,2! [a i, a i+,2! [a i, a i,2! [a i,2 a i,! [a i, a i,2! [a i, a i+,2! [a i, a i,2! [a i, a i,2! [a i,2 a i,! i i2 R r i [ a, i [N! [N! [! [a,! [a,! [! [a i,! [a i,! [! [a i, [a i, a i,2 [a r,! [a r,! [! [ [ [ ai, ai, a i+, ai, a i,2 a i+, a i,2 a i+, [a r,! [a r, a r,2! [a r, a r,2! [! [a i,! [a i, a i,2! [a i, a i,2! [! a i, a i,2 r i [a r, a r,2! [a r,2! [a r, a r,2! [a r, a r,2! [a r, a r,! [a i, a i+,! [a i+,! [a i, a i+,! [a i,2 a i+,! [a i, a i,2! [N! [N! [a,! [a,! [a r,! [a r,2! [a r, a r,2! [a r, a r,2! [a r, a r,2! [a r, a r,! r i [a i,! [a i, a i,2! [a i, a i,2! [a i+,! [a i,2 a i+,! [a i, a i,2! [N! [N! [a,! [a,! [a r,! [a r,2! [a r, a r,2! [a r, a r,2! [a r, a r,2! [a r, a r,! r i [ ai, a i+, [ ai, a i,2 a i, a i,2 [ ai, a i+, [a i, a i,2! [a i, a i,2! [a i, a i,! [a i,! [a i+,! [a i, a i+,! [a i,! [a i+,! [a i+,! [a i,! [a i, a i+,! [a i, a i,! [a i, a i,2! [a i,2 a i+,! [a i, a i,2! [a i, a i,2!
18 8 ERI HEN AND DENNIS TSENG [N! [a,! [a r,! [a r, a r,2! [N! [a,! [a r,2! [a r, a r,2! [a r, a r,2! [a r, a r,! [a,! [a r,! [a r, a r,! r [a i, a i,2! [a r,! [a,! [N a,! [a i i,2 a i+,! [a i, a i,2! [a i, a i,2! [N! [a r, a r,2! [N! [a r,2! [a r, a r,2! [a r, a r,2! [a r,! r [N a,! i ( N ) [a r,2! [a r,! [N a,! ( N )[N a,2! [N a,! [a r,2! [a i, a i,2! [a i, a i,2! [a i, a i,2! [a i2 i,2 a i,! [a i, a i,2! [a i i, a i,2! [a i, a i,2! [a i2 i,2 a i,! [a i, a i+,2! [a i, a i,2! [a i, a i,2! i i2 [a i,2 a i,! Acknowledgement Thi reearch wa conducted at the 202 ummer REU (Reearch Experience for Undergraduate) program at the Univerity of Minneota, Twin itie, and wa upported by NSF grant DMS and DMS We would like to thank Prof Gregg Muiker, Pavlo Pylyavkyy, Vic Reiner,and Denni Stanton, who directed the program, for their upport, and expre particular gratitude to Prof Stanton both for introducing u to thi problem and for hi indipenable guidance throughout the reearch proce We alo thank Alex Miller for hi aitance in editing thi report Reference [ G Gaper and M Rahman, Baic Hypergeometric Serie, Enc of Math and it Appl, Vol 96, ambridge Univerity Pre, ambridge, 2004 [2 S R Ghorpade and S Ram, Enumeration of plitting ubpace over finite field, Arithmetic, Geometry, and oding Theory, (Luminy, France, March 20), Y Aubry, Ritzenthaler, and A Zykin Ed, ontemporary Mathematic, Vol 574, American Mathematical Society, Providence, RI, 202, 0pp, to appear [3 H Niederreiter, The multiple-recurive matrix method for peudorandom number generation, Finite Field Appl (995), 3-30 Eric hen, Princeton Univerity, Princeton, NJ addre: ecchen@princetonedu Denni Teng, Maachuett Intitute of Technology, ambridge, MA addre: DenniTeng@gmailcom
Lecture 21. The Lovasz splitting-off lemma Topics in Combinatorial Optimization April 29th, 2004
18.997 Topic in Combinatorial Optimization April 29th, 2004 Lecture 21 Lecturer: Michel X. Goeman Scribe: Mohammad Mahdian 1 The Lovaz plitting-off lemma Lovaz plitting-off lemma tate the following. Theorem
More informationProblem Set 8 Solutions
Deign and Analyi of Algorithm April 29, 2015 Maachuett Intitute of Technology 6.046J/18.410J Prof. Erik Demaine, Srini Devada, and Nancy Lynch Problem Set 8 Solution Problem Set 8 Solution Thi problem
More informationSOLUTIONS TO ALGEBRAIC GEOMETRY AND ARITHMETIC CURVES BY QING LIU. I will collect my solutions to some of the exercises in this book in this document.
SOLUTIONS TO ALGEBRAIC GEOMETRY AND ARITHMETIC CURVES BY QING LIU CİHAN BAHRAN I will collect my olution to ome of the exercie in thi book in thi document. Section 2.1 1. Let A = k[[t ]] be the ring of
More informationList coloring hypergraphs
Lit coloring hypergraph Penny Haxell Jacque Vertraete Department of Combinatoric and Optimization Univerity of Waterloo Waterloo, Ontario, Canada pehaxell@uwaterloo.ca Department of Mathematic Univerity
More informationIEOR 3106: Fall 2013, Professor Whitt Topics for Discussion: Tuesday, November 19 Alternating Renewal Processes and The Renewal Equation
IEOR 316: Fall 213, Profeor Whitt Topic for Dicuion: Tueday, November 19 Alternating Renewal Procee and The Renewal Equation 1 Alternating Renewal Procee An alternating renewal proce alternate between
More informationBogoliubov Transformation in Classical Mechanics
Bogoliubov Tranformation in Claical Mechanic Canonical Tranformation Suppoe we have a et of complex canonical variable, {a j }, and would like to conider another et of variable, {b }, b b ({a j }). How
More informationAvoiding Forbidden Submatrices by Row Deletions
Avoiding Forbidden Submatrice by Row Deletion Sebatian Wernicke, Jochen Alber, Jen Gramm, Jiong Guo, and Rolf Niedermeier Wilhelm-Schickard-Intitut für Informatik, niverität Tübingen, Sand 13, D-72076
More informationarxiv: v4 [math.co] 21 Sep 2014
ASYMPTOTIC IMPROVEMENT OF THE SUNFLOWER BOUND arxiv:408.367v4 [math.co] 2 Sep 204 JUNICHIRO FUKUYAMA Abtract. A unflower with a core Y i a family B of et uch that U U Y for each two different element U
More informationMulticolor Sunflowers
Multicolor Sunflower Dhruv Mubayi Lujia Wang October 19, 2017 Abtract A unflower i a collection of ditinct et uch that the interection of any two of them i the ame a the common interection C of all of
More informationWeber Schafheitlin-type integrals with exponent 1
Integral Tranform and Special Function Vol., No., February 9, 47 53 Weber Schafheitlin-type integral with exponent Johanne Kellendonk* and Serge Richard Univerité de Lyon, Univerité Lyon, Intitut Camille
More informationOn the Unit Groups of a Class of Total Quotient Rings of Characteristic p k with k 3
International Journal of Algebra, Vol, 207, no 3, 27-35 HIKARI Ltd, wwwm-hikaricom http://doiorg/02988/ija2076750 On the Unit Group of a Cla of Total Quotient Ring of Characteritic p k with k 3 Wanambii
More informationElectronic Theses and Dissertations
Eat Tenneee State Univerity Digital Common @ Eat Tenneee State Univerity Electronic Thee and Diertation Student Work 5-208 Vector Partition Jennifer French Eat Tenneee State Univerity Follow thi and additional
More informationTRIPLE SOLUTIONS FOR THE ONE-DIMENSIONAL
GLASNIK MATEMATIČKI Vol. 38583, 73 84 TRIPLE SOLUTIONS FOR THE ONE-DIMENSIONAL p-laplacian Haihen Lü, Donal O Regan and Ravi P. Agarwal Academy of Mathematic and Sytem Science, Beijing, China, National
More informationA relationship between generalized Davenport-Schinzel sequences and interval chains
A relationhip between generalized Davenport-Schinzel equence and interval chain The MIT Faculty ha made thi article openly available. Pleae hare how thi acce benefit you. Your tory matter. Citation A Publihed
More informationPreemptive scheduling on a small number of hierarchical machines
Available online at www.ciencedirect.com Information and Computation 06 (008) 60 619 www.elevier.com/locate/ic Preemptive cheduling on a mall number of hierarchical machine György Dóa a, Leah Eptein b,
More informationLaplace Transformation
Univerity of Technology Electromechanical Department Energy Branch Advance Mathematic Laplace Tranformation nd Cla Lecture 6 Page of 7 Laplace Tranformation Definition Suppoe that f(t) i a piecewie continuou
More informationLecture 9: Shor s Algorithm
Quantum Computation (CMU 8-859BB, Fall 05) Lecture 9: Shor Algorithm October 7, 05 Lecturer: Ryan O Donnell Scribe: Sidhanth Mohanty Overview Let u recall the period finding problem that wa et up a a function
More informationExtension of Inagaki General Weighted Operators. and. A New Fusion Rule Class of Proportional Redistribution of Intersection Masses
Extenion of nagaki General Weighted Operator and A New Fuion Rule Cla of Proportional Reditribution of nterection Mae Florentin Smarandache Chair of Math & Science Depart. Univerity of New Mexico, Gallup,
More informationPythagorean Triple Updated 08--5 Drlnoordzij@leennoordzijnl wwwleennoordzijme Content A Roadmap for generating Pythagorean Triple Pythagorean Triple 3 Dicuion Concluion 5 A Roadmap for generating Pythagorean
More informationLINEAR ALGEBRA METHOD IN COMBINATORICS. Theorem 1.1 (Oddtown theorem). In a town of n citizens, no more than n clubs can be formed under the rules
LINEAR ALGEBRA METHOD IN COMBINATORICS 1 Warming-up example Theorem 11 (Oddtown theorem) In a town of n citizen, no more tha club can be formed under the rule each club have an odd number of member each
More informationNULL HELIX AND k-type NULL SLANT HELICES IN E 4 1
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 57, No. 1, 2016, Page 71 83 Publihed online: March 3, 2016 NULL HELIX AND k-type NULL SLANT HELICES IN E 4 1 JINHUA QIAN AND YOUNG HO KIM Abtract. We tudy
More informationConvex Hulls of Curves Sam Burton
Convex Hull of Curve Sam Burton 1 Introduction Thi paper will primarily be concerned with determining the face of convex hull of curve of the form C = {(t, t a, t b ) t [ 1, 1]}, a < b N in R 3. We hall
More informationarxiv: v2 [math.nt] 30 Apr 2015
A THEOREM FOR DISTINCT ZEROS OF L-FUNCTIONS École Normale Supérieure arxiv:54.6556v [math.nt] 3 Apr 5 943 Cachan November 9, 7 Abtract In thi paper, we etablih a imple criterion for two L-function L and
More informationarxiv: v1 [math.ac] 30 Nov 2012
ON MODULAR INVARIANTS OF A VECTOR AND A COVECTOR YIN CHEN arxiv:73v [mathac 3 Nov Abtract Let S L (F q be the pecial linear group over a finite field F q, V be the -dimenional natural repreentation of
More informationDiscrete Mathematics
Dicrete Mathematic 310 (010) 334 3333 Content lit available at ScienceDirect Dicrete Mathematic journal homepage: www.elevier.com/locate/dic Rank number of grid graph Hannah Alpert Department of Mathematic,
More informationLecture 3. January 9, 2018
Lecture 3 January 9, 208 Some complex analyi Although you might have never taken a complex analyi coure, you perhap till know what a complex number i. It i a number of the form z = x + iy, where x and
More informationarxiv: v1 [math.mg] 25 Aug 2011
ABSORBING ANGLES, STEINER MINIMAL TREES, AND ANTIPODALITY HORST MARTINI, KONRAD J. SWANEPOEL, AND P. OLOFF DE WET arxiv:08.5046v [math.mg] 25 Aug 20 Abtract. We give a new proof that a tar {op i : i =,...,
More informationFlag-transitive non-symmetric 2-designs with (r, λ) = 1 and alternating socle
Flag-tranitive non-ymmetric -deign with (r, λ = 1 and alternating ocle Shenglin Zhou, Yajie Wang School of Mathematic South China Univerity of Technology Guangzhou, Guangdong 510640, P. R. China lzhou@cut.edu.cn
More informationAn Inequality for Nonnegative Matrices and the Inverse Eigenvalue Problem
An Inequality for Nonnegative Matrice and the Invere Eigenvalue Problem Robert Ream Program in Mathematical Science The Univerity of Texa at Dalla Box 83688, Richardon, Texa 7583-688 Abtract We preent
More informationSome Sets of GCF ϵ Expansions Whose Parameter ϵ Fetch the Marginal Value
Journal of Mathematical Reearch with Application May, 205, Vol 35, No 3, pp 256 262 DOI:03770/jin:2095-26520503002 Http://jmredluteducn Some Set of GCF ϵ Expanion Whoe Parameter ϵ Fetch the Marginal Value
More informationChapter 4. The Laplace Transform Method
Chapter 4. The Laplace Tranform Method The Laplace Tranform i a tranformation, meaning that it change a function into a new function. Actually, it i a linear tranformation, becaue it convert a linear combination
More informationLecture 8: Period Finding: Simon s Problem over Z N
Quantum Computation (CMU 8-859BB, Fall 205) Lecture 8: Period Finding: Simon Problem over Z October 5, 205 Lecturer: John Wright Scribe: icola Rech Problem A mentioned previouly, period finding i a rephraing
More information7.2 INVERSE TRANSFORMS AND TRANSFORMS OF DERIVATIVES 281
72 INVERSE TRANSFORMS AND TRANSFORMS OF DERIVATIVES 28 and i 2 Show how Euler formula (page 33) can then be ued to deduce the reult a ( a) 2 b 2 {e at co bt} {e at in bt} b ( a) 2 b 2 5 Under what condition
More informationTHE DIVERGENCE-FREE JACOBIAN CONJECTURE IN DIMENSION TWO
THE DIVERGENCE-FREE JACOBIAN CONJECTURE IN DIMENSION TWO J. W. NEUBERGER Abtract. A pecial cae, called the divergence-free cae, of the Jacobian Conjecture in dimenion two i proved. Thi note outline an
More informationON THE APPROXIMATION ERROR IN HIGH DIMENSIONAL MODEL REPRESENTATION. Xiaoqun Wang
Proceeding of the 2008 Winter Simulation Conference S. J. Maon, R. R. Hill, L. Mönch, O. Roe, T. Jefferon, J. W. Fowler ed. ON THE APPROXIMATION ERROR IN HIGH DIMENSIONAL MODEL REPRESENTATION Xiaoqun Wang
More informationCodes Correcting Two Deletions
1 Code Correcting Two Deletion Ryan Gabry and Frederic Sala Spawar Sytem Center Univerity of California, Lo Angele ryan.gabry@navy.mil fredala@ucla.edu Abtract In thi work, we invetigate the problem of
More informationON THE DETERMINATION OF NUMBERS BY THEIR SUMS OF A FIXED ORDER J. L. SELFRIDGE AND E. G. STRAUS
ON THE DETERMINATION OF NUMBERS BY THEIR SUMS OF A FIXED ORDER J. L. SELFRIDGE AND E. G. STRAUS 1. Introduction. We wih to treat the following problem (uggeted by a problem of L. Moer [2]): Let {x} = {x
More informationPrimitive Digraphs with the Largest Scrambling Index
Primitive Digraph with the Larget Scrambling Index Mahmud Akelbek, Steve Kirkl 1 Department of Mathematic Statitic, Univerity of Regina, Regina, Sakatchewan, Canada S4S 0A Abtract The crambling index of
More informationComputers and Mathematics with Applications. Sharp algebraic periodicity conditions for linear higher order
Computer and Mathematic with Application 64 (2012) 2262 2274 Content lit available at SciVere ScienceDirect Computer and Mathematic with Application journal homepage: wwweleviercom/locate/camwa Sharp algebraic
More informationUnbounded solutions of second order discrete BVPs on infinite intervals
Available online at www.tjna.com J. Nonlinear Sci. Appl. 9 206), 357 369 Reearch Article Unbounded olution of econd order dicrete BVP on infinite interval Hairong Lian a,, Jingwu Li a, Ravi P Agarwal b
More informationTUTORIAL PROBLEMS 1 - SOLUTIONS RATIONAL CHEREDNIK ALGEBRAS
TUTORIAL PROBLEMS 1 - SOLUTIONS RATIONAL CHEREDNIK ALGEBRAS ALGEBRAIC LIE THEORY AND REPRESENTATION THEORY, GLASGOW 014 (-1) Let A be an algebra with a filtration 0 = F 1 A F 0 A F 1 A... uch that a) F
More informationCOHOMOLOGY AS A LOCAL-TO-GLOBAL BRIDGE
COHOMOLOGY AS A LOCAL-TO-GLOBAL BRIDGE LIVIU I. NICOLAESCU ABSTRACT. I dicu low dimenional incarnation of cohomology and illutrate how baic cohomological principle lead to a proof of Sperner lemma. CONTENTS.
More informationSuggestions - Problem Set (a) Show the discriminant condition (1) takes the form. ln ln, # # R R
Suggetion - Problem Set 3 4.2 (a) Show the dicriminant condition (1) take the form x D Ð.. Ñ. D.. D. ln ln, a deired. We then replace the quantitie. 3ß D3 by their etimate to get the proper form for thi
More informationarxiv: v1 [math.co] 1 Dec 2018
FAREY BOAT II. Q-DEFORMATIONS: -DEFORMED RATIONALS AND -CONTINUED FRACTIONS arxiv:8.7v [math.co] Dec 8 SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO Abtract. We introduce a notion of -deformed rational number
More informationTAYLOR POLYNOMIALS FOR NABLA DYNAMIC EQUATIONS ON TIME SCALES
TAYLOR POLYNOMIALS FOR NABLA DYNAMIC EQUATIONS ON TIME SCALES DOUGLAS R. ANDERSON Abtract. We are concerned with the repreentation of polynomial for nabla dynamic equation on time cale. Once etablihed,
More informationarxiv: v1 [math.co] 17 Nov 2014
Maximizing proper coloring on graph Jie Ma Humberto Nave arxiv:1411.4364v1 [math.co] 17 Nov 2014 Abtract The number of proper q-coloring of a graph G, denoted by P G q, i an important graph parameter that
More informationThe Secret Life of the ax + b Group
The Secret Life of the ax + b Group Linear function x ax + b are prominent if not ubiquitou in high chool mathematic, beginning in, or now before, Algebra I. In particular, they are prime exhibit in any
More informationNew bounds for Morse clusters
New bound for More cluter Tamá Vinkó Advanced Concept Team, European Space Agency, ESTEC Keplerlaan 1, 2201 AZ Noordwijk, The Netherland Tama.Vinko@ea.int and Arnold Neumaier Fakultät für Mathematik, Univerität
More informationUSPAS Course on Recirculated and Energy Recovered Linear Accelerators
USPAS Coure on Recirculated and Energy Recovered Linear Accelerator G. A. Krafft and L. Merminga Jefferon Lab I. Bazarov Cornell Lecture 6 7 March 005 Lecture Outline. Invariant Ellipe Generated by a Unimodular
More informationMulti-dimensional Fuzzy Euler Approximation
Mathematica Aeterna, Vol 7, 2017, no 2, 163-176 Multi-dimenional Fuzzy Euler Approximation Yangyang Hao College of Mathematic and Information Science Hebei Univerity, Baoding 071002, China hdhyywa@163com
More informationDimensional Analysis A Tool for Guiding Mathematical Calculations
Dimenional Analyi A Tool for Guiding Mathematical Calculation Dougla A. Kerr Iue 1 February 6, 2010 ABSTRACT AND INTRODUCTION In converting quantitie from one unit to another, we may know the applicable
More informationDIFFERENTIAL EQUATIONS
DIFFERENTIAL EQUATIONS Laplace Tranform Paul Dawkin Table of Content Preface... Laplace Tranform... Introduction... The Definition... 5 Laplace Tranform... 9 Invere Laplace Tranform... Step Function...4
More informationOnline Appendix for Managerial Attention and Worker Performance by Marina Halac and Andrea Prat
Online Appendix for Managerial Attention and Worker Performance by Marina Halac and Andrea Prat Thi Online Appendix contain the proof of our reult for the undicounted limit dicued in Section 2 of the paper,
More informationCHAPTER 8 OBSERVER BASED REDUCED ORDER CONTROLLER DESIGN FOR LARGE SCALE LINEAR DISCRETE-TIME CONTROL SYSTEMS
CHAPTER 8 OBSERVER BASED REDUCED ORDER CONTROLLER DESIGN FOR LARGE SCALE LINEAR DISCRETE-TIME CONTROL SYSTEMS 8.1 INTRODUCTION 8.2 REDUCED ORDER MODEL DESIGN FOR LINEAR DISCRETE-TIME CONTROL SYSTEMS 8.3
More informationList Coloring Graphs
Lit Coloring Graph February 6, 004 LIST COLORINGS AND CHOICE NUMBER Thomaen Long Grotzch girth 5 verion Thomaen Long Let G be a connected planar graph of girth at leat 5. Let A be a et of vertice in G
More informationSymmetric Determinantal Representation of Formulas and Weakly Skew Circuits
Contemporary Mathematic Symmetric Determinantal Repreentation of Formula and Weakly Skew Circuit Bruno Grenet, Erich L. Kaltofen, Pacal Koiran, and Natacha Portier Abtract. We deploy algebraic complexity
More informationMath Skills. Scientific Notation. Uncertainty in Measurements. Appendix A5 SKILLS HANDBOOK
ppendix 5 Scientific Notation It i difficult to work with very large or very mall number when they are written in common decimal notation. Uually it i poible to accommodate uch number by changing the SI
More informationMATEMATIK Datum: Tid: eftermiddag. A.Heintz Telefonvakt: Anders Martinsson Tel.:
MATEMATIK Datum: 20-08-25 Tid: eftermiddag GU, Chalmer Hjälpmedel: inga A.Heintz Telefonvakt: Ander Martinon Tel.: 073-07926. Löningar till tenta i ODE och matematik modellering, MMG5, MVE6. Define what
More informationinto a discrete time function. Recall that the table of Laplace/z-transforms is constructed by (i) selecting to get
Lecture 25 Introduction to Some Matlab c2d Code in Relation to Sampled Sytem here are many way to convert a continuou time function, { h( t) ; t [0, )} into a dicrete time function { h ( k) ; k {0,,, }}
More informationON A CERTAIN FAMILY OF QUARTIC THUE EQUATIONS WITH THREE PARAMETERS. Volker Ziegler Technische Universität Graz, Austria
GLASNIK MATEMATIČKI Vol. 1(61)(006), 9 30 ON A CERTAIN FAMILY OF QUARTIC THUE EQUATIONS WITH THREE PARAMETERS Volker Ziegler Techniche Univerität Graz, Autria Abtract. We conider the parameterized Thue
More informationThe Centraliser of a Semisimple Element on a Reductive Algebraic Monoid
Journal of Algebra 28, 725 999 Article ID jabr.999.7857, available online at http:www.idealibrary.com on The Centralier of a Semiimple Element on a Reductive Algebraic Monoid M. Eileen Hull and Lex E.
More informationGenerating Functions. STAT253/317 Winter 2013 Lecture 8. More Properties of Generating Functions Random Walk w/ Reflective Boundary at 0
Generating Function STAT253/37 Winter 203 Lecture 8 Yibi Huang January 25, 203 Generating Function For a non-negative-integer-valued random variable T, the generating function of T i the expected value
More informationON TESTING THE DIVISIBILITY OF LACUNARY POLYNOMIALS BY CYCLOTOMIC POLYNOMIALS Michael Filaseta* and Andrzej Schinzel 1. Introduction and the Main Theo
ON TESTING THE DIVISIBILITY OF LACUNARY POLYNOMIALS BY CYCLOTOMIC POLYNOMIALS Michael Filaeta* and Andrzej Schinzel 1. Introduction and the Main Theorem Thi note decribe an algorithm for determining whether
More informationON A CERTAIN FAMILY OF QUARTIC THUE EQUATIONS WITH THREE PARAMETERS
ON A CERTAIN FAMILY OF QUARTIC THUE EQUATIONS WITH THREE PARAMETERS VOLKER ZIEGLER Abtract We conider the parameterized Thue equation X X 3 Y (ab + (a + bx Y abxy 3 + a b Y = ±1, where a, b 1 Z uch that
More informationOn the chromatic number of a random 5-regular graph
On the chromatic number of a random 5-regular graph J. Díaz A.C. Kapori G.D. Kemke L.M. Kiroui X. Pérez N. Wormald Abtract It wa only recently hown by Shi and Wormald, uing the differential equation method
More informationarxiv: v2 [math.co] 11 Sep 2017
The maximum number of clique in graph without long cycle Ruth Luo September 13, 017 arxiv:1701.0747v [math.co] 11 Sep 017 Abtract The Erdő Gallai Theorem tate that for k 3 every graph on n vertice with
More informationCS 170: Midterm Exam II University of California at Berkeley Department of Electrical Engineering and Computer Sciences Computer Science Division
1 1 April 000 Demmel / Shewchuk CS 170: Midterm Exam II Univerity of California at Berkeley Department of Electrical Engineering and Computer Science Computer Science Diviion hi i a cloed book, cloed calculator,
More informationFair Game Review. Chapter 7 A B C D E Name Date. Complete the number sentence with <, >, or =
Name Date Chapter 7 Fair Game Review Complete the number entence with , or =. 1. 3.4 3.45 2. 6.01 6.1 3. 3.50 3.5 4. 0.84 0.91 Find three decimal that make the number entence true. 5. 5.2 6. 2.65 >
More informationMulti-graded Hilbert functions, mixed multiplicities
ulti-graded Hilbert function, mixed multiplicitie Irena Swanon* ultiplicitie of ideal are ueful invariant, which in good ring determine the ideal up to integral cloure. ixed multiplicitie are a collection
More informationMoment of Inertia of an Equilateral Triangle with Pivot at one Vertex
oment of nertia of an Equilateral Triangle with Pivot at one Vertex There are two wa (at leat) to derive the expreion f an equilateral triangle that i rotated about one vertex, and ll how ou both here.
More informationSocial Studies 201 Notes for March 18, 2005
1 Social Studie 201 Note for March 18, 2005 Etimation of a mean, mall ample ize Section 8.4, p. 501. When a reearcher ha only a mall ample ize available, the central limit theorem doe not apply to the
More informationWeakly Krull Inside Factorial Domains
Weakly Krull Inide Factorial Domain D. D. ANDERSON, The Univerity of Iowa, Department of Mathematic, Iowa City, Iowa 52242, dan-anderon@uiowa.edu MUHAMMED ZAFRULLAH, Idaho State Univerity, Department of
More informationThe method of brackets. Part 2: examples and applications
Contemporary Mathematic The method of bracket Part : example and application Ivan Gonzalez, Victor H Moll, and Armin Straub Abtract A new heuritic method for the evaluation of definite integral i preented
More informationGeometric Measure Theory
Geometric Meaure Theory Lin, Fall 010 Scribe: Evan Chou Reference: H. Federer, Geometric meaure theory L. Simon, Lecture on geometric meaure theory P. Mittila, Geometry of et and meaure in Euclidean pace
More informationLecture 7: Testing Distributions
CSE 5: Sublinear (and Streaming) Algorithm Spring 014 Lecture 7: Teting Ditribution April 1, 014 Lecturer: Paul Beame Scribe: Paul Beame 1 Teting Uniformity of Ditribution We return today to property teting
More informationSpacelike Salkowski and anti-salkowski Curves With a Spacelike Principal Normal in Minkowski 3-Space
Int. J. Open Problem Compt. Math., Vol., No. 3, September 009 ISSN 998-66; Copyright c ICSRS Publication, 009 www.i-cr.org Spacelike Salkowki and anti-salkowki Curve With a Spacelike Principal Normal in
More informationc n b n 0. c k 0 x b n < 1 b k b n = 0. } of integers between 0 and b 1 such that x = b k. b k c k c k
1. Exitence Let x (0, 1). Define c k inductively. Suppoe c 1,..., c k 1 are already defined. We let c k be the leat integer uch that x k An eay proof by induction give that and for all k. Therefore c n
More informationExplicit formulae for J pectral factor for well-poed linear ytem Ruth F. Curtain Amol J. Saane Department of Mathematic Department of Mathematic Univerity of Groningen Univerity of Twente P.O. Box 800
More informationLecture 17: Analytic Functions and Integrals (See Chapter 14 in Boas)
Lecture 7: Analytic Function and Integral (See Chapter 4 in Boa) Thi i a good point to take a brief detour and expand on our previou dicuion of complex variable and complex function of complex variable.
More informationApproximate Analytical Solution for Quadratic Riccati Differential Equation
Iranian J. of Numerical Analyi and Optimization Vol 3, No. 2, 2013), pp 21-31 Approximate Analytical Solution for Quadratic Riccati Differential Equation H. Aminikhah Abtract In thi paper, we introduce
More informationDIFFERENTIAL EQUATIONS Laplace Transforms. Paul Dawkins
DIFFERENTIAL EQUATIONS Laplace Tranform Paul Dawkin Table of Content Preface... Laplace Tranform... Introduction... The Definition... 5 Laplace Tranform... 9 Invere Laplace Tranform... Step Function...
More informationSingular perturbation theory
Singular perturbation theory Marc R. Rouel June 21, 2004 1 Introduction When we apply the teady-tate approximation (SSA) in chemical kinetic, we typically argue that ome of the intermediate are highly
More information6 Global definition of Riemann Zeta, and generalization of related coefficients. p + p >1 (1.1)
6 Global definition of Riemann Zeta, and generalization of related coefficient 6. Patchy definition of Riemann Zeta Let' review the definition of Riemann Zeta. 6.. The definition by Euler The very beginning
More informationOverflow from last lecture: Ewald construction and Brillouin zones Structure factor
Lecture 5: Overflow from lat lecture: Ewald contruction and Brillouin zone Structure factor Review Conider direct lattice defined by vector R = u 1 a 1 + u 2 a 2 + u 3 a 3 where u 1, u 2, u 3 are integer
More informationTHE HAUSDORFF MEASURE OF SIERPINSKI CARPETS BASING ON REGULAR PENTAGON
Anal. Theory Appl. Vol. 28, No. (202), 27 37 THE HAUSDORFF MEASURE OF SIERPINSKI CARPETS BASING ON REGULAR PENTAGON Chaoyi Zeng, Dehui Yuan (Hanhan Normal Univerity, China) Shaoyuan Xu (Gannan Normal Univerity,
More informationEE 508 Lecture 16. Filter Transformations. Lowpass to Bandpass Lowpass to Highpass Lowpass to Band-reject
EE 508 Lecture 6 Filter Tranformation Lowpa to Bandpa Lowpa to Highpa Lowpa to Band-reject Review from Lat Time Theorem: If the perimeter variation and contact reitance are neglected, the tandard deviation
More informationA SIMPLE NASH-MOSER IMPLICIT FUNCTION THEOREM IN WEIGHTED BANACH SPACES. Sanghyun Cho
A SIMPLE NASH-MOSER IMPLICIT FUNCTION THEOREM IN WEIGHTED BANACH SPACES Sanghyun Cho Abtract. We prove a implified verion of the Nah-Moer implicit function theorem in weighted Banach pace. We relax the
More informationSocial Studies 201 Notes for November 14, 2003
1 Social Studie 201 Note for November 14, 2003 Etimation of a mean, mall ample ize Section 8.4, p. 501. When a reearcher ha only a mall ample ize available, the central limit theorem doe not apply to the
More informationMath 201 Lecture 17: Discontinuous and Periodic Functions
Math 2 Lecture 7: Dicontinuou and Periodic Function Feb. 5, 22 Many example here are taken from the textbook. he firt number in () refer to the problem number in the UA Cutom edition, the econd number
More informationSOME RESULTS ON INFINITE POWER TOWERS
NNTDM 16 2010) 3, 18-24 SOME RESULTS ON INFINITE POWER TOWERS Mladen Vailev - Miana 5, V. Hugo Str., Sofia 1124, Bulgaria E-mail:miana@abv.bg Abtract To my friend Kratyu Gumnerov In the paper the infinite
More information( ), and the convex hull of A in ( K,K +
Real cloed valuation ring Niel Schwartz Abtract The real cloed valuation ring, ie, convex ubring of real cloed field, form a proper ubcla of the cla of real cloed domain It i hown how one can recognize
More informationName: Solutions Exam 2
Intruction. Anwer each of the quetion on your own paper. Put your name on each page of your paper. Be ure to how your work o that partial credit can be adequately aeed. Credit will not be given for anwer
More informationNonlinear Single-Particle Dynamics in High Energy Accelerators
Nonlinear Single-Particle Dynamic in High Energy Accelerator Part 6: Canonical Perturbation Theory Nonlinear Single-Particle Dynamic in High Energy Accelerator Thi coure conit of eight lecture: 1. Introduction
More information(b) Is the game below solvable by iterated strict dominance? Does it have a unique Nash equilibrium?
14.1 Final Exam Anwer all quetion. You have 3 hour in which to complete the exam. 1. (60 Minute 40 Point) Anwer each of the following ubquetion briefly. Pleae how your calculation and provide rough explanation
More informationREPRESENTATION OF ALGEBRAIC STRUCTURES BY BOOLEAN FUNCTIONS. Logic and Applications 2015 (LAP 2015) September 21-25, 2015, Dubrovnik, Croatia
REPRESENTATION OF ALGEBRAIC STRUCTURES BY BOOLEAN FUNCTIONS SMILE MARKOVSKI Faculty of Computer Science and Engineering, S Ciryl and Methodiu Univerity in Skopje, MACEDONIA mile.markovki@gmail.com Logic
More informationHELICAL TUBES TOUCHING ONE ANOTHER OR THEMSELVES
15 TH INTERNATIONAL CONFERENCE ON GEOMETRY AND GRAPHICS 0 ISGG 1-5 AUGUST, 0, MONTREAL, CANADA HELICAL TUBES TOUCHING ONE ANOTHER OR THEMSELVES Peter MAYRHOFER and Dominic WALTER The Univerity of Innbruck,
More informationCorrection for Simple System Example and Notes on Laplace Transforms / Deviation Variables ECHE 550 Fall 2002
Correction for Simple Sytem Example and Note on Laplace Tranform / Deviation Variable ECHE 55 Fall 22 Conider a tank draining from an initial height of h o at time t =. With no flow into the tank (F in
More information(3) A bilinear map B : S(R n ) S(R m ) B is continuous (for the product topology) if and only if there exist C, N and M such that
The material here can be found in Hörmander Volume 1, Chapter VII but he ha already done almot all of ditribution theory by thi point(!) Johi and Friedlander Chapter 8. Recall that S( ) i a complete metric
More informationTMA4125 Matematikk 4N Spring 2016
Norwegian Univerity of Science and Technology Department of Mathematical Science TMA45 Matematikk 4N Spring 6 Solution to problem et 6 In general, unle ele i noted, if f i a function, then F = L(f denote
More informationON THE SMOOTHNESS OF SOLUTIONS TO A SPECIAL NEUMANN PROBLEM ON NONSMOOTH DOMAINS
Journal of Pure and Applied Mathematic: Advance and Application Volume, umber, 4, Page -35 O THE SMOOTHESS OF SOLUTIOS TO A SPECIAL EUMA PROBLEM O OSMOOTH DOMAIS ADREAS EUBAUER Indutrial Mathematic Intitute
More information