Computing Approximate GCD of Multivariate Polynomials by Structure Total Least Norm 1)

Size: px
Start display at page:

Download "Computing Approximate GCD of Multivariate Polynomials by Structure Total Least Norm 1)"

Transcription

1 MM Reseach Pepints, MMRC, AMSS, Academia Sinica No 23, Decembe 24 Computing Appoximate GCD of Multivaiate Polynomials by Stuctue Total Least Nom 1) Lihong Zhi and Zhengfeng Yang Key Laboatoy of Mathematics Mechanization Institute of Systems Science, AMSS, Academia Sinica Beijing 18, China (lzhi, Abstact The poblem of appoximating the geatest common diviso(gcd) fo multivaiate polynomials with inexact coefficients can be fomulated as a low ank appoximation poblem with Sylveste matix This pape pesents a method based on Stuctued Total Least Nom(STLN) fo constucting the neaest Sylveste matix of given lowe ank We pesent algoithms fo computing the neaest GCD and a cetified ɛ-gcd fo a given toleance ɛ The unning time of ou algoithm is polynomial in the degees of polynomials We also show the pefomance of the algoithms on a set of multivaiate polynomials 1 Intoduction Appoximate GCD computation of multivaiate polynomials has been studied by many authos [5, 11, 15, 16, 17] Paticulaly, in [5, 16, 17], Singula Value Decomposition(SVD) of the Sylveste matix has been used to obtain an uppe degee bound of the appoximate GCD Suppose the SVD decomposition of Sylveste matix is S = UΣV T, whee U and V ae othogonal and Σ = diag(σ 1, σ 2,, σ n ) Then σ k is the 2-nom distance to the neaest matix of ank stictly less than k Howeve, SVD computation is not appopiate fo computing the distance to the neaest STRUCTURE(fo example Sylveste stuctue) matix of given ank deficiency In [4], they mentioned stuctued low ank appoximation to compute appoximate GCD The basic idea of thei method is to altenate pojections between the sets of the ank k matices and stuctue matices so that the ank constain and the stuctual constaint ae satisfied altenatively while the distance in between is being educed Although the algoithm is linea convegent, the speed may be vey slow We pesent a method based on STLN[12] fo stuctue peseving low ank appoximation of a Sylveste matix STLN is an efficient method fo obtaining an appoximate solution to an ovedetemined linea system AX B, peseving the given linea stuctue in the minimal petubation [E F ] such that (A + E)X = B + F An algoithm in [12] has been descibed fo Hankel stuctue peseving low ank appoximation using STLN with L p nom In this pape, we adjust thei algoithm fo computing stuctue peseving ank eduction 1) Patially suppoted by a National Key Basic Reseach Poject of China and Chinese National Science Foundation unde Gant 14135

2 Appoximate GCD of Multivaiate Polynomials 389 of Sylveste matices Futhemoe, we also deive a stable and efficient way to compute the neaest GCD and ɛ GCD of multivaiate polynomials The oganization of this pape is as follows In Section 2, we intoduce some notations and discuss the equivalence between the GCD poblems and the low ank appoximation of Sylveste matices In Section 3, we conside solving ovedetemined system with Sylveste stuctue based on STLN Finally, in Section 4, we pesent algoithms based on STLN fo computing the neaest GCD and ɛ-gcd We also illustate the expeiments of ou algoithms on a set of andom multivaiate polynomials 2 Peliminaies In this pape we ae concened with the following task PROBLEM 21 Given two polynomials f, g C[x 1, x 2 x ] with deg(f) = m, deg(g) = n, deg denotes the total degees of the multivaiate polynomials Fo a given positive intege k, we ae going to find the minimal petubation f g 2 2, such that deg( f) m, deg( g) n and deg(gcd(f + f, g + g)) k Suppose S(f, g) is the Sylveste matix that is geneated by the polynomials f and g Fist, we quote the binomial numbe β(k, ): ( ) k + β(k, ) = (1) We show how to constuct the Sylveste matix S of multivaiate polynomials intoduce a tivial lemma[6] Lemma 21 Let f, g C[x 1, x ] be nonzeo polynomials, f 1 = f/gcd(f, g) and g 1 = g/gcd(f, g) Then all the solutions u, v C[x 1, x ] to the equation must be of the fom whee q C[x 1, x ] We uf + vg = (2) u = g 1 q, v = f 1 q (3) Fom the equation (2), we can know that it is a linea system fo the coefficients of u and v We equie that deg(u) deg(g) 1, deg(v) deg(f) 1 (4) Suppose deg(gcd(f, g)) = k, by(3) and (4), all the solutions fo u and v ae detemined by q C[x 1,, x ] with deg(q) k 1 The dimension of the solution space fo u and v is β(k 1, ), ie the ank deficiency of M is β(k 1, ) Hence, PROBLEM 21 can be fomulated as : min f f 2 deg(gcd( f, g)) k 2 + g g 2 2 min f f g g 2 2 dim Nullspace( S) β(k 1,) whee S is the Sylveste matix geneated by f and g

3 39 LZhi and ZYang 3 STLN fo Ovedetemined Systems with Sylveste Stuctue 31 The case: k = 1 In this case, β(k 1, ) = 1, Hence, PROBLEM 21 can be fomulated as : min f f 2 deg(gcd( f, g)) g g 2 2 min f f g g 2 2 dim Nullspace( S) 1 whee S is the Sylveste matix geneated by f and g If we solve the ovedetemined system using STLN [12, 13, 14] A x b (5) fo Sylveste stuctued S = [A 1 b A 2 ], whee b is a column of S and A = [A 1 A 2 ] ae the emainde columns of S, we obtain a minimum stuctued petubation f and E = [E 1 E 2 ] such that b + f Range(A 1 + E 1 A 2 + E 2 ), ie, S = [A 1 + E 1 b + f A 2 + E 2 ] is a Sylveste matix and dim Nullspace( S) 1 EXAMPLE 31 Suppose f = x 2 + xy = x (x + y), g = x 2 + 2xy + 3x + y 2 + 3y = (x + y + 3) (x + y), and S is the Sylveste matix of f and g S = The ank deficiency of S is β(, 2) = 1 We patition S by two ways: S = [A 1 b 1 ] = [b 2 A 2 ], whee b 1 is the last column of S and b 2 is the fist column of S The ovedetemined system A 1 x = b 1 has no solution, while the system A 2 x = b 2 has an exact solution as x = [ 1, 3,, 1, ] T Theoem 31 Given f, g C[x 1, x ] with deg(f) = m, deg(g) = n Suppose S is the Sylveste matix of f and gthen the following statements ae equivalent: (a) dim Nullspace(S) 1 (b) We can choose a column b of S and patition S as S = [A 1 b A 2 ] such that Ax = b has a solution, whee A = [A 1 A 2 ]

4 Appoximate GCD of Multivaiate Polynomials 391 Poof of Theoem 31: (b) = (a) Suppose Ax = b has a nonzeo solution, then b Range(A) Theefoe, it is obvious that the dimension of the null space of S = [A 1 b A 2 ] is at least one (a) = (b) Suppose d = GCD(f, g), f 1 = f/d, g 1 = g/d Then deg(d) = k 1, deg(f 1 ) = m k m 1 and deg(g 1 ) = n k n 1 Choosing a vaiable ode: x 1 x 2 x, polynomials can be aanged by gaded lexicogaphic ode If we multiply the vecto v = [x n+m 1 to the matix S, then we have x n k, x 1 x n+m 2,, x n+m 1 1, x n+m 2,, x n+m+2 1,, x 2, x 1, 1] vs = [x n 1 f, x 1 x n 2 f, f, x m 1 g, x 1 x m 2 g, g] Suppose the leading tem of the g 1 is x t 1 1 x t 2 2 x t, hee i=1 t i = n k We can find a monomial x s 1 1 xs 2 2 xs such that i=1 s i n 1 and s i t i, i = 1, 2, Then x t 1 1 x t 2 2 x t is a facto of x s 1 1 xs 2 2 xs Thus we can choose a column b of S such that vb = x s 1 1 xs 2 2 xs f Without loss of geneality, we can assume the leading tem of g 1 is In this case, we can choose the fist column of S as b, because vb = x n 1 f and x n k is a facto of x n 1 Then A ae the emainde columns of S and S = [b A] Next, we need to pove that Ax = b has a solution Multiplying v to two sides of the equation Ax = b, it tuns out to be [x 1 x n 2 f, x 2 x n 2 f,, x n 1 1 f, x 1 f, f, x m 1 g,, x 1 g, g]x = [x n 1 f] (6) The solution x of (6) coesponds to the coefficients of polynomials u 1, v 1, with deg(v 1 ) m 1, deg(u 1 ) n 1 and u 1 has no x n 1 tem, satisfy Dividing x n 1 x n 1 f = u 1 f + v 1 g (7) by g 1, we have a quotient a 1 and a emainde b 1 such that x n 1 = a 1 g 1 + b 1 whee deg(a 1 ) = k 1, deg(b 1 ) n 1 and b 1 has no x n 1 of g 1 is a facto of x n 1 Now we can check that u 1 = b 1, v 1 = a 1 f 1 tem because the leading tem ae solutions of (7) since deg(u 1 ) n 1 and has no x n 1 tem, and deg(v 1 ) = deg(a 1 ) + deg(f 1 ) = k 1 + deg(f 1 ) m 1 v 1 g + u 1 f = f 1 a 1 d g 1 + b 1 f = f a 1 g 1 + f b 1 = x n 1 f Hence, in this case, Ax = b has a solution, and S = [b A] Next, we show that fo any given Sylveste matix, when all the elements ae allowed to be petubed, it is always possible to find f and E with Sylveste stuctue such that b + f Range(A + E), whee b is some column of S, A ae the emainde columns of S

