arxiv:math/ v1 [math.ac] 11 Nov 2005

Size: px
Start display at page:

Download "arxiv:math/ v1 [math.ac] 11 Nov 2005"

Transcription

1 A note on Rees algebras and the MFMC property arxiv:math/ v1 [math.ac] 11 Nov 2005 Isidoro Gitler, Carlos E. Valencia and Rafael H. Villarreal 1 Departamento de Matemáticas Centro de Investigación y de Estudios Avanzados del IPN Apartado Postal México City, D.F. vila@math.cinvestav.mx Abstract We study irreducible representations of Rees cones. Then we characterize the max-flow min-cut property of clutters in terms of the normality of Rees algebras an the integrality of certain polyhedrons. 1 Introduction Let R = K[x 1,...,x n ] be a polynomial ring over a field K and let I R be a monomial ideal minimally generated by x v 1,...,x vq. As usual we will use x a as an abbreviation for x a 1 1 xan n, where a = (a 1,...,a n ) N n. Consider the n q matrix A with column vectors v 1,...,v q. If A has entries in {0,1}, then A defines in a natural way a clutter C by taking X = {x 1,...,x n } as vertex set and E = {S 1,...,S q } as edge set, where S i is the support of x v i, i.e., the set of variables that occur in x v i. In this case we call I the edge ideal of the clutter C and write I = I(C). The Rees algebra of I is the K-subalgebra: R[It] := R[{x v 1 t,...,x vq t}] R[t], where t is a new variable, and the Rees cone of I is the rational polyhedral cone in R n+1, denoted by R + A, consisting of the non-negative linear combinations of the set A := {e 1,...,e n,(v 1,1),...,(v q,1)} R n+1, where e i is the ith unit vector. 1 Partially supported by CONACyT grant 49251E and SNI, México. 1

2 The first main result of this note (Theorem 3.2) shows that the irreducible representation of the Rees cone, as a finite intersection of closed half-spaces, can be expressed essentially in terms of the vertices of the set covering polyhedron: Q(A) := {x R n x 0, xa 1}. The second main result (Theorem 3.5) is an algebro-combinatorial description of the max-flow min-cut property of the clutter C in terms of a purely algebraic property (the normality of R[It]) and an integer programming property (the integrality of the rational polyhedron Q(A)). Some applications will be shown. Our main references for Rees algebras and combinatorial optimization are [3, 10] and [8] respectively. 2 Preliminaries For convenience we quickly recall some basic results, terminology, and notation from polyhedral geometry. A set C R n is a polyhedral set (resp. cone) if C = {x Bx b} for some matrix B and some vector b (resp. b = 0). By the finite basis theorem [12, Theorem 4.1.1] a polyhedral cone C R n has two representations: Minkowski representation C = R + B with B = {β 1,...,β r } a finite set, and Implicit representation C = H + c 1 H + c s for some c 1,...,c s R n \ {0}, where R + is the set of non-negative real numbers, R + B is the cone generated by B consisting of the set of linear combinations of B with coefficients in R +, H ci is the hyperplane of R n through the origin with normal vector c i, and H + c i = {x R n x,c i 0} is the positive closed half-space bounded by H ci. Here, denotes the usual inner product. These two representations satisfy the duality theorem for cones: H + β 1 H + β r = R + c R + c s, (1) see [9, Corollary 7.1a] and its proof. The dual cone of C is defined as C := H a +. c C H + c = a B By the duality theorem C = C. An implicit representation of C is called irreducible if none of the closed half-spaces H c + 1,...,H c + s can be omitted from the intersection. Note that the left hand side of Eq. (1) is an irreducible representation of C if and only if no proper subset of B generates C. 2

