CSE 245: Computer Aided Circuit Simulation and Verification

Slides:



Advertisements
Similar presentations
CSE 245: Computer Aided Circuit Simulation and Verification Matrix Computations: Iterative Methods (II) Chung-Kuan Cheng.
Advertisements

CSE 245: Computer Aided Circuit Simulation and Verification
Optimization.
B.Macukow 1 Lecture 12 Neural Networks. B.Macukow 2 Neural Networks for Matrix Algebra Problems.
Least Squares example There are 3 mountains u,y,z that from one site have been measured as 2474 ft., 3882 ft., and 4834 ft.. But from u, y looks 1422 ft.
Network Systems Lab. Korea Advanced Institute of Science and Technology No.1 Some useful Contraction Mappings  Results for a particular choice of norms.
MATH 685/ CSI 700/ OR 682 Lecture Notes
Linear Systems of Equations
Iterative Methods and QR Factorization Lecture 5 Alessandra Nardi Thanks to Prof. Jacob White, Suvranu De, Deepak Ramaswamy, Michal Rewienski, and Karen.
Steepest Decent and Conjugate Gradients (CG). Solving of the linear equation system.
Modern iterative methods For basic iterative methods, converge linearly Modern iterative methods, converge faster –Krylov subspace method Steepest descent.
Jonathan Richard Shewchuk Reading Group Presention By David Cline
1cs542g-term Notes  Extra class this Friday 1-2pm  If you want to receive s about the course (and are auditing) send me .
Tutorial 10 Iterative Methods and Matrix Norms. 2 In an iterative process, the k+1 step is defined via: Iterative processes Eigenvector decomposition.
Monica Garika Chandana Guduru. METHODS TO SOLVE LINEAR SYSTEMS Direct methods Gaussian elimination method LU method for factorization Simplex method of.
ECE 552 Numerical Circuit Analysis Chapter Five RELAXATION OR ITERATIVE TECHNIQUES FOR THE SOLUTION OF LINEAR EQUATIONS Copyright © I. Hajj 2012 All rights.
Iterative Methods for Solving Linear Systems of Equations ( part of the course given for the 2 nd grade at BGU, ME )
9 1 Performance Optimization. 9 2 Basic Optimization Algorithm p k - Search Direction  k - Learning Rate or.
ECE 530 – Analysis Techniques for Large-Scale Electrical Systems Prof. Hao Zhu Dept. of Electrical and Computer Engineering University of Illinois at Urbana-Champaign.
Numerical Analysis 1 EE, NCKU Tien-Hao Chang (Darby Chang)
Computational Optimization
Systems of Linear Equations Iterative Methods
Eigenvalue Problems Solving linear systems Ax = b is one part of numerical linear algebra, and involves manipulating the rows of a matrix. The second main.
Linear Algebra and Complexity Chris Dickson CAS Advanced Topics in Combinatorial Optimization McMaster University, January 23, 2006.
Advanced Computer Graphics Spring 2014 K. H. Ko School of Mechatronics Gwangju Institute of Science and Technology.
Solving Scalar Linear Systems Iterative approach Lecture 15 MA/CS 471 Fall 2003.
Algorithms for a large sparse nonlinear eigenvalue problem Yusaku Yamamoto Dept. of Computational Science & Engineering Nagoya University.
1 Iterative Solution Methods Starts with an initial approximation for the solution vector (x 0 ) At each iteration updates the x vector by using the sytem.
Scientific Computing Partial Differential Equations Poisson Equation.
Nonlinear programming Unconstrained optimization techniques.
1 Unconstrained Optimization Objective: Find minimum of F(X) where X is a vector of design variables We may know lower and upper bounds for optimum No.
Linear Systems Iterative Solutions CSE 541 Roger Crawfis.
Scientific Computing Partial Differential Equations Implicit Solution of Heat Equation.
1 Optimization Multi-Dimensional Unconstrained Optimization Part II: Gradient Methods.
 6.2 Pivoting Strategies 1/17 Chapter 6 Direct Methods for Solving Linear Systems -- Pivoting Strategies Example: Solve the linear system using 4-digit.