5 392 LZhi and ZYang Theoem 32 Given the positive integes m, n,, thee exists a Sylveste matix S C (β(m+n 1,)) (β(m 1,)+β(n 1,)) with ank deficiency 1 Poof of Theoem 32: Fo m and n, we always can constuct polynomials f, g C[x 1, x 2,, x ] such that deg(f) = m, deg(g) = n, and deg(gcd(f, g)) = 1 Hence S is the Sylveste matix geneated by f, g and its ank deficiency is 1 Coollay 33 Given integes m, n and, fo any Sylveste matix S = [A 1 b A 2 ] and S C (β(m+n 1,)) (β(m 1,)+β(n 1,)), whee b is some column of S and A = [A 1 A 2 ] ae the emainde columns of S, then it is always possible to find a sylveste stuctue petubation f and E such that b + f Range(A + E) Next, we will illustate how to solve the ovedetemined system (5) Fo simplicity of discussion, we choose b as the fist column of S, and A ae the emainde columns of S The ovedetemined system(5) can be fomulated as: Ax b (8) Accoding to Theoem 32 and Coollay 33, thee always exists Sylveste stuctue petubation [f E] such that (b + f) Range(A+E) In the following, we illustate how to find the minimum solution using STLN Suppose f, g C[x 1, x 2,, x ], deg(f) = m, deg(g) = n Denotes: f = a,,,,m x m + a,,,1,m 1 x 1 x m a m 1,1,, x m 1 1 x 2 + a m,,, x m a,,,1 x + + a,1,,, x 2 + a 1,,, x 1 + a,,,, g = b,,,,n x n + b,,,1,n 1 x 1 x n b n 1,1,, x n 1 1 x 2 + b n,,, x n b,,,1 x + + b,1,,, x 2 + b 1,,, x 1 + b,,, Then the Sylveste matix S(f, g) = [b A] of f and g is: [b A] = a,,,m a,,,1,m 1 a,,,m a m,, a m 1,1,, a m,,, a,,,m 1 a,,,1,m 2 a,,,m 1 a,,, } {{ } β(n 1,) b,,,n b,,,1,n 1 b,,,n b n,,, b n 1,1,,, b n,,, b,,,n 1 b,,,1,n 2 b,,,n 1 b,, } {{ } β(m 1,) We use a vecto η C (β(m,)+β(n,)) 1 to epesent β(m, ) + β(n, ) fee elements of the Sylveste matix [f E] We defined η as (η 1, η 2,, η β(m,)+β(n,) 1, η β(m,)+β(n,) ) T

6 Appoximate GCD of Multivaiate Polynomials 393 Since f is the fist column of[f E], then we can find a matix P 1 C β(m+n 1,) (β(m,)+β(n,)) such that f = P 1 η P 1 = Q m+1 Q m Q1 ( ) Ii whee Q i =, i = 1, 2, m + 1, and I i is an i i identity matix, is a (n 1) i zeo matix We define the stuctued esidual = (η, x) = b + f (A + E)x (1) We ae going to solve the equality-constained least squaes poblems: min η,x η 2, subject to = (11) Fomulation (11) can be solved by using the penalty method [1], (11) is tansfomed into: min w(η, x) η,x η, w 1 (12) 2 whee w is a lage penalty value such as 1 1 As in [13, 12], we use a linea appoximation to (η, x) to compute the minimization of (12) Let η and x epesent a small change in η and x espectively, and E epesents the coesponding change in E The fist ode appoximation to (η + η, x + x) is (η + η, x + x) = b + P 1 (η + η) (A + E + E)(x + x) Intoducing a Sylveste stuctue matix Y 1, and b + P 1 η (A + E)x + P 1 η (A + E) x Ex x = (x 1, x 2 x β(m 1,)+β(n 1,) 1 ) T (9) (12) can be witten as ( min w(y1 P 1 ) w(a + E) x η I β(m,)+β(n,) ) ( η x ) + ( w η ) 2 (13) whee Y 1 C β(m+n 1,) (β(m,)+β(n,)) [13] satisfies that Y 1 η = E x (14) In the following, we popose a new method based on the constuction of the Sylveste matix to obtain the matix Y 1 Suppose f, g, E, η and x ae defined as above, multiplying the vecto v = [x m+n 1, x 1 x m+n 2,, x m+n 1 1, x m+n 2, x 1, 1]

7 394 LZhi and ZYang to the two sides of the equation (14), it tuns out to be Let ˆx = [, x], it is obvious that v Y 1 η = v E x v E x = V [f, E] ˆx The ight side of the above equation tuns out to be V [f, E] ˆx = ĥ1û 1 + ĥ2û 2 whee ĥ1 is the polynomial of degee m, geneated by the subvecto of η: [η 1, η 2,, η β(m,) ], ĥ 2 is the polynomial of degee n, geneated by the subvecto of η: [η β(m,)+1, η β(m,)+2,, η β(m,)+β(n,) ], û 1 is the polynomial of degee n 1, geneated by the subvecto of ˆx: [, x 1, x 2,, x β(n 1,) 1 ], û 2 is the polynomial of degee m 1, geneated by the subvecto of ˆx: [x β(n 1,), x β(n 1,)+1,, x β(m 1,)+β(n 1,) 1 ] We denote Y 1 is the matix constucted by the linea system fo the coefficients of ĥ1 and ĥ 2, ie û 1 ĥ 1 + û 2 ĥ 2 = vy 1 η We can show that the matix Y 1 satisfies (14) Hee is a simple example to illustate how to find Y 1 EXAMPLE 32 Suppose k = 1, the matix M is geneated by the bivaiate polynomials f and g, whee f = a + a 1 y + a 1 x + a 2 y 2 + a 11 xy + a 2 x 2, g = b + b 1 y + b 1 x + b 2 y 2 + b 11 xy + a 2 x 2 A = b 2 a 2 b 11 b 2 a 11 b 2 b 11 a 2 b 2 a 2 b 1 b 2 a 1 a 11 b 1 b 1 b 11 a 1 a 2 b 1 b 2 a 1 b b 1 a a 1 b b 1 a b, b = a 2 a 11 a 2 a 1 a 1 a

8 Appoximate GCD of Multivaiate Polynomials 395 Suppose x = [x 1, x 2, x 3, x 4, x 5 ] T, then x 3 x 1 x 4 x 3 x 1 x 4 x 3 x 1 x 4 Y 1 = x 2 x 5 x 3 x 2 x 1 x 5 x 4 x 3 x 2 x 1 x 5 x 4 x 2 x 5 x 3 x 2 x 1 x 5 x 4 x 2 x 5 We can see that the matix Y 1 has quasi-sylveste stuctue 32 The case: k > 1 Suppose f, g C[x 1, x ], deg(gcd(f, g)) = k > 1, then the ank deficiency of the Sylveste matix of f and g is β(k 1, ) > 1 We constuct the matix S k by equation(2): whee u, v satisfies uf + vg = deg(u) deg(g) k, deg(v) deg(f) k Accoding to the Lemma 21, suppose g 1 = g/gcd(f, g), f 1 = f/gcd(f, g), we can constuct solutions u = g 1, v = f 1 Since deg(u) = deg g 1 deg(g) k, deg(v) = deg(f 1 ) deg(f) k, and uf + vg = Hence, the dimension of the solution space of uf + vg = is at least 1 Theefoe, the ank deficiency of S k is at least 1 a,,,m b,,,n S k = a,,,1,m 1 a,,,m a m,, a m 1,1,, a m,,, a,,,m 1 a,,,1,m 2 a,,,m 1 a,,, } {{ } β(n k,) Fo k = 1, S k = S is the Sylveste matix of f and g b,,,1,n 1 b,,,n b n,,cdots, b n 1,1,,cdots, b n,,, b,,,n 1 b,,,1,n 2 b,,,n 1 b,, } {{ } β(m k,) Theoem 34 Given f, g C[x 1, x 2,, x ], deg(f) = m, deg(g) = n 1 k min(m, n) S(f, g) is the Sylveste matix of f and g, S k is the k th Sylveste matix of f and g Then deg(gcd(f, g)) k if only if the ank deficiency of S k is at least one Poof of Theoem 34: Suppose deg(gcd(f, g)) k Denote p = GCD(f, g), f = p u and g = p v, whee GCD(u, v) = 1, then d = deg(p) k, deg(u) m k and deg(v) n k and [v f + u g = Accoding to the constuction of S k, it has a non-zeo solution which is geneated by the coefficients of u, v Theefoe, the ank deficiency of S k is at least one

9 396 LZhi and ZYang On the othe hand, suppose the ank deficiency of S k is at least one, then thee exists a vecto w C (m+n+2 2k) 1 such that S k w = We can fom polynomials v and u fom w, whee deg(u) m k and deg(v) n k It is easy to check that v f + u g = Suppose p = GCD(f, g), then since f/p is a facto of u, we have deg(f/p) deg(u) m k = deg(p) k Now we can efomulate the PROBLEM 21 as : min f f 2 deg(gcd( f, g)) k 2 + g g 2 2 min f f g g 2 2 dim Nullspace( S k ) 1 whee S k is the matix geneated by f and g Theoem 35 Given f, g C[x 1, x ] with deg(f) = m, deg(g) = n Suppose S k is the matix geneated by f and g Then the following statements ae equivalent: (a) deg(gcd(f, g)) k (b) We can choose a column b k and patition S k as S k =[A k1 b k A k2 ] such that A k x = b k has a solution, whee A k = [A k1 A k2 ] Poof of Theoem 35: Suppose A k x = b k have a solution, then b k Range(A k ) Since b k is the column of S k Theefoe, it is obvious that the dimension of null space of S k = [A k1 b k A k2 ] is not less than one Accoding to Theoem 34, deg(gcd(f, g)) k On the othe hand, suppose deg(gcd(f, g)) k Simila to the poof of Theoem 31, we can find the column b k such that A k x = b k has a solution Fo simplicity of discussion, we choose b k as the fist column of S k Solving the ovedetemined system A k x b k (15) whee S k = [b k A k ], we obtain a minimum Sylveste stuctued petubation f k and E k such that b k + f k Range(A k + E k ) Theefoe, S k = [b + f A k + E k ] is a solution having Sylveste stuctue and ank deficiency of S k is at least one The Sylveste stuctue petubation [f k E k ] of S k can still be epesented by the vecto (η 1, η 2,, η β(m,)+β(n,) 1, η β(m,)+β(n,) ) T As in the subsection 31, we can find a matix P k C β(m+n k,) (β(m,)+β(n,)) such that f k = P k η P k = Q m+1 Q m Q1 (16)

10 ( Ii ) Appoximate GCD of Multivaiate Polynomials 397 whee Q i =, i = 1, 2, m + 1, and I i is an i i identity matix, is a (n k) i zeo matix Using the simila way as constucting Y 1, we can find a Sylveste stuctue matix Y k C (m+n k+1) (m+n+2) satisfies Y k η = E k x Now we can apply STLN method to solve the following minimization poblem ( ) ( ) ( ) min w(yk P k ) w(a k + E k ) η w x η + I β(m,)+β(n,) x η (17) 2 EXAMPLE 33 Suppose m = n = 3, k = 2, the Sylveste matix S is geneated by the bivaiate polynomials f and g, whee f = a + a 1 y + a 1 x + a 2 y 2 + a 11 xy + a 2 x 2 + a 3 y 3 + a 12 xy 2 + a 21 x 2 y + a 3 x 3, g = b + b 1 x + b 1 x + b 2 y 2 + b 11 xy + b 2 x 2 + b 3 y 3 + b 12 xy 2 + b 21 x 2 y + b 3 x 3 Then the matix S 2 = [b 2 A 2 ] is A 2 = Suppose x = [x 1, x 2, x 3, x 4, x 5 ] T, then Y 2 = b 3 a 3 b 12 b 3 a 12 b 21 b 12 a 21 b 3 b 21 a 3 b 3 a 3 b 2 b 3 a 2 a 12 b 11 b 2 b 12 a 11 a 21 b 2 b 11 b 21 a 2 a 3 b 2 b 3 a 2 b 1 b 2 a 1 a 11 b 1 b 1 b 11 a 1 a 2 b 1 b 2 a 1 b b 1 a a 1 b b 1 a b, b = a 3 a 12 a 21 a 3 a 2 a 11 a 2 a 1 a 1 a x 3 x 1 x 4 x 3 x 1 x 4 x 3 x 1 x 4 x 3 x 1 x 4 x 2 x 5 x 3 x 2 x 1 x 5 x 4 x 3 x 2 x 1 x 5 x 4 x 3 x 2 x 1 x 5 x 4 x 2 x 5 x 3 x 2 x 1 x 5 x 4 x 3 x 2 x 1 x 5 x 4 x 2 x 5 x 3 x 2 x 1 x 5 x 4 x 2 x 5

11 398 LZhi and ZYang 4 Appoximate GCD Algoithm and Expeiments The following algoithm is designed fo solving the poblem (21) Algoithm AppSylv-k Input - A Sylveste matix S geneated by two polynomials f and g of degees m n espectively An intege 1 k n and a toleance tol Output- Two polynomials f and g with dim Nullspace( S( f, g) ) β(k 1, ) and the Euclidean distance f f g g 2 2 is educed to a minimum 1 Compute the k-th Sylveste matix S k as the above section, set b k the fist column of S k and A k the emainde columns of S k Let E k =, f k = 2 Compute x fom min A k x b k 2 and = b k A k x Fom P k and Y k as showed as the above section 3 Repeat (a) min x η ( w(yk P k ) w(a k + E k ) I β(m,)+β(n,) (b) Set x = x + x, η = η + η ) ( η x ) + ( w η (c) Constuct the matix E k and f k fom η, and Y k fom x Set A k = A k + E k, b k = b k + f k, = b k A k x until ( x 2 tol and η 2 tol) 4 Output the polynomials f and g fomed fom [b k A k ] EXAMPLE 41 Given polynomials p = 3 + y + 5x + 5y 2 + xy + 2x 2, ) f = p (3 + 4y + 3x) + 4y + 3x + 1xy + 4y 3, g = p (2 + y + 5x) xy + 6y 2 + 4x 3, and ɛ = 1 2 We ae going to compute the ɛ-gcd of f and g Set tol = 1 3 and k = 2, β(1, 2) = 3, S is the Sylveste matix of f and g The last seveal singula values of S ae: , , 8342, 4921,

12 Appoximate GCD of Multivaiate Polynomials 399 Constuct the 2 th Sylveste matix S 2 S 2 = Applying the algoithm AppSylv-k to the matix S 2, afte thee iteations of the step 2, we obtain the minimum petubed S 2 of ank deficiency 1 S 2 = The last seveal singula values of S2 ae: We can fom the polynomials f, g fom S 2 : , 47762, , f = y + 242x y xy + 218x y xy x 2 y + 613x 3, g = y x y xy x 2 The minimum petubation is +513y xy x 2 y + 115x 3 f f g g 2 2 = 5831

13 4 LZhi and ZYang It is easy to un the algoithm again fo k = 3, we find the least petubation fo f and g have a degee thee GCD is 3583 So fo ɛ = 1 2, we can say that the highest degee of ɛ-gcd of f and g is 2 Moeove, this GCD can be computed fom S 2 as shown in [6] p = y + 4x + 434y xy x 2 The fowad eo of this ɛ-gcd is: p 1249 p 2 / p 2 = 779 Ex deg(f), coeff iteative backwad backwad deg(g) k eo num eo(zeng) eo σ β(k 1,) σ β(k 1,) 1 3, e e 8 221e 8 173e , e e 8 35e 8 814e , e e 2 529e 3 389e , , e e 3 259e 4 119e , e e 3 626e 4 224e , e e 2 352e 2 155e , e e 1 139e 1 378e Table 1 Algoithm pefomance on benchmaks(bivaiate case) In Table 1, we show the pefomance of ou new algoithms fo computing ɛ-gcd of bivaiate polynomials andomly geneated in Maple deg(f) and deg(g) denote the degee of the polynomials f and g k is a given intege coeff eo is the ange of petubations we add to f and g iteative num denotes the numbe of iteations by AppSylv-k algoithm σ k and σ k ae the last β(k 1, )-th singula value of S(f, g) and S( f, g) espectively We show that the backwad eo computation Suppose the polynomial p is GCD(f,g), u and v ae the pimay pat of f and g espectively Then the backwad eo in Table 1 is f p u g p v 2 2, whee backwad eo(zeng) denotes the backwad eo by Zeng s algoithm[16] and backwad eo is the backwad eo computed by ou algoithm Refeences [1] Anda, AA and Pak, H Fast plane with dynamic scaling SIAM J Matix Anal Appl vol15, pp , 1994 [2] Anda, AA and Pak, H Self-scaling fast otations fo stiff and equality-constained linea least squaes poblems Linea Algeba and its Applications vol234, pp , 1996 [3] PChin, RMColess, CFColess Optimization stategies fo the appoximate GCD poblems In Poc 1998 Intenat Symp Symbolic Algebaic Comput (ISSAC 98) pp [4] Moody TChu, ERobet and JRobetPlemmons Stuctued Low Rank Appoximation, manuscipt, 1998 [5] RMColess, PMGianni, BMTage, and SMWatt The singula value decomposition fo polynomial systems In Poc 1995 Intenat Symp Symbolic Algebaic Comput (IS- SAC 95) pp [6] SGao, EKaltofen, JMay, ZYang and LZhi Appoximate factoization of multivaiate polynomials via diffeential equations In Poc 24 Intenat Symp Symbolic Algebaic Comput (ISSAC 4) pp

14 Appoximate GCD of Multivaiate Polynomials 41 [7] N Kamaka and Lakshman Y N Appoximate polynomial geatest common divisos and neaest singula polynomials, in Intenational Symposium on Symbolic and Algebaic Computation, Züich, Switzeland, 1996, pp 35 42, ACM [8] Li, TY and Zeng, Z A ank-evealing method And its application Manuscipt available at zzeng/papeshtm,23 [9] MTNoda, and TSasaki Appoximate GCD and its application to ill-conditioned algebaic equations JComput ApplMath vol38 pp ,1991 [1] VYPan Numeical computation of a polynomial GCD and extensions Infomation and computation, 167:71-85, 21 [11] Ochi,MA, Noda,M and SasakiT Appoximate geatest common diviso of multivaiate polynomialsand its application to ill-conditioned system of algebaic equations J Inf Poces vol12 pp 292-3,1991 [12] Pak, H, Zhang, L and Rosen, JB Low ank appoximation of a Hankel matix by stuctued total least nom, BIT Numeical Mathematics vol35-4: pp ,1999 [13] Rosen, JB, Pak, H and Glick, J Total least nom fomulation and solution fo stuctued poblems SIAM Jounal on Matix Anal Appl vol17-1: pp , 1996 [14] Rosen, JB, Pak, H and Glick, J Stuctued total least nom fo nonlinea poblems SIAM Jounal On Matix Anal Appl vol2-1: pp 14 3, 1999 [15] Sasaki,T, Sasaki,M Polynomial emaide sequence and appoximate GCD, ACM SIGSAM Bulletin, vol31: pp 4-1, 21 [16] Zeng, Z and Dayton,BH The appoximate GCD of inexact polynomials pat II: a multivaiate algoithm In Poc 24 Intenat Symp Symbolic Algebaic Comput(ISSAC 24) pp [17] Zhi,L and Noda, MT Appoximate GCD of multivaiate polynomials PocASCM 2, Wold Scientific Pess pp 9 18, 2

Computing Approximate GCD of Univariate Polynomials by Structure Total Least Norm 1)

Computing Approximate GCD of Univariate Polynomials by Structure Total Least Norm 1) MM Research Preprints, 375 387 MMRC, AMSS, Academia Sinica No. 24, December 2004 375 Computing Approximate GCD of Univariate Polynomials by Structure Total Least Norm 1) Lihong Zhi and Zhengfeng Yang Key

