arxiv:math/ v1 [math.ac] 11 Nov 2005
|
|
- Willis Hudson
- 5 years ago
- Views:
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
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 informationRees 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 informationSystems 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 informationChapter 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 informationOptimization 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 informationMAT-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 informationLP 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 informationLinear 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 informationPyramids 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 informationIntegral 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 informationHamiltonian 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 informationarxiv: 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 informationHILBERT 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 informationEnumeration 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 information3. 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 informationarxiv: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 informationOptimization 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 informationarxiv: 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 informationTORIC 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 information3. 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 informationIntroduction 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 informationMULTIPLICITIES 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 informationINITIAL 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 informationarxiv: 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 informationA 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 informationLecture 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 informationLEVEL 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 informationLinear 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 informationOptimization 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 informationIntegral 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 informationCHAPTER 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 informationarxiv: 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 informationSome 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 informationON 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 informationIdeal 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 informationAlgebraic 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 informationOn 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 informationAcyclic 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 informationA 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 informationarxiv: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 informationM 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 informationA 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 informationDeciding 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 informationMulticommodity 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 informationInteger 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 informationEllipsoidal 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 informationJournal 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
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 informationLMI MODELLING 4. CONVEX LMI MODELLING. Didier HENRION. LAAS-CNRS Toulouse, FR Czech Tech Univ Prague, CZ. Universidad de Valladolid, SP March 2009
LMI MODELLING 4. CONVEX LMI MODELLING Didier HENRION LAAS-CNRS Toulouse, FR Czech Tech Univ Prague, CZ Universidad de Valladolid, SP March 2009 Minors A minor of a matrix F is the determinant of a submatrix
More informationThe 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 informationThe 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 informationIntersections 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 informationThe 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 informationALGEBRAIC 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 informationSummer 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 informationAppendix PRELIMINARIES 1. THEOREMS OF ALTERNATIVES FOR SYSTEMS OF LINEAR CONSTRAINTS
Appendix PRELIMINARIES 1. THEOREMS OF ALTERNATIVES FOR SYSTEMS OF LINEAR CONSTRAINTS Here we consider systems of linear constraints, consisting of equations or inequalities or both. A feasible solution
More informationOn 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 informationON 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 informationThe 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 informationRESEARCH 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 information1 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 informationGrö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 informationLinear 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 informationarxiv: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 information8. 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 informationTHE 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 informationDIRAC 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 informationarxiv: 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 informationUnions 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 informationHow 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 informationSemidefinite Programming
Semidefinite Programming Notes by Bernd Sturmfels for the lecture on June 26, 208, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra The transition from linear algebra to nonlinear algebra has
More informationRIGHT-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 informationFINITELY 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 informationarxiv: 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 informationNEW 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 informationA 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 informationThe 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 informationLinear 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 informationAn 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 informationarxiv: 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 informationLift-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 information10. 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 informationarxiv: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 informationKey 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 informationNumerical Optimization
Linear Programming Computer Science and Automation Indian Institute of Science Bangalore 560 012, India. NPTEL Course on min x s.t. Transportation Problem ij c ijx ij 3 j=1 x ij a i, i = 1, 2 2 i=1 x ij
More informationComputational 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 informationLecture 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 informationJournal 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 informationIntroduction 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 informationInteger 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 informationP -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 informationCOMPLEX 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 informationPolyhedral 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 informationMinimal 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 informationInteger 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 informationDETECTION OF FXM ARBITRAGE AND ITS SENSITIVITY
DETECTION OF FXM ARBITRAGE AND ITS SENSITIVITY SFI FINANCIAL ALGEBRA PROJECT AT UCC: BH, AM & EO S 1. Definitions and basics In this working paper we have n currencies, labeled 1 through n inclusive and
More informationTROPICAL 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 information12. 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 informationThe 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 informationIDEALS 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