CSE 245: Computer Aided Circuit Simulation and Verification Matrix Computations: Iterative Methods I Chung-Kuan Cheng.
Linear Systems – Iterative methods
Case Study in Computational Science & Engineering - Lecture 5 1 Iterative Solution of Linear Systems Jacobi Method while not converged do { }
Chapter 10 Minimization or Maximization of Functions.
CHAPTER 10 Widrow-Hoff Learning Ming-Feng Yeh.
Al Parker January 18, 2009 Accelerating Gibbs sampling of Gaussians using matrix decompositions.
Signal & Weight Vector Spaces
1 Chapter 7 Numerical Methods for the Solution of Systems of Equations.
Chapter 2-OPTIMIZATION G.Anuradha. Contents Derivative-based Optimization –Descent Methods –The Method of Steepest Descent –Classical Newton’s Method.
Direct and Iterative Methods for Sparse Linear Systems
Krylov-Subspace Methods - I Lecture 6 Alessandra Nardi Thanks to Prof. Jacob White, Deepak Ramaswamy, Michal Rewienski, and Karen Veroy.
Solving Scalar Linear Systems A Little Theory For Jacobi Iteration
9 Nov B - Introduction to Scientific Computing1 Sparse Systems and Iterative Methods Paul Heckbert Computer Science Department Carnegie Mellon.
Network Systems Lab. Korea Advanced Institute of Science and Technology No.1 Maximum Norms & Nonnegative Matrices  Weighted maximum norm e.g.) x1x1 x2x2.
ECE 530 – Analysis Techniques for Large-Scale Electrical Systems
Krylov-Subspace Methods - II Lecture 7 Alessandra Nardi Thanks to Prof. Jacob White, Deepak Ramaswamy, Michal Rewienski, and Karen Veroy.
Matrices CHAPTER 8.9 ~ Ch _2 Contents  8.9 Power of Matrices 8.9 Power of Matrices  8.10 Orthogonal Matrices 8.10 Orthogonal Matrices 
Iterative Solution Methods
Krylov-Subspace Methods - I
Solving Linear Systems Ax=b
Computational Optimization
CSE 245: Computer Aided Circuit Simulation and Verification
CSE 245: Computer Aided Circuit Simulation and Verification
CSE 245: Computer Aided Circuit Simulation and Verification
Conjugate Gradient Method
Scientific Computing Partial Differential Equations Implicit Solution of Heat Equation.
CS5321 Numerical Optimization
Optimization Part II G.Anuradha.
Introduction to Scientific Computing II
Introduction to Scientific Computing II
Introduction to Scientific Computing II
~ Least Squares example
Numerical Linear Algebra
~ Least Squares example
Performance Optimization
Presentation transcript:

CSE 245: Computer Aided Circuit Simulation and Verification Matrix Computations: Iterative Methods I Chung-Kuan Cheng

Outline Introduction Direct Methods Iterative Methods Formulations Projection Methods Krylov Space Methods Preconditioned Iterations Multigrid Methods Domain Decomposition Methods

Introduction Iterative Methods Direct Method LU Decomposition Domain Decomposition General and Robust but can be complicated if N>= 1M Preconditioning Conjugate Gradient GMRES Jacobi Gauss-Seidel Multigrid Excellent choice for SPD matrices Remain an art for arbitrary matrices

Introduction: Matrix Condition Given Ax=b, the error |∆x|/|x| of the solution x is in proportion to the error of A and b by a factor of the matrix condition. Derivation: With errors, we have (A+∆A)(x+∆x)=b+∆b Thus, we can derive ∆x=(A+∆A)-1(∆b-∆Ax) Or |∆x|/|x| ≤ (A+∆A)-1(∆b-∆Ax)/|x| ≤|(A+∆A)-1|(|∆b|/|x|+|∆Ax|/|x|) ≤|A||(A+∆A)-1|(|∆b|/|b|+|∆A|/|A|) ≈|A||A-1|(|∆b|/|b|+|∆A|/|A|) We define the matrix condition as K(A)=|A||A-1|, i.e. |∆x|/|x|≤K(A)(|∆b|/|b|+|∆A|/|A|)

Introduction: Matrix norm  

Introduction: Scaling  