More information

Construction and Analysis of Boolean Functions of 2t + 1 Variables with Maximum Algebraic Immunity

Construction and Analysis of Boolean Functions of 2t + 1 Variables with Maximum Algebraic Immunity Constuction and Analysis of Boolean Functions of 2t + 1 Vaiables with Maximum Algebaic Immunity Na Li and Wen-Feng Qi Depatment of Applied Mathematics, Zhengzhou Infomation Engineeing Univesity, Zhengzhou,

More information

Introduction Common Divisors. Discrete Mathematics Andrei Bulatov

Introduction Common Divisors. Discrete Mathematics Andrei Bulatov Intoduction Common Divisos Discete Mathematics Andei Bulatov Discete Mathematics Common Divisos 3- Pevious Lectue Integes Division, popeties of divisibility The division algoithm Repesentation of numbes

More information

New problems in universal algebraic geometry illustrated by boolean equations

New problems in universal algebraic geometry illustrated by boolean equations New poblems in univesal algebaic geomety illustated by boolean equations axiv:1611.00152v2 [math.ra] 25 Nov 2016 Atem N. Shevlyakov Novembe 28, 2016 Abstact We discuss new poblems in univesal algebaic

More information

Chapter 3: Theory of Modular Arithmetic 38

Chapter 3: Theory of Modular Arithmetic 38 Chapte 3: Theoy of Modula Aithmetic 38 Section D Chinese Remainde Theoem By the end of this section you will be able to pove the Chinese Remainde Theoem apply this theoem to solve simultaneous linea conguences