3 3 Rees cones, normality and the MFMC property To avoid repetions, throughout the rest of this note we keep the notation and assumptions of Section 1. Notice that that the Rees cone R + A has dimension n+1. A subset F R n+1 is called a facet of R + A if F = R + A H a for some hyperplane H a such that R + A H a + and dim(f) = n. It is not hard to see that the set F = R + A H ei (1 i n + 1) defines a facet of R + A if and only if either i = n+1 or 1 i n and e i,v j = 0 for some column v j of A. Consider the index set J = {1 i n e i,v j = 0 for some j} {n + 1}. Using [12, Theorem 3.2.1] it is seen that the Rees cone has a unique irreducible representation ( ) R + A = H a + i (2) i J H + e i) ( r such that 0 a i Q n+1 and a i,e n+1 = 1 for all i. Lemma 3.1 Let a = (a i1,...,a iq ) be the ith row of the matrix A and define k = min{a ij 1 j q}. If a ij > 0 for all j, then e i /k is a vertex of Q(A). Proof. Set x 0 = e i /k. Clearly x 0 Q(A) and x 0,v j = 1 for some j. Since x 0,e l = 0 for l i, the point x 0 is a basic feasible solution of Q(A). Then by [1, Theorem 2.3] x 0 is a vertex of Q(A). Theorem 3.2 Let V be the vertex set of Q(A). Then ( ) ( R + A = H e + i i J α V is the irreducible representation of the Rees cone. H + (α, 1) Proof. Let V = {α 1,...,α p } be the set of vertices of Q(A) and let B = {e i i J } {(α, 1) α V }. First we dualize Eq. (2) and use the duality theorem for cones to obtain (R + A ) = {y R n+1 y,x 0, x R + A } = H + e 1 H + e n H + (v 1,1) H+ (v q,1) = i J R + e i + R + a R + a r. (3) ) 3

4 Next we show the equality (R + A ) = R + B. (4) The right hand side is clearly contained in the left hand side because a vector α belongs to Q(A) if and only if (α, 1) is in (R + A ). To prove the reverse containment observe that by Eq. (3) it suffices to show that a k R + B for all k. Writing a k = (c k, 1) and using a k (R + A ) gives c k Q(A). The set covering polyhedron can be written as Q(A) = R + e R + e n + conv(v ), where conv(v ) denotes the convex hull of V, this follows from the structure of polyhedra by noticing that the characteristic cone of Q(A) is precisely R n + (see [9, Chapter 8]). Thus we can write c k = λ 1 e λ n e n + µ 1 α µ p α p, where λ i 0, µ j 0 for all i,j and µ µ p = 1. If 1 i n and i / J, then the ith row of A has all its entries positive. Thus by Lemma 3.1 we get that e i /k i is a vertex of Q(A) for some k i > 0. To avoid cumbersome notation we denote e i and (e i,0) simply by e i, from the context the meaning of e i should be clear. Therefore from the equalities λ i e i = i/ J i/ J ( ) ei λ i k i = ( ) ei λ i k i, 1 k i k i i/ J we conclude that i/ J λ ie i is in R + B. From the identities + λ i k i i/ J e n+1 a k = (c k, 1) = λ 1 e λ n e n + µ 1 (α 1, 1) + + µ p (α p, 1) = λ i e i + p λ i e i + µ i (α i, 1) i/ J i J \{n+1} we obtain a k R + B, as required. Taking duals in Eq. (4) we get R + A = a B H + a. (5) Thus, by the comments at the end of Section 2, the proof reduces to showing that β / R + (B \ {β}) for all β B. For this we will assume that β R + (B \ {β}) for some β B and derive a contradiction. Case (I): β = (α j, 1). For simplicity assume β = (α p, 1). We can write (α p, 1) = i J p 1 λ i e i + µ j (α j, 1), (λ i 0;µ j 0). j=1 4

5 Consequently α p = i J \{n+1} p 1 λ i e i + µ j α j (6) j=1 1 = λ n+1 (µ µ p 1 ). (7) To derive a contradiction we claim that Q(A) = R n + +conv(α 1,...,α p 1 ), which is impossible because using [2, Theorem 7.2] the vertices of Q(A) would be contained in {α 1,...,α p 1 }. To prove the claim note that the right hand side is clearly contained in the left hand side. For the other containment take γ Q(A) and write n p p γ = b i e i + c i α i (b i,c i 0; c i = 1) p 1 (6) = δ + (c i + c p µ i )α i (δ R n +). Therefore using the inequality ( p 1 p 1 p 1 ) (c i + c p µ i ) = c i + c p µ i (7) = (1 c p ) + c p (1 + λ n+1 ) 1 we get γ R n + + conv(α 1,...,α p 1 ). This proves the claim. Case (II): β = e k for some k J. First we consider the subcase k n. The subcase k = n + 1 can be treated similarly. We can write e k = λ i e i + i J \{k} p µ i (α i, 1), (λ i 0;µ i 0). From this equality we get e k = p µ iα i. Hence e k A ( p µ i)1 > 0, a contradiction because k J and e k,v j = 0 for some j. Definition 3.3 Let A be a {0, 1}-matrix. The clutter C has the max-flow mincut (MFMC) property if both sides of the LP-duality equation min{ α,x x 0;xA 1} = max{ y,1 y 0;Ay α} (8) have integral optimum solutions x and y for each non-negative integral vector α. It follows from [9, pp ] that C has the MFMC property if and only if the maximum in Eq. (8) has an optimal integral solution y for each non-negative integral vector α. 5

6 Definition 3.4 The polyhedron Q(A) is said to be integral if Q(A) has only integral vertices. Theorem 3.5 If A is a {0,1}-matrix, then C has the MFMC property if and only if Q(A) is an integral polyhedron and R[It] is a normal domain. Proof. According to [11, Theorem ] the integral closure of R[It] in its field of fractions is given by R[It] = K[{x a t b (a,b) ZA R + A }], (9) where NA is the additive subsemigroup of N n+1 generated by A. ) By [9, Corollary 22.1.c] the polyhedron Q(A) is integral. Next we show that R[It] is normal. Take x α t α n+1 R[It]. Then (α,α n+1 ) Z n+1 R + A. Hence Ay α and y,1 = α n+1 for some vector y 0. Therefore one concludes that the optimal value of the linear program max{ y,1 y 0; Ay α} is greater or equal than α n+1. Since A has the MFMC property, this linear program has an optimal integral solution y 0. Thus there exists an integral vector y 0 such that 0 y 0 y 0 and y 0 = α n+1. Therefore ( α α n+1 ) = ( ) A y ( ) A (y 0 0 y 0) + ( ) α 0 ( ) A y 0 0 and (α,α n+1 ) NA. This proves that x α t α n+1 R[It], as required. ) Assume that A does not satisfy the MFMC property. There exists an α 0 N n such that if y 0 is an optimal solution of the linear program: max{ y,1 y 0; Ay α 0 }, ( ) then y 0 is not integral. We claim that also the optimal value y 0 = y 0,1 of this linear program is not integral. If y 0 is integral, then (α 0, y 0 ) is in Z n+1 R + A. As R[It] is normal, we get that (α 0, y 0 ) is in NA, but this readily yields that the linear program ( ) has an integral optimal solution, a contradiction. This completes the proof of the claim. Now, consider the dual linear program: min{ x,α 0 x 0, xa 1}. By [12, Theorem 4.1.6]) the optimal value of this linear program is attained at a vertex x 0 of Q(A). Then by the LP duality theorem [8, Theorem 3.16 ] we get x 0,α 0 = y 0 / Z. Hence x 0 is not integral, a contradiction to the integrality of the set covering polyhedron Q(A). 6

