1 Lecture notes Classication. Denition 1. Let z be a set function on the nite set V i.e. z : 2 V R, then z is submodular if

Size: px
Start display at page:

Download "1 Lecture notes Classication. Denition 1. Let z be a set function on the nite set V i.e. z : 2 V R, then z is submodular if"

Transcription

1 Lecture notes 3 Denition. Let z be a set function on the nite set V i.e z : 2 V R, then z is submodular if z A) + z B) z A B) + z A B) A, B V. Denition 2. If z is submodular then z is supermodular. Denition 3. z is modular if z is both submodular and supermodular that is z A) + z B) = z A B) + z A B). The modular functions can be characterized as z A) = z ) + z {a}) ) a A. Classication Denition 4. z is a monotone function if z A) z B) whenever A B. Denition 5. z is a symmetric function if z A) = z V \A) A V. Denition 6. ρ j S) = z S {j}) z S). Theorem 7. The following things are equivalent i) z is a submodular function. ii) ρ j S) ρ j T ) S T V, j V \T. iii) ρ j S) ρ j S {k}) S V, j V \S {k}.

2 Proof. i) ii)) Take S T, j / T, A = S {j} and B = T. And insert into dention of submodular function z S {j}) + z T ) z T {j}) + z S) z S {j}) z S) z T {j}) z T ) ρ j S) ρ j T ). i) ii)) Let A\B = {j i,..., j r } Start with ρ j A B {j i,..., j r }) ρ j B {j i,..., j r }) Summing allr inequalities, using telescopic sum this becomes ii) iii)) Obvious. ii) iii)) Left as exercise. z A) z A B) z A B) z B) Example 8. Let V be the set of columns of matrix M. For A V, let r A) be the rank function then r is submodular. Example 9 Cut functions). Let G V, E) be a directed graph where V are the vertices and E the edges. Dene also a weight function w e) e E. Denition 0. The cut is dened asδ T A) = {e = i, j) E i A, j / A} Denition. The global cut function z A) = w δ T A) ) = w e) e δ T A) Denition 2. Given s, t V such that s t. Dene V st = V \ {s, t}. The s t cut function is z st : 2 Vst R such that z st A) = z A {s}) A V st. Lemma 3. If all weights w 0 then these cut functions z and z st are submodular. 2

3 Proof. In Figure each arrow w i indicate the sum of all edges going out from the region into another region. From this we get z A) + w + w 2 + w 4 + w 6 z B) = w 2 + w 3 + w 5 + w 7 z A B) = w 2 + w 6 + w 7 z A B) = w + w 2 + w 3. Using all this we get z A) + z B) z A B) z A B) = w 4 + w 5 > 0 Figure : The w i arrows indicate the sum of all edges..2 Operations If z A) is submodular then z V \A) is too. z and z 2 submodular then z + z 2 is submodular. Neither min z, z 2 ) nor maxz, z 2 ) is submodular in general when z, z 2 is submodular. Proposition 4. Let z and z 2 be submodular such that z z 2 is monotone. Then min z, z 2 ) is submodular. Proof. Exercise..3 Pseudo-boolean functions Let f : B n R be a pseudo-boolean function and associate with it z : 2 V R. Denition 5. Characteristic vector B n for S V is dened by { S if j S j = 0 otherwise. 3

4 z S) = f ) S j, and hence z A B) = f A B) = f A B), z A B) = f A B) = f A B), where is elementwise min and is elementwise max. Example 6. z is submodular if and only if f is ane. Example 7. f : B 2 R is submodular if and only if f, 0) + f 0, ) f 0, 0) + f, ). Notation: f 2 x i x j means ordinary derivative as for, e.g, polynomials. Theorem 8. The following things are equivalent i) f is a submodular function ii) f 2 x i x j 0 x B n iii) Any restriction of f to 2 variables f ij x i, x j ) is submodular. Proof. We show that i) ii) V = {,..., n}. Let S V, i, j / S and i j. Dene f x) = x i x j ϕ ij x) + x i ψ i x) + x j ψ j x) + ψ 0 x) 2) where ϕ ij, ψ i, ψ j, ψ 0 are independent of x i, x j. ρ i s) ρ j S {i}) = z S {i}) z S) z S {i, j}) z S {i})) = ψ i S ) + ψ 0 S ) ψ 0 S ) ϕ ij S ) + ψ i S ) + ψ j S ) + ψ 0 S ) ψ j S ) ψ 0 ) ) = So ϕ ij S ) 0 and for ) we have ii) iii) left as exercise. f 2 x i x j = ϕ ij. ϕ ij S ) 0 4