More information

Available online through ISSN

Available online through  ISSN Intenational eseach Jounal of Pue Algeba -() 01 98-0 Available online though wwwjpainfo ISSN 8 907 SOE ESULTS ON THE GOUP INVESE OF BLOCK ATIX OVE IGHT OE DOAINS Hanyu Zhang* Goup of athematical Jidong

More information

Research Article On Alzer and Qiu s Conjecture for Complete Elliptic Integral and Inverse Hyperbolic Tangent Function

Research Article On Alzer and Qiu s Conjecture for Complete Elliptic Integral and Inverse Hyperbolic Tangent Function Abstact and Applied Analysis Volume 011, Aticle ID 697547, 7 pages doi:10.1155/011/697547 Reseach Aticle On Alze and Qiu s Conjectue fo Complete Elliptic Integal and Invese Hypebolic Tangent Function Yu-Ming

More information

Fall 2014 Randomized Algorithms Oct 8, Lecture 3

Fall 2014 Randomized Algorithms Oct 8, Lecture 3 Fall 204 Randomized Algoithms Oct 8, 204 Lectue 3 Pof. Fiedich Eisenband Scibes: Floian Tamè In this lectue we will be concened with linea pogamming, in paticula Clakson s Las Vegas algoithm []. The main

More information

Weighted least-squares estimators of parametric functions of the regression coefficients under a general linear model

Weighted least-squares estimators of parametric functions of the regression coefficients under a general linear model Ann Inst Stat Math (2010) 62:929 941 DOI 10.1007/s10463-008-0199-8 Weighted least-squaes estimatos of paametic functions of the egession coefficients unde a geneal linea model Yongge Tian Received: 9 Januay

More information

Localization of Eigenvalues in Small Specified Regions of Complex Plane by State Feedback Matrix

Localization of Eigenvalues in Small Specified Regions of Complex Plane by State Feedback Matrix Jounal of Sciences, Islamic Republic of Ian (): - () Univesity of Tehan, ISSN - http://sciencesutaci Localization of Eigenvalues in Small Specified Regions of Complex Plane by State Feedback Matix H Ahsani

More information

A matrix method based on the Fibonacci polynomials to the generalized pantograph equations with functional arguments

A matrix method based on the Fibonacci polynomials to the generalized pantograph equations with functional arguments A mati method based on the Fibonacci polynomials to the genealized pantogaph equations with functional aguments Ayşe Betül Koç*,a, Musa Çama b, Aydın Kunaz a * Coespondence: aysebetuloc @ selcu.edu.t a

More information

When two numbers are written as the product of their prime factors, they are in factored form.

When two numbers are written as the product of their prime factors, they are in factored form. 10 1 Study Guide Pages 420 425 Factos Because 3 4 12, we say that 3 and 4 ae factos of 12. In othe wods, factos ae the numbes you multiply to get a poduct. Since 2 6 12, 2 and 6 ae also factos of 12. The