7 Definition 3.6 Let C be a clutter. A set L X is a minimal vertex cover of C if every edge of C contains at least one vertex in L and L is minimal w.r.t. this property. A set of edges of C is independent if no two of them have a common vertex. Notation We denote by α 0 (C) the smallest number of vertices in any minimal vertex cover of C, and by β 1 (C) the maximum number of independent edges of C. Definition 3.7 Let X = {x 1,...,x n } and let X = {x i1,...,x ir,x j1,...,x js } be a subset of X. Assume that A is a {0,1}-matrix. A minor of I is a proper ideal I of R = K[X \ X ] obtained from I by making x ik = 0 and x jl = 1 for all k,l. The ideal I is considered itself a minor. A minor of C is a clutter C that corresponds to a minor I. Recall that a ring is called reduced if 0 is its only nilpotent element. Corollary 3.8 Let A be a {0,1}-matrix. If the associated graded ring gr I (R) := R[It]/IR[It] is reduced, then α 0 (C ) = β 1 (C ) for any minor C of C. Proof. As the reducedness of gr I (R) is preserved if we make a variable x i equal to 0 or 1, we may assume that C = C. From [7, Proposition 3.4] and Theorem 3.2 it follows that the ring gr I (R) is reduced if and only if R[It] is normal and Q(A) is integral. Hence by Theorem 3.5 we obtain that the LP-duality equation min{ 1,x x 0;xA 1} = max{ y,1 y 0;Ay 1} has optimum integral solutions x, y. To complete the proof notice that the left hand side of this equality is α 0 (C) and the right hand side is β 1 (C). Next we state an algebraic version of a conjecture [6, Conjecture 1.6] which to our best knowledge is still open: Conjecture 3.9 Let A be a {0,1}-matrix. If α 0 (C ) = β 1 (C ) for all minors C of C, then the associated graded ring gr I (R) is reduced. Conjecture 3.10 Let A be a {0,1}-matrix such that the number of 1 s in every column of A has a constant value d 2. If α 0 (C ) = β 1 (C ) for all minors C of C, then the quotient group Z n+1 /((v 1,1),...,(v q,1)) is torsion-free. Application 3.11 The program Normaliz [4, 5] computes the irreducible representation of a Rees cone and the integral closure of R[It]. Thus one can effectively use Theorems 3.2 and 3.5 to determine whether a given clutter C as the max-flow min-cut property. See example below for a simple illustration. 7

8 Example 3.12 Let I = (x 1 x 5,x 2 x 4,x 3 x 4 x 5,x 1 x 2 x 3 ). Using Normaliz[4] with the input file: we get the output file: 9 generators of integral closure of Rees algebra: support hyperplanes: The first block shows the exponent vector of the integral closure of R[It], thus R[It] is normal. The second block shows the irreducible representation of the Rees cone of I, thus using Theorem 3.2 we obtain that Q(A) is integral. Altogether Theorem 3.5 proves that the clutter C associated to I has the max-flow min-cut property. 8

9 References [1] D. Bertsimas and J. N. Tsitsiklis, Introduction to linear optimization, Athena Scientific, Massachusetts, [2] A. Brøndsted, Introduction to Convex Polytopes, Graduate Texts in Mathematics 90, Springer-Verlag, [3] P. Brumatti, A. Simis and W. V. Vasconcelos, Normal Rees algebras, J. Algebra 112 (1988), [4] W. Bruns and R. Koch, Normaliz a program for computing normalizations of affine semigroups, Available via anonymous ftp from ftp.mathematik.uni-osnabrueck.de/pub/osm/kommalg/software. [5] W. Bruns and R. Koch, Computing the integral closure of an affine semigroup. Effective methods in algebraic and analytic geometry, 2000 (Kraków). Univ. Iagel. Acta Math. 39 (2001), [6] G. Cornuéjols, Combinatorial optimization: Packing and covering, CBMS- NSF Regional Conference Series in Applied Mathematics 74, SIAM (2001). [7] C. Escobar, R. H. Villarreal and Y. Yoshino, Torsion freeness and normality of blowup rings of monomial ideals, in Commutative algebra with a focus on geometric and homological aspects, Proceedings: Sevilla and Lisbon (A. Corso et al., Eds.), Lecture Notes in Pure and Appl. Math., Dekker, New York, to appear. [8] B. Korte and J. Vygen, Combinatorial Optimization Theory and Algorithms, Springer-Verlag, [9] A. Schrijver, Theory of Linear and Integer Programming, John Wiley & Sons, New York, [10] W. V. Vasconcelos, Arithmetic of Blowup Algebras, London Math. Soc., Lecture Note Series 195, Cambridge University Press, Cambridge, [11] R. H. Villarreal, Monomial Algebras, Monographs and Textbooks in Pure and Applied Mathematics 238, Marcel Dekker, New York, [12] R. Webster, Convexity, Oxford University Press, Oxford,

arxiv:math/ v2 [math.ac] 9 Mar 2007

arxiv:math/ v2 [math.ac] 9 Mar 2007 A note on Rees algebras and the MFMC property arxiv:math/0511307v2 [math.ac] 9 Mar 2007 Isidoro Gitler 1, Carlos E. Valencia and Rafael H. Villarreal Departamento de Matemáticas Centro de Investigación

More information

Rees algebras and polyhedral cones of ideals of vertex covers of perfect graphs

Rees algebras and polyhedral cones of ideals of vertex covers of perfect graphs J Algebr Comb (2008) 27: 293 305 DOI 10.1007/s10801-007-0088-x Rees algebras and polyhedral cones of ideals of vertex covers of perfect graphs Rafael H. Villarreal Received: 6 August 2006 / Accepted: 12

More information

Systems with the integer rounding property in normal monomial subrings

