Lattices. Mathematical background
|
|
- Marlene Rogers
- 6 years ago
- Views:
Transcription
1 Lattces Mathematcal backgroud
2 Lattces : -dmesoal Eucldea space. That s, { T x } x x = (,, ) :,. T T If x= ( x,, x), y = ( y,, y), the xy, = xy (er product of xad y) x = /2 xx, (Eucldea legth or orm of x) x y: Eucldea dstace betwee x ad y. Defto : A lattce L s a dscrete subgroup of. subgroup: f x, y L, the x y L. dscrete: ε > 0 s.t. x y ε for all x y L.
3 Defto 2: A -dmesoal lattce of rak m s a subset { b b } L of the form L= x + + x : x m m where b,, b are learly depedet vectors. m Every vector L s a teger lear combato of b,, b. m ( ) Bass: B= b,, b s called a bass of L. L has full rak f m=. We wll be mostly terested full rak lattces, ad call them m -dmetoal lattces. We deote by L( B) the lattce geerated by B. Thus, { m } f B s a bass, the L ( B) = B m = Bx : x.
4 Let b,, b (ot ecessarly learly depedet). ( b b ) { b + + b } Let L,, x x : x. m m m m ( b b ) Theorem. L,, s a lattce f b,, bm, or f b,, b are learly depedet. ( b b ) m m ( ) ( ) Whe L b,, b s a lattce, b,, b s sad to be m a geerator. If the b 's are further leraly depedet, the,, s a m ba ss. m
5 Example lattces Zero lattce: 0. Lattce of tegers:. Itegral lattces : sublattces of. { m q} m Λ ( A) x : Ax = 0 mod, where A s q a matrx of dmesos m, ad q a teger. L, ( ) = { x+ y xy } 2 2 :, s ot a lattce, for there ( ) exsts a sequece of ratoals x y s.t. x y 2.
6 A Lattce 2 dmesos Source:
7 A dfferet bass for the same lattce Source:
8 Lattce Bases Umodular matrx: determat = ±. square, havg teger etres, ad ( ) If A= a ad det 0, the ( ) j A A = cj, where det A + j c = ( ) det A, j A j = A j wth row j ad colum omted. det A Furthermore, det. A If A s umodular, the A s umodular. =
9 Theorem: Two bases B ad C geerate the same lattce,.e., L( B) = L( C), ff B = CU for some umodular matrx U. Proof: U ( ) Assume B = CU, U umodular. The C = BU umodular. B = CU L( B) L( C) C BU L( C) L( B) = L( B) = L( C). ( ) Assume L( B) = L( C). Each b B s the lattce, hece m b = C v for some v, m, ad B = CV, where V = ( v ). Smlarly, C= BW for some square teger matrx W. Hece ( ) ( l. dep.) B = BWV B I WV = 0 I WV = 0 B det W det V = det WV = det I = det W = det V = ±.,
10 For each >, there s a fte umber of -dmetoal umodular matrces. a a For example, s umodular for ay a. Each lattce of rak > has a fte umber of bases.
11 Fudametal Parallelepped ( ) Let B= b,, b be a full rak bass. Fudametal parallelepped assocated to B : { T B x x } P( B) = : = ( x,, x ), 0 x <. Cetered fudametal parallelepped: C( B) { T B x x x } x x = : = (,, ), 2 < 2. P( B) ad C( B) are half ope.
12 v L( B) { P B + v v L B } The traslates ( ) : ( ) form a partto of the whole space : ( P( B) v) = + For ay t, there exsts a uque pot r P( B) s.t. x r L( B). Ths uque r s deoted by tmod B. tmod B ca be computed effcetly as: tmod B= t B B t where x rouds x's coordates x to x.
13 v L( B) ( C( B) v) { C B + v v L B } Smlarly, the traslates ( ) : ( ) form a partto of the whole space : = + For ay t, there exsts a uque pot r C( B) s.t. x r L( B). Let's deote ths uque r s also by t mod B. tmod B ca be computed effcetly as: tmod B t B B t = where x rouds x's coordates to the earest teger.
14 Gram-Schmdt orthogoalzato ( ) A bass B= b,, b of a vector space s f b, b = 0 for j. B s orthoormal f b, b = δ, where s Kroecker's delta. Ay bass B= ( b,, b ) orthogoal j j δ j ca be trasformed to a ( ) orthogoal bass B = b,, b usg the well-kow Gram-Schmdt orthogoalzato process: b = b. b, b b, b j j = µ, j jwhere µ, j= =. 2 j< b j, b j b j b b b
15 Determat B, C : full rak bases. B : the Gram-Schmdt bass of B. Theorem : If are two bases of the same lattce, the det B= det C. Also, det B b. Defto: The B, C ± = determat of a lattce ( P ) L( B) s det Λ= det L( B) = vol ( B) = b = det B. Λ= Ths quatty s a varat of Λ, depedet of bases.
16 Hermte ormal form A square, o-sgular, teger or ratoal matrx B s Hermte ormal form (HNF) ff B s lower tragular ( b = 0 for < j) For all j<, 0 b < b. j j = ( b ) j Some authors prefer usg upper tragular matrces. Examples: or
17 HNF for sgular or o-square matrces ( ) A teger or ratoal m matrx B = b s HNF f j 2, k, j ( ) ( ) < < < s.t. b 0 j h. For all k < j, 0 b < b. h j j j j Example:
18 The frst h colums are learly depedet. Theorem: lattce, the at the ed). If two matrces B, B HNF geerate the same B= B (except for the umber of zero-colums Theorem: Ay lattce L( B) has a uque bass H HNF, whch ca be costructed from B polyomal tme. HNF s useful for solvg may lattce problems. Bass Pro ble m: Gve a set of ratoal vectors bass for the lattce L( B). B, fd a
19 Good bases ad bad basses ( ) Let B= b,, b be a bass of lattce L. Roughly speakg, B s a good bass f the vectors b the equalty HNF( L) s a bad are reasoably short ad early orthogoal b bass ad s a good choce for the publc lattce bass. It reveals o more fo about L's structure tha ay other bass, because HNF( L) bass polyomal tme. det( L) comes close to equalty. ca be computed from ay
20 Dual Lattce The dual of a (full rak) lattce Λ= L( B) s the set { x xv v } Λ = :, for all Λ. Theorem: bass The dual of a lattce T ( ) ( T) Λ= L( B) s a lattce wth D= B = B. That s, L( D) = Λ. L ( ) D Λ D Λ db j db = D B= I T ( ) j, j. Λ L( D) : If x Λ, the xb, for all j, whch meas j T Bx x B = D = D ( T) L( )
21 Mmum dstace ad shortest vector Defto: The mmum dstace of a lattce Λ= L( B) s the smallest dstace betwee ay two lattce pots: { x y xy x y} λ( Λ ) = m :, Λ,. Note tha t λ( Λ) s equal to the legth of a shortest ozero lattce vector: { x x x 0} λ( Λ ) = λ ( Λ ) = m : Λ,. We ca use m because lattces are dscrete.
22 Successve mma Defto: For ay lattce Λ ad teger k rak( Λ), let λ ( Λ) be the smallest rs.t. the closed ball Br ( ) cotas at k least k learly depedet lattce vectors. That s, { x x x x Λ } λ ( Λ ) = m max,, :,, learly d. k k k //legth of the kth shortest learly depedet vector// Obvously, λ ( Λ) λ ( Λ) λ ( Λ). 2 k λ,, λ are called succesve mma of k frst mmum, secod mmum, ad so o. Λ :
23 Easy Lattce Problems Equvalece problem: Gve two bases B ad B, determe f they geerate Soluto: Sum of lattces: the same lattce, L( B) = L( B ). Compute ad check f HNF( B) = HNF( B ). Gve bases B ad B, fd a bass for the smallest lattce cotag both L( B) ad L( B ), whch s Soluto: { } L( B) + L( B ) = x+y: x L( B), y L( B ). Compute HNF( BB, ). Cotamet problem: Gve two bases B ad B, determe f L( B) L( B ). Soluto: Is HNF( B ) = HN F ( BB, )?
24 Membershp problem: Soluto: Is v L( B)? Check f HNF( Bv, ) = HNF( B). Dual lattce: Gve a lattce bass B, compute ts dual. Soluto: T ( ) ( T) D: = B or B. Itersecto of lattces: Gve two bases B ad B, fd a bass for the tersecto L( B) L( B ). Soluto: If D, D are the dual of B, B, the the dual lattce of L( B) L( B ) s L( DD, ). So, Compute the dual bases D, D of B, B. Compute a bass for L( DD, ) : H: = HNF( DD, ). Compute the dual of H.
25 Cyclc lattce: Let r( x) be the cyclc rotato of vector x,.e., r( x,, x ) = ( x, x,, x ). A lattce Λ s cyclc ff x Λ mples r( x) Λ. (, ) Problem: Gve B= b, b { } j ( x ) 0 ( b ) : 0,, where ( x) x ad m, fd the smallest cyclc lattce cotag L( B). Sol: The lattce geerated by all the vector rotatos r m j r = r ( x) = r r ( ). Problem: Is a gve lattce L( B) cyclc? Sol: ( ) L( B) cyclc r L( B) L( B) r( B) L( B).
26 Some Importat Hard Lattce Problems
27 Shortest Vector Problems Exact Shortest Vector Problem (SVP): Gve a bass for a lattce vector v L of legth λ ( L). of rak, fd a ozero Approxmate Shortest Vector Problem (SVP ): L Gve a bass for a lattce L of rak, fd a ozero vector v L of legth at most γ λ ( L). (The approxmato factor γ may be a fucto of.) γ SVP has bee studed sce the tme of Gauss (80).
28 Hardess of SVP γ NP-hard for ay costat γ. There s o polyomal algorthm uless P = NP. γ = c log log Hard for ( ) for some 0. There s o polyomal algorthm uless NP c > RSUBEXP. Caot be NP-hard for γ ( ) = log uless NP coam. Caot be NP-hard for γ ( ) = uless NP = conp. costat c log log log NP-hard hard ulkely NP-hard ulkely NP-hard
29 SVP ca be solved polyomal tme γ γ ( ) = 2 /2 LLL algorthm (982): for. Determstc algorthm. O( (log log ) log ) Schorr (985) : for γ ( ) = 2. Determstc algorthm. Olog log log Ajta, Kumar, ad Svakumar(200) : γ ( ) = 2. Ramdomzed algorthm wth bouded error. 2 ( ) ( ) Olog log log O( (log log ) log ) /2 ulkely NP-hard BPP P P
30 SVP : ope problems γ It would be a breakthrough f oe ca: Solve SVP polyomal tme for some c > 0. c Prove SVP hard or NP-hard for ε some ε > 0.
31 Two other mportat problems: CVP ad SIVP Closest Vector Problem (CVP ): Gve a bass for a lattce (of rak ) L a vector t, fd a ozero vector v L s. t. t v γ ( ) dst( t, L). γ ad Shortest Idepedet Vectors Problem (SIVP ): Gve a bass for a lattce L of rak, fd learly depedet vectors v γ( ) λ ( ).,, v L of legth at most γ
32 CVP γ s at least as hard as SVP γ Theorem: SVP ca be reduced to CVP : SVP CVP. γ γ γ γ ( b b ) Proof (for γ = ) : Let B=,, be the put to SVP. Wsh to fd a shortest vector s ( L ) = x b L( B) by callg CVP. The dea s to cosder a sublattce L L( B) ad a pot c L L s.t. c+ s L, whch case, dst( c, L ) = s. Thus, f y CVP, c the y c s a a soluto to SVP( L). Based o ths dea, for each, cosder the pot b { } = ( ) ad the sublattce L geerated by B = b,, 2 b,, b. We have ( ) b L L, ad b + s L f x s odd. Let y CVP B, b. The shortest vector y b s a shortest vector L( B).
33 Relatoshp amog SVP, CVP SVP CVP. γ SIVP CVP. γ SVP SIVP. γ γ SIVP γ γ, γ Ope problem: SVP γ SIVP? γ
34 Bouded Dstace Decodg Problem ( BDDP ): Gve a lattce L ad a vector t satsfyg s.t. t ( + ) dst( t, L) < λ ( L) γ( ), v γ ( ) dst( t, L). fd a ozero vector v L γ Same as CVP γ except for the "bouded" codto o t, whch mples a uque soluto. Uqueess: The vector v L wth t v = dst( t, L)) s obvously a soluto, ad ay other w L s ot a soluto sce t w v w v t λ ( ) dst( t, L) ( γ ) > ( ) + dst( t, L) dst( t, L) = γ( ) dst( t, L).
35 Cetered Orthogoalzed Parallelepped ( ) m Let B= b,, b be a bass. ( ) Let B = b,, b be the Gram-Schmdt matrx of B. Cetered orthogoalzed parallelepped: T ( B ) = B x: x= (,, ), C x x { x } < 2 2. v L ( B) ( ) C( B ) s a fudametal rego: Spa( B) = C( B ) + v. Nearest plae algorthm: Gve a target pot t Spa( B), fd the uque cell C( B ) + v that cotas t.
36 A Lattce 2 dmesos Source:
37 Nearest Plae Algorthm Gve B ad t, fd a lattce pot v= cb + + c b L( B) 2 [ ) s.t. t v, b b 2, 2 for all. I partcular, f t Spa( B), the t C( B ) + v. Let L( B ) be the sublattce geerated by B = b,, b. L( B) ca be decomposed to "sublattces" ( ) ( ) L( B) = cb + L( B) cb + spa( B) c c ( ) The hyperplae cb + spa( B ) closest to t s whe c= 2 t, b b. We choose c = c.
38 ( ) Algorthm NearestPlae( B= b,, b, t) f = 0 the retur 0 else B Gram-Schmdt( B) c t, b b 2 ( ) retur cb + NearestPlae( b,, b, t cb )
39 Correstess Proof By ducto. For = 0, the output meets the requremet. Assume the algorthm returs a correct aswer for raks <. ( ) ( ) ( ) Let C= b,, b ad B= C, b. The B = C, b. By IH, the recursve call returs a lattce pot v L( C) s.t. [ ) ( t cb ) v, b 2, 2 b for all =,...,. The output of the algorthm s v = v + cb. 2 [ ) Need to prove t v, b 2, 2 b for all. 2
40 For t v, b = t ( v + cb ), b = ( t cb ) v, b. For =,, t follows from the IH sce t ( v + cb ), b = t, b v, b c b, b b 2 2 b t, b = c 2 2 [, 2 ). b where we have used v, b = 0 ad b, b = b. 2
41 Nearest Plae Algorthm ad Closest Vector Problem ( L B ) Fact: λ ( ) m b. The fudametal rego C( B ) cotas a sphere cetered at ( L ) 0 of radus ρ = m b 2 λ ( B) 2. Thus, f a pot t s wth dstace ρ of a lattce pot v L( B), the v s the closest lattce pot to t. NearestPlae( Bt, ) wll solve the CVP.
42 Recall RSA Cryptosystem Key geerato: (a) Radomly geerate : = pq for large prmes p, q. (b) Publc key: e, coprme to ϕ( ). (c) Secret key: : mod ( ). d = e ϕ The securty of RSA requres that breakg RSA s hard for all (but a eglgble porto of) staces. By breakg RSA we mea fdg the secret key. It depeds o the assumpto that factorg g e erated semprme = pq s hard. a radomly
43 Ajta's worst-case to average-case reducto Worst-case to worst-case reducto, say P P2: If there s a algorthm that solves P2 the worst case, the there s a algorthm that slove P the worst case. Worst-case to average-case reducto, say P P2: If there s a algorthm that solves a radomly geerated stace of P2 wth oeglgble probablty, the there s a algorthm that solves the worst case of P wth probablty. I 996, Ajta establshed such a worst-case to average-case reducto for some lattce problems.
44 m Let A be a matrx of dmesos m, ad q a c2 teger, where log ad. Defe Λ q m= c q= ( A) x : Ax 0 mod. Ajta showed { m = q} c worst -case -uque-svp o a -dmetoal lattce average-case SVP o Λ q ( A) for some c ad c. 2 Based o ths reducto, Ajta ad Dwork 997 costructed a publc-key cryptosystem whose securty depeds o the (cojectured) worst-case hardess of uque-svp.
45 Later whe we study FHE schemes, t s mportat to ote whether the securty s based o worst-case or average-case hardess. Q: Is the securty of RSA based o the worst-case hardess or the average-case hardess of semprme factorzato?
4 Inner Product Spaces
11.MH1 LINEAR ALGEBRA Summary Notes 4 Ier Product Spaces Ier product s the abstracto to geeral vector spaces of the famlar dea of the scalar product of two vectors or 3. I what follows, keep these key
More informationQR Factorization and Singular Value Decomposition COS 323
QR Factorzato ad Sgular Value Decomposto COS 33 Why Yet Aother Method? How do we solve least-squares wthout currg codto-squarg effect of ormal equatos (A T A A T b) whe A s sgular, fat, or otherwse poorly-specfed?
More informationChapter 9 Jordan Block Matrices
Chapter 9 Jorda Block atrces I ths chapter we wll solve the followg problem. Gve a lear operator T fd a bass R of F such that the matrx R (T) s as smple as possble. f course smple s a matter of taste.
More informationSingular Value Decomposition. Linear Algebra (3) Singular Value Decomposition. SVD and Eigenvectors. Solving LEs with SVD
Sgular Value Decomosto Lear Algera (3) m Cootes Ay m x matrx wth m ca e decomosed as follows Dagoal matrx A UWV m x x Orthogoal colums U U I w1 0 0 w W M M 0 0 x Orthoormal (Pure rotato) VV V V L 0 L 0
More informationSpecial Instructions / Useful Data
JAM 6 Set of all real umbers P A..d. B, p Posso Specal Istructos / Useful Data x,, :,,, x x Probablty of a evet A Idepedetly ad detcally dstrbuted Bomal dstrbuto wth parameters ad p Posso dstrbuto wth
More informationAssignment 5/MATH 247/Winter Due: Friday, February 19 in class (!) (answers will be posted right after class)
Assgmet 5/MATH 7/Wter 00 Due: Frday, February 9 class (!) (aswers wll be posted rght after class) As usual, there are peces of text, before the questos [], [], themselves. Recall: For the quadratc form
More informationMATH 247/Winter Notes on the adjoint and on normal operators.
MATH 47/Wter 00 Notes o the adjot ad o ormal operators I these otes, V s a fte dmesoal er product space over, wth gve er * product uv, T, S, T, are lear operators o V U, W are subspaces of V Whe we say
More informationα1 α2 Simplex and Rectangle Elements Multi-index Notation of polynomials of degree Definition: The set P k will be the set of all functions:
Smplex ad Rectagle Elemets Mult-dex Notato = (,..., ), o-egatve tegers = = β = ( β,..., β ) the + β = ( + β,..., + β ) + x = x x x x = x x β β + D = D = D D x x x β β Defto: The set P of polyomals of degree
More informationIII-16 G. Brief Review of Grand Orthogonality Theorem and impact on Representations (Γ i ) l i = h n = number of irreducible representations.
III- G. Bref evew of Grad Orthogoalty Theorem ad mpact o epresetatos ( ) GOT: h [ () m ] [ () m ] δδ δmm ll GOT puts great restrcto o form of rreducble represetato also o umber: l h umber of rreducble
More informationIntroduction to local (nonparametric) density estimation. methods
Itroducto to local (oparametrc) desty estmato methods A slecture by Yu Lu for ECE 66 Sprg 014 1. Itroducto Ths slecture troduces two local desty estmato methods whch are Parze desty estmato ad k-earest
More informationPTAS for Bin-Packing
CS 663: Patter Matchg Algorthms Scrbe: Che Jag /9/00. Itroducto PTAS for B-Packg The B-Packg problem s NP-hard. If we use approxmato algorthms, the B-Packg problem could be solved polyomal tme. For example,
More information10.1 Approximation Algorithms
290 0. Approxmato Algorthms Let us exame a problem, where we are gve A groud set U wth m elemets A collecto of subsets of the groud set = {,, } s.t. t s a cover of U: = U The am s to fd a subcover, = U,
More informationDiscrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand DIS 10b
CS 70 Dscrete Mathematcs ad Probablty Theory Fall 206 Sesha ad Walrad DIS 0b. Wll I Get My Package? Seaky delvery guy of some compay s out delverg packages to customers. Not oly does he had a radom package
More informationChapter 4 Multiple Random Variables
Revew for the prevous lecture: Theorems ad Examples: How to obta the pmf (pdf) of U = g (, Y) ad V = g (, Y) Chapter 4 Multple Radom Varables Chapter 44 Herarchcal Models ad Mxture Dstrbutos Examples:
More information18.413: Error Correcting Codes Lab March 2, Lecture 8
18.413: Error Correctg Codes Lab March 2, 2004 Lecturer: Dael A. Spelma Lecture 8 8.1 Vector Spaces A set C {0, 1} s a vector space f for x all C ad y C, x + y C, where we take addto to be compoet wse
More information8.1 Hashing Algorithms
CS787: Advaced Algorthms Scrbe: Mayak Maheshwar, Chrs Hrchs Lecturer: Shuch Chawla Topc: Hashg ad NP-Completeess Date: September 21 2007 Prevously we looked at applcatos of radomzed algorthms, ad bega
More informationChapter 5 Properties of a Random Sample
Lecture 6 o BST 63: Statstcal Theory I Ku Zhag, /0/008 Revew for the prevous lecture Cocepts: t-dstrbuto, F-dstrbuto Theorems: Dstrbutos of sample mea ad sample varace, relatoshp betwee sample mea ad sample
More informationThe Mathematical Appendix
The Mathematcal Appedx Defto A: If ( Λ, Ω, where ( λ λ λ whch the probablty dstrbutos,,..., Defto A. uppose that ( Λ,,..., s a expermet type, the σ-algebra o λ λ λ are defed s deoted by ( (,,...,, σ Ω.
More informationCHAPTER 4 RADICAL EXPRESSIONS
6 CHAPTER RADICAL EXPRESSIONS. The th Root of a Real Number A real umber a s called the th root of a real umber b f Thus, for example: s a square root of sce. s also a square root of sce ( ). s a cube
More informationF. Inequalities. HKAL Pure Mathematics. 進佳數學團隊 Dr. Herbert Lam 林康榮博士. [Solution] Example Basic properties
進佳數學團隊 Dr. Herbert Lam 林康榮博士 HKAL Pure Mathematcs F. Ieualtes. Basc propertes Theorem Let a, b, c be real umbers. () If a b ad b c, the a c. () If a b ad c 0, the ac bc, but f a b ad c 0, the ac bc. Theorem
More informationL5 Polynomial / Spline Curves
L5 Polyomal / Sple Curves Cotets Coc sectos Polyomal Curves Hermte Curves Bezer Curves B-Sples No-Uform Ratoal B-Sples (NURBS) Mapulato ad Represetato of Curves Types of Curve Equatos Implct: Descrbe a
More informationHomework 1: Solutions Sid Banerjee Problem 1: (Practice with Asymptotic Notation) ORIE 4520: Stochastics at Scale Fall 2015
Fall 05 Homework : Solutos Problem : (Practce wth Asymptotc Notato) A essetal requremet for uderstadg scalg behavor s comfort wth asymptotc (or bg-o ) otato. I ths problem, you wll prove some basc facts
More informationRademacher Complexity. Examples
Algorthmc Foudatos of Learg Lecture 3 Rademacher Complexty. Examples Lecturer: Patrck Rebesch Verso: October 16th 018 3.1 Itroducto I the last lecture we troduced the oto of Rademacher complexty ad showed
More informationLecture 9: Tolerant Testing
Lecture 9: Tolerat Testg Dael Kae Scrbe: Sakeerth Rao Aprl 4, 07 Abstract I ths lecture we prove a quas lear lower boud o the umber of samples eeded to do tolerat testg for L dstace. Tolerat Testg We have
More informationDimensionality Reduction and Learning
CMSC 35900 (Sprg 009) Large Scale Learg Lecture: 3 Dmesoalty Reducto ad Learg Istructors: Sham Kakade ad Greg Shakharovch L Supervsed Methods ad Dmesoalty Reducto The theme of these two lectures s that
More informationDerivation of 3-Point Block Method Formula for Solving First Order Stiff Ordinary Differential Equations
Dervato of -Pot Block Method Formula for Solvg Frst Order Stff Ordary Dfferetal Equatos Kharul Hamd Kharul Auar, Kharl Iskadar Othma, Zara Bb Ibrahm Abstract Dervato of pot block method formula wth costat
More informationX ε ) = 0, or equivalently, lim
Revew for the prevous lecture Cocepts: order statstcs Theorems: Dstrbutos of order statstcs Examples: How to get the dstrbuto of order statstcs Chapter 5 Propertes of a Radom Sample Secto 55 Covergece
More informationAlgorithms Theory, Solution for Assignment 2
Juor-Prof. Dr. Robert Elsässer, Marco Muñz, Phllp Hedegger WS 2009/200 Algorthms Theory, Soluto for Assgmet 2 http://lak.formatk.u-freburg.de/lak_teachg/ws09_0/algo090.php Exercse 2. - Fast Fourer Trasform
More information3D Geometry for Computer Graphics. Lesson 2: PCA & SVD
3D Geometry for Computer Graphcs Lesso 2: PCA & SVD Last week - egedecomposto We wat to lear how the matrx A works: A 2 Last week - egedecomposto If we look at arbtrary vectors, t does t tell us much.
More informationMu Sequences/Series Solutions National Convention 2014
Mu Sequeces/Seres Solutos Natoal Coveto 04 C 6 E A 6C A 6 B B 7 A D 7 D C 7 A B 8 A B 8 A C 8 E 4 B 9 B 4 E 9 B 4 C 9 E C 0 A A 0 D B 0 C C Usg basc propertes of arthmetc sequeces, we fd a ad bm m We eed
More informationPROJECTION PROBLEM FOR REGULAR POLYGONS
Joural of Mathematcal Sceces: Advaces ad Applcatos Volume, Number, 008, Pages 95-50 PROJECTION PROBLEM FOR REGULAR POLYGONS College of Scece Bejg Forestry Uversty Bejg 0008 P. R. Cha e-mal: sl@bjfu.edu.c
More informationCS286.2 Lecture 4: Dinur s Proof of the PCP Theorem
CS86. Lecture 4: Dur s Proof of the PCP Theorem Scrbe: Thom Bohdaowcz Prevously, we have prove a weak verso of the PCP theorem: NP PCP 1,1/ (r = poly, q = O(1)). Wth ths result we have the desred costat
More informationApplication of Legendre Bernstein basis transformations to degree elevation and degree reduction
Computer Aded Geometrc Desg 9 79 78 www.elsever.com/locate/cagd Applcato of Legedre Berste bass trasformatos to degree elevato ad degree reducto Byug-Gook Lee a Yubeom Park b Jaechl Yoo c a Dvso of Iteret
More informationRandom Variables and Probability Distributions
Radom Varables ad Probablty Dstrbutos * If X : S R s a dscrete radom varable wth rage {x, x, x 3,. } the r = P (X = xr ) = * Let X : S R be a dscrete radom varable wth rage {x, x, x 3,.}.If x r P(X = x
More informationIdeal multigrades with trigonometric coefficients
Ideal multgrades wth trgoometrc coeffcets Zarathustra Brady December 13, 010 1 The problem A (, k) multgrade s defed as a par of dstct sets of tegers such that (a 1,..., a ; b 1,..., b ) a j = =1 for all
More informationLecture 07: Poles and Zeros
Lecture 07: Poles ad Zeros Defto of poles ad zeros The trasfer fucto provdes a bass for determg mportat system respose characterstcs wthout solvg the complete dfferetal equato. As defed, the trasfer fucto
More informationSome Different Perspectives on Linear Least Squares
Soe Dfferet Perspectves o Lear Least Squares A stadard proble statstcs s to easure a respose or depedet varable, y, at fed values of oe or ore depedet varables. Soetes there ests a deterstc odel y f (,,
More informationρ < 1 be five real numbers. The
Lecture o BST 63: Statstcal Theory I Ku Zhag, /0/006 Revew for the prevous lecture Deftos: covarace, correlato Examples: How to calculate covarace ad correlato Theorems: propertes of correlato ad covarace
More informationA conic cutting surface method for linear-quadraticsemidefinite
A coc cuttg surface method for lear-quadratcsemdefte programmg Mohammad R. Osoorouch Calfora State Uversty Sa Marcos Sa Marcos, CA Jot wor wth Joh E. Mtchell RPI July 3, 2008 Outle: Secod-order coe: defto
More informationSummary of the lecture in Biostatistics
Summary of the lecture Bostatstcs Probablty Desty Fucto For a cotuos radom varable, a probablty desty fucto s a fucto such that: 0 dx a b) b a dx A probablty desty fucto provdes a smple descrpto of the
More informationHard Core Predicates: How to encrypt? Recap
Hard Core Predcates: How to ecrypt? Debdeep Mukhopadhyay IIT Kharagpur Recap A ecrypto scheme s secured f for every probablstc adversary A carryg out some specfed kd of attack ad for every polyomal p(.),
More informationMA 524 Homework 6 Solutions
MA 524 Homework 6 Solutos. Sce S(, s the umber of ways to partto [] to k oempty blocks, ad c(, s the umber of ways to partto to k oempty blocks ad also the arrage each block to a cycle, we must have S(,
More informationEconometric Methods. Review of Estimation
Ecoometrc Methods Revew of Estmato Estmatg the populato mea Radom samplg Pot ad terval estmators Lear estmators Ubased estmators Lear Ubased Estmators (LUEs) Effcecy (mmum varace) ad Best Lear Ubased Estmators
More information( ) 2 2. Multi-Layer Refraction Problem Rafael Espericueta, Bakersfield College, November, 2006
Mult-Layer Refracto Problem Rafael Espercueta, Bakersfeld College, November, 006 Lght travels at dfferet speeds through dfferet meda, but refracts at layer boudares order to traverse the least-tme path.
More informationLecture 3. Sampling, sampling distributions, and parameter estimation
Lecture 3 Samplg, samplg dstrbutos, ad parameter estmato Samplg Defto Populato s defed as the collecto of all the possble observatos of terest. The collecto of observatos we take from the populato s called
More information{ }{ ( )} (, ) = ( ) ( ) ( ) Chapter 14 Exercises in Sampling Theory. Exercise 1 (Simple random sampling): Solution:
Chapter 4 Exercses Samplg Theory Exercse (Smple radom samplg: Let there be two correlated radom varables X ad A sample of sze s draw from a populato by smple radom samplg wthout replacemet The observed
More informationAN UPPER BOUND FOR THE PERMANENT VERSUS DETERMINANT PROBLEM BRUNO GRENET
AN UPPER BOUND FOR THE PERMANENT VERSUS DETERMINANT PROBLEM BRUNO GRENET Abstract. The Permaet versus Determat problem s the followg: Gve a matrx X of determates over a feld of characterstc dfferet from
More informationInvestigating Cellular Automata
Researcher: Taylor Dupuy Advsor: Aaro Wootto Semester: Fall 4 Ivestgatg Cellular Automata A Overvew of Cellular Automata: Cellular Automata are smple computer programs that geerate rows of black ad whte
More informationTESTS BASED ON MAXIMUM LIKELIHOOD
ESE 5 Toy E. Smth. The Basc Example. TESTS BASED ON MAXIMUM LIKELIHOOD To llustrate the propertes of maxmum lkelhood estmates ad tests, we cosder the smplest possble case of estmatg the mea of the ormal
More informationUnit 9. The Tangent Bundle
Ut 9. The Taget Budle ========================================================================================== ---------- The taget sace of a submafold of R, detfcato of taget vectors wth dervatos at
More information13. Dedekind Domains. 13. Dedekind Domains 117
3. Dedekd Domas 7 3. Dedekd Domas I the last chapter we have maly studed -dmesoal regular local rgs,. e. geometrcally the local propertes of smooth pots o curves. We ow wat to patch these local results
More information. The set of these sums. be a partition of [ ab, ]. Consider the sum f( x) f( x 1)
Chapter 7 Fuctos o Bouded Varato. Subject: Real Aalyss Level: M.Sc. Source: Syed Gul Shah (Charma, Departmet o Mathematcs, US Sargodha Collected & Composed by: Atq ur Rehma (atq@mathcty.org, http://www.mathcty.org
More informationA scalar t is an eigenvalue of A if and only if t satisfies the characteristic equation of A: det (A ti) =0
Chapter 5 a glace: Let e a lear operator whose stadard matrx s wth sze x. he, a ozero vector x s sad to e a egevector of ad f there exsts a scalar sch that (x) x x. he scalar s called a egevale of (or
More informationMOLECULAR VIBRATIONS
MOLECULAR VIBRATIONS Here we wsh to vestgate molecular vbratos ad draw a smlarty betwee the theory of molecular vbratos ad Hückel theory. 1. Smple Harmoc Oscllator Recall that the eergy of a oe-dmesoal
More informationX X X E[ ] E X E X. is the ()m n where the ( i,)th. j element is the mean of the ( i,)th., then
Secto 5 Vectors of Radom Varables Whe workg wth several radom varables,,..., to arrage them vector form x, t s ofte coveet We ca the make use of matrx algebra to help us orgaze ad mapulate large umbers
More informationC-1: Aerodynamics of Airfoils 1 C-2: Aerodynamics of Airfoils 2 C-3: Panel Methods C-4: Thin Airfoil Theory
ROAD MAP... AE301 Aerodyamcs I UNIT C: 2-D Arfols C-1: Aerodyamcs of Arfols 1 C-2: Aerodyamcs of Arfols 2 C-3: Pael Methods C-4: Th Arfol Theory AE301 Aerodyamcs I Ut C-3: Lst of Subects Problem Solutos?
More informationNon-uniform Turán-type problems
Joural of Combatoral Theory, Seres A 111 2005 106 110 wwwelsevercomlocatecta No-uform Turá-type problems DhruvMubay 1, Y Zhao 2 Departmet of Mathematcs, Statstcs, ad Computer Scece, Uversty of Illos at
More informationD. VQ WITH 1ST-ORDER LOSSLESS CODING
VARIABLE-RATE VQ (AKA VQ WITH ENTROPY CODING) Varable-Rate VQ = Quatzato + Lossless Varable-Legth Bary Codg A rage of optos -- from smple to complex A. Uform scalar quatzato wth varable-legth codg, oe
More informationn -dimensional vectors follow naturally from the one
B. Vectors ad sets B. Vectors Ecoomsts study ecoomc pheomea by buldg hghly stylzed models. Uderstadg ad makg use of almost all such models requres a hgh comfort level wth some key mathematcal sklls. I
More informationESS Line Fitting
ESS 5 014 17. Le Fttg A very commo problem data aalyss s lookg for relatoshpetwee dfferet parameters ad fttg les or surfaces to data. The smplest example s fttg a straght le ad we wll dscuss that here
More informationExercises for Square-Congruence Modulo n ver 11
Exercses for Square-Cogruece Modulo ver Let ad ab,.. Mark True or False. a. 3S 30 b. 3S 90 c. 3S 3 d. 3S 4 e. 4S f. 5S g. 0S 55 h. 8S 57. 9S 58 j. S 76 k. 6S 304 l. 47S 5347. Fd the equvalece classes duced
More informationAssignment 7/MATH 247/Winter, 2010 Due: Friday, March 19. Powers of a square matrix
Assgmet 7/MATH 47/Wter, 00 Due: Frday, March 9 Powers o a square matrx Gve a square matrx A, ts powers A or large, or eve arbtrary, teger expoets ca be calculated by dagoalzg A -- that s possble (!) Namely,
More information6. Nonparametric techniques
6. Noparametrc techques Motvato Problem: how to decde o a sutable model (e.g. whch type of Gaussa) Idea: just use the orgal data (lazy learg) 2 Idea 1: each data pot represets a pece of probablty P(x)
More informationTaylor s Series and Interpolation. Interpolation & Curve-fitting. CIS Interpolation. Basic Scenario. Taylor Series interpolates at a specific
CIS 54 - Iterpolato Roger Crawfs Basc Scearo We are able to prod some fucto, but do ot kow what t really s. Ths gves us a lst of data pots: [x,f ] f(x) f f + x x + August 2, 25 OSU/CIS 54 3 Taylor s Seres
More informationChapter 2 - Free Vibration of Multi-Degree-of-Freedom Systems - II
CEE49b Chapter - Free Vbrato of Mult-Degree-of-Freedom Systems - II We ca obta a approxmate soluto to the fudametal atural frequecy through a approxmate formula developed usg eergy prcples by Lord Raylegh
More informationTraining Sample Model: Given n observations, [[( Yi, x i the sample model can be expressed as (1) where, zero and variance σ
Stat 74 Estmato for Geeral Lear Model Prof. Goel Broad Outle Geeral Lear Model (GLM): Trag Samle Model: Gve observatos, [[( Y, x ), x = ( x,, xr )], =,,, the samle model ca be exressed as Y = µ ( x, x,,
More informationLecture 3 Probability review (cont d)
STATS 00: Itroducto to Statstcal Iferece Autum 06 Lecture 3 Probablty revew (cot d) 3. Jot dstrbutos If radom varables X,..., X k are depedet, the ther dstrbuto may be specfed by specfyg the dvdual dstrbuto
More informationA BASIS OF THE GROUP OF PRIMITIVE ALMOST PYTHAGOREAN TRIPLES
Joural of Algebra Number Theory: Advaces ad Applcatos Volume 6 Number 6 Pages 5-7 Avalable at http://scetfcadvaces.co. DOI: http://dx.do.org/.864/ataa_77 A BASIS OF THE GROUP OF PRIMITIVE ALMOST PYTHAGOREAN
More informationVARIABLE-RATE VQ (AKA VQ WITH ENTROPY CODING)
VARIABLE-RATE VQ (AKA VQ WITH ENTROPY CODING) Varable-Rate VQ = Quatzato + Lossless Varable-Legth Bary Codg A rage of optos -- from smple to complex a. Uform scalar quatzato wth varable-legth codg, oe
More informationA Remark on the Uniform Convergence of Some Sequences of Functions
Advaces Pure Mathematcs 05 5 57-533 Publshed Ole July 05 ScRes. http://www.scrp.org/joural/apm http://dx.do.org/0.436/apm.05.59048 A Remark o the Uform Covergece of Some Sequeces of Fuctos Guy Degla Isttut
More informationComputational Geometry
Problem efto omputatoal eometry hapter 6 Pot Locato Preprocess a plaar map S. ve a query pot p, report the face of S cotag p. oal: O()-sze data structure that eables O(log ) query tme. pplcato: Whch state
More informationMaps on Triangular Matrix Algebras
Maps o ragular Matrx lgebras HMED RMZI SOUROUR Departmet of Mathematcs ad Statstcs Uversty of Vctora Vctora, BC V8W 3P4 CND sourour@mathuvcca bstract We surveys results about somorphsms, Jorda somorphsms,
More informationSupport vector machines
CS 75 Mache Learg Lecture Support vector maches Mlos Hauskrecht mlos@cs.ptt.edu 539 Seott Square CS 75 Mache Learg Outle Outle: Algorthms for lear decso boudary Support vector maches Mamum marg hyperplae.
More informationUNIT 2 SOLUTION OF ALGEBRAIC AND TRANSCENDENTAL EQUATIONS
Numercal Computg -I UNIT SOLUTION OF ALGEBRAIC AND TRANSCENDENTAL EQUATIONS Structure Page Nos..0 Itroducto 6. Objectves 7. Ital Approxmato to a Root 7. Bsecto Method 8.. Error Aalyss 9.4 Regula Fals Method
More informationA Study on Generalized Generalized Quasi hyperbolic Kac Moody algebra QHGGH of rank 10
Global Joural of Mathematcal Sceces: Theory ad Practcal. ISSN 974-3 Volume 9, Number 3 (7), pp. 43-4 Iteratoal Research Publcato House http://www.rphouse.com A Study o Geeralzed Geeralzed Quas (9) hyperbolc
More informationCIS 800/002 The Algorithmic Foundations of Data Privacy October 13, Lecture 9. Database Update Algorithms: Multiplicative Weights
CIS 800/002 The Algorthmc Foudatos of Data Prvacy October 13, 2011 Lecturer: Aaro Roth Lecture 9 Scrbe: Aaro Roth Database Update Algorthms: Multplcatve Weghts We ll recall aga) some deftos from last tme:
More informationCS5620 Intro to Computer Graphics
CS56 Itro to Computer Graphcs Geometrc Modelg art II Geometrc Modelg II hyscal Sples Curve desg pre-computers Cubc Sples Stadard sple put set of pots { } =, No dervatves specfed as put Iterpolate by cubc
More informationStrong Convergence of Weighted Averaged Approximants of Asymptotically Nonexpansive Mappings in Banach Spaces without Uniform Convexity
BULLETIN of the MALAYSIAN MATHEMATICAL SCIENCES SOCIETY Bull. Malays. Math. Sc. Soc. () 7 (004), 5 35 Strog Covergece of Weghted Averaged Appromats of Asymptotcally Noepasve Mappgs Baach Spaces wthout
More informationOrdinary Least Squares Regression. Simple Regression. Algebra and Assumptions.
Ordary Least Squares egresso. Smple egresso. Algebra ad Assumptos. I ths part of the course we are gog to study a techque for aalysg the lear relatoshp betwee two varables Y ad X. We have pars of observatos
More informationFor combinatorial problems we might need to generate all permutations, combinations, or subsets of a set.
Addtoal Decrease ad Coquer Algorthms For combatoral problems we mght eed to geerate all permutatos, combatos, or subsets of a set. Geeratg Permutatos If we have a set f elemets: { a 1, a 2, a 3, a } the
More informationLecture Notes 2. The ability to manipulate matrices is critical in economics.
Lecture Notes. Revew of Matrces he ablt to mapulate matrces s crtcal ecoomcs.. Matr a rectagular arra of umbers, parameters, or varables placed rows ad colums. Matrces are assocated wth lear equatos. lemets
More informationLog1 Contest Round 2 Theta Complex Numbers. 4 points each. 5 points each
01 Log1 Cotest Roud Theta Complex Numbers 1 Wrte a b Wrte a b form: 1 5 form: 1 5 4 pots each Wrte a b form: 65 4 4 Evaluate: 65 5 Determe f the followg statemet s always, sometmes, or ever true (you may
More informationIntroduction to Matrices and Matrix Approach to Simple Linear Regression
Itroducto to Matrces ad Matrx Approach to Smple Lear Regresso Matrces Defto: A matrx s a rectagular array of umbers or symbolc elemets I may applcatos, the rows of a matrx wll represet dvduals cases (people,
More informationLebesgue Measure of Generalized Cantor Set
Aals of Pure ad Appled Mathematcs Vol., No.,, -8 ISSN: -8X P), -888ole) Publshed o 8 May www.researchmathsc.org Aals of Lebesgue Measure of Geeralzed ator Set Md. Jahurul Islam ad Md. Shahdul Islam Departmet
More informationNumerical Analysis Formulae Booklet
Numercal Aalyss Formulae Booklet. Iteratve Scemes for Systems of Lear Algebrac Equatos:.... Taylor Seres... 3. Fte Dfferece Approxmatos... 3 4. Egevalues ad Egevectors of Matrces.... 3 5. Vector ad Matrx
More informationAlgorithms Design & Analysis. Hash Tables
Algorthms Desg & Aalyss Hash Tables Recap Lower boud Order statstcs 2 Today s topcs Drect-accessble table Hash tables Hash fuctos Uversal hashg Perfect Hashg Ope addressg 3 Symbol-table problem Symbol
More information1 Onto functions and bijections Applications to Counting
1 Oto fuctos ad bectos Applcatos to Coutg Now we move o to a ew topc. Defto 1.1 (Surecto. A fucto f : A B s sad to be surectve or oto f for each b B there s some a A so that f(a B. What are examples of
More informationPoint Estimation: definition of estimators
Pot Estmato: defto of estmators Pot estmator: ay fucto W (X,..., X ) of a data sample. The exercse of pot estmato s to use partcular fuctos of the data order to estmate certa ukow populato parameters.
More information2. Independence and Bernoulli Trials
. Ideedece ad Beroull Trals Ideedece: Evets ad B are deedet f B B. - It s easy to show that, B deedet mles, B;, B are all deedet ars. For examle, ad so that B or B B B B B φ,.e., ad B are deedet evets.,
More informationmeans the first term, a2 means the term, etc. Infinite Sequences: follow the same pattern forever.
9.4 Sequeces ad Seres Pre Calculus 9.4 SEQUENCES AND SERIES Learg Targets:. Wrte the terms of a explctly defed sequece.. Wrte the terms of a recursvely defed sequece. 3. Determe whether a sequece s arthmetc,
More informationGG313 GEOLOGICAL DATA ANALYSIS
GG33 GEOLOGICAL DATA ANALYSIS 3 GG33 GEOLOGICAL DATA ANALYSIS LECTURE NOTES PAUL WESSEL SECTION 3 LINEAR (MATRIX ALGEBRA OVERVIEW OF MATRIX ALGEBRA (or All you ever wated to kow about Lear Algebra but
More informationMATH 371 Homework assignment 1 August 29, 2013
MATH 371 Homework assgmet 1 August 29, 2013 1. Prove that f a subset S Z has a smallest elemet the t s uque ( other words, f x s a smallest elemet of S ad y s also a smallest elemet of S the x y). We kow
More informationNP!= P. By Liu Ran. Table of Contents. The P versus NP problem is a major unsolved problem in computer
NP!= P By Lu Ra Table of Cotets. Itroduce 2. Prelmary theorem 3. Proof 4. Expla 5. Cocluso. Itroduce The P versus NP problem s a major usolved problem computer scece. Iformally, t asks whether a computer
More informationarxiv: v1 [math.co] 14 Jul 2017
TORIC H-VECTOR AND CHOW BETTI NUMBER OF DUAL HYPERIMPLICE CHARLE WANG AND JOEPHINE YU arxv:1707.04581v1 [math.co] 14 Jul 017 Abstract. The torc h-umbers of a dual hypersmplex ad the Chow Bett umbers of
More informationThe Occupancy and Coupon Collector problems
Chapter 4 The Occupacy ad Coupo Collector problems By Sarel Har-Peled, Jauary 9, 08 4 Prelmares [ Defto 4 Varace ad Stadard Devato For a radom varable X, let V E [ X [ µ X deote the varace of X, where
More informationNP!= P. By Liu Ran. Table of Contents. The P vs. NP problem is a major unsolved problem in computer
NP!= P By Lu Ra Table of Cotets. Itroduce 2. Strategy 3. Prelmary theorem 4. Proof 5. Expla 6. Cocluso. Itroduce The P vs. NP problem s a major usolved problem computer scece. Iformally, t asks whether
More information1 Convergence of the Arnoldi method for eigenvalue problems
Lecture otes umercal lear algebra Arold method covergece Covergece of the Arold method for egevalue problems Recall that, uless t breaks dow, k steps of the Arold method geerates a orthogoal bass of a
More informationPinaki Mitra Dept. of CSE IIT Guwahati
Pak Mtra Dept. of CSE IIT Guwahat Hero s Problem HIGHWAY FACILITY LOCATION Faclty Hgh Way Farm A Farm B Illustrato of the Proof of Hero s Theorem p q s r r l d(p,r) + d(q,r) = d(p,q) p d(p,r ) + d(q,r
More informationå 1 13 Practice Final Examination Solutions - = CS109 Dec 5, 2018
Chrs Pech Fal Practce CS09 Dec 5, 08 Practce Fal Examato Solutos. Aswer: 4/5 8/7. There are multle ways to obta ths aswer; here are two: The frst commo method s to sum over all ossbltes for the rak of
More informationChapter 8. Inferences about More Than Two Population Central Values
Chapter 8. Ifereces about More Tha Two Populato Cetral Values Case tudy: Effect of Tmg of the Treatmet of Port-We tas wth Lasers ) To vestgate whether treatmet at a youg age would yeld better results tha
More information