More information

Method for Approximating Irrational Numbers

Method for Approximating Irrational Numbers Method fo Appoximating Iational Numbes Eic Reichwein Depatment of Physics Univesity of Califonia, Santa Cuz June 6, 0 Abstact I will put foth an algoithm fo poducing inceasingly accuate ational appoximations

More information

arxiv: v1 [math.co] 1 Apr 2011

arxiv: v1 [math.co] 1 Apr 2011 Weight enumeation of codes fom finite spaces Relinde Juius Octobe 23, 2018 axiv:1104.0172v1 [math.co] 1 Ap 2011 Abstact We study the genealized and extended weight enumeato of the - ay Simplex code and

More information

A Converse to Low-Rank Matrix Completion

A Converse to Low-Rank Matrix Completion A Convese to Low-Rank Matix Completion Daniel L. Pimentel-Alacón, Robet D. Nowak Univesity of Wisconsin-Madison Abstact In many pactical applications, one is given a subset Ω of the enties in a d N data

More information

Perturbation to Symmetries and Adiabatic Invariants of Nonholonomic Dynamical System of Relative Motion

Perturbation to Symmetries and Adiabatic Invariants of Nonholonomic Dynamical System of Relative Motion Commun. Theo. Phys. Beijing, China) 43 25) pp. 577 581 c Intenational Academic Publishes Vol. 43, No. 4, Apil 15, 25 Petubation to Symmeties and Adiabatic Invaiants of Nonholonomic Dynamical System of

More information

Hua Xu 3 and Hiroaki Mukaidani 33. The University of Tsukuba, Otsuka. Hiroshima City University, 3-4-1, Ozuka-Higashi

Hua Xu 3 and Hiroaki Mukaidani 33. The University of Tsukuba, Otsuka. Hiroshima City University, 3-4-1, Ozuka-Higashi he inea Quadatic Dynamic Game fo Discete-ime Descipto Systems Hua Xu 3 and Hioai Muaidani 33 3 Gaduate School of Systems Management he Univesity of suuba, 3-9- Otsua Bunyo-u, oyo -0, Japan xuhua@gssm.otsua.tsuuba.ac.jp

More information

Model and Controller Order Reduction for Infinite Dimensional Systems

Model and Controller Order Reduction for Infinite Dimensional Systems IT J. Eng. Sci., Vol. 4, No.,, -6 Model and Contolle Ode Reduction fo Infinite Dimensional Systems Fatmawati,*, R. Saagih,. Riyanto 3 & Y. Soehayadi Industial and Financial Mathematics Goup email: fatma47@students.itb.ac.id;

More information

SOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF 2 2 OPERATOR MATRICES

SOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF 2 2 OPERATOR MATRICES italian jounal of pue and applied mathematics n. 35 015 (433 44) 433 SOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF OPERATOR MATRICES Watheq Bani-Domi Depatment of Mathematics

More information

PROBLEM SET #1 SOLUTIONS by Robert A. DiStasio Jr.

PROBLEM SET #1 SOLUTIONS by Robert A. DiStasio Jr. POBLM S # SOLUIONS by obet A. DiStasio J. Q. he Bon-Oppenheime appoximation is the standad way of appoximating the gound state of a molecula system. Wite down the conditions that detemine the tonic and

More information

Magnetometer Calibration Algorithm Based on Analytic Geometry Transform Yongjian Yang, Xiaolong Xiao1,Wu Liao

Magnetometer Calibration Algorithm Based on Analytic Geometry Transform Yongjian Yang, Xiaolong Xiao1,Wu Liao nd Intenational Foum on Electical Engineeing and Automation (IFEEA 5 Magnetomete Calibation Algoithm Based on Analytic Geomety ansfom Yongjian Yang, Xiaolong Xiao,u Liao College of Compute Science and

More information

18.06 Problem Set 4 Solution

18.06 Problem Set 4 Solution 8.6 Poblem Set 4 Solution Total: points Section 3.5. Poblem 2: (Recommended) Find the lagest possible numbe of independent vectos among ) ) ) v = v 4 = v 5 = v 6 = v 2 = v 3 =. Solution (4 points): Since

More information

arxiv: v2 [math.ag] 4 Jul 2012

arxiv: v2 [math.ag] 4 Jul 2012 SOME EXAMPLES OF VECTOR BUNDLES IN THE BASE LOCUS OF THE GENERALIZED THETA DIVISOR axiv:0707.2326v2 [math.ag] 4 Jul 2012 SEBASTIAN CASALAINA-MARTIN, TAWANDA GWENA, AND MONTSERRAT TEIXIDOR I BIGAS Abstact.

More information

New Finding on Factoring Prime Power RSA Modulus N = p r q

New Finding on Factoring Prime Power RSA Modulus N = p r q Jounal of Mathematical Reseach with Applications Jul., 207, Vol. 37, o. 4, pp. 404 48 DOI:0.3770/j.issn:2095-265.207.04.003 Http://jme.dlut.edu.cn ew Finding on Factoing Pime Powe RSA Modulus = p q Sadiq

More information

Temporal-Difference Learning

Temporal-Difference Learning .997 Decision-Making in Lage-Scale Systems Mach 17 MIT, Sping 004 Handout #17 Lectue Note 13 1 Tempoal-Diffeence Leaning We now conside the poblem of computing an appopiate paamete, so that, given an appoximation

More information

Quasi-Randomness and the Distribution of Copies of a Fixed Graph

Quasi-Randomness and the Distribution of Copies of a Fixed Graph Quasi-Randomness and the Distibution of Copies of a Fixed Gaph Asaf Shapia Abstact We show that if a gaph G has the popety that all subsets of vetices of size n/4 contain the coect numbe of tiangles one

More information

Using Laplace Transform to Evaluate Improper Integrals Chii-Huei Yu

Using Laplace Transform to Evaluate Improper Integrals Chii-Huei Yu Available at https://edupediapublicationsog/jounals Volume 3 Issue 4 Febuay 216 Using Laplace Tansfom to Evaluate Impope Integals Chii-Huei Yu Depatment of Infomation Technology, Nan Jeon Univesity of

More information

Multiple Criteria Secretary Problem: A New Approach

Multiple Criteria Secretary Problem: A New Approach J. Stat. Appl. Po. 3, o., 9-38 (04 9 Jounal of Statistics Applications & Pobability An Intenational Jounal http://dx.doi.og/0.785/jsap/0303 Multiple Citeia Secetay Poblem: A ew Appoach Alaka Padhye, and

More information

On the Structure of Linear Programs with Overlapping Cardinality Constraints

On the Structure of Linear Programs with Overlapping Cardinality Constraints On the Stuctue of Linea Pogams with Ovelapping Cadinality Constaints Tobias Fische and Mac E. Pfetsch Depatment of Mathematics, TU Damstadt, Gemany tfische,pfetsch}@mathematik.tu-damstadt.de Januay 25,

More information

Strongly stable algorithm for computing periodic system zeros

Strongly stable algorithm for computing periodic system zeros Stongly stable algoithm fo computing peiodic system zeos Andas Vaga Geman Aeospace Cente DLR - bepfaffenhofen Institute of Robotics and System Dynamics D-82234 Wessling, Gemany AndasVaga@dlde Abstact We

More information

MAC Module 12 Eigenvalues and Eigenvectors

MAC Module 12 Eigenvalues and Eigenvectors MAC 23 Module 2 Eigenvalues and Eigenvectos Leaning Objectives Upon completing this module, you should be able to:. Solve the eigenvalue poblem by finding the eigenvalues and the coesponding eigenvectos

More information

C/CS/Phys C191 Shor s order (period) finding algorithm and factoring 11/12/14 Fall 2014 Lecture 22

C/CS/Phys C191 Shor s order (period) finding algorithm and factoring 11/12/14 Fall 2014 Lecture 22 C/CS/Phys C9 Sho s ode (peiod) finding algoithm and factoing /2/4 Fall 204 Lectue 22 With a fast algoithm fo the uantum Fouie Tansfom in hand, it is clea that many useful applications should be possible.

More information

DonnishJournals

DonnishJournals DonnishJounals 041-1189 Donnish Jounal of Educational Reseach and Reviews. Vol 1(1) pp. 01-017 Novembe, 014. http:///dje Copyight 014 Donnish Jounals Oiginal Reseach Pape Vecto Analysis Using MAXIMA Savaş

More information

Application of homotopy perturbation method to the Navier-Stokes equations in cylindrical coordinates