Introduction: Gershgorin Circle Theorem  

Gershgorin Circle Theorem: Example 2 0.1 0.2 0.3 3 4 5

Iterative Methods Stationary: x(k+1) =Gx(k)+c where G and c do not depend on iteration count (k) Non Stationary: x(k+1) =x(k)+akp(k) where computation involves information that change at each iteration

Stationary: Jacobi Method In the i-th equation solve for the value of xi while assuming the other entries of x remain fixed: In matrix terms the method becomes: where D, -L and -U represent the diagonal, the strictly lower-trg and strictly upper-trg parts of M M=D-L-U

Stationary-Gause-Seidel Like Jacobi, but now assume that previously computed results are used as soon as they are available: In matrix terms the method becomes: where D, -L and -U represent the diagonal, the strictly lower-trg and strictly upper-trg parts of M M=D-L-U

Stationary: Successive Overrelaxation (SOR) Devised by extrapolation applied to Gauss-Seidel in the form of weighted average: In matrix terms the method becomes: where D, -L and -U represent the diagonal, the strictly lower-trg and strictly upper-trg parts of M M=D-L-U

SOR Choose w to accelerate the convergence W =1 : Jacobi / Gauss-Seidel 2>W>1: Over-Relaxation W < 1: Under-Relaxation

Convergence of Stationary Method Linear Equation: MX=b A sufficient condition for convergence of the solution(GS,Jacob) is that the matrix M is diagonally dominant. mii ≥ ∑j!=i |mij| If M is symmetric positive definite, SOR converges for any w (0<w<2) A necessary and sufficient condition for the convergence is the magnitude of the largest eigenvalue of the matrix G is smaller than 1 Jacobi: Gauss-Seidel SOR:

Convergence of Gauss-Seidel Eigenvalues of G=(D-L)-1LT is inside a unit circle Proof: G1=D1/2GD-1/2=(I-L1)-1L1T, L1=D-1/2LD-1/2 Let G1x=rx we have L1Tx=r(I-L1)x xL1Tx=r(1-xTL1x) y=r(1-y) r= y/(1-y), |r|<= 1 iff Re(y) <= ½. Since A=D-L-LT is PD, D-1/2AD-1/2 is PD, 1-2xTL1x >= 0 or 1-2y>= 0, i.e. y<= ½.

Linear Equation: an optimization problem Quadratic function of vector x Matrix A is positive-definite, if for any nonzero vector x If A is symmetric, positive-definite, f(x) is minimized by the solution

Linear Equation: an optimization problem Quadratic function Derivative If A is symmetric If A is positive-definite is minimized by setting to 0

For symmetric positive definite matrix A

Gradient of quadratic form The points in the direction of steepest increase of f(x)

Symmetric Positive-Definite Matrix A If A is symmetric positive definite P is the arbitrary point X is the solution point since We have, If p != x

If A is not positive definite Positive definite matrix b) negative-definite matrix c) Singular matrix d) positive indefinite matrix

Non-stationary Iterative Method State from initial guess x0, adjust it until close enough to the exact solution How to choose direction and step size? i=0,1,2,3,…… Adjustment Direction Step Size

Steepest Descent Method (1) Choose the direction in which f decrease most quickly: the direction opposite of Which is also the direction of residue

Steepest Descent Method (2) How to choose step size ? Line Search should minimize f, along the direction of , which means Orthogonal

Steepest Descent Algorithm Given x0, iterate until residue is smaller than error tolerance

Steepest Descent Method: example Starting at (-2,-2) take the direction of steepest descent of f b) Find the point on the intersec- tion of these two surfaces that minimize f c) Intersection of surfaces. d) The gradient at the bottommost point is orthogonal to the gradient of the previous step

Iterations of Steepest Descent Method

Convergence of Steepest Descent-1 Let e=x*-x, f(x)=f(x*)+1/2 eTAe Note that Ae=b-Ax=r Eigenvector: EigenValue: j=1,2,…,n Energy norm:

Convergence of Steepest Descent-2

Convergence Study (n=2) assume let Spectral condition number let

Plot of w

Case Study

Bound of Convergence It can be proved that it is also valid for n>2, where