Systems with the integer rounding property in normal monomial subrings Anais da Academia Brasileira de Ciências (2010) 82(4): 801-811 (Annals of the Brazilian Academy of Sciences) ISSN 0001-3765 www.scielo.br/aabc Systems with the integer rounding property in normal monomial

More information

Chapter 1. Preliminaries

Chapter 1. Preliminaries Introduction This dissertation is a reading of chapter 4 in part I of the book : Integer and Combinatorial Optimization by George L. Nemhauser & Laurence A. Wolsey. The chapter elaborates links between

More information

Optimization WS 13/14:, by Y. Goldstein/K. Reinert, 9. Dezember 2013, 16: Linear programming. Optimization Problems

Optimization WS 13/14:, by Y. Goldstein/K. Reinert, 9. Dezember 2013, 16: Linear programming. Optimization Problems Optimization WS 13/14:, by Y. Goldstein/K. Reinert, 9. Dezember 2013, 16:38 2001 Linear programming Optimization Problems General optimization problem max{z(x) f j (x) 0,x D} or min{z(x) f j (x) 0,x D}

More information

MAT-INF4110/MAT-INF9110 Mathematical optimization

MAT-INF4110/MAT-INF9110 Mathematical optimization MAT-INF4110/MAT-INF9110 Mathematical optimization Geir Dahl August 20, 2013 Convexity Part IV Chapter 4 Representation of convex sets different representations of convex sets, boundary polyhedra and polytopes:

More information

LP Duality: outline. Duality theory for Linear Programming. alternatives. optimization I Idea: polyhedra

LP Duality: outline. Duality theory for Linear Programming. alternatives. optimization I Idea: polyhedra LP Duality: outline I Motivation and definition of a dual LP I Weak duality I Separating hyperplane theorem and theorems of the alternatives I Strong duality and complementary slackness I Using duality

More information

Linear and Integer Optimization (V3C1/F4C1)

Linear and Integer Optimization (V3C1/F4C1) Linear and Integer Optimization (V3C1/F4C1) Lecture notes Ulrich Brenner Research Institute for Discrete Mathematics, University of Bonn Winter term 2016/2017 March 8, 2017 12:02 1 Preface Continuous updates

More information

Pyramids and monomial blowing-ups

Pyramids and monomial blowing-ups Pyramids and monomial blowing-ups arxiv:math/0409446v1 [math.ac] 23 Sep 2004 M.J. Soto soto@us.es Departamento de Algebra Universidad de Sevilla October 4, 2018 José L. Vicente jlvc@us.es Departamento

More information

Integral closure of powers of the graded maximal ideal in a monomial ring

Integral closure of powers of the graded maximal ideal in a monomial ring ISSN: 1401-5617 Integral closure of powers of the graded maximal ideal in a monomial ring Vincenzo Micale Research Reports in Mathematics Number 1, 003 Department of Mathematics Stockholm University Electronic

More information

Hamiltonian Tournaments and Gorenstein Rings

Hamiltonian Tournaments and Gorenstein Rings Europ. J. Combinatorics (2002) 23, 463 470 doi:10.1006/eujc.2002.0572 Available online at http://www.idealibrary.com on Hamiltonian Tournaments and Gorenstein Rings HIDEFUMI OHSUGI AND TAKAYUKI HIBI Let

More information

arxiv: v1 [math.ac] 23 Jun 2010

arxiv: v1 [math.ac] 23 Jun 2010 INDICES OF NORMALIZATION OF IDEALS arxiv:1006.4560v1 [math.ac] 23 Jun 2010 C. POLINI, B. ULRICH, W. V. VASCONCELOS, AND R. VILLARREAL Abstract. We derive numerical estimates controlling the intertwined

More information

HILBERT BASIS OF THE LIPMAN SEMIGROUP

HILBERT BASIS OF THE LIPMAN SEMIGROUP Available at: http://publications.ictp.it IC/2010/061 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL

More information

Enumeration of Concave Integer Partitions

Enumeration of Concave Integer Partitions 3 47 6 3 Journal of Integer Sequences, Vol. 7 (004), Article 04..3 Enumeration of Concave Integer Partitions Jan Snellman and Michael Paulsen Department of Mathematics Stockholm University SE-069 Stockholm,

More information

3. Linear Programming and Polyhedral Combinatorics

3. Linear Programming and Polyhedral Combinatorics Massachusetts Institute of Technology 18.433: Combinatorial Optimization Michel X. Goemans February 28th, 2013 3. Linear Programming and Polyhedral Combinatorics Summary of what was seen in the introductory

More information

arxiv:math/ v1 [math.co] 3 Sep 2000

arxiv:math/ v1 [math.co] 3 Sep 2000 arxiv:math/0009026v1 [math.co] 3 Sep 2000 Max Min Representation of Piecewise Linear Functions Sergei Ovchinnikov Mathematics Department San Francisco State University San Francisco, CA 94132 sergei@sfsu.edu

More information

Optimization methods NOPT048

Optimization methods NOPT048 Optimization methods NOPT048 Jirka Fink https://ktiml.mff.cuni.cz/ fink/ Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics Charles University in Prague

More information

arxiv: v2 [math.ac] 24 Sep 2014

arxiv: v2 [math.ac] 24 Sep 2014 When is a Squarefree Monomial Ideal of Linear Type? Ali Alilooee Sara Faridi October 16, 2018 arxiv:1309.1771v2 [math.ac] 24 Sep 2014 Abstract In 1995 Villarreal gave a combinatorial description of the

More information

TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS

TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS YUSUKE SUYAMA Abstract. We give a necessary and sufficient condition for the nonsingular projective toric variety associated to a building set to be

More information

3. Linear Programming and Polyhedral Combinatorics