Application of homotopy perturbation method to the Navier-Stokes equations in cylindrical coordinates Computational Ecology and Softwae 5 5(): 9-5 Aticle Application of homotopy petubation method to the Navie-Stokes equations in cylindical coodinates H. A. Wahab Anwa Jamal Saia Bhatti Muhammad Naeem Muhammad

More information

Berkeley Math Circle AIME Preparation March 5, 2013

Berkeley Math Circle AIME Preparation March 5, 2013 Algeba Toolkit Rules of Thumb. Make sue that you can pove all fomulas you use. This is even bette than memoizing the fomulas. Although it is best to memoize, as well. Stive fo elegant, economical methods.

More information

A Multivariate Normal Law for Turing s Formulae

A Multivariate Normal Law for Turing s Formulae A Multivaiate Nomal Law fo Tuing s Fomulae Zhiyi Zhang Depatment of Mathematics and Statistics Univesity of Noth Caolina at Chalotte Chalotte, NC 28223 Abstact This pape establishes a sufficient condition

More information

15.081J/6.251J Introduction to Mathematical Programming. Lecture 6: The Simplex Method II

15.081J/6.251J Introduction to Mathematical Programming. Lecture 6: The Simplex Method II 15081J/6251J Intoduction to Mathematical Pogamming ectue 6: The Simplex Method II 1 Outline Revised Simplex method Slide 1 The full tableau implementation Anticycling 2 Revised Simplex Initial data: A,

More information

On the Poisson Approximation to the Negative Hypergeometric Distribution

On the Poisson Approximation to the Negative Hypergeometric Distribution BULLETIN of the Malaysian Mathematical Sciences Society http://mathusmmy/bulletin Bull Malays Math Sci Soc (2) 34(2) (2011), 331 336 On the Poisson Appoximation to the Negative Hypegeometic Distibution

More information

Gradient-based Neural Network for Online Solution of Lyapunov Matrix Equation with Li Activation Function

Gradient-based Neural Network for Online Solution of Lyapunov Matrix Equation with Li Activation Function Intenational Confeence on Infomation echnology and Management Innovation (ICIMI 05) Gadient-based Neual Netwok fo Online Solution of Lyapunov Matix Equation with Li Activation unction Shiheng Wang, Shidong

More information

ONE-POINT CODES USING PLACES OF HIGHER DEGREE

ONE-POINT CODES USING PLACES OF HIGHER DEGREE ONE-POINT CODES USING PLACES OF HIGHER DEGREE GRETCHEN L. MATTHEWS AND TODD W. MICHEL DEPARTMENT OF MATHEMATICAL SCIENCES CLEMSON UNIVERSITY CLEMSON, SC 29634-0975 U.S.A. E-MAIL: GMATTHE@CLEMSON.EDU, TMICHEL@CLEMSON.EDU

More information

A Relativistic Electron in a Coulomb Potential

A Relativistic Electron in a Coulomb Potential A Relativistic Electon in a Coulomb Potential Alfed Whitehead Physics 518, Fall 009 The Poblem Solve the Diac Equation fo an electon in a Coulomb potential. Identify the conseved quantum numbes. Specify

More information

Journal of Inequalities in Pure and Applied Mathematics

Journal of Inequalities in Pure and Applied Mathematics Jounal of Inequalities in Pue and Applied Mathematics COEFFICIENT INEQUALITY FOR A FUNCTION WHOSE DERIVATIVE HAS A POSITIVE REAL PART S. ABRAMOVICH, M. KLARIČIĆ BAKULA AND S. BANIĆ Depatment of Mathematics

More information

A NEW VARIABLE STIFFNESS SPRING USING A PRESTRESSED MECHANISM

A NEW VARIABLE STIFFNESS SPRING USING A PRESTRESSED MECHANISM Poceedings of the ASME 2010 Intenational Design Engineeing Technical Confeences & Computes and Infomation in Engineeing Confeence IDETC/CIE 2010 August 15-18, 2010, Monteal, Quebec, Canada DETC2010-28496

More information

On the integration of the equations of hydrodynamics

On the integration of the equations of hydrodynamics Uebe die Integation de hydodynamischen Gleichungen J f eine u angew Math 56 (859) -0 On the integation of the equations of hydodynamics (By A Clebsch at Calsuhe) Tanslated by D H Delphenich In a pevious

More information

Chapter 5 Linear Equations: Basic Theory and Practice

Chapter 5 Linear Equations: Basic Theory and Practice Chapte 5 inea Equations: Basic Theoy and actice In this chapte and the next, we ae inteested in the linea algebaic equation AX = b, (5-1) whee A is an m n matix, X is an n 1 vecto to be solved fo, and

More information

Compactly Supported Radial Basis Functions

Compactly Supported Radial Basis Functions Chapte 4 Compactly Suppoted Radial Basis Functions As we saw ealie, compactly suppoted functions Φ that ae tuly stictly conditionally positive definite of ode m > do not exist The compact suppot automatically

More information

Functions Defined on Fuzzy Real Numbers According to Zadeh s Extension

Functions Defined on Fuzzy Real Numbers According to Zadeh s Extension Intenational Mathematical Foum, 3, 2008, no. 16, 763-776 Functions Defined on Fuzzy Real Numbes Accoding to Zadeh s Extension Oma A. AbuAaqob, Nabil T. Shawagfeh and Oma A. AbuGhneim 1 Mathematics Depatment,

More information

On the Quasi-inverse of a Non-square Matrix: An Infinite Solution

On the Quasi-inverse of a Non-square Matrix: An Infinite Solution Applied Mathematical Sciences, Vol 11, 2017, no 27, 1337-1351 HIKARI Ltd, wwwm-hikaicom https://doiog/1012988/ams20177273 On the Quasi-invese of a Non-squae Matix: An Infinite Solution Ruben D Codeo J

More information

A dual-reciprocity boundary element method for axisymmetric thermoelastodynamic deformations in functionally graded solids

A dual-reciprocity boundary element method for axisymmetric thermoelastodynamic deformations in functionally graded solids APCOM & ISCM 11-14 th Decembe, 013, Singapoe A dual-ecipocity bounday element method fo axisymmetic themoelastodynamic defomations in functionally gaded solids *W. T. Ang and B. I. Yun Division of Engineeing

More information

3.1 Random variables

3.1 Random variables 3 Chapte III Random Vaiables 3 Random vaiables A sample space S may be difficult to descibe if the elements of S ae not numbes discuss how we can use a ule by which an element s of S may be associated

More information

Topic 4a Introduction to Root Finding & Bracketing Methods

Topic 4a Introduction to Root Finding & Bracketing Methods /8/18 Couse Instucto D. Raymond C. Rumpf Office: A 337 Phone: (915) 747 6958 E Mail: cumpf@utep.edu Topic 4a Intoduction to Root Finding & Backeting Methods EE 4386/531 Computational Methods in EE Outline

More information

AQI: Advanced Quantum Information Lecture 2 (Module 4): Order finding and factoring algorithms February 20, 2013

AQI: Advanced Quantum Information Lecture 2 (Module 4): Order finding and factoring algorithms February 20, 2013 AQI: Advanced Quantum Infomation Lectue 2 (Module 4): Ode finding and factoing algoithms Febuay 20, 203 Lectue: D. Mak Tame (email: m.tame@impeial.ac.uk) Intoduction In the last lectue we looked at the

More information

arxiv: v1 [math.co] 4 May 2017

arxiv: v1 [math.co] 4 May 2017 On The Numbe Of Unlabeled Bipatite Gaphs Abdullah Atmaca and A Yavuz Ouç axiv:7050800v [mathco] 4 May 207 Abstact This pape solves a poblem that was stated by M A Haison in 973 [] This poblem, that has

More information

Galois points on quartic surfaces

Galois points on quartic surfaces J. Math. Soc. Japan Vol. 53, No. 3, 2001 Galois points on quatic sufaces By Hisao Yoshihaa (Received Nov. 29, 1999) (Revised Ma. 30, 2000) Abstact. Let S be a smooth hypesuface in the pojective thee space

More information

ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0},

ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0}, ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION E. J. IONASCU and A. A. STANCU Abstact. We ae inteested in constucting concete independent events in puely atomic pobability

More information

Fractional Tikhonov regularization for linear discrete ill-posed problems

Fractional Tikhonov regularization for linear discrete ill-posed problems BIT manuscipt No. (will be inseted by the edito) Factional Tikhonov egulaization fo linea discete ill-posed poblems Michiel E. Hochstenbach Lotha Reichel Received: date / Accepted: date Abstact Tikhonov

More information

A Power Method for Computing Square Roots of Complex Matrices