5 Corollary 9. A quadratic pseudo boolean function is submodular if and only if it can be written in the form f x,..., x n ) = a 0 + n a i x i i= i<j n where a ij 0 i, j. Or, equivalently, as a posiform a ij x i x j φ = a 0 + u a u u + a ij x i x j. Remark 20. x i x j is not submodular but ȳ i = x i, gives ȳ i x j = y i x j + y i whic is submodular..4 Cubic functions A cubic pseudo boolean function can be written uniquely as L + a ij x i x j + a ijk u i u j u k 3) such that i<j n i<j<k n. L is a linear posiform contaning only one of x i and x i ). 2. For each i, j, k either u i u j u k = x i x j x k or u i u j u k = x i x j x k. 3. a ijk < 0 i, j, k 4. a ij may be negative or positive. Theorem 2. The cubic canonical form 3) is submodular if and only if a ij 0 i, j. Proof. ) Fix two indicies i, j. We now show that any restriction of 3) L + a ij x i x j + b ij x i x j + c ij x i x j to i, j. is submodular. b ij and c ij will be sums of a ijk and hence negative. Furthermre, x i x j = x i x j + linear term. by Collorary 9) the restriction is submodular. Since this holds for any restriction, we can use8 to conclude that 3) is submodular. ) Consider two indices i, j we want to show a ij 0. Look at the following restriction if a ijk x i x j x k then x k = 0 if a ijk x i x j x k then x k =, by this construction all a ijk terms vanishes so 3) becomes L + a ij x i x j a ij 0. 5

6 .5 Graph representation of cubics x i x j x k = min y B x i + x j + x k ) y = = min y x i + x j + x k ) y + ȳ. Replace each a ijk x i x j x k with a ijk > 0 by x i + x j + x k ) y + ȳ. Similary replace a ijk x i x j x k with a ijk x i ȳ + x j ȳ + x k ȳ + y). 6

Lesson 5: The Graph of the Equation y = f(x)

Lesson 5: The Graph of the Equation y = f(x) Lesson 5: The Graph of the Equation y = f(x) Learning targets: I can identify when a function is increasing, decreasing, positive and negative and use interval notation to describe intervals where the

More information

CS599: Convex and Combinatorial Optimization Fall 2013 Lecture 24: Introduction to Submodular Functions. Instructor: Shaddin Dughmi

CS599: Convex and Combinatorial Optimization Fall 2013 Lecture 24: Introduction to Submodular Functions. Instructor: Shaddin Dughmi CS599: Convex and Combinatorial Optimization Fall 2013 Lecture 24: Introduction to Submodular Functions Instructor: Shaddin Dughmi Announcements Introduction We saw how matroids form a class of feasible

More information

10.1.1Theorem: Module 4 : Local / Global Maximum / Minimum and Curve Sketching

10.1.1Theorem: Module 4 : Local / Global Maximum / Minimum and Curve Sketching \ Module 4 : Local / Global Maximum / Minimum and Curve Sketching Lecture 10 : Sufficient conditions for increasing / decreasing [Section 10.1] Objectives In this section you will learn the following :

More information

5 FUNCTIONS. 5.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

5 FUNCTIONS. 5.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall c Dr Oksana Shatalov, Fall 2017 1 5 FUNCTIONS 5.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from the set A to the set B is a correspondence that assigns to

More information

Solution of the 8 th Homework

Solution of the 8 th Homework Solution of the 8 th Homework Sangchul Lee December 8, 2014 1 Preinary 1.1 A simple remark on continuity The following is a very simple and trivial observation. But still this saves a lot of words in actual

More information

9 FUNCTIONS. 9.1 The Definition of Function. c Dr Oksana Shatalov, Fall

9 FUNCTIONS. 9.1 The Definition of Function. c Dr Oksana Shatalov, Fall c Dr Oksana Shatalov, Fall 2018 1 9 FUNCTIONS 9.1 The Definition of Function DEFINITION 1. Let X and Y be nonempty sets. A function f from the set X to the set Y is a correspondence that assigns to each

More information

EE595A Submodular functions, their optimization and applications Spring 2011

EE595A Submodular functions, their optimization and applications Spring 2011 EE595A Submodular functions, their optimization and applications Spring 2011 Prof. Jeff Bilmes University of Washington, Seattle Department of Electrical Engineering Spring Quarter, 2011 http://ssli.ee.washington.edu/~bilmes/ee595a_spring_2011/

More information

LECTURE 3 Matroids and geometric lattices

LECTURE 3 Matroids and geometric lattices LECTURE 3 Matroids and geometric lattices 3.1. Matroids A matroid is an abstraction of a set of vectors in a vector space (for us, the normals to the hyperplanes in an arrangement). Many basic facts about

More information

M17 MAT25-21 HOMEWORK 6

M17 MAT25-21 HOMEWORK 6 M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute

More information

Symplectic integration with Runge-Kutta methods, AARMS summer school 2015

Symplectic integration with Runge-Kutta methods, AARMS summer school 2015 Symplectic integration with Runge-Kutta methods, AARMS summer school 2015 Elena Celledoni July 13, 2015 1 Hamiltonian systems and their properties We consider a Hamiltonian system in the form ẏ = J H(y)

