Matrix Methods for the Bernstein Form and Their Application in Global Optimization
|
|
- Josephine Taylor
- 5 years ago
- Views:
Transcription
1 Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, 10 Jihad Titi Jürgen Garloff University of Konstanz Department of Mathematics and Statistics and University of Applied Sciences / HTWG Konstanz Faculty of Computer Science Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, 10 1 / 26
2 Outline The Bernstein expansion for polynomials over a box and a simplex New method for the computation of the Bernstein coefficients of multivariate Bernstein polynomials over a simplex Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, 10 2 / 26
3 Outline The Bernstein expansion for polynomials over a box and a simplex New method for the computation of the Bernstein coefficients of multivariate Bernstein polynomials over a simplex Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, 10 2 / 26
4 Outline The Bernstein expansion for polynomials over a box and a simplex New method for the computation of the Bernstein coefficients of multivariate Bernstein polynomials over a simplex New method for the calculation of the Bernstein coefficients over sub-boxes generated by subdivision Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, 10 2 / 26
5 Outline The Bernstein expansion for polynomials over a box and a simplex New method for the computation of the Bernstein coefficients of multivariate Bernstein polynomials over a simplex New method for the calculation of the Bernstein coefficients over sub-boxes generated by subdivision Test for the convexity of a polynomial Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, 10 2 / 26
6 Outline The Bernstein expansion for polynomials over a box and a simplex New method for the computation of the Bernstein coefficients of multivariate Bernstein polynomials over a simplex New method for the calculation of the Bernstein coefficients over sub-boxes generated by subdivision Test for the convexity of a polynomial Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, 10 2 / 26
7 Notations We will consider the unit box u := [0, 1] n, since any compact nonempty box x of R n can be mapped affinely upon u. The multi-index (i 1,..., i n ) is abbreviated by i, where n is the number of variables. The multi-index k is defined as k = (k 1, k 2,..., k n ). Comparison between and arithmetic operations with multi-indices are defined entry-wise. For x = (x 1, x 2,..., x n ) R n, its monomials are defined as x i := n j=1 x i j j. The abbreviations k i=0 := k 1 i 1 =0... k n i and ( ) k n=0 i := n α=1 are used. i s,q := (i 1, i 2,..., i s 1, i s + q, i s+1,..., i n ) where 0 i s + q k s. ( kα iα ) Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, 10 3 / 26
8 Bernstein Polynomials Let p be an n-variate polynomial of degree l l p(x) = a i x i. (1) i=0 The i-th Bernstein polynomial of degree k, k l, is the polynomial (0 i k) ( ) B (k) k i (x) = x i (1 x) k i. (2) i Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, 10 4 / 26
9 The Bernstein polynomials of degree k form a basis of the vector space of the polynomials of degree at most k. Therefore, p can represented by p(x) = k i=0 b (k) i B (k) i (x), k l. (3) The coefficients of this expansion are given by (a j := 0 for j k and j k) ( i i j) b (k) i = ( k )a j, 0 i k. (4) j (Bernstein coefficients). j=0 The Bernstein coefficients can be organized in a multi-dimensional array B(u) = (b (k) i ) 0 i k, the so-called Bernstein patch. Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, 10 5 / 26
10 Properties of Bernstein Coefficients Endpoint interpolation property: b 0,0,...,0 = a 0,0,...,0 = p(0, 0,..., 0), b k = k a i = p(1, 1,..., 1). (5) i=0 The first partial derivative of the polynomial p with respect to x s is given by where p x s = i k s, 1 b ib ks, 1,i (x), (6) b i = k s [b is,1 b i ], 1 s n, x u. (7) Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, 10 6 / 26
11 convex hull property:the graph of p over u is contained in the convex hull of the control points. {( ) } {( ) } x i/k : x u conv : 0 i k. (8) p(x) b i Figure 1:The graph of a degree 5 polynomial and the convex hull (shaded) of its control points (marked by squares). Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, 10 7 / 26
12 range enclosing property: For all x u min b (k) i p(x) max b (k) i. (9) Equality holds in the left or right inequality in (9) if and only if the minimum or the maximum, respectively, is attained at a vertex of u, i.e., if i j {0, k j }, j = 1,..., n. Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, 10 8 / 26
13 Simplex Let v 0,..., v n be n + 1 points of R n. The ordered list V = [v 0,..., v n ] is called simplex of vertices v 0,..., v n. The realization V of the simplex V is the set of convex hull of the points v 0,..., v n. R n defined as the Any vector x R n can be written as an affine combination of the vertices v 0,..., v n with weights λ 0,..., λ n called barycentric coordinates. If x = (x 1,..., x n ), then λ = (λ 0,..., λ n ) = (1 n i=1 x i, x 1,..., x n ). Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, 10 9 / 26
14 For every multi-index α = (α 0,..., α n ) N n+1 and λ = (λ 0,..., λ n ) R n+1 we write α := α α n and λ α := n i=0 λα i i. Let k be a natural number. The Bernstein polynomials of degree k with respect to V are the polynomials B k α := ( ) k λ α, α = k. (10) α Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
15 Bernstein Polynomials The Bernstein polynomials of degree k form a basis of the vector space R k [X] of polynomials of degree at most k. Therefore, p can be uniquely represented as p(x) = α =k The coefficients of this expansion are given by (a j := 0 for j k and j k) b α (p, k, V )B k α, l k. (11) b α (p, k, ) = β α ( α β) ( k β)a β (12) (Bernstein coefficients). Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
16 Bivariate Case over a simplex A bivariate polynomial of degree l in power form can be expressed as p(x) = a β x β β l = X 1 AX 2, (13) [ ] where X 1 = 1 x 1 x x l 1 1, (14) [ ] X 2 = 1 x 2 x x l 2 2, (15) a 00 a a 0l1 a 10 a a 1l2 A = (16) a l1 0 a l a l1 l 2 Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
17 A bivariate polynomial in the simplicial Bernstein form can be expressed as p(x) = α =k x α 1 1 x α 2 2 (1 x 1 x 2 ) k α 1 α 2 b α1,α 2 α 1! α 2! (k α 1 α 2 )! = X 1 MX 2, (17) [ ] x where X 1 = 1 1 x 2 x 1 2!... α 1 1, (18) α 1! [ ] x X 2 = 2 1 x 2 x 2 2!... α 2 2, (19) α 2! b 00 (1 x 1 x 2 ) k b 01 (1 x 1 x 2 ) k 1 b k! (k 1)!... 0(k 1) (1 x 1 x 2 ) 1! b 0k b 10 (1 x 1 x 2 ) k 1 b 11 (1 x 1 x 2 ) k 2 M = (k 1)! (k 2)!... b 1k (1 x 1 x 2 ) 0 (20)..... b k Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
18 The 2-dimensional array for the Bernstein coefficients can be obtained as b 00 b b 0l1 B = 1 k! (U x 2 (U x1 W ) T ) T b 10 b =..., (21) b l where ( U x1 = U x2 = 1 2 ) 1 2! , (22) (. 1 k ) ( 1 1! k ) 2 2!... 1 W = a 00 k! a 01 (k 1)!... a 0(k 1) 1! a 0k a 10 (k 1)! a 11 (k 2)!... a 1(k 1) 1! (23) a k Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
19 Multidimensional case The polynomial coefficients given by The Bernstein coefficients given by a a a l a a a l a 0l a 1l a l1l a 00l3...0 a 10l a l10l a 01l3...0 a 11l a l11l a 0l2l a 1l2l a l1l 2l a 0l2l 3...l n a 1l2l 3...l n... a l1l 2l 3...l n B = 1 k! (U x n... (U xi... (U x3 (U x2 (U x1 W ) T ) T ) T... ) T... ) T, (24) where W can be obtained by multiplying the entries a i1 i 2...in of A by (k n r=1 i r )! and U xi = U x1 for all i = 2, 3,..., n (they are given in equation (22) ). Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
20 The partial derivative with respect to x s of p in the simplicial Bernstein form is p r (x) = b α(p, k 1, V )B α (k 1) (x) = k (b α b αs, 1 )B α (k 1 s, 1 (x)(25 α =k 1 α =k 1 In the two-dimensional case, the Bernstein coefficients of p over the standard simplex are given as b 00 b b 0l1 b 10 b (26) b l The Bernstein coefficients of p x 1 over are given as b 10 b 00 b 11 b b 1(l2 1) b 0(l2 1) b 00 b b 0l 2 b 20 b 10 b 21 b =... = b 10 b b l10 b (l1 1) b (l 1 1) Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
21 Subdivision From the Bernstein coefficients b (k) i of p over u, we can compute by the de Casteljau algorithm the Bernstein coefficients over sub-boxes u 1 and u 2 resulting from subdividing u in the s-th direction, i.e., u 1 := [0, 1]... [0, λ]... [0, 1], u 2 := [0, 1]... [λ, 1]... [0, 1], (27) for some λ (0, 1). Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
22 De Casteljau algorithm By starting with B 0 (u) = B(u) we set for k = 1, 2,..., n s, { b (k) b (k 1) i, i s k, i = (1 λ)b (k 1) i s, 1 + λb (k 1) i, k i s. (28) To obtain the new coefficients, the above formula is applied for i j = 0, 1,..., j = 1, 2,..., s 1, s + 1,..., l. Then, The Bernstein patch over u 1 is given by b i (u 1 ) = b (ns) i, (29) b i (u 2 ) = b (ns is) i 1,i 2,...,l s,...,i n (30) B(u 1 ) = B (ns) (u), and Bernstein patche B(u 2 ) over the sub-box u 2 are obtained as intermediate values in this computation. Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
23 Subdivision Direction Selection Subdivision can be performed in any coordinate direction. It may be advantageous to subdivide in a particular direction to increase the probability of finding a sharp range enclosure. The merit function for the subdivision in coordinate direction K = min {j : j {1, 2,..., l}, y(j) = max {y(s), s = 1, 2,..., l}}.(31) Rule A: y(s) = wid(u s ), where wid(u s ) is the width(edge length) of the box in the direction s. Rule B: y(s) = max p x s = max i ks, 1 b is,1 b i. Rule C: y(s) = [max i ks, 1 (b is,1 b i ) min i ks, 1 (b is,1 b i )] wid u s. Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
24 The Bernstein coefficients can be calculated over a sub-box by premultiplying the matrix representing the Bernstein patch B(u) by matrices which depend on the subdivision parameter point λ. E.g., when the subdivision is applied in the first coordinate direction, then the Bernstein patches over u 1 and u 2 are given as B(u 1 ) = L m L m 1... L 1 B(u), B(u 2 ) = L ml m 1... L 1B(u), (32) where for t = 1, 2,..., m [ ] I L t = t 0, L t = (1 λ)e 1,t M m+1 t [ M m+1 t λe m+1 k,1 0 I t ]. (33) where I t is the txt identity matrix, E 1,t, E m+1 k,1 R m 1 t,t with all of their entries are zero except the (1, t) and (m + 1 t, 1) entry is 1, respectively, and M m+1 t = (mij), Mm+1 t = (m ij ) Rm+1 t,m+1 t, λ if i = j, 1 λ, if i = j, m ij := 1 λ, if i = j + 1, mij := λ, if i = j 1, (34) 0, if otherwise, 0, if otherwise. Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
25 The matrix method has the following advantages over the de Casteljau algorithm: Elegant. Easier to handle. The Bernstein coefficients over each sub-box appear directly. The matrix method of computation of the Bernstein coefficients over each sub-box and the matrix method proposed by Ray and Nataraj [6](for computation of the Bernstein coefficients over the entire box) are complement each other. Thus, the Bernstein coefficients can be calculated by using matrix methods only. Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
26 Notations IR: set of the compact, nonempty real intervals [a] = [a, a], a a. IR n : set of n-vectors with components from IR, interval vectors. IR n,n : set of n-by-n matrices with entries from IR, interval matrices. Elements from IR n and IR n,n may be regarded as vector intervals and matrix intervals, respectively, w.r.t. the usual entrywise partial ordering, e.g., [A] = ([a ij ]) n i,j=1 = ( [a ij, a ij ] ) n i,j=1 = [A, Ā], where A = ( a ij ) n i,j=1, A = (a ij) n i,j=1. A vertex matrix of [A] is a matrix A = (a ij ) n i,j=1 with a ij {a ij, a ij }, i, j = 1,..., n. Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
27 An interval matrix [A] R n,n can be represented as [A] = [A c, A c + ] = {A : A c A A c + } (35) with A c, R n,n and symmetric, 0. We introduce an auxiliary index set Y := {z R n ; z j = 1 for j = 1, 2,... n}, with cardinality 2 n. For each z Y define the matrix A z := A c T z T z, (36) where T z is an nxn diagonal matrix with diagonal vector z. A z [A] for each z Y. The number of mutually different matrices A z is at most 2 n 1. Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
28 Test for the convexity of a polynomial p Theorem (Bialas and Garloff, 1984; Rohn, 1994) Let [A] be a square interval matrix. Then, [A] is positive semidefinite if and only if A z is positive semidefinite for each z Y. Second order convexity condition Let the function f : R n R be twice differentiable, that is, its Hessian matrix 2 f exists at each point in the domf. Then f is convex if and only if the domf is convex and its Hessian matrix is positive semidefinite for all x domf, i.e., 2 f 0. Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
29 References [1] G.T. Cargo and O. Shisha, The Bernstein Form of a Polynomial, J. Res. Nat. Bur. Standards 70(B):79 81, [2] J. Garloff, Convergent Bounds for the Range of Multivariate Polynomials, Interval Mathematics 1985, K. Nickel, Ed., Lecture Notes in Computer Science, vol. 212, Springer, Berlin, Heidelberg, New York, 37 56, [3] J. Garloff, The Bernstein Algorithm, Interval Comput. 2: , [4] P.S.V Nataraj and M. Arounassalame, A New Subdivision Algorithm for the Bernstein Polynomial Approach to Global Optimization, Int. J. Automat. Comput. 4(4): , [5] S. Ray and P.S.V. Nataraj, An Efficient Algorithm for Range Computation of Polynomials Using the Bernstein Form, J. Global Optim. 45: , [6] S. Ray and P.S.V. Nataraj, A Matrix Method for Efficient Computation of Bernstein Coefficients, Reliab. Comput. 17(1):40 71, Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
30 Thank you for your attention! Matrix Methods for the Bernstein Form and Their Application in Global Optimization June, / 26
Computation of the Bernstein Coecients on Subdivided. are computed directly from the coecients on the subdivided triangle from the
Computation of the Bernstein Coecients on Subdivided riangles Ralf Hungerbuhler Fakultat fur Mathematik und Informatik, Universitat Konstanz, Postfach 5560 D 97, D{78434 Konstanz, Germany Jurgen Garlo
More informationConvergence under Subdivision and Complexity of Polynomial Minimization in the Simplicial Bernstein Basis
Convergence under Subdivision and Complexity of Polynomial Minimization in the Simplicial Bernstein Basis Richard Leroy IRMAR, University of Rennes 1 richard.leroy@ens-cachan.org Abstract In this article,
More informationA Matrix Method for Efficient Computation of Bernstein Coefficients
A Matrix Method for Efficient Computation of Bernstein Coefficients Shashwati Ray Systems and Control Engineering Group, Room 114A, ACRE Building, Indian Institute of Technology, Bombay, India 400 076
More informationThe Essentials of CAGD
The Essentials of CAGD Chapter 4: Bézier Curves: Cubic and Beyond Gerald Farin & Dianne Hansford CRC Press, Taylor & Francis Group, An A K Peters Book www.farinhansford.com/books/essentials-cagd c 2000
More informationInvestigation of a Subdivision Based Algorithm. for Solving Systems of Polynomial Equations. University of Applied Sciences / FH Konstanz
to appear in the Proceedings of the 3rd World Congress of Nonlinear Analysts (WCNA 000), Catania, Sicily, Italy, July 9{6, 000, as a series of the Journal of Nonlinear Analysis Investigation of a Subdivision
More informationc 2009 Society for Industrial and Applied Mathematics
SIAM J MATRIX ANAL APPL Vol 30, No 4, pp 1761 1772 c 2009 Society for Industrial and Applied Mathematics INTERVAL GAUSSIAN ELIMINATION WITH PIVOT TIGHTENING JÜRGEN GARLOFF Abstract We present a method
More informationBarycentric coordinates for Lagrange interpolation over lattices on a simplex
Barycentric coordinates for Lagrange interpolation over lattices on a simplex Gašper Jaklič gasper.jaklic@fmf.uni-lj.si, Jernej Kozak jernej.kozak@fmf.uni-lj.si, Marjeta Krajnc marjetka.krajnc@fmf.uni-lj.si,
More informationPositive Semidefiniteness and Positive Definiteness of a Linear Parametric Interval Matrix
Positive Semidefiniteness and Positive Definiteness of a Linear Parametric Interval Matrix Milan Hladík Charles University, Faculty of Mathematics and Physics, Department of Applied Mathematics, Malostranské
More informationLINEAR INTERVAL INEQUALITIES
LINEAR INTERVAL INEQUALITIES Jiří Rohn, Jana Kreslová Faculty of Mathematics and Physics, Charles University Malostranské nám. 25, 11800 Prague, Czech Republic 1.6.1993 Abstract We prove that a system
More informationInverses. Stephen Boyd. EE103 Stanford University. October 28, 2017
Inverses Stephen Boyd EE103 Stanford University October 28, 2017 Outline Left and right inverses Inverse Solving linear equations Examples Pseudo-inverse Left and right inverses 2 Left inverses a number
More informationCurves, Surfaces and Segments, Patches
Curves, Surfaces and Segments, atches The University of Texas at Austin Conics: Curves and Quadrics: Surfaces Implicit form arametric form Rational Bézier Forms and Join Continuity Recursive Subdivision
More informationIntroduction - Motivation. Many phenomena (physical, chemical, biological, etc.) are model by differential equations. f f(x + h) f(x) (x) = lim
Introduction - Motivation Many phenomena (physical, chemical, biological, etc.) are model by differential equations. Recall the definition of the derivative of f(x) f f(x + h) f(x) (x) = lim. h 0 h Its
More informationENGR-1100 Introduction to Engineering Analysis. Lecture 21. Lecture outline
ENGR-1100 Introduction to Engineering Analysis Lecture 21 Lecture outline Procedure (algorithm) for finding the inverse of invertible matrix. Investigate the system of linear equation and invertibility
More informationScientific Computing WS 2017/2018. Lecture 18. Jürgen Fuhrmann Lecture 18 Slide 1
Scientific Computing WS 2017/2018 Lecture 18 Jürgen Fuhrmann juergen.fuhrmann@wias-berlin.de Lecture 18 Slide 1 Lecture 18 Slide 2 Weak formulation of homogeneous Dirichlet problem Search u H0 1 (Ω) (here,
More informationMatrix-Product-States/ Tensor-Trains
/ Tensor-Trains November 22, 2016 / Tensor-Trains 1 Matrices What Can We Do With Matrices? Tensors What Can We Do With Tensors? Diagrammatic Notation 2 Singular-Value-Decomposition 3 Curse of Dimensionality
More informationLecture 3: Semidefinite Programming
Lecture 3: Semidefinite Programming Lecture Outline Part I: Semidefinite programming, examples, canonical form, and duality Part II: Strong Duality Failure Examples Part III: Conditions for strong duality
More informationENGR-1100 Introduction to Engineering Analysis. Lecture 21
ENGR-1100 Introduction to Engineering Analysis Lecture 21 Lecture outline Procedure (algorithm) for finding the inverse of invertible matrix. Investigate the system of linear equation and invertibility
More informationarxiv: v1 [cs.na] 7 Jul 2017
AE regularity of interval matrices Milan Hladík October 4, 2018 arxiv:1707.02102v1 [cs.na] 7 Jul 2017 Abstract Consider a linear system of equations with interval coefficients, and each interval coefficient
More informationLMI MODELLING 4. CONVEX LMI MODELLING. Didier HENRION. LAAS-CNRS Toulouse, FR Czech Tech Univ Prague, CZ. Universidad de Valladolid, SP March 2009
LMI MODELLING 4. CONVEX LMI MODELLING Didier HENRION LAAS-CNRS Toulouse, FR Czech Tech Univ Prague, CZ Universidad de Valladolid, SP March 2009 Minors A minor of a matrix F is the determinant of a submatrix
More informationEE/ACM Applications of Convex Optimization in Signal Processing and Communications Lecture 17
EE/ACM 150 - Applications of Convex Optimization in Signal Processing and Communications Lecture 17 Andre Tkacenko Signal Processing Research Group Jet Propulsion Laboratory May 29, 2012 Andre Tkacenko
More informationChapter 2: Preliminaries and elements of convex analysis
Chapter 2: Preliminaries and elements of convex analysis Edoardo Amaldi DEIB Politecnico di Milano edoardo.amaldi@polimi.it Website: http://home.deib.polimi.it/amaldi/opt-14-15.shtml Academic year 2014-15
More information1 Overview. 2 A Characterization of Convex Functions. 2.1 First-order Taylor approximation. AM 221: Advanced Optimization Spring 2016
AM 221: Advanced Optimization Spring 2016 Prof. Yaron Singer Lecture 8 February 22nd 1 Overview In the previous lecture we saw characterizations of optimality in linear optimization, and we reviewed the
More informationChapter 2: Unconstrained Extrema
Chapter 2: Unconstrained Extrema Math 368 c Copyright 2012, 2013 R Clark Robinson May 22, 2013 Chapter 2: Unconstrained Extrema 1 Types of Sets Definition For p R n and r > 0, the open ball about p of
More informationINTRODUCTION TO FINITE ELEMENT METHODS
INTRODUCTION TO FINITE ELEMENT METHODS LONG CHEN Finite element methods are based on the variational formulation of partial differential equations which only need to compute the gradient of a function.
More informationCS100: DISCRETE STRUCTURES. Lecture 3 Matrices Ch 3 Pages:
CS100: DISCRETE STRUCTURES Lecture 3 Matrices Ch 3 Pages: 246-262 Matrices 2 Introduction DEFINITION 1: A matrix is a rectangular array of numbers. A matrix with m rows and n columns is called an m x n
More informationBézier Curves and Splines
CS-C3100 Computer Graphics Bézier Curves and Splines Majority of slides from Frédo Durand vectorportal.com CS-C3100 Fall 2017 Lehtinen Before We Begin Anything on your mind concerning Assignment 1? CS-C3100
More informationParallel Iterations for Cholesky and Rohn s Methods for Solving over Determined Linear Interval Systems
Research Journal of Mathematics and Statistics 2(3): 86-90, 2010 ISSN: 2040-7505 Maxwell Scientific Organization, 2010 Submitted Date: January 23, 2010 Accepted Date: February 11, 2010 Published Date:
More informationThe maximal stable set problem : Copositive programming and Semidefinite Relaxations
The maximal stable set problem : Copositive programming and Semidefinite Relaxations Kartik Krishnan Department of Mathematical Sciences Rensselaer Polytechnic Institute Troy, NY 12180 USA kartis@rpi.edu
More informationSemi-definite representibility. For fun and profit
Semi-definite representation For fun and profit March 9, 2010 Introduction Any convex quadratic constraint x T C T Cx a + b T x Can be recast as the linear matrix inequality (LMI): ( ) In Cx (Cx) T a +
More informationConstructing Sylvester-Type Resultant Matrices using the Dixon Formulation
Constructing Sylvester-Type Resultant Matrices using the Dixon Formulation Arthur Chtcherba Deepak Kapur Department of Computer Science University of New Mexico Albuquerque, NM 87131 e-mail: {artas,kapur}@csunmedu
More informationGeometric problems. Chapter Projection on a set. The distance of a point x 0 R n to a closed set C R n, in the norm, is defined as
Chapter 8 Geometric problems 8.1 Projection on a set The distance of a point x 0 R n to a closed set C R n, in the norm, is defined as dist(x 0,C) = inf{ x 0 x x C}. The infimum here is always achieved.
More informationALGEBRA: From Linear to Non-Linear. Bernd Sturmfels University of California at Berkeley
ALGEBRA: From Linear to Non-Linear Bernd Sturmfels University of California at Berkeley John von Neumann Lecture, SIAM Annual Meeting, Pittsburgh, July 13, 2010 Undergraduate Linear Algebra All undergraduate
More information1 Multiply Eq. E i by λ 0: (λe i ) (E i ) 2 Multiply Eq. E j by λ and add to Eq. E i : (E i + λe j ) (E i )
Direct Methods for Linear Systems Chapter Direct Methods for Solving Linear Systems Per-Olof Persson persson@berkeleyedu Department of Mathematics University of California, Berkeley Math 18A Numerical
More informationCourse Notes for EE227C (Spring 2018): Convex Optimization and Approximation
Course Notes for EE7C (Spring 018): Convex Optimization and Approximation Instructor: Moritz Hardt Email: hardt+ee7c@berkeley.edu Graduate Instructor: Max Simchowitz Email: msimchow+ee7c@berkeley.edu February
More informationCHAPTER 2: CONVEX SETS AND CONCAVE FUNCTIONS. W. Erwin Diewert January 31, 2008.
1 ECONOMICS 594: LECTURE NOTES CHAPTER 2: CONVEX SETS AND CONCAVE FUNCTIONS W. Erwin Diewert January 31, 2008. 1. Introduction Many economic problems have the following structure: (i) a linear function
More informationPhys 201. Matrices and Determinants
Phys 201 Matrices and Determinants 1 1.1 Matrices 1.2 Operations of matrices 1.3 Types of matrices 1.4 Properties of matrices 1.5 Determinants 1.6 Inverse of a 3 3 matrix 2 1.1 Matrices A 2 3 7 =! " 1
More informationLecture 15 Newton Method and Self-Concordance. October 23, 2008
Newton Method and Self-Concordance October 23, 2008 Outline Lecture 15 Self-concordance Notion Self-concordant Functions Operations Preserving Self-concordance Properties of Self-concordant Functions Implications
More information2016 EF Exam Texas A&M High School Students Contest Solutions October 22, 2016
6 EF Exam Texas A&M High School Students Contest Solutions October, 6. Assume that p and q are real numbers such that the polynomial x + is divisible by x + px + q. Find q. p Answer Solution (without knowledge
More informationLecture 3. Optimization Problems and Iterative Algorithms
Lecture 3 Optimization Problems and Iterative Algorithms January 13, 2016 This material was jointly developed with Angelia Nedić at UIUC for IE 598ns Outline Special Functions: Linear, Quadratic, Convex
More informationLecture Note 5: Semidefinite Programming for Stability Analysis
ECE7850: Hybrid Systems:Theory and Applications Lecture Note 5: Semidefinite Programming for Stability Analysis Wei Zhang Assistant Professor Department of Electrical and Computer Engineering Ohio State
More informationLecture 8. Strong Duality Results. September 22, 2008
Strong Duality Results September 22, 2008 Outline Lecture 8 Slater Condition and its Variations Convex Objective with Linear Inequality Constraints Quadratic Objective over Quadratic Constraints Representation
More informationLECTURE 3 LECTURE OUTLINE
LECTURE 3 LECTURE OUTLINE Differentiable Conve Functions Conve and A ne Hulls Caratheodory s Theorem Reading: Sections 1.1, 1.2 All figures are courtesy of Athena Scientific, and are used with permission.
More informationMaximization of a Strongly Unimodal Multivariate Discrete Distribution
R u t c o r Research R e p o r t Maximization of a Strongly Unimodal Multivariate Discrete Distribution Mine Subasi a Ersoy Subasi b András Prékopa c RRR 12-2009, July 2009 RUTCOR Rutgers Center for Operations
More informationCOURSE ON LMI PART I.2 GEOMETRY OF LMI SETS. Didier HENRION henrion
COURSE ON LMI PART I.2 GEOMETRY OF LMI SETS Didier HENRION www.laas.fr/ henrion October 2006 Geometry of LMI sets Given symmetric matrices F i we want to characterize the shape in R n of the LMI set F
More informationInstitute of Computer Science. Compact Form of the Hansen-Bliek-Rohn Enclosure
Institute of Computer Science Academy of Sciences of the Czech Republic Compact Form of the Hansen-Bliek-Rohn Enclosure Jiří Rohn http://uivtx.cs.cas.cz/~rohn Technical report No. V-1157 24.03.2012 Pod
More informationSemidefinite Programming
Semidefinite Programming Basics and SOS Fernando Mário de Oliveira Filho Campos do Jordão, 2 November 23 Available at: www.ime.usp.br/~fmario under talks Conic programming V is a real vector space h, i
More informationInverse interval matrix: A survey
Electronic Journal of Linear Algebra Volume 22 Volume 22 (2011) Article 46 2011 Inverse interval matrix: A survey Jiri Rohn Raena Farhadsefat Follow this and additional works at: http://repository.uwyo.edu/ela
More informationx y = x + y. For example, the tropical sum 4 9 = 4, and the tropical product 4 9 = 13.
Comment: Version 0.1 1 Introduction Tropical geometry is a relatively new area in mathematics. Loosely described, it is a piece-wise linear version of algebraic geometry, over a particular structure known
More informationQuantum Computing Lecture 2. Review of Linear Algebra
Quantum Computing Lecture 2 Review of Linear Algebra Maris Ozols Linear algebra States of a quantum system form a vector space and their transformations are described by linear operators Vector spaces
More informationComputing roots of polynomials by quadratic clipping
Computing roots of polynomials by quadratic clipping Michael Bartoň, Bert Jüttler SFB F013, Project 15 Johann Radon Institute for Computational and Applied Mathematics, Linz, Austria e-mail: Michael.Barton@oeaw.ac.at
More informationDS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.
DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1
More informationLecture 9 Monotone VIs/CPs Properties of cones and some existence results. October 6, 2008
Lecture 9 Monotone VIs/CPs Properties of cones and some existence results October 6, 2008 Outline Properties of cones Existence results for monotone CPs/VIs Polyhedrality of solution sets Game theory:
More informationMatrices: 2.1 Operations with Matrices
Goals In this chapter and section we study matrix operations: Define matrix addition Define multiplication of matrix by a scalar, to be called scalar multiplication. Define multiplication of two matrices,
More informationAppendix PRELIMINARIES 1. THEOREMS OF ALTERNATIVES FOR SYSTEMS OF LINEAR CONSTRAINTS
Appendix PRELIMINARIES 1. THEOREMS OF ALTERNATIVES FOR SYSTEMS OF LINEAR CONSTRAINTS Here we consider systems of linear constraints, consisting of equations or inequalities or both. A feasible solution
More informationScientific Computing WS 2018/2019. Lecture 15. Jürgen Fuhrmann Lecture 15 Slide 1
Scientific Computing WS 2018/2019 Lecture 15 Jürgen Fuhrmann juergen.fuhrmann@wias-berlin.de Lecture 15 Slide 1 Lecture 15 Slide 2 Problems with strong formulation Writing the PDE with divergence and gradient
More informationCSE 167: Lecture 11: Bézier Curves. Jürgen P. Schulze, Ph.D. University of California, San Diego Fall Quarter 2012
CSE 167: Introduction to Computer Graphics Lecture 11: Bézier Curves Jürgen P. Schulze, Ph.D. University of California, San Diego Fall Quarter 2012 Announcements Homework project #5 due Nov. 9 th at 1:30pm
More informationCoercive polynomials and their Newton polytopes
Coercive polynomials and their Newton polytopes Tomáš Bajbar Oliver Stein # August 1, 2014 Abstract Many interesting properties of polynomials are closely related to the geometry of their Newton polytopes.
More informationMatrices and Vectors
Matrices and Vectors James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University November 11, 2013 Outline 1 Matrices and Vectors 2 Vector Details 3 Matrix
More informationDETECTION OF FXM ARBITRAGE AND ITS SENSITIVITY
DETECTION OF FXM ARBITRAGE AND ITS SENSITIVITY SFI FINANCIAL ALGEBRA PROJECT AT UCC: BH, AM & EO S 1. Definitions and basics In this working paper we have n currencies, labeled 1 through n inclusive and
More informationMichał Góra CONVEX COMPACT FAMILY OF POLYNOMIALS AND ITS STABILITY
Opuscula Mathematica Vol. 25 No. 2 2005 Michał Góra CONVEX COMPACT FAMILY OF POLYNOMIALS AND ITS STABILITY Abstract. Let P be a set of real polynomials of degree n. SetP can be identified with some subset
More informationNotes on Cellwise Data Interpolation for Visualization Xavier Tricoche
Notes on Cellwise Data Interpolation for Visualization Xavier Tricoche urdue University While the data (computed or measured) used in visualization is only available in discrete form, it typically corresponds
More informationThe Derivative. Appendix B. B.1 The Derivative of f. Mappings from IR to IR
Appendix B The Derivative B.1 The Derivative of f In this chapter, we give a short summary of the derivative. Specifically, we want to compare/contrast how the derivative appears for functions whose domain
More informationNumerical Optimization
Linear Programming Computer Science and Automation Indian Institute of Science Bangalore 560 012, India. NPTEL Course on min x s.t. Transportation Problem ij c ijx ij 3 j=1 x ij a i, i = 1, 2 2 i=1 x ij
More informationExercises: Brunn, Minkowski and convex pie
Lecture 1 Exercises: Brunn, Minkowski and convex pie Consider the following problem: 1.1 Playing a convex pie Consider the following game with two players - you and me. I am cooking a pie, which should
More informationSemidefinite Programming
Semidefinite Programming Notes by Bernd Sturmfels for the lecture on June 26, 208, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra The transition from linear algebra to nonlinear algebra has
More informationarxiv: v1 [math.na] 28 Jun 2013
A New Operator and Method for Solving Interval Linear Equations Milan Hladík July 1, 2013 arxiv:13066739v1 [mathna] 28 Jun 2013 Abstract We deal with interval linear systems of equations We present a new
More informationJordan normal form notes (version date: 11/21/07)
Jordan normal form notes (version date: /2/7) If A has an eigenbasis {u,, u n }, ie a basis made up of eigenvectors, so that Au j = λ j u j, then A is diagonal with respect to that basis To see this, let
More informationLinear precision for parametric patches Special session on Applications of Algebraic Geometry AMS meeting in Vancouver, 4 October 2008
Linear precision for parametric patches Special session on Applications of Algebraic Geometry AMS meeting in Vancouver, 4 October 2008 Frank Sottile sottile@math.tamu.edu 1 Overview (With L. Garcia, K.
More informationAn Improved Taylor-Bernstein Form for Higher Order Convergence
An Improved Taylor-Bernstein Form for Higher Order Convergence P. S. V. Nataraj, IIT Bombay Talk at the Mini-workshop on Taylor Model Methods and Applications Miami, Florida, USA. Dec. 16th - 20th, 2002
More informationLecture 23: Hermite and Bezier Curves
Lecture 23: Hermite and Bezier Curves November 16, 2017 11/16/17 CSU CS410 Fall 2017, Ross Beveridge & Bruce Draper 1 Representing Curved Objects So far we ve seen Polygonal objects (triangles) and Spheres
More informationApproximation Algorithms
Approximation Algorithms Chapter 26 Semidefinite Programming Zacharias Pitouras 1 Introduction LP place a good lower bound on OPT for NP-hard problems Are there other ways of doing this? Vector programs
More informationCO 250 Final Exam Guide
Spring 2017 CO 250 Final Exam Guide TABLE OF CONTENTS richardwu.ca CO 250 Final Exam Guide Introduction to Optimization Kanstantsin Pashkovich Spring 2017 University of Waterloo Last Revision: March 4,
More informationb jσ(j), Keywords: Decomposable numerical range, principal character AMS Subject Classification: 15A60
On the Hu-Hurley-Tam Conjecture Concerning The Generalized Numerical Range Che-Man Cheng Faculty of Science and Technology, University of Macau, Macau. E-mail: fstcmc@umac.mo and Chi-Kwong Li Department
More informationSUMSETS AND THE CONVEX HULL MÁTÉ MATOLCSI AND IMRE Z. RUZSA
SUMSETS AND THE CONVEX HULL MÁTÉ MATOLCSI AND IMRE Z RUZSA Abstract We extend Freiman s inequality on the cardinality of the sumset of a d dimensional set We consider different sets related by an inclusion
More informationChapter 1: Systems of linear equations and matrices. Section 1.1: Introduction to systems of linear equations
Chapter 1: Systems of linear equations and matrices Section 1.1: Introduction to systems of linear equations Definition: A linear equation in n variables can be expressed in the form a 1 x 1 + a 2 x 2
More informationVectors and Matrices
Vectors and Matrices Scalars We often employ a single number to represent quantities that we use in our daily lives such as weight, height etc. The magnitude of this number depends on our age and whether
More informationConvex Functions. Pontus Giselsson
Convex Functions Pontus Giselsson 1 Today s lecture lower semicontinuity, closure, convex hull convexity preserving operations precomposition with affine mapping infimal convolution image function supremum
More informationLinear Algebra I Lecture 8
Linear Algebra I Lecture 8 Xi Chen 1 1 University of Alberta January 25, 2019 Outline 1 2 Gauss-Jordan Elimination Given a system of linear equations f 1 (x 1, x 2,..., x n ) = 0 f 2 (x 1, x 2,..., x n
More informationREGULAR-SS12: The Bernstein branch-and-prune algorithm for constrained global optimization of multivariate polynomial MINLPs
1 2 3 4 REGULAR-SS12: The Bernstein branch-and-prune algorithm for constrained global optimization of multivariate polynomial MINLPs 5 6 7 8 Bhagyesh V. Patil Cambridge Centre for Advanced Research in
More informationChapter 2 - Basics Structures MATH 213. Chapter 2: Basic Structures. Dr. Eric Bancroft. Fall Dr. Eric Bancroft MATH 213 Fall / 60
MATH 213 Chapter 2: Basic Structures Dr. Eric Bancroft Fall 2013 Dr. Eric Bancroft MATH 213 Fall 2013 1 / 60 Chapter 2 - Basics Structures 2.1 - Sets 2.2 - Set Operations 2.3 - Functions 2.4 - Sequences
More informationMonomial transformations of the projective space
Monomial transformations of the projective space Olivier Debarre and Bodo Lass Abstract We prove that, over any field, the dimension of the indeterminacy locus of a rational map f : P n P n defined by
More informationPreliminaries Overview OPF and Extensions. Convex Optimization. Lecture 8 - Applications in Smart Grids. Instructor: Yuanzhang Xiao
Convex Optimization Lecture 8 - Applications in Smart Grids Instructor: Yuanzhang Xiao University of Hawaii at Manoa Fall 2017 1 / 32 Today s Lecture 1 Generalized Inequalities and Semidefinite Programming
More informationLecture Unconstrained optimization. In this lecture we will study the unconstrained problem. minimize f(x), (2.1)
Lecture 2 In this lecture we will study the unconstrained problem minimize f(x), (2.1) where x R n. Optimality conditions aim to identify properties that potential minimizers need to satisfy in relation
More informationMATRICES. a m,1 a m,n A =
MATRICES Matrices are rectangular arrays of real or complex numbers With them, we define arithmetic operations that are generalizations of those for real and complex numbers The general form a matrix of
More informationSolution Methods. Richard Lusby. Department of Management Engineering Technical University of Denmark
Solution Methods Richard Lusby Department of Management Engineering Technical University of Denmark Lecture Overview (jg Unconstrained Several Variables Quadratic Programming Separable Programming SUMT
More informationR u t c o r Research R e p o r t. Empirical Analysis of Polynomial Bases on the Numerical Solution of the Multivariate Discrete Moment Problem
R u t c o r Research R e p o r t Empirical Analysis of Polynomial Bases on the Numerical Solution of the Multivariate Discrete Moment Problem Gergely Mádi-Nagy a RRR 8-2010, April, 2010 RUTCOR Rutgers
More informationPart IB Optimisation
Part IB Optimisation Theorems Based on lectures by F. A. Fischer Notes taken by Dexter Chua Easter 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More informationChapter 2 - Basics Structures
Chapter 2 - Basics Structures 2.1 - Sets Definitions and Notation Definition 1 (Set). A set is an of. These are called the or of the set. We ll typically use uppercase letters to denote sets: S, A, B,...
More informationInequality Constraints
Chapter 2 Inequality Constraints 2.1 Optimality Conditions Early in multivariate calculus we learn the significance of differentiability in finding minimizers. In this section we begin our study of the
More information1 Positive definiteness and semidefiniteness
Positive definiteness and semidefiniteness Zdeněk Dvořák May 9, 205 For integers a, b, and c, let D(a, b, c) be the diagonal matrix with + for i =,..., a, D i,i = for i = a +,..., a + b,. 0 for i = a +
More information1 Review: symmetric matrices, their eigenvalues and eigenvectors
Cornell University, Fall 2012 Lecture notes on spectral methods in algorithm design CS 6820: Algorithms Studying the eigenvalues and eigenvectors of matrices has powerful consequences for at least three
More informationOn Nesterov s Random Coordinate Descent Algorithms - Continued
On Nesterov s Random Coordinate Descent Algorithms - Continued Zheng Xu University of Texas At Arlington February 20, 2015 1 Revisit Random Coordinate Descent The Random Coordinate Descent Upper and Lower
More informationA Complete Analysis of Resultants and Extraneous Factors for Unmixed Bivariate Polynomial Systems using the Dixon formulation
A Complete Analysis of Resultants and Extraneous Factors for Unmixed Bivariate Polynomial Systems using the Dixon formulation Arthur Chtcherba Deepak Kapur Department of Computer Science University of
More informationLECTURE 12 LECTURE OUTLINE. Subgradients Fenchel inequality Sensitivity in constrained optimization Subdifferential calculus Optimality conditions
LECTURE 12 LECTURE OUTLINE Subgradients Fenchel inequality Sensitivity in constrained optimization Subdifferential calculus Optimality conditions Reading: Section 5.4 All figures are courtesy of Athena
More informationCMSC427 Parametric curves: Hermite, Catmull-Rom, Bezier
CMSC427 Parametric curves: Hermite, Catmull-Rom, Bezier Modeling Creating 3D objects How to construct complicated surfaces? Goal Specify objects with few control points Resulting object should be visually
More informationResultants for Unmixed Bivariate Polynomial Systems using the Dixon formulation
Resultants for Unmixed Bivariate Polynomial Systems using the Dixon formulation Arthur Chtcherba Deepak Kapur Department of Computer Science University of New Mexico Albuquerque, NM 87131 e-mail: artas,kapur}@cs.unm.edu
More informationMath 341: Convex Geometry. Xi Chen
Math 341: Convex Geometry Xi Chen 479 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca CHAPTER 1 Basics 1. Euclidean Geometry
More informationChapter 13. Convex and Concave. Josef Leydold Mathematical Methods WS 2018/19 13 Convex and Concave 1 / 44
Chapter 13 Convex and Concave Josef Leydold Mathematical Methods WS 2018/19 13 Convex and Concave 1 / 44 Monotone Function Function f is called monotonically increasing, if x 1 x 2 f (x 1 ) f (x 2 ) It
More informationInteger programming: an introduction. Alessandro Astolfi
Integer programming: an introduction Alessandro Astolfi Outline Introduction Examples Methods for solving ILP Optimization on graphs LP problems with integer solutions Summary Introduction Integer programming
More informationGEORGIA INSTITUTE OF TECHNOLOGY H. MILTON STEWART SCHOOL OF INDUSTRIAL AND SYSTEMS ENGINEERING LECTURE NOTES OPTIMIZATION III
GEORGIA INSTITUTE OF TECHNOLOGY H. MILTON STEWART SCHOOL OF INDUSTRIAL AND SYSTEMS ENGINEERING LECTURE NOTES OPTIMIZATION III CONVEX ANALYSIS NONLINEAR PROGRAMMING THEORY NONLINEAR PROGRAMMING ALGORITHMS
More information