A Power Method for Computing Square Roots of Complex Matrices JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 13, 39345 1997 ARTICLE NO. AY975517 A Powe Method fo Computing Squae Roots of Complex Matices Mohammed A. Hasan Depatment of Electical Engineeing, Coloado

More information

ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE

ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE THE p-adic VALUATION OF STIRLING NUMBERS ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE Abstact. Let p > 2 be a pime. The p-adic valuation of Stiling numbes of the

More information

EM Boundary Value Problems

EM Boundary Value Problems EM Bounday Value Poblems 10/ 9 11/ By Ilekta chistidi & Lee, Seung-Hyun A. Geneal Desciption : Maxwell Equations & Loentz Foce We want to find the equations of motion of chaged paticles. The way to do

More information

COLLAPSING WALLS THEOREM

COLLAPSING WALLS THEOREM COLLAPSING WALLS THEOREM IGOR PAK AND ROM PINCHASI Abstact. Let P R 3 be a pyamid with the base a convex polygon Q. We show that when othe faces ae collapsed (otated aound the edges onto the plane spanned

More information

Fractional Zero Forcing via Three-color Forcing Games

Fractional Zero Forcing via Three-color Forcing Games Factional Zeo Focing via Thee-colo Focing Games Leslie Hogben Kevin F. Palmowski David E. Robeson Michael Young May 13, 2015 Abstact An -fold analogue of the positive semidefinite zeo focing pocess that

More information

Relating Branching Program Size and. Formula Size over the Full Binary Basis. FB Informatik, LS II, Univ. Dortmund, Dortmund, Germany

Relating Branching Program Size and. Formula Size over the Full Binary Basis. FB Informatik, LS II, Univ. Dortmund, Dortmund, Germany Relating Banching Pogam Size and omula Size ove the ull Binay Basis Matin Saueho y Ingo Wegene y Ralph Wechne z y B Infomatik, LS II, Univ. Dotmund, 44 Dotmund, Gemany z ankfut, Gemany sauehof/wegene@ls.cs.uni-dotmund.de

More information

Quantum Fourier Transform

Quantum Fourier Transform Chapte 5 Quantum Fouie Tansfom Many poblems in physics and mathematics ae solved by tansfoming a poblem into some othe poblem with a known solution. Some notable examples ae Laplace tansfom, Legende tansfom,

More information

An Exact Solution of Navier Stokes Equation

An Exact Solution of Navier Stokes Equation An Exact Solution of Navie Stokes Equation A. Salih Depatment of Aeospace Engineeing Indian Institute of Space Science and Technology, Thiuvananthapuam, Keala, India. July 20 The pincipal difficulty in

More information

A STABILITY RESULT FOR p-harmonic SYSTEMS WITH DISCONTINUOUS COEFFICIENTS. Bianca Stroffolini. 0. Introduction

A STABILITY RESULT FOR p-harmonic SYSTEMS WITH DISCONTINUOUS COEFFICIENTS. Bianca Stroffolini. 0. Introduction Electonic Jounal of Diffeential Equations, Vol. 2001(2001), No. 02, pp. 1 7. ISSN: 1072-6691. URL: http://ejde.math.swt.edu o http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) A STABILITY RESULT

More information

Conjugate Gradient Methods. Michael Bader. Summer term 2012

Conjugate Gradient Methods. Michael Bader. Summer term 2012 Gadient Methods Outlines Pat I: Quadatic Foms and Steepest Descent Pat II: Gadients Pat III: Summe tem 2012 Pat I: Quadatic Foms and Steepest Descent Outlines Pat I: Quadatic Foms and Steepest Descent

More information

Introduction to Mathematical Statistics Robert V. Hogg Joeseph McKean Allen T. Craig Seventh Edition

Introduction to Mathematical Statistics Robert V. Hogg Joeseph McKean Allen T. Craig Seventh Edition Intoduction to Mathematical Statistics Robet V. Hogg Joeseph McKean Allen T. Caig Seventh Edition Peason Education Limited Edinbugh Gate Halow Essex CM2 2JE England and Associated Companies thoughout the

More information

6 Matrix Concentration Bounds

6 Matrix Concentration Bounds 6 Matix Concentation Bounds Concentation bounds ae inequalities that bound pobabilities of deviations by a andom vaiable fom some value, often its mean. Infomally, they show the pobability that a andom

More information

arxiv: v1 [math.na] 8 Feb 2013

arxiv: v1 [math.na] 8 Feb 2013 A mixed method fo Diichlet poblems with adial basis functions axiv:1302.2079v1 [math.na] 8 Feb 2013 Nobet Heue Thanh Tan Abstact We pesent a simple discetization by adial basis functions fo the Poisson

More information

Research Design - - Topic 17 Multiple Regression & Multiple Correlation: Two Predictors 2009 R.C. Gardner, Ph.D.

Research Design - - Topic 17 Multiple Regression & Multiple Correlation: Two Predictors 2009 R.C. Gardner, Ph.D. Reseach Design - - Topic 7 Multiple Regession & Multiple Coelation: Two Pedictos 009 R.C. Gadne, Ph.D. Geneal Rationale and Basic Aithmetic fo two pedictos Patial and semipatial coelation Regession coefficients

More information

Measure Estimates of Nodal Sets of Polyharmonic Functions

Measure Estimates of Nodal Sets of Polyharmonic Functions Chin. Ann. Math. Se. B 39(5), 08, 97 93 DOI: 0.007/s40-08-004-6 Chinese Annals of Mathematics, Seies B c The Editoial Office of CAM and Spinge-Velag Belin Heidelbeg 08 Measue Estimates of Nodal Sets of

More information

9.1 The multiplicative group of a finite field. Theorem 9.1. The multiplicative group F of a finite field is cyclic.

9.1 The multiplicative group of a finite field. Theorem 9.1. The multiplicative group F of a finite field is cyclic. Chapte 9 Pimitive Roots 9.1 The multiplicative goup of a finite fld Theoem 9.1. The multiplicative goup F of a finite fld is cyclic. Remak: In paticula, if p is a pime then (Z/p) is cyclic. In fact, this

More information

ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS. D.A. Mojdeh and B. Samadi

ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS. D.A. Mojdeh and B. Samadi Opuscula Math. 37, no. 3 (017), 447 456 http://dx.doi.og/10.7494/opmath.017.37.3.447 Opuscula Mathematica ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS D.A. Mojdeh and B. Samadi Communicated

More information

I. CONSTRUCTION OF THE GREEN S FUNCTION

I. CONSTRUCTION OF THE GREEN S FUNCTION I. CONSTRUCTION OF THE GREEN S FUNCTION The Helmohltz equation in 4 dimensions is 4 + k G 4 x, x = δ 4 x x. In this equation, G is the Geen s function and 4 efes to the dimensionality. In the vey end,

More information

Syntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland)

Syntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland) Syntactical content of nite appoximations of patial algebas 1 Wikto Batol Inst. Matematyki, Uniw. Waszawski, 02-097 Waszawa (Poland) batol@mimuw.edu.pl Xavie Caicedo Dep. Matematicas, Univ. de los Andes,

More information

Solving Some Definite Integrals Using Parseval s Theorem

Solving Some Definite Integrals Using Parseval s Theorem Ameican Jounal of Numeical Analysis 4 Vol. No. 6-64 Available online at http://pubs.sciepub.com/ajna///5 Science and Education Publishing DOI:.69/ajna---5 Solving Some Definite Integals Using Paseval s

More information

Hammerstein Model Identification Based On Instrumental Variable and Least Square Methods

Hammerstein Model Identification Based On Instrumental Variable and Least Square Methods Intenational Jounal of Emeging Tends & Technology in Compute Science (IJETTCS) Volume 2, Issue, Januay Febuay 23 ISSN 2278-6856 Hammestein Model Identification Based On Instumental Vaiable and Least Squae

More information

Dymore User s Manual Two- and three dimensional dynamic inflow models

Dymore User s Manual Two- and three dimensional dynamic inflow models Dymoe Use s Manual Two- and thee dimensional dynamic inflow models Contents 1 Two-dimensional finite-state genealized dynamic wake theoy 1 Thee-dimensional finite-state genealized dynamic wake theoy 1

More information

Goodness-of-fit for composite hypotheses.

Goodness-of-fit for composite hypotheses. Section 11 Goodness-of-fit fo composite hypotheses. Example. Let us conside a Matlab example. Let us geneate 50 obsevations fom N(1, 2): X=nomnd(1,2,50,1); Then, unning a chi-squaed goodness-of-fit test

More information

Pearson s Chi-Square Test Modifications for Comparison of Unweighted and Weighted Histograms and Two Weighted Histograms