3. Linear Programming and Polyhedral Combinatorics Massachusetts Institute of Technology 18.453: Combinatorial Optimization Michel X. Goemans April 5, 2017 3. Linear Programming and Polyhedral Combinatorics Summary of what was seen in the introductory

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x

More information

MULTIPLICITIES OF MONOMIAL IDEALS

MULTIPLICITIES OF MONOMIAL IDEALS MULTIPLICITIES OF MONOMIAL IDEALS JÜRGEN HERZOG AND HEMA SRINIVASAN Introduction Let S = K[x 1 x n ] be a polynomial ring over a field K with standard grading, I S a graded ideal. The multiplicity of S/I

More information

INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F

INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY BOYAN JONOV Abstract. We show in this paper that the principal component of the first order jet scheme over the classical determinantal

More information

arxiv: v1 [math.ac] 8 Jun 2010

arxiv: v1 [math.ac] 8 Jun 2010 REGULARITY OF CANONICAL AND DEFICIENCY MODULES FOR MONOMIAL IDEALS arxiv:1006.1444v1 [math.ac] 8 Jun 2010 MANOJ KUMMINI AND SATOSHI MURAI Abstract. We show that the Castelnuovo Mumford regularity of the

More information

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792 Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838

More information

Lecture 1. Toric Varieties: Basics

Lecture 1. Toric Varieties: Basics Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture

More information

LEVEL MATRICES G. SEELINGER, P. SISSOKHO, L. SPENCE, AND C. VANDEN EYNDEN

LEVEL MATRICES G. SEELINGER, P. SISSOKHO, L. SPENCE, AND C. VANDEN EYNDEN LEVEL MATRICES G. SEELINGER, P. SISSOKHO, L. SPENCE, AND C. VANDEN EYNDEN Abstract. Let n > 1 and k > 0 be fixed integers. A matrix is said to be level if all its column sums are equal. A level matrix

More information

Linear Algebra Review: Linear Independence. IE418 Integer Programming. Linear Algebra Review: Subspaces. Linear Algebra Review: Affine Independence

Linear Algebra Review: Linear Independence. IE418 Integer Programming. Linear Algebra Review: Subspaces. Linear Algebra Review: Affine Independence Linear Algebra Review: Linear Independence IE418: Integer Programming Department of Industrial and Systems Engineering Lehigh University 21st March 2005 A finite collection of vectors x 1,..., x k R n

More information

Optimization methods NOPT048

Optimization methods NOPT048 Optimization methods NOPT048 Jirka Fink https://ktiml.mff.cuni.cz/ fink/ Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics Charles University in Prague

More information

Integral Closure of Monomial Ideals

Integral Closure of Monomial Ideals Communications to SIMAI Congress, ISSN 1827-9015, Vol. 3 (2009) 305 (10pp) DOI: 10.1685/CSC09305 Integral Closure of Monomial Ideals Paola L. Staglianò Dipartimento di Matematica, Facoltà di Scienze MM.FF.NN.

More information

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998 CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

More information

arxiv: v1 [math.ac] 11 Dec 2013

arxiv: v1 [math.ac] 11 Dec 2013 A KOSZUL FILTRATION FOR THE SECOND SQUAREFREE VERONESE SUBRING arxiv:1312.3076v1 [math.ac] 11 Dec 2013 TAKAYUKI HIBI, AYESHA ASLOOB QURESHI AND AKIHIRO SHIKAMA Abstract. The second squarefree Veronese

More information

Some Algebraic and Combinatorial Properties of the Complete T -Partite Graphs

Some Algebraic and Combinatorial Properties of the Complete T -Partite Graphs Iranian Journal of Mathematical Sciences and Informatics Vol. 13, No. 1 (2018), pp 131-138 DOI: 10.7508/ijmsi.2018.1.012 Some Algebraic and Combinatorial Properties of the Complete T -Partite Graphs Seyyede

More information

ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE

ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE Alessandro De Paris Università degli studi di Napoli Federico II Dipartimento di Matematica e Applicazioni R. Caccioppoli Complesso Monte

More information

Ideal clutters that do not pack

Ideal clutters that do not pack Ideal clutters that do not pack Ahmad Abdi Gérard Cornuéjols Kanstantsin Pashkovich October 31, 2017 Abstract For a clutter C over ground set E, a pair of distinct elements e, f E are coexclusive if every

More information

Algebraic Geometry and Convex Geometry. A. Khovanskii

Algebraic Geometry and Convex Geometry. A. Khovanskii Algebraic Geometry and Convex Geometry A. Khovanskii 1 Intersection index on an irreducible variety X, dim X = n Let K(X) be the semigroup of spaces L of rational functions on X such that: a) dim L

More information

On the matrix-cut rank of polyhedra

On the matrix-cut rank of polyhedra On the matrix-cut rank of polyhedra William Cook and Sanjeeb Dash Computational and Applied Mathematics Rice University August 5, 00 Abstract Lovász and Schrijver (99) described a semi-definite operator

More information

Acyclic Digraphs arising from Complete Intersections

Acyclic Digraphs arising from Complete Intersections Acyclic Digraphs arising from Complete Intersections Walter D. Morris, Jr. George Mason University wmorris@gmu.edu July 8, 2016 Abstract We call a directed acyclic graph a CI-digraph if a certain affine

More information

A SURVEY OF CLUSTER ALGEBRAS

A SURVEY OF CLUSTER ALGEBRAS A SURVEY OF CLUSTER ALGEBRAS MELODY CHAN Abstract. This is a concise expository survey of cluster algebras, introduced by S. Fomin and A. Zelevinsky in their four-part series of foundational papers [1],

More information

arxiv:math/ v1 [math.co] 6 Dec 2005