More information

Section Integration of Nonnegative Measurable Functions

Section Integration of Nonnegative Measurable Functions 18.2. Integration of Nonnegative Measurable Functions 1 Section 18.2. Integration of Nonnegative Measurable Functions Note. We now define integrals of measurable functions on measure spaces. Though similar

More information

Quadratic and Polynomial Inequalities in one variable have look like the example below.

Quadratic and Polynomial Inequalities in one variable have look like the example below. Section 8 4: Polynomial Inequalities in One Variable Quadratic and Polynomial Inequalities in one variable have look like the example below. x 2 5x 6 0 (x 2) (x + 4) > 0 x 2 (x 3) > 0 (x 2) 2 (x + 4) 0

More information

We saw in the previous lectures that continuity and differentiability help to understand some aspects of a

We saw in the previous lectures that continuity and differentiability help to understand some aspects of a Module 3 : Differentiation and Mean Value Theorems Lecture 9 : Roll's theorem and Mean Value Theorem Objectives In this section you will learn the following : Roll's theorem Mean Value Theorem Applications

More information

Linear Algebra, 4th day, Thursday 7/1/04 REU Info:

Linear Algebra, 4th day, Thursday 7/1/04 REU Info: Linear Algebra, 4th day, Thursday 7/1/04 REU 004. Info http//people.cs.uchicago.edu/laci/reu04. Instructor Laszlo Babai Scribe Nick Gurski 1 Linear maps We shall study the notion of maps between vector

More information

Introduction to Algorithms

Introduction to Algorithms Introduction to Algorithms 6.046J/18.401J/SMA5503 Lecture 18 Prof. Erik Demaine Negative-weight cycles Recall: If a graph G = (V, E) contains a negativeweight cycle, then some shortest paths may not exist.

More information

Bessel s and legendre s equations

Bessel s and legendre s equations Chapter 12 Bessel s and legendre s equations 12.1 Introduction Many linear differential equations having variable coefficients cannot be solved by usual methods and we need to employ series solution method

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

More information

(II.B) Basis and dimension

(II.B) Basis and dimension (II.B) Basis and dimension How would you explain that a plane has two dimensions? Well, you can go in two independent directions, and no more. To make this idea precise, we formulate the DEFINITION 1.

More information

29 Linear Programming

29 Linear Programming 29 Linear Programming Many problems take the form of optimizing an objective, given limited resources and competing constraints If we can specify the objective as a linear function of certain variables,

More information