Pearson s Chi-Square Test Modifications for Comparison of Unweighted and Weighted Histograms and Two Weighted Histograms Peason s Chi-Squae Test Modifications fo Compaison of Unweighted and Weighted Histogams and Two Weighted Histogams Univesity of Akueyi, Bogi, v/noduslód, IS-6 Akueyi, Iceland E-mail: nikolai@unak.is Two

More information

Encapsulation theory: radial encapsulation. Edmund Kirwan *

Encapsulation theory: radial encapsulation. Edmund Kirwan * Encapsulation theoy: adial encapsulation. Edmund Kiwan * www.edmundkiwan.com Abstact This pape intoduces the concept of adial encapsulation, wheeby dependencies ae constained to act fom subsets towads

More information

Absorption Rate into a Small Sphere for a Diffusing Particle Confined in a Large Sphere

Absorption Rate into a Small Sphere for a Diffusing Particle Confined in a Large Sphere Applied Mathematics, 06, 7, 709-70 Published Online Apil 06 in SciRes. http://www.scip.og/jounal/am http://dx.doi.og/0.46/am.06.77065 Absoption Rate into a Small Sphee fo a Diffusing Paticle Confined in

More information

Σk=1. g r 3/2 z. 2 3-z. g 3 ( 3/2 ) g r 2. = 1 r = 0. () z = ( a ) + Σ. c n () a = ( a) 3-z -a. 3-z. z - + Σ. z 3, 5, 7, z ! = !

Σk=1. g r 3/2 z. 2 3-z. g 3 ( 3/2 ) g r 2. = 1 r = 0. () z = ( a ) + Σ. c n () a = ( a) 3-z -a. 3-z. z - + Σ. z 3, 5, 7, z ! = ! 09 Maclauin Seies of Completed Riemann Zeta 9. Maclauin Seies of Lemma 9.. ( Maclauin seies of gamma function ) When is the gamma function, n is the polygamma function and B n,kf, f, ae Bell polynomials,

More information

Stanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012

Stanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012 Stanfod Univesity CS59Q: Quantum Computing Handout 8 Luca Tevisan Octobe 8, 0 Lectue 8 In which we use the quantum Fouie tansfom to solve the peiod-finding poblem. The Peiod Finding Poblem Let f : {0,...,

More information

2 S. Gao and M. A. Shokollahi opeations in Fq, and usually we will use the \Soft O" notation to ignoe logaithmic factos: g = O(n) ~ means that g = O(n

2 S. Gao and M. A. Shokollahi opeations in Fq, and usually we will use the \Soft O notation to ignoe logaithmic factos: g = O(n) ~ means that g = O(n Computing Roots of Polynomials ove Function Fields of Cuves Shuhong Gao 1 and M. Amin Shokollahi 2 1 Depatment of Mathematical Sciences, Clemson Univesity, Clemson, SC 29634 USA 2 Bell Labs, Rm. 2C-353,

More information

Surveillance Points in High Dimensional Spaces

Surveillance Points in High Dimensional Spaces Société de Calcul Mathématique SA Tools fo decision help since 995 Suveillance Points in High Dimensional Spaces by Benad Beauzamy Januay 06 Abstact Let us conside any compute softwae, elying upon a lage

More information

A New Design of Binary MDS Array Codes with Asymptotically Weak-Optimal Repair

A New Design of Binary MDS Array Codes with Asymptotically Weak-Optimal Repair IEEE TRANSACTIONS ON INFORMATION THEORY 1 A New Design of Binay MDS Aay Codes with Asymptotically Weak-Optimal Repai Hanxu Hou, Membe, IEEE, Yunghsiang S. Han, Fellow, IEEE, Patick P. C. Lee, Senio Membe,

More information

General Solution of EM Wave Propagation in Anisotropic Media

General Solution of EM Wave Propagation in Anisotropic Media Jounal of the Koean Physical Society, Vol. 57, No. 1, July 2010, pp. 55 60 Geneal Solution of EM Wave Popagation in Anisotopic Media Jinyoung Lee Electical and Electonic Engineeing Depatment, Koea Advanced

More information

A Bijective Approach to the Permutational Power of a Priority Queue

A Bijective Approach to the Permutational Power of a Priority Queue A Bijective Appoach to the Pemutational Powe of a Pioity Queue Ia M. Gessel Kuang-Yeh Wang Depatment of Mathematics Bandeis Univesity Waltham, MA 02254-9110 Abstact A pioity queue tansfoms an input pemutation

More information

SOME SOLVABILITY THEOREMS FOR NONLINEAR EQUATIONS

SOME SOLVABILITY THEOREMS FOR NONLINEAR EQUATIONS Fixed Point Theoy, Volume 5, No. 1, 2004, 71-80 http://www.math.ubbcluj.o/ nodeacj/sfptcj.htm SOME SOLVABILITY THEOREMS FOR NONLINEAR EQUATIONS G. ISAC 1 AND C. AVRAMESCU 2 1 Depatment of Mathematics Royal

More information

Secret Exponent Attacks on RSA-type Schemes with Moduli N = p r q

Secret Exponent Attacks on RSA-type Schemes with Moduli N = p r q Secet Exponent Attacks on RSA-type Schemes with Moduli N = p q Alexande May Faculty of Compute Science, Electical Engineeing and Mathematics Univesity of Padebon 33102 Padebon, Gemany alexx@uni-padebon.de

More information

arxiv: v1 [physics.pop-ph] 3 Jun 2013

arxiv: v1 [physics.pop-ph] 3 Jun 2013 A note on the electostatic enegy of two point chages axiv:1306.0401v1 [physics.pop-ph] 3 Jun 013 A C Tot Instituto de Física Univesidade Fedeal do io de Janeio Caixa Postal 68.58; CEP 1941-97 io de Janeio,

More information

10/04/18. P [P(x)] 1 negl(n).

10/04/18. P [P(x)] 1 negl(n). Mastemath, Sping 208 Into to Lattice lgs & Cypto Lectue 0 0/04/8 Lectues: D. Dadush, L. Ducas Scibe: K. de Boe Intoduction In this lectue, we will teat two main pats. Duing the fist pat we continue the

More information

THE NUMBER OF TWO CONSECUTIVE SUCCESSES IN A HOPPE-PÓLYA URN

THE NUMBER OF TWO CONSECUTIVE SUCCESSES IN A HOPPE-PÓLYA URN TH NUMBR OF TWO CONSCUTIV SUCCSSS IN A HOPP-PÓLYA URN LARS HOLST Depatment of Mathematics, Royal Institute of Technology S 100 44 Stocholm, Sweden -mail: lholst@math.th.se Novembe 27, 2007 Abstact In a

More information

Appraisal of Logistics Enterprise Competitiveness on the Basis of Fuzzy Analysis Algorithm

Appraisal of Logistics Enterprise Competitiveness on the Basis of Fuzzy Analysis Algorithm Appaisal of Logistics Entepise Competitiveness on the Basis of Fuzzy Analysis Algoithm Yan Zhao, Fengge Yao, Minming She Habin Univesity of Commece, Habin, Heilongjiang 150028, China, zhaoyan2000@yahoo.com.cn

More information

Bounds on the performance of back-to-front airplane boarding policies

Bounds on the performance of back-to-front airplane boarding policies Bounds on the pefomance of bac-to-font aiplane boading policies Eitan Bachmat Michael Elin Abstact We povide bounds on the pefomance of bac-to-font aiplane boading policies. In paticula, we show that no

More information

Analytical time-optimal trajectories for an omni-directional vehicle

Analytical time-optimal trajectories for an omni-directional vehicle Analytical time-optimal tajectoies fo an omni-diectional vehicle Weifu Wang and Devin J. Balkcom Abstact We pesent the fist analytical solution method fo finding a time-optimal tajectoy between any given

More information

Probablistically Checkable Proofs

Probablistically Checkable Proofs Lectue 12 Pobablistically Checkable Poofs May 13, 2004 Lectue: Paul Beame Notes: Chis Re 12.1 Pobablisitically Checkable Poofs Oveview We know that IP = PSPACE. This means thee is an inteactive potocol

More information

EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS

EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS ATHULA GUNAWARDENA AND ROBERT R MEYER Abstact A d-dimensional gid gaph G is the gaph on a finite subset in the intege lattice Z d in

More information

A generalization of the Bernstein polynomials

A generalization of the Bernstein polynomials A genealization of the Benstein polynomials Halil Ouç and Geoge M Phillips Mathematical Institute, Univesity of St Andews, Noth Haugh, St Andews, Fife KY16 9SS, Scotland Dedicated to Philip J Davis This

More information