arxiv:math/ v1 [math.co] 6 Dec 2005 arxiv:math/05111v1 [math.co] Dec 005 Unimodality and convexity of f-vectors of polytopes Axel Werner December, 005 Abstract We consider unimodality and related properties of f-vectors of polytopes in various

More information

M ath. Res. Lett. 15 (2008), no. 2, c International Press 2008 JOINT REDUCTIONS OF MONOMIAL IDEALS AND MULTIPLICITY OF COMPLEX ANALYTIC MAPS

M ath. Res. Lett. 15 (2008), no. 2, c International Press 2008 JOINT REDUCTIONS OF MONOMIAL IDEALS AND MULTIPLICITY OF COMPLEX ANALYTIC MAPS M ath. Res. Lett. 15 (2008), no. 2, 389 407 c International Press 2008 JOINT REDUCTIONS OF MONOMIAL IDEALS AND MULTIPLICITY OF COMPLEX ANALYTIC MAPS Carles Bivià-Ausina Abstract. We characterize the joint

More information

A Review of Linear Programming

A Review of Linear Programming A Review of Linear Programming Instructor: Farid Alizadeh IEOR 4600y Spring 2001 February 14, 2001 1 Overview In this note we review the basic properties of linear programming including the primal simplex

More information

Deciding Emptiness of the Gomory-Chvátal Closure is NP-Complete, Even for a Rational Polyhedron Containing No Integer Point

Deciding Emptiness of the Gomory-Chvátal Closure is NP-Complete, Even for a Rational Polyhedron Containing No Integer Point Deciding Emptiness of the Gomory-Chvátal Closure is NP-Complete, Even for a Rational Polyhedron Containing No Integer Point Gérard Cornuéjols 1 and Yanjun Li 2 1 Tepper School of Business, Carnegie Mellon

More information

Multicommodity Flows and Column Generation

Multicommodity Flows and Column Generation Lecture Notes Multicommodity Flows and Column Generation Marc Pfetsch Zuse Institute Berlin pfetsch@zib.de last change: 2/8/2006 Technische Universität Berlin Fakultät II, Institut für Mathematik WS 2006/07

More information

Integer Programming, Part 1

Integer Programming, Part 1 Integer Programming, Part 1 Rudi Pendavingh Technische Universiteit Eindhoven May 18, 2016 Rudi Pendavingh (TU/e) Integer Programming, Part 1 May 18, 2016 1 / 37 Linear Inequalities and Polyhedra Farkas

More information

Ellipsoidal Mixed-Integer Representability

Ellipsoidal Mixed-Integer Representability Ellipsoidal Mixed-Integer Representability Alberto Del Pia Jeff Poskin September 15, 2017 Abstract Representability results for mixed-integer linear systems play a fundamental role in optimization since

More information

Journal of Pure and Applied Algebra

Journal of Pure and Applied Algebra Journal of Pure and Applied Algebra 217 (2013) 230 237 Contents lists available at SciVerse ScienceDirect Journal of Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa On differential

More information

(1) is an invertible sheaf on X, which is generated by the global sections

(1) is an invertible sheaf on X, which is generated by the global sections 7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one

More information

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

The planar resolution algorithm

The planar resolution algorithm The planar resolution algorithm Dumitru Stamate 1 Introduction Let I = < m 1,..., m r > S := K[x 1,..., x n ] be an arbitrary monomial ideal, where K is a field. As we saw in [5], by computing the Scarf

More information

The Triangle Closure is a Polyhedron

The Triangle Closure is a Polyhedron The Triangle Closure is a Polyhedron Amitabh Basu Robert Hildebrand Matthias Köppe November 7, 21 Abstract Recently, cutting planes derived from maximal lattice-free convex sets have been studied intensively

More information

Intersections of Leray Complexes and Regularity of Monomial Ideals

Intersections of Leray Complexes and Regularity of Monomial Ideals Intersections of Leray Complexes and Regularity of Monomial Ideals Gil Kalai Roy Meshulam Abstract For a simplicial complex X and a field K, let h i X) = dim H i X; K). It is shown that if X,Y are complexes

More information

The Strength of Multi-row Aggregation Cuts for Sign-pattern Integer Programs

The Strength of Multi-row Aggregation Cuts for Sign-pattern Integer Programs The Strength of Multi-row Aggregation Cuts for Sign-pattern Integer Programs Santanu S. Dey 1, Andres Iroume 1, and Guanyi Wang 1 1 School of Industrial and Systems Engineering, Georgia Institute of Technology

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

Summer School: Semidefinite Optimization

Summer School: Semidefinite Optimization Summer School: Semidefinite Optimization Christine Bachoc Université Bordeaux I, IMB Research Training Group Experimental and Constructive Algebra Haus Karrenberg, Sept. 3 - Sept. 7, 2012 Duality Theory

More information

Appendix PRELIMINARIES 1. THEOREMS OF ALTERNATIVES FOR SYSTEMS OF LINEAR CONSTRAINTS

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

On Some Polytopes Contained in the 0,1 Hypercube that Have a Small Chvátal Rank

On Some Polytopes Contained in the 0,1 Hypercube that Have a Small Chvátal Rank On ome Polytopes Contained in the 0,1 Hypercube that Have a mall Chvátal Rank Gérard Cornuéjols Dabeen Lee April 2016, revised July 2017 Abstract In this paper, we consider polytopes P that are contained

More information

ON THE RANK OF A TROPICAL MATRIX

ON THE RANK OF A TROPICAL MATRIX ON THE RANK OF A TROPICAL MATRIX MIKE DEVELIN, FRANCISCO SANTOS, AND BERND STURMFELS Abstract. This is a foundational paper in tropical linear algebra, which is linear algebra over the min-plus semiring.

More information