(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea

(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract

More information

The real root modules for some quivers.

The real root modules for some quivers. SS 2006 Selected Topics CMR The real root modules for some quivers Claus Michael Ringel Let Q be a finite quiver with veretx set I and let Λ = kq be its path algebra The quivers we are interested in will

More information

OUTER MEASURES ON A COMMUTATIVE RING INDUCED BY MEASURES ON ITS SPECTRUM. Dariusz Dudzik, Marcin Skrzyński. 1. Preliminaries and introduction

OUTER MEASURES ON A COMMUTATIVE RING INDUCED BY MEASURES ON ITS SPECTRUM. Dariusz Dudzik, Marcin Skrzyński. 1. Preliminaries and introduction Annales Mathematicae Silesianae 31 (2017), 63 70 DOI: 10.1515/amsil-2016-0020 OUTER MEASURES ON A COMMUTATIVE RING INDUCED BY MEASURES ON ITS SPECTRUM Dariusz Dudzik, Marcin Skrzyński Abstract. On a commutative

More information

Linear Algebra. Paul Yiu. Department of Mathematics Florida Atlantic University. Fall 2011

Linear Algebra. Paul Yiu. Department of Mathematics Florida Atlantic University. Fall 2011 Linear Algebra Paul Yiu Department of Mathematics Florida Atlantic University Fall 2011 Linear Algebra Paul Yiu Department of Mathematics Florida Atlantic University Fall 2011 1A: Vector spaces Fields

More information

Constraints on Solutions to the Normal Equations. Copyright c 2012 Dan Nettleton (Iowa State University) Statistics / 41

Constraints on Solutions to the Normal Equations. Copyright c 2012 Dan Nettleton (Iowa State University) Statistics / 41 Constraints on Solutions to the Normal Equations Copyright c 2012 Dan Nettleton (Iowa State University) Statistics 611 1 / 41 If rank( n p X) = r < p, there are infinitely many solutions to the NE X Xb

More information

LECTURE 8: THE SECTIONAL AND RICCI CURVATURES

LECTURE 8: THE SECTIONAL AND RICCI CURVATURES LECTURE 8: THE SECTIONAL AND RICCI CURVATURES 1. The Sectional Curvature We start with some simple linear algebra. As usual we denote by ( V ) the set of 4-tensors that is anti-symmetric with respect to

More information

1 Continuous extensions of submodular functions

1 Continuous extensions of submodular functions CS 369P: Polyhedral techniques in combinatorial optimization Instructor: Jan Vondrák Lecture date: November 18, 010 1 Continuous extensions of submodular functions Submodular functions are functions assigning

More information

Downloaded from

Downloaded from Question 1: Exercise 2.1 The graphs of y = p(x) are given in following figure, for some polynomials p(x). Find the number of zeroes of p(x), in each case. (i) (ii) (iii) Page 1 of 24 (iv) (v) (v) Page

More information

Electronic Companion to Optimal Policies for a Dual-Sourcing Inventory Problem with Endogenous Stochastic Lead Times

Electronic Companion to Optimal Policies for a Dual-Sourcing Inventory Problem with Endogenous Stochastic Lead Times e-companion to Song et al.: Dual-Sourcing with Endogenous Stochastic Lead times ec1 Electronic Companion to Optimal Policies for a Dual-Sourcing Inventory Problem with Endogenous Stochastic Lead Times

More information

Learning with Submodular Functions: A Convex Optimization Perspective

Learning with Submodular Functions: A Convex Optimization Perspective Foundations and Trends R in Machine Learning Vol. 6, No. 2-3 (2013) 145 373 c 2013 F. Bach DOI: 10.1561/2200000039 Learning with Submodular Functions: A Convex Optimization Perspective Francis Bach INRIA

More information

To find an approximate value of the integral, the idea is to replace, on each subinterval

To find an approximate value of the integral, the idea is to replace, on each subinterval Module 6 : Definition of Integral Lecture 18 : Approximating Integral : Trapezoidal Rule [Section 181] Objectives In this section you will learn the following : Mid point and the Trapezoidal methods for

More information

ARCS IN FINITE PROJECTIVE SPACES. Basic objects and definitions

ARCS IN FINITE PROJECTIVE SPACES. Basic objects and definitions ARCS IN FINITE PROJECTIVE SPACES SIMEON BALL Abstract. These notes are an outline of a course on arcs given at the Finite Geometry Summer School, University of Sussex, June 26-30, 2017. Let K denote an

More information

The nite submodel property and ω-categorical expansions of pregeometries

The nite submodel property and ω-categorical expansions of pregeometries The nite submodel property and ω-categorical expansions of pregeometries Marko Djordjevi bstract We prove, by a probabilistic argument, that a class of ω-categorical structures, on which algebraic closure

More information

Design & Analysis of Experiments 7E 2009 Montgomery

Design & Analysis of Experiments 7E 2009 Montgomery Chapter 5 1 Introduction to Factorial Design Study the effects of 2 or more factors All possible combinations of factor levels are investigated For example, if there are a levels of factor A and b levels

More information

Logics for Compact Hausdorff Spaces via de Vries Duality

Logics for Compact Hausdorff Spaces via de Vries Duality Logics for Compact Hausdorff Spaces via de Vries Duality Thomas Santoli ILLC, Universiteit van Amsterdam June 16, 2016 Outline Main goal: developing a propositional calculus for compact Hausdorff spaces

More information

Polynomial Functions

Polynomial Functions Polynomial Functions Equations and Graphs Characteristics The Factor Theorem The Remainder Theorem http://www.purplemath.com/modules/polyends5.htm 1 A cross-section of a honeycomb has a pattern with one

More information

1 The Erdős Ko Rado Theorem

1 The Erdős Ko Rado Theorem 1 The Erdős Ko Rado Theorem A family of subsets of a set is intersecting if any two elements of the family have at least one element in common It is easy to find small intersecting families; the basic

More information

x y More precisely, this equation means that given any ε > 0, there exists some δ > 0 such that

x y More precisely, this equation means that given any ε > 0, there exists some δ > 0 such that Chapter 2 Limits and continuity 21 The definition of a it Definition 21 (ε-δ definition) Let f be a function and y R a fixed number Take x to be a point which approaches y without being equal to y If there

More information

2 JOSE BURILLO It was proved by Thurston [2, Ch.8], using geometric methods, and by Gersten [3], using combinatorial methods, that the integral 3-dime

2 JOSE BURILLO It was proved by Thurston [2, Ch.8], using geometric methods, and by Gersten [3], using combinatorial methods, that the integral 3-dime DIMACS Series in Discrete Mathematics and Theoretical Computer Science Volume 00, 1997 Lower Bounds of Isoperimetric Functions for Nilpotent Groups Jose Burillo Abstract. In this paper we prove that Heisenberg

More information

where c R and the content of f is one. 1

where c R and the content of f is one. 1 9. Gauss Lemma Obviously it would be nice to have some more general methods of proving that a given polynomial is irreducible. The first is rather beautiful and due to Gauss. The basic idea is as follows.

More information

Maximum 3-SAT as QUBO

Maximum 3-SAT as QUBO Maximum 3-SAT as QUBO Michael J. Dinneen 1 Semester 2, 2016 1/15 1 Slides mostly based on Alex Fowler s and Rong (Richard) Wang s notes. Boolean Formula 2/15 A Boolean variable is a variable that can take

More information

Boolean constraint satisfaction: complexity results for optimization problems with arbitrary weights

Boolean constraint satisfaction: complexity results for optimization problems with arbitrary weights Theoretical Computer Science 244 (2000) 189 203 www.elsevier.com/locate/tcs Boolean constraint satisfaction: complexity results for optimization problems with arbitrary weights Peter Jonsson Department

More information

1 Introduction It will be convenient to use the inx operators a b and a b to stand for maximum (least upper bound) and minimum (greatest lower bound)

1 Introduction It will be convenient to use the inx operators a b and a b to stand for maximum (least upper bound) and minimum (greatest lower bound) Cycle times and xed points of min-max functions Jeremy Gunawardena, Department of Computer Science, Stanford University, Stanford, CA 94305, USA. jeremy@cs.stanford.edu October 11, 1993 to appear in the

More information

On the classication of algebras

On the classication of algebras Technische Universität Carolo-Wilhelmina Braunschweig Institut Computational Mathematics On the classication of algebras Morten Wesche September 19, 2016 Introduction Higman (1950) published the papers

More information

U.C. Berkeley Better-than-Worst-Case Analysis Handout 3 Luca Trevisan May 24, 2018

U.C. Berkeley Better-than-Worst-Case Analysis Handout 3 Luca Trevisan May 24, 2018 U.C. Berkeley Better-than-Worst-Case Analysis Handout 3 Luca Trevisan May 24, 2018 Lecture 3 In which we show how to find a planted clique in a random graph. 1 Finding a Planted Clique We will analyze

More information

Math 497 R1 Winter 2018 Navier-Stokes Regularity

Math 497 R1 Winter 2018 Navier-Stokes Regularity Math 497 R Winter 208 Navier-Stokes Regularity Lecture : Sobolev Spaces and Newtonian Potentials Xinwei Yu Jan. 0, 208 Based on..2 of []. Some ne properties of Sobolev spaces, and basics of Newtonian potentials.

More information

A = , A 32 = n ( 1) i +j a i j det(a i j). (1) j=1

A = , A 32 = n ( 1) i +j a i j det(a i j). (1) j=1 Lecture Notes: Determinant of a Square Matrix Yufei Tao Department of Computer Science and Engineering Chinese University of Hong Kong taoyf@cse.cuhk.edu.hk 1 Determinant Definition Let A [a ij ] be an

More information

Math 550 Notes. Chapter 2. Jesse Crawford. Department of Mathematics Tarleton State University. Fall 2010

Math 550 Notes. Chapter 2. Jesse Crawford. Department of Mathematics Tarleton State University. Fall 2010 Math 550 Notes Chapter 2 Jesse Crawford Department of Mathematics Tarleton State University Fall 2010 (Tarleton State University) Math 550 Chapter 2 Fall 2010 1 / 20 Linear algebra deals with finite dimensional

More information

MATH 614 Dynamical Systems and Chaos Lecture 3: Classification of fixed points.

MATH 614 Dynamical Systems and Chaos Lecture 3: Classification of fixed points. MATH 614 Dynamical Systems and Chaos Lecture 3: Classification of fixed points. Periodic points Definition. A point x X is called a fixed point of a map f : X X if f(x) = x. A point x X is called a periodic

More information

Module 7 : Applications of Integration - I. Lecture 20 : Definition of the power function and logarithmic function with positive base [Section 20.

Module 7 : Applications of Integration - I. Lecture 20 : Definition of the power function and logarithmic function with positive base [Section 20. Module 7 : Applications of Integration - I Lecture 20 : Definition of the power function and logarithmic function with positive base [Section 201] Objectives In this section you will learn the following

More information

The Schwarzian Derivative

The Schwarzian Derivative February 14, 2005 10-1 The Schwarzian Derivative There is a very useful quantity Sf defined for a C 3 one-dimensional map f, called the Schwarzian derivative of f. Here is the definition. Set Sf(x) = f

More information

9.5. Polynomial and Rational Inequalities. Objectives. Solve quadratic inequalities. Solve polynomial inequalities of degree 3 or greater.

9.5. Polynomial and Rational Inequalities. Objectives. Solve quadratic inequalities. Solve polynomial inequalities of degree 3 or greater. Chapter 9 Section 5 9.5 Polynomial and Rational Inequalities Objectives 1 3 Solve quadratic inequalities. Solve polynomial inequalities of degree 3 or greater. Solve rational inequalities. Objective 1

More information

VII Selected Topics. 28 Matrix Operations

VII Selected Topics. 28 Matrix Operations VII Selected Topics Matrix Operations Linear Programming Number Theoretic Algorithms Polynomials and the FFT Approximation Algorithms 28 Matrix Operations We focus on how to multiply matrices and solve

More information

Detailed Proof of The PerronFrobenius Theorem

Detailed Proof of The PerronFrobenius Theorem Detailed Proof of The PerronFrobenius Theorem Arseny M Shur Ural Federal University October 30, 2016 1 Introduction This famous theorem has numerous applications, but to apply it you should understand

More information

The Dual Lattice, Integer Linear Systems and Hermite Normal Form

The Dual Lattice, Integer Linear Systems and Hermite Normal Form New York University, Fall 2013 Lattices, Convexity & Algorithms Lecture 2 The Dual Lattice, Integer Linear Systems and Hermite Normal Form Lecturers: D. Dadush, O. Regev Scribe: D. Dadush 1 Dual Lattice

More information

Higher dimensional dynamical Mordell-Lang problems

Higher dimensional dynamical Mordell-Lang problems Higher dimensional dynamical Mordell-Lang problems Thomas Scanlon 1 UC Berkeley 27 June 2013 1 Joint with Yu Yasufuku Thomas Scanlon (UC Berkeley) Higher rank DML 27 June 2013 1 / 22 Dynamical Mordell-Lang

More information

Generalization of Hensel lemma: nding of roots of p-adic Lipschitz functions

Generalization of Hensel lemma: nding of roots of p-adic Lipschitz functions Generalization of Hensel lemma: nding of roots of p-adic Lipschitz functions (joint talk with Andrei Khrennikov) Dr. Ekaterina Yurova Axelsson Linnaeus University, Sweden September 8, 2015 Outline Denitions

More information

Semidefinite Programming

Semidefinite 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 information

LECTURE VII: THE JORDAN CANONICAL FORM MAT FALL 2006 PRINCETON UNIVERSITY. [See also Appendix B in the book]

LECTURE VII: THE JORDAN CANONICAL FORM MAT FALL 2006 PRINCETON UNIVERSITY. [See also Appendix B in the book] LECTURE VII: THE JORDAN CANONICAL FORM MAT 204 - FALL 2006 PRINCETON UNIVERSITY ALFONSO SORRENTINO [See also Appendix B in the book] 1 Introduction In Lecture IV we have introduced the concept of eigenvalue

More information

Parameterizing the Pythagorean Triples

Parameterizing the Pythagorean Triples Parameterizing the Pythagorean Triples Saratoga Math Club January 8, 204 Introduction To ask for one or two Pythagorean triples is not a hard nor deep question at all. Common examples, like (3, 4, 5),

More information

4.6 Montel's Theorem. Robert Oeckl CA NOTES 7 17/11/2009 1

4.6 Montel's Theorem. Robert Oeckl CA NOTES 7 17/11/2009 1 Robert Oeckl CA NOTES 7 17/11/2009 1 4.6 Montel's Theorem Let X be a topological space. We denote by C(X) the set of complex valued continuous functions on X. Denition 4.26. A topological space is called

More information

EE595A Submodular functions, their optimization and applications Spring 2011

EE595A Submodular functions, their optimization and applications Spring 2011 EE595A Submodular functions, their optimization and applications Spring 2011 Prof. Jeff Bilmes University of Washington, Seattle Department of Electrical Engineering Winter Quarter, 2011 http://ee.washington.edu/class/235/2011wtr/index.html

More information

Succinct linear programs for easy problems

Succinct linear programs for easy problems Succinct linear programs for easy problems David Bremner U. New Brunswick / visiting TU Berlin 24-11-2014 Joint Work with D. Avis, H.R. Tiwary, and O. Watanabe Outline 1 Matchings and Matching Polytopes

More information

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,

More information

We are now going to move on to a discussion of Inequality constraints. Our canonical problem now looks as ( ) = 0 ( ) 0

We are now going to move on to a discussion of Inequality constraints. Our canonical problem now looks as ( ) = 0 ( ) 0 4 Lecture 4 4.1 Constrained Optimization with Inequality Constraints We are now going to move on to a discussion of Inequality constraints. Our canonical problem now looks as Problem 11 (Constrained Optimization

More information

1 Definition of the Riemann integral

1 Definition of the Riemann integral MAT337H1, Introduction to Real Analysis: notes on Riemann integration 1 Definition of the Riemann integral Definition 1.1. Let [a, b] R be a closed interval. A partition P of [a, b] is a finite set of

More information

11 /2 12 /2 13 /6 14 /14 15 /8 16 /8 17 /25 18 /2 19 /4 20 /8

11 /2 12 /2 13 /6 14 /14 15 /8 16 /8 17 /25 18 /2 19 /4 20 /8 MAC 1147 Exam #1a Answer Key Name: Answer Key ID# Summer 2012 HONOR CODE: On my honor, I have neither given nor received any aid on this examination. Signature: Instructions: Do all scratch work on the

More information

Analysis of Algorithms. Outline. Single Source Shortest Path. Andres Mendez-Vazquez. November 9, Notes. Notes

Analysis of Algorithms. Outline. Single Source Shortest Path. Andres Mendez-Vazquez. November 9, Notes. Notes Analysis of Algorithms Single Source Shortest Path Andres Mendez-Vazquez November 9, 01 1 / 108 Outline 1 Introduction Introduction and Similar Problems General Results Optimal Substructure Properties

More information

AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015)

AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015) NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 (2016), 53-64 AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE Mona Nabiei (Received 23 June, 2015) Abstract. This study first defines a new metric with

More information

2. The Concept of Convergence: Ultrafilters and Nets

2. The Concept of Convergence: Ultrafilters and Nets 2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two

More information

Solutions:Shankar Chapter1, Some Exercises

Solutions:Shankar Chapter1, Some Exercises Solutions:Shankar Chapter1, Some Exercises February 6, 2011 1 Exercise 1.1.3 1.1 Vanishing Functions F{The functions having property f0 fl 0} We can check whether the set of these functions form a vector

More information

Rational Functions. Elementary Functions. Algebra with mixed fractions. Algebra with mixed fractions

Rational Functions. Elementary Functions. Algebra with mixed fractions. Algebra with mixed fractions Rational Functions A rational function f (x) is a function which is the ratio of two polynomials, that is, Part 2, Polynomials Lecture 26a, Rational Functions f (x) = where and are polynomials Dr Ken W

More information

B ɛ (P ) B. n N } R. Q P

B ɛ (P ) B. n N } R. Q P 8. Limits Definition 8.1. Let P R n be a point. The open ball of radius ɛ > 0 about P is the set B ɛ (P ) = { Q R n P Q < ɛ }. The closed ball of radius ɛ > 0 about P is the set { Q R n P Q ɛ }. Definition

More information

The trichotomy theorem in dierence elds

The trichotomy theorem in dierence elds The trichotomy theorem in dierence elds Thomas Scanlon UC Berkeley December 2011 Thomas Scanlon (UC Berkeley) The trichotomy theorem in dierence elds December 2011 1 / 58 Trichotomy theorem Theorem Every

More information

The absolute value (modulus) of a number

The absolute value (modulus) of a number The absolute value (modulus) of a number Given a real number x, its absolute value or modulus is dened as x if x is positive x = 0 if x = 0 x if x is negative For example, 6 = 6, 10 = ( 10) = 10. The absolute

More information

Realization of set functions as cut functions of graphs and hypergraphs

Realization of set functions as cut functions of graphs and hypergraphs Discrete Mathematics 226 (2001) 199 210 www.elsevier.com/locate/disc Realization of set functions as cut functions of graphs and hypergraphs Satoru Fujishige a;, Sachin B. Patkar b a Division of Systems

More information

Resolution of Singularities in Algebraic Varieties

Resolution of Singularities in Algebraic Varieties Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.

More information

MAT 5330 Algebraic Geometry: Quiver Varieties

MAT 5330 Algebraic Geometry: Quiver Varieties MAT 5330 Algebraic Geometry: Quiver Varieties Joel Lemay 1 Abstract Lie algebras have become of central importance in modern mathematics and some of the most important types of Lie algebras are Kac-Moody

More information

Gwyneth Harrison-Shermoen

Gwyneth Harrison-Shermoen Gwyneth University of Leeds Model Theory of Finite and Pseudonite Structures Workshop Outline 1 Introduction 2 3 4 5 Introduction An asymptotic class is a class of nite structures such that the sizes of

More information

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is

More information

Logic Part I: Classical Logic and Its Semantics

Logic Part I: Classical Logic and Its Semantics Logic Part I: Classical Logic and Its Semantics Max Schäfer Formosan Summer School on Logic, Language, and Computation 2007 July 2, 2007 1 / 51 Principles of Classical Logic classical logic seeks to model

More information

Extremal Cases of the Ahlswede-Cai Inequality. A. J. Radclie and Zs. Szaniszlo. University of Nebraska-Lincoln. Department of Mathematics

Extremal Cases of the Ahlswede-Cai Inequality. A. J. Radclie and Zs. Szaniszlo. University of Nebraska-Lincoln. Department of Mathematics Extremal Cases of the Ahlswede-Cai Inequality A J Radclie and Zs Szaniszlo University of Nebraska{Lincoln Department of Mathematics 810 Oldfather Hall University of Nebraska-Lincoln Lincoln, NE 68588 1

More information

Optimization and Optimal Control in Banach Spaces

Optimization and Optimal Control in Banach Spaces Optimization and Optimal Control in Banach Spaces Bernhard Schmitzer October 19, 2017 1 Convex non-smooth optimization with proximal operators Remark 1.1 (Motivation). Convex optimization: easier to solve,

More information

MATH 115: Review for Chapter 5

MATH 115: Review for Chapter 5 MATH 5: Review for Chapter 5 Can you find the real zeros of a polynomial function and identify the behavior of the graph of the function at its zeros? For each polynomial function, identify the zeros of

More information

8.1 Polynomial Threshold Functions

8.1 Polynomial Threshold Functions CS 395T Computational Learning Theory Lecture 8: September 22, 2008 Lecturer: Adam Klivans Scribe: John Wright 8.1 Polynomial Threshold Functions In the previous lecture, we proved that any function over

More information

3.2 Real and complex symmetric bilinear forms

3.2 Real and complex symmetric bilinear forms Then, the adjoint of f is the morphism 3 f + : Q 3 Q 3 ; x 5 0 x. 0 2 3 As a verification, you can check that 3 0 B 5 0 0 = B 3 0 0. 0 0 2 3 3 2 5 0 3.2 Real and complex symmetric bilinear forms Throughout

More information

Design and Analysis of Algorithms Lecture Notes on Convex Optimization CS 6820, Fall Nov 2 Dec 2016

Design and Analysis of Algorithms Lecture Notes on Convex Optimization CS 6820, Fall Nov 2 Dec 2016 Design and Analysis of Algorithms Lecture Notes on Convex Optimization CS 6820, Fall 206 2 Nov 2 Dec 206 Let D be a convex subset of R n. A function f : D R is convex if it satisfies f(tx + ( t)y) tf(x)

More information

Departamento de Matematicas. Real Instituto de Jovellanos. J. F. Antona Algebraic notation and Polynomials 1

Departamento de Matematicas. Real Instituto de Jovellanos. J. F. Antona Algebraic notation and Polynomials 1 Departamento de Matematicas. Real Instituto de Jovellanos. J. F. Antona Algebraic notation and Polynomials 1 Algebraic Notation The ability to convert worded sentences and problems into algebraic symbols

More information

5 More on Linear Algebra

5 More on Linear Algebra 14.102, Math for Economists Fall 2004 Lecture Notes, 9/23/2004 These notes are primarily based on those written by George Marios Angeletos for the Harvard Math Camp in 1999 and 2000, and updated by Stavros

More information

Lecture 4: Polynomial Optimization

Lecture 4: Polynomial Optimization CS369H: Hierarchies of Integer Programming Relaxations Spring 2016-2017 Lecture 4: Polynomial Optimization Professor Moses Charikar Scribes: Mona Azadkia 1 Introduction Non-negativity over the hypercube.

More information

Orthogonality. 6.1 Orthogonal Vectors and Subspaces. Chapter 6

Orthogonality. 6.1 Orthogonal Vectors and Subspaces. Chapter 6 Chapter 6 Orthogonality 6.1 Orthogonal Vectors and Subspaces Recall that if nonzero vectors x, y R n are linearly independent then the subspace of all vectors αx + βy, α, β R (the space spanned by x and

More information

On some properties of elementary derivations in dimension six

On some properties of elementary derivations in dimension six Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,

More information

The theory of manifolds Lecture 2

The theory of manifolds Lecture 2 The theory of manifolds Lecture 2 Let X be a subset of R N, Y a subset of R n and f : X Y a continuous map. We recall Definition 1. f is a C map if for every p X, there exists a neighborhood, U p, of p

More information

A MATROID EXTENSION RESULT

A MATROID EXTENSION RESULT A MATROID EXTENSION RESULT JAMES OXLEY Abstract. Adding elements to matroids can be fraught with difficulty. In the Vámos matroid V 8, there are four independent sets X 1, X 2, X 3, and X 4 such that (X

More information

Section II.1. Free Abelian Groups

Section II.1. Free Abelian Groups II.1. Free Abelian Groups 1 Section II.1. Free Abelian Groups Note. This section and the next, are independent of the rest of this chapter. The primary use of the results of this chapter is in the proof

More information

Index Theory and Spin Geometry

Index Theory and Spin Geometry Index Theory and Spin Geometry Fabian Lenhardt and Lennart Meier March 20, 2010 Many of the familiar (and not-so-familiar) invariants in the algebraic topology of manifolds may be phrased as an index of

More information

MATH 117 LECTURE NOTES

MATH 117 LECTURE NOTES MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set

More information

Linear and Bilinear Algebra (2WF04) Jan Draisma

Linear and Bilinear Algebra (2WF04) Jan Draisma Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 1 Basics We will assume familiarity with the terms field, vector space, subspace, basis, dimension, and direct sums. If you are not sure what these

More information

HARTSHORNE EXERCISES

HARTSHORNE EXERCISES HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25 RAVI VAKIL CONTENTS 1. Quasicoherent sheaves 1 2. Quasicoherent sheaves form an abelian category 5 We began by recalling the distinguished affine base. Definition.

More information