The Hilbert functions which force the Weak Lefschetz Property

The Hilbert functions which force the Weak Lefschetz Property The Hilbert functions which force the Weak Lefschetz Property JUAN MIGLIORE Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556, USA E-mail: Juan.C.Migliore.1@nd.edu FABRIZIO ZANELLO

More information

RESEARCH ARTICLE. An extension of the polytope of doubly stochastic matrices

RESEARCH ARTICLE. An extension of the polytope of doubly stochastic matrices Linear and Multilinear Algebra Vol. 00, No. 00, Month 200x, 1 15 RESEARCH ARTICLE An extension of the polytope of doubly stochastic matrices Richard A. Brualdi a and Geir Dahl b a Department of Mathematics,

More information

1 xa 2. 2 xan n. + c 2 x α 2

1 xa 2. 2 xan n. + c 2 x α 2 Operations Research Seminar: Gröbner Bases and Integer Programming Speaker: Adam Van Tuyl Introduction In this talk I will discuss how to use some of the tools of commutative algebra and algebraic geometry

More information

Gröbner Complexes and Tropical Bases

Gröbner Complexes and Tropical Bases Gröbner Complexes and Tropical Bases Jan Verschelde University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science http://www.math.uic.edu/ jan jan@math.uic.edu Graduate

More information

Linear Programming Inverse Projection Theory Chapter 3

Linear Programming Inverse Projection Theory Chapter 3 1 Linear Programming Inverse Projection Theory Chapter 3 University of Chicago Booth School of Business Kipp Martin September 26, 2017 2 Where We Are Headed We want to solve problems with special structure!

More information

arxiv:math/ v1 [math.ac] 19 Sep 2002 Ian M. Aberbach

arxiv:math/ v1 [math.ac] 19 Sep 2002 Ian M. Aberbach EXTENSION OF WEAKLY AND STRONGLY F-REGULAR RINGS BY FLAT MAPS arxiv:math/0209251v1 [math.ac] 19 Sep 2002 Ian M. Aberbach 1. Introduction Throughout this paper all rings will be Noetherian of positive characteristic

More information

8. Prime Factorization and Primary Decompositions

8. Prime Factorization and Primary Decompositions 70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings

More information

THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents

THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS ALICE MARK Abstract. This paper is a simple summary of the first most basic definitions in Algebraic Geometry as they are presented in Dummit and Foote ([1]),

More information

DIRAC S THEOREM ON CHORDAL GRAPHS

DIRAC S THEOREM ON CHORDAL GRAPHS Seminar Series in Mathematics: Algebra 200, 1 7 DIRAC S THEOREM ON CHORDAL GRAPHS Let G be a finite graph. Definition 1. The graph G is called chordal, if each cycle of length has a chord. Theorem 2 (Dirac).

More information

arxiv: v2 [math.co] 24 Sep 2008

arxiv: v2 [math.co] 24 Sep 2008 Sports scheduling for not all pairs of teams arxiv:0809.3682v2 [math.co] 24 Sep 2008 Kenji KASHIWABARA, Department of General Systems Studies, University of Tokyo, 3-8-1 Komaba, Meguroku, Tokyo, Japan

More information

Unions of perfect matchings in cubic graphs

Unions of perfect matchings in cubic graphs Unions of perfect matchings in cubic graphs Tomáš Kaiser Daniel Král Serguei Norine Abstract We show that any cubic bridgeless graph with m edges contains two perfect matchings that cover at least 3m/5

More information

How many units can a commutative ring have?

How many units can a commutative ring have? How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the

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

RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS

RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS Communications in Algebra, 34: 3883 3889, 2006 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870600862714 RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT

More information

FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN

FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN A. I. LICHTMAN AND D. S. PASSMAN Abstract. In his recent series of lectures, Prof. B. I. Plotkin discussed geometrical properties of the

More information

arxiv: v1 [math.ac] 6 Jan 2019

arxiv: v1 [math.ac] 6 Jan 2019 GORENSTEIN T-SPREAD VERONESE ALGEBRAS RODICA DINU arxiv:1901.01561v1 [math.ac] 6 Jan 2019 Abstract. In this paper we characterize the Gorenstein t-spread Veronese algebras. Introduction Let K be a field

More information

NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS

NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS M. R. POURNAKI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let be a simplicial complex and χ be an s-coloring of. Biermann and Van

More information

A Characterization of (3+1)-Free Posets

A Characterization of (3+1)-Free Posets Journal of Combinatorial Theory, Series A 93, 231241 (2001) doi:10.1006jcta.2000.3075, available online at http:www.idealibrary.com on A Characterization of (3+1)-Free Posets Mark Skandera Department of

More information

The Split Closure of a Strictly Convex Body

The Split Closure of a Strictly Convex Body The Split Closure of a Strictly Convex Body D. Dadush a, S. S. Dey a, J. P. Vielma b,c, a H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology, 765 Ferst Drive

More information

Linear Programming. Chapter Introduction

Linear Programming. Chapter Introduction Chapter 3 Linear Programming Linear programs (LP) play an important role in the theory and practice of optimization problems. Many COPs can directly be formulated as LPs. Furthermore, LPs are invaluable

More information

An algebraic proof of the Erdős-Ko-Rado theorem for intersecting families of perfect matchings

An algebraic proof of the Erdős-Ko-Rado theorem for intersecting families of perfect matchings Also available at http://amc-journal.eu ISSN 855-3966 (printed edn.), ISSN 855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 2 (207) 205 27 An algebraic proof of the Erdős-Ko-Rado theorem for intersecting

More information

arxiv: v3 [math.ac] 29 Aug 2018

arxiv: v3 [math.ac] 29 Aug 2018 ON THE LOCAL K-ELASTICITIES OF PUISEUX MONOIDS MARLY GOTTI arxiv:1712.00837v3 [math.ac] 29 Aug 2018 Abstract. If M is an atomic monoid and x is a nonzero non-unit element of M, then the set of lengths

More information

Lift-and-Project Inequalities

Lift-and-Project Inequalities Lift-and-Project Inequalities Q. Louveaux Abstract The lift-and-project technique is a systematic way to generate valid inequalities for a mixed binary program. The technique is interesting both on the

More information

10. Smooth Varieties. 82 Andreas Gathmann

10. Smooth Varieties. 82 Andreas Gathmann 82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It

More information

arxiv:math/ v1 [math.ac] 15 Sep 2002

arxiv:math/ v1 [math.ac] 15 Sep 2002 arxiv:math/0209186v1 [math.ac] 15 Sep 2002 A SIMPLE PROOF OF SOME GENERALIZED PRINCIPAL IDEAL THEOREMS DAVID EISENBUD, CRAIG HUNEKE, AND BERND ULRICH Abstract. Using symmetric algebras we simplify (and

More information

Key words. Complementarity set, Lyapunov rank, Bishop-Phelps cone, Irreducible cone

Key words. Complementarity set, Lyapunov rank, Bishop-Phelps cone, Irreducible cone ON THE IRREDUCIBILITY LYAPUNOV RANK AND AUTOMORPHISMS OF SPECIAL BISHOP-PHELPS CONES M. SEETHARAMA GOWDA AND D. TROTT Abstract. Motivated by optimization considerations we consider cones in R n to be called

More information

Numerical Optimization

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

Computational Integer Programming Universidad de los Andes. Lecture 1. Dr. Ted Ralphs

Computational Integer Programming Universidad de los Andes. Lecture 1. Dr. Ted Ralphs Computational Integer Programming Universidad de los Andes Lecture 1 Dr. Ted Ralphs MIP Lecture 1 1 Quick Introduction Bio Course web site Course structure http://coral.ie.lehigh.edu/ ted/teaching/mip

More information

Lecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]

Lecture 1. (i,j) N 2 kx i y j, and this makes k[x, y] Lecture 1 1. Polynomial Rings, Gröbner Bases Definition 1.1. Let R be a ring, G an abelian semigroup, and R = i G R i a direct sum decomposition of abelian groups. R is graded (G-graded) if R i R j R i+j

More information

Journal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.

Journal of Algebra 226, (2000) doi: /jabr , available online at   on. Artin Level Modules. Journal of Algebra 226, 361 374 (2000) doi:10.1006/jabr.1999.8185, available online at http://www.idealibrary.com on Artin Level Modules Mats Boij Department of Mathematics, KTH, S 100 44 Stockholm, Sweden

More information

Introduction to Linear and Combinatorial Optimization (ADM I)

Introduction to Linear and Combinatorial Optimization (ADM I) Introduction to Linear and Combinatorial Optimization (ADM I) Rolf Möhring based on the 20011/12 course by Martin Skutella TU Berlin WS 2013/14 1 General Remarks new flavor of ADM I introduce linear and

More information

Integer Hulls of Rational Polyhedra. Rekha R. Thomas

Integer Hulls of Rational Polyhedra. Rekha R. Thomas Integer Hulls of Rational Polyhedra Rekha R. Thomas Department of Mathematics, University of Washington, Seattle, WA 98195 E-mail address: thomas@math.washington.edu The author was supported in part by

More information

P -adic root separation for quadratic and cubic polynomials

P -adic root separation for quadratic and cubic polynomials P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible

More information

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski

More information

Polyhedral Approach to Integer Linear Programming. Tepper School of Business Carnegie Mellon University, Pittsburgh

Polyhedral Approach to Integer Linear Programming. Tepper School of Business Carnegie Mellon University, Pittsburgh Polyhedral Approach to Integer Linear Programming Gérard Cornuéjols Tepper School of Business Carnegie Mellon University, Pittsburgh 1 / 30 Brief history First Algorithms Polynomial Algorithms Solving

More information

Minimal reductions of monomial ideals

Minimal reductions of monomial ideals ISSN: 1401-5617 Minimal reductions of monomial ideals Veronica Crispin Quiñonez Research Reports in Mathematics Number 10, 2004 Department of Mathematics Stocholm Universit Electronic versions of this

More information

Integer Programming ISE 418. Lecture 12. Dr. Ted Ralphs

Integer Programming ISE 418. Lecture 12. Dr. Ted Ralphs Integer Programming ISE 418 Lecture 12 Dr. Ted Ralphs ISE 418 Lecture 12 1 Reading for This Lecture Nemhauser and Wolsey Sections II.2.1 Wolsey Chapter 9 ISE 418 Lecture 12 2 Generating Stronger Valid

More information

DETECTION OF FXM ARBITRAGE AND ITS SENSITIVITY

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

TROPICAL SCHEME THEORY

TROPICAL SCHEME THEORY TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),

More information

12. Hilbert Polynomials and Bézout s Theorem

12. Hilbert Polynomials and Bézout s Theorem 12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of

More information

The Split Closure of a Strictly Convex Body

The Split Closure of a Strictly Convex Body The Split Closure of a Strictly Convex Body D. Dadush a, S. S. Dey a, J. P. Vielma b,c, a H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology, 765 Ferst Drive

More information

IDEALS AND THEIR INTEGRAL CLOSURE

IDEALS AND THEIR INTEGRAL CLOSURE IDEALS AND THEIR INTEGRAL CLOSURE ALBERTO CORSO (joint work with C. Huneke and W.V. Vasconcelos) Department of Mathematics Purdue University West Lafayette, 47907 San Diego January 8, 1997 1 SETTING Let

More information